Showing 20 papers (Total: 83722 papers, 48319 authors in database)
The $m$th-order Eulerian Numbers
We define the $m$th-order Eulerian numbers with a combinatorial interpretation. The recurrence relation of the $m$th-order Eulerian numbers, the row generating function and the row sums of the $m$th-order Eulerian triangle are presented. We also define the $m$th-order Eulerian fraction and its alternative form. Some properties of the $m$th-order Eulerian fractions are represented by using differentiation and integration. An inversion relationship between second-order Eulerian numbers and Stirling numbers of the second kind is given. Finally, we give the exact expression of the values of the $m$th-order Eulerian numbers.
Chevalley formulae for the motivic Chern classes of Schubert cells and for the stable envelopes
Published
• View Publication
• BIB
We prove a Chevalley formula to multiply the motivic Chern classes of Schubert cells in a generalized flag manifold $G/P$ by the class of any line bundle $\mathcal{L}_λ$. Our formula is given in terms of the $λ$-chains of Lenart and Postnikov. Its proof relies on a change of basis formula in the affine Hecke algebra due to Ram, and on the Hecke algebra action on torus-equivariant K-theory of the complete flag manifold $G/B$ via left Demazure--Lusztig operators. We revisit some wall-crossing formulae for the stable envelopes in $T^*(G/B)$. We use our Chevalley formula, and the equivalence between motivic Chern classes of Schubert cells and K-theoretic stable envelopes in $T^*(G/B)$, to give formulae for the change of polarization, and for the change of slope for stable envelopes. We prove several additional applications, including Serre, star, and Dynkin, dualities of the Chevalley coefficients, new formulae for the Whittaker functions, and for the Hall--Littlewood polynomials. We also discuss positivity properties of Chevalley coefficients, and properties of the coefficients arising from multiplication by minuscule weights.
Quiver semi-invariants and SAGBI bases
Published
• View Publication
• BIB
We introduce a new combinatorial structure of linked tableaux, which generalize the semi-standard tableaux that index a SAGBI basis of the Plücker coordinate ring of a flag variety. We show that linked tableaux index Domokos-Zubkov semi-invariants, which span the semi-invariant ring of a quiver. The semi-invariant ring of a quiver coincides in many cases with the Cox ring of an associated quiver moduli space. We show that these semi-invariants satisfy straightening laws. In the case of the generalized Kronecker quiver, we prove that the semi-invariants associated to semi-standard linked tableaux are a (possibly infinite) SAGBI basis. For the generalized Kronecker quiver with dimension vector (2,2), we show that the SAGBI basis is finite and describe it explicitly.
Disjoint list-colorings for planar graphs
One of Thomassen's classical results is that every planar graph of girth at least $5$ is 3-choosable. One can wonder if for a planar graph $G$ of girth sufficiently large and a $3$-list-assignment $L$, one can do even better. Can one find $3$ disjoint $L$-colorings (a packing), or $2$ disjoint $L$-colorings, or a collection of $L$-colorings that to every vertex assigns every color on average in one third of the cases (a fractional packing)? We prove that the packing is impossible, but two disjoint $L$-colorings are guaranteed if the girth is at least $8$, and a fractional packing exists when the girth is at least $6.$
For a graph $G$, the least $k$ such that there are always $k$ disjoint proper list-colorings whenever we have lists all of size $k$ associated to the vertices is called the list packing number of $G$. We lower the two-times-degeneracy upper bound for the list packing number of planar graphs of girth $3,4$ or $5$. As immediate corollaries, we improve bounds for $ε$-flexibility of classes of planar graphs with a given girth. For instance, where previously Dvořák et al. proved that planar graphs of girth $6$ are (weighted) $ε$-flexibly $3$-choosable for an extremely small value of $ε$, we obtain the optimal value $ε=\frac{1}{3}$. Finally, we completely determine and show interesting behavior on the packing numbers for $H$-minor-free graphs for some small graphs $H.$
Expansion of a digraph with a doubly bidirectionally connected pair is not cactus
Azuma et al. showed that strongly connected digraph without doubly bidirectionally connected pair is cactus-expandable. We show the converse; namely, If a digraph has a doubly bidirectionally connected pair, then its expansion cannot be cactus.
Symmetric noncrossing partitions of an annulus with double points
For affine Coxeter groups of affine types $\tilde D$ and $\tilde B$, we model the interval $[1,c]_T$ in the absolute order by symmetric noncrossing partitions of an annulus with one or two double points. In type $\tilde B$ (and \emph{almost} in type $\tilde D$), the diagrams also model the larger lattice defined by McCammond and Sulway.
Using oriented matroids to find low rank structure in presence of nonlinearity
Estimating the linear dimensionality of a data set in the presence of noise is a common problem. However, data may also be corrupted by monotone nonlinear distortion that preserves the ordering of matrix entries but causes linear methods for estimating rank to fail. In light of this, we consider the problem of computing \emph{underlying rank}, which is the lowest rank consistent with the ordering of matrix entries, and \emph{monotone rank}, which is the lowest rank consistent with the ordering within columns. We show that each matrix of monotone rank $d$ corresponds to a point arrangement and a hyperplane arrangement in $\mathbb R^{d}$, and that the ordering within columns of the matrix can be used to recover information about these arrangements. Using Radon's theorem and the related concept of the VC dimension, we can obtain lower bounds on the monotone rank of a matrix. However, we also show that the monotone rank of a matrix can exceed these bounds. In order to obtain better bounds on monotone rank, we develop the connection between monotone rank estimation and oriented matroid theory. Using this connection, we show that monotone rank is difficult to compute: the problem of deciding whether a matrix has monotone rank two is already NP-hard. However, we introduce an "oriented matroid completion" problem as a combinatorial relaxation of the monotone rank problem and show that checking whether a set of sign vectors has matroid completion rank two is easy.
Families of Linearly $χ$-bounded Graphs without Chair or its Induced Sub-graphs
A hereditary class H of graphs is $χ$-bounded if there is a $χ$-binding function f such that for every $G$ in $H$, $χ(G)$ less than or equal to $f(ω(G))$. Here we prove that if a graph $G$ is free of 1. {Chair; P$_4$+K$_1$} or 2. {Chair; HVN}, then $χ(G)$ is linearly bounded by maximum clique size of G. We further prove that if $G$ is free of 3. {P$_4$+K$_1$; P$_3$ $\cup$ K$_1$} or 4. {P4+K1; K$_2$ $\cup$ 2K$_1$} or 5. {HVN; P$_3$ $\cup$ K$_1$} or 6. {HVN; K$_2$ $\cup$ 2K$_1$} or 7. {K$_{5-e}$; P$_3$ $\cup$ K$_1$} or 8. {K$_{5-e}$; K$_2$ $\cup$ 2K$_1$}, then there is a tight linear $χ$-bound for $G$.
On the complexity of Cayley graphs on a dihedral group
Published
• View Publication
• BIB
In this paper, we investigate the complexity of an infinite family of Cayley graphs $\mathcal{D}_{n}=Cay(\mathbb{D}_{n}, b^{\pmβ_1},b^{\pmβ_2},\ldots,b^{\pmβ_s}, a b^{γ_1}, a b^{γ_2},\ldots, a b^{γ_t} )$ on the dihedral group $\mathbb{D}_{n}=\langle a,b| a^2=1, b^n=1,(a\,b)^2=1\rangle$ of order $2n.$
We obtain a closed formula for the number $τ(n)$ of spanning trees in $\mathcal{D}_{n}$ in terms of Chebyshev polynomials, investigate some arithmetical properties of this function, and find its asymptotics as $n\to\infty.$ Moreover, we show that the generating function $F(x)=\sum\limits_{n=1}^\inftyτ(n)x^n$ is a rational function with integer coefficients.
Kromatic quasisymmetric functions
Published in Electron. J. Combin. 32 (2025), no. 1, Research Paper 11
• View Publication
• BIB
We provide a construction for the kromatic symmetric function $\overline{X}_G$ of a graph introduced by Crew, Pechenik, and Spirkl using combinatorial (linearly compact) Hopf algebras. As an application, we show that $\overline{X}_G$ has a positive expansion into multifundamental quasisymmetric functions. We also study two related quasisymmetric $q$-analogues of $\overline{X}_G$, which are $K$-theoretic generalizations of the quasisymmetric chromatic function of Shareshian and Wachs. We classify exactly when one of these analogues is symmetric. For the other, we derive a positive expansion into symmetric Grothendieck functions when $G$ is the incomparability graph of a natural unit interval order.
A tight bound on $\{C_3,C_5\}$-free connected graphs with positive Lin-Lu-Yau Ricci curvature
Published
• View Publication
• BIB
In this paper, we prove that any simple $\{C_3,C_5\}$-free non-empty connected graph $G$ with LLY curvature bounded below by $κ>0$ has the order at most $2^{\frac{2}κ}$. This upper bound is achieved if and only if $G$ is a hypercube $Q_d$ and $κ=\frac{2}{d}$ for some integer $d\geq 1$.
The asymptotic of off-diagonal online Ramsey numbers for paths
Published in European Journal of Combinatorics, 122 (2024)
• View Publication
• BIB
We prove that for every $k\ge 10$, the online Ramsey number for paths $P_k$ and $P_n$ satisfies $\tilde{r}(P_k,P_n) \geq \frac{5}{3}n + \frac{k}{9} - 4$, matching up to a linear term in $k$ the upper bound recently obtained by Bednarska-Bzd{ę}ga. In particular, this implies $\lim_{n \rightarrow \infty} \frac{\tilde{r}(P_k, P_n)}{n} = \frac{5}{3}$, whenever $10 \le k=o(n)$, disproving a conjecture by Cyman, Dzido, Lapinskas and Lo.
Recovering trees from the cohomology ring of their configuration spaces
Given a tree $T$, the cohomology ring of its unordered configuration space $H^{\ast}(U\mathcal{D}^nT)$ is an exterior face algebra if $T$ is a binary core tree (if by removing the leaves from $T$ we obtain a binary tree), or if $n=4$. This means that every cup product is determined by a simplicial complex $K_nT$. In this paper we show how to recover the tree $T$ from the simplicial complex $K_nT$ when $n=4.$
The kernel-subdivision number of a digraph
It is well known that determining if a digraph has a kernel is an NP-complete problem. However, Topp proved that when subdividing every arc of a digraph we obtain a digraph with a kernel. In this paper we define the kernel subdivision number $κ(D)$ of a digraph $D$ as the minimum number of arcs, such that, when subdividing them, we obtain a digraph with a kernel. We give a general bound for $κ(D)$ in terms of the number of directed cycles of odd length and compute $κ(D)$ for a few families of digraphs.
If the digraph is $H$-colored, we can analogously define the $H$-kernel subdivision number. In this paper we also improve a result for $H$-kernels given by Galeana et al. to subdividing every arc of a spanning subgraph with certain properties. Finally we prove that when the directed cycles of a digraph overlap little enough, we can obtain a good bound for the $H$-kernel subdivision number.
A small morphism giving Abelian repetition threshold less than 2
Published
• View Publication
• BIB
It is known that there are infinite words over finite alphabets with Abelian repetition threshold arbitrarily close to 1; however, the construction previously used involves huge alphabets. In this note we give a short cyclic morphism (length 13) over an 8-letter alphabet yielding an Abelian repetition threshold less than 1.8.
An atomic Coxeter presentation
Published
• View Publication
• BIB
We study parabolic double cosets in a Coxeter system by decomposing them into atom(ic coset)s, a generalization of simple reflections introduced in a joint work with Elias, Libedinsky, Patimo. We define and classify braid relations between compositions of atoms and prove a Matsumoto theorem. Together with a quadratic relation, our braid relations give a presentation of nilCoxeter algebroids similar to Demazure's presentation of nilCoxeter algebras. Our consideration of reduced compositions of atoms gives rise to a new combinatorial structure, which is equipped with a length function and a Bruhat order and is realized as Tits cone intersections in the sense of Iyama-Wemyss.
Stanley decompositions of modules of covariants
Published
• View Publication
• BIB
Let $H$ be a complex reductive group, with finite-dimensional representations $W$ and $U$. The module of covariants for $W$ of type $U$ is the space of all $H$-equivariant polynomial maps $\varphi: W \longrightarrow U$. In this paper, we take $H$ to be one of the classical groups $\operatorname{GL}(V)$, $\operatorname{O}(V)$, or $\operatorname{Sp}(V)$, where $W$ is a direct sum of copies of $V$ and $V^*$, and $U$ is an arbitrary rational representation (with $U$ restricted to exterior powers of $V$ in the $H= \operatorname{O}(V)$ case). Our main result gives uniform Stanley decompositions of these modules of covariants, with Stanley spaces parametrized by combinatorial objects we call jellyfish. As a corollary, we write down the Hilbert series as a finite sum of rational functions, each with a combinatorial interpretation in terms of lattice paths. Notably, these results do not rely on the module being Cohen-Macaulay. We further apply our methods to invariant rings for $\operatorname{SL}(V)$ and $\operatorname{SO}(V)$. Our proofs (for $H = \operatorname{GL}(V)$ and $\operatorname{Sp}(V)$) rely on previous work by Jackson on standard monomial theory for dual reductive pairs, since classical modules of covariants can be viewed via Howe duality as Harish-Chandra modules of unitary highest weight representations of a certain real reductive group. As a first step toward extending this program to arbitrary unitary highest weight representations (including those of the exceptional groups), we establish analogous results uniformly for the Wallach representations of type ADE.
Cycle structure of Mallows permutation model with the $L^1$ distance
Introduced by Mallows as a ranking model in statistics, Mallows permutation model is a class of non-uniform probability distributions on the symmetric group $S_n$. The model depends on a distance metric on $S_n$ and a scale parameter $β$. In this paper, we take the distance metric to be the $L^1$ distance (also known as Spearman's footrule in the statistics literature), and investigate the cycle structure of random permutations drawn from Mallows permutation model with the $L^1$ distance.
We focus on the parameter regime where $β>0$. We show that the expected length of the cycle containing a given point is of order $\min\{\max\{β^{-2},1\},n\}$, and the expected diameter of the cycle containing a given point is of order $\min\{e^{-2β}\max\{β^{-2},1\}, n-1\}$. Moreover, when $β\ll n^{-1\slash 2}$, the sorted cycle lengths (in descending order) normalized by $n$ converge in distribution to the Poisson-Dirichlet law with parameter $1$. The proofs of the results rely on the hit and run algorithm, a Markov chain for sampling from the model.
Factorial Moments of the Geometric Distribution of Order $k$
We derive a simple expression for the $r^{th}$ factorial moment $μ_{(r)}$ of the geometric distribution of order $k$ with success parameter $p\in(0,1)$ (and $q=1-p$) in terms of its probability mass function $f_k(n)$. Specifically, $μ_{(r)} = r!f_k((r+1)k+r)/((qp^k)^{r+1})$.
On the General Dead-Ending Universe of Partizan Games
Published
• View Publication
• BIB
The universe $\mathcal{E}$ of dead-ending partizan games has emerged as an important structure in the study of misère play. Here we attempt a systematic investigation of the structure of $\mathcal{E}$ and its subuniverses. We begin by showing that the dead-ends exhibit a rich "absolute" structure, in the sense that they behave identically in any universe in which they appear.
We will use this result to construct an uncountable family of dead-ending universes and show that they collectively admit an uncountable family of distinct comparison relations. We will then show that whenever the ends of a universe $\mathcal{U} \subset \mathcal{E}$ are computable, then there is a constructive test for comparison modulo $\mathcal{U}$.
Finally, we propose a new type of generalized simplest form that works for arbitrary universes (including universes that are not dead-ending), and that is computable whenever comparison modulo $\mathcal{U}$ is computable. In particular, this gives a complete constructive theory for subuniverses of $\mathcal{E}$ with computable ends. This theory has been implemented in cgsuite as a proof of concept.
As an application of these results, we will characterize the universe generated by misère Domineering, and we will compute the misère simplest forms of $2 \times n$ Domineering rectangles for small values of $n$.