graph
35436 papers tagged with this keyword
Edge partitions of the complete graph and a determinant like function
Published
• View Publication
• BIB
In this paper we prove the case $dim(V_3)=3$ of a conjecture about the exterior operad $Λ^{S^2}_{V_d}$. For this we introduce a collection of natural involutions on the set of homogeneous cycle-free $d$-partitions of the complete graph $K_{2d}$, and show that these involutions correspond to the relations in $Λ^{S^2}_{V_d}(2d+1)$. When $d=3$ this correspondence allows us to give an explicit description of a determinant-like map and to settle the above mentioned conjecture.
Properties of the Toric Rings of a Chordal Bipartite Family of Graphs
Published
• View Publication
• BIB
This work concerns the study of properties of a group of Koszul algebras coming from the toric ideals of a chordal bipartite infinite family of graphs (alternately, these rings may be interpreted as coming from determinants of certain ladder-like structures). We determine a linear system of parameters for each ring and explicitly determine the Hilbert series for the resulting Artinian reduction. As corollaries, we obtain the multiplicity and regularity of the original rings. This work extends results easily derived from lattice theory for a subfamily coming from a two-sided ladder to a family where, as we show, lattice theory no longer applies in any obvious way and includes constructive proofs which may be useful in future study of these rings and others.
Fair division of graphs and of tangled cakes
Published
• View Publication
• BIB
A tangle is a connected topological space constructed by gluing several copies of the unit interval $[0, 1]$. We explore which tangles guarantee envy-free allocations of connected shares for n agents, meaning that such allocations exist no matter which monotonic and continuous functions represent agents' valuations. Each single tangle $\mathcal{T}$ corresponds in a natural way to an infinite topological class $\mathcal{G}(\mathcal{T})$ of multigraphs, many of which are graphs. This correspondence links EF fair division of tangles to EFk$_{outer}$ fair division of graphs. We know from Bilò et al that all Hamiltonian graphs guarantee EF1$_{outer}$ allocations when the number of agents is 2, 3, 4 and guarantee EF2$_{outer}$ allocations for arbitrarily many agents. We show that exactly six tangles are stringable; these guarantee EF connected allocations for any number of agents, and their associated topological classes contain only Hamiltonian graphs. Any non-stringable tangle has a finite upper bound r on the number of agents for which EF allocations of connected shares are guaranteed. Most graphs in the associated non-stringable topological class are not Hamiltonian, and a negative transfer theorem shows that for each $k \geq 1$ most of these graphs fail to guarantee EFk$_{outer}$ allocations of vertices for r + 1 or more agents. This answers a question posed in Bilò et al, and explains why a focus on Hamiltonian graphs was necessary. With bounds on the number of agents, however, we obtain positive results for some non-stringable classes. An elaboration of Stromquist's moving knife procedure shows that the non-stringable lips tangle guarantees envy-free allocations of connected shares for three agents. We then modify the discrete version of Stromquist's procedure in Bilò et al to show that all graphs in the topological class guarantee EF1$_{outer}$ allocations for three agents.
A combinatorial proof of Aldous-Broder theorem for general Markov chains
Published
• View Publication
• BIB
Aldous-Broder algorithm is a famous algorithm used to sample a uniform spanning tree of any finite connected graph $G$, but it is more general: given an irreducible and reversible Markov chain $M$ on $G$ started at $r$, the tree rooted at $r$ formed by the first entrance steps in each node (different from the root) has a probability proportional to $\prod_{e=(e^-,e^+)\in {\sf Edges}(t,r)} M_{e^{-},e^+}$, where the edges are directed toward $r$. In this paper we give proofs of Aldous-Broder theorem in the general case, where the kernel $M$ is irreducible but not assumed to be reversible (this generalized version appeared recently in Hu, Lyons and Tang )
Reconstructing the degree sequence of a sparse graph from a partial deck
Published
• View Publication
• BIB
The deck of a graph $G$ is the multiset of cards $\{G-v:v\in V(G)\}$. Myrvold (1992) showed that the degree sequence of a graph on $n\geq7$ vertices can be reconstructed from any deck missing one card. We prove that the degree sequence of a graph with average degree $d$ can reconstructed from any deck missing $O(n/d^3)$ cards. In particular, in the case of graphs that can be embedded on a fixed surface (e.g. planar graphs), the degree sequence can be reconstructed even when a linear number of the cards are missing.
Bakry-Émery curvature on graphs as an eigenvalue problem
Published
• View Publication
• BIB
In this paper, we reformulate the Bakry-Émery curvature on a weighted graph in terms of the smallest eigenvalue of a rank one perturbation of the so-called curvature matrix using Schur complement. This new viewpoint allows us to show various curvature function properties in a very conceptual way. We show that the curvature, as a function of the dimension parameter, is analytic, strictly monotone increasing and strictly concave until a certain threshold after which the function is constant. Furthermore, we derive the curvature of the Cartesian product using the crucial observation that the curvature matrix of the product is the direct sum of each component. Our approach of the curvature functions of graphs can be employed to establish analogous results for the curvature functions of weighted Riemannian manifolds. Moreover, as an application, we confirm a conjecture (in a general weighted case) of the fact that the curvature does not decrease under certain graph modifications.
Forbidden induced subgraphs for perfectness of claw-free graphs of independence number at least 4
Published
• View Publication
• BIB
For every graph $X$, we consider the class of all connected $\{K_{1,3}, X\}$-free graphs which are distinct from an odd cycle and have independence number at least $4$, and we show that all graphs in the class are perfect if and only if $X$ is an induced subgraph of some of $P_6$, $K_1 \cup P_5$, $2P_3$, $Z_2$ or $K_1 \cup Z_1$. Furthermore, for $X$ chosen as $2K_1 \cup K_3$, we list all eight imperfect graphs belonging to the class; and for every other choice of $X$, we show that there are infinitely many such graphs. In addition, for $X$ chosen as $B_{1,2}$, we describe the structure of all imperfect graphs in the class.
Probabilistic constructions in continuous combinatorics and a bridge to distributed algorithms
Published
• View Publication
• BIB
The probabilistic method is a technique for proving combinatorial existence results by means of showing that a randomly chosen object has the desired properties with positive probability. A particularly powerful probabilistic tool is the Lovász Local Lemma (the LLL for short), which was introduced by Erdős and Lovász in the mid-1970s. Here we develop a version of the LLL that can be used to prove the existence of continuous colorings. We then give several applications in Borel and topological dynamics.
* Seward and Tucker-Drob showed that every free Borel action $Γ\curvearrowright X$ of a countable group $Γ$ admits an equivariant Borel map $π\colon X \to Y$ to a free subshift $Y \subset 2^Γ$. We give a new simple proof of this result.
* We show that for a countable group $Γ$, $\mathrm{Free}(2^Γ)$ is weakly contained, in the sense of Elek, in every free continuous action of $Γ$ on a zero-dimensional Polish space. This fact is analogous to the theorem of Abért and Weiss for probability measure-preserving actions and has a number of consequences in continuous combinatorics. In particular, we deduce that a coloring problem admits a continuous solution on $\mathrm{Free}(2^Γ)$ if and only if it can be solved on finite subgraphs of the Cayley graph of $Γ$ by an efficient deterministic distributed algorithm (this fact was also proved independently and using different methods by Seward). This establishes a formal correspondence between questions that have been studied independently in continuous combinatorics and in distributed computing.
In Most 6-regular Toroidal Graphs All 5-colorings are Kempe Equivalent
Published in European J. Combinatorics Vol. 104: 103532 (2022)
• View Publication
• BIB
A Kempe swap in a proper coloring interchanges the colors on some maximal connected 2-colored subgraph. Two $k$-colorings are $k$-equivalent if we can transform one into the other using Kempe swaps. The triangulated toroidal grid, $T[m\times n]$, is formed from (a toroidal embedding of) the Cartesian product of $C_m$ and $C_n$ by adding parallel diagonals inside all 4-faces. Mohar and Salas showed that not all 4-colorings of $T[m\times n]$ are 4-equivalent. In contrast, Bonamy, Bousquet, Feghali, and Johnson showed that all 6-colorings of $T[m\times n]$ are 6-equivalent. They asked whether the same is true for 5-colorings. We answer their question affirmatively when $m,n\ge 6$. Further, we show that if $G$ is 6-regular with a toroidal embedding where every non-contractible cycle has length at least 7, then all 5-colorings of $G$ are 5-equivalent. Our results relate to the antiferromagnetic Pott's model in statistical mechanics.
Counting Hamiltonian cycles in 2-tiled graphs
Published
• View Publication
• BIB
In 1930, Kuratowski showed that $K_{3,3}$ and $K_5$ are the only two minor-minimal non-planar graphs. Robertson and Seymour extended finiteness of the set of forbidden minors for any surface. Širáň and Kochol showed that there are infinitely many $k$-crossing-critical graphs for any $k\ge 2$, even if restricted to simple $3$-connected graphs. Recently, $2$-crossing-critical graphs have been completely characterized by Bokal, Oporowski, Richter, and Salazar. We present a simplified description of large 2-crossing-critical graphs and use this simplification to count Hamiltonian cycles in such graphs. We generalize this approach to an algorithm counting Hamiltonian cycles in all 2-tiled graphs, thus extending the results of Bodroža-Pantić, Kwong, Doroslovački, and Pantić for $n = 2$.
The average binding number of graphs and its algorithm
As a result of the interaction of rapid development and competition in information technologies, the reliability of a network and how solid it remains is important. It is called the hat vulnerability of the network to measure the endurance of the network until communication is interrupted by the deterioration of the connection lines between some centers or centers in a network. The centers of the network can be modeled such that the vertex of the network and the connecting lines are the distances of the graph, while investigating the strength of a communication network against disturbances that may occur in the centers or connecting lines. Networks can be modeled with graphs and there are several parameters to measure the vulnerability of these graphs. In this study, the average binding number was studied. In this paper, some bounds of the average binding number of some special graphs are obtained. Finally, the algorithm for calculation of average binding numbers of graphs is given. The algorithms of these parameters are developed that calculates for any graph and the algorithms are explained. The algorithms are analyzed by code metrics and their usefulness is shown.
On a List Variant of the Multiplicative 1-2-3 Conjecture
Published
• View Publication
• BIB
The 1-2-3 Conjecture asks whether almost all graphs can be (edge-)labelled with $1,2,3$ so that no two adjacent vertices are incident to the same sum of labels. In the last decades, several aspects of this problem have been studied in literature, including more general versions and slight variations. Notable such variations include the List 1-2-3 Conjecture variant, in which edges must be assigned labels from dedicated lists of three labels, and the Multiplicative 1-2-3 Conjecture variant, in which labels~$1,2,3$ must be assigned to the edges so that adjacent vertices are incident to different products of labels. Several results obtained towards these two variants led to observe some behaviours that are distant from those of the original conjecture.
In this work, we consider the list version of the Multiplicative 1-2-3 Conjecture, proposing the first study dedicated to this very problem. In particular, given any graph $G$, we wonder about the minimum~$k$ such that $G$ can be labelled as desired when its edges must be assigned labels from dedicated lists of size~$k$. Exploiting a relationship between our problem and the List 1-2-3 Conjecture, we provide upper bounds on~$k$ when $G$ belongs to particular classes of graphs. We further improve some of these bounds through dedicated arguments.
Scheduling with Machine Conflicts
Published
• View Publication
• BIB
We study the scheduling problem of makespan minimization while taking machine conflicts into account. Machine conflicts arise in various settings, e.g., shared resources for pre- and post-processing of tasks or spatial restrictions. In this context, each job has a blocking time before and after its processing time, i.e., three parameters. We seek for conflict-free schedules in which the blocking times of no two jobs intersect on conflicting machines. Given a set of jobs, a set of machines, and a graph representing machine conflicts, the problem SchedulingWithMachineConflicts (SMC), asks for a conflict-free schedule of minimum makespan.
We show that, unless $\textrm{P}=\textrm{NP}$, SMC on $m$ machines does not allow for a $\mathcal{O}(m^{1-\varepsilon})$-approximation algorithm for any $\varepsilon>0$, even in the case of identical jobs and every choice of fixed positive parameters, including the unit case. Complementary, we provide approximation algorithms when a suitable collection of independent sets is given. Finally, we present polynomial time algorithms to solve the problem for the case of unit jobs on special graph classes. Most prominently, we solve it for bipartite graphs by using structural insights for conflict graphs of star forests.
Designs in finite metric spaces: a probabilistic approach
Published
• View Publication
• BIB
A finite metric space is called here distance degree regular if its distance degree sequence is the same for every vertex. A notion of designs in such spaces is introduced that generalizes that of designs in $Q$-polynomial distance-regular graphs. An approximation of their cumulative distribution function, based on the notion of Christoffel function in approximation theory is given. As an application we derive limit laws on the weight distributions of binary orthogonal arrays of strength going to infinity. An analogous result for combinatorial designs of strength going to infinity is given.
On the sampling Lovász Local Lemma for atomic constraint satisfaction problems
We study the problem of sampling an approximately uniformly random satisfying assignment for atomic constraint satisfaction problems i.e. where each constraint is violated by only one assignment to its variables. Let $p$ denote the maximum probability of violation of any constraint and let $Δ$ denote the maximum degree of the line graph of the constraints.
Our main result is a nearly-linear (in the number of variables) time algorithm for this problem, which is valid in a Lovász local lemma type regime that is considerably less restrictive compared to previous works. In particular, we provide sampling algorithms for the uniform distribution on:
(1) $q$-colorings of $k$-uniform hypergraphs with $Δ\lesssim q^{(k-4)/3 + o_{q}(1)}.$
The exponent $1/3$ improves the previously best-known $1/7$ in the case $q, Δ= O(1)$ [Jain, Pham, Vuong; arXiv, 2020] and $1/9$ in the general case [Feng, He, Yin; STOC 2021].
(2) Satisfying assignments of Boolean $k$-CNF formulas with $Δ\lesssim 2^{k/5.741}.$
The constant $5.741$ in the exponent improves the previously best-known $7$ in the case $k = O(1)$ [Jain, Pham, Vuong; arXiv, 2020] and $13$ in the general case [Feng, He, Yin; STOC 2021].
(3) Satisfying assignments of general atomic constraint satisfaction problems with $p\cdot Δ^{7.043} \lesssim 1.$
The constant $7.043$ improves upon the previously best-known constant of $350$ [Feng, He, Yin; STOC 2021].
At the heart of our analysis is a novel information-percolation type argument for showing the rapid mixing of the Glauber dynamics for a carefully constructed projection of the uniform distribution on satisfying assignments. Notably, there is no natural partial order on the space, and we believe that the techniques developed for the analysis may be of independent interest.
Large deviations for the largest eigenvalue of Gaussian networks with constant average degree
Published
• View Publication
• BIB
Large deviation behavior of the largest eigenvalue $λ_1$ of Gaussian networks (Erdős-Rényi random graphs $\mathcal{G}_{n,p}$ with i.i.d. Gaussian weights on the edges) has been the topic of considerable interest. Recently in [6,30], a powerful approach was introduced based on tilting measures by suitable spherical integrals, particularly establishing a non-universal large deviation behavior for fixed $p<1$ compared to the standard Gaussian ($p=1$) case. The case when $p\to 0$ was however completely left open with one expecting the dense behavior to hold only until the average degree is logarithmic in $n$. In this article we focus on the case of constant average degree i.e., $p=\frac{d}{n}$. We prove the following results towards a precise understanding of the large deviation behavior in this setting.
1. (Upper tail probabilities): For $δ>0,$ we pin down the exact exponent $ψ(δ)$ such that $$\mathbb{P}(λ_1\ge \sqrt{2(1+δ)\log n})=n^{-ψ(δ)+o(1)}.$$ Further, we show that conditioned on the upper tail event, with high probability, a unique maximal clique emerges with a very precise $δ$ dependent size (takes either one or two possible values) and the Gaussian weights are uniformly high in absolute value on the edges in the clique. Finally, we also prove an optimal localization result for the leading eigenvector, showing that it allocates most of its mass on the aforementioned clique which is spread uniformly across its vertices.
2. (Lower tail probabilities): The exact stretched exponential behavior of $\mathbb{P}(λ_1\le \sqrt{2(1-δ)\log n})$ is also established.
As an immediate corollary, we get $λ_1 \approx \sqrt{2 \log n}$ typically, a result that surprisingly appears to be new. A key ingredient is an extremal spectral theory for weighted graphs obtained via the classical Motzkin-Straus theorem.
On properly ordered coloring of vertices in a vertex-weighted graph
Published
• View Publication
• BIB
We introduce the notion of a properly ordered coloring (POC) of a weighted graph, that generalizes the notion of vertex coloring of a graph. Under a POC, if $xy$ is an edge, then the larger weighted vertex receives a larger color; in the case of equal weights of $x$ and $y$, their colors must be different. In this paper, we shall initiate the study of this special coloring in graphs. For a graph $G$, we introduce the function $f(G)$ which gives the maximum number of colors required by a POC over all weightings of $G$. We show that $f(G)=\ell(G)$, where $\ell(G)$ is the number of vertices of a longest path in $G$.
Another function we introduce is $χ_{POC}(G;t)$ giving the minimum number of colors required over all weightings of $G$ using $t$ distinct weights. We show that the ratio of $χ_{POC}(G;t)-1$ to $χ(G)-1$ can be bounded by $t$ for any graph $G$; in fact, the result is shown by determining $χ_{POC}(G;t)$ when $G$ is a complete multipartite graph.
We also determine the minimum number of colors to give a POC on a vertex-weighted graph in terms of the number of vertices of a longest directed path in an orientation of the underlying graph. This extends the so called Gallai-Hasse-Roy-Vitaver theorem, a classical result concerning the relationship between the chromatic number of a graph $G$ and the number of vertices of a longest directed path in an orientation of $G$.
(-k)-critical trees and k-minimal trees
In a graph $G=(V,E)$, a module is a vertex subset $M$ of $V$ such that every vertex outside $M$ is adjacent to all or none of $M$. For example, $\emptyset$, $\{x\}$ $(x\in V )$ and $V$ are modules of $G$, called trivial modules. A graph, all the modules of which are trivial, is prime; otherwise, it is decomposable. A vertex $x$ of a prime graph $G$ is critical if $G - x$ is decomposable. Moreover, a prime graph with $k$ non-critical vertices is called $(-k)$-critical graph. A prime graph $G$ is $k$-minimal if there is some $k$-vertex set $X$ of vertices such that there is no proper induced subgraph of $G$ containing $X$ is prime. From this perspective, I. Boudabbous proposes to find the $(-k)$-critical graphs and $k$-minimal graphs for some integer $k$ even in a particular case of graphs. This research paper attempts to answer I. Boudabbous's question. First, it describes the $(-k)$-critical tree. As a corollary, we determine the number of nonisomorphic $(-k)$-critical tree with $n$ vertices where $k\in \{1,2,\lfloor\frac{n}{2}\rfloor\}$. Second, it provide a complete characterization of the $k$-minimal tree. As a corollary, we determine the number of nonisomorphic $k$-minimal tree with $n$ vertices where $k\leq 3$.
On the foundations and extremal structure of the holographic entropy cone
Published in Discret. Appl. Math. 328 (2023) 16
• View Publication
• BIB
The holographic entropy cone (HEC) is a polyhedral cone first introduced in the study of a class of quantum entropy inequalities. It admits a graph-theoretic description in terms of minimum cuts in weighted graphs, a characterization which naturally generalizes the cut function for complete graphs. Unfortunately, no complete facet or extreme-ray representation of the HEC is known. In this work, starting from a purely graph-theoretic perspective, we develop a theoretical and computational foundation for the HEC. The paper is self-contained, giving new proofs of known results and proving several new results as well. These are also used to develop two systematic approaches for finding the facets and extreme rays of the HEC, which we illustrate by recomputing the HEC on $5$ terminals and improving its graph description. We also report on some partial results for $6$ terminals. Some interesting open problems are stated throughout.
Bounds for the extremal eigenvalues of gain Laplacian matrices
Published
• View Publication
• BIB
A complex unit gain graph ($\mathbb{T}$-gain graph), $Φ= (G, \varphi)$ is a graph where the function $\varphi$ assigns a unit complex number to each orientation of an edge of $G$, and its inverse is assigned to the opposite orientation. A $ \mathbb{T} $-gain graph $Φ$ is balanced if the product of the edge gains of each cycle (with a fixed orientation) is $1$. Signed graphs are special cases of $\mathbb{T}$-gain graphs.
The adjacency matrix of $Φ$, denoted by $ \mathbf{A}(Φ)$ is defined canonically. The gain Laplacian for $Φ$ is defined as $\mathbf{L}(Φ) = \mathbf{D}(Φ) - \mathbf{A}(Φ)$, where $\mathbf{D}(Φ)$ is the diagonal matrix with diagonal entries are the degrees of the vertices of $G$. The minimum number of vertices (resp., edges) to be deleted from $Φ$ in order to get a balanced gain graph the frustration number (resp, frustration index). We show that frustration number and frustration index are bounded below by the smallest eigenvalue of $\mathbf{L}(Φ)$. We provide several lower and upper bounds for extremal eigenvalues of $\mathbf{L}(Φ)$ in terms of different graph parameters such as the number of edges, vertex degrees, and average $2$-degrees. The signed graphs are particular cases of the $\mathbb{T}$-gain graphs, all the bounds established in paper hold for signed graphs. Most of the bounds established here are new for signed graphs. Finally, we perform comparative analysis for all the obtained bounds in the paper with the state-of-the-art bounds available in the literature for randomly generated Erdős-Reýni graphs.
Some of the major highlights of our paper are the gain-dependent bounds, limit convergence of the bounds to the extremal eigenvalues, and optimal extremal bounds obtained by posing optimization problems to achieve the best possible bounds.