graph
35411 papers tagged with this keyword
Solvable conjugacy class graph of groups
Published
• View Publication
• BIB
In this paper we introduce the graph $Γ_{sc}(G)$ associated with a group $G$, called the solvable conjugacy class graph (abbreviated as SCC-graph), whose vertices are the nontrivial conjugacy classes of $G$ and two distinct conjugacy classes $C, D$ are adjacent if there exist $x \in C$ and $y \in D$ such that $\langle x, y\rangle$ is solvable.
We discuss the connectivity, girth, clique number, and several other properties of the SCC-graph. One of our results asserts that there are only finitely many finite groups whose SCC-graph has given clique number~$d$, and we find explicitly the list of such groups with $d=2$.
Hereditary classes of ordered sets of width at most two
Published
• View Publication
• BIB
This paper is a contribution to the study of hereditary classes of relational structures, these classes being quasi-ordered by embeddability. It deals with the specific case of ordered sets of width two and the corresponding bichains and incomparability graphs.
Several open problems about hereditary classes of relational structures which have been considered over the years have positive answer in this case. For example, well-quasi-ordered hereditary classes of finite bipartite permutation graphs, respectively finite 321-avoiding permutations, have been characterized by Korpelainen, Lozin and Mayhill, respectively by Albert, Brignall, Ruškuc and Vatter.
We provide another proof of the results mentioned above. It is based on the existence of a countable universal poset of width two, obtained by the first author in 1978, his notion of multichainability (1978) (a kind of analog to letter-graphs), and metric properties of incomparability graphs. Using Laver's theorem (1971) on better-quasi-ordering (bqo) of countable chains we prove that a wqo hereditary class of finite or countable bipartite permutation graphs is necessarily bqo. This gives a positive answer to a conjecture of Nash-Williams (1965) in this case. We extend a previous result of Albert et al. by proving that if a hereditary class of finite, respectively countable, bipartite permutation graphs is wqo, respectively bqo, then the corresponding hereditary classes of posets of width at most two and bichains are wqo, respectively bqo.
Several notions of labelled wqo are also considered. We prove that they are all equivalent in the case of bipartite permutation graphs, posets of width at most two and the corresponding bichains. We characterize hereditary classes of finite bipartite permutation graphs which remain wqo when labels from a wqo are added.
Frustration-critical signed graphs
Published in Discrete Applied Mathematics 322 (2022) 183-193
• View Publication
• BIB
A signed graph $(G,Σ)$ is a graph $G$ together with a set $Σ\subseteq E(G)$ of negative edges. A circuit is positive if the product of the signs of its edges is positive. A signed graph $(G,Σ)$ is balanced if all its circuits are positive. The frustration index $l(G,Σ)$ is the minimum cardinality of a set $E \subseteq E(G)$ such that $(G-E,Σ-E)$ is balanced, and $(G,Σ)$ is $k$-critical if $l(G,Σ) = k$ and $l(G-e, Σ- e)<k$, for every $e \in E(G)$.
We study decomposition and subdivision of critical signed graphs and completely determine the set of $t$-critical signed graphs, for $t \leq 2$. Critical signed graphs are characterized. We then focus on non-decomposable critical signed graphs. In particular, we characterize the set $S^*$ of non-decomposable $k$-critical signed graphs not containing a decomposable $t$-critical signed subgraph for every $t \leq k$. We prove that $S^*$ consists of cyclically 4-edge-connected projective-planar cubic graphs. Furthermore, we construct $k$-critical signed graphs of $S^*$ for every $k \geq 1$.
Isometric structure of transportation cost spaces on finite metric spaces
Published
• View Publication
• BIB
The paper is devoted to isometric Banach-space-theoretical structure of transportation cost (TC) spaces on finite metric spaces. The TC spaces are also known as Arens-Eells, Lipschitz-free, or Wasserstein spaces. A new notion of a roadmap pertinent to a transportation problem on a finite metric space has been introduced and used to simplify proofs for the results on representation of TC spaces as quotients of $\ell_1$ spaces on the edge set over the cycle space. A Tolstoi-type theorem for roadmaps is proved, and directed subgraphs of the canonical graphs, which are supports of maximal optimal roadmaps, are characterized. Possible obstacles for a TC space on a finite metric space $X$ preventing them from containing subspaces isometric to $\ell_\infty^n$ have been found in terms of the canonical graph of $X$. The fact that TC spaces on diamond graphs do not contain $\ell_\infty^4$ isometrically has been derived. In addition, a short overview of known results on the isometric structure of TC spaces on finite metric spaces is presented.
Kempe changes in degenerate graphs
Published
• View Publication
• BIB
We consider Kempe changes on the $k$-colorings of a graph on $n$ vertices. If the graph is $(k-1)$-degenerate, then all its $k$-colorings are equivalent up to Kempe changes. However, the sequence between two $k$-colorings that arises from the proof may be exponential in the number of vertices. An intriguing open question is whether it can be turned polynomial. We prove this to be possible under the stronger assumption that the graph has treewidth at most $k-1$. Namely, any two $k$-colorings are equivalent up to $O(kn^2)$ Kempe changes. We investigate other restrictions (list coloring, bounded maximum average degree, degree bounds). As a main result, we derive that given an $n$-vertex graph with maximum degree $Δ$, the $Δ$-colorings are all equivalent up to $O(n^2)$ Kempe changes, unless $Δ= 3$ and some connected component is a 3-prism.
Order in the chaos with examples from graph theory
In randomly created structures (be they natural or artificial) very often there exist ordered substructures. In this Hungarian language scientific essay we will present some of such structures in graph theory. E.g. Rédei's theorem, Ramsey theory, Turán's problem, Hamiltonian cycles in De Bruijn graphs.
Quasiplanar Graphs, String Graphs, and the Erdos-Gallai Problem
Published
• View Publication
• BIB
An $r$-quasiplanar graph is a graph drawn in the plane with no $r$ pairwise crossing edges. Let $s \geq 3$ be an integer and $r=2^s$. We prove that there is a constant $C$ such that every $r$-quasiplanar graph with $n \geq r$ vertices has at most $n\left(Cs^{-1}\log n\right)^{2s-4}$ edges.
A graph whose vertices are continuous curves in the plane, two being connected by an edge if and only if they intersect, is called a string graph. We show that for every $ε>0$, there exists $δ>0$ such that every string graph with $n$ vertices, whose chromatic number is at least $n^ε$ contains a clique of size at least $n^δ$. A clique of this size or a coloring using fewer than $n^ε$ colors can be found by a polynomial time algorithm in terms of the size of the geometric representation of the set of strings.
In the process, we use, generalize, and strengthen previous results of Lee, Tomon, and others. All of our theorems are related to geometric variants of the following classical graph-theoretic problem of Erdos, Gallai, and Rogers. Given a $K_r$-free graph on $n$ vertices and an integer $s<r$, at least how many vertices can we find such that the subgraph induced by them is $K_s$-free?
Super graphs on groups, I
Published
• View Publication
• BIB
Let $G$ be a finite group. A number of graphs with the vertex set $G$ have been studied, including the power graph, enhanced power graph, and commuting graph. These graphs form a hierarchy under the inclusion of edge sets, and it is useful to study them together. In addition, several authors have considered modifying the definition of these graphs by choosing a natural equivalence relation on the group such as equality, conjugacy, or equal orders, and joining two elements if there are elements in their equivalence class that are adjacent in the original graph. In this way, we enlarge the hierarchy into a second dimension. Using the three graph types and three equivalence relations mentioned gives nine graphs, of which in general only two coincide; we find conditions on the group for some other pairs to be equal. These often define interesting classes of groups, such as EPPO groups, $2$-Engel groups, and Dedekind groups.
We study some properties of graphs in this new hierarchy. In particular, we characterize the groups for which the graphs are complete, and in most cases, we characterize the dominant vertices (those joined to all others). Also, we give some results about universality, perfectness, and clique number.
The paper ends with some open problems and suggestions for further work.
Fault-tolerant Identifying Codes in Special Classes of Graphs
Published
• View Publication
• BIB
A detection system, modeled in a graph, is composed of "detectors" positioned at a subset of vertices in order to uniquely locate an ``intruder" at any vertex. \emph{Identifying codes} use detectors that can sense the presence or absence of an intruder within distance one. We introduce a fault-tolerant identifying code called a \emph{redundant identifying code}, which allows at most one detector to go offline or be removed without disrupting the detection system. In real-world applications, this would be a necessary feature, as it would allow for maintenance on individual components without disabling the entire system. Specifically, we prove that the problem of determining the lowest cardinality of an identifying code for an arbitrary graph is NP-complete, we determine the bounds on the lowest cardinality for special classes of graphs, including trees, cylinders, and cubic graphs.
The generalized porous medium equation on graphs: existence and uniqueness of solutions with $\ell^1$ data
Published
• View Publication
• BIB
We study solutions of the generalized porous medium equation on infinite graphs. For nonnegative or nonpositive integrable data, we prove the existence and uniqueness of mild solutions on any graph. For changing sign integrable data, we show existence and uniqueness under extra assumptions such as local finiteness or a uniform lower bound on the node measure.
A positive fraction Erdos-Szekeres theorem and its applications
Published in Discrete & Computational Geometry 71 (2024), 308-325
• View Publication
• BIB
A famous theorem of Erdos and Szekeres states that any sequence of $n$ distinct real numbers contains a monotone subsequence of length at least $\sqrt{n}$. Here, we prove a positive fraction version of this theorem. For $n > (k-1)^2$, any sequence $A$ of $n$ distinct real numbers contains a collection of subsets $A_1,\ldots, A_k \subset A$, appearing sequentially, all of size $s=Ω(n/k^2)$, such that every subsequence $(a_1,\ldots, a_k)$, with $a_i \in A_i$, is increasing, or every such subsequence is decreasing. The subsequence $S = (A_1,\ldots, A_k)$ described above is called block-monotone of depth $k$ and block-size $s$. Our theorem is asymptotically best possible and follows from a more general Ramsey-type result for monotone paths, which we find of independent interest. We also show that for any positive integer $k$, any finite sequence of distinct real numbers can be partitioned into $O(k^2\log k)$ block-monotone subsequences of depth at least $k$, upon deleting at most $(k-1)^2$ entries. We apply our results to mutually avoiding planar point sets and biarc diagrams in graph drawing.
On the diameter of Schrijver graphs
Published
• View Publication
• BIB
For $k \geq 1$ and $n \geq 2k$, the well known Kneser graph $\operatorname{KG}(n,k)$ has all $k$-element subsets of an $n$-element set as vertices; two such subsets are adjacent if they are disjoint. Schrijver constructed a vertex-critical subgraph $\operatorname{SG}(n,k)$ of $\operatorname{KG}(n,k)$ with the same chromatic number. In this paper, we compute the diameter of the graph $\operatorname{SG}(2k+r,k)$ with $r \geq 1$. We obtain an exact value of the diameter of $\operatorname{SG}(2k+r,k)$ when $r \in \{1,2\}$ or when $r \geq k-3$. For the remained cases, when $3 \leq r \leq k-4$, we obtain that the diameter of $\operatorname{SG}(2k+r,k)$ belongs to the integer interval $[4..k-r-1]$.
Locating-dominating sets: from graphs to oriented graphs
Published
• View Publication
• BIB
A locating-dominating set in an undirected graph is a subset of vertices $S$ such that $S$ is dominating and for every $u,v \notin S$, we have $N(u)\cap S\ne N(v)\cap S$. In this paper, we consider the oriented version of the problem. A locating-dominating set in an oriented graph is a set $S$ such that for every $w\in V$, $N[w]^-\cap S=\emptyset$ and for each pair of vertices $u,v\in V\setminus S$, $N^-(u)\cap S\ne N^-(v)\cap S$. We consider the following two parameters. Given an undirected graph $G$, we look for $\overset{\rightarrow}γ_{LD}(G)$ ($\overset{\rightarrow}Γ_{LD}(G))$ which is the size of the smallest (largest) optimal locating-dominating set over all orientations of $G$. In particular, if $D$ is an orientation of $G$, then $\overset{\rightarrow}γ_{LD}(G)\leqγ_{LD}(D)\leq\overset{\rightarrow}Γ_{LD}(G)$.
For the best orientation, we prove that, for every twin-free graph $G$ on $n$ vertices, $\overset{\rightarrow}γ_{LD}(G)\le n/2$ proving a ``directed version'' of a conjecture on $γ_{LD}(G)$. Moreover, we give some bounds for $\overset{\rightarrow}γ_{LD}(G)$ on many graph classes and drastically improve the value $n/2$ for (almost) $d$-regular graphs by showing that $\overset{\rightarrow}γ_{LD}(G)\in O(\log d/d\cdot n)$ using a probabilistic argument. While $\overset{\rightarrow}γ_{LD}(G)\leqγ_{LD}(G)$ holds for every graph $G$, we give some graph classes graphs for which $\overset{\rightarrow}Γ_{LD}(G)\geqγ_{LD}(G)$ and some for which $\overset{\rightarrow}Γ_{LD}(G)\leq γ_{LD}(G)$. We also give general bounds for $\overset{\rightarrow}Γ_{LD}(G)$. Finally, we show that for many graph classes $\overset{\rightarrow}Γ_{LD}(G)$ is polynomial on $n$ but we leave open the question whether there exist graphs with $\overset{\rightarrow}Γ_{LD}(G)\in O(\log n)$.
When is a planar rod configuration infinitesimally rigid?
Published
• View Publication
• BIB
We provide a way of determining the infinitesimal rigidity of rod configurations realizing a rank two incidence geometry in the Euclidean plane. We model each rod with a cone over its point set and prove that the resulting geometric realization of the incidence geometry is infinitesimally rigid in regular position if and only if the resulting cone graph is infinitesimally rigid in generic position. This is a generalization of the Molecular conjecture.
Grass trees and forests: Enumeration of Grassmannian trees and forests, with applications to the momentum amplituhedron
Published
• View Publication
• BIB
The Exponential Formula allows one to enumerate any class of combinatorial objects built by choosing a set of connected components and placing a structure on each connected component which depends only on its size. There are multiple variants of this result, including Speicher's result for noncrossing partitions, as well as analogues of the Exponential Formula for series-reduced planar trees and forests. In this paper we use these formulae to give generating functions contracted Grassmannian trees and forests, certain graphs whose vertices are decorated with a helicity. Along the way we enumerate bipartite planar trees and forests, and we apply our results to enumerate various families of permutations: for example, bipartite planar trees are in bijection with separable permutations. Our generating function for Grassmannian forests can be interpreted as the rank generating function for the boundary strata of the momentum amplituhedron, an object which encodes the tree-level S-matrix of maximally supersymmetric Yang-Mills theory. This allows us to verify that the Euler characteristic of the momentum amplituhedron is 1.
Hall-Littlewood polynomials, boundaries, and $p$-adic random matrices
Published
• View Publication
• BIB
We prove that the boundary of the Hall-Littlewood $t$-deformation of the Gelfand-Tsetlin graph is parametrized by infinite integer signatures, extending results of Gorin and Cuenca on boundaries of related deformed Gelfand-Tsetlin graphs. In the special case when $1/t$ is a prime $p$ we use this to recover results of Bufetov-Qiu and Assiotis on infinite $p$-adic random matrices, placing them in the general context of branching graphs derived from symmetric functions.
Our methods rely on explicit formulas for certain skew Hall-Littlewood polynomials. As a separate corollary to these, we obtain a simple expression for the joint distribution of the cokernels of products $A_1, A_2A_1, A_3A_2A_1,\ldots$ of independent Haar-distributed matrices $A_i$ over the $p$-adic integers $\mathbb{Z}_p$. This expression generalizes the explicit formula for the classical Cohen-Lenstra measure on abelian $p$-groups.
Optimally reconstructing caterpillars
For a graph $G$, the $\ell$-deck of $G$ is the multiset of induced subgraphs on $G$ having $\ell$ vertices. Recently, Groenland et al. proved that any tree can be reconstructed from its $(8/9+o(1))n$-deck. For the particular case of caterpillar graphs, we show that the $(1/2+o(1))n$-deck suffices, which is asymptotically tight.
On the Dominant of the Multicut Polytope
Published
• View Publication
• BIB
Given a graph $G=(V,E)$ and a set $S \subseteq \binom{V}{2}$ of terminal pairs, the minimum multicut problem asks for a minimum edge set $δ\subseteq E$ such that there is no $s$-$t$-path in $G -δ$ for any $\{s,t\}\in S$. For $|S|=1$ this is the well known $s$-$t$-cut problem, but in general the minimum multicut problem is NP-complete, even if the input graph is a tree. The multicut polytope $\text{MultC}^\square (G,S)$ is the convex hull of all multicuts in $G$; the multicut dominant is given by $\text{MultC}(G,S)=\text{MultC}^\square (G,S)+\mathbb{R}^E$. The latter is the relevant object for the minimization problem. While polyhedra associated to several cut problems have been studied intensively there is only little knowledge for multicut.
We investigate properties of the multicut dominant and in particular derive results on liftings of facet-defining inequalities. This yields a classification of all facet-defining path- and edge inequalities. Moreover, we investigate the effect of graph operations such as node splitting, edge subdivisions, and edge contractions on the multicut-dominant and its facet-defining inequalities. In addition, we introduce facet-defining inequalities supported on stars, trees, and cycles and show that the former two can be separated in polynomial time when the input graph is a tree.
Counterexamples of the Bhattacharya-Friedland-Peled conjecture
Published
• View Publication
• BIB
The Brauldi-Hoffman conjecture, proved by Rowlinson in 1988, characterized the graph with maximal spectral radius among all simple graphs with prescribed number of edges. In 2008, Bhattacharya, Friedland, and Peled proposed an analog, which will be called the BFP conjecture in the following, of the Brauldi-Hoffman conjecture for the bipartite graphs with fixed numbers of edges in the graph and vertices in the bipartition. The BFP conjecture was proved to be correct if the number of edges is large enough by several authors. However, in this paper we provide some counterexamples of the BFP conjecture.
On the computational complexity of the Steiner $k$-eccentricity
The Steiner $k$-eccentricity of a vertex $v$ of a graph $G$ is the maximum Steiner distance over all $k$-subsets of $V (G)$ which contain $v$. A linear time algorithm for calculating the Steiner $k$-eccentricity of a vertex on block graphs is presented. For general graphs, an $O(n^{ν(G)+1}(n(G) + m(G) + k))$ algorithm is designed, where $ν(G)$ is the cyclomatic number of $G$. A linear algorithm for computing the Steiner $3$-eccentricities of all vertices of a tree is also presented which improves the quadratic algorithm from [Discrete Appl.\ Math.\ 304 (2021) 181--195].