Showing 20 papers (Total: 84460 papers, 48641 authors in database)
On the signless Laplacian spectral radius of $K_{s,t}$-minor free graphs
Published in Linear and multilinear algebra, 2019
• View Publication
• BIB
In this paper, we prove that if $G$ is a $K_{2,t}$-minor free graph of order $n\geq t^2+4t+1$ with $t\geq 3$, the signless Laplacian spectral radius $q(G)\leq \frac{1}{2}(n+2t-2+\sqrt{(n-2t+2)^2+8t-8}\ )$ with equality if and only if $n\equiv 1~(\mathrm{mod}~t)$ and $G=F_{2,t}(n)$, where $F_{s,t}(n):=K_{s-1}\vee (p\cdot K_t\cup K_r)$ for $n-s+1=pt+r$ and $0\leq r<t$. In particular, if $t=3$ and $n\geq 22$, then $F_{2,3}(n)$ is the unique $K_{2,3}$-minor free graph of order $n$ with the maximum signless Laplacian spectral radius. In addition, $F_{3,3}(n)$ is the unique extremal graph with the maximum signless Laplacian spectral radius among all $K_{3,3}$-minor free graphs of order $n\ge 1186$.
Configuration spaces of disks in an infinite strip
Published
• View Publication
• BIB
We study the topology of the configuration spaces $C(n,w)$ of $n$ hard disks of unit diameter in an infinite strip of width $w$. We describe ranges of parameter or "regimes", where homology $H_j [C(n,w)]$ behaves in qualitatively different ways.
We show that if $w \ge j+2$, then the homology $H_j[C(n, w)]$ is isomorphic to the homology of the configuration space of points in the plane, $H_j[C(n, \mathbb{R}^2)]$. The Betti numbers of $C(n, \mathbb{R}^2) $ were computed by Arnold, and so as a corollary of the isomorphism, $β_j[C(n,w)]$ is a polynomial in $n$ of degree $2j$.
On the other hand, we show that if $2 \le w \le j+1$, then $β_j [ C(n,w) ]$ grows exponentially with $n$. Most of our work is in carefully estimating $β_j [ C(n,w) ]$ in this regime.
We also illustrate, for every $n$, the homological "phase portrait" in the $(w,j)$-plane--- the parameter values where homology $H_j [C(n,w)]$ is trivial, nontrivial, and isomorphic with $H_j [C(n, \mathbb{R}^2)]$. Motivated by the notion of phase transitions for hard-spheres systems, we discuss these as the "homological solid, liquid, and gas" regimes.
Tropically planar graphs
Published
• View Publication
• BIB
We study tropically planar graphs, which are the graphs that appear in smooth tropical plane curves. We develop necessary conditions for graphs to be tropically planar, and compute the number of tropically planar graphs up to genus $7$. We provide non-trivial upper and lower bounds on the number of tropically planar graphs, and prove that asymptotically $0\%$ of connected trivalent planar graphs are tropically planar.
Nonleaf Patterns in Trees: Protected Nodes and Fine Numbers
Published in Journal of Integer Sequences, vol. 23, art. 20.7.7 (2020)
• Search Publication
A closed-form formula is derived for the number of occurrences of matches of a multiset of patterns among all ordered (plane-planted) trees with a given number of edges. A pattern looks like a tree, with internal nodes and leaves, but also contain components that match subtrees or sequences of subtrees. This result extends previous versatile tree-pattern enumeration formulae to incorporate components that are only allowed to match nonleaf subtrees and provides enumerations of trees by the number of protected (shortest outgoing path has two or more edges) or unprotected nodes.
Graph Hierarchy: A novel approach to understanding hierarchical structures in complex networks
Published
• View Publication
• BIB
Trophic coherence, a measure of a graph's hierarchical organisation, has been shown to be linked to a graph's structural and dynamical aspects such as cyclicity, stability and normality. Trophic levels of vertices can reveal their functional properties and partition and rank the vertices accordingly. Yet trophic levels and hence trophic coherence can only be defined on graphs with basal vertices, vertices with zero in-degree. Consequently, trophic analysis of graphs had been restricted until now. In this paper we introduce a novel framework, a generalisation of trophic levels, which we call hierarchical levels, that can be defined on any simple graph. Within this general framework, we develop additional metrics named influence centrality, a measure of a vertices ability to influence dynamics, and democracy coefficient, a measure of overall feedback in the system, both of which have implications for the controllability of complex systems. We discuss how our generalisation relates to previous attempts and what new insights are illuminated on the topological and dynamical aspects of graphs. Finally, we show how the hierarchical structure of a network relates to the incidence rate in a SIS epidemic model.
Chip-Firing Games and Critical Groups
Published in A Project-Based Guide to Undergraduate Research in Mathematics, 107-152, Found. Undergrad. Res. Math., Birkhäuser, Cham, 2020
• View Publication
• BIB
In this expository article intended to be accessible to undergraduate students we introduce a finite abelian group that can be associated to any finite connected graph. This group can be defined in an elementary combinatorial way in terms of chip-firing operations, and has been an object of interest in combinatorics, algebraic geometry, statistical physics, and several other areas of mathematics. We will begin with basic definitions and examples and develop a number of properties that can be derived by looking at this group from different angles. Throughout, we will give exercises, some of which are straightforward and some of which are open questions. We will also attempt to highlight some of the many contributions to this area made by undergraduate students
On breadth-first constructions of scaling limits of random graphs and random unicellular maps
Published
• View Publication
• BIB
We give alternate constructions of (i) the scaling limit of the uniform connected graphs with given fixed surplus, and (ii) the continuum random unicellular map (CRUM) of a given genus that start with a suitably tilted Brownian continuum random tree and make `horizontal' point identifications, at random heights, using the local time measures. Consequently, this can be seen as a continuum analogue of the breadth-first construction of a finite connected graph. In particular, this yields a breadth-first construction of the scaling limit of the critical Erdős-Rényi random graph which answers a question posed in [2]. As a consequence of this breadth-first construction we obtain descriptions of the radii, the distance profiles, and the two point functions of these spaces in terms of functionals of tilted Brownian excursions.
Quantitative combinatorial geometry for concave functions
Published
• View Publication
• BIB
We prove several exact quantitative versions of Helly's and Tverberg's theorems, which guarantee that a finite family of convex sets in $R^d$ has a large intersection. Our results characterize conditions that are sufficient for the intersection of a family of convex sets to contain a "witness set" which is large under some concave or log-concave measure. The possible witness sets include ellipsoids, zonotopes, and $H$-convex sets. Our results also bound the complexity of finding the best approximation of a family of convex sets by a single zonotope or by a single $H$-convex set. We obtain colorful and fractional variants of all our Helly-type theorems.
Link Prediction in Networks Using Effective Transitions
Published
• View Publication
• BIB
We introduce a new method for predicting the formation of links in real-world networks, which we refer to as the method of effective transitions. This method relies on the theory of isospectral matrix reductions to compute the probability of eventually transitioning from one vertex to another in a (biased) random walk on the network. Unlike the large majority of link prediction techniques, this method can be used to predict links in networks that are directed or undirected which are either weighted or unweighted. We apply this method to a number of social, technological, and natural networks and show that it is competitive with other link predictors often outperforming them. We also provide a method of approximating our effective transition method and show that aside from having much lower temporal complexity, this approximation often provides more accurate predictions than the original effective transition method. We also, prove a number of mathematical results regarding our effective transition algorithm and its approximation.
Graph Motif Problems Parameterized by Dual
Published
• View Publication
• BIB
Let $G=(V,E)$ be a vertex-colored graph, where $C$ is the set of colors used to color $V$. The Graph Motif (or GM) problem takes as input $G$, a multiset $M$ of colors built from $C$, and asks whether there is a subset $S\subseteq V$ such that (i) $G[S]$ is connected and (ii) the multiset of colors obtained from $S$ equals $M$. The Colorful Graph Motif (or CGM) problem is the special case of GM in which $M$ is a set, and the List-Colored Graph Motif (or LGM) problem is the extension of GM in which each vertex $v$ of $V$ may choose its color from a list $\mathcal{L}(v)\subseteq C$ of colors.
We study the three problems GM, CGM, and LGM, parameterized by the dual parameter $\ell:=|V|-|M|$. For general graphs, we show that, assuming the strong exponential time hypothesis, CGM has no $(2-ε)^\ell\cdot |V|^{\mathcal{O}(1)}$-time algorithm, which implies that a previous algorithm, running in $\mathcal{O}(2^\ell\cdot |E|)$ time is optimal [Betzler et al., IEEE/ACM TCBB 2011]. We also prove that LGM is W[1]-hard with respect to $\ell$ even if we restrict ourselves to lists of at most two colors. If we constrain the input graph to be a tree, then we show that GM can be solved in $\mathcal{O}(3^\ell\cdot |V|)$ time but admits no polynomial-size problem kernel, while CGM can be solved in $\mathcal{O}(\sqrt{2}^{\ell} + |V|)$ time and admits a polynomial-size problem kernel.
New scaling laws for self-avoiding walks: bridges and worms
Published
• View Publication
• BIB
We show how the theory of the critical behaviour of $d$-dimensional polymer networks gives a scaling relation for self-avoiding {\em bridges} that relates the critical exponent for bridges $γ_b$ to that of terminally-attached self-avoiding arches, $γ_{1,1},$ and the {correlation} length exponent $ν.$ We find $γ_b = γ_{1,1}+ν.$ We provide compelling numerical evidence for this result in both two- and three-dimensions. Another subset of SAWs, called {\em worms}, are defined as the subset of SAWs whose origin and end-point have the same $x$-coordinate. We give a scaling relation for the corresponding critical exponent $γ_w,$ which is $γ_w=γ-ν.$ This too is supported by enumerative results in the two-dimensional case.
Inference of Edge Correlations in Multilayer Networks
Published in Phys. Rev. E 102, 062307 (2020)
• View Publication
• BIB
Many recent developments in network analysis have focused on multilayer networks, which one can use to encode time-dependent interactions, multiple types of interactions, and other complications that arise in complex systems. Like their monolayer counterparts, multilayer networks in applications often have mesoscale features, such as community structure. A prominent type of method for inferring such structures is the employment of multilayer stochastic block models (SBMs). A common (but {potentially} inadequate) assumption of these models is the sampling of edges in different layers independently, conditioned on the community labels of the nodes. In this paper, we relax this assumption of independence by incorporating edge correlations into an SBM-like model. We derive maximum-likelihood estimates of the key parameters of our model, and we propose a measure of layer correlation that reflects the similarity between connectivity patterns in different layers. Finally, we explain how to use correlated models for edge "prediction" (i.e., inference) in multilayer networks. By taking into account edge correlations, prediction accuracy improves both in synthetic networks and in a temporal network of shoppers who are connected to previously-purchased grocery products.
Bounds on the $α$-distance spectrum of graphs
Published
• View Publication
• BIB
For a simple, undirected and connected graph $G$, $D_α(G) = αTr(G) + (1-α) D(G)$ is called the $α$-distance matrix of $G$, where $α\in [0,1]$, $D(G)$ is the distance matrix of $G$, and $Tr(G)$ is the vertex transmission diagonal matrix of $G$. Recently, the $α$-distance energy of $G$ was defined based on the spectra of $D_α(G)$. In this paper, we define the $α$-distance Estrada index of $G$ in terms of the eigenvalues of $D_α(G)$. And we give some bounds on the spectral radius of $D_α(G)$, $α$-distance energy and $α$-distance Estrada index of $G$.
Bijective recurrences concerning two Schröder triangles
Published
• View Publication
• BIB
Let $r(n,k)$ (resp. $s(n,k)$) be the number of Schröder paths (resp. little Schröder paths) of length $2n$ with $k$ hills, and set $r(0,0)=s(0,0)=1$. We bijectively establish the following recurrence relations: \begin{align*} r(n,0)&=\sum\limits_{j=0}^{n-1}2^{j}r(n-1,j), r(n,k)&=r(n-1,k-1)+\sum\limits_{j=k}^{n-1}2^{j-k}r(n-1,j),\quad 1\le k\le n, s(n,0) &=\sum\limits_{j=1}^{n-1}2\cdot3^{j-1}s(n-1,j), s(n,k) &=s(n-1,k-1)+\sum\limits_{j=k+1}^{n-1}2\cdot3^{j-k-1}s(n-1,j),\quad 1\le k\le n. \end{align*} The infinite lower triangular matrices $[r(n,k)]_{n,k\ge 0}$ and $[s(n,k)]_{n,k\ge 0}$, whose row sums produce the large and little Schröder numbers respectively, are two Riordan arrays of Bell type. Hence the above recurrences can also be deduced from their $A$- and $Z$-sequences characterizations.
On the other hand, it is well-known that the large Schröder numbers also enumerate separable permutations. This propelled us to reveal the connection with a lesser-known permutation statistic, called initial ascending run, whose distribution on separable permutations is shown to be given by $[r(n,k)]_{n,k\ge 0}$ as well.
Arithmetic of weighted Catalan numbers
Published
• View Publication
• BIB
In this paper, we study arithmetic properties of weighted Catalan numbers. Previously, Postnikov and Sagan found conditions under which the $2$-adic valuations of the weighted Catalan numbers are equal to the $2$-adic valutations of the Catalan numbers. We obtain the same result under weaker conditions by considering a map from a class of functions to $2$-adic integers. These methods are also extended to $q$-weighted Catalan numbers, strengthening a previous result by Konvalinka. Finally, we prove some results on the periodicity of weighted Catalan numbers modulo an integer and apply them to the specific case of the number of combinatorial types of Morse links. Many open questions are mentioned.
Counting pattern-avoiding integer partitions
Published
• View Publication
• BIB
A partition $α$ is said to contain another partition (or pattern) $μ$ if the Ferrers board for $μ$ is attainable from $α$ under removal of rows and columns. We say $α$ avoids $μ$ if it does not contain $μ$. In this paper we count the number of partitions of $n$ avoiding a fixed pattern $μ$, in terms of generating functions and their asymptotic growth rates.
We find that the generating function for this count is rational whenever $μ$ is (rook equivalent to) a partition in which any two part sizes differ by at least two. In doing so, we find a surprising connection to metacyclic $p$-groups. We further obtain asymptotics for the number of partitions of $n$ avoiding a pattern $μ$. Using these asymptotics we conclude that the generating function for $μ$ is not algebraic whenever $μ$ is rook equivalent to a partition with distinct parts whose first two parts are positive and differ by 1.
The role of the anti-regular graph in the spectral analysis of threshold graphs
Published in Linear Algebra and Its Applications, Vol. 588, pp. 210-223, 2020
• View Publication
• BIB
The purpose of this paper is to highlight the role played by the anti-regular graph within the class of threshold graphs. Using the fact that every threshold graph contains a maximal anti-regular graph, we show that some known results, and new ones, on the spectral properties of threshold graphs can be deduced from (i) the known results on the eigenvalues of anti-regular graphs, (ii) the subgraph structure of threshold graphs, and (iii) eigenvalue interlacing. In particular, we prove a strengthened version of the recently proved fact that no threshold graph contains an eigenvalue in the interval $Ω= [\frac{-1-\sqrt{2}}{2},\frac{-1+\sqrt{2}}{2}]$, except possibly the trivial eigenvalues $-1$ and/or $0$, determine the inertia of a threshold graph, and give partial results on a conjecture regarding the optimality of the non-trivial eigenvalues of an anti-regular graph within the class of threshold graphs.
Perfect matchings and Hamilton cycles in uniform attachment graphs
We study Hamilton cycles and perfect matchings in a uniform attachment graph. In this random graph, vertices are added sequentially, and when a vertex $t$ is created, it makes $k$ independent and uniform choices from $\{1,\dots,t-1\}$ and attaches itself to these vertices. Improving the results of Frieze, Pérez-Giménez, Prałat and Reiniger (2019), we show that, with probability approaching 1 as $n$ tends to infinity, a uniform attachment graph on $n$ vertices has a perfect matching for $k \ge 5$ and a Hamilton cycle for $k\ge 13$. One of the ingredients in our proofs is the identification of a subset of vertices that is least likely to expand, which provides us with better expansion rates than the existing ones.
High-girth near-Ramanujan graphs with localized eigenvectors
Published
• View Publication
• BIB
We show that for every prime $d$ and $α\in (0,1/6)$, there is an infinite sequence of $(d+1)$-regular graphs $G=(V,E)$ with girth at least $2α\log_{d}(|V|)(1-o_d(1))$, second adjacency matrix eigenvalue bounded by $(3/\sqrt{2})\sqrt{d}$, and many eigenvectors fully localized on small sets of size $O(|V|^α)$. This strengthens the results of Ganguly-Srivastava, who constructed high girth (but not expanding) graphs with similar properties, and may be viewed as a discrete analogue of the "scarring" phenomenon observed in the study of quantum ergodicity on manifolds. Key ingredients in the proof are a technique of Kahale for bounding the growth rate of eigenfunctions of graphs, discovered in the context of vertex expansion and a method of Erdős and Sachs for constructing high girth regular graphs.
Graphs related to $2$-dimensional simplex codes
We give a complete description of the distance relation on the graph of $4$-ary simplex codes of dimension $2$. This is a connected graph of diameter $3$. For every vertex we determine the sets of all vertices at distance $i\in\{1,2,3\}$ and describe their symmetries.