相关论文: An SMB approach for pressure representation in ame…

We investigate the domain of satisfiable formulas in satisfiability modulo theories (SMT), in particular, automatic generation of a multitude of satisfying assignments to such formulas. Despite the long and successful history of SMT in…

In his study of amenable unitary representations, M. E. B. Bekka asked if there is an analogue for such representations of the remarkable fixed-point property for amenable groups. In this paper, we prove such a fixed-point theorem in the…

The concept of the Schwinger Representation of a finite or compact simple Lie group is set up as a multiplicity-free direct sum of all the unitary irreducible representations of the group. This is abstracted from the properties of the…

We discuss the dependence of the Shannon entropy of normalized finite rank-1 POVMs on the choice of the input state, looking for the states that minimize this quantity. To distinguish the class of measurements where the problem can be…

We discuss how one uses the thermodynamic formalism to produce metrics on higher Teichm\"uller spaces. Our higher Teichm\"uller spaces will be spaces of Anosov representations of a word-hyperbolic group into a semi-simple Lie group. We…

We consider estimating the Shannon entropy of a discrete distribution $P$ from $n$ i.i.d. samples. Recently, Jiao, Venkat, Han, and Weissman, and Wu and Yang constructed approximation theoretic estimators that achieve the minimax $L_2$…

Weighted model integration (WMI) is a very appealing framework for probabilistic inference: it allows to express the complex dependencies of real-world hybrid scenarios where variables are heterogeneous in nature (both continuous and…

We consider models of gradient type, which are the densities of a collection of real-valued random variables $\phi :=\{\phi_x: x \in \Lambda\}$ given by $Z^{-1}\exp({-\sum\nolimits_{j \sim k}V(\phi_j-\phi_k)})$. We focus our study on the…

We consider some of the main notions of Gibbs measures on subshifts introduced by different communities, such as dynamical systems, probability, operator algebras, and mathematical physics. For potentials with $d$-summable variation, we…

We introduce the notion of first order amenability, as a property of a first order theory $T$: every complete type over $\emptyset$, in possibly infinitely many variables, extends to an automorphism-invariant global Keisler measure in the…

We construct a family of infinite simple groups that we call \emph{twisted Brin-Thompson groups}, generalizing Brin's higher-dimensional Thompson groups $sV$ ($s\in\mathbb{N}$). We use twisted Brin-Thompson groups to prove a variety of…

We study a class of Gibbs measures of classical particle spin systems with spin space $S=\mathbb{R}^{m}$ and unbounded pair interaction, living on a metric graph given by a typical realization $\gamma $ of a random point process in…

Gibbs random fields corresponding to systems of real-valued spins (e.g. systems of interacting anharmonic oscillators) indexed by the vertices of unbounded degree graphs with a certain summability property are constructed. It is proven that…

This paper aims at developing model-theoretic tools to study interpretable fields and definably amenable groups, mainly in $\mathrm{NIP}$ or $\mathrm{NTP_2}$ settings. An abstract theorem constructing definable group homomorphisms from…

We consider Gibbs distributions on permutations of a locally finite infinite set $X\subset\mathbb{R}$, where a permutation $\sigma$ of $X$ is assigned (formal) energy $\sum_{x\in X}V(\sigma(x)-x)$. This is motivated by Feynman's path…

Let $F$ be a non-archimedean local field. In this paper we explore genericity of irreducible smooth representations of $GL_n(F)$ by restriction to a maximal compact subgroup $K$ of $GL_n(F)$. Let $(J, \lambda)$ be a Bushnell--Kutzko type…

We characterize conditions under which collections of distributions on $\{0,1\}^\mathbb{N}$ admit uniform estimation of their mean. Prior work from Vapnik and Chervonenkis (1971) has focused on uniform convergence using the empirical mean…

We develop a semigroup approach to representation theory for pro-Lie groups satisfying suitable amenability conditions. As an application of our approach, we establish a one-to-one correspondence between equivalence classes of unitary…

Modern construction of uniform confidence bands for nonparametric densities (and other functions) often relies on the classical Smirnov-Bickel-Rosenblatt (SBR) condition; see, for example, Gin\'{e} and Nickl [Probab. Theory Related Fields…

This is an expostion of various aspects of amenability and paradoxical decompositions for groups, group actions and metric spaces. First, we review the formalism of pseudogroups, which is well adapted to stating the alternative of Tarski,…