arXiv++ Combinatorics

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.

In this paper, we prove the first incidence bound for points and conics over prime fields. As applications, we prove new results on expansion of bivariate polynomial images and on certain variations of distinct distances problems. These include new lower bounds on the number of pinned algebraic distances as well as improvements of results of Koh and Sun (2014) and Shparlinski (2006) on the size of the distance set formed by two large subsets of finite dimensional vector spaces over finite fields. We also prove a variant of Beck's theorem for conics.

For any northeast path $ν$, we define two bivariate polynomials associated with the $ν$-associahedron: the $F$- and the $H$-triangle. We prove combinatorially that we can obtain one from the other by an invertible transformation of variables. These polynomials generalize the classical $F$- and $H$-triangles of F.~Chapoton in type $A$. Our proof is completely new and has the advantage of providing a combinatorial explanation of the relation between the $F$- and $H$-triangle.

The non-convexity of a smooth and compact connected component of a real algebraic plane curve can be measured by a combinatorial object called the Poincare-Reeb tree associated to the curve and to a direction of projection. In this paper we show that if the chosen projection avoids the bitangents and the inflectional tangencies to the small enough level curves of a real bivariate polynomial function near a strict local minimum at the origin, then the asymptotic Poincare-Reeb tree becomes a complete binary tree and its vertices become endowed with a total order relation. Such a projection direction is called generic. We prove that for any such asymptotic family of level curves, there are finitely many intervals on the real projective line outside of which all the directions are generic with respect to all the curves in the family. If the choice of the direction of projection is generic, then the local shape of the curves can be encoded in terms of alternating permutations, that we call snakes. The snakes offer an effective description of the local geometry and topology, well-suited for further computations.

The goal of this paper is to measure the non-convexity of compact and smooth connected components of real algebraic plane curves. We study these curves first in a general setting and then in an asymptotic one. In particular, we consider sufficiently small levels of a real bivariate polynomial in a small enough neighbourhood of a strict local minimum at the origin of the real affine plane. We introduce and describe a new combinatorial object, called the Poincare-Reeb graph, whose role is to encode the shape of such curves and to allow us to quantify their non-convexity. Moreover, we prove that in this setting the Poincare-Reeb graph is a plane tree and can be used as a tool to study the asymptotic behaviour of level curves near a strict local minimum. Finally, using the real polar curve, we show that locally the shape of the levels stabilises and that no spiralling phenomena occur near the origin.

Consider $n$ runners running on a circular track of unit length with constant speeds such that $k$ of the speeds are distinct. We show that, at some time, there will exist a sector $S$ which contains at least $|S|n+ Ω(\sqrt{k})$ runners. The result can be generalized as follows. Let $f(x,y)$ be a complex bivariate polynomial whose Newton polytope has $k$ vertices. Then there exists $a\in {\mathbb C}\setminus\{0\}$ and a complex sector $S=\{re^{\imath θ}: r>0, α\leq θ\leq β\}$ such that the univariate polynomial $f(x,a)$ contains at least $\frac{β-α}{2π}n+Ω(\sqrt{k})$ non-zero roots in $S$ (where $n$ is the total number of such roots and $0\leq (β-α)\leq 2π$). This shows that the Real $τ$-Conjecture of Koiran implies the conjecture on Newton polytopes of Koiran et al.

We define a bivariate polynomial for unlabeled rooted trees and show that the polynomial of an unlabeled rooted tree $T$ is the generating function of a class of subtrees of $T$. We prove that the polynomial is a complete isomorphism invariant for unlabeled rooted trees. Then, we generalize the polynomial to unlabeled unrooted trees and we show that the generalized polynomial is a complete isomorphism invariant for unlabeled unrooted trees.

The Tutte polynomial is originally a bivariate polynomial enumerating the colorings of a graph and of its dual graph. But it reveals more of the internal structure of the graph like its number of forests, of spanning subgraphs, and of acyclic orientations. In 2007, Ardila extended the notion of Tutte polynomial to the hyperplane arrangements, and computed the Tutte polynomials of the classical root systems for a certain prime power of the first variable. In this article, we compute Tutte polynomials of ideal arrangements. Those arrangements were introduced in 2006 by Sommers and Tymoczko, and are defined for ideals of root systems. For the ideals of the classical root systems, we bring a slight improvement of the finite field method showing that it can applied on any finite field whose cardinality is not a minor of the matrix associated to a hyperplane arrangement. Computing the minor set associated to an ideal of a classical root system permits us particularly to deduce the Tutte polynomials of the classical root systems. For the ideals of the exceptional root systems of type $G_2$, $F_4$, and $E_6$, we use the formula of Crapo.

We introduce a new bivariate polynomial which we call the defensive alliance polynomial and denote it by da(G; x, y). It is a generalization of the alliance polynomial [Carballosa et al., 2014] and the strong alliance polynomial [Carballosa et al., 2016]. We show the relation between da(G; x, y) and the alliance, the strong alliance and the induced connected subgraph [Tittmann et al., 2011] polynomials. Then, we investigate information encoded in da(G; x, y) about G. We discuss the defensive alliance polynomial for the path graphs, the cycle graphs, the star graphs, the double star graphs, the complete graphs, the complete bipartite graphs, the regular graphs, the wheel graphs, the open wheel graphs, the friendship graphs, the triangular book graphs and the quadrilateral book graphs. Also, we prove that the above classes of graphs are characterized by its defensive alliance polynomial. A relation between induced subgraphs with order three and both subgraphs with order three and size three and two respectively, is proved to characterize the complete bipartite graphs. Finally, we present the defensive alliance polynomial of the graph formed by attaching a vertex to a complete graph. We show two pairs of graphs which are not characterized by the alliance polynomial but characterized by the defensive alliance polynomial.

We investigate a trivariate polynomial associated with rooted trees. It generalises a bivariate polynomial for rooted trees that was recently introduced by Liu. We show that this polynomial satisfies a deletion-contraction recursion and can be expressed as a sum over maximal antichains. Several combinatorial quantities can be obtained as special values, in particular the number of antichains, maximal antichains and cutsets. We prove that two of the three possible bivariate specialisations characterise trees uniquely up to isomorphism. One of these has already been established by Liu, the other is new. For the third specialisation, we construct non-isomorphic trees with the same associated polynomial. We finally find that our polynomial can be generalised in a natural way to a family of posets that we call $\mathcal{V}$-posets. These posets are obtained recursively by either disjoint unions or adding a greatest/least element to existing $\mathcal{V}$-posets.

The aim of this paper is to give some combinatorial relations linked polynomials generalizing those of Appell type to the partial r-Bell polynomials. We give an inverse relation, recurrence relations involving some family of polynomials and their exact expressions at rational values in terms of the partial r-Bell polynomials. We illustrate the obtained results by various comprehensive examples.

The Tutte polynomial is originally a bivariate polynomial which enumerates the colorings of a graph and of its dual graph. Ardila extended in 2007 the definition of the Tutte polynomial on the real hyperplane arrangements. He particularly computed the Tutte polynomials of the hyperplane arrangements associated to the classical Weyl groups. Those associated to the exceptional Weyl groups were computed by De Concini and Procesi one year later. This article has two objectives: On one side, we extend the Tutte polynomial computing to the complex hyperplane arrangements. On the other side, we introduce a wider class of hyperplane arrangements which is that of the symmetric hyperplane arrangements. Computing the Tutte polynomial of a symmetric hyperplane arrangement permits us to deduce the Tutte polynomials of some hyperplane arrangements, particularly of those associated to the imprimitive reflection groups.

It is a classical result that the parity-balance of the number of weak excedances of all permutations (derangements, respectively) of length $n$ is the Euler number $E_n$, alternating in sign, if $n$ is odd (even, respectively). Josuat-Vergès obtained a $q$-analog of the results respecting the number of crossings of a permutation. One of the goals in this paper is to extend the results to the permutations (derangements, respectively) of types B and D, on the basis of the joint distribution in statistics excedances, crossings and the number of negative entries obtained by Corteel, Josuat-Vergès and Kim. Springer numbers are analogous Euler numbers that count the alternating permutations of type B, called snakes. Josuat-Vergès derived bivariate polynomials $Q_n(t,q)$ and $R_n(t,q)$ as generalized Euler numbers via successive $q$-derivatives and multiplications by $t$ on polynomials in $t$. The other goal in this paper is to give a combinatorial interpretation of $Q_n(t,q)$ and $R_n(t,q)$ as the enumerators of the snakes with restrictions.

We introduce a new bivariate polynomial ${\displaystyle J(G; x,y):=\sum\limits_{W \in V(G)} x^{|W|}y^{|N(W)|}}$ which contains the standard domination polynomial of the graph $G$ in two different ways. We build methods for efficient calculation of this polynomial and prove that there are still some families of graphs which have the same bivariate polynomial.

Originally in 1954 the Tutte polynomial was a bivariate polynomial associated to a graph in order to enumerate the colorings of this graph and of its dual graph at the same time. However the Tutte polynomial reveals more of the internal structure of a graph, and contains even other specializations from other sciences like the Jones polynomial in Knot theory, the partition function of the Pott model in statistical physics, and the reliability polynomial in network theory. In this article, we study the Tutte polynomial associated to more general objects which are the arrangements of hyperplanes. Indeed determining the Tutte polynomial of a graph is equivalent to determining the Tutte polynomial of a special hyperplane arrangement called graphic arrangement. In 2007 Ardila computed the Tutte polynomials of the hyperplane arrangements associated to the classical Weyl groups, and the characteristic polynomials of the Catalan arrangements. The charateristic polynomial is also a specialization of the Tutte polynomial. In 2012 Seo computed the characteristic polynomials of the Shi threshold arrangements, and in 2017 Song computed the characteristic polynomials of the $\mathcal{I}_n$ arrangements in the plane and in the space. We aim to bring a more general result by introducing a wider class of hyperplane arrangements which is the set of symmetric hyperplane arrangements. We compute the Tutte polynomial of a symmetric hyperplane arrangement, and, as examples of application, we deduce the Tutte polynomials of the Catalan, the Shi threshold, and the $\mathcal{I}_n$ arrangements.

Let X $\subseteq$ {0, 1} n. Then the daisy cube Q n (X) is introduced as the sub-graph of Q n induced by the intersection of the intervals I(x, 0 n) over all x $\in$ X. Daisy cubes are partial cubes that include Fibonacci cubes, Lucas cubes, and bipartite wheels. If u is a vertex of a graph G, then the distance cube polynomial D G,u (x, y) is introduced as the bivariate polynomial that counts the number of induced subgraphs isomorphic to Q k at a given distance from the vertex u. It is proved that if G is a daisy cube, then D G,0 n (x, y) = C G (x + y -- 1), where C G (x) is the previously investigated cube polynomial of G. It is also proved that if G is a daisy cube, then D G,u (x, --x) = 1 holds for every vertex u in G.

Let $\k$ be a field and let $A$ be a standard $\mathbb{N}$-graded $\k$-algebra. Using numerical information of some invariants in the primary decomposition of $0$ in $A$, namely the so called dimension filtration, we associate a bivariate polynomial $\BW(A;t,w)$, that we call the Björner--Wachs polynomial, to $A$. It is shown that the Björner--Wachs polynomial is an algebraic counterpart of the combinatorially defined $h$-triangle of finite simplicial complexes introduced by Björner \& Wachs. We provide a characterisation of sequentially Cohen--Macaulay algebras in terms of the effect of the reverse lexicographic generic initial ideal on the Björner--Wachs polynomial. More precisely, we show that a graded algebra is sequentially Cohen--Macaulay if and only if it has a stable Björner--Wachs polynomial under passing to the reverse lexicographic generic initial ideal. We conclude by discussing connections with the Hilbert series of local cohomology modules.