Mediatic graphs

Any medium can be represented as an isometric subgraph of the hypercube, with each token of the medium represented by a particular equivalence class of arcs of the subgraph. Such a representation, although useful, is not especially revealing of the structure of a particular medium. We propose an axiomatic definition of the concept of a `mediatic graph'. We prove that the graph of any medium is a mediatic graph. We also show that, for any non-necessarily finite set S, there exists a bijection from the collection M of all the media on a given set S (of states) onto the collection G of all the mediatic graphs on S.Comment: Four axioms replaced by two; two references added; Fig.6 correcte

Partition Function Expansion on Region-Graphs and Message-Passing Equations

Disordered and frustrated graphical systems are ubiquitous in physics, biology, and information science. For models on complete graphs or random graphs, deep understanding has been achieved through the mean-field replica and cavity methods. But finite-dimensional `real' systems persist to be very challenging because of the abundance of short loops and strong local correlations. A statistical mechanics theory is constructed in this paper for finite-dimensional models based on the mathematical framework of partition function expansion and the concept of region-graphs. Rigorous expressions for the free energy and grand free energy are derived. Message-passing equations on the region-graph, such as belief-propagation and survey-propagation, are also derived rigorously.Comment: 10 pages including two figures. New theoretical and numerical results added. Will be published by JSTAT as a lette

Representing convex geometries by almost-circles

Finite convex geometries are combinatorial structures. It follows from a recent result of M.\ Richter and L.G.\ Rogers that there is an infinite set $T_{rr}$ of planar convex polygons such that $T_{rr}$ with respect to geometric convex hulls is a locally convex geometry and every finite convex geometry can be represented by restricting the structure of $T_{rr}$ to a finite subset in a natural way. An \emph{almost-circle of accuracy} $1-\epsilon$ is a differentiable convex simple closed curve $S$ in the plane having an inscribed circle of radius $r_1>0$ and a circumscribed circle of radius $r_2$ such that the ratio $r_1/r_2$ is at least $1-\epsilon$. % Motivated by Richter and Rogers' result, we construct a set $T_{new}$ such that (1) $T_{new}$ contains all points of the plane as degenerate singleton circles and all of its non-singleton members are differentiable convex simple closed planar curves; (2) $T_{new}$ with respect to the geometric convex hull operator is a locally convex geometry; (3) as opposed to $T_{rr}$, $T_{new}$ is closed with respect to non-degenerate affine transformations; and (4) for every (small) positive $\epsilon\in\real$ and for every finite convex geometry, there are continuum many pairwise affine-disjoint finite subsets $E$ of $T_{new}$ such that each $E$ consists of almost-circles of accuracy $1-\epsilon$ and the convex geometry in question is represented by restricting the convex hull operator to $E$. The affine-disjointness of $E_1$ and $E_2$ means that, in addition to $E_1\cap E_2=\emptyset$, even $\psi(E_1)$ is disjoint from $E_2$ for every non-degenerate affine transformation $\psi$.Comment: 18 pages, 6 figure