Related papers: Downward Collapse from a Weaker Hypothesis

For a given multicusp $f=c_{(\theta_0,..., \theta_i)}$ $(1\le i)$, we present a direct sum decomposition theorem of the source space of ${}_i\bar{\omega}f$, where ${}_i\bar{\omega}f$ is a higher version of the reduced Kodaira-Spencer-Mather…

Using the Mountain--Pass Theorem of Ambrosetti and Rabinowitz we prove that $-\Delta_p u-\mu|x|^{-p}{u^{p-1}}=|x|^{-s}{u^{\crits-1}}+u^{\crit-1}$ admits a positive weak solution in $\rn$ of class $\dunp\cap C^1(\rn\setminus\{0\})$, whenever…

Fix a field $k$. When $\Delta$ is a simplicial complex on $n$ vertices with Stanley-Reisner ideal $I_\Delta$, we define and study an invariant called the $\textit{type defect}$ of $\Delta$. Except when $\Delta$ is of a single simplex, the…

Consider two series $$\sum_{n=1}^\infty\frac{\sin^n\pi\theta n}{n^\alpha},\quad\sum_{n=1}^\infty\frac{\cos^n\pi\theta n}{n^\alpha}.$$ We show that number-theoretical properties of $\theta$ have a strong effect on the convergence when…

With an assumption on the codimension of the singular locus of a complex hypersurface $D$ in smooth variety $X$, we show that if $\underline{\Omega}^m_D \cong \Omega^m_D$, then $\underline{\Omega}^i_D \cong \Omega^i_D$ for all $0 \leq i…

We consider weak solutions to a class of Dirichlet boundary value problems invloving the $p$-Laplace operator, and prove that the second weak derivatives are in $L^{q}$ with $q$ as large as it is desirable, provided $p$ is sufficiently…

We investigate qualitative properties of weak solutions of the Dirichlet problem for the equation $-\Delta_p u = \lambda m(x)|u|^{p-2}u + \eta a(x)|u|^{q-2}u + f(x)$ in a bounded domain $\Omega \subset \mathbb{R}^N$, where $q<p$. Under…

Counterfactual explanations (CFE) are being widely used to explain algorithmic decisions, especially in consequential decision-making contexts (e.g., loan approval or pretrial bail). In this context, CFEs aim to provide individuals affected…

The purpose of this note is to give a simple proof of the following theorem: Let $X$ be a normal projective variety over an algebraically closed field $k$, $\op{char} k = 0$ and let $D \subset X$ be a proper closed subvariety of $X$. Then…

For any Tychonoff space $X$ let $D(X)$ be either the set $C(X)$ of all continuous functions on $X$ or the set $C^*(X)$ of all bounded continuous functions on $X$. When $D(X)$ is endowed with the point convergence topology, we write…

For a compact smooth manifold $M$ (with boundary) we prove that the topological rank of the diffeomorphism group Diff$_0^k(M)$ is finite for all $k\geq 1$. This extends a result from [2] where the same claim is proved in the special case of…

We investigate the combinatorial discrepancy of geometric set systems having bounded shallow cell complexity in the \emph{Beck-Fiala} setting, where each point belongs to at most $t$ ranges. For set systems with shallow cell complexity…

Teichm\"uller's problem from 1944 is this: Given $x\in [0,1)$ find and describe the extremal quasiconformal map $f:\ID\to\ID$, $f|\partial \ID=identity$ and $f(0)=-x\leq 0$. We consider this problem in the setting of minimisers of…

We present a method which allows the combination of forcing uniformization on the $\Pi$- and the $\Sigma$-side of the projective hierarchy to a certain extent. Using this method we construct a universe where ${\Pi}^1_3$-reduction holds,…

We prove results on the relaxation and weak* lower semicontinuity of integral functionals of the form \[ \mathcal{F}[u] := \int_{\Omega} f \bigg( \frac{1}{2} \bigl( \nabla u(x) + \nabla u(x)^T \bigr) \bigg)\,\mathrm{d} x, \qquad u : \Omega…

We prove that the statement "there is a $k$ such that for every $f$ there is a $k$-bounded diagonally non-recursive function relative to $f$" does not imply weak K\"onig's lemma over $\mathrm{RCA}_0 + \mathrm{B}\Sigma^0_2$. This answers a…

We show that for a fixed integer $n \neq \pm2$, the congruence $x^2 + nx \pm 1 \equiv 0 \pmod{\alpha}$ has the solution $\beta$ with $0 < \beta < \alpha$ if and only if $\alpha/\beta$ has a continued fraction expansion with sequence of…

The Robinson Splitting Theorem states that a c.e. degree $\mathbf{b}$ splits over any low c.e. degree $\mathbf{c}<\mathbf{b}$. We prove that a weaker version of this theorem holds in models of $\mathrm{P}^-+\mathrm{I}\Sigma_1$, with lowness…

Let $(A,\Delta)$ be a regular weak multiplier Hopf algebra. Denote by $E$ the canonical idempotent of $(A,\Delta)$ and by $B$ the image of the source map. Recall that $B$ is a non-degenerate algebra, sitting nicely in the multiplier algebra…

Motivated by problems of comparative genomics and paleogenomics, in [Chauve et al., 2009], the authors introduced the Gapped Consecutive-Ones Property Problem (k,delta)-C1P: given a binary matrix M and two integers k and delta, can the…