graph
35436 papers tagged with this keyword
Motifs, Coherent Configurations and Second Order Network Generation
Published
• View Publication
• BIB
In this paper we illuminate some algebraic-combinatorial structure underlying the second order networks (SONETS) random graph model of Nykamp, Zhao and collaborators. In particular we show that this algorithm is deeply connected with a certain homogeneous coherent configuration, a non-commuting generalization of the classical Johnson scheme. This algebraic structure underlies certain surprising identities (that do not appear to have been previously observed) satisfied by the covariance matrices in the Nykamp-Zhao scheme. We show that an understanding of this algebraic structure leads to simplified numerical methods for carrying out the linear algebra required to implement the SONETS algorithm. We also show that this structure extends naturally to the problem of generating random subgraphs of graphs other than the complete directed graph.
Rigidity of symmetric frameworks in normed spaces
Published
• View Publication
• BIB
We develop a combinatorial rigidity theory for symmetric bar-joint frameworks in a general finite dimensional normed space. In the case of rotational symmetry, matroidal Maxwell-type sparsity counts are identified for a large class of $d$-dimensional normed spaces (including all $\ell^p$ spaces with $p\not=2$). Complete combinatorial characterisations are obtained for half-turn rotation in the $\ell^1$ and $\ell^\infty$-plane. As a key tool, a new Henneberg-type inductive construction is developed for the matroidal class of $(2,2,0)$-gain-tight graphs.
Approximately uniformly locally finite graphs
Published
• View Publication
• BIB
Let $Γ$ be a locally finite graph, $L$ the normalized Laplacian of $Γ$. If $Γ$ is uniformy locally finite, i.e. if each vertex has no more than $d$ adjacent vertices, then the matrix of $L$ (with respect to the standard basis) has no more than $d+1$ non-zero entries in each row and in each column. We consider the class of locally finite graphs, for which the Laplacian can be approximated by matrices of this type with arbitrary $d$. We provide examples of locally finite graphs which are or are not in this class, and show that the graphs from this class share certain regularity property: vertices of high degree cannot have too many adjacent vertices of low degree.
Partitioning a graph into cycles with a specified number of chords
Published
• View Publication
• BIB
For a graph $G$, let $σ_{2}(G)$ be the minimum degree sum of two non-adjacent vertices in $G$. A chord of a cycle in a graph $G$ is an edge of $G$ joining two non-consecutive vertices of the cycle. In this paper, we prove the following result, which is an extension of a result of Brandt et al. (J. Graph Theory 24 (1997) 165-173) for large graphs: For positive integers $k$ and $c$, there exists an integer $f(k,c)$ such that, if $G$ is a graph of order $n \ge f(k, c)$ and $σ_{2}(G) \ge n$, then $G$ can be partitioned into $k$ vertex-disjoint cycles, each of which has at least $c$ chords.
$PC$-polynomial of graph
We define $PC$-polynomial of graph which is related to clique, (in)dependence and matching polynomials. The growth rate of partially commutative monoid is equal to the largest root $β(G)$ of $PC$-polynomial of the corresponding graph.
The random algebra is defined in such way that its growth rate equals the largest root of $PC$-polynomial of random graph. We prove that for almost all graphs all sufficiently large real roots of $PC$-polynomial lie in neighbourhoods of roots of $PC$-polynomial of random graph. We show how to calculate the series expansions of the latter roots. The average value of $β(G)$ over all graphs with the same number of vertices is computed.
We found the graphs on which the maximal value of $β(G)$ with fixed numbers of vertices and edges is reached. From this, we derive the upper bound of $β(G)$. Modulo one assumption, we do the same for minimal value of $β(G)$.
We study the Nordhaus---Gaddum bounds of $β(G)+β(\bar{G})$ and $β(G)β(\bar{G})$.
Existential monadic second order convergence law fails on sparse random graphs
Published
• View Publication
• BIB
In the paper, we prove that existential monadic second order convergence law fails for the binomial random graph $G(n,n^{-α})$ for every $α\in(0,1)$.
Saturation numbers for Ramsey-minimal graphs
Published
• View Publication
• BIB
Given graphs $H_1, \dots, H_t$, a graph $G$ is $(H_1, \dots, H_t)$-Ramsey-minimal if every $t$-coloring of the edges of $G$ contains a monochromatic $H_i$ in color $i$ for some $i\in\{1, \dots, t\}$, but any proper subgraph of $G $ does not possess this property. We define $\mathcal{R}_{\min}(H_1, \dots, H_t)$ to be the family of $(H_1, \dots, H_t)$-Ramsey-minimal graphs. A graph $G$ is \dfn{$\mathcal{R}_{\min}(H_1, \dots, H_t)$-saturated} if no element of $\mathcal{R}_{\min}(H_1, \dots, H_t)$ is a subgraph of $G$, but for any edge $e$ in $\overline{G}$, some element of $\mathcal{R}_{\min}(H_1, \dots, H_t)$ is a subgraph of $G + e$. We define $sat(n, \mathcal{R}_{\min}(H_1, \dots, H_t))$ to be the minimum number of edges over all $\mathcal{R}_{\min}(H_1, \dots, H_t)$-saturated graphs on $n$ vertices. In 1987, Hanson and Toft conjectured that $sat(n, \mathcal{R}_{\min}(K_{k_1}, \dots, K_{k_t}) )= (r - 2)(n - r + 2)+\binom{r - 2}{2} $ for $n \ge r$, where $r=r(K_{k_1}, \dots, K_{k_t})$ is the classical Ramsey number for complete graphs. The first non-trivial case of Hanson and Toft's conjecture for sufficiently large $n$ was setteled in 2011, and is so far the only settled case. Motivated by Hanson and Toft's conjecture, we study the minimum number of edges over all $\mathcal{R}_{\min}(K_3, \mathcal{T}_k)$-saturated graphs on $n$ vertices, where $\mathcal{T}_k$ is the family of all trees on $k$ vertices. We show that for $n \ge 18$, $sat(n, \mathcal{R}_{\min}(K_3, \mathcal{T}_4)) =\lfloor {5n}/{2}\rfloor$. For $k \ge 5$ and $n \ge 2k + (\lceil k/2 \rceil +1) \lceil k/2 \rceil -2$, we obtain an asymptotic bound for $sat(n, \mathcal{R}_{\min}(K_3, \mathcal{T}_k))$.
Classes of graphs with e-positive chromatic symmetric function
Published
• View Publication
• BIB
In the mid-1990s, Stanley and Stembridge conjectured that the chromatic symmetric functions of claw-free co-comparability (also called incomparability) graphs were e-positive. The quest for the proof of this conjecture has led to an examination of other, related graph classes. In 2013 Guay-Paquet proved that if unit interval graphs are e-positive, that implies claw-free incomparability graphs are as well. Inspired by this approach, we consider a related case and prove that unit interval graphs whose complement is also a unit interval graph are e-positive. We introduce the concept of strongly $e$-positive to denote a graph whose induced subgraphs are all e-positive, and conjecture that a graph is strongly e-positive if and only if it is (claw, net)-free.
Spin systems on Bethe lattices
Published
• View Publication
• BIB
In an extremely influential paper Mezard and Parisi put forward an analytic but non-rigorous approach called the cavity method for studying spin systems on the Bethe lattice, i.e., the random $d$-regular graph [Eur. Phys. J. B 20 (2001) 217--233]. Their technique was based on certain hypotheses; most importantly, that the phase space decomposes into a number of Bethe states that are free from long-range correlations and whose marginals are given by a recurrence called Belief Propagation. In this paper we establish this decomposition rigorously for a very general family of spin systems. In addition, we show that the free energy can be computed from this decomposition. We also derive a variational formula for the free energy. The general results have interesting ramifications on several special cases.
Construction of cospectral graphs
Published
• View Publication
• BIB
Construction of non-isomorphic cospectral graphs is a nontrivial problem in spectral graph theory specially for large graphs. In this paper, we establish that graph theoretical partial transpose of a graph is a potential tool to create non-isomorphic cospectral graphs by considering a graph as a clustered graph.
Artin Groups and Iwahori-Hecke algebras over finite fields
In this doctoral thesis, we will determine the image of Artin groups associated to all finite irreducible Coxeter groups inside their associated finite Iwahori-Hecke algebra. This was done in type $A$ by Brunat, Magaard and Marin. The Zariski closure of the image was determined in the generic case by Marin. It is suggested by strong approximation that the results should be similar in the finite case. However, the conditions required to use are much too strong and would only provide a portion of the results. We show in this thesis that they are but that new phenomena arise from the different field factorizations. The techniques used in the finite case are very different from the ones in the generic case. The main arguments come from finite group theory. In high dimension, we will use a theorem by Guralnick-Saxl which uses the classification of finite simple groups to give a condition for subgroups of linear groups to be classical groups in a natural representation. In low dimension, we will mainly use the classification of maximal subgroups of classical groups determined by Bray, Holt and Roney-Dougal for the complicated cases.
We find some new $W$-graphs in types $H_4$, $E_6$ and $E_8$ which provide different information from the usual ones. They are all associated in a natural way to a bilinear form which is very complicated to obtain in the previous models. In this model, the bilinear form is obtained using only the two-colorability and its matrix in a well chosen basis is anti-diagonal. The uniqueness properties can probably be extended in a more general setting and understanding which setting this is may be worth considering.
Saturation Games for Odd Cycles
Published
• View Publication
• BIB
Given a family of graphs $\mathcal{F}$, we consider the $\mathcal{F}$-saturation game. In this game two players alternate adding edges to an initially empty graph on $n$ vertices, with the only constraint being that neither player can add an edge that creates a subgraph that lies in $\mathcal{F}$. The game ends when no more edges can be added to the graph. One of the players wishes to end the game as quickly as possible, while the other wishes to prolong the game. We let $sat_g(\mathcal{F};n)$ denote the number of edges that are in the final graph when both players play optimally.
The $\{C_3\}$-saturation game was the first saturation game to be considered, but as of now the order of magnitude of $sat_g(\{C_3\},n)$ remains unknown. We consider a generalization of this game. Let $\mathcal{C}_{2k+1}:=\{C_3,\ C_5,\ldots,C_{2k+1}\}$. We prove that $sat_g(\mathcal{C}_{2k+1};n)\ge(\frac{1}{4}-ε_k)n^2+o(n^2)$ for all $k\ge 2$ and that $sat_g(\mathcal{C}_{2k+1};n)\le (\frac{1}{4}-ε'_k)n^2+o(n^2)$ for all $k\ge 4$, with $ε_k<\frac{1}{4}$ and $ε'_k>0$ constants tending to 0 as $k\to \infty$. In addition to this we prove $sat_g(\{C_{2k+1}\};n)\le \frac{4}{27}n^2+o(n^2)$ for all $k\ge 2$, and $sat_g(\mathcal{C}_\infty\setminus C_3;n)\le 2n-2$, where $\mathcal{C}_\infty$ denotes the set of all odd cycles.
Fractal and Multi-Fractal Analysis for A Family of Subset Sum Functions: Combinatorial Structures of Embedding Dimension $1$
We introduce two frameworks in order to deal with fractal and multi-fractal analysis for subset sum problems where some embedding into the $1$-dimensional Euclidean space plays an important role. As one of these frameworks, the notion of the combinatorial $q$-fractal dimension for a subset sum function is introduced. Thereby, ``non-classical'' generalized dimensions for a family of subset~sum functions can be defined. These generalized dimensions include the box-counting dimension, the information dimension and the correlation dimension as well as the classical case. The combinatorial $q$-fractal dimension includes the density of the subset sum problem. As the other framework, we construct a self-similar set for a particular subset sum function in a family of subset sum functions by using a graph theoretical technique.
In this paper, we give a lower bound for a combinatorial $q$-fractal dimension and we show the relations between the three parameters: the number of connected components in a graph, the Hausdorff dimension and a combinatorial $q$-fractal dimension.
The Ramsey number of books
Published in Advances in Combinatorics, 2019:3, 12 pp
• View Publication
• BIB
We show that in every two-colouring of the edges of the complete graph $K_N$ there is a monochromatic $K_k$ which can be extended in at least $(1 + o_k(1))2^{-k}N$ ways to a monochromatic $K_{k+1}$. This result is asymptotically best possible, as may be seen by considering a random colouring. Equivalently, defining the book $B_n^{(k)}$ to be the graph consisting of $n$ copies of $K_{k+1}$ all sharing a common $K_k$, we show that the Ramsey number $r(B_n^{(k)}) = 2^k n + o_k(n)$. In this form, our result answers a question of Erdős, Faudree, Rousseau and Schelp and establishes an asymptotic version of a conjecture of Thomason.
On the depth and Stanley depth of integral closure of powers of monomial ideals
Published
• View Publication
• BIB
Let $\mathbb{K}$ be a field and $S=\mathbb{K}[x_1,\dots,x_n]$ be the polynomial ring in $n$ variables over $\mathbb{K}$. Assume that $G$ is a graph with edge ideal $I(G)$. We prove that the modules $S/\overline{I(G)^k}$ and $\overline{I(G)^k}/\overline{I(G)^{k+1}}$ satisfy Stanley's inequality for every integer $k\gg 0$. If $G$ is a non-bipartite graph, we show that the ideals $\overline{I(G)^k}$ satisfy Stanley's inequality for all $k\gg 0$. For every connected bipartite graph $G$ (with at least one edge), we prove that ${\rm sdepth}(I(G)^k)\geq 2$, for any positive integer $k\leq {\rm girth}(G)/2+1$. This result partially answers a question asked in [20]. For any proper monomial ideal $I$ of $S$, it is shown that the sequence $\{{\rm depth}(\overline{I^k}/\overline{I^{k+1}})\}_{k=0}^{\infty}$ is convergent and $\lim_{k\rightarrow\infty}{\rm depth}(\overline{I^k}/\overline{I^{k+1}})=n-\ell(I)$, where $\ell(I)$ denotes the analytic spread of $I$. Furthermore, it is proved that for any monomial ideal $I$, there exists an integer $s$ such that $${\rm depth} (S/I^{sm}) \leq {\rm depth} (S/\overline{I}),$$for every integer $m\geq 1$. We also determine a value $s$ for which the above inequality holds. If $I$ is an integrally closed ideal, we show that ${\rm depth}(S/I^m)\leq {\rm depth}(S/I)$, for every integer $m\geq 1$. As a consequence, we obtain that for any integrally closed monomial ideal $I$ and any integer $m\geq 1$, we have ${\rm Ass}(S/I)\subseteq {\rm Ass}(S/I^m)$. \end{abstract}
Temporal starvation in multi-channel CSMA networks: an analytical framework
Published
• View Publication
• BIB
In this paper we consider a stochastic model for a frequency-agile CSMA protocol for wireless networks where multiple orthogonal frequency channels are available. Even when the possible interference on the different channels is described by different conflict graphs, we show that the network dynamics can be equivalently described as that of a single-channel CSMA algorithm on an appropriate virtual network. Our focus is on the asymptotic regime in which the network nodes try to activate aggressively in order to achieve maximum throughput. Of particular interest is the scenario where the number of available channels is not sufficient for all nodes of the network to be simultaneously active and the well-studied temporal starvation issues of the single-channel CSMA dynamics persist. For most networks we expect that a larger number of available channels should alleviate these temporal starvation issues. However, we prove that the aggregate throughput is a non-increasing function of the number of available channels. To investigate this trade-off that emerges between aggregate throughput and temporal starvation phenomena, we propose an analytical framework to study the transient dynamics of multi-channel CSMA networks by means of first hitting times. Our analysis further reveals that the mixing time of the activity process does not always correctly characterize the temporal starvation in the multi-channel scenario and often leads to pessimistic performance estimates.
The existence of square non-integer Heffter arrays
Published
• View Publication
• BIB
A Heffter array $H(n;k)$ is an $n\times n$ matrix such that each row and column contains $k$ filled cells, each row and column sum is divisible by $2nk+1$ and either $x$ or $-x$ appears in the array for each integer $1\leq x\leq nk$. Heffter arrays are useful for embedding the graph $K_{2nk+1}$ on an orientable surface. An integer Heffter array is one in which each row and column sum is $0$. Necessary and sufficient conditions (on $n$ and $k$) for the existence of an integer Heffter array $H(n;k)$ were verified by Archdeacon, Dinitz, Donovan and Yazıcı\ (2015) and Dinitz and Wanless (2017). In this paper we consider square Heffter arrays that are not necessarily integer. We show that such Heffter arrays exist whenever $3\leq k<n$.
Power domination in regular claw-free graphs
Published
• View Publication
• BIB
In this paper, we first show that the power domination number of a connected $4$-regular claw-free graph on $n$ vertices is at most $\frac{n+1}{5}$, and the bound is sharp. The statement partly disprove the conjecture presented by Dorbec et al. in SIAM J. Discrete Math., 27:1559-1574, 2013. Then we present a dynamic programming style linear-time algorithm for weighted power domination problem in trees.
Connected $k$-factors in bipartite graphs
Published
• View Publication
• BIB
Let $k,l$ be two positive integers. An $S_{k,l}$ is a graph obtained from disjoint $K_{1,k}$ and $K_{1,l}$ by adding an edge between the $k$-degree vertex in $K_{1,k}$ and the $l$-degree vertex in $K_{1,l}$. An {\em $S_{k,l}$-free} graph is a graph containing no induced subgraph isomorphic to $S_{k,l}$. In this note, we show that, for any positive integers $k,l$ with $2\leqslant k\leqslant l$, there exists a constant $c=c(k,l)$ such that every connected balanced $S_{k,l}$-free bipartite graph with minimum degree at least $c$ contains a connected $k$-factor.
Transfinite fractal dimension of trees and hierarchical scale-free graphs
Published in Journal of Complex Networks, cnz005, 2019
• View Publication
• BIB
In this paper, we introduce a new concept: the transfinite fractal dimension of graph sequences motivated by the notion of fractality of complex networks proposed by Song et al. We show that the definition of fractality cannot be applied to networks with `tree-like' structure and exponential growth rate of neighborhoods. However, we show that the definition of fractal dimension could be modified in a way that takes into account the exponential growth, and with the modified definition, the fractal dimension becomes a proper parameter of graph sequences. We find that this parameter is related to the growth rate of trees. We also generalize the concept of box dimension further and introduce the transfinite Cesaro fractal dimension. Using rigorous proofs we determine the optimal box-covering and transfinite fractal dimension of various models: the hierarchical graph sequence model introduced by Komjáthy and Simon, Song-Havlin-Makse model, spherically symmetric trees, and supercritical Galton-Watson trees.