3,844 research outputs found
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
Preparation and analysis of strain-free uranium surfaces for electron and x-ray diffraction analysis
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
- …