arXiv++ Combinatorics

Expanders are families of graphs that are sparse in edges but dense in connectivity. After reviewing combinatorial and spectral definitions of expanders, we use precise lower bounds on Ramanujan graphs to investigate upper bounds -- and, specifically, the lack thereof -- on the eigenvalues of the Laplacian on \emph{metric} graphs in terms of volume, diameter, girth, mean distance, and torsional rigidity, among others.

We introduce a semigroup framework for Laplacians on directed hypergraphs, extending the classical heat flow models on graphs and establishing hypergraphs as prototypical models for non-Markovian diffusion. We apply spectral surgery methods to derive eigenvalue bounds, thus describing large-time behaviour of the heat flow. Unlike on standard graphs, heat flows on directed hypergraphs may lose positivity and/or $\infty$-contractivity, yet can recover them eventually or asymptotically under specific combinatorial configurations: examples based on duals of oriented graph and realisations of the Fano plane illustrate these phenomena. Our approach combines combinatorial, order-theoretic and linear-algebraic methods.

We study the heat content for Laplacians on compact, finite metric graphs with Dirichlet conditions imposed at the "boundary" (i.e., a given set of vertices). We prove a closed formula of combinatorial flavour, as it is expressed as a sum over all closed orbits hitting the boundary. Our approach delivers a small-time asymptotic expansion that delivers information on crucial geometric quantities of the metric graph, much in the spirit of the celebrated corresponding result for manifolds due to Gilkey-van den Berg; but unlike other known formulae based on different methods, ours holds for all times $t>0$ and it displays stronger decay rate in the short time limit. Furthermore, we prove new surgery principles for the heat content and use them to derive comparison principles for the heat content between metric graphs of different topology.

We study the $p$-\emph{torsion function} and the corresponding $p$-\emph{torsional rigidity} associated with $p$-Laplacians and, more generally, $p$-Schrödinger operators, for $1<p<\infty$, on possibly infinite combinatorial graphs. We present sufficient criteria for the existence of a summable $p$-torsion function and we derive several upper and lower bounds for the $p$-torsional rigidity. Our methods are mostly based on novel surgery principles. As an application, we also find some new estimates on the bottom of the spectrum of the $p$-Laplacian with Dirichlet conditions, thus complementing some results recently obtained in: José M. Mazón, Julian Toledo, Torsional rigidity in random walk spaces, in a more general setting. Finally, we prove a Kohler-Jobin inequality for combinatorial graphs (for $p=2$): to the best of our knowledge, graphs thus become the third ambient where a Kohler-Jobin inequality is known to hold.

We introduce a natural notion of mean (or average) distance in the context of compact metric graphs, and study its relation to geometric properties of the graph. We show that it exhibits a striking number of parallels to the reciprocal of the spectral gap of the graph Laplacian with standard vertex conditions: it is maximised among all graphs of fixed length by the path graph (interval), or by the loop in the restricted class of doubly connected graphs, and it is minimised among all graphs of fixed length and number of edges by the equilateral flower graph. We also establish bounds for the correctly scaled product of the spectral gap and the square of the mean distance which depend only on combinatorial, and not metric, features of the graph. This raises the open question whether this product admits absolute upper and lower bounds valid on all compact metric graphs.

We develop the theory of torsional rigidity -- a quantity routinely considered for Dirichlet Laplacians on bounded planar domains -- for Laplacians on metric graphs with at least one Dirichlet vertex. Using a variational characterization that goes back to Pólya, we develop surgical principles that, in turn, allow us to prove isoperimetric-type inequalities: we can hence compare the torsional rigidity of general metric graphs with that of intervals of the same total length. In the spirit of the Kohler-Jobin Inequality, we also derive sharp bounds on the ground-state energy of a quantum graph in terms of its torsional rigidity: this is particularly attractive since computing the torsional rigidity reduces to inverting a matrix whose size is the number of the graph's vertices and is, thus, much easier than computing eigenvalues.

We introduce an abstract framework for the study of clustering in metric graphs: after suitably metrising the space of graph partitions, we restrict Laplacians to the clusters thus arising and use their spectral gaps to define several notions of partition energies; this is the graph counterpart of the well-known theory of spectral minimal partitions on planar domains and includes the setting in [Band \textit{et al}, Comm.\ Math.\ Phys.\ \textbf{311} (2012), 815--838] as a special case. We focus on the existence of optimisers for a large class of functionals defined on such partitions, but also study their qualitative properties, including stability, regularity, and parameter dependence. We also discuss in detail their interplay with the theory of nodal partitions. Unlike in the case of domains, the one-dimensional setting of metric graphs allows for explicit computation and analytic -- rather than numerical -- results. Not only do we recover the main assertions in the theory of spectral minimal partitions on domains, as studied in [Conti \textit{et al}, Calc.\ Var.\ \textbf{22} (2005), 45--72; Helffer \textit{et al}, Ann.\ Inst.\ Henri Poincaré Anal.\ Non Linéaire \textbf{26} (2009), 101--138], but we can also generalise some of them and answer (the graph counterparts of) a few open questions.

Metric graphs are often introduced based on combinatorics, upon "associating" each edge of a graph with an interval; or else, casually "gluing" a collection of intervals at their endpoints in a network-like fashion. Here we propose an abstract, self-contained definition of metric graph. Being mostly topological, it doesn't require any knowledge from graph theory and already determines uniquely several concepts that are commonly and unnecessarily \textit{defined} in the literature. Nevertheless, many ideas mentioned here are folklore in the quantum graph community: we discuss them for later reference.

A method for estimating the spectral gap along with higher eigenvalues of nonequilateral quantum graphs has been introduced by Amini and Cohen-Steiner recently: it is based on a new transference principle between discrete and continuous models of a graph. We elaborate on it by developing a more general transference principle and by proposing alternative ways of applying it. To illustrate our findings, we present several spectral estimates on planar metric graphs that are oftentimes sharper than those obtained by isoperimetric inequalities and further previously known methods.

We develop the theory of linear evolution equations associated with the adjacency matrix of a graph, focusing in particular on infinite graphs of two kinds: uniformly locally finite graphs as well as locally finite line graphs. We discuss in detail qualitative properties of solutions to these problems by quadratic form methods. We distinguish between backward and forward evolution equations: the latter have typical features of diffusive processes, but cannot be well-posed on graphs with unbounded degree. On the contrary, well-posedness of backward equations is a typical feature of line graphs. We suggest how to detect even cycles and/or couples of odd cycles on graphs by studying backward equations for the adjacency matrix on their line graph.

We review the theory of Cheeger constants for graphs and quantum graphs and their present and envisaged applications.

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.

We consider the so-called \emph{discrete $p$-Laplacian}, a nonlinear difference operator that acts on functions defined on the nodes of a possibly infinite graph. We study the associated nonlinear Cauchy problem and identify the generator of the associated nonlinear semigroups. We prove higher order time regularity of the solutions. We investigate the long-time behavior of the solutions and discuss in particular finite extinction time and conservation of mass. Namely, on one hand, for small $p$ if an infinite graph satisfies some isoperimetric inequality, then the solution to the parabolic $p$-Laplace equation vanishes in finite time; on the other hand, for large $p,$ these parabolic $p$-Laplace equations always enjoy conservation of mass.

We introduce quantum hypergraphs, in analogy with the theory of quantum graphs developed over the last 15 years by many authors. We emphasize some problems that arise when one tries to define a Laplacian on a hypergraph.

We are interested in the existence of travelling waves for the Benjamin-Bona-Mahony equation on a network. First we construct an explicit wave, defined in $\mathbb{R}$. Then, we use this wave to derive some conditions on the coefficients appearing in the equations and on the geometry of the network to ensure the existence of travelling waves on the network.

We study diffusion and wave equations in networks. Combining semigroup and variational methods we obtain well-posedness and many nice properties of the solutions in general L^p -context. Following earlier articles of other authors, we discuss how the spectrum of the generator can be connected to the structure of the network. We conclude by describing asymptotic behavior of solutions to the diffusion problem.

We study the discrete version of the $p$-Laplacian. Based on its variational properties we discuss some features of the associated parabolic problem. Our approach allows us in turn to obtain interesting information about positivity and comparison principles as well as compatibility with the symmetries of the graph. We conclude briefly discussing the variational properties of a handful of nonlinear generalized Laplacians appearing in different parabolic equations.

A celebrated theorem due to R. Frucht states that, roughly speaking, each group is isomorphic to the symmetry group of some graph. By "symmetry group" the group of all graph automorphisms is meant. We provide an analogue of this result for quantum graphs, i.e., for Schrödinger equations on a metric graph, after suitably defining the notion of symmetry.