Related papers: Maximum Entropy and Sufficiency
The Satisfiability Modulo Theories (SMT) issue concerns the satisfiability of formulae from multiple background theories, usually expressed in the language of first-order predicate logic with equality. SMT solvers are often based on…
The paper is devoted to characterizing convex trace ranges in finite atomic von Neumann algebras. The main result provides us with the necessary and sufficient condition for the range of a faithful normal trace on a finite atomic von…
We prove that a special Moufang sets with abelian root subgroups derive from a quadratic Jordan division algebra if a certain finiteness condition is satisfied.
Let $G$ be a nontrivial permutation group of degree $n$. If $G$ is transitive, then a theorem of Jordan states that $G$ has a derangement. Equivalently, a finite group is never the union of conjugates of a proper subgroup. If $G$ is…
In this paper, we study the problem of scattering by several strictly convex obstacles, with smooth boundary and satisfying a non eclipse condition. We show, in dimension 2 only, the existence of a spectral gap for the meromorphic…
Differential completions and compactifications of differential spaces are introduced and investigated. The existence of the maximal differential completion and the maximal differential compactification is proved. A sufficient condition for…
For a finitely generated algebra over a field, the transcendence degree is known to be equal to the Krull dimension. The aim of this paper is to generalize this result to algebras over rings. A new definition of the transcendence degree of…
We obtain inequalities involving the entropy of a positive integer and the divergence of two positive integers, respectively the entropy of an ideal and the divergence of two ideals in a ring of algebraic integers. Among the important…
We present a construction of a Jordan scheme from an elementary abelian $2$-group of rank $n$ and a $\{1,-1\}$-matrix of order $2^n$ that satisfies a specified condition. We then prove that the orders of matrices with the specified…
Since its application to systems, emergence has been explained in terms of levels of observation. This approach has led to confusion, contradiction, incoherence and at times mysticism. When the idea of level is replaced by a framework of…
In this paper, we establish a regularity theory for the optimal transport problem when the target is composed of two disjoint convex domains. This is an important model in which singularities arise. Even though the singular set does not…
The compactness theorem for a logic states, roughly, that the satisfiability of a set of well-formed formulas can be determined from the satisfiability of its finite subsets, and vice versa. Usually, proofs of this theorem depend on the…
We prove a bound on the number of primes with a given splitting behaviour in a given field extension. This bound generalises the Brun-Titchmarsh bound on the number of primes in an arithmetic progression. The proof is set up as an…
A conjecture for the dimension and the character of the homogenous components of the free Jordan algebras is proposed. As a support of the conjecture, some numerical evidences are generated by a computer and some new theoretical results are…
We establish cartesian model structures for variants of $\Theta_n$-spaces in which we replace some or all of the completeness conditions by discreteness conditions. We prove that they are all equivalent to each other and to the…
Motivated by the theory of graph limits, we introduce and study the convergence and limits of linear representations of finite groups over finite fields. The limit objects are infinite dimensional representations of free groups in…
Several years ago the authors started looking at some problems of convex geometry from a more general point of view, replacing volume by an arbitrary measure. This approach led to new general properties of the Radon transform on convex…
We study a curve of Gibbsian families of complex 3x3-matrices and point out new features, absent in commutative finite-dimensional algebras: a discontinuous maximum-entropy inference, a discontinuous entropy distance and non-exposed faces…
We study the limiting degree distribution of the vertex splitting model introduced in \cite{DDJS:2009}. This is a model of randomly growing ordered trees, where in each time step the tree is separated into two components by splitting a…
We introduce a natural notion of determinant in matrix JB$^*$-algebras, i.e., for hermitian matrices of biquaternions and for hermitian $3\times 3$ matrices of complex octonions. We establish several properties of these determinants which…