Baby Skyrme models for a class of potentials

We consider a class of (2+1) dimensional baby Skyrme models with potentials that have more than one vacum. These potentials are generalisation of old and new baby Skyrme models;they involve more complicated dependence on phi_3.We find that when the potential is invariant under phi_3 -> -phi_3 the configuration corresponding to the baby skyrmions lying "on top of each other" are the minima of the energy. However when the potential breaks this symmetry the lowest field configurations correspond to separated baby skyrmions. We compute the energy distributions for skyrmions of degrees between one and eight and discuss their geometrical shapes and binding energies. We also compare the 2-skyrmion states for these potentials. Most of our work has been performed numerically with the model being formulated in terms of three real scalar fields (satisfying one constraint).Comment: LaTeX, 14 pages, 10 figure

Fermions, Skyrmions and the 3-Sphere

This paper investigates a background charge one Skyrme field chirally coupled to light fermions on the 3-sphere. The Dirac equation for the system commutes with a generalised angular momentum or grand spin. It can be solved explicitly for a Skyrme configuration given by the hedgehog form. The energy spectrum and degeneracies are derived for all values of the grand spin. Solutions for non-zero grand spin are each characterised by a set of four polynomials. The paper also discusses the energy of the Dirac sea using zeta function regularization.Comment: 19 pages, 2 figure

Prostate involvement during sexually transmitted infections as measured by prostate-specific antigen concentration

Background:We investigated prostate involvement during sexually transmitted infections by measuring serum prostate-specific antigen (PSA) as a marker of prostate infection, inflammation, and/or cell damage in young, male US military members.Methods:We measured PSA before and during infection for 299 chlamydia, 112 gonorrhoea, and 59 non-chlamydial, non-gonococcal urethritis (NCNGU) cases, and 256 controls.Results:Chlamydia and gonorrhoea, but not NCNGU, cases were more likely to have a large rise (⩾40%) in PSA than controls (33.6%, 19.1%, and 8.2% vs 8.8%, P<0.0001, 0.021, and 0.92, respectively).Conclusion:Chlamydia and gonorrhoea may infect the prostate of some infected men

Dynamical Toroidal Hopfions in a Ferromagnet with Easy-Axis Anisotropy

Three-dimensional toroidal precession solitons with a nonzero Hopf index, which uniformly move along the anisotropy axis in a uniaxial ferromagnet, have been found. The structure and existence region of the solitons have been numerically determined by solving the Landau-Lifshitz equation.Comment: 6 pages, 4 figure

Splitting Proofs for Interpolation

We study interpolant extraction from local first-order refutations. We present a new theoretical perspective on interpolation based on clearly separating the condition on logical strength of the formula from the requirement on the com- mon signature. This allows us to highlight the space of all interpolants that can be extracted from a refutation as a space of simple choices on how to split the refuta- tion into two parts. We use this new insight to develop an algorithm for extracting interpolants which are linear in the size of the input refutation and can be further optimized using metrics such as number of non-logical symbols or quantifiers. We implemented the new algorithm in first-order theorem prover VAMPIRE and evaluated it on a large number of examples coming from the first-order proving community. Our experiments give practical evidence that our work improves the state-of-the-art in first-order interpolation.Comment: 26th Conference on Automated Deduction, 201