Related papers: A solution to Roitman's problem

Regularity properties of solutions to variational problems are established for a broad class of strictly convex splitting-type energy densities of the principal form $f$: $\mathbb{R}^2 \to \mathbb{R}$, \[ f(\xi_1,\xi_2) = f_1\big( \xi_1…

We prove that the generic maximal independent family obtained by iteratively forcing with the Mathias forcing relative to diagonalization filters is densely maximal. Moreover, by choosing the filters with some care one can ensure the family…

For an infinite cardinal mu, MAD(mu) denotes the set of all cardinalities of nontrivial maximal almost disjoint families over mu. Erdos and Hechler proved the consistency of [mu in MAD(mu)] for a singular cardinal mu and asked if it was…

Answering an informal question of K. Park, we show that by fixing some irrational alpha to have a particular standard continued fraction expansion, we may force the associated discrepancy sequences for all x in [0,1), which track the…

Let $A$ be abelian variety over the function field $K$ of a compact Riemann surface $B$. Fix a model $f \colon \mathcal{A} \to B$ of $A/K$ and a certain effective horizontal divisor $\DD \subset \mathcal{A}$. We give a sufficient condition…

We are concerned with the nodal set of solutions to equations of the form \begin{equation*} -\Delta u = \lambda_+ \left(u^+\right)^{q-1} - \lambda_- \left(u^-\right)^{q-1} \quad \text{in $B_1$} \end{equation*} where $\lambda_+,\lambda_- >…

Motivated by questions about $\mathbb{C}_p$-valued Fourier transform on the locally compact group $(\mathbb{Q}_p^d,+)$, we study invariant norms on the $p$-adic Schr\"odinger representation of the Heisenberg group. Our main result is a…

Based on the work of Shelah, Kellner, and T\u{a}nasie (Fund. Math., 166(1-2):109-136, 2000 and Comment. Math. Univ. Carolin., 60(1):61-95, 2019), and the recent developments in the third author's master's thesis, we develop a general theory…

Let $E$ be a vector space over a countable field of dimension $\aleph_0$. Two infinite-dimensional subspaces $V,W \subseteq E$ are almost disjoint if $V \cap W$ is finite-dimensional. This paper provides some improvements on results about…

Set systems with strongly restricted intersections, called $\alpha$-intersecting families for a vector $\alpha$, were introduced recently as a generalization of several well-studied intersecting families including the classical oddtown and…

Assuming the P-ideal dichotomy, we attempt to isolate those cardinal characteristics of the continuum that are correlated with two well-known consequences of the proper forcing axiom. We find a cardinal invariant $\mathfrak{x}$ such that…

We develop a toolbox for forcing over arbitrary models of set theory without the axiom of choice. In particular, we introduce a variant of the countable chain condition and prove an iteration theorem that applies to many classical forcings…

Scale-separated AdS compactifications of string theory can be constructed at the two-derivative supergravity level in the presence of smeared orientifold planes. The unsmearing corrections are known to leading order in the large volume,…

We introduce a hierarchy of models of the Axiom of Determinacy called \emph{Nairian models}. Forcing over the simplest Nairian model, we obtain a model of ${\sf{ZFC}}+{\sf{MM^{++}}}(c)+\neg\square_{\omega_3}+\neg\square(\omega_3)$. Then,…

Let $f$ be a transcendental entire function. The quite fast escaping set, $Q(f)$, and the set $Q_2(f),$ which was defined recently, are equal to the fast escaping set, $A(f),$ under certain conditions. In this paper we generalise these sets…

We show that the Proper Forcing Axiom for forcing notions of size $\aleph_1$ is consistent with the continuum being arbitrarily large. In fact, assuming $GCH$ holds and $\kappa\geq\omega_2$ is a regular cardinal, we prove that there is a…

We show that in a parametric family of linear recurrence sequences $a_1(\alpha) f_1(\alpha)^n + \ldots + a_k(\alpha) f_k(\alpha)^n$ with the coefficients $a_i$ and characteristic roots $f_i$, $i=1, \ldots,k$, given by rational functions…

We show that, given an almost-source algebra $A$ of a $p$-block of a finite group $G$, then the unit group of $A$ contains a basis stabilized by the left and right multiplicative action of the defect group if and only if, in a sense to be…

We establish existence and qualitative properties of saddle-shaped solutions of the elliptic fractional equation $(-\Delta)^{1/2}u=f(u)$ in all the space $\re^{2m}$, where $f$ is of bistable type. These solutions are odd with respect to the…

We provide answers to a question brought up by Erd\H{o}s about the construction of Wetzel families in the absence of the continuum hypothesis - a Wetzel family is a family $\mathcal{F}$ of entire functions on the complex plane which…