Related papers: The Boolean SATisfiability Problem and the orthogo…
Associated varieties are geometric objects appearing in infinite-dimensional representations of semisimple Lie algebras (groups). By applying Fourier transformations to the natural orthogonal oscillator representations of special linear Lie…
The study of monotone Boolean functions (MBFs) has a long history. We explore a connection between MBFs and ordinary differential equation (ODE) models of gene regulation, and, in particular, a problem of the realization of an MBF as a…
We characterize those spacetimes which admit a isometric (or conformal) embedding in some Lorentz-Minkowski space L^N. In particular, any globally hyperbolic spacetime can be isometrically embedded in L^N. This is proven by a result of its…
We consider a nonhomogeneous Burgers equation with time variable coefficients, and obtain an explicit solution of the general initial value problem in terms of solution to a corresponding linear ODE. Special exact solutions such as…
The purpose of the present expository paper is to give an account of the recent progress and present status of the classification of solvable Lie groups admitting an Einstein left invariant Riemannian metric, the only known examples so far…
Motivated by applications in computational anatomy, we consider a second-order problem in the calculus of variations on object manifolds that are acted upon by Lie groups of smooth invertible transformations. This problem leads to solution…
In the $2$-dimensional $n$-body problem, $n\ge 3$, in spaces of constant curvature, $\kappa\ne 0$, we study polygonal homographic solutions. We first provide necessary and sufficient conditions for the existence of these orbits and then…
For the gravitational $n$-body problem, the simplest motions are provided by those rigid motions in which each body moves along a Keplerian orbit and the shape of the system is a constant (up to rotations and scalings) configuration…
We completely describe the algebraic part of the rational cohomology of the Torelli groups of the manifolds $\#^g S^n \times S^n$ relative to a disc in a stable range, for $2n \geq 6$. Our calculation is also valid for $2n=2$ assuming that…
We intend to create new concepts aimed at finding necessary and sufficient conditions for Boolean satisfiability so that these conditions can be verified in polynomial time. Based on these conditions it will be possible to create an…
The problem considered here is the determination of the hamiltonian of a first quantized nonrelativistic particle by the help of some measurements of the location with a finite resolution. The resulting hamiltonian depends on the resolution…
We present a new problem on configurations of points, which is a new version of a similar problem by Atiyah and Sutcliffe, except it is related to the Lie group $\operatorname{Sp}(n)$, instead of the Lie group $\operatorname{U}(n)$. Denote…
Schaefer's dichotomy theorem [Schaefer, STOC'78] states that a boolean constraint satisfaction problem (CSP) is polynomial-time solvable if one of six given conditions holds for every type of constraint allowed in its instances. Otherwise,…
In any dimension $n\geq 3$, we prove an optimal stability estimate for the M\"obius group among maps $u\colon \mathbb S^{n-1} \to \mathbb R^n$, of the form $\inf_{\lambda>0,\phi\in \mathrm{M\"ob}(\mathbb S^{n-1})} \int_{\mathbb…
We use the equivariant $\mu$-bubbles technique to prove that for any compact manifold $M^n$ with non-empty boundary, $n\in\{3,5,6\}$, the Yamabe invariant of $M^n$ is positive if and only if the Yamabe invariant of $M^n\times S^1$ is…
In algebraic terms, the insertion of $n$-powers in words may be modelled at the language level by considering the pseudovariety of ordered monoids defined by the inequality $1\le x^n$. We compare this pseudovariety with several other…
The aim of the paper is to answer a long-standing open problem on the relationship between NP and BQP. The paper shows that BQP contains NP by proposing a BQP quantum algorithm for the MAX-E3-SAT problem which is a fundamental NP-hard…
In many decision-making processes, one may prefer multiple solutions to a single solution, which allows us to choose an appropriate solution from the set of promising solutions that are found by algorithms. Given this, finding a set of…
We present several examples of quasi-exactly solvable $N$-body problems in one, two and higher dimensions. We study various aspects of these problems in some detail. In particular, we show that in some of these examples the corresponding…
We consider the problem of testing whether an unknown Boolean function $f$ is monotone versus $\epsilon$-far from every monotone function. The two main results of this paper are a new lower bound and a new algorithm for this well-studied…