Phase diagram of the three-dimensional Hubbard model at half filling

We investigate the phase diagram of the three-dimensional Hubbard model at half filling using quantum Monte Carlo (QMC) simulations. The antiferromagnetic Neel temperature T_N is determined from the specific heat maximum in combination with finite-size scaling of the magnetic structure factor. Our results interpolate smoothly between the asymptotic solutions for weak and strong coupling, respectively, in contrast to previous QMC simulations. The location of the metal-insulator transition in the paramagnetic phase above T_N is determined using the electronic compressibility as criterion.Comment: 6 pages, 6 figures, to be published in Eur. Phys. J. B (2000

Propositional logic with short-circuit evaluation: a non-commutative and a commutative variant

Short-circuit evaluation denotes the semantics of propositional connectives in which the second argument is evaluated only if the first argument does not suffice to determine the value of the expression. Short-circuit evaluation is widely used in programming, with sequential conjunction and disjunction as primitive connectives. We study the question which logical laws axiomatize short-circuit evaluation under the following assumptions: compound statements are evaluated from left to right, each atom (propositional variable) evaluates to either true or false, and atomic evaluations can cause a side effect. The answer to this question depends on the kind of atomic side effects that can occur and leads to different "short-circuit logics". The basic case is FSCL (free short-circuit logic), which characterizes the setting in which each atomic evaluation can cause a side effect. We recall some main results and then relate FSCL to MSCL (memorizing short-circuit logic), where in the evaluation of a compound statement, the first evaluation result of each atom is memorized. MSCL can be seen as a sequential variant of propositional logic: atomic evaluations cannot cause a side effect and the sequential connectives are not commutative. Then we relate MSCL to SSCL (static short-circuit logic), the variant of propositional logic that prescribes short-circuit evaluation with commutative sequential connectives. We present evaluation trees as an intuitive semantics for short-circuit evaluation, and simple equational axiomatizations for the short-circuit logics mentioned that use negation and the sequential connectives only.Comment: 34 pages, 6 tables. Considerable parts of the text below stem from arXiv:1206.1936, arXiv:1010.3674, and arXiv:1707.05718. Together with arXiv:1707.05718, this paper subsumes most of arXiv:1010.367

High-Quality Shared-Memory Graph Partitioning

Partitioning graphs into blocks of roughly equal size such that few edges run between blocks is a frequently needed operation in processing graphs. Recently, size, variety, and structural complexity of these networks has grown dramatically. Unfortunately, previous approaches to parallel graph partitioning have problems in this context since they often show a negative trade-off between speed and quality. We present an approach to multi-level shared-memory parallel graph partitioning that guarantees balanced solutions, shows high speed-ups for a variety of large graphs and yields very good quality independently of the number of cores used. For example, on 31 cores, our algorithm partitions our largest test instance into 16 blocks cutting less than half the number of edges than our main competitor when both algorithms are given the same amount of time. Important ingredients include parallel label propagation for both coarsening and improvement, parallel initial partitioning, a simple yet effective approach to parallel localized local search, and fast locality preserving hash tables

Conditions for detecting CP violation via neutrinoless double beta decay

Neutrinoless double beta decay data together with information on the absolute neutrino masses obtained from the future KATRIN experiment and/or astrophysical measurements give a chance to find CP violation in the lepton sector with Majorana neutrinos. We derive and discuss necessary conditions which make discovery of such CP violation possible for the future neutrino oscillation and mass measurements data.Comment: 15 pages, 4 figures, RevTe

Double beta decay versus cosmology: Majorana CP phases and nuclear matrix elements

We discuss the relation between the absolute neutrino mass scale, the effective mass measured in neutrinoless double beta decay, and the Majorana CP phases. Emphasis is placed on estimating the upper bound on the nuclear matrix element entering calculations of the double beta decay half life. Consequently, one of the Majorana CP phases can be constrained when combining the claimed evidence for neutrinoless double beta decay with the neutrino mass bound from cosmology.Comment: 11 pages, 3 figure

Light curing time reduction: in vitro evaluation of new intensive light-emitting diode curing units

The aim of the present in vitro study was to establish the minimum necessary curing time to bond stainless steel brackets (Mini Diamond Twin™) using new, intensive, light-emitting diode (LED) curing units. Seventy-five bovine primary incisors were divided into five equal groups. A standard light curing adhesive (Transbond™ XT) was used to bond the stainless steel brackets using different lamps and curing times. Two groups were bonded using an intensive LED curing lamp (Ortholux™ LED) for 5 and 10 seconds. Two more groups were bonded using another intensive LED curing device (Ultra-Lume™ LED 5) also for 5 and 10 seconds. Finally, a high-output halogen lamp (Optilux™ 501) was used for 40 seconds to bond the final group, which served as a positive control. All teeth were fixed in hard acrylic and stored for 24 hours in water at 37°C. Shear bond strength (SBS) was measured using an Instron testing machine. Weibull distribution and analysis of variance were used to test for significant differences. The SBS values obtained were significantly different between groups (P < 0.001). When used for 10 seconds, the intensive LED curing units achieved sufficient SBS, comparable with the control. In contrast, 5 seconds resulted in significantly lower SBS. The adhesive remnant index (ARI) was not significantly affected. A curing time of 10 seconds was found to be sufficient to bond metallic brackets to incisors using intensive LED curing units. These new, comparatively inexpensive, curing lamps seem to be an advantageous alternative to conventional halogen lamps for bonding orthodontic bracket

Nuclear signatures in high-harmonic generation from laser-driven muonic atoms

High-harmonic generation from muonic atoms exposed to intense laser fields is considered. Our particular interest lies in effects arising from the finite nuclear mass and size. We numerically perform a fully quantum mechanical treatment of the muon-nucleus dynamics by employing modified soft-core and hard-core potentials. It is shown that the position of the high-energy cutoff of the harmonic spectrum depends on the nuclear mass, while the height of the spectral plateau is sensitive to the nuclear radius. We also demonstrate that $\gamma$-ray harmonics can be generated from muonic atoms in ultrastrong VUV fields, which have potential to induce photo-nuclear reactions.Comment: 5 pages, 3 figure

Subsumption between queries to object-oriented databases

Most work on query optimization in relational and object-oriented databases has concentrated on tuning algebraic expressions and the physical access to the database contents. The attention to semantic query optimization, however, has been restricted due to its inherent complexity. We take a second look at semantic query optimization in object-oriented databases and find that reasoning techniques for concept languages developed in Artificial Intelligence apply to this problem because concept languages have been tailored for efficiency and their semantics is compatible with class and query definitions in object-oriented databases. We propose a query optimizer that recognizes subset relationships between a query and a view (a simpler query whose answer is stored) in polynomial time

Spectroscopic investigations of a Ti:Tm:LiNbO3 waveguide for photon-echo quantum memory

We report the fabrication and characterization of a Ti$^{4+}$:Tm$^{3+}$:LiNbO$_3$ optical waveguide in view of photon-echo quantum memory applications. In particular, we investigated room- and cryogenic-temperature properties via absorption, spectral hole burning, photon echo, and Stark spectroscopy. We found radiative lifetimes of 82 $\mu$s and 2.4 ms for the $^3$H$_4$ and $^3$F$_4$ levels, respectively, and a 44% branching ratio from the $^3$H$_{4}$ to the $^3$F$_4$ level. We also measured an optical coherence time of 1.6 $\mu$s for the $^3$H$_6\leftrightarrow{}^3$H$_4$, 795 nm wavelength transition, and investigated the limitation of spectral diffusion to spectral hole burning. Upon application of magnetic fields of a few hundred Gauss, we observed persistent spectral holes with lifetimes up to seconds. Furthermore, we measured a linear Stark shift of 25 kHz$\cdot$cm/V. Our results are promising for integrated, electro-optical, waveguide quantum memory for photons.Comment: 11 pages, 14 figure