-
Planetarium: A Rigorous Benchmark for Translating Text to Structured Planning Languages
Authors:
Max Zuo,
Francisco Piedrahita Velez,
Xiaochen Li,
Michael L. Littman,
Stephen H. Bach
Abstract:
Many recent works have explored using language models for planning problems. One line of research focuses on translating natural language descriptions of planning tasks into structured planning languages, such as the planning domain definition language (PDDL). While this approach is promising, accurately measuring the quality of generated PDDL code continues to pose significant challenges. First,…
▽ More
Many recent works have explored using language models for planning problems. One line of research focuses on translating natural language descriptions of planning tasks into structured planning languages, such as the planning domain definition language (PDDL). While this approach is promising, accurately measuring the quality of generated PDDL code continues to pose significant challenges. First, generated PDDL code is typically evaluated using planning validators that check whether the problem can be solved with a planner. This method is insufficient because a language model might generate valid PDDL code that does not align with the natural language description of the task. Second, existing evaluation sets often have natural language descriptions of the planning task that closely resemble the ground truth PDDL, reducing the challenge of the task. To bridge this gap, we introduce \benchmarkName, a benchmark designed to evaluate language models' ability to generate PDDL code from natural language descriptions of planning tasks. We begin by creating a PDDL equivalence algorithm that rigorously evaluates the correctness of PDDL code generated by language models by flexibly comparing it against a ground truth PDDL. Then, we present a dataset of $132,037$ text-to-PDDL pairs across 13 different tasks, with varying levels of difficulty. Finally, we evaluate several API-access and open-weight language models that reveal this task's complexity. For example, $87.6\%$ of the PDDL problem descriptions generated by GPT-4o are syntactically parseable, $82.2\%$ are valid, solve-able problems, but only $35.1\%$ are semantically correct, highlighting the need for a more rigorous benchmark for this problem.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
An Upper Limit on the Photoproduction Cross Section of the Spin-Exotic $π_1(1600)$
Authors:
F. Afzal,
C. S. Akondi,
M. Albrecht,
M. Amaryan,
S. Arrigo,
V. Arroyave,
A. Asaturyan,
A. Austregesilo,
Z. Baldwin,
F. Barbosa,
J. Barlow,
E. Barriga,
R. Barsotti,
D. Barton,
V. Baturin,
V. V. Berdnikov,
T. Black,
W. Boeglin,
M. Boer,
W. J. Briscoe,
T. Britton,
S. Cao,
E. Chudakov,
G. Chung,
P. L. Cole
, et al. (124 additional authors not shown)
Abstract:
The spin-exotic hybrid meson $π_{1}(1600)$ is predicted to have a large decay rate to the $ωππ$ final state. Using 76.6~pb$^{-1}$ of data collected with the GlueX detector, we measure the cross sections for the reactions $γp \to ωπ^+ π^- p$, $γp \to ωπ^0 π^0 p$, and $γp\toωπ^-π^0Δ^{++}$ in the range $E_γ=$ 8-10 GeV. Using isospin conservation, we set the first upper limits on the photoproduction c…
▽ More
The spin-exotic hybrid meson $π_{1}(1600)$ is predicted to have a large decay rate to the $ωππ$ final state. Using 76.6~pb$^{-1}$ of data collected with the GlueX detector, we measure the cross sections for the reactions $γp \to ωπ^+ π^- p$, $γp \to ωπ^0 π^0 p$, and $γp\toωπ^-π^0Δ^{++}$ in the range $E_γ=$ 8-10 GeV. Using isospin conservation, we set the first upper limits on the photoproduction cross sections of the $π^{0}_{1}(1600)$ and $π^{-}_{1}(1600)$. We combine these limits with lattice calculations of decay widths and find that photoproduction of $η'π$ is the most sensitive two-body system to search for the $π_1(1600)$.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
Synthesizing data products, mathematical models, and observational measurements for lake temperature forecasting
Authors:
Maike F. Holthuijzen,
Robert B. Gramacy,
Cayelan C. Carey,
Dave M. Higdon,
R. Quinn Thomas
Abstract:
We present a novel forecasting framework for lake water temperature profiles, crucial for managing lake ecosystems and drinking water resources. The General Lake Model (GLM), a one-dimensional process-based model, has been widely used for this purpose, but, similar to many process-based simulation models, it: requires a large number of input variables, many of which are stochastic; presents challe…
▽ More
We present a novel forecasting framework for lake water temperature profiles, crucial for managing lake ecosystems and drinking water resources. The General Lake Model (GLM), a one-dimensional process-based model, has been widely used for this purpose, but, similar to many process-based simulation models, it: requires a large number of input variables, many of which are stochastic; presents challenges for uncertainty quantification (UQ); and can exhibit model bias. To address these issues, we propose a Gaussian process (GP) surrogate-based forecasting approach that efficiently handles large, high-dimensional data and accounts for input-dependent variability and systematic GLM bias. We validate the proposed approach and compare it with other forecasting methods, including a climatological model and raw GLM simulations. Our results demonstrate that our bias-corrected GP surrogate (GPBC) can outperform competing approaches in terms of forecast accuracy and UQ up to two weeks into the future.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
HoloHisto: End-to-end Gigapixel WSI Segmentation with 4K Resolution Sequential Tokenization
Authors:
Yucheng Tang,
Yufan He,
Vishwesh Nath,
Pengfeig Guo,
Ruining Deng,
Tianyuan Yao,
Quan Liu,
Can Cui,
Mengmeng Yin,
Ziyue Xu,
Holger Roth,
Daguang Xu,
Haichun Yang,
Yuankai Huo
Abstract:
In digital pathology, the traditional method for deep learning-based image segmentation typically involves a two-stage process: initially segmenting high-resolution whole slide images (WSI) into smaller patches (e.g., 256x256, 512x512, 1024x1024) and subsequently reconstructing them to their original scale. This method often struggles to capture the complex details and vast scope of WSIs. In this…
▽ More
In digital pathology, the traditional method for deep learning-based image segmentation typically involves a two-stage process: initially segmenting high-resolution whole slide images (WSI) into smaller patches (e.g., 256x256, 512x512, 1024x1024) and subsequently reconstructing them to their original scale. This method often struggles to capture the complex details and vast scope of WSIs. In this paper, we propose the holistic histopathology (HoloHisto) segmentation method to achieve end-to-end segmentation on gigapixel WSIs, whose maximum resolution is above 80,000$\times$70,000 pixels. HoloHisto fundamentally shifts the paradigm of WSI segmentation to an end-to-end learning fashion with 1) a large (4K) resolution base patch for elevated visual information inclusion and efficient processing, and 2) a novel sequential tokenization mechanism to properly model the contextual relationships and efficiently model the rich information from the 4K input. To our best knowledge, HoloHisto presents the first holistic approach for gigapixel resolution WSI segmentation, supporting direct I/O of complete WSI and their corresponding gigapixel masks. Under the HoloHisto platform, we unveil a random 4K sampler that transcends ultra-high resolution, delivering 31 and 10 times more pixels than standard 2D and 3D patches, respectively, for advancing computational capabilities. To facilitate efficient 4K resolution dense prediction, we leverage sequential tokenization, utilizing a pre-trained image tokenizer to group image features into a discrete token grid. To assess the performance, our team curated a new kidney pathology image segmentation (KPIs) dataset with WSI-level glomeruli segmentation from whole mouse kidneys. From the results, HoloHisto-4K delivers remarkable performance gains over previous state-of-the-art models.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
Biomechanics-informed Non-rigid Medical Image Registration and its Inverse Material Property Estimation with Linear and Nonlinear Elasticity
Authors:
Zhe Min,
Zachary M. C. Baum,
Shaheer U. Saeed,
Mark Emberton,
Dean C. Barratt,
Zeike A. Taylor,
Yipeng Hu
Abstract:
This paper investigates both biomechanical-constrained non-rigid medical image registrations and accurate identifications of material properties for soft tissues, using physics-informed neural networks (PINNs). The complex nonlinear elasticity theory is leveraged to formally establish the partial differential equations (PDEs) representing physics laws of biomechanical constraints that need to be s…
▽ More
This paper investigates both biomechanical-constrained non-rigid medical image registrations and accurate identifications of material properties for soft tissues, using physics-informed neural networks (PINNs). The complex nonlinear elasticity theory is leveraged to formally establish the partial differential equations (PDEs) representing physics laws of biomechanical constraints that need to be satisfied, with which registration and identification tasks are treated as forward (i.e., data-driven solutions of PDEs) and inverse (i.e., parameter estimation) problems under PINNs respectively. Two net configurations (i.e., Cfg1 and Cfg2) have also been compared for both linear and nonlinear physics model. Two sets of experiments have been conducted, using pairs of undeformed and deformed MR images from clinical cases of prostate cancer biopsy.
Our contributions are summarised as follows. 1) We developed a learning-based biomechanical-constrained non-rigid registration algorithm using PINNs, where linear elasticity is generalised to the nonlinear version. 2) We demonstrated extensively that nonlinear elasticity shows no statistical significance against linear models in computing point-wise displacement vectors but their respective benefits may depend on specific patients, with finite-element (FE) computed ground-truth. 3) We formulated and solved the inverse parameter estimation problem, under the joint optimisation scheme of registration and parameter identification using PINNs, whose solutions can be accurately found by locating saddle points.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
Large Language Models for JSON Schema Discovery
Authors:
Michael J. Mior
Abstract:
Semi-structured data formats such as JSON have proved to be useful data models for applications that require flexibility in the format of data stored. However, JSON data often come without the schemas that are typically available with relational data. This has resulted in a number of tools for discovering schemas from a collection of data. Although such tools can be useful, existing approaches foc…
▽ More
Semi-structured data formats such as JSON have proved to be useful data models for applications that require flexibility in the format of data stored. However, JSON data often come without the schemas that are typically available with relational data. This has resulted in a number of tools for discovering schemas from a collection of data. Although such tools can be useful, existing approaches focus on the syntax of documents and ignore semantic information.
In this work, we explore the automatic addition of meaningful semantic information to discovered schemas similar to information that is added by human schema authors. We leverage large language models and a corpus of manually authored JSON Schema documents to generate natural language descriptions of schema elements, meaningful names for reusable definitions, and identify which discovered properties are most useful and which can be considered "noise". Our approach performs well on existing metrics for text generation that have been previously shown to correlate well with human judgement.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
Aligning Planet-Hosting Binaries via Dissipative Precession in Circumstellar Disks
Authors:
Konstantin Gerbig,
Malena Rice,
J. J. Zanazzi,
Sam Christian,
Andrew Vanderburg
Abstract:
Recent observations have demonstrated that some subset of even moderately wide-separation planet-hosting binaries are preferentially configured such that planetary and binary orbits appear to lie within the same plane. In this work, we explore dissipation during the protoplanetary disk phase, induced by disk war** as the system is forced into nodal recession by an inclined binary companion as a…
▽ More
Recent observations have demonstrated that some subset of even moderately wide-separation planet-hosting binaries are preferentially configured such that planetary and binary orbits appear to lie within the same plane. In this work, we explore dissipation during the protoplanetary disk phase, induced by disk war** as the system is forced into nodal recession by an inclined binary companion as a possible avenue of achieving orbit-orbit alignment. We analytically model the coupled evolution of the disk angular momentum vector and stellar spin vector under the influence of a distant binary companion. We find that a population of systems with random initial orientations can appear detectably more aligned after undergoing dissipative precession, and that this process can simultaneously produce an obliquity distribution that is consistent with observations. While dissipative precession proceeds efficiently in close binaries, favorable system properties (e.g., $r_{out} \gtrsim 100$ AU, $α\gtrsim 0.05$, and/or $M_b/M_{*} \gtrsim 1$) are required to reproduce observed alignment trends at wider binary separations $a_\mathrm{b} \gtrsim450$ AU. Our framework further predicts that circum-primary planets in systems with high stellar mass ratios should be preferentially less aligned than planets in equal-mass stellar binary systems. We discover tentative evidence for this trend in \textit{Gaia} DR3 and TESS data. Our findings suggest that dissipative precession may play a significant role in sculpting orbital configurations in a sub-set of moderately-wide planet-hosting binaries, but is likely not solely responsible for their observed population-level alignment.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
From B Specifications to $\{log$\}$ Forgrams
Authors:
Maximiliano Cristiá
Abstract:
In this class notes students can learn how B specifications can be translated into $\{log$\}$ forgrams, how these forgrams can be executed and how they can be proved to verify some properties.
In this class notes students can learn how B specifications can be translated into $\{log$\}$ forgrams, how these forgrams can be executed and how they can be proved to verify some properties.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
Cooperative Multi-Agent Deep Reinforcement Learning Methods for UAV-aided Mobile Edge Computing Networks
Authors:
Mintae Kim,
Hoon Lee,
Sangwon Hwang,
Merouane Debbah,
Inkyu Lee
Abstract:
This paper presents a cooperative multi-agent deep reinforcement learning (MADRL) approach for unmmaned aerial vehicle (UAV)-aided mobile edge computing (MEC) networks. An UAV with computing capability can provide task offlaoding services to ground internet-of-things devices (IDs). With partial observation of the entire network state, the UAV and the IDs individually determine their MEC strategies…
▽ More
This paper presents a cooperative multi-agent deep reinforcement learning (MADRL) approach for unmmaned aerial vehicle (UAV)-aided mobile edge computing (MEC) networks. An UAV with computing capability can provide task offlaoding services to ground internet-of-things devices (IDs). With partial observation of the entire network state, the UAV and the IDs individually determine their MEC strategies, i.e., UAV trajectory, resource allocation, and task offloading policy. This requires joint optimization of decision-making process and coordination strategies among the UAV and the IDs. To address this difficulty, the proposed cooperative MADRL approach computes two types of action variables, namely message action and solution action, each of which is generated by dedicated actor neural networks (NNs). As a result, each agent can automatically encapsulate its coordination messages to enhance the MEC performance in the decentralized manner. The proposed actor structure is designed based on graph attention networks such that operations are possible regardless of the number of IDs. A scalable training algorithm is also proposed to train a group of NNs for arbitrary network configurations. Numerical results demonstrate the superiority of the proposed cooperative MADRL approach over conventional methods.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
Finely Stratified Rerandomization Designs
Authors:
Max Cytrynbaum
Abstract:
We study estimation and inference on causal parameters under finely stratified rerandomization designs, which use baseline covariates to match units into groups (e.g. matched pairs), then rerandomize within-group treatment assignments until a balance criterion is satisfied. We show that finely stratified rerandomization does partially linear regression adjustment by design, providing nonparametric…
▽ More
We study estimation and inference on causal parameters under finely stratified rerandomization designs, which use baseline covariates to match units into groups (e.g. matched pairs), then rerandomize within-group treatment assignments until a balance criterion is satisfied. We show that finely stratified rerandomization does partially linear regression adjustment by design, providing nonparametric control over the covariates used for stratification, and linear control over the rerandomization covariates. We also introduce novel rerandomization criteria, allowing for nonlinear imbalance metrics and proposing a minimax scheme that optimizes the balance criterion using pilot data or prior information provided by the researcher. While the asymptotic distribution of generalized method of moments (GMM) estimators under stratified rerandomization is generically non-Gaussian, we show how to restore asymptotic normality using optimal ex-post linear adjustment. This allows us to provide simple asymptotically exact inference methods for superpopulation parameters, as well as efficient conservative inference methods for finite population parameters.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
Using Photoplethysmography to Detect Real-time Blood Pressure Changes with a Calibration-free Deep Learning Model
Authors:
**gyuan Hong,
Manasi Nandi,
Weiwei **,
Jordi Alastruey
Abstract:
Blood pressure (BP) changes are linked to individual health status in both clinical and non-clinical settings. This study developed a deep learning model to classify systolic (SBP), diastolic (DBP), and mean (MBP) BP changes using photoplethysmography (PPG) waveforms. Data from the Vital Signs Database (VitalDB) comprising 1,005 ICU patients with synchronized PPG and BP recordings was used. BP cha…
▽ More
Blood pressure (BP) changes are linked to individual health status in both clinical and non-clinical settings. This study developed a deep learning model to classify systolic (SBP), diastolic (DBP), and mean (MBP) BP changes using photoplethysmography (PPG) waveforms. Data from the Vital Signs Database (VitalDB) comprising 1,005 ICU patients with synchronized PPG and BP recordings was used. BP changes were categorized into three labels: Spike (increase above a threshold), Stable (change within a plus or minus threshold), and Dip (decrease below a threshold). Four time-series classification models were studied: multi-layer perceptron, convolutional neural network, residual network, and Encoder. A subset of 500 patients was randomly selected for training and validation, ensuring a uniform distribution across BP change labels. Two test datasets were compiled: Test-I (n=500) with a uniform distribution selection process, and Test-II (n=5) without. The study also explored the impact of including second-deviation PPG (sdPPG) waveforms as additional input information. The Encoder model with a Softmax weighting process using both PPG and sdPPG waveforms achieved the highest detection accuracy--exceeding 71.3% and 85.4% in Test-I and Test-II, respectively, with thresholds of 30 mmHg for SBP, 15 mmHg for DBP, and 20 mmHg for MBP. Corresponding F1-scores were over 71.8% and 88.5%. These findings confirm that PPG waveforms are effective for real-time monitoring of BP changes in ICU settings and suggest potential for broader applications.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
Global Out of Time Order Correlators as a Signature of Scrambling Dynamics of Local Observables
Authors:
Fabricio S. Lozano-Negro,
Claudia M. Sánchez,
Ana K. Chattah,
Gonzalo A. Álvarez,
Horacio M. Pastawski
Abstract:
Out-of-Time-Order Correlators (OTOCs) serve as a proxy for quantum information scrambling, which refers to the process where information stored locally disperses across the many-body degrees of freedom in a quantum system, rendering it inaccessible to local probes. Most experimental implementations of OTOCs to probe information scrambling rely on indirect measurements based on global observables,…
▽ More
Out-of-Time-Order Correlators (OTOCs) serve as a proxy for quantum information scrambling, which refers to the process where information stored locally disperses across the many-body degrees of freedom in a quantum system, rendering it inaccessible to local probes. Most experimental implementations of OTOCs to probe information scrambling rely on indirect measurements based on global observables, using techniques such as Loschmidt echoes and Multiple Quantum Coherences, via time reversal evolutions. In this article, we establish a direct connection between OTOCs with global and local observables in the context of NMR experiments, where the observable is the total magnetization of the system. We conduct a numerical analysis to quantify the differences in the evolution of both magnitudes, evaluating the excitation dynamics in spin ring systems with 8 to 16 spins, using a many-body Hamiltonian and long-range interactions. Our analysis decomposes the global echo into a sum of local echoes and cross-contributions, leading to local and global OTOCs. The results indicate that, after an initial transient period, local OTOCs determine the global ones. To confirm the equivalence, we observe that the difference between local and global OTOCs, as well as their fluctuations, becomes negligible as the system size increases. This behavior aligns with that observed in highly interacting or chaotic systems in several experiments.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
Timing of millisecond pulsars in NGC\,6752 -- III. On the presence of non-luminous matter in the cluster's core
Authors:
A. Corongiu,
A. Ridolfi,
F. Abbate,
M. Bailes,
A. Possenti,
M. Geyer,
R. N. Manchester,
M. Kramer,
P. C. C. Freire,
M. Burgay,
S. Buchner,
F. Camilo
Abstract:
Millisecond pulsars are subject to accelerations in globular clusters that manifest themselves in both the first and second spin period time derivatives, and can be used to explore the mass distribution of the potentials they inhabit. Here we report on over 20 years of pulsar timing observations of five millisecond radio pulsars in the core of the core-collapse globular cluster NGC\,6752 with the…
▽ More
Millisecond pulsars are subject to accelerations in globular clusters that manifest themselves in both the first and second spin period time derivatives, and can be used to explore the mass distribution of the potentials they inhabit. Here we report on over 20 years of pulsar timing observations of five millisecond radio pulsars in the core of the core-collapse globular cluster NGC\,6752 with the Parkes (Murriyang) and MeerKAT radio telescopes, that have allowed us to measure the proper motions, positions and first and second time derivatives of the pulsars. The pulsar timing parameters indicate that all the pulsars in the core experience accelerations and jerks that can be explained only if an amount of non-luminous mass of at least $2.56\times10^3M_\odot$ is resent in the core of NGC\,6752. On the other hand, our studies highly disfavour the presence of an intermediate mass black hole at the center of the cluster, with a mass equal to or greater than $\sim3000M_\odot$.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
For a semiotic AI: Bridging computer vision and visual semiotics for computational observation of large scale facial image archives
Authors:
Lia Morra,
Antonio Santangelo,
Pietro Basci,
Luca Piano,
Fabio Garcea,
Fabrizio Lamberti,
Massimo Leone
Abstract:
Social networks are creating a digital world in which the cognitive, emotional, and pragmatic value of the imagery of human faces and bodies is arguably changing. However, researchers in the digital humanities are often ill-equipped to study these phenomena at scale. This work presents FRESCO (Face Representation in E-Societies through Computational Observation), a framework designed to explore th…
▽ More
Social networks are creating a digital world in which the cognitive, emotional, and pragmatic value of the imagery of human faces and bodies is arguably changing. However, researchers in the digital humanities are often ill-equipped to study these phenomena at scale. This work presents FRESCO (Face Representation in E-Societies through Computational Observation), a framework designed to explore the socio-cultural implications of images on social media platforms at scale. FRESCO deconstructs images into numerical and categorical variables using state-of-the-art computer vision techniques, aligning with the principles of visual semiotics. The framework analyzes images across three levels: the plastic level, encompassing fundamental visual features like lines and colors; the figurative level, representing specific entities or concepts; and the enunciation level, which focuses particularly on constructing the point of view of the spectator and observer. These levels are analyzed to discern deeper narrative layers within the imagery. Experimental validation confirms the reliability and utility of FRESCO, and we assess its consistency and precision across two public datasets. Subsequently, we introduce the FRESCO score, a metric derived from the framework's output that serves as a reliable measure of similarity in image content.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
Insulator-to-Metal Transition and Isotropic Gigantic Magnetoresistance in Layered Magnetic Semiconductors
Authors:
Gokul Acharya,
Bimal Neupane,
Chia-Hsiu Hsu,
Xian P. Yang,
David Graf,
Eun Sang Choi,
Krishna Pandey,
Md Rafique Un Nabi,
Santosh Karki Chhetri,
Rabindra Basnet,
Sumaya Rahman,
Jian Wang,
Zhengxin Hu,
Bo Da,
Hugh Churchill,
Guoqing Chang,
M. Zahid Hasan,
Yuanxi Wang,
** Hu
Abstract:
Magnetotransport, the response of electrical conduction to external magnetic field, acts as an important tool to reveal fundamental concepts behind exotic phenomena and plays a key role in enabling spintronic applications. Magnetotransport is generally sensitive to magnetic field orientations. In contrast, efficient and isotropic modulation of electronic transport, which is useful in technology ap…
▽ More
Magnetotransport, the response of electrical conduction to external magnetic field, acts as an important tool to reveal fundamental concepts behind exotic phenomena and plays a key role in enabling spintronic applications. Magnetotransport is generally sensitive to magnetic field orientations. In contrast, efficient and isotropic modulation of electronic transport, which is useful in technology applications such as omnidirectional sensing, is rarely seen, especially for pristine crystals. Here we propose a strategy to realize extremely strong modulation of electron conduction by magnetic field which is independent of field direction. GdPS, a layered antiferromagnetic semiconductor with resistivity anisotropies, supports a field-driven insulator-to-metal transition with a paradoxically isotropic gigantic negative magnetoresistance insensitive to magnetic field orientations. This isotropic magnetoresistance originates from the combined effects of a near-zero spin-orbit coupling of Gd3+-based half-filling f-electron system and the strong on-site f-d exchange coupling in Gd atoms. Our results not only provide a novel material system with extraordinary magnetotransport that offers a missing block for antiferromagnet-based ultrafast and efficient spintronic devices, but also demonstrate the key ingredients for designing magnetic materials with desired transport properties for advanced functionalities.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
Policymaker meetings as heteroscedasticity shifters: Identification and simultaneous inference in unstable SVARs
Authors:
Bulat Gafarov,
Madina Karamysheva,
Andrey Polbin,
Anton Skrobotov
Abstract:
We propose a novel approach to identification in structural vector autoregressions (SVARs) that uses external instruments for heteroscedasticiy of a structural shock of interest. This approach does not require lead/lag exogeneity for identification, does not require heteroskedasticity to be persistent, and facilitates interpretation of the structural shocks. To implement this identification approa…
▽ More
We propose a novel approach to identification in structural vector autoregressions (SVARs) that uses external instruments for heteroscedasticiy of a structural shock of interest. This approach does not require lead/lag exogeneity for identification, does not require heteroskedasticity to be persistent, and facilitates interpretation of the structural shocks. To implement this identification approach in applications, we develop a new method for simultaneous inference of structural impulse responses and other parameters, employing a dependent wild-bootstrap of local projection estimators. This method is robust to an arbitrary number of unit roots and cointegration relationships, time-varying local means and drifts, and conditional heteroskedasticity of unknown form and can be used with other identification schemes, including Cholesky and the conventional external IV. We show how to construct pointwise and simultaneous confidence bounds for structural impulse responses and how to compute smoothed local projections with the corresponding confidence bounds. Using simulated data from a standard log-linearized DSGE model, we show that the method can reliably recover the true impulse responses in realistic datasets. As an empirical application, we adopt the proposed method in order to identify monetary policy shock using the dates of FOMC meetings in a standard six-variable VAR. The robustness of our identification and inference methods allows us to construct an instrumental variable for monetary policy shock that dates back to 1965. The resulting impulse response functions for all variables align with the classical Cholesky identification scheme and are different from the narrative sign restricted Bayesian VAR estimates. In particular, the response to inflation manifests a price puzzle that is indicative of the cost channel of the interest rates.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
Magnetic Hysteresis Modeling with Neural Operators
Authors:
Abhishek Chandra,
Bram Daniels,
Mitrofan Curti,
Koen Tiels,
Elena A. Lomonova
Abstract:
Hysteresis modeling is crucial to comprehend the behavior of magnetic devices, facilitating optimal designs. Hitherto, deep learning-based methods employed to model hysteresis, face challenges in generalizing to novel input magnetic fields. This paper addresses the generalization challenge by proposing neural operators for modeling constitutive laws that exhibit magnetic hysteresis by learning a m…
▽ More
Hysteresis modeling is crucial to comprehend the behavior of magnetic devices, facilitating optimal designs. Hitherto, deep learning-based methods employed to model hysteresis, face challenges in generalizing to novel input magnetic fields. This paper addresses the generalization challenge by proposing neural operators for modeling constitutive laws that exhibit magnetic hysteresis by learning a map** between magnetic fields. In particular, two prominent neural operators -- deep operator network and Fourier neural operator -- are employed to predict novel first-order reversal curves and minor loops, where novel means they are not used to train the model. In addition, a rate-independent Fourier neural operator is proposed to predict material responses at sampling rates different from those used during training to incorporate the rate-independent characteristics of magnetic hysteresis. The presented numerical experiments demonstrate that neural operators efficiently model magnetic hysteresis, outperforming the traditional neural recurrent methods on various metrics and generalizing to novel magnetic fields. The findings emphasize the advantages of using neural operators for modeling hysteresis under varying magnetic conditions, underscoring their importance in characterizing magnetic material based devices.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
Covariant Phase Space Formalism for Fluctuating Boundaries
Authors:
H. Adami,
M. Golshani,
M. M. Sheikh-Jabbari,
V. Taghiloo,
M. H. Vahidinia
Abstract:
We reconsider formulating $D$ dimensional gauge theories, with the focus on the case of gravity theories, in spacetimes with boundaries. We extend covariant phase space formalism to the cases in which boundaries are allowed to fluctuate. We analyze the symplectic form, the freedoms (ambiguities), and its conservation for this case. We show that boundary fluctuations render all the surface charges…
▽ More
We reconsider formulating $D$ dimensional gauge theories, with the focus on the case of gravity theories, in spacetimes with boundaries. We extend covariant phase space formalism to the cases in which boundaries are allowed to fluctuate. We analyze the symplectic form, the freedoms (ambiguities), and its conservation for this case. We show that boundary fluctuations render all the surface charges integrable. We study the algebra of charges and its central extensions, charge conservation, and fluxes. We briefly comment on memory effects and questions regarding semiclassical aspects of black holes in the fluctuating boundary setup.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
Feynman checkers: through the looking-glass
Authors:
Fedor Ozhegov,
Mikhail Skopenkov,
Alexey Ustinov
Abstract:
Feynman gave a famous elementary introduction to quantum theory by discussing the thin-film reflection of light. We make his discussion mathematically rigorous, kee** it elementary, using his other idea. The resulting model leads to accurate quantitative results and allows us to derive a well-known formula from optics. In the process, we get acquainted with mathematical tools such as Smirnov's f…
▽ More
Feynman gave a famous elementary introduction to quantum theory by discussing the thin-film reflection of light. We make his discussion mathematically rigorous, kee** it elementary, using his other idea. The resulting model leads to accurate quantitative results and allows us to derive a well-known formula from optics. In the process, we get acquainted with mathematical tools such as Smirnov's fermionic observables, transfer matrices, and spectral radii. Quantum walks and the six-vertex model arise as the next step in this direction.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
ACTRESS: Active Retraining for Semi-supervised Visual Grounding
Authors:
Weitai Kang,
Mengxue Qu,
Yunchao Wei,
Yan Yan
Abstract:
Semi-Supervised Visual Grounding (SSVG) is a new challenge for its sparse labeled data with the need for multimodel understanding. A previous study, RefTeacher, makes the first attempt to tackle this task by adopting the teacher-student framework to provide pseudo confidence supervision and attention-based supervision. However, this approach is incompatible with current state-of-the-art visual gro…
▽ More
Semi-Supervised Visual Grounding (SSVG) is a new challenge for its sparse labeled data with the need for multimodel understanding. A previous study, RefTeacher, makes the first attempt to tackle this task by adopting the teacher-student framework to provide pseudo confidence supervision and attention-based supervision. However, this approach is incompatible with current state-of-the-art visual grounding models, which follow the Transformer-based pipeline. These pipelines directly regress results without region proposals or foreground binary classification, rendering them unsuitable for fitting in RefTeacher due to the absence of confidence scores. Furthermore, the geometric difference in teacher and student inputs, stemming from different data augmentations, induces natural misalignment in attention-based constraints. To establish a compatible SSVG framework, our paper proposes the ACTive REtraining approach for Semi-Supervised Visual Grounding, abbreviated as ACTRESS. Initially, the model is enhanced by incorporating an additional quantized detection head to expose its detection confidence. Building upon this, ACTRESS consists of an active sampling strategy and a selective retraining strategy. The active sampling strategy iteratively selects high-quality pseudo labels by evaluating three crucial aspects: Faithfulness, Robustness, and Confidence, optimizing the utilization of unlabeled data. The selective retraining strategy retrains the model with periodic re-initialization of specific parameters, facilitating the model's escape from local minima. Extensive experiments demonstrates our superior performance on widely-used benchmark datasets.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
Quantum coarsening and collective dynamics on a programmable quantum simulator
Authors:
Tom Manovitz,
Sophie H. Li,
Sepehr Ebadi,
Rhine Samajdar,
Alexandra A. Geim,
Simon J. Evered,
Dolev Bluvstein,
Hengyun Zhou,
Nazli Uğur Köylüoğlu,
Johannes Feldmeier,
Pavel E. Dolgirev,
Nishad Maskara,
Marcin Kalinowski,
Subir Sachdev,
David A. Huse,
Markus Greiner,
Vladan Vuletić,
Mikhail D. Lukin
Abstract:
Understanding the collective quantum dynamics of nonequilibrium many-body systems is an outstanding challenge in quantum science. In particular, dynamics driven by quantum fluctuations are important for the formation of exotic quantum phases of matter \cite{altman2023quantum}, fundamental high-energy processes \cite{bauer2023highenergy}, quantum metrology \cite{degen2017sensing, li2023scrambling},…
▽ More
Understanding the collective quantum dynamics of nonequilibrium many-body systems is an outstanding challenge in quantum science. In particular, dynamics driven by quantum fluctuations are important for the formation of exotic quantum phases of matter \cite{altman2023quantum}, fundamental high-energy processes \cite{bauer2023highenergy}, quantum metrology \cite{degen2017sensing, li2023scrambling}, and quantum algorithms \cite{ebadi2022quantum}. Here, we use a programmable quantum simulator based on Rydberg atom arrays to experimentally study collective dynamics across a (2+1)D Ising quantum phase transition. After crossing the quantum critical point, we observe a gradual growth of correlations through coarsening of antiferromagnetically ordered domains~\cite{Samajdar2024}. By deterministically preparing and following the evolution of ordered domains, we show that the coarsening is driven by the curvature of domain boundaries, and find that the dynamics accelerate with proximity to the quantum critical point. We quantitatively explore these phenomena and further observe long-lived oscillations of the order parameter, corresponding to an amplitude (Higgs) mode \cite{pekker2015amplitude}. These observations offer a unique viewpoint into emergent collective dynamics in strongly correlated quantum systems and nonequilibrium quantum processes.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
Bridging Model Heterogeneity in Federated Learning via Uncertainty-based Asymmetrical Reciprocity Learning
Authors:
Jiaqi Wang,
Chenxu Zhao,
Lingjuan Lyu,
Quanzeng You,
Mengdi Huai,
Fenglong Ma
Abstract:
This paper presents FedType, a simple yet pioneering framework designed to fill research gaps in heterogeneous model aggregation within federated learning (FL). FedType introduces small identical proxy models for clients, serving as agents for information exchange, ensuring model security, and achieving efficient communication simultaneously. To transfer knowledge between large private and small p…
▽ More
This paper presents FedType, a simple yet pioneering framework designed to fill research gaps in heterogeneous model aggregation within federated learning (FL). FedType introduces small identical proxy models for clients, serving as agents for information exchange, ensuring model security, and achieving efficient communication simultaneously. To transfer knowledge between large private and small proxy models on clients, we propose a novel uncertainty-based asymmetrical reciprocity learning method, eliminating the need for any public data. Comprehensive experiments conducted on benchmark datasets demonstrate the efficacy and generalization ability of FedType across diverse settings. Our approach redefines federated learning paradigms by bridging model heterogeneity, eliminating reliance on public data, prioritizing client privacy, and reducing communication costs.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
Picosecond lifetimes of hydrogen bonds in the halide perovskite CH$_3$NH$_3$PbBr$_3$
Authors:
Alejandro Garrote-Márquez,
Lucas Lodeiro,
Norge Cruz Hernández,
Xia Liang,
Aron Walsh,
Eduardo Menéndez-Proupin
Abstract:
The structures and properties of organic-inorganic perovskites are influenced by the hydrogen bonding between the organic cations and the inorganic octahedral networks. This study explores the dynamics of hydrogen bonds in CH$_3$NH$_3$PbBr$_3$ across a temperature range from 70 K to 350 K, using molecular dynamics simulations with machine-learning force fields. The results indicate that the lifeti…
▽ More
The structures and properties of organic-inorganic perovskites are influenced by the hydrogen bonding between the organic cations and the inorganic octahedral networks. This study explores the dynamics of hydrogen bonds in CH$_3$NH$_3$PbBr$_3$ across a temperature range from 70 K to 350 K, using molecular dynamics simulations with machine-learning force fields. The results indicate that the lifetime of hydrogen bonds decreases with increasing temperature from 7.6 ps (70 K) to 0.16 ps (350 K), exhibiting Arrhenius-type behaviour. The geometric conditions for hydrogen bonding, which include bond lengths and angles, maintain consistency across the full temperature range. The relevance of hydrogen bonds for the vibrational states of the material is also evidenced through a detailed analysis of the vibrational power spectra, demonstrating their significant effect on the physical properties for this class of perovskites.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
Terrain Classification Enhanced with Uncertainty for Space Exploration Robots from Proprioceptive Data
Authors:
Mariela De Lucas Álvarez,
Jichen Guo,
Raul Domínguez,
Matias Valdenegro-Toro
Abstract:
Terrain Classification is an essential task in space exploration, where unpredictable environments are difficult to observe using only exteroceptive sensors such as vision. Implementing Neural Network classifiers can have high performance but can be deemed untrustworthy as they lack transparency, which makes them unreliable for taking high-stakes decisions during mission planning. We address this…
▽ More
Terrain Classification is an essential task in space exploration, where unpredictable environments are difficult to observe using only exteroceptive sensors such as vision. Implementing Neural Network classifiers can have high performance but can be deemed untrustworthy as they lack transparency, which makes them unreliable for taking high-stakes decisions during mission planning. We address this by proposing Neural Networks with Uncertainty Quantification in Terrain Classification. We enable our Neural Networks with Monte Carlo Dropout, DropConnect, and Flipout in time series-capable architectures using only proprioceptive data as input. We use Bayesian Optimization with Hyperband for efficient hyperparameter optimization to find optimal models for trustworthy terrain classification.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
Cyclic Refiner: Object-Aware Temporal Representation Learning for Multi-View 3D Detection and Tracking
Authors:
Mingzhe Guo,
Zhipeng Zhang,
Li** **g,
Yuan He,
Ke Wang,
Heng Fan
Abstract:
We propose a unified object-aware temporal learning framework for multi-view 3D detection and tracking tasks. Having observed that the efficacy of the temporal fusion strategy in recent multi-view perception methods may be weakened by distractors and background clutters in historical frames, we propose a cyclic learning mechanism to improve the robustness of multi-view representation learning. The…
▽ More
We propose a unified object-aware temporal learning framework for multi-view 3D detection and tracking tasks. Having observed that the efficacy of the temporal fusion strategy in recent multi-view perception methods may be weakened by distractors and background clutters in historical frames, we propose a cyclic learning mechanism to improve the robustness of multi-view representation learning. The essence is constructing a backward bridge to propagate information from model predictions (e.g., object locations and sizes) to image and BEV features, which forms a circle with regular inference. After backward refinement, the responses of target-irrelevant regions in historical frames would be suppressed, decreasing the risk of polluting future frames and improving the object awareness ability of temporal fusion. We further tailor an object-aware association strategy for tracking based on the cyclic learning model. The cyclic learning model not only provides refined features, but also delivers finer clues (e.g., scale level) for tracklet association. The proposed cycle learning method and association module together contribute a novel and unified multi-task framework. Experiments on nuScenes show that the proposed model achieves consistent performance gains over baselines of different designs (i.e., dense query-based BEVFormer, sparse query-based SparseBEV and LSS-based BEVDet4D) on both detection and tracking evaluation.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
Solving the inverse problem of microscopy deconvolution with a residual Beylkin-Coifman-Rokhlin neural network
Authors:
Rui Li,
Mikhail Kudryashev,
Artur Yakimovich
Abstract:
Optic deconvolution in light microscopy (LM) refers to recovering the object details from images, revealing the ground truth of samples. Traditional explicit methods in LM rely on the point spread function (PSF) during image acquisition. Yet, these approaches often fall short due to inaccurate PSF models and noise artifacts, hampering the overall restoration quality. In this paper, we approached t…
▽ More
Optic deconvolution in light microscopy (LM) refers to recovering the object details from images, revealing the ground truth of samples. Traditional explicit methods in LM rely on the point spread function (PSF) during image acquisition. Yet, these approaches often fall short due to inaccurate PSF models and noise artifacts, hampering the overall restoration quality. In this paper, we approached the optic deconvolution as an inverse problem. Motivated by the nonstandard-form compression scheme introduced by Beylkin, Coifman, and Rokhlin (BCR), we proposed an innovative physics-informed neural network Multi-Stage Residual-BCR Net (m-rBCR) to approximate the optic deconvolution. We validated the m-rBCR model on four microscopy datasets - two simulated microscopy datasets from ImageNet and BioSR, real dSTORM microscopy images, and real widefield microscopy images. In contrast to the explicit deconvolution methods (e.g. Richardson-Lucy) and other state-of-the-art NN models (U-Net, DDPM, CARE, DnCNN, ESRGAN, RCAN, Noise2Noise, MPRNet, and MIMO-U-Net), the m-rBCR model demonstrates superior performance to other candidates by PSNR and SSIM in two real microscopy datasets and the simulated BioSR dataset. In the simulated ImageNet dataset, m-rBCR ranks the second-best place (right after MIMO-U-Net). With the backbone from the optical physics, m-rBCR exploits the trainable parameters with better performances (from ~30 times fewer than the benchmark MIMO-U-Net to ~210 times than ESRGAN). This enables m-rBCR to achieve a shorter runtime (from ~3 times faster than MIMO-U-Net to ~300 times faster than DDPM). To summarize, by leveraging physics constraints our model reduced potentially redundant parameters significantly in expertise-oriented NN candidates and achieved high efficiency with superior performance.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
Self-Evaluation as a Defense Against Adversarial Attacks on LLMs
Authors:
Hannah Brown,
Leon Lin,
Kenji Kawaguchi,
Michael Shieh
Abstract:
When LLMs are deployed in sensitive, human-facing settings, it is crucial that they do not output unsafe, biased, or privacy-violating outputs. For this reason, models are both trained and instructed to refuse to answer unsafe prompts such as "Tell me how to build a bomb." We find that, despite these safeguards, it is possible to break model defenses simply by appending a space to the end of a mod…
▽ More
When LLMs are deployed in sensitive, human-facing settings, it is crucial that they do not output unsafe, biased, or privacy-violating outputs. For this reason, models are both trained and instructed to refuse to answer unsafe prompts such as "Tell me how to build a bomb." We find that, despite these safeguards, it is possible to break model defenses simply by appending a space to the end of a model's input. In a study of eight open-source models, we demonstrate that this acts as a strong enough attack to cause the majority of models to generate harmful outputs with very high success rates. We examine the causes of this behavior, finding that the contexts in which single spaces occur in tokenized training data encourage models to generate lists when prompted, overriding training signals to refuse to answer unsafe requests. Our findings underscore the fragile state of current model alignment and promote the importance of develo** more robust alignment methods. Code and data will be made available at https://github.com/Linlt-leon/Adversarial-Alignments.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
Single Character Perturbations Break LLM Alignment
Authors:
Leon Lin,
Hannah Brown,
Kenji Kawaguchi,
Michael Shieh
Abstract:
When LLMs are deployed in sensitive, human-facing settings, it is crucial that they do not output unsafe, biased, or privacy-violating outputs. For this reason, models are both trained and instructed to refuse to answer unsafe prompts such as "Tell me how to build a bomb." We find that, despite these safeguards, it is possible to break model defenses simply by appending a space to the end of a mod…
▽ More
When LLMs are deployed in sensitive, human-facing settings, it is crucial that they do not output unsafe, biased, or privacy-violating outputs. For this reason, models are both trained and instructed to refuse to answer unsafe prompts such as "Tell me how to build a bomb." We find that, despite these safeguards, it is possible to break model defenses simply by appending a space to the end of a model's input. In a study of eight open-source models, we demonstrate that this acts as a strong enough attack to cause the majority of models to generate harmful outputs with very high success rates. We examine the causes of this behavior, finding that the contexts in which single spaces occur in tokenized training data encourage models to generate lists when prompted, overriding training signals to refuse to answer unsafe requests. Our findings underscore the fragile state of current model alignment and promote the importance of develo** more robust alignment methods. Code and data will be available at https://github.com/hannah-aught/space_attack.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
Monolithic overlap** Schwarz preconditioners for nonlinear finite element simulations of laser beam welding processes
Authors:
Tommaso Bevilacqua,
Axel Klawonn,
Martin Lanser,
Adam Wasiak
Abstract:
Highly resolved finite element simulations of a laser beam welding process are considered. The thermomechanical behavior of this process is modeled with a set of thermoelasticity equations resulting in a nonlinear, nonsymmetric saddle point system. Newton's method is used to solve the nonlinearity and suitable domain decomposition preconditioners are applied to accelerate the convergence of the it…
▽ More
Highly resolved finite element simulations of a laser beam welding process are considered. The thermomechanical behavior of this process is modeled with a set of thermoelasticity equations resulting in a nonlinear, nonsymmetric saddle point system. Newton's method is used to solve the nonlinearity and suitable domain decomposition preconditioners are applied to accelerate the convergence of the iterative method used to solve all linearized systems. Since a onelevel Schwarz preconditioner is in general not scalable, a second level has to be added. Therefore, the construction and numerical analysis of a monolithic, twolevel overlap** Schwarz approach with the GDSW (Generalized Dryja-Smith-Widlund) coarse space and an economic variant thereof are presented here.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
Matroid Intersection under Minimum Rank Oracle
Authors:
Mihály Bárász,
Kristóf Bérczi,
Tamás Király,
Yutaro Yamaguchi,
Yu Yokoi
Abstract:
In this paper, we consider the tractability of the matroid intersection problem under the minimum rank oracle. In this model, we are given an oracle that takes as its input a set of elements, and returns as its output the minimum of the ranks of the given set in the two matroids. For the unweighted matroid intersection problem, we show how to construct a necessary part of the exchangeability graph…
▽ More
In this paper, we consider the tractability of the matroid intersection problem under the minimum rank oracle. In this model, we are given an oracle that takes as its input a set of elements, and returns as its output the minimum of the ranks of the given set in the two matroids. For the unweighted matroid intersection problem, we show how to construct a necessary part of the exchangeability graph, which enables us to emulate the standard augmenting path algorithm. Furthermore, we reformulate Edmonds' min-max theorem only using the minimum rank function, providing a new perspective on this result. For the weighted problem, the tractability is open in general. Nevertheless, we describe several special cases where tractability can be achieved, and we discuss potential approaches and the challenges encountered. In particular, we present a solution for the case where no circuit of one matroid is contained within a circuit of the other. Additionally, we propose a fixed-parameter tractable algorithm, parameterized by the maximum circuit size. We also show that a lexicographically maximal common independent set can be found by the same approach, which leads to at least $1/2$-approximation for finding a maximum-weight common independent set.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
The large-scale structure around the Fornax-Eridanus Complex
Authors:
Maria Angela Raj,
Petra Awad,
Reynier F. Peletier,
Rory Smith,
Ulrike Kuchner,
Rien van de Weygaert,
Noam I. Libeskind,
Marco Canducci,
Peter Tino,
Kerstin Bunte
Abstract:
Our objectives are to map the filamentary network around the Fornax-Eridanus Complex and probe the influence of the local environment on galaxy morphology. We employ the novel machine-learning tool, 1-DREAM (1-Dimensional, Recovery, Extraction, and Analysis of Manifolds) to detect and model filaments around the Fornax cluster. We then use the morphology-density relation of galaxies to examine the…
▽ More
Our objectives are to map the filamentary network around the Fornax-Eridanus Complex and probe the influence of the local environment on galaxy morphology. We employ the novel machine-learning tool, 1-DREAM (1-Dimensional, Recovery, Extraction, and Analysis of Manifolds) to detect and model filaments around the Fornax cluster. We then use the morphology-density relation of galaxies to examine the variation in the galaxies' morphology with respect to their distance from the central axis of the detected filaments. We detect 27 filaments that vary in length and galaxy-number density around the Fornax-Eridanus Complex. These filaments showcase a variety of environments; some filaments encompass groups/clusters, while others are only inhabited by galaxies in pristine filamentary environments. We also reveal a well-known structure -- the Fornax Wall, that passes through the Dorado group, Fornax cluster, and Eridanus supergroup. Regarding the morphology of galaxies, we find that early-type galaxies (ETGs) populate high-density filaments and high-density regions of the Fornax Wall. Furthermore, the fraction of ETGs decreases as the distance to the filament spine increases. Of the total galaxy population in filaments, ~7% are ETGs and ~24% are late-type galaxies (LTGs) located in pristine environments of filaments, while ~27% are ETGs and ~42% are LTGs in groups/clusters within filaments. This study reveals the Cosmic Web around the Fornax Cluster and asserts that filamentary environments are heterogeneous in nature. When investigating the role of the environment on galaxy morphology, it is essential to consider both, the local number-density and a galaxy's proximity to the filament spine. Within this framework, we ascribe the observed morphological segregation in the Fornax Wall to pre-processing of galaxies within groups embedded in it.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
PPO-based Dynamic Control of Uncertain Floating Platforms in the Zero-G Environment
Authors:
Mahya Ramezani,
M. Amin Alandihallaj,
Andreas M. Hein
Abstract:
In the field of space exploration, floating platforms play a crucial role in scientific investigations and technological advancements. However, controlling these platforms in zero-gravity environments presents unique challenges, including uncertainties and disturbances. This paper introduces an innovative approach that combines Proximal Policy Optimization (PPO) with Model Predictive Control (MPC)…
▽ More
In the field of space exploration, floating platforms play a crucial role in scientific investigations and technological advancements. However, controlling these platforms in zero-gravity environments presents unique challenges, including uncertainties and disturbances. This paper introduces an innovative approach that combines Proximal Policy Optimization (PPO) with Model Predictive Control (MPC) in the zero-gravity laboratory (Zero-G Lab) at the University of Luxembourg. This approach leverages PPO's reinforcement learning power and MPC's precision to navigate the complex control dynamics of floating platforms. Unlike traditional control methods, this PPO-MPC approach learns from MPC predictions, adapting to unmodeled dynamics and disturbances, resulting in a resilient control framework tailored to the zero-gravity environment. Simulations and experiments in the Zero-G Lab validate this approach, showcasing the adaptability of the PPO agent. This research opens new possibilities for controlling floating platforms in zero-gravity settings, promising advancements in space exploration.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
Impact of planar defects on the reversal time of single magnetic domain nanoparticles
Authors:
Hugo Bocquet,
Armin Kleibert,
Peter M. Derlet
Abstract:
Recent experimental investigations of individual magnetic nanoparticles reveal a diverse range of magnetic relaxation times which cannot be explained by considering their size, shape, and surface anisotropy, suggesting other factors associated with the internal microstructure of the particles are at play. In this letter, we apply Langer's theory of thermal activation to single magnetic domain fcc…
▽ More
Recent experimental investigations of individual magnetic nanoparticles reveal a diverse range of magnetic relaxation times which cannot be explained by considering their size, shape, and surface anisotropy, suggesting other factors associated with the internal microstructure of the particles are at play. In this letter, we apply Langer's theory of thermal activation to single magnetic domain fcc Co nanoparticles, whose experimental microstructures are characterized by planar defects, and derive an analytic expression for the relaxation time. The obtained Arrhenius exponential and its prefactor, which is often assumed to be a constant, are here found to both depend exponentially on system size and the number of defects. Together they provide a quantitative prediction of the experimental findings, and more generally highlight the importance of structural defects when considering magnetic stability.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
Localization in Dynamic Planar Environments Using Few Distance Measurements
Authors:
Michael M. Bilevich,
Shahar Guini Menashe,
Dan Halperin
Abstract:
We present a method for determining the unknown location of a sensor placed in a known 2D environment in the presence of unknown dynamic obstacles, using only few distance measurements. We present guarantees on the quality of the localization, which are robust under mild assumptions on the density of the unknown/dynamic obstacles in the known environment. We demonstrate the effectiveness of our me…
▽ More
We present a method for determining the unknown location of a sensor placed in a known 2D environment in the presence of unknown dynamic obstacles, using only few distance measurements. We present guarantees on the quality of the localization, which are robust under mild assumptions on the density of the unknown/dynamic obstacles in the known environment. We demonstrate the effectiveness of our method in simulated experiments for different environments and varying dynamic-obstacle density. Our open source software is available at https://github.com/TAU-CGL/vb-fdml2-public.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
Streaming Large-Scale Electron Microscopy Data to a Supercomputing Facility
Authors:
Samuel S. Welborn,
Chris Harris,
Stephanie M. Ribet,
Georgios Varnavides,
Colin Ophus,
Bjoern Enders,
Peter Ercius
Abstract:
Data management is a critical component of modern experimental workflows. As data generation rates increase, transferring data from acquisition servers to processing servers via conventional file-based methods is becoming increasingly impractical. The 4D Camera at the National Center for Electron Microscopy (NCEM) generates data at a nominal rate of 480 Gbit/s (87,000 frames/s) producing a 700 GB…
▽ More
Data management is a critical component of modern experimental workflows. As data generation rates increase, transferring data from acquisition servers to processing servers via conventional file-based methods is becoming increasingly impractical. The 4D Camera at the National Center for Electron Microscopy (NCEM) generates data at a nominal rate of 480 Gbit/s (87,000 frames/s) producing a 700 GB dataset in fifteen seconds. To address the challenges associated with storing and processing such quantities of data, we developed a streaming workflow that utilizes a high-speed network to connect the 4D Camera's data acquisition (DAQ) system to supercomputing nodes at the National Energy Research Scientific Computing Center (NERSC), bypassing intermediate file storage entirely. In this work, we demonstrate the effectiveness of our streaming pipeline in a production setting through an hour-long experiment that generated over 10 TB of raw data, yielding high-quality datasets suitable for advanced analyses. Additionally, we compare the efficacy of this streaming workflow against the conventional file-transfer workflow by conducting a post-mortem analysis on historical data from experiments performed by real users. Our findings show that the streaming workflow significantly improves data turnaround time, enables real-time decision-making, and minimizes the potential for human error by eliminating manual user interactions.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
Conditions for singular optimal control of port-Hamiltonian systems
Authors:
Maria Soledad Aronna,
Volker Mehrmann
Abstract:
We study singular optimal control problems of port-Hamiltonian systems. We study general control-affine cost functionals that include as a special case the energy supplied to the system. We derive optimality conditions for the case with and without control bounds by applying the general theory to the specially structured port-Hamiltonian case, and show that this leads to nice optimality conditions…
▽ More
We study singular optimal control problems of port-Hamiltonian systems. We study general control-affine cost functionals that include as a special case the energy supplied to the system. We derive optimality conditions for the case with and without control bounds by applying the general theory to the specially structured port-Hamiltonian case, and show that this leads to nice optimality conditions, in particular in the linear case.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
Exploring pulsar glitches with dipolar supersolids
Authors:
Thomas Bland,
Francesca Ferlaino,
Massimo Mannarelli,
Elena Poli,
Silvia Trabucco
Abstract:
Glitches are sudden spin-up events that interrupt the gradual spin-down of rotating neutron stars. They are believed to arise from the rapid unpinning of vortices in the neutron star inner crust. The analogy between the inner crust of neutron stars and dipolar supersolids allows to investigate glitches. Employing such analogy, we numerically analyze the vortex trap** mechanism and how the matter…
▽ More
Glitches are sudden spin-up events that interrupt the gradual spin-down of rotating neutron stars. They are believed to arise from the rapid unpinning of vortices in the neutron star inner crust. The analogy between the inner crust of neutron stars and dipolar supersolids allows to investigate glitches. Employing such analogy, we numerically analyze the vortex trap** mechanism and how the matter density distribution influences glitches. These results pave the way for the quantum simulation of celestial bodies in laboratories.
△ Less
Submitted 2 July, 2024;
originally announced July 2024.
-
Loss rate of ultracold neutrons due to the absorption by trap walls in large material traps
Authors:
Pavel D. Grigoriev,
Vladislav D. Kochev,
Victor A. Tsyplukhin,
Alexander M. Dyugaev,
Ilya Ya. Polishchuk
Abstract:
The most accurate neutron lifetime measurements now use the material or magnetic traps of ultracold neutrons (UCN). The precision of these experiments is determined by the accuracy of estimating the neutron loss rate. In material UCN traps the main source of neutron losses is the absorption by trap walls. In this paper we analyze the standard methods and their approximations for the calculation of…
▽ More
The most accurate neutron lifetime measurements now use the material or magnetic traps of ultracold neutrons (UCN). The precision of these experiments is determined by the accuracy of estimating the neutron loss rate. In material UCN traps the main source of neutron losses is the absorption by trap walls. In this paper we analyze the standard methods and their approximations for the calculation of UCN absorption rate by the walls of material traps. We emphasize the approximations used both in the standard analytical formulas and in the numerical Monte-Carlo simulations. For the two simplest trap geometries, rectangular and cylindrical, we obtain precise analytical formulas for this absorption rate and compare them with the standard estimation methods. The difference turned out to be considerable and especially important for the size extrapolation procedure, always used in the standard estimates of UCN losses. Our results may partially resolve the puzzling four-second discrepancy between the magnetic and material-trap measurements of neutron lifetime.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
Category-Aware Dynamic Label Assignment with High-Quality Oriented Proposal
Authors:
Mingkui Feng,
Hancheng Yu,
Xiaoyu Dang,
Ming Zhou
Abstract:
Objects in aerial images are typically embedded in complex backgrounds and exhibit arbitrary orientations. When employing oriented bounding boxes (OBB) to represent arbitrary oriented objects, the periodicity of angles could lead to discontinuities in label regression values at the boundaries, inducing abrupt fluctuations in the loss function. To address this problem, an OBB representation based o…
▽ More
Objects in aerial images are typically embedded in complex backgrounds and exhibit arbitrary orientations. When employing oriented bounding boxes (OBB) to represent arbitrary oriented objects, the periodicity of angles could lead to discontinuities in label regression values at the boundaries, inducing abrupt fluctuations in the loss function. To address this problem, an OBB representation based on the complex plane is introduced in the oriented detection framework, and a trigonometric loss function is proposed. Moreover, leveraging prior knowledge of complex background environments and significant differences in large objects in aerial images, a conformer RPN head is constructed to predict angle information. The proposed loss function and conformer RPN head jointly generate high-quality oriented proposals. A category-aware dynamic label assignment based on predicted category feedback is proposed to address the limitations of solely relying on IoU for proposal label assignment. This method makes negative sample selection more representative, ensuring consistency between classification and regression features. Experiments were conducted on four realistic oriented detection datasets, and the results demonstrate superior performance in oriented object detection with minimal parameter tuning and time costs. Specifically, mean average precision (mAP) scores of 82.02%, 71.99%, 69.87%, and 98.77% were achieved on the DOTA-v1.0, DOTA-v1.5, DIOR-R, and HRSC2016 datasets, respectively.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
Clifford Circuits Augmented Time-Dependent Variational Principle
Authors:
Xiangjian Qian,
Jiale Huang,
Mingpu Qin
Abstract:
The recently proposed Clifford Circuits Augmented Matrix Product States (CA-MPS) (arXiv:2405.09217) seamlessly augments Density Matrix Renormalization Group with Clifford circuits. In CA-MPS, the entanglement from stabilizers is transferred to the Clifford circuits which can be easily handled according to the Gottesman-Knill theorem. As a result, MPS needs only to deal with the non-stabilizer enta…
▽ More
The recently proposed Clifford Circuits Augmented Matrix Product States (CA-MPS) (ar** process similar as in DMRG, aiming at reducing the entanglement entropy in the MPS, and the Hamiltonian is transformed accordingly using the chosen Clifford circuits. Similar as in CA-MPS, the Clifford circuits doesn't increase the number of terms in the Hamiltonian which makes the overhead very small in the new method. We test this method in both XXZ chain and two dimensional Heisenberg model. The results show that the Clifford circuits augmented TDVP method can reduce the entanglement entropy in the time evolution process and hence makes the simulation reliable for longer time. The Clifford circuits augmented Time-Dependent Variational Principle provides a useful tool for the simulation of time evolution process of many-body systems in the future.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
Wideband Coherent Microwave Conversion via Magnon Nonlinearity in Hybrid Quantum System
Authors:
Jiahao Wu,
Jiacheng Liu,
Zheyu Ren,
Man Yin Leung,
Wai Kuen Leung,
Kin On Ho,
Xiangrong Wang,
Qiming Shao,
Sen Yang
Abstract:
Frequency conversion is a widely realized physical process in nonlinear systems of optics and electronics. As an emerging nonlinear platform, spintronic devices have the potential to achieve stronger frequency conversion. Here, we demonstrated a microwave frequency conversion method in a hybrid quantum system, integrating nitrogen-vacancy centers in diamond with magnetic thin film CoFeB. We achiev…
▽ More
Frequency conversion is a widely realized physical process in nonlinear systems of optics and electronics. As an emerging nonlinear platform, spintronic devices have the potential to achieve stronger frequency conversion. Here, we demonstrated a microwave frequency conversion method in a hybrid quantum system, integrating nitrogen-vacancy centers in diamond with magnetic thin film CoFeB. We achieve a conversion bandwidth ranging from 0.1 to 12GHz, presenting an up to $\mathrm{25^{th}}$ order frequency conversion and further display the application of this method for frequency detection and qubits coherent control. Distinct from traditional frequency conversion techniques based on nonlinear electric response, our approach employs nonlinear magnetic response in spintronic devices. The nonlinearity, originating from the symmetry breaking such as domain walls in magnetic films, presents that our method can be adapted to hybrid systems of other spintronic devices and spin qubits, expanding the application scope of spintronic devices and providing a promising on-chip platform for coupling quantum systems.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
SegVG: Transferring Object Bounding Box to Segmentation for Visual Grounding
Authors:
Weitai Kang,
Gaowen Liu,
Mubarak Shah,
Yan Yan
Abstract:
Different from Object Detection, Visual Grounding deals with detecting a bounding box for each text-image pair. This one box for each text-image data provides sparse supervision signals. Although previous works achieve impressive results, their passive utilization of annotation, i.e. the sole use of the box annotation as regression ground truth, results in a suboptimal performance. In this paper,…
▽ More
Different from Object Detection, Visual Grounding deals with detecting a bounding box for each text-image pair. This one box for each text-image data provides sparse supervision signals. Although previous works achieve impressive results, their passive utilization of annotation, i.e. the sole use of the box annotation as regression ground truth, results in a suboptimal performance. In this paper, we present SegVG, a novel method transfers the box-level annotation as Segmentation signals to provide an additional pixel-level supervision for Visual Grounding. Specifically, we propose the Multi-layer Multi-task Encoder-Decoder as the target grounding stage, where we learn a regression query and multiple segmentation queries to ground the target by regression and segmentation of the box in each decoding layer, respectively. This approach allows us to iteratively exploit the annotation as signals for both box-level regression and pixel-level segmentation. Moreover, as the backbones are typically initialized by pretrained parameters learned from unimodal tasks and the queries for both regression and segmentation are static learnable embeddings, a domain discrepancy remains among these three types of features, which impairs subsequent target grounding. To mitigate this discrepancy, we introduce the Triple Alignment module, where the query, text, and vision tokens are triangularly updated to share the same space by triple attention mechanism. Extensive experiments on five widely used datasets validate our state-of-the-art (SOTA) performance.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
BOWIE-ALIGN: How formation and migration histories of giant planets impact atmospheric compositions
Authors:
Anna B. T. Penzlin,
Richard A. Booth,
James Kirk,
James E. Owen,
Eva-Maria Ahrer,
Duncan A. Christie,
Alastair B. Claringbold,
Emma Esparza-Borges,
M. López-Morales,
N. J. Mayne,
Mason McCormack,
Annabella Meech,
Vatsal Panwar,
Diana Powell,
Denis E. Sergeev,
Jake Taylor,
Peter J. Wheatley,
Maria Zamyatina
Abstract:
Hot Jupiters present a unique opportunity for measuring how planet formation history shapes present-day atmospheric composition. However, due to the myriad pathways influencing composition, a well-constructed sample of planets is needed to determine whether formation history can be accurately traced back from atmospheric composition. To this end, the BOWIE-ALIGN survey will compare the composition…
▽ More
Hot Jupiters present a unique opportunity for measuring how planet formation history shapes present-day atmospheric composition. However, due to the myriad pathways influencing composition, a well-constructed sample of planets is needed to determine whether formation history can be accurately traced back from atmospheric composition. To this end, the BOWIE-ALIGN survey will compare the compositions of 8 hot Jupiters around F stars, 4 with orbits aligned with the stellar rotation axis and 4 misaligned. Using the alignment as an indicator for planets that underwent disc migration or high-eccentricity migration, one can determine whether migration history produces notable differences in composition between the two samples of planets. This paper describes the planet formation model that motivates our observing programme. Our model traces the accretion of chemical components from the gas and dust in the disc over a broad parameter space to create a full, unbiased model sample from which we can estimate the range of final atmospheric compositions. For high metallicity atmospheres (O/H > 10 times solar), the C/O ratios of aligned and misaligned planets diverge, with aligned planets having lower C/O (< 0.25) due to the accretion of oxygen-rich silicates from the inner disc. However, silicates may rain out instead of releasing their oxygen into the atmosphere. This would significantly increase the C/O of aligned planets (C/O > 0.6), inverting the trend between the aligned and misaligned planets. Nevertheless, by comparing statistically significant samples of aligned and misaligned planets, we expect atmospheric composition to constrain how planets form.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
BOWIE-ALIGN: A JWST comparative survey of aligned vs misaligned hot Jupiters to test the dependence of atmospheric composition on migration history
Authors:
James Kirk,
Eva-Maria Ahrer,
Anna B. T. Penzlin,
James E. Owen,
Richard A. Booth,
Lili Alderson,
Duncan A. Christie,
Alastair B. Claringbold,
Emma Esparza-Borges,
Chloe E. Fisher,
Mercedes López-Morales,
N. J. Mayne,
Mason McCormack,
Annabella Meech,
Vatsal Panwar,
Diana Powell,
Jake Taylor,
Denis E. Sergeev,
Daniel Valentine,
Hannah R. Wakeford,
Peter J. Wheatley,
Maria Zamyatina
Abstract:
A primary objective of exoplanet atmosphere characterisation is to learn about planet formation and evolution, however, this is challenged by degeneracies. To determine whether differences in atmospheric composition can be reliably traced to differences in evolution, we are undertaking a new survey with JWST to compare the compositions of a sample of hot Jupiters that orbit F stars above the Kraft…
▽ More
A primary objective of exoplanet atmosphere characterisation is to learn about planet formation and evolution, however, this is challenged by degeneracies. To determine whether differences in atmospheric composition can be reliably traced to differences in evolution, we are undertaking a new survey with JWST to compare the compositions of a sample of hot Jupiters that orbit F stars above the Kraft break with different orbital alignments. Under the assumption that aligned planets migrate through the inner disc, while misaligned planets migrate after disc dispersal, the act of migrating through the inner disc should lead to a measurable difference in the C/O between aligned and misaligned planets. We expect the amplitude and sign of this difference to depend on the amount of planetesimal accretion and whether silicates accreted from the inner disc release their oxygen. Here, we identify all known exoplanets that are suitable for testing this hypothesis, describe our JWST survey, and use noise simulations and atmospheric retrievals to estimate our survey's sensitivity. With the selected sample of four aligned and four misaligned hot Jupiters, we will be sensitive to the predicted differences in C/O between aligned and misaligned hot Jupiters for a wide range of model scenarios.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
Multiple-Resolution Tokenization for Time Series Forecasting with an Application to Pricing
Authors:
Egon Peršak,
Miguel F. Anjos,
Sebastian Lautz,
Aleksandar Kolev
Abstract:
We propose a transformer architecture for time series forecasting with a focus on time series tokenisation and apply it to a real-world prediction problem from the pricing domain. Our architecture aims to learn effective representations at many scales across all available data simultaneously. The model contains a number of novel modules: a differentiated form of time series patching which employs…
▽ More
We propose a transformer architecture for time series forecasting with a focus on time series tokenisation and apply it to a real-world prediction problem from the pricing domain. Our architecture aims to learn effective representations at many scales across all available data simultaneously. The model contains a number of novel modules: a differentiated form of time series patching which employs multiple resolutions, a multiple-resolution module for time-varying known variables, a mixer-based module for capturing cross-series information, and a novel output head with favourable scaling to account for the increased number of tokens. We present an application of this model to a real world prediction problem faced by the markdown team at a very large retailer. On the experiments conducted our model outperforms in-house models and the selected existing deep learning architectures.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
A Formal Model for Artificial Intelligence Applications in Automation Systems
Authors:
Marvin Schieseck,
Philip Topalis,
Lasse Reinpold,
Felix Gehlhoff,
Alexander Fay
Abstract:
The integration of Artificial Intelligence (AI) into automation systems has the potential to enhance efficiency and to address currently unsolved existing technical challenges. However, the industry-wide adoption of AI is hindered by the lack of standardized documentation for the complex compositions of automation systems, AI software, production hardware, and their interdependencies. This paper p…
▽ More
The integration of Artificial Intelligence (AI) into automation systems has the potential to enhance efficiency and to address currently unsolved existing technical challenges. However, the industry-wide adoption of AI is hindered by the lack of standardized documentation for the complex compositions of automation systems, AI software, production hardware, and their interdependencies. This paper proposes a formal model using standards and ontologies to provide clear and structured documentation of AI applications in automation systems. The proposed information model for artificial intelligence in automation systems (AIAS) utilizes ontology design patterns to map and link various aspects of automation systems and AI software. Validated through a practical example, the model demonstrates its effectiveness in improving documentation practices and aiding the sustainable implementation of AI in industrial settings.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
A multi-objective combinatorial optimisation framework for large scale hierarchical population synthesis
Authors:
Imran Mahmood,
Nicholas Bishop,
Anisoara Calinescu,
Michael Wooldridge,
Ioannis Zachos
Abstract:
In agent-based simulations, synthetic populations of agents are commonly used to represent the structure, behaviour, and interactions of individuals. However, generating a synthetic population that accurately reflects real population statistics is a challenging task, particularly when performed at scale. In this paper, we propose a multi objective combinatorial optimisation technique for large sca…
▽ More
In agent-based simulations, synthetic populations of agents are commonly used to represent the structure, behaviour, and interactions of individuals. However, generating a synthetic population that accurately reflects real population statistics is a challenging task, particularly when performed at scale. In this paper, we propose a multi objective combinatorial optimisation technique for large scale population synthesis. We demonstrate the effectiveness of our approach by generating a synthetic population for selected regions and validating it on contingency tables from real population data. Our approach supports complex hierarchical structures between individuals and households, is scalable to large populations and achieves minimal contigency table reconstruction error. Hence, it provides a useful tool for policymakers and researchers for simulating the dynamics of complex populations.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
Relating CNN-Transformer Fusion Network for Change Detection
Authors:
Yuhao Gao,
Gensheng Pei,
Mengmeng Sheng,
Zeren Sun,
Tao Chen,
Yazhou Yao
Abstract:
While deep learning, particularly convolutional neural networks (CNNs), has revolutionized remote sensing (RS) change detection (CD), existing approaches often miss crucial features due to neglecting global context and incomplete change learning. Additionally, transformer networks struggle with low-level details. RCTNet addresses these limitations by introducing \textbf{(1)} an early fusion backbo…
▽ More
While deep learning, particularly convolutional neural networks (CNNs), has revolutionized remote sensing (RS) change detection (CD), existing approaches often miss crucial features due to neglecting global context and incomplete change learning. Additionally, transformer networks struggle with low-level details. RCTNet addresses these limitations by introducing \textbf{(1)} an early fusion backbone to exploit both spatial and temporal features early on, \textbf{(2)} a Cross-Stage Aggregation (CSA) module for enhanced temporal representation, \textbf{(3)} a Multi-Scale Feature Fusion (MSF) module for enriched feature extraction in the decoder, and \textbf{(4)} an Efficient Self-deciphering Attention (ESA) module utilizing transformers to capture global information and fine-grained details for accurate change detection. Extensive experiments demonstrate RCTNet's clear superiority over traditional RS image CD methods, showing significant improvement and an optimal balance between accuracy and computational cost.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
$ν_μ$ and $ν_τ$ elastic scattering in Borexino
Authors:
Kevin J. Kelly,
Nityasa Mishra,
Mudit Rai,
Louis E. Strigari
Abstract:
We perform a detailed study of neutrino-electron elastic scattering using the mono-energetic $^{7}$Be neutrinos in Borexino, with an emphasis on exploring the differences between the contributions of $ν_e$, $ν_μ$, and $ν_τ$. We find that current data are capable of measuring these components such that the contributions from $ν_μ$ and $ν_τ$ cannot be zero, although distinguishing between them is ch…
▽ More
We perform a detailed study of neutrino-electron elastic scattering using the mono-energetic $^{7}$Be neutrinos in Borexino, with an emphasis on exploring the differences between the contributions of $ν_e$, $ν_μ$, and $ν_τ$. We find that current data are capable of measuring these components such that the contributions from $ν_μ$ and $ν_τ$ cannot be zero, although distinguishing between them is challenging -- the differences stemming from Standard Model radiative corrections are insufficient without significantly more precise measurements. In studying these components, we compare predicted neutrino-electron scattering event rates within the Standard Model (accounting for neutrino oscillations), as well as going beyond the Standard Model in two ways. We allow for non-unitary evolution to modify neutrino oscillations, and find that with a larger exposure (${\sim}30$x), Borexino may provide relevant information for constraining non-unitarity, and that JUNO may be able to accomplish this with its data collection of $^{7}$Be neutrinos. We also consider novel $ν_μ$- and $ν_τ$-electron scattering from a gauged $U(1)_{L_μ- L_τ}$ model, showing consistency with previous analyses of Borexino and this scenario, but also demonstrating the impact of uncertainties on Standard Model mixing parameters on these results.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
A meshless method to compute the proper orthogonal decomposition and its variants from scattered data
Authors:
Iacopo Tirelli,
Miguel Alfonso Mendez,
Andrea Ianiro,
Stefano Discetti
Abstract:
Complex phenomena can be better understood when broken down into a limited number of simpler "components". Linear statistical methods such as the principal component analysis and its variants are widely used across various fields of applied science to identify and rank these components based on the variance they represent in the data. These methods can be seen as factorizations of the matrix colle…
▽ More
Complex phenomena can be better understood when broken down into a limited number of simpler "components". Linear statistical methods such as the principal component analysis and its variants are widely used across various fields of applied science to identify and rank these components based on the variance they represent in the data. These methods can be seen as factorizations of the matrix collecting all the data, which are assumed to be a collection of time series sampled from fixed points in space. However, when data sampling locations vary over time, as with mobile monitoring stations in meteorology and oceanography or with particle tracking velocimetry in experimental fluid dynamics, advanced interpolation techniques are required to project the data onto a fixed grid before carrying out the factorization. This interpolation is often expensive and inaccurate. This work proposes a method to decompose scattered data without interpolating. The approach is based on physics-constrained radial basis function regression to compute inner products in space and time. The method provides an analytical and mesh-independent decomposition in space and time, demonstrating higher accuracy than the traditional approach. Our results show that it is possible to distill the most relevant "components" even for measurements whose natural output is a distribution of data scattered in space and time, maintaining high accuracy and mesh independence.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.