Beyond Consistency and Substitutability

International audienceElimination of inconsistent values in instances of the constraint satisfaction problem (CSP) conserves all solutions. Elimination of substitutable values conserves at least one solution. We show that certain values which are neither inconsistent nor substitutable can also be deleted while conserving at least one solution. This allows us to state novel rules for the elimination of values in binary CSP. From a practical point of view, we show that one such rule can be applied in the same asymptotic time complexity as neighbourhood substitution but is strictly stronger. An alternative to the elimination of values from domains is the elimination of variables. We give novel satisfiability-preserving variable elimination operations. In each case we show that if the instance is satisfiable, then a solution to the original instance can always be recovered in low-order polynomial time from a solution to the reduced instance

On Broken Triangles (CP 2014)

International audienceA binary CSP instance satisfying the broken-triangle property (BTP) can be solved in polynomial time. Unfortunately, in practice, few instances satisfy the BTP. We show that a local version of the BTP allows the merging of domain values in binary CSPs, thus providing a novel polynomial-time reduction operation. Experimental trials on benchmark instances demonstrate a significant decrease in instance size for certain classes of problems. We show that BTP-merging can be generalised to instances with constraints of arbitrary arity. A directional version of the general-arity BTP then allows us to extend the BTP tractable class previously defined only for binary CSP

Deconstructing 1S0 nucleon-nucleon scattering

A distorted-wave method is used to analyse nucleon-nucleon scattering in the 1S0 channel. Effects of one-pion exchange are removed from the empirical phase shift to all orders by using a modified effective-range expansion. Two-pion exchange is then subtracted in the distorted-wave Born approximation, with matrix elements taken between scattering waves for the one-pion exchange potential. The residual short-range interaction shows a very rapid energy dependence for kinetic energies above about 100 MeV, suggesting that the breakdown scale of the corresponding effective theory is only 270MeV. This may signal the need to include the Delta resonance as an explicit degree of freedom in order to describe scattering at these energies. An alternative strategy of keeping the cutoff finite to reduce large, but finite, contributions from the long-range forces is also discussed.Comment: 10 pages, 2 figures (introduction revised, references added; version to appear in EPJA

Vertebral fractures are associated with increased cortical porosity in iliac crest bone biopsy of men with idiopathic osteoporosis

In men, vertebral fractures are poorly associated with bone density, and both cortical and trabecular micro-architectural changes could contribute to bone fragility. Bone histomorphometry makes it possible to investigate both the thickness and porosity of cortical bone, which has been reported to have a major impact on the biomechanical properties of bone. We therefore conducted a cross sectional study using iliac crest biopsies to investigate the trabecular and cortical bone structure in men with or without vertebral fractures.We selected 93 bone biopsies from men with idiopathic osteoporosis (defined as a T-score <− 2.5), between 40 and 70 years of age. Patients were divided into two groups on the basis of the presence (n = 46) or absence (n = 47) of prevalent vertebral fracture (VFX). We measured micro-architectural indices in trabecular and cortical bone by histomorphometry at the iliac crest. Patients with VFX had lower trabecular bone volume (BV/TV: 12.4 ± 3.8 versus 14.7 ± 3.1 % (m ± SD)), p < 0.01), higher trabecular separation (Tb.Sp: 871 ± 279 versus 719 ± 151 μm, p < 0.01), and higher marrow star volume (V*m.space: 1.617 ± 1.257 versus 0.945 ± 0.466 mm3, p < 0.01). Cortical thickness (Ct.Th) was the same in patients with or without VFX, whereas cortical porosity (Ct.Po) was higher in patients with VFX (6.5 ± 2.6 versus 5.0 ± 2.0 %, p < 0.01), because their Haversian canals had higher mean areas (8291 ± 4135 versus 5438 ± 2809 μm2, p < 0.001). There was no correlation between any trabecular and cortical micro-architectural parameters. Using a logistic regression model, we evaluated the VFX as a function of the V⁎m.space and Ct.Po, adjusted for age. The odds-ratio of having a VFX was 3.89 (95% CI 1.19–12.7, p = 0.02) for the third tertile of V*m.space (adjusted on age and Ct.Po), and 4.07 (95% CI 1.25–13.3, p = 0.02) for the third tertile of Ct.Po (adjusted on age and V*m.space). Our data show that both trabecular and cortical bone microarchitecture contribute independently to vertebral fractures in men with idiopathic osteoporosis. In contrast to data reported in women, in men it is cortical porosity, and not cortical width, that is associated with vertebral fractures. This suggests that the cortical deficit is different in men and in women with fragility fractures

Holographic Dark Energy Scenario and Variable Modified Chaplygin Gas

In this letter, we have considered that the universe is filled with normal matter and variable modified Chaplygin gas. Also we have considered the interaction between normal matter and variable modified Chaplygin gas in FRW universe. Then we have considered a correspondence between the holographic dark energy density and interacting variable modified Chaplygin gas energy density. Then we have reconstructed the potential of the scalar field which describes the variable modified Chaplygin cosmology.Comment: 4 latex pages, no figures, RevTeX styl

Magnetic Field Stimulated Transitions of Excited States in Fast Muonic Helium Ions

It is shown that one can stimulate, by using the present-day laboratory magnetic fields, transitions between the $lm$ sub-levels of fast $\mu He^+$ ions formating in muon catalyzed fusion. Strong fields also cause the self-ionization from highly excited states of such muonic ions. Both effects are the consequence of the interaction of the bound muon with the oscillating field of the Stark term coupling the center-of-mass and muon motions of the $\mu He^+$ ion due to the non-separability of the collective and internal variables in this system. The performed calculations show a possibility to drive the population of the $lm$ sub-levels by applying a field of a few $Tesla$, which affects the reactivation rate and is especially important to the $K\alpha$ $x$-ray production in muon catalyzed fusion. It is also shown that the $2s-2p$ splitting in $\mu He^+$ due to the vacuum polarization slightly decreases the stimulated transition rates.Comment: 5 figure

En face optical coherence tomography of foveal microstructure in full-thickness macular hole: a model to study perifoveal müller cells.

PURPOSE: To characterize perifoveal intraretinal cavities observed around full-thickness macular holes (MH) using en face optical coherence tomography and to establish correlations with histology of human and primate maculae. DESIGN: Retrospective nonconsecutive observational case series. METHODS: Macular en face scans of 8 patients with MH were analyzed to quantify the areas of hyporeflective spaces, and were compared with macular flat mounts and sections from 1 normal human donor eye and 2 normal primate eyes (Macaca fascicularis). Immunohistochemistry was used to study the distribution of glutamine synthetase, expressed by Müller cells, and zonula occludens-1, a tight-junction protein. RESULTS: The mean area of hyporeflective spaces was lower in the inner nuclear layer (INL) than in the complex formed by the outer plexiform (OPL) and the Henle fiber layers (HFL): 5.0 × 10(-3) mm(2) vs 15.9 × 10(-3) mm(2), respectively (P < .0001, Kruskal-Wallis test). In the OPL and HFL, cavities were elongated with a stellate pattern, whereas in the INL they were rounded and formed vertical cylinders. Immunohistochemistry confirmed that Müller cells followed a radial distribution around the fovea in the frontal plane and a "Z-shaped" course in the axial plane, running obliquely in the OPL and HFL and vertically in the inner layers. In addition, zonula occludens-1 co-localized with Müller cells within the complex of OPL and HFL, indicating junctions in between Müller cells and cone axons. CONCLUSION: The dual profile of cavities around MHs correlates with Müller cell morphology and is consistent with the hypothesis of intra- or extracellular fluid accumulation along these cells

Multimodal Highlighting of Structural Abnormalities in Diabetic Rat and Human Corneas.

PURPOSE: This study aimed to highlight structural corneal changes in a model of type 2 diabetes, using in vivo corneal confocal microscopy (CCM). The abnormalities were also characterized by transmission electron microscopy (TEM) and second harmonic generation (SHG) microscopy in rat and human corneas. METHODS: Goto-Kakizaki (GK) rats were observed at age 12 weeks (n = 3) and 1 year (n = 6), and compared to age-matched controls. After in vivo CCM examination, TEM and SHG microscopy were used to characterize the ultrastructure and the three-dimensional organization of the abnormalities. Human corneas from diabetic (n = 3) and nondiabetic (n = 3) patients were also included in the study. RESULTS: In the basal epithelium of GK rats, CCM revealed focal hyper-reflective areas, and histology showed proliferative cells with irregular basement membrane. In the anterior stroma, extracellular matrix modifications were detected by CCM and confirmed in histology. In the Descemet's membrane periphery of all the diabetic corneas, hyper-reflective deposits were highlighted using CCM and characterized as long-spacing collagen fibrils by TEM. SHG microscopy revealed these deposits with high contrast, allowing specific detection in diabetic human and rat corneas without preparation and characterization of their three-dimensional organization. CONCLUSION: Pathologic findings were observed early in the development of diabetes in GK rats. Similar abnormalities have been found in corneas from diabetic patients. TRANSLATIONAL RELEVANCE: This multidisciplinary study highlights diabetes-induced corneal abnormalities in an animal model, but also in diabetic donors. This could constitute a potential early marker for diagnosis of hyperglycemia-induced tissue changes