34,361 results on '"P. Mathias"'
Search Results
2. Comparison between tensor methods and neural networks in electronic structure calculations
- Author
-
Dus, Mathias, Dusson, Geneviève, Ehrlacher, Virginie, Guillot, Clément, and Wambo, Joel Pascal Soffo
- Subjects
Mathematics - Optimization and Control ,Physics - Computational Physics - Abstract
This article compares the tensor method density matrix renormalization group (DMRG) with two neural network based methods -namely FermiNet and PauliNet) for determining the ground state wavefunction of the many-body electronic Schr{\"o}dinger problem. We provide numerical simulations illustrating the main features of the methods and showing convergence with respect to some parameter, such as the rank for DMRG, and number of pretraining iterations for neural networks. We then compare the obtained energy with the methods for a few atoms and molecules, for some of which the exact value of the energy is known for the sake of comparison. In the last part of the article, we propose a new kind of neural network to solve the Schr{\"o}dinger problem based on the training of the wavefunction on a simplex, and an explicit permutation for evaluating the wavefunction on the whole space. We provide numerical results on a toy problem for the sake of illustration.
- Published
- 2024
3. Electrode and electroactive polymer layout design using topology optimization
- Author
-
Hård, Daniel, Wallin, Mathias, and Ristinmaa, Matti
- Subjects
Computer Science - Computational Engineering, Finance, and Science - Abstract
When electrically stimulated, electroactive polymers (EAPs) respond with mechanical deformation. The goal of this work is to design electrode and EAP layouts simultaneously in structures by using density-based, multi-material topology optimization. In this novel approach the layout of electrodes and EAP material are not given a priori but is a result from the topology optimization. Material interpolation based on exponential functions is introduced, allowing a large flexibility to control the material interpolation. The electric field in the surrounding free space is modeled using a truncated extended domain method. Numerical examples that demonstrates the method's ability to design arbitrary EAP and electrode layouts are presented. In these optimized structures, electrode material is continuously connected from the electrical sources to opposite sides of the EAP material and thereby concentrating the electric field to the EAP material which drives the deformation., Comment: 23 pages, 6 figures (12 counting sub-figures)
- Published
- 2024
4. A time-discontinuous elasto-plasticity formalism to simulate instantaneous plastic flow bursts
- Author
-
Lamari, Mathias, Kerfriden, Pierre, Salman, Oguz Umut, Yastrebov, Vladislav, Ammar, Kais, and Forest, Samuel
- Subjects
Physics - Computational Physics - Abstract
Plastic flow is conventionally treated as continuous in finite element (FE) codes, whether in isotropic, anisotropic plasticity, or crystal plasticity. This approach, derived from continuum mechanics, contradicts the intermittent nature of plasticity at the elementary scale. Understanding crystal plasticity at micro-scale opens the door to new engineering applications, such as microscale machining. In this work, a new approach is proposed to account for the intermittence of plastic deformation while remaining within the framework of continuum mechanics. We introduce a material parameter, the plastic deformation threshold, denoted as $\Delta p_{min}$, corresponding to the plastic deformation carried by the minimal plastic deformation burst within the material. The incremental model is based on the traditional predictor-corrector algorithm to calculate the elastoplastic behavior of a material subjected to any external loading. The model is presented within the framework of small deformations for von Mises plasticity. To highlight the main features of the approach, the plastic strain increment is calculated using normality rule and consistency conditions, and is accepted only if it exceeds $\Delta p_{min}$. To achieve this, a time-discontinuous generalization of the Karush-Kuhn-Tucker (KKT) conditions is proposed. The simulations show that the introduction of the plastic threshold allows for the reproduction of the spatiotemporal intermittence of plastic flow, capturing the self-organization of plastic flow in complex loading scenarios within an FE model.
- Published
- 2024
5. BOTracle: A framework for Discriminating Bots and Humans
- Author
-
Kadel, Jan, See, August, Sinha, Ritwik, and Fischer, Mathias
- Subjects
Computer Science - Machine Learning ,I.2 ,I.5 ,D.2 - Abstract
Bots constitute a significant portion of Internet traffic and are a source of various issues across multiple domains. Modern bots often become indistinguishable from real users, as they employ similar methods to browse the web, including using real browsers. We address the challenge of bot detection in high-traffic scenarios by analyzing three distinct detection methods. The first method operates on heuristics, allowing for rapid detection. The second method utilizes, well known, technical features, such as IP address, window size, and user agent. It serves primarily for comparison with the third method. In the third method, we rely solely on browsing behavior, omitting all static features and focusing exclusively on how clients behave on a website. In contrast to related work, we evaluate our approaches using real-world e-commerce traffic data, comprising 40 million monthly page visits. We further compare our methods against another bot detection approach, Botcha, on the same dataset. Our performance metrics, including precision, recall, and AUC, reach 98 percent or higher, surpassing Botcha., Comment: Bot Detection; User Behaviour Analysis; Published at ESORICS International Workshops 2024
- Published
- 2024
6. Bluetooth Low Energy Dataset Using In-Phase and Quadrature Samples for Indoor Localization
- Author
-
Leitch, Samuel G., Ahmed, Qasim Zeeshan, Van Herbruggen, Ben, Baert, Mathias, Fontaine, Jaron, De Poorter, Eli, Shahid, Adnan, and Lazaridis, Pavlos I.
- Subjects
Computer Science - Machine Learning ,Electrical Engineering and Systems Science - Signal Processing - Abstract
One significant challenge in research is to collect a large amount of data and learn the underlying relationship between the input and the output variables. This paper outlines the process of collecting and validating a dataset designed to determine the angle of arrival (AoA) using Bluetooth low energy (BLE) technology. The data, collected in a laboratory setting, is intended to approximate real-world industrial scenarios. This paper discusses the data collection process, the structure of the dataset, and the methodology adopted for automating sample labeling for supervised learning. The collected samples and the process of generating ground truth (GT) labels were validated using the Texas Instruments (TI) phase difference of arrival (PDoA) implementation on the data, yielding a mean absolute error (MAE) at one of the heights without obstacles of $25.71^\circ$. The distance estimation on BLE was implemented using a Gaussian Process Regression algorithm, yielding an MAE of $0.174$m.
- Published
- 2024
7. 6DOPE-GS: Online 6D Object Pose Estimation using Gaussian Splatting
- Author
-
Jin, Yufeng, Prasad, Vignesh, Jauhri, Snehal, Franzius, Mathias, and Chalvatzaki, Georgia
- Subjects
Computer Science - Computer Vision and Pattern Recognition ,Computer Science - Robotics - Abstract
Efficient and accurate object pose estimation is an essential component for modern vision systems in many applications such as Augmented Reality, autonomous driving, and robotics. While research in model-based 6D object pose estimation has delivered promising results, model-free methods are hindered by the high computational load in rendering and inferring consistent poses of arbitrary objects in a live RGB-D video stream. To address this issue, we present 6DOPE-GS, a novel method for online 6D object pose estimation \& tracking with a single RGB-D camera by effectively leveraging advances in Gaussian Splatting. Thanks to the fast differentiable rendering capabilities of Gaussian Splatting, 6DOPE-GS can simultaneously optimize for 6D object poses and 3D object reconstruction. To achieve the necessary efficiency and accuracy for live tracking, our method uses incremental 2D Gaussian Splatting with an intelligent dynamic keyframe selection procedure to achieve high spatial object coverage and prevent erroneous pose updates. We also propose an opacity statistic-based pruning mechanism for adaptive Gaussian density control, to ensure training stability and efficiency. We evaluate our method on the HO3D and YCBInEOAT datasets and show that 6DOPE-GS matches the performance of state-of-the-art baselines for model-free simultaneous 6D pose tracking and reconstruction while providing a 5$\times$ speedup. We also demonstrate the method's suitability for live, dynamic object tracking and reconstruction in a real-world setting.
- Published
- 2024
8. Monitoring of food spoilage by high resolution THz analysis
- Author
-
Hindle, Francis, Kuuliala, Lotta, Mouelhi, Meriem, Cuisset, Arnaud, Bray, Cédric, Vanwolleghem, Mathias, Devlieghere, Frank, Mouret, Gael, and Bocquet, Robin
- Subjects
Physics - Instrumentation and Detectors - Abstract
High resolution rotational Terahertz (THz) spectroscopy has been widely applied to the studies of numerous polar gas phase molecules, in particular volatile organic compounds (VOCs). During the storage of foodstuffs packed under a protective atmosphere, microbial activity will lead to the generation of a complex mixture of trace gases that could be used as food spoilage indicators. Here we have demonstrated that the THz instrumentation presently available provides sufficient sensitivity and selectivity to monitor the generation of hydrogen sulfide (H2S) in the headspace of packed Atlantic salmon (Salmo salar) fillet portions. A comprehensive comparison was made by selective-ion flow-tube mass spectrometry (SIFT-MS) in order to validate the THz measurements and protocol. The detectivity of a range of alternative compounds for this application is also provided, based on the experimental detection limit observed and molecular spectroscopic properties. Molecules like ethanol, methyl mercaptan and ammonia are suitable indicators with the presently available sensitivity levels, while dimethyl sulfide, acetone and butanone may be considered with a sensitivity improvement of 2 orders of magnitude.
- Published
- 2024
- Full Text
- View/download PDF
9. Interacting Dark Sector (ETHOS $n=0$): Cosmological Constraints from SPT Cluster Abundance with DES and HST Weak Lensing Data
- Author
-
Mazoun, Asmaa, Bocquet, Sebastian, Mohr, Joseph J., Garny, Mathias, Rubira, Henrique, Klein, Matthias, Bleem, Lindsey, Grandis, Sebastian, and Schrabback, Tim
- Subjects
Astrophysics - Cosmology and Nongalactic Astrophysics - Abstract
We use galaxy cluster abundance measurements from the South Pole Telescope (SPT) enhanced by Multi-Component Matched Filter (MCMF) confirmation and complemented with mass information obtained using weak-lensing data from Dark Energy Survey Year~3 (DES Y3) and targeted Hubble Space Telescope (HST) observations for probing deviations from the cold dark matter paradigm. Concretely, we consider a class of dark sector models featuring interactions between dark matter (DM) and a dark radiation (DR) component within the framework of the Effective Theory of Structure Formation (ETHOS). We focus on scenarios that lead to power suppression over a wide range of scales, and thus can be tested with data sensitive to large scales, as realized for example for DM$-$DR interactions following from an unbroken non-Abelian $SU(N)$ gauge theory (interaction rate with power-law index $n=0$ within the ETHOS parameterization). Cluster abundance measurements are mostly sensitive to the amount of DR interacting with DM, parameterized by the ratio of DR temperature to the cosmic microwave background (CMB) temperature, $\xi_{\rm DR}=T_{\rm DR}/T_{\rm CMB}$. We find an upper limit $\xi_{\rm DR}<17\%$ at $95\%$ credibility. When the cluster data are combined with Planck 2018 CMB data along with baryon acoustic oscillation (BAO) measurements we find $\xi_{\rm DR}<10\%$, corresponding to a limit on the abundance of interacting DR that is around three times tighter than that from CMB+BAO data alone. We also discuss the complementarity of weak lensing informed cluster abundance studies with probes sensitive to smaller scales, explore the impact on our analysis of massive neutrinos, and comment on a slight preference for the presence of a non-zero interacting DR abundance, which enables a physical solution to the $S_8$ tension., Comment: 18 pages, 7 figures
- Published
- 2024
10. Observation of a non-reciprocal skyrmion Hall effect of hybrid chiral skyrmion tubes in synthetic antiferromagnetic multilayers
- Author
-
Dohi, Takaaki, Bhukta, Mona, Kammerbauer, Fabian, Bharadwaj, Venkata Krishna, Zarzuela, Ricardo, Sud, Aakanksha, Syskaki, Maria-Andromachi, Tran, Duc Minh, Wintz, Sebastian, Weigand, Markus, Finizio, Simone, Raabe, Jörg, Frömter, Robert, Sinova, Jairo, and Kläui, Mathias
- Subjects
Condensed Matter - Mesoscale and Nanoscale Physics ,Condensed Matter - Materials Science - Abstract
Topological spin textures in magnetic materials beyond two-dimensional skyrmions have attracted attention for electronics beyond CMOS technologies. In particular, three-dimensional (3D) topological spin textures are promising due to the expected complex non-linear dynamics as well as high static and dynamic thermal stability. In multilayer heterostructures, a hybrid chiral skyrmion tube is a well-known example of a 3D topological spin texture, exhibiting an intriguing chirality transition along the thickness direction. This transition progresses from left-handed to right-handed N\'eel-type chirality, passing through a Bloch-type intermediate state. Such an exotic spin configuration potentially exhibits distinctly different dynamics from that of the common skyrmion tube that exhibits a homogeneous chirality; yet these dynamics have not been ascertained so far. Here we reveal the distinct features of current-induced dynamics that result from the hybrid chiral skyrmion tube structure in synthetic antiferromagnetic (SyAFM) multilayers. Strikingly, the SyAFM hybrid chiral skyrmion tubes exhibit a non-reciprocal skyrmion Hall effect in the flow regime. The non-reciprocity can even be tuned by the degree of magnetic compensation in the SyAFM systems. Our theoretical modeling qualitatively corroborates that the non-reciprocity stems from the dynamic oscillation of skyrmion helicity during its current-induced motion. The findings highlight the critical role of the internal degrees of freedom of these complex skyrmion tubes for their current-induced dynamics.
- Published
- 2024
11. Distributed Dual Quaternion Extended Kalman Filtering for Spacecraft Pose Estimation
- Author
-
de Badyn, Mathias Hudoba, Binz, Jonas, Iannelli, Andrea, and Smith, Roy S.
- Subjects
Mathematics - Optimization and Control - Abstract
In this paper, a distributed dual-quaternion multiplicative extended Kalman filter for the estimation of poses and velocities of individual satellites in a fleet of spacecraft is analyzed. The proposed algorithm uses both absolute and relative pose measurements between neighbouring satellites in a network, allowing each individual satellite to estimate its own pose and that of its neighbours. By utilizing the distributed Kalman consensus filter, a novel sensor and state-estimate fusion procedure is proposed that allows each satellite to improve its own state estimate by sharing data with its neighbours over a communication link. A leader-follower approach, whereby only a subset of the satellites have access to an absolute pose measurement is also examined. In this case, followers rely solely on the information provided by their neighbours, as well as relative pose measurements to those neighbours. The algorithm is tested extensively via numerical simulations, and it is shown that the approach provides a substantial improvement in performance over the scenario in which the satellites do not cooperate. A case study of satellites swarming an asteroid is presented, and the performance in the leader-follower scenario is also analyzed., Comment: 32 pages, 8 figures. To appear in the AIAA Journal of Guidance, Control, and Dynamics
- Published
- 2024
12. Derivative-free stochastic bilevel optimization for inverse problems
- Author
-
Staudigl, Mathias, Weissmann, Simon, and van Leeuwen, Tristan
- Subjects
Mathematics - Optimization and Control ,90C56 - Abstract
Inverse problems are key issues in several scientific areas, including signal processing and medical imaging. Data-driven approaches for inverse problems aim for learning model and regularization parameters from observed data samples, and investigate their generalization properties when confronted with unseen data. This approach dictates a statistical approach to inverse problems, calling for stochastic optimization methods. In order to learn model and regularisation parameters simultaneously, we develop in this paper a stochastic bilevel optimization approach in which the lower level problem represents a variational reconstruction method formulated as a convex non-smooth optimization problem, depending on the observed sample. The upper level problem represents the learning task of the regularisation parameters. Combining the lower level and the upper level problem leads to a stochastic non-smooth and non-convex optimization problem, for which standard gradient-based methods are not straightforward to implement. Instead, we develop a unified and flexible methodology, building on a derivative-free approach, which allows us to solve the bilevel optimization problem only with samples of the objective function values. We perform a complete complexity analysis of this scheme. Numerical results on signal denoising and experimental design demonstrate the computational efficiency and the generalization properties of our method.
- Published
- 2024
13. KIC 4150611: A quadruply eclipsing heptuple star system with a g-mode period-spacing pattern Asteroseismic modelling of the g-mode period-spacing pattern
- Author
-
Kemp, Alex, Fritzewski, Dario J, Van Reeth, Timothy, IJspeert, Luc, Michielsen, Mathias, Mombarg, Joey, Vanlaer, Vincent, Li, Gang, Tkachenko, Andrew, and Aerts, Conny
- Subjects
Astrophysics - Solar and Stellar Astrophysics - Abstract
In this work, we aim to estimate the stellar parameters of the primary (Aa) by performing asteroseismic analysis on its period-spacing pattern. We use the C-3PO neural network to perform asteroseismic modelling of the g-mode period-spacing pattern of Aa, discussing the interplay of this information with external constraints from spectroscopy ($T_{\rm eff}$ and $\log(g)$) and eclipse modelling ($R$). To estimate the level of uncertainty due to different frequency extraction and pattern identification processes, we consider four different variations on the period-spacing patterns. To better understand the correlations between and the uncertainty structure of our parameter estimates, we also employed a classical, parameter-based MCMC grid search on four different stellar grids. The best-fitting, externally constrained model to the period-spacing pattern arrives at estimates of the stellar properties for Aa of: $M=1.51 \pm 0.05 M_\odot$, $X_c =0.43 \pm 0.04$, $R=1.66 \pm 0.1 R_\odot$, $f_{\rm ov}=0.010$, $\Omega_c=1.58 \pm 0.01$ d$^{-1}$ with rigid rotation to within the measurement errors, $\log(T_{\rm eff})=3.856 \pm 0.008$ dex, $\log(g)=4.18 \pm 0.04$ dex, and $\log(L)=0.809 \pm 0.005$ dex, which agree well with previous measurements from eclipse modelling, spectroscopy, and the Gaia DR3 luminosity. We find that the near-core properties of the best-fitting asteroseismic models are consistent with external constraints from eclipse modelling and spectroscopy. Aa appears to be a typical example of a $\gamma$ Dor star, fitting well within existing populations. We find that Aa is quasi-rigidly rotating to within the uncertainties, and note that the asteroseismic age estimate for Aa (1100 $\pm$ 100 Myr) is considerably older than the young (35 Myr) age implied by previous isochrone fits to the B binary in the literature. Our MCMC parameter-based grid-search agrees well with our pattern-modelling approach., Comment: Accepted, A&A
- Published
- 2024
14. Neural Finite-State Machines for Surgical Phase Recognition
- Author
-
Ding, Hao, Gao, Zhongpai, Planche, Benjamin, Luan, Tianyu, Sharma, Abhishek, Zheng, Meng, Lou, Ange, Chen, Terrence, Unberath, Mathias, and Wu, Ziyan
- Subjects
Electrical Engineering and Systems Science - Image and Video Processing ,Computer Science - Computer Vision and Pattern Recognition - Abstract
Surgical phase recognition is essential for analyzing procedure-specific surgical videos. While recent transformer-based architectures have advanced sequence processing capabilities, they struggle with maintaining consistency across lengthy surgical procedures. Drawing inspiration from classical hidden Markov models' finite-state interpretations, we introduce the neural finite-state machine (NFSM) module, which bridges procedural understanding with deep learning approaches. NFSM combines procedure-level understanding with neural networks through global state embeddings, attention-based dynamic transition tables, and transition-aware training and inference mechanisms for offline and online applications. When integrated into our future-aware architecture, NFSM improves video-level accuracy, phase-level precision, recall, and Jaccard indices on Cholec80 datasets by 2.3, 3.2, 3.0, and 4.8 percentage points respectively. As an add-on module to existing state-of-the-art models like Surgformer, NFSM further enhances performance, demonstrating its complementary value. Extended experiments on non-surgical datasets validate NFSM's generalizability beyond surgical domains. Comprehensive experiments demonstrate that incorporating NSFM into deep learning frameworks enables more robust and consistent phase recognition across long procedural videos.
- Published
- 2024
15. How well does nonrelativistic QCD factorization work at next-to-leading order?
- Author
-
Brambilla, Nora, Butenschoen, Mathias, and Wang, Xiang-Peng
- Subjects
High Energy Physics - Phenomenology - Abstract
We perform a thorough investigation of the universality of the long distance matrix elements (LDMEs) of nonrelativistic QCD factorization based on a next-to-leading order (NLO) fit of $J/\psi$ color octet (CO) LDMEs to high transverse momentum $p_T$ $J/\psi$ and $\eta_c$ production data at the LHC. We thereby apply a novel fit-and-predict procedure to systematically take into account scale variations, and predict various observables never studied in this context before. In particular, the LDMEs can well describe $J/\psi$ hadroproduction up to the highest measured values of $p_T$, as well as $\Upsilon(nS)$ production via potential NRQCD based relations. Furthermore, $J/\psi$ production in $\gamma \gamma$ and $\gamma p$ collisions is surprisingly reproduced down to $p_T=1$ GeV, as long as the region of large inelasticity $z$ is excluded, which may be of significance in future quarkonium studies, in particular at the EIC and the high-luminosity LHC. In addition, our summary reveals an interesting pattern as to which observables still evade a consistent description., Comment: 15 pages, 16 figures
- Published
- 2024
16. Canonical Ramsey numbers for partite hypergraphs
- Author
-
Carvajal, Matías Azócar, Santos, Giovanne, and Schacht, Mathias
- Subjects
Mathematics - Combinatorics - Abstract
We show that canonical Ramsey numbers for partite hypergraphs grow single exponentially for any fixed uniformity., Comment: 10 pages
- Published
- 2024
17. Hybrid Frenkel-Wannier excitons facilitate ultrafast energy transfer at a 2D-organic interface
- Author
-
Bennecke, Wiebke, Oliva, Ignacio Gonzalez, Bange, Jan Philipp, Werner, Paul, Schmitt, David, Merboldt, Marco, Seiler, Anna M., Watanabe, Kenji, Taniguchi, Takashi, Steil, Daniel, Weitz, R. Thomas, Puschnig, Peter, Draxl, Claudia, Jansen, G. S. Matthijs, Reutzel, Marcel, and Mathias, Stefan
- Subjects
Condensed Matter - Mesoscale and Nanoscale Physics ,Condensed Matter - Materials Science - Abstract
Two-dimensional transition metal dichalcogenides (TMDs) and organic semiconductors (OSCs) have emerged as promising material platforms for next-generation optoelectronic devices. The combination of both is predicted to yield emergent properties while retaining the advantages of their individual components. In OSCs the optoelectronic response is typically dominated by localized Frenkel-type excitons, whereas TMDs host delocalized Wannier-type excitons. However, much less is known about the spatial and electronic characteristics of excitons at hybrid TMD/OSC interfaces, which ultimately determine the possible energy and charge transfer mechanisms across the 2D-organic interface. Here, we use ultrafast momentum microscopy and many-body perturbation theory to elucidate a hybrid exciton at an TMD/OSC interface that forms via the ultrafast resonant F\"orster energy transfer process. We show that this hybrid exciton has both Frenkel- and Wannier-type contributions: Concomitant intra- and interlayer electron-hole transitions within the OSC layer and across the TMD/OSC interface, respectively, give rise to an exciton wavefunction with mixed Frenkel-Wannier character. By combining theory and experiment, our work provides previously inaccessible insights into the nature of hybrid excitons at TMD/OSC interfaces. It thus paves the way to a fundamental understanding of charge and energy transfer processes across 2D-organic heterostructures.
- Published
- 2024
18. Mode-selective Raman imaging of metal-organic frameworks reveals surface heterogeneities of single HKUST-1 crystals
- Author
-
Ferreira, Matheus Esteves, Del Grande, Mariana, Oliveira, Felipe Lopes, Ferreira, Rodrigo Neumann Barros, da Silva, Ademir Ferreira, Carvalho, Pamela Costa, Lima, Geisa, Jorio, Ado, and Steiner, Mathias
- Subjects
Condensed Matter - Materials Science ,Physics - Chemical Physics - Abstract
Metal organic frameworks (MOFs) are nanoporous materials with high surface-to-volume ratio that have potential applications as gas sorbents. Sample quality is, however, often compromised and it is unclear how defects and surface contaminants affect the spectral properties of single MOF crystals. Raman micro-spectroscopy is a powerful tool for characterizing MOFs, yet spatial spectral heterogeneity distributions of single MOF crystals have not been reported so far. In this work, we use Raman micro-spectroscopy to characterize spatially isolated, single crystals of the MOF species HKUST-1. In a first step, we validate HKUST-1's Raman spectrum based on DFT simulations and we identify a previously unreported vibrational feature. In a second step, we acquire diffraction-limited, mode-selective Raman images of a single HKUST-1 crystals that reveal how the spectral variations are distributed across the crystal surface. In a third step, we statistically analyze the measured spectral peak positions and line widths for quantifying the variability occurring within the same crystal as well as between different crystals taken from the same batch. Finally, we explore how multivariate data analysis can aid feature identification in Raman images of single MOF crystals. For enabling validation and reuse, we have made the spectroscopic data and simulation code publicly available.
- Published
- 2024
19. High-precision black hole scattering with Calabi-Yau manifolds
- Author
-
Driesse, Mathias, Jakobsen, Gustav Uhre, Klemm, Albrecht, Mogull, Gustav, Nega, Christoph, Plefka, Jan, Sauer, Benjamin, and Usovitsch, Johann
- Subjects
High Energy Physics - Theory ,General Relativity and Quantum Cosmology ,High Energy Physics - Phenomenology ,Mathematics - Algebraic Geometry - Abstract
Using the worldline quantum field theory formalism, we compute the radiation-reacted impulse, scattering angle, radiated energy and recoil of a classical black hole (or neutron star) scattering event at fifth post-Minkowskian and sub-leading self-force orders (5PM-1SF). This state-of-the-art four-loop computation employs advanced integration-by-parts and differential equation technology, and is considerably more challenging than the conservative 5PM-1SF counterpart. As compared with the conservative 5PM-1SF, in the radiation sector Calabi-Yau three-fold periods appear and contribute to the radiated energy and recoil observables. We give an extensive exposition of the canonicalization of the differential equations and provide details on boundary integrations, Feynman rules, and integration-by-parts strategies. Comparisons to numerical relativity are also performed., Comment: 26 pages, 7 figures
- Published
- 2024
20. Thermodynamic Interpolation: A generative approach to molecular thermodynamics and kinetics
- Author
-
Moqvist, Selma, Chen, Weilong, Schreiner, Mathias, Nüske, Feliks, and Olsson, Simon
- Subjects
Physics - Chemical Physics - Abstract
Using normalizing flows and reweighting, Boltzmann Generators enable equilibrium sampling from a Boltzmann distribution, defined by an energy function and thermodynamic state. In this work, we introduce Thermodynamic Interpolation (TI), which allows for generating sampling statistics in a temperature-controllable way. We introduce TI flavors that work directly in the ambient configurational space, mapping between different thermodynamic states or through a latent, normally distributed reference state. Our ambient-space approach allows for the specification of arbitrary target temperatures, ensuring generalizability within the temperature range of the training set and demonstrating the potential for extrapolation beyond it. We validate the effectiveness of TI on model systems that exhibit metastability and non-trivial temperature dependencies. Finally, we demonstrate how to combine TI-based sampling to estimate free energy differences through various free energy perturbation methods and provide corresponding approximated kinetic rates estimated through generator extended dynamic mode decomposition (gEDMD)., Comment: 36 pages, 8 figures
- Published
- 2024
21. VST-SMASH: the VST Survey of Mass Assembly and Structural Hierarchy
- Author
-
Tortora, Crescenzo, Ragusa, Rossella, Gatto, Massimiliano, Spavone, Marilena, Hunt, Leslie, Ripepi, Vincenzo, Dall'Ora, Massimo, Abdurro'uf, Annibali, Francesca, Baes, Maarten, Belfiore, Francesco Michel Concetto, Bellucco, Nicola, Bolzonella, Micol, Cantiello, Michele, Dimauro, Paola, Kluge, Mathias, Lelli, Federico, Napolitano, Nicola R., Nucita, Achille, Radovich, Mario, Scaramella, Roberto, Schinnerer, Eva, Testa, Vincenzo, and Unni, Aiswarya
- Subjects
Astrophysics - Astrophysics of Galaxies - Abstract
The VLT Survey Telescope Survey of Mass Assembly and Structural Hierarchy (VST-SMASH) aims to detect tidal features and remnants around very nearby galaxies, a unique and essential diagnostic of the hierarchical nature of galaxy formation. Leveraging optimal sky conditions at ESO's Paranal Observatory, combined with the VST's multi-band optical filters, VST-SMASH aims to be the definitive survey of stellar streams and tidal remnants in the Local Volume, targeting a low surface-brightness limit of $\mu \sim$ 30 mag arcsec$^{-2}$ in the g and r bands, and $\mu \sim$ 28 mag arcsec$^{-2}$ in the i band, in a volume-limited sample of local galaxies within 11 Mpc and the Euclid footprint., Comment: 4 pages, 2 figures, 1 table, published in the ESO Messenger 193
- Published
- 2024
22. Harnessing Machine Learning for Single-Shot Measurement of Free Electron Laser Pulse Power
- Author
-
Korten, Till, Rybnikov, Vladimir, Vogt, Mathias, Roensch-Schulenburg, Juliane, Steinbach, Peter, and Mirian, Najmeh
- Subjects
Computer Science - Machine Learning ,Physics - Accelerator Physics - Abstract
Electron beam accelerators are essential in many scientific and technological fields. Their operation relies heavily on the stability and precision of the electron beam. Traditional diagnostic techniques encounter difficulties in addressing the complex and dynamic nature of electron beams. Particularly in the context of free-electron lasers (FELs), it is fundamentally impossible to measure the lasing-on and lasingoff electron power profiles for a single electron bunch. This is a crucial hurdle in the exact reconstruction of the photon pulse profile. To overcome this hurdle, we developed a machine learning model that predicts the temporal power profile of the electron bunch in the lasing-off regime using machine parameters that can be obtained when lasing is on. The model was statistically validated and showed superior predictions compared to the state-of-the-art batch calibrations. The work we present here is a critical element for a virtual pulse reconstruction diagnostic (VPRD) tool designed to reconstruct the power profile of individual photon pulses without requiring repeated measurements in the lasing-off regime. This promises to significantly enhance the diagnostic capabilities in FELs at large., Comment: 10 pages, 4 figures, Machine Learning and the Physical Sciences Workshop, NeurIPS 2024 https://neurips.cc/virtual/2024/100009
- Published
- 2024
23. Perturbative Unitarity Violation in Radiative Capture Transitions to Dark Matter Bound States
- Author
-
Beneke, Martin, Binder, Tobias, de Ros, Lorenzo, Garny, Mathias, and Lederer, Stefan
- Subjects
High Energy Physics - Phenomenology ,Astrophysics - Cosmology and Nongalactic Astrophysics - Abstract
We investigate the formation of bound states of non-relativistic dark matter particles subject to long-range interactions through radiative capture. The initial scattering and final bound states are described by Coulomb potentials with different strengths, as relevant for non-abelian gauge interactions or theories featuring charged scalars. For bound states with generic quantum numbers $n$ and $\ell$, we provide closed-form expressions for the bound-state formation (BSF) cross sections of monopole, dipole and quadrupole transitions, and of arbitrary multipole order when $\ell=n-1$. This allows us to investigate in detail a strong enhancement of BSF that occurs for initial states in a repulsive potential. For $\ell=n-1\gg 1$, we show that the BSF cross section for each single bound state violates the perturbative unitarity bound in the vicinity of a certain critical initial velocity, and provide an interpretation in terms of a smooth matching of classical trajectories. When summing the BSF cross section over all possible bound states in the final state, this leads to a unitarity violation below a certain velocity, but within the validity range of the weakly coupled non-relativistic description. We identify an effectively strong interaction as the origin of this unitarity violation, which is caused by an "anomalously" large overlap of scattering and bound-state wave functions in Coulomb potentials of different strength., Comment: 38p
- Published
- 2024
24. Nonlinear Breit-Wheeler pair production using polarized photons from inverse Compton scattering
- Author
-
Seipt, Daniel, Samuelsson, Mathias, and Blackburn, Tom
- Subjects
High Energy Physics - Phenomenology ,Physics - Plasma Physics - Abstract
Observing multiphoton electron-positron pair production (the nonlinear Breit-Wheeler process) requires high-energy $\gamma$ rays to interact with strong electromagnetic fields. In order for these observations to be as precise as possible, the $\gamma$ rays would ideally be both mono-energetic and highly polarized. Here we perform Monte Carlo simulations of an experimental configuration that accomplishes this in two stages. First, a multi-GeV electron beam interacts with a moderately intense laser pulse to produce a bright, highly polarized beam of $\gamma$ rays by inverse Compton scattering. Second, after removing the primary electrons, these $\gamma$ rays collide with another, more intense, laser pulse in order to produce pairs. We show that it is possible to measure the $\gamma$-ray polarization dependence of the nonlinear Breit-Wheeler process in near-term experiments, using a 100-TW class laser and currently available electron beams. Furthermore, it would also be possible to observe harmonic structure and the perturbative-to-nonperturbative transition if such a laser were colocated with a future linear collider., Comment: 10 pages, 6 figures, 1 table
- Published
- 2024
25. Dwarf Galaxies in the MATLAS Survey: The satellite system of NGC474 under scrutiny with MUSE
- Author
-
Müller, Oliver, Marleau, Francine R., Heesters, Nick, Duc, Pierre-Alain, Pawlowski, Marcel S., Poulain, Mélina, Habas, Rebecca, Sola, Elisabeth, Urbano, Mathias, Smith, Rory, Durrell, Patrick, Emsellem, Eric, Sánchez-Janssen, Rubén, Lim, Sungsoon, and Paudel, Sanjaya
- Subjects
Astrophysics - Astrophysics of Galaxies - Abstract
A recent study of the distribution of dwarf galaxies in the MATLAS sample in galaxy groups revealed an excess of flattened satellite structures, reminiscent of the co-rotating planes of dwarf galaxies discovered in the local Universe. If confirmed, this lends credence to the plane-of-satellite problem and further challenges the standard model of hierarchical structure formation. However, with only photometric data and no confirmation of the satellite membership, the study could not address the plane-of-satellite problem in full detail. Here we present spectroscopic follow-up observations of one of the most promising planes-of-satellites candidates in the MATLAS survey, the satellite system of NGC 474. Employing MUSE at the VLT and full spectrum fitting, we studied 13 dwarf galaxy candidates and confirmed nine to be members of the field around NGC 474. Measuring the stellar populations of all observed galaxies, we find that the MATLAS dwarfs have lower metallicities than the Local Group dwarfs at given luminosity. Two dwarf galaxies may form a pair of satellites based on their close projection and common velocity. Within the virial radius, we do not find a significant plane-of-satellites, however, there is a sub-population of six dwarf galaxies which seem to be anti-correlated in phase-space. Due to the low number of dwarf galaxies, this signal may arise by chance. With over 2000 dwarf galaxy candidates found in the MATLAS survey, this remains an intriguing data set to study the plane-of-satellites problem in a statistical fashion once more follow-up observations have been conducted., Comment: 9 pages, 8 figures, 2 tables. Accepted for publication in Astronomy & Astrophysics (A&A)
- Published
- 2024
26. Non-reciprocity in magnon mediated charge-spin-orbital current interconversion
- Author
-
Ledesma-Martin, J. Omar, Galindez-Ruales, Edgar, Krishnia, Sachin, Fuhrmann, Felix, Tran, Duc Minh, Gupta, Rahul, Gasser, Marcel, Go, Dongwook, Jakob, Gerhard, Mokrousov, Yuriy, and Kläui, Mathias
- Subjects
Condensed Matter - Materials Science - Abstract
In magnetic systems, angular momentum is carried by the spin and orbital degrees of freedom. Non-local devices can be used to study angular momentum transport. They consist of parallel heavy-metal nanowires placed on top of magnetic insulators like yttrium iron garnet (YIG), facilitating the transmission of information by magnons, generated by the accumulation of spin at the interface, created via the Spin Hall Effect (SHE) and detected via the inverse SHE (iSHE). It has been demonstrated that these processes have comparable efficiencies when the role of the detector and injector is reversed, which points to reciprocity of the processes. However, we show that by adding Ru as a source of direct and inverse orbital Hall effect (OHE), the system no longer exhibits this reciprocity. Specifically, the generation of magnons via the combination of SHE and OHE and detection via the iSHE is found to be about 35% more efficient than the inverse process for our system.
- Published
- 2024
27. Machine learning-enabled velocity model building with uncertainty quantification
- Author
-
Orozco, Rafael, Erdinc, Huseyin Tuna, Zeng, Yunlin, Louboutin, Mathias, and Herrmann, Felix J.
- Subjects
Computer Science - Machine Learning ,Computer Science - Computer Vision and Pattern Recognition - Abstract
Accurately characterizing migration velocity models is crucial for a wide range of geophysical applications, from hydrocarbon exploration to monitoring of CO2 sequestration projects. Traditional velocity model building methods such as Full-Waveform Inversion (FWI) are powerful but often struggle with the inherent complexities of the inverse problem, including noise, limited bandwidth, receiver aperture and computational constraints. To address these challenges, we propose a scalable methodology that integrates generative modeling, in the form of Diffusion networks, with physics-informed summary statistics, making it suitable for complicated imaging problems including field datasets. By defining these summary statistics in terms of subsurface-offset image volumes for poor initial velocity models, our approach allows for computationally efficient generation of Bayesian posterior samples for migration velocity models that offer a useful assessment of uncertainty. To validate our approach, we introduce a battery of tests that measure the quality of the inferred velocity models, as well as the quality of the inferred uncertainties. With modern synthetic datasets, we reconfirm gains from using subsurface-image gathers as the conditioning observable. For complex velocity model building involving salt, we propose a new iterative workflow that refines amortized posterior approximations with salt flooding and demonstrate how the uncertainty in the velocity model can be propagated to the final product reverse time migrated images. Finally, we present a proof of concept on field datasets to show that our method can scale to industry-sized problems.
- Published
- 2024
28. VLTI/GRAVITY Observations of AF Lep b: Preference for Circular Orbits, Cloudy Atmospheres, and a Moderately Enhanced Metallicity
- Author
-
Balmer, William O., Franson, Kyle, Chomez, Antoine, Pueyo, Laurent, Stolker, Tomas, Lacour, Sylvestre, Nowak, Mathias, Nasedkin, Evert, Bonse, Markus J., Thorngren, Daniel, Palma-Bifani, Paulina, Molliere, Paul, Wang, Jason J., Zhang, Zhoujian, Chavez, Amanda, Kammerer, Jens, Blunt, Sarah, Bowler, Brendan P., Bonnefoy, Mickael, Brandner, Wolfgang, Charnay, Benjamin, Chauvin, Gael, Henning, Th., Lagrange, A. -M., Pourre, Nicolas, Rickman, Emily, De Rosa, Robert, Vigan, Arthur, and Winterhalder, Thomas
- Subjects
Astrophysics - Earth and Planetary Astrophysics ,Astrophysics - Solar and Stellar Astrophysics - Abstract
Direct imaging observations are biased towards wide-separation, massive companions that have degenerate formation histories. Although the majority of exoplanets are expected to form via core accretion, most directly imaged exoplanets have not been convincingly demonstrated to follow this formation pathway. We obtained new interferometric observations of the directly imaged giant planet AF Lep b with the VLTI/GRAVITY instrument. We present three epochs of 50$\mu$as relative astrometry and the K-band spectrum of the planet for the first time at a resolution of R=500. Using only these measurements, spanning less than two months, and the Hipparcos-Gaia Catalogue of Accelerations, we are able to significantly constrain the planet's orbit; this bodes well for interferometric observations of planets discovered by Gaia DR4. Including all available measurements of the planet, we infer an effectively circular orbit ($e<0.02, 0.07, 0.13$ at $1, 2, 3 \sigma$) in spin-orbit alignment with the host, and a measure a dynamical mass of $M_\mathrm{p}=3.75\pm0.5\,M_\mathrm{Jup}$. Models of the spectrum of the planet show that it is metal rich ([M/H]$=0.75\pm0.25$), with a C/O ratio encompassing the solar value. This ensemble of results show that the planet is consistent with core accretion formation., Comment: Accepted to the Astronomical Journal. 12 figures, 4 tables
- Published
- 2024
29. Automated, LLM enabled extraction of synthesis details for reticular materials from scientific literature
- Author
-
da Silva, Viviane Torres, Rademaker, Alexandre, Lionti, Krystelle, Giro, Ronaldo, Lima, Geisa, Fiorini, Sandro, Archanjo, Marcelo, Carvalho, Breno W., Neumann, Rodrigo, Souza, Anaximandro, Souza, João Pedro, de Valnisio, Gabriela, Paz, Carmen Nilda, Cerqueira, Renato, and Steiner, Mathias
- Subjects
Condensed Matter - Materials Science ,Computer Science - Information Retrieval - Abstract
Automated knowledge extraction from scientific literature can potentially accelerate materials discovery. We have investigated an approach for extracting synthesis protocols for reticular materials from scientific literature using large language models (LLMs). To that end, we introduce a Knowledge Extraction Pipeline (KEP) that automatizes LLM-assisted paragraph classification and information extraction. By applying prompt engineering with in-context learning (ICL) to a set of open-source LLMs, we demonstrate that LLMs can retrieve chemical information from PDF documents, without the need for fine-tuning or training and at a reduced risk of hallucination. By comparing the performance of five open-source families of LLMs in both paragraph classification and information extraction tasks, we observe excellent model performance even if only few example paragraphs are included in the ICL prompts. The results show the potential of the KEP approach for reducing human annotations and data curation efforts in automated scientific knowledge extraction., Comment: 16 pages
- Published
- 2024
30. Adatom engineering magnetic order in superconductors: Applications to altermagnetic superconductivity
- Author
-
Pupim, Lucas V. and Scheurer, Mathias S.
- Subjects
Condensed Matter - Superconductivity ,Condensed Matter - Mesoscale and Nanoscale Physics - Abstract
We study theoretically how superlattices based on adatoms on surfaces of unconventional superconductors can be used to engineer novel pairing states that break time-reversal symmetry and exhibit non-trivial magnetic point symmetries. We illustrate this using a square-lattice Hubbard model with $d$-wave superconductivity and a subleading $s$-wave state as an example. An adatom superlattice with square-lattice symmetries is shown to stabilize an "orbital-altermagnetic superconductor'', a state that exhibits loop current patterns and associated orbital magnetic moments, which preserve superlattice translations but are odd under four-fold rotations. This state is further characterized by a non-zero Berry curvature quadrupole moment and, upon including spin-orbit coupling, by an altermagnetic spin splitting of the bands and non-trivial spin textures in the superlattice unit cell, with zero net spin moment., Comment: 10 pages, 6 figures
- Published
- 2024
31. Recursive Learning of Asymptotic Variational Objectives
- Author
-
Mastrototaro, Alessandro, Müller, Mathias, and Olsson, Jimmy
- Subjects
Statistics - Machine Learning ,Computer Science - Machine Learning ,Statistics - Computation - Abstract
General state-space models (SSMs) are widely used in statistical machine learning and are among the most classical generative models for sequential time-series data. SSMs, comprising latent Markovian states, can be subjected to variational inference (VI), but standard VI methods like the importance-weighted autoencoder (IWAE) lack functionality for streaming data. To enable online VI in SSMs when the observations are received in real time, we propose maximising an IWAE-type variational lower bound on the asymptotic contrast function, rather than the standard IWAE ELBO, using stochastic approximation. Unlike the recursive maximum likelihood method, which directly maximises the asymptotic contrast, our approach, called online sequential IWAE (OSIWAE), allows for online learning of both model parameters and a Markovian recognition model for inferring latent states. By approximating filter state posteriors and their derivatives using sequential Monte Carlo (SMC) methods, we create a particle-based framework for online VI in SSMs. This approach is more theoretically well-founded than recently proposed online variational SMC methods. We provide rigorous theoretical results on the learning objective and a numerical study demonstrating the method's efficiency in learning model parameters and particle proposal kernels.
- Published
- 2024
32. Training and Evaluating Causal Forecasting Models for Time-Series
- Author
-
Crasson, Thomas, Nabet, Yacine, and Lécuyer, Mathias
- Subjects
Computer Science - Machine Learning ,Computer Science - Artificial Intelligence - Abstract
Deep learning time-series models are often used to make forecasts that inform downstream decisions. Since these decisions can differ from those in the training set, there is an implicit requirement that time-series models will generalize outside of their training distribution. Despite this core requirement, time-series models are typically trained and evaluated on in-distribution predictive tasks. We extend the orthogonal statistical learning framework to train causal time-series models that generalize better when forecasting the effect of actions outside of their training distribution. To evaluate these models, we leverage Regression Discontinuity Designs popular in economics to construct a test set of causal treatment effects.
- Published
- 2024
33. Dynamical probing of high-order spin coherence in one-dimensional mixtures
- Author
-
Musolino, Silvia, Aupetit-Diallo, Gianni, Albert, Mathias, Vignolo, Patrizia, and Minguzzi, Anna
- Subjects
Condensed Matter - Quantum Gases - Abstract
We investigate the dynamics of one-dimensional SU(2) ultracold fermions near the Tonks-Girardeau limit, confined in a box potential. The system is driven out of equilibrium by initially preparing the two spin components in a fully separated configuration, and its evolution is described by the Hamiltonian in the presence of strong repulsive interactions. Building on the results of [arXiv:2302.02828, Phys$.$Rev. A, 107, L061301 (2023)], we extend the analysis to out-of-equilibrium dynamics, uncovering the emergence of time-dependent oscillating high-momentum tails in the momentum distribution. These oscillations, due to the finite size of the system, are governed by a nonlocal, high-order spin coherence term, whose amplitude and phase evolve over time. We show that this term initially grows as time to the power N/2 and subsequently follows the spin-mixing dynamics of the system. Notably, when the spin components are fully mixed, the amplitude of this border-to-border spin coherence reaches its maximum value.
- Published
- 2024
34. Causality-Driven Audits of Model Robustness
- Author
-
Drenkow, Nathan, Ribaudo, Chris, and Unberath, Mathias
- Subjects
Computer Science - Computer Vision and Pattern Recognition ,Computer Science - Artificial Intelligence ,Computer Science - Machine Learning - Abstract
Robustness audits of deep neural networks (DNN) provide a means to uncover model sensitivities to the challenging real-world imaging conditions that significantly degrade DNN performance in-the-wild. Such conditions are often the result of the compounding of multiple factors inherent to the environment, sensor, or processing pipeline and may lead to complex image distortions that are not easily categorized. When robustness audits are limited to a set of pre-determined imaging effects or distortions, the results cannot be (easily) transferred to real-world conditions where image corruptions may be more complex or nuanced. To address this challenge, we present a new alternative robustness auditing method that uses causal inference to measure DNN sensitivities to the factors of the imaging process that cause complex distortions. Our approach uses causal models to explicitly encode assumptions about the domain-relevant factors and their interactions. Then, through extensive experiments on natural and rendered images across multiple vision tasks, we show that our approach reliably estimates causal effects of each factor on DNN performance using observational domain data. These causal effects directly tie DNN sensitivities to observable properties of the imaging pipeline in the domain of interest towards reducing the risk of unexpected DNN failures when deployed in that domain.
- Published
- 2024
35. Learned RESESOP for solving inverse problems with inexact forward operator
- Author
-
Feinler, Mathias S. and Hahn, Bernadette N.
- Subjects
Mathematics - Numerical Analysis ,68T07 - Abstract
When solving inverse problems, one has to deal with numerous potential sources of model inexactnesses, like object motion, calibration errors, or simplified data models. Regularized Sequential Subspace Optimization (ReSeSOp) allows to compensate for such inaccuracies within the reconstruction step by employing consecutive projections onto suitably defined subspaces. However, this approach relies on a priori estimates for the model inexactness levels which are typically unknown. In dynamic imaging applications, where inaccuracies arise from the unpredictable dynamics of the object, these estimates are particularly challenging to determine in advance. To overcome this limitation, we propose a learned version of ReSeSOp which allows to approximate inexactness levels on the fly. The proposed framework generalizes established unrolled iterative reconstruction schemes to inexact forward operators and is particularly tailored to the structure of dynamic problems. We also present a comprehensive mathematical analysis regarding the effect of dependencies within the forward problem, clarifying when and why dividing the overall problem into subproblems is essential. The proposed method is evaluated on various examples from dynamic imaging, including datasets from a rheological CT experiment, brain MRI, and real-time cardiac MRI. The respective results emphasize improvements in reconstruction quality while ensuring adequate data consistency., Comment: 21 pages, 7 figures, 4 tables
- Published
- 2024
36. System Design of the Newest Generation Detector Controller for ELT and new VLT Instruments
- Author
-
Richerzhagen, Mathias, Seidel, Matthias, Mehrgan, Leander, Ives, Derek, Conzelmann, Ralf, Todorovic, Mirko, and Geimer, Christoph
- Subjects
Astrophysics - Instrumentation and Methods for Astrophysics ,Physics - Instrumentation and Detectors - Abstract
A new detector controller, NGCII, is in development for the first-generation instruments of the ELT as well as new instruments for the VLT. Building on experience with previous ESO detector controllers, a modular system based on the MicroTCA.4 industrial standard, is designed to control a variety of infrared and visible light scientific and wavefront sensor detectors. This article presents the early development stages of NGCII hardware and firmware from the decision to start an all-new design to first tests with detectors and ROICs.
- Published
- 2024
- Full Text
- View/download PDF
37. Spin Seebeck in the weak exchange coupled van der Waals antiferromagnet
- Author
-
He, Xue, Ding, Shilei, Giil, Hans Gløckner, Wang, Jicheng, Lin, Zhongchong, Liang, Zhongyu, Yang, Jinbo, Kläui, Mathias, Brataas, Arne, Hou, Yanglong, and Wu, Rui
- Subjects
Physics - Applied Physics - Abstract
Spin Seebeck effect (SSE) refers to the creation of spin currents due to a temperature gradient in the magnetic materials or across magnet-normal metal interfaces, which can be electrically detected through the inverse spin Hall effect (ISHE) when in contact with heavy metals. It offers fundamental insights into the magnetic properties of materials, including the magnetic phase transition, static magnetic order, and magnon excitations. However, the SSE in van der Waals antiferromagnet is still elusive, especially across the spin-flip transition. Here, we demonstrate the SSE in the weak exchange coupled van der Waals antiferromagnet CrPS$_4$. The SSE increases as the magnetic field increases before the spin-flip transition due to the enhancement of the thermal spin current as a function of the applied field. A peak of SSE is observed at the spin-flip field, which is related to the magnon mode edges across the spin-flip field. Our results extend SSE research to van der Waals antiferromagnets and demonstrate an enhancement of SSE at the spin-flip transition., Comment: 18 pages, 4 figures
- Published
- 2024
- Full Text
- View/download PDF
38. Using Normalization to Improve SMT Solver Stability
- Author
-
Amrollahi, Daneshvar, Preiner, Mathias, Niemetz, Aina, Reynolds, Andrew, Charikar, Moses, Tinelli, Cesare, and Barrett, Clark
- Subjects
Computer Science - Logic in Computer Science - Abstract
In many applications, SMT solvers are used to solve similar or identical tasks over time. When the performance of the solver varies significantly despite only small changes, this leads to frustration for users. This has been called the stability problem, and it represents an important usability challenge for SMT solvers. In this paper, we introduce an approach for mitigating the stability problem based on normalizing solver inputs. We show that a perfect normalizing algorithm exists but is computationally expensive. We then describe an approximate algorithm and evaluate it on a set of benchmarks from related work, as well as a large set of benchmarks sampled from SMT-LIB. Our evaluation shows that our approximate normalizer reduces runtime variability with minimal overhead and is able to normalize a large class of mutated benchmarks to a unique normal form.
- Published
- 2024
39. Pulsar timing methods for evaluating dispersion measure time series
- Author
-
Iraci, F., Chalumeau, A., Tiburzi, C., Verbiest, J. P. W., Possenti, A., Shaifullah, G. M., Susarla, S. C., Krishnakumar, M. A., Lam, M. T., Cromartie, H. T., Kerr, M., and Grießmeier, Jean-Mathias
- Subjects
Astrophysics - High Energy Astrophysical Phenomena - Abstract
Radio pulsars allow the study of the ionised interstellar medium and its dispersive effects, a major noise source in gravitational wave searches using pulsars. In this paper, we compare the functionality and reliability of three commonly used schemes to measure temporal variations in interstellar propagation effects in pulsar-timing data. We carry out extensive simulations at low observing frequencies (100-200 MHz) by injecting long-term correlated noise processes with power-law spectra and white noise, to evaluate the robustness, accuracy and precision of the following three mitigation methods: epoch-wise (EW) measurements of interstellar dispersion; the DMX method of simultaneous, piece-wise fits to interstellar dispersion; and DMGP, which models dispersion variations through Gaussian processes using a Bayesian analysis method. We then evaluate how reliably the input signals are reconstructed and how the various methods react to the presence of achromatic long-period noise. All the methods perform well, provided the achromatic long-period noise is modeled for DMX and DMGP. The most precise method is DMGP, followed by DMX and EW, while the most accurate is EW, followed by DMX and DMGP. We also test different scenarios including simulations of L-band ToAs and realistic DM injection, with no significant variation in the obtained results. Given the nature of our simulations and our scope, we deem that EW is the most reliable method to study the Galactic ionized media. Future works should be conducted to confirm this result via more realistic simulations. We note that DM GP and DMX seem to be the most performing techniques in removing long-term correlated noise, and hence for gravitational wave studies. However, full simulations of pulsar timing array experiments are needed to support this interpretation.
- Published
- 2024
40. Towards Robust Algorithms for Surgical Phase Recognition via Digital Twin-based Scene Representation
- Author
-
Ding, Hao, Zhang, Yuqian, Shu, Hongchao, Lian, Xu, Kim, Ji Woong, Krieger, Axel, and Unberath, Mathias
- Subjects
Computer Science - Computer Vision and Pattern Recognition - Abstract
Purpose: Surgical phase recognition (SPR) is an integral component of surgical data science, enabling high-level surgical analysis. End-to-end trained neural networks that predict surgical phase directly from videos have shown excellent performance on benchmarks. However, these models struggle with robustness due to non-causal associations in the training set, resulting in poor generalizability. Our goal is to improve model robustness to variations in the surgical videos by leveraging the digital twin (DT) paradigm -- an intermediary layer to separate high-level analysis (SPR) from low-level processing (geometric understanding). This approach takes advantage of the recent vision foundation models that ensure reliable low-level scene understanding to craft DT-based scene representations that support various high-level tasks. Methods: We present a DT-based framework for SPR from videos. The framework employs vision foundation models to extract representations. We embed the representation in place of raw video inputs in the state-of-the-art Surgformer model. The framework is trained on the Cholec80 dataset and evaluated on out-of-distribution (OOD) and corrupted test samples. Results: Contrary to the vulnerability of the baseline model, our framework demonstrates strong robustness on both OOD and corrupted samples, with a video-level accuracy of 51.1 on the challenging CRCD dataset, 96.0 on an internal robotics training dataset, and 64.4 on a highly corrupted Cholec80 test set. Conclusion: Our findings lend support to the thesis that DT-based scene representations are effective in enhancing model robustness. Future work will seek to improve the feature informativeness, automate feature extraction, and incorporate interpretability for a more comprehensive framework.
- Published
- 2024
41. Adaptive reduced tempering For Bayesian inverse problems and rare event simulation
- Author
-
Cerou, Frederic, Heas, Patrick, and Rousset, Mathias
- Subjects
Statistics - Computation - Abstract
This work proposes an adaptive sequential Monte Carlo sampling algorithm for solving inverse Bayesian problems in a context where a (costly) likelihood evaluation can be approximated by a surrogate, constructed from previous evaluations of the true likelihood. A rough error estimation of the obtained surrogates is required. The method is based on an adaptive sequential Monte-Carlo (SMC) simulation that jointly adapts the likelihood approximations and a standard tempering scheme of the target posterior distribution. This algorithm is well-suited to cases where the posterior is concentrated in a rare and unknown region of the prior. It is also suitable for solving low-temperature and rare-event simulation problems. The main contribution is to propose an entropy criteria that associates to the accuracy of the current surrogate a maximum inverse temperature for the likelihood approximation. The latter is used to sample a so-called snapshot, perform an exact likelihood evaluation, and update the surrogate and its error quantification. Some consistency results are presented in an idealized framework of the proposed algorithm. Our numerical experiments use in particular a reduced basis approach to construct approximate parametric solutions of a partially observed solution of an elliptic Partial Differential Equation. They demonstrate the convergence of the algorithm and show a significant cost reduction (close to a factor $10$) for comparable accuracy.
- Published
- 2024
42. Bioenergetic trophic trade-offs determine mass-dependent extinction thresholds across the Cenozoic
- Author
-
Yeakel, Justin D., Hutchinson, Matthew C., Kempes, Christopher P., Koch, Paul L., Gill, Jacquelyn L., and Pires, Mathias M.
- Subjects
Quantitative Biology - Populations and Evolution - Abstract
Body size drives the energetic demands of organisms, constraining trophic interactions between species and playing a significant role in shaping the feasibility of species' populations in a community. On macroevolutionary timescales, these demands feed back to shape the selective landscape driving the evolution of body size and diet. We develop a theoretical framework for a three-level trophic food chain -- typical for terrestrial mammalian ecosystems -- premised on bioenergetic trade-offs to explore mammalian population dynamics. Our results show that interactions between predators, prey, and external subsidies generate instabilities linked to body size extrema, corresponding to observed limits of predator size and diet. These instabilities generate size-dependent constraints on coexistence and highlight a feasibility range for carnivore size between 40 to 110 kg, encompassing the mean body size of terrestrial Cenozoic hypercarnivores. Finally, we show that predator dietary generalization confers a selective advantage to larger carnivores, which then declines at megapredator body sizes, aligning with diet breadth estimates for contemporary and Pleistocene species. Our framework underscores the importance of understanding macroevolutionary constraints through the lens of ecological pressures, where the selective forces shaping and reshaping the dynamics of communities can be explored., Comment: 14 pages, 3 figures, SI Appendices
- Published
- 2024
43. Pathologist-like explainable AI for interpretable Gleason grading in prostate cancer
- Author
-
Mittmann, Gesa, Laiouar-Pedari, Sara, Mehrtens, Hendrik A., Haggenmüller, Sarah, Bucher, Tabea-Clara, Chanda, Tirtha, Gaisa, Nadine T., Wagner, Mathias, Klamminger, Gilbert Georg, Rau, Tilman T., Neppl, Christina, Compérat, Eva Maria, Gocht, Andreas, Hämmerle, Monika, Rupp, Niels J., Westhoff, Jula, Krücken, Irene, Seidl, Maximillian, Schürch, Christian M., Bauer, Marcus, Solass, Wiebke, Tam, Yu Chun, Weber, Florian, Grobholz, Rainer, Augustyniak, Jaroslaw, Kalinski, Thomas, Hörner, Christian, Mertz, Kirsten D., Döring, Constanze, Erbersdobler, Andreas, Deubler, Gabriele, Bremmer, Felix, Sommer, Ulrich, Brodhun, Michael, Griffin, Jon, Lenon, Maria Sarah L., Trpkov, Kiril, Cheng, Liang, Chen, Fei, Levi, Angelique, Cai, Guoping, Nguyen, Tri Q., Amin, Ali, Cimadamore, Alessia, Shabaik, Ahmed, Manucha, Varsha, Ahmad, Nazeel, Messias, Nidia, Sanguedolce, Francesca, Taheri, Diana, Baraban, Ezra, Jia, Liwei, Shah, Rajal B., Siadat, Farshid, Swarbrick, Nicole, Park, Kyung, Hassan, Oudai, Sakhaie, Siamak, Downes, Michelle R., Miyamoto, Hiroshi, Williamson, Sean R., Holland-Letz, Tim, Schneider, Carolin V., Kather, Jakob Nikolas, Tolkach, Yuri, and Brinker, Titus J.
- Subjects
Electrical Engineering and Systems Science - Image and Video Processing ,Computer Science - Artificial Intelligence ,Computer Science - Computer Vision and Pattern Recognition - Abstract
The aggressiveness of prostate cancer, the most common cancer in men worldwide, is primarily assessed based on histopathological data using the Gleason scoring system. While artificial intelligence (AI) has shown promise in accurately predicting Gleason scores, these predictions often lack inherent explainability, potentially leading to distrust in human-machine interactions. To address this issue, we introduce a novel dataset of 1,015 tissue microarray core images, annotated by an international group of 54 pathologists. The annotations provide detailed localized pattern descriptions for Gleason grading in line with international guidelines. Utilizing this dataset, we develop an inherently explainable AI system based on a U-Net architecture that provides predictions leveraging pathologists' terminology. This approach circumvents post-hoc explainability methods while maintaining or exceeding the performance of methods trained directly for Gleason pattern segmentation (Dice score: 0.713 $\pm$ 0.003 trained on explanations vs. 0.691 $\pm$ 0.010 trained on Gleason patterns). By employing soft labels during training, we capture the intrinsic uncertainty in the data, yielding strong results in Gleason pattern segmentation even in the context of high interobserver variability. With the release of this dataset, we aim to encourage further research into segmentation in medical tasks with high levels of subjectivity and to advance the understanding of pathologists' reasoning processes., Comment: 58 pages, 15 figures (incl. supplementary)
- Published
- 2024
44. Ultrasound matrix imaging for transcranial in-vivo localization microscopy
- Author
-
Bureau, Flavien, Denis, Louise, Coudert, Antoine, Fink, Mathias, Couture, Olivier, and Aubry, Alexandre
- Subjects
Physics - Medical Physics ,Electrical Engineering and Systems Science - Image and Video Processing ,Physics - Applied Physics - Abstract
Transcranial ultrasound imaging is usually limited by skull-induced attenuation and high-order aberrations. By using contrast agents such as microbubbles in combination with ultrafast imaging, not only can the signal-to-noise ratio be improved, but super-resolution images down to the micrometer scale of the brain vessels can be obtained. However, ultrasound localization microscopy (ULM) remains impacted by wave-front distortions that limit the microbubble detection rate and hamper their localization. In this work, we show how matrix imaging, which relies on the prior recording of the reflection matrix, can provide a solution to those fundamental issues. As an experimental proof-of-concept, an in-vivo reconstruction of deep brain microvessels is performed on three anesthetized sheeps. The compensation of wave distortions is shown to drastically enhance the contrast and resolution of ULM. This experimental study thus opens up promising perspectives for a transcranial and non-ionizing observation of human cerebral microvascular pathologies, such as stroke., Comment: 43 pages, 11 figures, 3 tables
- Published
- 2024
45. Requirements for a Digital Library System: A Case Study in Digital Humanities (Technical Report)
- Author
-
Kroll, Hermann, Kreutz, Christin K., Jehn, Mathias, and Risse, Thomas
- Subjects
Computer Science - Digital Libraries - Abstract
Archives of libraries contain many materials, which have not yet been made available to the public. The prioritization of which content to provide and especially how to design effective access paths depend on potential users' needs. As a case study we interviewed researchers working on topics related to one German philosopher to map out their information interaction workflow. Additionally, we deeply analyze study participants' requirements for a digital library system. Moreover, we discuss how existing methods may meet their requirements and which implications these methods may have in a practical digital library setting, e.g., computational costs and hallucinations. In brief, this paper contributes the findings of our digital humanities case study resulting in system requirements., Comment: Technical Report of our accepted JCDL 2024 Poster, 6 pages
- Published
- 2024
46. Photometric detection of internal gravity waves in upper main-sequence stars. IV. Comparable stochastic low-frequency variability in SMC, LMC, and Galactic massive stars
- Author
-
Bowman, Dominic M., Van Daele, Pieterjan, Michielsen, Mathias, and Van Reeth, Timothy
- Subjects
Astrophysics - Solar and Stellar Astrophysics ,Astrophysics - Astrophysics of Galaxies - Abstract
Massive main-sequence stars have convective cores and radiative envelopes, but also sub-surface convection zones caused by partial ionisation. However, the convective properties depend on opacity and a star's metallicity. Non-rotating 1D evolution models of main-sequence stars with the metallicity of the SMC suggest tenuous sub-surface convection zones using the Rayleigh number as a criterion for convection owing to their lower metallicity. We test whether massive stars of different metallicities both inside and outside of asteroseismically calibrated stability windows for sub-surface convection exhibit different properties in stochastic low-frequency (SLF) variability. We extracted customised light curves from the TESS mission for a sample of massive stars using an effective point spread function (ePSF) method, and compared their morphologies in terms of characteristic frequency and amplitude using a Gaussian process (GP) regression methodology. We demonstrate that the properties of SLF variability are generally consistent across the metallicity range from the Milky Way down to the SMC, for stars both inside and outside of the sub-surface stability windows. We conclude that non-rotating 1D stellar structure models cannot alone be used to explain SLF variability in light curves of massive stars. The similar properties of SLF variability across a range of metallicity values, which follow the same trends in mass and age in the HR diagram at both high and low metallicity, support a transition in the dominant mechanism causing SLF variability from younger to more evolved stars. Specifically, core-excited internal gravity waves (IGWs) are favoured for younger stars lacking sub-surface convection zones, especially at low metallicity, and sub-surface convection zones are favoured for more evolved massive stars. (abstract abridged for arXiv), Comment: Accepted and in press, A&A (https://doi.org/10.1051/0004-6361/202451419)
- Published
- 2024
47. An elliptic proof of the splitting theorems from Lorentzian geometry
- Author
-
Braun, Mathias, Gigli, Nicola, McCann, Robert J., Ohanyan, Argam, and Sämann, Clemens
- Subjects
Mathematics - Differential Geometry ,Mathematical Physics ,Mathematics - Analysis of PDEs ,Mathematics - Metric Geometry ,83C75, 35J92 35Q75, 49Q22, 51K10, 53C21 53C50 58J05 - Abstract
We provide a new proof of the splitting theorems from Lorentzian geometry, in which simplicity is gained by sacrificing linearity of the d'Alembertian to recover ellipticity. We exploit a negative homogeneity (non-uniformly) elliptic $p$-d'Alembert operator for this purpose. This allows us to bring the Eschenburg, Galloway, and Newman Lorentzian splitting theorems into a framework closer to the Cheeger-Gromoll splitting theorem from Riemannian geometry., Comment: 34 pages
- Published
- 2024
48. Fractionalized Altermagnets: from neighboring and altermagnetic spin-liquids to fractionalized spin-orbit coupling
- Author
-
Sobral, João Augusto, Mandal, Subrata, and Scheurer, Mathias S.
- Subjects
Condensed Matter - Strongly Correlated Electrons - Abstract
We study quantum-fluctuation-driven fractionalized phases in the vicinity of altermagnetic order. First, the long-range magnetic orders in the vicinity of collinear altermagnetism are identified; these feature a non-coplanar "orbital altermagnet" which has altermagnetic symmetries in spin-rotation invariant observables. We then describe neighboring fractionalized phases with topological order reached when quantum fluctuations destroy long-range spin order, within Schwinger-boson theory and an SU(2) gauge theory of fluctuating magnetism. Discrete symmetries remain broken in some of the fractionalized phases, with the orbital altermagnet becoming an "altermagnetic spin liquid". We compute the electronic spectral function in the doped system, revealing "fractionalized spin-orbit coupling" characterized by split Fermi surfaces, reminiscent of conventional spin-orbit coupling, but with preserved spin-rotation symmetry., Comment: 5+12 pages, 3+1 figures
- Published
- 2024
49. Testing for unspecified periodicities in binary time series
- Author
-
Schmidtke, Finn and Vetter, Mathias
- Subjects
Mathematics - Statistics Theory ,62M10, 62M15, 62G10 - Abstract
Given independent random variables $Y_1, \ldots, Y_n$ with $Y_i \in \{0,1\}$ we test the hypothesis whether the underlying success probabilities $p_i$ are constant or whether they are periodic with an unspecified period length of $r \ge 2$. The test relies on an auxiliary integer $d$ which can be chosen arbitrarily, using which a new time series of length $d$ is constructed. For this new time series, the test statistic is derived according to the classical $g$ test by Fisher. Under the null hypothesis of a constant success probability it is shown that the test keeps the level asymptotically, while it has power for most alternatives, i.e. typically in the case of $r \ge 3$ and where $r$ and $d$ have common divisors.
- Published
- 2024
50. Boltzmann priors for Implicit Transfer Operators
- Author
-
Diez, Juan Viguera, Schreiner, Mathias, Engkvist, Ola, and Olsson, Simon
- Subjects
Physics - Chemical Physics - Abstract
Accurate prediction of thermodynamic properties is essential in drug discovery and materials science. Molecular dynamics (MD) simulations provide a principled approach to this task, yet they typically rely on prohibitively long sequential simulations. Implicit Transfer Operator (ITO) Learning offers a promising approach to address this limitation by enabling stable simulation with time steps orders of magnitude larger than MD. However, to train ITOs, we need extensive, unbiased MD data, limiting the scope of this framework. Here, we introduce Boltzmann Priors for ITO (BoPITO) to enhance ITO learning in two ways. First, BoPITO enables more efficient data generation, and second, it embeds inductive biases for long-term dynamical behavior, simultaneously improving sample efficiency by one order of magnitude and guaranteeing asymptotically unbiased equilibrium statistics. Further, we showcase the use of BoPITO in a new tunable sampling protocol interpolating ITO models trained on off-equilibrium simulation data and an unbiased equilibrium distribution to solve inverse problems in molecular science.
- Published
- 2024
Catalog
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.