Showing 1–50 of 251 results for author: Jansen, M

A Comprehensive Survey of Unmanned Aerial Systems' Risks and Mitigation Strategies

Authors: Sharad Shrestha, Mohammed Ababneh, Satyajayant Misra, Henry M. Cathey, Jr., Roopa Vishwanathan, Matt Jansen, Jinhong Choi, Rakesh Bobba, Yeongjin Jang

Abstract: In the last decade, the rapid growth of Unmanned Aircraft Systems (UAS) and Unmanned Aircraft Vehicles (UAV) in communication, defense, and transportation has increased. The application of UAS will continue to increase rapidly. This has led researchers to examine security vulnerabilities in various facets of UAS infrastructure and UAVs, which form a part of the UAS system to reinforce these critic… ▽ More In the last decade, the rapid growth of Unmanned Aircraft Systems (UAS) and Unmanned Aircraft Vehicles (UAV) in communication, defense, and transportation has increased. The application of UAS will continue to increase rapidly. This has led researchers to examine security vulnerabilities in various facets of UAS infrastructure and UAVs, which form a part of the UAS system to reinforce these critical systems. This survey summarizes the cybersecurity vulnerabilities in several phases of UAV deployment, the likelihood of each vulnerability's occurrence, the impact of attacks, and mitigation strategies that could be applied. We go beyond the state-of-the-art by taking a comprehensive approach to enhancing UAS security by performing an analysis of both UAS-specific and non-UAS-specific mitigation strategies that are applicable within the UAS domain to define the lessons learned. We also present relevant cybersecurity standards and their recommendations in the UAS context. Despite the significant literature in UAS security and the relevance of cyberphysical and networked systems security approaches from the past, which we identify in the survey, we find several critical research gaps that require further investigation. These form part of our discussions and recommendations for the future exploration by our research community. △ Less

Submitted 11 June, 2025; originally announced June 2025.

The role of non-equilibrium populations in dark exciton formation

Authors: Paul Werner, Wiebke Bennecke, Jan Philipp Bange, Giuseppe Meneghini, David Schmitt, Marco Merboldt, Anna M. Seiler, AbdulAziz AlMutairi, Kenji Watanabe, Takashi Taniguchi, G. S. Matthijs Jansen, Junde Liu, Daniel Steil, Stephan Hofmann, R. Thomas Weitz, Ermin Malic, Stefan Mathias, Marcel Reutzel

Abstract: In two-dimensional transition metal dichalcogenide structures, the optical excitation of a bright exciton may be followed by the formation of a plethora of lower energy dark states. In these formation and relaxation processes between different exciton species, non-equilibrium exciton and phonon populations play a dominant role, but remain so far largely unexplored as most states are inaccessible b… ▽ More In two-dimensional transition metal dichalcogenide structures, the optical excitation of a bright exciton may be followed by the formation of a plethora of lower energy dark states. In these formation and relaxation processes between different exciton species, non-equilibrium exciton and phonon populations play a dominant role, but remain so far largely unexplored as most states are inaccessible by regular spectroscopies. Here, on the example of homobilayer 2H-MoS$_2$, we realize direct access to the full exciton relaxation cascade from experiment and theory. By measuring the energy- and in-plane momentum-resolved photoemission spectral function, we reveal a distinct fingerprint for dark excitons in a non-equilibrium excitonic occupation distribution. In excellent agreement with microscopic many-particle calculations, we quantify the timescales for the formation of a non-equilibrium dark excitonic occupation and its subsequent thermalization to 85~fs and 150~fs, respectively. Our results provide a previously inaccessible view of the complete exciton relaxation cascade, which is of paramount importance for the future characterization of non-equilibrium excitonic phases and the efficient design of optoelectronic devices based on two-dimensional materials. △ Less

Submitted 9 May, 2025; originally announced May 2025.

Bandgap-Dependent Doping of Semiconducting Carbon Nanotube Networks by Proton-Coupled Electron Transfer for Stable Thermoelectrics

Authors: Angus Hawkey, Xabier Rodríguez-Martínez, Sebastian Lindenthal, Moritz C. F. Jansen, Reverant Crispin, Jana Zaumseil

Abstract: Networks of semiconducting single-walled carbon nanotubes (SWNTs) are a promising material for thermoelectric energy harvesting due to their mechanical flexibility, solution processability, high Seebeck coefficients and high electrical conductivities after chemical p- or n-doping. Here, we demonstrate that proton-coupled electron transfer (PCET) with benzoquinone (BQ) as the oxidant and lithium bi… ▽ More Networks of semiconducting single-walled carbon nanotubes (SWNTs) are a promising material for thermoelectric energy harvesting due to their mechanical flexibility, solution processability, high Seebeck coefficients and high electrical conductivities after chemical p- or n-doping. Here, we demonstrate that proton-coupled electron transfer (PCET) with benzoquinone (BQ) as the oxidant and lithium bis(trifluoromethylsulfonyl)imide (Li[TFSI]) for electrolyte counterions is a promising method for p-doping of polymer-sorted semiconducting SWNT networks. The achieved doping levels, as determined from absorption bleaching, depend directly on both the pH of the aqueous doping solutions and the bandgap (i.e., diameter) of the nanotubes within the network. Fast screening of different nanotube networks under various doping conditions was enabled by a high-throughput setup for thermoelectric measurements of five samples in parallel. For small-bandgap SWNTs, PCET-doping is sufficient to reach the maximum thermoelectric power factors, which are equal to those obtained by conventional methods. In contrast to other doping methods, the electrical conductivity of PCET-doped SWNTs remains stable over at least 5 days in air. These results confirm PCET to be a suitable approach for more environmentally friendly and stable doping of semiconducting SWNTs as promising thermoelectric materials. △ Less

Submitted 20 March, 2025; originally announced March 2025.

Journal ref: Adv. Electron. Mater. 2025, 2400817

Algorithmic approaches to avoiding bad local minima in nonconvex inconsistent feasibility

Authors: Thi Lan Dinh, Wiebke Bennecke, G. S. Matthijs Jansen, D. Russell Luke, Stefan Mathias

Abstract: The main challenge of nonconvex optimization is to find a global optimum, or at least to avoid ``bad'' local minima and meaningless stationary points. We study here the extent to which algorithms, as opposed to optimization models and regularization, can be tuned to accomplish this goal. The model we consider is a nonconvex, inconsistent feasibility problem with many local minima, where these are… ▽ More The main challenge of nonconvex optimization is to find a global optimum, or at least to avoid ``bad'' local minima and meaningless stationary points. We study here the extent to which algorithms, as opposed to optimization models and regularization, can be tuned to accomplish this goal. The model we consider is a nonconvex, inconsistent feasibility problem with many local minima, where these are points at which the gaps between the sets are smallest on neighborhoods of these points. The algorithms that we compare are all projection-based algorithms, specifically cyclic projections, the cyclic relaxed Douglas-Rachford algorithm, and relaxed Douglas-Rachford splitting on the product space. The local convergence and fixed points of these algorithms have already been characterized in pervious theoretical studies. We demonstrate the theory for these algorithms in the context of orbital tomographic imaging from angle-resolved photon emission spectroscopy (ARPES) measurements, both synthetically generated and experimental. Our results show that, while the cyclic projections and cyclic relaxed Douglas-Rachford algorithms generally converge the fastest, the method of relaxed Douglas-Rachford splitting on the product space does move away from bad local minima of the other two algorithms, settling eventually on clusters of local minima corresponding to globally optimal critical points. △ Less

Submitted 26 February, 2025; originally announced February 2025.

Comments: 29 pages, 7 figures, 25 references

MSC Class: 65K10; 65K05; 90C26; 49M27; 49J53; 49K40; 49M05

Table-top three-dimensional photoemission orbital tomography with a femtosecond extreme ultraviolet light source

Authors: Wiebke Bennecke, Thi Lan Dinh, Jan Philipp Bange, David Schmitt, Marco Merboldt, Lennart Weinhagen, Bent van Wingerden, Fabio Frassetto, Luca Poletto, Marcel Reutzel, Daniel Steil, D. Russell Luke, Stefan Mathias, G. S. Matthijs Jansen

Abstract: Following electronic processes in molecules and materials at the level of the quantum mechanical electron wavefunction with angstrom-level spatial resolution and with full access to its femtosecond temporal dynamics is at the heart of ultrafast condensed matter physics. A breakthrough invention allowing experimental access to electron wavefunctions was the reconstruction of molecular orbitals from… ▽ More Following electronic processes in molecules and materials at the level of the quantum mechanical electron wavefunction with angstrom-level spatial resolution and with full access to its femtosecond temporal dynamics is at the heart of ultrafast condensed matter physics. A breakthrough invention allowing experimental access to electron wavefunctions was the reconstruction of molecular orbitals from angle-resolved photoelectron spectroscopy data in 2009, termed photoemission orbital tomography (POT). This invention puts ultrafast three-dimensional (3D) POT in reach, with many new prospects for the study of ultrafast light-matter interaction, femtochemistry and photo-induced phase transitions. Here, we develop a synergistic experimental-algorithmic approach to realize the first 3D-POT experiment using a short-pulse extreme ultraviolet light source. We combine a new variant of photoelectron spectroscopy, namely ultrafast momentum microscopy, with a table-top spectrally-tunable high-harmonic generation light source and a tailored algorithm for efficient 3D reconstruction from sparse, undersampled data. This combination dramatically speeds up the experimental data acquisition, while at the same time reducing the sampling requirements to achieve complete 3D information. We demonstrate the power of this approach by full 3D imaging of the frontier orbitals of a prototypical organic semiconductor absorbed on pristine Ag(110). △ Less

Submitted 1 March, 2025; v1 submitted 25 February, 2025; originally announced February 2025.

Cyclic Relaxed Douglas-Rachford Splitting for Inconsistent Nonconvex Feasibility

Authors: Thi Lan Dinh, G. S. Matthijs Jansen, D. Russell Luke

Abstract: We study the cyclic relaxed Douglas-Rachford algorithm for possibly nonconvex, and inconsistent feasibility problems. This algorithm can be viewed as a convex relaxation between the cyclic Douglas-Rachford algorithm first introduced by Borwein and Tam [2014] and the classical cyclic projections algorithm. We characterize the fixed points of the cyclic relaxed Douglas-Rachford algorithm and show th… ▽ More We study the cyclic relaxed Douglas-Rachford algorithm for possibly nonconvex, and inconsistent feasibility problems. This algorithm can be viewed as a convex relaxation between the cyclic Douglas-Rachford algorithm first introduced by Borwein and Tam [2014] and the classical cyclic projections algorithm. We characterize the fixed points of the cyclic relaxed Douglas-Rachford algorithm and show the relation of the {\em shadows} of these fixed points to the fixed points of the cyclic projections algorithm. Finally, we provide conditions that guarantee local quantitative convergence estimates in the nonconvex, inconsistent setting. △ Less

Submitted 17 February, 2025; originally announced February 2025.

Comments: 31 pages, no figures, 21 references

MSC Class: 65K10; 49J53; 49K40; 49M05; 65K05; 90C26; 49M20

Diagonal knots and the tau invariant

Authors: Jackson Arndt, Malia Jansen, Payton McBurney, Katherine Vance

Abstract: In 2003, Ozsváth, Szabó, and Rasmussen introduced the $τ$ invariant for knots, and in 2011, Sarkar published a computational shortcut for the $τ$ invariant of knots that can be represented by diagonal grid diagrams. Previously, the only knots known to have diagonal grid diagram representations were torus knots. We prove that all such knots are positive knots, and we produce an example of a knot wi… ▽ More In 2003, Ozsváth, Szabó, and Rasmussen introduced the $τ$ invariant for knots, and in 2011, Sarkar published a computational shortcut for the $τ$ invariant of knots that can be represented by diagonal grid diagrams. Previously, the only knots known to have diagonal grid diagram representations were torus knots. We prove that all such knots are positive knots, and we produce an example of a knot with a diagonal grid diagram representation which is not a torus knot. △ Less

Submitted 18 December, 2024; originally announced December 2024.

Comments: 6 pages, 5 figures

MSC Class: 57K10 (Primary); 57K18 (Secondary)

Symmetric instability in a Boussinesq fluid on a rotating planet

Authors: Yaoxuan Zeng, Malte F. Jansen

Abstract: Symmetric instability has broad applications in geophysical and planetary fluid dynamics. It plays a crucial role in the formation of mesoscale rainbands at mid-latitudes on Earth, instability in the ocean's mixed layer, and slantwise convection on gas giants and icy moon oceans. Here, we apply linear instability analysis to an arbitrary zonally symmetric Boussinesq flow on a rotating spherical pl… ▽ More Symmetric instability has broad applications in geophysical and planetary fluid dynamics. It plays a crucial role in the formation of mesoscale rainbands at mid-latitudes on Earth, instability in the ocean's mixed layer, and slantwise convection on gas giants and icy moon oceans. Here, we apply linear instability analysis to an arbitrary zonally symmetric Boussinesq flow on a rotating spherical planet, with applicability to icy moon oceans. We characterize the instabilities into three types: (1) gravitational instability, occurring when stratification is unstable along angular momentum surfaces, (2) inertial instability, occurring when angular momentum shear is unstable along buoyancy surfaces, and (3) a mixed symmetric instability, occurring when neither of the previous conditions are fulfilled, but the potential vorticity has the opposite sign as planetary rotation. We note that $N^2<0$ where $N$ is the Brunt--Väisälä frequency -- a typical criterion used to trigger convective adjustment in global ocean models -- is neither necessary nor sufficient for instability. Instead, $b_z \sin{θ_0}<0$, where $b_z$ is the stratification along the planetary rotation axis and $θ_0$ is the local latitude, is always sufficient for instability and also necessary in the low Rossby number limit. In this limit, relevant for convection in icy moon oceans, the most unstable mode is slantwise convection parallel to the planetary rotation axis. This slantwise convection differs from the parameterized convection in existing general circulation models, whose convective schemes parameterize convection in the direction of gravity. Our results suggest that convection schemes in global ocean models must be revised before being applied to icy moon oceans. △ Less

Submitted 28 March, 2025; v1 submitted 14 December, 2024; originally announced December 2024.

Hybrid Frenkel-Wannier excitons facilitate ultrafast energy transfer at a 2D-organic interface

Authors: Wiebke Bennecke, Ignacio Gonzalez Oliva, Jan Philipp Bange, Paul Werner, David Schmitt, Marco Merboldt, Anna M. Seiler, Kenji Watanabe, Takashi Taniguchi, Daniel Steil, R. Thomas Weitz, Peter Puschnig, Claudia Draxl, G. S. Matthijs Jansen, Marcel Reutzel, Stefan Mathias

Abstract: Two-dimensional transition metal dichalcogenides (TMDs) and organic semiconductors (OSCs) have emerged as promising material platforms for next-generation optoelectronic devices. The combination of both is predicted to yield emergent properties while retaining the advantages of their individual components. In OSCs the optoelectronic response is typically dominated by localized Frenkel-type exciton… ▽ More Two-dimensional transition metal dichalcogenides (TMDs) and organic semiconductors (OSCs) have emerged as promising material platforms for next-generation optoelectronic devices. The combination of both is predicted to yield emergent properties while retaining the advantages of their individual components. In OSCs the optoelectronic response is typically dominated by localized Frenkel-type excitons, whereas TMDs host delocalized Wannier-type excitons. However, much less is known about the spatial and electronic characteristics of excitons at hybrid TMD/OSC interfaces, which ultimately determine the possible energy and charge transfer mechanisms across the 2D-organic interface. Here, we use ultrafast momentum microscopy and many-body perturbation theory to elucidate a hybrid exciton at an TMD/OSC interface that forms via the ultrafast resonant Förster energy transfer process. We show that this hybrid exciton has both Frenkel- and Wannier-type contributions: Concomitant intra- and interlayer electron-hole transitions within the OSC layer and across the TMD/OSC interface, respectively, give rise to an exciton wavefunction with mixed Frenkel-Wannier character. By combining theory and experiment, our work provides previously inaccessible insights into the nature of hybrid excitons at TMD/OSC interfaces. It thus paves the way to a fundamental understanding of charge and energy transfer processes across 2D-organic heterostructures. △ Less

Submitted 22 November, 2024; originally announced November 2024.

Entangled orbital, spin, and ferroelectric orders in $p$-electron magnet CsO$_2$

Authors: Ryota Ono, Ravi Kaushik, Sergey Artyukhin, Martin Jansen, Igor Solovyev, Russell A. Ewings

Abstract: Alkali superoxides differ from conventional transition metal magnets, exhibit magnetism from partially occupied oxygen molecular $π^*$-orbitals. Among them, CsO$_2$ stands out for its potential to exhibit novel quantum collective phenomena, such as an orbital order induced Tomonaga-Luttinger liquid state. Using ab-initio Hubbard models, superexchange theory, and experimental spin wave measurements… ▽ More Alkali superoxides differ from conventional transition metal magnets, exhibit magnetism from partially occupied oxygen molecular $π^*$-orbitals. Among them, CsO$_2$ stands out for its potential to exhibit novel quantum collective phenomena, such as an orbital order induced Tomonaga-Luttinger liquid state. Using ab-initio Hubbard models, superexchange theory, and experimental spin wave measurements, we propose that CsO$_2$ exhibits unconventional magnetoelectric characteristics at low temperature. Our analysis confirms a canted antiferromagnetic ground state and a spin-flop transition, with ferroelectricity is induced by breaking inversion and time-reversal symmetry in the spin-flop phase. Consequently, our analysis reveals a strong interplay not only between exchange interactions but also among magnetically-induced polarization and orbital order. The magnetic structure, stabilized by orbital order, induces magnetically-induced polarization through an antisymmetric mechanism. Overall, our results reveal the coexistence of three highly entangled orders in CsO$_2$, namely, orbital, spin and ferroelectricity. △ Less

Submitted 10 November, 2024; originally announced November 2024.

Comments: 13 pages, 9 figures

Unveiling Normative Trajectories of Lifespan Brain Maturation Using Quantitative MRI

Authors: Xinjie Chen, Mario Ocampo-Pineda, Po-Jui Lu, Clara Ekerdt, Matthias Weigel, Michelle G. Jansen, Alessandro Cagol, Kwok-Shing Chan, Sabine Schädelin, Marcel Zwiers, Joukje M. Oosterman, David G. Norris, Johanna M. M. Bayer, Andre F. Marquand, Willeke M. Menks, Jens Kuhle, Ludwig Kappos, Lester Melie-Garcia, Cristina Granziera, José P. Marques

Abstract: Background: Brain maturation and aging involve significant microstructural changes, resulting in functional and cognitive alterations. Quantitative MRI (qMRI) can measure this evolution, distinguishing the physiological effects of normal aging from pathological deviations. Methods: We conducted a multicentre study using qMRI metrics (R1, R2*, and Quantitative Susceptibility Mapping) to model age… ▽ More Background: Brain maturation and aging involve significant microstructural changes, resulting in functional and cognitive alterations. Quantitative MRI (qMRI) can measure this evolution, distinguishing the physiological effects of normal aging from pathological deviations. Methods: We conducted a multicentre study using qMRI metrics (R1, R2*, and Quantitative Susceptibility Mapping) to model age trajectories across brain structures, including tractography-based white matter bundles (TWMB), superficial white matter (SWM), and cortical grey matter (CGM). MRI data from 537 healthy subjects, aged 8 to 79 years, were harmonized using two independent methods. We modeled age trajectories and performed regional analyses to capture maturation patterns and aging effects across the lifespan. Findings: Our findings revealed a distinct brain maturation gradient, with early qMRI peak values in TWMB, followed by SWM, and culminating in CGM regions. This gradient was observed as a posterior-to-anterior maturation pattern in the cortex and an inferior-to-superior maturation pattern in white matter tracts. R1 demonstrated the most robust age trajectories, while R2* and susceptibility exhibited greater variability and different patterns. The normative modeling framework confirmed the reliability of our age-modelled trajectories across datasets. Interpretation: Our study highlights the potential of multiparametric qMRI to capture complex, region-specific brain development patterns, addressing the need for comprehensive, age-spanning studies across multiple brain structures. Various harmonization strategies can merge qMRI cohorts, improving the robustness of qMRI-based age models and facilitating the understanding of normal patterns and disease-associated deviations. △ Less

Submitted 1 November, 2024; originally announced November 2024.

Dermatologist-like explainable AI enhances melanoma diagnosis accuracy: eye-tracking study

Authors: Tirtha Chanda, Sarah Haggenmueller, Tabea-Clara Bucher, Tim Holland-Letz, Harald Kittler, Philipp Tschandl, Markus V. Heppt, Carola Berking, Jochen S. Utikal, Bastian Schilling, Claudia Buerger, Cristian Navarrete-Dechent, Matthias Goebeler, Jakob Nikolas Kather, Carolin V. Schneider, Benjamin Durani, Hendrike Durani, Martin Jansen, Juliane Wacker, Joerg Wacker, Reader Study Consortium, Titus J. Brinker

Abstract: Artificial intelligence (AI) systems have substantially improved dermatologists' diagnostic accuracy for melanoma, with explainable AI (XAI) systems further enhancing clinicians' confidence and trust in AI-driven decisions. Despite these advancements, there remains a critical need for objective evaluation of how dermatologists engage with both AI and XAI tools. In this study, 76 dermatologists par… ▽ More Artificial intelligence (AI) systems have substantially improved dermatologists' diagnostic accuracy for melanoma, with explainable AI (XAI) systems further enhancing clinicians' confidence and trust in AI-driven decisions. Despite these advancements, there remains a critical need for objective evaluation of how dermatologists engage with both AI and XAI tools. In this study, 76 dermatologists participated in a reader study, diagnosing 16 dermoscopic images of melanomas and nevi using an XAI system that provides detailed, domain-specific explanations. Eye-tracking technology was employed to assess their interactions. Diagnostic performance was compared with that of a standard AI system lacking explanatory features. Our findings reveal that XAI systems improved balanced diagnostic accuracy by 2.8 percentage points relative to standard AI. Moreover, diagnostic disagreements with AI/XAI systems and complex lesions were associated with elevated cognitive load, as evidenced by increased ocular fixations. These insights have significant implications for clinical practice, the design of AI tools for visual tasks, and the broader development of XAI in medical diagnostics. △ Less

Submitted 20 September, 2024; originally announced September 2024.

Preprocessing to Reduce the Search Space for Odd Cycle Transversal

Authors: Bart M. P. Jansen, Yosuke Mizutani, Blair D. Sullivan, Ruben F. A. Verhaegh

Abstract: The NP-hard Odd Cycle Transversal problem asks for a minimum vertex set whose removal from an undirected input graph $G$ breaks all odd cycles, and thereby yields a bipartite graph. The problem is well-known to be fixed-parameter tractable when parameterized by the size $k$ of the desired solution. It also admits a randomized kernelization of polynomial size, using the celebrated matroid toolkit b… ▽ More The NP-hard Odd Cycle Transversal problem asks for a minimum vertex set whose removal from an undirected input graph $G$ breaks all odd cycles, and thereby yields a bipartite graph. The problem is well-known to be fixed-parameter tractable when parameterized by the size $k$ of the desired solution. It also admits a randomized kernelization of polynomial size, using the celebrated matroid toolkit by Kratsch and Wahlström. The kernelization guarantees a reduction in the total $\textit{size}$ of an input graph, but does not guarantee any decrease in the size of the solution to be sought; the latter governs the size of the search space for FPT algorithms parameterized by $k$. We investigate under which conditions an efficient algorithm can detect one or more vertices that belong to an optimal solution to Odd Cycle Transversal. By drawing inspiration from the popular $\textit{crown reduction}$ rule for Vertex Cover, and the notion of $\textit{antler decompositions}$ that was recently proposed for Feedback Vertex Set, we introduce a graph decomposition called $\textit{tight odd cycle cut}$ that can be used to certify that a vertex set is part of an optimal odd cycle transversal. While it is NP-hard to compute such a graph decomposition, we develop parameterized algorithms to find a set of at least $k$ vertices that belong to an optimal odd cycle transversal when the input contains a tight odd cycle cut certifying the membership of $k$ vertices in an optimal solution. The resulting algorithm formalizes when the search space for the solution-size parameterization of Odd Cycle Transversal can be reduced by preprocessing. To obtain our results, we develop a graph reduction step that can be used to simplify the graph to the point that the odd cycle cut can be detected via color coding. △ Less

Submitted 7 October, 2024; v1 submitted 30 August, 2024; originally announced September 2024.

A criterion for slope 1 homological stability

Authors: Mikala Ørsnes Jansen, Jeremy Miller

Abstract: We show that for nice enough $\mathbb{N}$-graded $\mathbb{E}_2$-algebras, a diagonal vanishing line in $\mathbb{E}_1$-homology of gives rise to slope $1$ homological stability. This is an integral version of a result by Kupers-Miller-Patzt. We show that for nice enough $\mathbb{N}$-graded $\mathbb{E}_2$-algebras, a diagonal vanishing line in $\mathbb{E}_1$-homology of gives rise to slope $1$ homological stability. This is an integral version of a result by Kupers-Miller-Patzt. △ Less

Submitted 1 July, 2024; originally announced July 2024.

Comments: 7 pages. Comments welcome

Report number: CPH-GEOTOP-DNRF151

Steiner Tree Parameterized by Multiway Cut and Even Less

Authors: Bart M. P. Jansen, Céline M. F. Swennenhuis

Abstract: In the Steiner Tree problem we are given an undirected edge-weighted graph as input, along with a set $K$ of vertices called terminals. The task is to output a minimum-weight connected subgraph that spans all the terminals. The famous Dreyfus-Wagner algorithm running in $3^{|K|} \mathsf{poly}(n)$ time shows that the problem is fixed-parameter tractable parameterized by the number of terminals. We… ▽ More In the Steiner Tree problem we are given an undirected edge-weighted graph as input, along with a set $K$ of vertices called terminals. The task is to output a minimum-weight connected subgraph that spans all the terminals. The famous Dreyfus-Wagner algorithm running in $3^{|K|} \mathsf{poly}(n)$ time shows that the problem is fixed-parameter tractable parameterized by the number of terminals. We present fixed-parameter tractable algorithms for Steiner Tree using structurally smaller parameterizations. Our first result concerns the parameterization by a multiway cut $S$ of the terminals, which is a vertex set $S$ (possibly containing terminals) such that each connected component of $G-S$ contains at most one terminal. We show that Steiner Tree can be solved in $2^{O(|S|\log|S|)}\mathsf{poly}(n)$ time and polynomial space, where $S$ is a minimum multiway cut for $K$. The algorithm is based on the insight that, after guessing how an optimal Steiner tree interacts with a multiway cut $S$, computing a minimum-cost solution of this type can be formulated as minimum-cost bipartite matching. Our second result concerns a new hybrid parameterization called $K$-free treewidth that simultaneously refines the number of terminals $|K|$ and the treewidth of the input graph. By utilizing recent work on $\mathcal{H}$-Treewidth in order to find a corresponding decomposition of the graph, we give an algorithm that solves Steiner Tree in time $2^{O(k)} \mathsf{poly}(n)$, where $k$ denotes the $K$-free treewidth of the input graph. To obtain this running time, we show how the rank-based approach for solving Steiner Tree parameterized by treewidth can be extended to work in the setting of $K$-free treewidth, by exploiting existing algorithms parameterized by $|K|$ to compute the table entries of leaf bags of a tree $K$-free decomposition. △ Less

Submitted 28 June, 2024; originally announced June 2024.

Comments: Full version of a paper that will appear at ESA 2024

MSC Class: 05C85; 68Q27 ACM Class: F.2.2

Unstable algebraic K-theory: homological stability and other observations

Authors: Mikala Ørsnes Jansen

Abstract: We investigate stability properties of the reductive Borel-Serre categories; these were introduced as a model for unstable algebraic K-theory in previous work. We see that they exhibit better homological stability properties than the general linear groups. We also show that they provide an explicit model for Yuan's partial algebraic K-theory. We investigate stability properties of the reductive Borel-Serre categories; these were introduced as a model for unstable algebraic K-theory in previous work. We see that they exhibit better homological stability properties than the general linear groups. We also show that they provide an explicit model for Yuan's partial algebraic K-theory. △ Less

Submitted 1 July, 2024; v1 submitted 3 May, 2024; originally announced May 2024.

Comments: 95 pages. Comments welcome! v2: better homological stability results and improved exposition

Report number: CPH-GEOTOP-DNRF151

Kernelization Dichotomies for Hitting Subgraphs under Structural Parameterizations

Authors: Marin Bougeret, Bart M. P. Jansen, Ignasi Sau

Abstract: For a fixed graph $H$, the $H$-SUBGRAPH HITTING problem consists in deleting the minimum number of vertices from an input graph to obtain a graph without any occurrence of $H$ as a subgraph. This problem can be seen as a generalization of VERTEX COVER, which corresponds to the case $H = K_2$. We initiate a study of $H$-SUBGRAPH HITTING from the point of view of characterizing structural parameteri… ▽ More For a fixed graph $H$, the $H$-SUBGRAPH HITTING problem consists in deleting the minimum number of vertices from an input graph to obtain a graph without any occurrence of $H$ as a subgraph. This problem can be seen as a generalization of VERTEX COVER, which corresponds to the case $H = K_2$. We initiate a study of $H$-SUBGRAPH HITTING from the point of view of characterizing structural parameterizations that allow for polynomial kernels, within the recently active framework of taking as the parameter the number of vertex deletions to obtain a graph in a "simple" class $C$. Our main contribution is to identify graph parameters that, when $H$-SUBGRAPH HITTING is parameterized by the vertex-deletion distance to a class $C$ where any of these parameters is bounded, and assuming standard complexity assumptions and that $H$ is biconnected, allow us to prove the following sharp dichotomy: the problem admits a polynomial kernel if and only if $H$ is a clique. These new graph parameters are inspired by the notion of $C$-elimination distance introduced by Bulian and Dawar [Algorithmica 2016], and generalize it in two directions. Our results also apply to the version of the problem where one wants to hit $H$ as an induced subgraph, and imply in particular, that the problems of hitting minors and hitting (induced) subgraphs have a substantially different behavior with respect to the existence of polynomial kernels under structural parameterizations. △ Less

Submitted 25 April, 2024; originally announced April 2024.

Comments: 58 pages, 7 figures

MSC Class: 05C85 ACM Class: G.2.2; F.2.2

Search-Space Reduction Via Essential Vertices Revisited: Vertex Multicut and Cograph Deletion

Authors: Bart M. P. Jansen, Ruben F. A. Verhaegh

Abstract: For an optimization problem $Π$ on graphs whose solutions are vertex sets, a vertex $v$ is called $c$-essential for $Π$ if all solutions of size at most $c \cdot OPT$ contain $v$. Recent work showed that polynomial-time algorithms to detect $c$-essential vertices can be used to reduce the search space of fixed-parameter tractable algorithms solving such problems parameterized by the size $k$ of th… ▽ More For an optimization problem $Π$ on graphs whose solutions are vertex sets, a vertex $v$ is called $c$-essential for $Π$ if all solutions of size at most $c \cdot OPT$ contain $v$. Recent work showed that polynomial-time algorithms to detect $c$-essential vertices can be used to reduce the search space of fixed-parameter tractable algorithms solving such problems parameterized by the size $k$ of the solution. We provide several new upper- and lower bounds for detecting essential vertices. For example, we give a polynomial-time algorithm for $3$-Essential detection for Vertex Multicut, which translates into an algorithm that finds a minimum multicut of an undirected $n$-vertex graph $G$ in time $2^{O(\ell^3)} \cdot n^{O(1)}$, where $\ell$ is the number of vertices in an optimal solution that are not $3$-essential. Our positive results are obtained by analyzing the integrality gaps of certain linear programs. Our lower bounds show that for sufficiently small values of $c$, the detection task becomes NP-hard assuming the Unique Games Conjecture. For example, we show that ($2-\varepsilon$)-Essential detection for Directed Feedback Vertex Set is NP-hard under this conjecture, thereby proving that the existing algorithm that detects $2$-essential vertices is best-possible. △ Less

Submitted 15 April, 2024; originally announced April 2024.

Comments: Conference version to appear at the 19th Scandinavian Symposium on Algorithm Theory (SWAT 2024)

Individual Text Corpora Predict Openness, Interests, Knowledge and Level of Education

Authors: Markus J. Hofmann, Markus T. Jansen, Christoph Wigbels, Benny Briesemeister, Arthur M. Jacobs

Abstract: Here we examine whether the personality dimension of openness to experience can be predicted from the individual google search history. By web scraping, individual text corpora (ICs) were generated from 214 participants with a mean number of 5 million word tokens. We trained word2vec models and used the similarities of each IC to label words, which were derived from a lexical approach of personali… ▽ More Here we examine whether the personality dimension of openness to experience can be predicted from the individual google search history. By web scraping, individual text corpora (ICs) were generated from 214 participants with a mean number of 5 million word tokens. We trained word2vec models and used the similarities of each IC to label words, which were derived from a lexical approach of personality. These IC-label-word similarities were utilized as predictive features in neural models. For training and validation, we relied on 179 participants and held out a test sample of 35 participants. A grid search with varying number of predictive features, hidden units and boost factor was performed. As model selection criterion, we used R2 in the validation samples penalized by the absolute R2 difference between training and validation. The selected neural model explained 35% of the openness variance in the test sample, while an ensemble model with the same architecture often provided slightly more stable predictions for intellectual interests, knowledge in humanities and level of education. Finally, a learning curve analysis suggested that around 500 training participants are required for generalizable predictions. We discuss ICs as a complement or replacement of survey-based psychodiagnostics. △ Less

Submitted 29 March, 2024; originally announced April 2024.

Comments: Proceedings of the 8th workshop on Cognitive Aspects of the Lexicon (CogALex-VIII), LREC/Coling 2024

Fast spectroscopic imaging using extreme ultraviolet interferometry

Authors: Hannah C. Strauch, Fengling Zhang, Stefan Mathias, Thorsten Hohage, Stefan Witte, G. S. Matthijs Jansen

Abstract: Extreme ultraviolet pulses as generated by high harmonic generation (HHG) are a powerful tool for both time-resolved spectroscopy and coherent diffractive imaging. However, the integration of spectroscopy and microscopy to harness the unique broadband spectra provided by HHG is hardly explored due to the challenge to decouple spectroscopic and microscopic information. Here, we present an interfero… ▽ More Extreme ultraviolet pulses as generated by high harmonic generation (HHG) are a powerful tool for both time-resolved spectroscopy and coherent diffractive imaging. However, the integration of spectroscopy and microscopy to harness the unique broadband spectra provided by HHG is hardly explored due to the challenge to decouple spectroscopic and microscopic information. Here, we present an interferometric approach to this problem that combines Fourier transform spectroscopy (FTS) with Fourier transform holography (FTH). This is made possible by the generation of phase-locked pulses using a pair of HHG sources. Crucially, in our geometry the number of interferometric measurements required is at most equal to the number of high harmonics in the illumination, and can be further reduced by incorporating prior knowledge about the structure of the FTH sample. Compared to conventional FTS, this approach achieves over an order of magnitude increase in acquisition speed for full spectro-microscopic data, and furthermore allows diffraction-limited computational imaging. △ Less

Submitted 6 March, 2024; originally announced March 2024.

Probing excitons with time-resolved momentum microscopy

Authors: Marcel Reutzel, G. S. Matthijs Jansen, Stefan Mathias

Abstract: Excitons -- two-particle correlated electron-hole pairs -- are the dominant low-energy optical excitation in the broad class of semiconductor materials, which range from classical silicon to perovskites, and from two-dimensional to organic materials. Recently, the study of excitons has been brought on a new level of detail by the application of photoemission momentum microscopy -- a technique that… ▽ More Excitons -- two-particle correlated electron-hole pairs -- are the dominant low-energy optical excitation in the broad class of semiconductor materials, which range from classical silicon to perovskites, and from two-dimensional to organic materials. Recently, the study of excitons has been brought on a new level of detail by the application of photoemission momentum microscopy -- a technique that has dramatically extended the experimental capabilities of time- and angle-resolved photoemission spectroscopy (trARPES). Here, we review how the energy- and momentum-resolved photoelectron detection scheme enables direct access to the energy landscape of bright and dark excitons, and, more generally, to the momentum-coordinate of the exciton that is fundamental to its wavefunction. Focusing on two-dimensional materials and organic semiconductors as two tuneable platforms for exciton physics, we first discuss the typical photoemission fingerprint of excitons in momentum microscopy and highlight that is is possible to obtain information not only on the electron- but also hole-component of the former exciton. Second, we focus on the recent application of photoemission orbital tomography to such excitons, and discuss how this provides a unique access to the real-space properties of the exciton wavefunction. Throughout the review, we detail how studies performed on two-dimensional transition metal dichalcogenides and organic semiconductors lead to very similar conclusions, and, in this manner, highlight the strength of time-resolved momentum microscopy for the study of optical excitations in semiconductors. △ Less

Submitted 22 February, 2024; originally announced February 2024.

Comments: review-article

A minimalist approach to 3D photoemission orbital tomography: algorithms and data requirements

Authors: Thi Lan Dinh, G. S. Matthijs Jansen, D. Russell Luke, Wiebke Bennecke, Stefan Mathias

Abstract: Photoemission orbital tomography provides direct access from laboratory measurements to the real-space molecular orbitals of well-ordered organic semiconductor layers. Specifically, the application of phase retrieval algorithms to photon-energy- and angle-resolved photoemission data enables the direct reconstruction of full 3D molecular orbitals without the need for simulations using density funct… ▽ More Photoemission orbital tomography provides direct access from laboratory measurements to the real-space molecular orbitals of well-ordered organic semiconductor layers. Specifically, the application of phase retrieval algorithms to photon-energy- and angle-resolved photoemission data enables the direct reconstruction of full 3D molecular orbitals without the need for simulations using density functional theory or the like. A major limitation for the direct approach has been the need for densely-sampled, well-calibrated 3D photoemission patterns. Here, we present an iterative projection algorithm that completely eliminates this challenge: for the benchmark case of the pentacene frontier orbitals, we demonstrate the reconstruction of the full orbital based on a dataset containing only four simulated photoemission momentum measurements. We discuss the algorithm performance, sampling requirements with respect to the photon energy, optimal measurement strategies, and the accuracy of orbital images that can be achieved. △ Less

Submitted 31 January, 2024; originally announced February 2024.

Comments: 27 pages, 10 figures, 44 references

A single-phonon directional coupler

Authors: Amirparsa Zivari, Niccolò Fiaschi, Lorenzo Scarpelli, Menno Jansen, Roel Burgwal, Ewold Verhagen, Simon Gröblacher

Abstract: Integrated photonics has enabled countless technologies in telecommunications, spectroscopy, metrology, quantum optics, and quantum information processing. Using highly confined guided optical modes is the key that has made integrated circuits possible and has lead to scaling of complex designs, benefiting from their small footprint. At the same time, the field of quantum acoustics has recently ga… ▽ More Integrated photonics has enabled countless technologies in telecommunications, spectroscopy, metrology, quantum optics, and quantum information processing. Using highly confined guided optical modes is the key that has made integrated circuits possible and has lead to scaling of complex designs, benefiting from their small footprint. At the same time, the field of quantum acoustics has recently gained significant attention due to its various potential advantages over its photonic counterparts, including smaller mode volume, lower energy, and orders of magnitude slower propagation speeds, as well as the potential for interconnecting distinct quantum systems. Developing analogous integrated phononic technology is critical for realizing the full potential of phonons and could lead to groundbreaking new applications, such as scalable quantum computing and hybrid quantum devices. In this work, we demonstrate for the first time a 4-port directional coupler for quantum mechanical excitations - a crucial component for integrated phononic circuits. Adjusting the length of the coupling region allows to realize phononic beam splitters with varying splitting ratios. By sending a single-phonon Fock state onto one of these phononic splitters, we demonstrate the capability of using the directional coupler directly in the quantum regime. Our work provides an essential step towards an integrated phononic platform for both classical and quantum technologies applications. △ Less

Submitted 7 December, 2023; originally announced December 2023.

Why are Mountaintops Cold? The Transition of Surface Lapse Rate on Dry Planets

Authors: Bowen Fan, Malte F. Jansen, Michael A. Mischna, Edwin S. Kite

Abstract: Understanding surface temperature is important for habitability. Recent work on Mars has found that the dependence of surface temperature on elevation (surface lapse rate) converges to zero in the limit of a thin CO2 atmosphere. However, the mechanisms that control the surface lapse rate are still not fully understood. It remains unclear how the surface lapse rate depends on both greenhouse effect… ▽ More Understanding surface temperature is important for habitability. Recent work on Mars has found that the dependence of surface temperature on elevation (surface lapse rate) converges to zero in the limit of a thin CO2 atmosphere. However, the mechanisms that control the surface lapse rate are still not fully understood. It remains unclear how the surface lapse rate depends on both greenhouse effect and surface pressure. Here, we use climate models to study when and why "mountaintops are cold". We find the tropical surface lapse rate increases with the greenhouse effect and with surface pressure. The greenhouse effect dominates the surface lapse rate transition and is robust across latitudes. The pressure effect is important at low latitudes in moderately opaque atmospheres. A simple model provides insights into the mechanisms of the transition. Our results suggest that topographic cold-trapping may be important for the climate of arid planets. △ Less

Submitted 16 November, 2023; originally announced November 2023.

Comments: 14 pages, 4 figures; accepted for publication on Geophysical Research Letters

On the Parameterized Complexity of Multiway Near-Separator

Authors: Bart M. P. Jansen, Shivesh K. Roy

Abstract: We study a new graph separation problem called Multiway Near-Separator. Given an undirected graph $G$, integer $k$, and terminal set $T \subseteq V(G)$, it asks whether there is a vertex set $S \subseteq V(G) \setminus T$ of size at most $k$ such that in graph $G-S$, no pair of distinct terminals can be connected by two pairwise internally vertex-disjoint paths. Hence each terminal pair can be sep… ▽ More We study a new graph separation problem called Multiway Near-Separator. Given an undirected graph $G$, integer $k$, and terminal set $T \subseteq V(G)$, it asks whether there is a vertex set $S \subseteq V(G) \setminus T$ of size at most $k$ such that in graph $G-S$, no pair of distinct terminals can be connected by two pairwise internally vertex-disjoint paths. Hence each terminal pair can be separated in $G-S$ by removing at most one vertex. The problem is therefore a generalization of (Node) Multiway Cut, which asks for a vertex set for which each terminal is in a different component of $G-S$. We develop a fixed-parameter tractable algorithm for Multiway Near-Separator running in time $2^{O(k \log k)} * n^{O(1)}$. Our algorithm is based on a new pushing lemma for solutions with respect to important separators, along with two problem-specific ingredients. The first is a polynomial-time subroutine to reduce the number of terminals in the instance to a polynomial in the solution size $k$ plus the size of a given suboptimal solution. The second is a polynomial-time algorithm that, given a graph $G$ and terminal set $T \subseteq V(G)$ along with a single vertex $x \in V(G)$ that forms a multiway near-separator, computes a 14-approximation for the problem of finding a multiway near-separator not containing $x$. △ Less

Submitted 6 October, 2023; originally announced October 2023.

Comments: Conference version to appear at the International Symposium on Parameterized and Exact Computation (IPEC 2023)

Kernelization for Counting Problems on Graphs: Preserving the Number of Minimum Solutions

Authors: Bart M. P. Jansen, Bart van der Steenhoven

Abstract: A kernelization for a parameterized decision problem $\mathcal{Q}$ is a polynomial-time preprocessing algorithm that reduces any parameterized instance $(x,k)$ into an instance $(x',k')$ whose size is bounded by a function of $k$ alone and which has the same yes/no answer for $\mathcal{Q}$. Such preprocessing algorithms cannot exist in the context of counting problems, when the answer to be preser… ▽ More A kernelization for a parameterized decision problem $\mathcal{Q}$ is a polynomial-time preprocessing algorithm that reduces any parameterized instance $(x,k)$ into an instance $(x',k')$ whose size is bounded by a function of $k$ alone and which has the same yes/no answer for $\mathcal{Q}$. Such preprocessing algorithms cannot exist in the context of counting problems, when the answer to be preserved is the number of solutions, since this number can be arbitrarily large compared to $k$. However, we show that for counting minimum feedback vertex sets of size at most $k$, and for counting minimum dominating sets of size at most $k$ in a planar graph, there is a polynomial-time algorithm that either outputs the answer or reduces to an instance $(G',k')$ of size polynomial in $k$ with the same number of minimum solutions. This shows that a meaningful theory of kernelization for counting problems is possible and opens the door for future developments. Our algorithms exploit that if the number of solutions exceeds $2^{\mathsf{poly}(k)}$, the size of the input is exponential in terms of $k$ so that the running time of a parameterized counting algorithm can be bounded by $\mathsf{poly}(n)$. Otherwise, we can use gadgets that slightly increase $k$ to represent choices among $2^{O(k)}$ options by only $\mathsf{poly}(k)$ vertices. △ Less

Submitted 6 October, 2023; originally announced October 2023.

Comments: Extended abstract appears in the proceedings of IPEC 2023

MSC Class: 68Q27; 05C69; ACM Class: F.2.2

Single-Exponential FPT Algorithms for Enumerating Secluded $\mathcal{F}$-Free Subgraphs and Deleting to Scattered Graph Classes

Authors: Bart M. P. Jansen, Jari J. H. de Kroon, Michał Włodarczyk

Abstract: The celebrated notion of important separators bounds the number of small $(S,T)$-separators in a graph which are 'farthest from $S$' in a technical sense. In this paper, we introduce a generalization of this powerful algorithmic primitive that is phrased in terms of $k$-secluded vertex sets: sets with an open neighborhood of size at most $k$. In this terminology, the bound on important separator… ▽ More The celebrated notion of important separators bounds the number of small $(S,T)$-separators in a graph which are 'farthest from $S$' in a technical sense. In this paper, we introduce a generalization of this powerful algorithmic primitive that is phrased in terms of $k$-secluded vertex sets: sets with an open neighborhood of size at most $k$. In this terminology, the bound on important separators says that there are at most $4^k$ maximal $k$-secluded connected vertex sets $C$ containing $S$ but disjoint from $T$. We generalize this statement significantly: even when we demand that $G[C]$ avoids a finite set $\mathcal{F}$ of forbidden induced subgraphs, the number of such maximal subgraphs is $2^{O(k)}$ and they can be enumerated efficiently. This allows us to make significant improvements for two problems from the literature. Our first application concerns the 'Connected $k$-Secluded $\mathcal{F}$-free subgraph' problem, where $\mathcal{F}$ is a finite set of forbidden induced subgraphs. Given a graph in which each vertex has a positive integer weight, the problem asks to find a maximum-weight connected $k$-secluded vertex set $C \subseteq V(G)$ such that $G[C]$ does not contain an induced subgraph isomorphic to any $F \in \mathcal{F}$. The parameterization by $k$ is known to be solvable in triple-exponential time via the technique of recursive understanding, which we improve to single-exponential. Our second application concerns the deletion problem to scattered graph classes. Here, the task is to find a vertex set of size at most $k$ whose removal yields a graph whose each connected component belongs to one of the prescribed graph classes $Π_1, \ldots, Π_d$. We obtain a single-exponential algorithm whenever each class $Π_i$ is characterized by a finite number of forbidden induced subgraphs. This generalizes and improves upon earlier results in the literature. △ Less

Submitted 20 September, 2023; originally announced September 2023.

Comments: To appear at ISAAC'23

Upward and Orthogonal Planarity are W[1]-hard Parameterized by Treewidth

Authors: Bart M. P. Jansen, Liana Khazaliya, Philipp Kindermann, Giuseppe Liotta, Fabrizio Montecchiani, Kirill Simonov

Abstract: Upward planarity testing and Rectilinear planarity testing are central problems in graph drawing. It is known that they are both NP-complete, but XP when parameterized by treewidth. In this paper we show that these two problems are W[1]-hard parameterized by treewidth, which answers open problems posed in two earlier papers. The key step in our proof is an analysis of the All-or-Nothing Flow probl… ▽ More Upward planarity testing and Rectilinear planarity testing are central problems in graph drawing. It is known that they are both NP-complete, but XP when parameterized by treewidth. In this paper we show that these two problems are W[1]-hard parameterized by treewidth, which answers open problems posed in two earlier papers. The key step in our proof is an analysis of the All-or-Nothing Flow problem, a generalization of which was used as an intermediate step in the NP-completeness proof for both planarity testing problems. We prove that the flow problem is W[1]-hard parameterized by treewidth on planar graphs, and that the existing chain of reductions to the planarity testing problems can be adapted without blowing up the treewidth. Our reductions also show that the known $n^{O(tw)}$-time algorithms cannot be improved to run in time $n^{o(tw)}$ unless ETH fails. △ Less

Submitted 3 September, 2023; originally announced September 2023.

Comments: Appears in the Proceedings of the 31st International Symposium on Graph Drawing and Network Visualization (GD 2023)

Moduli stack of stable curves from a stratified homotopy viewpoint

Authors: Mikala Ørsnes Jansen

Abstract: In 1984, Charney and Lee defined a category of stable curves and exhibited a rational homology equivalence from its geometric realisation to (the analytification of) the moduli stack of stable curves, also known as the Deligne-Mumford-Knudsen compactification. We strengthen this result by showing that, in fact, this category captures the stratified homotopy type of the moduli stack. In particular,… ▽ More In 1984, Charney and Lee defined a category of stable curves and exhibited a rational homology equivalence from its geometric realisation to (the analytification of) the moduli stack of stable curves, also known as the Deligne-Mumford-Knudsen compactification. We strengthen this result by showing that, in fact, this category captures the stratified homotopy type of the moduli stack. In particular, it classifies constructible sheaves via an exodromy equivalence. △ Less

Submitted 21 November, 2023; v1 submitted 18 August, 2023; originally announced August 2023.

Comments: 55 pages (including a 15 page appendix on the Harvey compactification), 3 figures. Comments welcome; v2 minor changes

Report number: CPH-GEOTOP-DNRF151

Stratified homotopy theory of topological $\infty$-stacks: a toolbox

Authors: Mikala Ørsnes Jansen

Abstract: We exploit the theory of $\infty$-stacks to provide some basic definitions and calculational tools regarding stratified homotopy theory of stratified topological stacks. We exploit the theory of $\infty$-stacks to provide some basic definitions and calculational tools regarding stratified homotopy theory of stratified topological stacks. △ Less

Submitted 16 May, 2024; v1 submitted 18 August, 2023; originally announced August 2023.

Comments: 28 pages. Comments welcome; v2 minor changes; v3 final accepted version to appear in JPAA

Report number: CPH-GEOTOP-DNRF151

5-Approximation for $\mathcal{H}$-Treewidth Essentially as Fast as $\mathcal{H}$-Deletion Parameterized by Solution Size

Authors: Bart M. P. Jansen, Jari J. H. de Kroon, Michal Wlodarczyk

Abstract: The notion of $\mathcal{H}$-treewidth, where $\mathcal{H}$ is a hereditary graph class, was recently introduced as a generalization of the treewidth of an undirected graph. Roughly speaking, a graph of $\mathcal{H}$-treewidth at most $k$ can be decomposed into (arbitrarily large) $\mathcal{H}$-subgraphs which interact only through vertex sets of size $O(k)$ which can be organized in a tree-like fa… ▽ More The notion of $\mathcal{H}$-treewidth, where $\mathcal{H}$ is a hereditary graph class, was recently introduced as a generalization of the treewidth of an undirected graph. Roughly speaking, a graph of $\mathcal{H}$-treewidth at most $k$ can be decomposed into (arbitrarily large) $\mathcal{H}$-subgraphs which interact only through vertex sets of size $O(k)$ which can be organized in a tree-like fashion. $\mathcal{H}$-treewidth can be used as a hybrid parameterization to develop fixed-parameter tractable algorithms for $\mathcal{H}$-deletion problems, which ask to find a minimum vertex set whose removal from a given graph $G$ turns it into a member of $\mathcal{H}$. The bottleneck in the current parameterized algorithms lies in the computation of suitable tree $\mathcal{H}$-decompositions. We present FPT approximation algorithms to compute tree $\mathcal{H}$-decompositions for hereditary and union-closed graph classes $\mathcal{H}$. Given a graph of $\mathcal{H}$-treewidth $k$, we can compute a 5-approximate tree $\mathcal{H}$-decomposition in time $f(O(k)) \cdot n^{O(1)}$ whenever $\mathcal{H}$-deletion parameterized by solution size can be solved in time $f(k) \cdot n^{O(1)}$ for some function $f(k) \geq 2^k$. The current-best algorithms either achieve an approximation factor of $k^{O(1)}$ or construct optimal decompositions while suffering from non-uniformity with unknown parameter dependence. Using these decompositions, we obtain algorithms solving Odd Cycle Transversal in time $2^{O(k)} \cdot n^{O(1)}$ parameterized by $\mathsf{bipartite}$-treewidth and Vertex Planarization in time $2^{O(k \log k)} \cdot n^{O(1)}$ parameterized by $\mathsf{planar}$-treewidth, showing that these can be as fast as the solution-size parameterizations and giving the first ETH-tight algorithms for parameterizations by hybrid width measures. △ Less

Submitted 29 June, 2023; originally announced June 2023.

Comments: Conference version to appear at the European Symposium on Algorithms (ESA 2023)

The crystal and magnetic structure of cesium superoxide

Authors: R. A. Ewings, M. Reehuis, F. Orlandi, P. Manuel, D. D. Khalyavin, A. S. Gibbs, A. D. Fortes, A. Hoser, A. J. Princep, M. Jansen

Abstract: CsO2 is a member of the family of alkali superoxides (formula AO2 with A= Na, K, Rb and Cs) that exhibit magnetic behavior arising from open $p$-shell electrons residing on O2- molecules. We use neutron diffraction to solve the crystal and magnetic structures of CsO2, and observe a complex series of structures on cooling from room temperature to 1.6 K. These include an incommensurate modulation al… ▽ More CsO2 is a member of the family of alkali superoxides (formula AO2 with A= Na, K, Rb and Cs) that exhibit magnetic behavior arising from open $p$-shell electrons residing on O2- molecules. We use neutron diffraction to solve the crystal and magnetic structures of CsO2, and observe a complex series of structures on cooling from room temperature to 1.6 K. These include an incommensurate modulation along the a-axis of the structure at intermediate temperatures, which then locks into a commensurate modulation that doubles the unit cell compared to the previously supposed orthorhombic unit cell. In both incommensurate and commensurate phases our structural solution involves a staggering of the cesium ion positions along the b-axis, in contrast to studies of other alkali superoxides in which staggered tilts of the O2- dimers relative to the c-axis are seen. Below T ~ 10 K we observe magnetic Bragg reflections arising from an antiferromagnetically ordered structure with a wavevector of k = (0,0,0) (relative to the doubled crystallographic unit cell), with moments that point predominantly along the b-axis with a small component along the a-axis that hints at possible anisotropic exchange coupling (consistent with the crystal structure). Measurements of the magnetic Bragg reflections in an applied magnetic field suggest a spin-flop transition takes place between 2 T and 4 T in which moments likely flop to point along the crystallographic a-axis. Our measurements indicate that CsO2 is an interesting example of magnetic properties being inherently linked to the crystal structure, in that the staggered displacement of the cesium ions activates antisymmetric exchange which then permits the observed spin canting. △ Less

Submitted 30 June, 2023; v1 submitted 26 June, 2023; originally announced June 2023.

Comments: 13 pages, 11 figures, 6 tables

Information criteria for structured parameter selection in high dimensional tree and graph models

Authors: Maarten Jansen

Abstract: Parameter selection in high-dimensional models is typically finetuned in a way that keeps the (relative) number of false positives under control. This is because otherwise the few true positives may be dominated by the many possible false positives. This happens, for instance, when the selection follows from a naive optimisation of an information criterion, such as AIC or Mallows's Cp. It can be a… ▽ More Parameter selection in high-dimensional models is typically finetuned in a way that keeps the (relative) number of false positives under control. This is because otherwise the few true positives may be dominated by the many possible false positives. This happens, for instance, when the selection follows from a naive optimisation of an information criterion, such as AIC or Mallows's Cp. It can be argued that the overestimation of the selection comes from the optimisation process itself changing the statistics of the selected variables, in a way that the information criterion no longer reflects the true divergence between the selection and the data generating process. In lasso, the overestimation can also be linked to the shrinkage estimator, which makes the selection too tolerant of false positive selections. For these reasons, this paper works on refined information criteria, carefully balancing false positives and false negatives, for use with estimators without shrinkage. In particular, the paper develops corrected Mallows's Cp criteria for structured selection in trees and graphical models. △ Less

Submitted 24 June, 2023; originally announced June 2023.

The effect of salinity on ocean circulation and ice-ocean interaction on Enceladus

Authors: Yaoxuan Zeng, Malte F. Jansen

Abstract: Observational data suggest that the ice shell on Enceladus is thicker at the equator than at the pole, indicating an equator-to-pole ice flow. If the ice shell is in an equilibrium state, the mass transport of the ice flow must be balanced by the freezing and melting of the ice shell, which in turn is modulated by the ocean heat transport. Here we use a numerical ocean model to study the ice-ocean… ▽ More Observational data suggest that the ice shell on Enceladus is thicker at the equator than at the pole, indicating an equator-to-pole ice flow. If the ice shell is in an equilibrium state, the mass transport of the ice flow must be balanced by the freezing and melting of the ice shell, which in turn is modulated by the ocean heat transport. Here we use a numerical ocean model to study the ice-ocean interaction and ocean circulation on Enceladus with different salinities. We find that salinity fundamentally determines the ocean stratification. A stratified layer forms in the low salinity ocean, affecting the ocean circulation and heat transport. However, in the absence of tidal heating in the ice shell, the ocean heat transport is found to always be towards lower latitudes, resulting in freezing at the poles, which cannot maintain the ice shell geometry against the equator-to-pole ice flow. The simulation results suggest that either the ice shell on Enceladus is not in an equilibrium state, or tidal dissipation in the ice shell is important in maintaining the ice shell geometry. The simulations also suggest that a positive feedback between cross-equatorial ocean heat transport and ice melting results in spontaneous symmetry breaking between the two hemispheres. This feedback may play a role in the observed interhemispheric asymmetry in the ice shell. △ Less

Submitted 20 October, 2023; v1 submitted 14 June, 2023; originally announced June 2023.

Verification of ultrafast spin transfer effects in FeNi alloys

Authors: Christina Möller, Henrike Probst, G. S. Matthijs Jansen, Maren Schumacher, Mariana Brede, John Kay Dewhurst, Marcel Reutzel, Daniel Steil, Sangeeta Sharma, Stefan Mathias

Abstract: The optical intersite spin transfer (OISTR) effect was recently verified in Fe$_{50}$Ni$_{50}$ using magneto-optical Kerr measurements in the extreme ultraviolet range. However, one of the main experimental signatures analyzed in this work, namely a magnetic moment increase at a specific energy in Ni, was subsequently found also in pure Ni, where no transfer from one element to another is possible… ▽ More The optical intersite spin transfer (OISTR) effect was recently verified in Fe$_{50}$Ni$_{50}$ using magneto-optical Kerr measurements in the extreme ultraviolet range. However, one of the main experimental signatures analyzed in this work, namely a magnetic moment increase at a specific energy in Ni, was subsequently found also in pure Ni, where no transfer from one element to another is possible. Hence, it is a much-discussed issue whether OISTR in FeNi alloys is real and whether it can be verified experimentally or not. Here, we present a comparative study of spin transfer in Fe$_{50}$Ni$_{50}$, Fe$_{19}$Ni$_{81}$ and pure Ni. We conclusively show that an increase in the magneto-optical signal is indeed insufficient to verify OISTR. However, we also show how an extended data analysis overcomes this problem and allows to unambiguously identify spin transfer effects. Concomitantly, our work solves the long-standing riddle about the origin of delayed demagnetization behavior of Ni in FeNi alloys. △ Less

Submitted 6 June, 2023; v1 submitted 5 June, 2023; originally announced June 2023.

Journal ref: Commun Phys 7, 74 (2024)

Unraveling Femtosecond Spin and Charge Dynamics with EUV T-MOKE Spectroscopy

Authors: Henrike Probst, Christina Möller, Maren Schumacher, Thomas Brede, John Kay Dewhurst, Marcel Reutzel, Daniel Steil, Sangeeta Sharma, G. S. Matthijs Jansen, Stefan Mathias

Abstract: The magneto-optical Kerr effect (MOKE) in the extreme ultraviolet (EUV) regime has helped to elucidate some of the key processes that lead to the manipulation of magnetism on ultrafast timescales. However, as we show in this paper, the recently introduced spectrally-resolved analysis of such data can lead to surprising experimental observations, which might cause misinterpretations. Therefore, an… ▽ More The magneto-optical Kerr effect (MOKE) in the extreme ultraviolet (EUV) regime has helped to elucidate some of the key processes that lead to the manipulation of magnetism on ultrafast timescales. However, as we show in this paper, the recently introduced spectrally-resolved analysis of such data can lead to surprising experimental observations, which might cause misinterpretations. Therefore, an extended analysis of the EUV magneto-optics is necessary. Via experimental determination of the dielectric tensor, we find here that the non-equilibrium excitation in an ultrafast magnetization experiment can cause a rotation of the off-diagonal element of the dielectric tensor in the complex plane. In direct consequence, the commonly analyzed magneto-optic asymmetry may show time-dependent behaviour that is not directly connected to the magnetic properties of the sample. We showcase such critical observations for the case of ultrafast magnetization dynamics in Ni, and give guidelines for the future analysis of spectrally-resolved magneto-optical data and its comparison with theory. △ Less

Submitted 6 June, 2023; v1 submitted 5 June, 2023; originally announced June 2023.

Journal ref: Phys. Rev. Research 6, 013107 (2024)

Ultrafast nano-imaging of dark excitons

Authors: David Schmitt, Jan Philipp Bange, Wiebke Bennecke, Giuseppe Meneghini, AbdulAziz AlMutairi, Marco Merboldt, Jonas Pöhls, Kenji Watanabe, Takashi Taniguchi, Sabine Steil, Daniel Steil, R. Thomas Weitz, Stephan Hofmann, Samuel Brem, G. S. Matthijs Jansen, Ermin Malic, Stefan Mathias, Marcel Reutzel

Abstract: The role and impact of spatial heterogeneity in two-dimensional quantum materials represents one of the major research quests regarding the future application of these materials in optoelectronics and quantum information science. In the case of transition-metal dichalcogenide heterostructures, in particular, direct access to heterogeneities in the dark-exciton landscape with nanometer spatial and… ▽ More The role and impact of spatial heterogeneity in two-dimensional quantum materials represents one of the major research quests regarding the future application of these materials in optoelectronics and quantum information science. In the case of transition-metal dichalcogenide heterostructures, in particular, direct access to heterogeneities in the dark-exciton landscape with nanometer spatial and ultrafast time resolution is highly desired, but remains largely elusive. Here, we introduce ultrafast dark field momentum microscopy to spatio-temporally resolve dark exciton formation dynamics in a twisted WSe$_2$/MoS$_2$ heterostructure with 55 femtosecond time- and 500~nm spatial resolution. This allows us to directly map spatial heterogeneity in the electronic and excitonic structure, and to correlate these with the dark exciton formation and relaxation dynamics. The benefits of simultaneous ultrafast nanoscale dark-field momentum microscopy and spectroscopy is groundbreaking for the present study, and opens the door to new types of experiments with unprecedented spectroscopic and spatiotemporal capabilities. △ Less

Submitted 30 May, 2023; originally announced May 2023.

Comments: 39 pages, 4 main figures, 8 supplemental figures

Constructing wavelets by welding segments of smooth functions

Authors: Maarten Jansen

Abstract: The construction of B-spline wavelet bases on nonequispaced knots is extended to wavelets that are piecewise segments from any combination of smooth functions. The extended wavelet family thus provides multiresolution basis functions with support as compact as possible and belonging to a user controlled smoothness class. The construction proceeds in two phases. In the first fase, a set of smooth f… ▽ More The construction of B-spline wavelet bases on nonequispaced knots is extended to wavelets that are piecewise segments from any combination of smooth functions. The extended wavelet family thus provides multiresolution basis functions with support as compact as possible and belonging to a user controlled smoothness class. The construction proceeds in two phases. In the first fase, a set of smooth functions is used in the welding of compact supported, piecewise smooth basis functions. These piecewise smooth basis functions are refinable, meaning that they can be written as linear combinations of similar basis functions constructed on a fined grid of knots. The expression of the linear combination between the bases at two scales is known as a refinement or two-scale equation. In the second phase, the refinabability enables the construction of a wavelet transform. To this end, the refinement equation of the piecewise smooth scaling functions is factored into a lifting scheme, to which the desired properties of the subsequent wavelet basis can then be added. Next to the details of the construction, the paper discusses the conditions for it to fit into the classical framework of multiresolution analyses. △ Less

Submitted 17 May, 2023; originally announced May 2023.

Comments: 17 pages; 2 figures

Ultrafast dynamics of bright and dark excitons in monolayer WSe$_2$ and heterobilayer WSe$_2$/MoS$_2$

Authors: Jan Philipp Bange, Paul Werner, David Schmitt, Wiebke Bennecke, Giuseppe Meneghini, AbdulAziz AlMutairi, Marco Merboldt, Kenji Watanabe, Takashi Taniguchi, Sabine Steil, Daniel Steil, R. Thomas Weitz, Stephan Hofmann, G. S. Matthijs Jansen, Samuel Brem, Ermin Malic, Marcel Reutzel, Stefan Mathias

Abstract: The energy landscape of optical excitations in mono- and few-layer transition metal dichalcogenides (TMDs) is dominated by optically bright and dark excitons. These excitons can be fully localized within a single TMD layer, or the electron- and the hole-component of the exciton can be charge-separated over multiple TMD layers. Such intra- or interlayer excitons have been characterized in detail us… ▽ More The energy landscape of optical excitations in mono- and few-layer transition metal dichalcogenides (TMDs) is dominated by optically bright and dark excitons. These excitons can be fully localized within a single TMD layer, or the electron- and the hole-component of the exciton can be charge-separated over multiple TMD layers. Such intra- or interlayer excitons have been characterized in detail using all-optical spectroscopies, and, more recently, photoemission spectroscopy. In addition, there are so-called hybrid excitons whose electron- and/or hole-component are delocalized over two or more TMD layers, and therefore provide a promising pathway to mediate charge-transfer processes across the TMD interface. Hence, an in-situ characterization of their energy landscape and dynamics is of vital interest. In this work, using femtosecond momentum microscopy combined with many-particle modeling, we quantitatively compare the dynamics of momentum-indirect intralayer excitons in monolayer WSe$_2$ with the dynamics of momentum-indirect hybrid excitons in heterobilayer WSe$_2$/MoS$_2$, and draw three key conclusions: First, we find that the energy of hybrid excitons is reduced when compared to excitons with pure intralayer character. Second, we show that the momentum-indirect intralayer and hybrid excitons are formed via exciton-phonon scattering from optically excited bright excitons. And third, we demonstrate that the efficiency for phonon absorption and emission processes in the mono- and the heterobilayer is strongly dependent on the energy alignment of the intralayer and hybrid excitons with respect to the optically excited bright exciton. Overall, our work provides microscopic insights into exciton dynamics in TMD mono- and bilayers. △ Less

Submitted 3 May, 2023; originally announced May 2023.

Comments: 27 pages, 5 figures

Theoretical and numerical comparison of quantum- and classical embedding models for optical spectra

Authors: Marina Jansen, Peter Reinholdt, Erik D. Hedegård, Carolin König

Abstract: Quantum-mechanical (QM) and classical embedding models approximate a supermolecular quantum chemical calculation. This is particularly useful when the supermolecular calculation has a size that is out of reach for present QM models. Although QM and classical embedding methods share the same goal, they approach this goal from different starting points. In this study, we compare the polarizable embe… ▽ More Quantum-mechanical (QM) and classical embedding models approximate a supermolecular quantum chemical calculation. This is particularly useful when the supermolecular calculation has a size that is out of reach for present QM models. Although QM and classical embedding methods share the same goal, they approach this goal from different starting points. In this study, we compare the polarizable embedding (PE) and frozen-density embedding (FDE) models. The former is a classical embedding model, whereas the latter is a density-based QM embedding model. Our comparison focuses on solvent effects on optical spectra of solutes. This is a typical scenario where super-system calculations including the solvent environment become prohibitively large. We formulate a common theoretical framework for PE and FDE models and systematically investigate how PE and FDE approximate solvent effects. Generally, differences are found to be small, except in cases where electron spill-out becomes problematic in the classical frameworks. In these cases, however, atomic pseudopotentials can reduce the electron-spill-out issue. △ Less

Submitted 23 April, 2023; originally announced April 2023.

Comments: 39 pages, 7 figures and 3 tables

Probing correlations in the exciton landscape of a moiré heterostructure

Authors: Jan Philipp Bange, David Schmitt, Wiebke Bennecke, Giuseppe Meneghini, AbdulAziz AlMutairi, Kenji Watanabe, Takashi Taniguchi, Daniel Steil, Sabine Steil, R. Thomas Weitz, G. S. Matthijs Jansen, Stephan Hofmann, Samuel Brem, Ermin Malic, Marcel Reutzel, Stefan Mathias

Abstract: Excitons are two-particle correlated bound states that are formed due to Coulomb interaction between single-particle holes and electrons. In the solid-state, cooperative interactions with surrounding quasiparticles can strongly tailor the exciton properties and potentially even create new correlated states of matter. It is thus highly desirable to access such cooperative and correlated exciton beh… ▽ More Excitons are two-particle correlated bound states that are formed due to Coulomb interaction between single-particle holes and electrons. In the solid-state, cooperative interactions with surrounding quasiparticles can strongly tailor the exciton properties and potentially even create new correlated states of matter. It is thus highly desirable to access such cooperative and correlated exciton behavior on a fundamental level. Here, we find that the ultrafast transfer of an exciton's hole across a type-II band-aligned moiré heterostructure leads to a surprising sub-200-fs upshift of the single-particle energy of the electron being photoemitted from the two-particle exciton state. While energy relaxation usually leads to an energetic downshift of the spectroscopic signature, we show that this unusual upshift is a clear fingerprint of the correlated interactions of the electron and hole parts of the exciton quasiparticle. In this way, time-resolved photoelectron spectroscopy is straightforwardly established as a powerful method to access exciton correlations and cooperative behavior in two-dimensional quantum materials. Our work highlights this new capability and motivates the future study of optically inaccessible correlated excitonic and electronic states in moiré heterostructures. △ Less

Submitted 31 March, 2023; originally announced March 2023.

Comments: 32 pages, 4 main figures, 5 supplemental figures

Multiorbital exciton formation in an organic semiconductor

Authors: Wiebke Bennecke, Andreas Windischbacher, David Schmitt, Jan Philipp Bange, Ralf Hemm, Christian S. Kern, Gabriele D`Avino, Xavier Blase, Daniel Steil, Sabine Steil, Martin Aeschlimann, Benjamin Stadtmueller, Marcel Reutzel, Peter Puschnig, G. S. Matthijs Jansen, Stefan Mathias

Abstract: Harnessing the optoelectronic response of organic semiconductors requires a thorough understanding of the fundamental light-matter interaction that is dominated by the excitation of correlated electron-hole pairs, i.e. excitons. The nature of these excitons would be fully captured by knowing the quantum-mechanical wavefunction, which, however, is difficult to access both theoretically and experime… ▽ More Harnessing the optoelectronic response of organic semiconductors requires a thorough understanding of the fundamental light-matter interaction that is dominated by the excitation of correlated electron-hole pairs, i.e. excitons. The nature of these excitons would be fully captured by knowing the quantum-mechanical wavefunction, which, however, is difficult to access both theoretically and experimentally. Here, we use femtosecond photoemission orbital tomography in combination with many-body perturbation theory to gain access to exciton wavefunctions in organic semiconductors. We find that the coherent sum of multiple electron-hole pair contributions that typically make up a single exciton can be experimentally evidenced by photoelectron spectroscopy. For the prototypical organic semiconductor buckminsterfullerene (C$_{60}$), we show how to disentangle such multiorbital contributions and thereby access key properties of the exciton wavefunctions including localization, charge-transfer character, and ultrafast exciton formation and relaxation dynamics. △ Less

Submitted 24 March, 2023; originally announced March 2023.

Journal ref: Nat Commun 15, 1804 (2024)

Nonparametric testing via partial sorting

Authors: Krzysztof Bisewski, H. M. Jansen, Yoni Nazarathy

Abstract: In this paper we introduce the idea of partially sorting data to design nonparametric tests. This approach gives rise to tests that are sensitive to both the order and the underlying distribution of the data. We focus in particular on a test that uses the bubble sort algorithm to partially sort the data. We show that a function of the data, referred to as the empirical bubble sort curve, converges… ▽ More In this paper we introduce the idea of partially sorting data to design nonparametric tests. This approach gives rise to tests that are sensitive to both the order and the underlying distribution of the data. We focus in particular on a test that uses the bubble sort algorithm to partially sort the data. We show that a function of the data, referred to as the empirical bubble sort curve, converges uniformly to a limiting curve. We define a goodness-of-fit test based on the distance between the empirical curve and its limit. The asymptotic distribution of the test statistic is a generalization of the Kolmogorov distribution. We apply the test in several examples and observe that it outperforms classical nonparametric tests for appropriately chosen sorting levels. △ Less

Submitted 26 October, 2022; originally announced October 2022.

Scale Transfer in 1849 : Heinrich Schwabe to Rudolf Wolf

Authors: Shreya Bhattacharya, Laure Lefevre, Hisashi Hayakawa, Maarten Jansen, Frederic Clette

Abstract: The focus of this study is to reveal the reason behind a scale problem detected around 1849 in the historical version of the International Sunspot Number Series, i.e. version 1 (Leussu et al, Astronomy and Astrophysics, 559, A28, 2013; Friedli, Solar Phys.291, 2505, 2016). From 1826 to 1848 Heinrich Schwabe's observations were considered primary by Rudolf Wolf, and a shift of primary observer from… ▽ More The focus of this study is to reveal the reason behind a scale problem detected around 1849 in the historical version of the International Sunspot Number Series, i.e. version 1 (Leussu et al, Astronomy and Astrophysics, 559, A28, 2013; Friedli, Solar Phys.291, 2505, 2016). From 1826 to 1848 Heinrich Schwabe's observations were considered primary by Rudolf Wolf, and a shift of primary observer from Schwabe to Wolf in 1849 seems to have led to an inconsistency in the Sunspot Number series. In this study we benefited from various datasets, the most important being Schwabe's raw counts from the Mittheilungen (Prof. Wolf's Journals) that have been digitised at the Royal Observatory of Belgium between 2017 and 2019. We provide a robust quantification of the detected problem by using classic algebraic calculations but also different methods such as a method inspired by Lockwood et al (Journal of Geophysical Research (Space Physics), 119(7), 5172, 2014), hence assigning a modern k-factor to Schwabe's observations before 1849. We also assess the implications of this 1849 inconsistency on the International Sunspot Number series (Versions 1 and 2) before and after 1849. △ Less

Submitted 7 October, 2022; originally announced October 2022.

Journal ref: Solar Physics, 2023

The SPEC-RG Reference Architecture for the Compute Continuum

Authors: Matthijs Jansen, Auday Al-Dulaimy, Alessandro V. Papadopoulos, Animesh Trivedi, Alexandru Iosup

Abstract: As the next generation of diverse workloads like autonomous driving and augmented/virtual reality evolves, computation is shifting from cloud-based services to the edge, leading to the emergence of a cloud-edge compute continuum. This continuum promises a wide spectrum of deployment opportunities for workloads that can leverage the strengths of cloud (scalable infrastructure, high reliability) and… ▽ More As the next generation of diverse workloads like autonomous driving and augmented/virtual reality evolves, computation is shifting from cloud-based services to the edge, leading to the emergence of a cloud-edge compute continuum. This continuum promises a wide spectrum of deployment opportunities for workloads that can leverage the strengths of cloud (scalable infrastructure, high reliability) and edge (energy efficient, low latencies). Despite its promises, the continuum has only been studied in silos of various computing models, thus lacking strong end-to-end theoretical and engineering foundations for computing and resource management across the continuum. Consequently, developers resort to ad hoc approaches to reason about performance and resource utilization of workloads in the continuum. In this work, we conduct a first-of-its-kind systematic study of various computing models, identify salient properties, and make a case to unify them under a compute continuum reference architecture. This architecture provides an end-to-end analysis framework for developers to reason about resource management, workload distribution, and performance analysis. We demonstrate the utility of the reference architecture by analyzing two popular continuum workloads, deep learning and industrial IoT. We have developed an accompanying deployment and benchmarking framework and first-order analytical model for quantitative reasoning of continuum workloads. The framework is open-sourced and available at https://github.com/atlarge-research/continuum. △ Less

Submitted 2 March, 2023; v1 submitted 8 July, 2022; originally announced July 2022.

Comments: 14 pages, SPEC-RG technical report

Search-Space Reduction via Essential Vertices

Authors: Benjamin Merlin Bumpus, Bart M. P. Jansen, Jari J. H. de Kroon

Abstract: We investigate preprocessing for vertex-subset problems on graphs. While the notion of kernelization, originating in parameterized complexity theory, is a formalization of provably effective preprocessing aimed at reducing the total instance size, our focus is on finding a non-empty vertex set that belongs to an optimal solution. This decreases the size of the remaining part of the solution which… ▽ More We investigate preprocessing for vertex-subset problems on graphs. While the notion of kernelization, originating in parameterized complexity theory, is a formalization of provably effective preprocessing aimed at reducing the total instance size, our focus is on finding a non-empty vertex set that belongs to an optimal solution. This decreases the size of the remaining part of the solution which still has to be found, and therefore shrinks the search space of fixed-parameter tractable algorithms for parameterizations based on the solution size. We introduce the notion of a c-essential vertex as one that is contained in all c-approximate solutions. For several classic combinatorial problems such as Odd Cycle Transversal and Directed Feedback Vertex Set, we show that under mild conditions a polynomial-time preprocessing algorithm can find a subset of an optimal solution that contains all 2-essential vertices, by exploiting packing/covering duality. This leads to FPT algorithms to solve these problems where the exponential term in the running time depends only on the number of non-essential vertices in the solution. △ Less

Submitted 1 July, 2022; originally announced July 2022.

Comments: Conference version to appear at the European Symposium on Algorithms (ESA 2022)

MSC Class: 68W99 ACM Class: F.2.0

Finding $k$-Secluded Trees Faster

Authors: Huib Donkers, Bart M. P. Jansen, Jari J. H. de Kroon

Abstract: We revisit the \textsc{$k$-Secluded Tree} problem. Given a vertex-weighted undirected graph $G$, its objective is to find a maximum-weight induced subtree $T$ whose open neighborhood has size at most $k$. We present a fixed-parameter tractable algorithm that solves the problem in time $2^{\mathcal{O}(k \log k)}\cdot n^{\mathcal{O}(1)}$, improving on a double-exponential running time from earlier w… ▽ More We revisit the \textsc{$k$-Secluded Tree} problem. Given a vertex-weighted undirected graph $G$, its objective is to find a maximum-weight induced subtree $T$ whose open neighborhood has size at most $k$. We present a fixed-parameter tractable algorithm that solves the problem in time $2^{\mathcal{O}(k \log k)}\cdot n^{\mathcal{O}(1)}$, improving on a double-exponential running time from earlier work by Golovach, Heggernes, Lima, and Montealegre. Starting from a single vertex, our algorithm grows a $k$-secluded tree by branching on vertices in the open neighborhood of the current tree $T$. To bound the branching depth, we prove a structural result that can be used to identify a vertex that belongs to the neighborhood of any $k$-secluded supertree $T' \supseteq T$ once the open neighborhood of $T$ becomes sufficiently large. We extend the algorithm to enumerate compact descriptions of all maximum-weight $k$-secluded trees, which allows us to count the number of maximum-weight $k$-secluded trees containing a specified vertex in the same running time. △ Less

Submitted 24 June, 2022; v1 submitted 20 June, 2022; originally announced June 2022.

Kernelization for Feedback Vertex Set via Elimination Distance to a Forest

Authors: David Dekker, Bart M. P. Jansen

Abstract: We study efficient preprocessing for the undirected Feedback Vertex Set problem, a fundamental problem in graph theory which asks for a minimum-sized vertex set whose removal yields an acyclic graph. More precisely, we aim to determine for which parameterizations this problem admits a polynomial kernel. While a characterization is known for the related Vertex Cover problem based on the recently in… ▽ More We study efficient preprocessing for the undirected Feedback Vertex Set problem, a fundamental problem in graph theory which asks for a minimum-sized vertex set whose removal yields an acyclic graph. More precisely, we aim to determine for which parameterizations this problem admits a polynomial kernel. While a characterization is known for the related Vertex Cover problem based on the recently introduced notion of bridge-depth, it remained an open problem whether this could be generalized to Feedback Vertex Set. The answer turns out to be negative; the existence of polynomial kernels for structural parameterizations for Feedback Vertex Set is governed by the elimination distance to a forest. Under the standard assumption that NP is not a subset of coNP/poly, we prove that for any minor-closed graph class $\mathcal G$, Feedback Vertex Set parameterized by the size of a modulator to $\mathcal G$ has a polynomial kernel if and only if $\mathcal G$ has bounded elimination distance to a forest. This captures and generalizes all existing kernels for structural parameterizations of the Feedback Vertex Set problem. △ Less

Submitted 9 June, 2022; originally announced June 2022.

Comments: 40 pages, 4 figures. To be published in the Proceedings of WG2022

MSC Class: 05C85; 68R10 ACM Class: F.2.2; G.2.2

Energetic constraints on ocean circulations of icy ocean worlds

Authors: Malte F. Jansen, Wanying Kang, Edwin Kite, Yaoxuan Zeng

Abstract: Globally ice-covered oceans have been found on multiple moons in the solar system and may also have been a feature of Earth's past. However, relatively little is understood about the dynamics of these ice-covered oceans, which affect not only the physical environment but also any potential life and its detectability. A number of studies have simulated the circulation of icy-world oceans, but have… ▽ More Globally ice-covered oceans have been found on multiple moons in the solar system and may also have been a feature of Earth's past. However, relatively little is understood about the dynamics of these ice-covered oceans, which affect not only the physical environment but also any potential life and its detectability. A number of studies have simulated the circulation of icy-world oceans, but have come to seemingly widely different conclusions. To better understand and narrow down these diverging results, we discuss energetic constraints for the circulation on ice-covered oceans, focusing in particular on Snowball Earth, Europa, and Enceladus. Energy input that can drive ocean circulation on ice-covered bodies can be associated with heat and salt fluxes at the boundaries as well as ocean tides and librations. We show that heating from the solid core balanced by heat loss through the ice sheet can drive an ocean circulation, but the resulting flows would be relatively weak and strongly affected by rotation. Salt fluxes associated with freezing and melting at the ice sheet boundary are unlikely to energetically drive a circulation, although they can shape the large-scale circulation when combined with turbulent mixing. Ocean tides and librations may provide an energy source for such turbulence, but the magnitude of this energy source remains highly uncertain for the icy moons, which poses a major obstacle to predicting the ocean dynamics of icy worlds and remains as an important topic for future research. △ Less

Submitted 31 May, 2023; v1 submitted 1 June, 2022; originally announced June 2022.

Efficient, Spectrally Tunable Single-Photon Sources Based on Chlorine-Doped ZnSe Nanopillars

Authors: Y. Kutovyi, M. M. Jansen, S. Qiao, C. Falter, N. von den Driesch, T. Brazda, N. Demarina, S. Trellenkamp, B. Bennemann, D. Grützmacher, A. Pawlis

Abstract: Isolated impurity states in epitaxially grown semiconductor systems possess important radiative features such as distinct wavelength emission with a very short radiative lifetime and low inhomogeneous broadening which makes them promising for the generation of indistinguishable single photons. In this study, we investigate chlorine-doped ZnSe/ZnMgSe quantum well (QW) nanopillar (NP) structures as… ▽ More Isolated impurity states in epitaxially grown semiconductor systems possess important radiative features such as distinct wavelength emission with a very short radiative lifetime and low inhomogeneous broadening which makes them promising for the generation of indistinguishable single photons. In this study, we investigate chlorine-doped ZnSe/ZnMgSe quantum well (QW) nanopillar (NP) structures as a highly efficient solid-state single-photon source operating at cryogenic temperatures. We show that single photons are generated due to the radiative recombination of excitons bound to neutral Cl atoms in ZnSe QW and the energy of the emitted photon can be tuned from about 2.85 down to 2.82 eV with ZnSe well width increase from 2.7 to 4.7 nm. Following the developed advanced technology we fabricate NPs with a diameter of about 250 nm using a combination of dry and wet-chemical etching of epitaxially grown ZnSe/ZnMgSe QW well structures. The remaining resist mask serves as a spherical- or cylindrical-shaped solid immersion lens on top of NPs and leads to the emission intensity enhancement by up to an order of magnitude in comparison to the pillars without any lenses. NPs with spherical-shaped lenses show the highest emission intensity values. The clear photon-antibunching effect is confirmed by the measured value of the second-order correlation function at a zero time delay of 0.14. The developed single-photon sources are suitable for integration into scalable photonic circuits. △ Less

Submitted 20 May, 2022; originally announced May 2022.