graph
35273 papers tagged with this keyword
Weighted Cages
Published
• View Publication
• BIB
Cages ($r$-regular graphs of girth $g$ and minimum order) and their variants have been studied for over seventy years. Here we propose a new variant, "weighted cages". We characterize their existence; for cases $g=3,4$ we determine their order; we give Moore-like bounds and present some computational results.
Ensemble inequivalence and phase transitions in unlabeled networks
Published in Phys. Rev. Lett. 134 (2025) 207401
• View Publication
• BIB
We discover a first-order phase transition in the canonical ensemble of random unlabeled networks with a prescribed average number of links. The transition is caused by the nonconcavity of microcanonical entropy. Above the critical point coinciding with the graph symmetry phase transition, the canonical and microcanonical ensembles are equivalent and have a well-behaved thermodynamic limit. Below the critical point, the ensemble equivalence is broken, and the canonical ensemble is a mixture of phases: empty networks and networks with average degrees diverging logarithmically with the network size. As a consequence, networks with bounded average degrees do not survive in the thermodynamic limit, decaying into the empty phase. The celebrated percolation transition in labeled networks is thus absent in unlabeled networks. In view of these differences between labeled and unlabeled ensembles, the question of which one should be used as a null model of different real-world networks cannot be ignored.
Polyhedral study of a temporal rural postman problem: application in inspection of railway track without disturbing train schedules
The Rural Postman Problem with Temporal Unavailability (RPP-TU) is a variant of the Rural Postman Problem (RPP) specified for multi-agent planning over directed graphs with temporal constraints. These temporal constraints represent the unavailable time intervals for each arc during which agents cannot traverse the arc. Such arc unavailability scenarios occur in routing and scheduling of the instrumented wagons for inspection of railway tracks without disturbing the train schedules, i.e. the scheduled trains prohibit access to the signal blocks (sections of railway track separated by signals) for some finite interval of time.
A three-index formulation for the RPP-TU is adopted from the literature. The three-index formulation has binary variables for describing the route information of the agents, and continuous non-negative variables to describe the schedules at pre-defined locations. A relaxation of the three-index formulation for RPP-TRU, referred to as Cascaded Graph Formulation (CGF), is investigated in this work. The CGF has attributes that simplify the polyhedral study of time-dependent arc routing problems like RPP-TRU. A novel branch-and-cut algorithm is proposed to solve the RPP-TU, where branching is performed over the service arcs. A family of facet-defining inequalities, derived from the polyhedral study, is used as cutting planes in the proposed branch-and-cut algorithm to reduce the computation time by up to $48\%$. Finally, an application of this work is showcased using a simulation case study of a railway inspection scheduling problem based on Kurla-Vashi-Thane suburban network in Mumbai, India. An improvement of $93\%$ is observed when compared to a Benders' decomposition based MILP solver from the literature.
The fundamental group and the magnitude-path spectral sequence of a directed graph
Published
• View Publication
• BIB
The fundamental group of a directed graph admits a natural sequence of quotient groups called $r$-fundamental groups, and the $r$-fundamental groups can capture properties of a directed graph that the fundamental group cannot capture. The fundamental group of a directed graph is related to path homology through the Hurewicz theorem. The magnitude-path spectral sequence connects magnitude homology and path homology of a directed graph, and it may be thought of as a sequence of homology of a directed graph, including path homology. In this paper, we study relations of the $r$-fundamental groups and the magnitude-path spectral sequence through the Hurewicz theorem and the Seifert-van Kampen theorem.
The Number of Spanning Trees for The Generalized Cones of $K_n$, The Generalized Half Cones of $K_{m,n}$ and Some Family of Modified $K_{m,n}$
We compute the total number of spanning trees for the generalized cone of the complete graph $K_n$ and a number of families of some modified bipartite graphs $K_{m,n}$. In particular, we obtain a new method of finding the number of spanning trees of $K_n$ and $K_{m,n}$. Our method relies on the vertex deletion formula for the number of spanning trees.
The minimum number of maximal dissociation sets in unicyclic graphs
Published
• View Publication
• BIB
A subset of vertices in a graph $G$ is considered a maximal dissociation set if it induces a subgraph with vertex degree at most 1 and it is not contained within any other dissociation sets. In this paper, it is shown that for $n\geq 3$, every unicyclic graph contains a minimum of $\lfloor n/2\rfloor+2$ maximal dissociation sets. We also show the graphs that attain this minimum bound.
Fractional Chromatic Numbers from Exact Decision Diagrams
Recently, Van Hoeve proposed an algorithm for graph coloring based on an integer flow formulation on decision diagrams for stable sets. We prove that the solution to the linear flow relaxation on exact decision diagrams determines the fractional chromatic number of a graph. This settles the question whether the decision diagram formulation or the fractional chromatic number establishes a stronger lower bound. It also establishes that the integrality gap of the linear programming relaxation is O(log n), where n represents the number of vertices in the graph. We also conduct experiments using exact decision diagrams and could determine the chromatic number of r1000.1c from the DIMACS benchmark set. It was previously unknown and is one of the few newly solved DIMACS instances in the last 10 years.
Reconstructing edge-deleted unicyclic graphs
The Harary reconstruction conjecture states that any graph with more than four edges can be uniquely reconstructed from its set of maximal edge-deleted subgraphs. In 1977, Müller verified the conjecture for graphs with $n$ vertices and $n \log_2(n)$ edges, improving on Lovás's bound of $\log(n^2-n)/4$. Here, we show that the reconstruction conjecture holds for graphs which have exactly one cycle and and three non-isomorphic subtrees.
Lattice supported distributions and graphical models
For the distributions of finitely many binary random variables, we study the interaction of restrictions of the supports with conditional independence constraints. We prove a generalization of the Hammersley-Clifford theorem for distributions whose support is a natural distributive lattice: that is, any distribution which has natural lattice support and satisfies the pairwise Markov statements of a graph must factor according to the graph. We also show a connection to the Hibi ideals of lattices.
Leaky forcing and resilience of Cartesian products of $K_n$
Zero forcing is a process on a graph $G = (V,E)$ in which a set of initially colored vertices,$B_0(G) \subset V(G)$, can color their neighbors according to the color change rule. The color change rule states that if a vertex $v$ can color a neighbor $u$ if $u$ is the only uncolored neighbor of $v$. If a vertex $v$ colors its neighbor, $u$, $v$ is said to force $u$. Leaky forcing is a recently introduced variant of zero forcing in which some vertices cannot force their neighbors, even if they satisfy the color change rule. This variation has been studied for limited families of graphs with particular structure, such as products of paths and discrete hypercubes. A concept closely related to $\ell$-leaky forcing is $\ell$-resilience. A graph is said to be $\ell$-resilient if its $\ell$-leaky forcing number equals its zero forcing number. In this paper, we prove direct products of $K_n$ with $P_t$ and $K_n$ with $C_t$ is 1-resilient and conjecture the former is not 2-resilient.
Further results on staircase graph words
Staircase words are words in which consecutive letters do not differ by more than $1$. We generalize this by extending the restriction to letters lying further apart from each other and obtain the corresponding generating functions, which we express in terms of the Chebyshev polynomials of the second kind.
A refined graph container lemma and applications to the hard-core model on bipartite expanders
Published in Random Structures & Algorithms 68 (2026): e70041
• View Publication
• BIB
We establish a refined version of a graph container lemma due to Galvin and discuss several applications related to the hard-core model on bipartite expander graphs. Given a graph $G$ and $λ>0$, the hard-core model on $G$ at activity $λ$ is the probability distribution $μ_{G,λ}$ on independent sets in $G$ given by $μ_{G,λ}(I)\propto λ^{|I|}$. As one of our main applications, we show that the hard-core model at activity $λ$ on the hypercube $Q_d$ exhibits a `structured phase' for $λ= Ω( \log^2 d/d^{1/2})$ in the following sense: in a typical sample from $μ_{Q_d,λ}$, most vertices are contained in one side of the bipartition of $Q_d$. This improves upon a result of Galvin which establishes the same for $λ=Ω(\log d/ d^{1/3})$. As another application, we establish a fully polynomial-time approximation scheme (FPTAS) for the hard-core model on a $d$-regular bipartite $α$-expander, with $α>0$ fixed, when $λ= Ω( \log^2 d/d^{1/2})$. This improves upon the bound $λ=Ω(\log d/ d^{1/4})$ due to the first author, Perkins and Potukuchi. We discuss similar improvements to results of Galvin-Tetali, Balogh-Garcia-Li and Kronenberg-Spinka.
Redundancy Is All You Need
Published
• View Publication
• BIB
The seminal work of Benczúr and Karger demonstrated cut sparsifiers of near-linear size, with several applications throughout theoretical computer science. Subsequent extensions have yielded sparsifiers for hypergraph cuts and more recently linear codes over Abelian groups. A decade ago, Kogan and Krauthgamer asked about the sparsifiability of arbitrary constraint satisfaction problems (CSPs). For this question, a trivial lower bound is the size of a non-redundant CSP instance, which admits, for each constraint, an assignment satisfying only that constraint (so that no constraint can be dropped by the sparsifier). For graph cuts, spanning trees are non-redundant instances.
Our main result is that redundant clauses are sufficient for sparsification: for any CSP predicate R, every unweighted instance of CSP(R) has a sparsifier of size at most its non-redundancy (up to polylog factors). For weighted instances, we similarly pin down the sparsifiability to the so-called chain length of the predicate. These results precisely determine the extent to which any CSP can be sparsified. A key technical ingredient in our work is a novel application of the entropy method from Gilmer's recent breakthrough on the union-closed sets conjecture.
As an immediate consequence of our main theorem, a number of results in the non-redundancy literature immediately extend to CSP sparsification. We also contribute new techniques for understanding the non-redundancy of CSP predicates. In particular, we give an explicit family of predicates whose non-redundancy roughly corresponds to the structure of matching vector families in coding theory. By adapting methods from the matching vector codes literature, we are able to construct an explicit predicate whose non-redundancy lies between $Ω(n^{1.5})$ and $\widetilde{O}(n^{1.6})$, the first example with a provably non-integral exponent.
The dual complex of $\mathcal{M}_{1,n}(\mathbb{P}^r,d)$ via the geometry of the Vakil--Zinger moduli space
Published
• View Publication
• BIB
We study normal crossings compactifications of the moduli space of maps $\mathcal{M}_{g, n}(\mathbb{P}^r, d)$, for $g = 0$ and $g = 1$. In each case we explicitly determine the dual boundary complex, and prove that it admits a natural interpretation as a moduli space of decorated metric graphs. We prove that the dual complexes are contractible when $r \geq 1$ and $d > g$. When $g = 1$, our result depends on a new understanding of the connected components of boundary strata in the Vakil--Zinger desingularization and its modular interpretation by Ranganathan--Santos-Parker--Wise.
Some conjectures on $r$-graphs and equivalences
An $r$-regular graph is an $r$-graph, if every odd set of vertices is connected to its complement by at least $r$ edges. Seymour [On multicolourings of cubic graphs, and conjectures of Fulkerson and Tutte.~\emph{Proc.~London Math.~Soc.}~(3), 38(3): 423-460, 1979] conjectured (1) that every planar $r$-graph is $r$-edge colorable and (2) that every $r$-graph has $2r$ perfect matchings such that every edge is contained in precisely two of them. We study several variants of these conjectures.
A $(t,r)$-PM is a multiset of $t \cdot r$ perfect matchings of an $r$-graph $G$ such that every edge is in precisely $t$ of them. We show that the following statements are equivalent for every $t, r \geq 1$:
1. Every planar $r$-graph has a $(t,r)$-PM.
2. Every $K_5$-minor-free $r$-graph has a $(t,r)$-PM.
3. Every $K_{3,3}$-minor-free $r$-graph has a $(t,r)$-PM.
4. Every $r$-graph whose underlying simple graph has crossing number at most $1$ has a $(t,r)$-PM.
The Turán Density of 4-Uniform Tight Cycles
Published
• View Publication
• BIB
For any uniformity $r$ and residue $k$ modulo $r$, we give an exact characterization of the $r$-uniform hypergraphs that homomorphically avoid tight cycles of length $k$ modulo $r$, in terms of colorings of $(r-1)$-tuples of vertices. This generalizes the result that a graph avoids all odd closed walks if and only if it is bipartite, as well as a result of Kam\v cev, Letzter, and Pokrovskiy in uniformity 3. In fact, our characterization applies to a much larger class of families than those of the form $\mathscr C_k^{(r)}=\{\text{$r$-uniform tight cycles of length $k$ modulo $r$}\}$.
We also outline a general strategy to prove that, if $\mathscr C$ is a family of tight-cycle-like hypergraphs (including but not limited to the families $\mathscr C_k^{(r)}$) for which the above characterization applies, then all sufficiently long $C\in \mathscr C$ will have the same Turán density. We demonstrate an application of this framework, proving that there exists an integer $L_0$ such that for every $L>L_0$ not divisible by 4, the tight cycle $C^{(4)}_L$ has Turán density $1/2$.
Some easy optimization problems have the overlap-gap property
We show that the shortest $s$-$t$ path problem has the overlap-gap property in (i) sparse $\mathbf{G}(n,p)$ graphs and (ii) complete graphs with i.i.d. Exponential edge weights. Furthermore, we demonstrate that in sparse $\mathbf{G}(n,p)$ graphs, shortest path is solved by $O(\log n)$-degree polynomial estimators, and a uniform approximate shortest path can be sampled in polynomial time. This constitutes the first example in which the overlap-gap property is not predictive of algorithmic intractability for a (non-algebraic) average-case optimization problem.
Extremal spectral radius and $g$-good $r$-component connectivity
Published
• View Publication
• BIB
For $F\subseteq V(G)$, if $G-F$ is a disconnected graph with at least $r$ components and each vertex $v\in V(G)\backslash F$ has at least $g$ neighbors, then $F$ is called a $g$-good $r$-component cut of $G$. The $g$-good $r$-component connectivity of $G$, denoted by $cκ_{g,r}(G)$, is the minimum cardinality of $g$-good $r$-component cuts of $G$. Let $\mathcal{G}_n^{k,δ}$ be the set of graphs of order $n$ with minimum degree $δ$ and $g$-good $r$-component connectivity $cκ_{g,r}(G)=k$. In the paper, we determine the extremal graphs attaining the maximum spectral radii among all graphs in $\mathcal{G}_n^{k,δ}$. A subset $F\subseteq V(G)$ is called a $g$-good neighbor cut of $G$ if $G-F$ is disconnected and each vertex $v\in V(G)\backslash F$ has at least $g$ neighbors. The $g$-good neighbor connectivity $κ_g(G)$ of a graph $G$ is the minimum cardinality of $g$-good neighbor cuts of $G$. The condition of $g$-good neighbor connectivity is weaker than that of $g$-good $r$-component connectivity, and there is no requirement on the number of components. As a counterpart, we also study similar problem for $g$-good neighbor connectivity.
Periodic colorings and orientations in infinite graphs
Published in Combinatorial Theory 5(4) (2025), #5
• View Publication
• BIB
We study the existence of periodic colorings and orientations in locally finite graphs. A coloring or orientation of a graph $G$ is periodic if the resulting colored or oriented graph is quasi-transitive, meaning that $V(G)$ has finitely many orbits under the action of the group of automorphisms of $G$ preserving the coloring or the orientation. When such a periodic coloring or orientation of $G$ exists, $G$ itself must be quasi-transitive and it is natural to investigate when quasi-transitive graphs have such periodic colorings or orientations. We provide examples of Cayley graphs with no periodic orientation or non-trivial coloring, and examples of quasi-transitive graphs of treewidth 2 without periodic orientation or proper coloring. On the other hand we show that every quasi-transitive graph $G$ of bounded pathwidth has a periodic proper coloring with $χ(G)$ colors and a periodic orientation. We relate these problems with techniques and questions from symbolic dynamics and distributed computing and conclude with a number of open problems.
The 2-burning number of a graph
Published
• View Publication
• BIB
We study a discrete-time model for the spread of information in a graph, motivated by the idea that people believe a story when they learn of it from two different origins. Similar to the burning number, in this problem, information spreads in rounds and a new source can appear in each round. For a graph $G$, we are interested in $b_2(G)$, the minimum number of rounds until the information has spread to all vertices of graph $G$. We are also interested in finding $t_2(G)$, the minimum number of sources necessary so that the information spreads to all vertices of $G$ in $b_2(G)$ rounds. In addition to general results, we find $b_2(G)$ and $t_2(G)$ for the classes of spiders and wheels and show that their behavior differs with respect to these two parameters. We also provide examples and prove upper bounds for these parameters for Cartesian products of graphs.