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)

   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. Finding solutions with distinct variables to systems of linear equations over $$\mathbb {F}_p$$

   https://doi.org/10.1007/s00208-022-02391-y  

   Sauermann, Lisa ( April 2022 , Mathematische Annalen)

   Let us fix a primepand a homogeneous system ofmlinear equations$$a_{j,1}x_1+\dots +a_{j,k}x_k=0$$$a_{j,1}{x}_1+\cdots +a_{j,k}{x}_k=0$for$$j=1,\dots ,m$$$j=1,\cdots ,m$with coefficients$$a_{j,i}\in \mathbb {F}_p$$$a_{j,i}\in F_p$. Suppose that$$k\ge 3m$$$k\ge 3m$, that$$a_{j,1}+\dots +a_{j,k}=0$$$a_{j,1}+\cdots +a_{j,k}=0$for$$j=1,\dots ,m$$$j=1,\cdots ,m$and that every$$m\times m$$$m\times m$minor of the$$m\times k$$$m\times k$matrix$$(a_{j,i})_{j,i}$$${\left(a_{j,i}\right)}_{j,i}$is non-singular. Then we prove that for any (large)n, any subset$$A\subseteq \mathbb {F}_p^n$$$A\subseteq F_p^n$of size$$|A|> C\cdot \Gamma ^n$$$\left|A\right|>C·{\Gamma }^n$contains a solution$$(x_1,\dots ,x_k)\in A^k$$$(x_1,\cdots ,x_k)\in A^k$to the given system of equations such that the vectors$$x_1,\dots ,x_k\in A$$$x_1,\cdots ,x_k\in A$are all distinct. Here,Cand$$\Gamma $$$\Gamma$are constants only depending onp,mandksuch that$$\Gamma $\Gamma <p$. The crucial point here is the condition for the vectors$$x_1,\dots ,x_k$$$x_1,\cdots ,x_k$in the solution$$(x_1,\dots ,x_k)\in A^k$$$(x_1,\cdots ,x_k)\in A^k$to be distinct. If we relax this condition and only demand that$$x_1,\dots ,x_k$$$x_1,\cdots ,x_k$are not all equal, then the statement would follow easily from Tao’s slice rank polynomial method. However, handling the distinctness condition is much harder, and requires a new approach. While all previous combinatorial applications of the slice rank polynomial method have relied on the slice rank of diagonal tensors, we use a slice rank argument for a non-diagonal tensor in combination with combinatorial and probabilistic arguments.

    

   more » « less
3. Hermitian–Yang–Mills Connections on Collapsing Elliptically Fibered K3 Surfaces

   https://doi.org/10.1007/s12220-021-00808-9  

   Datar, Ved ; Jacob, Adam ( January 2022 , The Journal of Geometric Analysis)

   Let$$X\rightarrow {{\mathbb {P}}}^1$$$X\to P^1$be an elliptically fiberedK3 surface, admitting a sequence$$\omega _{i}$$${\omega }_i$of Ricci-flat metrics collapsing the fibers. LetVbe a holomorphicSU(n) bundle overX, stable with respect to$$\omega _i$$${\omega }_i$. Given the corresponding sequence$$\Xi _i$$${\Xi }_i$of Hermitian–Yang–Mills connections onV, we prove that, ifEis a generic fiber, the restricted sequence$$\Xi _i|_{E}$$${\Xi }_i{|}_E$converges to a flat connection$$A_0$$$A_0$. Furthermore, if the restriction$$V|_E$$${V|}_E$is of the form$$\oplus _{j=1}^n{\mathcal {O}}_E(q_j-0)$$${\oplus }_{j=1}^n{O}_E(q_j-0)$forndistinct points$$q_j\in E$$$q_j\in E$, then these points uniquely determine$$A_0$$$A_0$.

    

   more » « less
4. Multipliers on bi-parameter Haar system Hardy spaces

   https://doi.org/10.1007/s00208-024-02887-9  

   Lechner, R. ; Motakis, P. ; Müller, P_F_X ; Schlumprecht, Th ( May 2024 , Mathematische Annalen)

   Let$$(h_I)$$$\left(h_I\right)$denote the standard Haar system on [0, 1], indexed by$$I\in \mathcal {D}$$$I\in D$, the set of dyadic intervals and$$h_I\otimes h_J$$$h_I\otimes h_J$denote the tensor product$$(s,t)\mapsto h_I(s) h_J(t)$$$(s,t)\mapsto h_I\left(s\right)h_J\left(t\right)$,$$I,J\in \mathcal {D}$$$I,J\in D$. We consider a class of two-parameter function spaces which are completions of the linear span$$\mathcal {V}(\delta ^2)$$$V\left({\delta }^2\right)$of$$h_I\otimes h_J$$$h_I\otimes h_J$,$$I,J\in \mathcal {D}$$$I,J\in D$. This class contains all the spaces of the formX(Y), whereXandYare either the Lebesgue spaces$$L^p[0,1]$$$L^p[0,1]$or the Hardy spaces$$H^p[0,1]$$$H^p[0,1]$,$$1\le p < \infty $$$1\le p<\infty$. We say that$$D:X(Y)\rightarrow X(Y)$$$D:X\left(Y\right)\to X\left(Y\right)$is a Haar multiplier if$$D(h_I\otimes h_J) = d_{I,J} h_I\otimes h_J$$$D(h_I\otimes h_J)=d_{I,J}{h}_I\otimes h_J$, where$$d_{I,J}\in \mathbb {R}$$$d_{I,J}\in R$, and ask which more elementary operators factor throughD. A decisive role is played by theCapon projection$$\mathcal {C}:\mathcal {V}(\delta ^2)\rightarrow \mathcal {V}(\delta ^2)$$$C:V\left({\delta }^2\right)\to V\left({\delta }^2\right)$given by$$\mathcal {C} h_I\otimes h_J = h_I\otimes h_J$$$C{h}_I\otimes h_J=h_I\otimes h_J$if$$|I|\le |J|$$$\left|I\right|\le \left|J\right|$, and$$\mathcal {C} h_I\otimes h_J = 0$$$C{h}_I\otimes h_J=0$if$$|I| > |J|$$$\left|I\right|>\left|J\right|$, as our main result highlights: Given any bounded Haar multiplier$$D:X(Y)\rightarrow X(Y)$$$D:X\left(Y\right)\to X\left(Y\right)$, there exist$$\lambda ,\mu \in \mathbb {R}$$$\lambda ,\mu \in R$such that$$\begin{aligned} \lambda \mathcal {C} + \mu ({{\,\textrm{Id}\,}}-\mathcal {C})\text { approximately 1-projectionally factors through }D, \end{aligned}$$$\begin{array}{c}\lambda C+\mu (\text{Id}-C)\text{approximately 1-projectionally factors through}D,\end{array}$i.e., for all$$\eta > 0$$$\eta >0$, there exist bounded operatorsA, Bso thatABis the identity operator$${{\,\textrm{Id}\,}}$$$\text{Id}$,$$\Vert A\Vert \cdot \Vert B\Vert = 1$$$\Vert A\Vert ·\Vert B\Vert =1$and$$\Vert \lambda \mathcal {C} + \mu ({{\,\textrm{Id}\,}}-\mathcal {C}) - ADB\Vert < \eta $$$\Vert \lambda C+\mu (\text{Id}-C)-ADB\Vert <\eta$. Additionally, if$$\mathcal {C}$$$C$is unbounded onX(Y), then$$\lambda = \mu $$$\lambda =\mu$and then$${{\,\textrm{Id}\,}}$$$\text{Id}$either factors throughDor$${{\,\textrm{Id}\,}}-D$$$\text{Id}-D$.

    

   more » « less
5. The reduced ring of the 𝑅𝑂(𝐶₂)-graded 𝐶₂-equivariant stable stems

   https://doi.org/10.1090/bproc/203  

   Belmont, Eva ; Xu, Zhouli ; Zhang, Shangjie ( January 2024 , Proceedings of the American Mathematical Society, Series B)

   We describe in terms of generators and relations the ring structure of the$RO(C_2)$-graded$C_2$-equivariant stable stems$\pi _\star ^{C_2}$modulo the ideal of all nilpotent elements. As a consequence, we also record the ring structure of the homotopy groups of the rational$C_2$-equivariant sphere$\pi _\star ^{C_2}(\mathbb {S}_\mathbb {Q})$.

    

   more » « less