Classical-Quantum Mixing in the Random 2-Satisfiability Problem

Classical satisfiability (SAT) and quantum satisfiability (QSAT) are complete problems for the complexity classes NP and QMA which are believed to be intractable for classical and quantum computers, respectively. Statistical ensembles of instances of these problems have been studied previously in an attempt to elucidate their typical, as opposed to worst case, behavior. In this paper we introduce a new statistical ensemble that interpolates between classical and quantum. For the simplest 2-SAT/2-QSAT ensemble we find the exact boundary that separates SAT and UNSAT instances. We do so by establishing coincident lower and upper bounds, in the limit of large instances, on the extent of the UNSAT and SAT regions, respectively.Comment: Updated reference

Improved determination of hadron matrix elements using the variational method

The extraction of hadron form factors in lattice QCD using the standard two- and three-point correlator functions has its limitations. One of the most commonly studied sources of systematic error is excited state contamination, which occurs when correlators are contaminated with results from higher energy excitations. We apply the variational method to calculate the axial vector current gA and compare the results to the more commonly used summation and two-exponential fit methods. The results demonstrate that the variational approach offers a more efficient and robust method for the determination of nucleon matrix elements.Comment: 7 pages, 6 figures, talk presented at Lattice 2015, PoS (LATTICE2015

New oral anticoagulants and their reversal agents

Atrial fibrillation is a commonly encountered pathology in medical practice, and its prevalence has shown a continuous rise over the past years. Atrial fibrillation has a significant impact on patients\u27 quality of life, not only due to the standard anticoagulant treatment with vitamin K antagonists that require close monitoring and dose adjustment, but also due to the fragile equilibrium between hemorrhagic and thrombotic risks. The introduction of new oral anticoagulants (NOACs) in the treatment guidelines for atrial fibrillation has improved the quality of life, as NOACs do not require close monitoring or dose adjustments. However, even if the safety profile of the NOACs regarding the hemorrhagic risk is superior to vitamin K antagonists, the problem raised by an unexpected hemorrhage (e.g. severe hemorrhage after an accident) and the need for efficient hemostasis in a chronic anticoagulated patient has remained unsolved. To find a solution for this problem, reversal agents for NOACs have been developed and tested, and two of them, idarucizumab and andexanet-alpha, have already been approved by the FDA, thus making NOACs increasingly appealing as a choice of anticoagulation treatment

Universal behaviour of ideal and interacting quantum gases in two dimensions

I discuss ideal and interacting quantum gases obeying general fractional exclusion statistics. For systems with constant density of single-particle states, described in the mean field approximation, the entropy depends neither on the microscopic exclusion statistics, nor on the interaction. Such systems are called {\em thermodynamically equivalent} and I show that the microscopic reason for this equivalence is a one-to-one correspondence between the excited states of these systems. This provides a method, different from the bosonisation technique, to transform between systems of different exclusion statistics. In the last section the macroscopic aspects of this method are discussed. In Appendix A I calculate the fluctuation of the ground state population of a condensed Bose gas in grandcanonical ensemble and mean field approximation, while in Appendix B I show a situation where although the system exhibits fractional exclusion properties on microscopic energy intervals, a rigorous calculation of the population of single particle states reveals a condensation phenomenon. This also implies a malfunction of the usual and simplified calculation technique of the most probable statistical distributions.Comment: About 14 journal pages, with 1 figure. Changes: Body of paper: same content, with slight rephrasing. Apendices are new. In the original submission I just mentioned the condensation, which is now detailed in Appendix B. They were intended for a separate paper. Reason for changes: rejection from Phys. Rev. Lett., resubmission to J. Phys. A: Math. Ge

Provenance and Paleogeography of the 25-17 Ma Rainbow Gardens Formation: Evidence for Tectonic Activity at Ca. 19 Ma and Internal Drainage rather than Throughgoing Paleorivers on the Southwestern Colorado Plateau

The paleogeographic evolution of the Lake Mead region of southern Nevada and northwest Arizona is crucial to understanding the geologic history of the U.S. Southwest, including the evolution of the Colorado Plateau and formation of the Grand Canyon. The ca. 25–17 Ma Rainbow Gardens Formation in the Lake Mead region, the informally named, roughly coeval Jean Conglomerate, and the ca. 24–19 Ma Buck and Doe Conglomerate southeast of Lake Mead hold the only stratigraphic evidence for the Cenozoic pre-extensional geology and paleogeography of this area. Building on prior work, we present new sedimentologic and stratigraphic data, including sandstone provenance and detrital zircon data, to create a more detailed paleogeographic picture of the Lake Mead, Grand Wash Trough, and Hualapai Plateau region from 25 to 18 Ma. These data confirm that sediment was sourced primarily from Paleozoic strata exposed in surrounding Sevier and Laramide uplifts and active volcanic fields to the north. In addition, a distinctive signal of coarse sediment derived from Proterozoic crystalline basement first appeared in the southwestern corner of the basin ca. 25 Ma at the beginning of Rainbow Gardens Formation deposition and then prograded north and east ca. 19 Ma across the southern half of the basin. Regional thermochronologic data suggest that Cretaceous deposits likely blanketed the Lake Mead region by the end of Sevier thrusting. Post-Laramide northward cliff retreat off the Kingman/Mogollon uplifts left a stepped erosion surface with progressively younger strata preserved northward, on which Rainbow Gardens Formation strata were deposited. Deposition of the Rainbow Gardens Formation in general and the 19 Ma progradational pulse in particular may reflect tectonic uplift events just prior to onset of rapid extension at 17 Ma, as supported by both thermochronology and sedimentary data. Data presented here negate the California and Arizona River hypotheses for an “old” Grand Canyon and also negate models wherein the Rainbow Gardens Formation was the depocenter for a 25–18 Ma Little Colorado paleoriver flowing west through East Kaibab paleocanyons. Instead, provenance and paleocurrent data suggest local to regional sources for deposition of the Rainbow Gardens Formation atop a stripped low-relief western Colorado Plateau surface and preclude any significant input from a regional throughgoing paleoriver entering the basin from the east or northeast

Nucleon matrix elements using the variational method in lattice QCD

The extraction of hadron matrix elements in lattice QCD using the standard two- and three-point correlator functions demands careful attention to systematic uncertainties. One of the most commonly studied sources of systematic error is contamination from excited states. We apply the variational method to calculate the axial vector current $g_{A}$, the scalar current $g_{S}$ and the quark momentum fraction \left of the nucleon and we compare the results to the more commonly used summation and two-exponential fit methods. The results demonstrate that the variational approach offers a more efficient and robust method for the determination of nucleon matrix elements.Comment: 14 pages, 21 figure

Integration of DFDs into a UML - based model-driven engineering approach

The main aim of this article is to discuss how the functional and the object-oriented views can be inter-played to represent the various modeling perspectives of embedded systems.We discuss whether the object-oriented modeling paradigm, the predominant one to develop software at the present time, is also adequate for modeling embedded software and how it can be used with the functional paradigm.More specifically, we present how the main modeling tool of the traditional structured methods, data flow diagrams, can be integrated in an object-oriented development strategy based on the unified modeling language. The rationale behind the approach is that both views are important for modeling purposes in embedded systems environments, and thus a combined and integrated model is not only useful, but also fundamental for developing complex systems. The approach was integrated in amodel-driven engineering process, where tool support for the models used was provided. In addition, model transformations have been specified and implemented to automate the process.We exemplify the approach with an IPv6 router case study.FEDER -Fundação para a Ciência e a Tecnologia(HH-02-383