---
_id: '13310'
abstract:
- lang: eng
text: Machine-learned systems are in widespread use for making decisions about humans,
and it is important that they are fair, i.e., not biased against individuals based
on sensitive attributes. We present runtime verification of algorithmic fairness
for systems whose models are unknown, but are assumed to have a Markov chain structure.
We introduce a specification language that can model many common algorithmic fairness
properties, such as demographic parity, equal opportunity, and social burden.
We build monitors that observe a long sequence of events as generated by a given
system, and output, after each observation, a quantitative estimate of how fair
or biased the system was on that run until that point in time. The estimate is
proven to be correct modulo a variable error bound and a given confidence level,
where the error bound gets tighter as the observed sequence gets longer. Our monitors
are of two types, and use, respectively, frequentist and Bayesian statistical
inference techniques. While the frequentist monitors compute estimates that are
objectively correct with respect to the ground truth, the Bayesian monitors compute
estimates that are correct subject to a given prior belief about the system’s
model. Using a prototype implementation, we show how we can monitor if a bank
is fair in giving loans to applicants from different social backgrounds, and if
a college is fair in admitting students while maintaining a reasonable financial
burden on the society. Although they exhibit different theoretical complexities
in certain cases, in our experiments, both frequentist and Bayesian monitors took
less than a millisecond to update their verdicts after each observation.
acknowledgement: 'This work is supported by the European Research Council under Grant
No.: ERC-2020-AdG101020093.'
alternative_title:
- LNCS
article_processing_charge: Yes (in subscription journal)
arxiv: 1
author:
- 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: Mahyar
full_name: Karimi, Mahyar
id: 6e5417ba-5355-11ee-ae5a-94c2e510b26b
last_name: Karimi
orcid: 0009-0005-0820-1696
- first_name: Konstantin
full_name: Kueffner, Konstantin
id: 8121a2d0-dc85-11ea-9058-af578f3b4515
last_name: Kueffner
orcid: 0000-0001-8974-2542
- first_name: Kaushik
full_name: Mallik, Kaushik
id: 0834ff3c-6d72-11ec-94e0-b5b0a4fb8598
last_name: Mallik
orcid: 0000-0001-9864-7475
citation:
ama: 'Henzinger TA, Karimi M, Kueffner K, Mallik K. Monitoring algorithmic fairness.
In: Computer Aided Verification. Vol 13965. Springer Nature; 2023:358–382.
doi:10.1007/978-3-031-37703-7_17'
apa: 'Henzinger, T. A., Karimi, M., Kueffner, K., & Mallik, K. (2023). Monitoring
algorithmic fairness. In Computer Aided Verification (Vol. 13965, pp. 358–382).
Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-37703-7_17'
chicago: Henzinger, Thomas A, Mahyar Karimi, Konstantin Kueffner, and Kaushik Mallik.
“Monitoring Algorithmic Fairness.” In Computer Aided Verification, 13965:358–382.
Springer Nature, 2023. https://doi.org/10.1007/978-3-031-37703-7_17.
ieee: T. A. Henzinger, M. Karimi, K. Kueffner, and K. Mallik, “Monitoring algorithmic
fairness,” in Computer Aided Verification, Paris, France, 2023, vol. 13965,
pp. 358–382.
ista: 'Henzinger TA, Karimi M, Kueffner K, Mallik K. 2023. Monitoring algorithmic
fairness. Computer Aided Verification. CAV: Computer Aided Verification, LNCS,
vol. 13965, 358–382.'
mla: Henzinger, Thomas A., et al. “Monitoring Algorithmic Fairness.” Computer
Aided Verification, vol. 13965, Springer Nature, 2023, pp. 358–382, doi:10.1007/978-3-031-37703-7_17.
short: T.A. Henzinger, M. Karimi, K. Kueffner, K. Mallik, in:, Computer Aided Verification,
Springer Nature, 2023, pp. 358–382.
conference:
end_date: 2023-07-22
location: Paris, France
name: 'CAV: Computer Aided Verification'
start_date: 2023-07-17
corr_author: '1'
date_created: 2023-07-25T18:32:40Z
date_published: 2023-07-18T00:00:00Z
date_updated: 2026-01-21T07:24:31Z
day: '18'
ddc:
- '000'
department:
- _id: GradSch
- _id: ToHe
doi: 10.1007/978-3-031-37703-7_17
ec_funded: 1
external_id:
arxiv:
- '2305.15979'
isi:
- '001310804800017'
file:
- access_level: open_access
checksum: ccaf94bf7d658ba012c016e11869b54c
content_type: application/pdf
creator: dernst
date_created: 2023-07-31T08:11:20Z
date_updated: 2023-07-31T08:11:20Z
file_id: '13327'
file_name: 2023_LNCS_CAV_HenzingerT.pdf
file_size: 647760
relation: main_file
success: 1
file_date_updated: 2023-07-31T08:11:20Z
has_accepted_license: '1'
intvolume: ' 13965'
isi: 1
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
page: 358–382
project:
- _id: 62781420-2b32-11ec-9570-8d9b63373d4d
call_identifier: H2020
grant_number: '101020093'
name: Vigilant Algorithmic Monitoring of Software
publication: Computer Aided Verification
publication_identifier:
eisbn:
- '9783031377037'
eissn:
- 1611-3349
isbn:
- '9783031377020'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Monitoring algorithmic fairness
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: 13965
year: '2023'
...
---
_id: '13314'
abstract:
- lang: eng
text: The emergence of large-scale order in self-organized systems relies on local
interactions between individual components. During bacterial cell division, FtsZ—a
prokaryotic homologue of the eukaryotic protein tubulin—polymerizes into treadmilling
filaments that further organize into a cytoskeletal ring. In vitro, FtsZ filaments
can form dynamic chiral assemblies. However, how the active and passive properties
of individual filaments relate to these large-scale self-organized structures
remains poorly understood. Here we connect single-filament properties with the
mesoscopic scale by combining minimal active matter simulations and biochemical
reconstitution experiments. We show that the density and flexibility of active
chiral filaments define their global order. At intermediate densities, curved,
flexible filaments organize into chiral rings and polar bands. An effectively
nematic organization dominates for high densities and for straight, mutant filaments
with increased rigidity. Our predicted phase diagram quantitatively captures these
features, demonstrating how the flexibility, density and chirality of the active
filaments affect their collective behaviour. Our findings shed light on the fundamental
properties of active chiral matter and explain how treadmilling FtsZ filaments
organize during bacterial cell division.
acknowledged_ssus:
- _id: Bio
- _id: LifeSc
acknowledgement: 'This work was supported by the European Research Council through
grant ERC 2015-StG-679239 and by the Austrian Science Fund (FWF) StandAlone P34607
to M.L., B. P.M. was also supported by the Kanazawa University WPI- NanoLSI Bio-SPM
collaborative research program. Z.D. has received funding from Doctoral Programme
of the Austrian Academy of Sciences (OeAW): Grant agreement 26360. We thank Jan
Brugues (MPI CBG, Dresden, Germany), Andela Saric (ISTA, Klosterneuburg, Austria),
Daniel Pearce (Uni Geneva, Switzerland) for valuable scientific input and comments
on the manuscript. We are also thankful for the support by the Scientific Service
Units (SSU) of IST Austria through resources provided by the Imaging and Optics
Facility (IOF) and the Lab Support Facility (LSF).'
article_processing_charge: Yes (in subscription journal)
article_type: original
author:
- first_name: Zuzana
full_name: Dunajova, Zuzana
id: 4B39F286-F248-11E8-B48F-1D18A9856A87
last_name: Dunajova
- first_name: Batirtze
full_name: Prats Mateu, Batirtze
id: 299FE892-F248-11E8-B48F-1D18A9856A87
last_name: Prats Mateu
- first_name: Philipp
full_name: Radler, Philipp
id: 40136C2A-F248-11E8-B48F-1D18A9856A87
last_name: Radler
orcid: '0000-0001-9198-2182 '
- first_name: Keesiang
full_name: Lim, Keesiang
last_name: Lim
- first_name: Dörte
full_name: Brandis, Dörte
id: 21d64d35-f128-11eb-9611-b8bcca7a12fd
last_name: Brandis
- first_name: Philipp
full_name: Velicky, Philipp
id: 39BDC62C-F248-11E8-B48F-1D18A9856A87
last_name: Velicky
orcid: 0000-0002-2340-7431
- first_name: Johann G
full_name: Danzl, Johann G
id: 42EFD3B6-F248-11E8-B48F-1D18A9856A87
last_name: Danzl
orcid: 0000-0001-8559-3973
- first_name: Richard W.
full_name: Wong, Richard W.
last_name: Wong
- first_name: Jens
full_name: Elgeti, Jens
last_name: Elgeti
- first_name: Edouard B
full_name: Hannezo, Edouard B
id: 3A9DB764-F248-11E8-B48F-1D18A9856A87
last_name: Hannezo
orcid: 0000-0001-6005-1561
- first_name: Martin
full_name: Loose, Martin
id: 462D4284-F248-11E8-B48F-1D18A9856A87
last_name: Loose
orcid: 0000-0001-7309-9724
citation:
ama: Dunajova Z, Prats Mateu B, Radler P, et al. Chiral and nematic phases of flexible
active filaments. Nature Physics. 2023;19:1916-1926. doi:10.1038/s41567-023-02218-w
apa: Dunajova, Z., Prats Mateu, B., Radler, P., Lim, K., Brandis, D., Velicky, P.,
… Loose, M. (2023). Chiral and nematic phases of flexible active filaments. Nature
Physics. Springer Nature. https://doi.org/10.1038/s41567-023-02218-w
chicago: Dunajova, Zuzana, Batirtze Prats Mateu, Philipp Radler, Keesiang Lim, Dörte
Brandis, Philipp Velicky, Johann G Danzl, et al. “Chiral and Nematic Phases of
Flexible Active Filaments.” Nature Physics. Springer Nature, 2023. https://doi.org/10.1038/s41567-023-02218-w.
ieee: Z. Dunajova et al., “Chiral and nematic phases of flexible active filaments,”
Nature Physics, vol. 19. Springer Nature, pp. 1916–1926, 2023.
ista: Dunajova Z, Prats Mateu B, Radler P, Lim K, Brandis D, Velicky P, Danzl JG,
Wong RW, Elgeti J, Hannezo EB, Loose M. 2023. Chiral and nematic phases of flexible
active filaments. Nature Physics. 19, 1916–1926.
mla: Dunajova, Zuzana, et al. “Chiral and Nematic Phases of Flexible Active Filaments.”
Nature Physics, vol. 19, Springer Nature, 2023, pp. 1916–26, doi:10.1038/s41567-023-02218-w.
short: Z. Dunajova, B. Prats Mateu, P. Radler, K. Lim, D. Brandis, P. Velicky, J.G.
Danzl, R.W. Wong, J. Elgeti, E.B. Hannezo, M. Loose, Nature Physics 19 (2023)
1916–1926.
corr_author: '1'
date_created: 2023-07-27T14:44:45Z
date_published: 2023-12-01T00:00:00Z
date_updated: 2026-06-10T09:41:11Z
day: '01'
ddc:
- '530'
department:
- _id: JoDa
- _id: EdHa
- _id: MaLo
- _id: GradSch
doi: 10.1038/s41567-023-02218-w
ec_funded: 1
external_id:
isi:
- '001178645300041'
pmid:
- '38075437'
file:
- access_level: open_access
checksum: bc7673ca07d37309013a86166577b2f7
content_type: application/pdf
creator: dernst
date_created: 2024-01-30T14:28:30Z
date_updated: 2024-01-30T14:28:30Z
file_id: '14916'
file_name: 2023_NaturePhysics_Dunajova.pdf
file_size: 22471673
relation: main_file
success: 1
file_date_updated: 2024-01-30T14:28:30Z
has_accepted_license: '1'
intvolume: ' 19'
isi: 1
language:
- iso: eng
month: '12'
oa: 1
oa_version: Published Version
page: 1916-1926
pmid: 1
project:
- _id: 2595697A-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '679239'
name: Self-Organization of the Bacterial Cell
- _id: fc38323b-9c52-11eb-aca3-ff8afb4a011d
grant_number: P34607
name: In vitro reconstitution of bacterial cell division
- _id: 34d75525-11ca-11ed-8bc3-89b6307fee9d
grant_number: '26360'
name: Motile active matter models of migrating cells and chiral filaments
publication: Nature Physics
publication_identifier:
eissn:
- 1745-2481
issn:
- 1745-2473
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
record:
- id: '13116'
relation: research_data
status: public
- id: '21423'
relation: dissertation_contains
status: public
- id: '21439'
relation: research_data
status: public
scopus_import: '1'
status: public
title: Chiral and nematic phases of flexible active filaments
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: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 19
year: '2023'
...
---
OA_place: publisher
_id: '13331'
abstract:
- lang: eng
text: "The extension of extremal combinatorics to the setting of exterior algebra
is a work\r\nin progress that gained attention recently. In this thesis, we study
the combinatorial structure of exterior algebra by introducing a dictionary that
translates the notions from the set systems into the framework of exterior algebra.
We show both generalizations of celebrated Erdös--Ko--Rado theorem and Hilton--Milner
theorem to the setting of exterior algebra in the simplest non-trivial case of
two-forms.\r\n"
alternative_title:
- ISTA Master's Thesis
article_processing_charge: No
author:
- first_name: Seyda
full_name: Köse, Seyda
id: 8ba3170d-dc85-11ea-9058-c4251c96a6eb
last_name: Köse
orcid: 0009-0008-0457-9730
citation:
ama: Köse S. Exterior algebra and combinatorics. 2023. doi:10.15479/at:ista:13331
apa: Köse, S. (2023). Exterior algebra and combinatorics. Institute of Science
and Technology Austria. https://doi.org/10.15479/at:ista:13331
chicago: Köse, Seyda. “Exterior Algebra and Combinatorics.” Institute of Science
and Technology Austria, 2023. https://doi.org/10.15479/at:ista:13331.
ieee: S. Köse, “Exterior algebra and combinatorics,” Institute of Science and Technology
Austria, 2023.
ista: Köse S. 2023. Exterior algebra and combinatorics. Institute of Science and
Technology Austria.
mla: Köse, Seyda. Exterior Algebra and Combinatorics. Institute of Science
and Technology Austria, 2023, doi:10.15479/at:ista:13331.
short: S. Köse, Exterior Algebra and Combinatorics, Institute of Science and Technology
Austria, 2023.
corr_author: '1'
date_created: 2023-07-31T10:20:55Z
date_published: 2023-07-31T00:00:00Z
date_updated: 2026-04-07T13:29:29Z
day: '31'
ddc:
- '510'
- '516'
degree_awarded: MS
department:
- _id: GradSch
- _id: UlWa
doi: 10.15479/at:ista:13331
file:
- access_level: closed
checksum: 96ee518d796d02af71395622c45de03c
content_type: application/x-zip-compressed
creator: skoese
date_created: 2023-07-31T10:16:32Z
date_updated: 2023-07-31T10:16:32Z
file_id: '13333'
file_name: Exterior Algebra and Combinatorics.zip
file_size: 28684
relation: source_file
- access_level: open_access
checksum: f610f4713f88bc477de576aaa46b114e
content_type: application/pdf
creator: skoese
date_created: 2023-08-03T15:28:55Z
date_updated: 2023-08-03T15:28:55Z
file_id: '13480'
file_name: thesis-pdfa.pdf
file_size: 4953418
relation: main_file
success: 1
file_date_updated: 2023-08-03T15:28:55Z
has_accepted_license: '1'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
page: '26'
publication_identifier:
issn:
- 2791-4585
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '12680'
relation: part_of_dissertation
status: public
status: public
supervisor:
- first_name: Uli
full_name: Wagner, Uli
id: 36690CA2-F248-11E8-B48F-1D18A9856A87
last_name: Wagner
orcid: 0000-0002-1494-0568
title: Exterior algebra and combinatorics
type: dissertation
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
year: '2023'
...
---
OA_place: publisher
_id: '14058'
abstract:
- lang: eng
text: "Females and males across species are subject to divergent selective pressures
arising\r\nfrom di↵erent reproductive interests and ecological niches. This often
translates into a\r\nintricate array of sex-specific natural and sexual selection
on traits that have a shared\r\ngenetic basis between both sexes, causing a genetic
sexual conflict. The resolution of\r\nthis conflict mostly relies on the evolution
of sex-specific expression of the shared genes,\r\nleading to phenotypic sexual
dimorphism. Such sex-specific gene expression is thought\r\nto evolve via modifications
of the genetic networks ultimately linked to sex-determining\r\ntranscription
factors. Although much empirical and theoretical evidence supports this\r\nstandard
picture of the molecular basis of sexual conflict resolution, there still are
a\r\nfew open questions regarding the complex array of selective forces driving
phenotypic\r\ndi↵erentiation between the sexes, as well as the molecular mechanisms
underlying sexspecific adaptation. I address some of these open questions in my
PhD thesis.\r\nFirst, how do patterns of phenotypic sexual dimorphism vary within
populations,\r\nas a response to the temporal and spatial changes in sex-specific
selective forces? To\r\ntackle this question, I analyze the patterns of sex-specific
phenotypic variation along\r\nthree life stages and across populations spanning
the whole geographical range of Rumex\r\nhastatulus, a wind-pollinated angiosperm,
in the first Chapter of the thesis.\r\nSecond, how do gene expression patterns
lead to phenotypic dimorphism, and what\r\nare the molecular mechanisms underlying
the observed transcriptomic variation? I\r\naddress this question by examining
the sex- and tissue-specific expression variation in\r\nnewly-generated datasets
of sex-specific expression in heads and gonads of Drosophila\r\nmelanogaster.
I additionally used two complementary approaches for the study of the\r\ngenetic
basis of sex di↵erences in gene expression in the second and third Chapters of\r\nthe
thesis.\r\nThird, how does intersex correlation, thought to be one of the main
aspects constraining the ability for the two sexes to decouple, interact with
the evolution of sexual\r\ndimorphism? I develop models of sex-specific stabilizing
selection, mutation and drift\r\nto formalize common intuition regarding the patterns
of covariation between intersex\r\ncorrelation and sexual dimorphism in the fourth
Chapter of the thesis.\r\nAlltogether, the work described in this PhD thesis provides
useful insights into the\r\nlinks between genetic, transcriptomic and phenotypic
layers of sex-specific variation,\r\nand contributes to our general understanding
of the dynamics of sexual dimorphism\r\nevolution."
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Gemma
full_name: Puixeu Sala, Gemma
id: 33AB266C-F248-11E8-B48F-1D18A9856A87
last_name: Puixeu Sala
orcid: 0000-0001-8330-1754
citation:
ama: 'Puixeu Sala G. The molecular basis of sexual dimorphism: Experimental and
theoretical characterization of phenotypic, transcriptomic and genetic patterns
of sex-specific adaptation. 2023. doi:10.15479/at:ista:14058'
apa: 'Puixeu Sala, G. (2023). The molecular basis of sexual dimorphism: Experimental
and theoretical characterization of phenotypic, transcriptomic and genetic patterns
of sex-specific adaptation. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:14058'
chicago: 'Puixeu Sala, Gemma. “The Molecular Basis of Sexual Dimorphism: Experimental
and Theoretical Characterization of Phenotypic, Transcriptomic and Genetic Patterns
of Sex-Specific Adaptation.” Institute of Science and Technology Austria, 2023.
https://doi.org/10.15479/at:ista:14058.'
ieee: 'G. Puixeu Sala, “The molecular basis of sexual dimorphism: Experimental and
theoretical characterization of phenotypic, transcriptomic and genetic patterns
of sex-specific adaptation,” Institute of Science and Technology Austria, 2023.'
ista: 'Puixeu Sala G. 2023. The molecular basis of sexual dimorphism: Experimental
and theoretical characterization of phenotypic, transcriptomic and genetic patterns
of sex-specific adaptation. Institute of Science and Technology Austria.'
mla: 'Puixeu Sala, Gemma. The Molecular Basis of Sexual Dimorphism: Experimental
and Theoretical Characterization of Phenotypic, Transcriptomic and Genetic Patterns
of Sex-Specific Adaptation. Institute of Science and Technology Austria, 2023,
doi:10.15479/at:ista:14058.'
short: 'G. Puixeu Sala, The Molecular Basis of Sexual Dimorphism: Experimental and
Theoretical Characterization of Phenotypic, Transcriptomic and Genetic Patterns
of Sex-Specific Adaptation, Institute of Science and Technology Austria, 2023.'
corr_author: '1'
date_created: 2023-08-15T10:20:40Z
date_published: 2023-08-15T00:00:00Z
date_updated: 2026-04-07T13:25:34Z
day: '15'
ddc:
- '576'
degree_awarded: PhD
department:
- _id: GradSch
- _id: NiBa
- _id: BeVi
doi: 10.15479/at:ista:14058
ec_funded: 1
file:
- access_level: closed
checksum: 4e44e169f2724ee8c9324cd60bcc2b71
content_type: application/zip
creator: gpuixeus
date_created: 2023-08-16T18:15:17Z
date_updated: 2023-08-17T06:55:24Z
file_id: '14075'
file_name: Thesis_latex_forpdfa.zip
file_size: 10891454
relation: source_file
- access_level: open_access
checksum: e10b04cd8f3fecc0d9ef6e6868b6e1e8
content_type: application/pdf
creator: gpuixeus
date_created: 2023-08-18T10:47:55Z
date_updated: 2023-08-18T10:47:55Z
file_id: '14079'
file_name: PhDThesis_PuixeuG.pdf
file_size: 19856686
relation: main_file
success: 1
file_date_updated: 2023-08-18T10:47:55Z
has_accepted_license: '1'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
page: '230'
project:
- _id: 2564DBCA-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '665385'
name: International IST Doctoral Program
- _id: 9B9DFC9E-BA93-11EA-9121-9846C619BF3A
grant_number: '25817'
name: 'Sexual conflict: resolution, constraints and biomedical implications'
publication_identifier:
isbn:
- 978-3-99078-035-0
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '9803'
relation: research_data
status: public
- id: '12933'
relation: research_data
status: public
- id: '6831'
relation: part_of_dissertation
status: public
- id: '14077'
relation: part_of_dissertation
status: public
status: public
supervisor:
- first_name: Beatriz
full_name: Vicoso, Beatriz
id: 49E1C5C6-F248-11E8-B48F-1D18A9856A87
last_name: Vicoso
orcid: 0000-0002-4579-8306
- first_name: Nicholas H
full_name: Barton, Nicholas H
id: 4880FE40-F248-11E8-B48F-1D18A9856A87
last_name: Barton
orcid: 0000-0002-8548-5240
title: 'The molecular basis of sexual dimorphism: Experimental and theoretical characterization
of phenotypic, transcriptomic and genetic patterns of sex-specific adaptation'
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: dissertation
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
year: '2023'
...
---
_id: '14077'
abstract:
- lang: eng
text: "The regulatory architecture of gene expression is known to differ substantially
between sexes in Drosophila, but most studies performed\r\nso far used whole-body
data and only single crosses, which may have limited their scope to detect patterns
that are robust across tissues\r\nand biological replicates. Here, we use allele-specific
gene expression of parental and reciprocal hybrid crosses between 6 Drosophila\r\nmelanogaster
inbred lines to quantify cis- and trans-regulatory variation in heads and gonads
of both sexes separately across 3 replicate\r\ncrosses. Our results suggest that
female and male heads, as well as ovaries, have a similar regulatory architecture.
On the other hand,\r\ntestes display more and substantially different cis-regulatory
effects, suggesting that sex differences in the regulatory architecture that\r\nhave
been previously observed may largely derive from testis-specific effects. We also
examine the difference in cis-regulatory variation\r\nof genes across different
levels of sex bias in gonads and heads. Consistent with the idea that intersex
correlations constrain expression\r\nand can lead to sexual antagonism, we find
more cis variation in unbiased and moderately biased genes in heads. In ovaries,
reduced cis\r\nvariation is observed for male-biased genes, suggesting that cis
variants acting on these genes in males do not lead to changes in ovary\r\nexpression.
Finally, we examine the dominance patterns of gene expression and find that sex-
and tissue-specific patterns of inheritance\r\nas well as trans-regulatory variation
are highly variable across biological crosses, although these were performed in
highly controlled\r\nexperimental conditions. This highlights the importance of
using various genetic backgrounds to infer generalizable patterns."
acknowledged_ssus:
- _id: ScienComp
acknowledgement: We thank members of the Vicoso Group for comments on the manuscript,
the Scientific Computing Unit at ISTA for technical support, and 2 anonymous reviewers
for useful feedback. GP is the recipient of a DOC Fellowship of the Austrian Academy
of Sciences at the Institute of Science and Technology Austria (DOC 25817) and received
funding from the European Union’s Horizon 2020 research and innovation program under
the Marie Skłodowska-Curie Grant (agreement no. 665385).
article_processing_charge: Yes
article_type: original
author:
- first_name: Gemma
full_name: Puixeu Sala, Gemma
id: 33AB266C-F248-11E8-B48F-1D18A9856A87
last_name: Puixeu Sala
orcid: 0000-0001-8330-1754
- first_name: Ariana
full_name: Macon, Ariana
id: 2A0848E2-F248-11E8-B48F-1D18A9856A87
last_name: Macon
- first_name: Beatriz
full_name: Vicoso, Beatriz
id: 49E1C5C6-F248-11E8-B48F-1D18A9856A87
last_name: Vicoso
orcid: 0000-0002-4579-8306
citation:
ama: 'Puixeu Sala G, Macon A, Vicoso B. Sex-specific estimation of cis and trans
regulation of gene expression in heads and gonads of Drosophila melanogaster.
G3: Genes, Genomes, Genetics. 2023;13(8). doi:10.1093/g3journal/jkad121'
apa: 'Puixeu Sala, G., Macon, A., & Vicoso, B. (2023). Sex-specific estimation
of cis and trans regulation of gene expression in heads and gonads of Drosophila
melanogaster. G3: Genes, Genomes, Genetics. Oxford University Press. https://doi.org/10.1093/g3journal/jkad121'
chicago: 'Puixeu Sala, Gemma, Ariana Macon, and Beatriz Vicoso. “Sex-Specific Estimation
of Cis and Trans Regulation of Gene Expression in Heads and Gonads of Drosophila
Melanogaster.” G3: Genes, Genomes, Genetics. Oxford University Press, 2023.
https://doi.org/10.1093/g3journal/jkad121.'
ieee: 'G. Puixeu Sala, A. Macon, and B. Vicoso, “Sex-specific estimation of cis
and trans regulation of gene expression in heads and gonads of Drosophila melanogaster,”
G3: Genes, Genomes, Genetics, vol. 13, no. 8. Oxford University Press,
2023.'
ista: 'Puixeu Sala G, Macon A, Vicoso B. 2023. Sex-specific estimation of cis and
trans regulation of gene expression in heads and gonads of Drosophila melanogaster.
G3: Genes, Genomes, Genetics. 13(8).'
mla: 'Puixeu Sala, Gemma, et al. “Sex-Specific Estimation of Cis and Trans Regulation
of Gene Expression in Heads and Gonads of Drosophila Melanogaster.” G3: Genes,
Genomes, Genetics, vol. 13, no. 8, Oxford University Press, 2023, doi:10.1093/g3journal/jkad121.'
short: 'G. Puixeu Sala, A. Macon, B. Vicoso, G3: Genes, Genomes, Genetics 13 (2023).'
corr_author: '1'
date_created: 2023-08-18T06:52:14Z
date_published: 2023-08-01T00:00:00Z
date_updated: 2026-04-07T13:25:34Z
day: '01'
ddc:
- '570'
department:
- _id: BeVi
- _id: NiBa
- _id: GradSch
doi: 10.1093/g3journal/jkad121
ec_funded: 1
external_id:
isi:
- '001002997200001'
pmid:
- '37259621'
file:
- access_level: open_access
checksum: c62e29fc7c5efbf8356f4c60cab4a2d1
content_type: application/pdf
creator: dernst
date_created: 2023-11-07T09:00:19Z
date_updated: 2023-11-07T09:00:19Z
file_id: '14498'
file_name: 2023_G3_Puixeu.pdf
file_size: 845642
relation: main_file
success: 1
file_date_updated: 2023-11-07T09:00:19Z
has_accepted_license: '1'
intvolume: ' 13'
isi: 1
issue: '8'
keyword:
- Genetics (clinical)
- Genetics
- Molecular Biology
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
pmid: 1
project:
- _id: 2564DBCA-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '665385'
name: International IST Doctoral Program
- _id: 9B9DFC9E-BA93-11EA-9121-9846C619BF3A
grant_number: '25817'
name: 'Sexual conflict: resolution, constraints and biomedical implications'
publication: 'G3: Genes, Genomes, Genetics'
publication_identifier:
issn:
- 2160-1836
publication_status: published
publisher: Oxford University Press
quality_controlled: '1'
related_material:
record:
- id: '12933'
relation: research_data
status: public
- id: '14058'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Sex-specific estimation of cis and trans regulation of gene expression in heads
and gonads of Drosophila melanogaster
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: 13
year: '2023'
...
---
_id: '14087'
abstract:
- lang: eng
text: Polar active matter of self-propelled particles sustain spontaneous flows
through the full-integer topological defects. We study theoretically the incompressible
flow profiles around ±1 defects induced by polar and dipolar active forces. We
show that dipolar forces induce vortical flows around the +1 defect, while the
flow around the −1 defect has an 8-fold rotational symmetry. The vortical flow
changes its chirality near the +1 defect core in the absence of the friction with
a substrate. We show analytically that the flow induced by polar active forces
is vortical near the +1 defect and is 4-fold symmetric near the −1 defect, while
it becomes uniform in the far-field. For a pair of oppositely charged defects,
this polar flow contributes to a mutual interaction force that depends only on
the orientation of the defect pair relative to the background polarization, and
that enhances defect pair annihilation. This is in contradiction with the effect
of dipolar active forces which decay inversely proportional with the defect separation
distance. As such, our analyses reveals a long-ranged mechanism for the pairwise
interaction between topological defects in polar active matter.
acknowledgement: J. Rø and L. A. acknowledge support from the Research Council of
Norway through the Center of Excellence funding scheme, Project No. 262644 (PoreLab).
A. D. acknowledges funding from the Novo Nordisk Foundation (grant No. NNF18SA0035142
and NERD grant No. NNF21OC0068687), Villum Fonden Grant no. 29476, and the European
Union via the ERC-Starting Grant PhysCoMeT. Views and opinions expressed are however
those of the authors only and do not necessarily reflect those of the European Union
or the European Research Council. Neither the European Union nor the granting authority
can be held responsible for them.
article_processing_charge: Yes (in subscription journal)
article_type: original
arxiv: 1
author:
- first_name: Jonas
full_name: Rønning, Jonas
last_name: Rønning
- first_name: Julian B
full_name: Renaud, Julian B
id: 7af6767d-14eb-11ed-b536-a32449ae867c
last_name: Renaud
- first_name: Amin
full_name: Doostmohammadi, Amin
last_name: Doostmohammadi
- first_name: Luiza
full_name: Angheluta, Luiza
last_name: Angheluta
citation:
ama: Rønning J, Renaud JB, Doostmohammadi A, Angheluta L. Spontaneous flows and
dynamics of full-integer topological defects in polar active matter. Soft Matter.
2023;39:7513-7527. doi:10.1039/d3sm00316g
apa: Rønning, J., Renaud, J. B., Doostmohammadi, A., & Angheluta, L. (2023).
Spontaneous flows and dynamics of full-integer topological defects in polar active
matter. Soft Matter. Royal Society of Chemistry. https://doi.org/10.1039/d3sm00316g
chicago: Rønning, Jonas, Julian B Renaud, Amin Doostmohammadi, and Luiza Angheluta.
“Spontaneous Flows and Dynamics of Full-Integer Topological Defects in Polar Active
Matter.” Soft Matter. Royal Society of Chemistry, 2023. https://doi.org/10.1039/d3sm00316g.
ieee: J. Rønning, J. B. Renaud, A. Doostmohammadi, and L. Angheluta, “Spontaneous
flows and dynamics of full-integer topological defects in polar active matter,”
Soft Matter, vol. 39. Royal Society of Chemistry, pp. 7513–7527, 2023.
ista: Rønning J, Renaud JB, Doostmohammadi A, Angheluta L. 2023. Spontaneous flows
and dynamics of full-integer topological defects in polar active matter. Soft
Matter. 39, 7513–7527.
mla: Rønning, Jonas, et al. “Spontaneous Flows and Dynamics of Full-Integer Topological
Defects in Polar Active Matter.” Soft Matter, vol. 39, Royal Society of
Chemistry, 2023, pp. 7513–27, doi:10.1039/d3sm00316g.
short: J. Rønning, J.B. Renaud, A. Doostmohammadi, L. Angheluta, Soft Matter 39
(2023) 7513–7527.
date_created: 2023-08-20T22:01:15Z
date_published: 2023-09-01T00:00:00Z
date_updated: 2025-04-23T13:03:12Z
day: '01'
ddc:
- '540'
department:
- _id: GradSch
doi: 10.1039/d3sm00316g
external_id:
arxiv:
- '2303.07063'
isi:
- '001035766100001'
pmid:
- '37493084'
file:
- access_level: open_access
checksum: b936747170d0b708172b518078c4081a
content_type: application/pdf
creator: dernst
date_created: 2024-01-30T12:48:24Z
date_updated: 2024-01-30T12:48:24Z
file_id: '14908'
file_name: 2023_SoftMatter_Ronning.pdf
file_size: 7660662
relation: main_file
success: 1
file_date_updated: 2024-01-30T12:48:24Z
has_accepted_license: '1'
intvolume: ' 39'
isi: 1
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
page: 7513-7527
pmid: 1
publication: Soft Matter
publication_identifier:
eissn:
- 1744-6848
issn:
- 1744-683X
publication_status: published
publisher: Royal Society of Chemistry
quality_controlled: '1'
scopus_import: '1'
status: public
title: Spontaneous flows and dynamics of full-integer topological defects in polar
active matter
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: 39
year: '2023'
...
---
_id: '14260'
abstract:
- lang: eng
text: "This paper presents Lincheck, a new practical and user-friendly framework
for testing concurrent algorithms on the Java Virtual Machine (JVM). Lincheck
provides a simple and declarative way to write concurrent tests: instead of describing
how to perform the test, users specify what to test by declaring all the operations
to examine; the framework automatically handles the rest. As a result, tests written
with Lincheck are concise and easy to understand. The framework automatically
generates a set of concurrent scenarios, examines them using stress-testing or
bounded model checking, and verifies that the results of each invocation are correct.
Notably, if an error is detected via model checking, Lincheck provides an easy-to-follow
trace to reproduce it, significantly simplifying the bug investigation.\r\n\r\nTo
the best of our knowledge, Lincheck is the first production-ready tool on the
JVM that offers such a simple way of writing concurrent tests, without requiring
special skills or expertise. We successfully integrated Lincheck in the development
process of several large projects, such as Kotlin Coroutines, and identified new
bugs in popular concurrency libraries, such as a race in Java’s standard ConcurrentLinkedDeque
and a liveliness bug in Java’s AbstractQueuedSynchronizer framework, which is
used in most of the synchronization primitives. We believe that Lincheck can significantly
improve the quality and productivity of concurrent algorithms research and development
and become the state-of-the-art tool for checking their correctness."
alternative_title:
- LNCS
article_processing_charge: Yes (in subscription journal)
author:
- first_name: Nikita
full_name: Koval, Nikita
id: 2F4DB10C-F248-11E8-B48F-1D18A9856A87
last_name: Koval
- first_name: Alexander
full_name: Fedorov, Alexander
id: 2e711909-896a-11ed-bdf8-eb0f5a2984c6
last_name: Fedorov
- first_name: Maria
full_name: Sokolova, Maria
last_name: Sokolova
- first_name: Dmitry
full_name: Tsitelov, Dmitry
last_name: Tsitelov
- 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: 'Koval N, Fedorov A, Sokolova M, Tsitelov D, Alistarh D-A. Lincheck: A practical
framework for testing concurrent data structures on JVM. In: 35th International
Conference on Computer Aided Verification . Vol 13964. Springer Nature; 2023:156-169.
doi:10.1007/978-3-031-37706-8_8'
apa: 'Koval, N., Fedorov, A., Sokolova, M., Tsitelov, D., & Alistarh, D.-A.
(2023). Lincheck: A practical framework for testing concurrent data structures
on JVM. In 35th International Conference on Computer Aided Verification
(Vol. 13964, pp. 156–169). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-37706-8_8'
chicago: 'Koval, Nikita, Alexander Fedorov, Maria Sokolova, Dmitry Tsitelov, and
Dan-Adrian Alistarh. “Lincheck: A Practical Framework for Testing Concurrent Data
Structures on JVM.” In 35th International Conference on Computer Aided Verification
, 13964:156–69. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-37706-8_8.'
ieee: 'N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, and D.-A. Alistarh, “Lincheck:
A practical framework for testing concurrent data structures on JVM,” in 35th
International Conference on Computer Aided Verification , Paris, France, 2023,
vol. 13964, pp. 156–169.'
ista: 'Koval N, Fedorov A, Sokolova M, Tsitelov D, Alistarh D-A. 2023. Lincheck:
A practical framework for testing concurrent data structures on JVM. 35th International
Conference on Computer Aided Verification . CAV: Computer Aided Verification,
LNCS, vol. 13964, 156–169.'
mla: 'Koval, Nikita, et al. “Lincheck: A Practical Framework for Testing Concurrent
Data Structures on JVM.” 35th International Conference on Computer Aided Verification
, vol. 13964, Springer Nature, 2023, pp. 156–69, doi:10.1007/978-3-031-37706-8_8.'
short: N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, D.-A. Alistarh, in:, 35th
International Conference on Computer Aided Verification , Springer Nature, 2023,
pp. 156–169.
conference:
end_date: 2023-07-22
location: Paris, France
name: 'CAV: Computer Aided Verification'
start_date: 2023-07-17
date_created: 2023-09-03T22:01:16Z
date_published: 2023-07-17T00:00:00Z
date_updated: 2025-09-09T12:51:52Z
day: '17'
ddc:
- '000'
department:
- _id: DaAl
- _id: GradSch
doi: 10.1007/978-3-031-37706-8_8
external_id:
isi:
- '001310786500008'
file:
- access_level: open_access
checksum: c346016393123a0a2338ad4d976f61bc
content_type: application/pdf
creator: dernst
date_created: 2023-09-06T08:16:25Z
date_updated: 2023-09-06T08:16:25Z
file_id: '14275'
file_name: 2023_LNCS_Koval.pdf
file_size: 421408
relation: main_file
success: 1
file_date_updated: 2023-09-06T08:16:25Z
has_accepted_license: '1'
intvolume: ' 13964'
isi: 1
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
page: 156-169
publication: '35th International Conference on Computer Aided Verification '
publication_identifier:
eissn:
- 1611-3349
isbn:
- '9783031377051'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
record:
- id: '14995'
relation: research_data
status: public
scopus_import: '1'
status: public
title: 'Lincheck: A practical framework for testing concurrent data structures on JVM'
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: 13964
year: '2023'
...
---
_id: '14261'
abstract:
- lang: eng
text: In this work, a generalized, adapted Numerov implementation capable of determining
band structures of periodic quantum systems is outlined. Based on the input potential,
the presented approach numerically solves the Schrödinger equation in position
space at each momentum space point. Thus, in addition to the band structure, the
method inherently provides information about the state functions and probability
densities in position space at each momentum space point considered. The generalized,
adapted Numerov framework provided reliable estimates for a variety of increasingly
complex test suites in one, two, and three dimensions. The accuracy of the proposed
methodology was benchmarked against results obtained for the analytically solvable
Kronig-Penney model. Furthermore, the presented numerical solver was applied to
a model potential representing a 2D optical lattice being a challenging application
relevant, for example, in the field of quantum computing.
acknowledgement: Financial supports for this work via a PhD scholarship for J. Gamper
issued by the Leopold-Franzens-University of Innsbruck (Vicerector Prof. Dr Ulrike
Tanzer) are gratefully acknowledged. The computational results presented have been
achieved (in part) using the HPC infrastructure of the University of Innsbruck.
article_processing_charge: Yes (in subscription journal)
article_type: original
author:
- first_name: Jakob
full_name: Gamper, Jakob
last_name: Gamper
- first_name: Florian
full_name: Kluibenschedl, Florian
id: 7499e70e-eb2c-11ec-b98b-f925648bc9d9
last_name: Kluibenschedl
- first_name: Alexander K.H.
full_name: Weiss, Alexander K.H.
last_name: Weiss
- first_name: Thomas S.
full_name: Hofer, Thomas S.
last_name: Hofer
citation:
ama: Gamper J, Kluibenschedl F, Weiss AKH, Hofer TS. Accessing position space wave
functions in band structure calculations of periodic systems - a generalized,
adapted numerov implementation for one-, two-, and three-dimensional quantum problems.
Journal of Physical Chemistry Letters. 2023;14(33):7395-7403. doi:10.1021/acs.jpclett.3c01707
apa: Gamper, J., Kluibenschedl, F., Weiss, A. K. H., & Hofer, T. S. (2023).
Accessing position space wave functions in band structure calculations of periodic
systems - a generalized, adapted numerov implementation for one-, two-, and three-dimensional
quantum problems. Journal of Physical Chemistry Letters. American Chemical
Society. https://doi.org/10.1021/acs.jpclett.3c01707
chicago: Gamper, Jakob, Florian Kluibenschedl, Alexander K.H. Weiss, and Thomas
S. Hofer. “Accessing Position Space Wave Functions in Band Structure Calculations
of Periodic Systems - a Generalized, Adapted Numerov Implementation for One-,
Two-, and Three-Dimensional Quantum Problems.” Journal of Physical Chemistry
Letters. American Chemical Society, 2023. https://doi.org/10.1021/acs.jpclett.3c01707.
ieee: J. Gamper, F. Kluibenschedl, A. K. H. Weiss, and T. S. Hofer, “Accessing position
space wave functions in band structure calculations of periodic systems - a generalized,
adapted numerov implementation for one-, two-, and three-dimensional quantum problems,”
Journal of Physical Chemistry Letters, vol. 14, no. 33. American Chemical
Society, pp. 7395–7403, 2023.
ista: Gamper J, Kluibenschedl F, Weiss AKH, Hofer TS. 2023. Accessing position space
wave functions in band structure calculations of periodic systems - a generalized,
adapted numerov implementation for one-, two-, and three-dimensional quantum problems.
Journal of Physical Chemistry Letters. 14(33), 7395–7403.
mla: Gamper, Jakob, et al. “Accessing Position Space Wave Functions in Band Structure
Calculations of Periodic Systems - a Generalized, Adapted Numerov Implementation
for One-, Two-, and Three-Dimensional Quantum Problems.” Journal of Physical
Chemistry Letters, vol. 14, no. 33, American Chemical Society, 2023, pp. 7395–403,
doi:10.1021/acs.jpclett.3c01707.
short: J. Gamper, F. Kluibenschedl, A.K.H. Weiss, T.S. Hofer, Journal of Physical
Chemistry Letters 14 (2023) 7395–7403.
date_created: 2023-09-03T22:01:16Z
date_published: 2023-08-11T00:00:00Z
date_updated: 2023-09-06T11:04:31Z
day: '11'
ddc:
- '530'
- '540'
department:
- _id: GradSch
doi: 10.1021/acs.jpclett.3c01707
external_id:
isi:
- '001048165800001'
pmid:
- '37566743'
file:
- access_level: open_access
checksum: 637454e2b3a357498d8d622d241c4bf6
content_type: application/pdf
creator: dernst
date_created: 2023-09-06T07:32:39Z
date_updated: 2023-09-06T07:32:39Z
file_id: '14272'
file_name: 2023_JourPhysChemistry_Gamper.pdf
file_size: 4986859
relation: main_file
success: 1
file_date_updated: 2023-09-06T07:32:39Z
has_accepted_license: '1'
intvolume: ' 14'
isi: 1
issue: '33'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
page: 7395-7403
pmid: 1
publication: Journal of Physical Chemistry Letters
publication_identifier:
eissn:
- 1948-7185
publication_status: published
publisher: American Chemical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Accessing position space wave functions in band structure calculations of periodic
systems - a generalized, adapted numerov implementation for one-, two-, and three-dimensional
quantum problems
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 14
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'
...
---
OA_place: publisher
_id: '14374'
abstract:
- lang: eng
text: "Superconductivity has many important applications ranging from levitating
trains over qubits to MRI scanners. The phenomenon is successfully modeled by
Bardeen-Cooper-Schrieffer (BCS) theory. From a mathematical perspective, BCS theory
has been studied extensively for systems without boundary. However, little is
known in the presence of boundaries. With the help of numerical methods physicists
observed that the critical temperature may increase in the presence of a boundary.
The goal of this thesis is to understand the influence of boundaries on the critical
temperature in BCS theory and to give a first rigorous justification of these
observations. On the way, we also study two-body Schrödinger operators on domains
with boundaries and prove additional results for superconductors without boundary.\r\n\r\nBCS
theory is based on a non-linear functional, where the minimizer indicates whether
the system is superconducting or in the normal, non-superconducting state. By
considering the Hessian of the BCS functional at the normal state, one can analyze
whether the normal state is possibly a minimum of the BCS functional and estimate
the critical temperature. The Hessian turns out to be a linear operator resembling
a Schrödinger operator for two interacting particles, but with more complicated
kinetic energy. As a first step, we study the two-body Schrödinger operator in
the presence of boundaries.\r\nFor Neumann boundary conditions, we prove that
the addition of a boundary can create new eigenvalues, which correspond to the
two particles forming a bound state close to the boundary.\r\n\r\nSecond, we need
to understand superconductivity in the translation invariant setting. While in
three dimensions this has been extensively studied, there is no mathematical literature
for the one and two dimensional cases. In dimensions one and two, we compute the
weak coupling asymptotics of the critical temperature and the energy gap in the
translation invariant setting. We also prove that their ratio is independent of
the microscopic details of the model in the weak coupling limit; this property
is referred to as universality.\r\n\r\nIn the third part, we study the critical
temperature of superconductors in the presence of boundaries. We start by considering
the one-dimensional case of a half-line with contact interaction. Then, we generalize
the results to generic interactions and half-spaces in one, two and three dimensions.
Finally, we compare the critical temperature of a quarter space in two dimensions
to the critical temperatures of a half-space and of the full space."
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Barbara
full_name: Roos, Barbara
id: 5DA90512-D80F-11E9-8994-2E2EE6697425
last_name: Roos
orcid: 0000-0002-9071-5880
citation:
ama: Roos B. Boundary superconductivity in BCS theory. 2023. doi:10.15479/at:ista:14374
apa: Roos, B. (2023). Boundary superconductivity in BCS theory. Institute
of Science and Technology Austria. https://doi.org/10.15479/at:ista:14374
chicago: Roos, Barbara. “Boundary Superconductivity in BCS Theory.” Institute of
Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:14374.
ieee: B. Roos, “Boundary superconductivity in BCS theory,” Institute of Science
and Technology Austria, 2023.
ista: Roos B. 2023. Boundary superconductivity in BCS theory. Institute of Science
and Technology Austria.
mla: Roos, Barbara. Boundary Superconductivity in BCS Theory. Institute of
Science and Technology Austria, 2023, doi:10.15479/at:ista:14374.
short: B. Roos, Boundary Superconductivity in BCS Theory, Institute of Science and
Technology Austria, 2023.
corr_author: '1'
date_created: 2023-09-28T14:23:04Z
date_published: 2023-09-30T00:00:00Z
date_updated: 2026-04-07T13:27:39Z
day: '30'
ddc:
- '515'
- '539'
degree_awarded: PhD
department:
- _id: GradSch
- _id: RoSe
doi: 10.15479/at:ista:14374
ec_funded: 1
file:
- access_level: open_access
checksum: ef039ffc3de2cb8dee5b14110938e9b6
content_type: application/pdf
creator: broos
date_created: 2023-10-06T11:35:56Z
date_updated: 2023-10-06T11:35:56Z
file_id: '14398'
file_name: phd-thesis-draft_pdfa_acrobat.pdf
file_size: 2365702
relation: main_file
- access_level: closed
checksum: 81dcac33daeefaf0111db52f41bb1fd0
content_type: application/x-zip-compressed
creator: broos
date_created: 2023-10-06T11:38:01Z
date_updated: 2023-10-06T11:38:01Z
file_id: '14399'
file_name: Version5.zip
file_size: 4691734
relation: source_file
file_date_updated: 2023-10-06T11:38:01Z
has_accepted_license: '1'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
page: '206'
project:
- _id: 25C6DC12-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '694227'
name: Analysis of quantum many-body systems
- _id: bda63fe5-d553-11ed-ba76-a16e3d2f256b
grant_number: I06427
name: Mathematical Challenges in BCS Theory of Superconductivity
publication_identifier:
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '10850'
relation: part_of_dissertation
status: public
- id: '13207'
relation: part_of_dissertation
status: public
status: public
supervisor:
- first_name: Robert
full_name: Seiringer, Robert
id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
last_name: Seiringer
orcid: 0000-0002-6781-0521
title: Boundary superconductivity in BCS theory
tmp:
image: /images/cc_by_nc_sa.png
legal_code_url: https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode
name: Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC
BY-NC-SA 4.0)
short: CC BY-NC-SA (4.0)
type: dissertation
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
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: '14425'
abstract:
- lang: eng
text: 'Water adsorption and dissociation processes on pristine low-index TiO2 interfaces
are important but poorly understood outside the well-studied anatase (101) and
rutile (110). To understand these, we construct three sets of machine learning
potentials that are simultaneously applicable to various TiO2 surfaces, based
on three density-functional-theory approximations. Here we show the water dissociation
free energies on seven pristine TiO2 surfaces, and predict that anatase (100),
anatase (110), rutile (001), and rutile (011) favor water dissociation, anatase
(101) and rutile (100) have mostly molecular adsorption, while the simulations
of rutile (110) sensitively depend on the slab thickness and molecular adsorption
is preferred with thick slabs. Moreover, using an automated algorithm, we reveal
that these surfaces follow different types of atomistic mechanisms for proton
transfer and water dissociation: one-step, two-step, or both. These mechanisms
can be rationalized based on the arrangements of water molecules on the different
surfaces. Our finding thus demonstrates that the different pristine TiO2 surfaces
react with water in distinct ways, and cannot be represented using just the low-energy
anatase (101) and rutile (110) surfaces.'
acknowledgement: F.S., J.H., and B.C. thank the Swiss National Supercomputing Centre
(CSCS) for the generous allocation of CPU hours via production project s1108 at
the Piz Daint supercomputer. B.C. acknowledges resources provided by the Cambridge
Tier-2 system operated by the University of Cambridge Research Computing Service
funded by EPSRC Tier-2 capital grant EP/P020259/1. J.C. acknowledges the Beijing
Natural Science Foundation for support under grant No. JQ22001. F.S., and J.H. thank
the Swiss Platform for Advanced Scientific Computing (PASC) via the 2021-2024 “Ab
Initio Molecular Dynamics at the Exa-Scale” project. This project has received funding
from the European Union’s Horizon 2020 research and innovation programme under the
Marie Skłodowska-Curie grant agreement No 101034413.
article_number: '6131'
article_processing_charge: Yes
article_type: original
arxiv: 1
author:
- first_name: Zezhu
full_name: Zeng, Zezhu
id: 54a2c730-803f-11ed-ab7e-95b29d2680e7
last_name: Zeng
- first_name: Felix
full_name: Wodaczek, Felix
id: 8b4b6a9f-32b0-11ee-9fa8-bbe85e26258e
last_name: Wodaczek
orcid: 0009-0000-1457-795X
- first_name: Keyang
full_name: Liu, Keyang
last_name: Liu
- first_name: Frederick
full_name: Stein, Frederick
last_name: Stein
- first_name: Jürg
full_name: Hutter, Jürg
last_name: Hutter
- first_name: Ji
full_name: Chen, Ji
last_name: Chen
- first_name: Bingqing
full_name: Cheng, Bingqing
id: cbe3cda4-d82c-11eb-8dc7-8ff94289fcc9
last_name: Cheng
orcid: 0000-0002-3584-9632
citation:
ama: Zeng Z, Wodaczek F, Liu K, et al. Mechanistic insight on water dissociation
on pristine low-index TiO2 surfaces from machine learning molecular dynamics simulations.
Nature Communications. 2023;14. doi:10.1038/s41467-023-41865-8
apa: Zeng, Z., Wodaczek, F., Liu, K., Stein, F., Hutter, J., Chen, J., & Cheng,
B. (2023). Mechanistic insight on water dissociation on pristine low-index TiO2
surfaces from machine learning molecular dynamics simulations. Nature Communications.
Springer Nature. https://doi.org/10.1038/s41467-023-41865-8
chicago: Zeng, Zezhu, Felix Wodaczek, Keyang Liu, Frederick Stein, Jürg Hutter,
Ji Chen, and Bingqing Cheng. “Mechanistic Insight on Water Dissociation on Pristine
Low-Index TiO2 Surfaces from Machine Learning Molecular Dynamics Simulations.”
Nature Communications. Springer Nature, 2023. https://doi.org/10.1038/s41467-023-41865-8.
ieee: Z. Zeng et al., “Mechanistic insight on water dissociation on pristine
low-index TiO2 surfaces from machine learning molecular dynamics simulations,”
Nature Communications, vol. 14. Springer Nature, 2023.
ista: Zeng Z, Wodaczek F, Liu K, Stein F, Hutter J, Chen J, Cheng B. 2023. Mechanistic
insight on water dissociation on pristine low-index TiO2 surfaces from machine
learning molecular dynamics simulations. Nature Communications. 14, 6131.
mla: Zeng, Zezhu, et al. “Mechanistic Insight on Water Dissociation on Pristine
Low-Index TiO2 Surfaces from Machine Learning Molecular Dynamics Simulations.”
Nature Communications, vol. 14, 6131, Springer Nature, 2023, doi:10.1038/s41467-023-41865-8.
short: Z. Zeng, F. Wodaczek, K. Liu, F. Stein, J. Hutter, J. Chen, B. Cheng, Nature
Communications 14 (2023).
corr_author: '1'
date_created: 2023-10-15T22:01:10Z
date_published: 2023-10-02T00:00:00Z
date_updated: 2025-04-14T07:54:53Z
day: '02'
ddc:
- '540'
- '000'
department:
- _id: BiCh
- _id: GradSch
doi: 10.1038/s41467-023-41865-8
ec_funded: 1
external_id:
arxiv:
- '2303.07433'
isi:
- '001084354900008'
pmid:
- '37783698'
file:
- access_level: open_access
checksum: 7d1dffd36b672ec679f08f70ce79da87
content_type: application/pdf
creator: dernst
date_created: 2023-10-16T07:34:49Z
date_updated: 2023-10-16T07:34:49Z
file_id: '14432'
file_name: 2023_NatureComm_Zeng.pdf
file_size: 3194116
relation: main_file
success: 1
file_date_updated: 2023-10-16T07:34:49Z
has_accepted_license: '1'
intvolume: ' 14'
isi: 1
language:
- iso: eng
month: '10'
oa: 1
oa_version: Published Version
pmid: 1
project:
- _id: fc2ed2f7-9c52-11eb-aca3-c01059dda49c
call_identifier: H2020
grant_number: '101034413'
name: 'IST-BRIDGE: International postdoctoral program'
publication: Nature Communications
publication_identifier:
eissn:
- 2041-1723
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
link:
- relation: software
url: https://github.com/BingqingCheng/TiO2-water
scopus_import: '1'
status: public
title: Mechanistic insight on water dissociation on pristine low-index TiO2 surfaces
from machine learning molecular dynamics simulations
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: 14
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: '14485'
abstract:
- lang: eng
text: "Batching is a technique that stores multiple keys/values in each node of
a data structure. In sequential search data structures, batching reduces latency
by reducing the number of cache misses and shortening the chain of pointers to
dereference. Applying batching to concurrent data structures is challenging, because
it is difficult to maintain the search property and keep contention low in the
presence of batching.\r\nIn this paper, we present a general methodology for leveraging
batching in concurrent search data structures, called BatchBoost. BatchBoost builds
a search data structure from distinct \"data\" and \"index\" layers. The data
layer’s purpose is to store a batch of key/value pairs in each of its nodes. The
index layer uses an unmodified concurrent search data structure to route operations
to a position in the data layer that is \"close\" to where the corresponding key
should exist. The requirements on the index and data layers are low: with minimal
effort, we were able to compose three highly scalable concurrent search data structures
based on three original data structures as the index layers with a batched version
of the Lazy List as the data layer. The resulting BatchBoost data structures provide
significant performance improvements over their original counterparts."
alternative_title:
- LIPIcs
article_number: '35'
article_processing_charge: Yes
author:
- first_name: Vitaly
full_name: Aksenov, Vitaly
last_name: Aksenov
- first_name: Michael
full_name: Anoprenko, Michael
last_name: Anoprenko
- first_name: Alexander
full_name: Fedorov, Alexander
id: 2e711909-896a-11ed-bdf8-eb0f5a2984c6
last_name: Fedorov
- first_name: Michael
full_name: Spear, Michael
last_name: Spear
citation:
ama: 'Aksenov V, Anoprenko M, Fedorov A, Spear M. Brief announcement: BatchBoost:
Universal batching for concurrent data structures. In: 37th International Symposium
on Distributed Computing. Vol 281. Schloss Dagstuhl - Leibniz-Zentrum für
Informatik; 2023. doi:10.4230/LIPIcs.DISC.2023.35'
apa: 'Aksenov, V., Anoprenko, M., Fedorov, A., & Spear, M. (2023). Brief announcement:
BatchBoost: Universal batching for concurrent data structures. In 37th International
Symposium on Distributed Computing (Vol. 281). L’Aquila, Italy: Schloss Dagstuhl
- Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.DISC.2023.35'
chicago: 'Aksenov, Vitaly, Michael Anoprenko, Alexander Fedorov, and Michael Spear.
“Brief Announcement: BatchBoost: Universal Batching for Concurrent Data Structures.”
In 37th International Symposium on Distributed Computing, Vol. 281. Schloss
Dagstuhl - Leibniz-Zentrum für Informatik, 2023. https://doi.org/10.4230/LIPIcs.DISC.2023.35.'
ieee: 'V. Aksenov, M. Anoprenko, A. Fedorov, and M. Spear, “Brief announcement:
BatchBoost: Universal batching for concurrent data structures,” in 37th International
Symposium on Distributed Computing, L’Aquila, Italy, 2023, vol. 281.'
ista: 'Aksenov V, Anoprenko M, Fedorov A, Spear M. 2023. Brief announcement: BatchBoost:
Universal batching for concurrent data structures. 37th International Symposium
on Distributed Computing. DISC: Symposium on Distributed Computing, LIPIcs, vol.
281, 35.'
mla: 'Aksenov, Vitaly, et al. “Brief Announcement: BatchBoost: Universal Batching
for Concurrent Data Structures.” 37th International Symposium on Distributed
Computing, vol. 281, 35, Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
2023, doi:10.4230/LIPIcs.DISC.2023.35.'
short: V. Aksenov, M. Anoprenko, A. Fedorov, M. Spear, in:, 37th International Symposium
on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
conference:
end_date: 2023-10-13
location: L'Aquila, Italy
name: 'DISC: Symposium on Distributed Computing'
start_date: 2023-10-09
corr_author: '1'
date_created: 2023-11-05T23:00:53Z
date_published: 2023-10-01T00:00:00Z
date_updated: 2024-10-09T21:07:14Z
day: '01'
ddc:
- '000'
department:
- _id: GradSch
doi: 10.4230/LIPIcs.DISC.2023.35
file:
- access_level: open_access
checksum: d9f8d2915cccdf2df5905b7cd1b4a560
content_type: application/pdf
creator: dernst
date_created: 2023-11-06T11:45:21Z
date_updated: 2023-11-06T11:45:21Z
file_id: '14492'
file_name: 2023_LIPIcs_Aksenov.pdf
file_size: 646665
relation: main_file
success: 1
file_date_updated: 2023-11-06T11:45:21Z
has_accepted_license: '1'
intvolume: ' 281'
language:
- iso: eng
month: '10'
oa: 1
oa_version: Published Version
publication: 37th International Symposium on Distributed Computing
publication_identifier:
isbn:
- '9783959773010'
issn:
- 1868-8969
publication_status: published
publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Brief announcement: BatchBoost: Universal batching for concurrent data structures'
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: 281
year: '2023'
...
---
OA_place: publisher
_id: '14506'
abstract:
- lang: eng
text: "Payment channel networks are a promising approach to improve the scalability
bottleneck\r\nof cryptocurrencies. Two design principles behind payment channel
networks are\r\nefficiency and privacy. Payment channel networks improve efficiency
by allowing users\r\nto transact in a peer-to-peer fashion along multi-hop routes
in the network, avoiding\r\nthe lengthy process of consensus on the blockchain.
Transacting over payment channel\r\nnetworks also improves privacy as these transactions
are not broadcast to the blockchain.\r\nDespite the influx of recent protocols
built on top of payment channel networks and\r\ntheir analysis, a common shortcoming
of many of these protocols is that they typically\r\nfocus only on either improving
efficiency or privacy, but not both. Another limitation\r\non the efficiency front
is that the models used to model actions, costs and utilities of\r\nusers are
limited or come with unrealistic assumptions.\r\nThis thesis aims to address some
of the shortcomings of recent protocols and algorithms\r\non payment channel networks,
particularly in their privacy and efficiency aspects. We\r\nfirst present a payment
route discovery protocol based on hub labelling and private\r\ninformation retrieval
that hides the route query and is also efficient. We then present\r\na rebalancing
protocol that formulates the rebalancing problem as a linear program\r\nand solves
the linear program using multiparty computation so as to hide the channel\r\nbalances.
The rebalancing solution as output by our protocol is also globally optimal.\r\nWe
go on to develop more realistic models of the action space, costs, and utilities
of\r\nboth existing and new users that want to join the network. In each of these
settings,\r\nwe also develop algorithms to optimise the utility of these users
with good guarantees\r\non the approximation and competitive ratios."
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Michelle X
full_name: Yeo, Michelle X
id: 2D82B818-F248-11E8-B48F-1D18A9856A87
last_name: Yeo
orcid: 0009-0001-3676-4809
citation:
ama: Yeo MX. Advances in efficiency and privacy in payment channel network analysis.
2023. doi:10.15479/14506
apa: Yeo, M. X. (2023). Advances in efficiency and privacy in payment channel
network analysis. Institute of Science and Technology Austria. https://doi.org/10.15479/14506
chicago: Yeo, Michelle X. “Advances in Efficiency and Privacy in Payment Channel
Network Analysis.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/14506.
ieee: M. X. Yeo, “Advances in efficiency and privacy in payment channel network
analysis,” Institute of Science and Technology Austria, 2023.
ista: Yeo MX. 2023. Advances in efficiency and privacy in payment channel network
analysis. Institute of Science and Technology Austria.
mla: Yeo, Michelle X. Advances in Efficiency and Privacy in Payment Channel Network
Analysis. Institute of Science and Technology Austria, 2023, doi:10.15479/14506.
short: M.X. Yeo, Advances in Efficiency and Privacy in Payment Channel Network Analysis,
Institute of Science and Technology Austria, 2023.
corr_author: '1'
date_created: 2023-11-10T08:10:43Z
date_published: 2023-11-10T00:00:00Z
date_updated: 2026-04-07T13:29:45Z
day: '10'
ddc:
- '000'
degree_awarded: PhD
department:
- _id: GradSch
- _id: KrPi
doi: 10.15479/14506
ec_funded: 1
file:
- access_level: closed
checksum: 521c72818d720a52b377207b2ee87b6a
content_type: application/x-zip-compressed
creator: cchlebak
date_created: 2023-11-23T10:29:55Z
date_updated: 2023-11-23T10:29:55Z
file_id: '14598'
file_name: thesis_yeo.zip
file_size: 3037720
relation: source_file
- access_level: open_access
checksum: 0ed5d16899687aecf13d843c9878c9f2
content_type: application/pdf
creator: cchlebak
date_created: 2023-11-23T10:30:08Z
date_updated: 2023-11-23T10:30:08Z
file_id: '14599'
file_name: thesis_yeo.pdf
file_size: 2717256
relation: main_file
success: 1
file_date_updated: 2023-11-23T10:30:08Z
has_accepted_license: '1'
language:
- iso: eng
month: '11'
oa: 1
oa_version: Published Version
page: '162'
project:
- _id: 2564DBCA-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '665385'
name: International IST Doctoral Program
publication_identifier:
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '13238'
relation: part_of_dissertation
status: deleted
- id: '9969'
relation: part_of_dissertation
status: public
- id: '14490'
relation: part_of_dissertation
status: public
status: public
supervisor:
- first_name: Krzysztof Z
full_name: Pietrzak, Krzysztof Z
id: 3E04A7AA-F248-11E8-B48F-1D18A9856A87
last_name: Pietrzak
orcid: 0000-0002-9139-1654
title: Advances in efficiency and privacy in payment channel network analysis
type: dissertation
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
year: '2023'
...
---
OA_place: publisher
_id: '14530'
abstract:
- lang: eng
text: 'Most motions of many-body systems at any scale in nature with sufficient
degrees of freedom tend to be chaotic; reaching from the orbital motion of planets,
the air currents in our atmosphere, down to the water flowing through our pipelines
or the movement of a population of bacteria. To the observer it is therefore intriguing
when a moving collective exhibits order. Collective motion of flocks of birds,
schools of fish or swarms of self-propelled particles or robots have been studied
extensively over the past decades but the mechanisms involved in the transition
from chaos to order remain unclear. Here, the interactions, that in most systems
give rise to chaos, sustain order. In this thesis we investigate mechanisms that
preserve, destabilize or lead to the ordered state. We show that endothelial cells
migrating in circular confinements transition to a collective rotating state and
concomitantly synchronize the frequencies of nucleating actin waves within individual
cells. Consequently, the frequency dependent cell migration speed uniformizes
across the population. Complementary to the WAVE dependent nucleation of traveling
actin waves, we show that in leukocytes the actin polymerization depending on
WASp generates pushing forces locally at stationary patches. Next, in pipe flows,
we study methods to disrupt the self--sustaining cycle of turbulence and therefore
relaminarize the flow. While we find in pulsating flow conditions that turbulence
emerges through a helical instability during the decelerating phase. Finally,
we show quantitatively in brain slices of mice that wild-type control neurons
can compensate the migratory deficits of a genetically modified neuronal sub--population
in the developing cortex. '
acknowledged_ssus:
- _id: M-Shop
- _id: Bio
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Michael
full_name: Riedl, Michael
id: 3BE60946-F248-11E8-B48F-1D18A9856A87
last_name: Riedl
orcid: 0000-0003-4844-6311
citation:
ama: Riedl M. Synchronization in collectively moving active matter. 2023. doi:10.15479/14530
apa: Riedl, M. (2023). Synchronization in collectively moving active matter.
Institute of Science and Technology Austria. https://doi.org/10.15479/14530
chicago: Riedl, Michael. “Synchronization in Collectively Moving Active Matter.”
Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/14530.
ieee: M. Riedl, “Synchronization in collectively moving active matter,” Institute
of Science and Technology Austria, 2023.
ista: Riedl M. 2023. Synchronization in collectively moving active matter. Institute
of Science and Technology Austria.
mla: Riedl, Michael. Synchronization in Collectively Moving Active Matter.
Institute of Science and Technology Austria, 2023, doi:10.15479/14530.
short: M. Riedl, Synchronization in Collectively Moving Active Matter, Institute
of Science and Technology Austria, 2023.
corr_author: '1'
date_created: 2023-11-15T09:59:03Z
date_published: 2023-11-16T00:00:00Z
date_updated: 2026-04-07T13:29:13Z
day: '16'
ddc:
- '530'
- '570'
degree_awarded: PhD
department:
- _id: GradSch
- _id: MiSi
doi: 10.15479/14530
file:
- access_level: open_access
checksum: 52e1d0ab6c1abe59c82dfe8c9ff5f83a
content_type: application/pdf
creator: mriedl
date_created: 2023-11-15T09:52:54Z
date_updated: 2023-11-15T09:52:54Z
file_id: '14536'
file_name: Thesis_Riedl_2023_corr.pdf
file_size: 36743942
relation: main_file
success: 1
file_date_updated: 2023-11-15T09:52:54Z
has_accepted_license: '1'
keyword:
- Synchronization
- Collective Movement
- Active Matter
- Cell Migration
- Active Colloids
language:
- iso: eng
month: '11'
oa: 1
oa_version: Updated Version
page: '260'
publication_identifier:
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '461'
relation: part_of_dissertation
status: public
- id: '10791'
relation: part_of_dissertation
status: public
- id: '7932'
relation: part_of_dissertation
status: public
- id: '10703'
relation: part_of_dissertation
status: public
- id: '12726'
relation: old_edition
status: public
status: public
supervisor:
- first_name: Björn
full_name: Hof, Björn
id: 3A374330-F248-11E8-B48F-1D18A9856A87
last_name: Hof
orcid: 0000-0003-2057-2754
title: Synchronization in collectively moving active matter
type: dissertation
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
year: '2023'
...
---
OA_place: publisher
_id: '14539'
abstract:
- lang: eng
text: "Stochastic systems provide a formal framework for modelling and quantifying
uncertainty in systems and have been widely adopted in many application domains.
Formal\r\nverification and control of finite state stochastic systems, a subfield
of formal methods\r\nalso known as probabilistic model checking, is well studied.
In contrast, formal verification and control of infinite state stochastic systems
have received comparatively\r\nless attention. However, infinite state stochastic
systems commonly arise in practice.\r\nFor instance, probabilistic models that
contain continuous probability distributions such\r\nas normal or uniform, or
stochastic dynamical systems which are a classical model for\r\ncontrol under
uncertainty, both give rise to infinite state systems.\r\nThe goal of this thesis
is to contribute to laying theoretical and algorithmic foundations\r\nof fully
automated formal verification and control of infinite state stochastic systems,\r\nwith
a particular focus on systems that may be executed over a long or infinite time.\r\nWe
consider formal verification of infinite state stochastic systems in the setting
of\r\nstatic analysis of probabilistic programs and formal control in the setting
of controller\r\nsynthesis in stochastic dynamical systems. For both problems,
we present some of the\r\nfirst fully automated methods for probabilistic (a.k.a.
quantitative) reachability and\r\nsafety analysis applicable to infinite time
horizon systems. We also advance the state\r\nof the art of probability 1 (a.k.a.
qualitative) reachability analysis for both problems.\r\nFinally, for formal controller
synthesis in stochastic dynamical systems, we present a\r\nnovel framework for
learning neural network control policies in stochastic dynamical\r\nsystems with
formal guarantees on correctness with respect to quantitative reachability,\r\nsafety
or reach-avoid specifications.\r\n"
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Dorde
full_name: Zikelic, Dorde
id: 294AA7A6-F248-11E8-B48F-1D18A9856A87
last_name: Zikelic
orcid: 0000-0002-4681-1699
citation:
ama: Zikelic D. Automated verification and control of infinite state stochastic
systems. 2023. doi:10.15479/14539
apa: Zikelic, D. (2023). Automated verification and control of infinite state
stochastic systems. Institute of Science and Technology Austria. https://doi.org/10.15479/14539
chicago: Zikelic, Dorde. “Automated Verification and Control of Infinite State Stochastic
Systems.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/14539.
ieee: D. Zikelic, “Automated verification and control of infinite state stochastic
systems,” Institute of Science and Technology Austria, 2023.
ista: Zikelic D. 2023. Automated verification and control of infinite state stochastic
systems. Institute of Science and Technology Austria.
mla: Zikelic, Dorde. Automated Verification and Control of Infinite State Stochastic
Systems. Institute of Science and Technology Austria, 2023, doi:10.15479/14539.
short: D. Zikelic, Automated Verification and Control of Infinite State Stochastic
Systems, Institute of Science and Technology Austria, 2023.
corr_author: '1'
date_created: 2023-11-15T13:39:10Z
date_published: 2023-11-15T00:00:00Z
date_updated: 2026-04-07T13:27:56Z
day: '15'
ddc:
- '000'
degree_awarded: PhD
department:
- _id: KrCh
- _id: GradSch
doi: 10.15479/14539
ec_funded: 1
file:
- access_level: open_access
checksum: f23e002b0059ca78e1fbb864da52dd7e
content_type: application/pdf
creator: cchlebak
date_created: 2023-11-15T13:43:28Z
date_updated: 2023-11-15T13:43:28Z
file_id: '14540'
file_name: main.pdf
file_size: 2116426
relation: main_file
success: 1
- access_level: closed
checksum: 80ca37618a3c7b59866875f8be9b15ed
content_type: application/x-zip-compressed
creator: cchlebak
date_created: 2023-11-15T13:44:24Z
date_updated: 2023-11-15T13:44:24Z
file_id: '14541'
file_name: thesis_source.zip
file_size: 35884057
relation: source_file
file_date_updated: 2023-11-15T13:44:24Z
language:
- iso: eng
month: '11'
oa: 1
oa_version: Published Version
page: '256'
project:
- _id: 0599E47C-7A3F-11EA-A408-12923DDC885E
call_identifier: H2020
grant_number: '863818'
name: 'Formal Methods for Stochastic Models: Algorithms and Applications'
- _id: 2564DBCA-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '665385'
name: International IST Doctoral Program
publication_identifier:
isbn:
- 978-3-99078-036-7
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '10414'
relation: part_of_dissertation
status: public
- id: '12000'
relation: part_of_dissertation
status: public
- id: '9644'
relation: part_of_dissertation
status: public
- id: '12511'
relation: part_of_dissertation
status: public
- id: '14600'
relation: part_of_dissertation
status: public
- id: '14601'
relation: part_of_dissertation
status: public
- id: '1194'
relation: part_of_dissertation
status: public
status: public
supervisor:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
title: Automated verification and control of infinite state stochastic systems
tmp:
image: /images/cc_by_nc_sa.png
legal_code_url: https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode
name: Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC
BY-NC-SA 4.0)
short: CC BY-NC-SA (4.0)
type: dissertation
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
year: '2023'
...
---
OA_place: publisher
_id: '14547'
abstract:
- lang: eng
text: "Superconductor-semiconductor heterostructures currently capture a significant
amount of research interest and they serve as the physical platform in many proposals
towards topological quantum computation.\r\nDespite being under extensive investigations,
historically using transport techniques, the basic properties of the interface
between the superconductor and the semiconductor remain to be understood.\r\n\r\nIn
this thesis, two separate studies on the Al-InAs heterostructures are reported
with the first focusing on the physics of the material motivated by the emergence
of a new phase, the Bogoliubov-Fermi surface. \r\nThe second focuses on a technological
application, a gate-tunable Josephson parametric amplifier.\r\n\r\nIn the first
study, we investigate the hypothesized unconventional nature of the induced superconductivity
at the interface between the Al thin film and the InAs quantum well.\r\nWe embed
a two-dimensional Al-InAs hybrid system in a resonant microwave circuit allowing
measurements of change in inductance.\r\nThe behaviour of the resonance in a range
of temperature and in-plane magnetic field has been studied and compared with
the theory of conventional s-wave superconductor and a two-component theory that
includes both contribution of the $s$-wave pairing in Al and the intraband $p
\\pm ip$ pairing in InAs.\r\nMeasuring the temperature dependence of resonant
frequency, no discrepancy is found between data and the conventional theory.\r\nWe
observe the breakdown of superconductivity due to an applied magnetic field which
contradicts the conventional theory.\r\nIn contrast, the data can be captured
quantitatively by fitting to a two-component model.\r\nWe find the evidence of
the intraband $p \\pm ip$ pairing in the InAs and the emergence of the Bogoliubov-Fermi
surfaces due to magnetic field with the characteristic value $B^* = 0.33~\\mathrm{T}$.\r\nFrom
the fits, the sheet resistance of Al, the carrier density and mobility in InAs
are determined.\r\nBy systematically studying the anisotropy of the circuit response,
we find weak anisotropy for $B < B^*$ and increasingly strong anisotropy for $B
> B^*$ resulting in a pronounced two-lobe structure in polar plot of frequency
versus field angle.\r\nStrong resemblance between the field dependence of dissipation
and superfluid density hints at a hidden signature of the Bogoliubov-Fermi surface
that is burried in the dissipation data.\r\n\r\nIn the second study, we realize
a parametric amplifier with a Josephson field effect transistor as the active
element.\r\nThe device's modest construction consists of a gated SNS weak link
embedded at the center of a coplanar waveguide resonator.\r\nBy applying a gate
voltage, the resonant frequency is field-effect tunable over a range of 2 GHz.\r\nModelling
the JoFET minimally as a parallel RL circuit, the dissipation introduced by the
JoFET can be quantitatively related to the gate voltage.\r\nWe observed gate-tunable
Kerr nonlinearity qualitatively in line with expectation.\r\nThe JoFET amplifier
has 20 dB of gain, 4 MHz of instantaneous bandwidth, and a 1dB compression point
of -125.5 dBm when operated at a fixed resonant frequency.\r\nIn general, the
signal-to-noise ratio is improved by 5-7 dB when the JoFET amplifier is activated
compared.\r\nThe noise of the measurement chain and insertion loss of relevant
circuit elements are calibrated to determine the expected and the real noise performance
of the JoFET amplifier.\r\nAs a quantification of the noise performance, the measured
total input-referred noise of the JoFET amplifier is in good agreement with the
estimated expectation which takes device loss into account.\r\nWe found that the
noise performance of the device reported in this document approaches one photon
of total input-referred added noise which is the quantum limit imposed in nondegenerate
parametric amplifier."
acknowledged_ssus:
- _id: NanoFab
- _id: Bio
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Duc T
full_name: Phan, Duc T
id: 29C8C0B4-F248-11E8-B48F-1D18A9856A87
last_name: Phan
citation:
ama: Phan DT. Resonant microwave spectroscopy of Al-InAs. 2023. doi:10.15479/14547
apa: Phan, D. T. (2023). Resonant microwave spectroscopy of Al-InAs. Institute
of Science and Technology Austria. https://doi.org/10.15479/14547
chicago: Phan, Duc T. “Resonant Microwave Spectroscopy of Al-InAs.” Institute of
Science and Technology Austria, 2023. https://doi.org/10.15479/14547.
ieee: D. T. Phan, “Resonant microwave spectroscopy of Al-InAs,” Institute of Science
and Technology Austria, 2023.
ista: Phan DT. 2023. Resonant microwave spectroscopy of Al-InAs. Institute of Science
and Technology Austria.
mla: Phan, Duc T. Resonant Microwave Spectroscopy of Al-InAs. Institute of
Science and Technology Austria, 2023, doi:10.15479/14547.
short: D.T. Phan, Resonant Microwave Spectroscopy of Al-InAs, Institute of Science
and Technology Austria, 2023.
corr_author: '1'
date_created: 2023-11-17T13:45:26Z
date_published: 2023-11-16T00:00:00Z
date_updated: 2026-04-07T13:25:52Z
day: '16'
ddc:
- '530'
degree_awarded: PhD
department:
- _id: GradSch
- _id: AnHi
doi: 10.15479/14547
file:
- access_level: open_access
checksum: db0c37d213bc002125bd59690e9db246
content_type: application/pdf
creator: pduc
date_created: 2023-11-17T13:36:44Z
date_updated: 2023-11-22T09:46:06Z
file_id: '14548'
file_name: Phan_Thesis_pdfa.pdf
file_size: 34828019
relation: main_file
- access_level: closed
checksum: 8d3bd6afa279a0078ffd13e06bb6d56d
content_type: application/zip
creator: pduc
date_created: 2023-11-17T13:44:53Z
date_updated: 2023-11-17T13:47:54Z
file_id: '14549'
file_name: dissertation_src.zip
file_size: 279319709
relation: source_file
file_date_updated: 2023-11-22T09:46:06Z
has_accepted_license: '1'
keyword:
- superconductor-semiconductor
- superconductivity
- Al
- InAs
- p-wave
- superconductivity
- JPA
- microwave
language:
- iso: eng
month: '11'
oa: 1
oa_version: Published Version
page: '80'
publication_identifier:
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '13264'
relation: part_of_dissertation
status: public
- id: '10851'
relation: part_of_dissertation
status: public
status: public
supervisor:
- first_name: Andrew P
full_name: Higginbotham, Andrew P
id: 4AD6785A-F248-11E8-B48F-1D18A9856A87
last_name: Higginbotham
orcid: 0000-0003-2607-2363
title: Resonant microwave spectroscopy of Al-InAs
tmp:
image: /images/cc_by_nc_sa.png
legal_code_url: https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode
name: Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC
BY-NC-SA 4.0)
short: CC BY-NC-SA (4.0)
type: dissertation
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
year: '2023'
...
---
OA_place: publisher
_id: '14587'
abstract:
- lang: eng
text: "This thesis concerns the application of variational methods to the study
of evolution problems arising in fluid mechanics and in material sciences. The
main focus is on weak-strong stability properties of some curvature driven interface
evolution problems, such as the two-phase Navier–Stokes flow with surface tension
and multiphase mean curvature flow, and on the phase-field approximation of the
latter. Furthermore, we discuss a variational approach to the study of a class
of doubly nonlinear wave equations.\r\nFirst, we consider the two-phase Navier–Stokes
flow with surface tension within a bounded domain. The two fluids are immiscible
and separated by a sharp interface, which intersects the boundary of the domain
at a constant contact angle of ninety degree. We devise a suitable concept of
varifolds solutions for the associated interface evolution problem and we establish
a weak-strong uniqueness principle in case of a two dimensional ambient space.
In order to focus on the boundary effects and on the singular geometry of the
evolving domains, we work for simplicity in the regime of same viscosities for
the two fluids.\r\nThe core of the thesis consists in the rigorous proof of the
convergence of the vectorial Allen-Cahn equation towards multiphase mean curvature
flow for a suitable class of multi- well potentials and for well-prepared initial
data. We even establish a rate of convergence. Our relative energy approach relies
on the concept of gradient-flow calibration for branching singularities in multiphase
mean curvature flow and thus enables us to overcome the limitations of other approaches.
To the best of the author’s knowledge, our result is the first quantitative and
unconditional one available in the literature for the vectorial/multiphase setting.\r\nThis
thesis also contains a first study of weak-strong stability for planar multiphase
mean curvature flow beyond the singularity resulting from a topology change. Previous
weak-strong results are indeed limited to time horizons before the first topology
change of the strong solution. We consider circular topology changes and we prove
weak-strong stability for BV solutions to planar multiphase mean curvature flow
beyond the associated singular times by dynamically adapting the strong solutions
to the weak one by means of a space-time shift.\r\nIn the context of interface
evolution problems, our proofs for the main results of this thesis are based on
the relative energy technique, relying on novel suitable notions of relative energy
functionals, which in particular measure the interface error. Our statements follow
from the resulting stability estimates for the relative energy associated to the
problem.\r\nAt last, we introduce a variational approach to the study of nonlinear
evolution problems. This approach hinges on the minimization of a parameter dependent
family of convex functionals over entire trajectories, known as Weighted Inertia-Dissipation-Energy
(WIDE) functionals. We consider a class of doubly nonlinear wave equations and
establish the convergence, up to subsequences, of the associated WIDE minimizers
to a solution of the target problem as the parameter goes to zero."
acknowledgement: The research projects contained in this thesis have received funding
from the European Research Council (ERC) under the European Union’s Horizon 2020
research and innovation programme (grant agreement No 948819).
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Alice
full_name: Marveggio, Alice
id: 25647992-AA84-11E9-9D75-8427E6697425
last_name: Marveggio
citation:
ama: Marveggio A. Weak-strong stability and phase-field approximation of interface
evolution problems in fluid mechanics and in material sciences. 2023. doi:10.15479/at:ista:14587
apa: Marveggio, A. (2023). Weak-strong stability and phase-field approximation
of interface evolution problems in fluid mechanics and in material sciences.
Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:14587
chicago: Marveggio, Alice. “Weak-Strong Stability and Phase-Field Approximation
of Interface Evolution Problems in Fluid Mechanics and in Material Sciences.”
Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:14587.
ieee: A. Marveggio, “Weak-strong stability and phase-field approximation of interface
evolution problems in fluid mechanics and in material sciences,” Institute of
Science and Technology Austria, 2023.
ista: Marveggio A. 2023. Weak-strong stability and phase-field approximation of
interface evolution problems in fluid mechanics and in material sciences. Institute
of Science and Technology Austria.
mla: Marveggio, Alice. Weak-Strong Stability and Phase-Field Approximation of
Interface Evolution Problems in Fluid Mechanics and in Material Sciences.
Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:14587.
short: A. Marveggio, Weak-Strong Stability and Phase-Field Approximation of Interface
Evolution Problems in Fluid Mechanics and in Material Sciences, Institute of Science
and Technology Austria, 2023.
corr_author: '1'
date_created: 2023-11-21T11:41:05Z
date_published: 2023-11-21T00:00:00Z
date_updated: 2026-04-07T13:28:13Z
day: '21'
ddc:
- '515'
degree_awarded: PhD
department:
- _id: GradSch
- _id: JuFi
doi: 10.15479/at:ista:14587
ec_funded: 1
file:
- access_level: open_access
checksum: 6c7db4cc86da6cdc79f7f358dc7755d4
content_type: application/pdf
creator: amarvegg
date_created: 2023-11-29T09:09:31Z
date_updated: 2023-11-29T09:09:31Z
file_id: '14626'
file_name: thesis_Marveggio.pdf
file_size: 2881100
relation: main_file
success: 1
- access_level: closed
checksum: 52f28bdf95ec82cff39f3685f9c48e7d
content_type: application/zip
creator: amarvegg
date_created: 2023-11-29T09:10:19Z
date_updated: 2024-03-20T12:28:32Z
file_id: '14627'
file_name: Thesis_Marveggio.zip
file_size: 10189696
relation: source_file
file_date_updated: 2024-03-20T12:28:32Z
has_accepted_license: '1'
language:
- iso: eng
month: '11'
oa: 1
oa_version: Published Version
page: '228'
project:
- _id: 0aa76401-070f-11eb-9043-b5bb049fa26d
call_identifier: H2020
grant_number: '948819'
name: Bridging Scales in Random Materials
publication_identifier:
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '11842'
relation: part_of_dissertation
status: public
- id: '14597'
relation: part_of_dissertation
status: public
status: public
supervisor:
- first_name: Julian L
full_name: Fischer, Julian L
id: 2C12A0B0-F248-11E8-B48F-1D18A9856A87
last_name: Fischer
orcid: 0000-0002-0479-558X
title: Weak-strong stability and phase-field approximation of interface evolution
problems in fluid mechanics and in material sciences
tmp:
image: /images/cc_by_nc_sa.png
legal_code_url: https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode
name: Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC
BY-NC-SA 4.0)
short: CC BY-NC-SA (4.0)
type: dissertation
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
year: '2023'
...
---
_id: '14628'
abstract:
- lang: eng
text: We introduce a compact, intuitive procedural graph representation for cellular
metamaterials, which are small-scale, tileable structures that can be architected
to exhibit many useful material properties. Because the structures’ “architectures”
vary widely—with elements such as beams, thin shells, and solid bulks—it is difficult
to explore them using existing representations. Generic approaches like voxel
grids are versatile, but it is cumbersome to represent and edit individual structures;
architecture-specific approaches address these issues, but are incompatible with
one another. By contrast, our procedural graph succinctly represents the construction
process for any structure using a simple skeleton annotated with spatially varying
thickness. To express the highly constrained triply periodic minimal surfaces
(TPMS) in this manner, we present the first fully automated version of the conjugate
surface construction method, which allows novices to create complex TPMS from
intuitive input. We demonstrate our representation’s expressiveness, accuracy,
and compactness by constructing a wide range of established structures and hundreds
of novel structures with diverse architectures and material properties. We also
conduct a user study to verify our representation’s ease-of-use and ability to
expand engineers’ capacity for exploration.
acknowledgement: "The authors thank Mina Konaković Luković and Michael Foshey for
their early contributions to this project, David Palmer and Paul Zhang for their
insightful discussions about minimal surfaces and the CSCM, Julian Panetta for providing
the Elastic Textures code, and Hannes Hergeth for his feedback and support. We also
thank our user study participants and anonymous reviewers.\r\nThis material is based
upon work supported by the National Science Foundation\r\n(NSF) Graduate Research
Fellowship under Grant No. 2141064; the MIT Morningside\r\nAcademy for Design Fellowship;
the Defense Advanced Research Projects Agency\r\n(DARPA) Grant No. FA8750-20-C-0075;
the ERC Consolidator Grant No. 101045083,\r\n“CoDiNA: Computational Discovery of
Numerical Algorithms for Animation and Simulation of Natural Phenomena”; and the
NewSat project, which is co-funded by the Operational Program for Competitiveness
and Internationalisation (COMPETE2020), Portugal 2020, the European Regional Development
Fund (ERDF), and the Portuguese Foundation for Science and Technology (FTC) under
the MIT Portugal program."
article_number: '168'
article_processing_charge: Yes (in subscription journal)
article_type: original
author:
- first_name: Liane
full_name: Makatura, Liane
last_name: Makatura
- first_name: Bohan
full_name: Wang, Bohan
last_name: Wang
- first_name: Yi-Lu
full_name: Chen, Yi-Lu
id: 0b467602-dbcd-11ea-9d1d-ed480aa46b70
last_name: Chen
- first_name: Bolei
full_name: Deng, Bolei
last_name: Deng
- first_name: Christopher J
full_name: Wojtan, Christopher J
id: 3C61F1D2-F248-11E8-B48F-1D18A9856A87
last_name: Wojtan
orcid: 0000-0001-6646-5546
- first_name: Bernd
full_name: Bickel, Bernd
id: 49876194-F248-11E8-B48F-1D18A9856A87
last_name: Bickel
orcid: 0000-0001-6511-9385
- first_name: Wojciech
full_name: Matusik, Wojciech
last_name: Matusik
citation:
ama: 'Makatura L, Wang B, Chen Y-L, et al. Procedural metamaterials: A unified procedural
graph for metamaterial design. ACM Transactions on Graphics. 2023;42(5).
doi:10.1145/3605389'
apa: 'Makatura, L., Wang, B., Chen, Y.-L., Deng, B., Wojtan, C., Bickel, B., &
Matusik, W. (2023). Procedural metamaterials: A unified procedural graph for metamaterial
design. ACM Transactions on Graphics. Association for Computing Machinery.
https://doi.org/10.1145/3605389'
chicago: 'Makatura, Liane, Bohan Wang, Yi-Lu Chen, Bolei Deng, Chris Wojtan, Bernd
Bickel, and Wojciech Matusik. “Procedural Metamaterials: A Unified Procedural
Graph for Metamaterial Design.” ACM Transactions on Graphics. Association
for Computing Machinery, 2023. https://doi.org/10.1145/3605389.'
ieee: 'L. Makatura et al., “Procedural metamaterials: A unified procedural
graph for metamaterial design,” ACM Transactions on Graphics, vol. 42,
no. 5. Association for Computing Machinery, 2023.'
ista: 'Makatura L, Wang B, Chen Y-L, Deng B, Wojtan C, Bickel B, Matusik W. 2023.
Procedural metamaterials: A unified procedural graph for metamaterial design.
ACM Transactions on Graphics. 42(5), 168.'
mla: 'Makatura, Liane, et al. “Procedural Metamaterials: A Unified Procedural Graph
for Metamaterial Design.” ACM Transactions on Graphics, vol. 42, no. 5,
168, Association for Computing Machinery, 2023, doi:10.1145/3605389.'
short: L. Makatura, B. Wang, Y.-L. Chen, B. Deng, C. Wojtan, B. Bickel, W. Matusik,
ACM Transactions on Graphics 42 (2023).
date_created: 2023-11-29T15:02:03Z
date_published: 2023-10-01T00:00:00Z
date_updated: 2025-09-09T13:33:58Z
day: '01'
ddc:
- '531'
- '006'
department:
- _id: GradSch
- _id: ChWo
- _id: BeBi
doi: 10.1145/3605389
external_id:
isi:
- '001086833300007'
file:
- access_level: open_access
checksum: 0192f597d7a2ceaf89baddfd6190d4c8
content_type: application/zip
creator: yichen
date_created: 2023-11-29T15:16:01Z
date_updated: 2023-11-29T15:16:01Z
file_id: '14630'
file_name: tog-22-0089-File004.zip
file_size: 95467870
relation: main_file
success: 1
- access_level: open_access
checksum: 7fb024963be81933494f38de191e4710
content_type: application/zip
creator: yichen
date_created: 2023-11-29T15:16:01Z
date_updated: 2023-11-29T15:16:01Z
file_id: '14631'
file_name: tog-22-0089-File005.zip
file_size: 103731880
relation: main_file
success: 1
- access_level: open_access
checksum: b7d6829ce396e21cac9fae0ec7130a6b
content_type: application/pdf
creator: dernst
date_created: 2023-12-04T08:04:14Z
date_updated: 2023-12-04T08:04:14Z
file_id: '14638'
file_name: 2023_ACMToG_Makatura.pdf
file_size: 57067476
relation: main_file
success: 1
file_date_updated: 2023-12-04T08:04:14Z
has_accepted_license: '1'
intvolume: ' 42'
isi: 1
issue: '5'
keyword:
- Computer Graphics and Computer-Aided Design
language:
- iso: eng
month: '10'
oa: 1
oa_version: Published Version
project:
- _id: 34bc2376-11ca-11ed-8bc3-9a3b3961a088
grant_number: '101045083'
name: Computational Discovery of Numerical Algorithms for Animation and Simulation
of Natural Phenomena
publication: ACM Transactions on Graphics
publication_identifier:
eissn:
- 1557-7368
issn:
- 0730-0301
publication_status: published
publisher: Association for Computing Machinery
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Procedural metamaterials: A unified procedural graph for metamaterial design'
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 42
year: '2023'
...