Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Categorification of Chromatic, Dichromatic and Penrose Polynomials
This paper discusses ways to categorify chromatic, dichromatic and Penrose polynomials, including categorifications of integer evaluations of chromatic polynomials.
We show that with an appropriate choice of variables the coefficients of the Potts partition function at different energy levels are given by Euler characteristics of appropriate parts of a bigraded homology theory associated with the model. In the case of the dichromatic polynomial for graphs, we show that the two variable polynomial can be seen as a sum of powers of one variable multiplied by coefficients that are "impropriety" coloring polynomials for the underlying graph. An impropriety polynomial $C_{G}^{i}(n)$ counts the number of colorings in $n$ colors of the graph that are not proper at a given number $i$ of edges in the graph. The last section of the paper categorifies coloring evaluations rather than coloring polynomials. We then obtain a range of possible chain complexes and homology theories such that the chromatic evaluation is equal to the Euler characteristic of the homology. The freedom of choice in making such chain complexes is related to possible associative algebra structures on the set of colors.
The Degenerate Three-Variable Hermite-Based Apostol-Frobenius-type Poly-Genocchi Polynomials with Parameters a and b
In this paper, we introduce the degenerate three-variable Hermite-based Apostol{Frobenius-type poly-Genocchi polynomials by integrating the modified degenerate polyexponential function with three-variable Hermite polynomials and Frobenius polynomials. We investigate several fundamental properties of these polynomials and derive a variety of identities and formulas, including explicit formulas, addition formula and expression in polynomial form. Moreover, we establish meaningful connections between these polynomials and the r-Whitney numbers of both the first and second kinds.
Extending Results on Wilf-Equivalence of Partial Shuffles
In 2020, Bloom and Sagan defined subsets of the symmetric group $\mathfrak{S}_n$ called partial shuffles, and proved a formula for the Schur expansion of the pattern quasisymmetric function associated with a partial shuffle. In their proof, they establish that any two partial shuffles of the same size are Wilf-equivalent. We give an alternative proof of this fact, using an iterative approach. We also show that Wilf-equivalence is preserved on including a decreasing pattern in partial shuffles, and we provide some enumerative results for avoidance classes whose bases consist of a partial shuffle and a decreasing permutation.
Linear varieties and matroids with applications to the Cullis' determinant
Let $V$ be a vector space of rectangular $n\times k$ matrices annihilating the Cullis' determinant. We show that $\dim(V) \le (n-1)k$, extending Dieudonn{é}'s result on the dimension of vector spaces of square matrices annihilating the ordinary determinant.
Furthermore, for certain values of $n$ and $k$, we explicitly describe such vector spaces of maximal dimension. Namely, we establish that if $k$ is odd, $n \ge k + 2$ and $\dim(V) = (n-1)k$, then $V$ is equal to the space of all $n\times k$ matrices $X$ such that alternating row sum of $X$ is equal to zero.
Our proofs rely on the following observations from the matroid theory that have an independent interest. First, we provide a notion of matroid corresponding to a given linear variety. Second, we prove that if the linear variety is transformed by projections and restrictions, then the behaviour of the corresponding matroid is expressed in the terms of matroid contraction and restriction. Third, we establish that if $M$ is a matroid, $I^*$ its coindependent set $M|S$ and its restriction on a set $S$, then the union of $I^*\setminus S$ with every cobase of $M|S$ is coindependent set of $M$.
2-(v,k,3) designs admitting an almost simple, flag-transitive automorphism group with socle PSL(2,q)
In this paper, we completely classify the non-trivial 2-(v,k,3) designs admitting an almost simple, flag-transitive automorphism group with socle PSL(2,q).
Asymptotics and inequalities for the distinct partition function
In this paper, we give explicit error bounds for the asymptotic expansion of the shifted distinct partition function $q(n +s)$ for any nonnegative integer $s$. Then based on this refined asymptotic formula, we give the exact thresholds of $n$ for the inequalities derived from the invariants of the quartic binary form, the double Turán inequalities, the Laguerre inequalities and their corresponding companion versions.
Choosability of multipartite hypergraphs
A $k$-uniform hypergraph (or $k$-graph) $H = (V, E)$ is $k$-partite if $V$ can be partitioned into $k$ sets $V_1, \ldots, V_k$ such that each edge in $E$ contains precisely one vertex from each $V_i$. We show that $k$-partite $k$-graphs of maximum degree $Δ$ are $q$-choosable for $q \geq \left(\frac{4}{5}(k-1 + o(1))Δ/\log Δ\right)^{1/(k-1)}$. Our proof yields an efficient randomized algorithm for finding such a coloring, which shows that the conjectured algorithmic barrier for coloring pseudorandom $k$-graphs does not apply to $k$-partite $k$-graphs.
Perfect codes and regular sets in vertex-transitive graphs
A subset \( C \) of the vertex set \( V \) of a graph \( Γ= (V,E) \) is termed an $(r,s)$-regular set if each vertex in \( C \) is adjacent to exactly \( r \) other vertices in \( C \), while each vertex not in \( C \) is adjacent to precisely \( s \) vertices in \( C \). A specific case, known as a $(0,1)$-regular set, is referred to as a perfect code. In this paper, we will delve into $(r,s)$-regular sets in the context of vertex-transitive graphs. It is noteworthy that any vertex-transitive graph can be represented as a coset graph \( \Cos(G,H,U) \). When examining a group \( G \) and a subgroup \( H \) of \( G \), a subgroup \( A \) that encompasses \( H \) is identified as an $(r,s)$-regular set related to the pair \( (G,H) \) if there exists a coset graph \( \Cos(G,H,U) \) such that the set of left cosets of \( H \) in \( A \) forms an $(r,s)$-regular set within this graph. In this paper, we present both a necessary and sufficient condition for determining when a normal subgroup \( A \) that includes \( H \) as a normal subgroup qualifies as an $(r,s)$-regular set for the pair \( (G,H) \). Furthermore, if \( A \) is a normal subgroup of \( G \) containing \( H \), we establish a relationship between \( A \) being a perfect code of \( (G,H) \) and the quotient \( N_A(H)/H \) being a perfect code of \(( N_G(H)/H, {1_{N_{G}(H)/H}}) \).
Degenerate Vertex Cuts in Sparse Graphs
For a non-negative integer $k$, a vertex cut in a graph is $k$-degenerate if it induces a $k$-degenerate subgraph. We show that a graph of order $n$ at least $2k+2$ without a $k$-degenerate cut has the size at least $\frac{1}{2}\left(k+Ω\left(\sqrt{k}\right)\right)n$ and that a graph of order $n$ at least $5$ without a $2$-degenerate cut has the size at least $\frac{27n-35}{10}$. For $k\geq 2$, we show that a connected graph $G$ of order $n$ at least $k+6$ and size $m$ at most $\frac{k+3}{2}n+\frac{k-1}{2}$ has a minimum $k$-degenerate cut.
Independence Complexes of Hexagonal Grid Graphs
The independence complex of a graph is a simplicial complex whose faces correspond to the independent sets of $G$. While independence complexes have been studied extensively for many graph classes, including square grid graphs, relatively little is known about planar hexagonal grid graphs.
In this article, we study the topology of the independence complexes of hexagonal grid graphs $H_{1 \times m \times n}$. For $ m=1, 2, 3$ and $n\geq 1$, we determine their homotopy types. In particular, we show that the independence complex of the hexagonal line tiling $H_{1 \times 1 \times n}$ is homotopy equivalent to a wedge of two $n$-spheres, and for $m=2$ and $m=3$, we obtain recursive descriptions that completely determine the spheres appearing in the homotopy type. Our proofs rely on link and deletion operations, the fold lemma, and a detailed analysis of induced subgraphs.
Properties of plactic monoid centralizers
Let u be a word over the positive integers P. Motivated by a question involving crystal graphs, Sagan and Wilson initiated the study of the centralizer of u in the plactic monoid which is the set
C(u) = {w | uw is Knuth equivalent to wu}.
In particular, they conjectured the following stability phenomenon: for any u there is a positive integer K depending only on u such that C(u^k) = C(u^K) for k >= K. We prove that this property holds for various u including words consisting of only ones and twos, as well as permutations. Sagan and Wilson also considered c_{n,m}(u) which is the number of w in C(u) of length n and maximum at most m. They showed that c_{n,m}(1) is a polynomial in m of degree n-1 and conjectured properties of the coefficients when it is expanded in a binomial coefficient basis. We prove some of these conjectures, for example, that the coefficients are always nonnegative integers.
Minimal primes and radicality of ideals generated by adjacent 2-minors
In this paper, we provide a complete description of the minimal primes of ideals generated by adjacent $2$-minors, in terms of the so-called admissible sets and associated lattice ideals. We prove that for these ideals, the properties of being unmixed, Cohen-Macaulay, level, Gorenstein, and complete intersection are equivalent. Moreover, we give a combinatorial characterization of all convex collections of cells satisfying any of these equivalent properties. Finally, we study the radicality of these ideals and derive necessary combinatorial conditions based on minimal non-radical configurations.
Methods for Analyzing RNA Pseudoknots via Chord Diagrams and Intersection Graphs
RNA molecules are known to form complex secondary structures including pseudoknots. A systematic framework for the enumeration, classification and prediction of secondary structures is critical to determine the biological significance of the molecular configurations of RNA. Chord diagrams are mathematical objects widely used to represent RNA secondary structures and to analyze structural motifs, however a mathematically rigorous enumeration of pseudoknots remains a challenge. We introduce a method that incorporates a distance-based metric $τ$ to analyze the intersection graph of a chord diagram associated with a pseudoknotted structure. In particular, our method formally defines a pseudoknot in terms of a weighted vertex cover of a certain intersection graph constructed from a partition of the chord diagram representing the nucleotide sequence of the RNA molecule. In this graph-theoretic context, we introduce a rigorous algorithm that enumerates pseudoknots, classifies secondary structures, and is sensitive to three-dimensional topological features. We implement our methods in MATLAB and test the algorithm on pseudoknotted structures from the bpRNA-1m database. Our findings confirm that genus is a robust quantifier of pseudoknot complexity.
Completely independent Steiner trees and corresponding tree connectivity
The $S$-Steiner tree packing problem provides mathematical foundations for optimizing multi-path information transmission, particularly in designing fault-tolerant parallelized routing architectures for massive-scale network infrastructures. In this article, we propose the definitions of completely independent $S$-Steiner trees (CISSTs for short) and generalized $k^*$-connectivity, which generalize the definitions of internally disjoint $S$-Steiner trees and generalized $k$-connectivity. Given a connected graph $G = (V,E)$ and a vertex subset $S\subseteq V, |S|\geq 2,$ an $S$-Steiner tree of $G$ is a subtree in $G$ that spans all nodes in $S.$ The $S$-Steiner trees $T_1,T_2,\cdots, T_k$ of $G$ are completely independent pairwise if for any $1\leq p<q\leq k,$ $E(T_p)\cap E(T_q)=\emptyset$ , $V(T_p)\cap V(T_q)=S,$ and for any two vertices $x_{1},x_{2}$ in $S$, the paths connecting $x_{1}$ and $x_{2}$ in $T_p,T_q$ are pairwise internally disjoint. The packing number of CISSTs, denoted by $κ^*_G(S),$ is the maximum number of CISSTs in $G.$ The generalized $k^*$-connectivity $κ_k^*(G)$ is the minimum $κ_G^*(S)$ for $S$ ranges over all $k$-subsets of $V(G).$ We provide a detailed characterization of CISSTs. Also, we investigate the CISSTs of complete graphs and complete bipartite graphs. Furthermore, we determine the generalized $k^*$-connectivity for complete graphs and give a tight lower bound of the generalized $k^*$-connectivity for complete bipartite graphs.
Harmonic LCM patterns and sunflower-free capacity
Fix an integer $k\ge 3$. Call a set $A\subseteq [N]$ LCM-$k$-free if it does not contain distinct $a_1,\dots,a_k$ such that $\mathrm{lcm}(a_i,a_j)$ is the same for all $1\le i<j\le k$. Define $$ f_k(N):=\max\left\{\sum_{a\in A}\frac1a: A\subseteq [N] \text{ is LCM-$k$-free}\right\}. $$ Addressing a problem of Erdős, we prove an explicit unconditional lower bound $$ f_k(N)\ge (\log N)^{c_k-o(1)}, \qquad c_k:=\frac{k-2}{e((k-2)!)^{1/(k-2)}}. $$ Let $F_k(n)$ denote the maximum size of a $k$-sunflower-free family of subsets of $[n]$, and define the Erdős--Szemerédi $k$-sunflower-free capacity by $μ_k^{\mathrm S}:=\limsup_{n\to\infty}F_k(n)^{1/n}$. Motivated by a remark of Erdős relating this problem to the sunflower conjecture, we show that $$ (\log N)^{\logμ_k^{\mathrm S}-o(1)} \le f_k(N) \ll (\log N)^{μ_k^{\mathrm S}-1+o(1)}. $$ Furthermore, we show that the Erdős--Szemerédi sunflower conjecture fails for this fixed $k$ (i.e. $μ_k^{\mathrm S}=2$) if and only if $f_k(N)=(\log N)^{1-o(1)}$.
Spectral radius and size conditions for fractional $(a,b,m)$-covered graphs
A fractional $(a,b,m)$-covered graph is a generalization of the concept of a fractional $[a,b]$-covered graph. For any $H \subseteq G$ with edge set $|E(H)| = m$, if there exists a fractional $[a,b]$-factor (the corresponding fractional indicator function is $h$) such that $h(e) = 1$ for any $e \in H$, then the graph $G$ is called a fractional $(a,b,m)$-covered graph. In this paper, we characterize the conditions for a graph to be a fractional $(a,b,m)$-covered graph from the perspectives of spectral radius and size, respectively.
The List Linear Arboricity of Digraphs
A (directed) linear forest is a (di)graph whose components are (directed) paths. The linear arboricity $la(F)$ of a (di)graph $F$ is the minimum number of (directed) linear forests required to decompose its edges. Akiyama, Exoo, and Harary (1980) proposed the Linear Arboricity Conjecture that $la(G) \leq \left\lceil \frac{Δ+1}{2}\right\rceil$ for any graph $G$ of maximum degree $Δ$. The current best known bound, due to Lang and Postle (2023), establishes $la(G) \leq \fracΔ{2} + 3\sqrtΔ \log^4 Δ$ for sufficiently large $Δ$. And they proved this in the stronger list setting proposed by An and Wu.
For a digraph $D$, let its maximum degree $Δ(D)$ be the maximum of all in-degrees and out-degrees of its vertices. Nakayama and Péroche (1987) conjectured that $la(D) \leq Δ(D)+1$ for every digraph $D$. We extend Lang and Postle's result to digraphs with a matching error term. We show that $la(D) \leqΔ+ 6\sqrtΔ \log^4 Δ$ for any digraph $D$ with $Δ= Δ(D)$ sufficiently large. Moreover, we also establish this bound in the stronger list setting, where each arc $e \in A(D)$ is assigned a list of colors, and each arc is assigned a color from its list such that each color class forms a directed linear forest.
Clique factors in random samplings of regular graphs
We show that for any integer $r\ge 2$, there exists a constant $c>0$ such that for every sufficiently large integer $n$, every $((r-1)n+1)$-regular graph $G$ on $rn$ vertices has at least $c2^{rn}$ subsets $S\subseteq V(G)$ such that $G[S]$ contains a $K_r$-factor. This confirms a conjecture of Draganić, Keevash and Müyesser for large $n$ [Cyclic subsets in regular Dirac graphs. Int. Math. Res. Not., 2025(14): 1-16, 2025].
A Lovász theta lower bound on Quantum Max Cut
We prove a lower bound to quantum Max Cut of a graph in terms of the Lovász theta function of its complement. For a graph with $m$ edges, $\text{qmc}(G) \geq \tfrac{m}{4}\big( 1 + \tfrac{8}{3π}\tfrac{1}{\vartheta(\bar{G}) -1} \big)$, with the bound achieved by a product state. The proof extends a result by Balla, Janzer, and Sudakov on classical Max Cut and is also inspired by the randomized rounding method of Gharibian and Parekh. The bound outperforms the classical bound when applied to quantum Max Cut.
Up-down chains and scaling limits: application to permuton- and graphon-valued diffusions
An up-down chain is a Markov chain in which each transition is a two-step process that moves up to a larger object and then back down to an object of the original size. The first goal of this paper is to present a general framework for analyzing these chains and computing their scaling limits. This approach unifies much of the existing literature while extending it in several directions. These include explicit conditions for constructing integrable up-down chains and convergence results for families of intertwined processes. The latter contribute to the method of intertwiners of Borodin and Olshanski.
The second goal is to highlight a notable application of this framework to the settings of permutations and graphs. Here, we identify some integrable up-down chains and construct their scaling limits, a family of permuton- and graphon-valued Feller diffusions. Both the up-down chains and the limiting diffusions exhibit ergodicity, diagonalizable semigroups, and explicit expressions for the maximal separation distance to stationarity. For the diffusions, the stationary measures are the recursive separable permutons and recursive cographons recently introduced by the authors, and the separation distances turn out to be related to the Dedekind eta function.