Related papers: A lifted square formulation for certifiable Schube…

Cylindrical Algebraic Decomposition (CAD) by projection and lifting requires many iterated univariate resultants. It has been observed that these often factor, but to date this has not been used to optimise implementations of CAD. We…

The aim of the paper is to extend the notion of $\alpha$-geometry in the classical and in the noncommutative case by introducing a more general class of pull-back metrics and to give concrete formulas for the scalar curvature of these…

We consider the existence and multiplicity of solutions for a class of quasi-linear Schr\"{o}dinger equations which include the modified nonlinear Schr\"{o}dinger equations. A new perturbation approach is used to treat the sub-cubic…

We carry out the complete group classification of the class of (1+1)-dimensional linear Schr\"odinger equations with complex-valued potentials. After introducing the notion of uniformly semi-normalized classes of differential equations, we…

We prove, combinatorially, that the product of a Schubert polynomial by a Stanley symmetric polynomial is a truncated Schubert polynomial. Using Monk's rule, we derive a nonnegative combinatorial formula for the Schubert polynomial…

The Riccati equations reducible to first-order linear equations by an appropriate change the dependent variable are singled out. All these equations are integrable by quadrature. A wide class of linear ordinary differential equations…

Symmetry is the essential element of lifted inference that has recently demon- strated the possibility to perform very efficient inference in highly-connected, but symmetric probabilistic models models. This raises the question, whether…

We explore a particular way of reformulating quantum theory in classical terms, starting with phase space rather than Hilbert space, and with actual probability distributions rather than quasiprobabilities. The classical picture we start…

We consider bounded linear operators acting on the $\ell_2$ space indexed by the nodes of a homogeneous tree. Using the Cuntz relations between the primitive shifts on the tree, we generalize the notion of the single-scale time-varying…

We propose a new formulation for the bundle adjustment problem which relies on nullspace marginalization of landmark variables by QR decomposition. Our approach, which we call square root bundle adjustment, is algebraically equivalent to…

Inspired by Quantum Mechanics, we reformulate Hilbert's tenth problem in the domain of integer arithmetics into problems involving either a set of infinitely-coupled non-linear differential equations or a class of linear Schr\"odinger…

We provide a criterion for a coherent sheaf to be an Ulrich sheaf in terms of a certain bilinear form on its global sections. When working over the real numbers we call it a positive Ulrich sheaf if this bilinear form is symmetric or…

Schubert varieties have been exhaustively studied with a plethora of techniques: Coxeter groups, explicit desingularization, Frobenius splitting, etc. Many authors have applied these techniques to various other varieties, usually defined by…

We analyze the fully relativistic, field-theoretical treatment of the scalar Coulomb problem. We work in a truncated Hilbert-Fock space containing the two-constituent states and the two-constituent-and-one-massless-exchange-particle states.…

We develop a linear-algebraic framework for dimensional analysis in systems with constraints, particularly when variables are numerous or related by implicit relations so that direct elimination is impractical. By expressing both…

We study the constraint equations for the Einstein-scalar field system on compact manifolds. Using the conformal method we reformulate these equations as a determined system of nonlinear partial differential equations. By introducing a new…

The Algebraic lambda-calculus and the Linear-Algebraic lambda-calculus extend the lambda-calculus with the possibility of making arbitrary linear combinations of terms. In this paper we provide a fine-grained, System F-like type system for…

Scaled Boolean algebras are a category of mathematical objects that arose from attempts to understand why the conventional rules of probability should hold when probabilities are construed, not as frequencies or proportions or the like, but…

The classical Schl\"afli formula, and its ``higher'' analogs given in [SS03], are relations between the variations of the volumes and ``curvatures'' of faces of different dimensions of a polyhedra (which can be Euclidean, spherical or…

We reflect on the notions of positivity and square roots. We review many examples which underline our thesis that square roots of positive maps related to *-algebras are Hilbert modules. As a result of our considerations we discuss…