arXiv++ Combinatorics

The theory of combinatorial Hopf algebras is a powerful framework for studying algebraic invariants of combinatorial objects. The aim of this work is to incorporate chromatic invariants of signed graphs into this context. We define the combinatorial Hopf algebra of signed graphs. Through this definition, algebraic invariants already known in the literature arise naturally. Using the antipode, we find new proofs of combinatorial reciprocity results for these invariants. We also study bivariate polynomial invariants, both for classical graphs and for signed graphs.

Phylogenetic trees are rooted trees with branch lengths that record genetic divergence or elapsed time, and quantifying differences between them is central to a wide range of evolutionary and epidemiological analyses. Graph-polynomial encodings of rooted trees provide an accurate, interpretable, and computationally efficient way to compare tree shapes, but existing polynomial encodings must be paired with auxiliary structures to study rooted trees with branch lengths. We introduce a bivariate polynomial encoding that incorporates branch lengths directly into a recursive computation from the leaf vertices to the root vertex of a tree. We prove that, for rooted trees with branch lengths and no vertices of degree two, which include all standard phylogenetic trees, two trees have the same polynomial if and only if their underlying unlabeled trees are isomorphic and the branch lengths of corresponding edges are equal. We apply the polynomial encoding to three published HIV-1 phylogenies sampled in different epidemiological settings and show that it accurately separates the three datasets based on their tree topologies and branch lengths, outperforming previous polynomial-based approaches for analyzing rooted trees with branch lengths.

The flip graph of an origami crease pattern has the flat-foldable mountain-valley assignments as vertices, and an edge joins two of them that differ by a single face flip. A basic invariant of this graph is the degree sequence, which counts the vertices of each degree. On the $m\times n$ Miura-ori, this sequence is known as a bivariate polynomial only for small degrees, each count obtained by a separate argument whose casework grows with the degree. This paper gives one uniform construction that expresses, for every degree $d$, the number of degree-$d$ vertices as a single symmetric polynomial $p_d(m,n)$ for all sufficiently large $m,n$. Subject to a single degree bound, this polynomial has total degree $d-2$, growing for $d\ge5$ as an explicit multiple of $m^{d-2}+n^{d-2}$; the bound is proved here when the count splits into independent row and column factors, and open otherwise. The region is $m,n\ge\max(d-1,2)$; through $d=7$, the polynomials are computed in closed form and the bound is verified in every case. Below this region, the count departs from $p_d$ by a correction whose leading coefficient, through degree eleven, is $-4$ times a Baxter number. Each $p_d$ thus counts the Miura-ori's flat-foldable assignments admitting exactly $d$ single face flips.

We study $T$-designs in the nonbinary Johnson scheme. This scheme generalizes both the Johnson and Hamming schemes and admits a bivariate $Q$-polynomial structure. Zhu (2021) provided a combinatorial characterization of $T$-designs in this scheme for certain index sets $T$, using a relationship between $T$-designs in the nonbinary Johnson scheme and relative designs in the nonbinary Hamming scheme. In this paper, we obtain a characterization that applies to a strictly larger class of index sets $T$, based on a methodological extension of Delsarte's original framework (1973). This new characterization naturally recovers classical block designs and orthogonal arrays as special cases. To describe these designs uniformly, we introduce $(r,s)$-designs, a new family of combinatorial objects that arise naturally from our characterization. We also derive absolute lower bounds on the cardinality of $(r,s)$-designs from the multiplicities of the primitive idempotents of the nonbinary Johnson scheme, and construct examples with index $λ=1$ that attain certain natural lower bounds.

This paper proves a stability result for a variation of the Erdős-Ko-Rado theorem in the context of polynomials over finite fields. Let $\mathcal F$ be a family of polynomials of degree at most $k \geq 3$ in $\mathbb F_q[X]$. Call $\mathcal F$ intersecting if for any two polynomials $f, g$ in $\mathcal F$, there exists a point $x \in \mathbb F_q$ for which $f(x) = g(x)$. An intersecting family is called a star if it consists of all polynomials $f$ with ${\rm deg } f \leq k$ such that $f(x) = y$ for some fixed points $x, y \in \mathbb F_q$. In this paper we prove that if $\mathcal F$ is an intersecting family with $|\mathcal F| \geq \frac 1{\sqrt 2} q^k + \mathcal O(q^{k-1})$, then $\mathcal F$ is contained in a star. In fact, we prove that this is still true if we also evaluate the polynomials "at infinity", which is equivalent to studying the problem for homogeneous bivariate polynomials. The proof technique extends to a general framework for intersection problems of linear codes $C$. One has to investigate the geometry of the projective system $\mathcal S$ associated to $C$. If the hyperplanes that don't intersect $\mathcal S$ are well spread out with respect to the points not on $\mathcal S$, then one obtains stability results, showing that any intersecting family of reasonably large size is contained in a star.

We study algebraic properties of the Tutte polynomial of a matroid and its generalizations to other combinatorially defined bivariate polynomial invariants. Merino, de Mier and Noy showed that the Tutte polynomial of a connected matroid is irreducible, and Bohn, Cameron and M{ü}ller conjectured the stronger property that the Galois/monodromy group of the Tutte polynomial of a connected matroid of rank r is isomorphic to the full symmetric group on r letters. First, we generalize the result of Merino-de Mier-Noy to the context of general ranked sets by exploiting a recent translation of the Brylawski relations, satisfied by the coefficients of the Tutte polynomial, into a functional identity. Second, we give the first confirmation of the conjecture of Bohn-Cameron-M{ü}ller for infinite families of connected matroids, including the cycle graphs and the uniform matroids. Moreover, we apply the large sieve to obtain a probabilistic statement showing that suitable linear combinations of coprime Tutte polynomials generically satisfy the conjecture.

The characterization of permutations over finite fields is an important topic in number theory with a long-standing history. This paper presents a systematic investigation of low-degree bivariate polynomial systems $F=(f_1(x,y),f_2(x,y))$ defined over $\mathbb{F}_{q}^2$. Specifically, we employ Hermite's Criterion to completely classify bivariate quadratic permutation polynomial systems, while utilizing the theory of permutation rational functions to give a full classification of bivariate 3-homogeneous permutation polynomial systems. Furthermore, as an application of our findings, we provide an explicit characterization of the permutation binomials of the form $x^3+ax^{2q+1}$ over $\mathbb{F}_{q^2}$ with characteristic $p\neq3$, thereby resolving a significant special case within this classical research domain.

In this paper, we introduce bivariate polynomial sets of deformed $q$-Appell type, and we study the algebraic properties of these sets. We show the relation between deformed bivariate $q$-Appell polynomials and deformed homogeneous polynomials. Next, we give some of their characterizations and algebraic structure. Then, we introduce the deformed $q$-Appell operators and obtain Mehler's and Rogers-type formulas of quasi-$q$-Appell polynomials. Finally, some examples of polynomial sequences of deformed $q$-Appell type are given: Bernoulli, Euler, and Genocchi types.

In this paper, we provide some novel binomial convolution related to symmetric functions, as well as convolution sums without the binomial symbol. Moreover we give some new convolution sums of Bernoulli, Euler, and Genocchi numbers and polynomials with symmetric functions , by making use of the elementary methods including exponential generating functions. From these convolutions we deduce several new combinatorial identities for bivariate polynomials, and we establish several new identities related Bernoulli, Euler and Genocchi numbers and polynomials with certain bivariate polynomials such as bivariate Fibonacci, bivariate Lucas, bivariate balancing and bivariate balancing-Lucas polynomials.

The expansion of bivariate polynomials is well-understood for sets with a linear-sized product set. In contrast, not much is known for sets with small sumset. In this work, we provide expansion bounds for polynomials of the form $f(x, y) = g(x + p(y)) + h(y)$ for sets with small sumset. In particular, we prove that when $|A|$, $|B|$, $|A + A|$, and $|B + B|$ are not too far apart, for every $\varepsilon > 0$ we have \[|f(A, B)| = Ω\left(\frac{|A|^{256/121 - \varepsilon}|B|^{74/121 - \varepsilon}}{|A + A|^{108/121}|B + B|^{24/121}}\right).\] We show that the above bound and its variants have a variety of applications in additive combinatorics and distinct distances problems. Our proof technique relies on the recent proximity approach of Solymosi and Zahl. In particular, we show how to incorporate the size of a sumset into this approach.

The bivariate $P$- and $Q$-polynomial structures of association schemes based on attenuated spaces are examined using recurrence and difference relations of the bivariate polynomials which form the eigenvalues of the scheme. These bispectral properties are obtained from contiguity relations of univariate dual $q$-Hahn and affine $q$-Krawtchouk polynomials. The bispectral algebra associated to the bivariate polynomials is investigated, as well as the subconstituent algebra of the schemes. The properties of the schemes are compared to those of the non-binary Johnson schemes through a limit.

The study of $P$-polynomial association schemes (distance-regular graphs) and $Q$-polynomial association schemes, and in particular $P$- and $Q$-polynomial association schemes, has been a central theme not only in the theory of association schemes but also in the whole study of algebraic combinatorics in general. Leonard's theorem (1982) says that the spherical functions (or the character tables) of $P$- and $Q$-polynomial association schemes are described by Askey-Wilson orthogonal polynomials or their relatives. These polynomials are one-variable orthogonal polynomials. It seems that the new attempt to define and study higher rank $P$- and $Q$-polynomial association schemes had been hoped for, but had gotten only limited success. The first very successful attempt was initiated recently by Bernard-Crampé-d'Andecy-Vinet-Zaimi [arXiv:2212.10824], and then followed by Bannai-Kurihara-Zhao-Zhu [arXiv:2305.00707]. The general theory and some explicit examples of families of higher rank (multivariate) $P$- and/or $Q$-polynomial association schemes have been obtained there. The main purpose of the present paper is to prove that some important families of association schemes are shown to be bivariate $Q$-polynomial. Namely, we show that all the nonbinary Johnson association schemes and all the attenuated space association schemes are bivariate $Q$-polynomial. It should be noted that the parameter restrictions needed in the previous papers are completely lifted in this paper. Our proofs are done by explicitly calculating the Krein parameters of these association schemes. At the end, we mention some speculations and indications of what we can expect in the future study.

Brawley and Carlitz introduced diamond products of elements of finite fields and associated composed products of polynomials in 1987. Composed products yield a method to construct irreducible polynomials of large composite degrees from irreducible polynomials of lower degrees. We show that the composed product of two irreducible polynomials of degrees $m$ and $n$ is again irreducible if and only if $m$ and $n$ are coprime and the involved diamond product satisfies a special cancellation property, the so-called conjugate cancellation. This completes the characterization of irreducible composed products, considered in several previous papers. More generally, we give precise criteria when a diamond product satisfies conjugate cancellation. For diamond products defined via bivariate polynomials, we prove simple criteria that characterize when conjugate cancellation holds. We also provide efficient algorithms to check these criteria. We achieve stronger results as well as more efficient algorithms in the case that the polynomials are bilinear. Lastly, we consider possible constructions of normal elements using composed products and the methods we developed.

Ovoids of the Klein quadric $Q^+(5,q)$ of $\mathrm{PG}(5,q)$ have been studied in the last 40 year, also because of their connection with spreads of $\mathrm{PG}(3,q)$ and hence translation planes. Beside the classical example given by a three dimensional elliptic quadric (corresponding to the regular spread of $\mathrm{PG}(3,q)$) many other classes of examples are known. First of all the other examples (beside the elliptic quadric) of ovoids of $Q(4,q)$ give also examples of ovoids of $Q^+(5,q)$. Another important class of ovoids of $Q^+(5,q)$ is given by the ones associated to a flock of a three dimensional quadratic cone. To every ovoid of $Q^+(5,q)$ two bivariate polynomials $f_1(x,y)$ and $f_2(x,y)$ can be associated. In this paper, we classify ovoids of $Q^+(5,q)$ such that $f_1(x,y)=y+g(x)$ and $\max\{deg(f_1),deg(f_2)\}<(\frac{1}{6.3}q)^{\frac{3}{13}}-1$, that is $f_1(x,y)$ and $f_2(x,y)$ have "low degree" compared with $q$.

An association scheme is $P$-polynomial if and only if it consists of the distance matrices of a distance-regular graph. Recently, bivariate $P$-polynomial association schemes of type $(α,β)$ were introduced by Bernard et al., and multivariate $P$-polynomial association schemes were later defined by Bannai et al. In this paper, the notion of $m$-distance-regular graph is defined and shown to give a graph interpretation of the multivariate $P$-polynomial association schemes. Various examples are provided. Refined structures and additional constraints for multivariate $P$-polynomial association schemes and $m$-distance-regular graphs are also considered. In particular, bivariate $P$-polynomial schemes of type $(α, β)$ are discussed, and their connection to 2-distance-regular graphs is established.

The notion of multivariate $P$- and $Q$-polynomial association scheme has been introduced recently, generalizing the well-known univariate case. Numerous examples of such association schemes have already been exhibited. In particular, it has been demonstrated that the non-binary Johnson scheme is a bivariate $P$-polynomial association scheme. We show here that it is also a bivariate $Q$-polynomial association scheme for some parameters. This provides, with the $P$-polynomial structure, the bispectral property (i.e. the recurrence and difference relations) of a family of bivariate orthogonal polynomials made out of univariate Krawtchouk and dual Hahn polynomials. The algebra based on the bispectral operators is also studied together with the subconstituent algebra of this association scheme.

The classification problem of $P$- and $Q$-polynomial association schemes has been one of the central problems in algebraic combinatorics. Generalizing the concept of $P$- and $Q$-polynomial association schemes to multivariate cases, namely to consider higher rank $P$- and $Q$-polynomial association schemes, has been tried by some authors, but it seems that so far there were neither very well-established definition nor results. Very recently, Bernard, Crampé, d'Andecy, Vinet, and Zaimi [arXiv:2212.10824], defined bivariate $P$-polynomial association schemes, as well as bivariate $Q$-polynomial association schemes. In this paper, we study these concepts and propose a new modified definition concerning a general monomial order, which is more general and more natural and also easy to handle. We prove that there are many interesting families of examples of multivariate $P$- and/or $Q$-polynomial association schemes.

We consider three bivariate polynomial invariants $P$, $A$, and $S$ for rooted trees, as well as a trivariate polynomial invariant $M$. These invariants are motivated by random destruction processes such as the random cutting model or site percolation on rooted trees. We exhibit recursion formulas for the invariants and identities relating $P$, $S$, and $M$. The main result states that the invariants $P$ and $S$ are complete, that is they distinguish rooted trees (in fact, even rooted forests) up to isomorphism. The proof method relies on the obtained recursion formulas and on irreducibility of the polynomials in suitable unique factorization domains. For $A$, we provide counterexamples showing that it is not complete, although that question remains open for the trivariate invariant $M$.

Bivariate P-polynomial association scheme of type $(α,β)$ are defined as a generalization of the P-polynomial association schemes. This generalization is shown to be equivalent to a set of conditions on the intersection parameters. A number of known higher rank association schemes are seen to belong to this broad class. Bivariate Q-polynomial association schemes are similarly defined.

Ovoids of the non-degenerate quadric Q(4,q) of PG(4,q) have been studied since the end of the '80s. They are rare objects and, beside the classical example given by an elliptic quadric, only three classes are known for q odd, one class for $q$ even, and a sporadic example for $ìq=3^5. It is well known that to any ovoid of Q(4,q) a bivariate polynomial f(x,y) can be associated. In this paper we classify ovoids of Q(4,q) whose corresponding polynomial f(x,y) has 'low degree' compared with q, in particular deg(f)<(q/6.3)^(3/13)-1. Finally, as an application, {two classes} of permutation polynomials in characteristic 3 are obtained.