---
_id: '8193'
abstract:
- lang: eng
text: 'Multiple-environment Markov decision processes (MEMDPs) are MDPs equipped
with not one, but multiple probabilistic transition functions, which represent
the various possible unknown environments. While the previous research on MEMDPs
focused on theoretical properties for long-run average payoff, we study them with
discounted-sum payoff and focus on their practical advantages and applications.
MEMDPs can be viewed as a special case of Partially observable and Mixed observability
MDPs: the state of the system is perfectly observable, but not the environment.
We show that the specific structure of MEMDPs allows for more efficient algorithmic
analysis, in particular for faster belief updates. We demonstrate the applicability
of MEMDPs in several domains. In particular, we formalize the sequential decision-making
approach to contextual recommendation systems as MEMDPs and substantially improve
over the previous MDP approach.'
acknowledgement: Krishnendu Chatterjee is supported by the Austrian ScienceFund (FWF)
NFN Grant No. S11407-N23 (RiSE/SHiNE),and COST Action GAMENET. Petr Novotn ́y is
supported bythe Czech Science Foundation grant No. GJ19-15134Y.
article_processing_charge: No
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Martin
full_name: Chmelik, Martin
id: 3624234E-F248-11E8-B48F-1D18A9856A87
last_name: Chmelik
- first_name: Deep
full_name: Karkhanis, Deep
last_name: Karkhanis
- first_name: Petr
full_name: Novotný, Petr
id: 3CC3B868-F248-11E8-B48F-1D18A9856A87
last_name: Novotný
- first_name: Amélie
full_name: Royer, Amélie
id: 3811D890-F248-11E8-B48F-1D18A9856A87
last_name: Royer
orcid: 0000-0002-8407-0705
citation:
ama: 'Chatterjee K, Chmelik M, Karkhanis D, Novotný P, Royer A. Multiple-environment
Markov decision processes: Efficient analysis and applications. In: Proceedings
of the 30th International Conference on Automated Planning and Scheduling.
Vol 30. Association for the Advancement of Artificial Intelligence; 2020:48-56.'
apa: 'Chatterjee, K., Chmelik, M., Karkhanis, D., Novotný, P., & Royer, A. (2020).
Multiple-environment Markov decision processes: Efficient analysis and applications.
In Proceedings of the 30th International Conference on Automated Planning and
Scheduling (Vol. 30, pp. 48–56). Nancy, France: Association for the Advancement
of Artificial Intelligence.'
chicago: 'Chatterjee, Krishnendu, Martin Chmelik, Deep Karkhanis, Petr Novotný,
and Amélie Royer. “Multiple-Environment Markov Decision Processes: Efficient Analysis
and Applications.” In Proceedings of the 30th International Conference on Automated
Planning and Scheduling, 30:48–56. Association for the Advancement of Artificial
Intelligence, 2020.'
ieee: 'K. Chatterjee, M. Chmelik, D. Karkhanis, P. Novotný, and A. Royer, “Multiple-environment
Markov decision processes: Efficient analysis and applications,” in Proceedings
of the 30th International Conference on Automated Planning and Scheduling,
Nancy, France, 2020, vol. 30, pp. 48–56.'
ista: 'Chatterjee K, Chmelik M, Karkhanis D, Novotný P, Royer A. 2020. Multiple-environment
Markov decision processes: Efficient analysis and applications. Proceedings of
the 30th International Conference on Automated Planning and Scheduling. ICAPS:
International Conference on Automated Planning and Scheduling vol. 30, 48–56.'
mla: 'Chatterjee, Krishnendu, et al. “Multiple-Environment Markov Decision Processes:
Efficient Analysis and Applications.” Proceedings of the 30th International
Conference on Automated Planning and Scheduling, vol. 30, Association for
the Advancement of Artificial Intelligence, 2020, pp. 48–56.'
short: K. Chatterjee, M. Chmelik, D. Karkhanis, P. Novotný, A. Royer, in:, Proceedings
of the 30th International Conference on Automated Planning and Scheduling, Association
for the Advancement of Artificial Intelligence, 2020, pp. 48–56.
conference:
end_date: 2020-10-30
location: Nancy, France
name: 'ICAPS: International Conference on Automated Planning and Scheduling'
start_date: 2020-10-26
date_created: 2020-08-02T22:00:58Z
date_published: 2020-06-01T00:00:00Z
date_updated: 2023-09-07T13:16:18Z
day: '01'
department:
- _id: KrCh
intvolume: ' 30'
language:
- iso: eng
month: '06'
oa_version: None
page: 48-56
project:
- _id: 25863FF4-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11407
name: Game Theory
publication: Proceedings of the 30th International Conference on Automated Planning
and Scheduling
publication_identifier:
eissn:
- '23340843'
issn:
- '23340835'
publication_status: published
publisher: Association for the Advancement of Artificial Intelligence
quality_controlled: '1'
related_material:
record:
- id: '8390'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: 'Multiple-environment Markov decision processes: Efficient analysis and applications'
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 30
year: '2020'
...
---
_id: '8194'
abstract:
- lang: eng
text: 'Fixed-point arithmetic is a popular alternative to floating-point arithmetic
on embedded systems. Existing work on the verification of fixed-point programs
relies on custom formalizations of fixed-point arithmetic, which makes it hard
to compare the described techniques or reuse the implementations. In this paper,
we address this issue by proposing and formalizing an SMT theory of fixed-point
arithmetic. We present an intuitive yet comprehensive syntax of the fixed-point
theory, and provide formal semantics for it based on rational arithmetic. We also
describe two decision procedures for this theory: one based on the theory of bit-vectors
and the other on the theory of reals. We implement the two decision procedures,
and evaluate our implementations using existing mature SMT solvers on a benchmark
suite we created. Finally, we perform a case study of using the theory we propose
to verify properties of quantized neural networks.'
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Marek
full_name: Baranowski, Marek
last_name: Baranowski
- first_name: Shaobo
full_name: He, Shaobo
last_name: He
- first_name: Mathias
full_name: Lechner, Mathias
id: 3DC22916-F248-11E8-B48F-1D18A9856A87
last_name: Lechner
- first_name: Thanh Son
full_name: Nguyen, Thanh Son
last_name: Nguyen
- first_name: Zvonimir
full_name: Rakamarić, Zvonimir
last_name: Rakamarić
citation:
ama: 'Baranowski M, He S, Lechner M, Nguyen TS, Rakamarić Z. An SMT theory of fixed-point
arithmetic. In: Automated Reasoning. Vol 12166. Springer Nature; 2020:13-31.
doi:10.1007/978-3-030-51074-9_2'
apa: 'Baranowski, M., He, S., Lechner, M., Nguyen, T. S., & Rakamarić, Z. (2020).
An SMT theory of fixed-point arithmetic. In Automated Reasoning (Vol. 12166,
pp. 13–31). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-030-51074-9_2'
chicago: Baranowski, Marek, Shaobo He, Mathias Lechner, Thanh Son Nguyen, and Zvonimir
Rakamarić. “An SMT Theory of Fixed-Point Arithmetic.” In Automated Reasoning,
12166:13–31. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-51074-9_2.
ieee: M. Baranowski, S. He, M. Lechner, T. S. Nguyen, and Z. Rakamarić, “An SMT
theory of fixed-point arithmetic,” in Automated Reasoning, Paris, France,
2020, vol. 12166, pp. 13–31.
ista: 'Baranowski M, He S, Lechner M, Nguyen TS, Rakamarić Z. 2020. An SMT theory
of fixed-point arithmetic. Automated Reasoning. IJCAR: International Joint Conference
on Automated Reasoning, LNCS, vol. 12166, 13–31.'
mla: Baranowski, Marek, et al. “An SMT Theory of Fixed-Point Arithmetic.” Automated
Reasoning, vol. 12166, Springer Nature, 2020, pp. 13–31, doi:10.1007/978-3-030-51074-9_2.
short: M. Baranowski, S. He, M. Lechner, T.S. Nguyen, Z. Rakamarić, in:, Automated
Reasoning, Springer Nature, 2020, pp. 13–31.
conference:
end_date: 2020-07-04
location: Paris, France
name: 'IJCAR: International Joint Conference on Automated Reasoning'
start_date: 2020-07-01
date_created: 2020-08-02T22:00:59Z
date_published: 2020-06-24T00:00:00Z
date_updated: 2023-08-22T08:27:25Z
day: '24'
department:
- _id: ToHe
doi: 10.1007/978-3-030-51074-9_2
external_id:
isi:
- '000884318000002'
intvolume: ' 12166'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1007/978-3-030-51074-9_2
month: '06'
oa: 1
oa_version: Published Version
page: 13-31
project:
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z211
name: The Wittgenstein Prize
publication: Automated Reasoning
publication_identifier:
eissn:
- '16113349'
isbn:
- '9783030510732'
issn:
- '03029743'
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: An SMT theory of fixed-point arithmetic
type: conference
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 12166
year: '2020'
...
---
_id: '8195'
abstract:
- lang: eng
text: This paper presents a foundation for refining concurrent programs with structured
control flow. The verification problem is decomposed into subproblems that aid
interactive program development, proof reuse, and automation. The formalization
in this paper is the basis of a new design and implementation of the Civl verifier.
acknowledgement: "Bernhard Kragl and Thomas A. Henzinger were supported by\r\nthe
Austrian Science Fund (FWF) under grant Z211-N23 (Wittgenstein Award)."
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Bernhard
full_name: Kragl, Bernhard
id: 320FC952-F248-11E8-B48F-1D18A9856A87
last_name: Kragl
orcid: 0000-0001-7745-9117
- first_name: Shaz
full_name: Qadeer, Shaz
last_name: Qadeer
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000-0002-2985-7724
citation:
ama: 'Kragl B, Qadeer S, Henzinger TA. Refinement for structured concurrent programs.
In: Computer Aided Verification. Vol 12224. Springer Nature; 2020:275-298.
doi:10.1007/978-3-030-53288-8_14'
apa: Kragl, B., Qadeer, S., & Henzinger, T. A. (2020). Refinement for structured
concurrent programs. In Computer Aided Verification (Vol. 12224, pp. 275–298).
Springer Nature. https://doi.org/10.1007/978-3-030-53288-8_14
chicago: Kragl, Bernhard, Shaz Qadeer, and Thomas A Henzinger. “Refinement for Structured
Concurrent Programs.” In Computer Aided Verification, 12224:275–98. Springer
Nature, 2020. https://doi.org/10.1007/978-3-030-53288-8_14.
ieee: B. Kragl, S. Qadeer, and T. A. Henzinger, “Refinement for structured concurrent
programs,” in Computer Aided Verification, 2020, vol. 12224, pp. 275–298.
ista: Kragl B, Qadeer S, Henzinger TA. 2020. Refinement for structured concurrent
programs. Computer Aided Verification. , LNCS, vol. 12224, 275–298.
mla: Kragl, Bernhard, et al. “Refinement for Structured Concurrent Programs.” Computer
Aided Verification, vol. 12224, Springer Nature, 2020, pp. 275–98, doi:10.1007/978-3-030-53288-8_14.
short: B. Kragl, S. Qadeer, T.A. Henzinger, in:, Computer Aided Verification, Springer
Nature, 2020, pp. 275–298.
date_created: 2020-08-03T11:45:35Z
date_published: 2020-07-14T00:00:00Z
date_updated: 2023-09-07T13:18:00Z
day: '14'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1007/978-3-030-53288-8_14
external_id:
isi:
- '000695276000014'
file:
- access_level: open_access
content_type: application/pdf
creator: dernst
date_created: 2020-08-06T08:14:54Z
date_updated: 2020-08-06T08:14:54Z
file_id: '8201'
file_name: 2020_LNCS_Kragl.pdf
file_size: 804237
relation: main_file
success: 1
file_date_updated: 2020-08-06T08:14:54Z
has_accepted_license: '1'
intvolume: ' 12224'
isi: 1
language:
- iso: eng
license: https://creativecommons.org/licenses/by/4.0/
month: '07'
oa: 1
oa_version: Published Version
page: 275-298
project:
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z211
name: The Wittgenstein Prize
publication: Computer Aided Verification
publication_identifier:
eisbn:
- '9783030532888'
eissn:
- 1611-3349
isbn:
- '9783030532871'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
record:
- id: '8332'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Refinement for structured concurrent programs
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 12224
year: '2020'
...
---
_id: '8199'
abstract:
- lang: eng
text: We investigate a mechanism to transiently stabilize topological phenomena
in long-lived quasi-steady states of isolated quantum many-body systems driven
at low frequencies. We obtain an analytical bound for the lifetime of the quasi-steady
states which is exponentially large in the inverse driving frequency. Within this
lifetime, the quasi-steady state is characterized by maximum entropy subject to
the constraint of fixed number of particles in the system's Floquet-Bloch bands.
In such a state, all the non-universal properties of these bands are washed out,
hence only the topological properties persist.
acknowledgement: "N.L., T.G. and E.B. acknowledge support from the European Research
Council (ERC) under\r\nthe European Union Horizon 2020 Research and Innovation Programme
(Grant Agreement\r\nNo. 639172). T.G. was in part supported by an Aly Kaufman Fellowship
at the Technion. T.G.\r\nacknowledges funding from the Institute of Science and
Technology (IST) Austria, and from\r\nthe European Union’s Horizon 2020 research
and innovation programme under the Marie\r\nSkłodowska-Curie Grant Agreement No.
754411. N.L. acknowledges support from the People Programme (Marie Curie Actions)
of the European Unions Seventh Framework 546 Programme (FP7/20072013), under REA
Grant Agreement No. 631696, and by the Israeli Center\r\nof Research Excellence
(I-CORE) Circle of Light funded by the Israel Science Foundation (Grant\r\nNo. 1802/12).
M.R. gratefully acknowledges the support of the European Research Council\r\n(ERC)
under the European Union Horizon 2020 Research and Innovation Programme (Grant\r\nAgreement
No. 678862). M.R. acknowledges the support of the Villum Foundation. M.R. and\r\nE.B.
acknowledge support from CRC 183 of the Deutsche Forschungsgemeinschaft"
article_number: '015'
article_processing_charge: No
article_type: original
author:
- first_name: Tobias
full_name: Gulden, Tobias
id: 1083E038-9F73-11E9-A4B5-532AE6697425
last_name: Gulden
orcid: 0000-0001-6814-7541
- first_name: Erez
full_name: Berg, Erez
last_name: Berg
- first_name: Mark Spencer
full_name: Rudner, Mark Spencer
last_name: Rudner
- first_name: Netanel
full_name: Lindner, Netanel
last_name: Lindner
citation:
ama: Gulden T, Berg E, Rudner MS, Lindner N. Exponentially long lifetime of universal
quasi-steady states in topological Floquet pumps. SciPost Physics. 2020;9.
doi:10.21468/scipostphys.9.1.015
apa: Gulden, T., Berg, E., Rudner, M. S., & Lindner, N. (2020). Exponentially
long lifetime of universal quasi-steady states in topological Floquet pumps. SciPost
Physics. SciPost Foundation. https://doi.org/10.21468/scipostphys.9.1.015
chicago: Gulden, Tobias, Erez Berg, Mark Spencer Rudner, and Netanel Lindner. “Exponentially
Long Lifetime of Universal Quasi-Steady States in Topological Floquet Pumps.”
SciPost Physics. SciPost Foundation, 2020. https://doi.org/10.21468/scipostphys.9.1.015.
ieee: T. Gulden, E. Berg, M. S. Rudner, and N. Lindner, “Exponentially long lifetime
of universal quasi-steady states in topological Floquet pumps,” SciPost Physics,
vol. 9. SciPost Foundation, 2020.
ista: Gulden T, Berg E, Rudner MS, Lindner N. 2020. Exponentially long lifetime
of universal quasi-steady states in topological Floquet pumps. SciPost Physics.
9, 015.
mla: Gulden, Tobias, et al. “Exponentially Long Lifetime of Universal Quasi-Steady
States in Topological Floquet Pumps.” SciPost Physics, vol. 9, 015, SciPost
Foundation, 2020, doi:10.21468/scipostphys.9.1.015.
short: T. Gulden, E. Berg, M.S. Rudner, N. Lindner, SciPost Physics 9 (2020).
date_created: 2020-08-04T13:04:15Z
date_published: 2020-07-29T00:00:00Z
date_updated: 2023-08-22T08:28:24Z
day: '29'
ddc:
- '530'
department:
- _id: MaSe
doi: 10.21468/scipostphys.9.1.015
ec_funded: 1
external_id:
isi:
- '000557362300008'
file:
- access_level: open_access
content_type: application/pdf
creator: dernst
date_created: 2020-08-06T08:56:06Z
date_updated: 2020-08-06T08:56:06Z
file_id: '8202'
file_name: 2020_SciPostPhys_Gulden.pdf
file_size: 531137
relation: main_file
success: 1
file_date_updated: 2020-08-06T08:56:06Z
has_accepted_license: '1'
intvolume: ' 9'
isi: 1
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
project:
- _id: 260C2330-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '754411'
name: ISTplus - Postdoctoral Fellowships
publication: SciPost Physics
publication_identifier:
issn:
- 2542-4653
publication_status: published
publisher: SciPost Foundation
quality_controlled: '1'
scopus_import: '1'
status: public
title: Exponentially long lifetime of universal quasi-steady states in topological
Floquet pumps
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 9
year: '2020'
...
---
_id: '8203'
abstract:
- lang: eng
text: Using inelastic cotunneling spectroscopy we observe a zero field splitting
within the spin triplet manifold of Ge hut wire quantum dots. The states with
spin ±1 in the confinement direction are energetically favored by up to 55 μeV
compared to the spin 0 triplet state because of the strong spin–orbit coupling.
The reported effect should be observable in a broad class of strongly confined
hole quantum-dot systems and might need to be considered when operating hole spin
qubits.
acknowledged_ssus:
- _id: NanoFab
- _id: M-Shop
acknowledgement: "We acknowledge G. Burkard, V. N. Golovach, C. Kloeffel, D.Loss,
P. Rabl, and M. Rancič ́ for helpful discussions. We\r\nfurther acknowledge T.
Adletzberger, J. Aguilera, T. Asenov, S. Bagiante, T. Menner, L. Shafeek, P. Taus,
P. Traunmüller, and D. Waldhausl for their invaluable assistance. This research
was supported by the Scientific Service Units of IST Austria through resources provided
by the MIBA Machine Shop and the nanofabrication facility, by the FWF-P 32235 project,
by the National Key R&D Program of China (2016YFA0301701, 2016YFA0300600), and by
the European Union’s Horizon 2020 research and innovation program under grant agreement
no. 862046. All data of this publication are available at 10.15479/AT:ISTA:7689."
article_processing_charge: Yes (via OA deal)
article_type: original
author:
- first_name: Georgios
full_name: Katsaros, Georgios
id: 38DB5788-F248-11E8-B48F-1D18A9856A87
last_name: Katsaros
orcid: 0000-0001-8342-202X
- first_name: Josip
full_name: Kukucka, Josip
id: 3F5D8856-F248-11E8-B48F-1D18A9856A87
last_name: Kukucka
- first_name: Lada
full_name: Vukušić, Lada
id: 31E9F056-F248-11E8-B48F-1D18A9856A87
last_name: Vukušić
orcid: 0000-0003-2424-8636
- first_name: Hannes
full_name: Watzinger, Hannes
id: 35DF8E50-F248-11E8-B48F-1D18A9856A87
last_name: Watzinger
- first_name: Fei
full_name: Gao, Fei
last_name: Gao
- first_name: Ting
full_name: Wang, Ting
last_name: Wang
orcid: 0000-0002-4619-9575
- first_name: Jian-Jun
full_name: Zhang, Jian-Jun
last_name: Zhang
- first_name: Karsten
full_name: Held, Karsten
last_name: Held
citation:
ama: Katsaros G, Kukucka J, Vukušić L, et al. Zero field splitting of heavy-hole
states in quantum dots. Nano Letters. 2020;20(7):5201-5206. doi:10.1021/acs.nanolett.0c01466
apa: Katsaros, G., Kukucka, J., Vukušić, L., Watzinger, H., Gao, F., Wang, T., …
Held, K. (2020). Zero field splitting of heavy-hole states in quantum dots. Nano
Letters. American Chemical Society. https://doi.org/10.1021/acs.nanolett.0c01466
chicago: Katsaros, Georgios, Josip Kukucka, Lada Vukušić, Hannes Watzinger, Fei
Gao, Ting Wang, Jian-Jun Zhang, and Karsten Held. “Zero Field Splitting of Heavy-Hole
States in Quantum Dots.” Nano Letters. American Chemical Society, 2020.
https://doi.org/10.1021/acs.nanolett.0c01466.
ieee: G. Katsaros et al., “Zero field splitting of heavy-hole states in quantum
dots,” Nano Letters, vol. 20, no. 7. American Chemical Society, pp. 5201–5206,
2020.
ista: Katsaros G, Kukucka J, Vukušić L, Watzinger H, Gao F, Wang T, Zhang J-J, Held
K. 2020. Zero field splitting of heavy-hole states in quantum dots. Nano Letters.
20(7), 5201–5206.
mla: Katsaros, Georgios, et al. “Zero Field Splitting of Heavy-Hole States in Quantum
Dots.” Nano Letters, vol. 20, no. 7, American Chemical Society, 2020, pp.
5201–06, doi:10.1021/acs.nanolett.0c01466.
short: G. Katsaros, J. Kukucka, L. Vukušić, H. Watzinger, F. Gao, T. Wang, J.-J.
Zhang, K. Held, Nano Letters 20 (2020) 5201–5206.
date_created: 2020-08-06T09:25:04Z
date_published: 2020-06-01T00:00:00Z
date_updated: 2024-02-21T12:44:01Z
day: '01'
ddc:
- '530'
department:
- _id: GeKa
doi: 10.1021/acs.nanolett.0c01466
ec_funded: 1
external_id:
isi:
- '000548893200066'
pmid:
- '32479090'
file:
- access_level: open_access
content_type: application/pdf
creator: dernst
date_created: 2020-08-06T09:35:37Z
date_updated: 2020-08-06T09:35:37Z
file_id: '8204'
file_name: 2020_NanoLetters_Katsaros.pdf
file_size: 3308906
relation: main_file
success: 1
file_date_updated: 2020-08-06T09:35:37Z
has_accepted_license: '1'
intvolume: ' 20'
isi: 1
issue: '7'
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
page: 5201-5206
pmid: 1
project:
- _id: 237B3DA4-32DE-11EA-91FC-C7463DDC885E
call_identifier: FWF
grant_number: P32235
name: Towards scalable hut wire quantum devices
- _id: 237E5020-32DE-11EA-91FC-C7463DDC885E
call_identifier: H2020
grant_number: '862046'
name: TOPOLOGICALLY PROTECTED AND SCALABLE QUANTUM BITS
publication: Nano Letters
publication_identifier:
eissn:
- 1530-6992
issn:
- 1530-6984
publication_status: published
publisher: American Chemical Society
quality_controlled: '1'
related_material:
record:
- id: '7689'
relation: research_data
status: public
scopus_import: '1'
status: public
title: Zero field splitting of heavy-hole states in quantum dots
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 20
year: '2020'
...
---
_id: '8220'
abstract:
- lang: eng
text: Understanding to what extent stem cell potential is a cell-intrinsic property
or an emergent behavior coming from global tissue dynamics and geometry is a key
outstanding question of systems and stem cell biology. Here, we propose a theory
of stem cell dynamics as a stochastic competition for access to a spatially localized
niche, giving rise to a stochastic conveyor-belt model. Cell divisions produce
a steady cellular stream which advects cells away from the niche, while random
rearrangements enable cells away from the niche to be favorably repositioned.
Importantly, even when assuming that all cells in a tissue are molecularly equivalent,
we predict a common (“universal”) functional dependence of the long-term clonal
survival probability on distance from the niche, as well as the emergence of a
well-defined number of functional stem cells, dependent only on the rate of random
movements vs. mitosis-driven advection. We test the predictions of this theory
on datasets of pubertal mammary gland tips and embryonic kidney tips, as well
as homeostatic intestinal crypts. Importantly, we find good agreement for the
predicted functional dependency of the competition as a function of position,
and thus functional stem cell number in each organ. This argues for a key role
of positional fluctuations in dictating stem cell number and dynamics, and we
discuss the applicability of this theory to other settings.
acknowledgement: "We thank all members of the E.H., B.D.S., and J.v.R. groups for
stimulating discussions. This project was supported by\r\nthe European Research
Council (648804 to J.v.R. and 851288 to E.H.). It has also received support from
the CancerGenomics.nl (Netherlands Organization for Scientific Research) program
(J.v.R.) and the Doctor Josef Steiner Foundation (J.v.R). B.D.S. was supported by
Royal Society E. P. Abraham Research Professorship RP/R1/180165 and Wellcome Trust
Grant 098357/Z/12/Z."
article_processing_charge: No
article_type: original
author:
- first_name: Bernat
full_name: Corominas-Murtra, Bernat
id: 43BE2298-F248-11E8-B48F-1D18A9856A87
last_name: Corominas-Murtra
orcid: 0000-0001-9806-5643
- first_name: Colinda L.G.J.
full_name: Scheele, Colinda L.G.J.
last_name: Scheele
- first_name: Kasumi
full_name: Kishi, Kasumi
id: 3065DFC4-F248-11E8-B48F-1D18A9856A87
last_name: Kishi
- first_name: Saskia I.J.
full_name: Ellenbroek, Saskia I.J.
last_name: Ellenbroek
- first_name: Benjamin D.
full_name: Simons, Benjamin D.
last_name: Simons
- first_name: Jacco
full_name: Van Rheenen, Jacco
last_name: Van Rheenen
- first_name: Edouard B
full_name: Hannezo, Edouard B
id: 3A9DB764-F248-11E8-B48F-1D18A9856A87
last_name: Hannezo
orcid: 0000-0001-6005-1561
citation:
ama: Corominas-Murtra B, Scheele CLGJ, Kishi K, et al. Stem cell lineage survival
as a noisy competition for niche access. Proceedings of the National Academy
of Sciences of the United States of America. 2020;117(29):16969-16975. doi:10.1073/pnas.1921205117
apa: Corominas-Murtra, B., Scheele, C. L. G. J., Kishi, K., Ellenbroek, S. I. J.,
Simons, B. D., Van Rheenen, J., & Hannezo, E. B. (2020). Stem cell lineage
survival as a noisy competition for niche access. Proceedings of the National
Academy of Sciences of the United States of America. National Academy of Sciences.
https://doi.org/10.1073/pnas.1921205117
chicago: Corominas-Murtra, Bernat, Colinda L.G.J. Scheele, Kasumi Kishi, Saskia
I.J. Ellenbroek, Benjamin D. Simons, Jacco Van Rheenen, and Edouard B Hannezo.
“Stem Cell Lineage Survival as a Noisy Competition for Niche Access.” Proceedings
of the National Academy of Sciences of the United States of America. National
Academy of Sciences, 2020. https://doi.org/10.1073/pnas.1921205117.
ieee: B. Corominas-Murtra et al., “Stem cell lineage survival as a noisy
competition for niche access,” Proceedings of the National Academy of Sciences
of the United States of America, vol. 117, no. 29. National Academy of Sciences,
pp. 16969–16975, 2020.
ista: Corominas-Murtra B, Scheele CLGJ, Kishi K, Ellenbroek SIJ, Simons BD, Van
Rheenen J, Hannezo EB. 2020. Stem cell lineage survival as a noisy competition
for niche access. Proceedings of the National Academy of Sciences of the United
States of America. 117(29), 16969–16975.
mla: Corominas-Murtra, Bernat, et al. “Stem Cell Lineage Survival as a Noisy Competition
for Niche Access.” Proceedings of the National Academy of Sciences of the United
States of America, vol. 117, no. 29, National Academy of Sciences, 2020, pp.
16969–75, doi:10.1073/pnas.1921205117.
short: B. Corominas-Murtra, C.L.G.J. Scheele, K. Kishi, S.I.J. Ellenbroek, B.D.
Simons, J. Van Rheenen, E.B. Hannezo, Proceedings of the National Academy of Sciences
of the United States of America 117 (2020) 16969–16975.
date_created: 2020-08-09T22:00:52Z
date_published: 2020-07-21T00:00:00Z
date_updated: 2023-08-22T08:29:30Z
day: '21'
ddc:
- '570'
department:
- _id: EdHa
doi: 10.1073/pnas.1921205117
ec_funded: 1
external_id:
isi:
- '000553292900014'
pmid:
- '32611816'
file:
- access_level: open_access
content_type: application/pdf
creator: dernst
date_created: 2020-08-10T06:50:28Z
date_updated: 2020-08-10T06:50:28Z
file_id: '8223'
file_name: 2020_PNAS_Corominas.pdf
file_size: 1111604
relation: main_file
success: 1
file_date_updated: 2020-08-10T06:50:28Z
has_accepted_license: '1'
intvolume: ' 117'
isi: 1
issue: '29'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
page: 16969-16975
pmid: 1
project:
- _id: 05943252-7A3F-11EA-A408-12923DDC885E
call_identifier: H2020
grant_number: '851288'
name: Design Principles of Branching Morphogenesis
publication: Proceedings of the National Academy of Sciences of the United States
of America
publication_identifier:
eissn:
- '10916490'
publication_status: published
publisher: National Academy of Sciences
quality_controlled: '1'
related_material:
link:
- relation: press_release
url: https://ist.ac.at/en/news/order-from-noise/
scopus_import: '1'
status: public
title: Stem cell lineage survival as a noisy competition for niche access
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 117
year: '2020'
...
---
_id: '8250'
abstract:
- lang: eng
text: 'Antibiotics that interfere with translation, when combined, interact in diverse
and difficult-to-predict ways. Here, we explain these interactions by “translation
bottlenecks”: points in the translation cycle where antibiotics block ribosomal
progression. To elucidate the underlying mechanisms of drug interactions between
translation inhibitors, we generate translation bottlenecks genetically using
inducible control of translation factors that regulate well-defined translation
cycle steps. These perturbations accurately mimic antibiotic action and drug interactions,
supporting that the interplay of different translation bottlenecks causes these
interactions. We further show that growth laws, combined with drug uptake and
binding kinetics, enable the direct prediction of a large fraction of observed
interactions, yet fail to predict suppression. However, varying two translation
bottlenecks simultaneously supports that dense traffic of ribosomes and competition
for translation factors account for the previously unexplained suppression. These
results highlight the importance of “continuous epistasis” in bacterial physiology.'
acknowledgement: "We thank M. Hennessey-Wesen, I. Tomanek, K. Jain, A. Staron, K.
Tomasek, M. Scott,\r\nK.C. Huang, and Z. Gitai for reading the manuscript and constructive
comments. B.K. is\r\nindebted to C. Guet for additional guidance and generous support,
which rendered this\r\nwork possible. B.K. thanks all members of Guet group for
many helpful discussions and\r\nsharing of resources. B.K. additionally acknowledges
the tremendous support from A.\r\nAngermayr and K. Mitosch with experimental work.
We further thank E. Brown for\r\nhelpful comments regarding lamotrigine, and A.
Buskirk for valuable suggestions\r\nregarding the ribosome footprint size. This
work was supported in part by Austrian\r\nScience Fund (FWF) standalone grants P
27201-B22 (to T.B.) and P 28844 (to G.T.),\r\nHFSP program Grant RGP0042/2013 (to
T.B.), German Research Foundation (DFG)\r\nstandalone grant BO 3502/2-1 (to T.B.),
and German Research Foundation (DFG)\r\nCollaborative Research Centre (SFB) 1310
(to T.B.). Open access funding provided by\r\nProjekt DEAL."
article_number: '4013'
article_processing_charge: No
article_type: original
author:
- first_name: Bor
full_name: Kavcic, Bor
id: 350F91D2-F248-11E8-B48F-1D18A9856A87
last_name: Kavcic
orcid: 0000-0001-6041-254X
- first_name: Gašper
full_name: Tkačik, Gašper
id: 3D494DCA-F248-11E8-B48F-1D18A9856A87
last_name: Tkačik
orcid: 0000-0002-6699-1455
- first_name: Tobias
full_name: Bollenbach, Tobias
id: 3E6DB97A-F248-11E8-B48F-1D18A9856A87
last_name: Bollenbach
orcid: 0000-0003-4398-476X
citation:
ama: Kavcic B, Tkačik G, Bollenbach MT. Mechanisms of drug interactions between
translation-inhibiting antibiotics. Nature Communications. 2020;11. doi:10.1038/s41467-020-17734-z
apa: Kavcic, B., Tkačik, G., & Bollenbach, M. T. (2020). Mechanisms of drug
interactions between translation-inhibiting antibiotics. Nature Communications.
Springer Nature. https://doi.org/10.1038/s41467-020-17734-z
chicago: Kavcic, Bor, Gašper Tkačik, and Mark Tobias Bollenbach. “Mechanisms of
Drug Interactions between Translation-Inhibiting Antibiotics.” Nature Communications.
Springer Nature, 2020. https://doi.org/10.1038/s41467-020-17734-z.
ieee: B. Kavcic, G. Tkačik, and M. T. Bollenbach, “Mechanisms of drug interactions
between translation-inhibiting antibiotics,” Nature Communications, vol.
11. Springer Nature, 2020.
ista: Kavcic B, Tkačik G, Bollenbach MT. 2020. Mechanisms of drug interactions between
translation-inhibiting antibiotics. Nature Communications. 11, 4013.
mla: Kavcic, Bor, et al. “Mechanisms of Drug Interactions between Translation-Inhibiting
Antibiotics.” Nature Communications, vol. 11, 4013, Springer Nature, 2020,
doi:10.1038/s41467-020-17734-z.
short: B. Kavcic, G. Tkačik, M.T. Bollenbach, Nature Communications 11 (2020).
date_created: 2020-08-12T09:13:50Z
date_published: 2020-08-11T00:00:00Z
date_updated: 2024-03-25T23:30:05Z
day: '11'
ddc:
- '570'
department:
- _id: GaTk
doi: 10.1038/s41467-020-17734-z
external_id:
isi:
- '000562769300008'
file:
- access_level: open_access
checksum: 986bebb308850a55850028d3d2b5b664
content_type: application/pdf
creator: dernst
date_created: 2020-08-17T07:36:57Z
date_updated: 2020-08-17T07:36:57Z
file_id: '8275'
file_name: 2020_NatureComm_Kavcic.pdf
file_size: 1965672
relation: main_file
success: 1
file_date_updated: 2020-08-17T07:36:57Z
has_accepted_license: '1'
intvolume: ' 11'
isi: 1
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
project:
- _id: 25E9AF9E-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P27201-B22
name: Revealing the mechanisms underlying drug interactions
- _id: 254E9036-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P28844-B27
name: Biophysics of information processing in gene regulation
publication: Nature Communications
publication_identifier:
issn:
- 2041-1723
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
record:
- id: '8657'
relation: dissertation_contains
status: public
status: public
title: Mechanisms of drug interactions between translation-inhibiting antibiotics
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 11
year: '2020'
...
---
_id: '8254'
abstract:
- lang: eng
text: "Here are the research data underlying the publication \"Estimating inbreeding
and its effects in a long-term study of snapdragons (Antirrhinum majus)\". Further
information are summed up in the README document.\r\nThe files for this record
have been updated and are now found in the linked DOI https://doi.org/10.15479/AT:ISTA:9192."
article_processing_charge: No
author:
- first_name: Louise S
full_name: Arathoon, Louise S
id: 2CFCFF98-F248-11E8-B48F-1D18A9856A87
last_name: Arathoon
orcid: 0000-0003-1771-714X
citation:
ama: Arathoon LS. Estimating inbreeding and its effects in a long-term study of
snapdragons (Antirrhinum majus). 2020. doi:10.15479/AT:ISTA:8254
apa: Arathoon, L. S. (2020). Estimating inbreeding and its effects in a long-term
study of snapdragons (Antirrhinum majus). Institute of Science and Technology
Austria. https://doi.org/10.15479/AT:ISTA:8254
chicago: Arathoon, Louise S. “Estimating Inbreeding and Its Effects in a Long-Term
Study of Snapdragons (Antirrhinum Majus).” Institute of Science and Technology
Austria, 2020. https://doi.org/10.15479/AT:ISTA:8254.
ieee: L. S. Arathoon, “Estimating inbreeding and its effects in a long-term study
of snapdragons (Antirrhinum majus).” Institute of Science and Technology Austria,
2020.
ista: Arathoon LS. 2020. Estimating inbreeding and its effects in a long-term study
of snapdragons (Antirrhinum majus), Institute of Science and Technology Austria,
10.15479/AT:ISTA:8254.
mla: Arathoon, Louise S. Estimating Inbreeding and Its Effects in a Long-Term
Study of Snapdragons (Antirrhinum Majus). Institute of Science and Technology
Austria, 2020, doi:10.15479/AT:ISTA:8254.
short: L.S. Arathoon, (2020).
contributor:
- contributor_type: data_collector
first_name: Louise S
id: 2CFCFF98-F248-11E8-B48F-1D18A9856A87
last_name: Arathoon
- contributor_type: project_member
first_name: Parvathy
id: 455235B8-F248-11E8-B48F-1D18A9856A87
last_name: Surendranadh
- contributor_type: project_member
first_name: Nicholas H
id: 4880FE40-F248-11E8-B48F-1D18A9856A87
last_name: Barton
orcid: 0000-0002-8548-5240
- contributor_type: project_member
first_name: David
id: 419049E2-F248-11E8-B48F-1D18A9856A87
last_name: Field
orcid: 0000-0002-4014-8478
- contributor_type: project_member
first_name: Melinda
id: 2C78037E-F248-11E8-B48F-1D18A9856A87
last_name: Pickup
orcid: 0000-0001-6118-0541
- contributor_type: project_member
first_name: Carina
id: 3B4A7CE2-F248-11E8-B48F-1D18A9856A87
last_name: Baskett
date_created: 2020-08-12T12:49:23Z
date_published: 2020-08-18T00:00:00Z
date_updated: 2024-02-21T12:41:09Z
day: '18'
ddc:
- '576'
department:
- _id: NiBa
doi: 10.15479/AT:ISTA:8254
file:
- access_level: open_access
checksum: 4f1382ed4384751b6013398c11557bf6
content_type: application/x-zip-compressed
creator: dernst
date_created: 2020-08-18T08:03:23Z
date_updated: 2020-08-18T08:03:23Z
file_id: '8280'
file_name: Data_Rcode_MathematicaNB.zip
file_size: 5778420
relation: main_file
success: 1
file_date_updated: 2020-08-18T08:03:23Z
has_accepted_license: '1'
month: '08'
oa: 1
oa_version: Published Version
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '11321'
relation: later_version
status: public
- id: '9192'
relation: later_version
status: public
status: public
title: Estimating inbreeding and its effects in a long-term study of snapdragons (Antirrhinum
majus)
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: research_data
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2020'
...
---
_id: '8261'
abstract:
- lang: eng
text: Dentate gyrus granule cells (GCs) connect the entorhinal cortex to the hippocampal
CA3 region, but how they process spatial information remains enigmatic. To examine
the role of GCs in spatial coding, we measured excitatory postsynaptic potentials
(EPSPs) and action potentials (APs) in head-fixed mice running on a linear belt.
Intracellular recording from morphologically identified GCs revealed that most
cells were active, but activity level varied over a wide range. Whereas only ∼5%
of GCs showed spatially tuned spiking, ∼50% received spatially tuned input. Thus,
the GC population broadly encodes spatial information, but only a subset relays
this information to the CA3 network. Fourier analysis indicated that GCs received
conjunctive place-grid-like synaptic input, suggesting code conversion in single
neurons. GC firing was correlated with dendritic complexity and intrinsic excitability,
but not extrinsic excitatory input or dendritic cable properties. Thus, functional
maturation may control input-output transformation and spatial code conversion.
acknowledged_ssus:
- _id: M-Shop
- _id: ScienComp
- _id: PreCl
acknowledgement: This project has received funding from the European Research Council
(ERC) under the European Union’s Horizon 2020 research and innovation program (grant
agreement 692692, P.J.) and the Fond zur Förderung der Wissenschaftlichen Forschung
(Z 312-B27, Wittgenstein award, P.J.). We thank Gyorgy Buzsáki, Jozsef Csicsvari,
Juan Ramirez Villegas, and Federico Stella for commenting on earlier versions of
this manuscript. We also thank Katie Bittner, Michael Brecht, Albert Lee, Jeffery
Magee, and Alejandro Pernía-Andrade for sharing expertise in in vivo patch-clamp
recording. We are grateful to Florian Marr for cell labeling, cell reconstruction,
and technical assistance; Ben Suter for helpful discussions; Christina Altmutter
for technical support; Eleftheria Kralli-Beller for manuscript editing; and Todor
Asenov (Machine Shop) for device construction. We also thank the Scientific Service
Units (SSUs) of IST Austria (Machine Shop, Scientific Computing, and Preclinical
Facility) for efficient support.
article_processing_charge: No
article_type: original
author:
- first_name: Xiaomin
full_name: Zhang, Xiaomin
id: 423EC9C2-F248-11E8-B48F-1D18A9856A87
last_name: Zhang
- first_name: Alois
full_name: Schlögl, Alois
id: 45BF87EE-F248-11E8-B48F-1D18A9856A87
last_name: Schlögl
orcid: 0000-0002-5621-8100
- first_name: Peter M
full_name: Jonas, Peter M
id: 353C1B58-F248-11E8-B48F-1D18A9856A87
last_name: Jonas
orcid: 0000-0001-5001-4804
citation:
ama: Zhang X, Schlögl A, Jonas PM. Selective routing of spatial information flow
from input to output in hippocampal granule cells. Neuron. 2020;107(6):1212-1225.
doi:10.1016/j.neuron.2020.07.006
apa: Zhang, X., Schlögl, A., & Jonas, P. M. (2020). Selective routing of spatial
information flow from input to output in hippocampal granule cells. Neuron.
Elsevier. https://doi.org/10.1016/j.neuron.2020.07.006
chicago: Zhang, Xiaomin, Alois Schlögl, and Peter M Jonas. “Selective Routing of
Spatial Information Flow from Input to Output in Hippocampal Granule Cells.” Neuron.
Elsevier, 2020. https://doi.org/10.1016/j.neuron.2020.07.006.
ieee: X. Zhang, A. Schlögl, and P. M. Jonas, “Selective routing of spatial information
flow from input to output in hippocampal granule cells,” Neuron, vol. 107,
no. 6. Elsevier, pp. 1212–1225, 2020.
ista: Zhang X, Schlögl A, Jonas PM. 2020. Selective routing of spatial information
flow from input to output in hippocampal granule cells. Neuron. 107(6), 1212–1225.
mla: Zhang, Xiaomin, et al. “Selective Routing of Spatial Information Flow from
Input to Output in Hippocampal Granule Cells.” Neuron, vol. 107, no. 6,
Elsevier, 2020, pp. 1212–25, doi:10.1016/j.neuron.2020.07.006.
short: X. Zhang, A. Schlögl, P.M. Jonas, Neuron 107 (2020) 1212–1225.
date_created: 2020-08-14T09:36:05Z
date_published: 2020-09-23T00:00:00Z
date_updated: 2023-08-22T08:30:55Z
day: '23'
ddc:
- '570'
department:
- _id: PeJo
- _id: ScienComp
doi: 10.1016/j.neuron.2020.07.006
ec_funded: 1
external_id:
isi:
- '000579698700009'
pmid:
- '32763145'
file:
- access_level: open_access
checksum: 44a5960fc083a4cb3488d22224859fdc
content_type: application/pdf
creator: dernst
date_created: 2020-12-04T09:29:21Z
date_updated: 2020-12-04T09:29:21Z
file_id: '8920'
file_name: 2020_Neuron_Zhang.pdf
file_size: 3011120
relation: main_file
success: 1
file_date_updated: 2020-12-04T09:29:21Z
has_accepted_license: '1'
intvolume: ' 107'
isi: 1
issue: '6'
language:
- iso: eng
license: https://creativecommons.org/licenses/by-nc-nd/4.0/
month: '09'
oa: 1
oa_version: Published Version
page: 1212-1225
pmid: 1
project:
- _id: 25B7EB9E-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '692692'
name: Biophysics and circuit function of a giant cortical glumatergic synapse
- _id: 25C5A090-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z00312
name: The Wittgenstein Prize
publication: Neuron
publication_identifier:
issn:
- 0896-6273
publication_status: published
publisher: Elsevier
quality_controlled: '1'
related_material:
link:
- description: News on IST Website
relation: press_release
url: https://ist.ac.at/en/news/the-bouncer-in-the-brain/
status: public
title: Selective routing of spatial information flow from input to output in hippocampal
granule cells
tmp:
image: /images/cc_by_nc_nd.png
legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode
name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International
(CC BY-NC-ND 4.0)
short: CC BY-NC-ND (4.0)
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 107
year: '2020'
...
---
_id: '8268'
abstract:
- lang: eng
text: 'Modern scientific instruments produce vast amounts of data, which can overwhelm
the processing ability of computer systems. Lossy compression of data is an intriguing
solution, but comes with its own drawbacks, such as potential signal loss, and
the need for careful optimization of the compression ratio. In this work, we focus
on a setting where this problem is especially acute: compressive sensing frameworks
for interferometry and medical imaging. We ask the following question: can the
precision of the data representation be lowered for all inputs, with recovery
guarantees and practical performance Our first contribution is a theoretical analysis
of the normalized Iterative Hard Thresholding (IHT) algorithm when all input data,
meaning both the measurement matrix and the observation vector are quantized aggressively.
We present a variant of low precision normalized IHT that, under mild conditions,
can still provide recovery guarantees. The second contribution is the application
of our quantization framework to radio astronomy and magnetic resonance imaging.
We show that lowering the precision of the data can significantly accelerate image
recovery. We evaluate our approach on telescope data and samples of brain images
using CPU and FPGA implementations achieving up to a 9x speedup with negligible
loss of recovery quality.'
acknowledgement: The authors would like to thank Dr. Michiel Brentjens at the Netherlands
Institute for Radio Astronomy (ASTRON) for providing radio interferometer data and
Dr. Josip Marjanovic and Dr. Franciszek Hennel at the Magnetic Resonance Technology
of ETH Zurich for providing their insights on the experiments. CZ and the DS3Lab
gratefully acknowledge the support from the Swiss Data Science Center, Alibaba,
Google Focused Research Awards, Huawei, MeteoSwiss, Oracle Labs, Swisscom, Zurich
Insurance, Chinese Scholarship Council, and the Department of Computer Science at
ETH Zurich.
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Nezihe Merve
full_name: Gurel, Nezihe Merve
last_name: Gurel
- first_name: Kaan
full_name: Kara, Kaan
last_name: Kara
- first_name: Alen
full_name: Stojanov, Alen
last_name: Stojanov
- first_name: Tyler
full_name: Smith, Tyler
last_name: Smith
- first_name: Thomas
full_name: Lemmin, Thomas
last_name: Lemmin
- first_name: Dan-Adrian
full_name: Alistarh, Dan-Adrian
id: 4A899BFC-F248-11E8-B48F-1D18A9856A87
last_name: Alistarh
orcid: 0000-0003-3650-940X
- first_name: Markus
full_name: Puschel, Markus
last_name: Puschel
- first_name: Ce
full_name: Zhang, Ce
last_name: Zhang
citation:
ama: 'Gurel NM, Kara K, Stojanov A, et al. Compressive sensing using iterative hard
thresholding with low precision data representation: Theory and applications.
IEEE Transactions on Signal Processing. 2020;68:4268-4282. doi:10.1109/TSP.2020.3010355'
apa: 'Gurel, N. M., Kara, K., Stojanov, A., Smith, T., Lemmin, T., Alistarh, D.-A.,
… Zhang, C. (2020). Compressive sensing using iterative hard thresholding with
low precision data representation: Theory and applications. IEEE Transactions
on Signal Processing. IEEE. https://doi.org/10.1109/TSP.2020.3010355'
chicago: 'Gurel, Nezihe Merve, Kaan Kara, Alen Stojanov, Tyler Smith, Thomas Lemmin,
Dan-Adrian Alistarh, Markus Puschel, and Ce Zhang. “Compressive Sensing Using
Iterative Hard Thresholding with Low Precision Data Representation: Theory and
Applications.” IEEE Transactions on Signal Processing. IEEE, 2020. https://doi.org/10.1109/TSP.2020.3010355.'
ieee: 'N. M. Gurel et al., “Compressive sensing using iterative hard thresholding
with low precision data representation: Theory and applications,” IEEE Transactions
on Signal Processing, vol. 68. IEEE, pp. 4268–4282, 2020.'
ista: 'Gurel NM, Kara K, Stojanov A, Smith T, Lemmin T, Alistarh D-A, Puschel M,
Zhang C. 2020. Compressive sensing using iterative hard thresholding with low
precision data representation: Theory and applications. IEEE Transactions on Signal
Processing. 68, 4268–4282.'
mla: 'Gurel, Nezihe Merve, et al. “Compressive Sensing Using Iterative Hard Thresholding
with Low Precision Data Representation: Theory and Applications.” IEEE Transactions
on Signal Processing, vol. 68, IEEE, 2020, pp. 4268–82, doi:10.1109/TSP.2020.3010355.'
short: N.M. Gurel, K. Kara, A. Stojanov, T. Smith, T. Lemmin, D.-A. Alistarh, M.
Puschel, C. Zhang, IEEE Transactions on Signal Processing 68 (2020) 4268–4282.
date_created: 2020-08-16T22:00:56Z
date_published: 2020-07-20T00:00:00Z
date_updated: 2023-08-22T08:40:08Z
day: '20'
department:
- _id: DaAl
doi: 10.1109/TSP.2020.3010355
external_id:
arxiv:
- '1802.04907'
isi:
- '000562044500001'
intvolume: ' 68'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1802.04907
month: '07'
oa: 1
oa_version: Preprint
page: 4268-4282
publication: IEEE Transactions on Signal Processing
publication_identifier:
eissn:
- '19410476'
issn:
- 1053587X
publication_status: published
publisher: IEEE
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Compressive sensing using iterative hard thresholding with low precision data
representation: Theory and applications'
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 68
year: '2020'
...
---
_id: '8271'
acknowledgement: We thank Dr. Gai Huang for his comments and help. We apologize to
authors whose work could not be cited due to space limitation. No conflict of interest
declared.
article_processing_charge: No
article_type: original
author:
- first_name: Peng
full_name: He, Peng
last_name: He
- first_name: Yuzhou
full_name: Zhang, Yuzhou
id: 3B6137F2-F248-11E8-B48F-1D18A9856A87
last_name: Zhang
orcid: 0000-0003-2627-6956
- first_name: Guanghui
full_name: Xiao, Guanghui
last_name: Xiao
citation:
ama: He P, Zhang Y, Xiao G. Origin of a subgenome and genome evolution of allotetraploid
cotton species. Molecular Plant. 2020;13(9):1238-1240. doi:10.1016/j.molp.2020.07.006
apa: He, P., Zhang, Y., & Xiao, G. (2020). Origin of a subgenome and genome
evolution of allotetraploid cotton species. Molecular Plant. Elsevier.
https://doi.org/10.1016/j.molp.2020.07.006
chicago: He, Peng, Yuzhou Zhang, and Guanghui Xiao. “Origin of a Subgenome and Genome
Evolution of Allotetraploid Cotton Species.” Molecular Plant. Elsevier,
2020. https://doi.org/10.1016/j.molp.2020.07.006.
ieee: P. He, Y. Zhang, and G. Xiao, “Origin of a subgenome and genome evolution
of allotetraploid cotton species,” Molecular Plant, vol. 13, no. 9. Elsevier,
pp. 1238–1240, 2020.
ista: He P, Zhang Y, Xiao G. 2020. Origin of a subgenome and genome evolution of
allotetraploid cotton species. Molecular Plant. 13(9), 1238–1240.
mla: He, Peng, et al. “Origin of a Subgenome and Genome Evolution of Allotetraploid
Cotton Species.” Molecular Plant, vol. 13, no. 9, Elsevier, 2020, pp. 1238–40,
doi:10.1016/j.molp.2020.07.006.
short: P. He, Y. Zhang, G. Xiao, Molecular Plant 13 (2020) 1238–1240.
date_created: 2020-08-16T22:00:57Z
date_published: 2020-09-07T00:00:00Z
date_updated: 2023-08-22T08:40:35Z
day: '07'
department:
- _id: JiFr
doi: 10.1016/j.molp.2020.07.006
external_id:
isi:
- '000566895400007'
pmid:
- '32688032'
intvolume: ' 13'
isi: 1
issue: '9'
language:
- iso: eng
month: '09'
oa_version: None
page: 1238-1240
pmid: 1
publication: Molecular Plant
publication_identifier:
eissn:
- '17529867'
issn:
- '16742052'
publication_status: published
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: Origin of a subgenome and genome evolution of allotetraploid cotton species
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 13
year: '2020'
...
---
_id: '8272'
abstract:
- lang: eng
text: We study turn-based stochastic zero-sum games with lexicographic preferences
over reachability and safety objectives. Stochastic games are standard models
in control, verification, and synthesis of stochastic reactive systems that exhibit
both randomness as well as angelic and demonic non-determinism. Lexicographic
order allows to consider multiple objectives with a strict preference order over
the satisfaction of the objectives. To the best of our knowledge, stochastic games
with lexicographic objectives have not been studied before. We establish determinacy
of such games and present strategy and computational complexity results. For strategy
complexity, we show that lexicographically optimal strategies exist that are deterministic
and memory is only required to remember the already satisfied and violated objectives.
For a constant number of objectives, we show that the relevant decision problem
is in NP∩coNP , matching the current known bound for single objectives; and
in general the decision problem is PSPACE -hard and can be solved in NEXPTIME∩coNEXPTIME
. We present an algorithm that computes the lexicographically optimal strategies
via a reduction to computation of optimal strategies in a sequence of single-objectives
games. We have implemented our algorithm and report experimental results on various
case studies.
alternative_title:
- LNCS
article_processing_charge: No
arxiv: 1
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Joost P
full_name: Katoen, Joost P
id: 4524F760-F248-11E8-B48F-1D18A9856A87
last_name: Katoen
- first_name: Maximilian
full_name: Weininger, Maximilian
last_name: Weininger
- first_name: Tobias
full_name: Winkler, Tobias
last_name: Winkler
citation:
ama: 'Chatterjee K, Katoen JP, Weininger M, Winkler T. Stochastic games with lexicographic
reachability-safety objectives. In: International Conference on Computer Aided
Verification. Vol 12225. Springer Nature; 2020:398-420. doi:10.1007/978-3-030-53291-8_21'
apa: Chatterjee, K., Katoen, J. P., Weininger, M., & Winkler, T. (2020). Stochastic
games with lexicographic reachability-safety objectives. In International Conference
on Computer Aided Verification (Vol. 12225, pp. 398–420). Springer Nature.
https://doi.org/10.1007/978-3-030-53291-8_21
chicago: Chatterjee, Krishnendu, Joost P Katoen, Maximilian Weininger, and Tobias
Winkler. “Stochastic Games with Lexicographic Reachability-Safety Objectives.”
In International Conference on Computer Aided Verification, 12225:398–420.
Springer Nature, 2020. https://doi.org/10.1007/978-3-030-53291-8_21.
ieee: K. Chatterjee, J. P. Katoen, M. Weininger, and T. Winkler, “Stochastic games
with lexicographic reachability-safety objectives,” in International Conference
on Computer Aided Verification, 2020, vol. 12225, pp. 398–420.
ista: 'Chatterjee K, Katoen JP, Weininger M, Winkler T. 2020. Stochastic games with
lexicographic reachability-safety objectives. International Conference on Computer
Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 12225, 398–420.'
mla: Chatterjee, Krishnendu, et al. “Stochastic Games with Lexicographic Reachability-Safety
Objectives.” International Conference on Computer Aided Verification, vol.
12225, Springer Nature, 2020, pp. 398–420, doi:10.1007/978-3-030-53291-8_21.
short: K. Chatterjee, J.P. Katoen, M. Weininger, T. Winkler, in:, International
Conference on Computer Aided Verification, Springer Nature, 2020, pp. 398–420.
conference:
name: 'CAV: Computer Aided Verification'
date_created: 2020-08-16T22:00:58Z
date_published: 2020-07-14T00:00:00Z
date_updated: 2025-07-14T09:10:14Z
day: '14'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.1007/978-3-030-53291-8_21
ec_funded: 1
external_id:
arxiv:
- '2005.04018'
isi:
- '000695272500021'
file:
- access_level: open_access
checksum: 093d4788d7d5b2ce0ffe64fbe7820043
content_type: application/pdf
creator: dernst
date_created: 2020-08-17T11:32:44Z
date_updated: 2020-08-17T11:32:44Z
file_id: '8276'
file_name: 2020_LNCS_CAV_Chatterjee.pdf
file_size: 625056
relation: main_file
success: 1
file_date_updated: 2020-08-17T11:32:44Z
has_accepted_license: '1'
intvolume: ' 12225'
isi: 1
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
page: 398-420
project:
- _id: 0599E47C-7A3F-11EA-A408-12923DDC885E
call_identifier: H2020
grant_number: '863818'
name: 'Formal Methods for Stochastic Models: Algorithms and Applications'
- _id: 25892FC0-B435-11E9-9278-68D0E5697425
grant_number: ICT15-003
name: Efficient Algorithms for Computer Aided Verification
publication: International Conference on Computer Aided Verification
publication_identifier:
eissn:
- '16113349'
isbn:
- '9783030532901'
issn:
- '03029743'
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
record:
- id: '12738'
relation: later_version
status: public
scopus_import: '1'
status: public
title: Stochastic games with lexicographic reachability-safety objectives
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: conference
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 12225
year: '2020'
...
---
_id: '8283'
abstract:
- lang: eng
text: 'Drought and salt stress are the main environmental cues affecting the survival,
development, distribution, and yield of crops worldwide. MYB transcription factors
play a crucial role in plants’ biological processes, but the function of pineapple
MYB genes is still obscure. In this study, one of the pineapple MYB transcription
factors, AcoMYB4, was isolated and characterized. The results showed that AcoMYB4
is localized in the cell nucleus, and its expression is induced by low temperature,
drought, salt stress, and hormonal stimulation, especially by abscisic acid (ABA).
Overexpression of AcoMYB4 in rice and Arabidopsis enhanced plant sensitivity to
osmotic stress; it led to an increase in the number stomata on leaf surfaces and
lower germination rate under salt and drought stress. Furthermore, in AcoMYB4
OE lines, the membrane oxidation index, free proline, and soluble sugar contents
were decreased. In contrast, electrolyte leakage and malondialdehyde (MDA) content
increased significantly due to membrane injury, indicating higher sensitivity
to drought and salinity stresses. Besides the above, both the expression level
and activities of several antioxidant enzymes were decreased, indicating lower
antioxidant activity in AcoMYB4 transgenic plants. Moreover, under osmotic stress,
overexpression of AcoMYB4 inhibited ABA biosynthesis through a decrease in the
transcription of genes responsible for ABA synthesis (ABA1 and ABA2) and ABA signal
transduction factor ABI5. These results suggest that AcoMYB4 negatively regulates
osmotic stress by attenuating cellular ABA biosynthesis and signal transduction
pathways. '
acknowledgement: 'We would like to thank the reviewers for their helpful comments
on the original manuscript. '
article_number: '5272'
article_processing_charge: No
article_type: original
author:
- first_name: Huihuang
full_name: Chen, Huihuang
last_name: Chen
- first_name: Linyi
full_name: Lai, Linyi
last_name: Lai
- first_name: Lanxin
full_name: Li, Lanxin
id: 367EF8FA-F248-11E8-B48F-1D18A9856A87
last_name: Li
orcid: 0000-0002-5607-272X
- first_name: Liping
full_name: Liu, Liping
last_name: Liu
- first_name: Bello Hassan
full_name: Jakada, Bello Hassan
last_name: Jakada
- first_name: Youmei
full_name: Huang, Youmei
last_name: Huang
- first_name: Qing
full_name: He, Qing
last_name: He
- first_name: Mengnan
full_name: Chai, Mengnan
last_name: Chai
- first_name: Xiaoping
full_name: Niu, Xiaoping
last_name: Niu
- first_name: Yuan
full_name: Qin, Yuan
last_name: Qin
citation:
ama: Chen H, Lai L, Li L, et al. AcoMYB4, an Ananas comosus L. MYB transcription
factor, functions in osmotic stress through negative regulation of ABA signaling.
International Journal of Molecular Sciences. 2020;21(16). doi:10.3390/ijms21165727
apa: Chen, H., Lai, L., Li, L., Liu, L., Jakada, B. H., Huang, Y., … Qin, Y. (2020).
AcoMYB4, an Ananas comosus L. MYB transcription factor, functions in osmotic stress
through negative regulation of ABA signaling. International Journal of Molecular
Sciences. MDPI. https://doi.org/10.3390/ijms21165727
chicago: Chen, Huihuang, Linyi Lai, Lanxin Li, Liping Liu, Bello Hassan Jakada,
Youmei Huang, Qing He, Mengnan Chai, Xiaoping Niu, and Yuan Qin. “AcoMYB4, an
Ananas Comosus L. MYB Transcription Factor, Functions in Osmotic Stress through
Negative Regulation of ABA Signaling.” International Journal of Molecular Sciences.
MDPI, 2020. https://doi.org/10.3390/ijms21165727.
ieee: H. Chen et al., “AcoMYB4, an Ananas comosus L. MYB transcription factor,
functions in osmotic stress through negative regulation of ABA signaling,” International
Journal of Molecular Sciences, vol. 21, no. 16. MDPI, 2020.
ista: Chen H, Lai L, Li L, Liu L, Jakada BH, Huang Y, He Q, Chai M, Niu X, Qin Y.
2020. AcoMYB4, an Ananas comosus L. MYB transcription factor, functions in osmotic
stress through negative regulation of ABA signaling. International Journal of
Molecular Sciences. 21(16), 5272.
mla: Chen, Huihuang, et al. “AcoMYB4, an Ananas Comosus L. MYB Transcription Factor,
Functions in Osmotic Stress through Negative Regulation of ABA Signaling.” International
Journal of Molecular Sciences, vol. 21, no. 16, 5272, MDPI, 2020, doi:10.3390/ijms21165727.
short: H. Chen, L. Lai, L. Li, L. Liu, B.H. Jakada, Y. Huang, Q. He, M. Chai, X.
Niu, Y. Qin, International Journal of Molecular Sciences 21 (2020).
date_created: 2020-08-24T06:24:03Z
date_published: 2020-08-10T00:00:00Z
date_updated: 2024-10-29T10:22:43Z
day: '10'
ddc:
- '570'
department:
- _id: JiFr
doi: 10.3390/ijms21165727
external_id:
isi:
- '000565090300001'
pmid:
- '32785037'
file:
- access_level: open_access
checksum: 03b039244e6ae80580385fd9f577e2b2
content_type: application/pdf
creator: cziletti
date_created: 2020-08-25T09:53:50Z
date_updated: 2020-08-25T09:53:50Z
file_id: '8292'
file_name: 2020_IntMolecSciences_Chen.pdf
file_size: 5718755
relation: main_file
success: 1
file_date_updated: 2020-08-25T09:53:50Z
has_accepted_license: '1'
intvolume: ' 21'
isi: 1
issue: '16'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
pmid: 1
publication: International Journal of Molecular Sciences
publication_identifier:
eissn:
- '14220067'
issn:
- '16616596'
publication_status: published
publisher: MDPI
quality_controlled: '1'
related_material:
record:
- id: '10083'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: AcoMYB4, an Ananas comosus L. MYB transcription factor, functions in osmotic
stress through negative regulation of ABA signaling
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 21
year: '2020'
...
---
_id: '8284'
abstract:
- lang: eng
text: Multiple resistance and pH adaptation (Mrp) antiporters are multi-subunit
Na+ (or K+)/H+ exchangers representing an ancestor of many essential redox-driven
proton pumps, such as respiratory complex I. The mechanism of coupling between
ion or electron transfer and proton translocation in this large protein family
is unknown. Here, we present the structure of the Mrp complex from Anoxybacillus
flavithermus solved by cryo-EM at 3.0 Å resolution. It is a dimer of seven-subunit
protomers with 50 trans-membrane helices each. Surface charge distribution within
each monomer is remarkably asymmetric, revealing probable proton and sodium translocation
pathways. On the basis of the structure we propose a mechanism where the coupling
between sodium and proton translocation is facilitated by a series of electrostatic
interactions between a cation and key charged residues. This mechanism is likely
to be applicable to the entire family of redox proton pumps, where electron transfer
to substrates replaces cation movements.
acknowledged_ssus:
- _id: EM-Fac
- _id: LifeSc
acknowledgement: This research was supported by the Scientific Service Units (SSU)
of IST Austria through resources provided by the Electron Microscopy Facility (EMF),
the Life Science Facility (LSF) and the IST high-performance computing cluster.
We thank Dr Victor-Valentin Hodirnau and Daniel Johann Gütl from IST Austria for
assistance with collecting cryo-EM data. We thank Prof. Masahiro Ito (Graduate School
of Life Sciences, Toyo University, Japan) for a kind provision of plasmid DNA encoding
Mrp from A. flavithermus WK1. JS is a recipient of a DOC Fellowship of the Austrian
Academy of Sciences at the Institute of Science and Technology, Austria.
article_number: e59407
article_processing_charge: No
article_type: original
author:
- first_name: Julia
full_name: Steiner, Julia
id: 3BB67EB0-F248-11E8-B48F-1D18A9856A87
last_name: Steiner
orcid: 0000-0003-0493-3775
- first_name: Leonid A
full_name: Sazanov, Leonid A
id: 338D39FE-F248-11E8-B48F-1D18A9856A87
last_name: Sazanov
orcid: 0000-0002-0977-7989
citation:
ama: Steiner J, Sazanov LA. Structure and mechanism of the Mrp complex, an ancient
cation/proton antiporter. eLife. 2020;9. doi:10.7554/eLife.59407
apa: Steiner, J., & Sazanov, L. A. (2020). Structure and mechanism of the Mrp
complex, an ancient cation/proton antiporter. ELife. eLife Sciences Publications.
https://doi.org/10.7554/eLife.59407
chicago: Steiner, Julia, and Leonid A Sazanov. “Structure and Mechanism of the Mrp
Complex, an Ancient Cation/Proton Antiporter.” ELife. eLife Sciences Publications,
2020. https://doi.org/10.7554/eLife.59407.
ieee: J. Steiner and L. A. Sazanov, “Structure and mechanism of the Mrp complex,
an ancient cation/proton antiporter,” eLife, vol. 9. eLife Sciences Publications,
2020.
ista: Steiner J, Sazanov LA. 2020. Structure and mechanism of the Mrp complex, an
ancient cation/proton antiporter. eLife. 9, e59407.
mla: Steiner, Julia, and Leonid A. Sazanov. “Structure and Mechanism of the Mrp
Complex, an Ancient Cation/Proton Antiporter.” ELife, vol. 9, e59407, eLife
Sciences Publications, 2020, doi:10.7554/eLife.59407.
short: J. Steiner, L.A. Sazanov, ELife 9 (2020).
date_created: 2020-08-24T06:24:04Z
date_published: 2020-07-31T00:00:00Z
date_updated: 2023-09-07T13:14:08Z
day: '31'
ddc:
- '570'
department:
- _id: LeSa
doi: 10.7554/eLife.59407
external_id:
isi:
- '000562123600001'
pmid:
- '32735215'
file:
- access_level: open_access
checksum: b3656d14d5ddbb9d26e3074eea2d0c15
content_type: application/pdf
creator: cziletti
date_created: 2020-08-24T13:31:53Z
date_updated: 2020-08-24T13:31:53Z
file_id: '8289'
file_name: 2020_eLife_Steiner.pdf
file_size: 7320493
relation: main_file
success: 1
file_date_updated: 2020-08-24T13:31:53Z
has_accepted_license: '1'
intvolume: ' 9'
isi: 1
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
pmid: 1
project:
- _id: 26169496-B435-11E9-9278-68D0E5697425
grant_number: '24741'
name: Revealing the functional mechanism of Mrp antiporter, an ancestor of complex
I
publication: eLife
publication_identifier:
eissn:
- 2050084X
publication_status: published
publisher: eLife Sciences Publications
quality_controlled: '1'
related_material:
link:
- description: News on IST Homepage
relation: press_release
url: https://ist.ac.at/en/news/mystery-of-giant-proton-pump-solved/
record:
- id: '8353'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Structure and mechanism of the Mrp complex, an ancient cation/proton antiporter
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 9
year: '2020'
...
---
_id: '8285'
abstract:
- lang: eng
text: We demonstrate the utility of optical cavity generated spin-squeezed states
in free space atomic fountain clocks in ensembles of 390 000 87Rb atoms. Fluorescence
imaging, correlated to an initial quantum nondemolition measurement, is used for
population spectroscopy after the atoms are released from a confining lattice.
For a free fall time of 4 milliseconds, we resolve a single-shot phase sensitivity
of 814(61) microradians, which is 5.8(0.6) decibels (dB) below the quantum projection
limit. We observe that this squeezing is preserved as the cloud expands to a roughly
200 μm radius and falls roughly 300 μm in free space. Ramsey spectroscopy with
240 000 atoms at a 3.6 ms Ramsey time results in a single-shot fractional frequency
stability of 8.4(0.2)×10−12, 3.8(0.2) dB below the quantum projection limit. The
sensitivity and stability are limited by the technical noise in the fluorescence
detection protocol and the microwave system, respectively.
acknowledgement: This work is supported by the Office of Naval Research (N00014-16-1-2927-
A00003), Vannevar Bush Faculty Fellowship (N00014-16-1-2812- P00005), Department
of Energy (DE-SC0019174- 0001), and Defense Threat Reduction Agency (HDTRA1-15-1-0017-
P00005).
article_number: '043202'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Benjamin K.
full_name: Malia, Benjamin K.
last_name: Malia
- first_name: Julián
full_name: Martínez-Rincón, Julián
last_name: Martínez-Rincón
- first_name: Yunfan
full_name: Wu, Yunfan
last_name: Wu
- first_name: Onur
full_name: Hosten, Onur
id: 4C02D85E-F248-11E8-B48F-1D18A9856A87
last_name: Hosten
orcid: 0000-0002-2031-204X
- first_name: Mark A.
full_name: Kasevich, Mark A.
last_name: Kasevich
citation:
ama: Malia BK, Martínez-Rincón J, Wu Y, Hosten O, Kasevich MA. Free space Ramsey
spectroscopy in rubidium with noise below the quantum projection limit. Physical
Review Letters. 2020;125(4). doi:10.1103/PhysRevLett.125.043202
apa: Malia, B. K., Martínez-Rincón, J., Wu, Y., Hosten, O., & Kasevich, M. A.
(2020). Free space Ramsey spectroscopy in rubidium with noise below the quantum
projection limit. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.125.043202
chicago: Malia, Benjamin K., Julián Martínez-Rincón, Yunfan Wu, Onur Hosten, and
Mark A. Kasevich. “Free Space Ramsey Spectroscopy in Rubidium with Noise below
the Quantum Projection Limit.” Physical Review Letters. American Physical
Society, 2020. https://doi.org/10.1103/PhysRevLett.125.043202.
ieee: B. K. Malia, J. Martínez-Rincón, Y. Wu, O. Hosten, and M. A. Kasevich, “Free
space Ramsey spectroscopy in rubidium with noise below the quantum projection
limit,” Physical Review Letters, vol. 125, no. 4. American Physical Society,
2020.
ista: Malia BK, Martínez-Rincón J, Wu Y, Hosten O, Kasevich MA. 2020. Free space
Ramsey spectroscopy in rubidium with noise below the quantum projection limit.
Physical Review Letters. 125(4), 043202.
mla: Malia, Benjamin K., et al. “Free Space Ramsey Spectroscopy in Rubidium with
Noise below the Quantum Projection Limit.” Physical Review Letters, vol.
125, no. 4, 043202, American Physical Society, 2020, doi:10.1103/PhysRevLett.125.043202.
short: B.K. Malia, J. Martínez-Rincón, Y. Wu, O. Hosten, M.A. Kasevich, Physical
Review Letters 125 (2020).
date_created: 2020-08-24T06:24:04Z
date_published: 2020-07-24T00:00:00Z
date_updated: 2023-10-18T08:38:35Z
day: '24'
department:
- _id: OnHo
doi: 10.1103/PhysRevLett.125.043202
external_id:
arxiv:
- '1912.10218'
isi:
- '000552227400008'
pmid:
- '32794788'
intvolume: ' 125'
isi: 1
issue: '4'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1912.10218
month: '07'
oa: 1
oa_version: Preprint
pmid: 1
publication: Physical Review Letters
publication_identifier:
eissn:
- 1079-7114
issn:
- 0031-9007
publication_status: published
publisher: American Physical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Free space Ramsey spectroscopy in rubidium with noise below the quantum projection
limit
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 125
year: '2020'
...
---
_id: '8287'
abstract:
- lang: eng
text: Reachability analysis aims at identifying states reachable by a system within
a given time horizon. This task is known to be computationally expensive for linear
hybrid systems. Reachability analysis works by iteratively applying continuous
and discrete post operators to compute states reachable according to continuous
and discrete dynamics, respectively. In this paper, we enhance both of these operators
and make sure that most of the involved computations are performed in low-dimensional
state space. In particular, we improve the continuous-post operator by performing
computations in high-dimensional state space only for time intervals relevant
for the subsequent application of the discrete-post operator. Furthermore, the
new discrete-post operator performs low-dimensional computations by leveraging
the structure of the guard and assignment of a considered transition. We illustrate
the potential of our approach on a number of challenging benchmarks.
article_processing_charge: No
arxiv: 1
author:
- first_name: Sergiy
full_name: Bogomolov, Sergiy
last_name: Bogomolov
- first_name: Marcelo
full_name: Forets, Marcelo
last_name: Forets
- first_name: Goran
full_name: Frehse, Goran
last_name: Frehse
- first_name: Kostiantyn
full_name: Potomkin, Kostiantyn
last_name: Potomkin
- first_name: Christian
full_name: Schilling, Christian
id: 3A2F4DCE-F248-11E8-B48F-1D18A9856A87
last_name: Schilling
orcid: 0000-0003-3658-1065
citation:
ama: 'Bogomolov S, Forets M, Frehse G, Potomkin K, Schilling C. Reachability analysis
of linear hybrid systems via block decomposition. In: Proceedings of the International
Conference on Embedded Software. ; 2020.'
apa: Bogomolov, S., Forets, M., Frehse, G., Potomkin, K., & Schilling, C. (2020).
Reachability analysis of linear hybrid systems via block decomposition. In Proceedings
of the International Conference on Embedded Software. Virtual .
chicago: Bogomolov, Sergiy, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, and
Christian Schilling. “Reachability Analysis of Linear Hybrid Systems via Block
Decomposition.” In Proceedings of the International Conference on Embedded
Software, 2020.
ieee: S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, and C. Schilling, “Reachability
analysis of linear hybrid systems via block decomposition,” in Proceedings
of the International Conference on Embedded Software, Virtual , 2020.
ista: 'Bogomolov S, Forets M, Frehse G, Potomkin K, Schilling C. 2020. Reachability
analysis of linear hybrid systems via block decomposition. Proceedings of the
International Conference on Embedded Software. EMSOFT: International Conference
on Embedded Software.'
mla: Bogomolov, Sergiy, et al. “Reachability Analysis of Linear Hybrid Systems via
Block Decomposition.” Proceedings of the International Conference on Embedded
Software, 2020.
short: S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling, in:, Proceedings
of the International Conference on Embedded Software, 2020.
conference:
end_date: 2020-09-25
location: 'Virtual '
name: 'EMSOFT: International Conference on Embedded Software'
start_date: 2020-09-20
date_created: 2020-08-24T12:56:20Z
date_published: 2020-01-01T00:00:00Z
date_updated: 2023-08-22T13:27:32Z
ddc:
- '000'
department:
- _id: ToHe
ec_funded: 1
external_id:
arxiv:
- '1905.02458'
file:
- access_level: open_access
checksum: d19e97d0f8a3a441dc078ec812297d75
content_type: application/pdf
creator: cschilli
date_created: 2020-08-24T12:53:15Z
date_updated: 2020-08-24T12:53:15Z
file_id: '8288'
file_name: 2020EMSOFT.pdf
file_size: 696384
relation: main_file
success: 1
file_date_updated: 2020-08-24T12:53:15Z
has_accepted_license: '1'
keyword:
- reachability
- hybrid systems
- decomposition
language:
- iso: eng
oa: 1
oa_version: Preprint
project:
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _id: 25C5A090-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z00312
name: The Wittgenstein Prize
- _id: 260C2330-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '754411'
name: ISTplus - Postdoctoral Fellowships
publication: Proceedings of the International Conference on Embedded Software
publication_status: published
quality_controlled: '1'
related_material:
record:
- id: '8790'
relation: later_version
status: public
status: public
title: Reachability analysis of linear hybrid systems via block decomposition
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: conference
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
year: '2020'
...
---
_id: '8294'
abstract:
- lang: eng
text: 'Automated root growth analysis and tracking of root tips. '
author:
- first_name: Robert
full_name: Hauschild, Robert
id: 4E01D6B4-F248-11E8-B48F-1D18A9856A87
last_name: Hauschild
orcid: 0000-0001-9843-3522
citation:
ama: Hauschild R. RGtracker. 2020. doi:10.15479/AT:ISTA:8294
apa: Hauschild, R. (2020). RGtracker. IST Austria. https://doi.org/10.15479/AT:ISTA:8294
chicago: Hauschild, Robert. “RGtracker.” IST Austria, 2020. https://doi.org/10.15479/AT:ISTA:8294.
ieee: R. Hauschild, “RGtracker.” IST Austria, 2020.
ista: Hauschild R. 2020. RGtracker, IST Austria, 10.15479/AT:ISTA:8294.
mla: Hauschild, Robert. RGtracker. IST Austria, 2020, doi:10.15479/AT:ISTA:8294.
short: R. Hauschild, (2020).
date_created: 2020-08-25T12:52:48Z
date_published: 2020-09-10T00:00:00Z
date_updated: 2021-01-12T08:17:56Z
day: '10'
ddc:
- '570'
department:
- _id: Bio
doi: 10.15479/AT:ISTA:8294
file:
- access_level: open_access
checksum: 108352149987ac6f066e4925bd56e35e
content_type: text/plain
creator: rhauschild
date_created: 2020-09-08T14:26:31Z
date_updated: 2020-09-08T14:26:31Z
file_id: '8346'
file_name: readme.txt
file_size: 882
relation: main_file
success: 1
- access_level: open_access
checksum: ffd6c643b28e0cc7c6d0060a18a7e8ea
content_type: application/octet-stream
creator: rhauschild
date_created: 2020-09-08T14:26:33Z
date_updated: 2020-09-08T14:26:33Z
file_id: '8347'
file_name: RGtracker.mlappinstall
file_size: 246121
relation: main_file
success: 1
file_date_updated: 2020-09-08T14:26:33Z
has_accepted_license: '1'
license: https://opensource.org/licenses/BSD-3-Clause
month: '09'
oa: 1
publisher: IST Austria
status: public
title: RGtracker
tmp:
legal_code_url: https://opensource.org/licenses/BSD-3-Clause
name: The 3-Clause BSD License
short: 3-Clause BSD
type: software
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2020'
...
---
_id: '8308'
abstract:
- lang: eng
text: 'Many-body localization provides a mechanism to avoid thermalization in isolated
interacting quantum systems. The breakdown of thermalization may be complete,
when all eigenstates in the many-body spectrum become localized, or partial, when
the so-called many-body mobility edge separates localized and delocalized parts
of the spectrum. Previously, De Roeck et al. [Phys. Rev. B 93, 014203 (2016)]
suggested a possible instability of the many-body mobility edge in energy density.
The local ergodic regions—so-called “bubbles”—resonantly spread throughout the
system, leading to delocalization. In order to study such instability mechanism,
in this work we design a model featuring many-body mobility edge in particle density:
the states at small particle density are localized, while increasing the density
of particles leads to delocalization. Using numerical simulations with matrix
product states, we demonstrate the stability of many-body localization with respect
to small bubbles in large dilute systems for experimentally relevant timescales.
In addition, we demonstrate that processes where the bubble spreads are favored
over processes that lead to resonant tunneling, suggesting a possible mechanism
behind the observed stability of many-body mobility edge. We conclude by proposing
experiments to probe particle density mobility edge in the Bose-Hubbard model.'
acknowledgement: 'Acknowledgments. We acknowledge useful discussions with W. De Roeck
and A. Michailidis. P.B. was supported by the European Union''s Horizon 2020 research
and innovation program under the Marie Sklodowska-Curie Grant Agreement No. 665385.
D.A. was supported by the Swiss National Science Foundation. M.S. was supported
by European Research Council (ERC) under the European Union''s Horizon 2020 research
and innovation program (Grant Agreement No. 850899). This work benefited from visits
to KITP, supported by the National Science Foundation under Grant No. NSF PHY-1748958
and from the program “Thermalization, Many Body Localization and Hydrodynamics”
at International Centre for Theoretical Sciences (Code: ICTS/hydrodynamics2019/11).'
article_number: 060202(R)
article_processing_charge: No
article_type: original
author:
- first_name: Pietro
full_name: Brighi, Pietro
id: 4115AF5C-F248-11E8-B48F-1D18A9856A87
last_name: Brighi
orcid: 0000-0002-7969-2729
- first_name: Dmitry A.
full_name: Abanin, Dmitry A.
last_name: Abanin
- first_name: Maksym
full_name: Serbyn, Maksym
id: 47809E7E-F248-11E8-B48F-1D18A9856A87
last_name: Serbyn
orcid: 0000-0002-2399-5827
citation:
ama: Brighi P, Abanin DA, Serbyn M. Stability of mobility edges in disordered interacting
systems. Physical Review B. 2020;102(6). doi:10.1103/physrevb.102.060202
apa: Brighi, P., Abanin, D. A., & Serbyn, M. (2020). Stability of mobility edges
in disordered interacting systems. Physical Review B. American Physical
Society. https://doi.org/10.1103/physrevb.102.060202
chicago: Brighi, Pietro, Dmitry A. Abanin, and Maksym Serbyn. “Stability of Mobility
Edges in Disordered Interacting Systems.” Physical Review B. American Physical
Society, 2020. https://doi.org/10.1103/physrevb.102.060202.
ieee: P. Brighi, D. A. Abanin, and M. Serbyn, “Stability of mobility edges in disordered
interacting systems,” Physical Review B, vol. 102, no. 6. American Physical
Society, 2020.
ista: Brighi P, Abanin DA, Serbyn M. 2020. Stability of mobility edges in disordered
interacting systems. Physical Review B. 102(6), 060202(R).
mla: Brighi, Pietro, et al. “Stability of Mobility Edges in Disordered Interacting
Systems.” Physical Review B, vol. 102, no. 6, 060202(R), American Physical
Society, 2020, doi:10.1103/physrevb.102.060202.
short: P. Brighi, D.A. Abanin, M. Serbyn, Physical Review B 102 (2020).
date_created: 2020-08-26T19:27:42Z
date_published: 2020-08-26T00:00:00Z
date_updated: 2023-08-24T14:20:21Z
day: '26'
ddc:
- '530'
department:
- _id: MaSe
doi: 10.1103/physrevb.102.060202
ec_funded: 1
external_id:
isi:
- '000562628300001'
file:
- access_level: open_access
checksum: 716442fa7861323fcc80b93718ca009c
content_type: application/pdf
creator: mserbyn
date_created: 2020-08-26T19:28:55Z
date_updated: 2020-08-26T19:28:55Z
file_id: '8309'
file_name: PhysRevB.102.060202.pdf
file_size: 488825
relation: main_file
success: 1
- access_level: open_access
checksum: be0abdc8f60fe065ea6dc92e08487122
content_type: application/pdf
creator: mserbyn
date_created: 2020-08-26T19:29:00Z
date_updated: 2020-08-26T19:29:00Z
file_id: '8310'
file_name: Supplementary-mbme.pdf
file_size: 711405
relation: main_file
success: 1
file_date_updated: 2020-08-26T19:29:00Z
has_accepted_license: '1'
intvolume: ' 102'
isi: 1
issue: '6'
language:
- iso: eng
month: '08'
oa: 1
oa_version: None
project:
- _id: 2564DBCA-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '665385'
name: International IST Doctoral Program
- _id: 23841C26-32DE-11EA-91FC-C7463DDC885E
call_identifier: H2020
grant_number: '850899'
name: 'Non-Ergodic Quantum Matter: Universality, Dynamics and Control'
publication: Physical Review B
publication_identifier:
eissn:
- 2469-9969
issn:
- 2469-9950
publication_status: published
publisher: American Physical Society
quality_controlled: '1'
related_material:
record:
- id: '12732'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Stability of mobility edges in disordered interacting systems
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 102
year: '2020'
...
---
_id: '8318'
abstract:
- lang: eng
text: Complex I is the first and the largest enzyme of respiratory chains in bacteria
and mitochondria. The mechanism which couples spatially separated transfer of
electrons to proton translocation in complex I is not known. Here we report five
crystal structures of T. thermophilus enzyme in complex with NADH or quinone-like
compounds. We also determined cryo-EM structures of major and minor native states
of the complex, differing in the position of the peripheral arm. Crystal structures
show that binding of quinone-like compounds (but not of NADH) leads to a related
global conformational change, accompanied by local re-arrangements propagating
from the quinone site to the nearest proton channel. Normal mode and molecular
dynamics analyses indicate that these are likely to represent the first steps
in the proton translocation mechanism. Our results suggest that quinone binding
and chemistry play a key role in the coupling mechanism of complex I.
acknowledgement: This work was funded by the Medical Research Council, UK and IST
Austria. We thank the European Synchrotron Radiation Facility and the Diamond Light
Source for provision of synchrotron radiation facilities. We are grateful to the
staff of beamlines ID29, ID23-2 (ESRF, Grenoble, France) and I03 (Diamond Light
Source, Didcot, UK) for assistance. Data processing was performed at the IST high-performance
computing cluster.
article_number: '4135'
article_processing_charge: No
article_type: original
author:
- first_name: Javier
full_name: Gutierrez-Fernandez, Javier
id: 3D9511BA-F248-11E8-B48F-1D18A9856A87
last_name: Gutierrez-Fernandez
- first_name: Karol
full_name: Kaszuba, Karol
id: 3FDF9472-F248-11E8-B48F-1D18A9856A87
last_name: Kaszuba
- first_name: Gurdeep S.
full_name: Minhas, Gurdeep S.
last_name: Minhas
- first_name: Rozbeh
full_name: Baradaran, Rozbeh
last_name: Baradaran
- first_name: Margherita
full_name: Tambalo, Margherita
id: 4187dfe4-ec23-11ea-ae46-f08ab378313a
last_name: Tambalo
- first_name: David T.
full_name: Gallagher, David T.
last_name: Gallagher
- first_name: Leonid A
full_name: Sazanov, Leonid A
id: 338D39FE-F248-11E8-B48F-1D18A9856A87
last_name: Sazanov
orcid: 0000-0002-0977-7989
citation:
ama: Gutierrez-Fernandez J, Kaszuba K, Minhas GS, et al. Key role of quinone in
the mechanism of respiratory complex I. Nature Communications. 2020;11(1).
doi:10.1038/s41467-020-17957-0
apa: Gutierrez-Fernandez, J., Kaszuba, K., Minhas, G. S., Baradaran, R., Tambalo,
M., Gallagher, D. T., & Sazanov, L. A. (2020). Key role of quinone in the
mechanism of respiratory complex I. Nature Communications. Springer Nature.
https://doi.org/10.1038/s41467-020-17957-0
chicago: Gutierrez-Fernandez, Javier, Karol Kaszuba, Gurdeep S. Minhas, Rozbeh Baradaran,
Margherita Tambalo, David T. Gallagher, and Leonid A Sazanov. “Key Role of Quinone
in the Mechanism of Respiratory Complex I.” Nature Communications. Springer
Nature, 2020. https://doi.org/10.1038/s41467-020-17957-0.
ieee: J. Gutierrez-Fernandez et al., “Key role of quinone in the mechanism
of respiratory complex I,” Nature Communications, vol. 11, no. 1. Springer
Nature, 2020.
ista: Gutierrez-Fernandez J, Kaszuba K, Minhas GS, Baradaran R, Tambalo M, Gallagher
DT, Sazanov LA. 2020. Key role of quinone in the mechanism of respiratory complex
I. Nature Communications. 11(1), 4135.
mla: Gutierrez-Fernandez, Javier, et al. “Key Role of Quinone in the Mechanism of
Respiratory Complex I.” Nature Communications, vol. 11, no. 1, 4135, Springer
Nature, 2020, doi:10.1038/s41467-020-17957-0.
short: J. Gutierrez-Fernandez, K. Kaszuba, G.S. Minhas, R. Baradaran, M. Tambalo,
D.T. Gallagher, L.A. Sazanov, Nature Communications 11 (2020).
date_created: 2020-08-30T22:01:10Z
date_published: 2020-08-18T00:00:00Z
date_updated: 2023-08-22T09:03:00Z
day: '18'
ddc:
- '570'
department:
- _id: LeSa
doi: 10.1038/s41467-020-17957-0
external_id:
isi:
- '000607072900001'
pmid:
- '32811817'
file:
- access_level: open_access
checksum: 52b96f41d7d0db9728064c08da00d030
content_type: application/pdf
creator: cziletti
date_created: 2020-08-31T13:40:00Z
date_updated: 2020-08-31T13:40:00Z
file_id: '8326'
file_name: 2020_NatComm_Gutierrez-Fernandez.pdf
file_size: 7527373
relation: main_file
success: 1
file_date_updated: 2020-08-31T13:40:00Z
has_accepted_license: '1'
intvolume: ' 11'
isi: 1
issue: '1'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
pmid: 1
publication: Nature Communications
publication_identifier:
eissn:
- '20411723'
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
link:
- description: News on IST Homepage
relation: press_release
url: https://ist.ac.at/en/news/mystery-of-giant-proton-pump-solved/
scopus_import: '1'
status: public
title: Key role of quinone in the mechanism of respiratory complex I
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 11
year: '2020'
...
---
_id: '8319'
abstract:
- lang: eng
text: We demonstrate that releasing atoms into free space from an optical lattice
does not deteriorate cavity-generated spin squeezing for metrological purposes.
In this work, an ensemble of 500000 spin-squeezed atoms in a high-finesse optical
cavity with near-uniform atom-cavity coupling is prepared, released into free
space, recaptured in the cavity, and probed. Up to ∼10 dB of metrologically relevant
squeezing is retrieved for 700μs free-fall times, and decaying levels of squeezing
are realized for up to 3 ms free-fall times. The degradation of squeezing results
from loss of atom-cavity coupling homogeneity between the initial squeezed state
generation and final collective state readout. A theoretical model is developed
to quantify this degradation and this model is experimentally validated.
acknowledgement: We thank N. Engelsen for comments on the manuscript. This work was
supported by the Office of Naval Research, Vannevar Bush Faculty Fellowship, Department
of Energy, and Defense Threat Reduction Agency. R.K. was partly supported by the
AQT/INQNET program at Caltech.
article_number: '012224'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Yunfan
full_name: Wu, Yunfan
last_name: Wu
- first_name: Rajiv
full_name: Krishnakumar, Rajiv
last_name: Krishnakumar
- first_name: Julián
full_name: Martínez-Rincón, Julián
last_name: Martínez-Rincón
- first_name: Benjamin K.
full_name: Malia, Benjamin K.
last_name: Malia
- first_name: Onur
full_name: Hosten, Onur
id: 4C02D85E-F248-11E8-B48F-1D18A9856A87
last_name: Hosten
orcid: 0000-0002-2031-204X
- first_name: Mark A.
full_name: Kasevich, Mark A.
last_name: Kasevich
citation:
ama: Wu Y, Krishnakumar R, Martínez-Rincón J, Malia BK, Hosten O, Kasevich MA. Retrieval
of cavity-generated atomic spin squeezing after free-space release. Physical
Review A. 2020;102(1). doi:10.1103/PhysRevA.102.012224
apa: Wu, Y., Krishnakumar, R., Martínez-Rincón, J., Malia, B. K., Hosten, O., &
Kasevich, M. A. (2020). Retrieval of cavity-generated atomic spin squeezing after
free-space release. Physical Review A. American Physical Society. https://doi.org/10.1103/PhysRevA.102.012224
chicago: Wu, Yunfan, Rajiv Krishnakumar, Julián Martínez-Rincón, Benjamin K. Malia,
Onur Hosten, and Mark A. Kasevich. “Retrieval of Cavity-Generated Atomic Spin
Squeezing after Free-Space Release.” Physical Review A. American Physical
Society, 2020. https://doi.org/10.1103/PhysRevA.102.012224.
ieee: Y. Wu, R. Krishnakumar, J. Martínez-Rincón, B. K. Malia, O. Hosten, and M.
A. Kasevich, “Retrieval of cavity-generated atomic spin squeezing after free-space
release,” Physical Review A, vol. 102, no. 1. American Physical Society,
2020.
ista: Wu Y, Krishnakumar R, Martínez-Rincón J, Malia BK, Hosten O, Kasevich MA.
2020. Retrieval of cavity-generated atomic spin squeezing after free-space release.
Physical Review A. 102(1), 012224.
mla: Wu, Yunfan, et al. “Retrieval of Cavity-Generated Atomic Spin Squeezing after
Free-Space Release.” Physical Review A, vol. 102, no. 1, 012224, American
Physical Society, 2020, doi:10.1103/PhysRevA.102.012224.
short: Y. Wu, R. Krishnakumar, J. Martínez-Rincón, B.K. Malia, O. Hosten, M.A. Kasevich,
Physical Review A 102 (2020).
date_created: 2020-08-30T22:01:10Z
date_published: 2020-07-30T00:00:00Z
date_updated: 2024-02-28T13:11:28Z
day: '30'
department:
- _id: OnHo
doi: 10.1103/PhysRevA.102.012224
external_id:
arxiv:
- '1912.08334'
isi:
- '000555104200011'
intvolume: ' 102'
isi: 1
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1912.08334
month: '07'
oa: 1
oa_version: Preprint
publication: Physical Review A
publication_identifier:
eissn:
- '24699934'
issn:
- '24699926'
publication_status: published
publisher: American Physical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Retrieval of cavity-generated atomic spin squeezing after free-space release
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 102
year: '2020'
...