Related papers: Condensation for Mouse Pairs
We extend the normalization results of the author's paper "Full normalization for transfinite stacks" [5] to mice at the level of $\kappa^+$-supercompactness: given a normal iteration strategy $\Sigma$ for such a mouse $M$, with both $M$…
We prove convergence of symmetric diffusions on Wiener spaces by using stopping times arguments and capacity techniques. The drifts of the diffusions can be singular, we require the densities of the processes to be neither bounded from…
This is a survey of recent advances in commutative algebra, especially in mixed characteristic, obtained by using the theory of perfectoid spaces. An explanation of these techniques and a short account of the author's proof of the direct…
We settle the fusion product decomposition theorem for higher-level affine Demazure modules for the cases $E^{(1)}_{6, 7, 8}, F^{(1)}_4$ and $E^{(2)}_{6}$, thus completing the main theorems of Chari et al. (J. Algebra, 2016) and Kus et al.…
We present experiments, supported by mechanically detailed simulations, establishing bulk vapor-liquid condensation of a hard-bead fluid by a tiny population of orientable motile grains that self-assembles into a moving polarized monolayer.…
We study the dynamics of condensation of the inclusion process on a one-dimensional periodic lattice in the thermodynamic limit, generalising recent results on finite lattices for symmetric dynamics. Our main focus is on totally asymmetric…
Mixture of experts (MoE) models are widely applied for conditional probability density estimation problems. We demonstrate the richness of the class of MoE models by proving denseness results in Lebesgue spaces, when inputs and outputs…
We prove some injectivity theorems. Our proof depends on the theory of mixed Hodge structures on cohomology groups with compact support. Our injectivity theorems would play crucial roles in the minimal model theory for higher-dimensional…
We present an effective field theory formulation for a class of condensed matter systems with crystalline structures for which some of the discrete symmetries of the underlying crystal survive the long distance limit, up to mesoscopic…
We study models M of set theory that are "condensable", in the sense that there is an "ordinal" v of M such that the rank initial segment of M determined by v is both isomorphic to M, and also an elementary submodel of M for infinitary…
Four-particle correlations in fermion systems at finite temperatures are investigated with special attention to the formation of a condensate. Instead of the instability of the normal state with respect to the onset of pairing described by…
Condensation of fluctuations is an interesting phenomenon conceptually distinct from condensation on average. One stricking feature is that, contrary to what happens on average, condensation of fluctuations may occurr even in the absence of…
We provide a proof of the union-closed sets conjecture, by means of a suitable refinement of the breakthrough entropy-approach introduced by Gilmer. The novelty here is to consider a convex combination of $A$ and $A\cup B$, where $A,B$ are…
Well-founded fixed points have been used in several areas of knowledge representation and reasoning and to give semantics to logic programs involving negation. They are an important ingredient of approximation fixed point theory. We study…
We consider the Asakura-Oosawa model of hard sphere colloids and ideal polymers in contact with a porous matrix modeled by immobilized configurations of hard spheres. For this ternary mixture a fundamental measure density functional theory…
Lattice power-counting is extended to QCD with staggered fermions. As preparation, the difficulties encountered by Reisz's original formulation of the lattice power-counting theorem are illustrated. One of the assumptions that is used in…
We present a new criterion, based on commutator methods, for the strong mixing property of unitary representations of topological groups equipped with a proper length function. Our result generalises and unifies recent results on the strong…
We study whether fine discretization (i.e., terracing) of continuous pair interactions, when used in combination with first-order mean-spherical approximation theory, can lead to a simple and general analytical strategy for predicting the…
A brief survey of the author and collaborators' work in compressive sensing applications to continuous imaging models.
We describe a quantitative construction of almost-normal diffeomorphisms between embedded orientable manifolds with boundary to be used in the study of geometric variational problems with stratified singular sets. We then apply this…