Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Merge-width and First-Order Model Checking
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
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.
On connected subgraph arrangements
Recently, Cuntz and Kühne introduced a particular class of hyperplane arrangements stemming from a given graph $G$, so called connected subgraph arrangements $A_G$. In this note we strengthen some of the result from their work and prove new ones for members of this class. For instance, we show that aspherical members withing this class stem from a rather restricted set of graphs. Specifically, if $A_G$ is an aspherical connected subgraph arrangement, then $A_G$ is free with the unique possible exception when the underlying graph $G$ is the complete graph on $4$ nodes.
Connectivity for square percolation and coarse cubical rigidity in random right-angled Coxeter groups
We consider random right-angled Coxeter groups, $W_Γ$, whose presentation graph $Γ$ is taken to be an Erdős--Rényi random graph, i.e., $Γ\sim \mathcal{G}_{n,p}$. We use techniques from probabilistic combinatorics to establish several new results about the geometry of these random groups.
We resolve a conjecture of Susse and determine the connectivity threshold for square percolation on the random graph $Γ\sim \mathcal{G}_{n,p}$. We use this result to determine a large range of $p$ for which the random right-angled Coxeter group $W_Γ$ has a unique cubical coarse median structure. Until recent work of Fioravanti, Levcovitz and Sageev, there were no non-hyperbolic examples of groups with cubical coarse rigidity; our present results show the property is in fact typically satisfied by a random RACG for a wide range of the parameter $p$, including $p=1/2$.
The Determinantal Matroid
We study the algebraic matroid induced by the ideal of (r+1)-minors of a matrix of variables over a field. This is inherently connected to the bounded-rank matrix completion problem, in which the aim is to complete a partially observed rank r matrix. We give criteria that detect dependent sets in the matroid, we describe a family of bases of the matroid, and we study the question of unique completability.
Unbent Collections of Orthogonal Drawings
Recently, there has been interest in representing single graphs by multiple drawings; for example, using graph stories, storyplans, or uncrossed collections. In this paper, we apply this idea to orthogonal graph drawing. Due to the orthogonal drawing style, we focus on 4-graphs, that is, graphs of maximum degree 4. We restrict ourselves to plane graphs, that is, planar graphs whose embedding is fixed. Our goal is to represent any plane 4-graph $G$ by an unbent collection, that is, a collection of orthogonal drawings of $G$ that adhere to the embedding of $G$ and ensure that each edge of $G$ is drawn without bends in at least one of the drawings. We investigate two objectives. First, we consider minimizing the number of drawings in an unbent collection. We prove that every plane 4-graph can be represented by a collection with at most three drawings, which is tight. We also give necessary and sufficient conditions for a graph to admit an unbent collection of size $2$. Second, we consider minimizing the total number of bends over all drawings in an unbent collection. We show that this problem is NP-hard and give a 3-approximation algorithm. For the special case of plane triconnected cubic graphs, we show how to compute minimum-bend collections in linear time.
Square-free powers of Cohen-Macaulay simplicial forests
Let $I(Δ)^{[k]}$ denote the $k^{\text{th}}$ square-free power of the facet ideal of a simplicial complex $Δ$ in a polynomial ring $R$. Square-free powers are intimately related to the `Matching Theory' and `Ordinary Powers'. In this article, we show that if $Δ$ is a Cohen-Macaulay simplicial forest, then $R/I(Δ)^{[k]}$ is Cohen-Macaulay for all $k\ge 1$. This result is quite interesting since all ordinary powers of a graded radical ideal can never be Cohen-Macaulay unless it is a complete intersection. To prove the result, we introduce a new combinatorial notion called special leaf, and using this, we provide an explicit combinatorial formula of $\mathrm{depth}(R/I(Δ)^{[k]})$ for all $k\ge 1$, where $Δ$ is a Cohen-Macaulay simplicial forest. As an application, we show that the normalized depth function of a Cohen-Macaulay simplicial forest is nonincreasing.
Chevalley operations on TNN Grassmannians
Lusztig showed that invertible totally nonnegative (TNN) matrices form a semigroup generated by positive diagonal matrices and Chevalley generators. From its Grassmann analogue, we introduce Chevalley operations on index sets, which we show have a rich variety of applications. We first completely classify all inequalities that are quadratic in Plucker coordinates over the TNN part of the Grassmannian: \[\sum_{I,J}c_{I,J}Δ_IΔ_J\ge 0\quad over\quad \mathrm{Gr}^{\ge 0}(m,m+n)\] where each $c_{I,J}$ is real, and $Δ_I,Δ_J$ are Plucker coordinates with a homogeneity condition. Using an idea of Gekhtman-Shapiro-Vainshtein, we also explain how our Chevalley operations can be motivated from cluster mutations, and lead to working in Grassmannians of smaller dimension, akin to cluster algebras.
We then present several applications of Chevalley operations. First, we obtain certificates for the above inequalities via sums of coefficients $c_{I,J}$ over 321-avoiding permutations and involutions; we believe this refined results of Rhoades-Skandera for TNN-matrix inequalities via their Temperley-Lieb immanant idea.
Second, we provide a novel proof via Chevalley operations of Lam's log-supermodularity of Plucker coordinates. This has several consequences: (a) Each positroid, corresponding to the positroid cells in Postnikov's decomposition of the TNN Grassmannian, is a distributive lattice. (b) It also yields numerical positivity in the main result of Lam-Postnikov-Pylyavskyy. (c) We show the coordinatewise monotonicity of ratios of Schur polynomials, first proved by Khare-Tao and which is the key result they use to obtain quantitative estimates for positivity preservers.
Third, we employ Chevalley operations to show that the majorization order over partitions implicates a partial order for induced character immanants over TNN matrices, proved originally by Skandera-Soskin.
Factorization norms and Zarankiewicz problems
The $γ_2$-norm of Boolean matrices plays an important role in communication complexity and discrepancy theory. In this paper, we study combinatorial properties of this norm, and provide new applications, involving Zarankiewicz type problems. We show that if $M$ is an $m\times n$ Boolean matrix such that $γ_2(M)<γ$ and $M$ contains no $t\times t$ all-ones submatrix, then $M$ contains $O_{γ,t}(m+n)$ one entries. In other words, graphs of bounded $γ_2$-norm are degree bounded. This addresses a conjecture of Hambardzumyan, Hatami, and Hatami for locally sparse matrices. We prove that if $G$ is a $K_{t,t}$-free incidence graph of $n$ points and $n$ homothets of a polytope $P$ in $\mathbb{R}^d$, then the average degree of $G$ is $O_{d,P}(t(\log n)^{O(d)})$. This is sharp up the $O(.)$ notations. In particular, we prove a more general result on semilinear graphs, which greatly strengthens the work of Basit, Chernikov, Starchenko, Tao, and Tran.
CayleyPy RL: Pathfinding and Reinforcement Learning on Cayley Graphs
This paper is the second in a series of studies on developing efficient artificial intelligence-based approaches to pathfinding on extremely large graphs (e.g. $10^{70}$ nodes) with a focus on Cayley graphs and mathematical applications. The open-source CayleyPy project is a central component of our research. The present paper proposes a novel combination of a reinforcement learning approach with a more direct diffusion distance approach from the first paper. Our analysis includes benchmarking various choices for the key building blocks of the approach: architectures of the neural network, generators for the random walks and beam search pathfinding. We compared these methods against the classical computer algebra system GAP, demonstrating that they "overcome the GAP" for the considered examples. As a particular mathematical application we examine the Cayley graph of the symmetric group with cyclic shift and transposition generators. We provide strong support for the OEIS-A186783 conjecture that the diameter is equal to n(n-1)/2 by machine learning and mathematical methods. We identify the conjectured longest element and generate its decomposition of the desired length. We prove a diameter lower bound of n(n-1)/2-n/2 and an upper bound of n(n-1)/2+ 3n by presenting the algorithm with given complexity. We also present several conjectures motivated by numerical experiments, including observations on the central limit phenomenon (with growth approximated by a Gumbel distribution), the uniform distribution for the spectrum of the graph, and a numerical study of sorting networks. To stimulate crowdsourcing activity, we create challenges on the Kaggle platform and invite contributions to improve and benchmark approaches on Cayley graph pathfinding and other tasks.
Universality of Polyhedral Linkages
Planar linkages are a rich area of study motivated by practical applications in engineering mechanisms. A central result is Kempe's Universality Theorem, which states that semi-algebraic sets can be realized by planar linkages. Polyhedral linkages are generalizations of planar linkages to higher dimensions, where the faces are required to be rigid. In this paper, we generalize Kempe's Universality Theorem to polyhedral linkages with an embedded construction in dimension three and above.
Claw-free cubic graphs are (1, 1, 1, 3)-packing edge-colorable
Published in Discrete Applied Mathematics 379 (2026) 332-338
• View Publication
• BIB
For a non-decreasing positive integer sequence $S = (s_{1}, \dots, s_{k})$, an $S$-packing edge-coloring of a graph $G$ is a partition of the edge set of $G$ into subsets $E_{1}, \dots, E_{k}$ such that for each $1 \leq i \leq k$, the distance between any two distinct edges $e_{1}, e_{2} \in E_{i}$ is at least $s_{i} + 1$. Gastineau and Togni conjectured that cubic graphs, except the Petersen and Tietze graphs, admit $(1, 1, 1, 3)$-packing edge-colorings. In this paper, we prove that every claw-free cubic graph admits such a coloring.
Optimal redundancy of function-correcting codes
Function-correcting codes, introduced by Lenz, Bitar, Wachter-Zeh, and Yaakobi, protect specific function values of a message rather than the entire message. A central challenge is determining the optimal redundancy -- the minimum additional information required to recover function values amid errors. This redundancy depends on both the number of correctable errors $t$ and the structure of message vectors yielding identical function values. While prior works established bounds, key questions remain, such as the optimal redundancy for functions like Hamming weight and Hamming weight distribution, along with efficient code constructions. In this paper, we make the following contributions:
(1) For the Hamming weight function, we improve the lower bound on optimal redundancy from $\frac{10(t-1)}{3}$ to $4t - \frac{4}{3}\sqrt{6t+2} + 2$. On the other hand, we provide a systematical approach to constructing explicit FCCs via a novel connection with Gray codes, which also improve the previous upper bound from $\frac{4t-2}{1 - 2\sqrt{\log{2t}/(2t)}}$ to $4t - \log{t}$. Consequently, we almost determine the optimal redundancy for Hamming weight function.
(2) The Hamming weight distribution function is defined by the value of Hamming weight divided by a given positive integer $T$. Previous work established that the optimal redundancy is $2t$ when $T > 2t$, while the case $T \le 2t$ remained unclear. We show that the optimal redundancy remains $2t$ when $T \ge t+1$. However, in the surprising regime where $T = o(t)$, we achieve near-optimal redundancy of $4t - o(t)$. Our results reveal a significant distinction in behavior of redundancy for distinct choices of $T$.
Expression of special stretched $9j$ coefficients in terms of $_5F_4$ hypergeometric series
The Clebsch-Gordan coefficients or Wigner $3j$ symbols are known to be proportional to a $_3F_2(1)$ hypergeometric series, and Racah $6j$ coefficients to a $_4F_3(1)$. In general, however, non-trivial $9j$ symbols can not be expressed as a $_5F_4$. In this letter, we show, using the Dougall-Ramanujan identity, that special stretched $9j$ symbols can be reformulated as $_5F_4(1)$ hypergeometric series.
On homological properties of some Cynk-Szemberg octic hyperplane arrangements
In this paper we study Cynk-Szemberg octic hyperplane arrangements from the perspective of homological properties of their derivation modules. In particular, we define the notion of the type of hyperplane arrangements that will be used in our characterization of rigid Cynk-Szemberg octic hyperplane arrangements. Moreover, we deliver a combinatorial non-freeness criterion for essential hyperplane arrangements in $\mathbb{C}^{4}$.
On the Global Optimality of Fibonacci Lattices in the Torus
We use linear programming bounds to analyze point sets in the torus with respect to their optimality for problems in discrepancy theory and quasi-Monte Carlo methods. These concepts will be unified by introducing tensor product energies.
We show that the canonical $3$-point lattice in any dimension is globally optimal among all $3$-point sets in the torus with respect to a large class of such energies. This is a new instance of universal optimality, a special phenomenon that is only known for a small class of highly structured point sets.
In the case of $d=2$ dimensions it is conjectured that so-called Fibonacci lattices should also be optimal with respect to a large class of potentials. To this end we show that the $5$-point Fibonacci lattice is globally optimal for a continuously parametrized class of potentials relevant to the analysis fo the quasi-Monte Carlo method.
Lotuses as computational architectures
Lotuses are certain types of finite contractible simplicial complexes, obtained by identifying vertices of polygons subdivided by diagonals. As we explained in a previous paper, each time one resolves a complex reduced plane curve singularity by a sequence of toroidal modifications with respect to suitable local coordinates, one gets a naturally associated lotus, which allows to unify the classical trees used to encode the combinatorial type of the singularity. In this paper we explain how to associate a lotus to each constellation of crosses, which is a finite constellation of infinitely near points endowed with compatible germs of normal crossings divisors with two components, and how this lotus may be seen as a computational architecture. Namely, if the constellation of crosses is associated to an embedded resolution of a complex reduced plane curve singularity $A$, one may compute progressively as vertex and edge weights on the lotus the log-discrepancies of the exceptional divisors, the orders of vanishing on them of the starting coordinates, the multiplicities of the strict transforms of the branches of $A$, the orders of vanishing of a defining function of $A$, the associated Eggers-Wall tree, the delta invariant and the Milnor number of $A$, etc. We illustrate these computations using three recurrent examples. Finally, we describe the changes to be done when one works in positive characteristic.
Ellipsoidal designs and the Prouhet--Tarry--Escott problem
The notion of ellipsoidal design was first introduced by Pandey (2022) as a full generalization of spherical designs on the unit circle $S^1$. In this paper, we elucidate the advantages of examining the connections between ellipsoidal design and the two-dimensional Prouhet--Tarry--Escott problem, say ${\mathrm PTE}_2$, originally introduced by Alpers and Tijdeman (2007) as a natural generalization of the classical one-dimensional PTE problem (${\mathrm PTE}_1$). We first provide a combinatorial criterion for the construction of solutions of ${\mathrm PTE}_2$ from a pair of ellipsoidal designs. We also give an arithmetic proof of the Stroud-type bound for ellipsoidal designs, and then establish a classification theorem for designs with equality. Such a classification result is closely related to an open question on the existence of rational spherical $4$-designs on $S^1$, discussed in Cui, Xia and Xiang (2019). As far as the authors know, a solution found by Alpers and Tijdeman is the first and the only known parametric ideal solution of degree $5$ for ${\mathrm PTE}_2$. Moreover, as one of our main theorems, we prove that the Alpers--Tijdeman solution is equivalent to a certain two-dimensional extension of the famous Borwein solution for ${\mathrm PTE}_1$. As a by-product of this theorem, we discover a family of ellipsoidal $5$-designs among the Alpers--Tijdeman solution.