Related papers: A Completeness Study on Certain $2\times2$ Lax Pai…
Under the Neumann constraints, each equation of the KdV hierarchy is decomposed into two finite dimensional systems, including the well-known Neumann model. Like in the case of the Bargmann constraint, the explicit Lax representations are…
We consider the problem of robust matrix completion, which aims to recover a low rank matrix $L_*$ and a sparse matrix $S_*$ from incomplete observations of their sum $M=L_*+S_*\in\mathbb{R}^{m\times n}$. Algorithmically, the robust matrix…
We develop a methodology for closing duality gap and guaranteeing strong duality in infinite convex optimization. Specifically, we examine two new Lagrangian-type dual formulations involving infinitely many dual variables and infinite sums…
In the article a classification method for nonlinear integrable equations with three independent variables is discussed based on the notion of the integrable reductions. We call the equation integrable if it admits a large class of…
We study a three-dimensional abelian lattice model in which the analogue of a theta term can be defined. This term is defined by introducing a neutral scalar field and its effect is to couple magnetic monopoles to the scalar field and…
We consider uniformly strongly elliptic systems of the second order with bounded coefficients. First, sufficient conditions for the invariance of convex bodies obtained for linear systems without zero order term in bounded domains and…
We extend Latimer and MacDuffee's theorem to a general commutative domain and apply this result to study similarity of matrices over integral rings of number fields. We also conjecture similarity over discrete valuation rings can be descent…
We consider a system of nonlinear equations that extends the Maxwell theory. It was pointed out in a previous paper that symmetric solutions of these equations display properties characteristic of magnetic oscillations. In this paper I…
Universal Lax pairs of the root type with spectral parameter and independent coupling constants for twisted non-simply laced Calogero-Moser models are constructed. Together with the Lax pairs for the simply laced models and untwisted…
Basic notions regarding classical integrable systems are reviewed. An algebraic description of the classical integrable models together with the zero curvature condition description is presented. The classical r-matrix approach for discrete…
This note introduces a sufficient Linear Matrix Inequality (LMI) condition for the ultimate boundedness of a class of continuous-time dynamical systems with conic uncertain/nonlinear terms.
As a nonperturbative check on the Q-exact lattice formulation, we demonstrate that the continuum R-symmetries are recovered. We locate the critical domain of the lattice theory. Aspects of the continuum nonrenormalization theorems are found…
We present an approach for analyzing initial-boundary value problems for integrable equations whose Lax pairs involve $3 \times 3$ matrices. Whereas initial value problems for integrable equations can be analyzed by means of the classical…
Darboux transformation plays a key role in constructing explicit closed-form solutions of completely integrable systems. This paper provides an algebraic construction of generalized Darboux matrices with the same poles for the $2\times2$…
We generalize the notion of complete binary relation on complete lattice to residuated lattice valued ordered sets and show its properties. Then we focus on complete fuzzy tolerances on fuzzy complete lattices and prove they are in…
An integrable semi-discretization of complex and multi-component coupled dispersionless systems via Lax pairs is presented. A Lax pair is proposed for the complex sdCD system. We derive the Lax pair for the multi-component sdCD system…
A topological space $X$ is called resolvable if it contains a dense subset with dense complement. Using only basic principles, we show that whenever the space $X$ has a resolving subset that can be written as an at most countably infinite…
A system of linear dependent types for the lambda calculus with full higher-order recursion, called dlPCF, is introduced and proved sound and relatively complete. Completeness holds in a strong sense: dlPCF is not only able to precisely…
We generalise the concept of duality to systems of ordinary difference equations (or maps). We propose a procedure to construct a chain of systems of equations which are dual, with respect to an integral $H$, to the given system, by…
The system of two nonlinear coupled oscillators is studied. As partial case this system of equation is reduced to the Duffing oscillator which has many applications for describing physical processes. It is well known that the inverse…