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, and results from measurements of both diquark two-point and one-point functions presented. Whilst inital results are promising, there remain systematic effects...

Let Es denote the lattice of Medvedev degrees of non-empty Π1 subsets of 2, and let Ew denote the lattice of Muchnik degrees of non-empty Π1 subsets of 2. We prove that the first-order theory of Es as a partial order is recursively isomorphic to the first-order theory of true arithmetic. Our coding of arithmetic in Es also shows that the Σ3-theory of Es as a lattice and the Σ4-theory of Es as a...

the present note arises from the author's talk at the conference ``ischia group theory 2014''. for subgroups $fle n$ of a group $g$ denote by $lat(f,n)$ the set of all subgroups of $n$, containing $f$. let $d$ be a subgroup of $g$. in this note we study the lattice $ll=lat(d,g)$ and the lattice $ll'$ of subgroups of $g$, normalized by $d$. we say that $ll$ satisfies sandwich classification theo...

We study a three dimensional Z(3)-symmetric effective theory of high temperature QCD. The exact lattice-continuum relations, needed in order to perform lattice simulations with physical parameters, are computed to order O(a 0) in lattice perturbation theory. Lattice simulations are performed to determine the phase structure of a subset of the parameter space. Z(3)-symmetric effective theory of ...

Introduction Never in the history of mathematics has a mathematical theory been the object of such vociferous vituperation as lattice theory. Dedekind, Jónsson, Kurosh, Malcev, Ore, von Neumann, Tarski, and most prominently Garrett Birkhoff have contributed a new vision of mathematics, a vision that has been cursed by a conjunction of misunderstandings, resentment, and raw prejudice. The hostil...

We study a three dimensional Z(3)-symmetric effective theory of high temperature QCD. The exact lattice-continuum relations, needed in order to perform lattice simulations with physical parameters, are computed to order O(a0) in lattice perturbation theory. Lattice simulations are performed to determine the phase structure of a subset of the parameter space. [email protected]

We study the strong coupling limit of the 2-flavor massless Schwinger model on a lattice using staggered fermions and the Hamiltonian approach to lattice gauge theories. Using the correspondence between the low-lying states of the 2-flavor strongly coupled lattice Schwinger model and the antiferromagnetic Heisenberg chain established in a previous paper, we explicitly compute the mass spectrum ...