graph
34905 papers tagged with this keyword
Critical Independent Sets of a Graph
Let $G$ be a simple graph with vertex set $V\left( G\right) $. A set $S\subseteq V\left( G\right) $ is independent if no two vertices from $S$ are adjacent, and by $\mathrm{Ind}(G)$ we mean the family of all independent sets of $G$.
The number $d\left( X\right) =$ $\left\vert X\right\vert -\left\vert N(X)\right\vert $ is the difference of $X\subseteq V\left( G\right) $, and a set $A\in\mathrm{Ind}(G)$ is critical if $d(A)=\max \{d\left( I\right) :I\in\mathrm{Ind}(G)\}$ (Zhang, 1990).
Let us recall the following definitions:
$\mathrm{core}\left( G\right) $ = $\bigcap$ {S : S is a maximum independent set}.
$\mathrm{corona}\left( G\right)$ = $\bigcup$ {S :S is a maximum independent set}.
$\mathrm{\ker}(G)$ = $\bigcap$ {S : S is a critical independent set}.
$\mathrm{diadem}(G)$ = $\bigcup$ {S : S is a critical independent set}.
In this paper we present various structural properties of $\mathrm{\ker}(G)$, in relation with $\mathrm{core}\left( G\right) $, $\mathrm{corona}\left( G\right) $, and $\mathrm{diadem}(G)$.
How many circuits determine an oriented matroid?
Published
• View Publication
• BIB
Las Vergnas and Hamidoune studied the number of circuits needed to determine an oriented matroid. In this paper we investigate this problem and some new variants, as well as their interpretation in particular classes of matroids. We present general upper and lower bounds in the setting of general connected orientable matroids, leading to the study of subgraphs of the base graph and the intersection graph of circuits.
We then consider the problem for uniform matroids which is closely related to the notion of (connected) covering numbers in Design Theory. Finally, we also devote special attention to regular matroids as well as some graphic and cographic matroids leading in particular to the topics of (connected) bond and cycle covers in Graph Theory.
Graph energy estimates via the Chebyshev functional
Let $G$ be a graph with $n$ vertices and $m$ edges. The energy $E$ of the graph $G$ is defined as the sum of the moduli of the adjacency eigenvalues $λ_{1} \geq λ_{2} \geq \ldots \geq λ_{n}$ of $G$: $$ E=\sum_{i=1}^{n}{|λ{i}|}. $$ We obtain new lower bounds on the energy of a graph, which in various cases improve upon known results. For example, a particularly simple and appealing corollary of our results is: $$ E \geq \frac{2m}{λ_{1}}. $$ This implies a result obtained by Gutman \emph{et al.} for regular graphs and is better for triangle-free graphs than a result of Caporossi \emph{et al.}.
Algebra, selections, and additive Ramsey theory
Published in Fundamenta Mathematicae 240 (2018), 81-104
• View Publication
• BIB
Hindman's celebrated Finite Sums Theorem, and its high-dimensional version due to Milliken and Taylor, are extended from covers of countable sets to covers of arbitrary topological spaces with Menger's classic covering property. The methods include, in addition to Hurewicz's game theoretic characterization of Menger's property, extensions of the classic idempotent theory in the Stone--Czech compactification of semigroups, and of the more recent theory of selection principles. This provides strong versions of the mentioned celebrated theorems, where the monochromatic substructures are large, beyond infinitude, in an analytic sense. Reducing the main theorems to the purely combinatorial setting, we obtain nontrivial consequences concerning uncountable cardinal characteristics of the continuum.
The main results, modulo technical refinements, are of the following type (definitions provided in the main text): Let $X$ be a Menger space, and $\mathcal{U}$ be an infinite open cover of $X$. Consider the complete graph, whose vertices are the open sets in $X$. For each finite coloring of the vertices and edges of this graph, there are disjoint finite subsets $\mathcal{F}_1,\mathcal{F}_2,\dots$ of the cover $\mathcal{U}$ whose unions $V_1 := \bigcup\mathcal{F}_1, V_2 := \bigcup\mathcal{F}_2,\dots$ have the following properties:
1. The sets $\bigcup_{n\in F}V_n$ and $\bigcup_{n\in H}V_n$ are distinct for all nonempty finite sets $F<H$.
2. All vertices $\bigcup_{n\in F}V_n$, for nonempty finite sets $F$, are of the same color.
3. All edges $\bigl\{\,\bigcup_{n\in F}V_n, \bigcup_{n\in H}V_n\,\bigr\}$, for nonempty finite sets $F<H$, have the same color.
4. The family $\{V_1,V_2,\dots\}$ is an open cover of $X$.
A self-contained introduction to the necessary parts of the needed theories is provided.
Transitive factorizations of permutations and geometry
Published
• View Publication
• BIB
We give an account of our work on transitive factorizations of permutations. The work has had impact upon other areas of mathematics such as the enumeration of graph embeddings, random matrices, branched covers, and the moduli spaces of curves. Aspects of these seemingly unrelated areas are seen to be related in a unifying view from the perspective of algebraic combinatorics. At several points this work has intertwined with Richard Stanley's in significant ways.
A Creative Review on Integer Additive Set-Valued Graphs
Published in International Journal of Scientific and Engineering Research (IJSER), Vol.6, Issue.3, 2015, pp. 372-378
• Search Publication
For a non-empty ground set $X$, finite or infinite, the {\em set-valuation} or {\em set-labeling} of a given graph $G$ is an injective function $f:V(G) \to \mathcal{P}(X)$, where $\mathcal{P}(X)$ is the power set of the set $X$. A set-indexer of a graph $G$ is an injective set-valued function $f:V(G) \to \mathcal{P}(X)$ such that the function $f^{\ast}:E(G)\to \mathcal{P}(X)-\{\emptyset\}$ defined by $f^{\ast}(uv) = f(u){\ast} f(v)$ for every $uv{\in} E(G)$ is also injective, where $\ast$ is a binary operation on sets. An integer additive set-indexer is defined as an injective function $f:V(G)\to \mathcal{P}({\mathbb{N}_0})$ such that the induced function $f^+:E(G) \to \mathcal{P}(\mathbb{N}_0)$ defined by $f^+ (uv) = f(u)+ f(v)$ is also injective, where $\mathbb{N}_0$ is the set of all non-negative integers. In this paper, we critically and creatively review the concepts and properties of integer additive set-valued graphs.
Topology of plane arrangements and their complements
This is a glossary of notions and methods related with the topological theory of collections of affine planes, including braid groups, configuration spaces, order complexes, stratified Morse theory, simplicial resolutions, complexes of graphs, Orlik--Solomon rings, Salvetti complex, matroids, Spanier--Whitehead duality, twisted homology groups, monodromy theory and multidimensional hypergeometric functions.
The emphasis on the most geometrical explanation is done; applications and analogies in the differential topology are outlined.
Locating-dominating sets and identifying codes in graphs of girth at least 5
Published in The Electronic Journal of Combinatorics 22:P2.15, 2015
• View Publication
• BIB
Locating-dominating sets and identifying codes are two closely related notions in the area of separating systems. Roughly speaking, they consist in a dominating set of a graph such that every vertex is uniquely identified by its neighbourhood within the dominating set. In this paper, we study the size of a smallest locating-dominating set or identifying code for graphs of girth at least 5 and of given minimum degree. We use the technique of vertex-disjoint paths to provide upper bounds on the minimum size of such sets, and construct graphs who come close to meet these bounds.
Ramsey numbers of paths and graphs of the same order
For graphs $F_n$ and $G_n$ of order $n$, if $R(F_n, G_n)=(χ(G_n)-1)(n-1)+σ(G_n)$, then $F_n$ is said to be $G_n$-good, where $σ(G_n)$ is the minimum size of a color class among all proper vertex-colorings of $G_n$ with $χ(G_n)$ colors. Given $Δ(G_n)\le Δ$, it is shown that $P_n$ is asymptotically $G_n$-good if $α(G_n)\le\frac{n}{4}$.
Affine hom-complexes
Published
• View Publication
• BIB
For two general polytopal complexes the set of face-wise affine maps between them is shown to be a polytopal complex in an algorithmic way. The resulting algorithm for the affine hom-complex is analyzed in detail. There is also a natural tensor product of polytopal complexes, which is the left adjoint functor for Hom. This extends the corresponding facts from single polytopes, systematic study of which was initiated in [6,12]. Explicit examples of computations of the resulting structures are included. In the special case of simplicial complexes, the affine hom-complex is a functorial subcomplex of Kozlov's combinatorial hom-complex [14], which generalizes Lovasz' well-known construction [15] for graphs.
Chip-firing games on Eulerian digraphs and NP-hardness of computing the rank of a divisor on a graph
Published in Discrete Appl. Math. 193 (2015) 48-56
• View Publication
• BIB
Baker and Norine introduced a graph-theoretic analogue of the Riemann-Roch theory. A central notion in this theory is the rank of a divisor. In this paper we prove that computing the rank of a divisor on a graph is NP-hard.
The determination of the rank of a divisor can be translated to a question about a chip-firing game on the same underlying graph. We prove the NP-hardness of this question by relating chip-firing on directed and undirected graphs.
On the Complexity of the Positive Semidefinite Zero Forcing Number
Published
• View Publication
• BIB
The positive zero forcing number of a graph is a graph parameter that arises from a non-traditional type of graph colouring, and is related to a more conventional version of zero forcing. We establish a relation between the zero forcing and the fast-mixed searching, which implies some NP-completeness results for the zero forcing problem. For chordal graphs much is understood regarding the relationships between positive zero forcing and clique coverings. Building upon constructions associated with optimal tree covers and forest covers, we present a linear time algorithm for computing the positive zero forcing number of chordal graphs. We also prove that it is NP-complete to determine if a graph has a positive zero forcing set with an additional property.
Treewidth is a lower bound on graph gonality
Published in Algebraic Combinatorics, Volume 3 (2020) no. 4, pp. 941-953
• View Publication
• BIB
We prove that the (divisorial) gonality of a finite connected graph is lower bounded by its treewidth. We show that equality holds for grid graphs and complete multipartite graphs.
We prove that the treewidth lower bound also holds for \emph{metric graphs} by constructing for any positive rank divisor on a metric graph $Γ$ a positive rank divisor of the same degree on a subdivision of the underlying graph.
Finally, we show that the treewidth lower bound also holds for a related notion of gonality defined by Caporaso and for stable gonality as introduced by Cornelissen et al.
On the distance preserving trees in graphs
For a vertex $v$ of a graph $G$, a spanning tree $T$ of $G$ is distance-preserving from $v$ if, for any vertex $w$, the distance from $v$ to $w$ on $T$ is the same as the distance from $v$ to $w$ on $G$. If two vertices $u$ and $v$ are distinct, then two distance-preserving spanning trees $T_{u}$ from $u$ and $T_{v}$ from $v$ are distinct in general. A purpose of this paper is to give a characterization for a given weighted graph $G$ to have a spanning tree $T$ such that $T$ is a distance-preserving spanning tree from distinct two vertices.
On triangle-free graphs that do not contain a subdivision of the complete graph on four vertices as an induced subgraph
Published
• View Publication
• BIB
We prove a decomposition theorem for the class of triangle-free graphs that do not contain a subdivision of the complete graph on four vertices as an induced subgraph. We prove that every graph of girth at least~5 in this class is 3-colorable.
Saturated Graphs of Prescribed Minimum Degree
Published
• View Publication
• BIB
A graph $G$ is $H$-saturated if it contains no copy of $H$ as a subgraph but the addition of any new edge to $G$ creates a copy of $H$. In this paper we are interested in the function sat$_{t}(n,p)$, defined to be the minimum number of edges that a $K_{p}$-saturated graph on $n$ vertices can have if it has minimum degree at least $t$. We prove that sat$_{t}(n,p) = tn - O(1)$, where the limit is taken as $n$ tends to infinity. This confirms a conjecture of Bollobás when $p = 3$. We also present constructions for graphs that give new upper bounds for sat$_{t}(n,p)$ and discuss an analogous problem for saturated hypergraphs.
On Minimum Order of Odd Regular Graphs Without Perfect Matching
In this article we have derived the minimum order of an odd regular graph such that the graph has no matching. We have observed that how it is different from the case of even regular graphs. We have checked the consistency of the derived result with Petersen's theorem.
Log-Concavity of Combinations of Sequences and Applications to Genus Distributions
Published
• View Publication
• BIB
We formulate conditions on a set of log-concave sequences, under which any linear combination of those sequences is log-concave, and further, of conditions under which linear combinations of log-concave sequences that have been transformed by convolution are log-concave. These conditions involve relations on sequences called \textit{synchronicity} and \textit{ratio-dominance}, and a characterization of some bivariate sequences as \textit{lexicographic}. We are motivated by the 25-year old conjecture that the genus distribution of every graph is log-concave. Although calculating genus distributions is NP-hard, they have been calculated explicitly for many graphs of tractable size, and the three conditions have been observed to occur in the \textit{partitioned genus distributions} of all such graphs. They are used here to prove the log-concavity of the genus distributions of graphs constructed by iterative amalgamation of double-rooted graph fragments whose genus distributions adhere to these conditions, even though it is known that the genus polynomials of some such graphs have imaginary roots. A blend of topological and combinatorial arguments demonstrates that log-concavity is preserved through the iterations.
Perfect codes in Doob graphs
Published in Des. Codes Cryptogr. 80(1) 2016, 91-102
• View Publication
• BIB
We study $1$-perfect codes in Doob graphs $D(m,n)$. We show that such codes that are linear over $GR(4^2)$ exist if and only if $n=(4^{g+d}-1)/3$ and $m=(4^{g+2d}-4^{g+d})/6$ for some integers $g \ge 0$ and $d>0$. We also prove necessary conditions on $(m,n)$ for $1$-perfect codes that are linear over $Z_4$ (we call such codes additive) to exist in $D(m,n)$ graphs; for some of these parameters, we show the existence of codes. For every $m$ and $n$ satisfying $2m+n=(4^t-1)/3$ and $m \le (4^t-5\cdot 2^{t-1}+1)/9$, we prove the existence of $1$-perfect codes in $D(m,n)$, without the restriction to admit some group structure. Keywords: perfect codes, Doob graphs, distance regular graphs.
A semi-algebraic version of Zarankiewicz's problem
Published
• View Publication
• BIB
A bipartite graph $G$ is semi-algebraic in $\mathbb{R}^d$ if its vertices are represented by point sets $P,Q \subset \mathbb{R}^d$ and its edges are defined as pairs of points $(p,q) \in P\times Q$ that satisfy a Boolean combination of a fixed number of polynomial equations and inequalities in $2d$ coordinates. We show that for fixed $k$, the maximum number of edges in a $K_{k,k}$-free semi-algebraic bipartite graph $G = (P,Q,E)$ in $\mathbb{R}^2$ with $|P| = m$ and $|Q| = n$ is at most $O((mn)^{2/3} + m + n)$, and this bound is tight. In dimensions $d \geq 3$, we show that all such semi-algebraic graphs have at most $C\left((mn)^{ \frac{d}{d+1} + \varepsilon} + m + n\right)$ edges, where here $\varepsilon$ is an arbitrarily small constant and $C = C(d,k,t,\varepsilon)$. This result is a far-reaching generalization of the classical Szemerédi-Trotter incidence theorem. The proof combines tools from several fields: VC-dimension and shatter functions, polynomial partitioning, and Hilbert polynomials.
We also present various applications of our theorem. For example, a general point-variety incidence bound in $\mathbb{R}^d$, an improved bound for a $d$-dimensional variant of the Erdős unit distances problem, and more.