$THRM theorem

Latest papers

1. The existence of small defining polynomials for number fields math.NT · 14 Oct · 1 hit

   …classes and archimedean scalings, for which we make critical use of Hecke's formula and the subconvexity theorem of Michel and~Venkatesh. Our proof does not use the Quasi-Riemann Hypothesis.

2. Every Gromov elliptic domain is meromorphically pseudoconvex math.CV · 14 Oct · 1 hit

   …to being Oka and Stein, and also to being Oka and admitting a complete K\"ahler metric. This complements a theorem of Matsumura and the author that every weakly pseudoconvex Oka manifold admitting a positive line…

3. Proof of the Penrose Conjecture for Maximally Parameterized Initial Data Sets math.DG · 14 Oct · 1 hit

   …Penrose inequality to its Riemannian counterpart. The all-dimensional conclusion uses the Riemannian Penrose theorem of Bi-Zhu [6], together with a minimizing enclosure argument that allows singular boundaries. More…

4. The quasi-convex Rockafellar theorem math.OC · 14 Oct · 3 hits

   …of a convex function, and characterized the maximal ones. We establish the quasi-convex analogue of this theorem, with no assumption on the operator: in any separable Banach space, a setting we show to be sharp,…

5. Uniform $L^2$-bounds for the $n$-th Calder\'on commutator on Lipschitz graphs math.AP · 14 Oct · 1 hit

   …Calder\'on commutator and $C$ is an absolute constant. The essential tool is the Coifman--McIntosh--Meyer theorem, applied to a holomorphic family of complex curves, together with the Cauchy integral formula on a…

6. Cheng's Theorem in the Spectral Setting math.DG · 14 Oct · 2 hits

   We prove a maximal diameter rigidity theorem for closed 3-dimensional Riemannian manifolds under a spectral lower bound for the Ricci curvature.…

7. What Does Disagreement Mean? A Semantic Identifiability Frontier for Pairwise Preference Learning cs.GT · 14 Oct · 2 hits

   …and non-binary mass $\alpha_q$. Under the anonymous binary channel, we prove an exact semantic fiber theorem: $\mu_q$ is point-identified, whereas $(\tau_q, \alpha_q)$ vary over an explicit feasible region…

8. Intersecting families of loose spanning hypertrees math.CO · 14 Oct · 1 hit

   …sharp and is $O_{b,t}(n^{2-b})r_t(n)$. The proofs combine exact forest enumeration with the intersection theorems of Kupavskii for spread families.