Related papers: Condensation for Mouse Pairs
We develop the theory of meta-iteration trees, that is, iteration trees whose base "model" is itself an ordinary iteration tree. We prove a comparison theorem for meta-iteration strategies parallel to the one for ordinary iteration…
We develop the fine structure theory of operator-premice. These are a generalization of standard premice, in which an abstract operator $F$ is used to form the successor steps in the internal hierarchy of the premouse, instead of Jensen's…
We prove a combination theorem for PD(n)-pairs.
Condensation is characterized with a single macroscopic condensate whose mass is proportional to a system size $N$. We demonstrate how important particle interactions are in condensation phenomena. We study a modified version of the…
We show that spontaneous density segregation in dense systems of aligning circle swimmers is a condensation phenomenon at odds with the phase separation scenarios usually observed in two-dimensional active matter. The condensates, which…
The results for meson condensation in the literature vary markedly depending on whether one uses chiral perturbation theory or the current-algebra-plus-PCAC approach. To elucidate the origin of this discrepancy, we re-examine the role of…
We discuss general aspects of the possibility of Bose condensation of diquark pairs in systems of dense matter. Lattice field theory simulations are presented for model four-fermion theories which are expected to manifest the phenomenon,…
We establish coupled fixed point theorems for contraction involving rational expressions in partially ordered metric spaces.
In this paper we prove a series of matching theorems for two sets of Coxeter generators of a finitely generated Coxeter group that identify common features of the two sets of generators. As an application, we describe an algorithm for…
We use Koll\'ar's gluing theory to prove the contraction theorem for generalized pairs. In particular, we show that we can run the MMP for any generalized log canonical pairs.
We prove the even isomorphism theorem for Coxeter groups
The theory for condensation of higher fermionic clusters is developed. Fully selfconsistent nonlinear equations for the quartet order parameter in strongly coupled fermionic systems are established and solved. The breakdown of the…
In this paper, we propose some algorithms for the simulation of the distribution of certain diffusions conditioned on terminal point. We prove that the conditional distribution is absolutely continuous with respect to the distribution of…
We offer strong evidence that the recent observations by M. Greiner, C. Regal, and D. Jin and by MIT group are signatures of a fermion superfluid in the strongly interacting regime made up of large fermion pairs. Our conclusions are based…
We show that (i) the standard fine structural properties for premice follow from normal iterability (whereas the classical proof relies on iterability for stacks of normal trees), and (ii) every mouse which is finitely generated above its…
The Discrete Morse Theory of Forman appeared to be useful for providing filtration-preserving reductions of complexes in the study of persistent homology. So far, the algorithms computing discrete Morse matchings have only been used for…
We prove a general duality theorem for tangle-like dense objects in combinatorial structures such as graphs and matroids. This paper continues, and assumes familiarity with, the theory developed in [6]
We give here a general, best-possible, and smoothly-derived form of the Master Theorem for divide-and-conquer recurrences.
I prove preservation theorems for countable support iteration of proper forcing concerning certain classes of capacities and submeasures. New examples of forcing notions and connections with measure theory are included.
We state and prove a new closure theorem closely related to the classical closure theorems of Poncelet and Steiner. Along the way, we establish a number of theorems concerning conic sections.