{"entities":{"Q808320":{"pageid":810168,"ns":120,"title":"Item:Q808320","lastrevid":64491132,"modified":"2026-04-11T20:13:52Z","type":"item","id":"Q808320","labels":{"en":{"language":"en","value":"Proof of the ionization conjecture in a reduced Hartree-Fock model"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4210677"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808320$3F76678D-5326-4D4A-B3B7-7BBEEB1BB18E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"05e0addb9502e24c7fc41c3ef6b29bcd2e20dc74","datavalue":{"value":{"text":"Proof of the ionization conjecture in a reduced Hartree-Fock model","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q808320$2C15D4CE-7E65-4C40-A666-08F26BE518C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b109ecced79c73f21d12fbce46e0e4cbaa4d5dd","datavalue":{"value":"0732.35066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q808320$E1ADF73B-D12C-4503-AFC3-8CFDB785FC7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"38b4946f6a8de5bde4e282ae6d23d3b59de57908","datavalue":{"value":"10.1007/BF01245077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q808320$C44E38AF-144C-4213-A961-D267001B5895","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd7313a19f151a6cf3117041281b56741a68afc3","datavalue":{"value":{"entity-type":"item","numeric-id":196367,"id":"Q196367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808320$63453AFE-9170-4E5F-BF73-6CA7087FA2B6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"78c924ab2a87a282c80efa85079613d2f7e99dd9","datavalue":{"value":{"entity-type":"item","numeric-id":163162,"id":"Q163162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808320$A4A4A4AB-6C48-4678-84BB-3AD6D738A2E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q808320$A059F937-3389-4720-980A-47210A6B0785","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"385f1a51e2f8c0fb420cef6d216b8c29b186b7dd","datavalue":{"value":"https://eudml.org/doc/143884","type":"string"},"datatype":"url"},"type":"statement","id":"Q808320$C3C86BD1-4521-4606-B9A9-F299E4FA7BDC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cd6d934c7fd75bb528e073d228b5ae28fe858168","datavalue":{"value":"We study as a model of an atom a functional \\({\\mathcal E}\\) defined on a class of bounded selfadjoint trace class operators \\(\\gamma\\) on the Hilbert space \\({\\mathcal H}=L^ 2({\\mathbb{R}}^ 3;{\\mathbb{C}}^ 2)\\) satisfying the operator inequality \\(0\\leq \\gamma \\leq 1\\). Such operators are called admissible density matrices. The functional is defined by  \\[  {\\mathcal E}(\\gamma)=Tr_{{\\mathcal H}}[(-\\Delta -Z| x|^{- 1})\\gamma]+1/2\\iint \\rho_{\\gamma}(x)\\rho_{\\gamma}(y)| x- y|^{-1} dx dy,  \\]  where the parameter \\(Z>0\\) is the nuclear charge and the density \\(\\rho_{\\gamma}(x)=\\gamma (x,x)\\). (\\(\\gamma\\) is here identified with its integral kernel. The diagonal values of the kernel are well-defined since \\(\\gamma\\) is trace class.) The functional is of course restricted to those admissible density matrices for which each term above is bounded. In quantum mechanics one can associate to the ground state of an atom with N electrons an admissible density matrix \\(\\gamma\\) with \\(Tr_{{\\mathcal H}}[\\gamma]=N\\) (it is called the one particle density matrix and is obtained by taking the partial trace (properly normalized), with respect to the space corresponding to N-1 of the electrons, of the many body state). The true quantum energy, however, does not depend only on \\(\\gamma\\). It can be shown that for large N and Z the true energy can be approximated by \\({\\mathcal E}(\\gamma)\\). This basically amounts to neglecting correlations. The functional \\({\\mathcal E}\\) is similar to the famous Hartree-Fock functional except that the exchange term (which is of smaller order) has been neglected. We show in the paper that if \\(\\gamma\\) is a global minimizer for \\({\\mathcal E}\\) (existence of such a minimizer is also established) then for the screened nuclear charge \\(\\nu_ Z(R)=Z-\\int_{| x| <R}\\rho_{\\gamma}(x) dx\\) we have  \\[  \\lim_{R\\to 0}\\liminf_{Z\\to \\infty}(\\nu_ Z(R)R^ 3)=\\lim_{R\\to 0}\\limsup_{Z\\to \\infty}(\\nu_ Z(R)R^ 3)=324\\pi^ 2.  \\]  This result is then used to give bounds uniform in Z on the maximal possible negative ionization charge and ionization energy. The main tool is a semiclassical renormalization scheme.","type":"string"},"datatype":"string"},"type":"statement","id":"Q808320$F9C6E11D-C212-4CFF-931C-4D9447F22923","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f953458ad94fd08fc1cfd4250f3c9f542b6e65d","datavalue":{"value":"35P99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q808320$C4BE4D1D-AB26-4BEE-A3FB-3E09A3693859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f7b7e23d24291c34089f50c89bf9dd112a56c0e4","datavalue":{"value":"81Q20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q808320$C8483156-A90F-4287-8E25-38D8B0A05296","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"95b586ec380c3a1e6463527b36ee33f9c7dfedd3","datavalue":{"value":"4210677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q808320$E1DE6319-53B0-4E09-930F-25F8B9252822","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06c8327d564392eed1e44c10ef221b6387455293","datavalue":{"value":"selfadjoint trace class operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q808320$2D73F77F-2DAE-40C1-B0DC-5F3F801986C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ed0d13e1d0d6271150c340f768c2ca4b9368bd4","datavalue":{"value":"density matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q808320$B15791C2-CE97-42B9-BC45-B5137117E64A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b1178801ec1e587927f5a0a96dc3db7c0e19539","datavalue":{"value":"Hartree-Fock functional","type":"string"},"datatype":"string"},"type":"statement","id":"Q808320$CD31591E-080D-40E0-BD47-A967D6C13D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f367283f24a980f91f13e919ba9550986c485d8c","datavalue":{"value":"semiclassical renormalization scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q808320$4555EBFF-9B99-4CCC-92E3-9D78AA334307","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808320$6874C333-BCAF-45B0-990D-915BC9DECE1F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0d2d45f0eec38e611d917544cfe72808cd8e4db4","datavalue":{"value":"Q59255846","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q808320$463C60DA-5FA5-43D9-A597-0411C77AEFBC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b71933645fa1272fdd45a20bae67ec768c18ef8","datavalue":{"value":{"entity-type":"item","numeric-id":910112,"id":"Q910112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808320$6029549B-2347-436A-9B58-E997464DE9B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cecfd8a29522564f99bea8e6405b35e6aff7d1c","datavalue":{"value":{"entity-type":"item","numeric-id":3209533,"id":"Q3209533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808320$097D867A-A774-4B03-B7D4-340AFEAD3D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c15c5e56b44df6027ba314bab8f5b34cfcb38998","datavalue":{"value":{"entity-type":"item","numeric-id":3595348,"id":"Q3595348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808320$76357745-B479-40DC-9388-654C689EFE38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6737eff70689aa0d0a21752f2a5f6c1d80145ec7","datavalue":{"value":{"entity-type":"item","numeric-id":1278021,"id":"Q1278021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808320$4B2D107A-2F62-4FAA-A9B1-757BAEDC42FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdd139ffcf34a085cfbdcf849c9874980eafce1e","datavalue":{"value":{"entity-type":"item","numeric-id":750758,"id":"Q750758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808320$A0175931-3C97-4435-AC03-EC17600FC7C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b9e8e5f7316e4100ce6b8dfe9e16709488e7e46","datavalue":{"value":{"entity-type":"item","numeric-id":1102510,"id":"Q1102510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808320$A684C23E-E155-4485-8A1C-FB8B949CB3A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae5fb3418362238dd0372a1d5c57a0c14ad14bd1","datavalue":{"value":{"entity-type":"item","numeric-id":1173259,"id":"Q1173259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808320$AB9D18D8-BBBD-43DF-B6E8-EC2A95E6213E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37475a8b5e0f740142ec5295f01c03178af1d99d","datavalue":{"value":{"entity-type":"item","numeric-id":920299,"id":"Q920299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808320$F1CF6BD7-954C-46D1-A190-4C56C2185DEA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b734827f845fb415e36b04617d13c5025414ddc0","datavalue":{"value":"W2051979557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q808320$C40A5361-CF8F-48C9-9436-C5F9EA2154EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"177d6d1ab229f576df223d600cb40c12d322ef3a","datavalue":{"value":{"entity-type":"item","numeric-id":1423899,"id":"Q1423899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"806144bf0d2aca4549df8b10d95475085af11a2f","datavalue":{"value":{"amount":"+0.94725156","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q808320$2D1B0600-4A5A-4EBE-9808-9993738C0747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b41c7c67e5798adb0ff7aaa523686bf4f4469ba","datavalue":{"value":{"entity-type":"item","numeric-id":4604587,"id":"Q4604587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"479f4bcffdaafcbc255869c914afa99a26c351c2","datavalue":{"value":{"amount":"+0.8833273","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q808320$3008DE4A-838C-4B5B-BE0C-7BE082C3D289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac3d66bce534427d3e28fd163f9096331dc195fa","datavalue":{"value":{"entity-type":"item","numeric-id":5234932,"id":"Q5234932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eb8b6d41986e6b6aa8582d8873638071314fca5","datavalue":{"value":{"amount":"+0.88036346","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q808320$D9E63F89-15AB-4F8F-A811-5E3F85ED5C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43b7544154c5902d7ea8b1c1eb7c64ba951b91c7","datavalue":{"value":{"entity-type":"item","numeric-id":6175431,"id":"Q6175431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e7ed436b5d24704e518d00f7f15fe3babfb47b2","datavalue":{"value":{"amount":"+0.8619648","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q808320$B7D9880D-29DF-469B-970B-7224EDC51586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3b7f360055f48f6deba91bfc680e59e527c65c1","datavalue":{"value":{"entity-type":"item","numeric-id":4512910,"id":"Q4512910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4e9b1426ed2875b4ef67e9bbf22ea7423bb2a72","datavalue":{"value":{"amount":"+0.8539477","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q808320$823C86F3-E1B2-4918-A2A4-D679312AF005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"847861ed3254f955cdea7b79c6b1d8b29c539488","datavalue":{"value":{"entity-type":"item","numeric-id":703026,"id":"Q703026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"311a9d2d874b2b6202ed4df1b86bf77f074fcdaf","datavalue":{"value":{"amount":"+0.8450943","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q808320$01174033-4238-4590-B5E0-69569F200D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1a7a82d6659f1aca4b29830b759ea8bdc87d5f5","datavalue":{"value":{"entity-type":"item","numeric-id":1203188,"id":"Q1203188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9fb5cc8605e45deba96607396d29f1e73360a43","datavalue":{"value":{"amount":"+0.8441781","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q808320$DDF5970D-3C86-472E-AF1E-024471A245F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42b982ca90d8681998c85f9979b2e5e108209c65","datavalue":{"value":{"entity-type":"item","numeric-id":3790130,"id":"Q3790130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac9a3fe043800da396aa05e44c033017053cb004","datavalue":{"value":{"amount":"+0.8434398","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q808320$81D84B63-E201-48EB-94CF-F9DC8DA6CF2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d51537993f69cbeee47374b601444d80258f7484","datavalue":{"value":{"entity-type":"item","numeric-id":3580897,"id":"Q3580897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a9b8c64cab6f4f7768eb63b96a1dd8ba35c7f41","datavalue":{"value":{"amount":"+0.84298813","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q808320$AA3D9852-59D3-456B-A522-3FAFFAF4FEF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26adf0015f38b176bec4c1635e0ef1348efce374","datavalue":{"value":{"entity-type":"item","numeric-id":4887984,"id":"Q4887984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce079e496c572a734275f8418a65e5e9905e3fb1","datavalue":{"value":{"amount":"+0.83994853","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q808320$0AC8C2EB-029F-416B-B042-40CB06BC153A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof of the ionization conjecture in a reduced Hartree-Fock model","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof_of_the_ionization_conjecture_in_a_reduced_Hartree-Fock_model"}}}}}