---
_id: '6002'
abstract:
- lang: eng
text: The Bogoliubov free energy functional is analysed. The functional serves as
a model of a translation-invariant Bose gas at positive temperature. We prove
the existence of minimizers in the case of repulsive interactions given by a sufficiently
regular two-body potential. Furthermore, we prove the existence of a phase transition
in this model and provide its phase diagram.
article_processing_charge: No
author:
- first_name: Marcin M
full_name: Napiórkowski, Marcin M
id: 4197AD04-F248-11E8-B48F-1D18A9856A87
last_name: Napiórkowski
- first_name: Robin
full_name: Reuvers, Robin
last_name: Reuvers
- first_name: Jan Philip
full_name: Solovej, Jan Philip
last_name: Solovej
citation:
ama: 'Napiórkowski MM, Reuvers R, Solovej JP. The Bogoliubov free energy functional
I: Existence of minimizers and phase diagram. Archive for Rational Mechanics
and Analysis. 2018;229(3):1037-1090. doi:10.1007/s00205-018-1232-6'
apa: 'Napiórkowski, M. M., Reuvers, R., & Solovej, J. P. (2018). The Bogoliubov
free energy functional I: Existence of minimizers and phase diagram. Archive
for Rational Mechanics and Analysis. Springer Nature. https://doi.org/10.1007/s00205-018-1232-6'
chicago: 'Napiórkowski, Marcin M, Robin Reuvers, and Jan Philip Solovej. “The Bogoliubov
Free Energy Functional I: Existence of Minimizers and Phase Diagram.” Archive
for Rational Mechanics and Analysis. Springer Nature, 2018. https://doi.org/10.1007/s00205-018-1232-6.'
ieee: 'M. M. Napiórkowski, R. Reuvers, and J. P. Solovej, “The Bogoliubov free energy
functional I: Existence of minimizers and phase diagram,” Archive for Rational
Mechanics and Analysis, vol. 229, no. 3. Springer Nature, pp. 1037–1090, 2018.'
ista: 'Napiórkowski MM, Reuvers R, Solovej JP. 2018. The Bogoliubov free energy
functional I: Existence of minimizers and phase diagram. Archive for Rational
Mechanics and Analysis. 229(3), 1037–1090.'
mla: 'Napiórkowski, Marcin M., et al. “The Bogoliubov Free Energy Functional I:
Existence of Minimizers and Phase Diagram.” Archive for Rational Mechanics
and Analysis, vol. 229, no. 3, Springer Nature, 2018, pp. 1037–90, doi:10.1007/s00205-018-1232-6.'
short: M.M. Napiórkowski, R. Reuvers, J.P. Solovej, Archive for Rational Mechanics
and Analysis 229 (2018) 1037–1090.
date_created: 2019-02-14T13:40:53Z
date_published: 2018-09-01T00:00:00Z
date_updated: 2023-09-19T14:33:12Z
day: '01'
department:
- _id: RoSe
doi: 10.1007/s00205-018-1232-6
external_id:
arxiv:
- '1511.05935'
isi:
- '000435367300003'
intvolume: ' 229'
isi: 1
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1511.05935
month: '09'
oa: 1
oa_version: Preprint
page: 1037-1090
project:
- _id: 25C878CE-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P27533_N27
name: Structure of the Excitation Spectrum for Many-Body Quantum Systems
publication: Archive for Rational Mechanics and Analysis
publication_identifier:
eissn:
- 1432-0673
issn:
- 0003-9527
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'The Bogoliubov free energy functional I: Existence of minimizers and phase
diagram'
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 229
year: '2018'
...
---
_id: '5996'
abstract:
- lang: eng
text: 'In pipes, turbulence sets in despite the linear stability of the laminar
Hagen–Poiseuille flow. The Reynolds number ( ) for which turbulence first appears
in a given experiment – the ‘natural transition point’ – depends on imperfections
of the set-up, or, more precisely, on the magnitude of finite amplitude perturbations.
At onset, turbulence typically only occupies a certain fraction of the flow, and
this fraction equally is found to differ from experiment to experiment. Despite
these findings, Reynolds proposed that after sufficiently long times, flows may
settle to steady conditions: below a critical velocity, flows should (regardless
of initial conditions) always return to laminar, while above this velocity, eddying
motion should persist. As will be shown, even in pipes several thousand diameters
long, the spatio-temporal intermittent flow patterns observed at the end of the
pipe strongly depend on the initial conditions, and there is no indication that
different flow patterns would eventually settle to a (statistical) steady state.
Exploiting the fact that turbulent puffs do not age (i.e. they are memoryless),
we continuously recreate the puff sequence exiting the pipe at the pipe entrance,
and in doing so introduce periodic boundary conditions for the puff pattern. This
procedure allows us to study the evolution of the flow patterns for arbitrary
long times, and we find that after times in excess of advective time units, indeed
a statistical steady state is reached. Although the resulting flows remain spatio-temporally
intermittent, puff splitting and decay rates eventually reach a balance, so that
the turbulent fraction fluctuates around a well-defined level which only depends
on . In accordance with Reynolds’ proposition, we find that at lower (here 2020),
flows eventually always resume to laminar, while for higher ( ), turbulence persists.
The critical point for pipe flow hence falls in the interval of $2020 , which
is in very good agreement with the recently proposed value of . The latter estimate
was based on single-puff statistics and entirely neglected puff interactions.
Unlike in typical contact processes where such interactions strongly affect the
percolation threshold, in pipe flow, the critical point is only marginally influenced.
Interactions, on the other hand, are responsible for the approach to the statistical
steady state. As shown, they strongly affect the resulting flow patterns, where
they cause ‘puff clustering’, and these regions of large puff densities are observed
to travel across the puff pattern in a wave-like fashion.'
acknowledgement: ' We also thank Philipp Maier and the IST Austria workshop for theirdedicated
technical support'
article_processing_charge: No
article_type: original
author:
- first_name: Mukund
full_name: Vasudevan, Mukund
id: 3C5A959A-F248-11E8-B48F-1D18A9856A87
last_name: Vasudevan
- 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: Vasudevan M, Hof B. The critical point of the transition to turbulence in pipe
flow. Journal of Fluid Mechanics. 2018;839:76-94. doi:10.1017/jfm.2017.923
apa: Vasudevan, M., & Hof, B. (2018). The critical point of the transition to
turbulence in pipe flow. Journal of Fluid Mechanics. Cambridge University
Press. https://doi.org/10.1017/jfm.2017.923
chicago: Vasudevan, Mukund, and Björn Hof. “The Critical Point of the Transition
to Turbulence in Pipe Flow.” Journal of Fluid Mechanics. Cambridge University
Press, 2018. https://doi.org/10.1017/jfm.2017.923.
ieee: M. Vasudevan and B. Hof, “The critical point of the transition to turbulence
in pipe flow,” Journal of Fluid Mechanics, vol. 839. Cambridge University
Press, pp. 76–94, 2018.
ista: Vasudevan M, Hof B. 2018. The critical point of the transition to turbulence
in pipe flow. Journal of Fluid Mechanics. 839, 76–94.
mla: Vasudevan, Mukund, and Björn Hof. “The Critical Point of the Transition to
Turbulence in Pipe Flow.” Journal of Fluid Mechanics, vol. 839, Cambridge
University Press, 2018, pp. 76–94, doi:10.1017/jfm.2017.923.
short: M. Vasudevan, B. Hof, Journal of Fluid Mechanics 839 (2018) 76–94.
date_created: 2019-02-14T12:50:50Z
date_published: 2018-03-25T00:00:00Z
date_updated: 2023-09-19T14:37:49Z
day: '25'
department:
- _id: BjHo
doi: 10.1017/jfm.2017.923
ec_funded: 1
external_id:
arxiv:
- '1709.06372'
isi:
- '000437858300003'
intvolume: ' 839'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1709.06372
month: '03'
oa: 1
oa_version: Preprint
page: 76-94
project:
- _id: 25152F3A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '306589'
name: Decoding the complexity of turbulence at its origin
publication: Journal of Fluid Mechanics
publication_identifier:
eissn:
- 1469-7645
issn:
- 0022-1120
publication_status: published
publisher: Cambridge University Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: The critical point of the transition to turbulence in pipe flow
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 839
year: '2018'
...
---
_id: '5993'
abstract:
- lang: eng
text: 'In this article, we consider the termination problem of probabilistic programs
with real-valued variables. Thequestions concerned are: qualitative ones that
ask (i) whether the program terminates with probability 1(almost-sure termination)
and (ii) whether the expected termination time is finite (finite termination);
andquantitative ones that ask (i) to approximate the expected termination time
(expectation problem) and (ii) tocompute a boundBsuch that the probability not
to terminate afterBsteps decreases exponentially (con-centration problem). To
solve these questions, we utilize the notion of ranking supermartingales, which
isa powerful approach for proving termination of probabilistic programs. In detail,
we focus on algorithmicsynthesis of linear ranking-supermartingales over affine
probabilistic programs (Apps) with both angelic anddemonic non-determinism. An
important subclass of Apps is LRApp which is defined as the class of all Appsover
which a linear ranking-supermartingale exists.Our main contributions are as follows.
Firstly, we show that the membership problem of LRApp (i) canbe decided in polynomial
time for Apps with at most demonic non-determinism, and (ii) isNP-hard and inPSPACEfor
Apps with angelic non-determinism. Moreover, theNP-hardness result holds already
for Appswithout probability and demonic non-determinism. Secondly, we show that
the concentration problem overLRApp can be solved in the same complexity as for
the membership problem of LRApp. Finally, we show thatthe expectation problem
over LRApp can be solved in2EXPTIMEand isPSPACE-hard even for Apps withoutprobability
and non-determinism (i.e., deterministic programs). Our experimental results demonstrate
theeffectiveness of our approach to answer the qualitative and quantitative questions
over Apps with at mostdemonic non-determinism.'
article_number: '7'
article_processing_charge: No
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Hongfei
full_name: Fu, Hongfei
id: 3AAD03D6-F248-11E8-B48F-1D18A9856A87
last_name: Fu
- first_name: Petr
full_name: Novotný, Petr
id: 3CC3B868-F248-11E8-B48F-1D18A9856A87
last_name: Novotný
- first_name: Rouzbeh
full_name: Hasheminezhad, Rouzbeh
last_name: Hasheminezhad
citation:
ama: Chatterjee K, Fu H, Novotný P, Hasheminezhad R. Algorithmic analysis of qualitative
and quantitative termination problems for affine probabilistic programs. ACM
Transactions on Programming Languages and Systems. 2018;40(2). doi:10.1145/3174800
apa: Chatterjee, K., Fu, H., Novotný, P., & Hasheminezhad, R. (2018). Algorithmic
analysis of qualitative and quantitative termination problems for affine probabilistic
programs. ACM Transactions on Programming Languages and Systems. Association
for Computing Machinery (ACM). https://doi.org/10.1145/3174800
chicago: Chatterjee, Krishnendu, Hongfei Fu, Petr Novotný, and Rouzbeh Hasheminezhad.
“Algorithmic Analysis of Qualitative and Quantitative Termination Problems for
Affine Probabilistic Programs.” ACM Transactions on Programming Languages and
Systems. Association for Computing Machinery (ACM), 2018. https://doi.org/10.1145/3174800.
ieee: K. Chatterjee, H. Fu, P. Novotný, and R. Hasheminezhad, “Algorithmic analysis
of qualitative and quantitative termination problems for affine probabilistic
programs,” ACM Transactions on Programming Languages and Systems, vol.
40, no. 2. Association for Computing Machinery (ACM), 2018.
ista: Chatterjee K, Fu H, Novotný P, Hasheminezhad R. 2018. Algorithmic analysis
of qualitative and quantitative termination problems for affine probabilistic
programs. ACM Transactions on Programming Languages and Systems. 40(2), 7.
mla: Chatterjee, Krishnendu, et al. “Algorithmic Analysis of Qualitative and Quantitative
Termination Problems for Affine Probabilistic Programs.” ACM Transactions on
Programming Languages and Systems, vol. 40, no. 2, 7, Association for Computing
Machinery (ACM), 2018, doi:10.1145/3174800.
short: K. Chatterjee, H. Fu, P. Novotný, R. Hasheminezhad, ACM Transactions on Programming
Languages and Systems 40 (2018).
date_created: 2019-02-14T12:29:10Z
date_published: 2018-06-01T00:00:00Z
date_updated: 2023-09-19T14:38:42Z
day: '01'
department:
- _id: KrCh
doi: 10.1145/3174800
ec_funded: 1
external_id:
arxiv:
- '1510.08517'
isi:
- '000434634500003'
intvolume: ' 40'
isi: 1
issue: '2'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1510.08517
month: '06'
oa: 1
oa_version: Submitted Version
project:
- _id: 2584A770-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P 23499-N23
name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '279307'
name: 'Quantitative Graph Games: Theory and Applications'
- _id: 25681D80-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '291734'
name: International IST Postdoc Fellowship Programme
publication: ACM Transactions on Programming Languages and Systems
publication_identifier:
issn:
- 0164-0925
publication_status: published
publisher: Association for Computing Machinery (ACM)
quality_controlled: '1'
related_material:
record:
- id: '1438'
relation: earlier_version
status: public
scopus_import: '1'
status: public
title: Algorithmic analysis of qualitative and quantitative termination problems for
affine probabilistic programs
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 40
year: '2018'
...
---
_id: '5999'
abstract:
- lang: eng
text: "We introduce for each quiver Q and each algebraic oriented cohomology theory
A, the cohomological Hall algebra (CoHA) of Q, as the A-homology of the moduli
of representations of the preprojective algebra of Q. This generalizes the K-theoretic
Hall algebra of commuting varieties defined by Schiffmann-Vasserot. When A is
the Morava K-theory, we show evidence that this algebra is a candidate for Lusztig's
reformulated conjecture on modular representations of algebraic groups.\r\nWe
construct an action of the preprojective CoHA on the A-homology of Nakajima quiver
varieties. We compare this with the action of the Borel subalgebra of Yangian
when A is the intersection theory. We also give a shuffle algebra description
of this CoHA in terms of the underlying formal group law of A. As applications,
we obtain a shuffle description of the Yangian. "
article_processing_charge: No
author:
- first_name: Yaping
full_name: Yang, Yaping
last_name: Yang
- first_name: Gufang
full_name: Zhao, Gufang
id: 2BC2AC5E-F248-11E8-B48F-1D18A9856A87
last_name: Zhao
citation:
ama: Yang Y, Zhao G. The cohomological Hall algebra of a preprojective algebra.
Proceedings of the London Mathematical Society. 2018;116(5):1029-1074.
doi:10.1112/plms.12111
apa: Yang, Y., & Zhao, G. (2018). The cohomological Hall algebra of a preprojective
algebra. Proceedings of the London Mathematical Society. Oxford University
Press. https://doi.org/10.1112/plms.12111
chicago: Yang, Yaping, and Gufang Zhao. “The Cohomological Hall Algebra of a Preprojective
Algebra.” Proceedings of the London Mathematical Society. Oxford University
Press, 2018. https://doi.org/10.1112/plms.12111.
ieee: Y. Yang and G. Zhao, “The cohomological Hall algebra of a preprojective algebra,”
Proceedings of the London Mathematical Society, vol. 116, no. 5. Oxford
University Press, pp. 1029–1074, 2018.
ista: Yang Y, Zhao G. 2018. The cohomological Hall algebra of a preprojective algebra.
Proceedings of the London Mathematical Society. 116(5), 1029–1074.
mla: Yang, Yaping, and Gufang Zhao. “The Cohomological Hall Algebra of a Preprojective
Algebra.” Proceedings of the London Mathematical Society, vol. 116, no.
5, Oxford University Press, 2018, pp. 1029–74, doi:10.1112/plms.12111.
short: Y. Yang, G. Zhao, Proceedings of the London Mathematical Society 116 (2018)
1029–1074.
date_created: 2019-02-14T13:14:22Z
date_published: 2018-05-01T00:00:00Z
date_updated: 2023-09-19T14:37:19Z
day: '01'
department:
- _id: TaHa
doi: 10.1112/plms.12111
external_id:
arxiv:
- '1407.7994'
isi:
- '000431506400001'
intvolume: ' 116'
isi: 1
issue: '5'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1407.7994
month: '05'
oa: 1
oa_version: Preprint
page: 1029-1074
publication: Proceedings of the London Mathematical Society
publication_identifier:
issn:
- 0024-6115
publication_status: published
publisher: Oxford University Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: The cohomological Hall algebra of a preprojective algebra
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 116
year: '2018'
...
---
_id: '5989'
abstract:
- lang: eng
text: Schistosomes are the causative agents of schistosomiasis, a neglected tropical
disease affecting over 230 million people worldwide.Additionally to their major
impact on human health, they are also models of choice in evolutionary biology.
These parasitic flatwormsare unique among the common hermaphroditic trematodes
as they have separate sexes. This so-called “evolutionary scandal”displays a female
heterogametic genetic sex-determination system (ZZ males and ZW females), as well
as a pronounced adult sexualdimorphism. These phenotypic differences are determined
by a shared set of genes in both sexes, potentially leading to intralocussexual
conflicts. To resolve these conflicts in sexually selected traits, molecular mechanisms
such as sex-biased gene expression couldoccur, but parent-of-origin gene expression
also provides an alternative. In this work we investigated the latter mechanism,
that is,genes expressed preferentially from either the maternal or the paternal
allele, inSchistosoma mansonispecies. To this end, tran-scriptomes from male and
female hybrid adults obtained by strain crosses were sequenced. Strain-specific
single nucleotide poly-morphism (SNP) markers allowed us to discriminate the parental
origin, while reciprocal crosses helped to differentiate parentalexpression from
strain-specific expression. We identified genes containing SNPs expressed in a
parent-of-origin manner consistentwith paternal and maternal imprints. Although
the majority of the SNPs was identified in mitochondrial and Z-specific loci,
theremaining SNPs found in male and female transcriptomes were situated in genes
that have the potential to explain sexual differencesin schistosome parasites.
Furthermore, we identified and validated four new Z-specific scaffolds.
article_processing_charge: No
author:
- first_name: Julien
full_name: Kincaid-Smith, Julien
last_name: Kincaid-Smith
- first_name: Marion A L
full_name: Picard, Marion A L
id: 2C921A7A-F248-11E8-B48F-1D18A9856A87
last_name: Picard
orcid: 0000-0002-8101-2518
- first_name: Céline
full_name: Cosseau, Céline
last_name: Cosseau
- first_name: Jérôme
full_name: Boissier, Jérôme
last_name: Boissier
- first_name: Dany
full_name: Severac, Dany
last_name: Severac
- first_name: Christoph
full_name: Grunau, Christoph
last_name: Grunau
- first_name: Eve
full_name: Toulza, Eve
last_name: Toulza
citation:
ama: Kincaid-Smith J, Picard MAL, Cosseau C, et al. Parent-of-Origin-Dependent Gene
Expression in Male and Female Schistosome Parasites. Genome Biology and Evolution.
2018;10(3):840-856. doi:10.1093/gbe/evy037
apa: Kincaid-Smith, J., Picard, M. A. L., Cosseau, C., Boissier, J., Severac, D.,
Grunau, C., & Toulza, E. (2018). Parent-of-Origin-Dependent Gene Expression
in Male and Female Schistosome Parasites. Genome Biology and Evolution.
Oxford University Press. https://doi.org/10.1093/gbe/evy037
chicago: Kincaid-Smith, Julien, Marion A L Picard, Céline Cosseau, Jérôme Boissier,
Dany Severac, Christoph Grunau, and Eve Toulza. “Parent-of-Origin-Dependent Gene
Expression in Male and Female Schistosome Parasites.” Genome Biology and Evolution.
Oxford University Press, 2018. https://doi.org/10.1093/gbe/evy037.
ieee: J. Kincaid-Smith et al., “Parent-of-Origin-Dependent Gene Expression
in Male and Female Schistosome Parasites,” Genome Biology and Evolution,
vol. 10, no. 3. Oxford University Press, pp. 840–856, 2018.
ista: Kincaid-Smith J, Picard MAL, Cosseau C, Boissier J, Severac D, Grunau C, Toulza
E. 2018. Parent-of-Origin-Dependent Gene Expression in Male and Female Schistosome
Parasites. Genome Biology and Evolution. 10(3), 840–856.
mla: Kincaid-Smith, Julien, et al. “Parent-of-Origin-Dependent Gene Expression in
Male and Female Schistosome Parasites.” Genome Biology and Evolution, vol.
10, no. 3, Oxford University Press, 2018, pp. 840–56, doi:10.1093/gbe/evy037.
short: J. Kincaid-Smith, M.A.L. Picard, C. Cosseau, J. Boissier, D. Severac, C.
Grunau, E. Toulza, Genome Biology and Evolution 10 (2018) 840–856.
date_created: 2019-02-14T12:13:52Z
date_published: 2018-03-01T00:00:00Z
date_updated: 2023-09-19T14:39:08Z
day: '01'
ddc:
- '570'
department:
- _id: BeVi
doi: 10.1093/gbe/evy037
external_id:
isi:
- '000429483700013'
file:
- access_level: open_access
checksum: 736a459cb77de5824354466bb0331caf
content_type: application/pdf
creator: dernst
date_created: 2019-02-14T12:20:01Z
date_updated: 2020-07-14T12:47:15Z
file_id: '5991'
file_name: 2018_GBE_Kincaid_Smith.pdf
file_size: 529755
relation: main_file
file_date_updated: 2020-07-14T12:47:15Z
has_accepted_license: '1'
intvolume: ' 10'
isi: 1
issue: '3'
language:
- iso: eng
license: https://creativecommons.org/licenses/by-nc/4.0/
month: '03'
oa: 1
oa_version: Published Version
page: 840-856
publication: Genome Biology and Evolution
publication_identifier:
issn:
- 1759-6653
publication_status: published
publisher: Oxford University Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: Parent-of-Origin-Dependent Gene Expression in Male and Female Schistosome Parasites
tmp:
image: /images/cc_by_nc.png
legal_code_url: https://creativecommons.org/licenses/by-nc/4.0/legalcode
name: Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)
short: CC BY-NC (4.0)
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 10
year: '2018'
...