12,676 research outputs found

    Verifying proofs in constant depth

    Get PDF
    In this paper we initiate the study of proof systems where verification of proofs proceeds by NC circuits. We investigate the question which languages admit proof systems in this very restricted model. Formulated alternatively, we ask which languages can be enumerated by NC functions. Our results show that the answer to this problem is not determined by the complexity of the language. On the one hand, we construct NC proof systems for a variety of languages ranging from regular to NP-complete. On the other hand, we show by combinatorial methods that even easy regular languages such as Exact-OR do not admit NC proof systems. We also present a general construction of proof systems for regular languages with strongly connected NFA's

    Variational approach for walking solitons in birefringent fibres

    Get PDF
    We use the variational method to obtain approximate analytical expressions for the stationary pulselike solutions in birefringent fibers when differences in both phase velocities and group velocities between the two components and rapidly oscillating terms are taken into account. After checking the validity of the approximation we study how the soliton pulse shape depends on its velocity and nonlinear propagation constant. By numerically solving the propagation equation we have found that most of these stationary solutions are stable.Comment: LaTeX2e, uses graphicx package, 23 pages with 8 figure

    Symmetry energy of warm nuclear systems

    Full text link
    The temperature dependence of the symmetry energy and symmetry free energy coefficients of infinite nuclear matter and of finite nuclei is investigated. For infinite matter, both these coefficients are found to have a weaker dependence on temperature at densities close to saturation; at low but homogeneous densities, the temperature dependence becomes stronger. For finite systems, different definitions of symmetry energy coefficients are encountered in the literature yielding different values. A resolution to this problem is suggested from a global liquid-drop-inspired fit of the energies and free energies of a host of nuclei covering the entire periodic table. The hot nucleus is modeled in a subtracted finite-temperature-Thomas-Fermi framework, with dynamical surface phonon coupling to nucleonic motion plugged in. Contrary to infinite nuclear matter, a substantial change in the symmetry energy coefficients is observed for finite nuclei with temperature.Comment: 12 pages, including 11 figures, appearing in special issue of EPJ-A on Nuclear Symmetry Energ
    • …
    corecore