Related papers: Invariance and definability, with and without equa…
The original definition of amenability given by von Neumann in the highly non-constructive terms of means was later recast by Day using approximately invariant probability measures. Moreover, as it was conjectured by Furstenberg and proved…
Classical limits of quantum systems are shown to lead to different conceptions of spaces different from the classical one underlying the process of quantization of such systems. The accent is put in situations where traces of…
Let $L$ be a countable language. We characterize, in terms of definable closure, those countable theories $\Sigma$ of $\mathcal{L}_{\omega_1, \omega}(L)$ for which there exists an $S_\infty$-invariant probability measure on the collection…
We show an invariance result for the L2-torsion of groups under uniform measure equivalence provided a measure-theoretic version of the determinant conjecture holds. The measure-theoretic determinant conjecture is discussed and, for…
We give an introductory account of the recently identified gauge invariance of the equilibrium statistical mechanics of classical many-body systems [J. M\"uller et al., Phys. Rev. Lett. Phys. Rev. Lett. 133, 217101 (2024)]. The gauge…
Let $G$ be a Lie group acting on a vector space $V$. Given a set of $G$-invariants, one can ask the question : does this set of invariants characterize the group $G$ ? We recall here some known results, ask questions and state some…
The Linearization Theorem for proper Lie groupoids organizes and generalizes several results for classic geometries. Despite the various approaches and recent works on the subject, the problem of understanding invariant linearization…
We give in this paper a logical characterization for unambiguous Context Free Languages, in the vein of descriptive complexity. A fragment of the logic characterizing context free languages given by Lautemann, Schwentick and Th\'erien [18]…
We prove several theorems relating amenability of groups in various categories (discrete, definable, topological, automorphism group) to model-theoretic invariants (quotients by connected components, Lascar Galois group, G-compactness,…
Given the large variety of existing logical formalisms it is of utmost importance to select the most adequate one for a specific purpose, e.g. for representing the knowledge relevant for a particular application or for using the formalism…
A co-valuation is, essentially, a minimal finite cover. We introduce a logic based on co-valuations, which play the role of valuations of free variables in classical first-order logic, and show that the fundamental tools of model theory --…
We give a brief summary of the formalism of invariants in general scalar-tensor and multiscalar-tensor gravities without derivative couplings. By rescaling of the metric and reparametrization of the scalar fields, the theory can be…
An enlarged group G of nonlinear transformations, modeled on the general linear group GL(2,R), leads to a beautiful, apparently unremarked symmetry between the wave function's phase and the logarithm of its amplitude. Equations Doebner and…
It is known that, for the algebra of functions on a Kleinian singularity, the parameter space of deformations and the parameter space of quantizations coincide. We prove that, for a Kleinian singularity of type $\mathbf{A}$ or $\mathbf{D}$,…
We study probabilistic team semantics which is a semantical framework allowing the study of logical and probabilistic dependencies simultaneously. We examine and classify the expressive power of logical formalisms arising by different…
The concept of classical indistinguishability is analyzed and defended against a number of well-known criticisms, with particular attention to the Gibbs' paradox. Granted that it is as much at home in classical as in quantum statistical…
We consider natural cardinal invariants hm_n and prove several duality theorems, saying roughly: if I is a suitably definable ideal and provably cov(I)>=hm_n, then non(I) is provably small. The proofs integrate the determinacy theory,…
Invertible map equivalences are approximations of graph isomorphism that refine the well-known Weisfeiler-Leman method. They are parametrised by a number k and a set Q of primes. The intuition is that two graphs G and H which are equivalent…
The process of identifying a time variable in time reparameterization invariant theories results in great ambiguities about the actual laws of physics described by a given theory. A theory set up to describe one set of physical laws can…
We give an overview over the usefulness of the concept of equivariance and invariance in the design of experiments for generalized linear models. In contrast to linear models here pairs of transformations have to be considered which act…