graph
35396 papers tagged with this keyword
Edge Connectivity, Packing Spanning Trees, and Eigenvalues of Graphs
Published
• View Publication
• BIB
Let $\mathcal{G}$ be the set of simple graphs (or multigraphs) $G$ such that for each $G \in \mathcal{G}$ there exists at least two non-empty disjoint proper subsets $V_{1},V_{2}\subseteq V(G)$ satisfying $V(G)\setminus(V_{1} \cup V_{2})\neq φ$ and edge connectivity $κ'(G)=e(V_{i},V(G)\backslash V_{i})$ for $1\leq i \leq 2$. A multigraph is a graph with possible multiple edges, but no loops. Let $τ(G)$ be the maximum number of edge-disjoint spanning trees of a graph $G$. Motivated by a question of Seymour on the relationship between eigenvalues of a graph $G$ and bounds of $τ(G)$, we mainly give the relationship between the third largest (signless Laplacian) eigenvalue and the bound of $κ'(G)$ and $τ(G)$ of a simple graph or a multigraph $G\in\mathcal{G}$, respectively.
Independent transversal domination number of a graph
Let $G=(V, E)$ be a graph. A set $S\subseteq V(G)$ is a {\it dominating set} of $G$ if every vertex in $V\setminus S$ is adjacent to a vertex of $S$. The {\it domination number} of $G$, denoted by $γ(G)$, is the cardinality of a minimum dominating set of $G$. Furthermore, a dominating set $S$ is an {\it independent transversal dominating set} of $G$ if it intersects every maximum independent set of $G$. The {\it independent transversal domination number} of $G$, denoted by $γ_{it}(G)$, is the cardinality of a minimum independent transversal dominating set of $G$. In 2012, Hamid initiated the study of the independent transversal domination of graphs, and posed the following two conjectures:
Conjecture 1. If $G$ is a non-complete connected graph on $n$ vertices, then $γ_{it}(G)\leq\lceil\frac{n}{2}\rceil$.
Conjecture 2. If G is a connected bipartite graph, then $γ_{it}(G)$ is either $γ(G)$ or $γ(G)+1$.
We show that Conjecture 1 is not true in general. Very recently, Conjecture 2 is partially verified to be true by Ahangar, Samodivkin, Yero. Here, we prove the full statement of Conjecture 2. In addition, we give a correct version of a theorem of Hamid. Finally, we answer a problem posed by Martínez, Almira, and Yero on the independent transversal total domination of a graph.
On monotone circuits with local oracles and clique lower bounds
Published in Chicago Journal of Theoretical Computer Science, vol.2018, nb.1, (March 2018), pp.1-18
• View Publication
• BIB
We investigate monotone circuits with local oracles [K., 2016], i.e., circuits containing additional inputs $y_i = y_i(\vec{x})$ that can perform unstructured computations on the input string $\vec{x}$. Let $μ\in [0,1]$ be the locality of the circuit, a parameter that bounds the combined strength of the oracle functions $y_i(\vec{x})$, and $U_{n,k}, V_{n,k} \subseteq \{0,1\}^m$ be the set of $k$-cliques and the set of complete $(k-1)$-partite graphs, respectively (similarly to [Razborov, 1985]). Our results can be informally stated as follows.
1. For an appropriate extension of depth-$2$ monotone circuits with local oracles, we show that the size of the smallest circuits separating $U_{n,3}$ (triangles) and $V_{n,3}$ (complete bipartite graphs) undergoes two phase transitions according to $μ$.
2. For $5 \leq k(n) \leq n^{1/4}$, arbitrary depth, and $μ\leq 1/50$, we prove that the monotone circuit size complexity of separating the sets $U_{n,k}$ and $V_{n,k}$ is $n^{Θ(\sqrt{k})}$, under a certain restrictive assumption on the local oracle gates.
The second result, which concerns monotone circuits with restricted oracles, extends and provides a matching upper bound for the exponential lower bounds on the monotone circuit size complexity of $k$-clique obtained by Alon and Boppana (1987).
On the gonality, treewidth, and orientable genus of a graph
We examine connections between the gonality, treewidth, and orientable genus of a graph. Especially, we find that hyperelliptic graphs in the sense of Baker and Norine are planar. We give a notion of a bielliptic graph and show that each of these must embed into a closed orientable surface of genus one. We also find, for all $g\ge 0$, trigonal graphs of treewidth 3 and orientable genus $g$, and give analogues for graphs of higher gonality.
Complexity of the Fourier transform on the Johnson graph
The set $X$ of $k$-subsets of an $n$-set has a natural graph structure where two $k$-subsets are connected if and only if the size of their intersection is $k-1$. This is known as the Johnson graph. The symmetric group $S_n$ acts on the space of complex functions on $X$ and this space has a multiplicity-free decomposition as sum of irreducible representations of $S_n$, so it has a well-defined Gelfand-Tsetlin basis up to scalars. The Fourier transform on the Johnson graph is defined as the change of basis matrix from the delta function basis to the Gelfand-Tsetlin basis.
The direct application of this matrix to a generic vector requires $\binom{n}{k}^2$ arithmetic operations. We show that --in analogy with the classical Fast Fourier Transform on the discrete circle-- this matrix can be factorized as a product of $n-1$ orthogonal matrices, each one with at most two nonzero elements in each column. This factorization shows that the number of arithmetic operations required to apply this matrix to a generic vector is bounded above by $2(n-1) \binom{n}{k}$. As a consequence, we show that the problem of computing all the weights of the irreducible components of a given function can be solved in $O(n \binom{n}{k})$ operations, improving the previous bound $O(k^2 \binom{n}{k})$ when $k$ asymptotically dominates $\sqrt{n}$ in a non-uniform model of computation. The same improvement is achieved for the problem of computing the isotypic projection onto a single component.
The proof is based on the construction of $n-1$ intermediate bases, each one parametrized by certain pairs composed by a standard Young tableau and a word. The parametrization of each basis is obtained via the Robinson-Schensted insertion algorithm.
k-Majority Digraphs and the Hardness of Voting with a Constant Number of Voters
Published
• View Publication
• BIB
Many hardness results in computational social choice make use of the fact that every directed graph may be induced as the pairwise majority relation of some preference profile. However, this fact requires a number of voters that is almost linear in the number of alternatives. It is therefore unclear whether these results remain intact when the number of voters is bounded, as is, for example, typically the case in search engine aggregation settings. In this paper, we provide a systematic study of majority digraphs for a constant number of voters resulting in analytical, experimental, and complexity-theoretic insights. First, we characterize the set of digraphs that can be induced by two and three voters, respectively, and give sufficient conditions for larger numbers of voters. Second, we present a surprisingly efficient implementation via SAT solving for computing the minimal number of voters that is required to induce a given digraph and experimentally evaluate how many voters are required to induce the majority digraphs of real-world and generated preference profiles. Finally, we leverage our sufficient conditions to show that the winner determination problem of various well-known voting rules remains hard even when there is only a small constant number of voters. In particular, we show that Kemeny's rule is hard to evaluate for 7 voters, while previous methods could only establish such a result for constant even numbers of voters.
Graph Invariants with Connections to the Feynman Period in $φ^4$ Theory
Feynman diagrams in $φ^4$ theory have as their underlying structure 4-regular graphs. In particular, any 4-point $φ^4$ graph can be uniquely derived from a 4-regular graph by deleting a vertex. The Feynman period is a simplified version of the Feynman integral, and is of special interest, as it maintains much of the important number theoretic information from the Feynman integral. It is also of structural interest, as it is known to be preserved by a number of graph theoretic operations. In particular, the vertex deleted in constructing the 4-point graph does not affect the Feynman period, and it is invariant under planar duality and the Schnetz twist, an operation that redirects edges incident to a 4-vertex cut. Further, a 4-regular graph may be produced by a 3-sum operation on triangles in two 4-regular graphs. The Feynman period of this graph with a vertex deleted is equal to the product of the Feynman periods of the two smaller graphs with one vertex deleted each. These operations currently explain all known instances of non-isomorphic 4-point $φ^4$ graphs with equal periods.
With this in mind, other graph invariants that are preserved by these operations for 4-point $φ^4$ graphs are of interest, as they may provide insight into the Feynman period. In this thesis the extended graph permanent is introduced; an infinite sequence of residues from prime order finite fields. It is shown that this sequence is preserved by these three operations, and has a product property. Additionally, computational techniques will be established, and an alternate interpretation will be presented as the point count of a novel graph polynomial.
Further, the previously existing $c_2$ invariant and Hepp bound are examined, two graph invariants that are conjectured to be preserved by these graph operations. A combinatorial approach to the $c_2$ invariant is introduced.
On the growth of a superlinear preferential attachment scheme
Published
• View Publication
• BIB
We consider an evolving preferential attachment random graph model where at discrete times a new node is attached to an old node, selected with probability proportional to a superlinear function of its degree. For such schemes, it is known that the graph evolution condenses, that is a.s. in the limit graph there will be a single random node with infinite degree, while all others have finite degree.
In this note, we establish a.s. law of large numbers type limits and fluctuation results, as $n\uparrow\infty$, for the counts of the number of nodes with degree $k\geq 1$ at time $n\geq 1$. These limits rigorously verify and extend a physical picture of Krapivisky, Redner and Leyvraz (2000) on how the condensation arises with respect to the degree distribution.
Common adversaries form alliances: modelling complex networks via anti-transitivity
Published
• View Publication
• BIB
Anti-transitivity captures the notion that enemies of enemies are friends, and arises naturally in the study of adversaries in social networks and in the study of conflicting nation states or organizations. We present a simplified, evolutionary model for anti-transitivity influencing link formation in complex networks, and analyze the model's network dynamics. The Iterated Local Anti-Transitivity (or ILAT) model creates anti-clone nodes in each time-step, and joins anti-clones to the parent node's non-neighbor set. The graphs generated by ILAT exhibit familiar properties of complex networks such as densification, short distances (bounded by absolute constants), and bad spectral expansion. We determine the cop and domination number for graphs generated by ILAT, and finish with an analysis of their clustering coefficients. We interpret these results within the context of real-world complex networks and present open problems.
Automorphism group of the subspace inclusion graph of a vector space
Published
• View Publication
• BIB
In a recent paper [Comm. Algebra, 44(2016) 4724-4731], Das introduced the graph $\mathcal{I}n(\mathbb{V})$, called subspace inclusion graph on a finite dimensional vector space $\mathbb{V}$, where the vertex set is the collection of nontrivial proper subspaces of $\mathbb{V}$ and two vertices are adjacent if one is properly contained in another. Das studied the diameter, girth, clique number, and chromatic number of $\mathcal{I}n(\mathbb{V})$ when the base field is arbitrary, and he also studied some other properties of $\mathcal{I}n(\mathbb{V})$ when the base field is finite. In this paper, the automorphisms of $\mathcal{I}n(\mathbb{V})$ are determined when the base field is finite.
Evolution of high-order connected components in random hypergraphs
Published in Electronic Notes in Discrete Mathematics 49 (2015) 569-575
• View Publication
• BIB
We consider high-order connectivity in $k$-uniform hypergraphs defined as follows: Two $j$-sets are $j$-connected if there is a walk of edges between them such that two consecutive edges intersect in at least $j$ vertices. We describe the evolution of $j$-connected components in the $k$-uniform binomial random hypergraph $\mathcal{H}^k(n,p)$. In particular, we determine the asymptotic size of the giant component shortly after its emergence and establish the threshold at which the $\mathcal{H}^k(n,p)$ becomes $j$-connected with high probability. We also obtain a hitting time result for the related random hypergraph process $\{\mathcal{H}^k(n,M)\}_M$ -- the hypergraph becomes $j$-connected exactly at the moment when the last isolated $j$-set disappears. This generalises well-known results for graphs and vertex-connectivity in hypergraphs.
Interlacement of double curves of immersed spheres
Published in Disc. Comp. Geom. 55 (2016), 550-570
• Search Publication
We characterize those unions of embedded disjoint circles in the 2-sphere which can be the multiple point set of a generic immersion of the 2-sphere into 3-dimensional space in terms of the interlacement of the given circles. Our result is the one higher dimensional analogue of Rosenstiehl's characterization of words being Gauss codes of self-crossing plane curves. Our proof uses a result of Lippner and we further generalize the ideas of Fraysseix and Ossona de Mendez, which leads us to directed interlacement graphs of paired trees and their local complementation.
Self-avoiding walks and connective constants
Published
• View Publication
• BIB
The connective constant $μ(G)$ of a quasi-transitive graph $G$ is the asymptotic growth rate of the number of self-avoiding walks (SAWs) on $G$ from a given starting vertex. We survey several aspects of the relationship between the connective constant and the underlying graph $G$.
$\bullet$ We present upper and lower bounds for $μ$ in terms of the vertex-degree and girth of a transitive graph.
$\bullet$ We discuss the question of whether $μ\geφ$ for transitive cubic graphs (where $φ$ denotes the golden mean), and we introduce the Fisher transformation for SAWs (that is, the replacement of vertices by triangles).
$\bullet$ We present strict inequalities for the connective constants $μ(G)$ of transitive graphs $G$, as $G$ varies.
$\bullet$ As a consequence of the last, the connective constant of a Cayley graph of a finitely generated group decreases strictly when a new relator is added, and increases strictly when a non-trivial group element is declared to be a further generator.
$\bullet$ We describe so-called graph height functions within an account of "bridges" for quasi-transitive graphs, and indicate that the bridge constant equals the connective constant when the graph has a unimodular graph height function.
$\bullet$ A partial answer is given to the question of the locality of connective constants, based around the existence of unimodular graph height functions.
$\bullet$ Examples are presented of Cayley graphs of finitely presented groups that possess graph height functions (that are, in addition, harmonic and unimodular), and that do not.
$\bullet$ The review closes with a brief account of the "speed" of SAW.
Bounds on some monotonic topological indices of bipartite graphs with a given number of cut edges
Let $I(G)$ be a topological index of a graph. If $I(G+e)<I(G)$ (or $I(G+e)>I(G)$, respectively) for each edge $e\not\in G$, then $I(G)$ is monotonically decreasing (or increasing, respectively) with the addition of edges. In this article, we present lower or upper bounds for some monotonic topological indices, including the Wiener index, the hyper-Wiener index, the Harary index, the connective eccentricity index, the eccentricity distance sum of bipartite graphs in terms of the number of cut edges, and characterize the corresponding extremal graphs, respectively.
Algorithmic releases on the spanning trees of suitable graphs
Published
• View Publication
• BIB
In this paper algebraic and combinatorial properties and a computation of the number of the spanning trees are developed for certain graphs. To this purpose, an original method, independent of the spectrum of the Laplacian matrix associated to the graph, is discussed. It represents an alternative process to compute how many and which are the spanning trees of any graph and substantially consists in joining the spanning trees on the ground of the number of common edges between the inner cycles of it. The algorithm and its source code for determining the collection of all edge-sets of the spanning trees for the class of Jahangir graphs are displayed. An application involving such graphs in order to get a satisfactory degree of security in transmitting confidential information is given, and finally symmetry properties of them are highlighted.
Perfect Elimination Orderings for Symmetric Matrices
Published
• View Publication
• BIB
We introduce a new class of structured symmetric matrices by extending the notion of perfect elimination ordering from graphs to weighted graphs or matrices. This offers a common framework capturing common vertex elimination orderings of monotone families of chordal graphs, Robinsonian matrices and ultrametrics. We give a structural characterization for matrices that admit perfect elimination orderings in terms of forbidden substructures generalizing chordless cycles in graphs.
Limit Theorems for Monochromatic Stars
Published
• View Publication
• BIB
Let $T(K_{1, r}, G_n)$ be the number of monochromatic copies of the $r$-star $K_{1, r}$ in a uniformly random coloring of the vertices of the graph $G_n$. In this paper we provide a complete characterization of the limiting distribution of $T(K_{1, r}, G_n)$, in the regime where $\mathbb E(T(K_{1, r}, G_n))$ is bounded, for any growing sequence of graphs $G_n$. The asymptotic distribution is a sum of mutually independent components, each term of which is a polynomial of a single Poisson random variable of degree at most $r$. Conversely, any limiting distribution of $T(K_{1, r}, G_n)$ has a representation of this form. Examples and connections to the birthday problem are discussed.
Steiner diameter, maximum degree and size of a graph
Published
• View Publication
• BIB
The Steiner diameter $sdiam_k(G)$ of a graph $G$, introduced by Chartrand, Oellermann, Tian and Zou in 1989, is a natural generalization of the concept of classical diameter. When $k=2$, $sdiam_2(G)=diam(G)$ is the classical diameter. The problem of determining the minimum size of a graph of order $n$ whose diameter is at most $d$ and whose maximum is $\ell$ was first introduced by Erdös and Rényi. Recently, Mao considered the problem of determining the minimum size of a graph of order $n$ whose Steiner $k$-diameter is at most $d$ and whose maximum is at most $\ell$, where $3\leq k\leq n$, and studied this new problem when $k=3$. In this paper, we investigate the problem when $n-3\leq k\leq n$.
Rooted Graph Minors and Reducibility of Graph Polynomials
In 2009, Brown gave a set of conditions which when satisfied imply that a Feynman integral evaluates to a multiple zeta value. One of these conditions is called reducibility, which loosely says there is an order of integration for the Feynman integral for which Brown's techniques will succeed. Reducibility can be abstracted away from the Feynman integral to just being a condition on two polynomials, the first and second Symanzik polynomials. These polynomials can be defined from graphs, and thus reducibility is a property of graphs. We prove that for a fixed number of external momenta and no masses, reducibility is graph minor closed, correcting the previously claimed proofs of this fact. A computational study of reducibility was undertaken by Bogner and Lüders who found that for graphs with $4$-on-shell momenta and no masses, $K_{4}$ with momenta on each vertex is a forbidden minor. We add to this and find that when we restrict to graphs with four on-shell external momenta the following graphs are forbidden minors: $K_{4}$ with momenta on each vertex, $W_{4}$ with external momenta on the rim vertices, $K_{2,4}$ with external momenta on the large side of the bipartition, and one other graph. We do not expect that these minors characterize reducibility, so instead we give structural characterizations of the graphs not containing subsets of these minors. We characterize graphs not containing a rooted $K_{4}$ or rooted $W_{4}$ minor, graphs not containing rooted $K_{4}$ or rooted $W_{4}$ or rooted $K_{2,4}$ minors, and also a characterization of graphs not containing all of the known forbidden minors. Some comments are made on graphs not containing $K_{3,4}$, $K_{6}$ or a graph related to Wagner's graph as a minor.
Ollivier-Ricci idleness functions of graphs
Published
• View Publication
• BIB
We study the Ollivier-Ricci curvature of graphs as a function of the chosen idleness. We show that this idleness function is concave and piecewise linear with at most $3$ linear parts, with at most $2$ linear parts in the case of a regular graph. We then apply our result to show that the idleness function of the Cartesian product of two regular graphs is completely determined by the idleness functions of the factors.