1,076 research outputs found

    Percolation of satisfiability in finite dimensions

    Get PDF
    The satisfiability and optimization of finite-dimensional Boolean formulas are studied using percolation theory, rare region arguments, and boundary effects. In contrast with mean-field results, there is no satisfiability transition, though there is a logical connectivity transition. In part of the disconnected phase, rare regions lead to a divergent running time for optimization algorithms. The thermodynamic ground state for the NP-hard two-dimensional maximum-satisfiability problem is typically unique. These results have implications for the computational study of disordered materials.Comment: 4 pages, 4 fig

    Wildlife population assessment : changing priorities driven by technological advances

    Get PDF
    TAM’s time for this review was covered under the ACCURATE project, funded by the US Navy Living Marine Resources program (contract no. N3943019C2176), and he also thanks partial support by CEAUL (funded by FCT—Fundação para a Ciência e a Tecnologia, Portugal, through the project UIDB/00006/2020).Advances in technology are having a large effect on the priorities for innovation in statistical ecology. Collaborations between statisticians and ecologists have always been important in driving methodological development, but increasingly, expertise from computer scientists and engineers is also needed. We discuss changes that are occurring and that may occur in the future in surveys for estimating animal abundance. As technology advances, we expect classical distance sampling and capture-recapture to decrease in importance, as camera (still and video) survey, acoustic survey, spatial capture-recapture and genetic methods continue to develop and find new applications. We explore how these changes are impacting the work of the statistical ecologist.Publisher PDFPeer reviewe

    A hybrid constraint programming and semidefinite programming approach for the stable set problem

    Full text link
    This work presents a hybrid approach to solve the maximum stable set problem, using constraint and semidefinite programming. The approach consists of two steps: subproblem generation and subproblem solution. First we rank the variable domain values, based on the solution of a semidefinite relaxation. Using this ranking, we generate the most promising subproblems first, by exploring a search tree using a limited discrepancy strategy. Then the subproblems are being solved using a constraint programming solver. To strengthen the semidefinite relaxation, we propose to infer additional constraints from the discrepancy structure. Computational results show that the semidefinite relaxation is very informative, since solutions of good quality are found in the first subproblems, or optimality is proven immediately.Comment: 14 page

    Hypergraphic LP Relaxations for Steiner Trees

    Get PDF
    We investigate hypergraphic LP relaxations for the Steiner tree problem, primarily the partition LP relaxation introduced by Koenemann et al. [Math. Programming, 2009]. Specifically, we are interested in proving upper bounds on the integrality gap of this LP, and studying its relation to other linear relaxations. Our results are the following. Structural results: We extend the technique of uncrossing, usually applied to families of sets, to families of partitions. As a consequence we show that any basic feasible solution to the partition LP formulation has sparse support. Although the number of variables could be exponential, the number of positive variables is at most the number of terminals. Relations with other relaxations: We show the equivalence of the partition LP relaxation with other known hypergraphic relaxations. We also show that these hypergraphic relaxations are equivalent to the well studied bidirected cut relaxation, if the instance is quasibipartite. Integrality gap upper bounds: We show an upper bound of sqrt(3) ~ 1.729 on the integrality gap of these hypergraph relaxations in general graphs. In the special case of uniformly quasibipartite instances, we show an improved upper bound of 73/60 ~ 1.216. By our equivalence theorem, the latter result implies an improved upper bound for the bidirected cut relaxation as well.Comment: Revised full version; a shorter version will appear at IPCO 2010

    Methacholine-induced airway hyperresponsiveness is dependent on Gα\u3csub\u3eq\u3c/sub\u3e signaling

    Get PDF
    Airway function in health and disease as well as in response to bronchospastic stimuli (i.e., irritants, allergens, and inflammatory mediators) is controlled, in part, by cholinergic muscarinic receptor regulation of smooth muscle. In particular, the dependence of airway smooth muscle contraction/relaxation on heterotrimeric G protein-coupled receptor signaling suggests that these events underlie the responses regulating airway function. Gαq-containing G proteins are proposed to be a prominent signaling pathway, and the availability of knockout mice deficient of this subunit has allowed for an investigation of its potential role in airway function. Airway responses in Gαq-deficient mice (activities assessed by both tracheal tension and in vivo lung function measurements) were attenuated relative to wild-type controls. Moreover, ovalbumin sensitization/aerosol challenge of Gαq-deficient mice also failed to elicit an allergen-induced increase in airway reactivity to methacholine. These findings indicate that cholinergic receptor-mediated responses are dependent on Gαq-mediated signaling events and identify Gαq as a potential target of preventative/intervening therapies for lung dysfunction

    QFT on homothetic Killing twist deformed curved spacetimes

    Full text link
    We study the quantum field theory (QFT) of a free, real, massless and curvature coupled scalar field on self-similar symmetric spacetimes, which are deformed by an abelian Drinfel'd twist constructed from a Killing and a homothetic Killing vector field. In contrast to deformations solely by Killing vector fields, such as the Moyal-Weyl Minkowski spacetime, the equation of motion and Green's operators are deformed. We show that there is a *-algebra isomorphism between the QFT on the deformed and the formal power series extension of the QFT on the undeformed spacetime. We study the convergent implementation of our deformations for toy-models. For these models it is found that there is a *-isomorphism between the deformed Weyl algebra and a reduced undeformed Weyl algebra, where certain strongly localized observables are excluded. Thus, our models realize the intuitive physical picture that noncommutative geometry prevents arbitrary localization in spacetime.Comment: 23 pages, no figures; v2: extended discussion of physical consequences, compatible with version to be published in General Relativity and Gravitatio

    First measurement of the Non-instantaneous response Time of a χ(3) nonlinear optical effect

    Get PDF
    The third harmonic of a few-cycle pulse, generated at different dielectric surfaces, is investigated using interferometric frequency-resolved optical gating. We present direct experimental evidence for a non-instantaneous nonlinear response in a TiO2 thin film whereas surface third-harmonic generation in a SiO2 sample does not show any indication for non-instanteneity. To the best of our knowledge, this constitutes the first report of a non-instantaneous nonlinear optical response of a dielectric optical material

    Delta Doping of Ferromagnetism in Antiferromagnetic Manganite Superlattices

    Full text link
    We demonstrate that delta-doping can be used to create a dimensionally confined region of metallic ferromagnetism in an antiferromagnetic (AF) manganite host, without introducing any explicit disorder due to dopants or frustration of spins. Delta-doped carriers are inserted into a manganite superlattice (SL) by a digital-synthesis technique. Theoretical consideration of these additional carriers show that they cause a local enhancement of ferromagnetic (F) double-exchange with respect to AF superexchange, resulting in local canting of the AF spins. This leads to a highly modulated magnetization, as measured by polarized neutron reflectometry. The spatial modulation of the canting is related to the spreading of charge from the doped layer, and establishes a fundamental length scale for charge transfer, transformation of orbital occupancy and magnetic order in these manganites. Furthermore, we confirm the existence of the canted, AF state as was predicted by de Gennes [P.-G. de Gennes, Phys. Rev. 118, 141 (1960)], but had remained elusive

    The Pivotal Role of Causality in Local Quantum Physics

    Full text link
    In this article an attempt is made to present very recent conceptual and computational developments in QFT as new manifestations of old and well establihed physical principles. The vehicle for converting the quantum-algebraic aspects of local quantum physics into more classical geometric structures is the modular theory of Tomita. As the above named laureate to whom I have dedicated has shown together with his collaborator for the first time in sufficient generality, its use in physics goes through Einstein causality. This line of research recently gained momentum when it was realized that it is not only of structural and conceptual innovative power (see section 4), but also promises to be a new computational road into nonperturbative QFT (section 5) which, picturesquely speaking, enters the subject on the extreme opposite (noncommutative) side.Comment: This is a updated version which has been submitted to Journal of Physics A, tcilatex 62 pages. Adress: Institut fuer Theoretische Physik FU-Berlin, Arnimallee 14, 14195 Berlin presently CBPF, Rua Dr. Xavier Sigaud 150, 22290-180 Rio de Janeiro, Brazi
    • …
    corecore