graph
35299 papers tagged with this keyword
Symmetries of the Woolly Hat graphs
Published in Published in The Art of Discrete and Applied Mathematics, Vol. 7 No. 2 (2024), #P2.06, 24 pp
• View Publication
• BIB
A graph is edge-transitive if the natural action of its automorphism group on its edge set is transitive. An automorphism of a graph is semiregular if all of the orbits of the subgroup generated by this automorphism have the same length. While the tetravalent edge-transitive graphs admitting a semiregular automorphism with only one orbit are easy to determine, those that admit a semiregular automorphism with two orbits took a considerable effort and were finally classified in 2012. Of the several possible different ``types'' of potential tetravalent edge-transitive graphs admitting a semiregular automorphism with three orbits, only one ``type'' has thus far received no attention. In this paper we focus on this class of graphs, which we call the Woolly Hat graphs. We prove that there are in fact no edge-transitive Woolly Hat graphs and classify the vertex-transitive ones.
Cheeger inequalities on simplicial complexes
Published in Annali della Scuola Normale Superiore di Pisa, Classe di Scienze, Dec 20, 2024
• View Publication
• BIB
Cheeger-type inequalities in which the decomposability of a graph and the spectral gap of its Laplacian mutually control each other play an important role in graph theory and network analysis, in particular in the context of expander theory. The natural problem to extend such inequalities to simplicial complexes and their higher order Eckmann Laplacians has been open for a long time. Before proving any inequality, however, one needs to identify the right Cheeger-type constant for which such an inequality can hold. Here, we solve this problem. Our solution involves and combines constructions from simplicial topology, signed graphs, Gromov filling radii and an interpolation between the standard 2-Laplacians and the analytically more difficult 1-Laplacians, for which, however, the inequalities become equalities. It is then natural to develop a general theory for $p$-Laplacians on simplicial complexes and investigate the related Cheeger-type inequalities.
Strong domination number of Hajós sum and vertex-sum of two graphs
Published
• View Publication
• BIB
Let $G=(V,E)$ be a simple graph. A set $D\subseteq V$ is a strong dominating set of $G$, if for every vertex $x\in V\setminus D$ there is a vertex $y\in D$ with $xy\in E(G)$ and $deg(x)\leq deg(y)$. The strong domination number $γ_{st}(G)$ is defined as the minimum cardinality of a strong dominating set. In this paper, we study the strong domination number of Hajós sum and vertex-sum of two graphs.
Explicit two-sided unique-neighbor expanders
Published
• View Publication
• BIB
We study the problem of constructing explicit sparse graphs that exhibit strong vertex expansion. Our main result is the first two-sided construction of imbalanced unique-neighbor expanders, meaning bipartite graphs where small sets contained in both the left and right bipartitions exhibit unique-neighbor expansion, along with algebraic properties relevant to constructing quantum codes.
Our constructions are obtained from instantiations of the tripartite line product of a large tripartite spectral expander and a sufficiently good constant-sized unique-neighbor expander, a new graph product we defined that generalizes the line product in the work of Alon and Capalbo and the routed product in the work of Asherov and Dinur.
To analyze the vertex expansion of graphs arising from the tripartite line product, we develop a sharp characterization of subgraphs that can arise in bipartite spectral expanders, generalizing results of Kahale, which may be of independent interest.
By picking appropriate graphs to apply our product to, we give a strongly explicit construction of an infinite family of $(d_1,d_2)$-biregular graphs $(G_n)_{n\ge 1}$ (for large enough $d_1$ and $d_2$) where all sets $S$ with fewer than a small constant fraction of vertices have $Ω(d_1\cdot |S|)$ unique-neighbors (assuming $d_1 \leq d_2$).
Additionally, we can also guarantee that subsets of vertices of size up to $\exp(Ω(\sqrt{\log |V(G_n)|}))$ expand losslessly.
More results on the $z$-chromatic number of graphs
Published in Discrete Applied Mathematics, 338 (2023) 89--99
• View Publication
• BIB
By a $z$-coloring of a graph $G$ we mean any proper vertex coloring consisting of the color classes $C_1, \ldots, C_k$ such that $(i)$ for any two colors $i$ and $j$ with $1 \leq i < j \leq k$, any vertex of color $j$ is adjacent to a vertex of color $i$, $(ii)$ there exists a set $\{u_1, \ldots, u_k\}$ of vertices of $G$ such that $u_j \in C_j$ for any $j \in \{1, \ldots, k\}$ and $u_k$ is adjacent to $u_j$ for each $1 \leq j \leq k$ with $j \not=k$, and $(iii)$ for each $i$ and $j$ with $i \not= j$, the vertex $u_j$ has a neighbor in $C_i$. Denote by $z(G)$ the maximum number of colors used in any $z$-coloring of $G$. Denote the Grundy and {\rm b}-chromatic number of $G$ by $Γ(G)$ and ${\rm b}(G)$, respectively. The $z$-coloring is an improvement over both the Grundy and b-coloring of graphs. We prove that $z(G)$ is much better than $\min\{Γ(G), {\rm b}(G)\}$ for infinitely many graphs $G$ by obtaining an infinite sequence $\{G_n\}_{n=3}^{\infty}$ of graphs such that $z(G_n)=n$ but $Γ(G_n)={\rm b}(G_n)=2n-1$ for each $n\geq 3$. We show that acyclic graphs are $z$-monotonic and $z$-continuous. Then it is proved that to decide whether $z(G)=Δ(G)+1$ is $NP$-complete even for bipartite graphs $G$. We finally prove that to recognize graphs $G$ satisfying $z(G)=χ(G)$ is $coNP$-complete, improving a previous result for the Grundy number.
Partitioning into common independent sets via relaxing strongly base orderability
The problem of covering the ground set of two matroids by a minimum number of common independent sets is notoriously hard even in very restricted settings, i.e.\ when the goal is to decide if two common independent sets suffice or not. Nevertheless, as the problem generalizes several long-standing open questions, identifying tractable cases is of particular interest. Strongly base orderable matroids form a class for which a basis-exchange condition that is much stronger than the standard axiom is met. As a result, several problems that are open for arbitrary matroids can be solved for this class. In particular, Davies and McDiarmid showed that if both matroids are strongly base orderable, then the covering number of their intersection coincides with the maximum of their covering numbers.
Motivated by their result, we propose relaxations of strongly base orderability in two directions. First we weaken the basis-exchange condition, which leads to the definition of a new, complete class of matroids with distinguished algorithmic properties. Second, we introduce the notion of covering the circuits of a matroid by a graph, and consider the cases when the graph is ought to be 2-regular or a path. We give an extensive list of results explaining how the proposed relaxations compare to existing conjectures and theorems on coverings by common independent sets.
Adjacency matrices over a finite prime field and their direct sum decompositions
Published
• View Publication
• BIB
In this paper, we discuss the adjacency matrices of finite undirected simple graphs over a finite prime field $\mathbb{F}_p$. We apply symmetric (row and column) elementary transformations to the adjacency matrix over $\mathbb{F}_p$ in order to get a direct sum decomposition by other adjacency matrices. In this paper, we give a complete description of the direct sum decomposition of the adjacency matrix of any graph over $\mathbb{F}_p$ for any odd prime $p$. Our key tool is quadratic residues of $\mathbb{F}_p$.
Flip-width: Cops and Robber on dense graphs
We define new graph parameters, called flip-width, that generalize treewidth, degeneracy, and generalized coloring numbers for sparse graphs, and clique-width and twin-width for dense graphs. The flip-width parameters are defined using variants of the Cops and Robber game, in which the robber has speed bounded by a fixed constant $r\in\mathbb N\cup\{\infty\}$, and the cops perform flips (or perturbations) of the considered graph. We then propose a new notion of tameness of a graph class, called bounded flip-width, which is a dense counterpart of classes of bounded expansion of Nešetril and Ossona de Mendez, and includes classes of bounded twin-width of Bonnet, Kim, Thomass{é}, and Watrigant. This unifies Sparsity Theory and Twin-width Theory, providing a common language for studying the central notions of the two theories, such as weak coloring numbers and twin-width -- corresponding to winning strategies of one player -- or dense shallow minors, rich divisions, or well-linked sets, corresponding to winning strategies of the other player. We prove that boundedness of flip-width is preserved by first-order interpretations, or transductions, generalizing previous results concerning classes of bounded expansion and bounded twin-width. We provide an algorithm approximating the flip-width of a given graph, which runs in slicewise polynomial time (XP) in the size of the graph. Finally, we propose a more general notion of tameness, called almost bounded flip-width, which is a dense counterpart of nowhere dense classes. We conjecture, and provide evidence, that classes with almost bounded flip-width coincide with monadically dependent (or monadically NIP) classes, introduced by Shelah in model theory. We also provide evidence that classes of almost bounded flip-width characterise the hereditary graph classes for which the model-checking problem is fixed-parameter tractable.
Erdős-Ko-Rado theorem in Peisert-type graphs
Published in Canad. Math. Bull. 67(1), 2024, pp. 176-187
• View Publication
• BIB
The celebrated Erdős-Ko-Rado (EKR) theorem for Paley graphs (of square order) states that all maximum cliques are canonical in the sense that each maximum clique arises from the subfield construction. Recently, Asgarli and Yip extended this result to Peisert graphs and other Cayley graphs which are Peisert-type graphs with nice algebraic properties on the connection set. On the other hand, there are Peisert-type graphs for which the EKR theorem fails to hold. In this paper, we show that the EKR theorem of Paley graphs extends to almost all pseudo-Paley graphs of Peisert-type. Furthermore, we establish the stability results of the same flavor.
On locating and neighbor-locating colorings of sparse graphs
Published in Discrete Applied Mathematics 358 (2024): 366-381
• View Publication
• BIB
A proper $k$-coloring of a graph $G$ is a \emph{neighbor-locating $k$-coloring} if for each pair of vertices in the same color class, the two sets of colors found in their respective neighborhoods are different. The \textit{neighbor-locating chromatic number} $χ_{NL}(G)$ is the minimum $k$ for which $G$ admits a neighbor-locating $k$-coloring. A proper $k$-vertex-coloring of a graph $G$ is a \emph{locating $k$-coloring} if for each pair of vertices $x$ and $y$ in the same color-class, there exists a color class $S_i$ such that $d(x,S_i)\neq d(y,S_i)$. The locating chromatic number $χ_{L}(G)$ is the minimum $k$ for which $G$ admits a locating $k$-coloring. Our main results concern the largest possible order of a sparse graph of given neighbor-locating chromatic number. More precisely, we prove that if $G$ has order $n$, neighbor-locating chromatic number $k$ and average degree at most $2a$, where $2a\le k-1$ is a positive integer, then $n$ is upper-bounded by $\mathcal{O}(a^2(k^{2a+1}))$. We also design a family of graphs of bounded maximum degree whose order is close to reaching this upper bound. Our upper bound generalizes two previous bounds from the literature, which were obtained for graphs of bounded maximum degree and graphs of bounded cycle rank, respectively. Also, we prove that determining whether $χ_L(G)\le k$ and $χ_{NL}(G)\le k$ are NP-complete for sparse graphs: more precisely, for graphs with average degree at most 7, maximum average degree at most 20 and that are $4$-partite. We also study the possible relation between the ordinary chromatic number, the locating chromatic number and the neighbor-locating chromatic number of a graph.
Cofibration category structures on the category of graphs
In this article, we show that there is no cofibration category structure on the category of finite graphs with $\times$-homotopy equivalences as the class of weak equivalences. Further, we show that it is not possible to enlarge the class of weak equivalences to get cofibration category structure on the category of finite graphs without including morphisms where domain and codomain have non-isomorphic stiff subgraphs.
Flipper games for monadically stable graph classes
A class of graphs $\mathscr{C}$ is monadically stable if for any unary expansion $\widehat{\mathscr{C}}$ of $\mathscr{C}$, one cannot interpret, in first-order logic, arbitrarily long linear orders in graphs from $\widehat{\mathscr{C}}$. It is known that nowhere dense graph classes are monadically stable; these encompass most of the studied concepts of sparsity in graphs, including graph classes that exclude a fixed topological minor. On the other hand, monadic stability is a property expressed in purely model-theoretic terms and hence it is also suited for capturing structure in dense graphs.
For several years, it has been suspected that one can create a structure theory for monadically stable graph classes that mirrors the theory of nowhere dense graph classes in the dense setting. In this work we provide a step in this direction by giving a characterization of monadic stability through the Flipper game: a game on a graph played by Flipper, who in each round can complement the edge relation between any pair of vertex subsets, and Connector, who in each round localizes the game to a ball of bounded radius. This is an analog of the Splitter game, which characterizes nowhere dense classes of graphs (Grohe, Kreutzer, and Siebertz, J.ACM'17).
We give two different proofs of our main result. The first proof uses tools from model theory, and it exposes an additional property of monadically stable graph classes that is close in spirit to definability of types. Also, as a byproduct, we give an alternative proof of the recent result of Braunfeld and Laskowski (arXiv 2209.05120) that monadic stability for graph classes coincides with existential monadic stability. The second proof relies on the recently introduced notion of flip-wideness (Dreier, Mählmann, Siebertz, and Toruńczyk, ICALP 2023) and provides an efficient algorithm to compute Flipper's moves in a winning strategy.
The Minimum Degree Removal Lemma Thresholds
Published
• View Publication
• BIB
The graph removal lemma is a fundamental result in extremal graph theory which says that for every fixed graph $H$ and $\varepsilon > 0$, if an $n$-vertex graph $G$ contains $\varepsilon n^2$ edge-disjoint copies of $H$ then $G$ contains $δn^{v(H)}$ copies of $H$ for some $δ= δ(\varepsilon,H) > 0$. The current proofs of the removal lemma give only very weak bounds on $δ(\varepsilon,H)$, and it is also known that $δ(\varepsilon,H)$ is not polynomial in $\varepsilon$ unless $H$ is bipartite. Recently, Fox and Wigderson initiated the study of minimum degree conditions guaranteeing that $δ(\varepsilon,H)$ depends polynomially or linearly on $\varepsilon$. In this paper we answer several questions of Fox and Wigderson on this topic.
On the Deepest Cycle of a Random Mapping
Published
• View Publication
• BIB
Let $\mathcal{T}_n$ be the set of all mappings $T:\{1,2,\ldots,n\}\to\{1,2,\ldots,n\}$. The corresponding graph of $T$ is a union of disjoint connected unicyclic components. We assume that each $T\in\mathcal{T}_n$ is chosen uniformly at random (i.e., with probability $n^{-n}$). The cycle of $T$ contained within its largest component is callled the deepest one. For any $T\in\mathcal{T}_n$, let $ν_n=ν_n(T)$ denote the length of this cycle. In this paper, we establish the convergence in distribution of $ν_n/\sqrt{n}$ and find the limits of its expectation and variance as $n\to\infty$. For $n$ large enough, we also show that nearly $55\%$ of all cyclic vertices of a random mapping $T\in\mathcal{T}_n$ lie in the deepest cycle and that a vertex from the longest cycle of $T$ does not belong to its largest component with approximate probability $0.075$.
A new proof of the bunkbed conjecture in the $p\uparrow 1$ limit
Published
• View Publication
• BIB
For a finite simple graph $G$, the bunkbed graph $G^\pm$ is defined to be the product graph $G\square K_2$. We will label the two copies of a vertex $v\in V(G)$ as $v_-$ and $v_+$. The bunkbed conjecture, posed by Kasteleyn, states that for independent bond percolation on $G^\pm$, percolation from $u_-$ to $v_-$ is at least as likely as percolation from $u_-$ to $v_+$, for any $u,v\in V(G)$. Despite the plausibility of this conjecture, so far the problem in full generality remains open. Recently, Hutchcroft, Nizić-Nikolac, and Kent gave a proof of the conjecture in the $p\uparrow 1$ limit. Here we present a new proof of the bunkbed conjecture in this limit, working in the more general setting of allowing different probabilities on different edges of $G^\pm$.
On the order of semiregular automorphisms of cubic vertex-transitive graphs
Published in European Journal of Combinatorics, 124: 104091 (2025)
• View Publication
• BIB
We prove that, if $Γ$ is a finite connected cubic vertex-transitive graph, then either there exists a semiregular automorphism of $Γ$ of order at least $6$, or the number of vertices of $Γ$ is bounded above by an absolute constant.
Rainbow Hamilton cycle in hypergraph system
Published
• View Publication
• BIB
In this paper, we develop a new rainbow Hamilton framework, which is of independent interest, settling the problem proposed by Gupta, Hamann, Müyesser, Parczyk, and Sgueglia when $k=3$, and draw the general conclusion for any $k\geq3$ as follows. A $k$-graph system $\textbf{H}=\{H_i\}_{i\in[n]}$ is a family of not necessarily distinct $k$-graphs on the same $n$-vertex set $V$, moreover, a $k$-graph $H$ on $V$ is rainbow if $E(H)\subseteq \bigcup_{i\in[n]}E(H_i)$ and $|E(H)\cap E(H_i)|\leq1$ for $i\in[n]$. We show that given $γ> 0$, sufficiently large $n$ and an $n$-vertex $k$-graph system $\textbf{H}=\{H_i\}_{i\in[n]}$ , if $δ_{k-2}(H_i)\geq(5/9+γ)\binom{n}{2}$ for $i\in[n]$ where $k\geq3$, then there exists a rainbow tight Hamilton cycle. This result implies the conclusion in a single graph, which was proved by Lang and Sanhueza-Matamala [$J. Lond. Math. Soc., 2022$], Polcyn, Reiher, Rödl and Schülke [$J. Combin. Theory \ Ser. B, 2021$] independently.
The super restricted edge-connectedness of direct product graphs
Published
• View Publication
• BIB
Let $G$ be a graph with vertex set $V(G)$ and edge set $E(G)$. An edge subset $F\subseteq E(G)$ is called a restricted edge-cut if $G-F$ is disconnected and has no isolated vertices. The restricted edge-connectivity $λ'(G)$ of $G$ is the cardinality of a minimum restricted edge-cut of $G$ if it has any; otherwise $λ'(G)=+\infty$. If $G$ is not a star and its order is at least four, then $λ'(G)\leq ξ(G)$, where $ξ(G)=$ min$\{d_G(u) + d_G(v)-2:\ uv \in E(G)\}$. The graph $G$ is said to be maximally restricted edge-connected if $λ'(G)= ξ(G)$; the graph $G$ is said to be super restricted edge-connected if every minimum restricted edge-cut isolates an edge from $G$. The direct product of graphs $G_1$ and $G_2$, denoted by $G_1\times G_2$, is the graph with vertex set $V(G_1\times G_2) = V(G_1)\times V(G_2)$, where two vertices $(u_{1} ,v_{1} )$ and $(u_{2} ,v_{2} )$ are adjacent in $G_1\times G_2$ if and only if $u_{1}u_{2} \in E(G_1)$ and $v_{1}v_{2} \in E(G_2)$. In this paper, we give a sufficient condition for $G\times K_{n}$ to be super restricted edge-connected, where $K_{n}$ is the complete graph on $n$ vertices.
Maximization of the spectral radius of block graphs with a given dissociation number
Published
• View Publication
• BIB
A connected graph is called a block graph if each of its blocks is a complete graph. Let $\mathbf{Bl}(\textbf{k}, \varphi)$ be the class of block graphs on $\textbf{k}$ vertices with given dissociation number $\varphi$. In this article, we have shown the existence and uniqueness of a block graph $\mathbb{B}_{\textbf{k},\varphi}$ in $\mathbf{Bl}(\textbf{k}, \varphi)$ that maximizes the spectral radius $ρ(G)$ among all graphs $G$ in $\mathbf{Bl}(\textbf{k}, \varphi)$. Furthermore, we also provide bounds on $ρ(\mathbb{B}_{\textbf{k},\varphi})$.
Some results on similar configurations in subsets of $\mathbb{F}_q^d$
Published
• View Publication
• BIB
In this paper, we study problems about the similar configurations in $\mathbb{F}_q^d$. Let $G=(V, E)$ be a graph, where $V=\{1, 2, \ldots, n\}$ and $E\subseteq{V\choose2}$. For a set $\mathcal{E}$ in $\mathbb{F}_q^d$, we say that $\mathcal{E}$ contains a pair of $G$ with dilation ratio $r$ if there exist distinct $\boldsymbol{x}_1, \boldsymbol{x}_2, \ldots, \boldsymbol{x}_n\in\mathcal{E}$ and distinct $\boldsymbol{y}_1, \boldsymbol{y}_2, \ldots, \boldsymbol{y}_n\in\mathcal{E}$ such that $\|\boldsymbol{y}_i-\boldsymbol{y}_{j}\|=r\|\boldsymbol{x}_i-\boldsymbol{x}_j\|\neq0$ whenever $\{i, j\}\in E$, where $\|\boldsymbol{x}\|:=x_1^2+x_2^2+\cdots+x_d^2$ for $\boldsymbol{x}=(x_1, x_2, \ldots, x_d)\in\mathbb{F}_q^d$. We show that if $\mathcal{E}$ has size at least $C_kq^{d/2}$, then $\mathcal{E}$ contains a pair of $k$-stars with dilation ratio $r$, and that if $\mathcal{E}$ has size at least $C\cdot\min\left\{q^{(2d+1)/3}, \max\left\{q^3, q^{d/2}\right\}\right\}$, then $\mathcal{E}$ contains a pair of $4$-paths with dilation ratio $r$. Our method is based on enumerative combinatorics and graph theory.