polynomial
11239 papers tagged with this keyword
The uncertainty principle over finite fields
Published
• View Publication
• BIB
In this paper we study the uncertainty principle (UP) connecting a function over a finite field and its Mattson-Solomon polynomial, which is a kind of Fourier transform in positive characteristic. Three versions of the UP over finite fields are studied, in connection with the asymptotic theory of cyclic codes. We first show that no finite field satisfies the strong version of UP, introduced recently by Evra, Kowalsky, Lubotzky, 2017. A refinement of the weak version is given, by using the asymptotic Plotkin bound. A naive version, which is the direct analogue over finite fields of the Donoho-Stark bound over the complex numbers, is proved by using the BCH bound. It is strong enough to show that there exist sequences of cyclic codes of length $n$, arbitrary rate, and minimum distance $Ω(n^α)$ for all $0<α<1/2$. Finally, a connection with Ramsey Theory is pointed out.
Frozen Pipes: Lattice Models for Grothendieck Polynomials
Published
• View Publication
• BIB
We introduce families of two-parameter multivariate polynomials indexed by pairs of partitions $v,w$ -- biaxial double $(β,q)$-Grothendieck polynomials -- which specialize at $q=0$ and $v=1$ to double $β$-Grothendieck polynomials from torus-equivariant connective K-theory. Initially defined recursively via divided difference operators, our main result is that these new polynomials arise as partition functions of solvable lattice models. Moreover, the associated quantum group of the solvable model for polynomials in $n$ pairs of variables is a Drinfeld twist of the $U_q(\widehat{\mathfrak{sl}}_{n+1})$ $R$-matrix. By leveraging the resulting Yang-Baxter equations of the lattice model, we show that these polynomials simultaneously generalize double $β$-Grothendieck polynomials and dual double $β$-Grothendieck polynomials for arbitrary permutations. We then use properties of the model and Yang-Baxter equations to reprove Fomin-Kirillov's Cauchy identity for $β$-Grothendieck polynomials, generalize it to a new Cauchy identity for biaxial double $β$-Grothendieck polynomials, and prove a new branching rule for double $β$-Grothendieck polynomials.
Recognising Graphic and Matroidal Connectivity Functions
Published
• View Publication
• BIB
A {\em connectivity function} on a set $E$ is a function $λ:2^E\rightarrow \mathbb R$ such that $λ(\emptyset)=0$, that $λ(X)=λ(E-X)$ for all $X\subseteq E$, and that $λ(X\cap Y)+λ(X\cup Y)\leq λ(X)+λ(Y)$ for all $X,Y \subseteq E$. Graphs, matroids and, more generally, polymatroids have associated connectivity functions. In this paper we give a method for identifying when a connectivity function comes from a graph. This method uses no more than a polynomial number of evaluations of the connectivity function. In contrast, we show that the problem of identifying when a connectivity function comes from a matroid cannot be solved in polynomial time. We also show that the problem of identifying when a connectivity function is not that of a matroid cannot be solved in polynomial time.
Incidences with curves in three dimensions
We study incidence problems involving points and curves in $R^3$. The current (and in fact only viable) approach to such problems, pioneered by Guth and Katz, requires a variety of tools from algebraic geometry, most notably (i) the polynomial partitioning technique, and (ii) the study of algebraic surfaces that are ruled by lines or, in more recent studies, by algebraic curves of some constant degree. By exploiting and refining these tools, we obtain new and improved bounds for point-curve incidence problems in $R^3$.
Incidences of this kind have been considered in several previous studies, starting with Guth and Katz's work on points and lines. Our results, which are based on the work of Guth and Zahl concerning surfaces that are doubly ruled by curves, provide a grand generalization of most of the previous results. We reconstruct the bound for points and lines, and improve, in certain significant ways, recent bounds involving points and circles (in Sharir, Sheffer and Zahl), and points and arbitrary constant-degree algebraic curves (in Sharir, Sheffer and Solomon). While in these latter instances the bounds are not known (and are strongly suspected not) to be tight, our bounds are, in a certain sense, the best that can be obtained with this approach, given the current state of knowledge.
As an application of our point-curve incidence bound, we show that the number of triangles spanned by a set of $n$ points in $R^3$ and similar to a given triangle is $O(n^{15/7})$, which improves the bound of Agarwal et al. Our results are also related to a study by Guth et al.~(work in progress), and have been recently applied in Sharir, Solomon and Zlydenko to related incidence problems in three dimensions.
Surfaces have (asymptotic) dimension 2
The asymptotic dimension is an invariant of metric spaces introduced by Gromov in the context of geometric group theory. When restricted to graphs and their shortest paths metric, the asymptotic dimension can be seen as a large scale version of weak diameter colorings (also known as weak diameter network decompositions), i.e. colorings in which each monochromatic component has small weak diameter.
In this paper, we prove that for any $p$, the class of graphs excluding $K_{3,p}$ as a minor has asymptotic dimension at most 2. This implies that the class of all graphs embeddable on any fixed surface (and in particular the class of planar graphs) has asymptotic dimension 2, which gives a positive answer to a recent question of Fujiwara and Papasoglu. Our result extends from graphs to Riemannian surfaces. We also prove that graphs of bounded pathwidth have asymptotic dimension at most 1 and graphs of bounded layered pathwidth have asymptotic dimension at most 2. We give some applications of our techniques to graph classes defined in a topological or geometrical way, and to graph classes of polynomial growth. Finally we prove that the class of bounded degree graphs from any fixed proper minor-closed class has asymptotic dimension at most 2. This can be seen as a large scale generalization of the result that bounded degree graphs from any fixed proper minor-closed class are 3-colorable with monochromatic components of bounded size. This also implies that (infinite) Cayley graphs avoiding some minor have asymptotic dimension at most 2, which solves a problem raised by Ostrovskii and Rosenthal.
On the weight and density bounds of polynomial threshold functions
Published
• View Publication
• BIB
In this report, we show that all n-variable Boolean function can be represented as polynomial threshold functions (PTF) with at most $0.75 \times 2^n$ non-zero integer coefficients and give an upper bound on the absolute value of these coefficients. To our knowledge this provides the best known bound on both the PTF density (number of monomials) and weight (sum of the coefficient magnitudes) of general Boolean functions. The special case of Bent functions is also analyzed and shown that any n-variable Bent function can be represented with integer coefficients less than $2^n$ while also obeying the aforementioned density bound. Finally, sparse Boolean functions, which are almost constant except for $m << 2^n$ number of variable assignments, are shown to have small weight PTFs with density at most $m+2^{n-1}$.
Faster algorithms for Markov equivalence
Published in 36th Conference on Uncertainty in Artificial Intelligence (UAI), 2020
• Search Publication
Maximal ancestral graphs (MAGs) have many desirable properties; in particular they can fully describe conditional independences from directed acyclic graphs (DAGs) in the presence of latent and selection variables. However, different MAGs may encode the same conditional independences, and are said to be \emph{Markov equivalent}. Thus identifying necessary and sufficient conditions for equivalence is essential for structure learning. Several criteria for this already exist, but in this paper we give a new non-parametric characterization in terms of the heads and tails that arise in the parameterization for discrete models. We also provide a polynomial time algorithm ($O(ne^{2})$, where $n$ and $e$ are the number of vertices and edges respectively) to verify equivalence. Moreover, we extend our criterion to ADMGs and summary graphs and propose an algorithm that converts an ADMG or summary graph to an equivalent MAG in polynomial time ($O(n^{2}e)$). Hence by combining both algorithms, we can also verify equivalence between two summary graphs or ADMGs.
Graded Betti numbers of some circulant graphs
Published in Rocky Mountain Journal of Mathematics, 51(6), 1919-1940, 2021
• View Publication
• BIB
Let $G$ be the circulant graph $C_n(S)$ with $S \subseteq \{1, 2, \dots, \lfloor \frac{n}{2} \rfloor\}$, and let $I(G)$ denote the edge ideal in the polynomial ring $R=\mathbb{K}[x_0, x_1, \dots, x_{n-1}]$ over a field $\mathbb{K}$. In this paper, we compute the $\mathbb{N}$-graded Betti numbers of the edge ideals of three families of circulant graphs $C_n(1,2,\dots,\widehat{j},\dots,\lfloor \frac{n}{2} \rfloor)$, $C_{lm}(1,2,\dots,\widehat{2l},\dots, \widehat{3l},\dots,\lfloor \frac{lm}{2} \rfloor)$ and $C_{lm}(1,2,\dots,\widehat{l},\dots,\widehat{2l},\dots, \widehat{3l},\dots,\lfloor \frac{lm}{2} \rfloor)$. Other algebraic and combinatorial properties like regularity, projective dimension, induced matching number and when such graphs are well-covered, Cohen-Macaulay, Sequentially Cohen-Macaulay, Buchsbaum and $S_2$ are also discussed.
Linear sets and MRD-codes arising from a class of scattered linearized polynomials
Published in J. of Algebraic Combin. (2021)
• View Publication
• BIB
A class of scattered linearized polynomials covering infinitely many field extensions is exhibited. More precisely, the $q$-polynomial over $\mathbb F_{q^6}$, $q \equiv 1\pmod 4$ described in arXiv:1906.05611, arXiv:1910.02278 is generalized for any even $n\ge6$ to an $\mathbb F_q$-linear automorphism $ψ(x)$ of $\mathbb F_q^n$ of order $n$. Such $ψ(x)$ and some functional powers of it are proved to be scattered. In particular this provides new maximum scattered linear sets of the projective line $\mathrm{PG}(1,q^n)$ for $n=8,10$. The polynomials described in this paper lead to a new infinite family of MRD-codes in $\mathbb F_q^{n\times n}$ with minimum distance $n-1$ for any odd $q$ if $n\equiv0\pmod4$ and any $q\equiv1\pmod4$ if $n\equiv2\pmod4$.
Almost Affinely Disjoint Subspaces
Published in Finite Fields and Their Applications, Volume 75, October 2021, 101879
• View Publication
• BIB
In this work, we introduce a natural notion concerning finite vector spaces. A family of $k$-dimensional subspaces of $\mathbb{F}_q^n$, which forms a partial spread, is called almost affinely disjoint if any $(k+1)$-dimensional subspace containing a subspace from the family non-trivially intersects with only a few subspaces from the family. The central question discussed in the paper is the polynomial growth (in $q$) of the maximal cardinality of these families given the parameters $k$ and $n$. For the cases $k=1$ and $k=2$, optimal families are constructed. For other settings, we find lower and upper bounds on the polynomial growth. Additionally, some connections with problems in coding theory are shown.
Worpitzky-compatible subarrangements of braid arrangements and cocomparability graphs
Published in Comptes Rendus. Mathématique 359 (2021), 665--674
• View Publication
• BIB
The class of Worpitzky-compatible subarrangements of a Weyl arrangement together with an associated Eulerian polynomial was recently introduced by Ashraf, Yoshinaga and the first author, which brings the characteristic and Ehrhart quasi-polynomials into one formula. The subarrangements of the braid arrangement, the Weyl arrangement of type $A$, are known as the graphic arrangements. We prove that the Worpitzky-compatible graphic arrangements are characterized by cocomparability graphs. Our main result yields new formulas for the chromatic and graphic Eulerian polynomials of cocomparability graphs.
Metric Dimension of Hamming Graphs and Applications to Computational Biology
Genetic sequencing has become an increasingly affordable and accessible source of genomic data in computational biology. This data is often represented as $k$-mers, i.e., strings of some fixed length $k$ with symbols chosen from a reference alphabet. In contrast, some of the most effective and well-studied machine learning algorithms require numerical representations of the data. The concept of metric dimension of the so-called Hamming graphs presents a promising way to address this issue. A subset of vertices in a graph is said to be resolving when the distances to those vertices uniquely characterize every vertex in the graph. The metric dimension of a graph is the size of a smallest resolving subset of vertices. Finding the metric dimension of a general graph is a challenging problem, NP-complete in fact. Recently, an efficient algorithm for finding resolving sets in Hamming graphs has been proposed, which suffices to uniquely embed $k$-mers into a real vector space. Since the dimension of the embedding is the cardinality of the associated resolving set, determining whether or not a node can be removed from a resolving set while keeping it resolving is of great interest. This can be quite challenging for large graphs since only a brute-force approach is known for checking whether a set is a resolving set or not. In this thesis, we characterize resolvability of Hamming graphs in terms of a linear system over a finite domain: a set of nodes is resolving if and only if the linear system has only a trivial solution over said domain. We can represent the domain as the roots of a polynomial system so the apparatus of Gröbner bases comes in handy to determine, whether or not a set of nodes is resolving. As proof of concept, we study the resolvability of Hamming graphs associated with octapeptides i.e. proteins sequences of length eight.
On the coefficient-choosing game
Published in Moscow J. Comb. Number Th. 10 (2021) 183-202
• View Publication
• BIB
Nora and Wanda are two players who choose coefficients of a degree $d$ polynomial from some fixed unital commutative ring $R$. Wanda is declared the winner if the polynomial has a root in the ring of fractions of $R$ and Nora is declared the winner otherwise. We extend the theory of these games given by Gasarch, Washington and Zbarsky to all finite cyclic rings and determine the possible outcomes. A family of examples is also constructed using discrete valuation rings for a variant of the game proposed by these authors. Our techniques there lead us to an adversarial approach to constructing rational polynomials of any prescribed degree (equal to $3$ or greater than $8$) with no roots in the maximal abelian extension of $\mathbb{Q}$.
On asymptotic properties of high moments of compound Poisson distribution
We study asymptotic behavior of the moments $M_k(λ)$ of the sum $X_1+\dots+X_{N_λ}$, where $N_λ$ follows the Poisson probability distribution with mean value $λ$ and $\{X_j\}$ is a family of i.i.d. random variables also independent from $N_λ$. We obtain an explicit expression for the leading term of $M_k(λ)$ as $k\to\infty$ and study it in dependence of the asymptotic behavior of $λ= λ_k$.
In application, we establish a concentration property of maximal vertex degree of large weighted random graphs. Another application is related with a variable that arises in the studies of high moments of large random matrices. Finally, regarding three particular cases of probability distribution of $X_j$, we comment on the asymptotic behavior of certain combinatorial polynomials, including the Bell polynomials of even partitions.
Coloring linear hypergraphs: the Erdős-Faber-Lovász conjecture and the Combinatorial Nullstellensatz
Published in Des. Codes Cryptogr. (2021)
• View Publication
• BIB
The long-standing Erdős-Faber-Lovász conjecture states that every $n$-uniform linear hypergaph with $n$ edges has a proper vertex-coloring using $n$ colors. In this paper we propose an algebraic framework to the problem and formulate a corresponding stronger conjecture. Using the Combinatorial Nullstellensatz, we reduce the Erdős-Faber-Lovász conjecture to the existence of non-zero coefficients in certain polynomials. These coefficients are in turn related to the number of orientations with prescribed in-degree sequences of some auxiliary graphs. We prove the existence of certain orientations, which verifies a necessary condition for our algebraic approach to work.
Short survey on stable polynomials, orientations and matchings
This is a short survey about the theory of stable polynomials and its applications. It gives self-contained proofs of two theorems of Schrijver. One of them asserts that for a $d$--regular bipartite graph $G$ on $2n$ vertices, the number of perfect matchings, denoted by $\mathrm{pm}(G)$, satisfies $$\mathrm{pm}(G)\geq \bigg( \frac{(d-1)^{d-1}}{d^{d-2}} \bigg)^{n}.$$ The other theorem claims that for even $d$ the number of Eulerian orientations of a $d$--regular graph $G$ on $n$ vertices, denoted by $\varepsilon(G)$, satisfies $$\varepsilon(G)\geq \bigg(\frac{\binom{d}{d/2}}{2^{d/2}}\bigg)^n.$$ To prove these theorems we use the theory of stable polynomials, and give a common generalization of the two theorems.
Thinness of product graphs
Published in Discrete Applied Mathematics 312 (2022), 52-71
• View Publication
• BIB
The thinness of a graph is a width parameter that generalizes some properties of interval graphs, which are exactly the graphs of thinness one. Many NP-complete problems can be solved in polynomial time for graphs with bounded thinness, given a suitable representation of the graph. In this paper we study the thinness and its variations of graph products. We show that the thinness behaves "well" in general for products, in the sense that for most of the graph products defined in the literature, the thinness of the product of two graphs is bounded by a function (typically product or sum) of their thinness, or of the thinness of one of them and the size of the other. We also show for some cases the non-existence of such a function.
Precedence thinness in graphs
Published in Discrete Applied Mathematics 323 (2022), 76-95
• View Publication
• BIB
Interval and proper interval graphs are very well-known graph classes, for which there is a wide literature. As a consequence, some generalizations of interval graphs have been proposed, in which graphs in general are expressed in terms of $k$ interval graphs, by splitting the graph in some special way.
As a recent example of such an approach, the classes of $k$-thin and proper $k$-thin graphs have been introduced generalizing interval and proper interval graphs, respectively. The complexity of the recognition of each of these classes is still open, even for fixed $k \geq 2$.
In this work, we introduce a subclass of $k$-thin graphs (resp. proper $k$-thin graphs), called precedence $k$-thin graphs (resp. precedence proper $k$-thin graphs). Concerning partitioned precedence $k$-thin graphs, we present a polynomial time recognition algorithm based on $PQ$-trees. With respect to partitioned precedence proper $k$-thin graphs, we prove that the related recognition problem is \NP-complete for an arbitrary $k$ and polynomial-time solvable when $k$ is fixed. Moreover, we present a characterization for these classes based on threshold graphs.
Slide polynomials and subword complexes
Published in Sbornik: Mathematics, 2021, 212:10, 1471-1490
• View Publication
• BIB
Subword complexes were defined by A.Knutson and E.Miller in 2004 for describing Gröbner degenerations of matrix Schubert varieties. The facets of such a complex are indexed by pipe dreams, or, equivalently, by the monomials in the corresponding Schubert polynomial. In 2017 S.Assaf and D.Searles defined a basis of slide polynomials, generalizing Stanley symmetric functions, and described a combinatorial rule for expanding Schubert polynomials in this basis. We describe a decomposition of subword complexes into strata called slide complexes, that correspond to slide polynomials. The slide complexes are shown to be homeomorphic to balls or spheres.
A geometric and combinatorial exploration of Hochschild lattices
Published
• View Publication
• BIB
Hochschild lattices are specific intervals in the dexter meet-semilattices recently introduced by Chapoton. A natural geometric realization of these lattices leads to some cell complexes introduced by Saneblidze, called the Hochschild polytopes. We obtain several geometrical properties of the Hochschild lattices, namely we give cubic realizations, establish that these lattices are EL-shellable, and show that they are constructible by interval doubling. We also prove several combinatorial properties as the enumeration of their $k$-chains and compute their degree polynomials.