English
Related papers

Related papers: Local reflection, definable elements and 1-provabi…

200 papers

We define twelve variants of a Reifenberg's affine approximation property, which are known to be connected with the singular sets of minimal surfaces. With this motivation we investigate the regularity of the sets possessing these. We…

Metric Geometry · Mathematics 2010-12-21 Amos N. Koeller

Let $F$ be a non-archimedean local field of characteristic not equal to 2. In this paper, we prove the local converse theorem for quasi-split $\O_{2n}(F)$ and $\SO_{2n}(F)$, via the description of the local theta correspondence between…

Number Theory · Mathematics 2025-12-16 Jaeho Haan , Yeansu Kim , Sanghoon Kwon

Motivated by the Polynomial Freiman-Ruzsa (PFR) Conjecture, we develop a theory of locality in sumsets, with applications to John-type approximation and sets with small doubling. First we show that if $A \subset \mathbb{Z}$ with $|A+A| \le…

Combinatorics · Mathematics 2024-03-05 Peter van Hintum , Peter Keevash

In this note we will discuss a new reflection principle which follows from the Proper Forcing Axiom. The immediate purpose will be to prove that the bounded form of the Proper Forcing Axiom implies both that 2^omega = omega_2 and that…

Logic · Mathematics 2013-10-08 Justin Tatch Moore

The Svenonius theorem describes the (first-order) definability in a structure in terms of permutations preserving the relations of elementary extensions of the structure. In the present paper we prove a version of this theorem using…

Logic · Mathematics 2016-05-17 A. L. Semenov , S. F. Soprunov

We investigate a separability criterion based on the computable cross-norm (CCNR), and a related quantity called the CCNR negativity. We introduce a reflected version of the CCNR negativity, and discuss its connection with other…

High Energy Physics - Theory · Physics 2023-10-04 Clément Berthiere , Gilles Parez

Laurent Berger attached a p-adic differential equation N_rig(M) with a Frobenius structure to an arbitrary de Rham (phi, Gamma)-module over a Robba ring. In this article, we compare the local epsilon conjecture for the cyclotomic…

Number Theory · Mathematics 2023-02-28 Tetsuya Ishida , Kentaro Nakamura

In this paper, we consider the Fefferman-Stein decomposition of $Q_{\alpha}(\mathbb{R}^{n})$ and give an affirmative answer to an open problem posed by M. Essen, S. Janson, L. Peng and J. Xiao in 2000. One of our main methods is to study…

Classical Analysis and ODEs · Mathematics 2016-01-13 Qixiang Yang , Tao Qian , Pengtao Li

We prove that every place of an algebraic function field F|K of arbitrary characteristic admits local uniformization in a finite extension F' of F. We show that F'|F can be chosen to be normal. If K is perfect and P is of rank 1, then…

Algebraic Geometry · Mathematics 2007-05-23 Franz-Viktor Kuhlmann

We consider random perturbations of discrete-time dynamical systems. We give sufficient conditions for the stochastic stability of certain classes of maps, in a strong sense. This improves the main result in J. F. Alves, V. Araujo, Random…

Dynamical Systems · Mathematics 2010-03-01 Jose F. Alves , Helder Vilarinho

A new density matrix and corresponding quantum kinetic equations are introduced for fermions undergoing coherent evolution either in time (coherent particle production) or in space (quantum reflection). A central element in our derivation…

High Energy Physics - Phenomenology · Physics 2009-02-02 Matti Herranen , Kimmo Kainulainen , Pyry Matti Rahkila

We prove a local minimizing property for strictly stable free-boundary minimal hypersurfaces in the relative current setting. Let $\Sigma^n$ be a compact, two-sided, properly embedded free-boundary minimal hypersurface in a compact…

Differential Geometry · Mathematics 2026-05-26 Xiaoxiang Jiao , Hangyue Zhu

Conditional copula models allow dependence structures to vary with observed covariates while preserving a separation between marginal behavior and association. We study the uniform asymptotic behavior of kernel-weighted local likelihood…

Statistics Theory · Mathematics 2026-01-06 Mathias Nthiani Muia

We introduce and consider the inner-model reflection principle, which asserts that whenever a statement $\varphi(a)$ in the first-order language of set theory is true in the set-theoretic universe $V$, then it is also true in a proper inner…

This is the last in a series of papers where we prove a conjecture of Deser and Schwimmer regarding the algebraic structure of ``global conformal invariants''; these are defined to be conformally invariant integrals of geometric scalars.…

Differential Geometry · Mathematics 2009-12-21 Spyros Alexakis

Strictly positive logics recently attracted attention both in the description logic and in the provability logic communities for their combination of efficiency and sufficient expressivity. The language of Reflection Calculus RC consists of…

Logic · Mathematics 2018-11-14 Lev D. Beklemishev

Invariance to nuisance transformations is one of the desirable properties of effective representations. We consider transformations that form a \emph{group} and propose an approach based on kernel methods to derive local group invariant…

Machine Learning · Computer Science 2017-05-25 Anant Raj , Abhishek Kumar , Youssef Mroueh , P. Thomas Fletcher , Bernhard Schölkopf

Let $G$ be a locally compact abelian topological group. For locally bounded measurable functions $\varphi: G\to\Bbb {C}$ we discuss notions of spectra for $\varphi$ relative to subalgebras of $L^{1}(G)$. In particular we study polynomials…

Functional Analysis · Mathematics 2013-06-05 B. Basit , A. J. Pryde

We consider $f(R)$ gravity theories which unify $R^n$ inflation and dark energy models. First, from the final Planck data of the cosmic microwave background, we obtain a condition, $1.977 < n < 2.003$. Next, under this constraint, we…

Cosmology and Nongalactic Astrophysics · Physics 2020-09-22 Mai Yashiki , Nobuyuki Sakai , Ryo Saito

We isolate a model-theoretic "standard-cut" phenomenon for true Pi0_1 sentences: if a model M satisfies ZFC + not-phi, then omega^M is not the standard omega, and any internal "witness" to not-phi is computationally inaccessible by…

Logic · Mathematics 2025-11-25 Yusei Fukumoto