English
Related papers

Related papers: Some NIP-like phenomena in NTP$_{2}$

200 papers

For manifolds with a distinguished asymptotically flat end, we prove a density theorem which produces harmonic asymptotics on the distinguished end, while allowing for points of incompleteness (or negative scalar curvature) away from this…

Differential Geometry · Mathematics 2022-11-14 Dan A. Lee , Martin Lesourd , Ryan Unger

This paper defines and discusses the dimension notion of topological slow entropy of any subset for Z^d actions. Also, the notion of measure-theoretic slow entropy for Z^d actions is presented, which is modified from Brin and Katok [2].…

Dynamical Systems · Mathematics 2011-11-28 De-Peng Kong , Er-Cai Chen

We prove several preservation theorems for NATP and furnish several examples of NATP. First, we prove preservation of NATP for the parametrization and sum of the theories of Fra\"{i}ss\'{e} limits of Fra\"{i}ss\'{e} classes satisfying…

Logic · Mathematics 2024-08-13 JinHoo Ahn , Joonhee Kim , Hyoyoon Lee , Junguk Lee

In this short note it is shown that all invariant metrics and functions of bounded $\mathcal C^2$-smooth domain coincide on an open non-empty subset.

Complex Variables · Mathematics 2012-12-13 Lukasz Kosinski

In this paper, we study the smoothness of the density function of absolutely continuous measures supported on random self-similar sets on the line. We show that the natural projection of a measure with symbolic local dimension greater than…

Dynamical Systems · Mathematics 2025-05-20 Balázs Bárány , Michał Rams

We investigate the class of FHP theories, i.e. theories of structures in which all definable families of sets satisfy the Fractional Helly Property (and its variants) from combinatorics. FHP theories generalize NIP and form a new subclass…

Logic · Mathematics 2026-05-19 Artem Chernikov , Chuyin Jiang

In this paper, some general properties of Shannon information measures are investigated over sets of probability distributions with restricted marginals. Certain optimization problems associated with these functionals are shown to be…

Information Theory · Computer Science 2020-08-13 Mladen Kovačević , Ivan Stanojević , Vojin Šenk

In this paper, we present a new smoothing approach to solve general nonlinear complementarity problems. Under the $P_0$ condition on the original problems, we prove some existence and convergence results . We also present an error estimate…

Optimization and Control · Mathematics 2010-06-11 Mounir Haddou , Patrick Maheux

This paper is concerned with the question of when a theory is refutable with certainty on the basis of sequence of primitive observations. Beginning with the simple definition of falsifiability as the ability to be refuted by some finite…

Logic · Mathematics 2022-09-27 Reid Dale

We study the existence of solutions arising from the modelling of elastic materials using generalized theories of continua. In view of some evidence from physics of meta-materials we focus our effort on two recent nonstandard relaxed…

Analysis of PDEs · Mathematics 2019-02-12 Sebastian Owczarek , Ionel-Dumitrel Ghiba , Marco-Valerio d'Agostino , Patrizio Neff

We show that for $\Pi_2$-properties of second or third order arithmetic as formalized in appropriate natural signatures the apparently weaker notion of forcibility overlaps with the standard notion of consistency (assuming large cardinal…

Logic · Mathematics 2021-01-20 Matteo Viale

We investigate Runge-type approximation theorems for solutions to the 3D unsteady Stokes system. More precisely, we establish that on any compact set with connected complement, local smooth solutions to the 3D unsteady Stokes system can be…

Analysis of PDEs · Mathematics 2024-09-02 Mitsuo Higaki , Franck Sueur

In the work by M. C. Lee, A. Naber, and R. Neumayer a beautiful $\varepsilon$-regularity theorem is proved under small negative scalar curvature and entropy bounds. In that paper, the $d_p$ distance for Riemannian manifolds is introduced…

Differential Geometry · Mathematics 2024-06-25 Brian Allen , Edward Bryden

We note a parallel between some ideas of stable model theory and certain topics in finite combinatorics related to the sum-product phenomenon. For a simple linear group G, we show that a finite subset X with |X X \^{-1} X |/ |X| bounded is…

Logic · Mathematics 2011-05-17 Ehud Hrushovski

This paper is a sequel to [1] and considers definability in differential-henselian monotone fields with c-map and angular component map. We prove an Equivalence Theorem among whose consequences are a relative quantifier reduction and an NIP…

Logic · Mathematics 2018-06-11 Tigran Hakobyan

A classical theorem in conformal geometry states that on a manifold with non-positive Yamabe invariant, a smooth metric achieving the invariant must be Einstein. In this work, we extend it to the singular case and show that in all…

Differential Geometry · Mathematics 2021-11-19 Man-Chun Lee , Luen-Fai Tam

Two-dimensional topological insulators protected by nonlocal symmetries or with fragile topology usually do not admit robust in-gap edge modes due to the incompatibility between the symmetry and the boundary. Here, we show that in a…

Mesoscale and Nanoscale Physics · Physics 2026-01-07 Kang Yang , Fei Song , Piet W. Brouwer

Tree properties are introduced by Shelah, and it is well-known that a theory has TP (the tree property) if and only if it has TP$_1$ or TP$_2$. In any simple theory (i.e., a theory not having TP), forking supplies a good independence notion…

Logic · Mathematics 2019-07-05 Enrique Casanovas , Byunghan Kim

Spaces of quasi-invariant measures supplied with different topologies are studied. Their embeddings, projective decompositions, conditions for their metrizability are investigated. Theorems about convergence of nets of quasi-invariant…

Probability · Mathematics 2016-06-08 Sergey Victor Ludkowski

Let T be an NIP L-theory and T' be an enrichment. We give a sufficient condition on T' for the underlying L-type of any definable (respectively invariant) type over a model of T' to be definable (respectively invariant) as an L-type.…

Logic · Mathematics 2016-12-08 Silvain Rideau , Pierre Simon
‹ Prev 1 8 9 10 Next ›