polynomial
11422 papers tagged with this keyword
The Bernoulli clock: probabilistic and combinatorial interpretations of the Bernoulli polynomials by circular convolution
Published
• View Publication
• BIB
The factorially normalized Bernoulli polynomials $b_n(x) = B_n(x)/n!$ are known to be characterized by $b_0(x) = 1$ and $b_n(x)$ for $n >0$ is the antiderivative of $b_{n-1}(x)$ subject to $\int_0^1 b_n(x) dx = 0$. We offer a related characterization: $b_1(x) = x - 1/2$ and $(-1)^{n-1} b_n(x)$ for $n >0$ is the $n$-fold circular convolution of $b_1(x)$ with itself. Equivalently, $1 - 2^n b_n(x)$ is the probability density at $x \in (0,1)$ of the fractional part of a sum of $n$ independent random variables, each with the beta$(1,2)$ probability density $2(1-x)$ at $x \in (0,1)$. This result has a novel combinatorial analog, the {\em Bernoulli clock}: mark the hours of a $2 n$ hour clock by a uniform random permutation of the multiset $\{1,1, 2,2, \ldots, n,n\}$, meaning pick two different hours uniformly at random from the $2 n$ hours and mark them $1$, then pick two different hours uniformly at random from the remaining $2 n - 2$ hours and mark them $2$, and so on. Starting from hour $0 = 2n$, move clockwise to the first hour marked $1$, continue clockwise to the first hour marked $2$, and so on, continuing clockwise around the Bernoulli clock until the first of the two hours marked $n$ is encountered, at a random hour $I_n$ between $1$ and $2n$. We show that for each positive integer $n$, the event $( I_n = 1)$ has probability $(1 - 2^n b_n(0))/(2n)$, where $n! b_n(0) = B_n(0)$ is the $n$th Bernoulli number. For $ 1 \le k \le 2 n$, the difference $δ_n(k):= 1/(2n) - ¶( I_n = k)$ is a polynomial function of $k$ with the surprising symmetry $δ_n( 2 n + 1 - k) = (-1)^n δ_n(k)$, which is a combinatorial analog of the well known symmetry of Bernoulli polynomials $b_n(1-x) = (-1)^n b_n(x)$.
Faster parameterized algorithms for modification problems to minor-closed classes
Published in TheoretiCS, Volume 3 (August 12, 2024) theoretics:11623
• View Publication
• BIB
Let ${\cal G}$ be a minor-closed graph class and let $G$ be an $n$-vertex graph. We say that $G$ is a $k$-apex of ${\cal G}$ if $G$ contains a set $S$ of at most $k$ vertices such that $G\setminus S$ belongs to ${\cal G}$. Our first result is an algorithm that decides whether $G$ is a $k$-apex of ${\cal G}$ in time $2^{{\sf poly}(k)}\cdot n^2$, where ${\sf poly}$ is a polynomial function depending on ${\cal G}$. This algorithm improves the previous one, given by Sau, Stamoulis, and Thilikos [ICALP 2020], whose running time was $2^{{\sf poly}(k)}\cdot n^3$. The elimination distance of $G$ to ${\cal G}$, denoted by ${\sf ed}_{\cal G}(G)$, is the minimum number of rounds required to reduce each connected component of $G$ to a graph in ${\cal G}$ by removing one vertex from each connected component in each round. Bulian and Dawar [Algorithmica 2017] provided an FPT-algorithm, with parameter $k$, to decide whether ${\sf ed}_{\cal G}(G)\leq k$. However, its dependence on $k$ is not explicit. We extend the techniques used in the first algorithm to decide whether ${\sf ed}_{\cal G}(G)\leq k$ in time $2^{2^{2^{{\sf poly}(k)}}}\cdot n^2$. This is the first algorithm for this problem with an explicit parametric dependence in $k$. In the special case where ${\cal G}$ excludes some apex-graph as a minor, we give two alternative algorithms, running in time $2^{2^{{\cal O}(k^2\log k)}}\cdot n^2$ and $2^{{\sf poly}(k)}\cdot n^3$ respectively, where $c$ and ${\sf poly}$ depend on ${\cal G}$. As a stepping stone for these algorithms, we provide an algorithm that decides whether ${\sf ed}_{\cal G}(G)\leq k$ in time $2^{{\cal O}({\sf tw}\cdot k+{\sf tw}\log{\sf tw})}\cdot n$, where ${\sf tw}$ is the treewidth of $G$. Finally, we provide explicit upper bounds on the size of the graphs in the minor-obstruction set of the class of graphs ${\cal E}_k({\cal G})=\{G\mid{\sf ed}_{\cal G}(G)\leq k\}$.
Sperner systems with restricted differences
Published in Combinatorial Theory, 2025
• View Publication
• BIB
Let $\mathcal{F}$ be a family of subsets of $[n]$ and $L$ be a subset of $[n]$. We say $\mathcal{F}$ is an $L$-differencing Sperner system if $|A\setminus B|\in L$ for any distinct $A,B\in\mathcal{F}$. Let $p$ be a prime and $q$ be a power of $p$. Frankl first studied $p$-modular $L$-differencing Sperner systems and showed an upper bound of the form $\sum_{i=0}^{|L|}\binom{n}{i}$. In this paper, we obtain new upper bounds on $q$-modular $L$-differencing Sperner systems using elementary $p$-adic analysis and polynomial method, extending and improving existing results substantially. Moreover, our techniques can be used to derive new upper bounds on subsets of the hypercube with restricted Hamming distances. One highlight of the paper is the first analogue of the celebrated Snevily's theorem in the $q$-modular setting, which results in several new upper bounds on $q$-modular $L$-avoiding $L$-intersecting systems. In particular, we improve a result of Felszeghy, Hegedűs, and Rónyai, and give a partial answer to a question posed by Babai, Frankl, Kutin, and Štefankovič.
$2$-polarity and algorithmic aspects of polarity variants on cograph superclasses
Published in Discrete Mathematics & Theoretical Computer Science, vol. 26:3, Graph Theory (October 10, 2024) dmtcs:11479
• View Publication
• BIB
A graph $G$ is said to be an $(s, k)$-polar graph if its vertex set admits a partition $(A, B)$ such that $A$ and $B$ induce, respectively, a complete $s$-partite graph and the disjoint union of at most $k$ complete graphs. Polar graphs and monopolar graphs are defined as $(\infty, \infty)$- and $(1, \infty)$-polar graphs, respectively, and unipolar graphs are those graphs with a polar partition $(A, B)$ such that $A$ is a clique.
The problems of deciding whether an arbitrary graph is a polar graph or a monopolar graph are known to be NP-complete. In contrast, deciding whether a graph is a unipolar graph can be done in polynomial time. In this work we prove that the three previous problems can be solved in linear time on the classes of $P_4$-sparse and $P_4$-extendible graphs, generalizing analogous results previously known for cographs.
Additionally, we provide finite forbidden subgraph characterizations for $(2,2)$-polar graphs on $P_4$-sparse and $P_4$-extendible graphs, also generalizing analogous results recently obtained for the class of cographs.
Multiple Scale Asymptotics of Map Enumeration
Published in Nonlinearity 36, 1663-1698 (2023)
• View Publication
• BIB
We introduce a systematic approach to express generating functions for the enumeration of maps on surfaces of high genus in terms of a single generating function relevant to planar surfaces. Central to this work is the comparison of two asymptotic expansions obtained from two different fields of mathematics: the Riemann-Hilbert analysis of orthogonal polynomials and the theory of discrete dynamical systems. By equating the coefficients of these expansions in a common region of uniform validity in their parameters, we recover known results and provide new expressions for generating functions associated with graphical enumeration on surfaces of genera 0 through 7. Although the body of the article focuses on 4-valent maps, the methodology presented here extends to regular maps of arbitrary even valence and to some cases of odd valence, as detailed in the appendices.
Polynomial progressions in topological fields
Published in Forum of Mathematics, Sigma 12 (2024) e106
• View Publication
• BIB
Let $P_1, \ldots, P_m \in K[y]$ be polynomials with distinct degrees, no constant terms and coefficients in a general locally compact topological field $K$. We give a quantitative count of the number of polynomial progressions $x, x+P_1(y), \ldots, x + P_m(y)$ lying in a set $S\subseteq K$ of positive density. The proof relies on a general $L^{\infty}$ inverse theorem which is of independent interest. This inverse theorem implies a Sobolev improving estimate for multilinear polynomial averaging operators which in turn implies our quantitative estimate for polynomial progressions. This general Sobolev inequality has the potential to be applied in a number of problems in real, complex and $p$-adic analysis.
Twisted Hurwitz numbers: Tropical and polynomial structures
Published
• View Publication
• BIB
Hurwitz numbers count covers of curves satisfying fixed ramification data. Via monodromy representation, this counting problem can be transformed to a problem of counting factorizations in the symmetric group. This and other beautiful connections make Hurwitz numbers a longstanding active research topic. In recent work Chapuy and Dolęga, a new enumerative invariant called b-Hurwitz number was introduced, which enumerates non-orientable branched coverings. For b=1, we obtain twisted Hurwitz numbers which were linked to surgery theory in work of Burman and Fesler and admit a representation as factorisations in the symmetric group. In this paper, we derive a tropical interperetation of twisted Hurwitz numbers in terms of tropical covers and study their polynomial structure.
Local and global expansion in random geometric graphs
Published
• View Publication
• BIB
Consider a random geometric 2-dimensional simplicial complex $X$ sampled as follows: first, sample $n$ vectors $\boldsymbol{u_1},\ldots,\boldsymbol{u_n}$ uniformly at random on $\mathbb{S}^{d-1}$; then, for each triple $i,j,k \in [n]$, add $\{i,j,k\}$ and all of its subsets to $X$ if and only if $\langle{\boldsymbol{u_i},\boldsymbol{u_j}}\rangle \ge τ, \langle{\boldsymbol{u_i},\boldsymbol{u_k}}\rangle \ge τ$, and $\langle \boldsymbol{u_j}, \boldsymbol{u_k}\rangle \ge τ$. We prove that for every $\varepsilon > 0$, there exists a choice of $d = Θ(\log n)$ and $τ= τ(\varepsilon,d)$ so that with high probability, $X$ is a high-dimensional expander of average degree $n^\varepsilon$ in which each $1$-link has spectral gap bounded away from $\frac{1}{2}$.
To our knowledge, this is the first demonstration of a natural distribution over $2$-dimensional expanders of arbitrarily small polynomial average degree and spectral link expansion better than $\frac{1}{2}$. All previously known constructions are algebraic. This distribution also furnishes an example of simplicial complexes for which the trickle-down theorem is nearly tight.
En route, we prove general bounds on the spectral expansion of random induced subgraphs of arbitrary vertex transitive graphs, which may be of independent interest. For example, one consequence is an almost-sharp bound on the second eigenvalue of random $n$-vertex geometric graphs on $\mathbb{S}^{d-1}$, which was previously unknown for most $n,d$ pairs.
One-connection rule for structural equation models
Linear structural equation models are multivariate statistical models encoded by mixed graphs. In particular, the set of covariance matrices for distributions belonging to a linear structural equation model for a fixed mixed graph $G=(V, D,B)$ is parameterized by a rational function with parameters for each vertex and edge in $G$. This rational parametrization naturally allows for the study of these models from an algebraic and combinatorial point of view. Indeed, this point of view has led to a collection of results in the literature, mainly focusing on questions related to identifiability and determining relationships between covariances (i.e., finding polynomials in the Gaussian vanishing ideal). So far, a large proportion of these results has focused on the case when $D$, the directed part of the mixed graph $G$, is acyclic. This is due to the fact that in the acyclic case, the parametrization becomes polynomial and there is a description of the entries of the covariance matrices in terms of a finite sum. We move beyond the acyclic case and give a closed form expression for the entries of the covariance matrices in terms of the one-connections in a graph obtained from $D$ through some small operations. This closed form expression then allows us to show that if $G$ is simple, then the parametrization map is generically finite-to-one. Finally, having a closed form expression for the covariance matrices allows for the development of an algorithm for systematically exploring possible polynomials in the Gaussian vanishing ideal.
A polynomial construction of perfect sequence covering arrays
Published
• View Publication
• BIB
A PSCA$(v, t, λ)$ is a multiset of permutations of the $v$-element alphabet $\{0, \dots, v-1\}$ such that every sequence of $t$ distinct elements of the alphabet appears in the specified order in exactly $λ$ permutations. For $v \geq t$, let $g(v, t)$ be the smallest positive integer $λ$ such that a PSCA$(v, t, λ)$ exists. We present an explicit construction that proves $g(v,t) = O(v^{t(t-2)})$ for fixed $t \geq 4$. The method of construction involves taking a permutation representation of the group of projectivities of a suitable projective space of dimension $t - 2$ and deleting all but a certain number of symbols from each permutation. In the case that this space is a Desarguesian projective plane, we also show that there exists a permutation representation of the group of projectivities of the plane that covers the vast majority of 4-sequences of its points a fixed number of times.
On the Spectral properties of power graphs over certain groups
The power graph $P(Ω)$ of a group $Ω$ is a graph with the vertex set $Ω$ such that two distinct vertices form an edge if and only if one of them is an integral power of the other. In this article, we determine the power graph of the group $\mathcal{G} = \langle s,r \, : r^{2^kp} = s^2 = e,~ srs^{-1} = r^{2^{k-1}p-1}\rangle$. Further, we compute its characteristic polynomial for the adjacency, Laplacian, and signless Laplacian matrices associated with this power graph. In addition, we determine its spectrum, Laplacian spectrum, and Laplacian energy.
Enumeration of permutations by the parity of descent positions
Published
• View Publication
• BIB
Noticing that some recent variations of descent polynomials are special cases of Carlitz and Scoville's four-variable polynomials, which enumerate permutations by the parity of descent and ascent positions, we prove a $q$-analogue of Carlitz-Scoville's generating function by counting the inversion number and a type B analogue by enumerating the signed permutations with respect to the parity of desecnt and ascent positions. As a by-product of our formulas, we obtain a $q$-analogue of Chebikin's formula for alternating descent polynomials, an alternative proof of Sun's gamma-positivity of her bivariate Eulerian polynomials and a type B analogue, the latter refines Petersen's gamma-positivity of the type B Eulerian polynomials.
Universality for cokernels of random matrix products
Published
• View Publication
• BIB
For random integer matrices $M_1,\ldots,M_k \in \operatorname{Mat}_n(\mathbb{Z})$ with independent entries, we study the distribution of the cokernel $\operatorname{cok}(M_1 \cdots M_k)$ of their product. We show that this distribution converges to a universal one as $n \to \infty$ for a general class of matrix entry distributions, and more generally show universal limits for the joint distribution of $\operatorname{cok}(M_1),\operatorname{cok}(M_1M_2),\ldots,\operatorname{cok}(M_1 \cdots M_k)$. Furthermore, we characterize the universal distributions arising as marginals of a natural generalization of the Cohen-Lenstra measure to sequences of abelian groups with maps between them, which weights sequences inversely proportionally to their number of automorphisms. The proofs develop an extension of the moment method of Wood to joint moments of multiple groups, and rely also on the connection to Hall-Littlewood polynomials and symmetric function identities. As a corollary we obtain an explicit universal distribution for coranks of random matrix products over $\mathbb{F}_p$ as the matrix size tends to infinity.
Equidistribution and partition polynomials
Published
• View Publication
• BIB
Using equidistribution criteria, we establish divisibility by cyclotomic polynomials of several partition polynomials of interest, including $spt$-crank, overpartition pairs, and $t$-core partitions. As corollaries, we obtain new proofs of various Ramanujan-type congruences for associated partition functions. Moreover, using results of Erdös and Turán, we establish the equidistribution of roots of partition polynomials on the unit circle including those for the rank, crank, $spt$, and unimodal sequences. Our results complement earlier work on this topic by Stanley, Boyer-Goh, and others. We explain how our methods may be used to establish similar results for other partition polynomials of interest, and offer many related open questions and examples.
Generic Classification and Asymptotic Enumeration of Dope Matrices
Published
• View Publication
• BIB
For a complex polynomial $P$ of degree $n$ and an $m$-tuple of distinct complex numbers $Λ=(λ_1,\ldots,λ_m)$, the dope matrix $D_P(Λ)$ is defined as the $m \times (n+1)$ matrix $(c)_{ij}$ with $c_{ij} =1$ if $P^{(j)}(λ_i)=0$ and $c_{ij}=0$ otherwise. We classify the set of dope matrices when the entries of $Λ$ are algebraically independent, resolving a conjecture of Alon, Kravitz, and O'Bryant. We also provide asymptotic upper and lower bounds on the total number of $m \times (n+1)$ dope matrices. For $m$ much smaller than $n$, these bounds give an asymptotic estimate of the logarithm of the number of $m \times (n+1)$ dope matrices.
Ramsey Numbers through the Lenses of Polynomial Ideals and Nullstellensätze
Published
• View Publication
• BIB
In this article we study the Ramsey numbers $R(r,s)$ through Hilbert's Nullstellensatz and Alon's Combinatorial Nullstellensatz. We give polynomial encodings whose solutions correspond to Ramsey graphs of order $n$, those that do not contain a copy of $K_r$ or $\bar{K}_s$. When these systems have no solution and $n \ge R(r,s)$, we construct Nullstellensatz certificates whose degrees are equal to the restricted online Ramsey numbers introduced by Conlon, Fox, Grinshpun and He. Moreover, we show that these results generalize to other numbers in Ramsey theory, including Rado, van der Waerden, and Hales-Jewett numbers. Finally, we introduce a family of numbers that relate to the coefficients of a certain "Ramsey polynomial" that gives lower bounds for Ramsey numbers.
An Ehrhart Theory For Tautological Intersection Numbers
Published
• View Publication
• BIB
We discover that tautological intersection numbers on $\bar{\mathcal{M}}_{g, n}$, the moduli space of stable genus $g$ curves with $n$ marked points, are evaluations of Ehrhart polynomials of partial polytopal complexes. In order to prove this, we realize the Virasoro constraints for tautological intersection numbers as a recursion for integer-valued polynomials. Then we apply a theorem of Breuer that classifies Ehrhart polynomials of partial polytopal complexes by the nonnegativity of their $f^*$-vector. In dimensions 1 and 2, we show that the polytopal complexes that arise are \emph{inside-out polytopes} i.e. polytopes that are dissected by a hyperplane arrangement.
Alexander duals of symmetric simplicial complexes and Stanley-Reisner Ideals
Published
• View Publication
• BIB
Given an ascending chain $(I_n)_{n\in\mathbb{N}}$ of $\Sym$-invariant squarefree monomial ideals, we study the corresponding chain of Alexander duals $(I_n^\vee)_{n\in\mathbb{N}}$. Using a novel combinatorial tool, which we call \emph{avoidance up to symmetry}, we provide an explicit description of the minimal generating set up to symmetry in terms of the original generators. Combining this result with methods from discrete geometry, this enables us to show that the number of orbit generators of $I_n^\vee$ is given by a polynomial in $n$ for sufficiently large $n$. The same is true for the number of orbit generators of minimal degree, this degree being a linear function in $n$ eventually. The former result implies that the number of $\Sym$-orbits of primary components of $I_n$ grows polynomially in $n$ for large $n$. As another application, we show that, for each $i\geq 0$, the number of $i$-dimensional faces of the associated Stanley-Reisner complexes of $I_n$ is also given by a polynomial in $n$ for large $n$.
A two-parameter deformation of the quasi-shuffle\\ and new bases of quasi-symmetric functions
Published
• View Publication
• BIB
We define a two-parameter deformation of the quasi-shuffle by means of the formal group law associated with the
exponential generating function of the homogeneous Eulerian polynomials, and construct bases of $QSym$ and $\WQSym$
whose product rule is given by this operation.
Clubs and their applications
Published
• View Publication
• BIB
Clubs of rank k are well-celebrated objects in finite geometries introduced by Fancsali and Sziklai in 2006. After the connection with a special type of arcs known as KM-arcs, they renewed their interest. This paper aims to study clubs of rank n in PG$(1,q^n)$. We provide a classification result for (n-2)-clubs of rank n, we analyze the $\mathrm{ΓL}(2,q^n)$-equivalence of the known subspaces defining clubs, for some of them the problem is then translated in determining whether or not certain scattered spaces are equivalent. Then we find a polynomial description of the known families of clubs via some linearized polynomials. Then we apply our results to the theory of blocking sets, KM-arcs, polynomials and rank metric codes, obtaining new constructions and classification results.