English
Related papers

Related papers: On intermediate extensions of generic extensions b…

200 papers

We prove limit theorems of an entirely new type for certain long memory regularly varying stationary infinitely divisible random processes. These theorems involve multiple phase transitions governed by how long the memory is. Apart from one…

Probability · Mathematics 2018-05-23 Gennady Samorodnitsky , Yizao Wang

The \emph{sum-product phenomenon} predicts that a finite set $A$ in a ring $R$ should have either a large sumset $A+A$ or large product set $A \cdot A$ unless it is in some sense "close" to a finite subring of $R$. This phenomenon has been…

Combinatorics · Mathematics 2009-02-23 Terence Tao

We provide a new realisability model based on orthogonality for the multiplicative fragment of linear logic, both in presence of generalised axioms (MLL*) and in the standard case (MLL). The novelty is the definition of cut elimination for…

Logic in Computer Science · Computer Science 2024-11-27 Adrien Ragot , Thomas Seiller , Lorenzo Tortora de Falco

A random vector whose norm and overlap (inner product with an independent copy) concentrates is shown to have random low-dimensional projections that are approximately random Gaussians. Conversely, asymptotically random Gaussian projections…

Probability · Mathematics 2025-12-23 Timothy L. H. Wee , Sekhar Tatikonda

Let $R_m$ be the (unique) universal homogeneous $m$-edge-coloured countable complete graph ($m\ge2$), and $G_m$ its group of colour-preserving automorphisms. The group $G_m$ was shown to be simple by John Truss. We examine the automorphism…

Combinatorics · Mathematics 2017-08-29 Peter J. Cameron , Sam Tarzi

We consider the distribution of cycles in two models of random permutations, that are related to one another. In the first model, cycles receive a weight that depends on their length. The second model deals with permutations of points in…

Probability · Mathematics 2011-02-24 Volker Betz , Daniel Ueltschi

We contribute to the study of $\aleph_1$-dense sets of reals, a mainstay in set theoretic research since Baumgartner's seminal work in the 70s. In particular, we show that it is consistent with $\textsf{MA}$ that there exists an…

Logic · Mathematics 2025-12-25 Pedro Marun , Saharon Shelah , Corey Bacal Switzer

We prove prime exponential sums have no better than square root cancellation on average on short intervals, in the sense that $$\frac{1}{x} \sum_{-y< n\le x} \left|\sum_{\substack{n< m \le n+y\\ 1\le m \le x}} \Lambda(m) \mathrm{e}(\alpha…

Number Theory · Mathematics 2025-09-19 Pierre-Alexandre Bazin

We prove an asymptotic Edgeworth expansion for the profiles of certain random trees including binary search trees, random recursive trees and plane-oriented random trees, as the size of the tree goes to infinity. All these models can be…

Probability · Mathematics 2017-10-06 Zakhar Kabluchko , Alexander Marynych , Henning Sulzbach

We study the modular representation theory of the symmetric and alternating groups. One of the most natural ways to label the irreducible representations of a given group or algebra in the modular case is to show the unitriangularity of the…

Representation Theory · Mathematics 2020-12-09 Olivier Brunat , Jean-Baptiste Gramain , Nicolas Jacon

We studied two probabilistic models of the distribution of primes in the natural number [1].The paper considers the third probabilistic model of the distribution of primes in the natural number. The author proved that the results obtained…

Number Theory · Mathematics 2015-09-30 Victor Volfson

We introduce a calculus of extensional resource terms. These are resource terms \`a la Ehrhard-Regnier, but in infinitely eta-long form. The calculus still retains a finite syntax and dynamics: in particular, we prove strong confluence and…

Logic in Computer Science · Computer Science 2026-04-22 Lison Blondeau-Patissier , Pierre Clairambault , Lionel Vaux Auclair

We consider the sequential composite binary hypothesis testing problem in which one of the hypotheses is governed by a single distribution while the other is governed by a family of distributions whose parameters belong to a known set…

Information Theory · Computer Science 2022-03-30 Jiachun Pan , Yonglong Li , Vincent Y. F. Tan

In the top to random shuffle, the first a cards are removed from a deck of n cards 12 \cdots n and then inserted back into the deck. This action can be studied by treating the top to random shuffle as an element B_a, which we define…

Combinatorics · Mathematics 2016-12-20 Roger Tian

Let $M^\sharp_n(\mathbb{R})$ denote the minimal active iterable extender model which has $n$ Woodin cardinals and contains all reals, if it exists, in which case we denote by $M_n(\mathbb{R})$ the class-sized model obtained by iterating the…

Logic · Mathematics 2021-01-19 Juan P. Aguilera , Sandra Müller

Let $\a$ be a complex random variable with mean zero and bounded variance $\sigma^{2}$. Let $N_{n}$ be a random matrix of order $n$ with entries being i.i.d. copies of $\a$. Let $\lambda_{1}, ..., \lambda_{n}$ be the eigenvalues of…

Probability · Mathematics 2008-02-29 Terence Tao , Van Vu

An exchangeable random matrix is a random matrix with distribution invariant under any permutation of the entries. For such random matrices, we show, as the dimension tends to infinity, that the empirical spectral distribution tends to the…

Probability · Mathematics 2016-03-25 Radosław Adamczak , Djalil Chafaï , Paweł Wolff

In the present article, real number representations, that are generalizations of classical positive and alternating representations of numbers, are introduced and investigated. The main metric relation, properties of cylinder sets are…

Number Theory · Mathematics 2021-01-05 Symon Serbenyuk

This paper introduces and studies a notion of \emph{algorithmic randomness} for subgroups of rationals. Given a randomly generated additive subgroup $(G,+)$ of rationals, two main questions are addressed: first, what are the model-theoretic…

Logic in Computer Science · Computer Science 2019-01-18 Ziyuan Gao , Sanjay Jain , Bakhadyr Khoussainov , Wei Li , Alexander Melnikov , Karen Seidel , Frank Stephan

We give sufficient conditions for a first order expansion of the real line to define the standard model of the monadic second order theory of one successor. Such an expansion does not satisfy any of the combinatorial tameness properties…

Logic · Mathematics 2016-12-07 Philipp Hieronymi , Erik Walsberg