graph
34516 papers tagged with this keyword
Low-rank matrices, tournaments, and symmetric designs
Published in Linear Algebra Appl. 694 (2024) 136-147
• View Publication
• BIB
Let $\mathbf{a} = (a_{i})_{i \geq 1}$ be a sequence in a field $\mathbb{F}$, and $f \colon \mathbb{F} \times \mathbb{F} \to \mathbb{F}$ be a function such that $f(a_{i},a_{i}) \neq 0$ for all $i \geq 1$. For any tournament $T$ over $[n]$, consider the $n \times n$ symmetric matrix $M_{T}(f, \mathbf{a})$ with zero diagonal whose $(i,j)$th entry (for $i < j$) is $f(a_{i},a_{j})$ if $i \to j$ in $T$, and $f(a_{j},a_{i})$ if $j \to i$ in $T$. It is known (cf. Balachandran et al., Linear Algebra Appl. 658 (2023), 310-318) that if $T$ is a uniformly random tournament over $[n]$, then $\operatorname{rank}(M_{T}(f,\mathbf{a})) \geq (\frac{1}{2}-o(1))n$ with high probability when $\operatorname{char}(\mathbb{F}) \neq 2$ and $f$ is a linear function.
In this paper, we investigate the other extremal question: how low can the ranks of such matrices be? We work with sequences $\mathbf{a}$ that take only two distinct values, so the rank of any such $n \times n$ matrix is at least $n/2$. First, we show that the rank of any such matrix depends on whether an associated bipartite graph has certain eigenvalues of high multiplicity. Using this, we show that if $f$ is linear, then there are $n \times n$ real matrices $M_{T}(f;\mathbf{a})$ of rank at most $\frac{n}{2} + O(1)$. For rational matrices, we show that for each $\varepsilon > 0$ we can find a sequence $\mathbf{a}(\varepsilon)$ for which there are $n \times n$ matrices $M_{T}(f;\mathbf{a}(\varepsilon))$ of rank at most $(\frac{1}{2} + \varepsilon)n + O(1)$. These matrices are constructed from symmetric designs, and we also use them to produce bisection-closed families of size greater than $\lfloor 3n/2 \rfloor - 2$ for $n \leq 15$, which improves the previously best known bound (cf. Balachandran et al., Electron J. Combin. 26 (2019), #P2.40).
Comparison of modularity-based approaches for nodes clustering in hypergraphs
Statistical analysis and node clustering in hypergraphs constitute an emerging topic suffering from a lack of standardization. In contrast to the case of graphs, the concept of nodes' community in hypergraphs is not unique and encompasses various distinct situations. In this work, we conducted a comparative analysis of the performance of modularity-based methods for clustering nodes in binary hypergraphs. To address this, we begin by presenting, within a unified framework, the various hypergraph modularity criteria proposed in the literature, emphasizing their differences and respective focuses. Subsequently, we provide an overview of the state-of-the-art codes available to maximize hypergraph modularities for detecting node communities in binary hypergraphs. Through exploration of various simulation settings with controlled ground truth clustering, we offer a comparison of these methods using different quality measures, including true clustering recovery, running time, (local) maximization of the objective, and the number of clusters detected. Our contribution marks the first attempt to clarify the advantages and drawbacks of these newly available methods. This effort lays the foundation for a better understanding of the primary objectives of modularity-based node clustering methods for binary hypergraphs.
On Sparse Covers of Minor Free Graphs, Low Dimensional Metric Embeddings, and other applications
Given a metric space $(X,d_X)$, a $(β,s,Δ)$-sparse cover is a collection of clusters $\mathcal{C}\subseteq P(X)$ with diameter at most $Δ$, such that for every point $x\in X$, the ball $B_X(x,\fracΔβ)$ is fully contained in some cluster $C\in \mathcal{C}$, and $x$ belongs to at most $s$ clusters in $\mathcal{C}$. Our main contribution is to show that the shortest path metric of every $K_r$-minor free graphs admits $(O(r),O(r^2),Δ)$-sparse cover, and for every $ε>0$, $(4+ε,O(\frac1ε)^r,Δ)$-sparse cover (for arbitrary $Δ>0$). We then use this sparse cover to show that every $K_r$-minor free graph embeds into $\ell_\infty^{\tilde{O}(\frac1ε)^{r+1}\cdot\log n}$ with distortion $3+ε$ (resp. into $\ell_\infty^{\tilde{O}(r^2)\cdot\log n}$ with distortion $O(r)$). Further, among other applications, this sparse cover immediately implies an algorithm for the oblivious buy-at-bulk problem in fixed minor free graphs with the tight approximation factor $O(\log n)$ (previously nothing beyond general graphs was known).
On the diameter of a super-order-commuting graph
We answer a question about the diameter of an order-super-commuting graph on a symmetric group by studying the number-theoretical concept of $d$-complete sequences of primes in arithmetic progression.
Splines on Cayley Graphs of the Symmetric Group
Published in Forum of Mathematics, Sigma 13 (2025) e96
• View Publication
• BIB
A spline is an assignment of polynomials to the vertices of a graph whose edges are labeled by ideals, where the difference of two polynomials labeling adjacent vertices must belong to the corresponding ideal. The set of splines forms a ring. We consider spline rings where the underlying graph is the Cayley graph of a symmetric group generated by a collection of transpositions. These rings generalize the GKM construction for equivariant cohomology rings of flag, regular semisimple Hessenberg, and permutohedral varieties. These cohomology rings carry two actions of the symmetric group $S_n$ whose graded characters are both of general interest in algebraic combinatorics. In this paper, we generalize the graded $S_n$-representations from the cohomologies of the above varieties to splines on Cayley graphs of $S_n$, then (1) give explicit module and ring generators for whenever the $S_n$-generating set is minimal, (2) give a combinatorial characterization of when graded pieces of one $S_n$-representation is trivial, and (3) compute the first degree piece of both graded characters for all generating sets.
Minimal spanning arborescence
We study the minimal spanning arborescence which is the directed analogue of the minimal spanning tree, with a particular focus on its infinite volume limit and its geometric properties. We prove that in a certain large class of transient trees, the infinite volume limit exists almost surely. We also prove that for nonamenable, unimodular graphs, the limit is almost surely one-ended assuming a certain sufficient condition that guarantees the existence of the limit.
This object cannot be studied using well-known algorithms, such as Kruskal's or Prim's algorithm, to sample the minimal spanning tree which has been instrumental in getting analogous results about them (Lyons, Peres, and Schramm). Instead, we use a recursive algorithm due to Chu, Liu, Edmonds, and Bock, which leads to a novel stochastic process which we call the \emph{loop contracting random walk}. This is similar to the well-known and widely studied loop erased random walk, except instead of erasing loops we contract them. The full algorithm bears similarities with the celebrated Wilson's algorithm to generate uniform spanning trees and can be seen as a certain limit of the original Wilson's algorithm.
Properties of Steiner triple systems of order 21
Published
• View Publication
• BIB
Properties of the 62,336,617 Steiner triple systems of order 21 with a non-trivial automorphism group are examined. In particular, there are 28 which have no parallel class, six that are 4-chromatic, five that are 3-balanced, 20 that avoid the mitre, 21 that avoid the crown, one that avoids the hexagon and two that avoid the prism. All systems contain the grid. None have a block intersection graph that is 3-existentially closed.
The golf model on $\mathbb{Z}/n\mathbb{Z}$ and on $\mathbb{Z}$
Published in Electronic Journal of Probability, Electron. J. Probab. 30(none), 1-58, (2025)
• View Publication
• BIB
We introduce a particle model, that we call the $\textit{golf model}$. Initially, on a graph $G$, balls and holes are placed at random on some distinct vertices. The balls then move one by one, doing a random walk on $G$, starting from their initial vertex and stopping at the first empty hole they encounter, which they fill. On finite graphs, under reasonable assumptions (if there are more holes than balls, and if the Markov chain characterizing the random walks is irreducible) a final configuration is reached almost surely. In the paper, we are mainly interested in ${\bf H}^1$, the set of remaining holes. We give the distribution of ${\bf H}^1$ on $\mathbb{Z}/n\mathbb{Z}$, and describe a phase transition for the largest distance between two consecutive holes when the number of remaining holes is of order $\sqrt{n}$. We show that the model on $\mathbb{Z}$ is well-defined if every vertex contains either a ball with probability $d_{\sf b}$, a hole with probability $d_{\sf h}$, or nothing, independently from the other vertices, as long as $d_{\sf b} \leq d_{\sf h}$, and we describe the law of ${\bf H}^1$ in this case.
Packing internally disjoint Steiner paths of data center networks
Let $S\subseteq V(G)$ and $π_{G}(S)$ denote the maximum number $t$ of edge-disjoint paths $P_{1},P_{2},\ldots,P_{t}$ in a graph $G$ such that $V(P_{i})\cap V(P_{j})=S$ for any $i,j\in\{1,2,\ldots,t\}$ and $i\neq j$. If $S=V(G)$, then $π_{G}(S)$ is the maximum number of edge-disjoint spanning paths in $G$. It is proved [Graphs Combin., 37 (2021) 2521-2533] that deciding whether $π_G(S)\geq r$ is NP-complete for a given $S\subseteq V(G)$. For an integer $r$ with $2\leq r\leq n$, the $r$-path connectivity of a graph $G$ is defined as $π_{r}(G)=$min$\{π_{G}(S)|S\subseteq V(G)$ and $|S|=r\}$, which is a generalization of tree connectivity. In this paper, we study the $3$-path connectivity of the $k$-dimensional data center network with $n$-port switches $D_{k,n}$ which has significate role in the cloud computing, and prove that $π_{3}(D_{k,n})=\lfloor\frac{2n+3k}{4}\rfloor$ with $k\geq 1$ and $n\geq 6$.
Bounds on the mod 2 homology of random 2-dimensional determinantal hypertrees
As a first step towards a conjecture of Kahle and Newman, we prove that if $T_n$ is a random $2$-dimensional determinantal hypertree on $n$ vertices, then \[\frac{\dim H_1(T_n,\mathbb{F}_2)}{n^2}\] converges to zero in probability.
Confirming a conjecture of Linial and Peled, we also prove the analogous statement for the $1$-out $2$-complex.
Our proof relies on the large deviation principle for the Erdős-Rényi random graph by Chatterjee and Varadhan.
AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems
This paper introduces AlphaMapleSAT, a Cube-and-Conquer (CnC) parallel SAT solver that integrates Monte Carlo Tree Search (MCTS) with deductive feedback to efficiently solve challenging combinatorial SAT problems. Traditional lookahead cubing methods, used by solvers such as March, limit their search depth to reduce overhead often resulting in suboptimal partitions. By contrast, AlphaMapleSAT performs a deeper MCTS search guided by deductive rewards from SAT solvers. This approach enables informed exploration of the cubing space while keeping cubing costs low. We demonstrate the efficacy of our technique via extensive evaluations against the widely used and established March cubing solver on three well-known challenging combinatorial benchmarks, including the minimum Kochen-Specker (KS) problem from quantum mechanics, the Murty-Simon Conjecture, and the Ramsey problems from extremal graph theory. We compare AlphaMapleSAT against March using different types of conquering solvers such as SAT Modulo Symmetries (SMS) and SAT+CAS, both built on top of the CaDiCaL SAT solver. We show that in all cases, there is a speedup in elapsed real time (wall clock time) ranging from 1.61x to 7.57x on a 128 core machine for the above-mentioned problems. We also perform cube-level and parallel scaling analysis over 32, 64, and 128 cores, which shows that AlphaMapleSAT outperforms March on all these settings. Our results show that deductively-guided MCTS search technique for cubing in CnC solvers can significantly outperform March on hard combinatorial problems.
A Quantum Inspired Bi-level Optimization Algorithm for the First Responder Network Design Problem
In the aftermath of a sudden catastrophe, First Responders (FR) strive to promptly reach and rescue immobile victims. Simultaneously, other mobile individuals take roads to evacuate the affected region, or access shelters. The escalated traffic congestion significantly hinders critical FR operations if they share some of the same roads. A proposal from the Turkish Ministry of Transportation and Infrastructure being discussed for implementation is to allocate a subset of road segments for use by FRs only, mark them clearly, and pre-communicate them to the citizens. For the FR paths under consideration: (i) there should exist an FR path from designated entry points to each demand point in the network, and (ii) evacuees try to leave the network (through some exit points following the selfish routing principle) in the shortest time possible when they know that certain segments are not available to them. We develop a mixed integer non-linear programming formulation for this First Responder Network Design Problem (FRNDP). We solve FRNDP using a novel hybrid quantum-classical heuristic building on the Graver Augmented Multi-Seed Algorithm (GAMA). Using the flow-balance constraints for the FR and evacuee paths, we use a Quadratic Unconstrained Binary Optimization (QUBO) model to obtain a partial Graver Bases to move between the feasible solutions of FRNDP. To efficiently explore the solution space for high-quality solutions, we develop a novel bi-level nested GAMA within GAMA: GAGA. We test GAGA on random graph instances of various sizes and instances related to an expected Istanbul earthquake. Comparing GAGA against a state-of-the-art exact algorithm for traditional formulations, we find that GAGA offers a promising alternative approach. We hope our work encourages further study of quantum (inspired) algorithms to tackle complex optimization models from other application domains.
A sequel to the adventure of RGB-tilings to explore the Four Color Theorem
An approach of using RGB-tilings for proving the Four Color Theorem discussed in three previous work is expanded in this paper. A novel methodology and revisions for the methodology in the three aforementioned papers are discussed, and a previously derived result involving three degree-five vertices in a triangular graph is improved. Moreover, a treatment of a novel topic for a graph with six vertices of degree 5 in a dumbbell shape is presented.
Cokernel statistics for walk matrices of directed and weighted random graphs
Published in Combinator. Probab. Comp. 34 (2025) 131-150
• View Publication
• BIB
The walk matrix associated to an $n\times n$ integer matrix $X$ and an integer vector $b$ is defined by $W := (b,X b, . . . ,X^{n-1} b)$. We study limiting laws for the cokernel of $W$ in the scenario where $X$ is a random matrix with independent entries and $b$ is deterministic. Our first main result provides a formula for the distribution of the $p^{m}$-torsion part of the cokernel, as a group, when $X$ has independent entries from a specific distribution. The second main result relaxes the distributional assumption and concerns the $\mathbb{Z}[x]$-module structure.
The motivation for this work arises from an open problem in spectral graph theory which asks to show that random graphs are often determined up to isomorphism by their (generalized) spectrum. Sufficient conditions for generalized spectral determinacy can namely be stated in terms of the cokernel of a walk matrix. Extensions of our results could potentially be used to determine how often those conditions are satisfied. Some remaining challenges for such extensions are outlined in the paper
Highly connected orientations from edge-disjoint rigid subgraphs
Published
• View Publication
• BIB
We give an affirmative answer to a long-standing conjecture of Thomassen, stating that every sufficiently highly connected graph has a $k$-vertex-connected orientation. We prove that a connectivity of order $O(k^2)$ suffices. As a key tool, we show that for every pair of positive integers $d$ and $t$, every $(t \cdot h(d))$-connected graph contains $t$ edge-disjoint $d$-rigid (in particular, $d$-connected) spanning subgraphs, where $h(d) = 10d(d+1)$. This also implies a positive answer to the conjecture of Kriesell that every sufficiently highly connected graph $G$ contains a spanning tree $T$ such that $G-E(T)$ is $k$-connected.
Contractions in perfect graph
In this paper, we characterize the class of {\em contraction perfect} graphs which are the graphs that remain perfect after the contraction of any edge set. We prove that a graph is contraction perfect if and only if it is perfect and the contraction of any single edge preserves its perfection. This yields a characterization of contraction perfect graphs in terms of forbidden induced subgraphs, and a polynomial algorithm to recognize them. We also define the utter graph $u(G)$ which is the graph whose stable sets are in bijection with the co-2-plexes of $G$, and prove that $u(G)$ is perfect if and only if $G$ is contraction perfect.
Counting subgraphs of coloring graphs
The chromatic polynomial $π_{G}(k)$ of a graph $G$ can be viewed as counting the number of vertices in a family of coloring graphs $\mathcal C_k(G)$ associated with (proper) $k$-colorings of $G$ as a function of the number of colors $k$. These coloring graphs can be understood as a reconfiguration system. We generalize the chromatic polynomial to $π_G^{(H)}(k)$, counting occurrences of arbitrary induced subgraphs $H$ in these coloring graphs, and we prove that these functions are polynomial in $k$. In particular, we study the chromatic pairs polynomial $π_{G}^{(P_2)}(k)$, which counts the number of edges in coloring graphs, corresponding to the number of pairs of colorings that differ on a single vertex. We show two trees share a chromatic pairs polynomial if and only if they have the same degree sequence, and we conjecture that the chromatic pairs polynomial refines the chromatic polynomial in general. We also instantiate our polynomials with other choices of $H$ to generate new graph invariants.
Strong odd coloring of sparse graphs
An odd coloring of a graph $G$ is a proper coloring of $G$ such that for every non-isolated vertex $v$, there is a color appearing an odd number of times in $N_G(v)$. Odd coloring of graphs was studied intensively in recent few years. In this paper, we introduce the notion of a strong odd coloring, as not only a strengthened version of odd coloring, but also a relaxation of square coloring. A strong odd coloring of a graph $G$ is a proper coloring of $G$ such that for every non-isolated vertex $v$, if a color appears in $N_G(v)$, then it appears an odd number of times in $N_G(v)$. We denote by $χ_{so}(G)$ the smallest integer $k$ such that $G$ admits a strong odd coloring with $k$ colors. We prove that if $G$ is a graph with $mad(G)\le\frac{20}{7}$, then $χ_{so}(G)\le Δ(G)+4$, and the bound is tight. We also prove that if $G$ is a graph with $mad(G)\le\frac{30}{11}$ and $Δ(G)\ge 4$, then $χ_{so}(G)\le Δ(G)+3$.
Möbius Inversion and Duality for Summations of Stable Graphs
Using the stratifications of Deligne-Mumford moduli spaces $\overline{\mathcal M}_{g,n}$ indexed by stable graphs, we introduce a partially ordered set of stable graphs by defining a partial ordering on the set of connected stable graphs of genus $g$ with $n$ external edges. By modifying the usual definition of zeta function and Möbius function of a poset, we introduce generalized ($\mathbb Q$-valued) zeta function and generalized ($\mathbb Q$-valued) Möbius function of the poset of stable graphs. We use them to proved a generalized Möbius inversion formula for functions on the poset of stable graphs. Two applications related to duality in earlier work are also presented.
Some Properties of Proper Power Graphs in Finite Abelian Groups
The power graph of a group $G$, denoted as $P(G)$, constitutes a simple undirected graph characterized by its vertex set $G$. Specifically, vertices $a,b$ exhibit adjacency exclusively if $a$ belongs to the cyclic subgroup generated by $b$ or vice versa. The corresponding proper power graph of $G$ is obtained by taking $P(G)$ and removing a vertex corresponding to the identity element, which is denoted as $P^*(G)$. In the context of finite abelian groups, this article establishes the sufficient and necessary conditions for the proper power graph's connectedness. Moreover, a precise upper bound for the diameter of $P^*(G)$ in finite abelian groups is provided with sharpness. This article also explores the study of vertex connectivity, center, and planarity.