polynomial
11422 papers tagged with this keyword
Cops against a cheating robber
Published
• View Publication
• BIB
We investigate a cheating robot version of Cops and Robber, first introduced by Huggan and Nowakowski, where both the cops and the robber move simultaneously, but the robber is allowed to react to the cops' moves. For conciseness, we refer to this game as Cops and Cheating Robot. The cheating robot number for a graph is the fewest number of cops needed to win on the graph. We introduce a new parameter for this variation, called the push number, which gives the value for the minimum number of cops that move onto the robber's vertex given that there are a cheating robot number of cops on the graph. After producing some elementary results on the push number, we use it to give a relationship between Cops and Cheating Robot and Surrounding Cops and Robbers. We investigate the cheating robot number for planar graphs and give a tight bound for bipartite planar graphs. We show that determining whether a graph has a cheating robot number at most fixed $k$ can be done in polynomial time. We also obtain bounds on the cheating robot number for strong and lexicographic products of graphs.
Polynomial functions on a class of finite non-commutative rings
Published
• View Publication
• BIB
Let $R$ be a finite non-commutative ring with $1\ne 0$. By a polynomial function on $R$, we mean a function $F\colon R\longrightarrow R$ induced by a polynomial $f=\sum\limits_{i=0}^{n}a_ix^i\in R[x]$ via right substitution of the variable $x$, i.e.
$F(a)=f(a)= \sum\limits_{i=0}^{n}a_ia^i$ for every $a\in R$. In this paper, we study the polynomial functions of the free $R$-algebra with a central basis $\{1,β_1,\ldots,β_k\}$ ($k\ge 1$) such that $β_iβ_j=0$ for every $1\le i,j\le k$, $R[β_1,\ldots,β_k]$. %, the ring of dual numbers over $R$ in $k$ variables.
Our investigation revolves around assigning a polynomial $λ_f(y,z)$ over $R$ in non-commutating variables $y$ and $z$ to each polynomial $f$ in $R[x]$; and describing the polynomial functions on $R[β_1,\ldots,β_k]$ through the polynomial functions induced on $R$ by polynomials in $R[x]$ and by their assigned polynomials in the non-commutating variables $y$ and $z$. %and analyzing the resulting polynomial functions on $R[β_1,\ldots,β_k]$.
By extending results from the commutative case to the non-commutative scenario, we demonstrate that several properties and theorems in the commutative case can be generalized to the non-commutative setting with appropriate adjustments.
Counting Flows of $b$-compatible Graphs
Published
• View Publication
• BIB
Kochol introduced the assigning polynomial $F(G,α;k)$ to count nowhere-zero $(A,b)$-flows of a graph $G$, where $A$ is a finite Abelian group and $α$ is a $\{0,1\}$-assigning from a family $Λ(G)$ of certain nonempty vertex subsets of $G$ to $\{0,1\}$. We introduce the concepts of $b$-compatible graph and $b$-compatible broken bond to give an explicit formula for the assigning polynomials and to examine their coefficients. More specifically, for a function $b:V(G)\to A$, let $α_{G,b}$ be a $\{0,1\}$-assigning of $G$ such that for each $X\inΛ(G)$, $α_{G,b}(X)=0$ if and only if $\sum_{v\in X}b(v)=0$. We show that for any $\{0,1\}$-assigning $α$ of $G$, if there exists a function $b:V(G)\to A$ such that $G$ is $b$-compatible and $α=α_{G,b}$, then the assigning polynomial $F(G,α;k)$ has the $b$-compatible spanning subgraph expansion \[ F(G,α;k)=\sum_{\substack{S\subseteq E(G),\\G-S\mbox{ is $b$-compatible}}}(-1)^{|S|}k^{m(G-S)}, \] and is the following form $F(G,α;k)=\sum_{i=0}^{m(G)}(-1)^ia_i(G,α)k^{m(G)-i}$, where each $a_i(G,α)$ is the number of subsets $S$ of $E(G)$ having $i$ edges such that $G-S$ is $b$-compatible and $S$ contains no $b$-compatible broken bonds with respect to a total order on $E(G)$. Applying the counting interpretation, we also obtain unified comparison relations for the signless coefficients of assigning polynomials. Namely, for any $\{0,1\}$-assignings $α,α'$ of $G$, if there exist functions $b:V(G)\to A$ and $b':V(G)\to A'$ such that $G$ is both $b$-compatible and $b'$-compatible, $α=α_{G,b}$, $α'=α_{G,b'}$ and $α(X)\leα'(X)$ for all $X\inΛ(G)$, then \[ a_i(G,α)\le a_i(G,α') \quad \mbox{ for }\quad i=0,1,\ldots, m(G). \]
Artin Symmetric Functions
In this paper we construct an algebraic invariant attached to Galois representations over number fields. This invariant, which we call an Artin symmetric function, lives in a certain ring we introduce called the ring of arithmetic symmetric functions. This ring is built from a family of symmetric functions rings indexed by prime ideals of the base field. We prove many necessary basic results for the ring of arithmetic symmetric functions as well as introduce the analogues of some standard number-theoretic objects in this setting. We prove that the Artin symmetric functions satisfy the same algebraic properties that the Artin L-functions do with respect to induction, inflation, and direct summation of representations. The expansion coefficients of these symmetric functions in different natural bases are shown to be character values of representations of a compact group related to the original Galois group. In the most interesting case, the expansion coefficients into a specialized Hall-Littlewood basis come from new representations built from the original Galois representation using polynomial functors corresponding to modified Hall-Littlewood polynomials. Using a special case of the Satake isomorphism in type GL, as formulated by Macdonald, we show that the Artin symmetric functions yield families of functions in the (finite) global spherical Hecke algebras in type GL which exhibit natural stability properties. We compute the Mellin transforms of these functions and relate them to infinite products of shifted Artin L-functions. We then prove some analytic properties of these Dirichlet series and give an explicit expansion of these series using the Hall-Littlewood polynomial functors.
About almost covering subsets of the hypercube
Published
• View Publication
• BIB
Let $\mathbb{F}$ be a field, and consider the hypercube $\{ 0, 1 \}^{n}$ in $\mathbb{F}^{n}$. Sziklai and Weiner (Journal of Combinatorial Theory, Series A 2022) showed that if a polynomial $P ( X_{1}, \dots, X_{n} ) \in \mathbb{F}[ X_{1}, \dots, X_{n}]$ vanishes on every point of the hypercube $\{0,1\}^{n}$ except those with at most $r$ many ones then the degree of the polynomial will be at least $n-r$. This is a generalization of Alon and Füredi's fundamental result (European Journal of Combinatorics 1993) about polynomials vanishing on every point of the hypercube except at the origin (point with all zero coordinates). Sziklai and Weiner proved their interesting result using Möbius inversion formula and the Zeilberger method for proving binomial equalities. In this short note, we show that a stronger version of Sziklai and Weiner's result can be derived directly from Alon and Füredi's result.
Shifts of Finite Type Obtained by Forbidding a Single Pattern
Published
• View Publication
• BIB
Given a finite word $w$, Guibas and Odlyzko (J. Combin. Theory Ser. A, 30, 1981, 183-208) showed that the autocorrelation polynomial $φ_w(t)$ of $w$, which records the set of self-overlaps of $w$, explicitly determines for each $n$, the number $|B_n(w)|$ of words of length $n$ that avoid $w$. We consider this and related problems from the viewpoint of symbolic dynamics, focusing on the setting of $X_{\{w\}}$, the space of all bi-infinite sequences that avoid $w$. We first summarize and elaborate upon (J. Combin. Theory Ser. A, 30, 1981, 183-208) and other work to show that the sequence $|B_n(w)|$ is equivalent to several invariants of $X_{\{w\}}$. We then give a finite-state labeled graphical representation $L_w$ of $X_{\{w\}}$ and show that $w$ can be recovered from the graph isomorphism class of the unlabeled version of $L_w$. Using $L_w$, we apply ideas from probability and Perron-Frobenius theory to obtain results comparing features of $X_{\{w\}}$ for different $w$. Next, we give partial results on the problem of classifying the spaces $X_{\{w\}}$ up to conjugacy. Finally, we extend some of our results to spaces of multi-dimensional arrays that avoid a given finite pattern.
An inverse theorem for the Gowers $U^3$-norm relative to quadratic level sets
We prove an effective version of the inverse theorem for the Gowers $U^3$-norm for functions supported on high-rank quadratic level sets in finite vector spaces. For configurations controlled by the $U^3$-norm (complexity-two configurations), this enables one to run a density increment argument with respect to quadratic level sets, which are analogues of Bohr sets in the context of quadratic Fourier analysis on finite vector spaces. We demonstrate such an argument by deriving an exponential bound on the Ramsey number of three-term progressions which are the same colour as their common difference (``Brauer quadruples''), a result we have been unable to establish by other means.
Our methods also yield polylogarithmic bounds on the density of sets lacking translation-invariant configurations of complexity two. Such bounds for four-term progressions were obtained by Green and Tao using a simpler weak-regularity argument. In an appendix, we give an example of how to generalise Green and Tao's argument to other translation-invariant configurations of complexity two. However, this crucially relies on an estimate coming from the Croot-Lev-Pach polynomial method, which may not be applicable to all systems of complexity two. Hence running a density increment with respect to quadratic level sets may still prove useful for such problems. It may also serve as a model for running density increments on more general nil-Bohr sets, with a view to effectivising other Szemerédi-type theorems.
Infinite log-concavity and higher order Turán inequality for the sequences of Speyer's $g$-polynomial of uniform matroids
Let $U_{n,d}$ be the uniform matroid of rank $d$ on $n$ elements. Denote by $g_{U_{n,d}}(t)$ the Speyer's $g$-polynomial of $U_{n,d}$. The Turán inequality and higher order Turán inequality are related to the Laguerre-Pólya ($\mathcal{L}$-$\mathcal{P}$) class of real entire functions, and the $\mathcal{L}$-$\mathcal{P}$ class has close relation with the Riemann hypothesis. The Turán type inequalities have received much attention. Infinite log-concavity is also a deep generalization of Turán inequality with different direction. In this paper, we mainly obtain the infinite log-concavity and the higher order Turán inequality of the sequence $\{g_{U_{n,d}}(t)\}_{d=1}^{n-1}$ for any $t>0$. In order to prove these results, we show that the generating function of $g_{U_{n,d}}(t)$, denoted $h_n(x;t)$, has only real zeros for $t>0$. Consequently, for $t>0$, we also obtain the $γ$-positivity of the polynomial $h_n(x;t)$, the asymptotical normality of $g_{U_{n,d}}(t)$, and the Laguerre inequalities for $g_{U_{n,d}}(t)$ and $h_n(x;t)$.
Submodular functions, generalized permutahedra, conforming preorders, and cointeracting bialgebras
Submodular functions $z$ defined on the power set of a finite set are in bijection with generalized permutahedra $\egp(z)$. To any such $z$ we define a class of preorders, {\it conforming} preorders. We show the faces of $\egp(z)$ and the conforming preorders are in bijection. We investigate in detail this interplay between submodular functions and generalized permutahedra on one side, and conforming preorders on the other side, with many examples. In particular, the face poset structure of $\egp(z)$ correspond to two order relations $\lhd$ and $\btl$ on preorders, and we investigate their properties.
Ardila and Aguiar \cite{AA2017} introduced a Hopf monoid of submodular functions/generalized permutahedra. We show there is a bimonoid of modular functions cointeracting in a non-standard way. By recent theory of L.Foissy \cite{Fo2022}, on double bialgebras we get a canonical polynomial associated to any submodular function.
Differential transcendence of Bell numbers and relatives: a Galois theoretic approach
Published in American Journal of Mathematics, 2024, 146(6), 1577-1615
• View Publication
• BIB
In 2003 Klazar proved that the ordinary generating function of the sequence of Bell numbers is differentially transcendental over the field $\mathbb{C}(\{t\})$ of meromorphic functions at $0$. We show that Klazar's result is an instance of a general phenomenon that can be proven in a compact way using difference Galois theory. We present the main principles of this theory in order to prove a general result about differential transcendence over $\mathbb{C}(\{t\})$, that we apply to many other (infinite classes of) examples of generating functions, including as very special cases the ones considered by Klazar. Most of our examples belong to Sheffer's class, well studied notably in umbral calculus. They all bring concrete evidence in support to the Pak-Yeliussizov conjecture, according to which a sequence whose both ordinary and exponential generating functions satisfy nonlinear differential equations with polynomial coefficients necessarily satisfies a linear recurrence with polynomial coefficients.
Nearly optimal coloring of some C4-free graphs
Published
• View Publication
• BIB
A class ${\cal G}$ of graphs is $χ$-{\em polydet} if ${\cal G}$ has a polynomial binding function $f$ and there is a polynomial time algorithm to determine an $f(ω(G))$-coloring of $G\in {\cal G}$. Let $P_t$ and $C_t$ denote a path and a cycle on $t$ vertices, respectively. A {\em bull} consists of a triangle with two disjoint pendant edges, a {\em hammer} is obtained by identifying an end of $P_3$ with a vertex of a triangle, a {\em fork$^+$} is obtained from $K_{1, 3}$ by subdividing an edge twice. Let $H$ be a bull or a hammer, and $F$ be a $P_7$ or a fork$^+$. We determine all $(C_3, C_4, F)$-free graphs without clique cutsets and universal cliques, and present a close relation between $(C_4, F, H)$-free graphs and the Petersen graph. As a consequence, we show that the classes of $(C_4, F, H)$-free graphs are $χ$-polydet with nearly optimal linear binding functions.
Curvature and local matchings of conference graphs and extensions
We prove a conjecture of Bonini et al. on the precise values of the Lin--Lu--Yau curvature of conference graphs, i.e., strongly regular graphs with parameters $(4γ+1,2γ,γ-1,γ)$. Our method depends only on the parameter relations and applies to broader classes of amply regular graphs. In particular, we develop a new combinatorial approach to show the existence of local perfect matchings. A key observation is that counting common neighbors leads to useful quadratic polynomials. As a corollary, we derive an interesting number-theoretic result concerning quadratic residues.
The number of solutions of a random system of polynomials over a finite field
We study the probability distribution of the number of common zeros of a system of $m$ random $n$-variate polynomials over a finite commutative ring $R$. We compute the expected number of common zeros of a system of polynomials over $R$. Then, in the case that $R$ is a field, under a necessary-and-sufficient condition on the sample space, we show that the number of common zeros is binomially distributed.
On Generalized Pfaffians
The determinant of an anti-symmetric matrix $g$ is the square of its Pfaffian, which like the determinant is a polynomial in the entries of $g$. Studies of certain super conformal field theories (of class S) suggested a conjectural generalization of this, predicting that each of a series of other polynomials in the entries of $g$ also admit polynomial square roots. Among other consequences, this conjecture led to a characterization of the local Hitchin image for type D. Several important special cases had been established previously. In this paper we prove the conjecture in full.
Deformed Homogeneous Polynomials and the Generalized $q$-Exponential Operator
In this paper, we introduce the deformed homogeneous polynomials $\mathrm{R}_{n}(x,y;u|q)$. These polynomials generalize some classical polynomials: the Rogers-Szegö polynomials $\mathrm{h}_{n}(x|q)$, the generalized Rogers-Szegö polynomials $\mathrm{r}_{n}(x,y)$, the Stieltjes-Wigert polynomials $\mathrm{S}_{n}(x;q)$, among others. Basic properties of the polynomial $\mathrm{R}_{n}$ are given, along with recurrence relations, its $q$-difference equation, and representations. Generating functions for the polynomials $\mathrm{R}_{n}(x,y;u|q)$ are given. These functions include generalizations of the Mehler and Rogers formulas. In addition, generalizations of the $q$-binomial formula and the Heine transformation formula are obtained. These results are obtained via the $u$-deformed $q$-exponential operator $\mathrm{E}(yD_{q}|u)$, defined here. From this operator, we obtain for free the operators T$(yD_{q})$ the Chen, $\mathrm{R}(yD_{q})$ of Saad, $\mathcal{E}(yD_{q})$ of Exton, and $\mathcal{R}(yD_{q})$ of Rogers-Ramanujan when $u=1,q,\sqrt{q},q^2$, respectively. We introduce the deformed basic hypergeometric series ${}_{r}Φ_{s}$, a generalization of the classical basic hypergeometric series. New transformation formulas for basic hypergeometric series are obtained.
On the structure of extremal point-line arrangements
Published
• View Publication
• BIB
In this note, we show that extremal Szemerédi-Trotter configurations are rigid in the following sense: If $P,L$ are sets of points and lines determining at least $C|P|^{2/3}|L|^{2/3}$ incidences, then there exists a collection $P'$ of points of size at most $k = k_0(C)$ such that, heuristically, fixing those points fixes a positive fraction of the arrangement. That is, the incidence structure and a small number of points determine a large part of the arrangement. The key tools we use are the Guth-Katz polynomial partitioning, and also a result of Dvir, Garg, Oliveira and Solymosi that was used to show the rigidity of near-Sylvester-Gallai configurations.
Adjacency Labeling Schemes for Small Classes
A graph class admits an implicit representation if, for every positive integer $n$, its $n$-vertex graphs have a $O(\log n)$-bit (adjacency) labeling scheme, i.e., their vertices can be labeled by binary strings of length $O(\log n)$ such that the presence of an edge between any pair of vertices can be deduced solely from their labels. The famous Implicit Graph Conjecture posited that every hereditary (i.e., closed under taking induced subgraphs) factorial (i.e., containing $2^{O(n \log n)}$ $n$-vertex graphs) class admits an implicit representation. The conjecture was recently refuted [Hatami and Hatami, FOCS '22], and does not even hold among monotone (i.e., closed under taking subgraphs) factorial classes [Bonnet et al., ICALP '24]. However, monotone small (i.e., containing at most $n! c^n$ many $n$-vertex graphs for some constant $c$) classes do admit implicit representations.
This motivates the Small Implicit Graph Conjecture: Every hereditary small class admits an $O(\log n)$-bit labeling scheme. We provide evidence supporting the Small Implicit Graph Conjecture. First, we show that every small weakly sparse (i.e., excluding some fixed bipartite complete graph as a subgraph) class has an implicit representation. This is a consequence of the following fact of independent interest proved in the paper: Every weakly sparse small class has bounded expansion (hence, in particular, bounded degeneracy). Second, we show that every hereditary small class admits an $O(\log^3 n)$-bit labeling scheme, which provides a substantial improvement of the best-known polynomial upper bound of $n^{1-\varepsilon}$ on the size of adjacency labeling schemes for such classes. This is a consequence of another fact of independent interest proved in the paper: Every small class has neighborhood complexity $O(n \log n)$.
A new approach to bipartite stable matching optimization
As a common generalization of previously solved optimization problems concerning bipartite stable matchings, we describe a strongly polynomial network flow based algorithm for computing $\ell$ disjoint stable matchings with minimum total cost. The major observation behind the approach is that stable matchings, as edge sets, can be represented as certain cuts of an associated directed graph. This allows us to use results on disjoint cuts directly to answer questions about disjoint stable matchings. We also provide a construction that represents stable matchings as maximum-size antichains in a partially ordered set (poset), which enables us to apply the theorems of Dilworth, Mirsky, Greene and Kleitman directly to stable matchings. Another consequence of these approaches is a min-max formula for the minimum number of stable matchings covering all stable edges.
Extending a result of Carlitz and McConnel to polynomials which are not permutations
Let $D$ denote the set of directions determined by the graph of a polynomial $f$ of $\mathbb{F}_q[x]$, where $q$ is a power of the prime $p$. If $D$ is contained in a multiplicative subgroup $M$ of $\mathbb{F}_q^\times$, then by a result of Carlitz and McConnel it follows that $f(x)=ax^{p^k}+b$ for some $k\in \mathbb{N}$. Of course, if $D\subseteq M$, then $0\notin D$ and hence $f$ is a permutation. If we assume the weaker condition $D\subseteq M \cup \{0\}$, then $f$ is not necessarily a permutation, but Sziklai conjectured that $f(x)=ax^{p^k}+b$ follows also in this case. When $q$ is odd, and the index of $M$ is even, then a result of Ball, Blokhuis, Brouwer, Storme and Sz\H onyi combined with a result of McGuire and Göloğlu proves the conjecture. Assume $°f\geq 1$. We prove that if the size of $D^{-1}D=\{d^{-1}d' : d\in D\setminus \{0\},\, d'\in D\}$ is less than $q-°f+2$, then $f$ is a permutation of $\mathbb{F}_q$. We use this result to verify the conjecture of Sziklai.
Cumulants in rectangular finite free probability and beta-deformed singular values
Published
• View Publication
• BIB
Motivated by the $(q,γ)$-cumulants, introduced by Xu [arXiv:2303.13812] to study $β$-deformed singular values of random matrices, we define the $(n,d)$-rectangular cumulants for polynomials of degree $d$ and prove several moment-cumulant formulas by elementary algebraic manipulations; the proof naturally leads to quantum analogues of the formulas. We further show that the $(n,d)$-rectangular cumulants linearize the $(n,d)$-rectangular convolution from Finite Free Probability and that they converge to the $q$-rectangular free cumulants from Free Probability in the regime where $d\to\infty$, $1+n/d\to q\in[1,\infty)$. As an application, we employ our formulas to study limits of symmetric empirical root distributions of sequences of polynomials with nonnegative roots. One of our results is akin to a theorem of Kabluchko [arXiv:2203.05533] and shows that applying the operator $\exp(-\frac{s^2}{n}x^{-n}D_xx^{n+1}D_x)$, where $s>0$, asymptotically amounts to taking the rectangular free convolution with the rectangular Gaussian distribution of variance $qs^2/(q-1)$.