Related papers: Quantifier-free descriptions for quantifier soluti…
A new ansatz is presented for a Lax pair describing systems of particles on the line interacting via (possibly nonsymmetric) pairwise forces. Particular cases of this yield the known Lax pairs for the Calogero-Moser and Toda systems, as…
We present a novel parsing algorithm for all context-free languages, based on computing the relation between configurations and reaching transitions in a recursive transition network. Parsing complexity w.r.t. input length matches the state…
We consider rational power series over an alphabet $\Sigma$ with coefficients in a ordered commutative semiring $K$ and characterize them as the free ordered $K$-semialgebras in various classes of ordered $K$-semialgebras equipped with a…
We study sets $E(\Sigma,q)=\left\{\sum_{i=1}^\infty \sigma_iq^i\colon(\sigma_i)\in\Sigma^{\mathbb N}\right\}$ for a finite set $\Sigma\subset \mathbb R$ and $q\in(0,1)$. Under the assumption $q|\Sigma|=1$ we prove several new equivalent…
We present several enumeration results holding in sets of words called neutral and which satisfy restrictive conditions on the set of possible extensions of nonempty words. These formulae concern return words and bifix codes. They…
For a terminal alphabet $\Sigma$ and an attribute alphabet $\Gamma$, a $(\Sigma, \Gamma)$-extractor is a function that maps every string over $\Sigma$ to a table with a column per attribute and with sets of positions of $w$ as cell entries.…
Quantitative algebras (QAs) are algebras over metric spaces defined by quantitative equational theories as introduced by the same authors in a related paper presented at LICS 2016. These algebras provide the mathematical foundation for…
Motivated by satisfiability of constraints with function symbols, we consider numerical inequalities on non-negative integers. The constraints we consider are a conjunction of a linear system Ax = b and a conjunction of (non-)convex…
Consider a linear system of equations with interval coefficients, and each interval coefficient is associated with either a universal or an existential quantifier. The AE solution set and AE solvability of the system is defined by…
The procedure of the "quantum" linearization of the Hamiltonian ordinary differential equations with one degree of freedom is introduced. It is offered to be used for the classification of integrable equations of the Painleve type. By this…
We consider dynamical systems on the space of functions taking values in a free associative algebra. The system is said to be integrable if it possesses an infinite dimensional Lie algebra of commuting symmetries. In this paper we propose a…
The formalism of classical and quantum mechanics on phase space leads to symplectic and Heisenberg group representations, respectively. The Wigner functions give a representation of the quantum system using classical variables. The…
This paper presents a framework to derive instantiation-based decision procedures for satisfiability of quantified formulas in first-order theories, including its correctness, implementation, and evaluation. Using this framework we derive…
We study universally valid uncertainty relations in general quantum systems described by general $\sigma$-finite von Neumann algebras to foster developing quantitative analysis in quantum systems with infinite degrees of freedom such as…
We consider a hierarchy of the natural type Hamiltonian systems of $n$ degrees of freedom with polynomial potentials separable in general ellipsoidal and general paraboloidal coordinates. We give a Lax representation in terms of $2\times 2$…
We review and systematize recent attempts to canonically quantize general relativity in 2+1 dimensions, defined on space-times $\R\times\Sigma^g$, where $\Sigma^g$ is a compact Riemann surface of genus $g$. The emphasis is on quantizations…
A quantitative model of concurrent interaction is introduced. The basic objects are linear combinations of partial order relations, acted upon by a group of permutations that represents potential non-determinism in synchronisation. This…
We extend the previous series of articles [HPA] devoted to finding mappings between the Weinberg-Tucker-Hammer formalism and antisymmetric tensor fields. Now we take into account solutions of different parities of the Weinberg-like…
We describe a solution of the word problem in free fields (coming from non-commutative polynomials over a commutative field) using elementary linear algebra, provided that the elements are given by minimal linear representations. It relies…
This article proposes a new index for quantifying the degree of dependence between random vectors. The index takes values in [0,1] and equals zero if and only if the random vectors are sub-independent. Unlike mere uncorrelatedness,…