Showing 1–50 of 138 results for author: Pedersen, M

3D Reconstruction of the Human Colon from Capsule Endoscope Video

Authors: Pål Anders Floor, Ivar Farup, Marius Pedersen

Abstract: As the number of people affected by diseases in the gastrointestinal system is ever-increasing, a higher demand on preventive screening is inevitable. This will significantly increase the workload on gastroenterologists. To help reduce the workload, tools from computer vision may be helpful. In this paper, we investigate the possibility of constructing 3D models of whole sections of the human colo… ▽ More As the number of people affected by diseases in the gastrointestinal system is ever-increasing, a higher demand on preventive screening is inevitable. This will significantly increase the workload on gastroenterologists. To help reduce the workload, tools from computer vision may be helpful. In this paper, we investigate the possibility of constructing 3D models of whole sections of the human colon using image sequences from wireless capsule endoscope video, providing enhanced viewing for gastroenterologists. As capsule endoscope images contain distortion and artifacts non-ideal for many 3D reconstruction algorithms, the problem is challenging. However, recent developments of virtual graphics-based models of the human gastrointestinal system, where distortion and artifacts can be enabled or disabled, makes it possible to ``dissect'' the problem. The graphical model also provides a ground truth, enabling computation of geometric distortion introduced by the 3D reconstruction method. In this paper, most distortions and artifacts are left out to determine if it is feasible to reconstruct whole sections of the human gastrointestinal system by existing methods. We demonstrate that 3D reconstruction is possible using simultaneous localization and mapping. Further, to reconstruct the gastrointestinal wall surface from resulting point clouds, varying greatly in density, Poisson surface reconstruction is a good option. The results are promising, encouraging further research on this problem. △ Less

Submitted 21 July, 2024; originally announced July 2024.

Comments: 11 pages, 12 figures

Collapse of active nematic order through a two-stage dynamic transition

Authors: Aleksandra Ardaševa, Ignasi Vélez-Cerón, Martin Cramer Pedersen, Jordi Ignés-Mullol, Francesc Sagués, Amin Doostmohammadi

Abstract: We present a novel two-stage transition of the ordered active nematic state of a system of bundled microtubules into a biphasic active fluid. Specifically, we show that upon light-induced solidification of the underlying medium, microtubule-kinesin motor mixtures first undergo a cascade of folding in on themselves, which is then followed by a progressive formation of isotropic fluid domains, trans… ▽ More We present a novel two-stage transition of the ordered active nematic state of a system of bundled microtubules into a biphasic active fluid. Specifically, we show that upon light-induced solidification of the underlying medium, microtubule-kinesin motor mixtures first undergo a cascade of folding in on themselves, which is then followed by a progressive formation of isotropic fluid domains, transforming the system into a biphasic active suspension. Using an active lyotropic model, we show that the two-stage transition in the system is governed by screening effects that become important upon substrate changes, leading to higher activity modes to become important. Specifically, the combined effect of friction and quadrupolar activity leads to the hierarchical folding that follows the intrinsic bend instability. Our results demonstrate the dynamics of the collapse of orientational order in active nematics and present a new route for controlling active matter by modifying the activity through changing the surrounding environment. △ Less

Submitted 4 July, 2024; originally announced July 2024.

Comments: 6 pages, 3 figures

The PLATO Mission

Authors: Heike Rauer, Conny Aerts, Juan Cabrera, Magali Deleuil, Anders Erikson, Laurent Gizon, Mariejo Goupil, Ana Heras, Jose Lorenzo-Alvarez, Filippo Marliani, Cesar Martin-Garcia, J. Miguel Mas-Hesse, Laurence O'Rourke, Hugh Osborn, Isabella Pagano, Giampaolo Piotto, Don Pollacco, Roberto Ragazzoni, Gavin Ramsay, Stéphane Udry, Thierry Appourchaux, Willy Benz, Alexis Brandeker, Manuel Güdel, Eduardo Janot-Pacheco , et al. (801 additional authors not shown)

Abstract: PLATO (PLAnetary Transits and Oscillations of stars) is ESA's M3 mission designed to detect and characterise extrasolar planets and perform asteroseismic monitoring of a large number of stars. PLATO will detect small planets (down to <2 R_(Earth)) around bright stars (<11 mag), including terrestrial planets in the habitable zone of solar-like stars. With the complement of radial velocity observati… ▽ More PLATO (PLAnetary Transits and Oscillations of stars) is ESA's M3 mission designed to detect and characterise extrasolar planets and perform asteroseismic monitoring of a large number of stars. PLATO will detect small planets (down to <2 R_(Earth)) around bright stars (<11 mag), including terrestrial planets in the habitable zone of solar-like stars. With the complement of radial velocity observations from the ground, planets will be characterised for their radius, mass, and age with high accuracy (5 %, 10 %, 10 % for an Earth-Sun combination respectively). PLATO will provide us with a large-scale catalogue of well-characterised small planets up to intermediate orbital periods, relevant for a meaningful comparison to planet formation theories and to better understand planet evolution. It will make possible comparative exoplanetology to place our Solar System planets in a broader context. In parallel, PLATO will study (host) stars using asteroseismology, allowing us to determine the stellar properties with high accuracy, substantially enhancing our knowledge of stellar structure and evolution. The payload instrument consists of 26 cameras with 12cm aperture each. For at least four years, the mission will perform high-precision photometric measurements. Here we review the science objectives, present PLATO's target samples and fields, provide an overview of expected core science performance as well as a description of the instrument and the mission profile at the beginning of the serial production of the flight cameras. PLATO is scheduled for a launch date end 2026. This overview therefore provides a summary of the mission to the community in preparation of the upcoming operational phases. △ Less

Submitted 8 June, 2024; originally announced June 2024.

Active particles knead three-dimensional gels into open crumbs

Authors: Martin Cramer Pedersen, Sourav Mukherjee, Amin Doostmohammadi, Chandana Mondal, Kristian Thijssen

Abstract: Colloidal gels are prime examples of functional materials exhibiting disordered, amorphous, yet meta-stable forms. They maintain stability through short-range attractive forces and their material properties are tunable by external forces. Combining persistent homology analyses and simulations of three-dimensional colloidal gels doped with active particles, we reveal novel dynamically evolving stru… ▽ More Colloidal gels are prime examples of functional materials exhibiting disordered, amorphous, yet meta-stable forms. They maintain stability through short-range attractive forces and their material properties are tunable by external forces. Combining persistent homology analyses and simulations of three-dimensional colloidal gels doped with active particles, we reveal novel dynamically evolving structures of colloidal gels. Specifically, we show that the local injection of energy by active dopants can lead to highly porous, yet compact gel structures that can significantly affect the transport of active particles within the modified colloidal gel. We further show the substantially distinct structural behaviour between active doping of 2D and 3D systems by revealing how passive interfaces play a topologically different role in interacting with active particles in two and three dimensions. The results open the door to an unexplored prospect of forming a wide variety of compact but highly heterogeneous and percolated porous media through active doping of 3D passive matter, with diverse implications in designing new functional materials to active ground remediation. △ Less

Submitted 11 April, 2024; originally announced April 2024.

Judgment in macroeconomic output growth predictions: Efficiency, accuracy and persistence

Authors: Michael Pedersen

Abstract: The present study applies observations of individual predictions of the first three releases of the US output growth rate to evaluate how the applied judgment affects prediction efficiency and accuracy as well as if judgment is persistent. While the first two issues have been assessed in other studies, there is little evidence on the formation of judgment in macroeconomic projections. Most of the… ▽ More The present study applies observations of individual predictions of the first three releases of the US output growth rate to evaluate how the applied judgment affects prediction efficiency and accuracy as well as if judgment is persistent. While the first two issues have been assessed in other studies, there is little evidence on the formation of judgment in macroeconomic projections. Most of the forecasters produce unbiased predictions, but employing the median Bloomberg projection as baseline, it turns out that judgment generally does not improve accuracy. There seems to be persistence in the judgment applied by forecasters in the sense that the sign of the adjustment in the first release prediction carries over to the projections of the two following revisions. One possible explanation is that forecasters use some kind of anchor-and-adjustment heuristic. △ Less

Submitted 5 April, 2024; originally announced April 2024.

Comments: 25 pages, 3 figures, 8 tables

Mutual information scrambling in Ising spin chain

Authors: Surbhi Khetrapal, Emil Tore Mærsk Pedersen

Abstract: We consider a chain of spin-half particles of a finite length, evolved with the mixed-field Ising Hamiltonian and impose open boundary condition. We simulate the time evolution of entanglement entropy and mutual information following quench from the Néel state in this system using tensor networks. We find that the entanglement entropy for non-integrable systems saturates to a constant value at lat… ▽ More We consider a chain of spin-half particles of a finite length, evolved with the mixed-field Ising Hamiltonian and impose open boundary condition. We simulate the time evolution of entanglement entropy and mutual information following quench from the Néel state in this system using tensor networks. We find that the entanglement entropy for non-integrable systems saturates to a constant value at late times, however it continues to oscillate for integrable systems. We also find that mutual information peaks as a function of distance between intervals decay faster for non-integrable systems compared to integrable systems, in agreement with the conclusion of \cite{Alba:2019ybw} for XXZ chains. We compare the oscillations in entanglement entropy evolution obtained from simulations in the integrable case with analytic results from quasi-particle picture and find agreement. △ Less

Submitted 21 February, 2024; originally announced February 2024.

Comments: 13 pages, 9 figures

A Hormetic Approach to the Value-Loading Problem: Preventing the Paperclip Apocalypse?

Authors: Nathan I. N. Henry, Mangor Pedersen, Matt Williams, Jamin L. B. Martin, Liesje Donkin

Abstract: The value-loading problem is a significant challenge for researchers aiming to create artificial intelligence (AI) systems that align with human values and preferences. This problem requires a method to define and regulate safe and optimal limits of AI behaviors. In this work, we propose HALO (Hormetic ALignment via Opponent processes), a regulatory paradigm that uses hormetic analysis to regulate… ▽ More The value-loading problem is a significant challenge for researchers aiming to create artificial intelligence (AI) systems that align with human values and preferences. This problem requires a method to define and regulate safe and optimal limits of AI behaviors. In this work, we propose HALO (Hormetic ALignment via Opponent processes), a regulatory paradigm that uses hormetic analysis to regulate the behavioral patterns of AI. Behavioral hormesis is a phenomenon where low frequencies of a behavior have beneficial effects, while high frequencies are harmful. By modeling behaviors as allostatic opponent processes, we can use either Behavioral Frequency Response Analysis (BFRA) or Behavioral Count Response Analysis (BCRA) to quantify the hormetic limits of repeatable behaviors. We demonstrate how HALO can solve the 'paperclip maximizer' scenario, a thought experiment where an unregulated AI tasked with making paperclips could end up converting all matter in the universe into paperclips. Our approach may be used to help create an evolving database of 'values' based on the hedonic calculus of repeatable behaviors with decreasing marginal utility. This positions HALO as a promising solution for the value-loading problem, which involves embedding human-aligned values into an AI system, and the weak-to-strong generalization problem, which explores whether weak models can supervise stronger models as they become more intelligent. Hence, HALO opens several research avenues that may lead to the development of a computational value system that allows an AI algorithm to learn whether the decisions it makes are right or wrong. △ Less

Submitted 13 February, 2024; v1 submitted 12 February, 2024; originally announced February 2024.

Comments: 24 pages, 7 figures

MSC Class: 68T01; 68T37; 68T42 ACM Class: I.2.0; I.2.8; I.2.11

Images of maps from $(\mathbb{C}^2,0)$ to $(\mathbb{C}^n,0)$

Authors: Helge Møller Pedersen

Abstract: Let $F:(\mathbb{C}^2,0)\to (\mathbb{C}^n,0)$ be the germ of a finite map and $(X,0)$ be its image. We will in this article using the topology of the link show that $(X,0)$ has to be a quotient singularity if it is normal and describe the possible topological types. Including a discussion of the groups and examples of how to construct a map to a given topology. We will also discuss the case when th… ▽ More Let $F:(\mathbb{C}^2,0)\to (\mathbb{C}^n,0)$ be the germ of a finite map and $(X,0)$ be its image. We will in this article using the topology of the link show that $(X,0)$ has to be a quotient singularity if it is normal and describe the possible topological types. Including a discussion of the groups and examples of how to construct a map to a given topology. We will also discuss the case when the image is not normal. △ Less

Submitted 24 April, 2024; v1 submitted 26 January, 2024; originally announced January 2024.

Comments: 17 Pages

MSC Class: 14B05 (Primary) 32S05; 32S25; 32S50; 57K30; 57M10; 57M60 (Secondary)

Identifying 850 delta Scuti pulsators in a narrow Gaia colour range with TESS 10-minute full-frame images

Authors: Amelie K. Read, Timothy R. Bedding, Prasad Mani, Benjamin T. Montet, Courtney Crawford, Daniel R. Hey, Yaguang Li, Simon J. Murphy, May Gade Pedersen, Joachim Kruger

Abstract: We use TESS 10-minute Full Frame Images (Sectors 27-55) to study a sample of 1708 stars within 500 pc of the Sun that lie in a narrow colour range in the centre of the delta Scuti instability strip (0.29 < BP-RP < 0.31). Based on the Fourier amplitude spectra, we identify 848 delta Scuti stars, as well as 47 eclipsing or contact binaries. The strongest pulsation modes of some delta Scuti stars fal… ▽ More We use TESS 10-minute Full Frame Images (Sectors 27-55) to study a sample of 1708 stars within 500 pc of the Sun that lie in a narrow colour range in the centre of the delta Scuti instability strip (0.29 < BP-RP < 0.31). Based on the Fourier amplitude spectra, we identify 848 delta Scuti stars, as well as 47 eclipsing or contact binaries. The strongest pulsation modes of some delta Scuti stars fall on the period-luminosity relation of the fundamental radial mode but many correspond to overtones that are approximately a factor of two higher in frequency. Many of the low-luminosity delta Scuti stars show a series of high-frequency modes with very regular spacings. The fraction of stars in our sample that show delta Scuti pulsations is about 70% for the brightest stars (G<8), consistent with results from Kepler. However, the fraction drops to about 45% for fainter stars and we find that a single sector of TESS data only detects the lowest-amplitude delta Scuti pulsations (around 50 ppm) in stars down to about G=9. Finally, we have found four new high-frequency delta Scuti stars with very regular mode patterns, and have detected pulsations in lambda Mus that make it the fourth-brightest delta Scuti in the sky (G=3.63). Overall, these results confirm the power of TESS and Gaia for studying pulsating stars. △ Less

Submitted 14 January, 2024; originally announced January 2024.

Comments: accepted by MNRAS; 10 pages, 13 figures

Terrain-Informed Self-Supervised Learning: Enhancing Building Footprint Extraction from LiDAR Data with Limited Annotations

Authors: Anuja Vats, David Völgyes, Martijn Vermeer, Marius Pedersen, Kiran Raja, Daniele S. M. Fantin, Jacob Alexander Hay

Abstract: Estimating building footprint maps from geospatial data is of paramount importance in urban planning, development, disaster management, and various other applications. Deep learning methodologies have gained prominence in building segmentation maps, offering the promise of precise footprint extraction without extensive post-processing. However, these methods face challenges in generalization and l… ▽ More Estimating building footprint maps from geospatial data is of paramount importance in urban planning, development, disaster management, and various other applications. Deep learning methodologies have gained prominence in building segmentation maps, offering the promise of precise footprint extraction without extensive post-processing. However, these methods face challenges in generalization and label efficiency, particularly in remote sensing, where obtaining accurate labels can be both expensive and time-consuming. To address these challenges, we propose terrain-aware self-supervised learning, tailored to remote sensing, using digital elevation models from LiDAR data. We propose to learn a model to differentiate between bare Earth and superimposed structures enabling the network to implicitly learn domain-relevant features without the need for extensive pixel-level annotations. We test the effectiveness of our approach by evaluating building segmentation performance on test datasets with varying label fractions. Remarkably, with only 1% of the labels (equivalent to 25 labeled examples), our method improves over ImageNet pre-training, showing the advantage of leveraging unlabeled data for feature extraction in the domain of remote sensing. The performance improvement is more pronounced in few-shot scenarios and gradually closes the gap with ImageNet pre-training as the label fraction increases. We test on a dataset characterized by substantial distribution shifts and labeling errors to demonstrate the generalizability of our approach. When compared to other baselines, including ImageNet pretraining and more complex architectures, our approach consistently performs better, demonstrating the efficiency and effectiveness of self-supervised terrain-aware feature learning. △ Less

Submitted 18 April, 2024; v1 submitted 2 November, 2023; originally announced November 2023.

Journal ref: IEEE Transactions on Geoscience and Remote Sensing (2024)

Geometric slow-fast analysis of a hybrid pituitary cell model with stochastic ion channel dynamics

Authors: Francesco Montefusco, Morten Gram Pedersen

Abstract: To obtain explicit understanding of the behavior of dynamical systems, geometrical methods and slow-fast analysis have proved to be highly useful. Such methods are standard for smooth dynamical systems, and increasingly used for continuous, non-smooth dynamical systems. However, they are much less used for random dynamical systems, in particular for hybrid models with discrete, random dynamics. In… ▽ More To obtain explicit understanding of the behavior of dynamical systems, geometrical methods and slow-fast analysis have proved to be highly useful. Such methods are standard for smooth dynamical systems, and increasingly used for continuous, non-smooth dynamical systems. However, they are much less used for random dynamical systems, in particular for hybrid models with discrete, random dynamics. Indeed, the analysis of such systems has typically been done by studying the corresponding deterministic system and considering how noise perturbs the deterministic geometrical structures. Here we propose a geometrical method that works directly with the hybrid system. We illustrate our approach through an application to a hybrid pituitary cell model in which the stochastic dynamics of very few active large-conductance potassium (BK) channels is coupled to a deterministic model of the other ion channels and calcium dynamics. To employ our geometric approach, we exploit the slow-fast structure of the model. The random fast subsystem is analyzed by considering discrete phase planes, corresponding to the discrete number of open BK channels, and stochastic events correspond to jumps between these planes. The evolution within each plane can be understood from nullclines and limit cycles, and the overall dynamics, e.g., whether the model produces a spike or a burst, is determined by the location at which the system jumps from one plane to another. Our approach is generally applicable to other scenarios to study discrete random dynamical systems defined by hybrid stochastic-deterministic models. △ Less

Submitted 18 October, 2023; originally announced October 2023.

Comments: 15 pages, 8 figures

MSC Class: 34A38; 34F05; 37N25; 92-10

Fast Compression of Deterministic Finite Automata

Authors: Philip Bille, Inge Li Gørtz, Max Rishøj Pedersen

Abstract: We revisit the popular \emph{delayed deterministic finite automaton} (\ddfa{}) compression algorithm introduced by Kumar~et~al.~[SIGCOMM 2006] for compressing deterministic finite automata (DFAs) used in intrusion detection systems. This compression scheme exploits similarities in the outgoing sets of transitions among states to achieve strong compression while maintaining high throughput for matc… ▽ More We revisit the popular \emph{delayed deterministic finite automaton} (\ddfa{}) compression algorithm introduced by Kumar~et~al.~[SIGCOMM 2006] for compressing deterministic finite automata (DFAs) used in intrusion detection systems. This compression scheme exploits similarities in the outgoing sets of transitions among states to achieve strong compression while maintaining high throughput for matching. The \ddfa{} algorithm and later variants of it, unfortunately, require at least quadratic compression time since they compare all pairs of states to compute an optimal compression. This is too slow and, in some cases, even infeasible for collections of regular expression in modern intrusion detection systems that produce DFAs of millions of states. Our main result is a simple, general framework for constructing \ddfa{} based on locality-sensitive hashing that constructs an approximation of the optimal \ddfa{} in near-linear time. We apply our approach to the original \ddfa{} compression algorithm and two important variants, and we experimentally evaluate our algorithms on DFAs from widely used modern intrusion detection systems. Overall, our new algorithms compress up to an order of magnitude faster than existing solutions with either no or little loss of compression size. Consequently, our algorithms are significantly more scalable and can handle larger collections of regular expressions than previous solutions. △ Less

Submitted 19 January, 2024; v1 submitted 22 June, 2023; originally announced June 2023.

Electronic Stripe Patterns Near the Fermi Level of Tetragonal Fe(Se,S)

Authors: M. Walker, K. Scott, T. J. Boyle, J. K. Byland, S. Bötzel, Z. Zhao, R. P. Day, S. Zhdanovich, S. Gorovikov, T. M. Pedersen, P. Klavins, A. Damascelli, I. M. Eremin, A. Gozar, V. Taufour, E. H. da Silva Neto

Abstract: FeSe$_{1-x}$S$_x$ remains one of the most enigmatic systems of Fe-based superconductors. While much is known about the orthorhombic parent compound, FeSe, the tetragonal samples, FeSe$_{1-x}$S$_x$ with x>0.17, remain relatively unexplored. Here, we provide an in-depth investigation of the electronic states of tetragonal FeSe$_{0.81}$S$_{0.19}$, using scanning tunneling microscopy and spectroscopy… ▽ More FeSe$_{1-x}$S$_x$ remains one of the most enigmatic systems of Fe-based superconductors. While much is known about the orthorhombic parent compound, FeSe, the tetragonal samples, FeSe$_{1-x}$S$_x$ with x>0.17, remain relatively unexplored. Here, we provide an in-depth investigation of the electronic states of tetragonal FeSe$_{0.81}$S$_{0.19}$, using scanning tunneling microscopy and spectroscopy (STM/S) measurements, supported by angle-resolved photoemission spectroscopy (ARPES) and theoretical modeling. We demonstrate that by analyzing modulations of the local density of states (LDOS) near and away from Fe vacancy defects separately, we can identify quasiparticle interference (QPI) signals originating from multiple regions of the Brillouin zone, including the bands at the M and A points. We also observe that QPI signals coexist with a much stronger LDOS modulation for states near the Fermi level whose period is independent of energy. Our measurements further reveal that this strong pattern appears in the STS measurements as short range stripe patterns that are locally two-fold symmetric. Since these stripe patterns coexist with four-fold symmetric QPI around Fe-vacancies, the origin of their local two-fold symmetry must be distinct from that of nematic states in orthorhombic samples. To further understand these stripe patterns, we explore several aspects related to them, such as the role of S and Fe vacancy defects, and whether they can be explained by QPI. We consider the possibility that the observed stripe patterns may represent incipient charge order correlations, similar to those observed in the cuprates. △ Less

Submitted 6 December, 2023; v1 submitted 2 June, 2023; originally announced June 2023.

X-Shooting ULLYSES: massive stars at low metallicity. I. Project Description

Authors: Jorick S. Vink, A. Mehner, P. A. Crowther, A. Fullerton, M. Garcia, F. Martins, N. Morrell, L. M. Oskinova, N. St-Louis, A. ud-Doula, A. A. C. Sander, H. Sana, J. -C. Bouret, B. Kubatova, P. Marchant, L. P. Martins, A. Wofford, J. Th. van Loon, O. Grace Telford, Y. Gotberg, D. M. Bowman, C. Erba, V. M. Kalari, M. Abdul-Masih, T. Alkousa , et al. (56 additional authors not shown)

Abstract: Observations of individual massive stars, super-luminous supernovae, gamma-ray bursts, and gravitational-wave events involving spectacular black-hole mergers, indicate that the low-metallicity Universe is fundamentally different from our own Galaxy. Many transient phenomena will remain enigmatic until we achieve a firm understanding of the physics and evolution of massive stars at low metallicity… ▽ More Observations of individual massive stars, super-luminous supernovae, gamma-ray bursts, and gravitational-wave events involving spectacular black-hole mergers, indicate that the low-metallicity Universe is fundamentally different from our own Galaxy. Many transient phenomena will remain enigmatic until we achieve a firm understanding of the physics and evolution of massive stars at low metallicity (Z). The Hubble Space Telescope has devoted 500 orbits to observe 250 massive stars at low Z in the ultraviolet (UV) with the COS and STIS spectrographs under the ULLYSES program. The complementary ``X-Shooting ULLYSES'' (XShootU) project provides enhanced legacy value with high-quality optical and near-infrared spectra obtained with the wide-wavelength coverage X-shooter spectrograph at ESO's Very Large Telescope. We present an overview of the XShootU project, showing that combining ULLYSES UV and XShootU optical spectra is critical for the uniform determination of stellar parameters such as effective temperature, surface gravity, luminosity, and abundances, as well as wind properties such as mass-loss rates in function of Z. As uncertainties in stellar and wind parameters percolate into many adjacent areas of Astrophysics, the data and modelling of the XShootU project is expected to be a game-changer for our physical understanding of massive stars at low Z. To be able to confidently interpret James Webb Space Telescope (JWST) spectra of the first stellar generations, the individual spectra of low Z stars need to be understood, which is exactly where XShootU can deliver. △ Less

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

Comments: Accepted in A&A - 35 Pages, 12 Figures, 4 Tables, 2 Large Tables

Journal ref: A&A 675, A154 (2023)

Contamination in TESS light curves: The case of the Fast Yellow Pulsating Supergiants

Authors: May G. Pedersen, Keaton J. Bell

Abstract: Given its large plate scale of 21" / pixel, analyses of data from the TESS space telescope must be wary of source confusion from blended light curves, which creates the potential to attribute observed photometric variability to the wrong astrophysical source. We explore the impact of light curve contamination on the detection of fast yellow pulsating supergiant (FYPS) stars as a case study to demo… ▽ More Given its large plate scale of 21" / pixel, analyses of data from the TESS space telescope must be wary of source confusion from blended light curves, which creates the potential to attribute observed photometric variability to the wrong astrophysical source. We explore the impact of light curve contamination on the detection of fast yellow pulsating supergiant (FYPS) stars as a case study to demonstrate the importance of confirming the source of detected signals in the TESS pixel data. While some of the FYPS signals have already been attributed to contamination from nearby eclipsing binaries, others are suggested to be intrinsic to the supergiant stars. In this work, we carry out a detailed analysis of the TESS pixel data to fit the source locations of the dominant signals reported for 17 FYPS stars with the Python package TESS_localize. We are able to reproduce the detections of these signals for 14 of these sources, obtaining consistent source locations for four. Three of these originate from contaminants, while the signal reported for BZ Tuc is likely a spurious frequency introduced to the light curve of this 127-day Cepheid by the data processing pipeline. Other signals are not significant enough to be localized with our methods, or have long periods that are difficult to analyze given other TESS systematics. Since no localizable signals hold up as intrinsic pulsation frequencies of the supergiant targets, we argue that unambiguous detection of pulsational variability should be obtained before FYPS are considered a new class of pulsator. △ Less

Submitted 12 April, 2023; originally announced April 2023.

Comments: 16 pages, 8 figures, 1 table, accepted for publication in the Astronomical Journal

Using Elliptical Galaxy Kinematics to Compare of the Strength of Gravity in Cosmological Regions of Differing Gravitational Potential -- A First Look

Authors: Eske M. Pedersen, Christopher W. Stubbs

Abstract: Various models of modified gravity invoke ``screening'' mechanisms that are sensitive to the value of the local gravitational potential. This could have observable consequences for galaxies. These consequences might be seen by comparing two proxies for galaxy mass -- their luminosity and their internal kinematics -- as a function of local galaxy density. Motivated by this prospect, we have compare… ▽ More Various models of modified gravity invoke ``screening'' mechanisms that are sensitive to the value of the local gravitational potential. This could have observable consequences for galaxies. These consequences might be seen by comparing two proxies for galaxy mass -- their luminosity and their internal kinematics -- as a function of local galaxy density. Motivated by this prospect, we have compared the observed properties of luminous red galaxies (LRGs) inside and outside of voids in the cosmic large scale structure. We used archival measurements of line widths, luminosities, redshifts, colors, and positions of galaxies in conjunction with recent void catalogs to construct comparison LRG samples inside and outside of voids. We fitted these two samples to the well-established fundamental plane of elliptical galaxies to constrain any differences between the inferred value of the Newtonian gravitational constant G for the two samples. We obtained a null result, with an upper limit on any fractional difference in G within and outside of cosmological voids to be $α=δ$$ G/G \sim$ 40\%. This upper bound is dominated by the small-number statistics of our N $\sim $ 100 within-void LRG sample. With the caveat that environmental effects could influence various parameters such as star formation, we estimate that a 1\% statistical limit on $α$ could be attained with data from 10${^5}$ elliptical galaxies within voids. This is within the reach of future photometric and spectroscopic surveys, both of which are required to pursue this method. △ Less

Submitted 4 April, 2023; originally announced April 2023.

Convective boundary mixing in main-sequence stars: theory and empirical constraints

Authors: Evan H. Anders, May G. Pedersen

Abstract: The convective envelopes of solar-type stars and the convective cores of intermediate- and high-mass stars share boundaries with stable radiative zones. Through a host of processes we collectively refer to as "convective boundary mixing" (CBM), convection can drive efficient mixing in these nominally stable regions. In this review, we discuss the current state of CBM research in the context of mai… ▽ More The convective envelopes of solar-type stars and the convective cores of intermediate- and high-mass stars share boundaries with stable radiative zones. Through a host of processes we collectively refer to as "convective boundary mixing" (CBM), convection can drive efficient mixing in these nominally stable regions. In this review, we discuss the current state of CBM research in the context of main-sequence stars through three lenses. (1) We examine the most frequently implemented 1D prescriptions of CBM -- exponential overshoot, step overshoot, and convective penetration -- and we include a discussion of implementation degeneracies and how to convert between various prescriptions. (2) Next, we examine the literature of CBM from a fluid dynamical perspective, with a focus on three distinct processes: convective overshoot, entrainment, and convective penetration. (3) Finally, we discuss observational inferences regarding how much mixing should occur in the cores of intermediate- and high-mass stars, and the implied constraints that these observations place on 1D CBM implementations. We conclude with a discussion of pathways forward for future studies to place better constraints on this difficult challenge in stellar evolution modeling. △ Less

Submitted 15 April, 2023; v1 submitted 21 March, 2023; originally announced March 2023.

Comments: Appears roughly as published; invited review in the Galaxies special issue, "The Structure and Evolution of Stars". Supplementary materials can be found online in a Zenodo repository at https://zenodo.org/record/7735067

Journal ref: Galaxies 2023, 11(2), 56

Learning Pairwise Interaction for Generalizable DeepFake Detection

Authors: Ying Xu, Kiran Raja, Luisa Verdoliva, Marius Pedersen

Abstract: A fast-paced development of DeepFake generation techniques challenge the detection schemes designed for known type DeepFakes. A reliable Deepfake detection approach must be agnostic to generation types, which can present diverse quality and appearance. Limited generalizability across different generation schemes will restrict the wide-scale deployment of detectors if they fail to handle unseen att… ▽ More A fast-paced development of DeepFake generation techniques challenge the detection schemes designed for known type DeepFakes. A reliable Deepfake detection approach must be agnostic to generation types, which can present diverse quality and appearance. Limited generalizability across different generation schemes will restrict the wide-scale deployment of detectors if they fail to handle unseen attacks in an open set scenario. We propose a new approach, Multi-Channel Xception Attention Pairwise Interaction (MCX-API), that exploits the power of pairwise learning and complementary information from different color space representations in a fine-grained manner. We first validate our idea on a publicly available dataset in a intra-class setting (closed set) with four different Deepfake schemes. Further, we report all the results using balanced-open-set-classification (BOSC) accuracy in an inter-class setting (open-set) using three public datasets. Our experiments indicate that our proposed method can generalize better than the state-of-the-art Deepfakes detectors. We obtain 98.48% BOSC accuracy on the FF++ dataset and 90.87% BOSC accuracy on the CelebDF dataset suggesting a promising direction for generalization of DeepFake detection. We further utilize t-SNE and attention maps to interpret and visualize the decision-making process of our proposed network. https://github.com/xuyingzhongguo/MCX-API △ Less

Submitted 26 February, 2023; originally announced February 2023.

BrackishMOT: The Brackish Multi-Object Tracking Dataset

Authors: Malte Pedersen, Daniel Lehotský, Ivan Nikolov, Thomas B. Moeslund

Abstract: There exist no publicly available annotated underwater multi-object tracking (MOT) datasets captured in turbid environments. To remedy this we propose the BrackishMOT dataset with focus on tracking schools of small fish, which is a notoriously difficult MOT task. BrackishMOT consists of 98 sequences captured in the wild. Alongside the novel dataset, we present baseline results by training a state-… ▽ More There exist no publicly available annotated underwater multi-object tracking (MOT) datasets captured in turbid environments. To remedy this we propose the BrackishMOT dataset with focus on tracking schools of small fish, which is a notoriously difficult MOT task. BrackishMOT consists of 98 sequences captured in the wild. Alongside the novel dataset, we present baseline results by training a state-of-the-art tracker. Additionally, we propose a framework for creating synthetic sequences in order to expand the dataset. The framework consists of animated fish models and realistic underwater environments. We analyse the effects of including synthetic data during training and show that a combination of real and synthetic underwater training data can enhance tracking performance. Links to code and data can be found at https://www.vap.aau.dk/brackishmot △ Less

Submitted 21 February, 2023; originally announced February 2023.

Dialectograms: Machine Learning Differences between Discursive Communities

Authors: Thyge Enggaard, August Lohse, Morten Axel Pedersen, Sune Lehmann

Abstract: Word embeddings provide an unsupervised way to understand differences in word usage between discursive communities. A number of recent papers have focused on identifying words that are used differently by two or more communities. But word embeddings are complex, high-dimensional spaces and a focus on identifying differences only captures a fraction of their richness. Here, we take a step towards l… ▽ More Word embeddings provide an unsupervised way to understand differences in word usage between discursive communities. A number of recent papers have focused on identifying words that are used differently by two or more communities. But word embeddings are complex, high-dimensional spaces and a focus on identifying differences only captures a fraction of their richness. Here, we take a step towards leveraging the richness of the full embedding space, by using word embeddings to map out how words are used differently. Specifically, we describe the construction of dialectograms, an unsupervised way to visually explore the characteristic ways in which each community use a focal word. Based on these dialectograms, we provide a new measure of the degree to which words are used differently that overcomes the tendency for existing measures to pick out low frequent or polysemous words. We apply our methods to explore the discourses of two US political subreddits and show how our methods identify stark affective polarisation of politicians and political entities, differences in the assessment of proper political action as well as disagreement about whether certain issues require political intervention at all. △ Less

Submitted 11 February, 2023; originally announced February 2023.

Sliding Window String Indexing in Streams

Authors: Philip Bille, Johannes Fischer, Inge Li Gørtz, Max Rishøj Pedersen, Tord Joakim Stordalen

Abstract: Given a string $S$ over an alphabet $Σ$, the 'string indexing problem' is to preprocess $S$ to subsequently support efficient pattern matching queries, i.e., given a pattern string $P$ report all the occurrences of $P$ in $S$. In this paper we study the 'streaming sliding window string indexing problem'. Here the string $S$ arrives as a stream, one character at a time, and the goal is to maintain… ▽ More Given a string $S$ over an alphabet $Σ$, the 'string indexing problem' is to preprocess $S$ to subsequently support efficient pattern matching queries, i.e., given a pattern string $P$ report all the occurrences of $P$ in $S$. In this paper we study the 'streaming sliding window string indexing problem'. Here the string $S$ arrives as a stream, one character at a time, and the goal is to maintain an index of the last $w$ characters, called the 'window', for a specified parameter $w$. At any point in time a pattern matching query for a pattern $P$ may arrive, also streamed one character at a time, and all occurrences of $P$ within the current window must be returned. The streaming sliding window string indexing problem naturally captures scenarios where we want to index the most recent data (i.e. the window) of a stream while supporting efficient pattern matching. Our main result is a simple $O(w)$ space data structure that uses $O(\log w)$ time with high probability to process each character from both the input string $S$ and the pattern string $P$. Reporting each occurrence from $P$ uses additional constant time per reported occurrence. Compared to previous work in similar scenarios this result is the first to achieve an efficient worst-case time per character from the input stream. We also consider a delayed variant of the problem, where a query may be answered at any point within the next $δ$ characters that arrive from either stream. We present an $O(w + δ)$ space data structure for this problem that improves the above time bounds to $O(\log(w/δ))$. In particular, for a delay of $δ= εw$ we obtain an $O(w)$ space data structure with constant time processing per character. The key idea to achieve our result is a novel and simple hierarchical structure of suffix trees of independent interest, inspired by the classic log-structured merge trees. △ Less

Submitted 23 January, 2023; originally announced January 2023.

Evaluating clinical diversity and plausibility of synthetic capsule endoscopic images

Authors: Anuja Vats, Marius Pedersen, Ahmed Mohammed, Øistein Hovde

Abstract: Wireless Capsule Endoscopy (WCE) is being increasingly used as an alternative imaging modality for complete and non-invasive screening of the gastrointestinal tract. Although this is advantageous in reducing unnecessary hospital admissions, it also demands that a WCE diagnostic protocol be in place so larger populations can be effectively screened. This calls for training and education protocols a… ▽ More Wireless Capsule Endoscopy (WCE) is being increasingly used as an alternative imaging modality for complete and non-invasive screening of the gastrointestinal tract. Although this is advantageous in reducing unnecessary hospital admissions, it also demands that a WCE diagnostic protocol be in place so larger populations can be effectively screened. This calls for training and education protocols attuned specifically to this modality. Like training in other modalities such as traditional endoscopy, CT, MRI, etc., a WCE training protocol would require an atlas comprising of a large corpora of images that show vivid descriptions of pathologies and abnormalities, ideally observed over a period of time. Since such comprehensive atlases are presently lacking in WCE, in this work, we propose a deep learning method for utilizing already available studies across different institutions for the creation of a realistic WCE atlas using StyleGAN. We identify clinically relevant attributes in WCE such that synthetic images can be generated with selected attributes on cue. Beyond this, we also simulate several disease progression scenarios. The generated images are evaluated for realism and plausibility through three subjective online experiments with the participation of eight gastroenterology experts from three geographical locations and a variety of years of experience. The results from the experiments indicate that the images are highly realistic and the disease scenarios plausible. The images comprising the atlas are available publicly for use in training applications as well as supplementing real datasets for deep learning. △ Less

Submitted 16 January, 2023; originally announced January 2023.

Comments: 13 pages,10 figures

Journal ref: Sci Rep 13, 10857 (2023)

Shape2SAS -- a web application to simulate small-angle scattering data and pair distance distributions from user-defined shapes

Authors: Andreas Haahr Larsen, Emre Brookes, Martin Cramer Pedersen, Jacob Judas Kain Kirkensgaard

Abstract: Shape2SAS is a web application that allows researchers and students to build intuition and understanding of small-angle scattering. It is available at https://somo.chem.utk.edu/shape2sas. The user defines a model of arbitrary shape by combining geometrical subunits, and Shape2SAS then calculates and displays the scattering intensity, the pair distance distribution as well as a visualization of the… ▽ More Shape2SAS is a web application that allows researchers and students to build intuition and understanding of small-angle scattering. It is available at https://somo.chem.utk.edu/shape2sas. The user defines a model of arbitrary shape by combining geometrical subunits, and Shape2SAS then calculates and displays the scattering intensity, the pair distance distribution as well as a visualization of the user-defined shape. Simulated data with realistic noise are also generated. We demonstrate how Shape2SAS can calculate and display the different scattering patterns for various geometrical shapes, such as spheres and cylinders. We also demonstrate how the effect of structure factors can be visualized. Finally, we show how multi-contrast particles can readily be generated, and how the calculated scattering may be used to validate and visualize analytical models generated in analysis software for fitting small-angle scattering data. △ Less

Submitted 12 January, 2023; originally announced January 2023.

Journal ref: J. Appl. Cryst. (2023). 56, 1287-1294

This changes to that : Combining causal and non-causal explanations to generate disease progression in capsule endoscopy

Authors: Anuja Vats, Ahmed Mohammed, Marius Pedersen, Nirmalie Wiratunga

Abstract: Due to the unequivocal need for understanding the decision processes of deep learning networks, both modal-dependent and model-agnostic techniques have become very popular. Although both of these ideas provide transparency for automated decision making, most methodologies focus on either using the modal-gradients (model-dependent) or ignoring the model internal states and reasoning with a model's… ▽ More Due to the unequivocal need for understanding the decision processes of deep learning networks, both modal-dependent and model-agnostic techniques have become very popular. Although both of these ideas provide transparency for automated decision making, most methodologies focus on either using the modal-gradients (model-dependent) or ignoring the model internal states and reasoning with a model's behavior/outcome (model-agnostic) to instances. In this work, we propose a unified explanation approach that given an instance combines both model-dependent and agnostic explanations to produce an explanation set. The generated explanations are not only consistent in the neighborhood of a sample but can highlight causal relationships between image content and the outcome. We use Wireless Capsule Endoscopy (WCE) domain to illustrate the effectiveness of our explanations. The saliency maps generated by our approach are comparable or better on the softmax information score. △ Less

Submitted 5 December, 2022; originally announced December 2022.

Journal ref: ICASSP 2023 - 2023 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP)

Internal rotation and inclinations of slowly pulsating B stars: Evidence of interior angular momentum transport

Authors: May G. Pedersen

Abstract: One of the largest uncertainties in stellar structure and evolution theory is the transport of angular momentum in the stellar interiors. Asteroseismology offers a powerful tool for measuring the internal rotation frequencies of pulsating stars, but the number of such measurements has remained few for $\gtrsim 3\,{\rm M}_\odot$ main-sequence stars. In this work, we compile a list of 52 slowly puls… ▽ More One of the largest uncertainties in stellar structure and evolution theory is the transport of angular momentum in the stellar interiors. Asteroseismology offers a powerful tool for measuring the internal rotation frequencies of pulsating stars, but the number of such measurements has remained few for $\gtrsim 3\,{\rm M}_\odot$ main-sequence stars. In this work, we compile a list of 52 slowly pulsating B stars for which the interior rotation has been measured asteroseismically. The measurements of the spin parameters, which describe the relative importance of rotation, for the gravito-inertial mode oscillations show that for 40 of the stars the oscillations fall within the sub-inertial regime. We find that the core rotation frequencies of the stars decrease as a function of age, and show evidence of angular momentum transport occurring on the main-sequence. Finally, we derive the inclination angles of the stars, showing that they are generally consistent with the expectations from surface cancellation effects for the given oscillation modes. △ Less

Submitted 30 August, 2022; originally announced August 2022.

Comments: 29 pages, 13 figures, 2 tables. Accepted for publication in ApJ

Atomistic structure search using local surrogate mode

Authors: Nikolaj Rønne, Mads-Peter V. Christiansen, Andreas Møller Slavensky, Zeyuan Tang, Florian Brix, Mikkel Elkjær Pedersen, Malthe Kjær Bisbo, Bjørk Hammer

Abstract: We describe a local surrogate model for use in conjunction with global structure search methods. The model follows the Gaussian approximation potential (GAP) formalism and is based on a the smooth overlap of atomic positions descriptor with sparsification in terms of a reduced number of local environments using mini-batch $k$-means. The model is implemented in the Atomistic Global Optimization X f… ▽ More We describe a local surrogate model for use in conjunction with global structure search methods. The model follows the Gaussian approximation potential (GAP) formalism and is based on a the smooth overlap of atomic positions descriptor with sparsification in terms of a reduced number of local environments using mini-batch $k$-means. The model is implemented in the Atomistic Global Optimization X framework and used as a partial replacement of the local relaxations in basin hopping structure search. The approach is shown to be robust for a wide range of atomistic system including molecules, nano-particles, surface supported clusters and surface thin films. The benefits in a structure search context of a local surrogate model are demonstrated. This includes the ability to transfer learning from smaller systems as well as the possibility to perform concurrent multi-stoichiometry searches. △ Less

Submitted 19 August, 2022; originally announced August 2022.

Comments: 12 pages, 11 figures

Journal ref: J. Chem. Phys. 157, 174115 (2022)

A Unified Catalog-level Reanalysis of Stage-III Cosmic Shear Surveys

Authors: Emily P. Longley, Chihway Chang, Christopher W. Walter, Joe Zuntz, Mustapha Ishak, Rachel Mandelbaum, Hironao Miyatake, Andrina Nicola, Eske M. Pedersen, Maria E. S. Pereira, Judit Prat, J. Sánchez, Tilman Tröster, Michael Troxel, Angus Wright, The LSST Dark Energy Science Collaboration

Abstract: Cosmological parameter constraints from recent galaxy imaging surveys are reaching $2-3\%$-level accuracy. The upcoming Legacy Survey of Space and Time (LSST) of the Vera C. Rubin Observatory will produce sub-percent level measurements of cosmological parameters, providing a milestone test of the $Λ$CDM model. To supply guidance to the upcoming LSST analysis, it is important to understand thorough… ▽ More Cosmological parameter constraints from recent galaxy imaging surveys are reaching $2-3\%$-level accuracy. The upcoming Legacy Survey of Space and Time (LSST) of the Vera C. Rubin Observatory will produce sub-percent level measurements of cosmological parameters, providing a milestone test of the $Λ$CDM model. To supply guidance to the upcoming LSST analysis, it is important to understand thoroughly the results from different recent galaxy imaging surveys and assess their consistencies. In this work we perform a unified catalog-level reanalysis of three cosmic shear datasets: the first year data from the Dark Energy Survey (DES-Y1), the 1,000 deg$^{2}$ dataset from the Kilo-Degree Survey (KiDS-1000), and the first year data from the Hyper Suprime-Cam Subaru Strategic Program (HSC-Y1). We utilize a pipeline developed and rigorously tested by the LSST Dark Energy Science Collaboration to perform the reanalysis and assess the robustness of the results to analysis choices. We find the $S_{8}$ constraint to be robust to two different small-scale modeling approaches, and varying choices of cosmological priors. Our unified analysis allows the consistency of the surveys to be rigorously tested and we find the three surveys to be statistically consistent. Due to the partially overlapping footprint, we model the cross-covariance between KiDS-1000 and HSC-Y1 approximately when combining all three datasets, resulting in a $1.6-1.9\%$ constraint on $S_8$ given different assumptions on the cross-covariance. △ Less

Submitted 15 August, 2022; originally announced August 2022.

Comments: 27 pages, 18 figures, to be submitted to MNRAS

Analyzing Fairness in Deepfake Detection With Massively Annotated Databases

Authors: Ying Xu, Philipp Terhörst, Kiran Raja, Marius Pedersen

Abstract: In recent years, image and video manipulations with Deepfake have become a severe concern for security and society. Many detection models and datasets have been proposed to detect Deepfake data reliably. However, there is an increased concern that these models and training databases might be biased and, thus, cause Deepfake detectors to fail. In this work, we investigate factors causing biased det… ▽ More In recent years, image and video manipulations with Deepfake have become a severe concern for security and society. Many detection models and datasets have been proposed to detect Deepfake data reliably. However, there is an increased concern that these models and training databases might be biased and, thus, cause Deepfake detectors to fail. In this work, we investigate factors causing biased detection in public Deepfake datasets by (a) creating large-scale demographic and non-demographic attribute annotations with 47 different attributes for five popular Deepfake datasets and (b) comprehensively analysing attributes resulting in AI-bias of three state-of-the-art Deepfake detection backbone models on these datasets. The analysis shows how various attributes influence a large variety of distinctive attributes (from over 65M labels) on the detection performance which includes demographic (age, gender, ethnicity) and non-demographic (hair, skin, accessories, etc.) attributes. The results examined datasets show limited diversity and, more importantly, show that the utilised Deepfake detection backbone models are strongly affected by investigated attributes making them not fair across attributes. The Deepfake detection backbone methods trained on such imbalanced/biased datasets result in incorrect detection results leading to generalisability, fairness, and security issues. Our findings and annotated datasets will guide future research to evaluate and mitigate bias in Deepfake detection techniques. The annotated datasets and the corresponding code are publicly available. △ Less

Submitted 11 March, 2024; v1 submitted 11 August, 2022; originally announced August 2022.

MOTCOM: The Multi-Object Tracking Dataset Complexity Metric

Authors: Malte Pedersen, Joakim Bruslund Haurum, Patrick Dendorfer, Thomas B. Moeslund

Abstract: There exists no comprehensive metric for describing the complexity of Multi-Object Tracking (MOT) sequences. This lack of metrics decreases explainability, complicates comparison of datasets, and reduces the conversation on tracker performance to a matter of leader board position. As a remedy, we present the novel MOT dataset complexity metric (MOTCOM), which is a combination of three sub-metrics… ▽ More There exists no comprehensive metric for describing the complexity of Multi-Object Tracking (MOT) sequences. This lack of metrics decreases explainability, complicates comparison of datasets, and reduces the conversation on tracker performance to a matter of leader board position. As a remedy, we present the novel MOT dataset complexity metric (MOTCOM), which is a combination of three sub-metrics inspired by key problems in MOT: occlusion, erratic motion, and visual similarity. The insights of MOTCOM can open nuanced discussions on tracker performance and may lead to a wider acknowledgement of novel contributions developed for either less known datasets or those aimed at solving sub-problems. We evaluate MOTCOM on the comprehensive MOT17, MOT20, and MOTSynth datasets and show that MOTCOM is far better at describing the complexity of MOT sequences compared to the conventional density and number of tracks. Project page at https://vap.aau.dk/motcom △ Less

Submitted 20 July, 2022; originally announced July 2022.

Comments: ECCV 2022. Project webpage https://vap.aau.dk/motcom

From Labels to Priors in Capsule Endoscopy: A Prior Guided Approach for Improving Generalization with Few Labels

Authors: Anuja Vats, Ahmed Mohammed, Marius Pedersen

Abstract: The lack of generalizability of deep learning approaches for the automated diagnosis of pathologies in Wireless Capsule Endoscopy (WCE) has prevented any significant advantages from trickling down to real clinical practices. As a result, disease management using WCE continues to depend on exhaustive manual investigations by medical experts. This explains its limited use despite several advantages.… ▽ More The lack of generalizability of deep learning approaches for the automated diagnosis of pathologies in Wireless Capsule Endoscopy (WCE) has prevented any significant advantages from trickling down to real clinical practices. As a result, disease management using WCE continues to depend on exhaustive manual investigations by medical experts. This explains its limited use despite several advantages. Prior works have considered using higher quality and quantity of labels as a way of tackling the lack of generalization, however this is hardly scalable considering pathology diversity not to mention that labeling large datasets encumbers the medical staff additionally. We propose using freely available domain knowledge as priors to learn more robust and generalizable representations. We experimentally show that domain priors can benefit representations by acting in proxy of labels, thereby significantly reducing the labeling requirement while still enabling fully unsupervised yet pathology-aware learning. We use the contrastive objective along with prior-guided views during pretraining, where the view choices inspire sensitivity to pathological information. Extensive experiments on three datasets show that our method performs better than (or closes gap with) the state-of-the-art in the domain, establishing a new benchmark in pathology classification and cross-dataset generalization, as well as scaling to unseen pathology categories. △ Less

Submitted 10 June, 2022; originally announced June 2022.

Polarimetric detection of nonradial oscillation modes in the beta Cephei star beta Crucis

Authors: Daniel V. Cotton, Derek L. Buzasi, Conny Aerts, Jeremy Bailey, Siemen Burssens, May G. Pedersen, Dennis Stello, Lucyna Kedziora-Chudczer, Ain De Horta, Peter De Cat, Fiona Lewis, Sai Prathyusha Malla, Duncan J. Wright, Kimberly Bott

Abstract: Here we report the detection of polarization variations due to nonradial modes in the beta Cephei star beta Crucis. In so doing we confirm 40-year-old predictions of pulsation-induced polarization variability and its utility in asteroseismology for mode identification. In an approach suited to other beta Cep stars, we combine polarimetry with space-based photometry and archival spectroscopy to ide… ▽ More Here we report the detection of polarization variations due to nonradial modes in the beta Cephei star beta Crucis. In so doing we confirm 40-year-old predictions of pulsation-induced polarization variability and its utility in asteroseismology for mode identification. In an approach suited to other beta Cep stars, we combine polarimetry with space-based photometry and archival spectroscopy to identify the dominant nonradial mode in polarimetry, f2, as l = 3, m = -3 (in the m-convention of Dziembowski) and determine the stellar axis position angle as 25 (or 205) +/- 8 deg. The rotation axis inclination to the line of sight was derived as approx. 46 deg. from combined polarimetry and spectroscopy, facilitating identification of additional modes and allowing for asteroseismic modelling. This reveals a star of 14.5 +/- 0.5 Solar masses and a convective core containing approx. 28% of its mass -- making beta Crucis the most massive star with an asteroseismic age. △ Less

Submitted 23 May, 2022; originally announced May 2022.

Comments: 33 pages, 11 figures, 8 tables (incl. Supplementary Information). Accepted version; published as Cotton et al. (2022), Nature Astro., Vol 6, pp 154-164. Data is available through VizieR as: J/other/NatAs/6.154. Two explainer articles are available: Cotton & Buzasi (2022), Nature Astro., Vol 6, pp 24-25; Baade (2022), Nature Astro., Vol 6, pp 20-21

Journal ref: Nature Astronomy, Vol 6, pages 154-164 (2022)

On the diversity of mixing and helium core masses of B-type dwarfs from gravity-mode asteroseismology

Authors: May G. Pedersen

Abstract: The chemical evolution of the Galaxy is largely guided by the yields from massive stars. Their evolution is heavily influenced by their internal mixing, allowing the stars to live longer and yield a more massive helium core at the end of their main-sequence evolution. Asteroseismology is a powerful tool for studying stellar interiors by providing direct probes of the interior physics of the oscill… ▽ More The chemical evolution of the Galaxy is largely guided by the yields from massive stars. Their evolution is heavily influenced by their internal mixing, allowing the stars to live longer and yield a more massive helium core at the end of their main-sequence evolution. Asteroseismology is a powerful tool for studying stellar interiors by providing direct probes of the interior physics of the oscillating stars. This work revisits the recently derived internal mixing profiles of 26 slowly pulsating B stars observed by the Kepler space telescope, in order to investigate how well the mixing profiles can in fact be distinguished from one another as well as provide predictions for the expected helium core masses obtained at the end of the main-sequence evolution. We find that for five of these stars the mixing profile is derived unambiguously, while the remaining stars have at least one other mixing profile which explains the oscillations equally well. Convective penetration is preferred over exponential diffusive overshoot for ~55% of the stars, while stratified mixing is preferred in the envelope (~39%). We estimate the expected helium core masses obtained at the end of the main-sequence evolution and find them to be highly influenced by the estimated amount of mixing occurring in the envelopes of the stars. △ Less

Submitted 3 March, 2022; originally announced March 2022.

Comments: 10 pages + 14 pages of appendix, 11 figures, 6 tables, accepted for publication in ApJ

Mixed-mode oscillations in coupled FitzHugh-Nagumo oscillators: blowup analysis of cusped singularities

Authors: Kristian Uldall Kristiansen, Morten Gram Pedersen

Abstract: In this paper, we use geometric singular perturbation theory and blowup, as our main technical tool, to study the mixed-mode oscillations (MMOs) that occur in two coupled FitzHugh-Nagumo units with symmetric and repulsive coupling. In particular, we demonstrate that the MMOs in this model are not due to generic folded singularities, but rather due to singularities at a cusp -- not a fold -- of the… ▽ More In this paper, we use geometric singular perturbation theory and blowup, as our main technical tool, to study the mixed-mode oscillations (MMOs) that occur in two coupled FitzHugh-Nagumo units with symmetric and repulsive coupling. In particular, we demonstrate that the MMOs in this model are not due to generic folded singularities, but rather due to singularities at a cusp -- not a fold -- of the critical manifold. Using blowup, we determine the number of SAOs analytically, showing -- as for the folded nodes -- that they are determined by the Weber equation and the ratio of eigenvalues. We also show that the model undergoes a (symmetric) saddle-node bifurcation in the desingularized reduced problem, which -- although resembling a folded saddle-node (type II) at this level -- also occurs on a cusp, and not a fold. We demonstrate that this bifurcation is associated with the emergence of an invariant cylinder, the onset of SAOs, as well as SAOs of increasing amplitude. We relate our findings with numerical computations and find excellent agreement. △ Less

Submitted 17 November, 2022; v1 submitted 24 February, 2022; originally announced February 2022.

MSC Class: 34C15; 34D15; 37E17

Correlation-Driven Electronic Reconstruction in FeTe$_{1-x}$Se$_x$

Authors: Jianwei Huang, Rong Yu, Zhijun Xu, Jian-Xin Zhu, Ji Seop Oh, Qianni Jiang, Meng Wang, Han Wu, Tong Chen, Jonathan D. Denlinger, Sung-Kwan Mo, Makoto Hashimoto, Matteo Michiardi, Tor M. Pedersen, Sergey Gorovikov, Sergey Zhdanovich, Andrea Damascelli, Genda Gu, Pengcheng Dai, Jiun-Haw Chu, Donghui Lu, Qimiao Si, Robert J. Birgeneau, Ming Yi

Abstract: Electronic correlation is of fundamental importance to high temperature superconductivity. While the low energy electronic states in cuprates are dominantly affected by correlation effects across the phase diagram, observation of correlation-driven changes in fermiology amongst the iron-based superconductors remains rare. Here we present experimental evidence for a correlation-driven reconstructio… ▽ More Electronic correlation is of fundamental importance to high temperature superconductivity. While the low energy electronic states in cuprates are dominantly affected by correlation effects across the phase diagram, observation of correlation-driven changes in fermiology amongst the iron-based superconductors remains rare. Here we present experimental evidence for a correlation-driven reconstruction of the Fermi surface tuned independently by two orthogonal axes of temperature and Se/Te ratio in the iron chalcogenide family FeTe$_{1-x}$Se$_x$. We demonstrate that this reconstruction is driven by the de-hybridization of a strongly renormalized $d_{xy}$ orbital with the remaining itinerant iron 3$d$ orbitals in the emergence of an orbital-selective Mott phase. Our observations are further supported by our theoretical calculations to be salient spectroscopic signatures of such a non-thermal evolution from a strongly correlated metallic phase into an orbital-selective Mott phase in $d_{xy}$ as Se concentration is reduced. △ Less

Submitted 7 January, 2022; originally announced January 2022.

Comments: 25 pages, 5 figures, accepted version to appear in Communications Physics. arXiv admin note: text overlap with arXiv:2010.13913

Journal ref: Commun Phys 5, 29 (2022)

COVID-19 vaccination certificates in the Darkweb

Authors: Dimitrios Georgoulias, Jens Myrup Pedersen, Morten Falch, Emmanouil Vasilomanolakis

Abstract: COVID-19 vaccines have been rolled out in many countries and with them a number of vaccination certificates. For instance, the EU is utilizing a digital certificate in the form of a QR-code that is digitally signed and can be easily validated throughout all EU countries. In this paper, we investigate the current state of the COVID-19 vaccination certificate market in the darkweb with a focus on th… ▽ More COVID-19 vaccines have been rolled out in many countries and with them a number of vaccination certificates. For instance, the EU is utilizing a digital certificate in the form of a QR-code that is digitally signed and can be easily validated throughout all EU countries. In this paper, we investigate the current state of the COVID-19 vaccination certificate market in the darkweb with a focus on the EU Digital Green Certificate (DGC). We investigate $17$ marketplaces and $10$ vendor shops, that include vaccination certificates in their listings. Our results suggest that a multitude of sellers in both types of platforms are advertising selling capabilities. According to their claims, it is possible to buy fake vaccination certificates issued in most countries worldwide. We demonstrate some examples of such sellers, including how they advertise their capabilities, and the methods they claim to be using to provide their services. We highlight two particular cases of vendor shops, with one of them showing an elevated degree of professionalism, showcasing forged valid certificates, the validity of which we verify using two different national mobile COVID-19 applications. △ Less

Submitted 25 November, 2021; v1 submitted 24 November, 2021; originally announced November 2021.

Rossby numbers and stiffness values inferred from gravity-mode asteroseismology of rotating F- and B-type dwarfs: consequences for mixing, transport, magnetism, and convective penetration

Authors: C. Aerts, K. Augustson, S. Mathis, M. G. Pedersen, J. S. G. Mombarg, V. Vanlaer, J. Van Beeck, T. Van Reeth

Abstract: Multi-dimensional (magneto-)hydrodynamical simulations of physical processes in stellar interiors depend on a multitude of uncalibrated free parameters, which set the spatial and time scales of their computations. We aim to provide an asteroseismic calibration of the wave and convective Rossby numbers, and of the stiffness at the interface between the convective core and radiative envelope of inte… ▽ More Multi-dimensional (magneto-)hydrodynamical simulations of physical processes in stellar interiors depend on a multitude of uncalibrated free parameters, which set the spatial and time scales of their computations. We aim to provide an asteroseismic calibration of the wave and convective Rossby numbers, and of the stiffness at the interface between the convective core and radiative envelope of intermediate-mass stars. We deduce these quantities for rotating dwarfs from the observed properties of their identified gravity and gravito-inertial modes. We rely on near-core rotation rates and asteroseismic models of 26 B- and 37 F-type dwarf pulsators derived from 4-year Kepler space photometry, high-resolution spectroscopy and Gaia astrometry in the literature to deduce their convective and wave Rossby numbers. We compute the stiffness at the convection/radiation interface from the inferred maximum buoyancy frequency at the interface and the convective turnover frequency in the core. We use those asteroseismically inferred quantities to make predictions of convective penetration levels, local flux levels of gravito-inertial waves triggered by the convective core, and of the cores' potential rotational and magnetic states. Our sample of 63 gravito-inertial mode pulsators covers near-core rotation rates from almost zero up to the critical rate. The frequencies of their identified modes lead to models with stiffness values between $10^{2.69}$ and $10^{3.60}$ for the B-type pulsators, while those of F-type stars cover the range from $10^{3.47}$ to $10^{4.52}$. The convective Rossby numbers derived from the maximum convective diffusion coefficient in the convective core, based on mixing length theory and a value of the mixing length coefficient relevant for these pulsators, vary between $10^{-2.3}$ and $10^{-0.8}$ for B-type stars and $10^{-3}$ and $10^{-1.5}$ for F-type stars. (abridged) △ Less

Submitted 12 December, 2021; v1 submitted 12 October, 2021; originally announced October 2021.

Comments: 10 pages, 8 figures, accepted for publication in Astronomy & Astrophysics, version adapted to proofs

Journal ref: A&A 656, A121 (2021)

The Three-Dimensional Electronic Structure of LiFeAs: Strong-coupling Superconductivity and Topology in the Iron Pnictides

Authors: Ryan P. Day, MengXing Na, Manuel Zingl, Berend Zwartsenberg, Matteo Michiardi, Giorgio Levy, Michael Schneider, Doug Wong, Pinder Dosanjh, Tor M. Pedersen, Sergey Gorovikov, Shun Chi, Ruixing Liang, Walter N. Hardy, Douglas A. Bonn, Sergey Zhdanovich, Ilya S. Elfimov, Andrea Damascelli

Abstract: Amongst the iron-based superconductors, LiFeAs is unrivalled in the simplicity of its crystal structure and phase diagram. However, our understanding of this canonical compound suffers from conflict between mutually incompatible descriptions of the material's electronic structure, as derived from contradictory interpretations of the photoemission record. Here, we explore the challenge of interpret… ▽ More Amongst the iron-based superconductors, LiFeAs is unrivalled in the simplicity of its crystal structure and phase diagram. However, our understanding of this canonical compound suffers from conflict between mutually incompatible descriptions of the material's electronic structure, as derived from contradictory interpretations of the photoemission record. Here, we explore the challenge of interpretation in such experiments. By combining comprehensive photon energy- and polarization- dependent angle-resolved photoemission spectroscopy (ARPES) measurements with numerical simulations, we establish the providence of several contradictions in the present understanding of this and related materials. We identify a confluence of surface-related issues which have precluded unambiguous identification of both the number and dimensionality of the Fermi surface sheets. Ultimately, we arrive at a scenario which supports indications of topologically non-trivial states, while also being incompatible with superconductivity as a spin-fluctuation driven Fermi surface instability. △ Less

Submitted 27 September, 2021; originally announced September 2021.

Comments: 8 pages, 4 figures

Report number: Phys. Rev. B 105, 155142

Gotta catch 'em all: a Multistage Framework for honeypot fingerprinting

Authors: Shreyas Srinivasa, Jens Myrup Pedersen, Emmanouil Vasilomanolakis

Abstract: Honeypots are decoy systems that lure attackers by presenting them with a seemingly vulnerable system. They provide an early detection mechanism as well as a method for learning how adversaries work and think. However, over the last years, a number of researchers have shown methods for fingerprinting honeypots. This significantly decreases the value of a honeypot; if an attacker is able to recogni… ▽ More Honeypots are decoy systems that lure attackers by presenting them with a seemingly vulnerable system. They provide an early detection mechanism as well as a method for learning how adversaries work and think. However, over the last years, a number of researchers have shown methods for fingerprinting honeypots. This significantly decreases the value of a honeypot; if an attacker is able to recognize the existence of such a system, they can evade it. In this article, we revisit the honeypot identification field, by providing a holistic framework that includes state of the art and novel fingerprinting components. We decrease the probability of false positives by proposing a rigid multi-step approach for labeling a system as a honeypot. We perform extensive scans covering 2.9 billion addresses of the IPv4 space and identify a total of 21,855 honeypot instances. Moreover, we present a number of interesting side-findings such as the identification of more than 354,431 non-honeypot systems that represent potentially vulnerable servers (e.g. SSH servers with default password configurations and vulnerable versions). Lastly, we discuss countermeasures against honeypot fingerprinting techniques. △ Less

Submitted 22 September, 2021; originally announced September 2021.

Detection of nonlinear resonances among gravity modes of slowly pulsating B stars: results from five iterative prewhitening strategies

Authors: Jordan Van Beeck, Dominic M. Bowman, May G. Pedersen, Timothy Van Reeth, Tim Van Hoolst, Conny Aerts

Abstract: Context. Slowly pulsating B (SPB) stars are main-sequence multi-periodic oscillators that display non-radial gravity modes. For a fraction of these pulsators, 4-year photometric light curves obtained with the Kepler space telescope reveal period spacing patterns from which their internal rotation and mixing can be inferred. In this inference, any direct resonant mode coupling has usually been igno… ▽ More Context. Slowly pulsating B (SPB) stars are main-sequence multi-periodic oscillators that display non-radial gravity modes. For a fraction of these pulsators, 4-year photometric light curves obtained with the Kepler space telescope reveal period spacing patterns from which their internal rotation and mixing can be inferred. In this inference, any direct resonant mode coupling has usually been ignored so far. Aims. We re-analysed the light curves of a sample of 38 known Kepler SPB stars. For 26 of those, the internal structure, including rotation and mixing, was recently inferred from their dipole prograde oscillation modes. Our aim is to detect direct nonlinear resonant mode coupling among the largest-amplitude gravity modes. Methods. We extract up to 200 periodic signals per star with five different iterative prewhitening strategies based on linear and nonlinear regression applied to the light curves. We then identify candidate coupled gravity modes by verifying whether they fulfil resonant phase relations. Results. For 32 of 38 SPB stars we find at least 1 candidate resonance that is detected in both the linear and the best nonlinear regression model fit to the light curve and involves at least one of the two largest-amplitude modes. Conclusions. The majority of the Kepler SPB stars reveal direct nonlinear resonances based on the largest-amplitude modes. These stars are thus prime targets for nonlinear asteroseismic modelling of intermediate-mass dwarfs to assess the importance of mode couplings in probing their internal physics. △ Less

Submitted 5 August, 2021; originally announced August 2021.

Comments: 16 pages, 10 figures, 4 tables, Accepted for publication in A&A

Journal ref: A&A 655, A59 (2021)

Learning More for Free - A Multi Task Learning Approach for Improved Pathology Classification in Capsule Endoscopy

Authors: Anuja Vats, Marius Pedersen, Ahmed Mohammed, Øistein Hovde

Abstract: The progress in Computer Aided Diagnosis (CADx) of Wireless Capsule Endoscopy (WCE) is thwarted by the lack of data. The inadequacy in richly representative healthy and abnormal conditions results in isolated analyses of pathologies, that can not handle realistic multi-pathology scenarios. In this work, we explore how to learn more for free, from limited data through solving a WCE multicentric, mu… ▽ More The progress in Computer Aided Diagnosis (CADx) of Wireless Capsule Endoscopy (WCE) is thwarted by the lack of data. The inadequacy in richly representative healthy and abnormal conditions results in isolated analyses of pathologies, that can not handle realistic multi-pathology scenarios. In this work, we explore how to learn more for free, from limited data through solving a WCE multicentric, multi-pathology classification problem. Learning more implies to learning more than full supervision would allow with the same data. This is done by combining self supervision with full supervision, under multi task learning. Additionally, we draw inspiration from the Human Visual System (HVS) in designing self supervision tasks and investigate if seemingly ineffectual signals within the data itself can be exploited to gain performance, if so, which signals would be better than others. Further, we present our analysis of the high level features as a stepping stone towards more robust multi-pathology CADx in WCE. △ Less

Submitted 30 June, 2021; originally announced June 2021.

Comments: MICCAI 2021 (Provisional accept)

Internal mixing of rotating stars inferred from dipole gravity modes

Authors: May G. Pedersen, Conny Aerts, Péter I. Pápics, Mathias Michielsen, Sarah Gebruers, Tamara M. Rogers, Geerts Molenberghs, Siemen Burssens, Stefano Garcia, Dominic M. Bowman

Abstract: During most of their life, stars fuse hydrogen into helium in their cores. The mixing of chemical elements in the radiative envelope of stars with a convective core is able to replenish the core with extra fuel. If effective, such deep mixing allows stars to live longer and change their evolutionary path. Yet localized observations to constrain internal mixing are absent so far. Gravity modes prob… ▽ More During most of their life, stars fuse hydrogen into helium in their cores. The mixing of chemical elements in the radiative envelope of stars with a convective core is able to replenish the core with extra fuel. If effective, such deep mixing allows stars to live longer and change their evolutionary path. Yet localized observations to constrain internal mixing are absent so far. Gravity modes probe the deep stellar interior near the convective core and allow us to calibrate internal mixing processes. Here we provide core-to-surface mixing profiles inferred from observed dipole gravity modes in 26 rotating stars with masses between 3 and 10 solar masses. We find a wide range of internal mixing levels across the sample. Stellar models with stratified mixing profiles in the envelope reveal the best asteroseismic performance. Our results provide observational guidance for three-dimensional hydrodynamical simulations of transport processes in the deep interiors of stars. △ Less

Submitted 11 May, 2021; v1 submitted 10 May, 2021; originally announced May 2021.

Comments: Publication date: 10 May 2021 at 16:00h (GMT)

Axiomatizations and Computability of Weighted Monadic Second-Order Logic

Authors: Antonis Achilleos, Mathias Ruggaard Pedersen

Abstract: Weighted monadic second-order logic is a weighted extension of monadic second-order logic that captures exactly the behaviour of weighted automata. Its semantics is parameterized with respect to a semiring on which the values that weighted formulas output are evaluated. Gastin and Monmege (2018) gave abstract semantics for a version of weighted monadic second-order logic to give a more general and… ▽ More Weighted monadic second-order logic is a weighted extension of monadic second-order logic that captures exactly the behaviour of weighted automata. Its semantics is parameterized with respect to a semiring on which the values that weighted formulas output are evaluated. Gastin and Monmege (2018) gave abstract semantics for a version of weighted monadic second-order logic to give a more general and modular proof of the equivalence of the logic with weighted automata. We focus on the abstract semantics of the logic and we give a complete axiomatization both for the full logic and for a fragment without general sum, thus giving a more fine-grained understanding of the logic. We discuss how common decision problems for logical languages can be adapted to the weighted setting, and show that many of these are decidable, though they inherit bad complexity from the underlying first- and second-order logics. However, we show that a weighted adaptation of satisfiability is undecidable for the logic when one uses the abstract interpretation. △ Less

Submitted 29 April, 2021; originally announced April 2021.

Comments: Full version of paper to be published in the proceedings of LICS 2021

Ariel: Enabling planetary science across light-years

Authors: Giovanna Tinetti, Paul Eccleston, Carole Haswell, Pierre-Olivier Lagage, Jérémy Leconte, Theresa Lüftinger, Giusi Micela, Michel Min, Göran Pilbratt, Ludovic Puig, Mark Swain, Leonardo Testi, Diego Turrini, Bart Vandenbussche, Maria Rosa Zapatero Osorio, Anna Aret, Jean-Philippe Beaulieu, Lars Buchhave, Martin Ferus, Matt Griffin, Manuel Guedel, Paul Hartogh, Pedro Machado, Giuseppe Malaguti, Enric Pallé , et al. (293 additional authors not shown)

Abstract: Ariel, the Atmospheric Remote-sensing Infrared Exoplanet Large-survey, was adopted as the fourth medium-class mission in ESA's Cosmic Vision programme to be launched in 2029. During its 4-year mission, Ariel will study what exoplanets are made of, how they formed and how they evolve, by surveying a diverse sample of about 1000 extrasolar planets, simultaneously in visible and infrared wavelengths.… ▽ More Ariel, the Atmospheric Remote-sensing Infrared Exoplanet Large-survey, was adopted as the fourth medium-class mission in ESA's Cosmic Vision programme to be launched in 2029. During its 4-year mission, Ariel will study what exoplanets are made of, how they formed and how they evolve, by surveying a diverse sample of about 1000 extrasolar planets, simultaneously in visible and infrared wavelengths. It is the first mission dedicated to measuring the chemical composition and thermal structures of hundreds of transiting exoplanets, enabling planetary science far beyond the boundaries of the Solar System. The payload consists of an off-axis Cassegrain telescope (primary mirror 1100 mm x 730 mm ellipse) and two separate instruments (FGS and AIRS) covering simultaneously 0.5-7.8 micron spectral range. The satellite is best placed into an L2 orbit to maximise the thermal stability and the field of regard. The payload module is passively cooled via a series of V-Groove radiators; the detectors for the AIRS are the only items that require active cooling via an active Ne JT cooler. The Ariel payload is developed by a consortium of more than 50 institutes from 16 ESA countries, which include the UK, France, Italy, Belgium, Poland, Spain, Austria, Denmark, Ireland, Portugal, Czech Republic, Hungary, the Netherlands, Sweden, Norway, Estonia, and a NASA contribution. △ Less

Submitted 10 April, 2021; originally announced April 2021.

Comments: Ariel Definition Study Report, 147 pages. Reviewed by ESA Science Advisory Structure in November 2020. Original document available at: https://www.cosmos.esa.int/documents/1783156/3267291/Ariel_RedBook_Nov2020.pdf/

Report number: ESA/SCI(2020)1

A homogeneous spectroscopic analysis of a Kepler legacy sample of dwarfs for gravity-mode asteroseismology

Authors: Sarah Gebruers, Ilya Straumit, Andrew Tkachenko, Joey S. G. Mombarg, May G. Pedersen, Timothy Van Reeth, Gang Li, Patricia Lampens, Ana Escorza, Dominic M. Bowman, Peter De Cat, Lore Vermeylen, Julia Bodensteiner, Hans-Walter Rix, Conny Aerts

Abstract: Asteroseismic modelling of the internal structure of main-sequence stars born with a convective core has so far been based on homogeneous analyses of space photometric Kepler light curves of 4 years duration, to which most often incomplete inhomogeneously deduced spectroscopic information was added to break degeneracies. We composed a sample of 111 dwarf gravity-mode pulsators observed by the Kepl… ▽ More Asteroseismic modelling of the internal structure of main-sequence stars born with a convective core has so far been based on homogeneous analyses of space photometric Kepler light curves of 4 years duration, to which most often incomplete inhomogeneously deduced spectroscopic information was added to break degeneracies. We composed a sample of 111 dwarf gravity-mode pulsators observed by the Kepler space telescope whose light curves allowed for determination of their near-core rotation rates. For this sample we assembled HERMES high-resolution optical spectroscopy at the 1.2-m Mercator telescope. Our spectroscopic information offers additional observational input to also model the envelope layers of these non-radially pulsating dwarfs. We determined stellar parameters and surface abundances in a homogeneous way from atmospheric analysis with spectrum normalisation based on a new machine learning tool. Our results suggest a systematic overestimation of [M/H] in the literature for the studied F-type dwarfs, presumably due to normalisation limitations caused by the dense line spectrum of these rotating stars. CNO-surface abundances were found to be uncorrelated with the rotation properties of the F-type stars. For the B-type stars, we find a hint of deep mixing from C and O abundance ratios; N abundances have too large uncertainties to reveal a correlation with the rotation of the stars. Our spectroscopic stellar parameters and abundance determinations allow for future joint spectroscopic, astrometric (Gaia), and asteroseismic modelling of this legacy sample of gravity-mode pulsators, with the aim to improve our understanding of transport processes in the core-hydrogen burning phase of stellar evolution. △ Less

Submitted 9 April, 2021; originally announced April 2021.

Comments: Accepted for publication in Astronomy and Astrophysics

Journal ref: A&A 650, A151 (2021)

Advanced Image Enhancement Method for Distant Vessels and Structures in Capsule Endoscopy

Authors: Olivier Rukundo, Marius Pedersen, Øistein Hovde

Abstract: This paper proposes an advanced method for contrast enhancement of capsule endoscopic images, with the main objective to obtain sufficient information about the vessels and structures in more distant (or darker) parts of capsule endoscopic images. The proposed method (PM) combines two algorithms for the enhancement of darker and brighter areas of capsule endoscopic images, respectively. The half-u… ▽ More This paper proposes an advanced method for contrast enhancement of capsule endoscopic images, with the main objective to obtain sufficient information about the vessels and structures in more distant (or darker) parts of capsule endoscopic images. The proposed method (PM) combines two algorithms for the enhancement of darker and brighter areas of capsule endoscopic images, respectively. The half-unit weighted bilinear algorithm (HWB) proposed in our previous work is used to enhance darker areas according to the darker map content of its HSV's component V. Enhancement of brighter areas is achieved thanks to the novel thresholded weighted-bilinear algorithm (TWB) developed to avoid overexposure and enlargement of specular highlight spots while preserving the hue, in such areas. The TWB performs enhancement operations following a gradual increment of the brightness of the brighter map content of its HSV's component V. In other words, the TWB decreases its averaged-weights as the intensity content of the component V increases. Extensive experimental demonstrations were conducted, and based on evaluation of the reference and PM enhanced images, a gastroenterologist (ØH) concluded that the PM enhanced images were the best ones based on the information about the vessels, contrast in the images, and the view or visibility of the structures in more distant parts of the capsule endoscopy images. △ Less

Submitted 8 April, 2021; originally announced April 2021.

Comments: 8 pages, 12 figures, 4 tables

Journal ref: Computational and Mathematical Methods in Medicine (CMMM), Volume 2017, Article ID 9813165

On the Axiomatisability of Parallel Composition

Authors: Luca Aceto, Valentina Castiglioni, Anna Ingolfsdottir, Bas Luttik, Mathias R. Pedersen

Abstract: This paper studies the existence of finite equational axiomatisations of the interleaving parallel composition operator modulo the behavioural equivalences in van Glabbeek's linear time-branching time spectrum. In the setting of the process algebra BCCSP over a finite set of actions, we provide finite, ground-complete axiomatisations for various simulation and (decorated) trace semantics. We also… ▽ More This paper studies the existence of finite equational axiomatisations of the interleaving parallel composition operator modulo the behavioural equivalences in van Glabbeek's linear time-branching time spectrum. In the setting of the process algebra BCCSP over a finite set of actions, we provide finite, ground-complete axiomatisations for various simulation and (decorated) trace semantics. We also show that no congruence over BCCSP that includes bisimilarity and is included in possible futures equivalence has a finite, ground-complete axiomatisation; this negative result applies to all the nested trace and nested simulation semantics. △ Less

Submitted 17 January, 2022; v1 submitted 22 February, 2021; originally announced February 2021.

Journal ref: Logical Methods in Computer Science, Volume 18, Issue 1 (January 19, 2022) lmcs:7217

The X/Gamma-ray Imaging Spectrometer (XGIS) on-board THESEUS: design, main characteristics, and concept of operation

Authors: Claudio Labanti, Lorenzo Amati, Filippo Frontera, Sandro Mereghetti, José Luis Gasent-Blesa, Christoph Tenzer, Piotr Orleanski, Irfan Kuvvetli, Riccardo Campana, Fabio Fuschino, Luca Terenzi, Enrico Virgilli, Gianluca Morgante, Mauro Orlandini, Reginald C. Butler, John B. Stephen, Natalia Auricchio, Adriano De Rosa, Vanni Da Ronco, Federico Evangelisti, Michele Melchiorri, Stefano Squerzanti, Mauro Fiorini, Giuseppe Bertuccio, Filippo Mele , et al. (36 additional authors not shown)

Abstract: THESEUS is one of the three missions selected by ESA as fifth medium class mission (M5) candidates in its Cosmic Vision science program, currently under assessment in a phase A study with a planned launch date in 2032. THESEUS is designed to carry on-board two wide and deep sky monitoring instruments for X/gamma-ray transients detection: a wide-field soft X-ray monitor with imaging capability (Sof… ▽ More THESEUS is one of the three missions selected by ESA as fifth medium class mission (M5) candidates in its Cosmic Vision science program, currently under assessment in a phase A study with a planned launch date in 2032. THESEUS is designed to carry on-board two wide and deep sky monitoring instruments for X/gamma-ray transients detection: a wide-field soft X-ray monitor with imaging capability (Soft X-ray Imager, SXI, 0.3 - 5 keV), a hard X-ray, partially-imaging spectroscopic instrument (X and Gamma Imaging Spectrometer, XGIS, 2 keV - 10 MeV), and an optical/near-IR telescope with both imaging and spectroscopic capability (InfraRed Telescope, IRT, 0.7 - 1.8 $μ$m). The spacecraft will be capable of performing fast repointing of the IRT to the error region provided by the monitors, thus allowing it to detect and localize the transient sources down to a few arcsec accuracy, for immediate identification and redshift determination. The prime goal of the XGIS will be to detect transient sources, with monitoring timescales down to milliseconds, both independently of, or following, up SXI detections, and identify the sources performing localisation at < 15 arcmin and characterize them over a broad energy band, thus providing also unique clues to their emission physics. The XGIS system consists of two independent but identical coded mask cameras, arranged to cover 2 steradians . The XGIS will exploit an innovative technology coupling Silicon Drift Detectors (SDD) with crystal scintillator bars and a very low-noise distributed front-end electronics (ORION ASICs), which will produce a position sensitive detection plane, with a large effective area over a huge energy band (from soft X-rays to soft gamma-rays) with timing resolution down to a few $μ$s.Here is presented an overview of the XGIS instrument design, its configuration, and capabilities. △ Less

Submitted 17 February, 2021; originally announced February 2021.

Comments: Proceedings of the SPIE 2020, paper 11444-303

The XGIS instrument on-board THESEUS: the detection plane and on-board electronics

Authors: Fabio Fuschino, Riccardo Campana, Claudio Labanti, Lorenzo Amati, Enrico Virgilli, Luca Terenzi, Pierluigi Bellutti, Giuseppe Bertuccio, Giacomo Borghi, Francesco Ficorella, Massimo Gandola, Marco Grassi, Giovanni La Rosa, Paolo Lorenzi, Piero Malcovati, Filippo Mele, Piotr Orleański, Antonino Picciotto, Alexandre Rachevski, Irina Rashevskaya, Andrea Santangelo, Paolo Sarra, Giuseppe Sottile, Christoph Tenzer, Andrea Vacchi , et al. (10 additional authors not shown)

Abstract: The X and Gamma Imaging Spectrometer instrument on-board the THESEUS mission (selected by ESA in the framework of the Cosmic Vision M5 launch opportunity, currently in phase A) is based on a detection plane composed of several thousands of single active elements. Each element comprises a 4.5x4.5x30 mm 3 CsI(Tl) scintillator bar, optically coupled at both ends to Silicon Drift Detectors (SDDs). The… ▽ More The X and Gamma Imaging Spectrometer instrument on-board the THESEUS mission (selected by ESA in the framework of the Cosmic Vision M5 launch opportunity, currently in phase A) is based on a detection plane composed of several thousands of single active elements. Each element comprises a 4.5x4.5x30 mm 3 CsI(Tl) scintillator bar, optically coupled at both ends to Silicon Drift Detectors (SDDs). The SDDs acts both as photodetectors for the scintillation light and as direct X-ray sensors. In this paper the design of the XGIS detection plane is reviewed, outlining the strategic choices in terms of modularity and redundancy of the system. Results on detector-electronics prototypes are also described. Moreover, the design and development of the low-noise front-end electronics is presented, emphasizing the innovative architectural design based on custom-designed Application-Specific Integrated Circuits (ASICs). △ Less

Submitted 17 February, 2021; originally announced February 2021.

Comments: Proceedings of the SPIE 2020, paper 11444-277

Gapped Indexing for Consecutive Occurrences

Authors: Philip Bille, Inge Li Gørtz, Max Rishøj Pedersen, Teresa Anna Steiner

Abstract: The classic string indexing problem is to preprocess a string S into a compact data structure that supports efficient pattern matching queries. Typical queries include existential queries (decide if the pattern occurs in S), reporting queries (return all positions where the pattern occurs), and counting queries (return the number of occurrences of the pattern). In this paper we consider a variant… ▽ More The classic string indexing problem is to preprocess a string S into a compact data structure that supports efficient pattern matching queries. Typical queries include existential queries (decide if the pattern occurs in S), reporting queries (return all positions where the pattern occurs), and counting queries (return the number of occurrences of the pattern). In this paper we consider a variant of string indexing, where the goal is to compactly represent the string such that given two patterns P1 and P2 and a gap range [α,β] we can quickly find the consecutive occurrences of P1 and P2 with distance in [α,β], i.e., pairs of occurrences immediately following each other and with distance within the range. We present data structures that use Õ(n) space and query time Õ(|P1|+|P2|+n^(2/3)) for existence and counting and Õ(|P1|+|P2|+n^(2/3)*occ^(1/3)) for reporting. We complement this with a conditional lower bound based on the set intersection problem showing that any solution using Õ(n) space must use \tildeΩ}(|P1|+|P2|+\sqrt{n}) query time. To obtain our results we develop new techniques and ideas of independent interest including a new suffix tree decomposition and hardness of a variant of the set intersection problem. △ Less

Submitted 4 February, 2021; originally announced February 2021.

Comments: 17 pages, 3 figures

Effects of impulsive harvesting and an evolving domain in a diffusive logistic model

Authors: Yue Meng, Zhigui Lin, Michael Pedersen

Abstract: In order to understand how the combination of domain evolution and impulsive harvesting affect the dynamics of a population, we propose a diffusive logistic population model with impulsive harvesting on a periodically evolving domain. Initially the ecological reproduction index of the impulsive problem is introduced and given by an explicit formula, which depends on the domain evolution rate and t… ▽ More In order to understand how the combination of domain evolution and impulsive harvesting affect the dynamics of a population, we propose a diffusive logistic population model with impulsive harvesting on a periodically evolving domain. Initially the ecological reproduction index of the impulsive problem is introduced and given by an explicit formula, which depends on the domain evolution rate and the impulsive function. Then the threshold dynamics of the population under monotone or nonmonotone impulsive harvesting is established based on this index. Finally numerical simulations are carried out to illustrate our theoretical results, and reveal that a large domain evolution rate can improve the population survival, no matter which impulsive harvesting takes place. Contrary, impulsive harvesting has a negative effect on the population survival, and can even lead to the extinction of the population. △ Less

Submitted 22 December, 2020; originally announced December 2020.

Comments: 26 pages, 8 figures