{"entities":{"Q1631383":{"pageid":1642124,"ns":120,"title":"Item:Q1631383","lastrevid":72384450,"modified":"2026-04-14T04:32:26Z","type":"item","id":"Q1631383","labels":{"en":{"language":"en","value":"Diagonal form of the Varchenko matrices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6989796"}},"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":"Q1631383$2F40BD60-552F-431C-B889-54B3ACB523AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec6271811b8867e0a670b4c1f08c13648cbc1767","datavalue":{"value":{"text":"Diagonal form of the Varchenko matrices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1631383$020BEBA7-CA68-4B2D-8B5D-E5E6B8C92231","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d8f3d1b88dd644273201d6b6e79d8359a95ad760","datavalue":{"value":"1404.52024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1631383$505D1342-D74F-4AAD-96A7-D5DE70B2FF20","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"72edb687823012302999ddfad3685ba64e5497d2","datavalue":{"value":{"entity-type":"item","numeric-id":781533,"id":"Q781533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1631383$198ED61A-CDFB-4440-B251-ED79EABF1776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9b918db521f7a0e5e5609fbcb930e7990475d65","datavalue":{"value":{"entity-type":"item","numeric-id":1631382,"id":"Q1631382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1631383$56E27F2A-DC28-4C66-8BC3-BDDBF50FF512","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b5e010d4525286f928f56a14a06a3a3ef373d646","datavalue":{"value":{"entity-type":"item","numeric-id":162910,"id":"Q162910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1631383$90772A87-623F-4983-B668-0BE6EBDD60D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d792d11c9db1b3c1ce8b80dd0d5403f301c3f974","datavalue":{"value":{"time":"+2018-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1631383$CA8E841D-5592-445D-9EBE-CABDA1D97B56","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e05d5eed0f9caf708d92f62b00af9a6c81a108de","datavalue":{"value":"https://arxiv.org/abs/1511.02923","type":"string"},"datatype":"url"},"type":"statement","id":"Q1631383$7B3572A3-1997-4F7A-AF20-FCFC6A3E9DDB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"45ac69ac8b3a48803269121d2d3af658362c000a","datavalue":{"value":"Let \\(\\mathcal{A}= \\{H_{1}, \\dots, H_{N}\\} \\subset \\mathbb{R}^{d}\\) be a hyperplane arrangement. For \\(B \\subset I = \\{1, \\dots,N\\}\\) we define \\(H_{B} = \\bigcap_{i \\in B}H_{i}\\). We say that \\(\\mathcal{A}\\) is a general arrangement in \\(\\mathbb{R}^{d}\\) if for any subset \\(B\\subseteq I\\), the cardinality \\(|B| \\leq d\\) implies \\(\\dim H_{B} = d - |B|\\) while \\(|B| > d\\) implies that \\(H_{B} = \\emptyset\\). If for all \\(B \\subseteq I\\) with \\(H_{B} \\neq \\emptyset\\), we have \\(\\dim H_{B} = d - |B|\\), then \\(\\mathcal{A}\\) is called semigeneral in \\(\\mathbb{R}^{d}\\). Denote by \\(L(\\mathcal{A})\\) the intersection poset of \\(\\mathcal{A}\\). We denote the set of regions by \\(\\mathcal{R}(\\mathcal{A})\\) and \\(r(\\mathcal{A}) := |\\mathcal{R}(\\mathcal{A})|\\). Now for each hyperplane \\(H_{i}\\) we assign an indeterminate \\(x_{i}\\) and for each pair or regions \\((R_{i},R_{j})\\) of \\(\\mathcal{A}\\), we set  \\[ \\text{sep}(R_{i},R_{j}) = \\{ H_{a} \\in \\mathcal{A} : H_{a} \\text{ separates } R_{i} \\text{ and } R_{j}\\}. \\]   The Varchenko matrix for \\(\\mathcal{A}\\), denoted by \\(V(\\mathcal{A}) = [V_{ij}]\\), is the \\(r(\\mathcal{A}) \\times r(\\mathcal{A})\\) matrix with rows and columns indexed by \\(\\mathcal{R}(\\mathcal{A})\\) and entries  \\[ V_{ij} = \\prod_{H_{a} \\in \\text{sep}(R_{i},R_{j})} x_{a}. \\]  If for \\((R_{i},R_{j})\\) there is no separating hyperplane, then \\(V_{i,j}=1\\).  To each element \\(M \\in L(\\mathcal{A})\\), then we assign \\(x_{M} = \\prod_{M \\subseteq H_{a}}x_{a}\\).  For a hyperplane arrangement \\(\\mathcal{A}\\) we denote by \\(\\chi_{A}\\) its characteristic polynomial, and for \\(M \\in L(\\mathcal{A})\\) we define  \\[ \\mathcal{A}_{M} = \\{H \\in \\mathcal{A} : M \\subseteq H\\}, \\]   \\[ \\mathcal{A}^{M} = \\{ M \\cap H \\neq \\emptyset: H \\in \\mathcal{A} \\setminus \\mathcal{A}_{M}\\}. \\]  Theorem (Varchenko). Let \\(\\mathcal{A}=\\{H_{1}, \\dots, H_{N}\\}\\) be a real affine finite hyperplane arrangement. Let \\(M \\in L(\\mathcal{A})\\) and we set \\(n(M) = r(\\mathcal{A}^{M})\\), \\(p(M) = \\bigg|\\frac{d}{dt} \\chi_{\\mathcal{A}_{M}}(t)_{t=1}\\bigg|\\). Then the determinant of the Varchenko matrix is given by  \\[ \\det \\, V(\\mathcal{A}) = \\prod_{M \\in L(\\mathcal{A}), M \\neq \\mathbb{R}^{d}}(1-x^{2}_{M})^{n(M)p(M)}. \\]   Main result. Let \\(\\mathcal{A} = \\{H_{1}, \\dots, H_{N}\\}\\) be a real affine finite hyperplane arrangement in \\(\\mathbb{R}^{d}\\). Assign an indeterminate \\(x_{a}\\) to each \\(H_{a}\\), \\(a \\in I = \\{1, \\dots, N\\}\\). Then the Varchenko matrix \\(V(\\mathcal{A})\\) has a diagonal form over \\(\\mathbb{Z}[x_{1}, \\dots, x_{N}]\\) if and only if \\(\\mathcal{A}\\) is in semigeneral position. In that case, the diagonal entries of the diagonal form of \\(V(\\mathcal{A})\\) are exactly the products \\(\\prod_{a\\in B}(1-x_{a}^{2})\\) ranging over all \\(B \\subset I\\) such that \\(H_{B} \\in L(\\mathcal{A})\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1631383$BA889382-75A5-49A1-AFCB-82AC7A2A87F4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"676be0f283a877c4ebd59f7cc4517b544fd46411","datavalue":{"value":{"entity-type":"item","numeric-id":407393,"id":"Q407393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1631383$6A2CE695-815E-4EF2-9B0C-401BEC2285B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7501cba48320d715aa2f92c8f7803347a8901b66","datavalue":{"value":"52C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1631383$4AC23040-4D6F-4966-8B94-6113C9166153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"78931806833c54190437f3675cf624ba3d256107","datavalue":{"value":"52B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1631383$DD020B91-EDDB-47FC-979B-DBF421C2C1D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"772466e23f65811e4792a58a12ff09d79c338e5f","datavalue":{"value":"05B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1631383$22D2146B-98F2-4580-8AA9-06503DCCF7DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2064ed2d7054a1272e08a6321c1b0ce5e5da1a4","datavalue":{"value":"6989796","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1631383$C948E8DF-9673-4456-B856-BA30B3064E6A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38ca0aa0a33fc8b6cda3c60ca8ae8ed432539fec","datavalue":{"value":"hyperplane arrangement","type":"string"},"datatype":"string"},"type":"statement","id":"Q1631383$E3992534-B31B-44B4-8EF3-682C5441A980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"197a85d729e0e8234bf062961ecaffabe453c9b1","datavalue":{"value":"Varchenko matrix","type":"string"},"datatype":"string"},"type":"statement","id":"Q1631383$E312710F-CA86-4DE5-A8F2-871ED0DC41CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50453fbc5f311e65b993bbe3be26301f82d0c16b","datavalue":{"value":"diagonal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q1631383$B62F82E8-11FD-4823-8377-1704CC3B484D","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":"Q1631383$6603876B-EA31-4434-9F05-EECAD1AC37D5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4068eb67333fb7bd623fa19c73c0f47cab2f2cb6","datavalue":{"value":"W2620260024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1631383$DD3DA01C-FA7F-4486-B51B-4672F54782AA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a712efb0e1070607317280798f406b7325701f82","datavalue":{"value":{"entity-type":"item","numeric-id":4214897,"id":"Q4214897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1631383$04E7FA17-DFF8-4CEA-AB3C-DBF8243ABB5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a057be7ad055a1887dac4471a75954891fe07d01","datavalue":{"value":{"entity-type":"item","numeric-id":5432049,"id":"Q5432049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1631383$0FE56075-C00A-4909-9D85-B1FF78A2BE49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d70c3b17d3264b59ff6cc54136c92026fc9d73f6","datavalue":{"value":{"entity-type":"item","numeric-id":1803587,"id":"Q1803587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1631383$AC704229-851D-4F65-9C2C-453DB023D83E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"531746f3f00bbc061927177c708cba3f45e346c8","datavalue":{"value":"10.1007/S10801-018-0813-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1631383$7C92BD28-B68B-499F-B2B1-847CA8AF9B9F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2c25e5bf650aba4bc67f6c8b7a5613e1ac64145","datavalue":{"value":{"entity-type":"item","numeric-id":4214897,"id":"Q4214897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94fd1e9ee0a023ac84315c943e8cba0fc0e18b79","datavalue":{"value":{"amount":"+0.828735888004303","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1631383$0A846AEE-3E16-433D-9616-B041BAA0F407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d9ae87d11babf5676a4315efa6409c5de3f3400","datavalue":{"value":{"entity-type":"item","numeric-id":2332882,"id":"Q2332882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94fd1e9ee0a023ac84315c943e8cba0fc0e18b79","datavalue":{"value":{"amount":"+0.828735888004303","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1631383$94145E48-26BC-46F2-BA20-6FF14DFF913A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"253bd8ae5483ce625af85612c069b85c36b14487","datavalue":{"value":{"entity-type":"item","numeric-id":4993968,"id":"Q4993968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f43d6cab6fa69a1cdd977c76987f06b57a27236","datavalue":{"value":{"amount":"+0.8199114799499512","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1631383$ADB54EDF-B852-4CD7-89FA-5626034ABEFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa10409d4a05e164ce5482d633589d934b53732b","datavalue":{"value":{"entity-type":"item","numeric-id":721700,"id":"Q721700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3656ffaf69ffbb3c8403a47a26abce2eb3c49d2","datavalue":{"value":{"amount":"+0.8051292896270752","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1631383$A872F32A-C7F5-479A-8E29-4D4087C2D6F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a51775dbee369799aedf21b41eef14e08b8417c7","datavalue":{"value":{"entity-type":"item","numeric-id":5126782,"id":"Q5126782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ce6909caf4a7559024b4c6892d2acf3954a067c","datavalue":{"value":{"amount":"+0.8042075634002686","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1631383$BED1D744-4269-470E-9BD0-BBB85FC59BDE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Diagonal form of the Varchenko matrices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Diagonal_form_of_the_Varchenko_matrices"}}}}}