Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Homotopy type of shellable $q$-complexes and their homology groups
The theory of shellable simplicial complexes brings together combinatorics, algebra, and topology in a remarkable way. Initially introduced by Alder for $q$-simplicial complexes, recent work of Ghorpade, Pratihar, and Randrianarisoa extends the study of shellability to $q$-matroid complexes and determines singular homology groups for a subclass of these $q$-simplicial complexes. In this paper, we determine the homotopy type of shellable $q$-simplicial complexes. Moreover, we establish the shellability of order complexes from lexicographically shellable $q$-simplicial complexes, that include the $q$-matroid complexes. This results in a comprehensive determination of the homology groups for any lexicographically shellable $q$-complexes.
Sets of Cross Numbers of Sequences over Finite Abelian Groups
Published
• View Publication
• BIB
Let $G$ be a finite abelian group with $\exp(G)$ the exponent of $G$. Then $\mathsf W(G)$ denotes the set of cross numbers of minimal zero-sum sequences over $G$ and $\mathsf w(G)$ denotes the set of all cross numbers of non-trivial zero-sum free sequences over $G$. It is clear that $\mathsf W(G)$ and $\mathsf w(G)$ are bounded subsets of $\frac{1}{\exp(G)}\mathbb{N}$ with maximum $ \mathsf K(G)$ and $\mathsf k(G)$, respectively (here $\mathsf{K}(G)$ and $\mathsf{k}(G)$ denote the large and the small cross number of $G$, respectively). We give results on the structure of $\mathsf W(G)$ and $\mathsf w(G)$. We first show that both sets contain long arithmetic progressions and that only close to the maximum there might be some gaps. Then, we provide groups for which $\mathsf W(G)$ and $\mathsf w(G)$ actually are arithmetic progressions, and argue that this is rather a rare phenomenon. Finally, we provide some results in case there are gaps.
Elliptic analogue of Vershik-Kerov limit shape
Published
• View Publication
• BIB
We review the limit shape problem for the Plancherel measure and its generalizations found in supersymmetric gauge theory instanton count. We focus on the measure, interpolating between the Plancherel measure and uniform measure, a U(1) case of N=2* gauge theory. We give the formula for its limit shape in terms of elliptic functions, generalizing the trigonometric ``arcsin'' law of Vershik-Kerov and Logan-Schepp.
Zig-zag Eulerian polynomials
Published
• View Publication
• BIB
For any finite partially ordered set $P$, the $P$-Eulerian polynomial is the generating function for the descent number over the set of linear extensions of $P$, and is closely related to the order polynomial of $P$ arising in the theory of $P$-partitions. Here we study the $P$-Eulerian polynomial where $P$ is a naturally labeled zig-zag poset; we call these zig-zag Eulerian polynomials. A result of Brändén implies that these polynomials are gamma-nonnegative, and hence their coefficients are symmetric and unimodal. The zig-zag Eulerian polynomials and the associated order polynomials have appeared fleetingly in the literature in a wide variety of contexts$\unicode{x2014}$e.g., in the study of polytopes, magic labelings of graphs, and Kekulé structures$\unicode{x2014}$but they do not appear to have been studied systematically.
In this paper, we use a "relaxed" version of $P$-partitions to both survey and unify results. Our technique shows that the zig-zag Eulerian polynomials also capture the distribution of "big returns" over the set of (up-down) alternating permutations, as first observed by Coons and Sullivant. We develop recurrences for refined versions of the relevant generating functions, which evoke similarities to recurrences for the classical Eulerian polynomials. We conclude with a literature survey and open questions.
Crystal Chute Moves on Pipe Dreams
Published
• View Publication
• BIB
Schubert polynomials represent a basis for the cohomology of the complete flag variety and thus play a central role in geometry and combinatorics. In this context, Schubert polynomials are generating functions over various combinatorial objects, such as rc-graphs or reduced pipe dreams. By restricting Bergeron and Billey's chute moves on rc-graphs, we define a Demazure crystal structure on the monomials of a Schubert polynomial. As a consequence, we provide a method for decomposing Schubert polynomials as sums of key polynomials, complementing related work of Assaf and Schilling via reduced factorizations with cutoff, as well as Lenart's coplactic operators on biwords.
A method for constructing graphs with the same resistance spectrum
Published
• View Publication
• BIB
Let $G=(V(G),E(G))$ be a graph with vertex set $V(G)$ and edge set $E(G)$. The resistance distance $R_G(x,y)$ between two vertices $x,y$ of $G$ is defined to be the effective resistance between the two vertices in the corresponding electrical network in which each edge of $G$ is replaced by a unit resistor. The resistance spectrum $\mathrm{RS}(G)$ of a graph $G$ is the multiset of the resistance distances of all pairs of vertices in the graph. This paper presents a method for constructing graphs with the same resistance spectrum. It is obtained that for any positive integer $k$, there exist at least $2^k$ graphs with the same resistance spectrum. Furthermore, it is shown that for $n \geq 10$, there are at least $2(n-9) p(n-9)$ pairs of graphs of order $n$ with the same resistance spectrum, where $p(n-9)$ is the number of partitions of the integer $n-9$.
Connection Laplacian on discrete tori with converging property
Published
• View Publication
• BIB
This paper presents a comprehensive analysis of the spectral properties of the connection Laplacian for both real and discrete tori. We introduce novel methods to examine these eigenvalues by employing parallel orthonormal basis in the pullback bundle on universal covering spaces. Our main results reveal that the eigenvalues of the connection Laplacian on a real torus can be expressed in terms of standard Laplacian eigenvalues, with a unique twist encapsulated in the torsion matrix. This connection is further investigated in the context of discrete tori, where we demonstrate similar results.
A significant portion of the paper is dedicated to exploring the convergence properties of a family of discrete tori towards a real torus. We extend previous findings on the spectrum of the standard Laplacian to include the connection Laplacian, revealing that the rescaled eigenvalues of discrete tori converge to those of the real torus. Furthermore, our analysis of the discrete torus occurs within a broader context, where it is not constrained to being a product of cyclic groups. Additionally, we delve into the theta functions associated with these structures, providing a detailed analysis of their behavior and convergence.
The paper culminates in a study of the regularized log-determinant of the connection Laplacian and the converging results of it. We derive formulae for both real and discrete tori, emphasizing their dependence on the spectral zeta function and theta functions.
A boundary for hyperbolic digraphs and semigroups
Based on a notion by Gray and Kambites of hyperbolicity in the setting of semimetric spaces like digraphs or semigroups, we will construct (under a small additional geometric assumption) a boundary based on quasi-geodesic rays and anti-rays that is preserved by quasi-isometries and, in the case of locally finite digraphs and right cancellative semigroups, refines their ends. Among other results, we show that it is possible to equip the space, if it is finitely based, together with its boundary with a pseudo-semimetric.
Connectivity of $3$-distance graphs
Published
• View Publication
• BIB
For a simple graph $G$, the $3$-distance graph, $D_3(G)$, is a graph with the vertex set $V(G)$ and two vertices are adjacent if and only if their distance is $3$ in the graph $G$. For a connected graph $G$, we provide some conditions for the connectedness of $D_3(G)$. Also, we characterize all trees and unicyclic graphs with connected $3$-distance graph.
Some combinatorial aspects of (q,2)-Fock space
Published
• View Publication
• BIB
We introduce the (q,2)-Fock space over a given Hilbert space, calculate the explicit form of a product of the creation and annihilation operators acting on the vacuum vector, demonstrate that this explicit form involves a specific subset of the set of all pair partitions, and provide a detailed characterization of this subset.
Real algebraic curves and twisted Hurwitz numbers
We provide a direct correspondence between the $b$-Hurwitz numbers with $b=1$ from \cite{ChapuyDolega}, and twisted Hurwtiz numbers from \cite{TwistedHurwitz}. This provides a description of real coverings of the sphere with ramification on the real line in terms of monodromy.
Positivity and tails of pentagonal number series
Published
• View Publication
• BIB
In this paper, we refine a result of Andrews and Merca on truncated pentagonal number series. Subsequently, we establish some positivity results involving Andrews--Gordon--Bressoud identities and $d$-regular partitions. In particular, we prove several conjectures of Merca and Krattenthaler--Merca--Radu on truncated pentagonal number series.
On the Ohba Number and Generalized Ohba Numbers of Complete Bipartite Graphs
Published
• View Publication
• BIB
We say that a graph $G$ is chromatic-choosable when its list chromatic number $χ_{\ell}(G)$ is equal to its chromatic number $χ(G)$. Chromatic-choosability is a well-studied topic, and in fact, some of the most famous results and conjectures related to list coloring involve chromatic-choosability. In 2002 Ohba showed that for any graph $G$ there is an $N \in \mathbb{N}$ such that the join of $G$ and a complete graph on at least $N$ vertices is chromatic-choosable. The Ohba number of $G$ is the smallest such $N$. In 2014, Noel suggested studying the Ohba number, $τ_{0}(a,b)$, of complete bipartite graphs with partite sets of size $a$ and $b$. In this paper we improve a 2009 result of Allagan by showing that $τ_{0}(2,b) = \lfloor \sqrt{b} \rfloor - 1$ for all $b \geq 2$, and we show that for $a \geq 2$, $τ_{0}(a,b) = Ω( \sqrt{b} )$ as $b \rightarrow \infty$. We also initiate the study of some relaxed versions of the Ohba number of a graph which we call generalized Ohba numbers. We present some upper and lower bounds of generalized Ohba numbers of complete bipartite graphs while also posing some questions.
Lattice Points and Rational $q$-Catalan Numbers
Published
• View Publication
• BIB
For each pair of coprime integers $a$ and $b$ we have a rational $q$-Catalan number $\operatorname{Cat}(a,b)_q=\binom{a+b}{a}_q/[a+b]_q$. It is known that this is a polynomial in $q$ with nonnegative integer coefficients, but the nature of these coefficients is still mysterious. Our current understanding is based on the rational shuffle conjecture that was conjectured by Bergeron, Garsia, Leven and Xin in 2014 and proved by Mellit in 2016, based on earlier work with Carlsson. This theorem realizes $\operatorname{Cat}(a,b)_q$ as the generating function for the statistic "area $-\ \mathrm{dinv}+\frac{(a-1)(b-1)}{2}$" defined on rational Dyck paths. However, this statistic is difficult to work with and leaves some phenomena unexplained. For example, it does not prove the conjecture that the difference $\operatorname{Cat}(a,c)_q-\operatorname{Cat}(a,b)_q$ has nonnegative coefficients whenever $\gcd(a,b)=\gcd(a,c)=1$ and $b<c$. The current paper proposes to look at lattice points instead of Dyck paths. Our idea is to fix $a$ and express everything in terms of the weight lattice $\mathrm{L}$ and root lattice $\mathrm{R}$ of type $A_{a-1}$. Based on ideas of Paul Johnson, we conjecture the existence of certain "Johnson statistics" $J:\mathrm{R}\to\mathbb{Z}$ and we prove this conjecture for $a\le 20$. We show that these statistics satisfy many remarkable properties including a $q$-analogue of Brion's theorem for simplices.
The Flapping Birds in the Pentagram Zoo
Published
• View Publication
• BIB
We study the $(k+1,k)$ diagonal map for $k=2,3,4,...$. We call this map $Δ_k$. The map $Δ_1$ is the pentagram map and $Δ_k$ is a generalization. $Δ_k$ does not preserve convexity, but we prove that $Δ_k$ preserves a subset $B_k$ of certain star-shaped polygons which we call $k$-birds. The action of $Δ_k$ on $B_k$ seems similar to the action of $Δ_1$ on the space of convex polygons. We show that some classic geometric results about $Δ_1$ generalize to this setting.
A survey of degree-boundedness
Published
• View Publication
• BIB
Suppose a graph has no large balanced bicliques, but has large minimum degree. Then what can we say about its induced subgraphs? This question motivates the study of degree-boundedness, which is like $χ$-boundedness but for minimum degree instead of chromatic number. We survey this area with an eye towards open problems.
Solving Functional Equations Dear to W.T. Tutte using the Naive (yet fullly rigorous!) Guess And Check Method
In his seminal paper ``A census of planar triangulations", published in 1962, the iconic graph theorist (and code-breaker), W.T. Tutte, spent a few pages to prove that a certain bi-variate generating function that enumerates triangulations, satisfies a certain functional equation. He then used his genius to actually solve it, giving closed-form solutions to the enumerating sequences. While the first part, of deriving the functional equation, still needs human ingenuity, the second part, of solving it, can nowadays be fully automated. Our Maple program, accompanying this paper, Tutte.txt, can not only solve Tutte's original equation in a few seconds, it can also solve many, far more complicated ones, way beyond the scope of even such a giant as W.T. Tutte. We use our favorite method of ``guess and check" and show how it can always be made fully rigorous (if desired).
A direct proof of well-definedness for the polymatroid Tutte polynomial
Published
• View Publication
• BIB
For a polymatroid $P$ over $[n]$, Bernardi, Kálmán and Postnikov [\emph{Adv. Math.} 402 (2022) 108355] introduced the polymatroid Tutte polynomial $\mathscr{T}_{P}$ relying on the order $1<2<\cdots<n$ of $[n]$, which generalizes the classical Tutte polynomial from matroids to polymatroids. They proved the independence of this order by the fact that $\mathscr{T}_{P}$ is equivalent to another polynomial that only depends on $P$. In this paper, similar to the Tutte's original proof of the well-definedness of the Tutte polynomial defined by the summation over all spanning trees using activities depending on the order of edges, we give a direct and elementary proof of the well-definedness of the polymatroid Tutte polynomial.
A full Halin grid theorem
Published
• View Publication
• BIB
Halin's well-known grid theorem states that a graph $G$ with a thick end must contain a subdivision of the hexagonal half-grid. We obtain the following strengthening when $G$ is vertex-transitive and locally finite. Either $G$ is quasi-isometric to a tree (and therefore has no thick end), or it contains a subdivision of the full hexagonal grid.
Bootstrap percolation on the Hamming graphs
Published
• View Publication
• BIB
The $r$-edge bootstrap percolation on a graph is an activation process of the edges. The process starts with some initially activated edges and then, in each round, any inactive edge whose one of endpoints is incident to at least $r$ active edges becomes activated. A set of initially activated edges leading to the activation of all edges is said to be a percolating set. Denote the minimum size of a percolating set in the $r$-edge bootstrap percolation process on a graph $G$ by $m_e(G, r)$. The importance of the $r$-edge bootstrap percolation relies on the fact that $m_e(G, r)$ provides bounds on $m(G, r)$, that is, the minimum size of a percolating set in the $r$-neighbor bootstrap percolation process on $G$. In this paper, we explicitly determine $m_e(K_n^d, r)$, where $K_n^d$ is the Cartesian product of $d$ copies of the complete graph on $n$ vertices which is referred as Hamming graph. Using this, we show that $m(K_n^d, r)=(1+o(1))\frac{d^{r-1}}{r!}$ when $n, r$ are fixed and $d$ goes to infinity which extends a known result on hypercubes.