graph
35436 papers tagged with this keyword
The lemniscate tree of a random polynomial
Published
• View Publication
• BIB
To each generic complex polynomial $p(z)$ there is associated a labeled binary tree (here referred to as a "lemniscate tree") that encodes the topological type of the graph of $|p(z)|$. The branching structure of the lemniscate tree is determined by the configuration (i.e., arrangement in the plane) of the singular components of those level sets $|p(z)|=t$ passing through a critical point.
In this paper, we address the question "How many branches appear in a typical lemniscate tree?" We answer this question first for a lemniscate tree sampled uniformly from the combinatorial class and second for the lemniscate tree arising from a random polynomial generated by i.i.d. zeros. From a more general perspective, these results take a first step toward a probabilistic treatment (within a specialized setting) of Arnold's program of enumerating algebraic Morse functions.
Lagrangian subspaces, delta-matroids and four-term relations
Published
• View Publication
• BIB
Finite order invariants (Vassiliev invariants) of knots are expressed in terms of weight systems, that is, functions on chord diagrams satisfying the four-term relations. Weight systems have graph analogues, so-called $4$-invariants of graphs, i.e. functions on graphs that satisfy the four-term relations for graphs. Each $4$-invariant determines a weight system. The notion of weight system is naturally generalized for the case of embedded graphs with an arbitrary number of vertices. Such embedded graphs correspond to links; to each component of a link there corresponds a vertex of an embedded graph. Recently, two approaches have been suggested to extend the notion of $4$-invariants of graphs to the case of combinatorial structures corresponding to embedded graphs with an arbitrary number of vertices. The first approach is due to V.~Kleptsyn and E.~Smirnov, who considered functions on Lagrangian subspaces in a $2n$-dimensional space over $\mathbb{F}_2$ endowed with a standard symplectic form and introduced four-term relations for them. On the other hand, the second approach, the one due to Zhukov and Lando, suggests four-term relations for functions on binary delta-matroids. In this paper, we prove that the two approaches are equivalent.
On graph Laplacian eigenvectors with components in {-1,0,1}
Published
• View Publication
• BIB
We characterize all graphs for which there are eigenvectors of the graph Laplacian having all their components in {-1,+1} or {-1,0,+ 1}. Graphs having eigenvectors with components in {-1,+1} are called bivalent and are shown to be the regular bipartite graphs and their extensions obtained by adding edges between vertices with the same value for the given eigenvector. Graphs with eigenvectors with components in {-1,0,+ 1} are called trivalent and are shown to be soft-regular graphs -graphs such that vertices associated with non-zero components have the same degree- and their extensions via some transformations.
Packing spanning partition-connected subgraphs with small degrees
Let $G$ be a graph with $X\subseteq V(G)$ and let $l$ be an intersecting supermodular subadditive integer-valued function on subsets of $V(G)$. The graph $G$ is said to be $l$-partition-connected, if for every partition $P$ of $V(G)$, $e_G(P)\ge \sum_{A\in P} l(A)-l(V(G))$, where $e_G(P)$ denotes the number of edges of $G$ joining different parts of $P$. Let $λ\in [0,1]$ be a real number and let $η$ be a real function on $X$. In this paper, we show that if $G$ is $l$-partition-connected and for all $S\subseteq X$, $$Θ_l(G \setminus S) \le \sum_{v\in S} (η(v) -2l(v))+l(V(G))+l(S)-λ(e_G(S))+l(S)),$$ then $G$ has an $l$-partition-connected spanning subgraph $H$ such that for each vertex $v\in X$, $d_H(v)\le \lceil η(v) -λl(v) \rceil $, where $e_G(S)$ denotes the number of edges of $G$ with both ends in $S$ and $Θ_l(G \setminus S)$ denotes the maximum number of all $\sum_{A\in P} l(A)-e_{G\setminus S}(P)$ taken over all partitions $P$ of $V(G)\setminus S$. Finally, we show that if $H$ is an $(l_1+\cdots +l_m)$-partition-connected graph, then it can be decomposed into $m$ edge-disjoint spanning subgraphs $H_1,\ldots, H_m$ such that every graph $H_i$ is $l_i$-partition-connected, where $l_1, l_2,\ldots, l_m$ are $m$ intersecting supermodular subadditive integer-valued functions on subsets of $V(H)$. These results generalize several known results.
New Bounds for the Signless Laplacian Spread
Published
• View Publication
• BIB
Let $G$ be a simple graph. The signless Laplacian spread of $G$ is defined as the maximum distance of pairs of its signless Laplacian eigenvalues. This paper establishes some new bounds, both lower and upper, for the signless Laplacian spread. Several of these bounds depend on invariant parameters of the graph. We also use a minmax principle to find several lower bounds for this spectral invariant.
Improved bounds for the regularity of powers of edge ideals of graphs
Published
• View Publication
• BIB
Let $G$ be a graph with edge ideal $I(G)$. We recall the notions of $\min-match_{\{K_2, C_5\}}(G)$ and $\ind-match_{\{K_2, C_5\}}(G)$ from \cite{sy}. We show that $${\rm reg}(I(G)^s)\leq 2s+\min-match_{\{K_2, C_5\}}(G)-1,$$for all $s\geq 1$, which implies that$${\rm reg}(I(G)^s)\leq 2s+\min-match(G)-1.$$Moreover, we show that$${\rm reg}(I(G)^s)\geq 2s+\ind-match_{\{K_2, C_5\}}(G)-2,$$and if $\ind-match_{\{K_2, C_5\}}(G)$ is an odd integer, then$${\rm reg}(I(G)^s)\geq 2s+\ind-match_{\{K_2, C_5\}}(G)-1.$$Furthermore, it is shown that$${\rm reg}(I(G)^s)\leq 2s+\ord-match(G)-1,$$where $\ord-match(G)$ denotes the ordered matching number of $G$. Finally, we construct infinitely many connected graphs which satisfy the following strict inequalities:$$2s+\ind-match(G)-1 < {\rm reg}(I(G)^s)< 2s+{\rm cochord}(G)-1.$$This gives a positive answer to a question asked in \cite{jns}.
Hamiltonicity of the Cross-Join Graph of de Bruijn Sequences
A generalized de Bruijn digraph generalizes a de Bruijn digraph to the case where the number of vertices need not be a pure power of an integer. Hamiltonian cycles in these digraphs thus generalize regular de~Bruijn cycles, and we will thus refer to them simply as de Bruijn cycles. We define the cross-join to be the graph with all de Bruijn cycles as vertices, there is an edge between two of these vertices if one can be obtained from the other via a cross-join operation. We show that the cross-join graph is connected. This in particular means that any regular de Bruijn cycle can be cross-joined repeatedly to reach any other de Bruijn cycle, generalizing a result about regular binary de Bruijn cycles by Mykkeltveit and Szmidt in 2014. Furthermore, we present an algorithm that produces a Hamiltonian path across the cross-join graph, one that we may call a de~Bruijn sequence of de Bruijn sequences.
A combinatorial characterization of finite groups of prime exponent
Published
• View Publication
• BIB
The power graph of a group $G$ is a simple and undirected graph with vertex set $G$ and two distinct vertices are adjacent if one is a power of the other. In this article, we characterize (non-cyclic) finite groups of prime exponent and finite elementary abelian $2$-groups (of rank at least $2$) in terms of their power graphs.
Computing Small Unit-Distance Graphs with Chromatic Number 5
We present a new method for reducing the size of graphs with a given property. Our method, which is based on clausal proof minimization, allowed us to compute several 553-vertex unit-distance graphs with chromatic number 5, while the smallest published unit-distance graph with chromatic number 5 has 1581 vertices. The latter graph was constructed by Aubrey de Grey to show that the chromatic number of the plane is at least 5. The lack of a 4-coloring of our graphs is due to a clear pattern enforced on some vertices. Also, our graphs can be mechanically validated in a second, which suggests that the pattern is based on a reasonably short argument.
On the influence of the interaction graph on a finite dynamical system
Published
• View Publication
• BIB
A finite dynamical system (FDS) is a system of multivariate functions over a finite alphabet, that is typically used to model a network of interacting entities. The main feature of a finite dynamical system is its interaction graph, which indicates which local functions depend on which variables; the interaction graph is a qualitative representation of the interactions amongst entities on the network. As such, a major problem is to determine the effect of the interaction graph on the dynamics of the FDS. In this paper, we are interested in three main properties of an FDS: the number of images (the so-called rank), the number of periodic points (the so-called periodic rank) and the number of fixed points. In particular, we investigate the minimum, average, and maximum number of images (or periodic points, or fixed points) of FDSs with a prescribed interaction graph and a given alphabet size; thus yielding nine quantities to study. The paper is split into two parts. The first part considers the minimum rank, for which we derive the first meaningful results known so far. In particular, we show that the minimum rank decreases with the alphabet size, thus yielding the definition of an absolute minimum rank. We obtain lower and upper bounds on this absolute minimum rank, and we give classification results for graphs with very low (or highest) rank. The second part is a comprehensive survey of the results obtained on the nine quantities described above. We not only give a review of known results, but we also give a list of relevant open questions.
Lower bounds for Laplacian spread and relations with invariant parameters revisited
Let $G=\left( V\left( G\right) ,E\left( G\right) \right) $ be an $\left( n,m\right) $-graph and $X$ a nonempty proper subset of $V\left( G\right) $. Let $X^{c}=V\left( G\right) \backslash X$.\ The edge density of $X$ in $G$ is given by \begin{equation*} ρ_{G}\left( X\right) =\frac{n\left\vert E_{X}\left( G\right) \right\vert }{\left\vert X\right\vert \left\vert X^{c}\right\vert }, \end{equation*} where $E_{X}\left( G\right) \ $ is the set of edges in $G$ with one end in $% X $ and the other in $X^{c}$. The Laplacian spread of a graph is the difference between the greatest Laplacian eigenvalue and the algebraic connectivity. In this paper, we use the edge density of some nonempty proper subsets of vertices in $G$ to establish new lower bounds for the Laplacian spread. Also, using some known numerical inequalities some lower bounds for the Laplacian spread of a graph with a prescribed degree sequence are presented.
On the Hyper Zagreb index of certain generalized thorn graphs
Let $G=(V,E)$ be a graph with $n$ vertices and $m$ edges. The hyper Zagreb index of $G$, denoted by $HM(G)$, is defined as $HM(G) =\sum\limits_{uv \in E(G)}\left[d_{G}(u)+d_G(v)\right]^{2}$ where $d_G(v)$ denotes the degree of a vertex $v$ in $G$. In this paper we compute the hyper Zagreb index of certain generalized thorn graphs.
A law of large numbers for the range of rotor walks on periodic trees
The aim of the current work is to prove a law of large numbers for the range size of recurrent rotor walks with random initial configuration on a general class of trees, called periodic trees or directed covers of graphs.
(3a:a)-list-colorability of embedded graphs of girth at least five
A graph G is list (b:a)-colorable if for every assignment of lists of size b to vertices of G, there exists a choice of an a-element subset of the list at each vertex such that the subsets chosen at adjacent vertices are disjoint. We prove that for every positive integer a, the family of minimal obstructions of girth at least five to list (3a:a)-colorability is strongly hyperbolic, in the sense of the hyperbolicity theory developed by Postle and Thomas. This has a number of consequences, e.g., that if a graph of girth at least five and Euler genus g is not list (3a:a)-colorable, then G contains a subgraph with O(g) vertices which is not list (3a:a) colorable.
On the crystal graph description of the stable Weyl group multiple Dirichlet series
Published in J. Number Theory 215 (2020), pp. 186-215
• View Publication
• BIB
For a semisimple Lie algebra admitting a good enumeration, we prove a parametrization for the elements in its Weyl group. As an application, we give a coordinate-free comparison between the crystal graph description (when it is known) and the Lie-theoretic description of the Weyl group multiple Dirichlet series in the stable range.
The unicyclic graphs with the second smallest normalized Laplacian eigenvalue no less than $1-\frac{\sqrt{6}}{3}$
Let $λ_{2}(G)$ be the second smallest normalized Laplacian eigenvalue of a graph $G$. In this paper, we determine all unicyclic graphs of order $n\geq21$ with $λ_{2}(G)\geq 1-\frac{\sqrt{6}}{3}$. Moreover, the unicyclic graphs with $λ_{2}(G)=1-\frac{\sqrt{6}}{3}$ are also determined.
A study on prefixes of $c_2$ invariants
Published
• View Publication
• BIB
This document begins by reviewing recent progress that has been made by taking a combinatorial perspective on the $c_2$ invariant, an arithmetic graph invariant with connections to Feynman integrals. Then it proceeds to report on some recent calculations of $c_2$ invariants for two families of circulant graphs at small primes. These calculations support the idea that all possible finite sequences appear as initial segments of $c_2$ invariants, in contrast to their apparent sparsity on small graphs.
A family of graphs that are determined by their normalized Laplacian spectra
Published
• View Publication
• BIB
Let $F_{p,q}$ be the generalized friendship graph $K_1\bigvee (pK_q)$ on $pq+1$ vertices obtained by joining a vertex to all vertices of $p$ disjoint copies of the complete graph $K_q$ on $q$ vertices. In this paper, we prove that $F_{p,q}$ is determined by its normalized Laplacian spectrum if and only if $q\ge 2$, or $q=1$ and $p\le 2$.
Regularity of the vanishing ideal over a bipartite nested ear decomposition
Published
• View Publication
• BIB
We study the Castelnuovo-Mumford regularity of the vanishing ideal over a bipartite graph endowed with a decomposition of its edge set. We prove that, under certain conditions, the regularity of the vanishing ideal over a bipartite graph obtained from a graph by attaching a path of length $\ell$ increases by $\lfloor \frac{\ell}{2}\rfloor (q-2)$, where $q$ is the order of the field of coefficients. We use this result to show that the regularity of the vanishing ideal over a bipartite graph, $G$, endowed with a weak nested ear decomposition is equal to $$\textstyle \frac{|V_G|+ ε-3}{2}(q-2),$$ where $ε$ is the number of even length ears and pendant edges of the decomposition. As a corollary, we show that for bipartite graph, the number of even length ears in a nested ear decomposition starting from a vertex is constant.
Power domination polynomials of graphs
A power dominating set of a graph is a set of vertices that observes every vertex in the graph by combining classical domination with an iterative propagation process arising from electrical circuit theory. In this paper, we study the power domination polynomial of a graph $G$ of order $n$, defined as $\mathcal{P}(G;x)=\sum_{i=1}^n p(G;i) x^i$, where $p(G;i)$ is the number of power dominating sets of $G$ of size $i$. We relate the power domination polynomial to other graph polynomials, present structural and extremal results about its roots and coefficients, and identify some graph parameters it contains. We also derive decomposition formulas for the power domination polynomial, compute it explicitly for several families of graphs, and explore graphs which can be uniquely identified by their power domination polynomials.