Showing 20 papers (Total: 84460 papers, 48641 authors in database)
$k$-positivity of dual canonical basis elements from 1324- and 2143-avoiding Kazhdan-Lusztig immanants
Published
• View Publication
• BIB
In this note, we show that certain dual canonical basis elements of $\mathbb{C}[SL_m]$ are positive when evaluated on $k$-positive matrices, matrices whose minors of size $k \times k$ and smaller are positive. Skandera showed that all dual canonical basis elements of $\mathbb{C}[SL_m]$ can be written in terms of Kazhdan-Lusztig immanants, which were introduced by Rhoades and Skandera. We focus on the basis elements which are expressed in terms of Kazhdan-Lusztig immanants indexed by 1324- and 2143-avoiding permutations. This extends previous work of the authors on Kazhdan-Lusztig immanants and uses similar tools, namely Lewis Carroll's identity (also known as the Desnanot-Jacobi identity).
The subfield codes and subfield subcodes of a family of MDS codes
Published
• View Publication
• BIB
Maximum distance separable (MDS) codes are very important in both theory and practice. There is a classical construction of a family of $[2^m+1, 2u-1, 2^m-2u+3]$ MDS codes for $1 \leq u \leq 2^{m-1}$, which are cyclic, reversible and BCH codes over $\mathrm{GF}(2^m)$. The objective of this paper is to study the quaternary subfield subcodes and quaternary subfield codes of a subfamily of the MDS codes for even $m$. A family of quaternary cyclic codes is obtained. These quaternary codes are distance-optimal in some cases and very good in general. Furthermore, infinite families of $3$-designs from these quaternary codes are presented.
Express the number of spanning trees in term of degrees
Published in Applied Math and computation 415 (2021), 126697
• View Publication
• BIB
It is well-known that the number of spanning trees, denoted by $τ(G)$, in a connected multi-graph $G$ can be calculated by the Matrix-Tree theorem and Tutte's deletion-contraction theorem. In this short note, we find an alternate method to compute $τ(G)$ by degrees of vertices.
Some signed graphs whose eigenvalues are main
Published
• View Publication
• BIB
Let $G$ be a graph. For a subset $X$ of $V(G)$, the switching $σ$ of $G$ is the signed graph $G^σ$ obtained from $G$ by reversing the signs of all edges between $X$ and $V(G)\setminus X$. Let $A(G^σ)$ be the adjacency matrix of $G^σ$. An eigenvalue of $A(G^σ)$ is called a main eigenvalue if it has an eigenvector the sum of whose entries is not equal to zero. Let $S_{n,k}$ be the graph obtained from the complete graph $K_{n-r}$ by attaching $r$ pendent edges at some vertex of $K_{n-r}$. In this paper we prove that there exists a switching $σ$ such that all eigenvalues of $G^σ$ are main when $G$ is a complete multipartite graph, or $G$ is a harmonic tree, or $G$ is $S_{n,k}$. These results partly confirm a conjecture of Akbari et al.
Crystals of Lakshmibai-Seshadri paths and extremal weight modules over quantum hyperbolic Kac-Moody algebras of rank 2
Published
• View Publication
• BIB
Let $\mathfrak{g}$ be a hyperbolic Kac-Moody algebra of rank $2$, and let $λ$ be an arbitrary integral weight. We denote by $\mathbb{B}(λ)$ the crystal of all Lakshmibai-Seshadri paths of shape $λ$. Let $V(λ)$ be the extremal weight module of extremal weight $λ$ generated by the (cyclic) extremal weight vector $v_λ$ of weight $λ$, and let $\mathcal{B}(λ)$ be the crystal basis of $V(λ)$ with $u_λ\in \mathcal{B}(λ)$ the element corresponding to $v_λ$. We prove that the connected component $\mathcal{B}_0(λ)$ of $\mathcal{B}(λ)$ containing $u_λ$ is isomorphic, as a crystal, to the connected component $\mathbb{B}_0(λ)$ of $\mathbb{B}(λ)$ containing the straight line $π_λ$. Furthermore, we prove that if $λ$ satisfies a special condition, then the crystal basis $\mathcal{B}(λ)$ is isomorphic, as a crystal, to the crystal $\mathbb{B}(λ)$. As an application of these results, we obtain an algorithm for computing the number of elements of weight $μ$ in $\mathcal{B}(Λ_1-Λ_2)$, where $Λ_1, Λ_2$ are the fundamental weights, in the case that $\mathfrak{g}$ is symmetric.
Strong convexity in flip-graphs
The triangulations of a surface $Σ$ with a prescribed set of vertices can be endowed with a graph structure $\mathcal{F}(Σ)$. Its edges connect two triangulations that differ by a single arc. It is known that, when $Σ$ is a convex polygon or a topological surface, the subgraph $\mathcal{F}_\varepsilon(Σ)$ induced in $\mathcal{F}(Σ)$ by the triangulations that contain a given arc $\varepsilon$ is strongly convex in the sense that all the geodesic paths between two such triangulations remain in that subgraph. Here, we provide a related result that involves a triangle instead of an arc, in the case when $Σ$ is a convex polygon. We show that, when the three edges of a triangle $τ$ appear in (possibly distinct) triangulations along a geodesic path, $τ$ must belong to a triangulation in that path. More generally, we prove that certain $3$-dimensional triangulations related to the geodesics in $\mathcal{F}(Σ)$ are flag when $Σ$ is a convex polygon with flat vertices, and provide two consequences. The first is that $\mathcal{F}_\varepsilon(Σ)$ is not always strongly convex when $Σ$ is a convex polygon with either two flat vertices or two punctures. The second is that the number of arc crossings between two triangulations of a topological surface $Σ$ does not allow to approximate their distance in $\mathcal{F}(Σ)$ by a factor of less than $3/2$.
An infinite family of linklessly embeddable Tutte-4-connected graphs
Published
• View Publication
• BIB
For each $n\ge 14$, we provide an example of a linklessly embeddable, Tutte-4-connected graph of order $n$.
The $(k,l)$-Euler theorem and the combinatorics of $(k,l)$-sequences
Published
• View Publication
• BIB
In 1997, Bousquet-Mélou and Eriksson stated a broad generalization of Euler's distinct-odd partition theorem, namely the $(k,l)$-Euler theorem. Their identity involved the $(k,l)$-lecture-hall partitions, which, unlike usual difference conditions of partitions in Rogers-Ramanujan type identities, satisfy some ratio constraints. In a 2008 paper, in response to a question suggested by Richard Stanley, Savage and Yee provided a simple bijection for the $l$-lecture-hall partitions (the case $k=l$), whose specialization in $l=2$ corresponds to Sylvester's bijection. Subsequently, as an open question, a generalization of their bijection was suggested for the case $k,l\geq 2$. In the spirit of Savage and Yee's work, we provide and prove in this paper slight variations of the suggested bijection, not only for the case $k,l\geq 2$ but also for the cases $(k,1)$ and $(1,k)$ with $k\geq 4$. Furthermore, we show that our bijections equal the recursive bijections given by Bousquet-Mélou and Eriksson in their recursive proof of the $(k,l)$-lecture hall and finally provide the analogous recursive bijection for the $(k,l)$-Euler theorem.
Partial $γ$-Positivity for Quasi-Stirling Permutations of Multisets
Published
• View Publication
• BIB
We prove that the enumerative polynomials of quasi-Stirling permutations of multisets with respect to the statistics of plateaux, descents and ascents are partial $γ$-positive, thereby confirming a recent conjecture posed by Lin, Ma and Zhang. This is accomplished by proving the partial $γ$-positivity of the enumerative polynomials of certain ordered labeled trees, which are in bijection with quasi-Stirling permutations of multisets. As an application, we provide an alternative proof of the partial $γ$-positivity of the enumerative polynomials on Stirling permutations of multisets.
Cyclic and Linear Graph Partitions and Normal Ordering
The Stirling number of a simple graph is the number of partitions of its vertex set into a specific number of non-empty independent sets. In 2015, Engbers et al. showed that the coefficients in the normal ordering of a word $w$ in the alphabet $\{x,D\}$ subject to the relation $Dx=xD+1$ are equal to the Stirling number of certain graphs constructed from $w$. In this paper, we introduce graphical versions of the Stirling numbers of the first kind and the Lah numbers and show how they occur as coefficients in other normal ordering settings. Identities involving their $q$-analogues are also obtained.
Degree sequences of sufficiently dense random uniform hypergraphs
Published
• View Publication
• BIB
We find an asymptotic enumeration formula for the number of simple $r$-uniform hypergraphs with a given degree sequence, when the number of edges is sufficiently large. The formula is given in terms of the solution of a system of equations. We give sufficient conditions on the degree sequence which guarantee existence of a solution to this system. Furthermore, we solve the system and give an explicit asymptotic formula when the degree sequence is close to regular. This allows us to establish several properties of the degree sequence of a random $r$-uniform hypergraph with a given number of edges. More specifically, we compare the degree sequence of a random $r$-uniform hypergraph with a given number edges to certain models involving sequences of binomial or hypergeometric random variables conditioned on their sum.
Intersecting principal Bruhat ideals and grades of simple modules
Published
• View Publication
• BIB
We prove that the grades of simple modules indexed by boolean permutations, over the incidence algebra of the symmetric group with respect to the Bruhat order, are given by Lusztig's a-function. Our arguments are combinatorial, and include a description of the intersection of two principal order ideals when at least one permutation is boolean. An important object in our work is a reduced word written as minimally many runs of consecutive integers, and one step of our argument shows that this minimal quantity is equal to the length of the second row in the permutation's shape under the Robinson-Schensted correspondence. We also prove that a simple module over the above-mentioned incidence algebra is perfect if and only if its index is the longest element of a parabolic subgroup.
Ehrhart polynomials of rank two matroids
Published in Adv. in Appl. Math. 141 (2022) 102410
• View Publication
• BIB
Over a decade ago De Loera, Haws and Köppe conjectured that Ehrhart polynomials of matroid polytopes have only positive coefficients and that the coefficients of the corresponding $h^*$-polynomials form a unimodal sequence. The first of these intensively studied conjectures has recently been disproved by the first author who gave counterexamples in all ranks greater or equal to three. In this article we complete the picture by showing that Ehrhart polynomials of matroids of lower rank have indeed only positive coefficients. Moreover, we show that they are coefficient-wise bounded by the Ehrhart polynomials of minimal and uniform matroids. We furthermore address the second conjecture by proving that $h^*$-polynomials of matroid polytopes of sparse paving matroids of rank two are real-rooted and therefore have log-concave and unimodal coefficients. In particular, this shows that the $h^*$-polynomial of the second hypersimplex is real-rooted thereby strengthening a result of De Loera, Haws and Köppe.
Noncommutative Symmetric Functions and Lagrange Inversion II: Noncrossing partitions and the Farahat-Higman algebra
Published
• View Publication
• BIB
We introduce a new pair of mutually dual bases of noncommutative symmetric functions and quasi-symmetric functions, and use it to derive generalizations of several results on the reduced incidence algebra of the lattice of noncrossing partitions. As a consequence, we obtain a quasi-symmetric version of the Farahat-Higman algebra.
Asymptotic Distribution of Parameters in Trivalent Maps and Linear Lambda Terms
Published
• View Publication
• BIB
Structural properties of large random maps and lambda-terms may be gleaned by studying the limit distributions of various parameters of interest. In our work we focus on restricted classes of maps and their counterparts in the lambda-calculus, building on recent bijective connections between these two domains. In such cases, parameters in maps naturally correspond to parameters in lambda-terms and vice versa. By an interplay between lambda-terms and maps, we obtain various combinatorial specifications which allow us to access the distributions of pairs of related parameters such as: the number of bridges in rooted trivalent maps and of subterms in closed linear lambda-terms, the number of vertices of degree 1 in (1,3)-valent maps and of free variables in open linear lambda-terms etc. To analyse asymptotically these distributions, we introduce appropriate tools: a moment-pumping schema for differential equations and a composition schema inspired by Bender's theorem.
The distance-k dimension of graphs
The metric dimension, $\dim(G)$, of a graph $G$ is a graph parameter motivated by robot navigation that has been studied extensively. Let $G$ be a graph with vertex set $V(G)$, and let $d(x,y)$ denote the length of a shortest $x-y$ path in $G$. For a positive integer $k$ and for distinct $x,y \in V(G)$, let $d_k(x,y)=\min\{d(x,y), k+1\}$ and let $R_k\{x,y\}=\{z\in V(G): d_k(x,z) \neq d_k(y,z)\}$. A subset $S\subseteq V(G)$ is a distance-$k$ resolving set of $G$ if $|S \cap R_k\{x,y\}| \ge 1$ for any pair of distinct $x,y \in V(G)$, and the distance-$k$ dimension, $\dim_k(G)$, of $G$ is the minimum cardinality over all distance-$k$ resolving sets of $G$. In this paper, we study the distance-$k$ dimension of graphs. We obtain some general bounds for distance-$k$ dimension. For all $k \ge 1$, we characterize connected graphs $G$ of order $n$ with $\dim_k(G) \ge n-2$. We determine $\dim_k(G)$ when $G$ is a cycle or a path. We also examine the effect of vertex or edge deletion on the distance-$k$ dimension of graphs.
Markov Equivalence of Max-Linear Bayesian Networks
Max-linear Bayesian networks have emerged as highly applicable models for causal inference via extreme value data. However, conditional independence (CI) for max-linear Bayesian networks behaves differently than for classical Gaussian Bayesian networks. We establish the parallel between the two theories via tropicalization, and establish the surprising result that the Markov equivalence classes for max-linear Bayesian networks coincide with the ones obtained by regular CI. Our paper opens up many problems at the intersection of extreme value statistics, causal inference and tropical geometry.
Generalised ordinary vs fully simple duality for $n$-point functions and a proof of the Borot--Garcia-Failde conjecture
Published in Comm. Math. Phys. 402 (2023), no. 1, 665-694
• View Publication
• BIB
We study a duality for the $n$-point functions in VEV formalism that we call the ordinary vs fully simple duality. It provides an ultimate generalisation and a proper context for the duality between maps and fully simple maps observed by Borot and Garcia-Failde. Our approach allows to transfer the algebraicity properties between the systems of $n$-point functions related by this duality, and gives direct tools for the analysis of singularities. As an application, we give a proof of a recent conjecture of Borot and Garcia-Failde on topological recursion for fully simple maps.
Extremal rays of the equivariant Littlewood-Richardson cone
Published
• View Publication
• BIB
We give an inductive procedure for finding the extremal rays of the equivariant Littlewood-Richardson cone, which is closely related to the solution space to S. Friedland's majorized Hermitian eigenvalue problem. In so doing, we solve the "rational version" of a problem posed by C. Robichaux, H. Yadav, and A. Yong. Our procedure is a natural extension of P. Belkale's algorithm for the classical Littlewood-Richardson cone. The main tools for accommodating the equivariant setting are certain foundational results of D. Anderson, E. Richmond, and A. Yong. We also study two families of special rays of the cone and make observations about the Hilbert basis of the associated lattice semigroup.
Antimagic orientation of subdivided caterpillars
Published
• View Publication
• BIB
Let $m\ge 1$ be an integer and $G$ be a graph with $m$ edges. We say that $G$ has an antimagic orientation if $G$ has an orientation $D$ and a bijection $τ:A(D)\rightarrow \{1,2,\ldots,m\}$ such that no two vertices in $D$ have the same vertex-sum under $τ$, where the vertex-sum of a vertex $v$ in $D$ under $τ$ is the sum of labels of all arcs entering $v$ minus the sum of labels of all arcs leaving $v$. Hefetz, Mütze and Schwartz [J. Graph Theory, 64: 219-232, 2010] conjectured that every connected graph admits an antimagic orientation. The conjecture was confirmed for certain classes of graphs such as regular graphs, graphs with minimum degree at least 33, bipartite graphs with no vertex of degree zero or two, and trees including caterpillars and complete $k$-ary trees. We prove that every subdivided caterpillar admits an antimagic orientation, where a subdivided caterpillar is a subdivision of a caterpillar $T$ such that the edges of $T$ that are not on the central path of $T$ are subdivided the same number of times.