Related papers: Invariant types in NIP theories
We study the dependence of geometric invariant theory quotients on the choice of a linearization. We show that, in good cases, two such quotients are related by a flip in the sense of Mori, and explain the relationship with the minimal…
We introduce geometric invariants for $p$-groups of class $2$ and exponent $p$. We report on their effectiveness in distinguishing among 5-generator $p$-groups of this type.
An operator theoretic approach to invariant integration theory on non-compact quantum spaces is introduced on the example of the quantum (n,1)-matrix ball O_q(Mat_{n,1}). In order to prove the existence of an invariant integral, operator…
We define a simple dependent type theory and prove that its well-formed types correspond exactly to finite inverse categories.
We study perturbative aspects of noncommutative field theories. This work is arranged in two parts. First, we review noncommutative field theories in general and discuss both canonical and path integral quantization methods. In the second…
In this paper, we present finite topological type theorems for open manifolds with non-negative Ricci curvature, under almost maximal local rewinding volume. Unlike previous related research, our theorems remove the constraints of sectional…
Let $s_{ij}$ represent a tranposition in $S_n$. A polynomial $P$ in $\mathbb{Q}[X_n]$ is said to be $m$-quasiinvariant with respect to $S_n$ if $(x_i-x_j)^{2m+1}$ divides $(1-s_{ij})P$ for all $1 \leq i, j \leq n$. We call the ring…
We investigate the topology of the closure in a wonderful compactification of the set of unipotent-invariant bilinear forms.
The Linearization Theorem for proper Lie groupoids organizes and generalizes several results for classic geometries. Despite the various approaches and recent works on the subject, the problem of understanding invariant linearization…
A class of parametric functions formed by alternating compositions of multivariate polynomials and rectification style monomial maps is studied (the layer-wise exponents are treated as fixed hyperparameters and are not optimized). For this…
We introduce new polynomial invariants of a finite-dimensional semisimple and cosemisimple Hopf algebra A over a field by using the braiding structures of A. We investigate basic properties of the polynomial invariants including stability…
We introduce polynomial sets of $(p,q)$-Appell type and give some of their characterizations. The algebraic properties of the set of all polynomial sequences of $(p,q)$-Appell type are studied. Next, we give a recurrence relation and a…
We translate the equivariant decomposition theorem (in the case of a proper morphism of toric varieties) in to the language of combinatorially defined ``shifted minimal complexes''.
There exist NIP and non-NTP$_2$ theories satisfying all the following conditions: It is not o-minimal; All models are strongly locally o-minimal; It has a model which is an expansion of the linearly ordered abelian group over the reals…
We prove a multiple recurrence result for arbitrary measure-preserving transformations along polynomials in two variables of the form $m+p_i(n)$, with rationally independent $p_i$'s with zero constant term. This is in contrast to the single…
The theory of Topological Modular Forms suggests the existence of deformation invariants for two-dimensional supersymmetric field theories that are more refined than the standard elliptic genus. In this note we give a physical definition of…
This expository essay discusses a finite dimensional approach to dilation theory. How much of dilation theory can be worked out within the realm of linear algebra? It turns out that some interesting and simple results can be obtained. These…
A paraconsistent type theory (an extension of a fragment of intuitionistic type theory by adding opposite types) is here extended by adding co-function types. It is shown that, in the extended paraconsistent type system, the opposite type…
We give a definition of finitary type theories that subsumes many examples of dependent type theories, such as variants of Martin-L\"of type theory, simple type theories, first-order and higher-order logics, and homotopy type theory. We…
This survey reviews variational and iterative methods for reconstructing non-negative solutions of ill-posed problems in infinite-dimensional spaces. We focus on two classes of methods: variational methods based on entropy-minimization or…