Pure mathematics in Australia

I.D. Macdonald argued in this journal in 1968 that there was an inadequate number of mathematicians teaching in Australian universities who were qualified by international standards to conduct honours courses and supervise research students..

On partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency

Concurrent systems are notoriously difficult to analyze, and technological advances such as weak memory architectures greatly compound this problem. This has renewed interest in partial order semantics as a theoretical foundation for formal verification techniques. Among these, symbolic techniques have been shown to be particularly effective at finding concurrency-related bugs because they can leverage highly optimized decision procedures such as SAT/SMT solvers. This paper gives new fundamental results on partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency. In particular, we give the theoretical basis for a decision procedure that can handle a fragment of concurrent programs endowed with least fixed point operators. In addition, we show that a certain partial order semantics of relaxed sequential consistency is equivalent to the conjunction of three extensively studied weak memory axioms by Alglave et al. An important consequence of this equivalence is an asymptotically smaller symbolic encoding for bounded model checking which has only a quadratic number of partial order constraints compared to the state-of-the-art cubic-size encoding.Comment: 15 pages, 3 figure

Impact of Duodenal-Jejunal Exclusion on Satiety Hormones

OBJECTIVE: Bariatric procedures that exclude the proximal small intestine lead to significant weight loss which is probably mediated by changes in hormones that alter appetite, such as peptide YY (PYY), ghrelin, cholecystokinin (CCK), and leptin. Here, the effect of the non-surgical duodenal-jejunal bypass liner (DJBL) on concentrations of hormones implicated in appetite control was investigated. SUBJECTS: A two-center prospective study was conducted between January and December 2010. Seventeen obese subjects with type 2 diabetes were treated with the DJBL for 24 weeks. Fasting concentrations of leptin and meal responses of plasma PYY, CCK, and ghrelin were determined prior to and after implantation of the DJBL. RESULTS: At baseline, subjects had an average body weight of 116.0 +/- 5.8 kg. One week after implantation, subjects had lost 4.3 +/- 0.6 kg (p < 0.01), which progressed to 12.7 +/- 1.3 kg at week 24 (p < 0.01). Postprandial concentrations of PYY and ghrelin increased (baseline vs. week 1 vs. week 24 PYY: 2.6 +/- 0.2 vs. 4.1 +/- 0.4 vs. 4.1 +/- 0.7 nmol/L/min and ghrelin: 7.8 +/- 1.8 vs. 11.0 +/- 1.8 vs. 10.6 +/- 1.8 ng/mL/min, all p < 0.05). In parallel, the CCK response decreased (baseline vs. week 1 vs. week 24: 434 +/- 51 vs. 229 +/- 52 vs. 256 +/- 51pmol/L/min, p < 0.01). Fasting leptin concentrations also decreased (baseline vs. week 24: 98 +/- 17 vs. 53 +/- 10 ng/mL, p < 0.01). CONCLUSIONS: DJBL treatment induces weight loss paralleled by changes in concentrations of hormones involved in appetite control

Modeling quark-hadron duality for relativistic, confined fermions

We discuss a model for the study of quark-hadron duality in inclusive electron scattering based on solving the Dirac equation numerically for a scalar confining linear potential and a vector color Coulomb potential. We qualitatively reproduce the features of quark-hadron duality for all potentials considered, and discuss similarities and differences to previous models that simplified the situation by treating either the quarks or all particles as scalars. We discuss the scaling results for PWIA and FSI, and the approach to scaling using the analog of the Callan-Gross relation for y-scaling.Comment: 38 pages, 21 figure

Gamma-Ray Bursts: The Underlying Model

A pedagogical derivation is presented of the ``fireball'' model of gamma-ray bursts, according to which the observable effects are due to the dissipation of the kinetic energy of a relativistically expanding wind, a ``fireball.'' The main open questions are emphasized, and key afterglow observations, that provide support for this model, are briefly discussed. The relativistic outflow is, most likely, driven by the accretion of a fraction of a solar mass onto a newly born (few) solar mass black hole. The observed radiation is produced once the plasma has expanded to a scale much larger than that of the underlying ``engine,'' and is therefore largely independent of the details of the progenitor, whose gravitational collapse leads to fireball formation. Several progenitor scenarios, and the prospects for discrimination among them using future observations, are discussed. The production in gamma- ray burst fireballs of high energy protons and neutrinos, and the implications of burst neutrino detection by kilometer-scale telescopes under construction, are briefly discussed.Comment: In "Supernovae and Gamma Ray Bursters", ed. K. W. Weiler, Lecture Notes in Physics, Springer-Verlag (in press); 26 pages, 2 figure

Measurement of the branching fraction for Υ(1S)→τ+τ−\Upsilon (1S) \to \tau^+ \tau^-

We have studied the leptonic decay of the $\Upsilon (1S)$ resonance into tau pairs using the CLEO II detector. A clean sample of tau pair events is identified via events containing two charged particles where exactly one of the particles is an identified electron. We find $B(\Upsilon(1S) \to \tau^+ \tau^-) = (2.61~\pm~0.12~{+0.09\atop{-0.13}})$. The result is consistent with expectations from lepton universality.Comment: 9 pages, RevTeX, two Postscript figures available upon request, CLNS 94/1297, CLEO 94-20 (submitted to Physics Letters B

Study of the B^0 Semileptonic Decay Spectrum at the Upsilon(4S) Resonance

We have made a first measurement of the lepton momentum spectrum in a sample of events enriched in neutral B's through a partial reconstruction of B0 --> D*- l+ nu. This spectrum, measured with 2.38 fb**-1 of data collected at the Upsilon(4S) resonance by the CLEO II detector, is compared directly to the inclusive lepton spectrum from all Upsilon(4S) events in the same data set. These two spectra are consistent with having the same shape above 1.5 GeV/c. From the two spectra and two other CLEO measurements, we obtain the B0 and B+ semileptonic branching fractions, b0 and b+, their ratio, and the production ratio f+-/f00 of B+ and B0 pairs at the Upsilon(4S). We report b+/b0=0.950 (+0.117-0.080) +- 0.091, b0 = (10.78 +- 0.60 +- 0.69)%, and b+ = (10.25 +- 0.57 +- 0.65)%. b+/b0 is equivalent to the ratio of charged to neutral B lifetimes, tau+/tau0.Comment: 14 page, postscript file also available at http://w4.lns.cornell.edu/public/CLN

Measurement of the Decay Asymmetry Parameters in Λc+→Λπ+\Lambda_c^+ \to \Lambda\pi^+ and Λc+→Σ+π0\Lambda_c^+ \to \Sigma^+\pi^0

We have measured the weak decay asymmetry parameters (\aLC ) for two \LC\ decay modes. Our measurements are \aLC = -0.94^{+0.21+0.12}_{-0.06-0.06} for the decay mode $\Lambda_c^+ \to \Lambda\pi^+$ and \aLC = -0.45\pm 0.31 \pm 0.06 for the decay mode $\Lambda_c \to \Sigma^+\pi^0$. By combining these measurements with the previously measured decay rates, we have extracted the parity-violating and parity-conserving amplitudes. These amplitudes are used to test models of nonleptonic charmed baryon decay.Comment: 11 pages including the figures. Uses REVTEX and psfig macros. Figures as uuencoded postscript. Also available as http://w4.lns.cornell.edu/public/CLNS/1995/CLNS95-1319.p

Observation of the Ξc+\Xi_c^+ Charmed Baryon Decays to Σ+K−π+\Sigma^+ K^-\pi^+, Σ+Kˉ∗0\Sigma^+ \bar{K}^{*0}, and ΛK−π+π+\Lambda K^-\pi^+\pi^+

We have observed two new decay modes of the charmed baryon $\Xi_c^+$ into $\Sigma^+ K^-\pi^+$ and $\Sigma^+ \bar{K}^{*0}$ using data collected with the CLEO II detector. We also present the first measurement of the branching fraction for the previously observed decay mode $\Xi_c^+\to\Lambda K^-\pi^+\pi^+$. The branching fractions for these three modes relative to $\Xi_c^+\to\Xi^-\pi^+\pi^+$ are measured to be $1.18 \pm 0.26 \pm 0.17$, $0.92 \pm 0.27 \pm 0.14$, and $0.58 \pm 0.16 \pm 0.07$, respectively.Comment: 12 page uuencoded postscript file, postscript file also available through http://w4.lns.cornell.edu/public/CLN