155 research outputs found

    Joint Spectral Radius and Path-Complete Graph Lyapunov Functions

    Full text link
    We introduce the framework of path-complete graph Lyapunov functions for approximation of the joint spectral radius. The approach is based on the analysis of the underlying switched system via inequalities imposed among multiple Lyapunov functions associated to a labeled directed graph. Inspired by concepts in automata theory and symbolic dynamics, we define a class of graphs called path-complete graphs, and show that any such graph gives rise to a method for proving stability of the switched system. This enables us to derive several asymptotically tight hierarchies of semidefinite programming relaxations that unify and generalize many existing techniques such as common quadratic, common sum of squares, and maximum/minimum-of-quadratics Lyapunov functions. We compare the quality of approximation obtained by certain classes of path-complete graphs including a family of dual graphs and all path-complete graphs with two nodes on an alphabet of two matrices. We provide approximation guarantees for several families of path-complete graphs, such as the De Bruijn graphs, establishing as a byproduct a constructive converse Lyapunov theorem for maximum/minimum-of-quadratics Lyapunov functions.Comment: To appear in SIAM Journal on Control and Optimization. Version 2 has gone through two major rounds of revision. In particular, a section on the performance of our algorithm on application-motivated problems has been added and a more comprehensive literature review is presente

    A Complete Characterization of the Gap between Convexity and SOS-Convexity

    Full text link
    Our first contribution in this paper is to prove that three natural sum of squares (sos) based sufficient conditions for convexity of polynomials, via the definition of convexity, its first order characterization, and its second order characterization, are equivalent. These three equivalent algebraic conditions, henceforth referred to as sos-convexity, can be checked by semidefinite programming whereas deciding convexity is NP-hard. If we denote the set of convex and sos-convex polynomials in nn variables of degree dd with C~n,d\tilde{C}_{n,d} and ΣC~n,d\tilde{\Sigma C}_{n,d} respectively, then our main contribution is to prove that C~n,d=ΣC~n,d\tilde{C}_{n,d}=\tilde{\Sigma C}_{n,d} if and only if n=1n=1 or d=2d=2 or (n,d)=(2,4)(n,d)=(2,4). We also present a complete characterization for forms (homogeneous polynomials) except for the case (n,d)=(3,4)(n,d)=(3,4) which is joint work with G. Blekherman and is to be published elsewhere. Our result states that the set Cn,dC_{n,d} of convex forms in nn variables of degree dd equals the set ΣCn,d\Sigma C_{n,d} of sos-convex forms if and only if n=2n=2 or d=2d=2 or (n,d)=(3,4)(n,d)=(3,4). To prove these results, we present in particular explicit examples of polynomials in C~2,6ΣC~2,6\tilde{C}_{2,6}\setminus\tilde{\Sigma C}_{2,6} and C~3,4ΣC~3,4\tilde{C}_{3,4}\setminus\tilde{\Sigma C}_{3,4} and forms in C3,6ΣC3,6C_{3,6}\setminus\Sigma C_{3,6} and C4,4ΣC4,4C_{4,4}\setminus\Sigma C_{4,4}, and a general procedure for constructing forms in Cn,d+2ΣCn,d+2C_{n,d+2}\setminus\Sigma C_{n,d+2} from nonnegative but not sos forms in nn variables and degree dd. Although for disparate reasons, the remarkable outcome is that convex polynomials (resp. forms) are sos-convex exactly in cases where nonnegative polynomials (resp. forms) are sums of squares, as characterized by Hilbert.Comment: 25 pages; minor editorial revisions made; formal certificates for computer assisted proofs of the paper added to arXi

    Spin observables in deuteron-proton radiative capture at intermediate energies

    Get PDF
    A radiative deuteron-proton capture experiment was carried out at KVI using polarized-deuteron beams at incident energies of 55, 66.5, and 90 MeV/nucleon. Vector and tensor-analyzing powers were obtained for a large angular range. The results are interpreted with the help of Faddeev calculations, which are based on modern two- and three-nucleon potentials. Our data are described well by the calculations, and disagree significantly with the observed tensor anomaly at RCNP.Comment: 10 pages, 4 figures, submitted to PL

    Signatures of three-nucleon interactions in few-nucleon systems

    Get PDF
    Recent experimental results in three-body systems have unambiguously shown that calculations based only on nucleon-nucleon forces fail to accurately describe many experimental observables and one needs to include effects which are beyond the realm of the two-body potentials. This conclusion owes its significance to the fact that experiments and calculations can both be performed with a high accuracy. In this review, both theoretical and experimental achievements of the past decade will be underlined. Selected results will be presented. The discussion on the effects of the three-nucleon forces is, however, limited to the hadronic sector. It will be shown that despite the major successes in describing these seemingly simple systems, there are still clear discrepancies between data and the state-of-the-art calculations.Comment: accepted for publication in Rep. Prog. Phy

    NP-hardness of Deciding Convexity of Quartic Polynomials and Related Problems

    Get PDF
    We show that unless P=NP, there exists no polynomial time (or even pseudo-polynomial time) algorithm that can decide whether a multivariate polynomial of degree four (or higher even degree) is globally convex. This solves a problem that has been open since 1992 when N. Z. Shor asked for the complexity of deciding convexity for quartic polynomials. We also prove that deciding strict convexity, strong convexity, quasiconvexity, and pseudoconvexity of polynomials of even degree four or higher is strongly NP-hard. By contrast, we show that quasiconvexity and pseudoconvexity of odd degree polynomials can be decided in polynomial time.Comment: 20 page

    Incremental prognostic value of hybrid [15O]H2O positron emission tomography-computed tomography: combining myocardial blood flow, coronary stenosis severity, and high-risk plaque morphology

    Get PDF
    AimsThis study sought to determine the prognostic value of combined functional testing using positron emission tomography (PET) perfusion imaging and anatomical testing using coronary computed tomography angiography (CCTA)-derived stenosis severity and plaque morphology in patients with suspected coronary artery disease (CAD).Methods and resultsIn this retrospective study, 539 patients referred for hybrid [15O]H2O PET-CT imaging because of suspected CAD were investigated. PET was used to determine myocardial blood flow (MBF), whereas CCTA images were evaluated for obstructive stenoses and high-risk plaque (HRP) morphology. Patients were followed up for the occurrence of all-cause death and non-fatal myocardial infarction (MI). During a median follow-up of 6.8 (interquartile range 4.8–7.8) years, 42 (7.8%) patients experienced events, including 23 (4.3%) deaths, and 19 (3.5%) MIs. Annualized event rates for normal vs. abnormal results of PET MBF, CCTA-derived stenosis, and HRP morphology were 0.6 vs. 2.1%, 0.4 vs. 2.1%, and 0.8 vs. 2.8%, respectively (P ConclusionPET-derived MBF, CCTA-derived stenosis severity, and HRP morphology were univariably associated with death and MI, whereas only stenosis severity and HRP morphology provided independent prognostic value.</div

    Mapping 123 million neonatal, infant and child deaths between 2000 and 2017

    Get PDF
    Since 2000, many countries have achieved considerable success in improving child survival, but localized progress remains unclear. To inform efforts towards United Nations Sustainable Development Goal 3.2—to end preventable child deaths by 2030—we need consistently estimated data at the subnational level regarding child mortality rates and trends. Here we quantified, for the period 2000–2017, the subnational variation in mortality rates and number of deaths of neonates, infants and children under 5 years of age within 99 low- and middle-income countries using a geostatistical survival model. We estimated that 32% of children under 5 in these countries lived in districts that had attained rates of 25 or fewer child deaths per 1,000 live births by 2017, and that 58% of child deaths between 2000 and 2017 in these countries could have been averted in the absence of geographical inequality. This study enables the identification of high-mortality clusters, patterns of progress and geographical inequalities to inform appropriate investments and implementations that will help to improve the health of all populations

    Mapping geographical inequalities in access to drinking water and sanitation facilities in low-income and middle-income countries, 2000-17

    Get PDF
    Background: Universal access to safe drinking water and sanitation facilities is an essential human right, recognised in the Sustainable Development Goals as crucial for preventing disease and improving human wellbeing. Comprehensive, high-resolution estimates are important to inform progress towards achieving this goal. We aimed to produce high-resolution geospatial estimates of access to drinking water and sanitation facilities. Methods: We used a Bayesian geostatistical model and data from 600 sources across more than 88 low-income and middle-income countries (LMICs) to estimate access to drinking water and sanitation facilities on continuous continent-wide surfaces from 2000 to 2017, and aggregated results to policy-relevant administrative units. We estimated mutually exclusive and collectively exhaustive subcategories of facilities for drinking water (piped water on or off premises, other improved facilities, unimproved, and surface water) and sanitation facilities (septic or sewer sanitation, other improved, unimproved, and open defecation) with use of ordinal regression. We also estimated the number of diarrhoeal deaths in children younger than 5 years attributed to unsafe facilities and estimated deaths that were averted by increased access to safe facilities in 2017, and analysed geographical inequality in access within LMICs. Findings: Across LMICs, access to both piped water and improved water overall increased between 2000 and 2017, with progress varying spatially. For piped water, the safest water facility type, access increased from 40·0% (95% uncertainty interval [UI] 39·4–40·7) to 50·3% (50·0–50·5), but was lowest in sub-Saharan Africa, where access to piped water was mostly concentrated in urban centres. Access to both sewer or septic sanitation and improved sanitation overall also increased across all LMICs during the study period. For sewer or septic sanitation, access was 46·3% (95% UI 46·1–46·5) in 2017, compared with 28·7% (28·5–29·0) in 2000. Although some units improved access to the safest drinking water or sanitation facilities since 2000, a large absolute number of people continued to not have access in several units with high access to such facilities (>80%) in 2017. More than 253 000 people did not have access to sewer or septic sanitation facilities in the city of Harare, Zimbabwe, despite 88·6% (95% UI 87·2–89·7) access overall. Many units were able to transition from the least safe facilities in 2000 to safe facilities by 2017; for units in which populations primarily practised open defecation in 2000, 686 (95% UI 664–711) of the 1830 (1797–1863) units transitioned to the use of improved sanitation. Geographical disparities in access to improved water across units decreased in 76·1% (95% UI 71·6–80·7) of countries from 2000 to 2017, and in 53·9% (50·6–59·6) of countries for access to improved sanitation, but remained evident subnationally in most countries in 2017. Interpretation: Our estimates, combined with geospatial trends in diarrhoeal burden, identify where efforts to increase access to safe drinking water and sanitation facilities are most needed. By highlighting areas with successful approaches or in need of targeted interventions, our estimates can enable precision public health to effectively progress towards universal access to safe water and sanitation

    Estimates, trends, and drivers of the global burden of type 2 diabetes attributable to PM2.5 air pollution, 1990-2019 : an analysis of data from the Global Burden of Disease Study 2019

    Get PDF
    Background Experimental and epidemiological studies indicate an association between exposure to particulate matter (PM) air pollution and increased risk of type 2 diabetes. In view of the high and increasing prevalence of diabetes, we aimed to quantify the burden of type 2 diabetes attributable to PM2.5 originating from ambient and household air pollution.Methods We systematically compiled all relevant cohort and case-control studies assessing the effect of exposure to household and ambient fine particulate matter (PM2.5) air pollution on type 2 diabetes incidence and mortality. We derived an exposure-response curve from the extracted relative risk estimates using the MR-BRT (meta-regression-Bayesian, regularised, trimmed) tool. The estimated curve was linked to ambient and household PM2.5 exposures from the Global Burden of Diseases, Injuries, and Risk Factors Study 2019, and estimates of the attributable burden (population attributable fractions and rates per 100 000 population of deaths and disability-adjusted life-years) for 204 countries from 1990 to 2019 were calculated. We also assessed the role of changes in exposure, population size, age, and type 2 diabetes incidence in the observed trend in PM2.5-attributable type 2 diabetes burden. All estimates are presented with 95% uncertainty intervals.Findings In 2019, approximately a fifth of the global burden of type 2 diabetes was attributable to PM2.5 exposure, with an estimated 3.78 (95% uncertainty interval 2.68-4.83) deaths per 100 000 population and 167 (117-223) disability-adjusted life-years (DALYs) per 100 000 population. Approximately 13.4% (9.49-17.5) of deaths and 13.6% (9.73-17.9) of DALYs due to type 2 diabetes were contributed by ambient PM2.5, and 6.50% (4.22-9.53) of deaths and 5.92% (3.81-8.64) of DALYs by household air pollution. High burdens, in terms of numbers as well as rates, were estimated in Asia, sub-Saharan Africa, and South America. Since 1990, the attributable burden has increased by 50%, driven largely by population growth and ageing. Globally, the impact of reductions in household air pollution was largely offset by increased ambient PM2.5.Interpretation Air pollution is a major risk factor for diabetes. We estimated that about a fifth of the global burden of type 2 diabetes is attributable PM2.5 pollution. Air pollution mitigation therefore might have an essential role in reducing the global disease burden resulting from type 2 diabetes. Copyright (C) 2022 The Author(s). Published by Elsevier Ltd.Peer reviewe
    corecore