相关论文: Downward Collapse from a Weaker Hypothesis

In this paper, we establish a theorem that proves a condition when an inclusion morphism between simplicial sets becomes a weak homotopy equivalence. Additionally, we present two applications of this result. The first application…

The Fewest Clues Problem (FCP) framework has been introduced to study the complexity of determining whether a solution to an \NP~problem can be uniquely identified by specifying a subset of the certificate. For a given problem $P \in \NP$,…

Fix a tangential structure $\theta: B \longrightarrow BO(d+1)$ and an integer $k < d/2$. In this paper we determine the homotopy type of a cobordism category $\mathbf{Cob}^{\text{mf}, k}_{\theta}$, where morphisms are given by…

We show that scalar curvature lower bounds are preserved under certain weak convergence of smooth three manifolds to a smooth limit. More precisely, suppose that $M_k$ and $M$ are smooth, closed, Riemannian three manifolds. Assume that…

Let $s\in (0,1)$, and let $F\subset \mathbb{R}$ be a self similar set such that $0 < \dim_H F \leq s$ . We prove that there exists $\delta= \delta(s) >0$ such that if $F$ admits an affine embedding into a homogeneous self similar set $E$…

Let $M,N$ be real-valued martingales such that $N$ is differentially subordinate to $M$. The paper contains the proofs of the following weak-type inequalities: (i) If $M\geq0$ and $0<p\leq1$, then \[\Vert N\Vert_{p,\infty}\leq2\Vert…

Suppose $\Delta$ is a pure simplicial complex on $n$ vertices having dimension $d$ and let $c = n-d-1$ be its codimension in the simplex. Terai and Yoshida proved that if the number of facets of $\Delta$ is at least $\binom{n}{c}-2c+1$,…

Counterfactual explanations (CEs) offer a human-understandable way to explain decisions by identifying specific changes to the input parameters of a base or present model that would lead to a desired change in the outcome. For optimization…

Let $A$ be a commutative Banach algebra with non-empty character space $\Delta(A)$. In this paper, we change the concepts of convergence and boundedness in the classical notion of bounded approximate identity. This work give us a new kind…

Let $\kappa$ be a commutative ring containing $2^{-1}$. In this paper, we prove the Comes-Kujawa's conjecture on a $\kappa$-basis of cyclotomic oriented Brauer-Clifford supercategory. As a by-product, we prove that the cyclotomic walled…

In my talk I will discuss the following results which were obtained in joint work with Wilderich Tuschmann. 1. For any given numbers $m$, $C$ and $D$, the class of $m$-dimensional simply connected closed smooth manifolds with finite second…

We consider a class of nonlinear integro-differential equations whose leading operator is obtained as a superposition of $(-\Delta_{p})^{s}$ and $(-\Delta_{p})^{t}$, where $0<s<t<1<p<\infty$, weighted via two possibly degenerate…

We resolve a conjecture of Kalai asserting that the $g_2$-number of any simplicial complex $\Delta$ that represents a connected normal pseudomanifold of dimension $d\geq 3$ is at least as large as ${d+2 \choose 2}m(\Delta)$, where…

We establish a weak form of Carlson's conjecture on the depth of the mod-p cohomology ring of a p-group. In particular, Duflot's lower bound for the depth is tight if and only if the cohomology ring is not detected on a certain family of…

Let K be an algebraically closed field of characteristic zero, endowed with a complete nonarchimedean norm. Let X be a K-rigid analytic variety and \Sigma a semianalytic subset of X. Then the closure of \Sigma in X with respect to the…

Let $k$ be an algebraically closed field of characteristic $p>0$. Let $c,d,m$ be positive integers. Let $D$ be a $p$-divisible group of codimension $c$ and dimension $d$ over $k$. Let $\scrD$ be a versal deformation of $D$ over a smooth…

We prove local and global inverse theorems for general $3$-wise correlations over pairwise-connected distributions. Let $\mu$ be a distribution over $\Sigma \times \Gamma \times \Phi$ such that the supports of $\mu_{xy}$, $\mu_{xz}$, and…

$\Sigma^1_3$-absoluteness for ccc forcing means that for any ccc forcing $P$, ${H_{\omega_1}}^V \prec_{\Sigma_2}{H_{\omega_1}}^{V^P}$. "$\omega_1$ inaccessible to reals" means that for any real $r$, ${\omega_1}^{L[r]}<\omega_1$. To measure…

In this paper, we prove some new thickness theorems with partial derivatives. We give some applications. First, we give a simple criterion that can judge whether two scaled Cantor sets have non-empty intersection. Second, we prove under…

A problem $\mathcal{P}$ is considered downward self-reducible, if there exists an efficient algorithm for $\mathcal{P}$ that is allowed to make queries to only strictly smaller instances of $\mathcal{P}$. Downward self-reducibility has been…