Showing 1–50 of 108 results for author: Adamek, J

Euclid. I. Overview of the Euclid mission

Authors: Euclid Collaboration, Y. Mellier, Abdurro'uf, J. A. Acevedo Barroso, A. Achúcarro, J. Adamek, R. Adam, G. E. Addison, N. Aghanim, M. Aguena, V. Ajani, Y. Akrami, A. Al-Bahlawan, A. Alavi, I. S. Albuquerque, G. Alestas, G. Alguero, A. Allaoui, S. W. Allen, V. Allevato, A. V. Alonso-Tetilla, B. Altieri, A. Alvarez-Candal, A. Amara, L. Amendola , et al. (1086 additional authors not shown)

Abstract: The current standard model of cosmology successfully describes a variety of measurements, but the nature of its main ingredients, dark matter and dark energy, remains unknown. Euclid is a medium-class mission in the Cosmic Vision 2015-2025 programme of the European Space Agency (ESA) that will provide high-resolution optical imaging, as well as near-infrared imaging and spectroscopy, over about 14… ▽ More The current standard model of cosmology successfully describes a variety of measurements, but the nature of its main ingredients, dark matter and dark energy, remains unknown. Euclid is a medium-class mission in the Cosmic Vision 2015-2025 programme of the European Space Agency (ESA) that will provide high-resolution optical imaging, as well as near-infrared imaging and spectroscopy, over about 14,000 deg^2 of extragalactic sky. In addition to accurate weak lensing and clustering measurements that probe structure formation over half of the age of the Universe, its primary probes for cosmology, these exquisite data will enable a wide range of science. This paper provides a high-level overview of the mission, summarising the survey characteristics, the various data-processing steps, and data products. We also highlight the main science objectives and expected performance. △ Less

Submitted 22 May, 2024; originally announced May 2024.

Comments: Paper submitted as part of the A&A special issue`Euclid on Sky'

Varieties of quantitative algebras as categories

Authors: Jiri Adamek

Abstract: Classical varieties were characterized by Lawvere as the categories with effective congruences and a varietal generator: an abstractly finite regular generator which is regularly projective (its hom-functor preserves regular epimorphisms). We characterize varieties of quantitative algebras of Mardare, Panangaden and Plotkin analogously as metric-enriched categories. We introduce the concept of a s… ▽ More Classical varieties were characterized by Lawvere as the categories with effective congruences and a varietal generator: an abstractly finite regular generator which is regularly projective (its hom-functor preserves regular epimorphisms). We characterize varieties of quantitative algebras of Mardare, Panangaden and Plotkin analogously as metric-enriched categories. We introduce the concept of a subcongruence (a metric-enriched analogue of a congruence) and the corresponding subregular epimorphisms obtained via colimits of subcongruences. Varieties of quantitative algebras are precisely the metric-enriched categories with effective subcongruences and a subvarietal generator: an abstractly finite subregular generator which is subregularly projective (its hom-functor preserves subregular epimorphisms). △ Less

Submitted 7 July, 2024; v1 submitted 22 February, 2024; originally announced February 2024.

MSC Class: 18D99 ACM Class: F.m

Categories which are varieties of classical or ordered algebras

Authors: Jiri Adamek

Abstract: Following ideas of Lawvere and Linton we prove that classical varieties are precisely the exact categories with a varietal generator. This means a strong generator which is abstractly finite and regularly projective. An analogous characterization of varieties of ordered algebras is also presented. We work with order-enriched categories, and introduce the concept of subexact category and subregular… ▽ More Following ideas of Lawvere and Linton we prove that classical varieties are precisely the exact categories with a varietal generator. This means a strong generator which is abstractly finite and regularly projective. An analogous characterization of varieties of ordered algebras is also presented. We work with order-enriched categories, and introduce the concept of subexact category and subregular projective (corresponding naturally to the ordinary case). Varieties of ordered algebras are precisely the subexact categories with a subvarietal generator. This means a strong generator which is abstractly finite and subregularly projective. △ Less

Submitted 22 February, 2024; originally announced February 2024.

MSC Class: 18D99

Towards Cosmography of the Local Universe

Authors: Julian Adamek, Chris Clarkson, Ruth Durrer, Asta Heinesen, Martin Kunz, Hayley J. Macpherson

Abstract: Anisotropies in the distance-redshift relation of cosmological sources are expected due to large-scale inhomogeneities in the local Universe. When the observed sources are tracing a large-scale matter flow in a general spacetime geometry, the distance-redshift relation with its anisotropies can be described with a geometrical prediction that generalises the well-known Friedmann-Lemaître-Robertson-… ▽ More Anisotropies in the distance-redshift relation of cosmological sources are expected due to large-scale inhomogeneities in the local Universe. When the observed sources are tracing a large-scale matter flow in a general spacetime geometry, the distance-redshift relation with its anisotropies can be described with a geometrical prediction that generalises the well-known Friedmann-Lemaître-Robertson-Walker result. Furthermore, it turns out that a finite set of multipole coefficients contain the full information about a finite-order truncation of the distance-redshift relation of a given observer. The multipoles of the distance-redshift relation are interesting new cosmological observables that have a direct physical interpretation in terms of kinematical quantities of the underlying matter flow. Using light cones extracted from $N$-body simulations we quantify the anisotropies expected in a $Λ$ cold dark matter cosmology by running a Markov chain Monte Carlo analysis on the observed data. In this observational approach the survey selection implements an implicit smoothing scale over which the effective rest frame of matter is fitted. The perceived anisotropy therefore depends significantly on the redshift range and distribution of sources. We find that the multipoles of the expansion rate, as well as the observer's velocity with respect to the large-scale matter flow, can be determined robustly with our approach. △ Less

Submitted 3 June, 2024; v1 submitted 19 February, 2024; originally announced February 2024.

Comments: 17 pages, 11 figures; v2: minor revision, accepted version

Journal ref: The Open Journal of Astrophysics 7 (2024)

Gravitational waves from dark domain walls

Authors: Øyvind Christiansen, Julian Adamek, Farbod Hassani, David F. Mota

Abstract: For most of cosmic history, the evolution of our Universe has been governed by the physics of a 'dark sector', consisting of dark matter and dark energy, whose properties are only understood in a schematic way. The influence of these constituents is mediated exclusively by the force of gravity, meaning that insight into their nature must be gleaned from gravitational phenomena. The advent of gravi… ▽ More For most of cosmic history, the evolution of our Universe has been governed by the physics of a 'dark sector', consisting of dark matter and dark energy, whose properties are only understood in a schematic way. The influence of these constituents is mediated exclusively by the force of gravity, meaning that insight into their nature must be gleaned from gravitational phenomena. The advent of gravitational-wave astronomy has revolutionised the field of black hole astrophysics, and opens a new window of discovery for cosmological sources. Relevant examples include topological defects, such as domain walls or cosmic strings, which are remnants of a phase transition. Here we present the first simulations of cosmic structure formation in which the dynamics of the dark sector introduces domain walls as a source of stochastic gravitational waves in the late Universe. We study in detail how the spectrum of gravitational waves is affected by the properties of the model, and extrapolate the results to scales relevant to the recent evidence for a stochastic gravitational wave background. Our relativistic implementation of the field dynamics paves the way for optimal use of the next generation of gravitational experiments to unravel the dark sector. △ Less

Submitted 4 January, 2024; originally announced January 2024.

Comments: 10 pages, 3 figures. Supplementary material and videos may be found https://oyvindchristiansen.com/projects/symmetron_GWs. The code is available https://github.com/oyvach/AsGRD

Gemini: A Family of Highly Capable Multimodal Models

Authors: Gemini Team, Rohan Anil, Sebastian Borgeaud, Jean-Baptiste Alayrac, Jiahui Yu, Radu Soricut, Johan Schalkwyk, Andrew M. Dai, Anja Hauth, Katie Millican, David Silver, Melvin Johnson, Ioannis Antonoglou, Julian Schrittwieser, Amelia Glaese, Jilin Chen, Emily Pitler, Timothy Lillicrap, Angeliki Lazaridou, Orhan Firat, James Molloy, Michael Isard, Paul R. Barham, Tom Hennigan, Benjamin Lee , et al. (1325 additional authors not shown)

Abstract: This report introduces a new family of multimodal models, Gemini, that exhibit remarkable capabilities across image, audio, video, and text understanding. The Gemini family consists of Ultra, Pro, and Nano sizes, suitable for applications ranging from complex reasoning tasks to on-device memory-constrained use-cases. Evaluation on a broad range of benchmarks shows that our most-capable Gemini Ultr… ▽ More This report introduces a new family of multimodal models, Gemini, that exhibit remarkable capabilities across image, audio, video, and text understanding. The Gemini family consists of Ultra, Pro, and Nano sizes, suitable for applications ranging from complex reasoning tasks to on-device memory-constrained use-cases. Evaluation on a broad range of benchmarks shows that our most-capable Gemini Ultra model advances the state of the art in 30 of 32 of these benchmarks - notably being the first model to achieve human-expert performance on the well-studied exam benchmark MMLU, and improving the state of the art in every one of the 20 multimodal benchmarks we examined. We believe that the new capabilities of the Gemini family in cross-modal reasoning and language understanding will enable a wide variety of use cases. We discuss our approach toward post-training and deploying Gemini models responsibly to users through services including Gemini, Gemini Advanced, Google AI Studio, and Cloud Vertex AI. △ Less

Submitted 17 June, 2024; v1 submitted 18 December, 2023; originally announced December 2023.

A Finitary Adjoint Functor Theorem

Authors: Jirí Adámek, Lurdes Sousa

Abstract: Graduated locally finitely presentable categories are introduced, examples include categories of sets, vector spaces, posets, presheaves and Boolean algebras. A finitary functor between graduated locally finitely presentable categories is proved to be a right adjoint if and only if it preserves countable limits. For endofunctors on vector spaces or pointed sets even countable products are sufficie… ▽ More Graduated locally finitely presentable categories are introduced, examples include categories of sets, vector spaces, posets, presheaves and Boolean algebras. A finitary functor between graduated locally finitely presentable categories is proved to be a right adjoint if and only if it preserves countable limits. For endofunctors on vector spaces or pointed sets even countable products are sufficient. Surprisingly, for set functors there is a single exception of a (trivial) finitary functor preserving countable products but not countable limits. △ Less

Submitted 5 February, 2024; v1 submitted 25 November, 2023; originally announced November 2023.

Comments: 14 pages

MSC Class: 18A22; 18A35; 18A40; 18B05

A case study for measuring the relativistic dipole of a galaxy cross-correlation with the Dark Energy Spectroscopic Instrument

Authors: Camille Bonvin, Francesca Lepori, Sebastian Schulz, Isaac Tutusaus, Julian Adamek, Pablo Fosalba

Abstract: The data on spectroscopic galaxy clustering collected by the Dark Energy Spectroscopic Instrument (DESI) will allow the significant detection of subtle features in the galaxy two-point correlation in redshift space, beyond the "standard" redshift-space distortions. Here we present an independent assessment of the detectability of the relativistic dipole in the cross-correlation of two populations… ▽ More The data on spectroscopic galaxy clustering collected by the Dark Energy Spectroscopic Instrument (DESI) will allow the significant detection of subtle features in the galaxy two-point correlation in redshift space, beyond the "standard" redshift-space distortions. Here we present an independent assessment of the detectability of the relativistic dipole in the cross-correlation of two populations of galaxies if they would be selected from the Bright Galaxy Survey (BGS) of DESI. We build synthetic galaxy catalogues with the characteristics of the BGS using the light cone of a relativistic $N$-body simulation. Exploring different ways of splitting the populations of galaxies we find that with an unequal split with more bright galaxies than faint galaxies the detectability is significantly boosted, reaching 19 $σ$ in the redshift bin $0.2 \lesssim z \lesssim 0.3$ and expected to be even higher at lower redshift. Moreover, we find that the measured dipole agrees very well with the prediction of relativistic effects from linear theory down to separations of $\sim$ 30 Mpc/$h$. △ Less

Submitted 16 February, 2024; v1 submitted 7 June, 2023; originally announced June 2023.

Comments: version matching publication

Journal ref: MNRAS, Volume 525, Issue 3, November 2023, Pages 4611-4627

Small Language Models Improve Giants by Rewriting Their Outputs

Authors: Giorgos Vernikos, Arthur Bražinskas, Jakub Adamek, Jonathan Mallinson, Aliaksei Severyn, Eric Malmi

Abstract: Despite the impressive performance of large language models (LLMs), they often lag behind specialized models in various tasks. LLMs only use a fraction of the existing training data for in-context learning, while task-specific models harness the full dataset for fine-tuning. In this work, we tackle the problem of leveraging training data to improve the performance of LLMs without fine-tuning. Our… ▽ More Despite the impressive performance of large language models (LLMs), they often lag behind specialized models in various tasks. LLMs only use a fraction of the existing training data for in-context learning, while task-specific models harness the full dataset for fine-tuning. In this work, we tackle the problem of leveraging training data to improve the performance of LLMs without fine-tuning. Our approach directly targets LLM predictions without requiring access to their weights. We create a pool of candidates from the LLM through few-shot prompting and we employ a compact model, the LM-corrector (LMCor), specifically trained to merge these candidates to produce an enhanced output. Our experiments on four natural language generation tasks demonstrate that even a small LMCor model (250M) substantially improves the few-shot performance of LLMs (62B), matching and even outperforming standard fine-tuning. Furthermore, we illustrate the robustness of LMCor against different prompts, thereby minimizing the need for extensive prompt engineering. Finally, we show that LMCor can be seamlessly integrated with different LLMs at inference, serving as a plug-and-play module to improve their performance. △ Less

Submitted 1 February, 2024; v1 submitted 22 May, 2023; originally announced May 2023.

Comments: Accepted at EACL 2024

On Kripke, Vietoris and Hausdorff Polynomial Functors

Authors: Jiří Adámek, Stefan Milius, Lawrence S. Moss

Abstract: The Vietoris space of compact subsets of a given Hausdorff space yields an endofunctor $\mathscr V$ on the category of Hausdorff spaces. Vietoris polynomial endofunctors on that category are built from $\mathscr V$, the identity and constant functors by forming products, coproducts and compositions. These functors are known to have terminal coalgebras and we deduce that they also have initial alge… ▽ More The Vietoris space of compact subsets of a given Hausdorff space yields an endofunctor $\mathscr V$ on the category of Hausdorff spaces. Vietoris polynomial endofunctors on that category are built from $\mathscr V$, the identity and constant functors by forming products, coproducts and compositions. These functors are known to have terminal coalgebras and we deduce that they also have initial algebras. We present an analogous class of endofunctors on the category of extended metric spaces, using in lieu of $\mathscr V$ the Hausdorff functor $\mathcal H$. We prove that the ensuing Hausdorff polynomial functors have terminal coalgebras and initial algebras. Whereas the canonical constructions of terminal coalgebras for Vietoris polynomial functors takes $ω$ steps, one needs $ω+ ω$ steps in general for Hausdorff ones. We also give a new proof that the closed set functor on metric spaces has no fixed points. △ Less

Submitted 20 March, 2023; originally announced March 2023.

Smallness in Topology

Authors: Jiri Adamek, Miroslav Husek, Jiri Rosicky, Walter Tholen

Abstract: Quillen's notion of small object and the Gabriel-Ulmer notion of finitely presentable or generated object are fundamental in homotopy theory and categorical algebra. Do these notions always lead to rather uninteresting classes of objects in categories of topological spaces, such as all finite discrete spaces, or just the empty space, as the examples and remarks in the existing literature may sugge… ▽ More Quillen's notion of small object and the Gabriel-Ulmer notion of finitely presentable or generated object are fundamental in homotopy theory and categorical algebra. Do these notions always lead to rather uninteresting classes of objects in categories of topological spaces, such as all finite discrete spaces, or just the empty space, as the examples and remarks in the existing literature may suggest? This article demonstrates that the establishment of full characterizations of these notions (and some natural variations thereof) in many familiar categories of spaces can be quite challenging and may lead to unexpected surprises. In fact, we show that there are significant differences in this regard even amongst the categories defined by the standard separation axioms, with the T1-separation condition standing out. The findings about these specific categories lead us to insights also when considering rather arbitrary full reflective subcategories of the category of all topological spaces. △ Less

Submitted 31 January, 2023; originally announced February 2023.

Comments: 34 pages

MSC Class: 54B99; 18B30; 54D10

Sifted Colimits, Strongly Finitary Monads and Continuous Algebras

Authors: Jiří Adámek, Matěj Dostál, Jiří Velebil

Abstract: We characterize strongly finitary monads on categories $\mathsf{Pos}$, $\mathsf{CPO}$ and $\mathsf{DCPO}$ as precisely those preserving sifted colimits. Or, equivalently, enriched finitary monads preserving reflexive coinserters. We study sifted colimits in general enriched categories. For $\mathsf{CPO}$ and $\mathsf{DCPO}$ we characterize varieties of continuous algebras as precisely the monadi… ▽ More We characterize strongly finitary monads on categories $\mathsf{Pos}$, $\mathsf{CPO}$ and $\mathsf{DCPO}$ as precisely those preserving sifted colimits. Or, equivalently, enriched finitary monads preserving reflexive coinserters. We study sifted colimits in general enriched categories. For $\mathsf{CPO}$ and $\mathsf{DCPO}$ we characterize varieties of continuous algebras as precisely the monadic categories for strongly finitary monads. △ Less

Submitted 11 October, 2023; v1 submitted 13 January, 2023; originally announced January 2023.

Varieties of Quantitative or Continuous Algebras (Extended Abstract)

Authors: Jiří Adámek, Matěj Dostál, Jiří Velebil

Abstract: Quantitative algebras are algebras enriched in the category $\mathsf{Met}$ of metric spaces so that all operations are nonexpanding. Mardare, Plotkin and Panangaden introduced varieties (aka $1$-basic varieties) as classes of quantitative algebras presented by quantitative equations. We prove that they bijectively correspond to strongly finitary monads $T$ on $\mathsf{Met}$. This means that $T$ is… ▽ More Quantitative algebras are algebras enriched in the category $\mathsf{Met}$ of metric spaces so that all operations are nonexpanding. Mardare, Plotkin and Panangaden introduced varieties (aka $1$-basic varieties) as classes of quantitative algebras presented by quantitative equations. We prove that they bijectively correspond to strongly finitary monads $T$ on $\mathsf{Met}$. This means that $T$ is the Kan extension of its restriction to finite discrete spaces. An analogous result holds in the category $\mathsf{CMet}$ of complete metric spaces. Analogously, continuous algebras are algebras enriched in $\mathsf{CPO}$, the category of $ω$-cpos, so that all operations are continuous. We introduce equations between extended terms, and prove that varieties (classes presented by such equations) correspond bijectively to strongly finitary monads $T$ on $\mathsf{CPO}$. This means that $T$ is the Kan extension of its restriction to finite discrete cpos. (The two results have substantially different proofs.) An analogous result is also presented for monads on $\mathsf{DCPO}$. We also characterize strong finitarity in all the categories above by preservations of certain weighted colimits. As a byproduct we prove that directed colimits commute with finite products in all cartesian closed categories. △ Less

Submitted 3 January, 2023; originally announced January 2023.

Teaching Small Language Models to Reason

Authors: Lucie Charlotte Magister, Jonathan Mallinson, Jakub Adamek, Eric Malmi, Aliaksei Severyn

Abstract: Chain of thought prompting successfully improves the reasoning capabilities of large language models, achieving state of the art results on a range of datasets. However, these reasoning capabilities only appear to emerge in models with a size of over 100 billion parameters. In this paper, we explore the transfer of such reasoning capabilities to models with less than 100 billion parameters via kno… ▽ More Chain of thought prompting successfully improves the reasoning capabilities of large language models, achieving state of the art results on a range of datasets. However, these reasoning capabilities only appear to emerge in models with a size of over 100 billion parameters. In this paper, we explore the transfer of such reasoning capabilities to models with less than 100 billion parameters via knowledge distillation. Specifically, we finetune a student model on the chain of thought outputs generated by a larger teacher model. Our experiments show that the proposed method improves task performance across arithmetic, commonsense and symbolic reasoning datasets. For example, the accuracy of T5 XXL on GSM8K improves from 8.11% to 21.99% when finetuned on PaLM-540B generated chains of thought. △ Less

Submitted 1 June, 2023; v1 submitted 16 December, 2022; originally announced December 2022.

Relativistic matter bispectrum of cosmic structures on the light cone

Authors: Thomas Montandon, Julian Adamek, Oliver Hahn, Jorge Noreña, Cornelius Rampf, Clément Stahl, Bartjan van Tent

Abstract: Upcoming surveys of cosmic structures will probe scales close to the cosmological horizon, which opens up new opportunities for testing the cosmological concordance model to high accuracy. In particular, constraints on the squeezed bispectrum could rule out the single-field hypothesis during inflation. However, the squeezed bispectrum is also sensitive to dynamical effects of general relativity as… ▽ More Upcoming surveys of cosmic structures will probe scales close to the cosmological horizon, which opens up new opportunities for testing the cosmological concordance model to high accuracy. In particular, constraints on the squeezed bispectrum could rule out the single-field hypothesis during inflation. However, the squeezed bispectrum is also sensitive to dynamical effects of general relativity as well as interactions of matter with residual radiation from the early Universe. In this paper, we present a relativistic simulation pipeline that includes these relativistic effects consistently. We produce light cones and calculate the observed number counts of cold dark matter for five redshift bins between $z=0.55$-$2.25$. We compare the relativistic results against reference Newtonian simulations by means of angular power- and bispectra. We find that the dynamical relativistic effects scale roughly inversely proportional to the multipole in the angular power spectrum, with a maximum amplitude of $10\%$ for $\ell \lesssim 5$. By using a smoothing method applied to the binned bispectrum we detect the Newtonian bispectrum with very high significance. The purely relativistic part of the matter bispectrum is detected with a significance of $\sim 3\,σ$, mostly limited by cosmic variance. We find that the pure dynamical relativistic effects accounts for up to $3\%$ and $10\%$ of the total amplitude, respectively in the squeezed and equilateral limits. Our relativistic pipeline for modelling ultra-large scales yields gauge-independent results as we compute observables consistently on the past light cone, while the Newtonian treatment employs approximations that leave some residual gauge dependence. A gauge-invariant approach is required in order to meet the expected level of precision of forthcoming probes of cosmic structures on ultra-large scales. △ Less

Submitted 3 July, 2023; v1 submitted 13 December, 2022; originally announced December 2022.

Comments: 39 pages, 15 figures

Journal ref: JCAP 08 (2023) 043

Euclid: Modelling massive neutrinos in cosmology -- a code comparison

Authors: J. Adamek, R. E. Angulo, C. Arnold, M. Baldi, M. Biagetti, B. Bose, C. Carbone, T. Castro, J. Dakin, K. Dolag, W. Elbers, C. Fidler, C. Giocoli, S. Hannestad, F. Hassani, C. Hernández-Aguayo, K. Koyama, B. Li, R. Mauland, P. Monaco, C. Moretti, D. F. Mota, C. Partmann, G. Parimbelli, D. Potter , et al. (111 additional authors not shown)

Abstract: The measurement of the absolute neutrino mass scale from cosmological large-scale clustering data is one of the key science goals of the Euclid mission. Such a measurement relies on precise modelling of the impact of neutrinos on structure formation, which can be studied with $N$-body simulations. Here we present the results from a major code comparison effort to establish the maturity and reliabi… ▽ More The measurement of the absolute neutrino mass scale from cosmological large-scale clustering data is one of the key science goals of the Euclid mission. Such a measurement relies on precise modelling of the impact of neutrinos on structure formation, which can be studied with $N$-body simulations. Here we present the results from a major code comparison effort to establish the maturity and reliability of numerical methods for treating massive neutrinos. The comparison includes eleven full $N$-body implementations (not all of them independent), two $N$-body schemes with approximate time integration, and four additional codes that directly predict or emulate the matter power spectrum. Using a common set of initial data we quantify the relative agreement on the nonlinear power spectrum of cold dark matter and baryons and, for the $N$-body codes, also the relative agreement on the bispectrum, halo mass function, and halo bias. We find that the different numerical implementations produce fully consistent results. We can therefore be confident that we can model the impact of massive neutrinos at the sub-percent level in the most common summary statistics. We also provide a code validation pipeline for future reference. △ Less

Submitted 8 August, 2023; v1 submitted 22 November, 2022; originally announced November 2022.

Comments: 44 pages, 17 figures, 2 tables; v2: minor revision, accepted manuscript; published on behalf of the Euclid Consortium; data available at https://doi.org/10.5281/zenodo.7868793

Journal ref: On behalf of Euclid consortium JCAP06(2023)035

Differentiable Constrained Imitation Learning for Robot Motion Planning and Control

Authors: Christopher Diehl, Janis Adamek, Martin Krüger, Frank Hoffmann, Torsten Bertram

Abstract: Motion planning and control are crucial components of robotics applications like automated driving. Here, spatio-temporal hard constraints like system dynamics and safety boundaries (e.g., obstacles) restrict the robot's motions. Direct methods from optimal control solve a constrained optimization problem. However, in many applications finding a proper cost function is inherently difficult because… ▽ More Motion planning and control are crucial components of robotics applications like automated driving. Here, spatio-temporal hard constraints like system dynamics and safety boundaries (e.g., obstacles) restrict the robot's motions. Direct methods from optimal control solve a constrained optimization problem. However, in many applications finding a proper cost function is inherently difficult because of the weighting of partially conflicting objectives. On the other hand, Imitation Learning (IL) methods such as Behavior Cloning (BC) provide an intuitive framework for learning decision-making from offline demonstrations and constitute a promising avenue for planning and control in complex robot applications. Prior work primarily relied on soft constraint approaches, which use additional auxiliary loss terms describing the constraints. However, catastrophic safety-critical failures might occur in out-of-distribution (OOD) scenarios. This work integrates the flexibility of IL with hard constraint handling in optimal control. Our approach constitutes a general framework for constraint robotic motion planning and control, as well as traffic agent simulation, whereas we focus on mobile robot and automated driving applications. Hard constraints are integrated into the learning problem in a differentiable manner, via explicit completion and gradient-based correction. Simulated experiments of mobile robot navigation and automated driving provide evidence for the performance of the proposed method. △ Less

Submitted 28 August, 2023; v1 submitted 21 October, 2022; originally announced October 2022.

Comments: International Conference on Intelligent Robots and Systems Agents4AD Workshop, IROS 2023

Quantitative Algebras and a Classification of Metric Monads

Authors: J. Adámek, M. Dostál, J. Velebil

Abstract: Quantitative algebras are $Σ$-algebras acting on metric spaces, where operations are nonexpanding. Mardare, Panangaden and Plotkin introduced 1-basic varieties as categories of quantitative algebras presented by quantitative equations. We prove that for the category $\mathsf{UMet}$ of ultrametric spaces such varieties bijectively correspond to strongly finitary monads on $\mathsf{UMet}$. The same… ▽ More Quantitative algebras are $Σ$-algebras acting on metric spaces, where operations are nonexpanding. Mardare, Panangaden and Plotkin introduced 1-basic varieties as categories of quantitative algebras presented by quantitative equations. We prove that for the category $\mathsf{UMet}$ of ultrametric spaces such varieties bijectively correspond to strongly finitary monads on $\mathsf{UMet}$. The same holds for the category $\mathsf{Met}$ of metric spaces, provided that strongly finitary endofunctors are closed under composition. For uncountable cardinals $λ$ there is an analogous bijection between varieties of $λ$-ary quantitative algebras and monads that are strongly $λ$-accessible. Moreover, we present a bijective correspondence between $λ$-basic varieties as introduced by Mardare et al and enriched, surjections-preserving $λ$-accesible monads on $\mathsf{Met}$. Finally, for general enriched $λ$-accessible monads on $\mathsf{Met}$ a bijective correspondence to generalized varieties is presented. △ Less

Submitted 11 December, 2023; v1 submitted 4 October, 2022; originally announced October 2022.

The halo bias for number counts on the light cone from relativistic N-body simulations

Authors: Francesca Lepori, Sebastian Schulz, Julian Adamek, Ruth Durrer

Abstract: We present the halo number counts and its two-point statistics, the observable angular power spectrum, extracted for the first time from relativistic N-body simulations. The halo catalogues used in this work are built from the relativistic N-body code gevolution, and the observed redshift and angular positions of the sources are computed using a non-perturbative ray-tracing method, which includes… ▽ More We present the halo number counts and its two-point statistics, the observable angular power spectrum, extracted for the first time from relativistic N-body simulations. The halo catalogues used in this work are built from the relativistic N-body code gevolution, and the observed redshift and angular positions of the sources are computed using a non-perturbative ray-tracing method, which includes all relativistic scalar contributions to the number counts. We investigate the validity and limitations of the linear bias prescription to describe our simulated power spectra. In particular, we assess the consistency of different bias measurements on large scales, and we estimate up to which scales a linear bias is accurate in modelling the data, within the statistical errors. We then test a second-order perturbative bias expansion for the angular statistics, on a range of redshifts and scales previously unexplored in this context, that is $0.4 \le \bar{z} \le 2$ up to scales $\ell_\mathrm{max} \sim 1000$. We find that the angular power spectra at equal redshift can be modelled with high accuracy with a minimal extension of the number of bias parameters, that is using a two-parameter model comprising linear bias and tidal bias. We show that this model performs significantly better than a model without tidal bias but with quadratic bias as extra degree of freedom, and that the latter is inaccurate at $\bar{z} \ge 0.7$. Finally, we extract from our simulations the cross-correlation of halo number counts and lensing convergence. We show that the estimate of the linear bias from this cross-correlation is consistent with the measurements based on the clustering statistics alone, and that it is crucial to take into account the effect of magnification in the halo number counts to avoid systematic shifts in the computed bias. △ Less

Submitted 27 February, 2023; v1 submitted 21 September, 2022; originally announced September 2022.

Comments: 28 pages, 16 figures

Journal ref: Journal of Cosmology and Astroparticle Physics, Volume 2023, February 2023

Biased tracers as a probe of beyond-$Λ$CDM cosmologies

Authors: Farbod Hassani, Julian Adamek, Ruth Durrer, Martin Kunz

Abstract: Cosmological models beyond $Λ$CDM, like those featuring massive neutrinos or modifications of gravity, often display a characteristic change (scale-dependent suppression or enhancement) in the matter power spectrum when compared to a $Λ$CDM baseline. It is therefore a widely held view that constraints on those models can be obtained by searching for such features in the clustering statistics of la… ▽ More Cosmological models beyond $Λ$CDM, like those featuring massive neutrinos or modifications of gravity, often display a characteristic change (scale-dependent suppression or enhancement) in the matter power spectrum when compared to a $Λ$CDM baseline. It is therefore a widely held view that constraints on those models can be obtained by searching for such features in the clustering statistics of large-scale structure. However, when using biased tracers of matter in the analysis, the situation is complicated by the fact that the bias also depends on cosmology. Here we investigate how the selection of tracers affects the observed signatures for two examples of beyond-$Λ$CDM cosmologies: massive neutrinos and clustering dark energy ($k$-essence). We study the signatures in the monopole, quadrupole, and hexadecapole of the redshift-space power spectra for halo catalogues from large $N$-body simulations and argue that a fixed selection criterion based on local attributes like tracer mass leads to a near loss of signal in most cases. Instead, the full signal is recovered only if the selection of tracers is done at fixed bias. This emphasises the need to model or measure the bias parameters accurately in order to get meaningful constraints on the cosmological model. △ Less

Submitted 17 May, 2023; v1 submitted 28 June, 2022; originally announced June 2022.

Comments: 5 pages, 5 figures; data available at https://zenodo.org/record/7832261

Journal ref: A&A 668, A56 (2022)

Text Generation with Text-Editing Models

Authors: Eric Malmi, Yue Dong, Jonathan Mallinson, Aleksandr Chuklin, Jakub Adamek, Daniil Mirylenka, Felix Stahlberg, Sebastian Krause, Shankar Kumar, Aliaksei Severyn

Abstract: Text-editing models have recently become a prominent alternative to seq2seq models for monolingual text-generation tasks such as grammatical error correction, simplification, and style transfer. These tasks share a common trait - they exhibit a large amount of textual overlap between the source and target texts. Text-editing models take advantage of this observation and learn to generate the outpu… ▽ More Text-editing models have recently become a prominent alternative to seq2seq models for monolingual text-generation tasks such as grammatical error correction, simplification, and style transfer. These tasks share a common trait - they exhibit a large amount of textual overlap between the source and target texts. Text-editing models take advantage of this observation and learn to generate the output by predicting edit operations applied to the source sequence. In contrast, seq2seq models generate outputs word-by-word from scratch thus making them slow at inference time. Text-editing models provide several benefits over seq2seq models including faster inference speed, higher sample efficiency, and better control and interpretability of the outputs. This tutorial provides a comprehensive overview of text-editing models and current state-of-the-art approaches, and analyzes their pros and cons. We discuss challenges related to productionization and how these models can be used to mitigate hallucination and bias, both pressing challenges in the field of text generation. △ Less

Submitted 14 June, 2022; originally announced June 2022.

Comments: Accepted as a tutorial at NAACL 2022

EdiT5: Semi-Autoregressive Text-Editing with T5 Warm-Start

Authors: Jonathan Mallinson, Jakub Adamek, Eric Malmi, Aliaksei Severyn

Abstract: We present EdiT5 - a novel semi-autoregressive text-editing model designed to combine the strengths of non-autoregressive text-editing and autoregressive decoding. EdiT5 is faster during inference than conventional sequence-to-sequence (seq2seq) models, while being capable of modelling flexible input-output transformations. This is achieved by decomposing the generation process into three sub-ta… ▽ More We present EdiT5 - a novel semi-autoregressive text-editing model designed to combine the strengths of non-autoregressive text-editing and autoregressive decoding. EdiT5 is faster during inference than conventional sequence-to-sequence (seq2seq) models, while being capable of modelling flexible input-output transformations. This is achieved by decomposing the generation process into three sub-tasks: (1) tagging to decide on the subset of input tokens to be preserved in the output, (2) re-ordering to define their order in the output text, and (3) insertion to infill the missing tokens that are not present in the input. The tagging and re-ordering steps, which are responsible for generating the largest portion of the output, are non-autoregressive, while the insertion step uses an autoregressive decoder. Depending on the task, EdiT5 on average requires significantly fewer autoregressive steps, demonstrating speedups of up to 25x when compared to seq2seq models. Quality-wise, EdiT5 is initialized with a pre-trained T5 checkpoint yielding comparable performance to T5 in high-resource settings when evaluated on three NLG tasks: Sentence Fusion, Grammatical Error Correction, and Decontextualization while clearly outperforming T5 in low-resource settings. △ Less

Submitted 26 October, 2022; v1 submitted 24 May, 2022; originally announced May 2022.

Comments: To be published in Findings of EMNLP 2022

A new instability in clustering dark energy?

Authors: Farbod Hassani, Julian Adamek, Martin Kunz, Pan Shi, Peter Wittwer

Abstract: In this paper, we study the effective field theory (EFT) of dark energy for the $k$-essence model beyond linear order. Using particle-mesh $N$-body simulations that consistently solve the dark energy evolution on a grid, we find that the next-to-leading order in the EFT expansion, which comprises the terms of the equations of motion that are quadratic in the field variables, gives rise to a new in… ▽ More In this paper, we study the effective field theory (EFT) of dark energy for the $k$-essence model beyond linear order. Using particle-mesh $N$-body simulations that consistently solve the dark energy evolution on a grid, we find that the next-to-leading order in the EFT expansion, which comprises the terms of the equations of motion that are quadratic in the field variables, gives rise to a new instability in the regime of low speed of sound (high Mach number). We rule out the possibility of a numerical artefact by considering simplified cases in spherically and plane symmetric situations analytically. If the speed of sound vanishes exactly, the non-linear instability makes the evolution singular in finite time, signalling a breakdown of the EFT framework. The case of finite (but small) speed of sound is subtle, and the local singularity could be replaced by some other type of behaviour with strong non-linearities. While an ultraviolet completion may cure the problem in principle, there is no reason why this should be the case in general. As a result, for a large range of the effective speed of sound $c_s$, a linear treatment is not adequate. △ Less

Submitted 27 April, 2022; originally announced April 2022.

Comments: 24 pages, 10 figures

Relativistic second-order initial conditions for simulations of large-scale structure

Authors: J. Adamek, J. Calles, T. Montandon, J. Noreña, C. Stahl

Abstract: Relativistic corrections to the evolution of structure can be used to test general relativity on cosmological scales. They are also a well-known systematic contamination in the search for a primordial non-Gaussian signal. We present a numerical framework to generate RELativistic second-order Initial Conditions ($\texttt{RELIC}$) based on a generic (not necessarily separable) second-order kernel fo… ▽ More Relativistic corrections to the evolution of structure can be used to test general relativity on cosmological scales. They are also a well-known systematic contamination in the search for a primordial non-Gaussian signal. We present a numerical framework to generate RELativistic second-order Initial Conditions ($\texttt{RELIC}$) based on a generic (not necessarily separable) second-order kernel for the density perturbations. In order to keep the time complexity manageable we introduce a scale cut that separates long and short scales, and neglect the "short-short" coupling that will eventually be swamped by uncontrollable higher-order effects. To test our approach, we use the second-order Einstein-Boltzmann code $\texttt{SONG}$ to provide the numerical second-order kernel in a $Λ$CDM model, and we demonstrate that the realisations generated by $\texttt{RELIC}$ reproduce the bispectra well whenever at least one of the scales is a "long" mode. We then present a generic algorithm that takes a perturbed density field as an inputand provides particle initial data that matches this input to arbitrary order in perturbations for a given particle-mesh scheme. We implement this algorithm in the relativistic N-body code $\texttt{gevolution}$ to demonstrate how our framework can be used to set precise initial conditions for cosmological simulations of large-scale structure. △ Less

Submitted 21 October, 2021; originally announced October 2021.

Comments: 24 pages, 7 figures

Journal ref: JCAP 04 (2022) 001

Varieties of ordered algebras as categories

Authors: Jiří Adámek, Jiří Rosický

Abstract: A variety is a category of ordered (finitary) algebras presented by inequations between terms. We characterize categories enriched over the category of posets which are equivalent to a variety. This is quite analogous to Lawvere's classical characterization of varieties of ordinary algebras. We also prove that varieties of ordered algebras are precisely the free completions of duals of discrete La… ▽ More A variety is a category of ordered (finitary) algebras presented by inequations between terms. We characterize categories enriched over the category of posets which are equivalent to a variety. This is quite analogous to Lawvere's classical characterization of varieties of ordinary algebras. We also prove that varieties of ordered algebras are precisely the free completions of duals of discrete Lawvere theories under sifted colimits. △ Less

Submitted 31 March, 2023; v1 submitted 13 October, 2021; originally announced October 2021.

Comments: revised version, 29 pages

Journal ref: Alg. Univ. 84:9 (2023)

Euclid preparation: XIX. Impact of magnification on photometric galaxy clustering

Authors: F. Lepori, I. Tutusaus, C. Viglione, C. Bonvin, S. Camera, F. J. Castander, R. Durrer, P. Fosalba, G. Jelic-Cizmek, M. Kunz, J. Adamek, S. Casas, M. Martinelli, Z. Sakr, D. Sapone, A. Amara, N. Auricchio, C. Bodendorf, D. Bonino, E. Branchini, M. Brescia, J. Brinchmann, V. Capobianco, C. Carbone, J. Carretero , et al. (161 additional authors not shown)

Abstract: We investigate the importance of lensing magnification for estimates of galaxy clustering and its cross-correlation with shear for the photometric sample of Euclid. Using updated specifications, we study the impact of lensing magnification on the constraints and the shift in the estimation of the best fitting cosmological parameters that we expect if this effect is neglected. We follow the prescri… ▽ More We investigate the importance of lensing magnification for estimates of galaxy clustering and its cross-correlation with shear for the photometric sample of Euclid. Using updated specifications, we study the impact of lensing magnification on the constraints and the shift in the estimation of the best fitting cosmological parameters that we expect if this effect is neglected. We follow the prescriptions of the official Euclid Fisher matrix forecast for the photometric galaxy clustering analysis and the combination of photometric clustering and cosmic shear. The slope of the luminosity function (local count slope), which regulates the amplitude of the lensing magnification, and the galaxy bias have been estimated from the Euclid Flagship simulation.We find that magnification significantly affects both the best-fit estimation of cosmological parameters and the constraints in the galaxy clustering analysis of the photometric sample. In particular, including magnification in the analysis reduces the 1$σ$ errors on $Ω_{\text{m},0}, w_{0}, w_a$ at the level of 20-35%, depending on how well we will be able to independently measure the local count slope. In addition, we find that neglecting magnification in the clustering analysis leads to shifts of up to 1.6$σ$ in the best-fit parameters. In the joint analysis of galaxy clustering, cosmic shear, and galaxy-galaxy lensing, magnification does not improve precision, but it leads to an up to 6$σ$ bias if neglected. Therefore, for all models considered in this work, magnification has to be included in the analysis of galaxy clustering and its cross-correlation with the shear signal ($3\times2$pt analysis) for an accurate parameter estimation. △ Less

Submitted 30 June, 2022; v1 submitted 11 October, 2021; originally announced October 2021.

Comments: 26 pages, 11 figures. Version accepted for publication in A&A

Journal ref: A&A 662, A93 (2022)

A new nonlinear instability for scalar fields

Authors: Farbod Hassani, Pan Shi, Julian Adamek, Martin Kunz, Peter Wittwer

Abstract: In this letter we introduce the non-linear partial differential equation (PDE) $\partial^2_τ π\propto (\vec\nabla π)^2$ showing a new type of instability. Such equations appear in the effective field theory (EFT) of dark energy for the $k$-essence model as well as in many other theories based on the EFT formalism. We demonstrate the occurrence of instability in the cosmological context using a rel… ▽ More In this letter we introduce the non-linear partial differential equation (PDE) $\partial^2_τ π\propto (\vec\nabla π)^2$ showing a new type of instability. Such equations appear in the effective field theory (EFT) of dark energy for the $k$-essence model as well as in many other theories based on the EFT formalism. We demonstrate the occurrence of instability in the cosmological context using a relativistic $N$-body code, and we study it mathematically in 3+1 dimensions within spherical symmetry. We show that this term dominates for the low speed of sound limit where some important linear terms are suppressed. △ Less

Submitted 20 May, 2023; v1 submitted 29 July, 2021; originally announced July 2021.

Comments: 5 pages, 2 figures; data available at https://zenodo.org/record/7950024

Journal ref: Phys. Rev. D 105, 021304 (2022)

Cosmological Simulations of Number Counts

Authors: Francesca Lepori, Julian Adamek, Ruth Durrer

Abstract: In this paper we present for the first time the angular power spectra $C_\ell(z,z')$ for number counts from relativistic N-body simulations. We use the relativistic N-body code gevolution with its exact integration of lightlike geodesics which include all relativistic scalar contributions to the number counts. We compare our non-perturbative numerical results with the results from CLASS using the… ▽ More In this paper we present for the first time the angular power spectra $C_\ell(z,z')$ for number counts from relativistic N-body simulations. We use the relativistic N-body code gevolution with its exact integration of lightlike geodesics which include all relativistic scalar contributions to the number counts. We compare our non-perturbative numerical results with the results from CLASS using the HMCODE approximation for the non-linear matter power spectrum. We find that this simple description is excellent for both, the density and the convergence. On the other hand, the current implementation of redshift-space distortions in Boltzmann codes is not accurate. We also find that the largest contribution to the unequal-redshift power spectra is the cross-correlation of the density and the lensing contribution to the number counts, especially for redshift bins that are far apart. Correlating the number counts with the convergence map we find that the signal is dominated by the lensing-lensing term when the convergence field redshift is not higher than the number counts one, while it is dominated by the density-lensing term in the opposite case. In the present study, the issue of galaxy bias is deliberately left aside by considering only unbiased samples of matter particles from the simulations. △ Less

Submitted 12 December, 2021; v1 submitted 2 June, 2021; originally announced June 2021.

Comments: 26 pages, 8 figures, version accepted for publication in JCAP

Journal ref: Journal of Cosmology and Astroparticle Physics, Volume 2021, December 2021

An Initial Algebra Theorem Without Iteration

Authors: Jiří Adámek, Stefan Milius, Lawrence S. Moss

Abstract: The Initial Algebra Theorem by Trnková et al.~states, under mild assumptions, that an endofunctor has an initial algebra provided it has a pre-fixed point. The proof crucially depends on transfinitely iterating the functor and in fact shows that, equivalently, the (transfinite) initial-algebra chain stops. We give a constructive proof of the Initial Algebra Theorem that avoids transfinite iteratio… ▽ More The Initial Algebra Theorem by Trnková et al.~states, under mild assumptions, that an endofunctor has an initial algebra provided it has a pre-fixed point. The proof crucially depends on transfinitely iterating the functor and in fact shows that, equivalently, the (transfinite) initial-algebra chain stops. We give a constructive proof of the Initial Algebra Theorem that avoids transfinite iteration of the functor. For a given pre-fixed point $A$ of the functor, it uses Pataraia's theorem to obtain the least fixed point of a monotone function on the partial order formed by all subobjects of $A$. Thanks to properties of recursive coalgebras, this least fixed point yields an initial algebra. We obtain new results on fixed points and initial algebras in categories enriched over directed-complete partial orders, again without iteration. Using transfinite iteration we equivalently obtain convergence of the initial-algebra chain as an equivalent condition, overall yielding a streamlined version of the original proof. △ Less

Submitted 14 February, 2022; v1 submitted 20 April, 2021; originally announced April 2021.

Journal ref: Proc. 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021), volume 211 of LIPIcs, pages 5:1-5:20

Algebraic cocompleteness and finitary functors

Authors: Jiri Adamek

Abstract: A number of categories is presented that are algebraically complete and cocomplete, i.e., every endofunctor has an initial algebra and a terminal coalgebra. For all finitary (and, more generally, all precontinuous) set functors the initial algebra and terminal coalgebra are proved to carry a canonical partial order with the same ideal CPO-completion. And they also both carry a canonical ultrametri… ▽ More A number of categories is presented that are algebraically complete and cocomplete, i.e., every endofunctor has an initial algebra and a terminal coalgebra. For all finitary (and, more generally, all precontinuous) set functors the initial algebra and terminal coalgebra are proved to carry a canonical partial order with the same ideal CPO-completion. And they also both carry a canonical ultrametric with the same Cauchy completion. △ Less

Submitted 5 May, 2021; v1 submitted 12 February, 2021; originally announced February 2021.

Comments: Accidental duplicate of arXiv:1903.02438

ACM Class: F.3.2

Simulations of COMPASS Vertical Displacement Events with a self-consistent model for halo currents including neutrals and sheath boundary conditions

Authors: F. J. Artola, A. Loarte, E. Matveeva, J. Havlicek, T. Markovic, J. Adamek, J. Cavalier, L. Kripner, G. T. A. Huijsmans, M. Lehnen, M. Hoelzl, R. Panek, COMPASS team, JOREK team

Abstract: The understanding of the halo current properties during disruptions is key to design and operate large scale tokamaks in view of the large thermal and electromagnetic loads that they entail. For the first time, we present a fully self-consistent model for halo current simulations including neutral particles and sheath boundary conditions. The model is used to simulate Vertical Displacement Events… ▽ More The understanding of the halo current properties during disruptions is key to design and operate large scale tokamaks in view of the large thermal and electromagnetic loads that they entail. For the first time, we present a fully self-consistent model for halo current simulations including neutral particles and sheath boundary conditions. The model is used to simulate Vertical Displacement Events (VDEs) occurring in the COMPASS tokamak. Recent COMPASS experiments have shown that the parallel halo current density at the plasma-wall interface is limited by the ion saturation current during VDE-induced disruptions. We show that usual MHD boundary conditions can lead to the violation of this physical limit and we implement this current density limitation through a boundary condition for the electrostatic potential. Sheath boundary conditions for the density, the heat flux, the parallel velocity and a realistic parameter choice (e.g. Spitzer $η$ and Spitzer-Härm $χ_\parallel$ values) extend present VDE simulations beyond the state of the art. Experimental measurements of the current density, temperature and heat flux profiles at the COMPASS divertor are compared with the results obtained from axisymmetric simulations. Since the ion saturation current density ($J_{sat}$) is shown to be essential to determine the halo current profile, parametric scans are performed to study its dependence on different quantities such as the plasma resistivity and the particle and heat diffusion coefficients. In this respect, the plasma resistivity in the halo region broadens significantly the $J_{sat}$ profile, increasing the halo width at a similar total halo current. △ Less

Submitted 5 January, 2021; originally announced January 2021.

Comments: Submitted to Plasma Physics and Controlled Fusion via the special issue of the Joint Varenna-Lausanne international workshop (October 12-16, 2020)

Reiterman's Theorem on Finite Algebras for a Monad

Authors: Jiri Adamek, Liang-Ting Chen, Stefan Milius, Henning Urbat

Abstract: Profinite equations are an indispensable tool for the algebraic classification of formal languages. Reiterman's theorem states that they precisely specify pseudovarieties, i.e.~classes of finite algebras closed under finite products, subalgebras and quotients. In this paper, Reiterman's theorem is generalized to finite Eilenberg-Moore algebras for a monad T on a category D: we prove that a class o… ▽ More Profinite equations are an indispensable tool for the algebraic classification of formal languages. Reiterman's theorem states that they precisely specify pseudovarieties, i.e.~classes of finite algebras closed under finite products, subalgebras and quotients. In this paper, Reiterman's theorem is generalized to finite Eilenberg-Moore algebras for a monad T on a category D: we prove that a class of finite T-algebras is a pseudovariety iff it is presentable by profinite equations. As a key technical tool, we introduce the concept of a profinite monad associated to the monad T, which gives a categorical view of the construction of the space of profinite terms. △ Less

Submitted 31 May, 2021; v1 submitted 4 January, 2021; originally announced January 2021.

Finitary Monads on the Category of Posets

Authors: Jiří Adámek, Chase Ford, Stefan Milius, Lutz Schröder

Abstract: Finitary monads on $\mathsf{Pos}$ are characterized as the precisely the free-algebra monads of varieties of algebras. These are classes of ordered algebras specified by inequations in context. Analagously, finitary enriched monads on $\mathsf{Pos}$ are characterized: here we work with varieties of coherent algebras which means that their operations are monotone. Finitary monads on $\mathsf{Pos}$ are characterized as the precisely the free-algebra monads of varieties of algebras. These are classes of ordered algebras specified by inequations in context. Analagously, finitary enriched monads on $\mathsf{Pos}$ are characterized: here we work with varieties of coherent algebras which means that their operations are monotone. △ Less

Submitted 30 November, 2020; originally announced November 2020.

A categorical view of varieties of ordered algebras

Authors: J. Adámek, M. Dostál, J. Velebil

Abstract: It is well known that classical varieties of $Σ$-algebras correspond bijectively to finitary monads on $\mathsf{Set}$. We present an analogous result for varieties of ordered $Σ$-algebras, i.e., classes presented by inequations between $Σ$-terms. We prove that they correspond bijectively to strongly finitary monads on $\mathsf{Pos}$. That is, those finitary monads which preserve reflexive coinsert… ▽ More It is well known that classical varieties of $Σ$-algebras correspond bijectively to finitary monads on $\mathsf{Set}$. We present an analogous result for varieties of ordered $Σ$-algebras, i.e., classes presented by inequations between $Σ$-terms. We prove that they correspond bijectively to strongly finitary monads on $\mathsf{Pos}$. That is, those finitary monads which preserve reflexive coinserters. We deduce that strongly finitary monads have a coinserter presentation, analogous to the coequaliser presentation of finitary monads due to Kelly and Power. We also show that these monads are liftings of finitary monads on $\mathsf{Set}$. △ Less

Submitted 5 January, 2021; v1 submitted 27 November, 2020; originally announced November 2020.

MSC Class: 18C15

Observing relativistic features in large-scale structure surveys -- II: Doppler magnification in an ensemble of relativistic simulations

Authors: Louis Coates, Julian Adamek, Philip Bull, Caroline Guandalin, Chris Clarkson

Abstract: The standard cosmological model is inherently relativistic, and yet a wide range of cosmological observations can be predicted accurately from essentially Newtonian theory. This is not the case on `ultra-large' distance scales, around the cosmic horizon size, however, where relativistic effects can no longer be neglected. In this paper, we present a novel suite of 53 fully relativistic simulations… ▽ More The standard cosmological model is inherently relativistic, and yet a wide range of cosmological observations can be predicted accurately from essentially Newtonian theory. This is not the case on `ultra-large' distance scales, around the cosmic horizon size, however, where relativistic effects can no longer be neglected. In this paper, we present a novel suite of 53 fully relativistic simulations generated using the gevolution code, each covering the full sky out to $z \approx$ 0.85, and approximately 1930 square degrees out to $z \approx$ 3.55. These include a relativistic treatment of massive neutrinos, as well as the gravitational potential that can be used to exactly calculate observables on the past light cone. The simulations are divided into two sets, the first being a set of 39 simulations of the same fiducial cosmology (based on the Euclid Flagship 2 cosmology) with different realisations of the initial conditions, and the second which fixes the initial conditions, but varies each of seven cosmological parameters in turn. Taken together, these simulations allow us to perform statistical studies and calculate derivatives of any relativistic observable with respect to cosmological parameters. As an example application, we compute the cross-correlation between the Doppler magnification term in the convergence, $κ_v$, and the CDM+baryon density contrast, $δ_{\rm cb}$, which arises only in a (special) relativistic treatment. We are able to accurately recover this term as predicted by relativistic perturbation theory, and study its sample variance and derivatives with respect to cosmological parameters. △ Less

Submitted 2 June, 2021; v1 submitted 25 November, 2020; originally announced November 2020.

Comments: 9 pages, 6 figures, corresponds to published version

Journal ref: MNRAS,504(3),2021,3534-3543

Stepwise Extractive Summarization and Planning with Structured Transformers

Authors: Shashi Narayan, Joshua Maynez, Jakub Adamek, Daniele Pighin, Blaž Bratanič, Ryan McDonald

Abstract: We propose encoder-centric stepwise models for extractive summarization using structured transformers -- HiBERT and Extended Transformers. We enable stepwise summarization by injecting the previously generated summary into the structured transformer as an auxiliary sub-structure. Our models are not only efficient in modeling the structure of long inputs, but they also do not rely on task-specific… ▽ More We propose encoder-centric stepwise models for extractive summarization using structured transformers -- HiBERT and Extended Transformers. We enable stepwise summarization by injecting the previously generated summary into the structured transformer as an auxiliary sub-structure. Our models are not only efficient in modeling the structure of long inputs, but they also do not rely on task-specific redundancy-aware modeling, making them a general purpose extractive content planner for different tasks. When evaluated on CNN/DailyMail extractive summarization, stepwise models achieve state-of-the-art performance in terms of Rouge without any redundancy aware modeling or sentence filtering. This also holds true for Rotowire table-to-text generation, where our models surpass previously reported metrics for content selection, planning and ordering, highlighting the strength of stepwise modeling. Amongst the two structured transformers we test, stepwise Extended Transformers provides the best performance across both datasets and sets a new standard for these challenges. △ Less

Submitted 6 October, 2020; originally announced October 2020.

Comments: 17 pages, EMNLP 2020

Observing relativistic features in large-scale structure surveys -- I: Multipoles of the power spectrum

Authors: Caroline Guandalin, Julian Adamek, Philip Bull, Chris Clarkson, L. Raul Abramo, Louis Coates

Abstract: Planned efforts to probe the largest observable distance scales in future cosmological surveys are motivated by a desire to detect relic correlations left over from inflation, and the possibility of constraining novel gravitational phenomena beyond General Relativity (GR). On such large scales, the usual Newtonian approaches to modelling summary statistics like the power spectrum and bispectrum ar… ▽ More Planned efforts to probe the largest observable distance scales in future cosmological surveys are motivated by a desire to detect relic correlations left over from inflation, and the possibility of constraining novel gravitational phenomena beyond General Relativity (GR). On such large scales, the usual Newtonian approaches to modelling summary statistics like the power spectrum and bispectrum are insufficient, and we must consider a fully relativistic and gauge-independent treatment of observables such as galaxy number counts in order to avoid subtle biases, e.g. in the determination of the $f_{\rm NL}$ parameter. In this work, we present an initial application of an analysis pipeline capable of accurately modelling and recovering relativistic spectra and correlation functions. As a proof of concept, we focus on the non-zero dipole of the redshift-space power spectrum that arises in the cross-correlation of different mass bins of dark matter halos, using strictly gauge-independent observable quantities evaluated on the past light cone of a fully relativistic N-body simulation in a redshift bin $1.7 \le z \le 2.9$. We pay particular attention to the correct estimation of power spectrum multipoles, comparing different methods of accounting for complications such as the survey geometry (window function) and evolution/bias effects on the past light cone, and discuss how our results compare with previous attempts at extracting novel GR signatures from relativistic simulations. △ Less

Submitted 8 January, 2021; v1 submitted 4 September, 2020; originally announced September 2020.

Comments: Minor corrections in the text of version 2

Journal ref: MNRAS, 501(2), 2021, 2547-2561

Clustering dark energy imprints on cosmological observables of the gravitational field

Authors: Farbod Hassani, Julian Adamek, Martin Kunz

Abstract: We study cosmological observables on the past light cone of a fixed observer in the context of clustering dark energy. We focus on observables that probe the gravitational field directly, namely the integrated Sachs-Wolfe and non-linear Rees-Sciama effect (ISW-RS), weak gravitational lensing, gravitational redshift and Shapiro time delay. With our purpose-built $N$-body code "$k$-evolution" that t… ▽ More We study cosmological observables on the past light cone of a fixed observer in the context of clustering dark energy. We focus on observables that probe the gravitational field directly, namely the integrated Sachs-Wolfe and non-linear Rees-Sciama effect (ISW-RS), weak gravitational lensing, gravitational redshift and Shapiro time delay. With our purpose-built $N$-body code "$k$-evolution" that tracks the coupled evolution of dark matter particles and the dark energy field, we are able to study the regime of low speed of sound $c_s$ where dark energy perturbations can become quite large. Using ray tracing we produce two-dimensional sky maps for each effect and we compute their angular power spectra. It turns out that the ISW-RS signal is the most promising probe to constrain clustering dark energy properties coded in $w-c_s^2$, as the $\textit{linear}$ clustering of dark energy would change the angular power spectrum by $\sim 30\%$ at low $\ell$ when comparing two different speeds of sound for dark energy. Weak gravitational lensing, Shapiro time-delay and gravitational redshift are less sensitive probes of clustering dark energy, showing variations of a few percent only. The effect of dark energy $\textit{non-linearities}$ in all the power spectra is negligible at low $\ell$, but reaches about $2\%$ and $3\%$, respectively, in the convergence and ISW-RS angular power spectra at multipoles of a few hundred when observed at redshift $\sim 0.85$. Future cosmological surveys achieving percent precision measurements will allow to probe the clustering of dark energy to a high degree of confidence. △ Less

Submitted 20 May, 2023; v1 submitted 9 July, 2020; originally announced July 2020.

Comments: 18 pages, 15 figures, version accepted for publication in MNRAS; data available at https://doi.org/10.5281/zenodo.7950184

Journal ref: Mon. Not. Roy. Astron. Soc. 500 (2020) 4, 4514-4529

Approximate injectivity and smallness in metric-enriched categories

Authors: Jiří Adámek, Jiří Rosický

Abstract: Properties of categories enriched over the category of metric spaces are investigated and applied to a study of constructions known from that category and the category of Banach spaces. For every class of morphisms satisfying a mild smallness condition we prove the corresponding approximate-injectivity class is weakly reflective, and we study the properties of the reflection morphisms. As an appli… ▽ More Properties of categories enriched over the category of metric spaces are investigated and applied to a study of constructions known from that category and the category of Banach spaces. For every class of morphisms satisfying a mild smallness condition we prove the corresponding approximate-injectivity class is weakly reflective, and we study the properties of the reflection morphisms. As an application we present a new categorical proof of the essential uniqueness of the Gurarii space. △ Less

Submitted 12 October, 2021; v1 submitted 2 June, 2020; originally announced June 2020.

Comments: 36 pages

MSC Class: 18C35; 18D20; 46M10

Journal ref: J. Pure Appl. Alg. 226 (2022), 106974

Recent progress towards a quantitative description of filamentary SOL transport

Authors: D. Carralero, M. Siccinio, M. Komm, S. A. Artene, F. A. D'Isa, J. Adamek, L. Aho-Mantila, G. Birkenmeier, M. Brix, G. Fuchert, M. Groth, T. Lunt, P. Manz, J. Madsen, S. Marsen, H. W. Müller, U. Stroth, H. J. Sun, N. Vianello, M. Wischmeier, E. Wolfrum, ASDEX Upgrade Team, COMPASS Team, JET Contributors, the EUROfusion MST team

Abstract: A summary of recent results on filamentary transport, mostly obtained in the ASDEX-Upgrade tokamak (AUG), is presented and discussed in an attempt to produce a coherent picture of SOL filamentary transport: A clear correlation is found between L-mode density shoulder formation in the outer midplane and a transition between the sheath limited and the inertial filamentary regimes. Divertor collision… ▽ More A summary of recent results on filamentary transport, mostly obtained in the ASDEX-Upgrade tokamak (AUG), is presented and discussed in an attempt to produce a coherent picture of SOL filamentary transport: A clear correlation is found between L-mode density shoulder formation in the outer midplane and a transition between the sheath limited and the inertial filamentary regimes. Divertor collisionality is found to be the parameter triggering the transition. A clear reduction of the ion temperature takes place in the far SOL after the transition, both for the background and the filaments. This coincides with a strong variation of the ion temperature distribution, which deviates from Gaussianity and becomes dominated by a strong peak below $5$ eV. The filament transition mechanism triggered by a critical value of collisionality seems to be generally applicable to inter-ELM H-mode plasmas, although a secondary threshold related to deuterium fueling is observed. EMC3-EIRENE simulations of neutral dynamics show that an ionization front near the main chamber wall is formed after the shoulder formation. Finally, a clear increase of SOL opacity to neutrals is observed associated to the shoulder formation. A common SOL transport framework is proposed account for all these results, and their potential implications for future generation devices are discussed. △ Less

Submitted 13 May, 2020; originally announced May 2020.

Comments: Published in Nuclear Fusion

Numerical solutions to Einstein's equations in a shearing-dust Universe: a code comparison

Authors: Julian Adamek, Cristian Barrera-Hinojosa, Marco Bruni, Baojiu Li, Hayley J. Macpherson, James B. Mertens

Abstract: A number of codes for general-relativistic simulations of cosmological structure formation have been developed in recent years. Here we demonstrate that a sample of these codes produce consistent results beyond the Newtonian regime. We simulate solutions to Einstein's equations dominated by gravitomagnetism -- a vector-type gravitational field that doesn't exist in Newtonian gravity and produces f… ▽ More A number of codes for general-relativistic simulations of cosmological structure formation have been developed in recent years. Here we demonstrate that a sample of these codes produce consistent results beyond the Newtonian regime. We simulate solutions to Einstein's equations dominated by gravitomagnetism -- a vector-type gravitational field that doesn't exist in Newtonian gravity and produces frame-dragging, the leading-order post-Newtonian effect. We calculate the coordinate-invariant effect on intersecting null geodesics by performing ray tracing in each independent code. With this observable quantity, we assess and compare each code's ability to compute relativistic effects. △ Less

Submitted 18 May, 2020; v1 submitted 17 March, 2020; originally announced March 2020.

Comments: 14 pages, 5 figures, accepted to CQG

Weak-lensing observables in relativistic N-body simulations

Authors: Francesca Lepori, Julian Adamek, Ruth Durrer, Chris Clarkson, Louis Coates

Abstract: We present a numerical weak-lensing analysis that is fully relativistic and non-perturbative for the scalar part of the gravitational potential and first-order in the vector part, frame dragging. Integrating the photon geodesics backwards from the observer to the emitters, we solve the Sachs optical equations and study in detail the weak-lensing convergence, ellipticity and rotation. For the first… ▽ More We present a numerical weak-lensing analysis that is fully relativistic and non-perturbative for the scalar part of the gravitational potential and first-order in the vector part, frame dragging. Integrating the photon geodesics backwards from the observer to the emitters, we solve the Sachs optical equations and study in detail the weak-lensing convergence, ellipticity and rotation. For the first time, we apply such an analysis to a high-resolution relativistic N-body simulation, which consistently includes the leading-order corrections due to general relativity on both large and small scales. These are related to the question of gauge choice and to post-Newtonian corrections, respectively. We present the angular power spectra and one-point probability distribution functions for the weak-lensing variables, which we find are broadly in agreement with comparable Newtonian simulations. Our geometric approach, however, is more robust and flexible, and can therefore be applied consistently to non-standard cosmologies and modified theories of gravity. △ Less

Submitted 25 August, 2020; v1 submitted 10 February, 2020; originally announced February 2020.

Comments: 20 pages, 17 figures, corresponds to published version

Systematic errors in tokamak magnetic equilibrium reconstruction: a study of EFIT++ at tokamak COMPASS

Authors: K. Jirakova, O. Kovanda, J. Adamek, M. Komm, J. Seidl

Abstract: Uncertainties and errors in magnetic equilibrium reconstructions are a wide-spread problem in interpreting experimental data measured in the tokamak edge. This study demonstrates errors in EFIT++ reconstructions performed on the COMPASS tokamak by comparing the outer midplane separatrix position to the Velocity Shear Layer (VSL) position. The VSL is detected as the plasma potential peak measured b… ▽ More Uncertainties and errors in magnetic equilibrium reconstructions are a wide-spread problem in interpreting experimental data measured in the tokamak edge. This study demonstrates errors in EFIT++ reconstructions performed on the COMPASS tokamak by comparing the outer midplane separatrix position to the Velocity Shear Layer (VSL) position. The VSL is detected as the plasma potential peak measured by a reciprocating ball-pen probe. A subsequent statistical analysis of nearly 400 discharges shows a strong systematic trend in the reconstructed separatrix position relative to the VSL, where the primary factors are plasma triangularity and the magnetic axis radial position. This dependency is significantly reduced after the measuring coils positions as recorded in EFIT input are optimised to provide a closer match between the "synthetic" coil signal calculated by the Biot-Savart law in a vacuum discharge and the actual coil signal. In conclusion, we suggest that applying this optimisation may lead to more accurate and reliable reconstructions of the COMPASS equilibrium, which would have a positive impact on the accuracy of measurement analysis performed in the edge plasma. △ Less

Submitted 28 January, 2020; originally announced January 2020.

Comments: Published in the Journal of Instrumentation, 2019

Journal ref: Journal of Instrumentation 14 (2019) C11020

A farewell to Professor RNDr. Věra Trnková}, DrSc

Authors: Jiří Adámek

Abstract: This is an introduction of the volume of the journal Commentationes Mathematicae Universitatis Caroalinae dedicated to the memory of Věra Trnková}. This is an introduction of the volume of the journal Commentationes Mathematicae Universitatis Caroalinae dedicated to the memory of Věra Trnková}. △ Less

Submitted 26 February, 2020; v1 submitted 13 December, 2019; originally announced December 2019.

On the Behaviour of Coalgebras with Side Effects and Algebras with Effectful Iteration

Authors: Stefan Milius, Jiří Adámek, Henning Urbat

Abstract: For every finitary monad $T$ on sets and every endofunctor $F$ on the category of $T$-algebras we introduce the concept of an ffg-Elgot algebra for $F$, that is, an algebra admitting coherent solutions for finite systems of recursive equations with effects represented by the monad $T$. The goal is to study the existence and construction of free ffg-Elgot algebras. To this end, we investigate the l… ▽ More For every finitary monad $T$ on sets and every endofunctor $F$ on the category of $T$-algebras we introduce the concept of an ffg-Elgot algebra for $F$, that is, an algebra admitting coherent solutions for finite systems of recursive equations with effects represented by the monad $T$. The goal is to study the existence and construction of free ffg-Elgot algebras. To this end, we investigate the locally ffg fixed point $\varphi F$, i.e. the colimit of all $F$-coalgebras with free finitely generated carrier, which is shown to be the initial ffg-Elgot algebra. This is the technical foundation for our main result: the category of ffg-Elgot algebras is monadic over the category of $T$-algebras. △ Less

Submitted 9 September, 2021; v1 submitted 14 November, 2019; originally announced November 2019.

Comments: journal version

On Well-Founded and Recursive Coalgebras

Authors: Jiří Adámek, Stefan Milius, Lawrence S. Moss

Abstract: This paper studies fundamental questions concerning category-theoretic models of induction and recursion. We are concerned with the relationship between well-founded and recursive coalgebras for an endofunctor. For monomorphism preserving endofunctors on complete and well-powered categories every coalgebra has a well-founded part, and we provide a new, shorter proof that this is the coreflection i… ▽ More This paper studies fundamental questions concerning category-theoretic models of induction and recursion. We are concerned with the relationship between well-founded and recursive coalgebras for an endofunctor. For monomorphism preserving endofunctors on complete and well-powered categories every coalgebra has a well-founded part, and we provide a new, shorter proof that this is the coreflection in the category of all well-founded coalgebras. We present a new more general proof of Taylor's General Recursion Theorem that every well-founded coalgebra is recursive, and we study under which hypothesis the converse holds. In addition, we present a new equivalent characterization of well-foundedness: a coalgebra is well-founded iff it admits a coalgebra-to-algebra morphism to the initial algebra. △ Less

Submitted 16 February, 2020; v1 submitted 21 October, 2019; originally announced October 2019.

Ray tracing the integrated Sachs-Wolfe effect through the light cones of the Dark Energy Universe Simulation -- Full Universe Runs

Authors: Julian Adamek, Yann Rasera, Pier Stefano Corasaniti, Jean-Michel Alimi

Abstract: The late integrated Sachs-Wolfe (ISW) effect correlates the Cosmic Microwave Background (CMB) temperature anisotropies with foreground cosmic large-scale structures. As the correlation depends crucially on the growth history in the era of dark energy, it is a key observational probe for constraining the cosmological model. Here we present a detailed study based on full-sky and deep light cones gen… ▽ More The late integrated Sachs-Wolfe (ISW) effect correlates the Cosmic Microwave Background (CMB) temperature anisotropies with foreground cosmic large-scale structures. As the correlation depends crucially on the growth history in the era of dark energy, it is a key observational probe for constraining the cosmological model. Here we present a detailed study based on full-sky and deep light cones generated from very large volume numerical N-body simulations, which allow us to avoid the use of standard replica techniques, while capturing the entirety of the late ISW effect on the large scales. We post-process the light cones using an accurate ray-tracing method and construct full-sky maps of the ISW temperature anisotropy for three different dark energy models. We quantify in detail the extent to which the ISW effect can be used to discriminate between different dark energy scenarios when cross-correlated with the matter distribution or the CMB lensing potential. We also investigate the onset of non-linearities, the so-called Rees-Sciama effect which provides a complementary probe of the dark sector. We find the signal of the lensing-lensing and ISW-lensing correlation of the three dark energy models to be consistent with measurements from the Planck satellite. Future surveys of the large-scale structures may provide cross-correlation measurements that are sufficiently precise to distinguish the signal of these models. Our methodology is very general and can be applied to any dark energy or modified gravity scenario as long as the metric seen by photons can still be characterized by a Weyl potential. △ Less

Submitted 14 January, 2020; v1 submitted 8 October, 2019; originally announced October 2019.

Comments: 13 pages, 8 figures; v2: minor revision, matches accepted version

Journal ref: Phys. Rev. D 101, 023512 (2020)

Parametrising non-linear dark energy perturbations

Authors: Farbod Hassani, Benjamin L'Huillier, Arman Shafieloo, Martin Kunz, Julian Adamek

Abstract: In this paper, we quantify the non-linear effects from $k$-essence dark energy through an effective parameter $μ$ that encodes the additional contribution of a dark energy fluid or a modification of gravity to the Poisson equation. This is a first step toward quantifying non-linear effects of dark energy/modified gravity models in a more general approach. We compare our $N$-body simulation results… ▽ More In this paper, we quantify the non-linear effects from $k$-essence dark energy through an effective parameter $μ$ that encodes the additional contribution of a dark energy fluid or a modification of gravity to the Poisson equation. This is a first step toward quantifying non-linear effects of dark energy/modified gravity models in a more general approach. We compare our $N$-body simulation results from $k$-evolution with predictions from the linear Boltzmann code $\texttt{CLASS}$, and we show that for the $k$-essence model one can safely neglect the difference between the two potentials, $ Φ-Ψ$, and short wave corrections appearing as higher order terms in the Poisson equation, which allows us to use single parameter $μ$ for characterizing this model. We also show that for a large $k$-essence speed of sound the $\texttt{CLASS}$ results are sufficiently accurate, while for a low speed of sound non-linearities in matter and in the $k$-essence field are non-negligible. We propose a $\tanh$-based parameterisation for $μ$, motivated by the results for two cases with low ($c_s^2=10^{-7}$) and high ($c_s^2=10^{-4}$) speed of sound, to include the non-linear effects based on the simulation results. This parametric form of $μ$ can be used to improve Fisher forecasts or Newtonian $N$-body simulations for $k$-essence models. △ Less

Submitted 20 May, 2023; v1 submitted 2 October, 2019; originally announced October 2019.

Comments: 18 pages, 8 figures. Updated to match version published in JCAP; data available at https://doi.org/10.5281/zenodo.7950666

Journal ref: JCAP 04(2020)039

$k$-evolution: a relativistic N-body code for clustering dark energy

Authors: Farbod Hassani, Julian Adamek, Martin Kunz, Filippo Vernizzi

Abstract: We introduce $k$-evolution, a relativistic $N$-body code based on $\textit{gevolution}$, which includes clustering dark energy among its cosmological components. To describe dark energy, we use the effective field theory approach. In particular, we focus on $k$-essence with a speed of sound much smaller than unity but we lay down the basis to extend the code to other dark energy and modified gravi… ▽ More We introduce $k$-evolution, a relativistic $N$-body code based on $\textit{gevolution}$, which includes clustering dark energy among its cosmological components. To describe dark energy, we use the effective field theory approach. In particular, we focus on $k$-essence with a speed of sound much smaller than unity but we lay down the basis to extend the code to other dark energy and modified gravity models. We develop the formalism including dark energy non-linearities but, as a first step, we implement the equations in the code after dropping non-linear self-coupling in the $k$-essence field. In this simplified setup, we compare $k$-evolution simulations with those of $\texttt{CLASS}$ and $\textit{gevolution}$ 1.2, showing the effect of dark matter and gravitational non-linearities on the power spectrum of dark matter, of dark energy and of the gravitational potential. Moreover, we compare $k$-evolution to Newtonian $N$-body simulations with back-scaled initial conditions and study how dark energy clustering affects massive halos. △ Less

Submitted 20 May, 2023; v1 submitted 2 October, 2019; originally announced October 2019.

Comments: 38 pages, 19 figures. Final version, accepted for publication in JCAP; data available at https://doi.org/10.5281/zenodo.7953189

Journal ref: JCAP 12 (2019) 011

D-Ultrafilters and their Monads

Authors: Jirí Adámek, Lurdes Sousa

Abstract: For a number of locally finitely presentable categories K we describe the codensity monad of the full embedding of all finitely presentable objects into K. We introduce the concept of D-ultrafilter on an object, where D is a "nice" cogenerator of K. We prove that the codensity monad assigns to every object an object representing all D-ultrafilters on it. Our result covers e.g. categories of sets,… ▽ More For a number of locally finitely presentable categories K we describe the codensity monad of the full embedding of all finitely presentable objects into K. We introduce the concept of D-ultrafilter on an object, where D is a "nice" cogenerator of K. We prove that the codensity monad assigns to every object an object representing all D-ultrafilters on it. Our result covers e.g. categories of sets, vector spaces, posets, semilattices, graphs and M-sets for finite commutative monoids M. △ Less

Submitted 23 October, 2020; v1 submitted 11 September, 2019; originally announced September 2019.

Comments: 33 pages

MSC Class: 18C15; 18C35; 18A99; 18D10; 18D15