Related papers: Stabilizer operators and Barnes-Wall lattices
We give a new existence proof for the rank 2^d even lattices usually called the Barnes-Wall lattices, and establish new results on uniqueness, structure and transitivity of the automorphism group on certain kinds of sublattices. Our proofs…
We show that a form of strong simulation for $n$-qubit quantum stabilizer circuits $C$ is computable in $O(s + n^\omega)$ time, where $\omega$ is the exponent of matrix multiplication. Solution counting for quadratic forms over…
In this article we introduce new possibilities of bounding the stability constants that play a vital role in the reduced basis method. By bounding stability constants over a neighborhood we make it possible to guarantee stability at more…
We consider a two-dimensional nonlinear Schr{\"o}dinger equation proposed in Physics to model rotational binary Bose-Einstein condensates. The nonlinearity is a logarithmic modification of the usual cubic nonlinearity. The presence of both…
Considering a two-by-two block operator matrix system of Maxwell type, we present an elementary way of deducing exponential stability under minimal smoothness (and boundedness) requirements of the underlying domains when applications are…
Banded bounded matrices, which represent non normal operators, of oscillatory type that admit a positive bidiagonal factorization are considered. To motivate the relevance of the oscillatory character the Favard theorem for Jacobi matrices…
We develop here the method for obtaining approximate stability boundaries in the space of parameters for systems with parametric excitation. The monodromy (Floquet) matrix of linearized system is found by averaging method. For system with 2…
We introduce a structured approach to the construction of linear BGK-type collision operators ensuring that the resulting Lattice-Boltzmann methods are stable with respect to a weighted $L^2$-norm. The results hold for particular boundary…
Coupled relaxation oscillators, realized via chemical or other means, can exhibit a multiplicity of steady states, characterized by spatial patterns resulting from lateral inhibition. We show that perturbation-initiated transformations…
We investigate the stabilizability of linear discrete-time switched systems with singular matrices, focusing on the spectral radius in this context. A new lower bound of the stabilizability radius is proposed, which is applicable to any…
In this work we improve the runtime of recent classical algorithms for strong simulation of quantum circuits composed of Clifford and T gates. The improvement is obtained by establishing a new upper bound on the stabilizer rank of $m$…
We show that any globally asymptotically controllable system on any smooth manifold can be globally stabilized by a state feedback. Since we allow discontinuous feedbacks, we interpret the solutions of our systems in the ``sample and hold''…
Lattice-linear systems allow nodes to execute asynchronously. We introduce eventually lattice-linear algorithms, where lattices are induced only among the states in a subset of the state space. The algorithm guarantees that the system…
We present a class of lattices in R^d (d >= 2) which we call GL-lattices and conjecture that any lattice is such. This conjecture is referred to as GLC. Littlewood's conjecture amounts to saying that Z^2 is GL. We then prove existence of GL…
We construct the coherent states of general order, $m$ for the ladder operators, $c(m)$ and $c^\dagger(m)$, which act on rational deformations of the harmonic oscillator. The position wavefunctions of the eigenvectors involve type III…
It is, by now, classical that lattices in higher rank semisimple groups have various rigidity properties. In this work, we add another such rigidity property to the list: uniform stability with respect to the family of unitary operators on…
We establish character rigidity for all non-uniform higher-rank irreducible lattices in semisimple groups of characteristic other than 2. This implies stabilizer rigidity for probability measure preserving actions and rigidity of invariant…
Let $\sigma$ be a stability condition on the bounded derived category $D^b({\mathop{\rm Coh}\nolimits} W)$ of a Calabi-Yau threefold $W$ and $\mathcal{M}$ a moduli stack parametrizing $\sigma$-semistable objects of fixed topological type.…
We study the complexity of learning quantum states in various models with respect to the stabilizer formalism and obtain the following results: - We prove that $\Omega(n)$ $T$-gates are necessary for any Clifford+$T$ circuit to prepare…
We introduce a class of 3D color codes, which we call stacked codes, together with a fault-tolerant transformation that will map logical qubits encoded in two-dimensional (2D) color codes into stacked codes and back. The stacked code allows…