Related papers: An abstract linking theorem applied to indefinite …

By using the theory of analytic vectors and manifolds modelled on normed spaces, we provide a rigorous symplectic differential geometric approach to $t$-dependent Schr\"odinger equations on separable (possibly infinite-dimensional) Hilbert…

Sparse non-Hermitian random matrices arise in the study of disordered physical systems with asymmetric local interactions, and have applications ranging from neural networks to ecosystem dynamics. The spectral characteristics of these…

In this article we discuss how abstraction boundaries can help tame complexity in mathematical research, with the help of an interactive theorem prover. While many of the ideas we present here have been used implicitly by mathematicians for…

The discrete Lax operators with the spectral parameter on an algebraic curve are defined. A hierarchy of commuting flows on the space of such operators is constructed. It is shown that these flows are linearized by the spectral transform…

The method of alternating projections involves orthogonally projecting an element of a Hilbert space onto a collection of closed subspaces. It is known that the resulting sequence always converges in norm if the projections are taken…

We generalize classical results in spectral graph theory and linear algebra more broadly, from the case where the underlying matrix is Hermitian to the case where it is non-Hermitian. New admissibility conditions are introduced to replace…

The purpose of this paper is to present some multidimensional fixed-point theorems and their applications. For this, we provide a multidimensional fixed point theorem and then using this theorem we prove the existence and uniqueness of a…

Given a 0-dimensional scheme X in a n-dimensional projective space P^n_K over an arbitrary field K, we use Liaison theory to characterize the Cayley-Bacharach property of X. Our result extends the result for sets of K-rational points given…

We generalise the Blok-J\'onsson account of structural consequence relations, later developed by Galatos, Tsinakis and other authors, in such a way as to naturally accommodate multiset consequence. While Blok and J\'onsson admit, in place…

In this paper we establish a general framework in which the verification of support theorems for generalized convex functions acting between an algebraic structure and an ordered algebraic structure is still possible. As for the domain…

The fundamental non-Hermitian nature of the forms of coupled-cluster (CC) theory widely used in quantum chemistry has usually been viewed as a negative, but the present letter shows how this can be used to advantage. Specifically, the…

We study a non-Hermitian generalization of quantum systems in which an imaginary vector potential is added to the momentum operator. In the tight-binding approximation, we make the hopping energy asymmetric in the Hermitian Hamiltonian. In…

The machinery of noncommutative geometry is applied to a space of connections. A noncommutative function algebra of loops closely related to holonomy loops is investigated. The space of connections is identified as a projective limit of…

Using a multiple critical points theorem for locally Lipschitz continuous functionals, we establish the existence of at least three distinct solutions for a parametric discrete differential inclusion problem involving a real symmetric and…

Sufficient conditions are given for the computation of accessing arcs and arcs that links boundary components of multiply connected domains. The existence of a not-computably-accessible but computable point on a computably compact arc is…

The classical Hilbert space formulation of the axioms of Quantum Mechanics appears to leave open the question whether the Hermitian operators which are associated with the observables of a finite non-relativistic quantum system are uniquely…

We derive several entanglement conditions employing non-hermitian operators. We start with two conditions that were derived previously for field mode operators, and use them to derive conditions that can be used to show the existence of…

In finite dimensions, controllability of bilinear quantum control systems can be decided quite easily in terms of the "Lie algebra rank condition" (LARC), such that only the systems Lie algebra has to be determined from a set of generators.…

Diagram-chasing arguments frequently lead to "magical" relations between distant points of diagrams: exactness implications, connecting morphisms, etc.. These long connections are usually composites of short "unmagical" connections, but the…

The aim of this paper is to show that there can be either only one or uncountably many contexts in any spectral effect algebra, answering a question posed in [S. Gudder, Convex and Sequential Effect Algebras, (2018), arXiv:1802.01265]. We…