polynomial
11184 papers tagged with this keyword
Enumerating Magic Distinct Labellings of the Cube
Published
• View Publication
• BIB
We find by applying MacMahon's partition analysis that all magic labellings of the cube are of eight types, each generated by six basis elements. A combinatorial proof of this fact is given. The number of magic labellings of the cube is thus reobtained as a polynomial in the magic sum of degree $5$. Then we enumerate magic distinct labellings, the number of which turns out to be a quasi-polynomial of period 720720. We also find the group of symmetry can be used to significantly simplify the computation.
Enumerating conjugacy classes of graphical groups over finite fields
Published
• View Publication
• BIB
Each graph and choice of a commutative ring gives rise to an associated graphical group. In this article, we introduce and investigate graph polynomials that enumerate conjugacy classes of graphical groups over finite fields according to their sizes.
Asymptotic Distribution of the Zeros of recursively defined Non-Orthogonal Polynomials
Published
• View Publication
• BIB
We study the zero distribution of non-orthogonal polynomials attached to $g(n)=s(n)=n^2$: \begin{equation*} Q_n^g(x)= x \sum_{k=1}^n g(k) \, Q_{n-k}^g(x), \quad Q_0^g(x):=1. \end{equation*} It is known that the case $g=id$ involves Chebyshev polynomials of the second kind. The zeros of $Q_n^s(x)$ are real, simple, and are located in $(-6\sqrt{3},0]$. Let $N_n(a,b)$ be the number of zeros between $-6 \sqrt{3} \leq a < b \leq 0$. Then we determine a density function $v(x)$, such that \begin{equation*} \lim_{n \rightarrow \infty} \frac{N_n(a,b)}{n} = \int_a^b v(x) \,\, \mathrm{d}x. \end{equation*} The polynomials $Q_n^s(x)$ satisfy a four-term recursion. We present in detail an analysis of the fundamental roots and give an answer to an open question on recent work by Adams and Tran--Zumba. We extend a method proposed by Freud for orthogonal polynomials to more general systems of polynomials. We determine the underlying moments and density function for the zero distribution.
The algebra of conjugacy classes of the wreath product of a finite group with the symmetric group
Published in Rocky Mountain Journal of Mathematics 53(2) (2023) 561-577
• View Publication
• BIB
For a finite group $G,$ we define the concept of $G$-partial permutation and use it to show that the structure coefficients of the center of the wreath product $G\wr \mathcal{S}_n$ algebra are polynomials in $n$ with non-negative integer coefficients. Our main tool is a combinatorial algebra which projects onto the center of the group $G\wr \mathcal{S}_n$ algebra for every $n.$ This generalizes the Ivanov and Kerov method to prove the polynomiality property for the structure coefficients of the center of the symmetric group algebra.
Connected $k$-partition of $k$-connected graphs and $c$-claw-free graphs
A connected partition is a partition of the vertices of a graph into sets that induce connected subgraphs. Such partitions naturally occur in many application areas such as road networks, and image processing. We consider Balanced Connected Partitions (BCP), where the two classical objectives for BCP are to maximize the weight of the smallest, or minimize the weight of the largest component. We study BCP on c-claw-free graphs, the class of graphs that do not have $K_{1,c}$ as an induced subgraph, and present efficient (c-1)-approximation algorithms for both objectives. In particular, due to the (3-)claw-freeness of line graphs, this also implies a 2-approximations for the edge-partition version of BCP in general graphs.
In the 1970s Győri and Lovász showed for natural numbers $w_1,\dots,w_k$ where $\sum_i w_i$ is the vertex size, that if $G$ is k-connected, then there exist a connected k-partition with part sizes $w_1,\dots,w_k$. However, to this day no polynomial algorithm to compute such partitions exists for k>4. Towards finding such a partition $T_1,\dots, T_k$, we show how to efficiently compute connected partitions that at least approximately meet the target weights, subject to the mild assumption that each $w_i$ is greater than the weight of the heaviest vertex. In particular, we give a 3-approximation for both the lower and the upper bounded version i.e. we guarantee that each $T_i$ has weight at least $\frac{w_i}{3}$ or that each $T_i$ has weight most $3w_i$, respectively. Also, we present a both-side bounded version that produces a connected partition where each $T_i$ has size at least $\frac{w_i}{3}$ and at most $\max(\{r,3\}) w_i$, where $r \geq 1$ is the ratio between the largest and smallest value in $w_1, \dots, w_k$. In particular for the balanced version, i.e.~$w_1=w_2=, \dots,=w_k$, this gives a partition with $\frac{1}{3}w_i \leq w(T_i) \leq 3w_i$.
A Method for Uniformly Proving a Family of Identities
Published
• View Publication
• BIB
This paper presents both a proof method and a result. The proof method presented is particularly suitable for uniformly proving families of identities satisfied by a family of recursive sequences. To illustrate the method, we study the family of recursive sequences $F^{(k)}_n = \sum_{i=1}^k F^{(k)}_{n-i}, n \ge 0, k \ge 2,$ with $n$ a parameter varying over integers, and $k$ a parameter indexing members of the family. The main theorem states $ F^{(k)}_n = \sum_{j=1}^k P_{k,j} F^{(k)}_{n-jk},$ with $P$ a recursive triangle satisfying the triangle recursion $P_{i,j}=2P_{i-1,j}- P_{i-1,j-1},$ with appropriate initial conditions. The proof of the theorem exploits the fact that characteristic polynomials of identities are divisible by the characteristic polynomial of the recursion generating the underlying sequence.
On the homology theory for the chromatic polynomials
In \cite{10.2140/agt.2005.5.1365}, Rong and Helme-Guizon defined a categorification for the chromatic polynomial $P_G(x)$ of graphs $G$, i.e. a homology theory $H^*(G)$ whose Euler characteristic equals $P_G(x)$. In this paper, we showed that the rational homoology $H^*(G;\mathbb{Q})$ is supported in two lines, and develop an analogy of Lee's theory for Khovanov homology. In particular, we develop a new homology theory $H_{Lee}(G)$, and showed that there is a spectral sequence whose $E_2$ -term is isomorphic to $H^*(G)$ converges to $H_{Lee}(G)$.
Structure of (bull, diamond)-free graphs and its applications
Published
• View Publication
• BIB
This paper discusses the complete structure of the (bull, diamond)-free graphs. As an application of that, we give the characterization of the partitionable (bull, diamond)-free graphs. Moreover, we show that such a partition for a partitionable (bull, diamond)-free graph can be found in polynomial time. Additionally, we show that the cop number of a (bull, diamond)-free graph containing a triangle is at most two less than its diameter. Furthermore, the cop number of a connected ($P_n$, bull, diamond)-free graph with a triangle, is at most $n-3$, for any natural number $n>3$. We also discuss a couple of applications of the structural theorem of the (bull, diamond)-free graphs in the conclusions.
Algorithmic aspects of quasi-kernels
Published
• View Publication
• BIB
In a digraph, a quasi-kernel is a subset of vertices that is independent and such that every vertex can reach some vertex in that set via a directed path of length at most two. Whereas Chvátal and Lovász proved in 1974 that every digraph has a quasi-kernel, very little is known so far about the complexity of finding small quasi-kernels. In 1976 Erdős and Székely conjectured that every sink-free digraph $D = (V, A)$ has a quasi-kernel of size at most $|V|/2$. Obviously, if $D$ has two disjoint quasi-kernels then it has a quasi-kernel of size at most $|V|/2$, and in 2001 Gutin, Koh, Tay and Yeo conjectured that every sink-free digraph has two disjoint quasi-kernels. Yet, they constructed in 2004 a counterexample, thereby disproving this stronger conjecture. We shall show that, not only sink-free digraphs occasionally fail to contain two disjoint quasi-kernels, but it is computationally hard to distinguish those that do from those that do not. We also prove that the problem of computing a small quasi-kernel is polynomial time solvable for orientations of trees but is computationally hard in most other cases (and in particular for restricted acyclic digraphs).
The Integer Sequence Transform $a \mapsto b$ where $b_n$ is the Number of Real Roots of the Polynomial $a_0 + a_1x + a_2x^2 + \cdots + a_nx^n$
We discuss the integer sequence transform $a \mapsto b$ where $b_n$ is the number of real roots of the polynomial $a_0 + a_1x + a_2x^2 + \cdots + a_nx^n$. It is shown that several sequences $a$ give the trivial sequence $b = (0,1,0,1, 0,1,\ldots)$, i.e., ${b_n = n \bmod 2}$, among them the Catalan numbers, central binomial coefficients, $n!$ and $\binom{n+k}{n}$ for a fixed $k$. We also look at some sequences $a$ for which $b$ is more interesting such as $a_n = (n+1)^k$ for $k \geq 3$. Further, general procedures are given for constructing real sequences $a_n$ for which $b_n$ is either always maximal or minimal.
Twin-width and polynomial kernels
Published
• View Publication
• BIB
We study the existence of polynomial kernels, for parameterized problems without a polynomial kernel on general graphs, when restricted to graphs of bounded twin-width. Our main result is that a polynomial kernel for $k$-Dominating Set on graphs of twin-width at most 4 would contradict a standard complexity-theoretic assumption. The reduction is quite involved, especially to get the twin-width upper bound down to 4, and can be tweaked to work for Connected $k$-Dominating Set and Total $k$-Dominating Set (albeit with a worse upper bound on the twin-width). The $k$-Independent Set problem admits the same lower bound by a much simpler argument, previously observed [ICALP '21], which extends to $k$-Independent Dominating Set, $k$-Path, $k$-Induced Path, $k$-Induced Matching, etc. On the positive side, we obtain a simple quadratic vertex kernel for Connected $k$-Vertex Cover and Capacitated $k$-Vertex Cover on graphs of bounded twin-width. Interestingly the kernel applies to graphs of Vapnik-Chervonenkis density 1, and does not require a witness sequence. We also present a more intricate $O(k^{1.5})$ vertex kernel for Connected $k$-Vertex Cover. Finally we show that deciding if a graph has twin-width at most 1 can be done in polynomial time, and observe that most optimization/decision graph problems can be solved in polynomial time on graphs of twin-width at most 1.
Polynomial growth and asymptotic dimension
Published
• View Publication
• BIB
Bonamy et al \cite{BBEGLPS} showed that graphs of polynomial growth have finite asymptotic dimension. We refine their result showing that a graph of polynomial growth strictly less than $n^{k+1}$ has asymptotic dimension at most $k$. As a corollary Riemannian manifolds of bounded geometry and polynomial growth strictly less than $n^{k+1}$ have asymptotic dimension at most $k$.
We show also that there are graphs of growth $<n^{1+ε}$ for any $ε>0$ and infinite asymptotic Assouad-Nagata dimension.
Solution Regularity of k-partite Linear Systems -- A Variant of Rado's Theorem
A classical question in combinatorial number theory asks whether an equation has a solution inside a particular subset of its domain. The Rado's Theorem gives a set of necessary and sufficient conditions for a systems of linear equations to have a monochromatic solution whenever the positive integers are finitely colored. In this paper, we provide a variant of this theorem. For $k \ge 2$, we present conditions such that, when the set of variables is partitioned into $k$ subsets, there is a solution such that the variables of each subset are monochromatic, which we call a semi-monochromatic solution. We adopt the smod $p$ coloring by Graham, Rothschild, and Spencer but turn the existence of semi-monochromatic solution into the existence of common roots of linear polynomials. With this idea, one can further generalize the theorem to systems of linear equations over general algebraic number fields.
Vertex-Face/Zeta correspondence
Published
• View Publication
• BIB
We present the characteristic polynomial for the transition matrix of a vertex-face walk on a graph, and obtain its spectra. Furthermore, we express the characteristic polynomial for the transition matrix of a vertex-face walk on the 2-dimensional torus by using its adjacency matrix, and obtain its spectra. As an application, we define a new walk-type zeta function with respect to the transition matrix of a vertex-face walk on the 2-dimensional torus, and present its explicit formula.
Enumerating partitions arising in homotopy theory
Published
• View Publication
• BIB
We present an infinite family of recursive formulas that count binary integer partitions satisfying natural divisibility conditions and show that these counts are interrelated via partial sums. Moreover, we interpret the partitions we study in the language of graded polynomial rings and apply this to the mod $2$ Steenrod algebra to compute the free rank of certain homology modules in stable homotopy theory.
Combinatorial Reduction of Set Functions and Matroid Permutations through Minor Product Assignment
Published
• View Publication
• BIB
We introduce an algebraic model, based on the determinantal expansion of the product of two matrices, to test combinatorial reductions of set functions. Each term of the determinantal expansion is deformed through a monomial factor in d indeterminates, whose exponents define a $\mathbb{Z}^{d}$-valued set function. By combining the Grassmann-Plücker relations for the two matrices, we derive a family of sparse polynomials, whose factorisation properties in a Laurent polynomial ring are studied and related to information-theoretic notions. Under a given genericity condition, we prove the equivalence between combinatorial reductions and determinantal expansions with invertible minor products; specifically, a deformation returns a determinantal expansion if and only if it is induced by a diagonal matrix of units in $\mathbb{C}(\mathbf{t})$ acting as a kernel in the original determinant expression. This characterisation supports the definition of a new method for checking and recovering combinatorial reductions for matroid permutations.
A new tableau model for irreducible polynomial representations of the orthogonal group
Published
• View Publication
• BIB
We provide a new tableau model from which one can easily deduce the characters of finite-dimensional irreducible polynomial representations of the special orthogonal group $SO_n(\mathbb{C})$. This model originates from the representation theory of the $\imath$quantum group (also known as the quantum symmetric pair coideal subalgebra) of type $\mathrm{A\!I}$, and is equipped with a combinatorial structure, which we call $\mathrm{A\!I}$-crystal structure. This structure enables us to describe combinatorially the tensor product of an $SO_n(\mathbb{C})$-module and a $GL_n(\mathbb{C})$-module, and the branching from $GL_n(\mathbb{C})$ to $SO_n(\mathbb{C})$.
Almost-Orthogonal Bases for Inner Product Polynomials
In this paper, we consider low-degree polynomials of inner products between a collection of random vectors. We give an almost orthogonal basis for this vector space of polynomials when the random vectors are Gaussian, spherical, or Boolean. In all three cases, our basis admits an interesting combinatorial description based on the topology of the underlying graph of inner products.
We also analyze the expected value of the product of two polynomials in our basis. In all three cases, we show that this expected value can be expressed in terms of collections of matchings on the underlying graph of inner products. In the Gaussian and Boolean cases, we show that this expected value is always non-negative. In the spherical case, we show that this expected value can be negative but we conjecture that if the underlying graph of inner products is planar then this expected value will always be non-negative.
Conjectures and results on some generalized Rueppel sequences
In this note we use the analogy between the Catalan sequence and the Rueppel sequence to derive a variety of conjectures surrounding the Hankel transforms of a number of sequences closely related to the Rueppel sequence. Use is made of the representation of suitable generating functions by Stieltjes continued fractions. We define polynomial sequences by introducing parameters that define generalized Rueppel sequences, and we show that such polynomials have coefficient arrays that are Riordan arrays. Finally we conjecture the form of a product of Hankel transforms arising from the Rueppel sequence.
Some combinatorial properties of skew Jack symmetric functions
Published
• View Publication
• BIB
Motivated by Stanley's conjecture on the multiplication of Jack symmetric functions, we prove a couple of identities showing that skew Jack symmetric functions are semi-invariant up to translation and rotation of a $π$ angle of the skew diagram. It follows that, in some special cases, the coefficients of the skew Jack symmetric functions with respect to the basis of the monomial symmetric functions are polynomials with nonnegative integer coefficients.