RMF models with σ\sigma-scaled hadron masses and couplings for description of heavy-ion collisions below 2A GeV

Within the relativistic mean-field framework with hadron masses and coupling constants dependent on the mean scalar field we study properties of nuclear matter at finite temperatures, baryon densities and isospin asymmetries relevant for heavy-ion collisions at laboratory energies below 2$A$ GeV. Previously constructed (KVORcut-based and MKVOR-based) models for the description of the cold hadron matter, which differ mainly by the density dependence of the nucleon effective mass and symmetry energy, are extended for finite temperatures. The baryon equation of state, which includes nucleons and $\Delta$ resonances is supplemented by the contribution of the pion gas described either by the vacuum dispersion relation or with taking into account the $s$-wave pion-baryon interaction. Distribution of the charge between components is found. Thermodynamical characteristics on $T-n$ plane are considered. The energy-density and entropy-density isotherms are constructed and a dynamical trajectory of the hadron system formed in heavy-ion collisions is described. The effects of taking into account the $\Delta$ isobars and the $s$-wave pion-nucleon interaction on pion differential cross sections, pion to proton and $\pi^-/\pi^+$ ratios are studied. The liquid-gas first-order phase transition is studied within the same models in isospin-symmetric and asymmetric systems. We demonstrate that our models yield thermodynamic characteristics of the phase transition compatible with available experimental results. In addition, we discuss the scaled variance of baryon and electric charge in the phase transition region. Effect of the non-zero surface tension on spatial redistribution of the electric charge is considered for a possible application to heavy-ion collisions at low energies.Comment: 26 pages, 17 figures; matches the submitted versio

Probability Theory Compatible with the New Conception of Modern Thermodynamics. Economics and Crisis of Debts

We show that G\"odel's negative results concerning arithmetic, which date back to the 1930s, and the ancient "sand pile" paradox (known also as "sorites paradox") pose the questions of the use of fuzzy sets and of the effect of a measuring device on the experiment. The consideration of these facts led, in thermodynamics, to a new one-parameter family of ideal gases. In turn, this leads to a new approach to probability theory (including the new notion of independent events). As applied to economics, this gives the correction, based on Friedman's rule, to Irving Fisher's "Main Law of Economics" and enables us to consider the theory of debt crisis.Comment: 48p., 14 figs., 82 refs.; more precise mathematical explanations are added. arXiv admin note: significant text overlap with arXiv:1111.610

Towards optimization of quantum circuits

Any unitary operation in quantum information processing can be implemented via a sequence of simpler steps - quantum gates. However, actual implementation of a quantum gate is always imperfect and takes a finite time. Therefore, seeking for a short sequence of gates - efficient quantum circuit for a given operation, is an important task. We contribute to this issue by proposing optimization of the well-known universal procedure proposed by Barenco et.al [1]. We also created a computer program which realizes both Barenco's decomposition and the proposed optimization. Furthermore, our optimization can be applied to any quantum circuit containing generalized Toffoli gates, including basic quantum gate circuits.Comment: 10 pages, 11 figures, minor changes+typo

On the superfluidity of classical liquid in nanotubes

In 2001, the author proposed the ultra second quantization method. The ultra second quantization of the Schr\"odinger equation, as well as its ordinary second quantization, is a representation of the N-particle Schr\"odinger equation, and this means that basically the ultra second quantization of the equation is the same as the original N-particle equation: they coincide in 3N-dimensional space. We consider a short action pairwise potential V(x_i -x_j). This means that as the number of particles tends to infinity, $N\to\infty$, interaction is possible for only a finite number of particles. Therefore, the potential depends on N in the following way: $V_N=V((x_i-x_j)N^{1/3})$. If V(y) is finite with support $\Omega_V$, then as $N\to\infty$ the support engulfs a finite number of particles, and this number does not depend on N. As a result, it turns out that the superfluidity occurs for velocities less than $\min(\lambda_{\text{crit}}, \frac{h}{2mR})$, where $\lambda_{\text{crit}}$ is the critical Landau velocity and R is the radius of the nanotube.Comment: Latex, 20p. The text is presented for the International Workshop "Idempotent and tropical mathematics and problems of mathematical physics", Independent University of Moscow, Moscow, August 25--30, 2007 and to be published in the Russian Journal of Mathematical Physics, 2007, vol. 15, #

Solution of the Hyperon Puzzle within a Relativistic Mean-Field Model

The equation of state of cold baryonic matter is studied within a relativistic mean-field model with hadron masses and coupling constants depending on the scalar field. All hadron masses undergo a universal scaling, whereas the coupling constants are scaled differently. The appearance of hyperons in dense neutron star interiors is accounted for, however the equation of state remains sufficiently stiff if a reduction of the $\phi$ meson mass is included. Our equation of state matches well the constraints known from analyses of the astrophysical data and the particle production in heavy-ion collisions.Comment: 7 pages, 4 figures; replaced with the published versio

Reachability in Higher-Order-Counters

Higher-order counter automata (\HOCS) can be either seen as a restriction of higher-order pushdown automata (\HOPS) to a unary stack alphabet, or as an extension of counter automata to higher levels. We distinguish two principal kinds of \HOCS: those that can test whether the topmost counter value is zero and those which cannot. We show that control-state reachability for level $k$ \HOCS with $0$-test is complete for \mbox{$(k-2)$}-fold exponential space; leaving out the $0$-test leads to completeness for \mbox{$(k-2)$}-fold exponential time. Restricting \HOCS (without $0$-test) to level $2$, we prove that global (forward or backward) reachability analysis is \PTIME-complete. This enhances the known result for pushdown systems which are subsumed by level $2$ \HOCS without $0$-test. We transfer our results to the formal language setting. Assuming that \PTIME \subsetneq \PSPACE \subsetneq \mathbf{EXPTIME}, we apply proof ideas of Engelfriet and conclude that the hierarchies of languages of \HOPS and of \HOCS form strictly interleaving hierarchies. Interestingly, Engelfriet's constructions also allow to conclude immediately that the hierarchy of collapsible pushdown languages is strict level-by-level due to the existing complexity results for reachability on collapsible pushdown graphs. This answers an open question independently asked by Parys and by Kobayashi.Comment: Version with Full Proofs of a paper that appears at MFCS 201