Showing 20 papers (Total: 83400 papers, 48159 authors in database)
Decomposition of toroidal graphs without some subgraphs
Published in Bulletin of the Malaysian Mathematical Sciences Society, 47 (2024) article number 39
• View Publication
• BIB
We consider a family of toroidal graphs, denoted by $\mathcal{T}_{i, j}$, which contain neither $i$-cycles nor $j$-cycles. A graph $G$ is $(d, h)$-decomposable if it contains a subgraph $H$ with $Δ(H) \leq h$ such that $G - E(H)$ is a $d$-degenerate graph. For each pair $(i, j) \in \{(3, 4), (3, 6), (4, 6), (4, 7)\}$, Lu and Li proved that every graph in $\mathcal{T}_{i, j}$ is $(2, 1)$-decomposable. In this short note, we present a unified approach to prove that a common superclass of $\mathcal{T}_{i, j}$ is also $(2, 1)$-decomposable.
Partial-dual genus polynomial of graphs
Published in European Journal of Combinatorics Volume 130, December 2025, 104221
• View Publication
• BIB
Recently, Chmutov introduced the partial duality of ribbon graphs, which can be regarded as a generalization of the classical Euler-Poincaré duality. The partial-dual genus polynomial $^\partial\varepsilon_G(z)$ is an enumeration of the partial duals of $G$ by Euler genus. For an intersection graph derived from a given chord diagram, the partial-dual genus polynomial can be defined by considering the ribbon graph associated to the chord diagram. In this paper, we provide a combinatorial approach to the partial-dual genus polynomial in terms of intersection graphs without referring to chord diagrams. After extending the definition of the partial-dual genus polynomial from intersection graphs to all graphs, we prove that it satisfies the four-term relation of graphs. This provides an answer to a problem proposed by Chmutov.
Computing all minimal Markov bases in Macaulay2
We introduce the package allMarkovBases for Macaulay2, which is used to compute all minimal Markov bases of a given toric ideal. The package builds on functionality of 4ti2 by producing the fiber graph of the toric ideal. The package uses this graph to compute other properties of the toric ideal such as its indispensable set of binomials as well as its universal Markov basis.
Eigenvalue conditions implying edge-disjoint spanning trees and a forest with constraints
Published
• View Publication
• BIB
Let $G$ be a nontrivial graph with minimum degree $δ$ and $k$ an integer with $k\ge 2$. In the literature, there are eigenvalue conditions that imply $G$ contains $k$ edge-disjoint spanning trees. We give eigenvalue conditions that imply $G$ contains $k$ edge-disjoint spanning trees and another forest $F$ with $|E(F)|>\frac{δ-1}δ(|V(G)|-1)$, and if $F$ is not a spanning tree, then $F$ has a component with at least $δ$ edges.
Erdős Conjecture and AR-Labeling
Given an edge labeling $f$ of a graph $G$, a vertex $v$ is called an $AR$-vertex, if $v$ has distinct edge weight sums for each distinct subset of edges incident on $v$. An injective edge labeling $f$ of a graph $G$ is called an $AR$-labeling of $G$, if $f:E(G) \rightarrow \mathbb{N}$ is such that every vertex in $G$ is an $AR$-vertex under $f$. The minimum $k$ such that there exists an $AR$-labeling $f:E\rightarrow \{1,2,3,\dots,k\}$ is called the $AR$-index of G, denoted by $ARI(G)$. In this paper, using a sequence originating from Erdős subset sum conjecture, a lower bound has been obtained for the $AR$-index of a graph and this bound is used to prove that only finitely many bistars, complete graphs and complete bipartite graphs are $AR$-graphs. The exact values of $AR$-index is obtained for stars and wheels.
Around the Merino--Welsh conjecture: improving Jackson's inequality
The Merino-Welsh conjecture states that for a graph $G$ without loops and bridges we have $$\max(T_G(2,0),T_G(0,2))\geq T_G(1,1).$$ Later Jackson proved that for any matroid $M$ without loop and coloop we have $$T_M(3,0)T_M(0,3)\geq T_M(1,1)^2.$$ The value $3$ in this statement was improved to $2.9242$ by Beke, Csáji, Csikvári and Pituk. In this paper, we further improve on this result by showing that $$T_M(2.355,0)T_M(0,2.355)\geq T_M(1,1)^2.$$ We also prove that the Merino--Welsh conjecture is true for matroids $M$, where all circuits of $M$ and its dual $M^*$ have length between $\ell$ and $(\ell-2)^4$ for some $\ell\geq 6$.
Algebra and geometry of ASM weak order
Much of modern Schubert calculus is centered on Schubert varieties in the complete flag variety and on their classes in its integral cohomology ring. Under the Borel isomorphism, these classes are represented by distinguished polynomials called Schubert polynomials, introduced by Lascoux and Schützenberger.
Knutson and Miller showed that Schubert polynomials are multidegrees of matrix Schubert varieties, affine varieties introduced by Fulton, which are closely related to Schubert varieties. Many roads to studying Schubert polynomials pass through unions and intersections of matrix Schubert varieties. The third author showed that the natural indexing objects of arbitrary intersections of matrix Schubert varieties are alternating sign matrices (ASMs). Every ASM variety is expressible as a union of matrix Schubert varieties.
Many fundamental algebro-geometric invariants (e.g., codimension, degree, and Castelnuovo--Mumford regularity) are well understood combinatorially for matrix Schubert varieties, substantially via the combinatorics of strong Bruhat order on $S_n$. The extension of strong order to ASM(n), the set of $n \times n$ ASMs, has so far not borne as much algebro-geometric fruit for ASM varieties.
Hamaker and Reiner proposed an extension of weak Bruhat order from $S_n$ to ASM(n), which they studied from a combinatorial perspective. In the present paper, we place this work on algebro-geometric footing. We use weak order on ASMs to give a characterization of codimension of ASM varieties. We also show that weak order operators commute with K-theoretic divided difference operators and that they satisfy the same derivative formula that facilitated the first general combinatorial computation of Castelnuovo--Mumford regularity of matrix Schubert varieties. Finally, we build from these results to generalizations that apply to arbitrary unions of matrix Schubert varieties.
Rogers--Ramanujan Type Identities for Rank Two Partial Nahm Sums
Published
• View Publication
• BIB
Let $A$ be a $r\times r$ rational nonzero symmetric matrix, $B$ a rational column vector, $C$ a rational scalar. For any integer lattice $L$ and vector $v$ of $\mathbb{Z}^r$, we define Nahm sum on the lattice coset $v+L\in \mathbb{Z}^r/L$: \begin{align*}\label{eq-lattice-sum} f_{A,B,C,v+L}(q):=\sum_{n=(n_1,\dots,n_r)^\mathrm{T} \in v+L} \frac{q^{\frac{1}{2}n^\mathrm{T} An+n^\mathrm{T} B+C}}{(q;q)_{n_1}\cdots (q;q)_{n_r}}. \end{align*} If $L$ is a full rank lattice and a proper subset of $\mathbb{Z}^r$, then we call $f_{A,B,C,v+L}(q)$ a rank $r$ partial Nahm sum. When the rank $r=1$, we find eight modular partial Nahm sums using some known identities. When the rank $r=2$ and $L$ is one of the lattices $\mathbb{Z}(2,0)+\mathbb{Z}(0,1)$, $\mathbb{Z}(1,0)+\mathbb{Z}(0,2)$ or $\mathbb{Z}(2,0)+\mathbb{Z}(0,2)$, we find 14 types of symmetric matrices $A$ such that there exist vectors $B,v$ and scalars $C$ so that the partial Nahm sum $f_{A,B,C,v+L}(q)$ is modular. We establish Rogers--Ramanujan type identities for the corresponding partial Nahm sums which prove their modularity.
Block structures of graphs and quantum isomorphism
We prove that for every pair of quantum isomorphic graphs, their block trees and their block graphs are isomorphic, and that such an isomorphism can be chosen so that the corresponding blocks are quantum isomorphic -- in particular, 2-connectedness is preserved under quantum isomorphism. We conclude with some corollaries, including obtaining some necessary conditions on a pair of quantum isomorphic, not isomorphic graphs with a minimal number of vertices.
$K$-type multiplicities in degenerate principal series via Howe duality
Let $K$ be one of the complex classical groups ${\rm O}_k$, ${\rm GL}_k$, or ${\rm Sp}_{2k}$. Let $M \subseteq K$ be the block diagonal embedding ${\rm O}_{k_1} \times \cdots \times {\rm O}_{k_r}$ or ${\rm GL}_{k_1} \times \cdots \times {\rm GL}_{k_r}$ or ${\rm Sp}_{2k_1} \times \cdots \times {\rm Sp}_{2k_r}$, respectively. By using Howe duality and seesaw reciprocity as a unified conceptual framework, we prove a formula for the branching multiplicities from $K$ to $M$ which is expressed as a sum of generalized Littlewood-Richardson coefficients, valid within a certain stable range. By viewing $K$ as the complexification of the maximal compact subgroup $K_{\mathbb{R}}$ of the real group $G_{\mathbb{R}} = {\rm GL}(k,\mathbb{R})$, ${\rm GL}(k, \mathbb{C})$, or ${\rm GL}(k,\mathbb{H})$, respectively, one can interpret our branching multiplicities as $K_{\mathbb{R}}$-type multiplicities in degenerate principal series representations of $G_{\mathbb{R}}$. Upon specializing to the minimal $M$, where $k_1 = \cdots = k_r = 1$, we establish a fully general tableau-theoretic interpretation of the branching multiplicities, corresponding to the $K_{\mathbb{R}}$-type multiplicities in the principal series.
Number of partitions of modular integers (with an Appendix by P. Deligne)
For integers $n,k,s$, we give a formula for the number $T(n,k,s)$ of order $k$ subsets of the ring $\mathbb{Z}/n\mathbb{Z}$ whose sum of elements is $s$ modulo $n$. To do so, we describe explicitly a sequence of matrices $M(k)$, for positive integers $k$, such that the size of $M(k)$ is the number of divisors of $k$, and for two coprime integers $k_{1},k_{2}$, the matrix $M(k_{1}k_{2})$ is the Kronecker product of $M(k_{1})$ and $M(k_{2})$. For $s=0, 1, 2$, and for $s=k/2$ when $k$ is even, the sequences $T(n,k,s)$ are related to the number of necklaces with $k$ black beads and $n-k$ white beads, and to Lyndon words. This work begins with empirical determinations of $M(k)$ up to $k=10000$, from which we infer a closed formula that encompasses many entries in the Encyclopedia of Integer Sequences. Its proof comes from work on Ramanujan sums, by Ramanathan, with a generalization to wider problems linked to representation theory and recently described by Deligne.
Permuton limits for some permutations avoiding a single pattern
Permutons are probability measures on the unit square with uniform marginals that provide a natural way to describe limits of permutations. We are interested in the permuton limits for permutations sampled uniformly from certain pattern-avoiding classes that are in bijection with the class of permutations avoiding the increasing pattern of length $d+1$. In particular, we will look at a family of permutations whose permuton limit collapses to the unique permuton supported on the line $x + y = 1$ in the unit square, informally known as the anti-diagonal. We prove some general properties about permutons to aid our efforts, which may be useful for proving permuton limits that converge to the anti-diagonal for a broader range of permutation classes.
Kissing polytopes in dimension 3
Published
• View Publication
• BIB
It is shown that the smallest possible distance between two disjoint lattice polytopes contained in the cube $[0,k]^3$ is exactly $$ \frac{1}{\sqrt{2(2k^2-4k+5)(2k^2-2k+1)}} $$ for every integer $k$ at least $4$. The proof relies on modeling this as a minimization problem over a subset of the lattice points in the hypercube $[-k,k]^9$. A precise characterization of this subset allows to reduce the problem to computing the roots of a finite number of degree at most $4$ polynomials, which is done using symbolic computation.
Domination and Multistate Systems
Domination theory has been studied extensively in the context of binary monotone systems, where the structure function is a sum of products of the component state variables, and with coefficients given by the signed domination function. Using e.g., matroid theory, many useful properties of the signed domination function has been derived. In this paper we show how some of these results can be extended to multistate systems. In particular, we show how the signed domination function can be extended to such systems. Using Möbius inversion we show how the signed domination function can be expressed in terms of a multistate structure function. Moreover, using this expression we show how calculating the signed domination function of a multistate system can be reduced to calculating the signed domination function of an associated binary system. This way many results from binary theory can easily be extended to multistate theory.
On Clique Graphs and Clique Regular Graphs
Published
• View Publication
• BIB
If $Γ$ is a graph for which every edge is in exactly one clique of order $ω$, then one can form a new graph with vertex set equal to these cliques. This is a generalization of the line graph of $Γ$. We discover many general results and classifications related to these clique graph that will be useful to researchers studying these objects. In particular, we find bounds on its eigenvalues (with exact results when $Γ$ is $k$-regular) and some complete classifications when $Γ$ is strongly regular. We apply our results to many examples, including Conway's 99-graph problem and the existence problem for other strongly regular graphs.
An unconditional lower bound for the active-set method on the hypercube
Published
• View Publication
• BIB
The existence of a polynomial-time pivot rule for the simplex method is a fundamental open question in optimization. While many super-polynomial lower bounds exist for individual or very restricted classes of pivot rules, there currently is little hope for an unconditional lower bound that addresses all pivot rules. We approach this question by considering the active-set method as a natural generalization of the simplex method to non-linear objectives. This generalization allows us to prove the first unconditional lower bound for all pivot rules. More precisely, we construct a multivariate polynomial of degree linear in the number of dimensions such that the active-set method started in the origin visits all vertices of the hypercube. We hope that our framework serves as a starting point for a new angle of approach to understanding the complexity of the simplex method.
Merge-width and First-Order Model Checking
Published
• View Publication
• BIB
We introduce merge-width, a family of graph parameters that unifies several structural graph measures, including treewidth, degeneracy, twin-width, clique-width, and generalized coloring numbers. Our parameters are based on new decompositions called construction sequences. These are sequences of ever coarser partitions of the vertex set, where each pair of parts has a specified default connection, and all vertex pairs of the graph that differ from the default are marked as resolved. The radius-$r$ merge-width is the maximum number of parts reached from a vertex by following a path of at most $r$ resolved edges. Graph classes of bounded merge-width -- for which the radius-$r$ merge-width parameter can be bounded by a constant, for each fixed $r=1,2,3,\ldots$ -- include all classes of bounded expansion or of bounded twin-width, thus unifying two central notions from the Sparsity and Twin-width frameworks. Furthermore, they are preserved under first-order transductions, which attests to their robustness. We conjecture that classes of bounded merge-width are equivalent to the previously introduced classes of bounded flip-width.
As our main result, we show that the model checking problem for first-order logic is fixed-parameter tractable on graph classes of bounded merge-width, assuming the input includes a witnessing construction sequence. This unites and extends two previous model checking results: the result of Dvořák, Král, and Thomas for classes of bounded expansion, and the result of Bonnet, Kim, Thomassé, and Watrigant for classes of bounded twin-width.
Finally, we suggest future research directions that could impact the study of structural and algorithmic graph theory, in particular of monadically dependent graph classes, which we conjecture to coincide with classes of almost bounded merge-width.
Variable degeneracy of planar graphs without chorded 6-cycles
Published in Acta Mathematica Sinica (English Series), 40 (2024) 2735--2750
• View Publication
• BIB
A cover of a graph $G$ is a graph $H$ with vertex set $V(H) = \bigcup_{v \in V(G)} L_{v}$, where $L_{v} = \{v\} \times [s]$, and the edge set $M = \bigcup_{uv \in E(G)} M_{uv}$, where $M_{uv}$ is a matching between $L_{u}$ and $L_{v}$. A vertex set $T \subseteq V(H)$ is a transversal of $H$ if $|T \cap L_{v}| = 1$ for each $v \in V(G)$. Let $f$ be a nonnegative integer valued function on the vertex-set of $H$. If for any nonempty subgraph $Γ$ of $H[T]$, there exists a vertex $x \in V(H)$ such that $d(x) < f(x)$, then $T$ is called a strictly $f$-degenerate transversal. In this paper, we give a sufficient condition for the existence of strictly $f$-degenerate transversal for planar graphs without chorded $6$-cycles. As a consequence, every planar graph without subgraphs isomorphic to the configurations in Fig. 4 is DP-$4$-colorable.
Planar graphs with distance of 3-cycles at least 2 and no cycles of lengths 5, 6, 7
Published in Applied Mathematics and Computation, 481 (2024) 128946
• View Publication
• BIB
Weak degeneracy of a graph is a variation of degeneracy that has a close relationship to many graph coloring parameters. In this article, we prove that planar graphs with distance of $3$-cycles at least 2 and no cycles of lengths $5, 6, 7$ are weakly $2$-degenerate. Furthermore, such graphs can be vertex-partitioned into two subgraphs, one of which has no edges, and the other is a forest.
Realizing degree sequences with $\mathcal S_3$-connected graphs
Published
• View Publication
• BIB
A graph $G$ is $\mathcal S_3$-connected if, for any mapping $β: V (G) \mapsto {\mathbb Z}_3$ with $\sum_{v\in V(G)} β(v)\equiv 0\pmod3$, there exists a strongly connected orientation $D$ satisfying $d^{+}_D(v)-d^{-}_D(v)\equiv β(v)\pmod{3}$ for any $v \in V(G)$. It is known that $\mathcal S_3$-connected graphs are contractible configurations for the property of flow index strictly less than three. In this paper, we provide a complete characterization of graphic sequences that have an $\mathcal{S}_{3}$-connected realization: A graphic sequence $π=(d_1,\, \ldots,\, d_n )$ has an $\mathcal S_3$-connected realization if and only if $\min \{d_1,\, \ldots,\, d_n\} \ge 4$ and $\sum^n_{i=1}d_i \ge 6n - 4$. Consequently, every graphic sequence $π=(d_1,\, \ldots,\, d_n )$ with $\min \{d_1,\, \ldots,\, d_n\} \ge 6$ has a realization $G$ with flow index strictly less than three. This supports a conjecture of Li, Thomassen, Wu and Zhang [European J. Combin., 70 (2018) 164-177] that every $6$-edge-connected graph has flow index strictly less than three.