Related papers: Measures on bounded perfect PAC fields

The concept of measurability of functions on a charge space is generalised for functions taking values in a uniform space. Several existing forms of measurability generalise naturally in this context, and new forms of measurability are…

We prove a result on equilibrium measures for potentials with summable variation on arbitrary subshifts over a countable amenable group. For finite configurations $v$ and $w$, if $v$ is always replaceable by $w$, we obtain a bound on the…

We provide a framework and explicit construction for the regularized measurement of a large class of spacetime-localized observables in bosonic quantum field theory. The measurements fully satisfy relativistic causality and causal…

We investigate threshold phenomena in weighted $\ell^2$-spaces and characterize the critical regimes where elements with either small support or maximally bad range can be constructed. Our results are shown to be optimal in several…

This paper studies Frobenius maps on injective hulls of residue fields of complete local rings with a view toward providing constructive descriptions of objects originating from the theory of tight closure. Specifically, the paper describes…

We offer a $\forall\exists$-definition for (affine) Campana points over $\mathbb{P}^1_K$ (where $K$ is a number field), which constitute a set-theoretical filtration between $K$ and $\mathcal{O}_{K,S}$ ($S$-integers), which are well-known…

We construct continuum many infinite, simple, characteristic quotients of non-abelian free groups, answering a 1978 question of James Wiegold. The method is very flexible, allowing to impose certain properties on the quotients, to…

We explicitly compute limit shapes for several grand canonical Gibbs ensembles of partitions of integers. These ensembles appear in models of aggregation and are also related to invariant measures of zero range and coagulation-fragmentation…

We offer a unified treatment of distinct measures of well-posedness for homogeneous conic systems. To that end, we introduce a distance to infeasibility based entirely on geometric considerations of the elements defining the conic system.…

We prove that all (generalized) Higman groups on at least $5$ generators are superrigid for measure equivalence. More precisely, let $k\ge 5$, and let $H$ be a group with generators $a_1,\dots,a_k$, and Baumslag-Solitar relations given by…

We show that any set of quotients with fixed Chern classes of a given coherent sheaf on a compact Kaehler manifold is bounded in a sense which we define. The result is proved by adapting Grothendieck's boundedness criterium expressed via…

This paper is devoted to understand groups definable in Presburger arithmetic. We prove the following theorems: Theorem 1. Every group definable in a model of Presburger Arithmetic is abelian-by-finite. Theorem 2. Every bounded group…

We characterize the structural impediments to the existence of Borel perfect matchings for acyclic locally countable Borel graphs admitting a Borel selection of finitely many ends from their connected components. In particular, this yields…

As a framework for handling low Mach number limits we consider a notion of measure-valued solution of the incompressible Euler system which explicitly formulates the usually suppressed dependence on the pressure variable. We clarify in…

We consider interpretable topological spaces and topological groups in a $p$-adically closed field $K$. We identify a special class of "admissible topologies" with topological tameness properties like generic continuity, similar to the…

Given that machine learning algorithms are increasingly being deployed to aid in high stakes decision-making, uncertainty quantification methods that wrap around these black box models such as conformal prediction have received much…

Boundary analysis is developed for a rich class of generally infinite weighted graphs with compact metric completions. These graph completions have totally disconnected boundaries. The classical notion of $\epsilon$-components and the…

We first show that the projection image of a discrete definable set is again discrete for an arbitrary definably complete locally o-minimal structure. This fact together with the results in a previous paper implies tame dimension theory and…

Any non-degenerate quadratic form over a Hilbertian field (e.g., a number field) is isomorphic to a scaled trace form. In this work we extend this result to more general fields. In particular, prosolvable and prime-to-p extensions of a…

We study a class of countably-infinite-dimensional linear programs (CILPs) whose feasible sets are bounded subsets of appropriately defined spaces of measures. The optimal value, optimal points, and minimal points of these CILPs can be…