Related papers: A new model for all $C$-sequences are trivial
The problem of computing minimally sparse solutions of under-determined linear systems is $NP$ hard in general. Subsets with extra properties, may allow efficient algorithms, most notably problems with the restricted isometry property (RIP)…
We study the replica-symmetric saddle point equations for the Ising perceptron with Gaussian disorder and margin $\kappa\ge 0$. We prove that for each $\kappa\ge 0$ there is a critical capacity $\alpha_c(\kappa)=\frac{2}{\pi\,\mathbb…
We consider Riemannian $n$-manifolds $M$ with nontrivial $\kappa$-nullity "distribution" of the curvature tensor $R$, namely, the variable rank distribution of tangent subspaces to $M$ where $R$ coincides with the curvature tensor of a…
The general intractability of the constraint satisfaction problem has motivated the study of restrictions on this problem that permit polynomial-time solvability. One major line of work has focused on structural restrictions, which arise…
The last decade has shed some light on theoretical properties such as their consistency for regression tasks. In the current paper, we propose a new class of very simple learners based on so-called naive trees. These naive trees partition…
This work is a part of my upcoming thesis [7]. We establish an equiconsistency between (1) weak indestructibility for all $\kappa +2$-degrees of strength for cardinals $\kappa $ in the presence of a proper class of strong cardinals, and (2)…
Let $G$ be a countable abelian group. We construct a unital simple projectionless C*-algebra $A$ with a unique tracial state, that satisfies $(K_0(A), [1_A]) \cong (\Z, 1) $, $K_1(A) \cong G$, absorbs the Jiang-Su algebra tensorially, and…
We introduce new formulations of aperiodicity and cofinality for finitely aligned higher-rank graphs \Lambda, and prove that C*(\Lambda) is simple if and only if \Lambda is aperiodic and cofinal. The main advantage of our versions of…
We develop a family of simple rank one theories built over quite arbitrary sequences of finite hypergraphs. (This extends an idea from the recent proof that Keisler's order has continuum many classes, however, the construction does not…
Let K be an abstract elementary class of models. Assume that there are less than the maximal number of models in K_{\lambda^{+n}} (namely models in K of power \lambda^{+n}) for all n. We provide conditions on K_\lambda, that imply the…
We prove that some natural "outside" property is equivalent (for a first order class) to being stable. For a model, being resplendent is a strengthening of being kappa-saturated. Restricting ourselves to the case kappa > |T| for…
The standard model fermion spectrum, including a right handed neutrino, can be obtained as a zero-mode of the Dirac operator on a space which is the product of complex projective spaces of complex dimension two and three. The construction…
Martinez-Rivillas and de Queiroz gave extensional Kan semantics for the untyped lambda-calculus and later constructed the concrete K-infinity homotopy-model. The two main mathematical results of the present paper are these. First, we show…
We study the relation between the kappa-symmetric formulation of the supermembrane in eleven dimensions and the pure-spinor version. Recently, Berkovits related the Green-Schwarz and pure-spinor superstrings. In this paper, we attempt to…
We generalize to arbitrary dimension our previous construction of simply connected weakly-special but not special varieties. We show that they satisfy the function field and complex analytic part of Campana's conjecture. Moreover, we give…
We define and give explicit construction of the universal tree-graded space with a given collection of pieces. We apply that to proving uniqueness of asymptotic cones of relatively hyperbolic groups whose peripheral subgroups have unique…
The strong tree property and ITP (also called the super tree property) are generalizations of the tree property that characterize strong compactness and supercompactness up to inaccessibility. That is, an inaccessible cardinal $\kappa$ is…
Several variants of the Halpern-L\"auchli Theorem for trees of uncountable height are investigated. For $\kappa$ weakly compact, we prove that the various statements are all equivalent. We show that the strong tree version holds for one…
We prove that the $\Phi^4$ theory is trivial for any values of the bare coupling constant $\lambda$ thus extending previous results referring to very strong couplings to the full range of values for this parameter. The method is based on…
This paper finally fully elaborates the tree pulldown method used by one of us (Harrington) to settle McLaughlin's conjecture. This method enables the construction of a computable tree $T_0$ whose paths are incomparable over $0^{(\alpha)}$…