arXiv++ Combinatorics

This paper explores the implications of blocking duality---pioneered by Fulkerson et al.---in the context of $p$-modulus on networks. Fulkerson's blocking duality is an analogue on networks to the method of conjugate families of curves in the plane. The technique presented here leads to a general framework for studying families of objects on networks; each such family has a corresponding dual family whose $p$-modulus is essentially the reciprocal of the original family's. As an application, we give a modulus-based proof for the fact that effective resistance is a metric on graphs. This proof immediately generalizes to yield a family of graph metrics, depending on the parameter $p$, that continuously interpolates among the shortest-path metric, the effective resistance metric, and the mincut ultrametric. In a second application, we establish a connection between Fulkerson's blocking duality and the probabilistic interpretation of modulus. This connection, in turn, provides a straightforward proof of several monotonicity properties of modulus that generalize known monotonicity properties of effective resistance. Finally, we use this framework to expand on a result of Lovász in the context of randomly weighted graphs.

Due to the computational complexity of finding almost shortest simple paths, we propose that identifying a larger collection of (nonbacktracking) paths is more efficient than finding almost shortest simple paths on positively weighted real-world networks. First, we present an easy to implement $O(m\log m+kL)$ solution for finding all (nonbacktracking) paths with bounded length $D$ between two arbitrary nodes on a positively weighted graph, where $L$ is an upperbound for the number of nodes in any of the $k$ outputted paths. Subsequently, we illustrate that for undirected Chung-Lu random graphs, the ratio between the number of nonbacktracking and simple paths asymptotically approaches $1$ with high probability for a wide range of parameters. We then consider an application to the almost shortest paths algorithm to measure path diversity for internet routing in a snapshot of the Autonomous System graph subject to an edge deletion process.

Motivated by problems involving triangle-decompositions of graphs, we examine the facet structure of the cone $τ_n$ of weighted graphs on $n$ vertices generated by triangles. Our results include enumeration of facets for small $n$, a construction producing facets of $τ_{n+1}$ from facets of $τ_n$, and an arithmetic condition on entries of the normal vectors. We also point out that a copy of $τ_n$ essentially appears via the perimeter inequalities at one vertex of the metric polytope.

Given a weighted graph $G$ embedded in a non-orientable surface $Σ$, one can consider the corresponding weighted graph $\widetilde{G}$ embedded in the so-called orientation cover $\widetildeΣ$ of $Σ$. We prove identities relating twisted partition functions of the dimer model on these two graphs. When $Σ$ is the Möbius strip or the Klein bottle, then $\widetildeΣ$ is the cylinder or the torus, respectively, and under some natural assumptions, these identities imply relations between the genuine dimer partition functions $Z(G)$ and $Z(\widetilde{G})$. For example, we show that if $G$ is a locally but not globally bipartite graph embedded in the Möbius strip, then $Z(\widetilde{G})$ is equal to the square of $Z(G)$. This extends results for the square lattice previously obtained by various authors.

We consider directed weighted graphs and define various families of path counting functions. Our main results are explicit formulas for the main term of the asymptotic growth rate of these counting functions, under some irrationality assumptions on the lengths of all closed orbits on the graph. In addition we assign transition probabilities to such graphs and compute statistics of the corresponding random walks. Some examples and applications are reviewed.

Let ${\cal G}=(G,w)$ be a weighted graph , that is, a graph $G$ endowed with a function $w$ from the edge set of $G$ to the set of real numbers; for any subset $S$ of the vertex set of $G$, we define $D_S({\cal G})$ to be the minimum of the weights of the subgraphs of $G$ whose vertex set contains $S$; we call $D_S({\cal G})$ a multiweight of ${\cal G}$. Let $X$ be a finite set and let $\{D_S\}_{S \subset X, \; \sharp S \geq 2} $ be a family of positive real numbers. We find necessary and sufficient conditions for the family to be the family of multiweights of a positive-weighted graph with vertex set $X$. Moreover we study the analogous problem for trees. Finally, we find a criterion to say if there exists a nonnegative-weighted tree ${\cal T}$ with leaf set $X$ and such that $D_S ({\cal T})=D_S $ for any $S \subset X$.

We study the Bakry-Émery curvature function $\mathcal{K}_{G,x}:(0,\infty]\to \mathbb{R}$ of a vertex $x$ in a locally finite graph $G$ systematically. Here $\mathcal{K}_{G,x}(\mathcal{N})$ is defined as the optimal curvature lower bound $\mathcal{K}$ in the Bakry-Émery curvature-dimension inequality $CD(\mathcal{K},\mathcal{N})$ that $x$ satisfies. We prove the curvature functions of the Cartesian product of two graphs $G_1,G_2$ equal an abstract product of curvature functions of $G_1,G_2$. We relate the curvature functions of $G$ with various spectral properties of (weighted) graphs constructed from local structures of $G$. We explore the curvature functions of Cayley graphs, strongly regular graphs, and many particular (families of) examples including Johnson graphs and complete bipartite graphs. We construct an infinite family of $6$-regular graphs which satisfy $CD(0,\infty)$ but are not Cayley graphs.

The theory of dependency graphs is a powerful toolbox to prove asymptotic normality of sums of random variables. In this article, we introduce a more general notion of weighted dependency graphs and give normality criteria in this context. We also provide generic tools to prove that some weighted graph is a weighted dependency graph for a given family of random variables. To illustrate the power of the theory, we give applications to the following objects: uniform random pair partitions, the random graph model $G(n,M)$, uniform random permutations, the symmetric simple exclusion process and multilinear statistics on Markov chains. The application to random permutations gives a bivariate extension of a functional central limit theorem of Janson and Barbour. On Markov chains, we answer positively an open question of Bourdon and Vallée on the asymptotic normality of subword counts in random texts generated by a Markovian source.

We present a new efficient combinatorial algorithm for recognizing if a given symmetric matrix is Robinsonian, i.e., if its rows and columns can be simultaneously reordered so that entries are monotone nondecreasing in rows and columns when moving toward the diagonal. As main ingredient we introduce a new algorithm, named Similarity-First-Search (SFS), which extends Lexicographic Breadth-First Search (Lex-BFS) to weighted graphs and which we use in a multisweep algorithm to recognize Robinsonian matrices. Since Robinsonian binary matrices correspond to unit interval graphs, our algorithm can be seen as a generalization to weighted graphs of the 3-sweep Lex-BFS algorithm of Corneil for recognizing unit interval graphs. This new recognition algorithm is extremely simple and it exploits new insight on the combinatorial structure of Robinsonian matrices. For an $n\times n$ nonnegative matrix with $m$ nonzero entries, it terminates in $n-1$ SFS sweeps, with overall running time $O(n^2 +nm\log n)$.

The number of homomorphisms from a finite graph $F$ to the complete graph $K_n$ is the evaluation of the chromatic polynomial of $F$ at $n$. Suitably scaled, this is the Tutte polynomial evaluation $T(F;1-n,0)$ and an invariant of the cycle matroid of $F$. De la Harpe and Jaeger \cite{dlHJ95} asked more generally when is it the case that a graph parameter obtained from counting homomorphisms from $F$ to a fixed graph $G$ depends only on the cycle matroid of $F$. They showed that this is true when $G$ has a generously transitive automorphism group (examples include Cayley graphs on an abelian group, and Kneser graphs). Using tools from multilinear algebra, we prove the converse statement, thus characterizing finite graphs $G$ for which counting homomorphisms to $G$ yields a matroid invariant. We also extend this result to finite weighted graphs $G$ (where to count homomorphisms from $F$ to $G$ includes such problems as counting nowhere-zero flows of $F$ and evaluating the partition function of an interaction model on $F$).

Many applications in network science have recently been discovered for the "curvature" of a network, but there is no consensus on the definition for this term. A common approach in these applications is to derive from the curvature either a "logical center" of the network or a tree representation of the network (these would only exist when the curvature is negative), but that such structures can be extracted using curvature alone remains largely conjectural. A connection between one type of curvature -- Gromov's hyperbolicity -- and a tree representation has been known for decades, and recently it has also been connected for unweighted graphs to a logical center. We extend the connection between Gromov's hyperbolicity and a logical center to weighted graphs, and we construct counterexamples showing that no other proposed definition for curvature implies the existence of a logical center. We also consider the leading methods to construct a tree representation of the network and the leading methods to measure the quality of the representation, and show that, despite wildly different descriptions, they are asymptotically equivalent. These results resolve several conjectures, including a conjecture of Dourisboure and Gavoille on a $2$-approximation method for calculating tree-length and all of the conjectures from Jonckheere, Lou, Bonahon, and Baryshnikov relating congestion to rotational symmetry.

We study the uniqueness question for two inverse problems on graphs. Both problems consist in finding (possibly complex) edge or nodal based quantities from boundary measurements of solutions to the Dirichlet problem associated with a weighted graph Laplacian plus a diagonal perturbation. The weights can be thought of as a discrete conductivity and the diagonal perturbation as a discrete Schrödinger potential. We use a discrete analogue to the complex geometric optics approach to show that if the linearized problem is solvable about some conductivity (or Schrödinger potential) then the linearized problem is solvable for almost all conductivities (or Schrödinger potentials) in a suitable set. We show that the conductivities (or Schrödinger potentials) in a certain set are determined uniquely by boundary data, except on a zero measure set. This criterion for solvability is used in a statistical study of graphs where the conductivity or Schrödinger inverse problem is solvable.

We propose a class of two person perfect information games based on weighted graphs. One of these games can be described in terms of a round pizza which is cut radially into pieces of varying size. The two players alternately take pieces subject to the following rule: Once the first piece has been chosen, all subsequent selections must be adjacent to the hole left by the previously taken pieces. Each player tries to get as much pizza as possible. The original pizza problem was to settle the conjecture that Player One can always get at least half of the pizza. The conjecture turned out to be false. Our main result is a complete solution of a somewhat simpler class of games, concatenations of stacks and two-ended stacks, and we provide a linear time algorithm for this. The algorithm and its output can be described without reference to games. It produces a certain kind of partition of a given finite sequence of real numbers. The conditions on the partition involve alternating sums of various segments of the given sequence. We do not know whether these partitions have applications outside of game theory. The algorithm leads to a quadratic time algorithm which gives the value and an optimal initial move for pizza games. We also provide some general theory concerning the semigroup of equivalence classes of graph games.

We prove Cheeger inequalities for p-Laplacians on finite and infinite weighted graphs. Unlike in previous works, we do not impose boundedness of the vertex degree, nor do we restrict ourselves to the normalized Laplacian and, more generally, we do not impose any boundedness assumption on the geometry. This is achieved by a novel definition of the measure of the boundary which is using the idea of intrinsic metrics. For the non-normalized case, our bounds on the spectral gap of p-Laplacians are already significantly better for finite graphs and for infinite graphs they yield non-trivial bounds even in the case of unbounded vertex degree. We, furthermore, give upper bounds by the Cheeger constant and by the exponential volume growth of distance balls.

There exists a significant body of work on determining the acquisition number $a_t(G)$ of various graphs when the vertices of those graphs are each initially assigned a unit weight. We determine properties of the acquisition number of the path, star, complete, complete bipartite, cycle, and wheel graphs for variations on this initial weighting scheme, with the majority of our work focusing on the expected acquisition number of randomly weighted graphs. In particular, we bound the expected acquisition number $E(a_t(P_n))$ of the $n$-path when $n$ distinguishable "units" of integral weight, or chips, are randomly distributed across its vertices between $0.242n$ and $0.375n$. With computer support, we improve it by showing that $E(a_t(P_n))$ lies between $0.29523n$ and $0.29576n$. We then use subadditivity to show that the limiting ratio $\lim E(a_t(P_n))/n$ exists, and simulations reveal more exactly what the limiting value equals. The Hoeffding-Azuma inequality is used to prove that the acquisition number is tightly concentrated around its expected value. Additionally, in a different context, we offer a non-optimal acquisition protocol algorithm for the randomly weighted path and exactly compute the expected size of the resultant residual set.

In this note we consider $k$-regular multigraphs, where the possible edge multiplicities are controlled. These structures are considered in a question recently posed by Brendan McKay. We express the generating functions using the scalar product of symmetric functions, and consequently give conditions on when the classes are D-finite. We appeal to symmetric species results of Mendez to write the expressions in a systematic way.

The upper tail problem in the Erdős--Rényi random graph $G\sim\mathcal{G}_{n,p}$ asks to estimate the probability that the number of copies of a graph $H$ in $G$ exceeds its expectation by a factor $1+δ$. Chatterjee and Dembo showed that in the sparse regime of $p\to 0$ as $n\to\infty$ with $p \geq n^{-α}$ for an explicit $α=α_H>0$, this problem reduces to a natural variational problem on weighted graphs, which was thereafter asymptotically solved by two of the authors in the case where $H$ is a clique. Here we extend the latter work to any fixed graph $H$ and determine a function $c_H(δ)$ such that, for $p$ as above and any fixed $δ>0$, the upper tail probability is $\exp[-(c_H(δ)+o(1))n^2 p^Δ\log(1/p)]$, where $Δ$ is the maximum degree of $H$. As it turns out, the leading order constant in the large deviation rate function, $c_H(δ)$, is governed by the independence polynomial of $H$, defined as $P_H(x)=\sum i_H(k) x^k $ where $i_H(k)$ is the number of independent sets of size $k$ in $H$. For instance, if $H$ is a regular graph on $m$ vertices, then $c_H(δ)$ is the minimum between $\frac12 δ^{2/m}$ and the unique positive solution of $P_H(x) = 1+δ$.

We study the local geometry of the zero pattern of a weighing matrix $W(23,16)$. The geometry consists of $23$ lines and $23$ points where each line contains $7$ points. The incidence rules are that every two lines intersect in an odd number of points, and the dual statement holds as well. We show that more than $50\%$ of the pairs of lines must intersect at a single point, and construct a regular weighted graph out of this geometry. This might indicate that a weighing matrix $W(23,16)$ does not exist.

We give a construction of a family of (weighted) graphs that are pairwise cospectral with respect to the normalized Laplacian matrix, or equivalently probability transition matrix. This construction can be used to form pairs of cospectral graphs with differing number of edges, including situations where one graph is a subgraph of the other. The method used to demonstrate cospectrality is by showing the characteristic polynomials are equal.

In this paper, we present a detailed analysis of the global clustering coefficient in scale-free graphs. Many observed real-world networks of diverse nature have a power-law degree distribution. Moreover, the observed degree distribution usually has an infinite variance. Therefore, we are especially interested in such degree distributions. In addition, we analyze the clustering coefficient for both weighted and unweighted graphs. There are two well-known definitions of the clustering coefficient of a graph: the global and the average local clustering coefficients. There are several models proposed in the literature for which the average local clustering coefficient tends to a positive constant as a graph grows. On the other hand, there are no models of scale-free networks with an infinite variance of the degree distribution and with an asymptotically constant global clustering coefficient. Models with constant global clustering and finite variance were also proposed. Therefore, in this paper we focus only on the most interesting case: we analyze the global clustering coefficient for graphs with an infinite variance of the degree distribution. For unweighted graphs, we prove that the global clustering coefficient tends to zero with high probability and we also estimate the largest possible clustering coefficient for such graphs. On the contrary, for weighted graphs, the constant global clustering coefficient can be obtained even for the case of an infinite variance of the degree distribution.