Related papers: Semialgebraic Invariant Synthesis for the Kannan-L…
In this paper we provide a sufficient condition for the linear instability of a periodic orbit for a free period Lagrangian system on a Riemannian manifold. The main result establish a general criterion for the linear instability of a maybe…
The Continuous Skolem Problem asks whether a real-valued function satisfying a linear differential equation has a zero in a given interval of real numbers. This is a fundamental reachability problem for continuous linear dynamical systems,…
Using the integrability of the sinh-Gordon equation, we demonstrate the spectral stability of its elliptic solutions. By constructing a Lyapunov functional using higher-order conserved quantities of the sinh-Gordon equation, we show that…
We prove an algebraic extension theorem for the computably enumerable sets, $\mathcal{E}$. Using this extension theorem and other work we then show if $A$ and $\hat{A}$ are automorphic via $\Psi$ then they are automorphic via $\Lambda$…
We study the problem of determining whether a given temporal specification can be implemented by a symmetric system, i.e., a system composed from identical components. Symmetry is an important goal in the design of distributed systems,…
Automated program verification often proceeds by exhibiting inductive invariants entailing the desired properties.For numerical properties, a classical class of invariants is convex polyhedra: solution sets of system of linear…
The Hamiltonian constraint remains the major unsolved problem in Loop Quantum Gravity (LQG). Seven years ago a mathematically consistent candidate Hamiltonian constraint has been proposed but there are still several unsettled questions…
We consider finite element approximations of ill-posed elliptic problems with conditional stability. The notion of {\emph{optimal error estimates}} is defined including both convergence with respect to mesh parameter and perturbations in…
The spin of a free electron is stable but its position is not. Recent quantum information research by G. Svetlichny, J. Tolar, and G. Chadzitaskos have shown that the Feynman \emph{position} path integral can be mathematically defined as a…
We consider the inverse problem of determining coefficients appearing in semilinear elliptic equations stated on Riemannian manifolds with boundary given the knowledge of the associated Dirichlet-to-Neumann map. We begin with a negative…
The first obstacle in building a Geometric Quantization theory for nilpotent orbits of a real semisimple Lie group has been the lack of an invariant polarization. In order to generalize the Fock space construction of the quantum mechanical…
An experiment based on a trapped Ytterbium ion validates the inertial theorem for the SU(2) algebra. The qubit is encoded within the hyperfine states of the atom and controlled by RF fields. The inertial theorem generates analytical…
Invariant functions under the transformations of a compact linear group $G$ acting in $\real^n$ can be expressed in terms of functions defined in the orbit space of $G$. We develop a method to determine the isotropy classes of the orbit…
In this work, we study a variant of the local Hamiltonian problem where we restrict to Hamiltonians that live on a lattice and are invariant under translations and rotations of the lattice. In the one-dimensional case this problem is known…
We show that under suitable conditions a random orbit generated by a system of nonexpansive maps recovers an invariant set via its omega-limit. In particular, this explains what happens to the Kaczmarz--von Neumann projection algorithm in…
In this thesis we study the relationship between the existence of canonical metrics on a complex manifold and stability in the sense of geometric invariant theory. We introduce a modification of K-stability of a polarised variety which we…
We consider a semilinear elliptic equation in a bounded domain with zero boundary conditions. The nonlinearity is discontinuous and monotone, but it is not a Carath\'eodory's function. The existence theorem has been proved.
We show that for every countable group, any sequence of approximate homomorphisms with values in permutations can be realized as the restriction of a sofic approximation of an orbit equivalence relation. Moreover, this orbit equivalence…
Algebraic approach to the integrability condition called shape invariance is briefly reviewed. Various applications of shape-invariance available in the literature are listed. A class of shape-invariant bound-state problems which represent…
We study the emptiness and $\lambda$-reachability problems for unary and binary Probabilistic Finite Automata (PFA) and characterise the complexity of these problems in terms of the degree of ambiguity of the automaton and the size of its…