相关论文: The Genericity Conjecture

Bell's theorem is a statement by which averages obtained from specific types of statistical distributions must conform to a family of inequalities. These models, in accordance with the EPR argument, provide for the simultaneous existence of…

We present a notion of forcing that can be used, in conjunction with other results, to show that there is a Martin-L\"of random set X such that X does not compute 0' and X computes every K-trivial set.

Does relativistic gravity provide arguments against the existence of a preferred frame? Our answer is negative. We define a viable theory of gravity with preferred frame. In this theory, the EEP holds exactly, and the Einstein equations of…

We present two related conjectures, arising in work on i-matchings in random r-regular bipartite graphs. The conjectures themselves are easily stated and involve only basic properties of convergent power series. One formulation involves…

In this article we adapt the existing account of class-forcing over a ZFC model to a model $(M,\mathcal{C})$ of Morse-Kelley class theory. We give a rigorous definition of class-forcing in such a model and show that the Definability Lemma…

We prove a Generic Vanishing Theorem for coherent sheaves on an abelian variety over an algebraically closed field $k$. When $k=\CC$ this implies a conjecture of Green and Lazarsfeld.

There are many notions of rank in multilinear algebra: tensor rank, partition rank, slice rank, and strength (or Schmidt rank) are a few examples. Typically the rank $\le r$ locus is not Zariski closed, and understanding the closure (the…

In this note we elaborate on a recent counter-example to the Nelson-Seiberg theorem and to its generalizations. We provide sufficient conditions for the existence of such counter-examples, finding new ones. We claim that these…

We present some results about generics for computable Mathias forcing. The $n$-generics and weak $n$-generics in this setting form a strict hierarchy as in the case of Cohen forcing. We analyze the complexity of the Mathias forcing…

Let G be a two generator subgroup of PSL(2,C). The Jorgensen number J(G) of G is defined by J(G)=inf{ |tr^2 A-4|+|tr[A,B]-2| ; G=<A,B>}. If G is a non-elementary Kleinian group, then J(G) >= 1. This inequality is called Jorgensen's…

In a recent paper, Gonek, Graham, and Lee introduced a notion of the Lindel\"of hypothesis (LH) for general sequences which coincides with the usual Lindel\"of hypothesis for the Riemann zeta function in the case of the sequence of positive…

The experimental results that test Bell's inequality have found strong evidence suggesting that there are nonlocal aspects in nature. Evidently, these nonlocal effects, which concern spacelike separated regions, create an enormous tension…

We establish a generalization of Littlewood's criterion on $L^\alpha$-flatness by proving that there is no $L^\alpha$-flat polynomials, $\alpha>0$, within the class of analytic polynomials on the unit circle of the form $…

It is well known to generalize the meagre ideal replacing aleph_0 by a (regular) cardinal lambda > aleph_0 and requiring the ideal to be lambda^+-complete. But can we generalize the null ideal? In terms of forcing, this means finding a…

Given a countable transitive model of set theory and a partial order contained in it, there is a natural countable Borel equivalence relation on generic filters over the model; two are equivalent if they yield the same generic extension. We…

We study general nilpotent algebras. The results obtained are new even for the classical algebras, such as associative or Lie algebras. We single out certain generic properties of finite-dimensional algebras, mostly over infinite fields.…

We introduce a general notion of "genericity" for countable subsets of a space with Borel measure, and apply it to the set of vertices in the curve complex of a surface S, interpreted as subset of the space of projective measured…

We say that a real X is n-generic relative to a perfect tree T if X is a path through T and for all Sigma^0_n (T) sets S, there exists a number k such that either X|k is in S or for all tau in T extending X|k we have tau is not in S. A real…

In this paper, we establish a real closed analogue of Bertini's theorem. Let $R$ be a real closed field and $X$ a formally real integral algebraic variety over $R$. We show that if the zero locus of a nonzero global section $s$ of an…

Let $G$ be a semisimple, simply connected algebraic group defined and split over a prime field ${\mathbb F}_p$ of positive characteristic. For a positive integer $r$, let $G_r$ be the $r$th Frobenius kernel of $G$. Let $Q$ be a projective…