On the modeling of low-Reynolds-number turbulence

A full Reynolds-stress closure that is capable of describing the flow all the way to the wall was formulated for turbulent flow through circular pipe. Since viscosity does not appear explicitly in the pressure redistribution terms, conventional high-number models for these terms are found to be applicable. However, the models for turbulent diffusion and viscous dissipation have to be modified to account for viscous diffusion near a wall. Two redistribution and two diffusion models are investigated for their effects on the model calculations. Wall correction to pressure redistribution modeling is also examined. Diffusion effects on calculated turbulent properties are further investigated by simplifying the transport equations to algebraic equations for Reynolds stress. Two approximations are explored. These are the equilibrium and nonequilibrium turbulence assumptions. Finally, the two-equation closure is also used to calculate the flow in question and the results compared with all the other model calculations. Fully developed pipe flows at two moderate Reynolds numbers are used to validate these model calculations

Kaluza-Klein Dark Matter: Direct Detection vis-a-vis LHC

We explore the phenomenology of Kaluza-Klein (KK) dark matter in very general models with universal extra dimensions (UEDs), emphasizing the complementarity between high-energy colliders and dark matter direct detection experiments. In models with relatively small mass splittings between the dark matter candidate and the rest of the (colored) spectrum, the collider sensitivity is diminished, but direct detection rates are enhanced. UEDs provide a natural framework for such mass degeneracies. We consider both 5-dimensional and 6-dimensional non-minimal UED models, and discuss the detection prospects for various KK dark matter candidates: the KK photon $\gamma_1$, the KK $Z$-boson $Z_1$, the KK Higgs boson $H_1$ and the spinless KK photon $\gamma_H$. We combine collider limits such as electroweak precision data and expected LHC reach, with cosmological constraints from WMAP, and the sensitivity of current or planned direct detection experiments. Allowing for general mass splittings, we show that neither colliders, nor direct detection experiments by themselves can explore all of the relevant KK dark matter parameter space. Nevertheless, they probe different parameter space regions, and the combination of the two types of constraints can be quite powerful. For example, in the case of $\gamma_1$ in 5D UEDs the relevant parameter space will be almost completely covered by the combined LHC and direct detection sensitivities expected in the near future.Comment: 52 pages, 29 figure

Erlang Code Evolution Control

During the software lifecycle, a program can evolve several times for different reasons such as the optimisation of a bottle-neck, the refactoring of an obscure function, etc. These code changes often involve several functions or modules, so it can be difficult to know whether the correct behaviour of the previous releases has been preserved in the new release. Most developers rely on a previously defined test suite to check this behaviour preservation. We propose here an alternative approach to automatically obtain a test suite that specifically focusses on comparing the old and new versions of the code. Our test case generation is directed by a sophisticated combination of several already existing tools such as TypEr, CutEr, and PropEr; and other ideas such as allowing the programmer to chose an expression of interest that must preserve the behaviour, or the recording of the sequences of values to which this expression is evaluated. All the presented work has been implemented in an open-source tool that is publicly available on GitHub.Comment: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854

Cost effectiveness of school-located influenza vaccination programs for elementary and secondary school children.

BackgroundStudies have noted variations in the cost-effectiveness of school-located influenza vaccination (SLIV), but little is known about how SLIV's cost-effectiveness may vary by targeted age group (e.g., elementary or secondary school students), or vaccine consent process (paper-based or web-based). Further, SLIV's cost-effectiveness may be impacted by its spillover effect on practice-based vaccination; prior studies have not addressed this issue.MethodsWe performed a cost-effectiveness analysis on two SLIV programs in upstate New York in 2015-2016: (a) elementary school SLIV using a stepped wedge design with schools as clusters (24 suburban and 18 urban schools) and (b) secondary school SLIV using a cluster randomized trial (16 suburban and 4 urban schools). The cost-per-additionally-vaccinated child (i.e., incremental cost-effectiveness ratio (ICER)) was estimated by dividing the incremental SLIV intervention cost by the incremental effectiveness (i.e., the additional number of vaccinated students in intervention schools compared to control schools). We performed deterministic analyses, one-way sensitivity analyses, and probabilistic analyses.ResultsThe overall effectiveness measure (proportion of children vaccinated) was 5.7 and 5.5 percentage points higher, respectively, in intervention elementary (52.8%) and secondary schools (48.2%) than grade-matched control schools. SLIV programs vaccinated a small proportion of children in intervention elementary (5.2%) and secondary schools (2.5%). In elementary and secondary schools, the ICER excluding vaccine purchase was $85.71 and$86.51 per-additionally-vaccinated-child, respectively. When additionally accounting for observed spillover impact on practice-based vaccination, the ICER decreased to $80.53 in elementary schools -- decreasing substantially in secondary schools. (to$53.40). These estimates were higher than the published practice-based vaccination cost (median = $25.50, mean =$45.48). Also, these estimates were higher than our 2009-2011 urban SLIV program mean costs ($65) due to additional costs for use of a new web-based consent system ($12.97 per-additionally-vaccinated-child) and higher project coordination costs in 2015-2016. One-way sensitivity analyses showed that ICER estimates were most sensitive to the SLIV effectiveness.ConclusionsSLIV raises vaccination rates and may increase practice-based vaccination in primary care practices. While these SLIV programs are effective, to be as cost-effective as practice-based vaccination our SLIV programs would need to vaccinate more students and/or lower the costs for consent systems and project coordination.Trial registrationClinicalTrials.gov NCT02227186 (August 25, 2014), updated NCT03137667 (May 2, 2017)

Influence of gravitational field on quantum-nondemolition measurement of atomic momentum in the dispersive Jaynes-Cummings model

We present a theoretical scheme based on su(2) algebra to investigate the influence of homogeneous gravitational field on the quantum nondemolition measurement of atomic momentum in dispersive Jaynes-Cummings model. In the dispersive Jaynes-Cummings model, when detuning is large and the atomic motion is in a propagating light wave, we consider a two-level atom with quantized cavity-field in the presence of a homogeneous gravitational field. We derive an effective Hamiltonian describing the dispersive atom-field interaction in the presence of gravitational field. We can see gravitational influence both on the momentum filter and momentum distribution. Moreover, gravitational field decreases both tooth spacing of momentum and the width of teeth of momentum.Comment: 21 pages, 8 figure

From Galaxy-Galaxy Lensing to Cosmological Parameters

Galaxy-galaxy lensing measures the mean excess surface density DS(r) around a sample of lensing galaxies. We develop a method for combining DS(r) with the galaxy correlation function xi_gg(r) to constrain Omega_m and sigma_8, going beyond the linear bias model to reach the level of accuracy demanded by current and future measurements. We adopt the halo occupation distribution (HOD) framework, and we test its applicability to this problem by examining the effects of replacing satellite galaxies in the halos of an SPH simulation with randomly selected dark matter particles from the same halos. The difference between dark matter and satellite galaxy radial profiles has a ~10% effect on DS(r) at r<1 Mpc/h. However, if radial profiles are matched, the remaining impact of individual subhalos around satellite galaxies and environmental dependence of the HOD at fixed halo mass is <5% in DS(r) for 0.1<r<15 Mpc/h. We develop an analytic approximation for DS(r) that incorporates halo exclusion and scale-dependent halo bias, and we demonstrate its accuracy with tests against a suite of populated N-body simulations. We use the analytic model to investigate the dependence of DS(r) and the galaxy-matter correlation function xi_gm(r) on Omega_m and sigma_8, once HOD parameters for a given cosmological model are pinned down by matching xi_gg(r). The linear bias prediction is accurate for r>2 Mpc/h, but it fails at the 30-50% level on smaller scales. The scaling of DS(r) ~ Omega_m^a(r) sigma_8^b(r) approaches the linear bias expectation a=b=1 at r>10 Mpc/h, but a(r) and b(r) vary from 0.8 to 1.6 at smaller r. We calculate a fiducial DS(r) and scaling indices a(r) and b(r) for two SDSS galaxy samples; galaxy-galaxy lensing measurements for these samples can be combined with our predictions to constrain Omega_m and sigma_8.Comment: 18 pages, 10 figures, accepted for publication in The Astrophysical Journa

Dark States and Interferences in Cascade Transitions of Ultra-Cold Atoms in a Cavity

We examine the competition among one- and two-photon processes in an ultra-cold, three-level atom undergoing cascade transitions as a result of its interaction with a bimodal cavity. We show parameter domains where two-photon transitions are dominant and also study the effect of two-photon emission on the mazer action in the cavity. The two-photon emission leads to the loss of detailed balance and therefore we obtain the photon statistics of the cavity field by the numerical integration of the master equation. The photon distribution in each cavity mode exhibits sub- and super- Poissonian behaviors depending on the strength of atom-field coupling. The photon distribution becomes identical to a Poisson distribution when the atom-field coupling strengths of the modes are equal.Comment: 15 pages including 7 figures in Revtex, submitted to PR