English
Related papers

Related papers: Strong spatial mixing in homomorphism spaces

200 papers

In the case of smooth non-invertible maps which are hyperbolic on folded basic sets $\Lambda$, we give approximations for the Gibbs states (equilibrium measures) of arbitrary H\"{o}lder potentials, with the help of weighted sums of atomic…

Dynamical Systems · Mathematics 2010-06-21 Eugen Mihailescu

Let the join of two graphs be the union of two disjoint graphs connected by $j$ edges in a one-to-one manner. In previous work by Gyurov and Pinzon, which generalized the results of Badura and Rara, the determinant of the adjacency matrix…

Combinatorics · Mathematics 2025-01-10 Daniel Pinzon , Daniel Pragel , Joshua Roberts

Building on work of Cai, F\"urer, and Immerman \cite{CFI92}, we show two hardness results for the Graph Isomorphism problem. First, we show that there are pairs of nonisomorphic $n$-vertex graphs $G$ and $H$ such that any sum-of-squares…

Computational Complexity · Computer Science 2014-01-13 Ryan O'Donnell , John Wright , Chenggang Wu , Yuan Zhou

We prove several cases of Zimmer's conjecture for actions of higher-rank cocompact lattices on low dimensional manifolds. For example, if $\Gamma$ is a cocompact lattice in $\mathrm{Sl}(n, \mathbb R)$, $M$ is a compact manifold, and…

Dynamical Systems · Mathematics 2020-07-14 Aaron Brown , David Fisher , Sebastian Hurtado

Let $M$ be a manifold with pinched negative sectional curvature. We show that when $M$ is geometrically finite and the geodesic flow on $T^1 M$ is topologically mixing then the set of mixing invariant measures is dense in the set…

Dynamical Systems · Mathematics 2016-10-13 Belarif Kamel

We study the complexity of approximation on satisfiable instances for graph homomorphism problems. For a fixed graph $H$, the $H$-colouring problem is to decide whether a given graph has a homomorphism to $H$. By a result of Hell and…

Computational Complexity · Computer Science 2020-06-25 Andrei Krokhin , Jakub Opršal

We study the complexity of counting (weighted) planar graph homomorphism problem $\tt{Pl\text{-}GH}(M)$ parametrized by an arbitrary symmetric non-negative real valued matrix $M$. For matrices with pairwise distinct diagonal values, we…

Computational Complexity · Computer Science 2026-02-02 Jin-Yi Cai , Ashwin Maran , Ben Young

We study the problem of deterministic approximate counting of matchings and independent sets in graphs of bounded connective constant. More generally, we consider the problem of evaluating the partition functions of the monomer-dimer model…

Data Structures and Algorithms · Computer Science 2014-10-10 Alistair Sinclair , Piyush Srivastava , Daniel Štefankovič , Yitong Yin

Counting homomorphisms from a graph $H$ into another graph $G$ is a fundamental problem of (parameterized) counting complexity theory. In this work, we study the case where \emph{both} graphs $H$ and $G$ stem from given classes of graphs:…

Computational Complexity · Computer Science 2021-08-04 Marc Roth , Philip Wellnitz

Lov\'asz (1967) showed that two graphs $G$ and $H$ are isomorphic if, and only if, they are homomorphism indistinguishable over all graphs, i.e., $G$ and $H$ admit the same number of number of homomorphisms from every graph $F$.…

Combinatorics · Mathematics 2026-01-27 Daniel Neuen , Tim Seppelt

A graph homomorphism is a vertex map which carries edges from a source graph to edges in a target graph. We study the approximability properties of the Weighted Maximum H-Colourable Subgraph problem (MAX H-COL). The instances of this…

Computational Complexity · Computer Science 2008-02-05 Tommy Färnqvist , Peter Jonsson , Johan Thapper

In this paper we introduce the concept of characteristic number that are proven to be useful in the study of the combinatorics of graph cohomology. We claim that it is a good combinatorial counterpart for geometric Betti numbers. We then…

Symplectic Geometry · Mathematics 2012-06-28 Shisen Luo

In Partition Into Complementary Subgraphs (Comp-Sub) we are given a graph $G=(V,E)$, and an edge set property $\Pi$, and asked whether $G$ can be decomposed into two graphs, $H$ and its complement $\overline{H}$, for some graph $H$, in such…

Data Structures and Algorithms · Computer Science 2022-10-14 Diane Castonguay , Erika M. M. Coelho , Hebert Coelho , Julliano R. Nascimento , Uéverton S. Souza

We extend the concept of the law of a finite graph to graphings, which are, in general, infinite graphs whose vertices are equipped with the structure of a probability space. By doing this, we obtain a vast array of new unimodular measures.…

Combinatorics · Mathematics 2012-03-13 Igor Artemenko

The space of $G$-invariant metrics on a homogeneous space $G/H$ is in one-to-one correspondence with the set of inner products on the tangent space $\fr{m}\cong T_{{\it o}}(G/H)$, which are invariant under the isotropy representation. When…

Differential Geometry · Mathematics 2016-03-22 Marina Statha

We study the single-site Glauber dynamics for the fugacity $\lambda$, Hard-core model on the random graph $G(n, d/n)$. We show that for the typical instances of the random graph $G(n,d/n)$ and for fugacity $\lambda <…

Discrete Mathematics · Computer Science 2023-02-14 Charilaos Efthymiou , Weiming Feng

Gibbs sampling methods are standard tools to perform posterior inference for mixture models. These have been broadly classified into two categories: marginal and conditional methods. While conditional samplers are more widely applicable…

Methodology · Statistics 2023-02-21 Pierpaolo De Blasi , María F. Gil-Leyva

In the deletion version of the list homomorphism problem, we are given graphs G and H, a list L(v) that is a subset of V(H) for each vertex v of G, and an integer k. The task is to decide whether there exists a subset W of V(G) of size at…

Data Structures and Algorithms · Computer Science 2013-08-06 Rajesh Chitnis , Laszlo Egri , Daniel Marx

For given Boolean algebras $\mathbb{A}$ and $\mathbb{B}$ we endow the space $\mathcal{H}(\mathbb{A},\mathbb{B})$ of all Boolean homomorphisms from $\mathbb{A}$ to $\mathbb{B}$ with various topologies and study convergence properties of…

Logic · Mathematics 2021-01-05 Piotr Borodulin-Nadzieja , Damian Sobota

A graph $G$ has the \emph{strong parity property} if for every subset $X\subseteq V$ with $|X|$ even, $G$ has a spanning subgraph $F$ with minimum degree at least one such that $d_F(v)\equiv 1\pmod 2$ for all $v\in X$, $d_F(y)\equiv 0\pmod…

Combinatorics · Mathematics 2020-09-29 Hongliang Lu , Zixuan Yang , Xuechun Zhang