Related papers: Invariant types in NIP theories
We study the supremal $p$-negative type of finite metric spaces. An explicit expression for the supremal $p$-negative type $\wp (X,d)$ of a finite metric space $(X,d)$ is given in terms its associated distance matrix, from which the…
We construct some examples of polynomial maps over finite fields that admit subvarieties with a peculiar property: every geometric point is mapped to a fixed point by some iteration of the map, while the whole subvariety is not. Several…
The use of geometric invariants has recently played an important role in the solution of classification problems in non-commutative ring theory. We construct geometric invariants of non-commutative projectivizations, a significant class of…
We prove the existence of good smooth integral models of Shimura varieties of Hodge type in arbitrary unramified mixed characteristic $(0,p)$. As a first application we provide a smooth solution (answer) to a conjecture (question) of…
We use geometric invariant theory (GIT) to construct a large class of compactifications of the moduli space M_{0,n}. These compactifications include many previously known examples, as well as many new ones. As a consequence of our GIT…
We develop an invariant theory of quasi-split $\imath$quantum groups $\mathbf{U}_n^\imath$ of type AIII on a tensor space associated to $\imath$Howe dualities. The first and second fundamental theorems for $\mathbf{U}_n^\imath$-invariants…
We settle some open problems in the special case of groups in o-minimal structures, such as the equality of G^00 and G^000 and the equivalence of definable amenability and existence of a type with bounded orbit. We prove almost exactness of…
These expository notes are dedicated to the study of the topology of configuration spaces of manifolds. We give detailed computations of many invariants, including the fundamental group of the configuration spaces of $\mathbb{R}^2$, the…
Bernoulli-$p$ thinning has been well-studied for point processes. Here we consider three other cases: (1) sequences $(X_1,X_2,...)$; (2) gaps of such sequences $(X_{n+1}-X_1)_{n\in\mathbb{N}}$; (3) partition structures. For the first case…
The existence of conservative quasipolynomial (QP) maps is investigated. A classification is given for dimensions two and three, and the analytical solution of the former case is constructed. General properties of n-dimensional QP…
The structure of covariant instruments is studied and a general structure theorem is derived. A detailed characterization is given to covariant instruments in the case of an irreducible representation of a locally compact group.
We show a sharp conformally invariant gap theorem for Yang-Mills connections in dimension 4 by exploiting an associated Yamabe-type problem.
The purpose of this paper is to derive the analogue of Lebesgue-Radon-Nikodym theorem with respect to $p$-adic $q$-invariant distribution on $\Bbb Z_p$ which is defined by author in [1].
Combining two results from machine learning theory we prove that a formula is NIP if and only if it satisfies uniform definability of types over finite sets (UDTFS). This settles a conjecture of Laskowski.
We study toroidal orbifold models with topologically invariant terms in the path integral formalism and give physical interpretations of the terms from an operator formalism point of view. We briefly discuss a possibility of a new class of…
We determine the general scalar potential consistent with (p,q) supersymmetry in two-dimensional non-linear sigma models with torsion, generalizing previous results for special cases. We thereby find many new supersymmetric sigma models…
A new approach to the semantics of identity types in intensional Martin-L\"of type theory is proposed, assuming only a category with finite limits and an interval. The specification of \emph{extensional} identity types in the original…
We show quantitative versions of classic results in discrete geometry, where the size of a convex set is determined by some non-negative function. We give versions of this kind for the selection theorem of B\'ar\'any, the existence of weak…
It is shown how the theory of the fields can be constructed in a consistent way in quantized spaces. All constructions are connected with unitary irreducible representations of real forms of six dimensional rotation algebras O(1,5), O(2,4),…
Termination analysis of linear loops plays a key r\^{o}le in several areas of computer science, including program verification and abstract interpretation. Already for the simplest variants of linear loops the question of termination…