{"entities":{"Q5947348":{"pageid":8124150,"ns":120,"title":"Item:Q5947348","lastrevid":47689459,"modified":"2026-01-02T10:53:22Z","type":"item","id":"Q5947348","labels":{"en":{"language":"en","value":"True dimension of some binary quadratic trace Goppa codes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1660955"}},"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":"Q5947348$2DEF0A37-F0B9-4E9E-A62D-75AF23EBD472","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa40d435e1fbb47a04ccd72e804cd098edd11ac3","datavalue":{"value":{"text":"True dimension of some binary quadratic trace Goppa codes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5947348$22F57004-0240-4E47-A06A-B6A9F241D80C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c00bf23a36915d65c79df69413d9179b285447f6","datavalue":{"value":"0984.94033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5947348$03A79267-71E9-4E93-9A14-0C6D383A0F14","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"26ad56874678912c63687ee1768496f41dd52135","datavalue":{"value":"10.1023/A:1011281431366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5947348$F92CD3FA-F068-48BD-A26B-25B10589FAA9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb34abbf39f11094509111953e4c62a22b1e3897","datavalue":{"value":{"entity-type":"item","numeric-id":115940,"id":"Q115940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5947348$D9C1D0D9-0D07-4A65-A4B6-53BAC883BB5D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56876ee84a98428ba4911e3b2022b1c24eab272a","datavalue":{"value":{"time":"+2002-05-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5947348$0E531AD5-3476-4189-935D-D7DF65AB604D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"acc64c007a9fd87f8c58a61390f780ed5d35cfab","datavalue":{"value":"Let \\(g(z)\\in \\mathbb{F}_{q^m}[z]\\), \\(L=\\{\\alpha_1, \\dots, \\alpha_n\\} \\subset \\mathbb{F}_{q^m}\\) such that forall \\(i\\), \\(g(\\alpha_i)\\neq 0\\). The Goppa code \\(\\Gamma (L,g)\\), of length \\(n\\) over \\(\\mathbb{F}_q\\), is the set of codewords, i.e., \\(n\\)-tuples \\((c_1, \\dots,c_n) \\in\\mathbb{F}_q^n\\), satisfying  \\[ \\sum^n_{i=1} {c_i\\over z-\\alpha_i} \\equiv 0\\pmod {g(z)}. \\]  The dimension \\(k\\) of \\(\\Gamma(L,g)\\) and its minimal distance \\(d\\) satisfy \\(k\\geq n-m \\deg g(z)\\) and \\(d\\geq\\deg g(z)+1\\). It is well known that it is a hard problem to compute the true dimension (and minimal distance) of any Goppa code. A lot of work has been done on special classes of Goppa codes in order to improve the general bound on the dimension.   Let \\(a(z)\\) and \\(b(z)\\) be two arbitrary elements of \\(\\mathbb{F}_{p^{ms}} [z]\\). A trace Goppa code is a \\(\\Gamma(L,g)\\) code where \\(g(z)=a(z) \\text{Tr}_{\\mathbb{F}_{p^{ms}}: \\mathbb{F}_{p^s}} (b(z))\\) and \\(L=\\mathbb{F}_{p^{ms}} \\setminus \\{z\\in \\mathbb{F}_{p^{ms}}\\), \\(g(z)=0\\}\\). Depending on the value of \\(p\\) and \\(m\\), three new bounds are given in [\\textit{P. V\u00e9ron}, IEEE Trans. Inf. Theory 44, 290-295 (1998; Zbl 0902.94020)] for the dimension of such codes. Moreover it is proved that these codes never reach the general known bound. The aim of this paper is to prove that the true dimension of binary Goppa codes defined by \\(g(z)=\\text{Tr}_{\\mathbb{F}_{2^{2s}}: \\mathbb{F}_{2^s}}(z)\\) is \\(n-2s\\deg g(z)+3s-1\\), proving this way a conjecture stated in [\\textit{A. M. Roseiro}, \\textit{J. I. Hall}, \\textit{J. E. Hadney} and \\textit{M. Siegel}, IEEE Trans. Inf. Theory. 38, 1130-1133 (1992; Zbl 0749.94013) and \\textit{P. V\u00e9ron} (loc. cit.)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q5947348$0F6BCD8F-2E96-4360-BCE6-6D2718A70BD8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4ccbe597853b179311d5638b907d4c28c9d67538","datavalue":{"value":"94B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5947348$5A12BE0D-E92E-470D-BA7B-4017F2483AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dcefd1e200eae54420c5080733f6b5a349da9f6a","datavalue":{"value":"11T71","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5947348$F50F86EC-9F50-47D0-B654-5D9A4A448E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e51adb5fded8427aba510fd00c59eaf339cb8e95","datavalue":{"value":"94B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5947348$2B3A699C-F2BF-4DD6-B496-FF1E311A059F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9dd0d975af7d7c9015b55c1e96793c275c7419be","datavalue":{"value":"1660955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5947348$DDE4B46B-F362-434F-9C32-1FCB8069943D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad9466f251fdc75e4bf16e883aa68e1a59f5667b","datavalue":{"value":"trace operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q5947348$7AA807CD-4268-4FC3-96CE-51A8B3816671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8feed15743ef8dd219bac589dbf17907d7b82bd","datavalue":{"value":"redundancy equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5947348$F7CDBB2F-B992-4370-9FB2-6711E0BC092B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09163f453bb22eff112ba67cbcc52754d2a1d900","datavalue":{"value":"parameters","type":"string"},"datatype":"string"},"type":"statement","id":"Q5947348$9C7CE399-1426-4074-AEDF-73AFCA729A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c167c9dd02f16b16c66c54b1356958f29c3b141","datavalue":{"value":"Goppa codes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5947348$BD90DD33-B32F-4705-8E7E-E421D83DEF80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"822012388723e080c4d5a5cd917df36a8bd954c5","datavalue":{"value":"true dimension","type":"string"},"datatype":"string"},"type":"statement","id":"Q5947348$77521475-BD43-43BF-AE57-F3DFC439B3E3","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":"Q5947348$02F3A8A0-CC01-4F43-842C-9386D7601A92","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4edf95e237cc15f854a021b1ae1e27ae6903d9e","datavalue":{"value":{"entity-type":"item","numeric-id":5468974,"id":"Q5468974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5947348$4B75B93B-889C-4134-874E-DFAB25971C49","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cabd3df3b0f9443197717d4af5af0c2605f32c0","datavalue":{"value":{"entity-type":"item","numeric-id":4392456,"id":"Q4392456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07d5feb0e021bc41b4f940f58068da5a461d063d","datavalue":{"value":{"amount":"+0.8766476511955261","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":"Q5947348$B86010CA-94CB-443E-AEF9-7CA1FEA820D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a6d974ac843214a3857a27ed549655f31a7e814","datavalue":{"value":{"entity-type":"item","numeric-id":4008348,"id":"Q4008348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6517db3cef69eed3f2c4eac471d83fbe92906aa5","datavalue":{"value":{"amount":"+0.8625576496124268","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":"Q5947348$F9048DDC-23E3-46E5-9A9A-016A578AF80D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e5d91ec40f4b9358c9cf0b3827a0fcb9b1f4f5f","datavalue":{"value":{"entity-type":"item","numeric-id":2697482,"id":"Q2697482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af2880a5d97cf164ae26fcdeadf490394bc3098c","datavalue":{"value":{"amount":"+0.8601288795471191","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":"Q5947348$F315EB4E-B153-4EBD-8327-20E0F897267E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1cb3e4ed01ccc776cc19bebe8acb9d9b377292e","datavalue":{"value":{"entity-type":"item","numeric-id":2572971,"id":"Q2572971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e956fa1089ae9b84e2ef7e007e8d9df4d23f3e32","datavalue":{"value":{"amount":"+0.8498393297195435","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":"Q5947348$2C23C057-668F-4C37-9CE0-79A83CCD87F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4699712ed4f3f91e8ad04ca28a9c489723c9b72","datavalue":{"value":{"entity-type":"item","numeric-id":3484765,"id":"Q3484765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3635c4b4f54f15f1bf901388e2c1865a3e316d2c","datavalue":{"value":{"amount":"+0.8469535708427429","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":"Q5947348$2CF31758-5E29-4270-A692-9759A6F966A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5947348","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5947348"}}}}}