TY - GEN
AB - We derive rigorously the leading order of the correlation energy of a Fermi
gas in a scaling regime of high density and weak interaction. The result
verifies the prediction of the random-phase approximation. Our proof refines
the method of collective bosonization in three dimensions. We approximately
diagonalize an effective Hamiltonian describing approximately bosonic
collective excitations around the Hartree-Fock state, while showing that
gapless and non-collective excitations have only a negligible effect on the
ground state energy.
AU - Benedikter, Niels P
AU - Nam, Phan Thành
AU - Porta, Marcello
AU - Schlein, Benjamin
AU - Seiringer, Robert
ID - 7901
T2 - ArXiv
TI - Correlation energy of a weakly interacting Fermi gas
ER -
TY - THES
AB - Mosaic genetic analysis has been widely used in different model organisms such as the fruit fly to study gene-function in a cell-autonomous or tissue-specific fashion. More recently, and less easily conducted, mosaic genetic analysis in mice has also been enabled with the ambition to shed light on human gene function and disease. These genetic tools are of particular interest, but not restricted to, the study of the brain. Notably, the MADM technology offers a genetic approach in mice to visualize and concomitantly manipulate small subsets of genetically defined cells at a clonal level and single cell resolution. MADM-based analysis has already advanced the study of genetic mechanisms regulating brain development and is expected that further MADM-based analysis of genetic alterations will continue to reveal important insights on the fundamental principles of development and disease to potentially assist in the development of new therapies or treatments.
In summary, this work completed and characterized the necessary genome-wide genetic tools to perform MADM-based analysis at single cell level of the vast majority of mouse genes in virtually any cell type and provided a protocol to perform lineage tracing using the novel MADM resource. Importantly, this work also explored and revealed novel aspects of biologically relevant events in an in vivo context, such as the chromosome-specific bias of chromatid sister segregation pattern, the generation of cell-type diversity in the cerebral cortex and in the cerebellum and finally, the relevance of the interplay between the cell-autonomous gene function and cell-non-autonomous (community) effects in radial glial progenitor lineage progression.
This work provides a foundation and opens the door to further elucidating the molecular mechanisms underlying neuronal diversity and astrocyte generation.
AU - Contreras, Ximena
ID - 7902
TI - Genetic dissection of neural development in health and disease at single cell resolution
ER -
TY - JOUR
AB - We investigate a sheaf-theoretic interpretation of stratification learning from geometric and topological perspectives. Our main result is the construction of stratification learning algorithms framed in terms of a sheaf on a partially ordered set with the Alexandroff topology. We prove that the resulting decomposition is the unique minimal stratification for which the strata are homogeneous and the given sheaf is constructible. In particular, when we choose to work with the local homology sheaf, our algorithm gives an alternative to the local homology transfer algorithm given in Bendich et al. (Proceedings of the 23rd Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 1355–1370, ACM, New York, 2012), and the cohomology stratification algorithm given in Nanda (Found. Comput. Math. 20(2), 195–222, 2020). Additionally, we give examples of stratifications based on the geometric techniques of Breiding et al. (Rev. Mat. Complut. 31(3), 545–593, 2018), illustrating how the sheaf-theoretic approach can be used to study stratifications from both topological and geometric perspectives. This approach also points toward future applications of sheaf theory in the study of topological data analysis by illustrating the utility of the language of sheaf theory in generalizing existing algorithms.
AU - Brown, Adam
AU - Wang, Bei
ID - 7905
JF - Discrete & Computational Geometry
SN - 0179-5376
TI - Sheaf-theoretic stratification learning from geometric and topological perspectives
ER -
TY - JOUR
AB - Volatile anesthetics are widely used for surgery, but neuronal mechanisms of anesthesia remain unidentified. At the calyx of Held in brainstem slices from rats of either sex, isoflurane at clinical doses attenuated EPSCs by decreasing the release probability and the number of readily releasable vesicles. In presynaptic recordings of Ca2+ currents and exocytic capacitance changes, isoflurane attenuated exocytosis by inhibiting Ca2+ currents evoked by a short presynaptic depolarization, whereas it inhibited exocytosis evoked by a prolonged depolarization via directly blocking exocytic machinery downstream of Ca2+ influx. Since the length of presynaptic depolarization can simulate the frequency of synaptic inputs, isoflurane anesthesia is likely mediated by distinct dual mechanisms, depending on input frequencies. In simultaneous presynaptic and postsynaptic action potential recordings, isoflurane impaired the fidelity of repetitive spike transmission, more strongly at higher frequencies. Furthermore, in the cerebrum of adult mice, isoflurane inhibited monosynaptic corticocortical spike transmission, preferentially at a higher frequency. We conclude that dual presynaptic mechanisms operate for the anesthetic action of isoflurane, of which direct inhibition of exocytic machinery plays a low-pass filtering role in spike transmission at central excitatory synapses.
AU - Wang, Han Ying
AU - Eguchi, Kohgaku
AU - Yamashita, Takayuki
AU - Takahashi, Tomoyuki
ID - 7908
IS - 21
JF - Journal of Neuroscience
TI - Frequency-dependent block of excitatory neurotransmission by isoflurane via dual presynaptic mechanisms
VL - 40
ER -
TY - JOUR
AB - Cell migration entails networks and bundles of actin filaments termed lamellipodia and microspikes or filopodia, respectively, as well as focal adhesions, all of which recruit Ena/VASP family members hitherto thought to antagonize efficient cell motility. However, we find these proteins to act as positive regulators of migration in different murine cell lines. CRISPR/Cas9-mediated loss of Ena/VASP proteins reduced lamellipodial actin assembly and perturbed lamellipodial architecture, as evidenced by changed network geometry as well as reduction of filament length and number that was accompanied by abnormal Arp2/3 complex and heterodimeric capping protein accumulation. Loss of Ena/VASP function also abolished the formation of microspikes normally embedded in lamellipodia, but not of filopodia capable of emanating without lamellipodia. Ena/VASP-deficiency also impaired integrin-mediated adhesion accompanied by reduced traction forces exerted through these structures. Our data thus uncover novel Ena/VASP functions of these actin polymerases that are fully consistent with their promotion of cell migration.
AU - Damiano-Guercio, Julia
AU - Kurzawa, Laëtitia
AU - Müller, Jan
AU - Dimchev, Georgi A
AU - Schaks, Matthias
AU - Nemethova, Maria
AU - Pokrant, Thomas
AU - Brühmann, Stefan
AU - Linkner, Joern
AU - Blanchoin, Laurent
AU - Sixt, Michael K
AU - Rottner, Klemens
AU - Faix, Jan
ID - 7909
JF - eLife
TI - Loss of Ena/VASP interferes with lamellipodium architecture, motility and integrin-dependent adhesion
VL - 9
ER -
TY - JOUR
AB - Quantum illumination uses entangled signal-idler photon pairs to boost the detection efficiency of low-reflectivity objects in environments with bright thermal noise. Its advantage is particularly evident at low signal powers, a promising feature for applications such as noninvasive biomedical scanning or low-power short-range radar. Here, we experimentally investigate the concept of quantum illumination at microwave frequencies. We generate entangled fields to illuminate a room-temperature object at a distance of 1 m in a free-space detection setup. We implement a digital phase-conjugate receiver based on linear quadrature measurements that outperforms a symmetric classical noise radar in the same conditions, despite the entanglement-breaking signal path. Starting from experimental data, we also simulate the case of perfect idler photon number detection, which results in a quantum advantage compared with the relative classical benchmark. Our results highlight the opportunities and challenges in the way toward a first room-temperature application of microwave quantum circuits.
AU - Barzanjeh, Shabir
AU - Pirandola, S.
AU - Vitali, D
AU - Fink, Johannes M
ID - 7910
IS - 19
JF - Science Advances
TI - Microwave quantum illumination using a digital receiver
VL - 6
ER -
TY - JOUR
AB - We explore the time evolution of two impurities in a trapped one-dimensional Bose gas that follows a change of the boson-impurity interaction. We study the induced impurity-impurity interactions and their effect on the quench dynamics. In particular, we report on the size of the impurity cloud, the impurity-impurity entanglement, and the impurity-impurity correlation function. The presented numerical simulations are based upon the variational multilayer multiconfiguration time-dependent Hartree method for bosons. To analyze and quantify induced impurity-impurity correlations, we employ an effective two-body Hamiltonian with a contact interaction. We show that the effective model consistent with the mean-field attraction of two heavy impurities explains qualitatively our results for weak interactions. Our findings suggest that the quench dynamics in cold-atom systems can be a tool for studying impurity-impurity correlations.
AU - Mistakidis, S. I.
AU - Volosniev, Artem
AU - Schmelcher, P.
ID - 7919
JF - Physical Review Research
SN - 2643-1564
TI - Induced correlations between impurities in a one-dimensional quenched Bose gas
VL - 2
ER -
TY - JOUR
AB - In this paper, we introduce a relaxed CQ method with alternated inertial step for solving split feasibility problems. We give convergence of the sequence generated by our method under some suitable assumptions. Some numerical implementations from sparse signal and image deblurring are reported to show the efficiency of our method.
AU - Shehu, Yekini
AU - Gibali, Aviv
ID - 7925
JF - Optimization Letters
SN - 1862-4472
TI - New inertial relaxed method for solving split feasibilities
ER -
TY - JOUR
AB - In the course of sample preparation for Next Generation Sequencing (NGS), DNA is fragmented by various methods. Fragmentation shows a persistent bias with regard to the cleavage rates of various dinucleotides. With the exception of CpG dinucleotides the previously described biases were consistent with results of the DNA cleavage in solution. Here we computed cleavage rates of all dinucleotides including the methylated CpG and unmethylated CpG dinucleotides using data of the Whole Genome Sequencing datasets of the 1000 Genomes project. We found that the cleavage rate of CpG is significantly higher for the methylated CpG dinucleotides. Using this information, we developed a classifier for distinguishing cancer and healthy tissues based on their CpG islands statuses of the fragmentation. A simple Support Vector Machine classifier based on this algorithm shows an accuracy of 84%. The proposed method allows the detection of epigenetic markers purely based on mechanochemical DNA fragmentation, which can be detected by a simple analysis of the NGS sequencing data.
AU - Uroshlev, Leonid A.
AU - Abdullaev, Eldar T.
AU - Umarova, Iren R.
AU - Il’Icheva, Irina A.
AU - Panchenko, Larisa A.
AU - Polozov, Robert V.
AU - Kondrashov, Fyodor
AU - Nechipurenko, Yury D.
AU - Grokhovsky, Sergei L.
ID - 7931
JF - Scientific Reports
TI - A method for identification of the methylation level of CpG islands from NGS data
VL - 10
ER -
TY - JOUR
AB - Pulsating flows through tubular geometries are laminar provided that velocities are moderate. This in particular is also believed to apply to cardiovascular flows where inertial forces are typically too low to sustain turbulence. On the other hand, flow instabilities and fluctuating shear stresses are held responsible for a variety of cardiovascular diseases. Here we report a nonlinear instability mechanism for pulsating pipe flow that gives rise to bursts of turbulence at low flow rates. Geometrical distortions of small, yet finite, amplitude are found to excite a state consisting of helical vortices during flow deceleration. The resulting flow pattern grows rapidly in magnitude, breaks down into turbulence, and eventually returns to laminar when the flow accelerates. This scenario causes shear stress fluctuations and flow reversal during each pulsation cycle. Such unsteady conditions can adversely affect blood vessels and have been shown to promote inflammation and dysfunction of the shear stress-sensitive endothelial cell layer.
AU - Xu, Duo
AU - Varshney, Atul
AU - Ma, Xingyu
AU - Song, Baofang
AU - Riedl, Michael
AU - Avila, Marc
AU - Hof, Björn
ID - 7932
IS - 21
JF - Proceedings of the National Academy of Sciences of the United States of America
SN - 00278424
TI - Nonlinear hydrodynamic instability and turbulence in pulsatile flow
VL - 117
ER -
TY - JOUR
AB - We study a mobile quantum impurity, possessing internal rotational degrees of freedom, confined to a ring in the presence of a many-particle bosonic bath. By considering the recently introduced rotating polaron problem, we define the Hamiltonian and examine the energy spectrum. The weak-coupling regime is studied by means of a variational ansatz in the truncated Fock space. The corresponding spectrum indicates that there emerges a coupling between the internal and orbital angular momenta of the impurity as a consequence of the phonon exchange. We interpret the coupling as a phonon-mediated spin-orbit coupling and quantify it by using a correlation function between the internal and the orbital angular momentum operators. The strong-coupling regime is investigated within the Pekar approach, and it is shown that the correlation function of the ground state shows a kink at a critical coupling, that is explained by a sharp transition from the noninteracting state to the states that exhibit strong interaction with the surroundings. The results might find applications in such fields as spintronics or topological insulators where spin-orbit coupling is of crucial importance.
AU - Maslov, Mikhail
AU - Lemeshko, Mikhail
AU - Yakaboylu, Enderalp
ID - 7933
IS - 18
JF - Physical Review B
SN - 24699950
TI - Synthetic spin-orbit coupling mediated by a bosonic environment
VL - 101
ER -
TY - JOUR
AB - We design fast deterministic algorithms for distance computation in the Congested Clique model. Our key contributions include:
A (2+ϵ)-approximation for all-pairs shortest paths in O(log2n/ϵ) rounds on unweighted undirected graphs. With a small additional additive factor, this also applies for weighted graphs. This is the first sub-polynomial constant-factor approximation for APSP in this model.
A (1+ϵ)-approximation for multi-source shortest paths from O(n−−√) sources in O(log2n/ϵ) rounds on weighted undirected graphs. This is the first sub-polynomial algorithm obtaining this approximation for a set of sources of polynomial size.
Our main techniques are new distance tools that are obtained via improved algorithms for sparse matrix multiplication, which we leverage to construct efficient hopsets and shortest paths. Furthermore, our techniques extend to additional distance problems for which we improve upon the state-of-the-art, including diameter approximation, and an exact single-source shortest paths algorithm for weighted undirected graphs in O~(n1/6) rounds.
AU - Censor-Hillel, Keren
AU - Dory, Michal
AU - Korhonen, Janne
AU - Leitersdorf, Dean
ID - 7939
JF - Distributed Computing
SN - 01782770
TI - Fast approximate shortest paths in the congested clique
ER -
TY - JOUR
AB - We prove that the Yangian associated to an untwisted symmetric affine Kac–Moody Lie algebra is isomorphic to the Drinfeld double of a shuffle algebra. The latter is constructed in [YZ14] as an algebraic formalism of cohomological Hall algebras. As a consequence, we obtain the Poincare–Birkhoff–Witt (PBW) theorem for this class of affine Yangians. Another independent proof of the PBW theorem is given recently by Guay, Regelskis, and Wendlandt [GRW18].
AU - Yang, Yaping
AU - Zhao, Gufang
ID - 7940
JF - Transformation Groups
SN - 10834362
TI - The PBW theorem for affine Yangians
ER -
TY - CHAP
AB - Expansion microscopy is a recently developed super-resolution imaging technique, which provides an alternative to optics-based methods such as deterministic approaches (e.g. STED) or stochastic approaches (e.g. PALM/STORM). The idea behind expansion microscopy is to embed the biological sample in a swellable gel, and then to expand it isotropically, thereby increasing the distance between the fluorophores. This approach breaks the diffraction barrier by simply separating the emission point-spread-functions of the fluorophores. The resolution attainable in expansion microscopy is thus directly dependent on the separation that can be achieved, i.e. on the expansion factor. The original implementation of the technique achieved an expansion factor of fourfold, for a resolution of 70–80 nm. The subsequently developed X10 method achieves an expansion factor of 10-fold, for a resolution of 25–30 nm. This technique can be implemented with minimal technical requirements on any standard fluorescence microscope, and is more easily applied for multi-color imaging than either deterministic or stochastic super-resolution approaches. This renders X10 expansion microscopy a highly promising tool for new biological discoveries, as discussed here, and as demonstrated by several recent applications.
AU - Truckenbrodt, Sven M
AU - Rizzoli, Silvio O.
ID - 7941
SN - 0091679X
T2 - Methods in Cell Biology
TI - Simple multi-color super-resolution by X10 microscopy
ER -
TY - JOUR
AB - An understanding of the missing antinodal electronic excitations in the pseudogap state is essential for uncovering the physics of the underdoped cuprate high-temperature superconductors1,2,3,4,5,6. The majority of high-temperature experiments performed thus far, however, have been unable to discern whether the antinodal states are rendered unobservable due to their damping or whether they vanish due to their gapping7,8,9,10,11,12,13,14,15,16,17,18. Here, we distinguish between these two scenarios by using quantum oscillations to examine whether the small Fermi surface pocket, found to occupy only 2% of the Brillouin zone in the underdoped cuprates19,20,21,22,23,24, exists in isolation against a majority of completely gapped density of states spanning the antinodes, or whether it is thermodynamically coupled to a background of ungapped antinodal states. We find that quantum oscillations associated with the small Fermi surface pocket exhibit a signature sawtooth waveform characteristic of an isolated two-dimensional Fermi surface pocket25,26,27,28,29,30,31,32. This finding reveals that the antinodal states are destroyed by a hard gap that extends over the majority of the Brillouin zone, placing strong constraints on a drastic underlying origin of quasiparticle disappearance over almost the entire Brillouin zone in the pseudogap regime7,8,9,10,11,12,13,14,15,16,17,18.
AU - Hartstein, Máté
AU - Hsu, Yu Te
AU - Modic, Kimberly A
AU - Porras, Juan
AU - Loew, Toshinao
AU - Tacon, Matthieu Le
AU - Zuo, Huakun
AU - Wang, Jinhua
AU - Zhu, Zengwei
AU - Chan, Mun K.
AU - Mcdonald, Ross D.
AU - Lonzarich, Gilbert G.
AU - Keimer, Bernhard
AU - Sebastian, Suchitra E.
AU - Harrison, Neil
ID - 7942
JF - Nature Physics
SN - 17452473
TI - Hard antinodal gap revealed by quantum oscillations in the pseudogap regime of underdoped high-Tc superconductors
ER -
TY - THES
AB - This thesis considers two examples of reconfiguration problems: flipping edges in edge-labelled triangulations of planar point sets and swapping labelled tokens placed on vertices of a graph. In both cases the studied structures – all the triangulations of a given point set or all token placements on a given graph – can be thought of as vertices of the so-called reconfiguration graph, in which two vertices are adjacent if the corresponding structures differ by a single elementary operation – by a flip of a diagonal in a triangulation or by a swap of tokens on adjacent vertices, respectively. We study the reconfiguration of one instance of a structure into another via (shortest) paths in the reconfiguration graph.
For triangulations of point sets in which each edge has a unique label and a flip transfers the label from the removed edge to the new edge, we prove a polynomial-time testable condition, called the Orbit Theorem, that characterizes when two triangulations of the same point set lie in the same connected component of the reconfiguration graph. The condition was first conjectured by Bose, Lubiw, Pathak and Verdonschot. We additionally provide a polynomial time algorithm that computes a reconfiguring flip sequence, if it exists. Our proof of the Orbit Theorem uses topological properties of a certain high-dimensional cell complex that has the usual reconfiguration graph as its 1-skeleton.
In the context of token swapping on a tree graph, we make partial progress on the problem of finding shortest reconfiguration sequences. We disprove the so-called Happy Leaf Conjecture and demonstrate the importance of swapping tokens that are already placed at the correct vertices. We also prove that a generalization of the problem to weighted coloured token swapping is NP-hard on trees but solvable in polynomial time on paths and stars.
AU - Masárová, Zuzana
ID - 7944
KW - reconfiguration
KW - reconfiguration graph
KW - triangulations
KW - flip
KW - constrained triangulations
KW - shellability
KW - piecewise-linear balls
KW - token swapping
KW - trees
KW - coloured weighted token swapping
SN - 978-3-99078-005-3
TI - Reconfiguration problems
ER -
TY - JOUR
AB - In agricultural systems, nitrate is the main source of nitrogen available for plants. Besides its role as a nutrient, nitrate has been shown to act as a signal molecule for plant growth, development and stress responses. In Arabidopsis, the NRT1.1 nitrate transceptor represses lateral root (LR) development at low nitrate availability by promoting auxin basipetal transport out of the LR primordia (LRPs). In addition, our present study shows that NRT1.1 acts as a negative regulator of the TAR2 auxin biosynthetic gene expression in the root stele. This is expected to repress local auxin biosynthesis and thus to reduce acropetal auxin supply to the LRPs. Moreover, NRT1.1 also negatively affects expression of the LAX3 auxin influx carrier, thus preventing cell wall remodeling required for overlying tissues separation during LRP emergence. Both NRT1.1-mediated repression of TAR2 and LAX3 are suppressed at high nitrate availability, resulting in the nitrate induction of TAR2 and LAX3 expression that is required for optimal stimulation of LR development by nitrate. Altogether, our results indicate that the NRT1.1 transceptor coordinately controls several crucial auxin-associated processes required for LRP development, and as a consequence that NRT1.1 plays a much more integrated role than previously anticipated in regulating the nitrate response of root system architecture.
AU - Maghiaoui, A
AU - Bouguyon, E
AU - Cuesta, Candela
AU - Perrine-Walker, F
AU - Alcon, C
AU - Krouk, G
AU - Benková, Eva
AU - Nacry, P
AU - Gojon, A
AU - Bach, L
ID - 7948
JF - Journal of Experimental Botany
SN - 0022-0957
TI - The Arabidopsis NRT1.1 transceptor coordinately controls auxin biosynthesis and transport to regulate root branching in response to nitrate
ER -
TY - JOUR
AB - Peptides derived from non-functional precursors play important roles in various developmental processes, but also in (a)biotic stress signaling. Our (phospho)proteome-wide analyses of C-terminally encoded peptide 5 (CEP5)-mediated changes revealed an impact on abiotic stress-related processes. Drought has a dramatic impact on plant growth, development and reproduction, and the plant hormone auxin plays a role in drought responses. Our genetic, physiological, biochemical and pharmacological results demonstrated that CEP5-mediated signaling is relevant for osmotic and drought stress tolerance in Arabidopsis, and that CEP5 specifically counteracts auxin effects. Specifically, we found that CEP5 signaling stabilizes AUX/IAA transcriptional repressors, suggesting the existence of a novel peptide-dependent control mechanism that tunes auxin signaling. These observations align with the recently described role of AUX/IAAs in stress tolerance and provide a novel role for CEP5 in osmotic and drought stress tolerance.
AU - Smith, S
AU - Zhu, S
AU - Joos, L
AU - Roberts, I
AU - Nikonorova, N
AU - Vu, LD
AU - Stes, E
AU - Cho, H
AU - Larrieu, A
AU - Xuan, W
AU - Goodall, B
AU - van de Cotte, B
AU - Waite, JM
AU - Rigal, A
AU - R Harborough, SR
AU - Persiau, G
AU - Vanneste, S
AU - Kirschner, GK
AU - Vandermarliere, E
AU - Martens, L
AU - Stahl, Y
AU - Audenaert, D
AU - Friml, Jiří
AU - Felix, G
AU - Simon, R
AU - Bennett, M
AU - Bishopp, A
AU - De Jaeger, G
AU - Ljung, K
AU - Kepinski, S
AU - Robert, S
AU - Nemhauser, J
AU - Hwang, I
AU - Gevaert, K
AU - Beeckman, T
AU - De Smet, I
ID - 7949
IS - 8
JF - Molecular & Cellular Proteomics
SN - 1535-9476
TI - The CEP5 peptide promotes abiotic stress tolerance, as revealed by quantitative proteomics, and attenuates the AUX/IAA equilibrium in Arabidopsis
VL - 19
ER -
TY - CONF
AB - Isomanifolds are the generalization of isosurfaces to arbitrary dimension and codimension, i.e. manifolds defined as the zero set of some multivariate vector-valued smooth function f: ℝ^d → ℝ^(d-n). A natural (and efficient) way to approximate an isomanifold is to consider its Piecewise-Linear (PL) approximation based on a triangulation 𝒯 of the ambient space ℝ^d. In this paper, we give conditions under which the PL-approximation of an isomanifold is topologically equivalent to the isomanifold. The conditions are easy to satisfy in the sense that they can always be met by taking a sufficiently fine triangulation 𝒯. This contrasts with previous results on the triangulation of manifolds where, in arbitrary dimensions, delicate perturbations are needed to guarantee topological correctness, which leads to strong limitations in practice. We further give a bound on the Fréchet distance between the original isomanifold and its PL-approximation. Finally we show analogous results for the PL-approximation of an isomanifold with boundary.
AU - Boissonnat, Jean-Daniel
AU - Wintraecken, Mathijs
ID - 7952
SN - 1868-8969
T2 - 36th International Symposium on Computational Geometry
TI - The topological correctness of PL-approximations of isomanifolds
VL - 164
ER -
TY - CONF
AB - Simple stochastic games are turn-based 2½-player games with a reachability objective. The basic question asks whether one player can ensure reaching a given target with at least a given probability. A natural extension is games with a conjunction of such conditions as objective. Despite a plethora of recent results on the analysis of systems with multiple objectives, the decidability of this basic problem remains open. In this paper, we present an algorithm approximating the Pareto frontier of the achievable values to a given precision. Moreover, it is an anytime algorithm, meaning it can be stopped at any time returning the current approximation and its error bound.
AU - Ashok, Pranav
AU - Chatterjee, Krishnendu
AU - Kretinsky, Jan
AU - Weininger, Maximilian
AU - Winkler, Tobias
ID - 7955
SN - 9781450371049
T2 - Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science
TI - Approximating values of generalized-reachability stochastic games
ER -