相关论文: Strong downward L\"owenheim-Skolem theorems for st…

We find optimal (up to constant) bounds for the following measures for the regularity of the Schramm-Loewner evolution (SLE): variation regularity, modulus of continuity, and law of the iterated logarithm. For the latter two we consider the…

We prove that, e.g., if mu >cf(mu)= aleph_0 and mu>2^{aleph_0} and every stationary family of countable subsets of mu^+ reflect in some subset of mu^+ of cardinality aleph_1, then the SCH for mu^+ (moreover, for mu^+, any scale for mu^+ has…

It has recently been demonstrated that asymptotically flat neutral reflecting stars are characterized by an intriguing no-hair property. In particular, it has been proved that these {\it horizonless} compact objects cannot support spatially…

In this paper we prove some new Stone-type duality theorems for some subcategories of the category $\ZLC$ of locally compact zero-dimensional Hausdorff spaces and continuous maps. These theorems are new even in the compact case. They…

In this article, we prove the existence of rigid analytic families of $G$-stable lattices with locally constant reductions inside families of representations of a topologically compact group $G$, extending a result of Hellman obtained in…

The Weak Gravity Conjecture has recently been re-formulated in terms of a particle with non-negative self-binding energy. Because of the dual conformal field theory (CFT) formulation in the anti-de Sitter space the conformal dimension…

We study moduli stabilization in 4D effective field theories with Sp(4,$\mathbb{Z}$) self-duality inspired by heterotic orbifold compactifications with Wilson lines. The target-space duality group of these theories is enhanced from…

We propose a new version of generalized probabilistic propositional logic, namely, discrete-continuous logic (DCL) in which every generalized proposition (GP) is represented as 2x2 nondiagonal positive matrix with unit trace. We demonstrate…

In this paper, concerning SDEs with H\"older continuous drifts, which are merely dissipative at infinity, and SDEs with piecewise continuous drifts, we investigate the strong law of large numbers and the central limit theorem for underlying…

We establish sharp stability results for of non--selfadjoint the ascent and descent spectra under strong resolvent convergence (SRS), a natural framework for finite element approximations of non-selfadjoint and singularly perturbed…

We study the incompressible stationary Navier-Stokes equations in the upper-half plane with homogeneous Dirichlet boundary condition and non-zero external forcing terms. Existence of weak solutions is proved under a suitable condition on…

We report on a verification of the Fundamental Theorem of Algebra in ACL2(r). The proof consists of four parts. First, continuity for both complex-valued and real-valued functions of complex numbers is defined, and it is shown that…

We study the dynamics of two-dimensional (2D) localized modes in the nonlinear lattice described by the discrete nonlinear Schr\"{o}dinger (DNLS) equation, including a local linear or nonlinear defect. Discrete solitons pinned to the…

In mathematical logic there are two seemingly distinct kinds of principles called "reflection principles." Semantic reflection principles assert that if a formula holds in the whole universe, then it holds in a set-sized model. Syntactic…

The Rankin-Selberg method for studying Langlands' automorphic $L$-functions is to find integral representations, involving certain Fourier coefficients of cusp forms and Eisenstein series, for these functions. In this thesis we develop the…

In this paper, we continue the study in \cite{MiaoWZ:NLS:3d Combined} to show the scattering and blow-up result of the solution for the nonlinear Schr\"{o}dinger equation with the energy below the threshold $m$ in the energy space…

We show that Shelah's Eventual Categoricity Conjecture follows from the existence of class many strongly compact cardinals. This is the first time the consistency of this conjecture has been proven. We do so by showing that every AEC with…

Let $Y$ be a closed $3$-manifold such that all flat $SU(2)$-connections on $Y$ are $non$-$degenerate$. In this article, we prove a Uhlenbeck-type compactness theorem on $Y$ for stable flat $SL(2,\mathbb{C})$ connections satisfying an…

We answer a question of Krueger by obtaining -- from countably many Mahlo cardinals -- a model where there is a disjoint stationary sequence on $\aleph_{n+2}$ for every $n\in\omega$. In that same model, the notions of being internally…

A cardinal $\lambda$ satisfies a property P robustly if, whenever $\mathbb{Q}$ is a forcing poset and $|\mathbb{Q}|^+ < \lambda$, $\lambda$ satisfies P in $V^{\mathbb{Q}}$. We study the extent to which certain reflection properties of large…