Related papers: Non-permutation invariant Borel quantifiers

Let $\Gamma$ be the fundamental group of a complete hyperbolic $3$-manifold $M$ with toric cusps. We define the $\omega$-Borel invariant $\beta_n^\omega(\rho_\omega)$ associated to a representation $\rho_\omega: \Gamma \rightarrow…

R.D.Mauldin asked if every translation invariant $\sigma$-finite Borel measure on $\RR^d$ is a constant multiple of Lebesgue measure. The aim of this paper is to show that the answer is "yes and no", since surprisingly the answer depends on…

An observable on a quantum structure is any $\sigma$-homomorphism of quantum structures from the Borel $\sigma$-algebra into the quantum structure. We show that our partial information on an observable known only for all intervals of the…

An invariant random subgroup $H \leq G$ is a random closed subgroup whose law is invariant to conjugation by all elements of $G$. When $G$ is locally compact and second countable, we show that for every invariant random subgroup $H \leq G$…

The classification of separable operator spaces and systems is commonly believed to be intractable. We analyze this belief from the point of view of Borel complexity theory. On one hand we confirm that the classification problems for…

Standard results in descriptive set theory provide sufficient conditions for a Borel set $P \subseteq \mathbb{N}^\mathbb{N} \times \mathbb{N}^\mathbb{N}$ to admit a Borel uniformization, namely, when $P$ has "small" sections or "large"…

We describe explicitly the algebra of polynomial functions on the Hilbert space of four qubit states which are invariant under the SLOCC group $SL(2,{\mathbb C})^{4}$. From this description, we obtain a closed formula for the…

The monadic theory of $(\mathbb R,\le)$ with quantification restricted to Borel sets is decidable. The Boolean combinations of $F_\sigma$ sets form an elementary substructure of the Borel sets. Under determinacy hypotheses, the proof…

For each parabolic subgroup $P$ of the general linear group $GL_n(\mathbb{F}_q)$, a conjecture due to Lewis, Reiner and Stanton \cite{LewisReinerStanton2017} predicts a formula for the Hilbert series of the space of invariants…

The coadjoint orbits of compact Lie groups each carry a canonical (positive definite) K\"ahler structure, famously used to realize the group's irreducible representations in holomorphic sections of appropriate line bundles (Borel-Weil…

We establish that by parameterizing the configuration space of a one-dimensional quantum system by polynomial invariants of q-deformed Coxeter groups it is possible to construct exactly solvable models of Calogero type. We adopt the…

We consider the 2-generated free metabelian associative and Lie algebras over the complex field and the invariants of the dihedral groups of finite order acting on these algebras. In the associative case we find a finite set of generators…

We prove that if $X$ is a real rearrangement-invariant function space on $[0,1]$, which is not isometrically isomorphic to $L_2,$ then every surjective isometry $T:X\to X$ is of the form $Tf(s)=a(s)f(\sigma(s))$ for a Borel function $a$ and…

The paper deals with weighted spaces $L_p^w(G)$ on a locally compact group G. If w is a positive measurable function on G then we define the space $L_p^w(G)$, $p\ge1$, as $L_p^w(G)=\{f:fw\in L_p(G)\}$. We consider weights such that these…

Let L be a countable language. We say that a countable infinite L-structure M admits an invariant measure when there is a probability measure on the space of L-structures with the same underlying set as M that is invariant under…

We show that if $E$ is a countable Borel equivalence relation on $\mathbb{R}^n$, then there is a closed subset $A \subset [0,1]^n$ of Hausdorff dimension $n$ so that $E \restriction A$ is smooth. More generally, if $\leq_Q$ is a locally…

Let $M(S)$ be the Banach algebra of all bounded regular Borel measures on a locally compact Hausdorff semitopological semigroup $S$ with variation norm and convolution as multiplication. We obtain necessary and sufficient conditions for…

Let $G$ be a semisimple Lie group, ${\frak g}$ its Lie algebra. For any symmetric space $M$ over $G$ we construct a new (deformed) multiplication in the space $A$ of smooth functions on $M$. This multiplication is invariant under the action…

Here we shall consider the topology and dynamics associated to a wide class of matchbox manifolds, including a large selection of tiling spaces and all minimal matchbox manifolds of dimension one. For such spaces we introduce topological…

Let $X$ be a differentiable manifold endowed with a transitive action $\alpha:A\times X\longrightarrow X$ of a Lie group $A$. Let $K$ be a Lie group. Under suitable technical assumptions, we give explicit classification theorems, in terms…