Related papers: The Lambek-Grishin calculus is NP-complete
We apply the theory of Lie point symmetries for the study of a family of partial differential equations which are integrable by the hyperbolic reductions method and are reduced to members of the Painlev\'{e} transcendents. The main results…
We outline a proof of the categorical geometric Langlands conjecture for GL(2), as formulated in reference [AG], modulo a number of more tractable statements that we call Quasi-Theorems.
In the present paper a numerical method is developed to approximate the solution of two-dimensional NLS equation in the presence of a singular potential. The method leads to Lyapunov-Syslvester algebraic operators that are shown to be…
We consider the Zariski-Lipman Conjecture on free module of derivations for algebraic surfaces. Using the theory of non-complete algebraic surfaces, and some basic results about ruled surfaces, we will prove the conjecture for several…
We investigate the computational complexity of mining guarded clauses from clausal datasets through the framework of inductive logic programming (ILP). We show that learning guarded clauses is NP-complete and thus one step below the…
We prove that the complement of a very general pair of hypersurfaces of total degree $2n$ in $\mathbb{P}^n$ is algebraically hyperbolic modulo a proper closed subvariety. This provides evidence towards conjectures of Lang-Vojta and…
We propose integrable discretizations of derivative nonlinear Schroedinger (DNLS) equations such as the Kaup-Newell equation, the Chen-Lee-Liu equation and the Gerdjikov-Ivanov equation by constructing Lax pairs. The discrete DNLS systems…
We prove that all axiomatic extensions of the full Lambek calculus with exchange can be axiomatized by formulas on the $\mathcal N_3$ level of the substructural hierarchy.
We study decidability and complexity questions related to a continuous analogue of the Skolem-Pisot problem concerning the zeros and nonnegativity of a linear recurrent sequence. In particular, we show that the continuous version of the…
We show that the decision versions of the puzzles Knossos and The Hour-Glass are complete for NP.
We present a strongly conservative and pressure-robust hybridizable discontinuous Galerkin method for the coupled time-dependent Navier-Stokes and Darcy problem. We show existence and uniqueness of a solution and present an optimal a priori…
We study the skew-symmetric prolongation of a Lie subalgebra $\g \subseteq \mathfrak{so}(n)$, in other words the intersection $\Lambda^3 \cap (\Lambda^1 \otimes \g)$.We compute this space in full generality. Applications include uniqueness…
We show that integro-differential generalized Langevin and non-Markovian master equations can be transformed into larger sets of ordinary differential equations. .On the basis of this transformation we develop a numerical method for solving…
We introduce a generalized Gaudin Lie algebra and a complete set of mutually commuting quantum invariants allowing the derivation of several families of exactly solvable Hamiltonians. Different Hamiltonians correspond to different…
The Generalized Relative Entropy inequality is a ubiquitous property in mathematical models applied in physics or biology. In spite of its importance, it is currently proved on a case-by-case basis in the literature. Here, we show that GRE…
Let G be a graph on n vertices. The Laplacian matrix of G, denoted by L(G), is defined as L(G) = D(G) - A(G), where A(G) is the adjacency matrix of G and D(G) is the diagonal matrix of the vertex degrees of G. A graph G is said to be…
Classical affine Lie algebras appear e.g. as symmetries of infinite dimensional integrable systems and are related to certain differential equations. They are central extensions of current algebras associated to finite-dimensional Lie…
In this paper, we prove a convergence theorem for singular perturbations problems for a class of fully nonlinear parabolic partial differential equations with ergodic structures. The limit function is represented as the viscosity solution…
Splines come in a variety of flavors that can be characterized in terms of some differential operator L. The simplest piecewise-constant model corresponds to the derivative operator. Likewise, one can extend the traditional notion of total…
We prove a Burgess-like subconvex bound for twisted L-functions of a fixed irreducible cuspidal automorphic representation of GL(2) over a totally real number field. The proof is based on a spectral decomposition of shifted convolution sums…