On the even permutation polytope

AbstractWe consider the convex hull of the even permutations on a set of n elements. We define a class of valid inequalities and prove that they induce a large class of distinct facets of the polytope. Using the inequalities, we characterize the polytope for n=4, and we confirm a conjecture of Brualdi and Liu that, unlike the convex hull of all permutations, this polytope cannot be described as the solution set of polynomially many linear inequalities. We also discuss the difficulty of determining whether a given point is in the polytope

A dissertation on the Epistle of S. Barnabas : includia discussion of its date and authorship / by William Cunningham ; together with the Greek text, the Latin version, and a new English translation and commentary

https://place.asburyseminary.edu/ecommonsatsdigitalresources/1554/thumbnail.jp

Life Chaos is Associated with Reduced HIV Testing, Engagement in Care, and ART Adherence Among Cisgender Men and Transgender Women upon Entry into Jail.

Life chaos, the perceived inability to plan for and anticipate the future, may be a barrier to the HIV care continuum for people living with HIV who experience incarceration. Between December 2012 and June 2015, we interviewed 356 adult cisgender men and transgender women living with HIV in Los Angeles County Jail. We assessed life chaos using the Confusion, Hubbub, and Order Scale (CHAOS) and conducted regression analyses to estimate the association between life chaos and care continuum. Forty-eight percent were diagnosed with HIV while incarcerated, 14% were engaged in care 12 months prior to incarceration, mean antiretroviral adherence was 65%, and 68% were virologically suppressed. Adjusting for sociodemographics, HIV-related stigma, and social support, higher life chaos was associated with greater likelihood of diagnosis while incarcerated, lower likelihood of engagement in care, and lower adherence. There was no statistically significant association between life chaos and virologic suppression. Identifying life chaos in criminal-justice involved populations and intervening on it may improve continuum outcomes

Note and Comment

The Passing of State Control over Railway Rates; Constitutionality of the New York Workmen\u27s Compensation Act; Must a Passenger Go on the Same Train with His Baggage?; Implied Reservation of Easements; Extent of the City\u27s Right, Under the Power of Eminent Domain, to Exemption from Liability for Consequential Damages Under the Rule of Damnum Absque Injuria

Applying Formal Verification Methods to Pure Rule-Based Programs

Reliability, defined as the guarantee that a program satisfies its specifications, is an important aspect of many applications for which rule-based expert systems are suited. Verification refer to the process used to determine the reliability of the rule-based program. Because past approaches to verification are informal, guarantees of reliability cannot fully be made without severely restricting the system. On the other hand, by constructing formal specifications for a program and showing the program satisfies those specifications, guarantees of reliability can be made. This paper presents an assertional approach to the verification of rule-based programs. The proof logical needed for verification is adopted from one already in use by researchers in concurrent programming. The approach involves using a language called Swarm, and requires one to express program specifications as assertions over the Swarm representation of the program. Among models the employ rule-based notation, Swarm is the first to have an axiomatic proof logic

Dysflective cones: Visual function and cone reflectivity in long-term follow-up of acute bilateral foveolitis.

PURPOSE:Confocal adaptive optics scanning laser ophthalmoscope (AOSLO) images provide a sensitive measure of cone structure. However, the relationship between structural findings of diminished cone reflectivity and visual function is unclear. We used fundus-referenced testing to evaluate visual function in regions of apparent cone loss identified using confocal AOSLO images. METHODS:A patient diagnosed with acute bilateral foveolitis had spectral-domain optical coherence tomography (SD-OCT) (Spectralis HRA + OCT system [Heidelberg Engineering, Vista, CA, USA]) images indicating focal loss of the inner segment-outer segment junction band with an intact, but hyper-reflective, external limiting membrane. Five years after symptom onset, visual acuity had improved from 20/80 to 20/25, but the retinal appearance remained unchanged compared to 3 months after symptoms began. We performed structural assessments using SD-OCT, directional OCT (non-standard use of a prototype on loan from Carl Zeiss Meditec) and AOSLO (custom-built system). We also administered fundus-referenced functional tests in the region of apparent cone loss, including analysis of preferred retinal locus (PRL), AOSLO acuity, and microperimetry with tracking SLO (TSLO) (prototype system). To determine AOSLO-corrected visual acuity, the scanning laser was modulated with a tumbling E consistent with 20/30 visual acuity. Visual sensitivity was assessed in and around the lesion using TSLO microperimetry. Complete eye examination, including standard measures of best-corrected visual acuity, visual field tests, color fundus photos, and fundus auto-fluorescence were also performed. RESULTS:Despite a lack of visible cone profiles in the foveal lesion, fundus-referenced vision testing demonstrated visual function within the lesion consistent with cone function. The PRL was within the lesion of apparent cone loss at the fovea. AOSLO visual acuity tests were abnormal, but measurable: for trials in which the stimulus remained completely within the lesion, the subject got 48% correct, compared to 78% correct when the stimulus was outside the lesion. TSLO microperimetry revealed reduced, but detectible, sensitivity thresholds within the lesion. CONCLUSIONS AND IMPORTANCE:Fundus-referenced visual testing proved useful to identify functional cones despite apparent photoreceptor loss identified using AOSLO and SD-OCT. While AOSLO and SD-OCT appear to be sensitive for the detection of abnormal or absent photoreceptors, changes in photoreceptors that are identified with these imaging tools do not correlate completely with visual function in every patient. Fundus-referenced vision testing is a useful tool to indicate the presence of cones that may be amenable to recovery or response to experimental therapies despite not being visible on confocal AOSLO or SD-OCT images

Dynamics of Scalar Fields in the Background of Rotating Black Holes

A numerical study of the evolution of a massless scalar field in the background of rotating black holes is presented. First, solutions to the wave equation are obtained for slowly rotating black holes. In this approximation, the background geometry is treated as a perturbed Schwarzschild spacetime with the angular momentum per unit mass playing the role of a perturbative parameter. To first order in the angular momentum of the black hole, the scalar wave equation yields two coupled one-dimensional evolution equations for a function representing the scalar field in the Schwarzschild background and a second field that accounts for the rotation. Solutions to the wave equation are also obtained for rapidly rotating black holes. In this case, the wave equation does not admit complete separation of variables and yields a two-dimensional evolution equation. The study shows that, for rotating black holes, the late time dynamics of a massless scalar field exhibit the same power-law behavior as in the case of a Schwarzschild background independently of the angular momentum of the black hole.Comment: 14 pages, RevTex, 6 Figure

Demonstration of a switchable damping system to allow low-noise operation of high-Q low-mass suspension systems

Low mass suspension systems with high-Q pendulum stages are used to enable quantum radiation pressure noise limited experiments. Utilising multiple pendulum stages with vertical blade springs and materials with high quality factors provides attenuation of seismic and thermal noise, however damping of these high-Q pendulum systems in multiple degrees of freedom is essential for practical implementation. Viscous damping such as eddy-current damping can be employed but introduces displacement noise from force noise due to thermal fluctuations in the damping system. In this paper we demonstrate a passive damping system with adjustable damping strength as a solution for this problem that can be used for low mass suspension systems without adding additional displacement noise in science mode. We show a reduction of the damping factor by a factor of 8 on a test suspension and provide a general optimisation for this system.Comment: 5 pages, 5 figure

Non-invasive measurement of metabolic rates in wild, free-living birds using doubly labelled water

Please read abstract in the article.DST-NRF Centre of Excellence at the FitzPatrick Institute for African Ornithology; National Research Foundation of South Africa, Grant/Award Number: 110506; Universities of Cambridge and Zurich; MAVA Foundation, ERC, Grant/Award Number: 294494; University of Pretoria; The Oppenheimer Memorial Trust, Grant/Award Number: OMT 20747/01http://wileyonlinelibrary.com/journal/fechj2020Mammal Research InstituteZoology and Entomolog