Source author record

Raimundo Briceño

Raimundo Briceño appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.PR math-ph math.CO math.DS math.MP Logic in Computer Science

Catalog footprint

What is connected

5works

6topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2020arXiv

An SMB approach for pressure representation in amenable virtually orderable groups

Given a countable discrete amenable virtually orderable group $G$ acting by translations on a $G$-subshift $X \subseteq S^G$ and an absolutely summable potential $Φ$, we present a set of conditions to obtain a special integral representation of pressure $P(Φ)$. The approach is based on a Shannon-McMillan-Breiman (SMB) type theorem for Gibbs measures due to Gurevich-Tempelman (2007), and generalizes results from Gamarnik-Katz (2009), Helvik-Lindgren (2014), and Marcus-Pavlov (2015) by extending the setting to other groups besides $\mathbb{Z}^d$, by relaxing the assumptions on $X$ and $Φ$, and by using sufficient convergence conditions in a mean --instead of a uniform-- sense. Under the fairly general context proposed here, these same conditions turn out to be also necessary.

preprint2020arXiv

Dismantlability, connectedness, and mixing in relational structures

The Constraint Satisfaction Problem (CSP) and its counting counterpart appears under different guises in many areas of mathematics, computer science, and elsewhere. Its structural and algorithmic properties have demonstrated to play a crucial role in many of those applications. For instance, in the decision CSPs, structural properties of the relational structures involved---like, for example, dismantlability---and their logical characterizations have been instrumental for determining the complexity and other properties of the problem. Topological properties of the solution set such as connectedness are related to the hardness of CSPs over random structures. Additionally, in approximate counting and statistical physics, where CSPs emerge in the form of spin systems, mixing properties and the uniqueness of Gibbs measures have been heavily exploited for approximating partition functions and free energy. In spite of the great diversity of those features, there are some eerie similarities between them. These were observed and made more precise in the case of graph homomorphisms by Brightwell and Winkler, who showed that dismantlability of the target graph, connectedness of the set of homomorphisms, and good mixing properties of the corresponding spin system are all equivalent. In this paper we go a step further and demonstrate similar connections for arbitrary CSPs. This requires much deeper understanding of dismantling and the structure of the solution space in the case of relational structures, and new refined concepts of mixing introduced by Briceño. In addition, we develop properties related to the study of valid extensions of a given partially defined homomorphism, an approach that turns out to be novel even in the graph case. We also add to the mix the combinatorial property of finite duality and its logic counterpart, FO-definability, studied by Larose, Loten, and Tardif.

preprint2015arXiv

Representation and poly-time approximation for pressure of $\mathbb{Z}^2$ lattice models in the non-uniqueness region

We develop a new pressure representation theorem for nearest-neighbour Gibbs interactions and apply this to obtain the existence of efficient algorithms for approximating the pressure in the $2$-dimensional ferromagnetic Potts, multi-type Widom-Rowlinson and hard-core models. For Potts, our results apply to every inverse temperature but the critical. For Widom-Rowlinson and hard-core, they apply to certain subsets of both the subcritical and supercritical regions. The main novelty of our work is in the latter.

preprint2015arXiv

Strong spatial mixing in homomorphism spaces

Given a countable graph $\mathcal{G}$ and a finite graph $\mathrm{H}$, we consider $\mathrm{Hom}(\mathcal{G},\mathrm{H})$ the set of graph homomorphisms from $\mathcal{G}$ to $\mathrm{H}$ and we study Gibbs measures supported on $\mathrm{Hom}(\mathcal{G},\mathrm{H})$ . We develop some sufficient and other necessary conditions on $\mathrm{Hom}(\mathcal{G},\mathrm{H})$ for the existence of Gibbs specifications satisfying strong spatial mixing (with exponential decay rate). We relate this with previous work of Brightwell and Winkler, who showed that a graph $\mathrm{H}$ has a combinatorial property called dismantlability if and only if for every $\mathcal{G}$ of bounded degree, there exists a Gibbs specification with unique Gibbs measure. We strengthen their result by showing that this unique Gibbs measure can be chosen to have weak spatial mixing, but we also show that there exist dismantlable graphs for which no Gibbs measure has strong spatial mixing.

preprint2014arXiv

The topological strong spatial mixing property and new conditions for pressure approximation

In the context of stationary $\mathbb{Z}^d$ nearest-neighbour Gibbs measures $μ$ satisfying strong spatial mixing, we present a new combinatorial condition (the topological strong spatial mixing property (TSSM)) on the support of $μ$ sufficient for having an efficient approximation algorithm for topological pressure. We establish many useful properties of TSSM for studying strong spatial mixing on systems with hard constraints. We also show that TSSM is, in fact, necessary for strong spatial mixing to hold at high rate. Part of this work is an extension of results obtained by D. Gamarnik and D. Katz (2009), and B. Marcus and R. Pavlov (2013), who gave a special representation of topological pressure in terms of conditional probabilities.