---
_id: '13120'
abstract:
- lang: eng
text: 'We formalized general (i.e., type-0) grammars using the Lean 3 proof assistant.
We defined basic notions of rewrite rules and of words derived by a grammar, and
used grammars to show closure of the class of type-0 languages under four operations:
union, reversal, concatenation, and the Kleene star. The literature mostly focuses
on Turing machine arguments, which are possibly more difficult to formalize. For
the Kleene star, we could not follow the literature and came up with our own grammar-based
construction.'
acknowledgement: "Jasmin Blanchette: This research has received funding from the Netherlands
Organization\r\nfor Scientific Research (NWO) under the Vidi program (project No.
016.Vidi.189.037, Lean Forward).\r\n__\r\nWe thank Vladimir Kolmogorov for making
this collaboration possible. We\r\nthank Václav Končický for discussing ideas about
the Kleene star construction. We thank Patrick Johnson, Floris van Doorn, and Damiano
Testa for their small yet very valuable contributions to our code. We thank Eric
Wieser for simplifying one of our proofs. We thank Mark Summerfield for suggesting
textual improvements. We thank the anonymous reviewers for very helpful comments.
Finally, we thank the Lean community for helping us with various technical issues
and answering many questions. "
alternative_title:
- LIPIcs
article_number: '15'
article_processing_charge: No
arxiv: 1
author:
- first_name: Martin
full_name: Dvorak, Martin
id: 40ED02A8-C8B4-11E9-A9C0-453BE6697425
last_name: Dvorak
orcid: 0000-0001-5293-214X
- first_name: Jasmin
full_name: Blanchette, Jasmin
last_name: Blanchette
citation:
ama: 'Dvorak M, Blanchette J. Closure properties of general grammars - formally
verified. In: 14th International Conference on Interactive Theorem Proving.
Vol 268. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023. doi:10.4230/LIPIcs.ITP.2023.15'
apa: 'Dvorak, M., & Blanchette, J. (2023). Closure properties of general grammars
- formally verified. In 14th International Conference on Interactive Theorem
Proving (Vol. 268). Bialystok, Poland: Schloss Dagstuhl - Leibniz-Zentrum
für Informatik. https://doi.org/10.4230/LIPIcs.ITP.2023.15'
chicago: Dvorak, Martin, and Jasmin Blanchette. “Closure Properties of General Grammars
- Formally Verified.” In 14th International Conference on Interactive Theorem
Proving, Vol. 268. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
https://doi.org/10.4230/LIPIcs.ITP.2023.15.
ieee: M. Dvorak and J. Blanchette, “Closure properties of general grammars - formally
verified,” in 14th International Conference on Interactive Theorem Proving,
Bialystok, Poland, 2023, vol. 268.
ista: 'Dvorak M, Blanchette J. 2023. Closure properties of general grammars - formally
verified. 14th International Conference on Interactive Theorem Proving. ITP: Interactive
Theorem Proving, LIPIcs, vol. 268, 15.'
mla: Dvorak, Martin, and Jasmin Blanchette. “Closure Properties of General Grammars
- Formally Verified.” 14th International Conference on Interactive Theorem
Proving, vol. 268, 15, Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
2023, doi:10.4230/LIPIcs.ITP.2023.15.
short: M. Dvorak, J. Blanchette, in:, 14th International Conference on Interactive
Theorem Proving, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
conference:
end_date: 2023-08-04
location: Bialystok, Poland
name: 'ITP: Interactive Theorem Proving'
start_date: 2023-07-31
corr_author: '1'
date_created: 2023-06-05T07:29:05Z
date_published: 2023-07-27T00:00:00Z
date_updated: 2026-03-27T12:36:59Z
day: '27'
ddc:
- '000'
department:
- _id: GradSch
- _id: VlKo
doi: 10.4230/LIPIcs.ITP.2023.15
external_id:
arxiv:
- '2302.06420'
isi:
- '001515590500015'
file:
- access_level: open_access
checksum: 773a0197f05b67feaa6cb1e17ec3642d
content_type: application/pdf
creator: dernst
date_created: 2023-08-07T11:55:43Z
date_updated: 2023-08-07T11:55:43Z
file_id: '13982'
file_name: 2023_LIPIcS_Dvorak.pdf
file_size: 715976
relation: main_file
success: 1
file_date_updated: 2023-08-07T11:55:43Z
has_accepted_license: '1'
intvolume: ' 268'
isi: 1
language:
- iso: eng
license: https://creativecommons.org/licenses/by/4.0/
month: '07'
oa: 1
oa_version: Published Version
publication: 14th International Conference on Interactive Theorem Proving
publication_identifier:
eissn:
- 1868-8969
isbn:
- '9783959772846'
publication_status: published
publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
quality_controlled: '1'
related_material:
link:
- relation: software
url: https://github.com/madvorak/grammars/tree/publish
record:
- id: '21393'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Closure properties of general grammars - formally verified
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: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 268
year: '2023'
...
---
_id: '14466'
abstract:
- lang: eng
text: The first long-lived turbulent structures observable in planar shear flows
take the form of localized stripes, inclined with respect to the mean flow direction.
The dynamics of these stripes is central to transition, and recent studies proposed
an analogy to directed percolation where the stripes’ proliferation is ultimately
responsible for the turbulence becoming sustained. In the present study we focus
on the internal stripe dynamics as well as on the eventual stripe expansion, and
we compare the underlying mechanisms in pressure- and shear-driven planar flows,
respectively, plane-Poiseuille and plane-Couette flow. Despite the similarities
of the overall laminar–turbulence patterns, the stripe proliferation processes
in the two cases are fundamentally different. Starting from the growth and sustenance
of individual stripes, we find that in plane-Couette flow new streaks are created
stochastically throughout the stripe whereas in plane-Poiseuille flow streak creation
is deterministic and occurs locally at the downstream tip. Because of the up/downstream
symmetry, Couette stripes, in contrast to Poiseuille stripes, have two weak and
two strong laminar turbulent interfaces. These differences in symmetry as well
as in internal growth give rise to two fundamentally different stripe splitting
mechanisms. In plane-Poiseuille flow splitting is connected to the elongational
growth of the original stripe, and it results from a break-off/shedding of the
stripe's tail. In plane-Couette flow splitting follows from a broadening of the
original stripe and a division along the stripe into two slimmer stripes.
acknowledgement: E.M. acknowledges funding from the ISTplus fellowship programme.
G.Y. and B.H. acknowledge a grant from the Simons Foundation (662960, BH).
article_number: A21
article_processing_charge: Yes (via OA deal)
article_type: original
arxiv: 1
author:
- first_name: Elena
full_name: Marensi, Elena
id: 0BE7553A-1004-11EA-B805-18983DDC885E
last_name: Marensi
orcid: 0000-0001-7173-4923
- first_name: Gökhan
full_name: Yalniz, Gökhan
id: 66E74FA2-D8BF-11E9-8249-8DE2E5697425
last_name: Yalniz
orcid: 0000-0002-8490-9312
- first_name: Björn
full_name: Hof, Björn
id: 3A374330-F248-11E8-B48F-1D18A9856A87
last_name: Hof
orcid: 0000-0003-2057-2754
citation:
ama: Marensi E, Yalniz G, Hof B. Dynamics and proliferation of turbulent stripes
in plane-Poiseuille and plane-Couette flows. Journal of Fluid Mechanics.
2023;974. doi:10.1017/jfm.2023.780
apa: Marensi, E., Yalniz, G., & Hof, B. (2023). Dynamics and proliferation of
turbulent stripes in plane-Poiseuille and plane-Couette flows. Journal of Fluid
Mechanics. Cambridge University Press. https://doi.org/10.1017/jfm.2023.780
chicago: Marensi, Elena, Gökhan Yalniz, and Björn Hof. “Dynamics and Proliferation
of Turbulent Stripes in Plane-Poiseuille and Plane-Couette Flows.” Journal
of Fluid Mechanics. Cambridge University Press, 2023. https://doi.org/10.1017/jfm.2023.780.
ieee: E. Marensi, G. Yalniz, and B. Hof, “Dynamics and proliferation of turbulent
stripes in plane-Poiseuille and plane-Couette flows,” Journal of Fluid Mechanics,
vol. 974. Cambridge University Press, 2023.
ista: Marensi E, Yalniz G, Hof B. 2023. Dynamics and proliferation of turbulent
stripes in plane-Poiseuille and plane-Couette flows. Journal of Fluid Mechanics.
974, A21.
mla: Marensi, Elena, et al. “Dynamics and Proliferation of Turbulent Stripes in
Plane-Poiseuille and Plane-Couette Flows.” Journal of Fluid Mechanics,
vol. 974, A21, Cambridge University Press, 2023, doi:10.1017/jfm.2023.780.
short: E. Marensi, G. Yalniz, B. Hof, Journal of Fluid Mechanics 974 (2023).
corr_author: '1'
date_created: 2023-10-30T09:32:28Z
date_published: 2023-11-10T00:00:00Z
date_updated: 2026-04-07T11:47:05Z
day: '10'
ddc:
- '530'
department:
- _id: GradSch
- _id: BjHo
doi: 10.1017/jfm.2023.780
external_id:
arxiv:
- '2212.12406'
isi:
- '001088363700001'
file:
- access_level: open_access
checksum: 17c64c1fb0d5f73252364bf98b0b9e1a
content_type: application/pdf
creator: dernst
date_created: 2024-02-15T09:05:21Z
date_updated: 2024-02-15T09:05:21Z
file_id: '14996'
file_name: 2023_JourFluidMechanics_Marensi.pdf
file_size: 2804641
relation: main_file
success: 1
file_date_updated: 2024-02-15T09:05:21Z
has_accepted_license: '1'
intvolume: ' 974'
isi: 1
keyword:
- turbulence
- transition to turbulence
- patterns
language:
- iso: eng
month: '11'
oa: 1
oa_version: Published Version
project:
- _id: 238598C6-32DE-11EA-91FC-C7463DDC885E
grant_number: '662960'
name: Revisiting the Turbulence Problem Using Statistical Mechanics
publication: Journal of Fluid Mechanics
publication_identifier:
eissn:
- 1469-7645
issn:
- 0022-1120
publication_status: published
publisher: Cambridge University Press
quality_controlled: '1'
related_material:
record:
- id: '19684'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Dynamics and proliferation of turbulent stripes in plane-Poiseuille and plane-Couette
flows
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: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 974
year: '2023'
...
---
_id: '12105'
abstract:
- lang: eng
text: Data-driven dimensionality reduction methods such as proper orthogonal decomposition
and dynamic mode decomposition have proven to be useful for exploring complex
phenomena within fluid dynamics and beyond. A well-known challenge for these techniques
is posed by the continuous symmetries, e.g. translations and rotations, of the
system under consideration, as drifts in the data dominate the modal expansions
without providing an insight into the dynamics of the problem. In the present
study, we address this issue for fluid flows in rectangular channels by formulating
a continuous symmetry reduction method that eliminates the translations in the
streamwise and spanwise directions simultaneously. We demonstrate our method by
computing the symmetry-reduced dynamic mode decomposition (SRDMD) of sliding windows
of data obtained from the transitional plane-Couette and turbulent plane-Poiseuille
flow simulations. In the former setting, SRDMD captures the dynamics in the vicinity
of the invariant solutions with translation symmetries, i.e. travelling waves
and relative periodic orbits, whereas in the latter, our calculations reveal episodes
of turbulent time evolution that can be approximated by a low-dimensional linear
expansion.
acknowledgement: "E.M. acknowledges funding from the ISTplus fellowship programme.
G.Y. and B.H. acknowledge\r\na grant from the Simons Foundation (662960, BH)."
article_number: A10
article_processing_charge: Yes (via OA deal)
article_type: original
arxiv: 1
author:
- first_name: Elena
full_name: Marensi, Elena
id: 0BE7553A-1004-11EA-B805-18983DDC885E
last_name: Marensi
orcid: 0000-0001-7173-4923
- first_name: Gökhan
full_name: Yalniz, Gökhan
id: 66E74FA2-D8BF-11E9-8249-8DE2E5697425
last_name: Yalniz
orcid: 0000-0002-8490-9312
- first_name: Björn
full_name: Hof, Björn
id: 3A374330-F248-11E8-B48F-1D18A9856A87
last_name: Hof
orcid: 0000-0003-2057-2754
- first_name: Nazmi B
full_name: Budanur, Nazmi B
id: 3EA1010E-F248-11E8-B48F-1D18A9856A87
last_name: Budanur
orcid: 0000-0003-0423-5010
citation:
ama: Marensi E, Yalniz G, Hof B, Budanur NB. Symmetry-reduced dynamic mode decomposition
of near-wall turbulence. Journal of Fluid Mechanics. 2023;954. doi:10.1017/jfm.2022.1001
apa: Marensi, E., Yalniz, G., Hof, B., & Budanur, N. B. (2023). Symmetry-reduced
dynamic mode decomposition of near-wall turbulence. Journal of Fluid Mechanics.
Cambridge University Press. https://doi.org/10.1017/jfm.2022.1001
chicago: Marensi, Elena, Gökhan Yalniz, Björn Hof, and Nazmi B Budanur. “Symmetry-Reduced
Dynamic Mode Decomposition of near-Wall Turbulence.” Journal of Fluid Mechanics.
Cambridge University Press, 2023. https://doi.org/10.1017/jfm.2022.1001.
ieee: E. Marensi, G. Yalniz, B. Hof, and N. B. Budanur, “Symmetry-reduced dynamic
mode decomposition of near-wall turbulence,” Journal of Fluid Mechanics,
vol. 954. Cambridge University Press, 2023.
ista: Marensi E, Yalniz G, Hof B, Budanur NB. 2023. Symmetry-reduced dynamic mode
decomposition of near-wall turbulence. Journal of Fluid Mechanics. 954, A10.
mla: Marensi, Elena, et al. “Symmetry-Reduced Dynamic Mode Decomposition of near-Wall
Turbulence.” Journal of Fluid Mechanics, vol. 954, A10, Cambridge University
Press, 2023, doi:10.1017/jfm.2022.1001.
short: E. Marensi, G. Yalniz, B. Hof, N.B. Budanur, Journal of Fluid Mechanics 954
(2023).
corr_author: '1'
date_created: 2023-01-08T23:00:53Z
date_published: 2023-01-10T00:00:00Z
date_updated: 2026-04-07T11:47:05Z
day: '10'
ddc:
- '530'
department:
- _id: BjHo
doi: 10.1017/jfm.2022.1001
external_id:
arxiv:
- '2101.07516'
isi:
- '000903336600001'
file:
- access_level: open_access
checksum: 9224f987caefe5dd85a70814d3cce65c
content_type: application/pdf
creator: dernst
date_created: 2023-02-02T12:34:54Z
date_updated: 2023-02-02T12:34:54Z
file_id: '12489'
file_name: 2023_JourFluidMechanics_Marensi.pdf
file_size: 1931647
relation: main_file
success: 1
file_date_updated: 2023-02-02T12:34:54Z
has_accepted_license: '1'
intvolume: ' 954'
isi: 1
language:
- iso: eng
month: '01'
oa: 1
oa_version: Published Version
project:
- _id: 238598C6-32DE-11EA-91FC-C7463DDC885E
grant_number: '662960'
name: Revisiting the Turbulence Problem Using Statistical Mechanics
publication: Journal of Fluid Mechanics
publication_identifier:
eissn:
- 1469-7645
issn:
- 0022-1120
publication_status: published
publisher: Cambridge University Press
quality_controlled: '1'
related_material:
record:
- id: '19684'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Symmetry-reduced dynamic mode decomposition of near-wall turbulence
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: 954
year: '2023'
...
---
_id: '13274'
abstract:
- lang: eng
text: Viscous flows through pipes and channels are steady and ordered until, with
increasing velocity, the laminar motion catastrophically breaks down and gives
way to turbulence. How this apparently discontinuous change from low- to high-dimensional
motion can be rationalized within the framework of the Navier-Stokes equations
is not well understood. Exploiting geometrical properties of transitional channel
flow we trace turbulence to far lower Reynolds numbers (Re) than previously possible
and identify the complete path that reversibly links fully turbulent motion to
an invariant solution. This precursor of turbulence destabilizes rapidly with
Re, and the accompanying explosive increase in attractor dimension effectively
marks the transition between deterministic and de facto stochastic dynamics.
acknowledgement: We thank Baofang Song as well as the developers of Channelflow for
sharing their numerical codes, and Mukund Vasudevan and Holger Kantz for fruitful
discussions. This work was supported by a grant from the Simons Foundation (662960,
B. H.).
article_number: '034002'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Chaitanya S
full_name: Paranjape, Chaitanya S
id: 3D85B7C4-F248-11E8-B48F-1D18A9856A87
last_name: Paranjape
- first_name: Gökhan
full_name: Yalniz, Gökhan
id: 66E74FA2-D8BF-11E9-8249-8DE2E5697425
last_name: Yalniz
orcid: 0000-0002-8490-9312
- first_name: Yohann
full_name: Duguet, Yohann
last_name: Duguet
- first_name: Nazmi B
full_name: Budanur, Nazmi B
id: 3EA1010E-F248-11E8-B48F-1D18A9856A87
last_name: Budanur
orcid: 0000-0003-0423-5010
- first_name: Björn
full_name: Hof, Björn
id: 3A374330-F248-11E8-B48F-1D18A9856A87
last_name: Hof
orcid: 0000-0003-2057-2754
citation:
ama: Paranjape CS, Yalniz G, Duguet Y, Budanur NB, Hof B. Direct path from turbulence
to time-periodic solutions. Physical Review Letters. 2023;131(3). doi:10.1103/physrevlett.131.034002
apa: Paranjape, C. S., Yalniz, G., Duguet, Y., Budanur, N. B., & Hof, B. (2023).
Direct path from turbulence to time-periodic solutions. Physical Review Letters.
American Physical Society. https://doi.org/10.1103/physrevlett.131.034002
chicago: Paranjape, Chaitanya S, Gökhan Yalniz, Yohann Duguet, Nazmi B Budanur,
and Björn Hof. “Direct Path from Turbulence to Time-Periodic Solutions.” Physical
Review Letters. American Physical Society, 2023. https://doi.org/10.1103/physrevlett.131.034002.
ieee: C. S. Paranjape, G. Yalniz, Y. Duguet, N. B. Budanur, and B. Hof, “Direct
path from turbulence to time-periodic solutions,” Physical Review Letters,
vol. 131, no. 3. American Physical Society, 2023.
ista: Paranjape CS, Yalniz G, Duguet Y, Budanur NB, Hof B. 2023. Direct path from
turbulence to time-periodic solutions. Physical Review Letters. 131(3), 034002.
mla: Paranjape, Chaitanya S., et al. “Direct Path from Turbulence to Time-Periodic
Solutions.” Physical Review Letters, vol. 131, no. 3, 034002, American
Physical Society, 2023, doi:10.1103/physrevlett.131.034002.
short: C.S. Paranjape, G. Yalniz, Y. Duguet, N.B. Budanur, B. Hof, Physical Review
Letters 131 (2023).
corr_author: '1'
date_created: 2023-07-24T09:43:59Z
date_published: 2023-07-21T00:00:00Z
date_updated: 2026-04-07T11:47:05Z
day: '21'
department:
- _id: GradSch
- _id: BjHo
doi: 10.1103/physrevlett.131.034002
external_id:
arxiv:
- '2306.05098'
isi:
- '001052929900004'
pmid:
- '37540883'
intvolume: ' 131'
isi: 1
issue: '3'
keyword:
- General Physics and Astronomy
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.2306.05098
month: '07'
oa: 1
oa_version: Preprint
pmid: 1
project:
- _id: 238598C6-32DE-11EA-91FC-C7463DDC885E
grant_number: '662960'
name: Revisiting the Turbulence Problem Using Statistical Mechanics
publication: Physical Review Letters
publication_identifier:
eissn:
- 1079-7114
issn:
- 0031-9007
publication_status: published
publisher: American Physical Society
quality_controlled: '1'
related_material:
record:
- id: '19684'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Direct path from turbulence to time-periodic solutions
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 131
year: '2023'
...
---
_id: '12788'
abstract:
- lang: eng
text: We show that the simplest of existing molecules—closed-shell diatomics not
interacting with one another—host topological charges when driven by periodic
far-off-resonant laser pulses. A periodically kicked molecular rotor can be mapped
onto a “crystalline” lattice in angular momentum space. This allows us to define
quasimomenta and the band structure in the Floquet representation, by analogy
with the Bloch waves of solid-state physics. Applying laser pulses spaced by 1/3
of the molecular rotational period creates a lattice with three atoms per unit
cell with staggered hopping. Within the synthetic dimension of the laser strength,
we discover Dirac cones with topological charges. These Dirac cones, topologically
protected by reflection and time-reversal symmetry, are reminiscent of (although
not equivalent to) that seen in graphene. They—and the corresponding edge states—are
broadly tunable by adjusting the laser strength and can be observed in present-day
experiments by measuring molecular alignment and populations of rotational levels.
This paves the way to study controllable topological physics in gas-phase experiments
with small molecules as well as to classify dynamical molecular states by their
topological invariants.
acknowledgement: M. L. acknowledges support by the European Research Council (ERC)
Starting Grant No. 801770 (ANGULON).
article_number: '103202'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Volker
full_name: Karle, Volker
id: D7C012AE-D7ED-11E9-95E8-1EC5E5697425
last_name: Karle
orcid: 0000-0002-6963-0129
- first_name: Areg
full_name: Ghazaryan, Areg
id: 4AF46FD6-F248-11E8-B48F-1D18A9856A87
last_name: Ghazaryan
orcid: 0000-0001-9666-3543
- first_name: Mikhail
full_name: Lemeshko, Mikhail
id: 37CB05FA-F248-11E8-B48F-1D18A9856A87
last_name: Lemeshko
orcid: 0000-0002-6990-7802
citation:
ama: Karle V, Ghazaryan A, Lemeshko M. Topological charges of periodically kicked
molecules. Physical Review Letters. 2023;130(10). doi:10.1103/PhysRevLett.130.103202
apa: Karle, V., Ghazaryan, A., & Lemeshko, M. (2023). Topological charges of
periodically kicked molecules. Physical Review Letters. American Physical
Society. https://doi.org/10.1103/PhysRevLett.130.103202
chicago: Karle, Volker, Areg Ghazaryan, and Mikhail Lemeshko. “Topological Charges
of Periodically Kicked Molecules.” Physical Review Letters. American Physical
Society, 2023. https://doi.org/10.1103/PhysRevLett.130.103202.
ieee: V. Karle, A. Ghazaryan, and M. Lemeshko, “Topological charges of periodically
kicked molecules,” Physical Review Letters, vol. 130, no. 10. American
Physical Society, 2023.
ista: Karle V, Ghazaryan A, Lemeshko M. 2023. Topological charges of periodically
kicked molecules. Physical Review Letters. 130(10), 103202.
mla: Karle, Volker, et al. “Topological Charges of Periodically Kicked Molecules.”
Physical Review Letters, vol. 130, no. 10, 103202, American Physical Society,
2023, doi:10.1103/PhysRevLett.130.103202.
short: V. Karle, A. Ghazaryan, M. Lemeshko, Physical Review Letters 130 (2023).
corr_author: '1'
date_created: 2023-04-02T22:01:10Z
date_published: 2023-03-10T00:00:00Z
date_updated: 2026-04-07T11:48:53Z
day: '10'
department:
- _id: MiLe
doi: 10.1103/PhysRevLett.130.103202
ec_funded: 1
external_id:
arxiv:
- '2206.07067'
isi:
- '000957635500003'
pmid:
- '36962042'
intvolume: ' 130'
isi: 1
issue: '10'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.2206.07067
month: '03'
oa: 1
oa_version: Preprint
pmid: 1
project:
- _id: 2688CF98-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '801770'
name: 'Angulon: physics and applications of a new quasiparticle'
publication: Physical Review Letters
publication_identifier:
eissn:
- 1079-7114
issn:
- 0031-9007
publication_status: published
publisher: American Physical Society
quality_controlled: '1'
related_material:
link:
- description: News on the ISTA website
relation: press_release
url: https://ista.ac.at/en/news/topology-of-rotating-molecules/
record:
- id: '19393'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Topological charges of periodically kicked molecules
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 130
year: '2023'
...
---
_id: '12787'
abstract:
- lang: eng
text: "Populations evolve in spatially heterogeneous environments. While a certain
trait might bring a fitness advantage in some patch of the environment, a different
trait might be advantageous in another patch. Here, we study the Moran birth–death
process with two types of individuals in a population stretched across two patches
of size N, each patch favouring one of the two types. We show that the long-term
fate of such populations crucially depends on the migration rate μ\r\n between
the patches. To classify the possible fates, we use the distinction between polynomial
(short) and exponential (long) timescales. We show that when μ is high then one
of the two types fixates on the whole population after a number of steps that
is only polynomial in N. By contrast, when μ is low then each type holds majority
in the patch where it is favoured for a number of steps that is at least exponential
in N. Moreover, we precisely identify the threshold migration rate μ⋆ that separates
those two scenarios, thereby exactly delineating the situations that support long-term
coexistence of the two types. We also discuss the case of various cycle graphs
and we present computer simulations that perfectly match our analytical results."
acknowledgement: J.S. and K.C. acknowledge support from the ERC CoG 863818 (ForM-SMArt)
article_number: '20220685'
article_processing_charge: No
article_type: original
author:
- first_name: Jakub
full_name: Svoboda, Jakub
id: 130759D2-D7DD-11E9-87D2-DE0DE6697425
last_name: Svoboda
orcid: 0000-0002-1419-3267
- first_name: Josef
full_name: Tkadlec, Josef
id: 3F24CCC8-F248-11E8-B48F-1D18A9856A87
last_name: Tkadlec
orcid: 0000-0002-1097-9684
- first_name: Kamran
full_name: Kaveh, Kamran
last_name: Kaveh
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
citation:
ama: 'Svoboda J, Tkadlec J, Kaveh K, Chatterjee K. Coexistence times in the Moran
process with environmental heterogeneity. Proceedings of the Royal Society
A: Mathematical, Physical and Engineering Sciences. 2023;479(2271). doi:10.1098/rspa.2022.0685'
apa: 'Svoboda, J., Tkadlec, J., Kaveh, K., & Chatterjee, K. (2023). Coexistence
times in the Moran process with environmental heterogeneity. Proceedings of
the Royal Society A: Mathematical, Physical and Engineering Sciences. The
Royal Society. https://doi.org/10.1098/rspa.2022.0685'
chicago: 'Svoboda, Jakub, Josef Tkadlec, Kamran Kaveh, and Krishnendu Chatterjee.
“Coexistence Times in the Moran Process with Environmental Heterogeneity.” Proceedings
of the Royal Society A: Mathematical, Physical and Engineering Sciences. The
Royal Society, 2023. https://doi.org/10.1098/rspa.2022.0685.'
ieee: 'J. Svoboda, J. Tkadlec, K. Kaveh, and K. Chatterjee, “Coexistence times in
the Moran process with environmental heterogeneity,” Proceedings of the Royal
Society A: Mathematical, Physical and Engineering Sciences, vol. 479, no.
2271. The Royal Society, 2023.'
ista: 'Svoboda J, Tkadlec J, Kaveh K, Chatterjee K. 2023. Coexistence times in the
Moran process with environmental heterogeneity. Proceedings of the Royal Society
A: Mathematical, Physical and Engineering Sciences. 479(2271), 20220685.'
mla: 'Svoboda, Jakub, et al. “Coexistence Times in the Moran Process with Environmental
Heterogeneity.” Proceedings of the Royal Society A: Mathematical, Physical
and Engineering Sciences, vol. 479, no. 2271, 20220685, The Royal Society,
2023, doi:10.1098/rspa.2022.0685.'
short: 'J. Svoboda, J. Tkadlec, K. Kaveh, K. Chatterjee, Proceedings of the Royal
Society A: Mathematical, Physical and Engineering Sciences 479 (2023).'
date_created: 2023-04-02T22:01:09Z
date_published: 2023-03-29T00:00:00Z
date_updated: 2026-04-07T11:49:11Z
day: '29'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.1098/rspa.2022.0685
ec_funded: 1
external_id:
isi:
- '000957125500002'
file:
- access_level: open_access
checksum: 13953d349fbefcb5d21ccc6b303297eb
content_type: application/pdf
creator: dernst
date_created: 2023-04-03T06:25:29Z
date_updated: 2023-04-03T06:25:29Z
file_id: '12796'
file_name: 2023_ProceedingsRoyalSocietyA_Svoboda.pdf
file_size: 827784
relation: main_file
success: 1
file_date_updated: 2023-04-03T06:25:29Z
has_accepted_license: '1'
intvolume: ' 479'
isi: 1
issue: '2271'
language:
- iso: eng
month: '03'
oa: 1
oa_version: Published Version
project:
- _id: 0599E47C-7A3F-11EA-A408-12923DDC885E
call_identifier: H2020
grant_number: '863818'
name: 'Formal Methods for Stochastic Models: Algorithms and Applications'
publication: 'Proceedings of the Royal Society A: Mathematical, Physical and Engineering
Sciences'
publication_identifier:
eissn:
- 1471-2946
issn:
- 1364-5021
publication_status: published
publisher: The Royal Society
quality_controlled: '1'
related_material:
link:
- relation: research_data
url: https://doi.org/10.6084/m9.figshare.21261771.v1
record:
- id: '20138'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Coexistence times in the Moran process with environmental heterogeneity
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: 479
year: '2023'
...
---
OA_place: repository
_id: '15039'
abstract:
- lang: eng
text: 'A crucial property for achieving secure, trustworthy and interpretable deep
learning systems is their robustness: small changes to a system''s inputs should
not result in large changes to its outputs. Mathematically, this means one strives
for networks with a small Lipschitz constant. Several recent works have focused
on how to construct such Lipschitz networks, typically by imposing constraints
on the weight matrices. In this work, we study an orthogonal aspect, namely the
role of the activation function. We show that commonly used activation functions,
such as MaxMin, as well as all piece-wise linear ones with two segments unnecessarily
restrict the class of representable functions, even in the simplest one-dimensional
setting. We furthermore introduce the new N-activation function that is provably
more expressive than currently popular activation functions. We provide code at
this https URL.'
article_number: '2311.06103'
article_processing_charge: No
arxiv: 1
author:
- first_name: Bernd
full_name: Prach, Bernd
id: 2D561D42-C427-11E9-89B4-9C1AE6697425
last_name: Prach
- first_name: Christoph
full_name: Lampert, Christoph
id: 40C20FD2-F248-11E8-B48F-1D18A9856A87
last_name: Lampert
orcid: 0000-0001-8622-7887
citation:
ama: Prach B, Lampert C. 1-Lipschitz neural networks are more expressive with N-activations.
arXiv. doi:10.48550/ARXIV.2311.06103
apa: Prach, B., & Lampert, C. (n.d.). 1-Lipschitz neural networks are more expressive
with N-activations. arXiv. https://doi.org/10.48550/ARXIV.2311.06103
chicago: Prach, Bernd, and Christoph Lampert. “1-Lipschitz Neural Networks Are More
Expressive with N-Activations.” ArXiv, n.d. https://doi.org/10.48550/ARXIV.2311.06103.
ieee: B. Prach and C. Lampert, “1-Lipschitz neural networks are more expressive
with N-activations,” arXiv. .
ista: Prach B, Lampert C. 1-Lipschitz neural networks are more expressive with N-activations.
arXiv, 2311.06103.
mla: Prach, Bernd, and Christoph Lampert. “1-Lipschitz Neural Networks Are More
Expressive with N-Activations.” ArXiv, 2311.06103, doi:10.48550/ARXIV.2311.06103.
short: B. Prach, C. Lampert, ArXiv (n.d.).
corr_author: '1'
date_created: 2024-02-28T17:59:32Z
date_published: 2023-11-10T00:00:00Z
date_updated: 2026-04-07T11:49:51Z
day: '10'
department:
- _id: GradSch
- _id: ChLa
doi: 10.48550/ARXIV.2311.06103
external_id:
arxiv:
- '2311.06103'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.2311.06103
month: '11'
oa: 1
oa_version: Preprint
publication: arXiv
publication_status: draft
related_material:
record:
- id: '19759'
relation: dissertation_contains
status: public
status: public
title: 1-Lipschitz neural networks are more expressive with N-activations
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: preprint
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
year: '2023'
...
---
_id: '13212'
abstract:
- lang: eng
text: Auxin is the major plant hormone regulating growth and development (Friml,
2022). Forward genetic approaches in the model plant Arabidopsis thaliana have
identified major components of auxin signalling and established the canonical
mechanism mediating transcriptional and thus developmental reprogramming. In this
textbook view, TRANSPORT INHIBITOR RESPONSE 1 (TIR1)/AUXIN-SIGNALING F-BOX (AFBs)
are auxin receptors, which act as F-box subunits determining the substrate specificity
of the Skp1-Cullin1-F box protein (SCF) type E3 ubiquitin ligase complex. Auxin
acts as a “molecular glue” increasing the affinity between TIR1/AFBs and the Aux/IAA
repressors. Subsequently, Aux/IAAs are ubiquitinated and degraded, thus releasing
auxin transcription factors from their repression making them free to mediate
transcription of auxin response genes (Yu et al., 2022). Nonetheless, accumulating
evidence suggests existence of rapid, non-transcriptional responses downstream
of TIR1/AFBs such as auxin-induced cytosolic calcium (Ca2+) transients, plasma
membrane depolarization and apoplast alkalinisation, all converging on the process
of root growth inhibition and root gravitropism (Li et al., 2022). Particularly,
these rapid responses are mostly contributed by predominantly cytosolic AFB1,
while the long-term growth responses are mediated by mainly nuclear TIR1 and AFB2-AFB5
(Li et al., 2021; Prigge et al., 2020; Serre et al., 2021). How AFB1 conducts
auxin-triggered rapid responses and how it is different from TIR1 and AFB2-AFB5
remains elusive. Here, we compare the roles of TIR1 and AFB1 in transcriptional
and rapid responses by modulating their subcellular localization in Arabidopsis
and by testing their ability to mediate transcriptional responses when part of
the minimal auxin circuit reconstituted in yeast.
acknowledged_ssus:
- _id: LifeSc
- _id: Bio
acknowledgement: We thank all the authors for sharing the published materials. This
research was supported by the Lab Support Facility and the Imaging and Optics Facility
of ISTA. We thank Lukáš Fiedler (ISTA) for critical reading of the manuscript. This
project was funded by the European Research Council Advanced Grant (ETAP-742985).
article_processing_charge: Yes (via OA deal)
article_type: letter_note
author:
- first_name: Huihuang
full_name: Chen, Huihuang
id: 83c96512-15b2-11ec-abd3-b7eede36184f
last_name: Chen
- first_name: Lanxin
full_name: Li, Lanxin
id: 367EF8FA-F248-11E8-B48F-1D18A9856A87
last_name: Li
orcid: 0000-0002-5607-272X
- first_name: Minxia
full_name: Zou, Minxia
id: 5c243f41-03f3-11ec-841c-96faf48a7ef9
last_name: Zou
- first_name: Linlin
full_name: Qi, Linlin
id: 44B04502-A9ED-11E9-B6FC-583AE6697425
last_name: Qi
orcid: 0000-0001-5187-8401
- first_name: Jiří
full_name: Friml, Jiří
id: 4159519E-F248-11E8-B48F-1D18A9856A87
last_name: Friml
orcid: 0000-0002-8302-7596
citation:
ama: Chen H, Li L, Zou M, Qi L, Friml J. Distinct functions of TIR1 and AFB1 receptors
in auxin signalling. Molecular Plant. 2023;16(7):1117-1119. doi:10.1016/j.molp.2023.06.007
apa: Chen, H., Li, L., Zou, M., Qi, L., & Friml, J. (2023). Distinct functions
of TIR1 and AFB1 receptors in auxin signalling. Molecular Plant. Elsevier
. https://doi.org/10.1016/j.molp.2023.06.007
chicago: Chen, Huihuang, Lanxin Li, Minxia Zou, Linlin Qi, and Jiří Friml. “Distinct
Functions of TIR1 and AFB1 Receptors in Auxin Signalling.” Molecular Plant.
Elsevier , 2023. https://doi.org/10.1016/j.molp.2023.06.007.
ieee: H. Chen, L. Li, M. Zou, L. Qi, and J. Friml, “Distinct functions of TIR1 and
AFB1 receptors in auxin signalling.,” Molecular Plant, vol. 16, no. 7.
Elsevier , pp. 1117–1119, 2023.
ista: Chen H, Li L, Zou M, Qi L, Friml J. 2023. Distinct functions of TIR1 and AFB1
receptors in auxin signalling. Molecular Plant. 16(7), 1117–1119.
mla: Chen, Huihuang, et al. “Distinct Functions of TIR1 and AFB1 Receptors in Auxin
Signalling.” Molecular Plant, vol. 16, no. 7, Elsevier , 2023, pp. 1117–19,
doi:10.1016/j.molp.2023.06.007.
short: H. Chen, L. Li, M. Zou, L. Qi, J. Friml, Molecular Plant 16 (2023) 1117–1119.
corr_author: '1'
date_created: 2023-07-12T07:32:46Z
date_published: 2023-07-01T00:00:00Z
date_updated: 2026-04-07T11:51:24Z
day: '01'
ddc:
- '580'
department:
- _id: JiFr
doi: 10.1016/j.molp.2023.06.007
ec_funded: 1
external_id:
isi:
- '001044410900001'
pmid:
- '37393433'
file:
- access_level: open_access
checksum: 6012b7e4a2f680ee6c1f84001e2b945f
content_type: application/pdf
creator: dernst
date_created: 2024-01-29T10:37:05Z
date_updated: 2024-01-29T10:37:05Z
file_id: '14894'
file_name: 2023_MolecularPlant_Chen.pdf
file_size: 1000871
relation: main_file
success: 1
file_date_updated: 2024-01-29T10:37:05Z
has_accepted_license: '1'
intvolume: ' 16'
isi: 1
issue: '7'
language:
- iso: eng
license: https://creativecommons.org/licenses/by-nc-nd/4.0/
month: '07'
oa: 1
oa_version: Published Version
page: 1117-1119
pmid: 1
project:
- _id: 261099A6-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '742985'
name: Tracing Evolution of Auxin Transport and Polarity in Plants
publication: Molecular Plant
publication_identifier:
eissn:
- 1674-2052
issn:
- 1752-9867
publication_status: published
publisher: 'Elsevier '
quality_controlled: '1'
related_material:
record:
- id: '19478'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Distinct functions of TIR1 and AFB1 receptors in auxin signalling.
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: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 16
year: '2023'
...
---
_id: '13221'
abstract:
- lang: eng
text: The safety-liveness dichotomy is a fundamental concept in formal languages
which plays a key role in verification. Recently, this dichotomy has been lifted
to quantitative properties, which are arbitrary functions from infinite words
to partially-ordered domains. We look into harnessing the dichotomy for the specific
classes of quantitative properties expressed by quantitative automata. These automata
contain finitely many states and rational-valued transition weights, and their
common value functions Inf, Sup, LimInf, LimSup, LimInfAvg, LimSupAvg, and DSum
map infinite words into the totallyordered domain of real numbers. In this automata-theoretic
setting, we establish a connection between quantitative safety and topological
continuity and provide an alternative characterization of quantitative safety
and liveness in terms of their boolean counterparts. For all common value functions,
we show how the safety closure of a quantitative automaton can be constructed
in PTime, and we provide PSpace-complete checks of whether a given quantitative
automaton is safe or live, with the exception of LimInfAvg and LimSupAvg automata,
for which the safety check is in ExpSpace. Moreover, for deterministic Sup, LimInf,
and LimSup automata, we give PTime decompositions into safe and live automata.
These decompositions enable the separation of techniques for safety and liveness
verification for quantitative specifications.
acknowledgement: We thank Christof Löding for pointing us to some results on PSpace-hardess
of universality problems and the anonymous reviewers for their helpful comments.
This work was supported in part by the ERC-2020-AdG 101020093 and the Israel Science
Foundation grant 2410/22.
alternative_title:
- LIPIcs
article_number: '17'
article_processing_charge: No
arxiv: 1
author:
- first_name: Udi
full_name: Boker, Udi
id: 31E297B6-F248-11E8-B48F-1D18A9856A87
last_name: Boker
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000-0002-2985-7724
- first_name: Nicolas Adrien
full_name: Mazzocchi, Nicolas Adrien
id: b26baa86-3308-11ec-87b0-8990f34baa85
last_name: Mazzocchi
- first_name: Naci E
full_name: Sarac, Naci E
id: 8C6B42F8-C8E6-11E9-A03A-F2DCE5697425
last_name: Sarac
citation:
ama: 'Boker U, Henzinger TA, Mazzocchi NA, Sarac NE. Safety and liveness of quantitative
automata. In: 34th International Conference on Concurrency Theory. Vol
279. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023. doi:10.4230/LIPIcs.CONCUR.2023.17'
apa: 'Boker, U., Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (2023).
Safety and liveness of quantitative automata. In 34th International Conference
on Concurrency Theory (Vol. 279). Antwerp, Belgium: Schloss Dagstuhl - Leibniz-Zentrum
für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2023.17'
chicago: Boker, Udi, Thomas A Henzinger, Nicolas Adrien Mazzocchi, and Naci E Sarac.
“Safety and Liveness of Quantitative Automata.” In 34th International Conference
on Concurrency Theory, Vol. 279. Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
2023. https://doi.org/10.4230/LIPIcs.CONCUR.2023.17.
ieee: U. Boker, T. A. Henzinger, N. A. Mazzocchi, and N. E. Sarac, “Safety and liveness
of quantitative automata,” in 34th International Conference on Concurrency
Theory, Antwerp, Belgium, 2023, vol. 279.
ista: 'Boker U, Henzinger TA, Mazzocchi NA, Sarac NE. 2023. Safety and liveness
of quantitative automata. 34th International Conference on Concurrency Theory.
CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 279, 17.'
mla: Boker, Udi, et al. “Safety and Liveness of Quantitative Automata.” 34th
International Conference on Concurrency Theory, vol. 279, 17, Schloss Dagstuhl
- Leibniz-Zentrum für Informatik, 2023, doi:10.4230/LIPIcs.CONCUR.2023.17.
short: U. Boker, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 34th International
Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
2023.
conference:
end_date: 2023-09-23
location: Antwerp, Belgium
name: 'CONCUR: Conference on Concurrency Theory'
start_date: 2023-09-18
corr_author: '1'
date_created: 2023-07-14T10:00:15Z
date_published: 2023-09-01T00:00:00Z
date_updated: 2026-04-07T12:02:57Z
day: '01'
ddc:
- '000'
department:
- _id: GradSch
- _id: ToHe
doi: 10.4230/LIPIcs.CONCUR.2023.17
ec_funded: 1
external_id:
arxiv:
- '2307.06016'
isi:
- '001570542500017'
file:
- access_level: open_access
checksum: d40e57a04448ea5c77d7e1cfb9590a81
content_type: application/pdf
creator: esarac
date_created: 2023-07-14T12:03:48Z
date_updated: 2023-07-14T12:03:48Z
file_id: '13224'
file_name: CONCUR23.pdf
file_size: 755529
relation: main_file
success: 1
file_date_updated: 2023-07-14T12:03:48Z
has_accepted_license: '1'
intvolume: ' 279'
isi: 1
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
project:
- _id: 62781420-2b32-11ec-9570-8d9b63373d4d
call_identifier: H2020
grant_number: '101020093'
name: Vigilant Algorithmic Monitoring of Software
publication: 34th International Conference on Concurrency Theory
publication_identifier:
eissn:
- 1868-8969
isbn:
- '9783959772990'
publication_status: published
publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
quality_controlled: '1'
related_material:
record:
- id: '20342'
relation: later_version
status: public
- id: '20147'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Safety and liveness of quantitative automata
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: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 279
year: '2023'
...
---
_id: '13143'
abstract:
- lang: eng
text: "GIMPS and PrimeGrid are large-scale distributed projects dedicated to searching
giant prime numbers, usually of special forms like Mersenne and Proth primes.
The numbers in the current search-space are millions of digits large and the participating
volunteers need to run resource-consuming primality tests. Once a candidate prime
N has been found, the only way for another party to independently verify the primality
of N used to be by repeating the expensive primality test. To avoid the need for
second recomputation of each primality test, these projects have recently adopted
certifying mechanisms that enable efficient verification of performed tests. However,
the mechanisms presently in place only detect benign errors and there is no guarantee
against adversarial behavior: a malicious volunteer can mislead the project to
reject a giant prime as being non-prime.\r\nIn this paper, we propose a practical,
cryptographically-sound mechanism for certifying the non-primality of Proth numbers.
That is, a volunteer can – parallel to running the primality test for N – generate
an efficiently verifiable proof at a little extra cost certifying that N is not
prime. The interactive protocol has statistical soundness and can be made non-interactive
using the Fiat-Shamir heuristic.\r\nOur approach is based on a cryptographic primitive
called Proof of Exponentiation (PoE) which, for a group G, certifies that a tuple
(x,y,T)∈G2×N satisfies x2T=y (Pietrzak, ITCS 2019 and Wesolowski, J. Cryptol.
2020). In particular, we show how to adapt Pietrzak’s PoE at a moderate additional
cost to make it a cryptographically-sound certificate of non-primality."
acknowledgement: 'We are grateful to Pavel Atnashev for clarifying via e-mail several
aspects of the primality tests implementated in the PrimeGrid project. Pavel Hubáček
is supported by the Czech Academy of Sciences (RVO 67985840), the Grant Agency of
the Czech Republic under the grant agreement no. 19-27871X, and by the Charles University
project UNCE/SCI/004. Chethan Kamath is supported by Azrieli International Postdoctoral
Fellowship, ISF grants 484/18 and 1789/19, and ERC StG project SPP: Secrecy Preserving
Proofs.'
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Charlotte
full_name: Hoffmann, Charlotte
id: 0f78d746-dc7d-11ea-9b2f-83f92091afe7
last_name: Hoffmann
orcid: 0000-0003-2027-5549
- first_name: Pavel
full_name: Hubáček, Pavel
last_name: Hubáček
- first_name: Chethan
full_name: Kamath, Chethan
last_name: Kamath
- first_name: Krzysztof Z
full_name: Pietrzak, Krzysztof Z
id: 3E04A7AA-F248-11E8-B48F-1D18A9856A87
last_name: Pietrzak
orcid: 0000-0002-9139-1654
citation:
ama: 'Hoffmann C, Hubáček P, Kamath C, Pietrzak KZ. Certifying giant nonprimes.
In: Public-Key Cryptography - PKC 2023. Vol 13940. Springer Nature; 2023:530-553.
doi:10.1007/978-3-031-31368-4_19'
apa: 'Hoffmann, C., Hubáček, P., Kamath, C., & Pietrzak, K. Z. (2023). Certifying
giant nonprimes. In Public-Key Cryptography - PKC 2023 (Vol. 13940, pp.
530–553). Atlanta, GA, United States: Springer Nature. https://doi.org/10.1007/978-3-031-31368-4_19'
chicago: Hoffmann, Charlotte, Pavel Hubáček, Chethan Kamath, and Krzysztof Z Pietrzak.
“Certifying Giant Nonprimes.” In Public-Key Cryptography - PKC 2023, 13940:530–53.
Springer Nature, 2023. https://doi.org/10.1007/978-3-031-31368-4_19.
ieee: C. Hoffmann, P. Hubáček, C. Kamath, and K. Z. Pietrzak, “Certifying giant
nonprimes,” in Public-Key Cryptography - PKC 2023, Atlanta, GA, United
States, 2023, vol. 13940, pp. 530–553.
ista: 'Hoffmann C, Hubáček P, Kamath C, Pietrzak KZ. 2023. Certifying giant nonprimes.
Public-Key Cryptography - PKC 2023. PKC: Public-Key Cryptography, LNCS, vol. 13940,
530–553.'
mla: Hoffmann, Charlotte, et al. “Certifying Giant Nonprimes.” Public-Key Cryptography
- PKC 2023, vol. 13940, Springer Nature, 2023, pp. 530–53, doi:10.1007/978-3-031-31368-4_19.
short: C. Hoffmann, P. Hubáček, C. Kamath, K.Z. Pietrzak, in:, Public-Key Cryptography
- PKC 2023, Springer Nature, 2023, pp. 530–553.
conference:
end_date: 2023-05-10
location: Atlanta, GA, United States
name: 'PKC: Public-Key Cryptography'
start_date: 2023-05-07
corr_author: '1'
date_created: 2023-06-18T22:00:47Z
date_published: 2023-05-02T00:00:00Z
date_updated: 2026-04-07T12:34:30Z
day: '02'
department:
- _id: KrPi
doi: 10.1007/978-3-031-31368-4_19
external_id:
isi:
- '001276519300019'
intvolume: ' 13940'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://eprint.iacr.org/2023/238
month: '05'
oa: 1
oa_version: Submitted Version
page: 530-553
publication: Public-Key Cryptography - PKC 2023
publication_identifier:
eissn:
- 1611-3349
isbn:
- '9783031313677'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
record:
- id: '20920'
relation: dissertation_contains
status: public
- id: '20556'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Certifying giant nonprimes
type: conference
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 13940
year: '2023'
...
---
_id: '13097'
abstract:
- lang: eng
text: 'Vertebrate movement is orchestrated by spinal inter- and motor neurons that,
together with sensory and cognitive input, produce dynamic motor behaviors. These
behaviors vary from the simple undulatory swimming of fish and larval aquatic
species to the highly coordinated running, reaching and grasping of mice, humans
and other mammals. This variation raises the fundamental question of how spinal
circuits have changed in register with motor behavior. In simple, undulatory fish,
exemplified by the lamprey, two broad classes of interneurons shape motor neuron
output: ipsilateral-projecting excitatory neurons, and commissural-projecting
inhibitory neurons. An additional class of ipsilateral inhibitory neurons is required
to generate escape swim behavior in larval zebrafish and tadpoles. In limbed vertebrates,
a more complex spinal neuron composition is observed. In this review, we provide
evidence that movement elaboration correlates with an increase and specialization
of these three basic interneuron types into molecularly, anatomically, and functionally
distinct subpopulations. We summarize recent work linking neuron types to movement-pattern
generation across fish, amphibians, reptiles, birds and mammals.'
acknowledgement: 'This work was supported by the ERC Starting grant, ERC-2021-STG
#101041551.'
article_number: '1146449'
article_processing_charge: Yes
article_type: original
author:
- first_name: Alexia C
full_name: Wilson, Alexia C
id: 5230e794-15b2-11ec-abd3-e2d5335ebd1d
last_name: Wilson
orcid: 0000-0001-6191-1367
- first_name: Lora Beatrice Jaeger
full_name: Sweeney, Lora Beatrice Jaeger
id: 56BE8254-C4F0-11E9-8E45-0B23E6697425
last_name: Sweeney
orcid: 0000-0001-9242-5601
citation:
ama: 'Wilson AC, Sweeney LB. Spinal cords: Symphonies of interneurons across species.
Frontiers in Neural Circuits. 2023;17. doi:10.3389/fncir.2023.1146449'
apa: 'Wilson, A. C., & Sweeney, L. B. (2023). Spinal cords: Symphonies of interneurons
across species. Frontiers in Neural Circuits. Frontiers. https://doi.org/10.3389/fncir.2023.1146449'
chicago: 'Wilson, Alexia C, and Lora B. Sweeney. “Spinal Cords: Symphonies of Interneurons
across Species.” Frontiers in Neural Circuits. Frontiers, 2023. https://doi.org/10.3389/fncir.2023.1146449.'
ieee: 'A. C. Wilson and L. B. Sweeney, “Spinal cords: Symphonies of interneurons
across species,” Frontiers in Neural Circuits, vol. 17. Frontiers, 2023.'
ista: 'Wilson AC, Sweeney LB. 2023. Spinal cords: Symphonies of interneurons across
species. Frontiers in Neural Circuits. 17, 1146449.'
mla: 'Wilson, Alexia C., and Lora B. Sweeney. “Spinal Cords: Symphonies of Interneurons
across Species.” Frontiers in Neural Circuits, vol. 17, 1146449, Frontiers,
2023, doi:10.3389/fncir.2023.1146449.'
short: A.C. Wilson, L.B. Sweeney, Frontiers in Neural Circuits 17 (2023).
corr_author: '1'
date_created: 2023-05-28T22:01:04Z
date_published: 2023-04-26T00:00:00Z
date_updated: 2026-04-07T12:36:07Z
day: '26'
ddc:
- '570'
department:
- _id: LoSw
doi: 10.3389/fncir.2023.1146449
external_id:
isi:
- '000984606200001'
pmid:
- '37180760'
file:
- access_level: open_access
checksum: 7efd06de284a28e91e97127611a9c3fd
content_type: application/pdf
creator: dernst
date_created: 2024-01-03T13:33:21Z
date_updated: 2024-01-03T13:33:21Z
file_id: '14729'
file_name: 2023_FrontiersNeuralCircuits_Wilson.pdf
file_size: 6667157
relation: main_file
success: 1
file_date_updated: 2024-01-03T13:33:21Z
has_accepted_license: '1'
intvolume: ' 17'
isi: 1
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
pmid: 1
project:
- _id: ebb66355-77a9-11ec-83b8-b8ac210a4dae
grant_number: '101041551'
name: Development and Evolution of Tetrapod Motor Circuits
publication: Frontiers in Neural Circuits
publication_identifier:
issn:
- 1662-5110
publication_status: published
publisher: Frontiers
quality_controlled: '1'
related_material:
record:
- id: '20735'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: 'Spinal cords: Symphonies of interneurons across species'
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: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 17
year: '2023'
...
---
_id: '14759'
abstract:
- lang: eng
text: "Proper operation of electro-optic I/Q modulators relies on precise adjustment
and control of the relative phase biases between the modulator’s internal interferometer
arms. We present an all-analog phase bias locking scheme where error signals are
obtained from the beat between the optical carrier and optical tones generated
by an auxiliary 2 MHz \U0001D445\U0001D439 tone to lock the phases of all three
involved interferometers for operation up to 10 GHz. With the developed method,
we demonstrate an I/Q modulator in carrier-suppressed single-sideband mode, where
the suppressed carrier and sideband are locked at optical power levels <−27dB\r\n
relative to the transmitted sideband. We describe a simple analytical model for
calculating the error signals and detail the implementation of the electronic
circuitry for the implementation of the method."
acknowledgement: We thank Jakob Vorlaufer for technical contributions and Vyacheslav
Li and Sofia Agafonova for comments on the manuscript.
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Sebastian
full_name: Wald, Sebastian
id: 133F200A-B015-11E9-AD41-0EDAE5697425
last_name: Wald
orcid: 0000-0002-5869-1604
- first_name: Fritz R
full_name: Diorico, Fritz R
id: 2E054C4C-F248-11E8-B48F-1D18A9856A87
last_name: Diorico
orcid: 0000-0002-4947-8924
- first_name: Onur
full_name: Hosten, Onur
id: 4C02D85E-F248-11E8-B48F-1D18A9856A87
last_name: Hosten
orcid: 0000-0002-2031-204X
citation:
ama: Wald S, Diorico FR, Hosten O. Analog stabilization of an electro-optic I/Q
modulator with an auxiliary modulation tone. Applied Optics. 2023;62(1):1-7.
doi:10.1364/ao.474118
apa: Wald, S., Diorico, F. R., & Hosten, O. (2023). Analog stabilization of
an electro-optic I/Q modulator with an auxiliary modulation tone. Applied Optics.
Optica Publishing Group. https://doi.org/10.1364/ao.474118
chicago: Wald, Sebastian, Fritz R Diorico, and Onur Hosten. “Analog Stabilization
of an Electro-Optic I/Q Modulator with an Auxiliary Modulation Tone.” Applied
Optics. Optica Publishing Group, 2023. https://doi.org/10.1364/ao.474118.
ieee: S. Wald, F. R. Diorico, and O. Hosten, “Analog stabilization of an electro-optic
I/Q modulator with an auxiliary modulation tone,” Applied Optics, vol.
62, no. 1. Optica Publishing Group, pp. 1–7, 2023.
ista: Wald S, Diorico FR, Hosten O. 2023. Analog stabilization of an electro-optic
I/Q modulator with an auxiliary modulation tone. Applied Optics. 62(1), 1–7.
mla: Wald, Sebastian, et al. “Analog Stabilization of an Electro-Optic I/Q Modulator
with an Auxiliary Modulation Tone.” Applied Optics, vol. 62, no. 1, Optica
Publishing Group, 2023, pp. 1–7, doi:10.1364/ao.474118.
short: S. Wald, F.R. Diorico, O. Hosten, Applied Optics 62 (2023) 1–7.
corr_author: '1'
date_created: 2024-01-08T13:19:14Z
date_published: 2023-01-01T00:00:00Z
date_updated: 2026-04-07T12:35:11Z
day: '01'
department:
- _id: OnHo
doi: 10.1364/ao.474118
external_id:
arxiv:
- '2208.11591'
isi:
- '000906607900001'
intvolume: ' 62'
isi: 1
issue: '1'
keyword:
- Atomic and Molecular Physics
- and Optics
- Engineering (miscellaneous)
- Electrical and Electronic Engineering
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.2208.11591
month: '01'
oa: 1
oa_version: Preprint
page: 1-7
publication: Applied Optics
publication_identifier:
eissn:
- 2155-3165
issn:
- 1559-128X
publication_status: published
publisher: Optica Publishing Group
quality_controlled: '1'
related_material:
record:
- id: '20798'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Analog stabilization of an electro-optic I/Q modulator with an auxiliary modulation
tone
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 62
year: '2023'
...
---
_id: '14421'
abstract:
- lang: eng
text: Only recently has it been possible to construct a self-adjoint Hamiltonian
that involves the creation of Dirac particles at a point source in 3d space. Its
definition makes use of an interior-boundary condition. Here, we develop for this
Hamiltonian a corresponding theory of the Bohmian configuration. That is, we (non-rigorously)
construct a Markov jump process $(Q_t)_{t\in\mathbb{R}}$ in the configuration
space of a variable number of particles that is $|\psi_t|^2$-distributed at every
time t and follows Bohmian trajectories between the jumps. The jumps correspond
to particle creation or annihilation events and occur either to or from a configuration
with a particle located at the source. The process is the natural analog of Bell's
jump process, and a central piece in its construction is the determination of
the rate of particle creation. The construction requires an analysis of the asymptotic
behavior of the Bohmian trajectories near the source. We find that the particle
reaches the source with radial speed 0, but orbits around the source infinitely
many times in finite time before absorption (or after emission).
acknowledgement: J H gratefully acknowledges partial financial support by the ERC
Advanced Grant 'RMTBeyond' No. 101020331.
article_number: '445201'
article_processing_charge: Yes (via OA deal)
article_type: original
arxiv: 1
author:
- first_name: Sven Joscha
full_name: Henheik, Sven Joscha
id: 31d731d7-d235-11ea-ad11-b50331c8d7fb
last_name: Henheik
orcid: 0000-0003-1106-327X
- first_name: Roderich
full_name: Tumulka, Roderich
last_name: Tumulka
citation:
ama: 'Henheik SJ, Tumulka R. Creation rate of Dirac particles at a point source.
Journal of Physics A: Mathematical and Theoretical. 2023;56(44). doi:10.1088/1751-8121/acfe62'
apa: 'Henheik, S. J., & Tumulka, R. (2023). Creation rate of Dirac particles
at a point source. Journal of Physics A: Mathematical and Theoretical.
IOP Publishing. https://doi.org/10.1088/1751-8121/acfe62'
chicago: 'Henheik, Sven Joscha, and Roderich Tumulka. “Creation Rate of Dirac Particles
at a Point Source.” Journal of Physics A: Mathematical and Theoretical.
IOP Publishing, 2023. https://doi.org/10.1088/1751-8121/acfe62.'
ieee: 'S. J. Henheik and R. Tumulka, “Creation rate of Dirac particles at a point
source,” Journal of Physics A: Mathematical and Theoretical, vol. 56, no.
44. IOP Publishing, 2023.'
ista: 'Henheik SJ, Tumulka R. 2023. Creation rate of Dirac particles at a point
source. Journal of Physics A: Mathematical and Theoretical. 56(44), 445201.'
mla: 'Henheik, Sven Joscha, and Roderich Tumulka. “Creation Rate of Dirac Particles
at a Point Source.” Journal of Physics A: Mathematical and Theoretical,
vol. 56, no. 44, 445201, IOP Publishing, 2023, doi:10.1088/1751-8121/acfe62.'
short: 'S.J. Henheik, R. Tumulka, Journal of Physics A: Mathematical and Theoretical
56 (2023).'
corr_author: '1'
date_created: 2023-10-12T12:42:53Z
date_published: 2023-10-11T00:00:00Z
date_updated: 2026-04-07T12:37:10Z
day: '11'
ddc:
- '510'
department:
- _id: GradSch
- _id: LaEr
doi: 10.1088/1751-8121/acfe62
ec_funded: 1
external_id:
arxiv:
- '2211.16606'
isi:
- '001080908000001'
file:
- access_level: open_access
checksum: 5b68de147dd4c608b71a6e0e844d2ce9
content_type: application/pdf
creator: dernst
date_created: 2023-10-16T07:07:24Z
date_updated: 2023-10-16T07:07:24Z
file_id: '14429'
file_name: 2023_JourPhysics_Henheik.pdf
file_size: 721399
relation: main_file
success: 1
file_date_updated: 2023-10-16T07:07:24Z
has_accepted_license: '1'
intvolume: ' 56'
isi: 1
issue: '44'
language:
- iso: eng
month: '10'
oa: 1
oa_version: Published Version
project:
- _id: 62796744-2b32-11ec-9570-940b20777f1d
call_identifier: H2020
grant_number: '101020331'
name: Random matrices beyond Wigner-Dyson-Mehta
publication: 'Journal of Physics A: Mathematical and Theoretical'
publication_identifier:
eissn:
- 1751-8121
issn:
- 1751-8113
publication_status: published
publisher: IOP Publishing
quality_controlled: '1'
related_material:
record:
- id: '19540'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Creation rate of Dirac particles at a point source
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: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 56
year: '2023'
...
---
_id: '13317'
abstract:
- lang: eng
text: We prove the Eigenstate Thermalisation Hypothesis (ETH) for local observables
in a typical translation invariant system of quantum spins with L-body interactions,
where L is the number of spins. This mathematically verifies the observation first
made by Santos and Rigol (Phys Rev E 82(3):031130, 2010, https://doi.org/10.1103/PhysRevE.82.031130)
that the ETH may hold for systems with additional translational symmetries for
a naturally restricted class of observables. We also present numerical support
for the same phenomenon for Hamiltonians with local interaction.
acknowledgement: "LE, JH, and VR were supported by ERC Advanced Grant “RMTBeyond”
No. 101020331. SS was supported by KAKENHI Grant Number JP22J14935 from the Japan
Society for the Promotion of Science (JSPS) and Forefront Physics and Mathematics
Program to Drive Transformation (FoPM), a World-leading Innovative Graduate Study
(WINGS) Program, the University of Tokyo.\r\nOpen access funding provided by The
University of Tokyo."
article_number: '128'
article_processing_charge: Yes (in subscription journal)
article_type: original
arxiv: 1
author:
- first_name: Shoki
full_name: Sugimoto, Shoki
last_name: Sugimoto
- first_name: Sven Joscha
full_name: Henheik, Sven Joscha
id: 31d731d7-d235-11ea-ad11-b50331c8d7fb
last_name: Henheik
orcid: 0000-0003-1106-327X
- first_name: Volodymyr
full_name: Riabov, Volodymyr
id: 1949f904-edfb-11eb-afb5-e2dfddabb93b
last_name: Riabov
- first_name: László
full_name: Erdös, László
id: 4DBD5372-F248-11E8-B48F-1D18A9856A87
last_name: Erdös
orcid: 0000-0001-5366-9603
citation:
ama: Sugimoto S, Henheik SJ, Riabov V, Erdös L. Eigenstate thermalisation hypothesis
for translation invariant spin systems. Journal of Statistical Physics.
2023;190(7). doi:10.1007/s10955-023-03132-4
apa: Sugimoto, S., Henheik, S. J., Riabov, V., & Erdös, L. (2023). Eigenstate
thermalisation hypothesis for translation invariant spin systems. Journal of
Statistical Physics. Springer Nature. https://doi.org/10.1007/s10955-023-03132-4
chicago: Sugimoto, Shoki, Sven Joscha Henheik, Volodymyr Riabov, and László Erdös.
“Eigenstate Thermalisation Hypothesis for Translation Invariant Spin Systems.”
Journal of Statistical Physics. Springer Nature, 2023. https://doi.org/10.1007/s10955-023-03132-4.
ieee: S. Sugimoto, S. J. Henheik, V. Riabov, and L. Erdös, “Eigenstate thermalisation
hypothesis for translation invariant spin systems,” Journal of Statistical
Physics, vol. 190, no. 7. Springer Nature, 2023.
ista: Sugimoto S, Henheik SJ, Riabov V, Erdös L. 2023. Eigenstate thermalisation
hypothesis for translation invariant spin systems. Journal of Statistical Physics.
190(7), 128.
mla: Sugimoto, Shoki, et al. “Eigenstate Thermalisation Hypothesis for Translation
Invariant Spin Systems.” Journal of Statistical Physics, vol. 190, no.
7, 128, Springer Nature, 2023, doi:10.1007/s10955-023-03132-4.
short: S. Sugimoto, S.J. Henheik, V. Riabov, L. Erdös, Journal of Statistical Physics
190 (2023).
date_created: 2023-07-30T22:01:02Z
date_published: 2023-07-21T00:00:00Z
date_updated: 2026-04-07T12:37:10Z
day: '21'
ddc:
- '510'
- '530'
department:
- _id: LaEr
doi: 10.1007/s10955-023-03132-4
ec_funded: 1
external_id:
arxiv:
- '2304.04213'
isi:
- '001035677200002'
file:
- access_level: open_access
checksum: c2ef6b2aecfee1ad6d03fab620507c2c
content_type: application/pdf
creator: dernst
date_created: 2023-07-31T07:49:31Z
date_updated: 2023-07-31T07:49:31Z
file_id: '13325'
file_name: 2023_JourStatPhysics_Sugimoto.pdf
file_size: 612755
relation: main_file
success: 1
file_date_updated: 2023-07-31T07:49:31Z
has_accepted_license: '1'
intvolume: ' 190'
isi: 1
issue: '7'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
project:
- _id: 62796744-2b32-11ec-9570-940b20777f1d
call_identifier: H2020
grant_number: '101020331'
name: Random matrices beyond Wigner-Dyson-Mehta
publication: Journal of Statistical Physics
publication_identifier:
eissn:
- 1572-9613
issn:
- 0022-4715
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
record:
- id: '20575'
relation: dissertation_contains
status: public
- id: '19540'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Eigenstate thermalisation hypothesis for translation invariant spin systems
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: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 190
year: '2023'
...
---
_id: '14343'
abstract:
- lang: eng
text: The total energy of an eigenstate in a composite quantum system tends to be
distributed equally among its constituents. We identify the quantum fluctuation
around this equipartition principle in the simplest disordered quantum system
consisting of linear combinations of Wigner matrices. As our main ingredient,
we prove the Eigenstate Thermalisation Hypothesis and Gaussian fluctuation for
general quadratic forms of the bulk eigenvectors of Wigner matrices with an arbitrary
deformation.
acknowledgement: "G.C. and L.E. gratefully acknowledge many discussions with Dominik
Schröder at the preliminary stage of this project, especially his essential contribution
to identify the correct generalisation of traceless observables to the deformed
Wigner ensembles.\r\nL.E. and J.H. acknowledges support by ERC Advanced Grant ‘RMTBeyond’
No. 101020331."
article_number: e74
article_processing_charge: Yes
article_type: original
arxiv: 1
author:
- first_name: Giorgio
full_name: Cipolloni, Giorgio
id: 42198EFA-F248-11E8-B48F-1D18A9856A87
last_name: Cipolloni
orcid: 0000-0002-4901-7992
- first_name: László
full_name: Erdös, László
id: 4DBD5372-F248-11E8-B48F-1D18A9856A87
last_name: Erdös
orcid: 0000-0001-5366-9603
- first_name: Sven Joscha
full_name: Henheik, Sven Joscha
id: 31d731d7-d235-11ea-ad11-b50331c8d7fb
last_name: Henheik
orcid: 0000-0003-1106-327X
- first_name: Oleksii
full_name: Kolupaiev, Oleksii
id: 149b70d4-896a-11ed-bdf8-8c63fd44ca61
last_name: Kolupaiev
orcid: 0000-0003-1491-4623
citation:
ama: Cipolloni G, Erdös L, Henheik SJ, Kolupaiev O. Gaussian fluctuations in the
equipartition principle for Wigner matrices. Forum of Mathematics, Sigma.
2023;11. doi:10.1017/fms.2023.70
apa: Cipolloni, G., Erdös, L., Henheik, S. J., & Kolupaiev, O. (2023). Gaussian
fluctuations in the equipartition principle for Wigner matrices. Forum of Mathematics,
Sigma. Cambridge University Press. https://doi.org/10.1017/fms.2023.70
chicago: Cipolloni, Giorgio, László Erdös, Sven Joscha Henheik, and Oleksii Kolupaiev.
“Gaussian Fluctuations in the Equipartition Principle for Wigner Matrices.” Forum
of Mathematics, Sigma. Cambridge University Press, 2023. https://doi.org/10.1017/fms.2023.70.
ieee: G. Cipolloni, L. Erdös, S. J. Henheik, and O. Kolupaiev, “Gaussian fluctuations
in the equipartition principle for Wigner matrices,” Forum of Mathematics,
Sigma, vol. 11. Cambridge University Press, 2023.
ista: Cipolloni G, Erdös L, Henheik SJ, Kolupaiev O. 2023. Gaussian fluctuations
in the equipartition principle for Wigner matrices. Forum of Mathematics, Sigma.
11, e74.
mla: Cipolloni, Giorgio, et al. “Gaussian Fluctuations in the Equipartition Principle
for Wigner Matrices.” Forum of Mathematics, Sigma, vol. 11, e74, Cambridge
University Press, 2023, doi:10.1017/fms.2023.70.
short: G. Cipolloni, L. Erdös, S.J. Henheik, O. Kolupaiev, Forum of Mathematics,
Sigma 11 (2023).
corr_author: '1'
date_created: 2023-09-17T22:01:09Z
date_published: 2023-08-23T00:00:00Z
date_updated: 2026-04-07T12:37:10Z
day: '23'
ddc:
- '510'
department:
- _id: LaEr
- _id: GradSch
doi: 10.1017/fms.2023.70
ec_funded: 1
external_id:
arxiv:
- '2301.05181'
isi:
- '001051980200001'
file:
- access_level: open_access
checksum: eb747420e6a88a7796fa934151957676
content_type: application/pdf
creator: dernst
date_created: 2023-09-20T11:09:35Z
date_updated: 2023-09-20T11:09:35Z
file_id: '14352'
file_name: 2023_ForumMathematics_Cipolloni.pdf
file_size: 852652
relation: main_file
success: 1
file_date_updated: 2023-09-20T11:09:35Z
has_accepted_license: '1'
intvolume: ' 11'
isi: 1
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
project:
- _id: 62796744-2b32-11ec-9570-940b20777f1d
call_identifier: H2020
grant_number: '101020331'
name: Random matrices beyond Wigner-Dyson-Mehta
publication: Forum of Mathematics, Sigma
publication_identifier:
eissn:
- 2050-5094
publication_status: published
publisher: Cambridge University Press
quality_controlled: '1'
related_material:
record:
- id: '19540'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Gaussian fluctuations in the equipartition principle for Wigner matrices
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: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 11
year: '2023'
...
---
_id: '17378'
abstract:
- lang: eng
text: Generative Pre-trained Transformer models, known as GPT or OPT, set themselves
apart through breakthrough performance across complex language modelling tasks,
but also by their extremely high computational and storage costs. Specifically,
due to their massive size, even inference for large, highly-accurate GPT models
may require multiple performant GPUs, which limits the usability of such models.
While there is emerging work on relieving this pressure via model compression,
the applicability and performance of existing compression techniques is limited
by the scale and complexity of GPT models. In this paper, we address this challenge,
and propose OPTQ, a new one-shot weight quantization method based on approximate
second-order information, that is both highly-accurate and highly-efficient. Specifically,
OPTQ can quantize GPT models with 175 billion parameters in approximately four
GPU hours, reducing the bitwidth down to 3 or 4 bits per weight, with negligible
accuracy degradation relative to the uncompressed baseline. Our method more than
doubles the compression gains relative to previously-proposed one-shot quantization
methods, preserving accuracy, allowing us for the first time to execute an 175
billion-parameter model inside a single GPU for generative inference. Moreover,
we also show that our method can still provide reasonable accuracy in the extreme
quantization regime, in which weights are quantized to 2-bit or even ternary quantization
levels. We show experimentally that these improvements can be leveraged for end-to-end
inference speedups over FP16, of around 3.25x when using high-end GPUs (NVIDIA
A100) and 4.5x when using more cost-effective ones (NVIDIA A6000). The implementation
is available at https://github.com/IST-DASLab/gptq.
acknowledged_ssus:
- _id: ScienComp
acknowledgement: Elias Frantar and Dan Alistarh gratefully acknowledge funding from
the European Research Council (ERC) under the European Union’s Horizon 2020 programme
(grant agreement No. 805223 ScaleML), as well as experimental support from Eldar
Kurtic, and from the IST Austria IT department, in particular Stefano Elefante,
Andrei Hornoiu, and Alois Schloegl. The work of Saleh Ashkboos and Torsten Hoefler
was supported by the PASC DaCeMI project, received EuroHPC-JU funding under grant
MAELSTROM, No. 955513. We thank the Swiss National Supercomputing Center (CSCS)
for supporting us with compute infrastructure.
article_processing_charge: No
author:
- first_name: Elias
full_name: Frantar, Elias
id: 09a8f98d-ec99-11ea-ae11-c063a7b7fe5f
last_name: Frantar
- first_name: Saleh
full_name: Ashkboos, Saleh
last_name: Ashkboos
- first_name: Torsten
full_name: Hoefler, Torsten
last_name: Hoefler
- first_name: Dan-Adrian
full_name: Alistarh, Dan-Adrian
id: 4A899BFC-F248-11E8-B48F-1D18A9856A87
last_name: Alistarh
orcid: 0000-0003-3650-940X
citation:
ama: 'Frantar E, Ashkboos S, Hoefler T, Alistarh D-A. OPTQ: Accurate post-training
quantization for generative pre-trained transformers. In: 11th International
Conference on Learning Representations . International Conference on Learning
Representations; 2023.'
apa: 'Frantar, E., Ashkboos, S., Hoefler, T., & Alistarh, D.-A. (2023). OPTQ:
Accurate post-training quantization for generative pre-trained transformers. In
11th International Conference on Learning Representations . Kigali, Rwanda:
International Conference on Learning Representations.'
chicago: 'Frantar, Elias, Saleh Ashkboos, Torsten Hoefler, and Dan-Adrian Alistarh.
“OPTQ: Accurate Post-Training Quantization for Generative Pre-Trained Transformers.”
In 11th International Conference on Learning Representations . International
Conference on Learning Representations, 2023.'
ieee: 'E. Frantar, S. Ashkboos, T. Hoefler, and D.-A. Alistarh, “OPTQ: Accurate
post-training quantization for generative pre-trained transformers,” in 11th
International Conference on Learning Representations , Kigali, Rwanda, 2023.'
ista: 'Frantar E, Ashkboos S, Hoefler T, Alistarh D-A. 2023. OPTQ: Accurate post-training
quantization for generative pre-trained transformers. 11th International Conference
on Learning Representations . ICLR: International Conference on Learning Representations.'
mla: 'Frantar, Elias, et al. “OPTQ: Accurate Post-Training Quantization for Generative
Pre-Trained Transformers.” 11th International Conference on Learning Representations
, International Conference on Learning Representations, 2023.'
short: E. Frantar, S. Ashkboos, T. Hoefler, D.-A. Alistarh, in:, 11th International
Conference on Learning Representations , International Conference on Learning
Representations, 2023.
conference:
end_date: 2023-05-05
location: Kigali, Rwanda
name: 'ICLR: International Conference on Learning Representations'
start_date: 2023-05-01
corr_author: '1'
date_created: 2024-08-04T22:01:22Z
date_published: 2023-05-01T00:00:00Z
date_updated: 2026-04-07T12:43:03Z
day: '01'
ddc:
- '000'
department:
- _id: DaAl
ec_funded: 1
file:
- access_level: open_access
checksum: aacbf11dbd8b02a3e0bfd942a33e0593
content_type: application/pdf
creator: dernst
date_created: 2024-08-05T07:52:44Z
date_updated: 2024-08-05T07:52:44Z
file_id: '17385'
file_name: 2023_ICLR_Frantar.pdf
file_size: 437492
relation: main_file
success: 1
file_date_updated: 2024-08-05T07:52:44Z
has_accepted_license: '1'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
project:
- _id: 268A44D6-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '805223'
name: Elastic Coordination for Scalable Machine Learning
publication: '11th International Conference on Learning Representations '
publication_status: published
publisher: International Conference on Learning Representations
quality_controlled: '1'
related_material:
link:
- relation: software
url: https://github.com/IST-DASLab/gptq
record:
- id: '17485'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: 'OPTQ: Accurate post-training quantization for generative pre-trained transformers'
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2023'
...
---
_id: '14458'
abstract:
- lang: eng
text: 'We show for the first time that large-scale generative pretrained transformer
(GPT) family models can be pruned to at least 50% sparsity in one-shot, without
any retraining, at minimal loss of accuracy. This is achieved via a new pruning
method called SparseGPT, specifically designed to work efficiently and accurately
on massive GPT-family models. We can execute SparseGPT on the largest available
open-source models, OPT-175B and BLOOM-176B, in under 4.5 hours, and can reach
60% unstructured sparsity with negligible increase in perplexity: remarkably,
more than 100 billion weights from these models can be ignored at inference time.
SparseGPT generalizes to semi-structured (2:4 and 4:8) patterns, and is compatible
with weight quantization approaches. The code is available at: https://github.com/IST-DASLab/sparsegpt.'
acknowledged_ssus:
- _id: ScienComp
acknowledgement: The authors gratefully acknowledge funding from the European Research
Council (ERC) under the European Union’s Horizon 2020 programme (grant agreement
No. 805223 ScaleML), as well as experimental support from Eldar Kurtic, and from
the IST Austria IT department, in particular Stefano Elefante, Andrei Hornoiu, and
Alois Schloegl.
alternative_title:
- PMLR
article_processing_charge: No
arxiv: 1
author:
- first_name: Elias
full_name: Frantar, Elias
id: 09a8f98d-ec99-11ea-ae11-c063a7b7fe5f
last_name: Frantar
- first_name: Dan-Adrian
full_name: Alistarh, Dan-Adrian
id: 4A899BFC-F248-11E8-B48F-1D18A9856A87
last_name: Alistarh
orcid: 0000-0003-3650-940X
citation:
ama: 'Frantar E, Alistarh D-A. SparseGPT: Massive language models can be accurately
pruned in one-shot. In: Proceedings of the 40th International Conference on
Machine Learning. Vol 202. ML Research Press; 2023:10323-10337.'
apa: 'Frantar, E., & Alistarh, D.-A. (2023). SparseGPT: Massive language models
can be accurately pruned in one-shot. In Proceedings of the 40th International
Conference on Machine Learning (Vol. 202, pp. 10323–10337). Honolulu, Hawaii,
HI, United States: ML Research Press.'
chicago: 'Frantar, Elias, and Dan-Adrian Alistarh. “SparseGPT: Massive Language
Models Can Be Accurately Pruned in One-Shot.” In Proceedings of the 40th International
Conference on Machine Learning, 202:10323–37. ML Research Press, 2023.'
ieee: 'E. Frantar and D.-A. Alistarh, “SparseGPT: Massive language models can be
accurately pruned in one-shot,” in Proceedings of the 40th International Conference
on Machine Learning, Honolulu, Hawaii, HI, United States, 2023, vol. 202,
pp. 10323–10337.'
ista: 'Frantar E, Alistarh D-A. 2023. SparseGPT: Massive language models can be
accurately pruned in one-shot. Proceedings of the 40th International Conference
on Machine Learning. ICML: International Conference on Machine Learning, PMLR,
vol. 202, 10323–10337.'
mla: 'Frantar, Elias, and Dan-Adrian Alistarh. “SparseGPT: Massive Language Models
Can Be Accurately Pruned in One-Shot.” Proceedings of the 40th International
Conference on Machine Learning, vol. 202, ML Research Press, 2023, pp. 10323–37.'
short: E. Frantar, D.-A. Alistarh, in:, Proceedings of the 40th International Conference
on Machine Learning, ML Research Press, 2023, pp. 10323–10337.
conference:
end_date: 2023-07-29
location: Honolulu, Hawaii, HI, United States
name: 'ICML: International Conference on Machine Learning'
start_date: 2023-07-23
corr_author: '1'
date_created: 2023-10-29T23:01:16Z
date_published: 2023-07-30T00:00:00Z
date_updated: 2026-04-07T12:43:03Z
day: '30'
department:
- _id: DaAl
ec_funded: 1
external_id:
arxiv:
- '2301.00774'
intvolume: ' 202'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.2301.00774
month: '07'
oa: 1
oa_version: Preprint
page: 10323-10337
project:
- _id: 268A44D6-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '805223'
name: Elastic Coordination for Scalable Machine Learning
publication: Proceedings of the 40th International Conference on Machine Learning
publication_identifier:
eissn:
- 2640-3498
publication_status: published
publisher: ML Research Press
quality_controlled: '1'
related_material:
record:
- id: '17485'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: 'SparseGPT: Massive language models can be accurately pruned in one-shot'
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 202
year: '2023'
...
---
OA_place: repository
_id: '18294'
abstract:
- lang: eng
text: Using a two-dimensional version of the delta method, we establish an asymptotic
formula for the number of rational points of bounded height on non-singular complete
intersections of cubic and quadric hypersurfaces of dimension at least 23 over
Fq(t), provided cha(Fq)>3. Under the same hypotheses, we also verify weak approximation.
article_number: '2306.02718'
article_processing_charge: No
arxiv: 1
author:
- first_name: Jakob
full_name: Glas, Jakob
id: d6423cba-dc74-11ea-a0a7-ee61689ff5fb
last_name: Glas
citation:
ama: Glas J. Complete intersections of cubic and quadric hypersurfaces over Fq(t).
arXiv. doi:10.48550/arXiv.2306.02718
apa: Glas, J. (n.d.). Complete intersections of cubic and quadric hypersurfaces
over Fq(t). arXiv. https://doi.org/10.48550/arXiv.2306.02718
chicago: Glas, Jakob. “Complete Intersections of Cubic and Quadric Hypersurfaces
over Fq(T).” ArXiv, n.d. https://doi.org/10.48550/arXiv.2306.02718.
ieee: J. Glas, “Complete intersections of cubic and quadric hypersurfaces over Fq(t),”
arXiv. .
ista: Glas J. Complete intersections of cubic and quadric hypersurfaces over Fq(t).
arXiv, 2306.02718.
mla: Glas, Jakob. “Complete Intersections of Cubic and Quadric Hypersurfaces over
Fq(T).” ArXiv, 2306.02718, doi:10.48550/arXiv.2306.02718.
short: J. Glas, ArXiv (n.d.).
corr_author: '1'
date_created: 2024-10-10T13:08:05Z
date_published: 2023-06-05T00:00:00Z
date_updated: 2026-04-07T12:53:53Z
day: '05'
department:
- _id: TiBr
doi: 10.48550/arXiv.2306.02718
external_id:
arxiv:
- '2306.02718'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.2306.02718
month: '06'
oa: 1
oa_version: Preprint
publication: arXiv
publication_status: draft
related_material:
record:
- id: '18132'
relation: dissertation_contains
status: public
status: public
title: Complete intersections of cubic and quadric hypersurfaces over Fq(t)
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: preprint
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2023'
...
---
OA_place: repository
_id: '14732'
abstract:
- lang: eng
text: 'Fragmented landscapes pose a significant threat to the persistence of species
as they are highly susceptible to heightened risk of extinction due to the combined
effects of genetic and demographic factors such as genetic drift and demographic
stochasticity. This paper explores the intricate interplay between genetic load
and extinction risk within metapopulations with a focus on understanding the impact
of eco-evolutionary feedback mechanisms. We distinguish between two models of
selection: soft selection, characterised by subpopulations maintaining carrying
capacity despite load, and hard selection, where load can significantly affect
population size. Within the soft selection framework, we investigate the impact
of gene flow on genetic load at a single locus, while also considering the effect
of selection strength and dominance coefficient. We subsequently build on this
to examine how gene flow influences both population size and load under hard selection
as well as identify critical thresholds for metapopulation persistence. Our analysis
employs the diffusion, semi-deterministic and effective migration approximations.
Our findings reveal that under soft selection, even modest levels of migration
can significantly alleviate the burden of load. In sharp contrast, with hard selection,
a much higher degree of gene flow is required to mitigate load and prevent the
collapse of the metapopulation. Overall, this study sheds light into the crucial
role migration plays in shaping the dynamics of genetic load and extinction risk
in fragmented landscapes, offering valuable insights for conservation strategies
and the preservation of diversity in a changing world.'
article_processing_charge: No
author:
- first_name: Oluwafunmilola O
full_name: Olusanya, Oluwafunmilola O
id: 41AD96DC-F248-11E8-B48F-1D18A9856A87
last_name: Olusanya
orcid: 0000-0003-1971-8314
- first_name: Kseniia
full_name: Khudiakova, Kseniia
id: 4E6DC800-AE37-11E9-AC72-31CAE5697425
last_name: Khudiakova
orcid: 0000-0002-6246-1465
- first_name: Himani
full_name: Sachdeva, Himani
id: 42377A0A-F248-11E8-B48F-1D18A9856A87
last_name: Sachdeva
citation:
ama: Olusanya OO, Khudiakova K, Sachdeva H. Genetic load, eco-evolutionary feedback
and extinction in a metapopulation. bioRxiv. doi:10.1101/2023.12.02.569702
apa: Olusanya, O. O., Khudiakova, K., & Sachdeva, H. (n.d.). Genetic load, eco-evolutionary
feedback and extinction in a metapopulation. bioRxiv. https://doi.org/10.1101/2023.12.02.569702
chicago: Olusanya, Oluwafunmilola O, Kseniia Khudiakova, and Himani Sachdeva. “Genetic
Load, Eco-Evolutionary Feedback and Extinction in a Metapopulation.” BioRxiv,
n.d. https://doi.org/10.1101/2023.12.02.569702.
ieee: O. O. Olusanya, K. Khudiakova, and H. Sachdeva, “Genetic load, eco-evolutionary
feedback and extinction in a metapopulation,” bioRxiv. .
ista: Olusanya OO, Khudiakova K, Sachdeva H. Genetic load, eco-evolutionary feedback
and extinction in a metapopulation. bioRxiv, 10.1101/2023.12.02.569702.
mla: Olusanya, Oluwafunmilola O., et al. “Genetic Load, Eco-Evolutionary Feedback
and Extinction in a Metapopulation.” BioRxiv, doi:10.1101/2023.12.02.569702.
short: O.O. Olusanya, K. Khudiakova, H. Sachdeva, BioRxiv (n.d.).
corr_author: '1'
date_created: 2024-01-04T09:35:54Z
date_published: 2023-12-04T00:00:00Z
date_updated: 2026-04-07T12:54:28Z
day: '04'
department:
- _id: NiBa
- _id: JaMa
doi: 10.1101/2023.12.02.569702
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://www.biorxiv.org/content/10.1101/2023.12.02.569702v1
month: '12'
oa: 1
oa_version: Preprint
project:
- _id: c08d3278-5a5b-11eb-8a69-fdb09b55f4b8
grant_number: P32896
name: Causes and consequences of population fragmentation
- _id: 34d33d68-11ca-11ed-8bc3-ec13763c0ca8
grant_number: '26293'
name: The impact of deleterious mutations on small populations
- _id: 34c872fe-11ca-11ed-8bc3-8534b82131e6
grant_number: '26380'
name: Polygenic Adaptation in a Metapopulation
publication: bioRxiv
publication_status: draft
related_material:
record:
- id: '21322'
relation: later_version
status: public
- id: '14711'
relation: dissertation_contains
status: public
status: public
title: Genetic load, eco-evolutionary feedback and extinction in a metapopulation
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: preprint
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2023'
...
---
_id: '12334'
abstract:
- lang: eng
text: Regulation of the Arp2/3 complex is required for productive nucleation of
branched actin networks. An emerging aspect of regulation is the incorporation
of subunit isoforms into the Arp2/3 complex. Specifically, both ArpC5 subunit
isoforms, ArpC5 and ArpC5L, have been reported to fine-tune nucleation activity
and branch junction stability. We have combined reverse genetics and cellular
structural biology to describe how ArpC5 and ArpC5L differentially affect cell
migration. Both define the structural stability of ArpC1 in branch junctions and,
in turn, by determining protrusion characteristics, affect protein dynamics and
actin network ultrastructure. ArpC5 isoforms also affect the positioning of members
of the Ena/Vasodilator-stimulated phosphoprotein (VASP) family of actin filament
elongators, which mediate ArpC5 isoform–specific effects on the actin assembly
level. Our results suggest that ArpC5 and Ena/VASP proteins are part of a signaling
pathway enhancing cell migration.
acknowledged_ssus:
- _id: ScienComp
- _id: LifeSc
- _id: Bio
- _id: EM-Fac
acknowledgement: "We would like to thank K. von Peinen and B. Denker (Helmholtz Centre
for Infection Research, Braunschweig, Germany) for experimental and technical assistance,
respectively.\r\nThis research was supported by the Scientific Service Units (SSUs)
of ISTA through resources provided by Scientific Computing (SciComp), the Life Science
Facility (LSF), the Imaging and Optics facility (IOF), and the Electron Microscopy
Facility (EMF). We acknowledge support from ISTA and from the Austrian Science Fund
(FWF) (P33367) to F.K.M.S., from the Research Training Group GRK2223 and the Helmholtz
Society to K.R,. and from the Deutsche Forschungsgemeinschaft (DFG) to J.F. and
K.R."
article_number: add6495
article_processing_charge: No
article_type: original
author:
- first_name: Florian
full_name: Fäßler, Florian
id: 404F5528-F248-11E8-B48F-1D18A9856A87
last_name: Fäßler
orcid: 0000-0001-7149-769X
- first_name: Manjunath
full_name: Javoor, Manjunath
id: 305ab18b-dc7d-11ea-9b2f-b58195228ea2
last_name: Javoor
orcid: 0000-0003-2311-2112
- first_name: Julia
full_name: Datler, Julia
id: 3B12E2E6-F248-11E8-B48F-1D18A9856A87
last_name: Datler
orcid: 0000-0002-3616-8580
- first_name: Hermann
full_name: Döring, Hermann
last_name: Döring
- first_name: Florian
full_name: Hofer, Florian
id: b9d234ba-9e33-11ed-95b6-cd561df280e6
last_name: Hofer
- first_name: Georgi A
full_name: Dimchev, Georgi A
id: 38C393BE-F248-11E8-B48F-1D18A9856A87
last_name: Dimchev
orcid: 0000-0001-8370-6161
- first_name: Victor-Valentin
full_name: Hodirnau, Victor-Valentin
id: 3661B498-F248-11E8-B48F-1D18A9856A87
last_name: Hodirnau
orcid: 0000-0003-3904-947X
- first_name: Jan
full_name: Faix, Jan
last_name: Faix
- first_name: Klemens
full_name: Rottner, Klemens
last_name: Rottner
- first_name: Florian KM
full_name: Schur, Florian KM
id: 48AD8942-F248-11E8-B48F-1D18A9856A87
last_name: Schur
orcid: 0000-0003-4790-8078
citation:
ama: Fäßler F, Javoor M, Datler J, et al. ArpC5 isoforms regulate Arp2/3 complex–dependent
protrusion through differential Ena/VASP positioning. Science Advances.
2023;9(3). doi:10.1126/sciadv.add6495
apa: Fäßler, F., Javoor, M., Datler, J., Döring, H., Hofer, F., Dimchev, G. A.,
… Schur, F. K. (2023). ArpC5 isoforms regulate Arp2/3 complex–dependent protrusion
through differential Ena/VASP positioning. Science Advances. American Association
for the Advancement of Science. https://doi.org/10.1126/sciadv.add6495
chicago: Fäßler, Florian, Manjunath Javoor, Julia Datler, Hermann Döring, Florian
Hofer, Georgi A Dimchev, Victor-Valentin Hodirnau, Jan Faix, Klemens Rottner,
and Florian KM Schur. “ArpC5 Isoforms Regulate Arp2/3 Complex–Dependent Protrusion
through Differential Ena/VASP Positioning.” Science Advances. American
Association for the Advancement of Science, 2023. https://doi.org/10.1126/sciadv.add6495.
ieee: F. Fäßler et al., “ArpC5 isoforms regulate Arp2/3 complex–dependent
protrusion through differential Ena/VASP positioning,” Science Advances,
vol. 9, no. 3. American Association for the Advancement of Science, 2023.
ista: Fäßler F, Javoor M, Datler J, Döring H, Hofer F, Dimchev GA, Hodirnau V-V,
Faix J, Rottner K, Schur FK. 2023. ArpC5 isoforms regulate Arp2/3 complex–dependent
protrusion through differential Ena/VASP positioning. Science Advances. 9(3),
add6495.
mla: Fäßler, Florian, et al. “ArpC5 Isoforms Regulate Arp2/3 Complex–Dependent Protrusion
through Differential Ena/VASP Positioning.” Science Advances, vol. 9, no.
3, add6495, American Association for the Advancement of Science, 2023, doi:10.1126/sciadv.add6495.
short: F. Fäßler, M. Javoor, J. Datler, H. Döring, F. Hofer, G.A. Dimchev, V.-V.
Hodirnau, J. Faix, K. Rottner, F.K. Schur, Science Advances 9 (2023).
corr_author: '1'
date_created: 2023-01-23T07:26:42Z
date_published: 2023-01-20T00:00:00Z
date_updated: 2026-04-07T12:59:44Z
day: '20'
ddc:
- '570'
department:
- _id: FlSc
- _id: EM-Fac
doi: 10.1126/sciadv.add6495
external_id:
isi:
- '000964550100015'
pmid:
- '36662867'
file:
- access_level: open_access
checksum: ce81a6d0b84170e5e8c62f6acfa15d9e
content_type: application/pdf
creator: dernst
date_created: 2023-01-23T07:45:54Z
date_updated: 2023-01-23T07:45:54Z
file_id: '12335'
file_name: 2023_ScienceAdvances_Faessler.pdf
file_size: 1756234
relation: main_file
success: 1
file_date_updated: 2023-01-23T07:45:54Z
has_accepted_license: '1'
intvolume: ' 9'
isi: 1
issue: '3'
keyword:
- Multidisciplinary
language:
- iso: eng
month: '01'
oa: 1
oa_version: Published Version
pmid: 1
project:
- _id: 9B954C5C-BA93-11EA-9121-9846C619BF3A
grant_number: P33367
name: Structure and isoform diversity of the Arp2/3 complex
publication: Science Advances
publication_identifier:
issn:
- 2375-2548
publication_status: published
publisher: American Association for the Advancement of Science
quality_controlled: '1'
related_material:
record:
- id: '14562'
relation: research_data
status: public
- id: '18766'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: ArpC5 isoforms regulate Arp2/3 complex–dependent protrusion through differential
Ena/VASP positioning
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: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 9
year: '2023'
...