Related papers: On a theorem of Shapiro
We present a discrete formulation of the Kane-Mele $\mathbb{Z}_2$ invariant that is manifestly gauge-independent and quantized.
In [5], Hjorth proved that for every countable ordinal $\alpha$, there exists a complete $\mathcal{L}_{\omega_1,\omega}$-sentence $\phi_\alpha$ that has models of all cardinalities less than or equal to $\aleph_\alpha$, but no models of…
In this paper, we show that a partitioned formula \phi is dependent if and only if \phi has uniform definability of types over finite partial order indiscernibles. This generalizes our result from a previous paper [1]. We show this by…
In this note we generalize and prove a recent conjecture of Varchenko concerning the number of critical points of a (multivalued) meromorphic function $\phi$ on an algebraic manifold. Under certain conditions, this number turns out to…
Parikh theorem was originally stated and proved by Rohkit Parikh in MIT research report in 1961. Many different proofs of this classical theorems were produced then; our goal is to give another proof using Chomsky-Schutzenberger…
We derive author's discrete forms of the Beckman-Quarles theorem from the definability results of Raphael M. Robinson.
It was shown by Chen, Xu and Yin that completely bounded Fourier multipliers on noncommutative $L_p$-spaces of quantum tori $\mathbb T^d_\theta$ do not depend on the parameter $\theta$. We establish that the situation is somehow different…
We prove the rational HK-conjecture for a large class of transformation groupoids in the case when the relevant action has torsion-free stabilizers. A revised version of the rational HK-conjecture in the case of (possibly) torsion…
We investigate an extension of ZFC set theory (in an extended language) that stipulates the existence of a proper class of indiscernibles over the universe. One of the main results of the paper shows that the purely set-theoretical…
We give a new proof of a theorem of B.M. Bredihin which was originally proved by extending Linnik's solution, via his dispersion method, of a problem of Hardy and Littlewood.
The theory of difference-differential fields of characteristic zero has a model-companion denoted by $\it DCFA$. Previously we proved a weak version of Zilber's dichotomy for $\it DCFA$. In this paper we use arc spaces techniques as…
The Ax-Kochen Theorem is a purely algebraic statement about the zeros of homogeneous polynomials over the p-adic numbers, but it was originally proved using techniques from mathematical logic. This document, the author's undergraduate…
Boris Shapiro and Michael Shapiro have a conjecture concerning the Schubert calculus and real enumerative geometry and which would give infinitely many families of zero-dimensional systems of real polynomials (including families of…
The implementation of the 't Hooft alpha-gauge in the symmetrically subtracted massive gauge theory based on the nonlinearly realized SU(2) gauge group is discussed. The gauge independence of the self-mass of the gauge bosons is proven by…
Given a correspondence $V$ between a connected Shimura variety $S$, a commutative connected algebraic group $G$, and $n \in \mathbb{N}$, we prove that the $V$-images of any $n$ special points on $S$ outside a proper Zariski closed subset…
We study Kim-independence over arbitrary sets. Assuming that forking satisfies existence, we establish Kim's lemma for Kim-dividing over arbitrary sets in an NSOP$_{1}$ theory. We deduce symmetry of Kim-independence and the independence…
In this paper we construct an entire function of two variables having the property that its values and its partial derivatives of any order at any distinct algebraic points are algebraically independent. Such an entire function is generated…
In this paper we show that the value at zero of the zeta function of the Laplacian on the non-commutative two torus, endowed with its canonical conformal structure, is independent of the choice of the volume element (Weyl factor) given by a…
This paper answers three questions posed by the first author. In Theorem 2.6 we show that the family of strong measure zero subsets of {}^{omega_1}2 is 2^{aleph_1}-additive under GMA and CH. In Theorem 3.1 we prove that the generalized…
We introduce the notion of BMT independence, allowing us to take arbitrary mixtures of boolean, monotone, and tensor independence and generalizing the notion of BM independence of Wysoczanski. Pair-wise independence relations are encoded…