相关论文: A $wtt$-introimmune set in \texorpdfstring{$\Pi^0_…

We establish a new integration by parts formula for the regional fractional laplacian $(-\Delta)^s_\Omega$ in bounded open sets of class $C^2$. As a direct application, we prove that weak solutions to the corresponding Dirichlet problem…

Large language models (LLMs) require robust toxicity evaluation beyond explicit wording. This setting remains underexplored in Chinese, where toxicity may combine semantic indirectness with surface obfuscation. We introduce Chinese Implicit…

We prove that $\delta$-derivations of a simple finite-dimensional Lie algebra over a field of characteristic zero, with values in a finite-dimensional module, are either inner derivations, or, in the case of adjoint module, multiplications…

The statistics of the smallest eigenvalue of Wishart-Laguerre ensemble is important from several perspectives. The smallest eigenvalue density is typically expressible in terms of determinants or Pfaffians. These results are of utmost…

In this paper, we propose a mild condition, named Condition $(**)$, for collections of sequence of integers and show that for any measure preserving system the Pinsker $\sigma$-algebra is a characteristic $\sigma$-algebra for the averages…

Sharply o-minimal structures (denoted \so-minimal) are a strict subclass of the o-minimal structures, aimed at capturing some finer features of structures arising from algebraic geometry and Hodge theory. Sharp o-minimality associates to…

We generalize a result of McDonald and Taylor which concerns the size of the tuples of edge lengths in the set $C_1 \times C_2$ utilizing the notion of thickness. Specifically, we show that $C_1, C_2 \subset \mathbb{R}^d$ compact sets with…

We develop the abstract framework for a proof-theoretic analysis of theories with scope beyond ordinal numbers, resulting in an analog of Ordinal Analysis aimed at the study of theorems of complexity $\Pi^1_2$. This is done by replacing the…

A coarse description of a subset A of omega is a subset D of omega such that the symmetric difference of A and D has asymptotic density 0. We study the extent to which noncomputable information can be effectively recovered from all coarse…

We prove new results on additive properties of finite sets $A$ with small multiplicative doubling $|AA|\leq M|A|$ in the category of real/complex sets as well as multiplicative subgroups in the prime residue field. The improvements are…

We show that the condition number of any cyclically contiguous $p\times q$ submatrix of the $N\times N$ discrete Fourier transform (DFT) matrix is at least $$ \exp \left( \frac{\pi}{2} \left[\min(p,q)- \frac{pq}{N}\right] \right)~, $$ up to…

This paper uses the framework of reverse mathematics to investigate the strength of two recurrence theorems of topological dynamics. It establishes that one of these theorems, the existence of an almost periodic point, lies strictly between…

We investigate whether an arbitrary non-zero $\mathbb{E}_\infty$-ring $A$ admits a reduced point, meaning an $\mathbb{E}_\infty$-map $A\to T$ such that $\pi_{\ast}T$ is a graded field. We show that if $2\in \pi_0A$ is not invertible, then…

Consider a set represented by an inequality. An interesting phenomenon which occurs in various settings in mathematics is that the interior of this set is the subset where strict inequality holds, the boundary is the subset where equality…

Let X be a smooth real algebraic variety. Let $\xi$ be a distribution on it. One can define the singular support of $\xi$ to be the singular support of the $D_X$-module generated by $\xi$ (some times it is also called the characteristic…

We show that the results of [BM97, DeB02b, Oka, Lus85, AA07, Tay16] imply a positive answer to the question of Moeglin-Waldspurger on wave-front sets in the case of depth zero cuspidal representations. Namely, we deduce that for large…

We survey the complexity class $\exists \mathbb{R}$, which captures the complexity of deciding the existential theory of the reals. The class $\exists \mathbb{R}$ has roots in two different traditions, one based on the Blum-Shub-Smale model…

The elementary arithmetic operations $+,\cdot,\le$ on integers are well-known to be computable in the weak complexity class $\mathrm{TC}^0$, and it is a basic question what properties of these operations can be proved using only…

We study Maxwell's equations in conducting media with perfectly conducting boundary conditions on Lipschitz domains, allowing rough material coefficients and $L^2$-data. Our first contribution is a direct proof of well-posedness of the…

It is known that a best low-rank approximation to multi-way arrays or higher-order tensors may not exist. This is due to the fact that the set of multi-way arrays with rank at most $R$ is not closed. Nonexistence of the best low-rank…