18 research outputs found
The complexities of nonperturbative computations
The paper studies the behavior of equations of motions of Green’s functions under different running coupling constants in strongly coupled gauge field theories in terms of the Kolmogorov complexity
Sampling random graph homomorphisms and applications to network data analysis
A graph homomorphism is a map between two graphs that preserves adjacency
relations. We consider the problem of sampling a random graph homomorphism from
a graph into a large network . We propose two complementary
MCMC algorithms for sampling a random graph homomorphisms and establish bounds
on their mixing times and concentration of their time averages. Based on our
sampling algorithms, we propose a novel framework for network data analysis
that circumvents some of the drawbacks in methods based on independent and
neigborhood sampling. Various time averages of the MCMC trajectory give us
various computable observables, including well-known ones such as homomorphism
density and average clustering coefficient and their generalizations.
Furthermore, we show that these network observables are stable with respect to
a suitably renormalized cut distance between networks. We provide various
examples and simulations demonstrating our framework through synthetic
networks. We also apply our framework for network clustering and classification
problems using the Facebook100 dataset and Word Adjacency Networks of a set of
classic novels.Comment: 51 pages, 33 figures, 2 table
Fine-grained Expressivity of Graph Neural Networks
Numerous recent works have analyzed the expressive power of message-passing
graph neural networks (MPNNs), primarily utilizing combinatorial techniques
such as the -dimensional Weisfeiler-Leman test (-WL) for the graph
isomorphism problem. However, the graph isomorphism objective is inherently
binary, not giving insights into the degree of similarity between two given
graphs. This work resolves this issue by considering continuous extensions of
both -WL and MPNNs to graphons. Concretely, we show that the continuous
variant of -WL delivers an accurate topological characterization of the
expressive power of MPNNs on graphons, revealing which graphs these networks
can distinguish and the level of difficulty in separating them. We identify the
finest topology where MPNNs separate points and prove a universal approximation
theorem. Consequently, we provide a theoretical framework for graph and graphon
similarity combining various topological variants of classical
characterizations of the -WL. In particular, we characterize the expressive
power of MPNNs in terms of the tree distance, which is a graph distance based
on the concepts of fractional isomorphisms, and substructure counts via tree
homomorphisms, showing that these concepts have the same expressive power as
the -WL and MPNNs on graphons. Empirically, we validate our theoretical
findings by showing that randomly initialized MPNNs, without training, exhibit
competitive performance compared to their trained counterparts. Moreover, we
evaluate different MPNN architectures based on their ability to preserve graph
distances, highlighting the significance of our continuous -WL test in
understanding MPNNs' expressivity
Elusive extremal graphs
We study the uniqueness of optimal solutions to extremal graph theory
problems. Lovasz conjectured that every finite feasible set of subgraph density
constraints can be extended further by a finite set of density constraints so
that the resulting set is satisfied by an asymptotically unique graph. This
statement is often referred to as saying that `every extremal graph theory
problem has a finitely forcible optimum'. We present a counterexample to the
conjecture. Our techniques also extend to a more general setting involving
other types of constraints
A classification of orbits admitting a unique invariant measure
We consider the space of countable structures with fixed underlying set in a
given countable language. We show that the number of ergodic probability
measures on this space that are -invariant and concentrated on a
single isomorphism class must be zero, or one, or continuum. Further, such an
isomorphism class admits a unique -invariant probability measure
precisely when the structure is highly homogeneous; by a result of Peter J.
Cameron, these are the structures that are interdefinable with one of the five
reducts of the rational linear order .Comment: 22 pages. Small changes following referee suggestion
Probabilistic Programming Interfaces for Random Graphs::Markov Categories, Graphons, and Nominal Sets
We study semantic models of probabilistic programming languages over graphs, and establish a connection to graphons from graph theory and combinatorics. We show that every well-behaved equational theory for our graph probabilistic programming language corresponds to a graphon, and conversely, every graphon arises in this way.We provide three constructions for showing that every graphon arises from an equational theory. The first is an abstract construction, using Markov categories and monoidal indeterminates. The second and third are more concrete. The second is in terms of traditional measure theoretic probability, which covers 'black-and-white' graphons. The third is in terms of probability monads on the nominal sets of Gabbay and Pitts. Specifically, we use a variation of nominal sets induced by the theory of graphs, which covers Erdős-Rényi graphons. In this way, we build new models of graph probabilistic programming from graphons