More Like this

1. An algebraic characterization of binary CSS-T codes and cyclic CSS-T codes for quantum fault tolerance

   https://doi.org/10.1007/s11128-024-04427-5  

   Camps-Moreno, Eduardo; López, Hiram H; Matthews, Gretchen L; Ruano, Diego; San-José, Rodrigo; Soprunov, Ivan (June 2024, Quantum Information Processing)

   Abstract CSS-T codes were recently introduced as quantum error-correcting codes that respect a transversal gate. A CSS-T code depends on a CSS-T pair, which is a pair of binary codes$$(C_1, C_2)$$ $(C_1,C_2)$such that$$C_1$$ $C_1$contains$$C_2$$ $C_2$,$$C_2$$ $C_2$is even, and the shortening of the dual of$$C_1$$ $C_1$with respect to the support of each codeword of$$C_2$$ $C_2$is self-dual. In this paper, we give new conditions to guarantee that a pair of binary codes$$(C_1, C_2)$$ $(C_1,C_2)$is a CSS-T pair. We define the poset of CSS-T pairs and determine the minimal and maximal elements of the poset. We provide a propagation rule for nondegenerate CSS-T codes. We apply some main results to Reed–Muller, cyclic and extended cyclic codes. We characterize CSS-T pairs of cyclic codes in terms of the defining cyclotomic cosets. We find cyclic and extended cyclic codes to obtain quantum codes with better parameters than those in the literature. 

   more » « less
2. VC-Dimension of Hyperplanes Over Finite Fields

   https://doi.org/10.1007/s00373-025-02909-6  

   Ascoli, Ruben; Betti, Livia; Cheigh, Justin; Iosevich, Alex; Jeong, Ryan; Liu, Xuyan; McDonald, Brian; Milgrim, Wyatt; Miller, Steven J; Romero_Acosta, Francisco; et al (April 2025, Graphs and Combinatorics)

   Abstract Let$$\mathbb {F}_q^d$$ $F_q^d$be thed-dimensional vector space over the finite field withqelements. For a subset$$E\subseteq \mathbb {F}_q^d$$ $E\subseteq F_q^d$and a fixed nonzero$$t\in \mathbb {F}_q$$ $t\in F_q$, let$$\mathcal {H}_t(E)=\{h_y: y\in E\}$$ $H_t\left(E\right)=\{h_y:y\in E\}$, where$$h_y:E\rightarrow \{0,1\}$$ $h_y:E\to \{0,1\}$is the indicator function of the set$$\{x\in E: x\cdot y=t\}$$ $\{x\in E:x·y=t\}$. Two of the authors, with Maxwell Sun, showed in the case$$d=3$$ $d=3$that if$$|E|\ge Cq^{\frac{11}{4}}$$ $\left|E\right|\ge C{q}^{\frac{11}{4}}$andqis sufficiently large, then the VC-dimension of$$\mathcal {H}_t(E)$$ $H_t\left(E\right)$is 3. In this paper, we generalize the result to arbitrary dimension by showing that the VC-dimension of$$\mathcal {H}_t(E)$$ $H_t\left(E\right)$isdwhenever$$E\subseteq \mathbb {F}_q^d$$ $E\subseteq F_q^d$with$$|E|\ge C_d q^{d-\frac{1}{d-1}}$$ $\left|E\right|\ge C_d{q}^{d-\frac{1}{d-1}}$. 

   more » « less
3. Towards a Schinzel–Wójcik theorem for number fields

   https://doi.org/10.1007/s40879-025-00819-8  

   Pollack, Paul (June 2025, European Journal of Mathematics)

   Abstract Schinzel and Wójcik have shown that for every$$\alpha ,\beta \in \mathbb {Q}^{\times }\hspace{0.55542pt}{\setminus }\hspace{1.111pt}\{\pm 1\}$$ $\alpha ,\beta \in Q^{\times }\backslash \{\pm 1\}$, there are infinitely many primespwhere$$v_p(\alpha )=v_p(\beta )=0$$ $v_p\left(\alpha \right)=v_p\left(\beta \right)=0$and where$$\alpha $$ $\alpha$and$$\beta $$ $\beta$generate the same multiplicative group modp. We prove a weaker result in the same direction for algebraic numbers$$\alpha , \beta $$ $\alpha ,\beta$. Let$$\alpha , \beta \in \overline{\mathbb {Q}} ^{\times }$$ $\alpha ,\beta \in {\overline{Q}}^{\times }$, and suppose$$|N_{\mathbb {Q}(\alpha ,\beta )/\mathbb {Q}}(\alpha )|\ne 1$$ $|N_{Q(\alpha ,\beta )/Q}\left(\alpha \right)|\ne 1$and$$|N_{\mathbb {Q}(\alpha ,\beta )/\mathbb {Q}}(\beta )|\ne 1$$ $|N_{Q(\alpha ,\beta )/Q}\left(\beta \right)|\ne 1$. Then for some positive integer$$C = C(\alpha ,\beta )$$ $C=C(\alpha ,\beta )$, there are infinitely many prime idealsPof Equation missing<#comment/>where$$v_P(\alpha )=v_P(\beta )=0$$ $v_P\left(\alpha \right)=v_P\left(\beta \right)=0$and where the group$$\langle \beta \bmod {P}\rangle $$ $⟨\beta modP⟩$is a subgroup of$$\langle \alpha \bmod {P}\rangle $$ $⟨\alpha modP⟩$with$$[\langle \alpha \bmod {P}\rangle \,{:}\, \langle \beta \bmod {P}\rangle ]$$ $[⟨\alpha modP⟩:⟨\beta modP⟩]$dividingC. A key component of the proof is a theorem of Corvaja and Zannier bounding the greatest common divisor of shiftedS-units. 

   more » « less
4. On Pisier Type Theorems

   https://doi.org/10.1007/s00493-024-00115-1  

   Nešetřil, Jaroslav; Rödl, Vojtěch; Sales, Marcelo (July 2024, Combinatorica)

   Abstract For any integer$$h\geqslant 2$$ $h⩾2$, a set of integers$$B=\{b_i\}_{i\in I}$$ $B={\left\{b_i\right\}}_{i\in I}$is a$$B_h$$ $B_h$-set if allh-sums$$b_{i_1}+\ldots +b_{i_h}$$ $b_{i_1}+\dots +b_{i_h}$with$$i_1<\ldots $i_1<\dots <i_h$are distinct. Answering a question of Alon and Erdős [2], for every$$h\geqslant 2$$ $h⩾2$we construct a set of integersXwhich is not a union of finitely many$$B_h$$ $B_h$-sets, yet any finite subset$$Y\subseteq X$$ $Y\subseteq X$contains an$$B_h$$ $B_h$-setZwith$$|Z|\geqslant \varepsilon |Y|$$ $\left|Z\right|⩾\epsilon \left|Y\right|$, where$$\varepsilon :=\varepsilon (h)$$ $\epsilon :=\epsilon \left(h\right)$. We also discuss questions related to a problem of Pisier about the existence of a setAwith similar properties when replacing$$B_h$$ $B_h$-sets by the requirement that all finite sums$$\sum _{j\in J}b_j$$ ${\sum }_{j\in J}{b}_j$are distinct. 

   more » « less
5. Abelian varieties of prescribed order over finite fields

   https://doi.org/10.1007/s00208-024-03084-4  

   van_Bommel, Raymond; Costa, Edgar; Li, Wanlin; Poonen, Bjorn; Smith, Alexander (May 2025, Mathematische Annalen)

   Abstract Given a prime powerqand$$n \gg 1$$ $n\gg 1$, we prove that every integer in a large subinterval of the Hasse–Weil interval$$[(\sqrt{q}-1)^{2n},(\sqrt{q}+1)^{2n}]$$ $[{(\sqrt{q}-1)}^{2n},{(\sqrt{q}+1)}^{2n}]$is$$\#A({\mathbb {F}}_q)$$ $\#A\left(F_q\right)$for some ordinary geometrically simple principally polarized abelian varietyAof dimensionnover$${\mathbb {F}}_q$$ $F_q$. As a consequence, we generalize a result of Howe and Kedlaya for$${\mathbb {F}}_2$$ $F_2$to show that for each prime powerq, every sufficiently large positive integer is realizable, i.e.,$$\#A({\mathbb {F}}_q)$$ $\#A\left(F_q\right)$for some abelian varietyAover$${\mathbb {F}}_q$$ $F_q$. Our result also improves upon the best known constructions of sequences of simple abelian varieties with point counts towards the extremes of the Hasse–Weil interval. A separate argument determines, for fixedn, the largest subinterval of the Hasse–Weil interval consisting of realizable integers, asymptotically as$$q \rightarrow \infty $$ $q\to \infty$; this gives an asymptotically optimal improvement of a 1998 theorem of DiPippo and Howe. Our methods are effective: We prove that if$$q \le 5$$ $q\le 5$, then every positive integer is realizable, and for arbitraryq, every positive integer$$\ge q^{3 \sqrt{q} \log q}$$ $\ge q^{3\sqrt{q}logq}$is realizable. 

   more » « less