Related papers: Saturated ideals from Laver collapses
We prove the transformation formula of Donaldson-Thomas (DT) invariants counting two dimensional torsion sheaves on Calabi-Yau 3-folds under flops. The error term is described by the Dedekind eta function and the Jacobi theta function, and…
Attempts to apply quantum collapse theories to Cosmology and cosmic inflation are reviewed. These attempts are motivated by the fact that the theory of cosmological perturbations of quantum-mechanical origin suffers from the single outcome…
We introduce a novel notion of pasting shapes for iterated Segal spaces which classify particular arrangements of composing cells in d-uple Segal spaces. Using this formalism, we then continue to prove a pasting theorem for these iterated…
While not obvious from its initial motivation in linear algebra, there are many context where iterated traces can be defined. In this paper we prove a very general theorem about iterated 2-categorical traces. We show that many…
In this paper we study resolutions which arise as iterated mapping cones.
A strictly truncated (weak-coupling) perturbation theory is applied to the attractive Holstein and Hubbard models in infinite dimensions. These results are qualified by comparison with essentially exact Monte Carlo results. The second order…
The concept of informal mathematical proof considered in intuitionism is apparently vulnerable to a version of the liar paradox. However, a careful reevaluation of this concept reveals a subtle error whose correction blocks the…
We prove the $l^2$ Decoupling Conjecture for compact hypersurfaces with positive definite second fundamental form and also for the cone. This has a wide range of important consequences. One of them is the validity of the Discrete…
The standard inflationary account for the origin of cosmic structure is, without a doubt, extremely successful. However, it is not fully satisfactory as has been argued in [A. Perez, H. Sahlmann, and D. Sudarsky, Class. Quantum Grav., 23,…
We study leading singularities of scattering amplitudes which are obtained as residues of an integral over a Grassmannian manifold. We recursively do the transformation from twistors to momentum twistors and obtain an iterative formula for…
We point out that a concise proof of Theorem 2 in the article, 'On a quadratic estimate of Shafer' by L. Zhu contains a small mistake. Correcting this mistake and giving alternative proofs of Theorem 2 is the main aim of this note.
We consider a simple model of higher order, functional computation over the booleans. Then, we enrich the model in order to encompass non-termination and unrecoverable errors, taken separately or jointly. We show that the models so defined…
We construct integrability-preserving deformations of the integrable $\sigma$-model coupling together $N$ copies of the Principal Chiral Model. These deformed theories are obtained using the formalism of affine Gaudin models, by applying…
A weaker form of the multiplicity conjecture of Herzog, Huneke, and Srinivasan is proven for two classes of monomial ideals: quadratic monomial ideals and squarefree monomial ideals with sufficiently many variables relative to the Krull…
We prove some iteration theorems for a certain class of $\kappa^+$-cc forcing posets.
We resolve the monodromy conjecture, holomorphy conjecture, and embedded Nash problem for Pfaffian ideals.
We show that the iterated images of a Jacobian pair stabilize; that is, the k-th iterates of a polynomial map of complex two-space to itself with a nonzero constant Jacobian determinant all have the same image for sufficiently large k. More…
The main result of this paper is a partial answer to [math.LO/9909115, Problem 5.5]: a finite iteration of Universal Meager forcing notions adds generic filters for many forcing notions determined by universality parameters. We also give…
We study variants of classical Laver forcing defined from co-ideals and analyze their combinatorial properties in terms of the Kat\v{e}tov order. In particular, we give a Kat\v{e}tov-theoretic characterization of when Laver forcing…
We study when a union of saturated models is saturated in the framework of tame abstract elementary classes (AECs) with amalgamation. We prove: $\mathbf{Theorem}$ If $K$ is a tame AEC with amalgamation satisfying a natural definition of…