polynomial
11432 papers tagged with this keyword
Interval Orders with Two Interval Lengths
Published
• View Publication
• BIB
A poset $P = (X,\prec)$ has an interval representation if each $x \in X$ can be assigned a real interval $I_x$ so that $x \prec y$ in $P$ if and only if $I_x$ lies completely to the left of $I_y$. Such orders are called \emph{interval orders}. In this paper we give a surprisingly simple forbidden poset characterization of those posets that have an interval representation in which each interval length is either 0 or 1. In addition, for posets $(X,\prec)$ with a weight of 1 or 2 assigned to each point, we characterize those that have an interval representation in which for each $x \in X$ the length of the interval assigned to $x$ equals the weight assigned to $x$. For both these problems we can determine in polynomial time whether the desired interval representation is possible and in the affirmative case, produce such a representation.
Chern-Schwartz-MacPherson cycles of matroids
Published
• View Publication
• BIB
We define Chern-Schwartz-MacPherson (CSM) cycles of an arbitrary matroid. These are balanced weighted fans supported on the skeleta of the corresponding Bergman fan. In the case that the matroid arises from a complex hyperplane arrangement A, we show that these cycles represent the CSM class of the complement of A. We also prove that for any matroid, the degrees of its CSM cycles are given by the coefficients of (a shift of) the reduced characteristic polynomial, and that CSM cycles are valuations under matroid polytope subdivisions.
Squarefree polynomials with prescribed coefficients
Published
• View Publication
• BIB
For nonempty subsets $S_0, \dots, S_{n-1}$ of a (large enough) finite field $\mathbb{F}$ satisfying $$|S_1|, \dots, |S_{n-1}| > 2 \quad \mathrm{or} \quad |S_1|,|S_{n-1}| > n - 1,$$ we show that there exist $a_0 \in S_0, \dots, a_{n-1} \in S_{n-1}$ such that $$ T^n + a_{n-1}T^{n-1} + \dots + a_1T + a_0 \in \mathbb{F}[T] $$ is a squarefree polynomial.
Three-term polynomial progressions in subsets of finite fields
Published in Israel J. Math. 228 (2018), no. 1, 379-405
• View Publication
• BIB
Bourgain and Chang recently showed that any subset of $\mathbb{F}_p$ of density $\gg p^{-1/15}$ contains a nontrivial progression $x,x+y,x+y^2$. We answer a question of theirs by proving that if $P_1,P_2\in\mathbb{Z}[y]$ are linearly independent and satisfy $P_1(0)=P_2(0)=0$, then any subset of $\mathbb{F}_p$ of density $\gg_{P_1,P_2}p^{-1/24}$ contains a nontrivial polynomial progression $x,x+P_1(y),x+P_2(y)$.
Computing Tutte Paths
Tutte paths are one of the most successful tools for attacking Hamiltonicity problems in planar graphs. Unfortunately, results based on them are non-constructive, as their proofs inherently use an induction on overlapping subgraphs and these overlaps hinder to bound the running time to a polynomial. For special cases however, computational results of Tutte paths are known: For 4-connected planar graphs, Tutte paths are in fact Hamiltonian paths and Chiba and Nishizeki showed how to compute such paths in linear time. For 3-connected planar graphs, Tutte paths have a more complicated structure, and it has only recently been shown that they can be computed in polynomial time. However, Tutte paths are defined for general 2-connected planar graphs and this is what most applications need. Unfortunately, no computational results are known. We give the first efficient algorithm that computes a Tutte path (for the general case of 2-connected planar graphs). One of the strongest existence results about such Tutte paths is due to Sanders, which allows to prescribe the end vertices and an intermediate edge of the desired path. Encompassing and strengthening all previous computational results on Tutte paths, we show how to compute this special Tutte path efficiently. Our method refines both, the results of Thomassen and Sanders, and avoids overlapping subgraphs by using a novel iterative decomposition along 2-separators. Finally, we show that our algorithm runs in quadratic time.
Submodular Minimization Under Congruency Constraints
Submodular function minimization (SFM) is a fundamental and efficiently solvable problem class in combinatorial optimization with a multitude of applications in various fields. Surprisingly, there is only very little known about constraint types under which SFM remains efficiently solvable. The arguably most relevant non-trivial constraint class for which polynomial SFM algorithms are known are parity constraints, i.e., optimizing only over sets of odd (or even) cardinality. Parity constraints capture classical combinatorial optimization problems like the odd-cut problem, and they are a key tool in a recent technique to efficiently solve integer programs with a constraint matrix whose subdeterminants are bounded by two in absolute value.
We show that efficient SFM is possible even for a significantly larger class than parity constraints, by introducing a new approach that combines techniques from Combinatorial Optimization, Combinatorics, and Number Theory. In particular, we can show that efficient SFM is possible over all sets (of any given lattice) of cardinality r mod m, as long as m is a constant prime power. This covers generalizations of the odd-cut problem with open complexity status, and with relevance in the context of integer programming with higher subdeterminants. To obtain our results, we establish a connection between the correctness of a natural algorithm, and the inexistence of set systems with specific combinatorial properties. We introduce a general technique to disprove the existence of such set systems, which allows for obtaining extensions of our results beyond the above-mentioned setting. These extensions settle two open questions raised by Geelen and Kapadia [Combinatorica, 2017] in the context of computing the girth and cogirth of certain types of binary matroids.
Graphons arising from graphs definable over finite fields
We prove a version of Tao's algebraic regularity lemma for asymptotic classes in the context of graphons. We apply it to study expander difference polynomials over fields with powers of Frobenius.
New necessary conditions for the existence of finite non-Desarguesian flag-transitive projective plane
Published
• View Publication
• BIB
This paper studies the existence of finite non-Desarguesian flag-transitive projective plane, giving necessary conditions in terms of polynomial equations over finite fields of characteristic $3$. This sheds light on the longstanding conjecture that every finite flag-transitive projective plane is Desarguesian.
Fully polynomial FPT algorithms for some classes of bounded clique-width graphs
Published
• View Publication
• BIB
Parameterized complexity theory has enabled a refined classification of the difficulty of NP-hard optimization problems on graphs with respect to key structural properties, and so to a better understanding of their true difficulties. More recently, hardness results for problems in P were achieved using reasonable complexity theoretic assumptions such as: Strong Exponential Time Hypothesis (SETH), 3SUM and All-Pairs Shortest-Paths (APSP). According to these assumptions, many graph theoretic problems do not admit truly subquadratic algorithms, nor even truly subcubic algorithms (Williams and Williams, FOCS 2010 and Abboud, Grandoni, Williams, SODA 2015). A central technique used to tackle the difficulty of the above mentioned problems is fixed-parameter algorithms for polynomial-time problems with polynomial dependency in the fixed parameter (P-FPT). This technique was introduced by Abboud, Williams and Wang in SODA 2016 and continued by Husfeldt (IPEC 2016) and Fomin et al. (SODA 2017), using the treewidth as a parameter. Applying this technique to clique-width, another important graph parameter, remained to be done. In this paper we study several graph theoretic problems for which hardness results exist such as cycle problems (triangle detection, triangle counting, girth, diameter), distance problems (diameter, eccentricities, Gromov hyperbolicity, betweenness centrality) and maximum matching. We provide hardness results and fully polynomial FPT algorithms, using clique-width and some of its upper-bounds as parameters (split-width, modular-width and $P\_4$-sparseness). We believe that our most important result is an ${\cal O}(k^4 \cdot n + m)$-time algorithm for computing a maximum matching where $k$ is either the modular-width or the $P\_4$-sparseness. The latter generalizes many algorithms that have been introduced so far for specific subclasses such as cographs, $P\_4$-lite graphs, $P\_4$-extendible graphs and $P\_4$-tidy graphs. Our algorithms are based on preprocessing methods using modular decomposition, split decomposition and primeval decomposition. Thus they can also be generalized to some graph classes with unbounded clique-width.
Perfect Resolution of Strong Conflict-Free Colouring of Interval Hypergraphs
Published
• View Publication
• BIB
The $k$-Strong Conflict-Free ($k$-SCF, in short) colouring problem seeks to find a colouring of the vertices of a hypergraph $H$ using minimum number of colours so that in every hyperedge $e$ of $H$, there are at least $\min\{|e|,k\}$ vertices whose colour is different from that of all other vertices in $e$. In the case of interval hypergraphs, we present an exact $P$-time algorithm for the $k$-SCF problem thus solving an open problem posed by Cheilaris et al. (2014). We achieve our results by showing that for any hypergraph a $k$-SCF colouring is a proper colouring of a related simple graph which we refer to as a co-occurrence graph. We then show that a co-occurrence graph is obtained by identifying an induced subgraph of a second simple graph that we introduce, which we refer to as the conflict graph. For interval hypergraphs, we show that each co-occurrence graph and the conflict graph are perfect graphs. This property plays a crucial role in our polynomial time algorithm. Secondly, we show that for an interval hypergraph, the $1$-SCF colouring number is the minimum partition of its intervals into sets such that each set has an exact hitting set (a hitting set in which each interval is hit exactly once).
Weak Modular Product of Bipartite Graphs, Bicliques and Isomorphism
A 1978 theorem of Kozen states that two graphs on $n$ vertices are isomorphic if and only if there is a clique of size $n$ in the weak modular product between the two graphs. Restricting to bipartite graphs and considering complete bipartite subgraphs (bicliques) therein, we study the combinatorics of the weak modular product. We identify cases where isomorphism is tractable using this approach, which we call Isomorphism via Biclique Enumeration (IvBE). We find that IvBE is polynomial for bipartite $2K_2$-free graphs and quasi-polynomial for families of bipartite graphs, where the largest induced matching and largest induced crown graph grows slowly in $n$, that is, $O(\mathrm{polylog }\, n)$. Furthermore, as expected a straightforward corollary of Kozen's theorem and Lovász's sandwich theorem is if the weak modular product between two graphs is perfect, then checking if the graphs are isomorphic is polynomial in $n$. However, we show that for balanced, bipartite graphs this is only true in a few trivial cases. In doing so we define a new graph product on bipartite graphs, the very weak modular product. The results pertaining to bicliques in bipartite graphs proved here may be of independent interest.
Linear dependence between hereditary quasirandomness conditions
Published in Electronic Journal of Combinatorics 25 (2018), P4.12
• View Publication
• BIB
Answering a question of Simonovits and S\' os, Conlon, Fox, and Sudakov proved that for any nonempty graph $H$, and any $\varepsilon>0$, there exists $δ>0$ polynomial in $\varepsilon$, such that if $G$ is an $n$-vertex graph with the property that every $U\subseteq V(G)$ contains $p^{e(H)}|U|^{v(H)}\pmδn^{v(H)}$ labeled copies of $H$, then $G$ is $(p,\varepsilon)$-quasirandom in the sense that every subset $U\subseteq G$ contains $\frac{1}{2}p|U|^{2}\pm\varepsilon n^{2}$ edges. They conjectured that $δ$ may be taken to be linear in $\varepsilon$ and proved this in the case that $H$ is a complete graph. We study a labelled version of this quasirandomness property proposed by Reiher and Schacht. Let $H$ be any nonempty graph on $r$ vertices $v_{1},\ldots,v_{r}$, and $\varepsilon>0$. We show that there exists $δ=δ(\varepsilon)>0$ linear in $\varepsilon$, such that if $G$ is an $n$-vertex graph with the property that every sequence of $r$ subsets $U_{1},\ldots,U_{r}\subseteq V(G)$, the number of copies of $H$ with each $v_{i}$ in $U_{i}$ is $p^{e(H)}\prod|U_{i}|\pmδn^{v(H)}$, then $G$ is $(p,\varepsilon)$-quasirandom.
The spt-Function of Andrews
Published
• View Publication
• BIB
The spt-function spt($n$) was introduced by Andrews as the weighted counting of partitions of $n$ with respect to the number of occurrences of the smallest part. In this survey, we summarize recent developments in the study of spt($n$), including congruence properties established by Andrews, Bringmann, Folsom, Garvan, Lovejoy and Ono et al., a constructive proof of the Andrews-Dyson-Rhoades conjecture given by Chen, Ji and Zang, generalizations and variations of the spt-function. We also give an overview of asymptotic formulas of spt($n$) obtained by Ahlgren, Andersen and Rhoades et al. We conclude with some conjectures on inequalities on spt($n$), which are reminiscent of those on $p(n)$ due to DeSalvo and Pak, and Bessenrodt and Ono. Furthermore, we observe that, beyond the log-concavity, $p(n)$ and spt($n$) satisfy higher order inequalities based on polynomials arising in the invariant theory of binary forms. In particular, we conjecture that the higher order Turán inequality $4(a_n^2-a_{n-1}a_{n+1})(a_{n+1}^2-a_{n}a_{n+2})-(a_na_{n+1}-a_{n-1}a_{n+2})^2>0$ holds for $p(n)$ when $n\geq 95$ and for spt($n$) when $n\geq 108$.
Layout of random circulant graphs
Published
• View Publication
• BIB
A circulant graph H is defined on the set of vertices V=\left\{ 1,\ldots,n\right\} and edges E=\left\{ \left(i,j\right):\left|i-j\right|\equiv s\left(\textrm{mod}n\right),s\in S\right\} , where S\subseteq\left\{ 1,\ldots,\lceil\frac{n-1}{2}\rceil\right\} . A random circulant graph results from deleting edges of H with probability 1-p. We provide a polynomial time algorithm that approximates the solution to the minimum linear arrangement problem for random circulant graphs. We then bound the error of the approximation with high probability.
$G$-Tutte polynomials and abelian Lie group arrangements
Published in Int. Math. Res. Not. IMRN 2021, no. 1, 152-190
• View Publication
• BIB
We introduce and study the notion of the $G$-Tutte polynomial for a list $\mathcal{A}$ of elements in a finitely generated abelian group $Γ$ and an abelian group $G$, which is defined by counting the number of homomorphisms from associated finite abelian groups to $G$.
The $G$-Tutte polynomial is a common generalization of the (arithmetic) Tutte polynomial for realizable (arithmetic) matroids, the characteristic quasi-polynomial for integral arrangements, Brändén-Moci's arithmetic version of the partition function of an abelian group-valued Potts model, and the modified Tutte-Krushkal-Renhardy polynomial for a finite CW-complex.
As in the classical case, $G$-Tutte polynomials carry topological and enumerative information (e.g., the Euler characteristic, point counting and the Poincaré polynomial) of abelian Lie group arrangements.
We also discuss differences between the arithmetic Tutte and the $G$-Tutte polynomials related to the axioms for arithmetic matroids and the (non-)positivity of coefficients.
The (theta, wheel)-free graphs Part III: cliques, stable sets and coloring
Published in Journal of Combinatorial Theory, Series B, Volume 143, 2020, Pages 185-218
• View Publication
• BIB
A hole in a graph is a chordless cycle of length at least 4. A theta is a graph formed by three paths between the same pair of distinct vertices so that the union of any two of the paths induces a hole. A wheel is a graph formed by a hole and a node that has at least 3 neighbors in the hole. In this series of papers we study the class of graphs that do not contain as an induced subgraph a theta nor a wheel. In Part II of the series we prove a decomposition theorem for this class, that uses clique cutsets and 2-joins, and consequently obtain a polynomial time recognition algorithm for the class. In this paper we further use this decomposition theorem to obtain polynomial time algorithms for maximum weight clique, maximum weight stable set and coloring problems. We also show that for a graph $G$ in the class, if its maximum clique size is $ω$, then its chromatic number is bounded by max$\{ω,3\}$, and that the class is 3-clique-colorable.
Erdős-Ginzburg-Ziv theorem and Noether number for $C_m\ltimes_{\varphi} C_{mn}$
Published
• View Publication
• BIB
Let $G$ be a multiplicative finite group and $S=a_1\cdot\ldots\cdot a_k$ a sequence over $G$. We call $S$ a product-one sequence if $1=\prod_{i=1}^ka_{τ(i)}$ holds for some permutation $τ$ of $\{1,\ldots,k\}$. The small Davenport constant $\mathsf d(G)$ is the maximal length of a product-one free sequence over $G$. For a subset $L\subset \mathbb N$, let $\mathsf s_L(G)$ denote the smallest $l\in\mathbb N_0\cup\{\infty\}$ such that every sequence $S$ over $G$ of length $|S|\ge l$ has a product-one subsequence $T$ of length $|T|\in L$. Denote $\mathsf e(G)=\max\{\text{ord}(g): g\in G\}$. Some classical product-one (zero-sum) invariants including $\mathsf D(G):=\mathsf s_{\mathbb N}(G)$ (when $G$ is abelian), $\mathsf E(G):=\mathsf s_{\{|G|\}}(G)$, $\mathsf s(G):=\mathsf s_{\{\mathsf e(G)\}}(G)$, $η(G):=\mathsf s_{[1,\mathsf e(G)]}(G)$ and $\mathsf s_{d\mathbb N}(G)$ ($d\in\mathbb N$) have received a lot of studies. The Noether number $β(G)$ which is closely related to zero-sum theory is defined to be the maximal degree bound for the generators of the algebra of polynomial invariants. Let $G\cong C_m\ltimes_{\varphi} C_{mn}$, in this paper, we prove that $$\mathsf E(G)=\mathsf d(G)+|G|=m^2n+m+mn-2$$ and $β(G)=\mathsf d(G)+1=m+mn-1$. We also prove that $\mathsf s_{mn\mathbb N}(G)=m+2mn-2$ and provide the upper bounds of $η(G)$, $\mathsf s(G)$. Moreover, if $G$ is a non-cyclic nilpotent group and $p$ is the smallest prime divisor of $|G|$, we prove that $β(G)\le \frac{|G|}{p}+p-1$ except if $p=2$ and $G$ is a dicyclic group, in which case $β(G)=\frac{1}{2}|G|+2$.
Colouring perfect graphs with bounded clique number
Published in Journal of Combinatorial Theory, Series B, 122:757-775, 2017
• View Publication
• BIB
A graph is perfect if the chromatic number of every induced subgraph equals the size of its largest clique, and an algorithm of Grötschel, Lovász, and Schrijver from 1988 finds an optimal colouring of a perfect graph in polynomial time. But this algorithm uses the ellipsoid method, and it is a well-known open question to construct a "combinatorial" polynomial-time algorithm that yields an optimal colouring of a perfect graph.
A skew partition in $G$ is a partition $(A,B)$ of $V(G)$ such that $G[A]$ is not connected and $\bar{G}[B]$ is not connected, where $\bar{G}$ denotes the complement graph ; and it is balanced if an additional parity condition of paths in $G$ and $\bar{G}$ is satisfied.
In this paper we first give a polynomial-time algorithm that, with input a perfect graph, outputs a balanced skew partition if there is one. Then we use this to obtain a combinatorial algorithm that finds an optimal colouring of a perfect graph with clique number $k$, in time that is polynomial for fixed $k$.
The Hilbert series and $a$-invariant of circle invariants
Published in J. Pure Appl. Algebra 223 (2019), no. 1, 395-421
• View Publication
• BIB
Let $V$ be a finite-dimensional representation of the complex circle $\mathbb{C}^\times$ determined by a weight vector $\mathbf{a}\in\mathbb{Z}^n$. We study the Hilbert series $\operatorname{Hilb}_{\mathbf{a}}(t)$ of the graded algebra $\mathbb{C}[V]^{\mathbb{C}_{\mathbf{a}}^\times}$ of polynomial $\mathbb{C}^\times$-invariants in terms of the weight vector $\mathbf{a}$ of the $\mathbb{C}^\times$-action. In particular, we give explicit formulas for $\operatorname{Hilb}_{\mathbf{a}}(t)$ as well as the first four coefficients of the Laurent expansion of $\operatorname{Hilb}_{\mathbf{a}}(t)$ at $t=1$. The naive formulas for these coefficients have removable singularities when weights pairwise coincide. Identifying these cancelations, the Laurent coefficients are expressed using partial Schur polynomial that are independently symmetric in two sets of variables. We similarly give an explicit formula for the $a$-invariant of $\mathbb{C}[V]^{\mathbb{C}_{\mathbf{a}}^\times}$ in the case that this algebra is Gorenstein. As an application, we give methods to identify weight vectors with Gorenstein and non-Gorenstein invariant algebras.
Clique-cutsets beyond chordal graphs
Published
• View Publication
• BIB
Truemper configurations (thetas, pyramids, prisms, and wheels) have played an important role in the study of complex hereditary graph classes (e.g. the class of perfect graphs and the class of even-hole-free graphs), appearing both as excluded configurations, and as configurations around which graphs can be decomposed. In this paper, we study the structure of graphs that contain (as induced subgraphs) no Truemper configurations other than (possibly) universal wheels and twin wheels. We also study several subclasses of this class. We use our structural results to analyze the complexity of the recognition, maximum weight clique, maximum weight stable set, and optimal vertex coloring problems for these classes. Furthermore, we obtain polynomial chi-bounding functions for these classes.