The Phase Diagram of 1-in-3 Satisfiability Problem

We study the typical case properties of the 1-in-3 satisfiability problem, the boolean satisfaction problem where a clause is satisfied by exactly one literal, in an enlarged random ensemble parametrized by average connectivity and probability of negation of a variable in a clause. Random 1-in-3 Satisfiability and Exact 3-Cover are special cases of this ensemble. We interpolate between these cases from a region where satisfiability can be typically decided for all connectivities in polynomial time to a region where deciding satisfiability is hard, in some interval of connectivities. We derive several rigorous results in the first region, and develop the one-step--replica-symmetry-breaking cavity analysis in the second one. We discuss the prediction for the transition between the almost surely satisfiable and the almost surely unsatisfiable phase, and other structural properties of the phase diagram, in light of cavity method results.Comment: 30 pages, 12 figure

EFFICIENCY AND RADIATIVE RECOMBINATION RATE ENHANCEMENT IN GAN/ALGAN MULTI-QUANTUM WELL-BASED ELECTRON BLOCKING LAYER FREE UV-LED FOR IMPROVED LUMINESCENCE

In this paper, an electron blocking layer (EBL) free GaN/AlGaN light emitting diode (LED) is designed using Atlas TCAD with graded composition in the quantum barriers of the active region. The device has a GaN buffer layer incorporated in a c-plane for better carrier transportation and low efficiency droop. The proposed LED has quantum barriers with aluminium composition graded from 20% to ~2% per triangular, whereas the conventional has square barriers. The resulted structures exhibit significantly reduced electron leakage and improved hole injection into the active region, thus generating higher radiative recombination. The simulation outcomes exhibit the highest internal quantum efficiency (IQE) (48.4%) indicating a significant rise compared to the conventional LED. The designed EBL free LED with graded quantum barrier structure acquires substantially minimized efficiency droop of ~7.72% at 60 mA. Our study shows that the proposed structure has improved radiative recombination by ~136.7%, reduced electron leakage, and enhanced optical power by ~8.084% at 60 mA injected current as compared to conventional GaN/AlGaN EBL LED structure

Absolute instruments and perfect imaging in geometrical optics

We investigate imaging by spherically symmetric absolute instruments that provide perfect imaging in the sense of geometrical optics. We derive a number of properties of such devices, present a general method for designing them and use this method to propose several new absolute instruments, in particular a lens providing a stigmatic image of an optically homogeneous region and having a moderate refractive index range.Comment: 20 pages, 9 image

A mediation approach to understanding socio-economic inequalities in maternal health-seeking behaviours in Egypt.

BACKGROUND: The levels and origins of socio-economic inequalities in health-seeking behaviours in Egypt are poorly understood. This paper assesses the levels of health-seeking behaviours related to maternal care (antenatal care [ANC] and facility delivery) and their accumulation during pregnancy and childbirth. Secondly, it explores the mechanisms underlying the association between socio-economic position (SEP) and maternal health-seeking behaviours. Thirdly, it examines the effectiveness of targeting of free public ANC and delivery care. METHODS: Data from the 2008 Demographic and Health Survey were used to capture two latent constructs of SEP: individual socio-cultural capital and household-level economic capital. These variables were entered into an adjusted mediation model, predicting twelve dimensions of maternal health-seeking; including any ANC, private ANC, first ANC visit in first trimester, regular ANC (four or more visits during pregnancy), facility delivery, and private delivery. ANC and delivery care costs were examined separately by provider type (public or private). RESULTS: While 74.2% of women with a birth in the 5-year recall period obtained any ANC and 72.4% delivered in a facility, only 48.8% obtained the complete maternal care package (timely and regular facility-based ANC as well as facility delivery) for their most recent live birth. Both socio-cultural capital and economic capital were independently positively associated with receiving any ANC and delivering in a facility. The strongest direct effect of socio-cultural capital was seen in models predicting private provider use of both ANC and delivery. Despite substantial proportions of women using public providers reporting receipt of free care (ANC: 38%, delivery: 24%), this free-of-charge public care was not effectively targeted to women with lowest economic resources. CONCLUSIONS: Socio-cultural capital is the primary mechanism leading to inequalities in maternal health-seeking in Egypt. Future studies should therefore examine the objective and perceived quality of care from different types of providers. Improvements in the targeting of free public care could help reduce the existing SEP-based inequalities in maternal care coverage in the short term

Probabilistic Reconstruction in Compressed Sensing: Algorithms, Phase Diagrams, and Threshold Achieving Matrices

Compressed sensing is a signal processing method that acquires data directly in a compressed form. This allows one to make less measurements than what was considered necessary to record a signal, enabling faster or more precise measurement protocols in a wide range of applications. Using an interdisciplinary approach, we have recently proposed in [arXiv:1109.4424] a strategy that allows compressed sensing to be performed at acquisition rates approaching to the theoretical optimal limits. In this paper, we give a more thorough presentation of our approach, and introduce many new results. We present the probabilistic approach to reconstruction and discuss its optimality and robustness. We detail the derivation of the message passing algorithm for reconstruction and expectation max- imization learning of signal-model parameters. We further develop the asymptotic analysis of the corresponding phase diagrams with and without measurement noise, for different distribution of signals, and discuss the best possible reconstruction performances regardless of the algorithm. We also present new efficient seeding matrices, test them on synthetic data and analyze their performance asymptotically.Comment: 42 pages, 37 figures, 3 appendixe

Random subcubes as a toy model for constraint satisfaction problems

We present an exactly solvable random-subcube model inspired by the structure of hard constraint satisfaction and optimization problems. Our model reproduces the structure of the solution space of the random k-satisfiability and k-coloring problems, and undergoes the same phase transitions as these problems. The comparison becomes quantitative in the large-k limit. Distance properties, as well the x-satisfiability threshold, are studied. The model is also generalized to define a continuous energy landscape useful for studying several aspects of glassy dynamics.Comment: 21 pages, 4 figure

Message Passing for Optimization and Control of Power Grid: Model of Distribution System with Redundancy

We use a power grid model with $M$ generators and $N$ consumption units to optimize the grid and its control. Each consumer demand is drawn from a predefined finite-size-support distribution, thus simulating the instantaneous load fluctuations. Each generator has a maximum power capability. A generator is not overloaded if the sum of the loads of consumers connected to a generator does not exceed its maximum production. In the standard grid each consumer is connected only to its designated generator, while we consider a more general organization of the grid allowing each consumer to select one generator depending on the load from a pre-defined consumer-dependent and sufficiently small set of generators which can all serve the load. The model grid is interconnected in a graph with loops, drawn from an ensemble of random bipartite graphs, while each allowed configuration of loaded links represent a set of graph covering trees. Losses, the reactive character of the grid and the transmission-level connections between generators (and many other details relevant to realistic power grid) are ignored in this proof-of-principles study. We focus on the asymptotic limit and we show that the interconnects allow significant expansion of the parameter domains for which the probability of a generator overload is asymptotically zero. Our construction explores the formal relation between the problem of grid optimization and the modern theory of sparse graphical models. We also design heuristic algorithms that achieve the asymptotically optimal selection of loaded links. We conclude discussing the ability of this approach to include other effects, such as a more realistic modeling of the power grid and related optimization and control algorithms.Comment: 10 page

Diverse tick-borne microorganisms identified in free-living ungulates in Slovakia

Background: Free-living ungulates are hosts of ixodid ticks and reservoirs of tick-borne microorganisms in central Europe and many regions around the world. Tissue samples and engorged ticks were obtained from roe deer, red deer, fallow deer, mouflon, and wild boar hunted in deciduous forests of south-western Slovakia. DNA isolated from these samples was screened for the presence of tick-borne microorganisms by PCR-based methods. Results: Ticks were found to infest all examined ungulate species. The principal infesting tick was Ixodes ricinus, identified on 90.4% of wildlife, and included all developmental stages. Larvae and nymphs of Haemaphysalis concinna were feeding on 9.6% of wildlife. Two specimens of Dermacentor reticulatus were also identified. Ungulates were positive for A. phagocytophilum and Theileria spp. Anaplasma phagocytophilum was found to infect 96.1% of cervids, 88.9% of mouflon, and 28.2% of wild boar, whereas Theileria spp. was detected only in cervids (94.6%). Importantly, a high rate of cervids (89%) showed mixed infections with both these microorganisms. In addition to A. phagocytophilum and Theileria spp., Rickettsia helvetica, R. monacensis, unidentified Rickettsia sp., Coxiella burnetii, "Candidatus Neoehrlichia mikurensis", Borrelia burgdorferi (s.l.) and Babesia venatorum were identified in engorged I. ricinus. Furthermore, A. phagocytophilum, Babesia spp. and Theileria spp. were detected in engorged H. concinna. Analysis of 16S rRNA and groEL gene sequences revealed the presence of five and two A. phagocytophilum variants, respectively, among which sequences identified in wild boar showed identity to the sequence of the causative agent of human granulocytic anaplasmosis (HGA). Phylogenetic analysis of Theileria 18S rRNA gene sequences amplified from cervids and engorged I. ricinus ticks segregated jointly with sequences of T. capreoli isolates into a moderately supported monophyletic clade. Conclusions: The findings indicate that free-living ungulates are reservoirs for A. phagocytophilum and Theileria spp. and engorged ixodid ticks attached to ungulates are good sentinels for the presence of agents of public and veterinary concern. Further analyses of the A. phagocytophilum genetic variants and Theileria species and their associations with vector ticks and free-living ungulates are required.Fil: Kazimírová, Mária. Slovak Academy of Sciences. Institute of Zoology; EslovaquiaFil: Hamšíková, Zuzana. Slovak Academy of Sciences. Institute of Zoology; EslovaquiaFil: Spitalská, Eva. Slovak Academy of Sciences. Institute of Virology. Biomedical Research Center,; EslovaquiaFil: Minichová, Lenka. Slovak Academy of Sciences. Institute of Virology. Biomedical Research Center,; EslovaquiaFil: Mahríková, Lenka. Slovak Academy of Sciences. Institute of Zoology; EslovaquiaFil: Caban, Radoslav. Široká ; EslovaquiaFil: Sprong, Hein. National Institute for Public Health and Environment.Laboratory for Zoonoses and Environmental Microbiology; Países BajosFil: Fonville, Manoj. National Institute for Public Health and Environment.Laboratory for Zoonoses and Environmental Microbiology; Países BajosFil: Schnittger, Leonhard. Instituto Nacional de Tecnología Agropecuaria. Centro de Investigación en Ciencias Veterinarias y Agronómicas. Instituto de Patobiología; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Kocianová, Elena. Slovak Academy of Sciences. Institute of Virology. Biomedical Research Center,; Eslovaqui