polynomial
11432 papers tagged with this keyword
Subalgebras generated in degree two with minimal Hilbert function
Published in Mathematica Scandinavica. Vol. 127, No. 1 (2021) p. 5-27
• View Publication
• BIB
What can be said about the subalgebras of the polynomial ring, with minimal or maximal Hilbert function? This question was discussed in a recent paper by M. Boij and A. Conca. In this paper we study the subalgebras generated in degree two with minimal Hilbert function. The problem to determine the generators of these algebras transfers into a combinatorial problem on counting maximal north-east lattice paths inside a shifted Ferrers diagram. We conjecture that the subalgebras generated in degree two with minimal Hilbert function are generated by an initial Lex or RevLex segment.
Tropical $F$-polynomials and General Presentations
Published
• View Publication
• BIB
We introduce the tropical $F$-polynomial $f_M$ of a quiver representation $M$. We study its interplay with the general presentation for any finite-dimensional basic algebra. We give an interpretation of evaluating $f_M$ at a weight vector. As a consequence, we give a presentation of the Newton polytope ${\sf N}(M)$ of $M$. We study the dual fan and 1-skeleton of ${\sf N}(M)$. We propose an algorithm to determine the generic Newton polytopes, and show it works for path algebras. As an application, we give a representation-theoretic interpretation of Fock-Goncharov's duality pairing. We give an explicit construction of dual clusters, which consists of real Schur representations. We specialize the above general results to the cluster-finite algebras and the preprojective algebras of Dynkin type.
Towards a Proof of the Fourier--Entropy Conjecture?
Published
• View Publication
• BIB
The total influence of a function is a central notion in analysis of Boolean functions, and characterizing functions that have small total influence is one of the most fundamental questions associated with it. The KKL theorem and the Friedgut junta theorem give a strong characterization of such functions whenever the bound on the total influence is $o(\log n)$. However, both results become useless when the total influence of the function is $ω(\log n)$. The only case in which this logarithmic barrier has been broken for an interesting class of functions was proved by Bourgain and Kalai, who focused on functions that are symmetric under large enough subgroups of $S_n$.
In this paper, we build and improve on the techniques of the Bourgain-Kalai paper and establish new concentration results on the Fourier spectrum of Boolean functions with small total influence. Our results include:
1. A quantitative improvement of the Bourgain--Kalai result regarding the total influence of functions that are transitively symmetric.
2. A slightly weaker version of the Fourier--Entropy Conjecture of Friedgut and Kalai. This weaker version implies in particular that the Fourier spectrum of a constant variance, Boolean function $f$ is concentrated on $2^{O(I[f]\log I[f])}$ characters, improving an earlier result of Friedgut. Removing the $\log I[f]$ factor would essentially resolve the Fourier--Entropy Conjecture, as well as settle a conjecture of Mansour regarding the Fourier spectrum of polynomial size DNF formulas.
Our concentration result has new implications in learning theory: it implies that the class of functions whose total influence is at most $K$ is agnostically learnable in time $2^{O(K\log K)}$, using membership queries.
An algebraic reduction of Hedetniemi's conjecture
For a graph $G$, let $χ(G)$ denote the chromatic number. In graph theory, the following famous conjecture posed by Hedetniemi has been studied: For two graphs $G$ and $H$, $χ(G\times H)=\min\{χ(G),χ(H)\}$, where $G \times H$ is the tensor product of $G$ and $H$. In this paper, we give a reduction of Hedetniemi's conjecture to an inclusion relation problem on ideals of polynomial rings, and we demonstrate computational experiments for partial solutions of Hedetniemi's conjecture along such a strategy using Gröbner basis.
Hypersimplices are Ehrhart Positive
Published
• View Publication
• BIB
We consider the Ehrhart polynomial of hypersimplices. It is proved that these polynomials have positive coefficients and we give a combinatorial formula for each of them. This settles a problem posed by Stanley and also proves that uniform matroids are Ehrhart positive, an important and yet unsolved particular case of a conjecture posed by De Loera et al. To this end, we introduce a new family of numbers that we call weighted Lah numbers and study some of their properties.
The Chromatic Polynomial of a Digraph
Published in Graphs and Combinatorial Optimization: from Theory to Applications, CTW2020 Proceedings, 2021, pp. 1-14
• Search Publication
An acyclic coloring of a digraph as defined by Neumann-Lara is a vertex-coloring such that no monochromatic directed cycles occur. Counting the number of such colorings with $k$ colors can be done by counting so-called Neumann-Lara-coflows (NL-coflows), which build a polynomial in $k$. We will present a representation of this polynomial using totally cyclic subdigraphs, which form a graded poset $Q$. Furthermore we will decompose our NL-coflow polynomial, which becomes the chromatic polynomial of a digraph by multiplication with the number of colors to the number of components, examining the special structure of the poset of totally cyclic subdigraphs with fixed underlying undirected graph. This decomposition will confirm the equality of our chromatic polynomial of a digraph and the chromatic polynomial of the underlying undirected graph in the case of symmetric digraphs.
Generalized F-signatures of Hibi rings
Published
• View Publication
• BIB
The $F$-signature is a numerical invariant defined by the number of free direct summands in the Frobenius push-forward, and it measures singularities in positive characteristic. It can be generalized by focussing on the number of non-free direct summands. In this paper, we provide several methods to compute the (generalized) $F$-signature of a Hibi ring which is a special class of toric rings. In particular, we show that it can be computed by counting the elements in the symmetric group satisfying certain conditions. As an application, we also give the formula of the (generalized) $F$-signature for some Segre products of polynomial rings.
The Tutte Polynomial of Complex Reflection Groups
Published
• View Publication
• BIB
This article computes the Tutte polynomial of the hyperplane arrangements associated to the complex reflection groups. The calculations are based on both formulas of De Concini and Procesi for Tutte polynomial and the normaliser of parabolic subgroups in complex reflection groups determined by Krishnasamy and Taylor.
A New Characterization of Path Graphs
Path graphs are intersection graphs of paths in a tree.~In this paper we give a "6\
good characterization" of path graphs, namely, we prove that path graph membership is in $NP\cap CoNP$ without resorting to existing polynomial time algorithms. The characterization is given in terms of the collection of the \emph{attachedness graphs} of a graph, a novel device to deal with the connected components of a graph after the removal of clique separators. On the one hand, the characterization refines and simplifies the characterization of path graphs due to Monma and Wei [C.L.~Monma,~and~V.K.~Wei, Intersection {G}raphs of {P}aths in a {T}ree, J. Combin. Theory Ser. B, 41:2 (1986) 141--181], which we build on, by reducing a constrained vertex coloring problem defined on the \emph{attachedness graphs} to a vertex 2-coloring problem on the same graphs. On the other hand, the characterization allows us to exhibit two exhaustive lists of obstructions to path graph membership in the form of minimal forbidden induced/partial 2-edge colored subgraphs in each of the \emph{attachedness graphs}.
Periodic behavior in families of numerical and affine semigroups via parametric Presburger arithmetic
Published
• View Publication
• BIB
Let $f_1(n), \ldots, f_k(n)$ be polynomial functions of $n$. For fixed $n\in\mathbb{N}$, let $S_n\subseteq \mathbb{N}$ be the numerical semigroup generated by $f_1(n),\ldots,f_k(n)$. As $n$ varies, we show that many invariants of $S_n$ are eventually quasi-polynomial in $n$, such as the Frobenius number, the type, the genus, and the size of the $Δ$-set. The tool we use is expressibility in the logical system of parametric Presburger arithmetic. Generalizing to higher dimensional families of semigroups, we also examine affine semigroups $S_n\subseteq \mathbb{N}^m$ generated be vectors whose coordinates are polynomial functions of $n$, and we prove similar results; for example, the Betti numbers are eventually quasi-polynomial functions of $n$.
A family of permutation trinomials in $\mathbb{F}_{q^2}$
Let $p>3$ and consider a prime power $q=p^h$. We completely characterize permutation polynomials of $\mathbb{F}_{q^2}$ of the type $f_{a,b}(X) = X(1 + aX^{q(q-1)} + bX^{2(q-1)}) \in \mathbb{F}_{q^2}[X]$. In particular, using connections with algebraic curves over finite fields, we show that the already known sufficient conditions are also necessary.
Joints tightened
Published in Amer. J. Math.145(2023), no.2, 569--583
• View Publication
• BIB
In $d$-dimensional space (over any field), given a set of lines, a joint is a point passed through by $d$ lines not all lying in some hyperplane. The joints problem asks to determine the maximum number of joints formed by $L$ lines, and it was one of the successes of the Guth--Katz polynomial method. We prove a new upper bound on the number of joints that matches, up to a $1+o(1)$ factor, the best known construction: place $k$ generic hyperplanes, and use their $(d-1)$-wise intersections to form $\binom{k}{d-1}$ lines and their $d$-wise intersections to form $\binom{k}{d}$ joints. Guth conjectured that this construction is optimal. Our technique builds on the work on Ruixiang Zhang proving the multijoints conjecture via an extension of the polynomial method. We set up a variational problem to control the high order of vanishing of a polynomial at each joint.
Faà di Bruno's formula and inversion of power series
Published
• View Publication
• BIB
Faà di Bruno's formula gives an expression for the derivatives of the composition of two real-valued functions. In this paper we prove a multivariate and synthesized version of Faà di Bruno's formula in higher dimensions, providing a combinatorial expression for the derivatives of chain compositions $F^{(1)} \circ \ldots \circ F^{(m)}$ of functions $F^{(l)} : \mathbb{R}^N \to \mathbb{R}^N$ in terms of sums over labelled trees. We give several applications of this formula, including a new involution formula for the inversion of multivariate power series. We use this framework to outline a combinatorial approach to studying the invertibility of polynomial mappings, giving a purely combinatorial restatement of the Jacobian conjecture. Our methods extend naturally to the non-commutative case, where we prove a free version of Faà di Bruno's formula for multivariate power series in free indeterminates, and use this formula as a tool for obtaining a new inversion formula for free power series.
Lattice Points in the Newton Polytopes of Key Polynomials
Published
• View Publication
• BIB
We confirm a conjecture of Monical, Tokcan and Yong on a characterization of the lattice points in the Newton polytopes of key polynomials.
Bases for Quotients of Symmetric Polynomials
We create several families of bases for the symmetric polynomials. From these bases we prove that certain Schur symmetric polynomials form a basis for quotients of symmetric polynomials that generalize the cohomology and the quantum cohomology of the Grassmannian. Our work also provides an alternative proof of a result due to Grinberg.
Weighted Triangle-free 2-matching Problem with Edge-disjoint Forbidden Triangles
Published
• View Publication
• BIB
The weighted $\mathcal{T}$-free $2$-matching problem is the following problem: given an undirected graph $G$, a weight function on its edge set, and a set $\mathcal{T}$ of triangles in $G$, find a maximum weight $2$-matching containing no triangle in $\mathcal{T}$. When $\mathcal{T}$ is the set of all triangles in $G$, this problem is known as the weighted triangle-free $2$-matching problem, which is a long-standing open problem. A main contribution of this paper is to give a first polynomial-time algorithm for the weighted $\mathcal{T}$-free $2$-matching problem under the assumption that $\mathcal{T}$ is a set of edge-disjoint triangles. In our algorithm, a key ingredient is to give an extended formulation representing the solution set, that is, we introduce new variables and represent the convex hull of the feasible solutions as a projection of another polytope in a higher dimensional space. Although our extended formulation has exponentially many inequalities, we show that the separation problem can be solved in polynomial time, which leads to a polynomial-time algorithm for the weighted $\mathcal{T}$-free $2$-matching problem.
Quadratic addition rules for three $q$-integers
The $q$-integer is the polynomial $[n]_q = 1 + q + q^2 + \dots + q^{n-1}$. For every sequences of polynomials $\mathcal S = \{s_m(q)\}_{m=1}^\infty$, $\mathcal T = \{t_m(q)\}_{m=1}^\infty$, $\mathcal U = \{u_m(q)\}_{m=1}^\infty$ and $\mathcal V = \{v_m(q)\}_{m=1}^\infty$, define an addition rule for three $q$-integers by $$\oplus_{\mathcal S,\mathcal T,\mathcal U,\mathcal V} ([m]_q, [n]_q, [k]_q) = s_m (q) [m]_q + t_m (q) [n]_q + u_m(q) [k]_q + v_m (q) [n]_q [k]_q .$$ This is called the first kind of quadratic addition rule for three $q$-integers, if $$\oplus_{\mathcal S,\mathcal T,\mathcal U,\mathcal V} ([m]_q, [n]_q, [k]_q) = \left[m+n+k\right]_q$$ for all positive integers $m$, $n$, $k$. In this paper the first kind of quadratic addition rules for three $q$-integers are determined when $s_m(q)\equiv 1$. Moreover, the solution of the functional equation for a sequence of polynomials $\{f_n(q)\}_{n=1}^\infty$ given by $$f_{m+n+k} (q) = f_m (q) + q^m f_n (q) + q^m f_k (q) + q^m (q-1) f_n (q) f_k (q)$$ for all positive integers $m$, $n$, $k$, are computed.
A positive combinatorial formula for symplectic Kostka-Foulkes polynomials I: Rows
Published in J. Algebra, 560, 1253-1296, 2020
• View Publication
• BIB
We prove a conjecture of Lecouvey, which proposes a closed, positive combinatorial formula for symplectic Kostka-Foulkes polynomials, in the case of rows of arbitrary weight. To show this, we construct a new algorithm for computing cocyclage in terms of which the conjecture is described. Our algorithm is free of local constraints, which were the main obstacle in Lecouvey's original construction. In particular, we show that our model is governed by the situation in type A. This approach works for arbitrary weight and we expect it to lead to a proof of the conjecture in full generality.
What is the Perfect Shuffle?
When shuffling a deck of cards, one probably wants to make sure it is thoroughly shuffled. A way to do this is by sifting through the cards to ensure that no adjacent cards are the same number, because surely this is a poorly shuffled deck. Unfortunately, human intuition for probability tends to lead us astray. For a standard 52-card deck of playing cards, the event is actually extremely likely. This report will attempt to elucidate how to answer this surprisingly difficult combinatorial question directly using rook polynomials.
Testing linear-invariant properties
Published in SIAM J. Comput. 51 (2022), 1230--1279
• View Publication
• BIB
Fix a prime $p$ and a positive integer $R$. We study the property testing of functions $\mathbb F_p^n\to[R]$. We say that a property is testable if there exists an oblivious tester for this property with one-sided error and constant query complexity. Furthermore, a property is proximity oblivious-testable (PO-testable) if the test is also independent of the proximity parameter $ε$. It is known that a number of natural properties such as linearity and being a low degree polynomial are PO-testable. These properties are examples of linear-invariant properties, meaning that they are preserved under linear automorphisms of the domain. Following work of Kaufman and Sudan, the study of linear-invariant properties has been an important problem in arithmetic property testing.
A central conjecture in this field, proposed by Bhattacharyya, Grigorescu, and Shapira, is that a linear-invariant property is testable if and only if it is semi subspace-hereditary. We prove two results, the first resolves this conjecture and the second classifies PO-testable properties.
(1) A linear-invariant property is testable if and only if it is semi subspace-hereditary.
(2) A linear-invariant property is PO-testable if and only if it is locally characterized.
Our innovations are two-fold. We give a more powerful version of the compactness argument first introduced by Alon and Shapira. This relies on a new strong arithmetic regularity lemma in which one mixes different levels of Gowers uniformity. This allows us to extend the work of Bhattacharyya, Fischer, Hatami, Hatami, and Lovett by removing the bounded complexity restriction in their work. Our second innovation is a novel recoloring technique called patching. This Ramsey-theoretic technique is critical for working in the linear-invariant setting and allows us to remove the translation-invariant restriction present in previous work.