4,199 research outputs found
On the Index and the Order of Quasi-regular Implicit Systems of Differential Equations
This paper is mainly devoted to the study of the differentiation index and
the order for quasi-regular implicit ordinary differential algebraic equation
(DAE) systems. We give an algebraic definition of the differentiation index and
prove a Jacobi-type upper bound for the sum of the order and the
differentiation index. Our techniques also enable us to obtain an alternative
proof of a combinatorial bound proposed by Jacobi for the order.
As a consequence of our approach we deduce an upper bound for the
Hilbert-Kolchin regularity and an effective ideal membership test for
quasi-regular implicit systems. Finally, we prove a theorem of existence and
uniqueness of solutions for implicit differential systems
Regularity and multiplicity of toric rings of three-dimensional Ferrers diagrams
We investigate the Castelnuovo--Mumford regularity and the multiplicity of
the toric ring associated to a three-dimensional Ferrers diagram. In
particular, in the rectangular case, we are able to provide direct formulas for
these two important invariants. Then, we compare these invariants for an
accompanied pair of Ferrers diagrams under some mild conditions, and bound the
Castelnuovo--Mumford regularity for more general cases.Comment: 22 pages, 2 figures and comments are welcom
Qudit surface codes and gauge theory with finite cyclic groups
Surface codes describe quantum memory stored as a global property of
interacting spins on a surface. The state space is fixed by a complete set of
quasi-local stabilizer operators and the code dimension depends on the first
homology group of the surface complex. These code states can be actively
stabilized by measurements or, alternatively, can be prepared by cooling to the
ground subspace of a quasi-local spin Hamiltonian. In the case of spin-1/2
(qubit) lattices, such ground states have been proposed as topologically
protected memory for qubits. We extend these constructions to lattices or more
generally cell complexes with qudits, either of prime level or of level
for prime and , and therefore under tensor
decomposition, to arbitrary finite levels. The Hamiltonian describes an exact
gauge theory whose excitations
correspond to abelian anyons. We provide protocols for qudit storage and
retrieval and propose an interferometric verification of topological order by
measuring quasi-particle statistics.Comment: 26 pages, 5 figure
Discrete conservation properties for shallow water flows using mixed mimetic spectral elements
A mixed mimetic spectral element method is applied to solve the rotating
shallow water equations. The mixed method uses the recently developed spectral
element histopolation functions, which exactly satisfy the fundamental theorem
of calculus with respect to the standard Lagrange basis functions in one
dimension. These are used to construct tensor product solution spaces which
satisfy the generalized Stokes theorem, as well as the annihilation of the
gradient operator by the curl and the curl by the divergence. This allows for
the exact conservation of first order moments (mass, vorticity), as well as
quadratic moments (energy, potential enstrophy), subject to the truncation
error of the time stepping scheme. The continuity equation is solved in the
strong form, such that mass conservation holds point wise, while the momentum
equation is solved in the weak form such that vorticity is globally conserved.
While mass, vorticity and energy conservation hold for any quadrature rule,
potential enstrophy conservation is dependent on exact spatial integration. The
method possesses a weak form statement of geostrophic balance due to the
compatible nature of the solution spaces and arbitrarily high order spatial
error convergence
- …