Related papers: Painlev\'e's determinateness theorem extended to p…
Principle of Relativity involving all, not only subluminal, inertial frames leads to the disturbance of causal laws in a way known from the fundamental postulates of Quantum Theory. We show how quantum indeterminacy based on complex…
Optimal second-order regularity in the space variables is established for solutions to Cauchy-Dirichlet problems for nonlinear parabolic equations and systems of $p$-Laplacian type, with square-integrable right-hand sides and initial data…
A Dirichlet-type problem is studied for an equation of even order with variable coefficients. A criterion for the uniqueness of a solution is given. The solution is built in the form of a Fourier series. When justifying the convergence of…
In this paper we give elementary conditions completely characterising when the theory of modules of a Pr\"ufer domain is decidable. Using these results, we show that the theory of modules of the ring of integer valued polynomials is…
We prove that under a very general setting, a system of ODE passes the Painleve test if and only if there is a good change of variable, such that the pole singularity solutions are converted to regular power series, while the converted ODE…
We prove several finiteness theorems for the normal bundles to souls in nonnegatively curved manifolds. More generally, we obtain finiteness results for open Riemannian manifolds whose topology is concentrated on compact domains of…
We study 2D discrete integrable equations of order 1 with respect to one independent variable and $m$ with respect to another one. A generalization of the multidimensional consistency property is proposed for this type of equations. The…
We study a generalization of conditional probability for arbitrary ordered vector spaces. A related problem is that of assigning a numerical value to one vector relative to another. We characterize the groups for which these generalized…
In this paper we address the decision problem for a fragment of set theory with restricted quantification which extends the language studied in [4] with pair related quantifiers and constructs, in view of possible applications in the field…
We consider the most general class of linear boundary-value problems for higher-order ordinary differential systems whose solutions and right-hand sides belong to the corresponding Sobolev spaces. For parameter-dependent problems from this…
We generalize the optimal coupling theorem to multiple random variables: Given a collection of random variables, it is possible to couple all of them so that any two differ with probability comparable to the total-variation distance between…
Superposition is an established decision procedure for a variety of first-order logic theories represented by sets of clauses. A satisfiable theory, saturated by superposition, implicitly defines a minimal term-generated model for the…
We derive a family of necessary separability criteria for finite-dimensional systems based on inequalities for variances of observables. We show that every pure bipartite entangled state violates some of these inequalities. Furthermore, a…
The discrete Painlev\'e III equation is investigated based on the bilinear formalism. It is shown that it admits the solutions expressed by the Casorati determinant whose entries are given by the discrete Bessel function. Moreover, based on…
Weighted degrees of quasihomogeneous Hamiltonian functions of the Painlev\'{e} equations are investigated. A tuple of positive integers, called a regular weight, satisfying certain conditions related to singularity theory is classified.…
The aim of the paper is twofold. Firstly, by using the constant rank level set theorem from differential geometry, we establish sharp upper bounds for the dimensions of the solution sets of polynomial variational inequalities under mild…
This paper considers overdetermined boundary problems. Firstly, we give a proof to the Payne-Schaefer conjecture about an overdetermined problem of sixth order in the two dimensional case and under an additional condition for the case of…
Probabilistic solvers for ordinary differential equations (ODEs) have emerged as an efficient framework for uncertainty quantification and inference on dynamical systems. In this work, we explain the mathematical assumptions and detailed…
Morrill and Valentin in the paper "Computational coverage of TLG: Nonlinearity" considered an extension of the Lambek calculus enriched by a so-called "exponential" modality. This modality behaves in the "relevant" style, that is, it allows…
We consider the orbits of a discrete Painlev\'e equation over finite fields and show that the number of points in such orbits satisfy the Hasse bound. The orbits turn out to lie on algebraic curves, whose defining polynomials are given…