Related papers: Counterexamples to countable-section $\varPi^1_2$ …

Let $P_n^{\text{sep}}$ denote the uniform probability measure on the set of separable permutations in $S_n$. Let $\mathbb{N}^*=\mathbb{N}\cup\{\infty\}$ with an appropriate metric and denote by $S(\mathbb{N},\mathbb{N}^*)$ the compact…

Let $G$ be a real reductive Lie group, $L$ a compact subgroup, and $\pi$ an irreducible admissible representation of $G$. In this article we prove a necessary and sufficient condition for the finiteness of the multiplicities of $L$-types…

For every uncountable regular $\kappa$, we give two examples of proper posets which turn improper in some $\kappa$-closed forcing extension.

Let $\pi_n$ be a uniformly chosen random permutation on $[n]$. Using an analysis of the probability that two overlapping consecutive $k$-permutations are order isomorphic, the authors of a recent paper showed that the expected number of…

All spaces below are $T_0$ and crowded (i.e. have no isolated points). For $n \le \omega$ let $M(n)$ be the statement that there are $n$ measurable cardinals and $\Pi(n)$ ($\Pi^+(n)$) that there are $n+1$ (0-dimensional $T_2$) spaces whose…

We describe a formalization of forcing using Boolean-valued models in the Lean 3 theorem prover, including the fundamental theorem of forcing and a deep embedding of first-order logic with a Boolean-valued soundness theorem. As an…

Suppose we are given the conditional probability of one variable given some other variables.Normally the full joint distribution over the conditioning variablesis required to determine the probability of the conditioned variable.Under what…

We describe a construction of a model of second order arithmetic in which (boldface) $\bm{\Pi^1_n}$-determinacy holds, but (lightface) $\Pi^1_{n+2}$-$\mathsf{DC}$ fails, thus showing that no projective level of determinacy implies full…

We construct a surface over $\overline{\mathbb{F}}_p$ with $\pi_1^{\'{e}t}(X) = 1$ that is supersingular -- in the sense that $H^2_{\'{e}t}(X, \mathbb{Q}_{\ell}(1))$ is spanned by algebraic cycles -- but is not unirational. This provides a…

Compactness is one of the core notions of analysis: it connects local properties to global ones and makes limits well-behaved. We study the computational properties of the compactness of Cantor space $2^{\mathbb{N}}$ for uncountable covers.…

We identify a surprising inequality satisfied by elementary symmetric polynomials under the action of the fixed point measure of a random permutation. Concretely, for any collection of $n$ non-negative real numbers $a_1, \dots, a_n \in…

Conformal prediction (CP) for regression can be challenging, especially when the output distribution is heteroscedastic, multimodal, or skewed. Some of the issues can be addressed by estimating a distribution over the output, but in…

In production processes, e.g. J/Psi -> omega-pi-pi or pbar-p -> 3pi, the sigma and fo(980) overlap in the same partial wave. The conjecture of Extended Unitarity (EU) states that the pi-pi pair should have the same phase variation as pi-pi…

A continuous sequence of infinitesimal unitary transformations, combined with an operator product expansion for vertex operators, is used to diagonalize the quantum sine-Gordon model for 2 pi < beta^2 < infinity. The leading order of this…

Non-uniform estimates are obtained for Poisson, compound Poisson, translated Poisson, negative binomial and binomial approximations to sums of of m-dependent integer-valued random variables. Estimates for Wasserstein metric also follow…

For $n<\omega$, we say that the $\Pi^1_n$-reflection principle holds at $\kappa$ and write $\text{Refl}_n(\kappa)$ if and only if $\kappa$ is a $\Pi^1_n$-indescribable cardinal and every $\Pi^1_n$-indescribable subset of $\kappa$ has a…

In a complete metric space that is equipped with a doubling measure and supports a Poincar\'e inequality, we study strict subsets, i.e. sets whose variational capacity with respect to a larger reference set is finite, in the case $p=1$.…

Uniform bounds are developed for derivatives of solutions of the $2$-dimensional constant negative curvature equation and the Weil-Petersson metric for the Teichm\"{u}ller and moduli spaces. The dependence of the bounds on the geometry of…

A univariate continuous function can always be decomposed as the sum of a non-increasing function and a non-decreasing one. Based on this property, we propose a non-parametric regression method that combines two spline-fitted monotone…

We prove that for an arbitrary $\kappa \le \frac{1}{3}$ any subset of $\mathbf{F}_p$ avoiding $t$ linear equations with three variables has size less than $O(p/t^\kappa)$. We also find several applications to problems about so--called…