Related papers: Smyth's conjecture and a non-deterministic Hasse p…

We present the first combinatorial proof of the Graham-Pollak Formula for the determinant of the distance matrix of a tree, via sign-reversing involutions and the Lindstr\"om-Gessel-Viennot Lemma. Our approach provides a cohesive and…

We prove that a polynomial map is invertible if and only if some associated differential ring homomorphism is bijective. To this end, we use a theorem of Crespo and Hajto linking the invertibility of polynomial maps with Picard-Vessiot…

Operating in the framework of `supmech' (a scheme of mechanics which aims at providing a concrete setting for the axiomatization of physics and probability theory as required in Hilbert's sixth problem; integrating noncommutative symplectic…

Using the commutativity of a general variation with the time differentiation we discuss both global and local (gauge) symmetries of a lagrangian from a unified point of view. The Noether considerations are thereby applicable for both cases.…

A brief survey is given of the classical Langlands correspondence between n-dimensional representations of Galois groups of local and global fields of dimension 1 and irreducible representations of the groups GL(n). A generalization of the…

Additive combinatorics asks for lower bounds on sumsets and restricted sumsets over finite fields. Central examples are the Cauchy-Davenport theorem and the Erd\H{o}s-Heilbronn conjecture. In this note, we develop Das's linear algebraic…

It is well known that as a famous type of iterative methods in numerical linear algebra, Gauss-Seidel iterative methods are convergent for linear systems with strictly or irreducibly diagonally dominant matrices, invertible $H-$matrices…

In this paper we extend a conjecture of Ash and Sinnott relating niveau one Galois representation to the mod p cohomology of congruence subgroups of SL(n,Z) to include Galois representations of higher niveau. We then present computational…

Let $p$ be a multilinear polynomial in several non-commuting variables with coefficients in an arbitrary field $K$. Kaplansky conjectured that for any $n$, the image of $p$ evaluated on the set $M_n(K)$ of $n$ by $n$ matrices is either…

Two years ago, Conlon and Gowers, and Schacht proved general theorems that allow one to transfer a large class of extremal combinatorial results from the deterministic to the probabilistic setting. Even though the two papers solve the same…

It is quite natural to wonder whether there is a difference-differential equations, the Galois group of which is a quantum group that is neither commutative nor co-commutative. Believing that there was no such linear equations, we explored…

This paper reviews results about discrete physics and non-commutative worlds and explores further the structure and consequences of constraints linking classical calculus and discrete calculus formulated via commutators. In particular we…

Let $\rho_1$ and $\rho_2$ be a pair of residual, odd, absolutely irreducible two-dimensional Galois representations of a totally real number field $F$. In this article we propose a conjecture asserting existence of "safe" chains of…

Combining recent results on noetherianity of twisted commutative algebras by Draisma and the resolution of Stillman's conjecture by Ananyan-Hochster, we prove a broad generalization of Stillman's conjecture. Our theorem yields an array of…

Let G be a semisimple complex algebraic group, and H a wonderful subgroup of G. We prove several results relating the subgroup H to the properties of a combinatorial invariant S of G/H, called its spherical system. It is also possible to…

In this paper we extend the standard differential geometric theory of Hamiltonian dynamics to noncommutative spaces, beginning with symplectic forms. Derivations on the algebra are used instead of vector fields, and interior products and…

We introduce an infinite set of integer mappings that generalize the well-known Collatz-Ulam mapping and we conjecture that an infinite subset of these mappings feature the remarkable property of the Collatz conjecture, namely that they…

Sahlqvist theory is extended to the fragments of the intuitionistic propositional calculus that include the conjunction connective. This allows us to introduce a Sahlqvist theory of intuitionistic character amenable to arbitrary…

In Proposition I of "Memoire sur les conditions de resolubilite des equations par radicaux", Galois established that any intermediate extension of the splitting field of a polynomial with rational coefficients is the fixed field of its…

The intersection type assignment system has been designed directly as deductive system for assigning formulae of the implicative and conjunctive fragment of the intuitionistic logic to terms of lambda-calculus. But its relation with the…