Real-Time Vector Automata

We study the computational power of real-time finite automata that have been augmented with a vector of dimension k, and programmed to multiply this vector at each step by an appropriately selected $k \times k$ matrix. Only one entry of the vector can be tested for equality to 1 at any time. Classes of languages recognized by deterministic, nondeterministic, and "blind" versions of these machines are studied and compared with each other, and the associated classes for multicounter automata, automata with multiplication, and generalized finite automata.Comment: 14 page

Bounded Counter Languages

We show that deterministic finite automata equipped with $k$ two-way heads are equivalent to deterministic machines with a single two-way input head and $k-1$ linearly bounded counters if the accepted language is strictly bounded, i.e., a subset of $a_1^*a_2^*... a_m^*$ for a fixed sequence of symbols $a_1, a_2,..., a_m$. Then we investigate linear speed-up for counter machines. Lower and upper time bounds for concrete recognition problems are shown, implying that in general linear speed-up does not hold for counter machines. For bounded languages we develop a technique for speeding up computations by any constant factor at the expense of adding a fixed number of counters

Nonperturbative QCD Phenomenology and Light Quark Physics

Recent progress in modeling QCD for hadron physics through truncated Dyson-Schwinger equations is reviewed. Special emphasis is put upon comparison of dressed quark propagators and the dressed quark-gluon vertex with lattice-QCD results.Comment: 6 pages, 7 figures. Invited talk at the QCD Down Under workshop at the CSSM/University of Adelaide, March 200

Covariant QCD Modeling of Light Meson Physics

We summarize recent progress in soft QCD modeling based on the set of Dyson--Schwinger equations truncated to ladder-rainbow level. This covariant approach to hadron physics accommodates quark confinement and implements the QCD one-loop renormalization group behavior. We compare the dressed quark propagator, pseudoscalar and vector meson masses as a function of quark mass, and the rho -> pi pi coupling to recent lattice-QCD data. The error in the Gell-Mann--Oakes--Renner relation with increasing quark mass is quantified by comparison to the exact pseudoscalar mass relation as evaluated within the ladder-rainbow Dyson-Schwinger model.Comment: Presented at the International School on Nuclear Physics, 24th course: Quarks in Nuclei, Erice, Sicily, September 2002; to be published in Prog. Part. Nucl. Phys.; 6 pages, 6 fig

Order of Two-Dimensional Isotropic Dipolar Antiferromagnets

The question of the existence of order in two-dimensional isotropic dipolar Heisenberg antiferromagnets is studied. It is shown that the dipolar interaction leads to a gap in the spin-wave energy and a nonvanishing order parameter. The resulting finite N\'eel-temperature is calculated for a square lattice by means of linear spin-wave theory.Comment: 10 pages, REVTEX, 1 figure available upon request, TUM-CP-93-0

Maximal length of trapped one-dimensional Bose-Einstein condensates

I discuss a Bogoliubov inequality for obtaining a rigorous bound on the maximal axial extension of inhomogeneous one-dimensional Bose-Einstein condensates. An explicit upper limit for the aspect ratio of a strongly elongated, harmonically trapped Thomas-Fermi condensate is derived.Comment: 6 pages; contributed paper for Quantum Fluids and Solids, Trento 2004, to appear in JLT

Structural transitions and nonmonotonic relaxation processes in liquid metals

Structural transitions in melts as well as their dynamics are considered. It is supposed that liquid represents the solution of relatively stable solid-like locally favored structures (LFS) in the surrounding of disordered normal-liquid structures. Within the framework of this approach the step changes of liquid Co viscosity are considered as liquid-liquid transitions. It is supposed that this sort of transitions represents the cooperative medium-range bond ordering, and corresponds to the transition of the "Newtonian fluid" to the "structured fluid". It is shown that relaxation processes with oscillating-like time behavior ($\omega \sim 10^{-2}$~$s^{-1}$) of viscosity are possibly close to this point

Oscillations of a rapidly rotating annular Bose-Einstein condensate

A time-dependent variational Lagrangian analysis based on the Gross-Pitaevskii energy functional serves to study the dynamics of a metastable giant vortex in a rapidly rotating Bose-Einstein condensate. The resulting oscillation frequencies of the core radius reproduce the trends seen in recent experiments [Engels et al., Phys. Rev. Lett. 90, 170405 (2003)], but the theoretical values are smaller by a factor approximately 0.6-0.8.Comment: 7 pages, revtex