相关论文: Large ordinals

This paper focuses on the problem of topological equivalence of functions with isolated critical points on the boundary of a compact surface $M$ which are also isolated critical points of their restrictions to the boundary. This class of…

We study $m$-linear homogeneous rough singular integral operators $\mathcal{L}_{\Omega}$ associated with integrable functions $\Omega$ on $\mathbb{S}^{mn-1}$ with mean value zero. We prove boundedness for $\mathcal{L}_{\Omega}$ from…

We introduce the logics GLP(\Lambda), a generalization of Japaridze's polymodal provability logic GLP(\omega) where \Lambda is any linearly ordered set representing a hierarchy of provability operators of increasing strength. We shall…

This paper is concerned at the minimization fundamental gap problem for a class of two-dimensional degenerate sub-elliptic operators. We establish existence results for weak solutions, Sobolev embedding theorem and spectral theory of…

We introduce notions of open-string vertex algebra, conformal open-string vertex algebra and variants of these notions. These are ``open-string-theoretic,'' ``noncommutative'' generalizations of the notions of vertex algebra and of…

We point out a gap in Shelah's proof of the following result: $\mathbf{Claim}$ Let $K$ be an abstract elementary class categorical in unboundedly many cardinals. Then there exists a cardinal $\lambda$ such that whenever $M, N \in K$ have…

Given a cardinal $\kappa$ that is $\lambda$-supercompact for some regular cardinal $\lambda\geq\kappa$ and assuming $\GCH$, we show that one can force the continuum function to agree with any function $F:[\kappa,\lambda]\cap\REG\to\CARD$…

A class K of structures is controlled if, for all cardinals lambda, the relation of L_{infty,lambda}-equivalence partitions K into a set of equivalence classes (as opposed to a proper class). We prove that the class of doubly transitive…

We consider a compact Riemannian manifold with boundary with a certain class of critical singular Riemannian metrics that are singular at the boundary. The corresponding Laplace-Beltrami operator can be seen as a Grushin-type operator plus…

Let $\Omega$ be an open set in Euclidean space $\R^m,\, m=2,3,...$, and let $v_{\Omega}$ denote the torsion function for $\Omega$. It is known that $v_{\Omega}$ is bounded if and only if the bottom of the spectrum of the Dirichlet Laplacian…

We introduce axiomatically the ring $\bf{Z}_\kappa$ of the Euclidean integers, that can be viewed as the ``integral part" of the field $\mathbb{E}$ of Euclidean numbers of [4], where the transfinite sum of ordinal indexed $\kappa$-sequences…

In this paper, the authors consider the endpoint estimates for the maximal Calder\'on commutator defined by $$T_{\Omega,\,a}^*f(x)=\sup_{\epsilon>0}\Big|\int_{|x-y|>\epsilon}\frac{\Omega(x-y)}{|x-y|^{d+1}} \big(a(x)-a(y)\big)f(y)dy\Big|,$$…

Let $G=(V,E)$ be a locally finite graph, $\Omega\subset V$ be a bounded domain, $\Delta$ be the usual graph Laplacian, and $\lambda_1(\Omega)$ be the first eigenvalue of $-\Delta$ with respect to Dirichlet boundary condition. Using the…

We prove a \emph{query complexity} lower bound on rank-one principal component analysis (PCA). We consider an oracle model where, given a symmetric matrix $M \in \mathbb{R}^{d \times d}$, an algorithm is allowed to make $T$ \emph{exact}…

The Johnson-Lindenstrauss lemma is a fundamental result in probability with several applications in the design and analysis of algorithms in high dimensional geometry. Most known constructions of linear embeddings that satisfy the…

We consider the map $T_{\alpha,\beta}(x):= \beta x + \alpha \mod 1$, which admits a unique probability measure of maximal entropy $\mu_{\alpha,\beta}$. For $x \in [0,1]$, we show that the orbit of $x$ is $\mu_{\alpha,\beta}$-normal for…

Recent developments in the categorical foundations of universal algebra have given fresh impetus to an understanding of the lambda calculus coming from categorical logic: an interpretation is a semi-closed algebraic theory. Scott's…

Let $\Omega$ be an open set. We consider the supremal functional \[ \tag{1} \label{1} \ \ \ \ \ \ \mathrm{E}_\infty (u,\mathcal{O})\, :=\, \| \mathrm D u \|_{L^\infty( \mathcal{O} )}, \ \ \ \mathcal{O} \subseteq \Omega \text{ open}, \]…

A well ordering < of a topological space X is "left-separating" if $\{x'\in X: x'< x\}$ is closed in X for any x in X. A space is "left-separated" if it has a left-separating well-ordering. The left-separating type, $ord_l(X)$, of a…

We introduce the notion of a `pure` Abstract Elementary Class to block trivial counterexamples. We study classes of models of bipartite graphs and show: Main Theorem (cf. Theorem 3.5.2 and Corollary 3.5.6): If $(\lambda_i : i \le…