相关论文: A seventeenth-order polylogarithm ladder
The Weisfeiler-Leman (WL) algorithm is a well-known combinatorial procedure for detecting symmetries in graphs and it is widely used in graph-isomorphism tests. It proceeds by iteratively refining a colouring of vertex tuples. The number of…
For a non-zero algebraic number $\alpha$ of degree $d$, let $h(\alpha)$ denote its logarithmic Weil height. It is known that when $h(\alpha)$ is small, and $d$ is large, the conjugates of $\alpha$ are clustered near the unit circle and have…
The alliance polynomial of a graph $G$ with order $n$ and maximum degree $\Delta$ is the polynomial $A(G; x) = \sum_{k=-\Delta}^{\Delta} A_{k}(G) \, x^{n+k}$, where $A_{k}(G)$ is the number of exact defensive $k$-alliances in $G$. We obtain…
The problem of enumerating all connected induced subgraphs of a given order $k$ from a given graph arises in many practical applications: bioinformatics, information retrieval, processor design,to name a few. The upper bound on the number…
If $\alpha_1,\ldots,\alpha_r$ are algebraic numbers such that $$N=\sum_{i=1}^r\alpha_i \ne \sum_{i=1}^r\alpha_i^{-1}$$ for some integer $N$, then a theorem of Beukers and Zagier gives the best possible lower bound on $$\sum_{i=1}^r\log…
Polynomial representations of Boolean functions over various rings such as $\mathbb{Z}$ and $\mathbb{Z}_m$ have been studied since Minsky and Papert (1969). From then on, they have been employed in a large variety of fields including…
The log-rank conjecture is a longstanding open problem with multiple equivalent formulations in complexity theory and mathematics. In its linear-algebraic form, it asserts that the rank and partitioning number of a Boolean matrix are…
We introduce the general polynomial algebras characterizing a class of higher order superintegrable systems that separate in Cartesian coordinates. The construction relies on underlying polynomial Heisenberg algebras and their defining…
For an $n \times n$ matrix $M$ with entries in $\mathbb{Z}_2$ denote by $R(M)$ the minimal rank of all the matrices obtained by changing some numbers on the main diagonal of $M$. We prove that for each non-negative integer $k$ there is a…
The Weisfeiler-Leman (WL) algorithms form a family of incomplete approaches to the graph isomorphism problem. They recently found various applications in algorithmic group theory and machine learning. In fact, the algorithms form a…
The complexity $f(n)$ of an integer was introduced in 1953 by Mahler & Popken: it is defined as the smallest number of $1$'s needed in conjunction with arbitrarily many +, * and parentheses to write an integer $n$ (for example, $f(6) \leq…
Mahler's measure is generalized to create the class of {\it multiplicative distance functions}. These functions measure the complexity of polynomials based on the location of their zeros in the complex plane. Following work of S.-J. Chern…
For a complex number $x$, $\Vert x\Vert:=\min\{|x-m|:m\in\mathbb{Z}\}$. Let $k\geq 1$ be an integer, and $K$ be a number field. Let $\alpha_1,\ldots,\alpha_k$ be algebraic numbers with $|\alpha_i|\geq 1$ and let $d_i$ denotes the degree of…
We prove various theorems on approximation using polynomials with integer coefficients in the Bernstein basis of any given order. In the extreme, we draw the coefficients from $\{ \pm 1\}$ only. A basic case of our results states that for…
We give reconstruction algorithms for subclasses of depth-3 arithmetic circuits. In particular, we obtain the first efficient algorithm for finding tensor rank, and an optimal tensor decomposition as a sum of rank-one tensors, when given…
We consider a dominance order on positive vectors induced by the elementary symmetric polynomials. Under this dominance order we provide conditions that yield simple proofs of several monotonicity questions. Notably, our approach yields a…
It is a long-standing open question to determine the minimum number of comparisons $S(n)$ that suffice to sort an array of $n$ elements. Indeed, before this work $S(n)$ has been known only for $n\leq 22$ with the exception for $n=16$, $17$,…
We prove that the weight 6, depth 3, multiple polylogarithm $ \mathrm{Li}_{4,1,1}((xyz)^{-1}, x, y) $, or rather its more natural `divergent' incarnation $ \mathrm{Li}_{3;1,1,1}(x,y,z) $, satisfies the 6-fold anharmonic symmetries of the…
We establish that every set of $k=10$ natural numbers determines at least $30$ distinct pairwise sums or at least $30$ distinct pairwise products, as well as the analogous result for $k=11$ and at least $34$ sums/products, with sharpness…
It's well known that multiple polylogarithms give rise to good unipotent variations of mixed Hodge-Tate structures. In this paper we shall {\em explicitly} determine these structures related to multiple logarithms and some other multiple…