graph
34604 papers tagged with this keyword
Semidistrim Lattices
Published
• View Publication
• BIB
We introduce semidistrim lattices, a simultaneous generalization of semidistributive and trim lattices that preserves many of their common properties. We prove that the elements of a semidistrim lattice correspond to the independent sets in an associated graph called the Galois graph, that products and intervals of semidistrim lattices are semidistrim, and that the order complex of a semidistrim lattice is either contractible or homotopy equivalent to a sphere.
Semidistrim lattices have a natural rowmotion operator, which simultaneously generalizes Barnard's $\overlineκ$ map on semidistributive lattices as well as Thomas and the second author's rowmotion on trim lattices. Every lattice has an associated pop-stack sorting operator that sends an element $x$ to the meet of the elements covered by $x$. For semidistrim lattices, we are able to derive several intimate connections between rowmotion and pop-stack sorting, one of which involves independent dominating sets of the Galois graph.
On the eigenvalues of signed complete bipartite graphs
Published
• View Publication
• BIB
Let $Γ=(G,σ)$ be a signed graph, where $σ$ is the sign function on the edges of $G$. The adjacency matrix of $Γ=(G, σ)$ is a square matrix $A(Γ)=A(G, σ)=\left(a_{i j}^σ\right)$, where $a_{i j}^σ=σ\left(v_{i} v_{j}\right) a_{i j}$. In this paper, we determine the eigenvalues of the signed complete bipartite graphs. Let $(K_{p, q},σ)$, $p\leq q$, be a signed complete bipartite graph with bipartition $(U_p, V_q)$, where $U_p=\{u_1,u_2,\ldots,u_p\}$ and $V_q=\{v_1,v_2,\ldots,v_q\}$. Let $(K_{p, q},σ)[U_r\cup V_s]$, $r\leq p$ and $s\leq q $, be an induced signed subgraph on minimum vertices $r+s$, which contains all negative edges of the signed graph $(K_{p, q},σ)$. We show that the multiplicity of eigenvalue $0$ in $(K_{p, q},σ)$ is at least $ p+q-2k-2$, where $k=min(r,s)$. We determine the spectrum of signed complete bipartite graph whose negative edges induce disjoint complete bipartite subgraphs and path. We obtain the spectrum of signed complete bipartite graph whose negative edges (positive edges) induce an $r-$ regular subgraph $H$. We find a relation between the eigenvalues of this signed complete bipartite graph and the non-negative eigenvalues of $H$.
Number of colors needed to break symmetries of a graph by an arbitrary edge coloring
Published in The Art of Discrete and Applied Mathematics, Vol. 6 No. 2 (2023)
• View Publication
• BIB
A coloring is distinguishing (or symmetry breaking) if no non-identity automorphism preserves it. The distinguishing threshold of a graph $G$, denoted by $θ(G)$, is the minimum number of colors $k$ so that every $k$-coloring of $G$ is distinguishing. We generalize this concept to edge-coloring by defining an alternative index $θ'(G)$. We consider $θ'$ for some families of graphs and find its connection with edge-cycles of the automorphism group. Then we show that $θ'(G)=2$ if and only if $G\simeq K_{1,2}$ and $θ'(G)=3$ if and only if $G\simeq P_4, K_{1,3}$ or $K_3$. Moreover, we prove some auxiliary results for graphs whose distinguishing threshold is 3 and show that although there are infinitely many such graphs, but they are not line graphs. Finally, we compute $θ'(G)$ when $G$ is the Cartesian product of simple prime graphs.
Bipartite graphs and best proximity pairs
Published
• View Publication
• BIB
We say that a bipartite graph $G(A, B)$ with fixed parts $A$, $B$ is proximinal if there is a semimetric space $(X, d)$ such that $A$ and $B$ are disjoint proximinal subsets of $X$ and all edges $\{a, b\}$ satisfy the equality $d(a, b) = \operatorname{dist}(A, B)$. It is proved that a bipartite graph $G$ is not isomorphic to any proximinal graph iff $G$ is finite and empty. It is also shown that the subgraph induced by all non-isolated vertices of a nonempty bipartite graph $G$ is a disjoint union of complete bipartite graphs iff $G$ is isomorphic to a nonempty proximinal graph for an ultrametric space.
On the Performance of the Depth First Search Algorithm in Supercritical Random Graphs
Published
• View Publication
• BIB
We consider the performance of the Depth First Search (DFS) algorithm on the random graph $G\left(n,\frac{1+ε}{n}\right)$, $ε>0$ a small constant. Recently, Enriquez, Faraud and Ménard [2] proved that the stack $U$ of the DFS follows a specific scaling limit, reaching the maximal height of $(1+o_ε(1))ε^2n$. Here we provide a simple analysis for the typical length of a maximum path discovered by the DFS.
The general position achievement game played on graphs
A general position set of a graph $G$ is a set of vertices $S$ in $G$ such that no three vertices from $S$ lie on a common shortest path. In this paper we introduce and study the general position achievement game. The game is played on a graph $G$ by players A and B who alternatively pick vertices of $G$. A selection of a vertex is legal if has not been selected before and the set of vertices selected so far forms a general position set of $G$. The player who selects the last vertex wins the game. Playable vertices at each step of the game are described, and sufficient conditions for each of the players to win is given. The game is studied on Cartesian and lexicographic products. Among other results it is proved that A wins the game on $K_n\,\square\, K_m$ if and only if both $n$ and $m$ are odd, and that B wins the game on $G\circ K_n$ if and only if either B wins on $G$ or $n$ is even.
Edge connectivity of simplicial polytopes
Published
• View Publication
• BIB
A simplicial polytope is a polytope with all its facets being combinatorially equivalent to simplices. We deal with the edge connectivity of the graphs of simplicial polytopes. We first establish that, for any $d\ge 3$, for any $d\ge 3$, every minimum edge cut of cardinality at most $4d-7$ in such a graph is \textit{trivial}, namely it consists of all the edges incident with some vertex. A consequence of this is that, for $d\ge 3$, the graph of a simplicial $d$-polytope with minimum degree $δ$ is $\min\{δ,4d-6\}$-edge-connected. In the particular case of $d=3$, we have that every minimum edge cut in a plane triangulation is trivial; this may be of interest to researchers in graph theory.
Second, for every $d\ge 4$ we construct a simplicial $d$-polytope whose graph has a nontrivial minimum edge cut of cardinality $(d^{2}+d)/2$. This gives a simplicial 4-polytope with a nontrivial minimum edge cut that has ten edges. Thus, the aforementioned result is best possible for simplicial $4$-polytopes.
Transversal Hamilton cycle in hypergraph systems
Published
• View Publication
• BIB
A $k$-graph system $\textbf{H}=\{H_i\}_{i\in[m]}$ is a family of not necessarily distinct $k$-graphs on the same $n$-vertex set $V$ and a $k$-graph $H$ on $V$ is said to be $\textbf{H}$-transversal provided that there exists an injection $\varphi: E(H)\rightarrow [m]$ such that $e\in E(H_{\varphi(e)})$ for all $e\in E(H)$. We show that given $k\geq3, γ>0$, sufficiently large $n$ and an $n$-vertex $k$-graph system $\textbf{H}=\{H_i\}_{i\in[n]}$, if $δ_{k-1}(H_i)\geq(1/2+γ)n$ for each $i\in[n]$, then there exists an $\textbf{H}$-transversal tight Hamilton cycle. This extends the result of Rödl, Ruciński and Szemerédi [Combinatorica, 2008] on single $k$-graphs.
Weak diameter coloring of graphs on surfaces
Consider a graph $G$ drawn on a fixed surface, and assign to each vertex a list of colors of size at least two if $G$ is triangle-free and at least three otherwise. We prove that we can give each vertex a color from its list so that each monochromatic connected subgraph has bounded weak diameter (i.e., diameter measured in the metric of the whole graph $G$, not just the subgraph). In case that $G$ has bounded maximum degree, this implies that each connected monochromatic subgraph has bounded size. This solves a problem of Esperet and Joret for planar triangle-free graphs, and extends known results in the general case to the list setting, answering a question of Wood.
Enumeration of extensions of the cycle matroid of a complete graph
Published
• View Publication
• BIB
We prove that the number of single element extensions of $M(K_{n+1})$ is $2^{{n\choose n/2}(1+o(1))}$. This is done using a characterization of extensions as "linear subclasses".
Expansion in supercritical random subgraphs of the hypercube and its consequences
Published
• View Publication
• BIB
It is well-known that the behaviour of a random subgraph of a $d$-dimensional hypercube, where we include each edge independently with probability $p$, undergoes a phase transition when $p$ is around $\frac{1}{d}$. More precisely, standard arguments show that just below this value of $p$ all components of this graph have order $O(d)$ with probability tending to one as $d \to \infty$ (whp for short), whereas Ajtai, Komlós and Szemerédi [Largest random component of a $k$-cube, Combinatorica 2 (1982), no. 1, 1--7; MR0671140] showed that just above this value, in the supercritical regime, whp there is a unique `giant' component of order $Θ\left(2^d\right)$. We show that whp the vertex-expansion of the giant component is inverse polynomial in $d$. As a consequence we obtain polynomial in $d$ bounds on the diameter of the giant component and the mixing time of the lazy random walk on the giant component, answering questions of Bollobás, Kohayakawa and Łuczak [On the diameter and radius of random subgraphs of the cube, Random Structures and Algorithms 5 (1994), no. 5, 627--648; MR1300592] and of Pete [A note on percolation on $\mathbb{Z}^d$: isoperimetric profile via exponential cluster repulsion, Electron. Commun. Probab. 13 (2008), 377--392; MR2415145]. Furthermore, our results imply lower bounds on the circumference and Hadwiger number of a random subgraph of the hypercube in this regime of $p$ which are tight up to polynomial factors in $d$.
Local algorithms for Maximum Cut and Minimum Bisection on locally treelike regular graphs of large degree
Published
• View Publication
• BIB
Given a graph $G$ of degree $k$ over $n$ vertices, we consider the problem of computing a near maximum cut or a near minimum bisection in polynomial time. For graphs of girth $2L$, we develop a local message passing algorithm whose complexity is $O(nkL)$, and that achieves near optimal cut values among all $L$-local algorithms. Focusing on max-cut, the algorithm constructs a cut of value $nk/4+ n\mathsf{P}_\star\sqrt{k/4}+\mathsf{err}(n,k,L)$, where $\mathsf{P}_\star\approx 0.763166$ is the value of the Parisi formula from spin glass theory, and $\mathsf{err}(n,k,L)=o_n(n)+no_k(\sqrt{k})+n \sqrt{k} o_L(1)$ (subscripts indicate the asymptotic variables). Our result generalizes to locally treelike graphs, i.e., graphs whose girth becomes $2L$ after removing a small fraction of vertices.
Earlier work established that, for random $k$-regular graphs, the typical max-cut value is $nk/4+ n\mathsf{P}_\star\sqrt{k/4}+o_n(n)+no_k(\sqrt{k})$. Therefore our algorithm is nearly optimal on such graphs. An immediate corollary of this result is that random regular graphs have nearly minimum max-cut, and nearly maximum min-bisection among all regular locally treelike graphs. This can be viewed as a combinatorial version of the near-Ramanujan property of random regular graphs.
New results and open problems on subgraph centrality
Published in Journal of Combinatorics, Vol. 14, No. 4 (2023), pp. 425-444
• View Publication
• BIB
Subgraph centrality, introduced by Estrada and Rodríguez-Velázquez in [12], has become a widely used centrality measure in the analysis of networks, with applications in biology, neuroscience, economics and many other fields. It is also worthy of study from a strictly mathematical point of view, in view of its connections to topics in spectral graph theory, number theory, analytic matrix functions, and combinatorics. In this paper we present some new results and a list of open questions about subgraph centrality and other node centrality measures based on graph walks.
A Note on the Maximum Number of Minimal Connected Dominating Sets in a Graph
We prove constructively that the maximum possible number of minimal connected dominating sets in a connected undirected graph of order $n$ is in $Ω(1.489^n)$. This improves the previously known lower bound of $Ω(1.4422^n)$ and reduces the gap between lower and upper bounds for input-sensitive enumeration of minimal connected dominating sets in general graphs as well as some special graph classes.
Cops and robber on subclasses of $P_5$-free graphs
Published
• View Publication
• BIB
The game of cops and robber is a turn based vertex pursuit game played on a connected graph between a team of cops and a single robber. The cops and the robber move alternately along the edges of the graph. We say the team of cops win the game if a cop and the robber are at the same vertex of the graph. The minimum number of cops required to win in each component of a graph is called the cop number of the graph. Sivaraman [Discrete Math. 342(2019), pp. 2306-2307] conjectured that for every $t\geq 5$, the cop number of a connected $P_t$-free graph is at most $t-3$, where $P_t$ denotes a path on $t$~vertices. Turcotte [Discrete Math. 345 (2022), pp. 112660] showed that the cop number of any $2K_2$-free graph is at most $2$, which was earlier conjectured by Sivaraman and Testa. Note that if a connected graph is $2K_2$-free, then it is also $P_5$-free. Liu showed that the cop number of a connected ($P_t$, $H$)-free graph is at most $t-3$, where $H$ is a cycle of length at most $t$ or a claw. So the conjecture of Sivaraman is true for ($P_5$, $H$)-free graphs, where $H$ is a cycle of length at most $5$ or a claw. In this paper, we show that the cop number of a connected ($P_5,H$)-free graph is at most $2$, where $H\in \{C_4$, $C_5$, diamond, paw, $K_4$, $2K_1\cup K_2$, $K_3\cup K_1$, $P_3\cup P_1\}$.
Multivariate Analytic Combinatorics for Cost Constrained Channels
Published
• View Publication
• BIB
Analytic combinatorics in several variables is a branch of mathematics that deals with deriving the asymptotic behavior of combinatorial quantities by analyzing multivariate generating functions. We study information-theoretic questions about sequences in a discrete noiseless channel under cost constraints. Our main contributions involve the relationship between the graph structure of the channel and the singularities of the bivariate generating function whose coefficients are the number of sequences satisfying the constraints. We use these new results to invoke theorems from multivariate analytic combinatorics to obtain the asymptotic behavior of the number of cost-limited strings that are admissible by the channel. This builds a new bridge between analytic combinatorics in several variables and labeled weighted graphs, bringing a new perspective and a set of powerful results to the literature of cost-constrained channels. Along the way, we show that the cost-constrained channel capacity is determined by a cost-dependent singularity of the bivariate generating function, generalizing Shannon's classical result for unconstrained capacity, and provide a new proof of the equivalence of the combinatorial and probabilistic definitions of the cost-constrained capacity.
Ramsey numbers for complete graphs versus generalized fans
Published
• View Publication
• BIB
For two graphs $G$ and $H$, let $r(G,H)$ and $r_*(G,H)$ denote the Ramsey number and star-critical Ramsey number of $G$ versus $H$, respectively. In 1996, Li and Rousseau proved that $r(K_{m},F_{t,n})=tn(m-1)+1$ for $m\geq 3$ and sufficiently large $n$, where $F_{t,n}=K_{1}+nK_{t}$. Recently, Hao and Lin proved that $r(K_{3},F_{3,n})=6n+1$ for $n\geq 3$ and $r_{\ast}(K_{3},F_{3,n})=3n+3$ for $n\geq 4$. In this paper, we show that $r(K_{m}, sF_{t,n})=tn(m+s-2)+s$ for sufficiently large $n$ and, in particular, $r(K_{3}, sF_{t,n})=tn(s+1)+s$ for $t\in\{3,4\},n\geq t$ and $s\geq1$. We also show that $r_{\ast}(K_{3}, F_{4,n})=4n+4$ for $n\geq 4$ and establish an upper bound on $r(F_{2,m},F_{t,n})$.
A simplified proof of the Johansson-Molloy Theorem using the Rosenfeld counting method
We show that any triangle-free graph with maximum degree $Δ$ has chromatic number at most $\left(1+o(1)\right)Δ/\log Δ.$
The configuration space of a robotic arm over a graph
Published
• View Publication
• BIB
We investigate the configuration space $\mathcal{S}_{G,b,\ell}$ associated with the movement of a robotic arm of length $\ell$ on a grid over an underlying graph $G$, anchored at a vertex $b \in G$. We study an associated PIP (poset with inconsistent pairs) $\text{IP}_{G,b,\ell}$ consisting of indexed paths on $G$. This PIP acts as a combinatorial model for the robotic arm, and we use $\text{IP}_{G,b,\ell}$ to show that the space $\mathcal{S}_{G,b,\ell}$ is a CAT(0) cubical complex, generalizing work of Ardila, Bastidas, Ceballos, and Guo. This establishes that geodesics exist within the configuration space, and yields explicit algorithms for moving the robotic arm between different configurations in an optimal fashion. We also give a tight bound on the diameter of the robotic arm transition graph (the maximal number of moves necessary to change from one configuration to another) and compute this diameter for a large family of underlying graphs $G$.
On Nash-solvability of finite $n$-person deterministic graphical games; Catch 22
We consider finite $n$-person deterministic graphical (DG) games. These games are modelled by finite directed graphs (digraphs) $G$ which may have directed cycles and, hence, infinite plays. Yet, it is assumed that all these plays are equivalent and form a single outcome $c$, while the terminal vertices $V_T = \{a_1, \ldots, a_p\}$ form $p$ remaining outcomes. We study the existence of Nash equilibria (NE) in pure stationary strategies. It is known that NE exist when $n=2$ and may fail to exist when $n > 2$. Yet, the question becomes open for $n > 2$ under the following extra condition: (C) For each of $n$ players, $c$ is worse than each of $p$ terminal outcomes. In other words, all players are interested in terminating the play, which is a natural assumption. Moreover, Nash-solvability remains open even if we replace (C) by a weaker condition: (C22) There exist no two players for whom $c$ is better than (at least) two terminal outcomes. We conjecture that such two players exist in each NE-free DG game, or in other words, that (C22) implies Nash-solvability, for all $n$. Recently, the DG games were extended to a wider class of the DG multi-stage (DGMS) games, whose outcomes are the strongly connected components (SCC) of digraph $G$. Merging all outcomes of a DGMS game that correspond to its non-terminal SCCs we obtain a DG game. Clearly, this operation respects Nash-solvability (NS). Basic conditions and conjectures related to NS can be extended from the DG to DGMS games: in both cases NE exist if $n=2$ and may fail to exist when $n > 2$; furthermore, we modify conditions (C) and (C22) to adapt them for the DGMS games. Keywords: $n$-person deterministic graphical (multi-stage) games, Nash equilibrium, Nash-solvability, pure stationary strategy, digraph, directed cycle, strongly connected component.