Bounded Arithmetic in Free Logic

One of the central open questions in bounded arithmetic is whether Buss' hierarchy of theories of bounded arithmetic collapses or not. In this paper, we reformulate Buss' theories using free logic and conjecture that such theories are easier to handle. To show this, we first prove that Buss' theories prove consistencies of induction-free fragments of our theories whose formulae have bounded complexity. Next, we prove that although our theories are based on an apparently weaker logic, we can interpret theories in Buss' hierarchy by our theories using a simple translation. Finally, we investigate finitistic G\"odel sentences in our systems in the hope of proving that a theory in a lower level of Buss' hierarchy cannot prove consistency of induction-free fragments of our theories whose formulae have higher complexity

Pre-End-Stage Renal Disease Hemoglobin Variability Predicts Post-End-Stage Renal Disease Mortality in Patients Transitioning to Dialysis.

BackgroundHemoglobin variability (Hb-var) has been associated with increased mortality both in non-dialysis dependent chronic kidney disease (NDD-CKD) and end-stage renal disease (ESRD) patients. However, the impact of Hb-var in advanced NDD-CKD on outcomes after dialysis initiation remains unknown.MethodsAmong 11,872 US veterans with advanced NDD-CKD transitioning to dialysis between October 2007 through September 2011, we assessed Hb-var calculated from the residual SD of at least 3 Hb values during the last 6 months before dialysis initiation (prelude period) using within-subject linear regression models, and stratified into quartiles. Outcomes included post-transition all-cause, cardiovascular, and infection-related mortality, assessed in Cox proportional hazards models and adjusted for demographics, comorbidities, length of hospitalization, medications, estimated glomerular filtration rate (eGFR), type of vascular access, Hb parameters (baseline Hb [i.e., intercept] and change in Hb [i.e., slope]), and number of Hb measurements.ResultsHigher prelude Hb-var was associated with use of iron and antiplatelet agents, tunneled dialysis catheter use, higher levels of baseline Hb, change in Hb, eGFR, and serum ferritin. After multivariable adjustment, higher prelude Hb-var was associated with higher post-ESRD all-cause and infection-related mortality, but not cardiovascular mortality (adjusted hazard ratios [95% CI] for the highest [vs. lowest] quartile of Hb-var, 1.10 [1.02-1.19], 1.28 [0.93-1.75], and 0.93 [0.79-1.10], respectively).ConclusionsHigh pre-ESRD Hb-var is associated with higher mortality, particularly from infectious causes rather than cardiovascular causes. Further research is required to clarify the underlying mechanisms and true causal nature of the observed association

Universal Short-Time Dynamics in the Kosterlitz-Thouless Phase

We study the short-time dynamics of systems that develop ``quasi long-range order'' after a quench to the Kosterlitz-Thouless phase. With the working hypothesis that the ``universal short-time behavior'', previously found in Ising-like systems, also occurs in the Kosterlitz-Thouless phase, we explore the scaling behavior of thermodynamic variables during the relaxational process following the quench. As a concrete example, we investigate the two-dimensional $6$-state clock model by Monte Carlo simulation. The exponents governing the magnetization, the second moment, and the autocorrelation function are calculated. From them, by means of scaling relations, estimates for the equilibrium exponents $z$ and $\eta$ are derived. In particular, our estimates for the temperature-dependent anomalous dimension $\eta$ that governs the static correlation function are consistent with existing analytical and numerical results and, thus, confirm our working hypothesis.Comment: 16 pages, 9 postscript figures, REVTEX 3.0, submitted to Phys. Rev.

Chiral Polymerization in Open Systems From Chiral-Selective Reaction Rates

We investigate the possibility that prebiotic homochirality can be achieved exclusively through chiral-selective reaction rate parameters without any other explicit mechanism for chiral bias. Specifically, we examine an open network of polymerization reactions, where the reaction rates can have chiral-selective values. The reactions are neither autocatalytic nor do they contain explicit enantiomeric cross-inhibition terms. We are thus investigating how rare a set of chiral-selective reaction rates needs to be in order to generate a reasonable amount of chiral bias. We quantify our results adopting a statistical approach: varying both the mean value and the rms dispersion of the relevant reaction rates, we show that moderate to high levels of chiral excess can be achieved with fairly small chiral bias, below 10%. Considering the various unknowns related to prebiotic chemical networks in early Earth and the dependence of reaction rates to environmental properties such as temperature and pressure variations, we argue that homochirality could have been achieved from moderate amounts of chiral selectivity in the reaction rates.Comment: 15 pages, 6 figures, accepted for publication in Origins of Life and Evolution of Biosphere

Fine structure of the isoscalar giant quadrupole resonance in 40Ca due to Landau damping?

The fragmentation of the Isoscalar Giant Quadrupole Resonance (ISGQR) in 40Ca has been investigated in high energy-resolution experiments using proton inelastic scattering at E_p = 200 MeV. Fine structure is observed in the region of the ISGQR and its characteristic energy scales are extracted from the experimental data by means of a wavelet analysis. The experimental scales are well described by Random Phase Approximation (RPA) and second-RPA calculations with an effective interaction derived from a realistic nucleon-nucleon interaction by the Unitary Correlation Operator Method (UCOM). In these results characteristic scales are already present at the mean-field level pointing to their origination in Landau damping, in contrast to the findings in heavier nuclei and also to SRPA calculations for 40Ca based on phenomenological effective interactions, where fine structure is explained by the coupling to two-particle two-hole (2p-2h) states.Comment: Phys. Lett. B, in pres

Vectorlike Confinement at the LHC

We argue for the plausibility of a broad class of vectorlike confining gauge theories at the TeV scale which interact with the Standard Model predominantly via gauge interactions. These theories have a rich phenomenology at the LHC if confinement occurs at the TeV scale, while ensuring negligible impact on precision electroweak and flavor observables. Spin-1 bound states can be resonantly produced via their mixing with Standard Model gauge bosons. The resonances promptly decay to pseudo-Goldstone bosons, some of which promptly decay to a pair of Standard Model gauge bosons, while others are charged and stable on collider time scales. The diverse set of final states with little background include multiple photons and leptons, missing energy, massive stable charged particles and the possibility of highly displaced vertices in dilepton, leptoquark or diquark decays. Among others, a novel experimental signature of resonance reconstruction out of massive stable charged particles is highlighted. Some of the long-lived states also constitute Dark Matter candidates.Comment: 33 pages, 6 figures. v4: expanded discussion of Z_2 symmetry for stability, one reference adde

Decaying into the Hidden Sector

The existence of light hidden sectors is an exciting possibility that may be tested in the near future. If DM is allowed to decay into such a hidden sector through GUT suppressed operators, it can accommodate the recent cosmic ray observations without over-producing antiprotons or interfering with the attractive features of the thermal WIMP. Models of this kind are simple to construct, generic and evade all astrophysical bounds. We provide tools for constructing such models and present several distinct examples. The light hidden spectrum and DM couplings can be probed in the near future, by measuring astrophysical photon and neutrino fluxes. These indirect signatures are complimentary to the direct production signals, such as lepton jets, predicted by these models.Comment: 40 pages, 5 figure

Alteration of chondroitin sulfate composition on proteoglycan produced by knock-in mouse embryonic fibroblasts whose versican lacks the A subdomain

Versican/proteoglycan-mesenchymal (PG-M) is a large chondroitin sulfate (CS) proteoglycan of the extracellular matrix (ECM) that is constitutively expressed in adult tissues such as dermis and blood vessels. It serves as a structural macromolecule of the ECM, while in embryonic tissue it is transiently expressed at high levels and regulates cell adhesion, migration, proliferation, and differentiation. Knock-in mouse embryonic (Cspg2Δ3/Δ3) fibroblasts whose versican lack the A subdomain of the G1 domain exhibit low proliferation rates and acquire senescence. It was suspected that chondroitin sulfate on versican core protein would be altered when the A subdomain was disrupted, so fibroblasts were made from homozygous Cspg2Δ3/Δ3 mouse embryos to investigate the hypothesis. Analysis of the resulting versican deposition demonstrated that the total versican deposited in the Cspg2Δ3/Δ3 fibroblasts culture was approximately 50% of that of the wild type (WT), while the versican deposited in the ECM of Cspg2Δ3/Δ3 fibroblasts culture was 35% of that of the WT, demonstrating the lower capacity of mutant (Cspg2Δ3/Δ3) versican deposited in the ECM. The analysis of CS expression in the Cspg2Δ3/Δ3 fibroblasts culture compared with wild-type fibroblasts showed that the composition of the non-sulfate chondroitin sulfate isomer on the versican core protein increased in the cell layer but decreased in the culture medium. Interestingly, chondroitin sulfate E isomer was found in the culture medium. The amount of CS in the Cspg2Δ3/Δ3 cell layer of fibroblasts with mutant versican was dramatically decreased, contrasted to the amount in the culture medium, which increased. It was concluded that the disruption of the A subdomain of the versican molecule leads to lowering of the amount of versican deposited in the ECM and the alteration of the composition and content of CS on the versican molecule