Related papers: Mock Tridiagonal Systems
A novel concept for the design of nonlinear optical diodes is proposed which uses the multistability of coupled nonlinear microcavities and the dependence of switching thresholds on the direction of incidence. A typical example of such…
In this paper we study the existence of solutions to an isotropic differential inclusion.
In this note we sketch a proof of a fundamental conjecture, the codimension-three conjecture, for microdifferential holonomic systems with regular singularities. It states that any regular holonomic E-module extends beyond a…
The metriplectic formalism couples Poisson brackets of the Hamiltonian description with metric brackets for describing systems with both Hamiltonian and dissipative components. The construction builds in asymptotic convergence to a…
This paper deals with solving a class of three-by-three block saddle point problems. The systems are solved by preconditioning techniques. Based on an iterative method, we construct a block upper triangular preconditioner. The convergence…
Many systems of interest to control engineering can be modeled by linear complementarity problems. We introduce a new notion of equivalence between linear complementarity problems that sets the basis to translate the powerful tools of…
Recently, we obtained in [7] a new characterization for an orthogonal system to be a simple-minded system in the stable module category of any representation-finite self-injective algebra. In this paper, we apply this result to give an…
In this paper we show that for a given 3-manifold and a given Heegaard splitting there are finitely many preferred decomposing systems of $3g - 3$ disjoint essential disks. These are characterized by a combinatorial criterion which is a…
Taking symmetric extensions can be considered as a generalisation of forcing, which produces a richer multiverse of models with and without the axiom of choice. We can study the structure of this multiverse using modal logic. In particular,…
We abstract and generalize homotopical monadicity statements, placing in a single conceptual framework a range of old and recent recognition and characterization principles in iterated loop space theory in classical, equivariant, and…
Let $M$ be a non-compact hyperbolic $3$-manifold with finite volume and totally geodesic boundary components. By subdividing mixed ideal polyhedral decompositions of $M$, under some certain topological conditions, we prove that $M$ has an…
We present a broadly applicable structurally flat triangular form for x-flat control-affine systems with three inputs. Building on recent results for the derivative structure of flat outputs, we define the triangular form together with…
We construct complete sets of invariant quantities that are integrals of motion for two Hamiltonian systems obtained through a reduction procedure, thus proving that these systems are maximally superintegrable. We also discuss the reduction…
In this paper we obtain a Hamilton-Jacobi theory for nonholonomic mechanical systems. The results are applied to a large class of nonholonomic mechanical systems, the so-called \v{C}aplygin systems.
We propose to use orthologic as the basis for designing type systems supporting intersection, union, and negation types in the presence of subtyping assumptions. We show how to extend orthologic to support monotonic and antimonotonic…
Mixed-monotone systems are separable via a decomposition function into increasing and decreasing components, and this decomposition function allows for embedding the system dynamics in a higher-order monotone embedding system. Embedding the…
We introduce a constructive method that provides the local solution of general implicit systems in arbitrary dimension via Hamiltonian type equations. A variant of this approach constructs parametrizations of the manifold, extending the…
System I is a simply-typed lambda calculus with pairs, extended with an equational theory obtained from considering the type isomorphisms as equalities. In this work we propose an extension of System I to polymorphic types, adding the…
Symmetry analysis of Ermakov systems has attracted enormous treatments in recent times. In this paper we consider three classes of the Ermakov systems and obtain their nonlocal symmetries using a simple algebraic reduction process. We…
A common representation of a three dimensional object in computer applications, such as graphics and design, is in the form of a triangular mesh. In many instances, individual or groups of triangles in such representation need to satisfy…