English
Related papers

Related papers: Definable maximal discrete sets in forcing extensi…

200 papers

This is a contribution to the classification problem for dp-minimal expansions of $(\mathbb{Z},+)$. Let $S$ be a dense cyclic group order on $(\mathbb{Z},+)$. We use results on "dense pairs" to construct uncountably many dp-minimal…

Logic · Mathematics 2020-04-16 Erik Walsberg

We give a short proof of the theorem due to Preiss and Rataj stating that there are no analytic maximal orthogonal families (mofs) of Borel probability measures on a Polish space. When the underlying space is compact and perfect, we show…

Operator Algebras · Mathematics 2022-05-16 Severin Mejak

We relate the maximum semidefinite and linear extension complexity of a family of polytopes to the cardinality of this family and the minimum pairwise Hausdorff distance of its members. This result directly implies a known lower bound on…

Optimization and Control · Mathematics 2016-05-30 Gennadiy Averkov , Volker Kaibel , Stefan Weltge

We show that the statement ``In every separable pseudometric space there is a maximal non-strictly \delta-separated set.'' implies the axiom of choice for countable families of sets. This gives answers to a question of Dybowski and…

Logic · Mathematics 2026-01-14 Michał Dybowski , Przemyslaw Górka , Paul Howard

We study families of subsets of $\omega$ which are independent with respect to the asymptotic density $\mathsf{d}$. We show, for instance, that there exists a maximal $\mathsf{d}$-independent family $\mathcal{A}$ such that…

Logic · Mathematics 2026-04-01 Jonathan M. Keith , Paolo Leonetti

Let $R$ be a finite local ring of odd characteristic and $\beta$ a non-degenerate symmetric bilinear form on $R^2$. In this short note, we determine the largest possible cardinality of pairwise orthogonal sets of unimodular vectors in…

Rings and Algebras · Mathematics 2019-03-06 Songpon Sriwongsa , Siripong Sirisuk

Let $\mathcal{A}_1,\ldots,\mathcal{A}_m$ be families of $k$-subsets of an $n$-set. Suppose that one cannot choose pairwise disjoint edges from $s+1$ distinct families. Subject to this condition we investigate the maximum of…

Combinatorics · Mathematics 2021-05-04 Peter Frankl , Jian Wang

We show that the sequential closure of a family of probability measures on the canonical space of c{\`a}dl{\`a}g paths satisfying Stricker's uniform tightness condition is a weak${}^*$ compact set of semimartingale measures in the pairing…

Probability · Mathematics 2020-04-21 Matti Kiiski

We prove that for an arbitrary subtree $T$ of $2^{<\omega}$ with each element extendable to a path, a given countable class $\mathcal{M}$ closed under disjoint union, and any set $A$, if none of the members of $\mathcal{M}$ strongly…

Logic · Mathematics 2016-02-12 Lu Liu

Let $L_{A}=-{\rm div}(A\nabla)$ be an elliptic divergence form operator with bounded complex coefficients subject to mixed boundary conditions on an arbitrary open set $\Omega\subseteq\mathbb{R}^{d}$. We prove that the maximal operator…

Functional Analysis · Mathematics 2022-11-23 Andrea Carbonaro , Oliver Dragičević

We study maximal averages associated with singular measures on $\rr$. Our main result is a construction of singular Cantor-type measures supported on sets of Hausdorff dimension $1 - \epsilon$, $0 \leq \epsilon < {1/3}$ for which the…

Classical Analysis and ODEs · Mathematics 2019-12-19 Izabella Laba , Malabika Pramanik

The research problem in this work is the relaxation of maximizing non-negative submodular plus modular with the entire real number domain as its value range over a family of down-closed sets. We seek a feasible point $\mathbf{x}^*$ in the…

Data Structures and Algorithms · Computer Science 2022-04-13 Xin Sun , Chenchen Wu , Dachuan Xu , Yang Zhou

We propose a new, game-theoretic, approach to the idealized forcing, in terms of fusion games. This generalizes the classical approach to the Sacks and the Miller forcing. For definable ($\mathbf{\Pi}^1_1$ on $\mathbf{\Sigma}^1_1)…

Logic · Mathematics 2009-10-14 Marcin Sabok

For a field $\mathbb{F}$ and integers $d$ and $k$, a set ${\cal A} \subseteq \mathbb{F}^d$ is called $k$-nearly orthogonal if its members are non-self-orthogonal and every $k+1$ vectors of ${\cal A}$ include an orthogonal pair. We prove…

Combinatorics · Mathematics 2024-12-13 Ishay Haviv , Sam Mattheus , Aleksa Milojević , Yuval Wigderson

Let $E\supseteq F$ be a field extension and $M$ a graded Lie algebra of maximal class over $E$. We investigate the $F$-subalgebras $L$ of $M$, generated by elements of degree $1$. We provide conditions for $L$ being either ideally…

Rings and Algebras · Mathematics 2023-11-14 Marina Avitabile , Norberto Gavioli , Valerio Monti

Let $f: M \to M$ be a $C^{1+\alpha}$ map/diffeomorphism of a compact Riemannian manifold $M$ and $\mu$ be an expanding/hyperbolic ergodic $f$-invariant Borel probability measure on $M$. Assume $f$ is average conformal expanding/hyperbolic…

Dynamical Systems · Mathematics 2022-07-20 Congcong Qu , Juan Wang

We settle a conjecture by Bik and Marigliano stating that the degree of a one-dimensional discrete model with rational maximum likelihood estimator is bounded above by a linear function in the size of its support, therefore showing that…

Statistics Theory · Mathematics 2026-03-04 Carlos Améndola , Viet Duc Nguyen , Janike Oldekop

We describe the closures of locally divergent orbitsunder the action of tori on Hilbert modular spaces of rank r = 2. In particular, we prove that if D is a maximal R-split torus acting on a real Hilbert modular space then every locally…

Dynamical Systems · Mathematics 2012-04-05 George Tomanov

We construct a maximal discrete extension of the paramodular group with a full level-2 structure. The corresponding Siegel variety parametrizes (birationally) the space of Kummer surfaces associated to (1,p)-polarized abelian surfaces with…

Algebraic Geometry · Mathematics 2007-05-23 Michael Friedland

Our first result is a noncommutative form of Jessen/Marcinkiewicz/Zygmund theorem for the maximal limit of multiparametric martingales or ergodic means. It implies bilateral almost uniform convergence with initial data in the expected…

Functional Analysis · Mathematics 2019-10-24 José M. Conde-Alonso , Adrián M. González-Pérez , Javier Parcet