Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Gamma vectors as inverted Chebyshev expansions, type A to B transformations, and connections to algebraic structures
Given a reciprocal/palindromic polynomial of even degree, we show that the gamma vector is essentially given by an inverted Chebyshev polynomial basis expansion. As an immediate consequence, we characterize real-rootedness of a linear combination of Chebyshev polynomials in terms of real-rootedness of that of the reciprocal polynomial built out of an inverted scaled tuple of the coefficients with one fixed and the rest divided by 2. It can be taken as a counterpart for arbitrary dimensions of a recent result of Bel-Afia--Meroni--Telen on hyperbolicity of Chebyshev curves with respect to the origin. In general, Chebyshev varieties serve as a counterpart of toric varieties in sparse polynomial root finding. Apart from this, the inverted Chebyshev expansion also yields connections between intrinsic properties of the gamma vector construction and the geometric combinatorics of simplicial complexes and posets.
We find this by applying work of Hetyei on Tchebyshev subdivisions and Tchebyshev posets. In particular, we find that the gamma vector transformation is closely related to $f$-vectors of simplicial complexes resulting from successive edge subdivisions that transform the type A Coxeter complex to the type B Coxeter complex. Lifting to this to a modification of $cd$-indices, we show that the gamma vector inverted Chebyshev polynomial expansion lifts to a sum of (subdivisions of) cross polytopes which can be computed using (topological) descent statistics. While there are many examples where gamma positivity involving descent statistics, it is interesting to note we only assume the input polynomial is reciprocal/palindromic. Finally, Chebyshev polynomials of the second kind from derivatives give connections to Hopf algebras and quasisymmetric functions along with Lefschetz-type maps induced by $\mathfrak{sl}_2(\mathbb{C})$-representations.
The $\mathfrak{sl}_2$-actions on the symmetric polynomials and on Young diagrams
Published
• View Publication
• BIB
In the article, two implementations of the representation of the complex Lie algebra $\mathfrak{sl}_2$ on the algebra of symmetric polynomials $Λ_n$ by differential operators are proposed. The realizations of irreducible subrepresentations, both finite-dimensional and infinite-dimensional, are described, and the decomposition of $Λ_n$ is found. The actions on the Schur polynomials is also determined. By using an isomorphism between $Λ_n$ and the vector space of Young diagrams $\mathbb{Q}\mathcal{Y}_n$ with no more than $n$ rows, these representations are transferred to $\mathbb{Q}\mathcal{Y}_n$.
Shifted and Threshold Matroids
Published
• View Publication
• BIB
We characterize the class of threshold matroids by the structure of their defining bases. We also give an example of a shifted matroid which is not threshold, answering a question of Deza and Onn. We conclude by exploring consequences of our characterization of threshold matroids: We give a formula for the number of isomorphism classes of threshold matroids on a ground set of size n. This enumeration shows that almost all shifted matroids are not threshold. We also present a polynomial-time algorithm to check if a matroid is threshold and provide alternative and simplified proofs of some of the main results of Deza and Onn.
Poisson approximation for large permutation groups
Published in Advances in Applied Mathematics Volume 167, Article 102883 (2025)
• View Publication
• BIB
Let $G_{k,n}$ be a group of permutations of $kn$ objects which permutes things independently in disjoint blocks of size $k$ and then permutes the blocks. We investigate the probabilistic and/or enumerative aspects of random elements of $G_{k,n}$. This includes novel limit theorems for fixed points, cycles of various lengths, number of cycles and inversions. The limits are compound Poisson distributions with interesting dependence structure.
Towards an optimal hypergraph container lemma
Published
• View Publication
• BIB
The hypergraph container lemma is a powerful tool in probabilistic combinatorics that has found many applications since it was first proved a decade ago. Roughly speaking, it asserts that the family of independent sets of every uniform hypergraph can be covered by a small number of almost-independent sets, called containers. In this article, we formulate and prove two new versions of the lemma that display the following three attractive features. First, they both admit short and simple proofs that have surprising connections to other well-studied topics in probabilistic combinatorics. Second, they use alternative notions of almost-independence in order to describe the containers. Third, they yield improved dependence of the number of containers on the uniformity of the hypergraph, hitting a natural barrier for second-moment-type approaches.
New Families of tripartite graphs with local antimagic chromatic number 3
Published
• View Publication
• BIB
For a graph $G(V,E)$ of size $q$, a bijection $f : E(G) \to [1,q]$ is a local antimagc labeling if it induces a vertex labeling $f^+ : V(G) \to \mathbb{N}$ such that $f^+(u) \ne f^+(v)$, where $f^+(u)$ is the sum of all the incident edge label(s) of $u$, for every edge $uv \in E(G)$. In this paper, we make use of matrices of fixed sizes to construct several families of infinitely many tripartite graphs with local antimagic chromatic number 3.
Saturation Numbers for Linear Forests $P_7+tP_2$
Let $H$ be a fixed graph, a graph G is $H$-saturated if it has no copy of $H$ in $G$, but the addition of any edge in $E(\overline G)$ to $G$ results in an $H$-subgraph. The saturation number sat$(n,H)$ is the minimum number of edges in an $H$-saturated graph on $n$ vertices. In this paper, we determine the saturation number sat$(n,P_7+tP_2)$ for $n\geq \frac {14}{5}t+27$ and characterize the extremal graphs for $n\geq \frac{14}{13}(3t+25)$.
On the locating-chromatic number of corona product of graphs
Let $G=(V,E)$ be a finite, simple, and connected graph. The locating-chromatic number of a graph $G$ can be defined as the cardinality of a minimum resolving partition of the vertex set $V(G)$ such that all vertices have different coordinates and every two adjacent vertices in $G$ is not contained in the same partition class. In this case, the coordinate of a vertex in $G$ is expressed in terms of the distances of this vertex to all partition classes. The corona product of a graph $G$ of order $n$ and a graph $H,$ denoted by $G \odot H,$ is the graph obtained by taking one copy of $G$ and $n$ copies of $H$ and joining the $i^{th}$-vertex of $G$ to every vertex in the $i^{th}$-copy of $H$. In this paper, we determine the sharp general bound of the locating-chromatic number of $G \odot H$ for $G$ is a connected graph and $H$ is an arbitrary graph, or $G$ is a tree graph and $H$ is a complement of complete graph.
From Maximum Cut to Maximum Independent Set
The Maximum Cut (Max-Cut) problem could be naturally expressed either in a Quadratic Unconstrained Binary Optimization (QUBO) formulation, or as an Ising model. It has long been known that the Maximum Independent Set (MIS) problem could also be related to a specific Ising model. Therefore, it would be natural to attack MIS with various Max-Cut/Ising solvers. It turns out that this strategy greatly improves the approximation for the independence number of random Erdős-Rényi graphs. It also exhibits perfect performance on a benchmark arising from coding theory. These results pave the way for further development of approximate quantum algorithms on MIS, and specifically on the corresponding coding problems.
Hamiltonicity of Cartesian products of graphs
Published
• View Publication
• BIB
A path factor in a graph $G$ is a factor of $G$ in which every component is a path on at least two vertices. Let $T\Box P_n$ be the Cartesian product of a tree $T$ and a path on $n$ vertices. Kao and Weng proved that $T\Box P_n$ is hamiltonian if $T$ has a path factor, $n$ is an even integer and $n\geq 4Δ(T)-2$. They conjectured that for every $Δ\geq 3$ there exists a graph $G$ of maximum degree $Δ$ which has a path factor, such that for every even $n< 4Δ-2$ the product $G\Box P_n$ is not hamiltonian. In this article we prove this conjecture.
Most $q$-matroids are not representable
Published
• View Publication
• BIB
A $q$-matroid is the analogue of a matroid which arises by replacing the finite ground set of a matroid with a finite-dimensional vector space over a finite field. These $q$-matroids are motivated by coding theory as the representable $q$-matroids are the ones that stem from rank-metric codes. In this note, we establish a $q$-analogue of Nelson's theorem in matroid theory by proving that asymptotically almost all $q$-matroids are not representable. This answers a question about representable $q$-matroids by Jurrius and Pellikaan strongly in the negative.
Three applications of coverings to difference patterns
Published
• View Publication
• BIB
We show that a conceptually simple covering technique has surprisingly rich applications to density theorems and conjectures on patterns in sets involving set differences. These applications fall into three categories: (i) analogues of these statements to distance $2$ versions of the pattern, (ii) reduction of these statements to relative versions, and (iii) reductions of these statements to a quasirandom case with respect to some quantities that affect the number of realisations of the pattern.
Periodic minimum in the count of binomial coefficients not divisible by a prime
Published
• View Publication
• BIB
The summatory function of the number of binomial coefficients not divisible by a prime is known to exhibit regular periodic oscillations, yet identifying the less regularly behaved minimum of the underlying periodic functions has been open for almost all cases. We propose an approach to identify such minimum in some generality, solving particularly a previous conjecture of B. Wilson [Asymptotic behavior of Pascal's triangle modulo a prime, Acta Arith. 83 (1998), pp. 105-116].
Higher $q$-Continued Fractions
Published
• View Publication
• BIB
We introduce a $q$-analog of the higher continued fractions introduced by the last three authors in a previous work (together with Gregg Musiker), which are simultaneously a generalization of the $q$-rational numbers of Morier-Genoud and Ovsienko. They are defined as ratios of generating functions for $P$-partitions on certain posets. We give matrix formulas for computing them, which generalize previous results in the $q=1$ case. We also show that certain properties enjoyed by the $q$-rationals are also satisfied by our higher versions.
New refinements of Narayana polynomials and Motzkin polynomials
Published
• View Publication
• BIB
Chen, Deutsch and Elizalde introduced a refinement of the Narayana polynomials by distinguishing between old (leftmost child) and young leaves of plane trees. They also provided a refinement of Coker's formula by constructing a bijection. In fact, Coker's formula establishes a connection between the Narayana polynomials and the Motzkin polynomials, which implies the $γ$-positivity of the Narayana polynomials. In this paper, we introduce the polynomial $G_{n}(x_{11},x_{12},x_2;y_{11},y_{12},y_2)$, which further refine the Narayana polynomials by considering leaves of plane trees that have no siblings. We obtain the generating function for $G_n(x_{11},x_{12},x_2;y_{11},y_{12},y_2)$. To achieve further refinement of Coker's formula based on the polynomial $G_n(x_{11},x_{12},x_2;y_{11},y_{12},y_2)$, we consider a refinement $M_n(u_1,u_2,u_3;v_1,v_2)$ of the Motzkin polynomials by classifying the old leaves of a tip-augmented plane tree into three categories and the young leaves into two categories. The generating function for $M_n(u_1,u_2,u_3;v_1,v_2)$ is also established, and the refinement of Coker's formula is immediately derived by combining the generating function for $G_n(x_{11},x_{12},x_2;y_{11},y_{12},y_2)$ and the generating function for $M_n(u_1,u_2,u_3;v_1,v_2)$. We derive several interesting consequences from this refinement of Coker's formula. The method used in this paper is the grammatical approach introduced by Chen. We develop a unified grammatical approach to exploring polynomials associated with the statistics defined on plane trees. As you will see, the derivations of the generating functions for $G_n(x_{11},x_{12},x_2;{y}_{11},{y}_{12},y_2)$ and $M_n(u_1,u_2,u_3;v_1,v_2)$ become quite simple once their grammars are established.
Skeletal generalizations of Dyck paths, parking functions, and chip-firing games
Published
• View Publication
• BIB
For $0\leq k\leq n-1$, we introduce a family of $k$-skeletal paths which are counted by the $n$-th Catalan number for each $k$, and specialize to Dyck paths when $k=n-1$. We similarly introduce $k$-skeletal parking functions which are equinumerous with the spanning trees on $n+1$ vertices for each $k$, and specialize to classical parking functions for $k=n-1$. The preceding constructions are generalized to paths lying in a trapezoid with base $c > 0$ and southeastern diagonal of slope $1/m$; $c$ and $m$ need not be integers. We give bijections among these families when $k$ varies with $m$ and $c$ fixed. Our constructions are motivated by chip firing and have connections to combinatorial representation theory and tropical geometry.
Constructing reflection-symmetric flexible realisations of graphs
Published
• View Publication
• BIB
We study reflection-symmetric realisations of symmetric graphs in the plane that allow a continuous symmetry and edge-length preserving deformation. To do so, we identify a necessary combinatorial condition on graphs with reflection-symmetric flexible realisations. This condition is based on a specific type of edge colouring, where edges are assigned one of three colours in a symmetric way. From some of these colourings we also construct concrete reflection-symmetric realisations with their corresponding symmetry preserving motion. We study also a specific class of reflection-symmetric realisations consisting of triangles and parallelograms.
Self-modified difference ascent sequences
Published
• View Publication
• BIB
Ascent sequences play a key role in the combinatorics of Fishburn structures. Difference ascent sequences are a natural generalization obtained by replacing ascents with $d$-ascents. We have recently extended the so-called hat map to difference ascent sequences, and self-modified difference ascent sequences are the fixed points under this map. We characterize self-modified difference ascent sequences and enumerate them in terms of certain generalized Fibonacci polynomials. Furthermore, we describe the corresponding subset of $d$-Fishburn permutations.
A generalization of the hexastix arrangement to higher dimensions
Hexastix is an arrangement of non-overlapping infinite hexagonal prisms in four different directions that cover $\frac{3}{4}$ of space. We consider a possible generalization to $n$ dimensions, based on the permutohedral lattice $A^*_n$. The central lines of the generalized prisms are going to be oriented in $n+1$ different directions (parallel to the shortest non-zero vectors of $A^*_n$). The projection of the lines oriented in any direction along that direction to a hyperplane perpendicular to it is required to be a translation of the corresponding projection of $A^*_n$, and the minimal distance between lines oriented in any two given directions should be maximal. It is shown that this is possible if $n$ is a prime power. Also, the proportion of $n$-space that is covered is calculated for $n \in \{4, 5\}$, and an alternative generalization is briefly considered.
On determinants of tournaments and $\mathcal{D}_k$
Let $T$ be a tournament with $n$ vertices $v_1,\ldots,v_n$. The skew-adjacency matrix of $T$ is the $n\times n$ zero-diagonal matrix $S_T = [s_{ij}]$ in which $s_{ij}=-s_{ji}=1$ if $ v_i $ dominates $ v_j $. We define the determinant $\det(T)$ of $ T $ as the determinant of $ S_T $. It is well-known that $\det(T)=0$ if $n$ is odd and $\det(T)$ is the square of an odd integer if $n$ is even. Let $\mathcal{D}_k$ be the set of tournaments whose all subtournaments have determinant at most $ k^{2} $, where $k$ is a positive odd integer. The necessary and sufficient condition for $T\in \mathcal{D}_1$ or $T\in \mathcal{D}_3$ has been characterized in $2023$. In this paper, we characterize the set $\mathcal{D}_5$, obtain some properties of $\mathcal{D}_k$. Moreover, for any positive odd integer $k$, we give a construction of a tournament $T$ satisfying that $\det(T)=k^2$, and $T\in \mathcal{D}_k\backslash\mathcal{D}_{k-2}$ if $k\geq 3$, which implies $\mathcal{D}_k\backslash\mathcal{D}_{k-2}$ is not an empty set for $k\geq 3$.