polynomial
11250 papers tagged with this keyword
Chromatic Number and Dichromatic Polynomial of Digraphs
Let $G$ be a graph of order $n$. It is well-known that $α(G)\geq \sum_{i=1}^n \frac{1}{1+d_i}$, where $α(G)$ is the independence number of $G$ and $d_1,\ldots,d_n$ is the degree sequence of $G$. We extend this result to digraphs by showing that if $D$ is a digraph with $n$ vertices, then $ α(D)\geq \sum_{i=1}^n \left( \frac{1}{1+d_i^+} + \frac{1}{1+d_i^-}
- \frac{1}{1+d_i}\right)$, where $α(D)$ is the maximum size of an acyclic vertex set of $D$. Golowich proved that for any digraph $D$, $χ(D)\leq \lceil \frac{4k}{5} \rceil+2$, where $k=max(Δ^+(D),Δ^-(D))$. We give a short and simple proof for this result. Next, we investigate the chromatic number of tournaments and determine the unique tournament such that for every integer $k>1$, the number of proper $k$-colorings of that tournament is maximum among all strongly connected tournaments with the same number of vertices. Also, we find the chromatic polynomial of the strongly connected tournament with the minimum number of cycles.
On the anti-Kelulé problem of cubic graphs
Published
• View Publication
• BIB
An edge set $S$ of a connected graph $G$ is called an anti-Kekulé set if $G-S$ is connected and has no perfect matchings, where $G-S$ denotes the subgraph obtained by deleting all edges in $S$ from $G$. The anti-Kekulé number of a graph $G$, denoted by $ak(G)$, is the cardinality of a smallest anti-Kekulé set of $G$. It is NP-complete to find the smallest anti-Kekulé set of a graph. In this paper, we show that the anti-Kekulé number of a 2-connected cubic graph is either 3 or 4, and the anti-Kekulé number of a connected cubic bipartite graph is always equal to 4. Furthermore, a polynomial time algorithm is given to find all smallest anti-Kekulé sets of a connected cubic graph.
Gaussian width bounds with applications to arithmetic progressions in random settings
Published in Internat. Math. Res. Notices (2018)
• View Publication
• BIB
Motivated by problems on random differences in Szemerédi's theorem and on large deviations for arithmetic progressions in random sets, we prove upper bounds on the Gaussian width of point sets that are formed by the image of the $n$-dimensional Boolean hypercube under a mapping $ψ:\mathbb{R}^n\to\mathbb{R}^k$, where each coordinate is a constant-degree multilinear polynomial with 0-1 coefficients. We show the following applications of our bounds. Let $[\mathbb{Z}/N\mathbb{Z}]_p$ be the random subset of $\mathbb{Z}/N\mathbb{Z}$ containing each element independently with probability $p$.
$\bullet$ A set $D\subseteq \mathbb{Z}/N\mathbb{Z}$ is $\ell$-intersective if any dense subset of $\mathbb{Z}/N\mathbb{Z}$ contains a proper $(\ell+1)$-term arithmetic progression with common difference in $D$. Our main result implies that $[\mathbb{Z}/N\mathbb{Z}]_p$ is $\ell$-intersective with probability $1 - o(1)$ provided $p \geq ω(N^{-β_\ell}\log N)$ for $β_\ell = (\lceil(\ell+1)/2\rceil)^{-1}$. This gives a polynomial improvement for all $\ell \ge 3$ of a previous bound due to Frantzikinakis, Lesigne and Wierdl, and reproves more directly the same improvement shown recently by the authors and Dvir.
$\bullet$ Let $X_k$ be the number of $k$-term arithmetic progressions in $[\mathbb{Z}/N\mathbb{Z}]_p$ and consider the large deviation rate $ρ_k(δ) = \log\Pr[X_k \geq (1+δ)\mathbb{E}X_k]$. We give quadratic improvements of the best-known range of $p$ for which a highly precise estimate of $ρ_k(δ)$ due to Bhattacharya, Ganguly, Shao and Zhao is valid for all odd $k \geq 5$.
We also discuss connections with error correcting codes (locally decodable codes) and the Banach-space notion of type for injective tensor products of $\ell_p$-spaces.
A note on Tamari intervals
To every partial order P, one associates a polynomial $\mathbb{D}_P$ in 4 variables that enumerates the intervals of P according to 4 parameters. Some symmetry properties of this polynomial are obtained for a specific family of posets, the Tamari lattices. A ternary symmetry is proved for the polynomial in 3 variables obtained by setting one variable to 1. Another global symmetry is conjectured. The set of synchronized intervals is described using a facet of the Newton polytope. A relation to the statistics of the canopy of binary planar trees is described.
Linear and quadratic uniformity of the Möbius function over $\mathbb{F}_q[t]$
Published
• View Publication
• BIB
We examine correlations of the Möbius function over $\mathbb{F}_q[t]$ with linear or quadratic phases, that is, averages of the form \begin{equation} \label{eq:average} \frac{1}{q^n}\sum_{\text{deg }f<n} μ(f)χ(Q(f)) \end{equation} for an additive character $χ$ over $\mathbb{F}_q$ and a polynomial $Q\in\mathbb{F}_q[x_0,\ldots,x_{n-1}]$ of degree at most 2 in the coefficients $x_0,\ldots, x_{n-1}$ of $f=\sum_{i< n}x_i t^i$. Like in the integers, it is reasonable to expect that, due to the random-like behaviour of $μ$, such sums should exhibit considerable cancellation. In this paper we show that the above correlation is bounded by $O_ε\left( q^{(-\frac{1}{4}+ε)n} \right)$ for any $ε>0$ if $Q$ is linear and $O \left( q^{-n^c} \right)$ for some absolute constant $c>0$ if $Q$ is quadratic. The latter bound may be reduced to $O(q^{-c'n}$) for some $c'>0$ when $Q(f)$ is a linear form in the coefficients of $f^2$, that is, a Hankel quadratic form, whereas for general quadratic forms, it relies on a bilinear version of the additive-combinatorial Bogolyubov theorem.
An insertion algorithm over staircase tableaux compatible with the ASEP's matrix ansatz
Based on the matrix ansatz of Derrida, Evans, Hakim and Pasquier, we prensent a new way of computing the stationary probability of a state of the asym- metric simple exclusion process (ASEP). Through an insertion algorithm over staircase tableaux, we give a combinatorial proof to the current interpretation of the ASEP by these tableaux of Corteel and Williams. The insertion algorithm induces a recursive structure which implies nice factorised formulas for the generating polynomials of staircase tableaux, as well as a bijection with some coloured inversion tables. In addi- tion, we adapt the insertion algorithm to the case of type B symmetric tableaux and we define a new matrix ansatz compatible with it.
On the parameters of intertwining codes
Published
• View Publication
• BIB
Let $F$ be a field and let $F^{r\times s}$ denote the space of $r\times s$ matrices over $F$. Given equinumerous subsets $\mathcal{A}=\{A_i\mid i \in I\}\subseteq F^{r\times r}$ and $\mathcal{B}=\{B_i\mid i\in I\}\subseteq F^{s\times s}$ we call the subspace $C(\mathcal{A},\mathcal{B}):=\{X\in F^{r\times s}\mid A_iX=XB_i\ {\rm for }\ i\in I\}$ an \emph{intertwining code}. We show that if $C(\mathcal{A},\mathcal{B})\ne\{0\}$, then for each $i\in I$, the characteristic polynomials of $A_i$ and $B_i$ and share a nontrivial factor. We give an exact formula for $k=\dim(C(\mathcal{A},\mathcal{B}))$ and give upper and lower bounds. This generalizes previous work in this area. Finally we construct intertwining codes with large minimum distance when the field is not `too small'. We give examples of codes where $d=rs/k=1/R$ is large where the minimum distance, dimension, and rate of the linear code $C(\mathcal{A},\mathcal{B})$ by $d$, $k$, and $R=k/rs$, respectively.
Some remarks on Rogers-Szegö polynomials and Losanitsch's triangle
In this expository paper we collect some simple facts about analogues of Pascals triangle where the entries count subsets of the integers with an even or odd sum and show that they are related to Rogers-Szego polynomials. In particular we consider an interesting triangle due to Losanitsch from this point of view. We also sketch some extensions of these results to sets whose sums have fixed residues modulo a prime $p$.
The equivariant cohomology of weighted flag orbifolds
Published
• View Publication
• BIB
We describe the torus-equivariant cohomology of weighted partial flag orbifolds ${\mathrm{w}}Σ$ of type $A$. We establish counterparts of several results known for the partial flag variety that collectively constitute what we refer to as ``Schubert Calculus on ${\mathrm{w}}Σ$''. For the weighed Schubert classes in ${\mathrm{w}}Σ$, we give the Chevalley's formula. In addition, we define the weighted analogue of double Schubert polynomials and give the corresponding Chevalley--Monk's formula.
On the $A_α$-characteristic polynomial of a graph
Published in Linear Algebra and its Applications 546 (2018) 274--288
• View Publication
• BIB
Let $G$ be a graph with $n$ vertices, and let $A(G)$ and $D(G)$ denote respectively the adjacency matrix and the degree matrix of $G$. Define $$ A_α(G)=αD(G)+(1-α)A(G) $$ for any real $α\in [0,1]$. The $A_α$-characteristic polynomial of $G$ is defined to be $$ \det(xI_n-A_α(G))=\sum_jc_{αj}(G)x^{n-j}, $$ where $\det(*)$ denotes the determinant of $*$, and $I_n$ is the identity matrix of size $n$. The $A_α$-spectrum of $G$ consists of all roots of the $A_α$-characteristic polynomial of $G$. A graph $G$ is said to be determined by its $A_α$-spectrum if all graphs having the same $A_α$-spectrum as $G$ are isomorphic to $G$.
In this paper, we first formulate the first four coefficients $c_{α0}(G)$, $c_{α1}(G)$, $c_{α2}(G)$ and $c_{α3}(G)$ of the $A_α$-characteristic polynomial of $G$. And then, we observe that $A_α$-spectra are much efficient for us to distinguish graphs, by enumerating the $A_α$-characteristic polynomials for all graphs on at most 10 vertices. To verify this observation, we characterize some graphs determined by their $A_α$-spectra.
Constructive Discrepancy Minimization with Hereditary L2 Guarantees
In discrepancy minimization problems, we are given a family of sets $\mathcal{S} = \{S_1,\dots,S_m\}$, with each $S_i \in \mathcal{S}$ a subset of some universe $U = \{u_1,\dots,u_n\}$ of $n$ elements. The goal is to find a coloring $χ: U \to \{-1,+1\}$ of the elements of $U$ such that each set $S \in \mathcal{S}$ is colored as evenly as possible. Two classic measures of discrepancy are $\ell_\infty$-discrepancy defined as $\textrm{disc}_\infty(\mathcal{S},χ):=\max_{S \in \mathcal{S}} | \sum_{u_i \in S} χ(u_i) |$ and $\ell_2$-discrepancy defined as $\textrm{disc}_2(\mathcal{S},χ):=\sqrt{(1/|\mathcal{S}|)\sum_{S \in \mathcal{S}} \left(\sum_{u_i \in S}χ(u_i)\right)^2}$. Breakthrough work by Bansal gave a polynomial time algorithm, based on rounding an SDP, for finding a coloring $χ$ such that $\textrm{disc}_\infty(\mathcal{S},χ) = O(\lg n \cdot \textrm{herdisc}_\infty(\mathcal{S}))$ where $\textrm{herdisc}_\infty(\mathcal{S})$ is the hereditary $\ell_\infty$-discrepancy of $\mathcal{S}$. We complement his work by giving a simple $O((m+n)n^2)$ time algorithm for finding a coloring $χ$ such $\textrm{disc}_2(\mathcal{S},χ) = O(\sqrt{\lg n} \cdot \textrm{herdisc}_2(\mathcal{S}))$ where $\textrm{herdisc}_2(\mathcal{S})$ is the hereditary $\ell_2$-discrepancy of $\mathcal{S}$. Interestingly, our algorithm avoids solving an SDP and instead relies on computing eigendecompositions of matrices. Moreover, we use our ideas to speed up the Edge-Walk algorithm by Lovett and Meka [SICOMP'15]. To prove that our algorithm has the claimed guarantees, we show new inequalities relating $\textrm{herdisc}_\infty$ and $\textrm{herdisc}_2$ to the eigenvalues of the matrix corresponding to $\mathcal{S}$. Our inequalities improve over previous work by Chazelle and Lvov, and by Matousek et al. Finally, we also implement our algorithm and show that it far outperforms random sampling.
Tits arrangements on cubic curves
Published in Innov. Incidence Geom. 18 (2020) 7-24
• View Publication
• BIB
We classify affine rank three Tits arrangements whose roots are contained in the locus of a homogeneous cubic polynomial. We find that there exist irreducible affine Tits arrangements which are not locally spherical.
On f- and h- vectors of relative simplicial complexes
Published in Algebraic Combinatorics, Volume 2 (2019) no. 3, p. 343-353
• View Publication
• BIB
A relative simplicial complex is a collection of sets of the form $Δ\setminus Γ$, where $Γ\subset Δ$ are simplicial complexes. Relative complexes played key roles in recent advances in algebraic, geometric, and topological combinatorics but, in contrast to simplicial complexes, little is known about their general combinatorial structure. In this paper, we address a basic question in this direction and give a characterization of $f$-vectors of relative (multi)complexes on a ground set of fixed size. On the algebraic side, this yields a characterization of Hilbert functions of quotients of homogeneous ideals over polynomial rings with a fixed number of indeterminates.
Moreover, we characterize $h$-vectors of fully Cohen--Macaulay relative complexes as well as $h$-vectors of Cohen--Macaulay relative complexes with minimal faces of given dimensions. The latter resolves a question of Björner.
On the Computational Complexity of Non-dictatorial Aggregation
Published in Journal of Artificial Intelligence Research 72 (2021) 137-183
• View Publication
• BIB
We investigate when non-dictatorial aggregation is possible from an algorithmic perspective, where non-dictatorial aggregation means that the votes cast by the members of a society can be aggregated in such a way that there is no single member of the society that always dictates the collective outcome. We consider the setting in which the members of a society take a position on a fixed collection of issues, where for each issue several different alternatives are possible, but the combination of choices must belong to a given set X of allowable voting patterns. Such a set X is called a possibility domain if there is an aggregator that is non-dictatorial, operates separately on each issue, and returns values among those cast by the society on each issue. We design a polynomial-time algorithm that decides, given a set X of voting patterns, whether or not X is a possibility domain. Furthermore, if X is a possibility domain, then the algorithm constructs in polynomial time a non-dictatorial aggregator for X. Furthermore, we show that the question of whether a Boolean domain X is a possibility domain is in NLOGSPACE. We also design a polynomial-time algorithm that decides whether X is a uniform possibility domain, that is, whether X admits an aggregator that is non-dictatorial even when restricted to any two positions for each issue. As in the case of possibility domains, the algorithm also constructs in polynomial time a uniform non-dictatorial aggregator, if one exists. Then, we turn our attention to the case where X is given implicitly, either as the set of assignments satisfying a propositional formula, or as a set of consistent evaluations of a sequence of propositional formulas. In both cases, we provide bounds to the complexity of deciding if X is a (uniform) possibility domain.
On determinantal ideals and algebraic dependence
Published
• View Publication
• BIB
Let $X$ be a matrix with entries in a polynomial ring over an algebraically closed field $K$. We prove that, if the entries of $X$ outside some $(t \times t)$-submatrix are algebraically dependent over $K$, the arithmetical rank of the ideal $I_t(X)$ of $t$-minors of $X$ drops at least by one with respect to the generic case; under suitable assumptions, it drops at least by $k$ if $X$ has $k$ zero entries. This upper bound turns out to be sharp if $\mathrm{char}\, K=0$, since it then coincides with the lower bound provided by the local cohomological dimension.
Erdős-Pósa property of chordless cycles and its applications
Published
• View Publication
• BIB
A chordless cycle, or equivalently a hole, in a graph $G$ is an induced subgraph of $G$ which is a cycle of length at least $4$. We prove that the Erdős-Pósa property holds for chordless cycles, which resolves the major open question concerning the Erdős-Pósa property. Our proof for chordless cycles is constructive: in polynomial time, one can find either $k+1$ vertex-disjoint chordless cycles, or $c_1k^2 \log k+c_2$ vertices hitting every chordless cycle for some constants $c_1$ and $c_2$. It immediately implies an approximation algorithm of factor $\mathcal{O}(\sf{opt}\log {\sf opt})$ for Chordal Vertex Deletion. We complement our main result by showing that chordless cycles of length at least $\ell$ for any fixed $\ell\ge 5$ do not have the Erdős-Pósa property.
Improved Lower Bounds for the Fourier Entropy/Influence Conjecture via Lexicographic Functions
Every Boolean function can be uniquely represented as a multilinear polynomial. The entropy and the total influence are two ways to measure the concentration of its Fourier coefficients, namely the monomial coefficients in this representation: the entropy roughly measures their spread, while the total influence measures their average level. The Fourier Entropy/Influence conjecture of Friedgut and Kalai from 1996 states that the entropy to influence ratio is bounded by a universal constant $C$.
Using lexicographic Boolean functions, we present three explicit asymptotic constructions that improve upon the previously best known lower bound $C>6.278944$ by O'Donnell and Tan, obtained via recursive composition. The first uses their construction with the lexicographic function $\ell\left\langle 2/3\right\rangle $ of measure $2/3$ to demonstrate that $C\ge4+3\log_{4}3>6.377444$. The second generalizes their construction to biased functions and obtains $C>6.413846$ using $\ell\left\langle Φ\right\rangle $, where $Φ$ is the inverse golden ratio. The third, independent, construction gives $C>6.454784$, even for monotone functions.
Beyond modest improvements to the value of $C$, our constructions shed some new light on the properties sought in potential counterexamples to the conjecture.
Additionally, we prove a Lipschitz-type condition on the total influence and spectral entropy, which may be of independent interest.
Adaptive Network Flow with $k$-Arc Destruction
When a flow is not allowed to be reoriented the Maximum Residual Flow Problem with $k$-Arc Destruction is known to be $NP$-hard for $k=2$. We show that when a flow is allowed to be adaptive the problem becomes polynomial for every fixed $k$.
A tableau formula of double Grothendieck polynomials for $321$-avoiding permutations
Published
• View Publication
• BIB
In this article, we prove a tableau formula for the double Grothendieck polynomials associated to $321$-avoiding permutations. The proof is based on the compatibility of the formula with the $K$-theoretic divided difference operators.
The number of spanning trees in circulant graphs, its arithmetic properties and asymptotic
Published
• View Publication
• BIB
In this paper, we develop a new method to produce explicit formulas for the number $τ(n)$ of spanning trees in the undirected circulant graphs $C_{n}(s_1,s_2,\ldots,s_k)$ and $C_{2n}(s_1,s_2,\ldots,s_k,n).$ Also, we prove that in both cases the number of spanning trees can be represented in the form $τ(n)=p \,n \,a(n)^2,$ where $a(n)$ is an integer sequence and $p$ is a prescribed natural number depending on the parity of $n.$ Finally, we find an asymptotic formula for $τ(n)$ through the Mahler measure of the associated Laurent polynomial $L(z)=2k-\sum\limits_{i=1}^k(z^{s_i}+z^{-s_i}).$