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. Open, Closed, and Non-Degenerate Embedding Dimensions of Neural Codes

   https://doi.org/10.1007/s00454-023-00512-1  

   Jeffs, R Amzi (March 2024, Discrete & Computational Geometry)

   Abstract We study the open, closed, and non-degenerate embedding dimensions of neural codes, which are the smallest respective dimensions in which one can find a realization of a code consisting of convex sets that are open, closed, or non-degenerate in a sense defined by Cruz, Giusti, Itskov, and Kronholm. For a given code$$\mathcal {C}$$ $C$we define the embedding dimension vector to be the triple (a, b, c) consisting of these embedding dimensions. Existing results guarantee that$$\max {\{a,b\}}\le c$$ $max\{a,b\}\le c$, and we show that when any of these dimensions is at least 2 this is the only restriction on such vectors. Specifically, for every triple (a, b, c) with$$2\le \min {\{a,b\}}$$ $2\le min\{a,b\}$and$$\max {\{a,b\}}\le c\le \infty $$ $max\{a,b\}\le c\le \infty$we construct a code$$\mathcal {C}_{(a,b,c)}$$ $C_{(a,b,c)}$whose embedding dimension vector is exactly (a, b, c) (where an embedding dimension is$$\infty $$ $\infty$if there is no realization of the corresponding type). Our constructions combine two existing tools in the convex neural codes literature: sunflowers of convex open sets, and rigid structures, the latter of which was recently defined in work of Chan, Johnston, Lent, Ruys de Perez, and Shiu. Our constructions provide the first examples of codes whose closed embedding dimension is larger than their open embedding dimension, but still finite. 

   more » « less
3. Vanishing of quartic and sextic twists of L-functions

   https://doi.org/10.1007/s40993-023-00499-x  

   Berg, Jennifer; Ryan, Nathan C.; Young, Matthew P. (February 2024, Research in Number Theory)

   Abstract LetEbe an elliptic curve over$${{\mathbb {Q}}}$$ $Q$. We conjecture asymptotic estimates for the number of vanishings of$$L(E,1,\chi )$$ $L(E,1,\chi )$as$$\chi $$ $\chi$varies over all primitive Dirichlet characters of orders 4 and 6, subject to a mild hypothesis onE. Our conjectures about these families come from conjectures about random unitary matrices as predicted by the philosophy of Katz-Sarnak. We support our conjectures with numerical evidence. Compared to earlier work by David, Fearnley and Kisilevsky that formulated analogous conjectures for characters of any odd prime order, in the composite order case, we need to justify our use of random matrix theory heuristics by analyzing the equidistribution of the squares of normalized Gauss sums. To do this, we introduce the notion of totally order$$\ell $$ $\ell$characters to quantify how quickly the quartic and sextic Gauss sums become equidistributed. Surprisingly, the rate of equidistribution in the full family of quartic (resp., sextic) characters is much slower than in the sub-family of totally quartic (resp., sextic) characters. We provide a conceptual explanation for this phenomenon by observing that the full family of order$$\ell $$ $\ell$twisted elliptic curveL-functions, with$$\ell $$ $\ell$even and composite, is a mixed family with both unitary and orthogonal aspects. 

   more » « less
4. More on codes for combinatorial composite DNA

   https://doi.org/10.1007/s10623-025-01634-8  

   Ye, Zuo; Sabary, Omer; Gabrys, Ryan; Yaakobi, Eitan; Elishco, Ohad (May 2025, Designs, Codes and Cryptography)

   Abstract In this paper, we focus on constructing unique-decodable and list-decodable codes for the recently studied (t, e)-composite-asymmetric error-correcting codes ((t, e)-CAECCs). Let$$\mathcal {X}$$ $X$be an$$m \times n$$ $m\times n$binary matrix in which each row has Hamming weightw. If at mosttrows of$$\mathcal {X}$$ $X$contain errors, and in each erroneous row, there are at mosteoccurrences of$$1 \rightarrow 0$$ $1\to 0$errors, we say that a (t, e)-composite-asymmetric error occurs in$$\mathcal {X}$$ $X$. For general values ofm, n, w, t, ande, we propose new constructions of (t, e)-CAECCs with redundancy at most$$(t-1)\log (m) + O(1)$$ $(t-1)log\left(m\right)+O\left(1\right)$, whereO(1) is independent of the code lengthm. In particular, this yields a class of (2, e)-CAECCs that are optimal in terms of redundancy. Whenmis a prime power, the redundancy can be further reduced to$$(t-1)\log (m) - O(\log (m))$$ $(t-1)log\left(m\right)-O(log(m\left)\right)$. To further increase the code size, we introduce a combinatorial object called a weak$$B_e$$ $B_e$-set. When$$e = w$$ $e=w$, we present an efficient encoding and decoding method for our codes. Finally, we explore potential improvements by relaxing the requirement of unique decoding to list-decoding. We show that when the list size ist! or an exponential function oft, there exist list-decodable (t, e)-CAECCs with constant redundancy. When the list size is two, we construct list-decodable (3, 2)-CAECCs with redundancy$$\log (m) + O(1)$$ $log\left(m\right)+O\left(1\right)$. 

   more » « less
5. Sparse representation of vectors in lattices and semigroups

   https://doi.org/10.1007/s10107-021-01657-8  

   Aliev, Iskander; Averkov, Gennadiy; De_Loera, Jesús_A; Oertel, Timm (May 2021, Mathematical Programming)

   Abstract We study the sparsity of the solutions to systems of linear Diophantine equations with and without non-negativity constraints. The sparsity of a solution vector is the number of its nonzero entries, which is referred to as the$$\ell _0$$ ${\ell }_0$-norm of the vector. Our main results are new improved bounds on the minimal$$\ell _0$$ ${\ell }_0$-norm of solutions to systems$$A\varvec{x}=\varvec{b}$$ $Ax=b$, where$$A\in \mathbb {Z}^{m\times n}$$ $A\in Z^{m\times n}$,$${\varvec{b}}\in \mathbb {Z}^m$$ $b\in Z^m$and$$\varvec{x}$$ $x$is either a general integer vector (lattice case) or a non-negative integer vector (semigroup case). In certain cases, we give polynomial time algorithms for computing solutions with$$\ell _0$$ ${\ell }_0$-norm satisfying the obtained bounds. We show that our bounds are tight. Our bounds can be seen as functions naturally generalizing the rank of a matrix over$$\mathbb {R}$$ $R$, to other subdomains such as$$\mathbb {Z}$$ $Z$. We show that these new rank-like functions are all NP-hard to compute in general, but polynomial-time computable for fixed number of variables. 

   more » « less