Related papers: Note on irreducible approach to reducible second-c…
In this note we classify two-dimensional continued fractions for cubic irrationalities constructed by matrices with not large norm ($|*| \le 6$). The classification is based on the following new result: the class of matrices with an…
The lambda-PRK-calculus is a typed lambda-calculus that exploits the duality between the notions of proof and refutation to provide a computational interpretation for classical propositional logic. In this work, we extend lambda-PRK to…
In a recent paper by Grunewald et.al., a new method to study hydrodynamic limits was developed for reversible dynamics. In this work, we generalize this method to a family of non-reversible dynamics. As an application, we obtain…
We discuss a universal algebraic approach to quasi-exactly solvable models which allows us to interpret them as constrained Hamiltonian systems with a finite number of physical states. Using this approach we reproduce well-known…
A parallelizable iterative procedure based on domain decomposition is presented and analyzed for weak Galerkin finite element methods for second order elliptic equations. The convergence analysis is established for the decomposition of the…
We study a class of second order variational inequalities with bilateral constraints. Under certain conditions we show the existence of a unique viscosity solution of these variational inequalities and give a stochastic representation to…
It is shown that quantization of the dynamical systems with second class constraints actually can be reduced to quantization of the systems with first class constraints. The motion of the non-relativistic particle along the plane curve and…
The existence of a Lagrangian description for the second-order Riccati equation is analyzed and the results are applied to the study of two different nonlinear systems both related with the generalized Riccati equation. The Lagrangians are…
We discuss alternative iteration methods for differential equations. We provide a convergence proof for exactly solvable examples and show more convenient formulas for nontrivial problems.
A new formulation for fermions on the lattice based on a discretization of a second order formalism is proposed. A comparison with the first order formalism in connection with the $U(1)$ anomaly and the doubling problem is presented. The…
Let the adiabatic invariant of action variable in slow-fast Hamiltonian system with two degrees of freedom have two limiting values along the trajectories as time tends to infinity. The difference of two limits is exponentially small in…
Permutation rational functions over finite fields have attracted high interest in recent years. However, only a few of them have been exhibited. This article studies a class of permutation rational functions constructed using trace maps on…
In this paper we propose a data-driven distributionally robust Model Predictive Control framework for constrained stochastic systems with unbounded additive disturbances. Recursive feasibility is ensured by optimizing over an linearly…
We study representations of the double affine Lie algebra associated to a simple Lie algebra. We construct a family of indecomposable integrable representations and identify their irreducible quotients. We also give a condition for the…
We prove the second adjointness in the setting of the categorical local Langlands correspondence. Moreover, we study the relation between Eisenstein series and cuspidal supports and present a conjectural characterization of irreducible…
We construct irreducible modules for twisted toroidal Lie algebras and extended affine Lie algebras. This is done by combining the representation theory of untwisted toroidal algebras with the technique of thin coverings of modules. We…
We present an extension of the second-order logic AF2 with iso-style inductive and coinductive definitions specifically designed to extract programs from proofs a la Krivine-Parigot by means of primitive (co)recursion principles. Our logic…
In a previous paper I showed how the ideal SLAC derivative and second-derivative operators for an infinite lattice can be obtained in simple closed form in position space, and implemented very efficiently in a stochastic fashion for…
We present in detail two resummation methods emerging from the application of the Simplified Differential Equations approach to a canonical basis of master integrals. The first one is a method which allows for an easy determination of the…
We present modifications of the second-order Douglas stabilizing corrections method, which is a splitting method based on the implicit trapezoidal rule. Inclusion of an explicit term in a forward Euler way is straightforward, but this will…