{"entities":{"Q6953032":{"pageid":21221727,"ns":120,"title":"Item:Q6953032","lastrevid":84080150,"modified":"2026-05-09T13:36:38Z","type":"item","id":"Q6953032","labels":{"en":{"language":"en","value":"Algebraic notes on testing sets for lower and upper grids"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8069774"}},"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":"Q6953032$FCC3ED14-AC43-417C-9712-D8ECEBF05487","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"789df405959cdfa867999449be96109459d47357","datavalue":{"value":{"text":"Algebraic notes on testing sets for lower and upper grids","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6953032$A9222EDC-F64A-48F0-BA35-67AA83321EDB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c46bcc76ecb7f0caaf9822b377bf4039e471c7e8","datavalue":{"value":"10.1016/J.LAA.2025.05.022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6953032$F93B78EA-2683-4728-BF01-10C28D946042","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"05b7d4d5b6a0f30c329d4630bef02c95d87af028","datavalue":{"value":{"entity-type":"item","numeric-id":242785,"id":"Q242785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953032$6C45D968-4829-4C4B-83F3-AD2ABDC2BB49","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8de031de05325b44570d0c47c3ec8813873d565c","datavalue":{"value":{"entity-type":"item","numeric-id":92813,"id":"Q92813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953032$0E32D407-42FD-4AA6-BDC0-E30188E6A3CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf8d2816df86fd5131632e109bed1415b4cf2ad1","datavalue":{"value":{"time":"+2025-07-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6953032$5FEEFE4A-4F06-489E-AAF0-F728484848B9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"05e3d55f341025422bc7ee35064168d829e4a91c","datavalue":{"value":"In a broad sense, Lagrange interpolation consists of the following. Let \\(k\\) be a field, \\(\\mathcal{A}\\) be an arbitrary set and \\(\\mathcal{P}\\) be a finite-dimensional vector subspace of the functional space \\(k^{\\mathcal{A}}\\). Then, given a subset \\(\\mathcal{N}\\) of elements of \\(\\mathcal{A}\\), called nodes, and some data in each node (a mapping \\(y: \\mathcal{N} \\rightarrow k\\)), we may ask for a function \\(f \\in \\mathcal{P}\\) that agrees with \\(y \\in \\mathcal{N}\\). We say that the pair \\((\\mathcal{P}, \\mathcal{N})\\) is \\textit{poised for interpolation} whenever any data \\(y \\in k^{\\mathcal{N}}\\) can be interpolated by a unique function of \\(\\mathcal{P}\\) (see, for example, [\\textit{M. Gasca} and \\textit{T. Sauer}, Adv. Comput. Math. 12, No. 4, 377--410 (2000; Zbl 0943.41001)]). \\N\\NIn the paper under review, the following case is considered. The set \\(\\mathcal{A}\\) is the \\(n\\)-dimensional affine space \\(k^n\\), the space \\(\\mathcal{P}\\) consists of polynomial functions generated by polynomials in \\(k[ x_1, \\cdots, x_n]\\) and the nodes for interpolation are selected from a cartesian product \\(\\mathcal{X} = \\mathcal{X}_1 \\times \\cdots \\times \\mathcal{X}_n\\), where \\(\\mathcal{X}_i = \\{ x_{i0}, x_{i1}, \\ldots, x_{ij}, \\ldots \\}\\) are sets of independent variables \\(x_{ij}\\), which can later be replaced by elements of \\(k\\).\\N\\NMore precisely, let \\(\\mathcal{C}\\) be a \\textit{grid} (i.e., a finite subset of \\(\\mathbb{N}_0^n\\)) and define \\(\\mathcal{X_C} := \\{ (x_{1 \\tau_1} , \\ldots , x_{n \\tau_n}) : (\\tau_1, \\cdots , \\tau_n) \\in \\mathcal{C} \\}\\). Let \\(\\mathcal{B}\\) be a finite set of monomials \\(x^{\\alpha} = x^{\\alpha_1}_1 x^{\\alpha_2}_2 \\cdots x^{\\alpha_n}_n\\), where \\(\\alpha = (\\alpha_1, \\cdots, \\alpha_n) \\in \\mathbb{N}_0^n\\). Such a set can be identified with a grid via the correspondence \\(x^\\alpha \\mapsto \\alpha\\). Evaluating a monomial \\(x^{\\alpha} \\in \\mathcal{B}\\) at a node \\((x_{1 \\tau_1} , \\ldots , x_{n \\tau_n}) \\in \\mathcal{X_\\mathcal{C}}\\) produces an element \\(x^{\\alpha_1}_{1\\tau_1} \\cdots x^{\\alpha_n}_{n \\tau_n}\\) of the field of fractions \\(\\mathbb{K} = k (\\{ x_{ij} \\})\\) and we can define the evaluation map\\N\\[\\N\\mathrm{Ev}_{\\mathcal{B,C}} : \\mathfrak{P}_\\mathcal{B} \\longrightarrow \\mathbb{K}^{\\mathcal{X_C}},\\N\\]\\Nwhere \\(\\mathfrak{P}_\\mathcal{B}\\) is the \\(\\mathbb{K}\\)-subspace of \\(\\mathbb{K}[x_1, \\ldots, x_n]\\) generated by \\(\\mathcal{B}\\). We say that \\(\\mathcal{B}\\) is a \\(\\sigma\\)-lower (resp., \\(\\sigma\\)-upper) grid if it is a union of intervals of \\(\\mathbb{N}^n_0\\) with common origin \\(\\sigma\\) (resp., endpoint \\(\\sigma\\)). When \\(\\mathcal{B} = \\mathcal{C}\\) and \\(\\mathcal{B}\\) is a \\(\\sigma\\)-lower (resp., \\(\\sigma\\)-upper) grid, the author provides (Theorem 9) explicit formulas for \\(\\det \\mathbb{V}[\\mathcal{B}]\\), the determinant of \\(\\mathrm{Ev}_{\\mathcal{B,B}}\\), and proves (Corollary 10) that if \\(\\mathcal{B} \\subseteq \\mathcal{B}'\\) are \\(\\sigma\\)-lower grids, then\\N\\[\\N\\det \\mathbb{V}[\\mathcal{B}] \\mid \\det \\mathbb{V}[\\mathcal{B}'].\\N\\]\\NAdditionally, the author proves (Theorem 5) that the pairs \\((\\mathfrak{P}_\\mathcal{B}, \\mathcal{X_B})\\) are poised for interpolation for any grid \\(\\mathcal{B}\\).\\N\\NThe paper concludes (Section 5) with a more detailed study of the case in which \\(k\\) is a finite field, and relevant examples for coding theory (e.g., generalized Reed-Muller codes) are given. The author points out that this paper was inspired by the notion of \\textit{non-cubic} subsets of a finite dimensional \\(\\mathbb{F}_2\\)-vector space used by \\textit{R. Livn\u00e9} [Contemp. Math. 67, 247--261 (1987; Zbl 0621.14019)] in a criterion to prove that the semi-simplifications of two 2-adic Galois representations are isomorphic. Therefore, the results of this paper could also be useful in representation theory.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6953032$81A0B6C8-619F-4607-B101-8470AFA5B736","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"14cab9c77f17f7a36a9a6f56c5f92cbd9f8fcc61","datavalue":{"value":{"entity-type":"item","numeric-id":1706086,"id":"Q1706086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953032$6AC2E301-5B7A-4582-8D78-7B9AEB90A071","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bbe2dde55566c57c31463992aac9b72d0f8c104e","datavalue":{"value":"15B33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6953032$24367CEA-EDCE-4DE3-AFFB-4CEDB1C9D12A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3a56ed6d195ea3539360546b34a91d2ad94c0346","datavalue":{"value":"15A23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6953032$9F818F64-9B50-430B-A9C7-BF5B9D09CCE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e97bd36d529226a5c2a7d319ccb88fe485aab7bf","datavalue":{"value":"15A72","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6953032$068F081E-4911-4139-AF67-4066E5A8DCAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d97fa68dd4f971b8cbd10801313cf3fd95c3e3e","datavalue":{"value":"41A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6953032$51A94C35-1D56-44D6-87CC-7FA72673B360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dcefd1e200eae54420c5080733f6b5a349da9f6a","datavalue":{"value":"11T71","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6953032$AA77DBBA-F17B-48E0-B6B1-EC637A1B25F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005488ac12471348bfecb95099a57fd4da722ac","datavalue":{"value":"11T06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6953032$5158FD7C-83FB-4587-9F89-0A1AC217AA44","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c6673dc09a804b3e8c33b2182a8c4e2d62df354","datavalue":{"value":"8069774","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6953032$7F707D2B-F3E5-4281-9CFC-AE9F039CAD49","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6953032$7B7ACC1E-2345-43F6-8256-AF584EDA662A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc295efd0767efa111a07af14cfe9ebae4956b23","datavalue":{"value":"lower grid","type":"string"},"datatype":"string"},"type":"statement","id":"Q6953032$D0B0D018-0B54-411B-91CA-0CE21B7BE8D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db781f7c9fd5a7bed45361156695296842895395","datavalue":{"value":"upper grid","type":"string"},"datatype":"string"},"type":"statement","id":"Q6953032$3B8A7A1F-9658-4D24-A1D8-F7E5623688DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e299a043d7fe40203bec7d29d2a590df760f9eb","datavalue":{"value":"testing set","type":"string"},"datatype":"string"},"type":"statement","id":"Q6953032$6FDC9D80-2793-4025-BC4F-B7CF0287C3A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"157ab91c419be05cdd3c038eba702556731cfe6a","datavalue":{"value":"tensor product","type":"string"},"datatype":"string"},"type":"statement","id":"Q6953032$0561BFC7-CA27-41EE-9C11-B9F0B57017AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b71a4eaf5b1f7956096e28bc713b1b5f84affd0c","datavalue":{"value":"Vandermonde determinant","type":"string"},"datatype":"string"},"type":"statement","id":"Q6953032$B548D193-ED4E-4F20-8ADC-CC977A61CB01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3711b386902559bb22bf67091b7eca92012716a","datavalue":{"value":"finite field","type":"string"},"datatype":"string"},"type":"statement","id":"Q6953032$4D683216-A075-460D-84CD-89532E76C6C9","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":"Q6953032$522A4504-9429-420F-8936-74C5208613EC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3aecde3cdeef6c6f10e171852083ca59ddd7f5f2","datavalue":{"value":{"entity-type":"item","numeric-id":6191070,"id":"Q6191070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953032$2B19F960-76B0-46F7-9A5D-DF7D389BAC5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdd0676f008d3d35603ace258b7c421e863d9a84","datavalue":{"value":{"entity-type":"item","numeric-id":1196681,"id":"Q1196681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953032$76756D0C-6469-4747-A5E7-C00670B2CE86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d3b084560c3a7bde137e6723ce54b6e39c1f8d4","datavalue":{"value":{"entity-type":"item","numeric-id":4243069,"id":"Q4243069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953032$56B3E18A-6D61-466B-831D-6CA9CA8FE4DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f0714e3fd441b56d78f46ee5255a89e7771aaad","datavalue":{"value":{"entity-type":"item","numeric-id":4081121,"id":"Q4081121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953032$B89D965A-C32D-4A48-B5D8-41EC8DE44030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e3b0745231bfb15770f4832d8f835e3a213d65a","datavalue":{"value":{"entity-type":"item","numeric-id":384939,"id":"Q384939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953032$95D98D0E-5B1C-4BDC-B2CF-AA620F693463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a92bee14c1f5fa161696b9a19446326ed851f30e","datavalue":{"value":{"entity-type":"item","numeric-id":1840215,"id":"Q1840215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953032$F16BEDC0-E9EB-4BD7-AC2B-652502E25853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f413798c4fad54cf113056f6f4118c35f7af2ade","datavalue":{"value":{"entity-type":"item","numeric-id":1178687,"id":"Q1178687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953032$AF9E3D06-1023-4F6C-8A2C-9ED313CA372D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"310ff06b56ea9f42c0136544bb8b71f63db69404","datavalue":{"value":{"entity-type":"item","numeric-id":5684558,"id":"Q5684558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953032$D2B3AC78-3E11-47FD-824F-BDCBE8ACB94B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00c1d953c5980e2ffdea0053f4fb7faa2bc7a229","datavalue":{"value":{"entity-type":"item","numeric-id":3584823,"id":"Q3584823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953032$B7C2C87B-E357-40C8-B1C4-39C801DDAD15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23b9262d965ee73f3686b09cb268a86077b14801","datavalue":{"value":{"entity-type":"item","numeric-id":2238036,"id":"Q2238036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953032$73B298EA-ECCD-4F9C-AD25-32C6673AF027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d736c9e6dbca3076958cafd8a7513cf8dfb6054","datavalue":{"value":{"entity-type":"item","numeric-id":1073125,"id":"Q1073125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953032$ED6258C7-48E2-413B-87A6-100BBA8B0E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4f783ea61b2bd51c45455b460f5bea1b1390f65","datavalue":{"value":{"entity-type":"item","numeric-id":1968639,"id":"Q1968639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953032$AEE74A1F-4F7E-4DE3-B52B-3AB6EB3CBD2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d52df2154bfdd0f3ced81e7603ae5503222445b","datavalue":{"value":{"entity-type":"item","numeric-id":5689624,"id":"Q5689624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953032$B81D8756-4329-44BB-B1A2-4D61A46ED82E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f5ea949582b25c355e82ec20da3759782009dd5","datavalue":{"value":{"entity-type":"item","numeric-id":2963525,"id":"Q2963525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953032$41F5128A-244B-4432-ADE2-6E91936961E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfcb1796d0537bf47d4e99ccb59d950fab948243","datavalue":{"value":{"entity-type":"item","numeric-id":2464494,"id":"Q2464494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953032$62EC00DB-3629-4126-9A69-61EFCBD4045C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b1a601d2d325d59af7d202f1f94462edd810b86","datavalue":{"value":{"entity-type":"item","numeric-id":3495652,"id":"Q3495652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953032$729E5A1A-E344-4B84-A02B-752F2B297268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd21bd50ef7a802dd953dc201f6edde7066271c","datavalue":{"value":{"entity-type":"item","numeric-id":3665263,"id":"Q3665263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953032$CDF55A61-B6F1-4A4A-AB38-A82572E6000B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09e633db0f557b9206d31cddc4d5a1e201d27f97","datavalue":{"value":{"entity-type":"item","numeric-id":1843465,"id":"Q1843465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953032$0D9C9182-497B-45D6-AD97-CC50FC1D26BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6260363b9a2fcfec5a71ca02eeb131968fb6f41","datavalue":{"value":{"entity-type":"item","numeric-id":3758032,"id":"Q3758032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953032$69C0339E-F0C2-457C-9533-E199F41A66D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2a27f9c2c5c2527a60ad34fa0027518aa5afb8a","datavalue":{"value":{"entity-type":"item","numeric-id":3220672,"id":"Q3220672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953032$3D146A4D-DD81-4A12-A0F9-412F3B28A752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71b09b01e4e191a2ad0c20d0ec851faa6c71526e","datavalue":{"value":{"entity-type":"item","numeric-id":4433126,"id":"Q4433126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953032$12BC14A3-4140-4B90-86F5-208BF743CC79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41573e6e1c3ecfb5cb604a65a31709e6ebbc718a","datavalue":{"value":{"entity-type":"item","numeric-id":3075351,"id":"Q3075351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953032$1A62A5CE-EC7C-4AAD-AD3B-93A891681A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8af923d7f6de303f97d35b9d5190367f74cda10","datavalue":{"value":{"entity-type":"item","numeric-id":3987451,"id":"Q3987451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6953032$00CC048B-20DE-444A-B472-D828800B2348","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebraic notes on testing sets for lower and upper grids","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algebraic_notes_on_testing_sets_for_lower_and_upper_grids"}}}}}