{"entities":{"Q6858023":{"pageid":20644777,"ns":120,"title":"Item:Q6858023","lastrevid":84256238,"modified":"2026-05-14T06:53:13Z","type":"item","id":"Q6858023","labels":{"en":{"language":"en","value":"Recovering a group from few orbits"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8159768"}},"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":"Q6858023$ABF7D2DE-A369-4FD1-81B7-0BFE8457DA4F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bac2beb9cb720c7669df92baf255862269c03843","datavalue":{"value":{"text":"Recovering a group from few orbits","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6858023$E89B30F4-2A06-44C6-955F-F533B5A63DD0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d96c92c6c1d982c30c402768e062eab5729a605","datavalue":{"value":"10.1016/J.ACHA.2025.101836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6858023$F473B93C-71B9-4807-B18C-F5B458440B3C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc5ecbafb9e90be0ae7c111f1a1161774862d7a7","datavalue":{"value":{"entity-type":"item","numeric-id":295814,"id":"Q295814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858023$E53157D0-7ADF-47A6-B984-04AE113F8ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b3a4f2a45b950515ff68502ec059bc25664a804","datavalue":{"value":{"entity-type":"item","numeric-id":6074059,"id":"Q6074059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858023$9B395B2C-916A-405C-A04E-ED4AD4CFBBAB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e219ca58c5478bf431640db74af74d5c15bdb120","datavalue":{"value":{"entity-type":"item","numeric-id":107999,"id":"Q107999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858023$C4EE6B59-8AA8-4FCD-A57B-312E0487D7ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"201bc5f1c6aaafff5af492cceff0e56940339da6","datavalue":{"value":{"time":"+2026-02-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6858023$48BDD4CE-3960-4F8B-B6F6-02214F97DDEC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4410327e8c163000224680f74d14270649ff40c1","datavalue":{"value":"Let \\(V\\) be a finite-dimensional Hilbert space over \\(\\mathbb{F}\\in\\{\\mathbb{R},\\mathbb{C}\\}\\) and let \\(G\\le \\operatorname{Aut}(V)\\) be an unknown finite group of automorphisms. The paper studies how many generic \\(G\\)-orbits in \\(V\\), observed as unstructured subsets, suffice to recover \\(G\\) up to isomorphism (abstract recovery) and as a concrete subgroup of \\(\\operatorname{Aut}(V)\\) (concrete recovery).\\N\\NThe Gram graph of a finite set \\(S\\subset V\\) is the complete directed graph on vertex set \\(S\\) in which the edge \\(s\\to t\\) is labeled by the inner product \\(\\langle s,t\\rangle\\). For abstract recovery, the main complex result (Theorem 2) shows that one generic orbit suffices: for generic \\(v\\in V\\) the isomorphism class of the Gram graph of \\(Gv\\) determines \\(G\\) up to isomorphism and the canonical map \\(G\\to \\operatorname{Aut}(Gv)\\) is an isomorphism. In the real case, two generic orbits suffice (Theorem 3), while the analogous one-orbit statement remains open as a conjecture.\\N\\NFor concrete recovery, the authors first show that, for generic \\((v_1,\\dots,v_k)\\in V^k\\), the canonical map \\(G\\to \\operatorname{Aut}(Gv_1\\cup\\cdots\\cup Gv_k)\\) is an isomorphism provided \\(k\\ge 1\\) if \\(\\mathbb{F}=\\mathbb{C}\\) and \\(k\\ge 2\\) if \\(\\mathbb{F}=\\mathbb{R}\\) (Theorem~4). They then give sharp representation-theoretic criteria ensuring that \\(k\\) generic orbits span a subspace of codimension \\(<r\\), where \\(r\\) is the dimension of the smallest nontrivial representation of \\(G\\) (Theorem 5), using the regular representation and multiplicity bounds. Corollary 1 combines these ingredients: if \\(k\\) satisfies both the orbit-number condition from Theorem 4 and the spanning criterion from Theorem 5, then \\(k\\) generic orbits determine \\(G\\) as a concrete subgroup of \\(\\operatorname{Aut}(V)\\); if the spanning criterion fails, then no choice of \\(k\\) orbits determines \\(G\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q6858023$6A34D18E-631C-4CE7-A725-5F730ECBE1BB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5bfd82087b720927b1a296c318191d7cfc2aac2e","datavalue":{"value":{"entity-type":"item","numeric-id":284097,"id":"Q284097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858023$636B67FA-819E-45AC-91B0-DE66CEB4392A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bb5d1e694a0c88d435d98289c9ff9b7eb400d6bb","datavalue":{"value":"20C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6858023$A4846CD2-B72D-40E7-8AB5-4D0FCBEB158A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74e7832a915a62c417a3bf8c026eff5989fd94d3","datavalue":{"value":"05C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6858023$BED044E6-4D33-4BB9-BE43-B76CF699732E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25c8936003d39e41a9c8a541470f5aac0fe1fa32","datavalue":{"value":"20B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6858023$7823669F-C288-4295-9632-079EA4B7EE04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"32497e8c55e8aef7a70dfd7d4a577cedd69c36db","datavalue":{"value":"46C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6858023$080F8F8A-A5CE-4926-A792-019F4B050456","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fdf875c96a89041871468e837abc7d2db8039cf0","datavalue":{"value":"8159768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6858023$F17FAF6D-6001-4335-97F9-690514A37626","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7c02797f0d1333f502c4a18304b6dca55179997","datavalue":{"value":"group action","type":"string"},"datatype":"string"},"type":"statement","id":"Q6858023$4B372F43-5646-40BE-AF47-781CD3F2B31E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d1cb0c92ec117e721722563d91e34f49c8d853c","datavalue":{"value":"orbit","type":"string"},"datatype":"string"},"type":"statement","id":"Q6858023$B5A1FE75-B4A4-4E6D-A038-7BBC15EAB8B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1267a15b8ae0f04dbc43b685500e681cf73c4a7","datavalue":{"value":"inverse problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6858023$C0F08709-C1F4-4338-AEEC-4BD2DF0722F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"614d88d59f361d2d6b9adacc8d9751a483cab710","datavalue":{"value":"symmetry","type":"string"},"datatype":"string"},"type":"statement","id":"Q6858023$2C97AE1F-37C1-407B-A66B-B3540C713336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27db29e1545997752d0ba25fa3e41f101d1cfb85","datavalue":{"value":"Hilbert space","type":"string"},"datatype":"string"},"type":"statement","id":"Q6858023$D38FE14B-A429-47C4-B370-CD4ECC31517B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"564108abbd362bbd17ff4e931a14c17c9c4e2a04","datavalue":{"value":"Gram matrix","type":"string"},"datatype":"string"},"type":"statement","id":"Q6858023$4AF20D74-BF0E-4AF4-A158-EC3F007930E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"945e759271cb9132011681401d06500507fcae2e","datavalue":{"value":"Gram graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q6858023$BE16334C-E8DA-45EE-8908-64C5F0D3734B","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":"Q6858023$E020EEE9-A776-4DF1-9C1E-3798BE2BF995","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4298c753f11b6bedeb3afd74e7e6bd430d406f4","datavalue":{"value":{"entity-type":"item","numeric-id":2491721,"id":"Q2491721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858023$484CF27F-86D2-46C6-B220-29577D72AF48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"442c60a3cc4ced55641c09e543ccaa0b538bd5f8","datavalue":{"value":{"entity-type":"item","numeric-id":6172176,"id":"Q6172176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858023$961C1A69-5DBC-441A-82E9-9C3DBA3153D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8c7ad7c249ea417e03877912032812b25af6413","datavalue":{"value":{"entity-type":"item","numeric-id":6415353,"id":"Q6415353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858023$E29E68AD-67FB-491D-934C-7C76975F788E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ca99250787afb3c97d43b1b565f204419b8aa78","datavalue":{"value":{"entity-type":"item","numeric-id":6049160,"id":"Q6049160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858023$D76BD0B0-B4D3-419E-8B25-218B3E74C1E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da029a98d025cd83f814124e835ba17d0a17fafa","datavalue":{"value":{"entity-type":"item","numeric-id":2435602,"id":"Q2435602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858023$8AF1BB24-AB2A-4142-9FF9-C3D62153BD12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72ede6263e2d666602e3ca67a3df275bc02ad9e8","datavalue":{"value":{"entity-type":"item","numeric-id":778023,"id":"Q778023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858023$766151F5-7CB1-49E6-A937-13F4B8BF0C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f2a51a94cc84c4e9729c9655b022e360e57142e","datavalue":{"value":{"entity-type":"item","numeric-id":6120335,"id":"Q6120335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858023$EC44319B-E0C3-403C-B5EE-E41833D8680D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e22668f55a3352a92171dd8a960e37335e0d5cf7","datavalue":{"value":{"entity-type":"item","numeric-id":6567399,"id":"Q6567399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858023$FE4F5800-8647-4671-8CF0-C20322510846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c691cd1b310be12d245254800cb784216bf4a25","datavalue":{"value":{"entity-type":"item","numeric-id":6038826,"id":"Q6038826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858023$A3F17856-D25D-4A8F-9F5A-2D053F239251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c32dca2993e732bad43d7777cc5eb04cbc70ce07","datavalue":{"value":{"entity-type":"item","numeric-id":2808157,"id":"Q2808157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858023$C37A1C81-66B4-45D3-95DA-ABC64C6416D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cd8845f3a423777a0e024d5ad0f6d7745a19bf5","datavalue":{"value":{"entity-type":"item","numeric-id":3420216,"id":"Q3420216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858023$76B5EF6E-189B-4AE0-BECD-EEF6A3430507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d646951aabb42a71d53161775d51d37c48a50ee9","datavalue":{"value":{"entity-type":"item","numeric-id":2512839,"id":"Q2512839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858023$4719656C-4C0C-4E8A-8CC4-E68B7224551F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56117a0774c927b9e75e4641951966e4deb91130","datavalue":{"value":{"entity-type":"item","numeric-id":6594423,"id":"Q6594423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858023$6B1C8580-C716-45C9-9C7C-5B637FDAD840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d001954440da0e0e5b1be311308115bd0b1dad17","datavalue":{"value":{"entity-type":"item","numeric-id":6151957,"id":"Q6151957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858023$F888FFBB-F78E-43FE-A1B2-A824A6BC3BCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89868853df043aedbe5af48c8d8f899bca136343","datavalue":{"value":{"entity-type":"item","numeric-id":5344631,"id":"Q5344631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858023$EFD3BFBD-D56D-4B0C-93FD-D61A74D0585F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bfc0a36e0a593ea8b019b190e9867fb5ea3205f","datavalue":{"value":{"entity-type":"item","numeric-id":2647256,"id":"Q2647256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858023$9C05526E-4875-4A28-A984-E301B523E016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48623be30427acaf84260d5a14d7a3c30df67cc2","datavalue":{"value":{"entity-type":"item","numeric-id":6638518,"id":"Q6638518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858023$EEA19E68-A650-4EF6-A5FC-617AABB9E825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53d472ea05453a413604f5e0c36830c133753ae5","datavalue":{"value":{"entity-type":"item","numeric-id":2237944,"id":"Q2237944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858023$3B8C9C6B-619F-4C40-B1A5-45DA4F605642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d97178a7ac03832338acc7cb14b5a76c4f65388","datavalue":{"value":{"entity-type":"item","numeric-id":6122138,"id":"Q6122138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858023$D3EF051C-E12C-4824-AAD0-F6B1CA979555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4f44ae278d7d832cc945ac5de6c63b81fea57b8","datavalue":{"value":{"entity-type":"item","numeric-id":6144995,"id":"Q6144995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858023$E201D024-00F2-4F3E-AF81-E92AE66EEE89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"190ab7055699d75d31658de0634bc8fc7930f38e","datavalue":{"value":{"entity-type":"item","numeric-id":2659725,"id":"Q2659725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858023$C22E18FF-BACA-4D93-A076-397AA85FA3CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc4d0ea324879514e7ddffa2c7e61b0a7a1bbce1","datavalue":{"value":{"entity-type":"item","numeric-id":972800,"id":"Q972800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858023$71398EE1-E821-4F48-B50B-FAD8DA94CE62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af43d6d8ba66f18e7bac37c17482eb8e1889dc08","datavalue":{"value":{"entity-type":"item","numeric-id":1772222,"id":"Q1772222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858023$44514532-002F-483E-86ED-2BD22F2B85C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac2aa6d50ae31c5ecdc87d6ff54a9dd9113421d7","datavalue":{"value":{"entity-type":"item","numeric-id":1697406,"id":"Q1697406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858023$96811934-B381-4925-B821-B6F8F5C5F4E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5a618cebca588fc7b18517377c78f9aaa8b4ca1","datavalue":{"value":{"entity-type":"item","numeric-id":2325541,"id":"Q2325541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858023$C519FF72-75FA-4ADB-A0C9-324E135FF509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da56f10f0b70314ea575aed4ec40329bef865c02","datavalue":{"value":{"entity-type":"item","numeric-id":5809136,"id":"Q5809136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858023$E05E9557-92EE-4D6D-99DD-DE304430BA01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"647866f65876dc3ab553685104fbcd1482fe4443","datavalue":{"value":{"entity-type":"item","numeric-id":6605818,"id":"Q6605818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6858023$431DCC80-26EA-4514-8191-2D927D11E3B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Recovering a group from few orbits","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Recovering_a_group_from_few_orbits"}}}}}