Proof Theory and Ordered Groups

Ordering theorems, characterizing when partial orders of a group extend to total orders, are used to generate hypersequent calculi for varieties of lattice-ordered groups (l-groups). These calculi are then used to provide new proofs of theorems arising in the theory of ordered groups. More precisely: an analytic calculus for abelian l-groups is generated using an ordering theorem for abelian groups; a calculus is generated for l-groups and new decidability proofs are obtained for the equational theory of this variety and extending finite subsets of free groups to right orders; and a calculus for representable l-groups is generated and a new proof is obtained that free groups are orderable

Physical aspects of oracles for randomness, and Hadamard's conjecture

We analyze the physical aspects and origins of currently proposed oracles for (absolute) randomness.Comment: 10 pages, 3 figures. arXiv admin note: substantial text overlap with arXiv:1405.140

Radiation effects in glasses used for immobilization of high-level waste and plutonium disposition

This paper is a comprehensive review of the state-of-knowledge in the field of radiation effects in glasses that are to be used for the immobilization of high-level nuclear waste and plutonium disposition. The current status and issues in the area of radiation damage processes, defect generation, microstructure development, theoretical methods and experimental methods ase reviewed. Questions of fundamental and technological interest that offer opportunities for research are identified

Neutron Electric Dipole Moment Constraint on Scale of Minimal Left-Right Symmetric Model

Using an effective theory approach, we calculate the neutron electric dipole moment (nEDM) in the minimal left-right symmetric model with both explicit and spontaneous CP violations. We integrate out heavy particles to obtain flavor-neutral CP-violating effective Lagrangian. We run the Wilson coefficients from the electroweak scale to the hadronic scale using one-loop renormalization group equations. Using the state-of-the-art hadronic matrix elements, we obtain the nEDM as a function of right-handed W-boson mass and CP-violating parameters. We use the current limit on nEDM combined with the kaon-decay parameter $\epsilon$ to provide the most stringent constraint yet on the left-right symmetric scale $M_{W_R} > (10 \pm 3)$ TeV.Comment: 20 pages and 8 figure

Three Dimensional Visualization and Fractal Analysis of Mosaic Patches in Rat Chimeras: Cell Assortment in Liver, Adrenal Cortex and Cornea

The production of organ parenchyma in a rapid and reproducible manner is critical to normal development. In chimeras produced by the combination of genetically distinguishable tissues, mosaic patterns of cells derived from the combined genotypes can be visualized. These patterns comprise patches of contiguously similar genotypes and are different in different organs but similar in a given organ from individual to individual. Thus, the processes that produce the patterns are regulated and conserved. We have previously established that mosaic patches in multiple tissues are fractal, consistent with an iterative, recursive growth model with simple stereotypical division rules. Fractal dimensions of various tissues are consistent with algorithmic models in which changing a single variable (e.g. daughter cell placement after division) switches the mosaic pattern from islands to stripes of cells. Here we show that the spiral pattern previously observed in mouse cornea can also be visualized in rat chimeras. While it is generally held that the pattern is induced by stem cell division dynamics, there is an unexplained discrepancy in the speed of cellular migration and the emergence of the pattern. We demonstrate in chimeric rat corneas both island and striped patterns exist depending on the age of the animal. The patches that comprise the pattern are fractal, and the fractal dimension changes with the age of the animal and indicates the constraint in patch complexity as the spiral pattern emerges. The spiral patterns are consistent with a loxodrome. Such data are likely to be relevant to growth and cell division in organ systems and will help in understanding how organ parenchyma are generated and maintained from multipotent stem cell populations located in specific topographical locations within the organ. Ultimately, understanding algorithmic growth is likely to be essential in achieving organ regeneration in vivo or in vitro from stem cell populations

A Comprehensive Analysis of Electric Dipole Moment Constraints on CP-violating Phases in the MSSM

We analyze the constraints placed on individual, flavor diagonal CP-violating phases in the minimal supersymmetric extension of the Standard Model (MSSM) by current experimental bounds on the electric dipole moments (EDMs) of the neutron, Thallium, and Mercury atoms. We identify the four CP-violating phases that are individually highly constrained by current EDM bounds, and we explore how these phases and correlations among them are constrained by current EDM limits. We also analyze the prospective implications of the next generation of EDM experiments. We point out that all other CP-violating phases in the MSSM are not nearly as tightly constrained by limits on the size of EDMs. We emphasize that a rich set of phenomenological consequences is potentially associated with these generically large EDM-allowed phases, ranging from B physics, electroweak baryogenesis, and signals of CP-violation at the CERN Large Hadron Collider and at future linear colliders. Our numerical study takes into account the complete set of contributions from one- and two-loop EDMs of the electron and quarks, one- and two-loop Chromo-EDMs of quarks, the Weinberg 3-gluon operator, and dominant 4-fermion CP-odd operator contributions, including contributions which are both included and not included yet in the CPsuperH2.0 package. We also introduce an open-source numerical package, 2LEDM, which provides the complete set of two-loop electroweak diagrams contributing to the electric dipole moments of leptons and quarks.Comment: 23 pages, 11 figures; v2: references added, minor change

CP violation Beyond the MSSM: Baryogenesis and Electric Dipole Moments

We study electroweak baryogenesis and electric dipole moments in the presence of the two leading-order, non-renormalizable operators in the Higgs sector of the MSSM. Significant qualitative and quantitative differences from MSSM baryogenesis arise due to the presence of new CP-violating phases and to the relaxation of constraints on the supersymmetric spectrum (in particular, both stops can be light). We find: (1) spontaneous baryogenesis, driven by a change in the phase of the Higgs vevs across the bubble wall, becomes possible; (2) the top and stop CP-violating sources can become effective; (3) baryogenesis is viable in larger parts of parameter space, alleviating the well-known fine-tuning associated with MSSM baryogenesis. Nevertheless, electric dipole moments should be measured if experimental sensitivities are improved by about one order of magnitude.Comment: 33 pages, 6 figure

Neutrinoless double beta decay in seesaw models

We study the general phenomenology of neutrinoless double beta decay in seesaw models. In particular, we focus on the dependence of the neutrinoless double beta decay rate on the mass of the extra states introduced to account for the Majorana masses of light neutrinos. For this purpose, we compute the nuclear matrix elements as functions of the mass of the mediating fermions and estimate the associated uncertainties. We then discuss what can be inferred on the seesaw model parameters in the different mass regimes and clarify how the contribution of the light neutrinos should always be taken into account when deriving bounds on the extra parameters. Conversely, the extra states can also have a significant impact, cancelling the Standard Model neutrino contribution for masses lighter than the nuclear scale and leading to vanishing neutrinoless double beta decay amplitudes even if neutrinos are Majorana particles. We also discuss how seesaw models could reconcile large rates of neutrinoless double beta decay with more stringent cosmological bounds on neutrino masses.Comment: 34 pages, 5 eps figures and 1 axodraw figure. Final version published in JHEP. NME results available in Appendi

Is a Calorie Really a Calorie? Metabolic Advantage of Low-Carbohydrate Diets

The first law of thermodynamics dictates that body mass remains constant when caloric intake equals caloric expenditure. It should be noted, however, that different diets lead to different biochemical pathways that are not equivalent when correctly compared through the laws of thermodynamics. It is inappropriate to assume that the only thing that counts in terms of food consumption and energy balance is the intake of dietary calories and weight storage. Well-controlled studies suggest that calorie content may not be as predictive of fat loss as is reduced carbohydrate consumption. Biologically speaking, a calorie is certainly not a calorie. The ideal weight loss diet, if it even exists, remains to be determined, but a high-carbohydrate/low-protein diet may be unsatisfactory for many obese individuals

ABI3 ectopic expression reduces in vitro and in vivo cell growth properties while inducing senescence

<p>Abstract</p> <p>Background</p> <p>Mounting evidence has indicated that <it>ABI3 </it>(ABI family member 3) function as a tumor suppressor gene, although the molecular mechanism by which ABI3 acts remains largely unknown.</p> <p>Methods</p> <p>The present study investigated <it>ABI3 </it>expression in a large panel of benign and malignant thyroid tumors and explored a correlation between the expression of ABI3 and its potential partner ABI3-binding protein (ABI3BP). We next explored the biological effects of <it>ABI3 </it>ectopic expression in thyroid and colon carcinoma cell lines, in which its expression was reduced or absent.</p> <p>Results</p> <p>We not only observed that <it>ABI3 </it>expression is reduced or lost in most carcinomas but also that there is a positive correlation between <it>ABI3 </it>and <it>ABI3BP </it>expression. Ectopic expression of <it>ABI3 </it>was sufficient to lead to a lower transforming activity, reduced tumor <it>in vitro </it>growth properties, suppressed <it>in vitro </it>anchorage-independent growth and <it>in vivo </it>tumor formation while, cellular senescence increased. These responses were accompanied by the up-regulation of the cell cycle inhibitor <it>p21 </it>^WAF1and reduced ERK phosphorylation and <it>E2F1 </it>expression.</p> <p>Conclusions</p> <p>Our result links <it>ABI3 </it>to the pathogenesis and progression of some cancers and suggests that ABI3 or its pathway might have interest as therapeutic target. These results also suggest that the pathways through which <it>ABI3 </it>works should be further characterized.</p