Showing 1–50 of 1,070 results for author: Nadia

A Markovian characterization of the exponential twist of probability measures

Authors: Thibaut Bourdais, Nadia Oudjane, Francesco Russo

Abstract: In this paper we study the exponential twist, i.e. a path-integral exponential change of measure, of a Markovian reference probability measure $¶$. This type of transformation naturally appears in variational representation formulae originating from the theory of large deviations and can be interpreted in some cases, as the solution of a specific stochastic control problem. Under a very general Ma… ▽ More In this paper we study the exponential twist, i.e. a path-integral exponential change of measure, of a Markovian reference probability measure $¶$. This type of transformation naturally appears in variational representation formulae originating from the theory of large deviations and can be interpreted in some cases, as the solution of a specific stochastic control problem. Under a very general Markovian assumption on $¶$, we fully characterize the exponential twist probability measure as the solution of a martingale problem and prove that it inherits the Markov property of the reference measure. The ''generator'' of the martingale problem shows a drift depending on a ''generalized gradient'' of some suitable ''value function'' $v$. △ Less

Submitted 11 July, 2024; originally announced July 2024.

Relative Sensitivities and Correlation of Factors Introducing Uncertainty in Radiotherapy Dosimetry Audits

Authors: Padmini Krishnadas, Spencer Angus Thomas, Jessica Goldring, Nadia A. S. Smith, Mohammad Hussein

Abstract: Dosimetry audits are carried out to determine how well radiotherapy is delivered to the patient. It is also used to understand the uncertainty introduced into the measurement result when using different computational models. As measurement procedures are becoming increasingly complex with technological advancements, it is harder to establish sources of variability in measurements and understand if… ▽ More Dosimetry audits are carried out to determine how well radiotherapy is delivered to the patient. It is also used to understand the uncertainty introduced into the measurement result when using different computational models. As measurement procedures are becoming increasingly complex with technological advancements, it is harder to establish sources of variability in measurements and understand if they stem from true differences in measurands or in the measurement pipelines themselves. The gamma index calculation is a widely accepted metric used for the comparison of measured and predicted doses in radiotherapy. However, various steps in the measurement pipeline can introduce variation in the measurement result. In this paper, we perform a sensitivity and correlation analysis to investigate the influence of various input factors (i.e. setting) in gamma index calculations on the uncertainty introduced in dosimetry audits. We identify a number of factors where standardization will improve measurements by reducing variability in outputs. Furthermore, we also compare gamma index metrics and similarities across audit sites. △ Less

Submitted 10 July, 2024; originally announced July 2024.

Long Orbit Empty Value (LOEV) principle in general

Authors: M. Ivanov, D. Kamburova, N. Zlateva

Abstract: We explore LOEV method in spaces more general than metric. We explore LOEV method in spaces more general than metric. △ Less

Submitted 9 July, 2024; originally announced July 2024.

MSC Class: 58E30

Asymptotic and stability analysis of kinetic models for opinion formation on networks: an Allen-Cahn approach

Authors: M. Burger, N. Loy, A. Rossi

Abstract: We present the analysis of the stationary equilibria and their stability in case of an opinion formation process in presence of binary opposite opinions evolving according to majority-like rules on social networks. The starting point is a kinetic Boltzmann-type model derived from microscopic interactions rules for the opinion exchange among individuals holding a certain degree of connectivity. The… ▽ More We present the analysis of the stationary equilibria and their stability in case of an opinion formation process in presence of binary opposite opinions evolving according to majority-like rules on social networks. The starting point is a kinetic Boltzmann-type model derived from microscopic interactions rules for the opinion exchange among individuals holding a certain degree of connectivity. The key idea is to derive from the kinetic model an Allen-Cahn type equation for the fraction of individuals holding one of the two opinions. The latter can be studied by means of a linear stability analysis and by exploiting integral operator analysis. While this is true for ternary interactions, for binary interactions the derived equation of interest is a linear scattering equation, that can be studied by means of General Relative Entropy tools and integral operators. △ Less

Submitted 1 July, 2024; originally announced July 2024.

Cataclysmic variables from Sloan Digital Sky Survey -- V (2020-2023) identified using machine learning

Authors: Keith Inight, Boris T. Gänsicke, Axel Schwope, Scott F. Anderson, Elmé Breedt, Joel R. Brownstein, Sebastian Demasi, Susanne Friedrich, J. J. Hermes, Knox S. Long, Timothy Mulvany, Gautham A. Pallathadka, Mara Salvato, Simone Scaringi, Matthias R. Schreiber, Guy S. Stringfellow, John R. Thorstensen, Nadia L. Zakamska

Abstract: SDSS-V is carrying out a dedicated survey for white dwarfs, single and in binaries, and we report the analysis of the spectroscopy of 505 cataclysmic variables (CVs) and CV candidates obtained during the first 34 months of observations of SDSS-V. We developed a convolutional neural network (CNN) to aid with the identification of CV candidates among the over 2 million SDSS-V spectra obtained with t… ▽ More SDSS-V is carrying out a dedicated survey for white dwarfs, single and in binaries, and we report the analysis of the spectroscopy of 505 cataclysmic variables (CVs) and CV candidates obtained during the first 34 months of observations of SDSS-V. We developed a convolutional neural network (CNN) to aid with the identification of CV candidates among the over 2 million SDSS-V spectra obtained with the BOSS spectrograph. The CNN reduced the number of spectra that required visual inspection to $\simeq2$ per cent of the total. We identified 779 CV spectra among the CNN-selected candidates, plus an additional 37 CV spectra that the CNN misclassified, but that were found serendipitously by human inspection of the data. Analysing the SDSS-V spectroscopy and ancillary data of the 505 CVs in our sample, we report 62 new CVs, spectroscopically confirm 243 and refute 13 published CV candidates, and we report 68 new or improved orbital periods. We discuss the completeness and possible selection biases of the machine learning methodology, as well as the effectiveness of targeting CV candidates within SDSS-V. Finally, we re-assess the space density of CVs, and find $1.3\times 10^{-5}\,\mathrm{pc^{-3}}$. △ Less

Submitted 27 June, 2024; originally announced June 2024.

Comments: Submitted to MNRAS. 23 pages, 25 figures. Supplementary data contains details of 505 CVs including spectra and light curves

Enhancing Wearable based Real-Time Glucose Monitoring via Phasic Image Representation Learning based Deep Learning

Authors: Yidong Zhu, Nadia B Aimandi, Mohammad Arif Ul Alam

Abstract: In the U.S., over a third of adults are pre-diabetic, with 80\% unaware of their status. This underlines the need for better glucose monitoring to prevent type 2 diabetes and related heart diseases. Existing wearable glucose monitors are limited by the lack of models trained on small datasets, as collecting extensive glucose data is often costly and impractical. Our study introduces a novel machin… ▽ More In the U.S., over a third of adults are pre-diabetic, with 80\% unaware of their status. This underlines the need for better glucose monitoring to prevent type 2 diabetes and related heart diseases. Existing wearable glucose monitors are limited by the lack of models trained on small datasets, as collecting extensive glucose data is often costly and impractical. Our study introduces a novel machine learning method using modified recurrence plots in the frequency domain to improve glucose level prediction accuracy from wearable device data, even with limited datasets. This technique combines advanced signal processing with machine learning to extract more meaningful features. We tested our method against existing models using historical data, showing that our approach surpasses the current 87\% accuracy benchmark in predicting real-time interstitial glucose levels. △ Less

Submitted 12 June, 2024; originally announced June 2024.

Journal ref: 46th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC) 2024

Competing excitation quenching and charge exchange in ultracold Li-Ba$^+$ collisions

Authors: Xiaodong Xing, Pascal Weckesser, Fabian Thielemann, Tibor Jónás, Romain Vexiau, Nadia Bouloufa-Maafa, Eliane Luc-Koenig, Kirk W. Madison, Andrea Orbán, Ting Xie, Tobias Schaetz, Olivier Dulieu

Abstract: Hybrid atom-ion systems are a rich and powerful platform for studying chemical reactions, as they feature both excellent control over the electronic state preparation and readout as well as a versatile tunability over the scattering energy, ranging from the few-partial wave regime to the quantum regime. In this work, we make use of these excellent control knobs, and present a joint experimental an… ▽ More Hybrid atom-ion systems are a rich and powerful platform for studying chemical reactions, as they feature both excellent control over the electronic state preparation and readout as well as a versatile tunability over the scattering energy, ranging from the few-partial wave regime to the quantum regime. In this work, we make use of these excellent control knobs, and present a joint experimental and theoretical study of the collisions of a single $^{138}$Ba$^+$ ion prepared in the $5d\,^2D_{3/2,5/2}$ metastable states with a ground state $^6$Li gas near quantum degeneracy. We show that in contrast to previously reported atom-ion mixtures, several non-radiative processes, including charge exchange, excitation exchange and quenching, compete with each other due to the inherent complexity of the ion-atom molecular structure. We present a full quantum model based on high-level electronic structure calculations involving spin-orbit couplings. Results are in excellent agreement with observations, highlighting the strong coupling between the internal angular momenta and the mechanical rotation of the colliding pair, which is relevant in any other hybrid system composed of an alkali-metal atom and an alkaline-earth ion. △ Less

Submitted 23 June, 2024; originally announced June 2024.

Comments: 17 pages, 15 figures, 4 tables

Live Video Captioning

Authors: Eduardo Blanco-Fernández, Carlos Gutiérrez-Álvarez, Nadia Nasri, Saturnino Maldonado-Bascón, Roberto J. López-Sastre

Abstract: Dense video captioning is the task that involves the detection and description of events within video sequences. While traditional approaches focus on offline solutions where the entire video of analysis is available for the captioning model, in this work we introduce a paradigm shift towards Live Video Captioning (LVC). In LVC, dense video captioning models must generate captions for video stream… ▽ More Dense video captioning is the task that involves the detection and description of events within video sequences. While traditional approaches focus on offline solutions where the entire video of analysis is available for the captioning model, in this work we introduce a paradigm shift towards Live Video Captioning (LVC). In LVC, dense video captioning models must generate captions for video streams in an online manner, facing important constraints such as having to work with partial observations of the video, the need for temporal anticipation and, of course, ensuring ideally a real-time response. In this work we formally introduce the novel problem of LVC and propose new evaluation metrics tailored for the online scenario, demonstrating their superiority over traditional metrics. We also propose an LVC model integrating deformable transformers and temporal filtering to address the LVC new challenges. Experimental evaluations on the ActivityNet Captions dataset validate the effectiveness of our approach, highlighting its performance in LVC compared to state-of-the-art offline methods. Results of our model as well as an evaluation kit with the novel metrics integrated are made publicly available to encourage further research on LVC. △ Less

Submitted 20 June, 2024; originally announced June 2024.

From decision aiding to the massive use of algorithms: where does the responsibility stand?

Authors: Odile Bellenguez, Nadia Branuer, Alexis Tsoukiàs

Abstract: In the very large debates on ethics of algorithms, this paper proposes an analysis on human responsibility. On one hand, algorithms are designed by some humans, who bear a part of responsibility in the results and unexpected impacts. Nevertheless, we show how the fact they cannot embrace the full situations of use and consequences lead to an unreachable limit. On the other hand, using technology i… ▽ More In the very large debates on ethics of algorithms, this paper proposes an analysis on human responsibility. On one hand, algorithms are designed by some humans, who bear a part of responsibility in the results and unexpected impacts. Nevertheless, we show how the fact they cannot embrace the full situations of use and consequences lead to an unreachable limit. On the other hand, using technology is never free of responsibility, even if there also exist limits to characterise. Massive uses by unprofessional users introduce additional questions that modify the possibilities to be ethically responsible. The article is structured in such a way as to show how the limits have gradually evolved, leaving unthought of issues and a failure to share responsibility. △ Less

Submitted 18 June, 2024; originally announced June 2024.

Constraining the Stellar Masses and Origin of the Protostellar VLA 1623 System

Authors: Sarah I Sadavoy, Patrick Sheehan, John J. Tobin, Nadia M. Murillo, Richard Teague, Ian Stephens, Thomas Henning, Philip C. Myers, Edwin A. Bergin

Abstract: We present ALMA Band 7 molecular line observations of the protostars within the VLA 1623 system. We map C$^{17}$O (3 - 2) in the circumbinary disk around VLA 1623A and the outflow cavity walls of the collimated outflow. We further detect red-shifted and blue-shifted velocity gradients in the circumstellar disks around VLA 1623B and VLA 1623W that are consistent with Keplerian rotation. We use the… ▽ More We present ALMA Band 7 molecular line observations of the protostars within the VLA 1623 system. We map C$^{17}$O (3 - 2) in the circumbinary disk around VLA 1623A and the outflow cavity walls of the collimated outflow. We further detect red-shifted and blue-shifted velocity gradients in the circumstellar disks around VLA 1623B and VLA 1623W that are consistent with Keplerian rotation. We use the radiative transfer modeling code, pdspy, and simple flared disk models to measure stellar masses of $0.27 \pm 0.03$ M$_\odot$, $1.9^{+0.3}_{-0.2}$ M$_\odot$, and $0.64 \pm 0.06$ M$_\odot$ for the VLA 1623A binary, VLA 1623B, and VLA 1623W, respectively. These results represent the strongest constraints on stellar mass for both VLA 1623B and VLA 1623W, and the first measurement of mass for all stellar components using the same tracer and methodology. We use these masses to discuss the relationship between the young stellar objects (YSOs) in the VLA 1623 system. We find that VLA 1623W is unlikely to be an ejected YSO, as has been previously proposed. While we cannot rule out that VLA 1623W is a unrelated YSO, we propose that it is a true companion star to the VLA 1623A/B system and that the these stars formed in situ through turbulent fragmentation and have had only some dynamical interactions since their inception. △ Less

Submitted 18 June, 2024; originally announced June 2024.

Comments: Accepted to A&A; 16 pages, 12 figures

A Cutting-Edge Deep Learning Method For Enhancing IoT Security

Authors: Nadia Ansar, Mohammad Sadique Ansari, Mohammad Sharique, Aamina Khatoon, Md Abdul Malik, Md Munir Siddiqui

Abstract: There have been significant issues given the IoT, with heterogeneity of billions of devices and with a large amount of data. This paper proposed an innovative design of the Internet of Things (IoT) Environment Intrusion Detection System (or IDS) using Deep Learning-integrated Convolutional Neural Networks (CNN) and Long Short-Term Memory (LSTM) networks. Our model, based on the CICIDS2017 dataset,… ▽ More There have been significant issues given the IoT, with heterogeneity of billions of devices and with a large amount of data. This paper proposed an innovative design of the Internet of Things (IoT) Environment Intrusion Detection System (or IDS) using Deep Learning-integrated Convolutional Neural Networks (CNN) and Long Short-Term Memory (LSTM) networks. Our model, based on the CICIDS2017 dataset, achieved an accuracy of 99.52% in classifying network traffic as either benign or malicious. The real-time processing capability, scalability, and low false alarm rate in our model surpass some traditional IDS approaches and, therefore, prove successful for application in today's IoT networks. The development and the performance of the model, with possible applications that may extend to other related fields of adaptive learning techniques and cross-domain applicability, are discussed. The research involving deep learning for IoT cybersecurity offers a potent solution for significantly improving network security. △ Less

Submitted 18 June, 2024; originally announced June 2024.

A Sublinear Algorithm for Approximate Shortest Paths in Large Networks

Authors: Sabyasachi Basu, Nadia Kōshima, Talya Eden, Omri Ben-Eliezer, C. Seshadhri

Abstract: Computing distances and finding shortest paths in massive real-world networks is a fundamental algorithmic task in network analysis. There are two main approaches to solving this task. On one hand are traversal-based algorithms like bidirectional breadth-first search (BiBFS) with no preprocessing step and slow individual distance inquiries. On the other hand are indexing-based approaches, which ma… ▽ More Computing distances and finding shortest paths in massive real-world networks is a fundamental algorithmic task in network analysis. There are two main approaches to solving this task. On one hand are traversal-based algorithms like bidirectional breadth-first search (BiBFS) with no preprocessing step and slow individual distance inquiries. On the other hand are indexing-based approaches, which maintain a large index. This allows for answering individual inquiries very fast; however, index creation is prohibitively expensive. We seek to bridge these two extremes: quickly answer distance inquiries without the need for costly preprocessing. In this work, we propose a new algorithm and data structure, WormHole, for approximate shortest path computations. WormHole leverages structural properties of social networks to build a sublinearly sized index, drawing upon the explicit core-periphery decomposition of Ben-Eliezer et al. Empirically, the preprocessing time of WormHole improves upon index-based solutions by orders of magnitude, and individual inquiries are consistently much faster than in BiBFS. The acceleration comes at the cost of a minor accuracy trade-off. Nonetheless, our empirical evidence demonstrates that WormHole accurately answers essentially all inquiries within a maximum additive error of 2. We complement these empirical results with provable theoretical guarantees, showing that WormHole requires $n^{o(1)}$ node queries per distance inquiry in random power-law networks. In contrast, any approach without a preprocessing step requires $n^{Ω(1)}$ queries for the same task. WormHole does not require reading the whole graph. Unlike the vast majority of index-based algorithms, it returns paths, not just distances. For faster inquiry times, it can be combined effectively with other index-based solutions, by running them only on the sublinear core. △ Less

Submitted 12 June, 2024; originally announced June 2024.

The PLATO Mission

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

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

Submitted 8 June, 2024; originally announced June 2024.

A Robust Filter for Marker-less Multi-person Tracking in Human-Robot Interaction Scenarios

Authors: Enrico Martini, Harshil Parekh, Shaoting Peng, Nicola Bombieri, Nadia Figueroa

Abstract: Pursuing natural and marker-less human-robot interaction (HRI) has been a long-standing robotics research focus, driven by the vision of seamless collaboration without physical markers. Marker-less approaches promise an improved user experience, but state-of-the-art struggles with the challenges posed by intrinsic errors in human pose estimation (HPE) and depth cameras. These errors can lead to is… ▽ More Pursuing natural and marker-less human-robot interaction (HRI) has been a long-standing robotics research focus, driven by the vision of seamless collaboration without physical markers. Marker-less approaches promise an improved user experience, but state-of-the-art struggles with the challenges posed by intrinsic errors in human pose estimation (HPE) and depth cameras. These errors can lead to issues such as robot jittering, which can significantly impact the trust users have in collaborative systems. We propose a filtering pipeline that refines incomplete 3D human poses from an HPE backbone and a single RGB-D camera to address these challenges, solving for occlusions that can degrade the interaction. Experimental results show that using the proposed filter leads to more consistent and noise-free motion representation, reducing unexpected robot movements and enabling smoother interaction. △ Less

Submitted 3 June, 2024; originally announced June 2024.

Comments: Published by and copyright protected by IEEE, 6 pages, 3 figures, 33rd IEEE International Conference on Robot & Human Interactive Communication (RO-MAN 2024)

Grammar-Aligned Decoding

Authors: Kanghee Park, Jiayu Wang, Taylor Berg-Kirkpatrick, Nadia Polikarpova, Loris D'Antoni

Abstract: Large Language Models (LLMs) struggle with reliably generating highly structured outputs, such as program code, mathematical formulas, or well-formed markup. Constrained decoding approaches mitigate this problem by greedily restricting what tokens an LLM can output at each step to guarantee that the output matches a given constraint. Specifically, in grammar-constrained decoding (GCD), the LLM's o… ▽ More Large Language Models (LLMs) struggle with reliably generating highly structured outputs, such as program code, mathematical formulas, or well-formed markup. Constrained decoding approaches mitigate this problem by greedily restricting what tokens an LLM can output at each step to guarantee that the output matches a given constraint. Specifically, in grammar-constrained decoding (GCD), the LLM's output must follow a given grammar. In this paper we demonstrate that GCD techniques (and in general constrained decoding techniques) can distort the LLM's distribution, leading to outputs that are grammatical but appear with likelihoods that are not proportional to the ones given by the LLM, and so ultimately are low-quality. We call the problem of aligning sampling with a grammar constraint, grammar-aligned decoding (GAD), and propose adaptive sampling with approximate expected futures (ASAp), a decoding algorithm that guarantees the output to be grammatical while provably producing outputs that match the conditional probability of the LLM's distribution conditioned on the given grammar constraint. Our algorithm uses prior sample outputs to soundly overapproximate the future grammaticality of different output prefixes. Our evaluation on code generation and structured NLP tasks shows how ASAp often produces outputs with higher likelihood (according to the LLM's distribution) than existing GCD techniques, while still enforcing the desired grammatical constraints. △ Less

Submitted 31 May, 2024; originally announced May 2024.

Nadine: An LLM-driven Intelligent Social Robot with Affective Capabilities and Human-like Memory

Authors: Hangyeol Kang, Maher Ben Moussa, Nadia Magnenat-Thalmann

Abstract: In this work, we describe our approach to develo** an intelligent and robust social robotic system for the Nadine social robot platform. We achieve this by integrating Large Language Models (LLMs) and skilfully leveraging the powerful reasoning and instruction-following capabilities of these types of models to achieve advanced human-like affective and cognitive capabilities. This approach is nov… ▽ More In this work, we describe our approach to develo** an intelligent and robust social robotic system for the Nadine social robot platform. We achieve this by integrating Large Language Models (LLMs) and skilfully leveraging the powerful reasoning and instruction-following capabilities of these types of models to achieve advanced human-like affective and cognitive capabilities. This approach is novel compared to the current state-of-the-art LLM-based agents which do not implement human-like long-term memory or sophisticated emotional appraisal. The naturalness of social robots, consisting of multiple modules, highly depends on the performance and capabilities of each component of the system and the seamless integration of the components. We built a social robot system that enables generating appropriate behaviours through multimodal input processing, bringing episodic memories accordingly to the recognised user, and simulating the emotional states of the robot induced by the interaction with the human partner. In particular, we introduce an LLM-agent frame for social robots, SoR-ReAct, serving as a core component for the interaction module in our system. This design has brought forth the advancement of social robots and aims to increase the quality of human-robot interaction. △ Less

Submitted 30 May, 2024; originally announced May 2024.

MetaCURL: Non-stationary Concave Utility Reinforcement Learning

Authors: Bianca Marin Moreno, Margaux Brégère, Pierre Gaillard, Nadia Oudjane

Abstract: We explore online learning in episodic loop-free Markov decision processes on non-stationary environments (changing losses and probability transitions). Our focus is on the Concave Utility Reinforcement Learning problem (CURL), an extension of classical RL for handling convex performance criteria in state-action distributions induced by agent policies. While various machine learning problems can b… ▽ More We explore online learning in episodic loop-free Markov decision processes on non-stationary environments (changing losses and probability transitions). Our focus is on the Concave Utility Reinforcement Learning problem (CURL), an extension of classical RL for handling convex performance criteria in state-action distributions induced by agent policies. While various machine learning problems can be written as CURL, its non-linearity invalidates traditional Bellman equations. Despite recent solutions to classical CURL, none address non-stationary MDPs. This paper introduces MetaCURL, the first CURL algorithm for non-stationary MDPs. It employs a meta-algorithm running multiple black-box algorithms instances over different intervals, aggregating outputs via a slee** expert framework. The key hurdle is partial information due to MDP uncertainty. Under partial information on the probability transitions (uncertainty and non-stationarity coming only from external noise, independent of agent state-action pairs), we achieve optimal dynamic regret without prior knowledge of MDP changes. Unlike approaches for RL, MetaCURL handles full adversarial losses, not just stochastic ones. We believe our approach for managing non-stationarity with experts can be of interest to the RL community. △ Less

Submitted 30 May, 2024; originally announced May 2024.

Higgs Physics at a $\sqrt{s}=3$ TeV Muon Collider with detailed detector simulation

Authors: Paolo Andreetto, Nazar Bartosik, Laura Buonincontri, Daniele Calzolari, Vieri Candelise, Massimo Casarsa, Luca Castelli, Mauro Chiesa, Anna Colaleo, Giacomo Da Molin, Matthew Forslund, Luca Giambastiani, Alessio Gianelle, Karol Krizka, Sergo **dariani, Anton Lechner, Donatella Lucchesi, Leo Mareso, Paola Mastrapasqua, Patrick Meade, Alessandro Montella, Simone Pagan Griso, Nadia Pastrone, Lorenzo Sestini, Rosamaria Venditti , et al. (2 additional authors not shown)

Abstract: The Muon Collider is one of the most promising future collider facilities with the potential to reach multi-TeV center-of-mass energy and high luminosity. Due to the significant Higgs boson production cross section in muon collisions at these high energies, the collider can be considered a Higgs factory. It holds the capability to significantly advance our understanding of the Higgs sector to an u… ▽ More The Muon Collider is one of the most promising future collider facilities with the potential to reach multi-TeV center-of-mass energy and high luminosity. Due to the significant Higgs boson production cross section in muon collisions at these high energies, the collider can be considered a Higgs factory. It holds the capability to significantly advance our understanding of the Higgs sector to an unprecedented level of precision. However, the presence of beam-induced background resulting from the decay of the beam muons poses unique challenges for detector development and event reconstruction. In this paper, the prospects for various measurements of the Higgs boson production cross sections at a $\sqrt{s}=3$ TeV collider are presented using a detailed detector simulation in a realistic environment. The study demonstrates the feasibility of achieving high precision measurements of the Higgs boson production cross sections with the current state-of-the-art detector design. In addition, the paper discusses the detector requirements necessary for obtaining such resolutions and for measuring the Higgs trilinear self-coupling. △ Less

Submitted 29 May, 2024; originally announced May 2024.

Computational bounds on randomized algorithms for online bin stretching

Authors: Antoine Lhomme, Nicolas Catusse, Nadia Brauner

Abstract: A frequently studied performance measure in online optimization is competitive analysis. It corresponds to the worst-case ratio, over all possible inputs of an algorithm, between the performance of the algorithm and the optimal offline performance. However, this analysis may be too pessimistic to give valuable insight on a problem. Several workarounds exist, such as randomized algorithms. This pap… ▽ More A frequently studied performance measure in online optimization is competitive analysis. It corresponds to the worst-case ratio, over all possible inputs of an algorithm, between the performance of the algorithm and the optimal offline performance. However, this analysis may be too pessimistic to give valuable insight on a problem. Several workarounds exist, such as randomized algorithms. This paper aims to propose computational methods to construct randomized algorithms and to bound their performance on the classical online bin stretching problem. A game theory method is adapted to construct lower bounds on the performance of randomized online algorithms via linear programming. Another computational method is then proposed to construct randomized algorithms which perform better than the best deterministic algorithms known. Finally, another lower bound method for a restricted class of randomized algorithm for this problem is proposed. △ Less

Submitted 29 May, 2024; originally announced May 2024.

Laurel: Generating Dafny Assertions Using Large Language Models

Authors: Eric Mugnier, Emmanuel Anaya Gonzalez, Ranjit Jhala, Nadia Polikarpova, Yuanyuan Zhou

Abstract: Dafny is a popular verification language, which automates proofs by outsourcing them to an SMT solver. This automation is not perfect, however, and the solver often requires guidance in the form of helper assertions creating a burden for the proof engineer. In this paper, we propose Laurel, a tool that uses large language models (LLMs) to automatically generate helper assertions for Dafny programs… ▽ More Dafny is a popular verification language, which automates proofs by outsourcing them to an SMT solver. This automation is not perfect, however, and the solver often requires guidance in the form of helper assertions creating a burden for the proof engineer. In this paper, we propose Laurel, a tool that uses large language models (LLMs) to automatically generate helper assertions for Dafny programs. To improve the success rate of LLMs in this task, we design two domain-specific prompting techniques. First, we help the LLM determine the location of the missing assertion by analyzing the verifier's error message and inserting an assertion placeholder at that location. Second, we provide the LLM with example assertions from the same codebase, which we select based on a new lemma similarity metric. We evaluate our techniques on a dataset of helper assertions we extracted from three real-world Dafny codebases. Our evaluation shows that Laurel is able to generate over 50% of the required helper assertions given only a few attempts, making LLMs a usable and affordable tool to further automate practical program verification. △ Less

Submitted 26 May, 2024; originally announced May 2024.

Comments: 10 pages, under review

Finding Maximum Common Contractions Between Phylogenetic Networks

Authors: Bertrand Marchand, Nadia Tahiri, Olivier Tremblay-Savard, Manuel Lafond

Abstract: In this paper, we lay the groundwork on the comparison of phylogenetic networks based on edge contractions and expansions as edit operations, as originally proposed by Robinson and Foulds to compare trees. We prove that these operations connect the space of all phylogenetic networks on the same set of leaves, even if we forbid contractions that create cycles. This allows to define an operational d… ▽ More In this paper, we lay the groundwork on the comparison of phylogenetic networks based on edge contractions and expansions as edit operations, as originally proposed by Robinson and Foulds to compare trees. We prove that these operations connect the space of all phylogenetic networks on the same set of leaves, even if we forbid contractions that create cycles. This allows to define an operational distance on this space, as the minimum number of contractions and expansions required to transform one network into another. We highlight the difference between this distance and the computation of the maximum common contraction between two networks. Given its ability to outline a common structure between them, which can provide valuable biological insights, we study the algorithmic aspects of the latter. We first prove that computing a maximum common contraction between two networks is NP-hard, even when the maximum degree, the size of the common contraction, or the number of leaves is bounded. We also provide lower bounds to the problem based on the Exponential-Time Hypothesis. Nonetheless, we do provide a polynomial-time algorithm for weakly-galled networks, a generalization of galled trees. △ Less

Submitted 26 May, 2024; originally announced May 2024.

Comments: full version (with complete set of proofs) of WABI 2024 submission

HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis

Authors: Shraddha Barke, Emmanuel Anaya Gonzalez, Saketh Ram Kasibatla, Taylor Berg-Kirkpatrick, Nadia Polikarpova

Abstract: Many structured prediction and reasoning tasks can be framed as program synthesis problems, where the goal is to generate a program in a domain-specific language (DSL) that transforms input data into the desired output. Unfortunately, purely neural approaches, such as large language models (LLMs), often fail to produce fully correct programs in unfamiliar DSLs, while purely symbolic methods based… ▽ More Many structured prediction and reasoning tasks can be framed as program synthesis problems, where the goal is to generate a program in a domain-specific language (DSL) that transforms input data into the desired output. Unfortunately, purely neural approaches, such as large language models (LLMs), often fail to produce fully correct programs in unfamiliar DSLs, while purely symbolic methods based on combinatorial search scale poorly to complex problems. Motivated by these limitations, we introduce a hybrid approach, where LLM completions for a given task are used to learn a task-specific, context-free surrogate model, which is then used to guide program synthesis. We evaluate this hybrid approach on three domains, and show that it outperforms both unguided search and direct sampling from LLMs, as well as existing program synthesizers. △ Less

Submitted 24 May, 2024; originally announced May 2024.

HI Galaxy Signatures in the SARAO MeerKAT Galactic Plane Survey -- III. Unveiling the obscured part of the Vela Supercluster

Authors: Sambatriniaina H. A. Rajohnson, Renée C. Kraan-Korteweg, Hao Chen, Bradley S. Frank, Nadia Steyn, Sushma Kurapati, D. J. Pisano, Lister Staveley-Smith, Paolo Serra, Sharmila Goedhart, Fernando Camilo

Abstract: We conducted a search for HI emission of the gas-rich galaxies in the Vela region ($260^{\circ} \leq \ell \leq 290^{\circ}, -2^{\circ} \leq b \leq 1^{\circ}$) to explore the Vela Supercluster (VSCL) at $V_\mathrm{hel} \sim 18000$ km s$^{-1}$, largely obscured by Galactic dust. Within the mostly RFI-free band ($250 < V_\mathrm{hel} < 25000$ km s$^{-1}$) of MeerKAT, the analysis focuses on $157$ hex… ▽ More We conducted a search for HI emission of the gas-rich galaxies in the Vela region ($260^{\circ} \leq \ell \leq 290^{\circ}, -2^{\circ} \leq b \leq 1^{\circ}$) to explore the Vela Supercluster (VSCL) at $V_\mathrm{hel} \sim 18000$ km s$^{-1}$, largely obscured by Galactic dust. Within the mostly RFI-free band ($250 < V_\mathrm{hel} < 25000$ km s$^{-1}$) of MeerKAT, the analysis focuses on $157$ hexagonally distributed pointings extracted from the SARAO MeerKAT Galactic Plane Survey located in the Vela region (Vela$-$SMGPS). These were combined into 10 contiguous mosaics, covering a ${\sim}90$ deg$^2$ area. Among the $843$ HI detected sources, 39 were previously discovered in the Parkes HIZOA survey ($V_\mathrm{hel} < 12000$ km s$^{-1}$; rms $\sim 6$ mJy beam$^{-1}$). With the improved rms level of the Vela$-$SMGPS, i.e., $0.29 - 0.56$ mJy beam$^{-1}$, our study unveils nearly 12 times more detections (471 candidates) in that same velocity range. We furthermore could identify $187$ galaxy candidates with an HI mass limit reaching $\log (M_{\rm HI}/\rm M_{\odot}) = 9.44$ in the VSCL velocity range $V_\mathrm{hel} \sim 19500 \pm 3500$ km s$^{-1}$. We find indications of two wall-like overdensities that confirm the original suspicion that these walls intersect at low latitudes around longitudes of $\ell \sim 272^{\circ} - 278^{\circ}$. We also find a strong signature most likely associated with the Hydra/Antlia extension and evidence of a previously unknown narrow filament at $V_\mathrm{hel} \sim 12000$ km s$^{-1}$. This paper demonstrates the efficiency of systematic HI surveys with the SKA precursor MeerKAT, even in the most obscured part of the Zone of Avoidance (ZOA). △ Less

Submitted 24 May, 2024; originally announced May 2024.

Comments: Accepted for publication in MNRAS, this version contains the full catalogue of detections

Creativity and Markov Decision Processes

Authors: Joonas Lahikainen, Nadia M. Ady, Christian Guckelsberger

Abstract: Creativity is already regularly attributed to AI systems outside specialised computational creativity (CC) communities. However, the evaluation of creativity in AI at large typically lacks grounding in creativity theory, which can promote inappropriate attributions and limit the analysis of creative behaviour. While CC researchers have translated psychological theory into formal models, the value… ▽ More Creativity is already regularly attributed to AI systems outside specialised computational creativity (CC) communities. However, the evaluation of creativity in AI at large typically lacks grounding in creativity theory, which can promote inappropriate attributions and limit the analysis of creative behaviour. While CC researchers have translated psychological theory into formal models, the value of these models is limited by a gap to common AI frameworks. To mitigate this limitation, we identify formal map**s between Boden's process theory of creativity and Markov Decision Processes (MDPs), using the Creative Systems Framework as a step** stone. We study three out of eleven map**s in detail to understand which types of creative processes, opportunities for (aberrations), and threats to creativity (uninspiration) could be observed in an MDP. We conclude by discussing quality criteria for the selection of such map**s for future work and applications. △ Less

Submitted 23 May, 2024; originally announced May 2024.

Comments: 10 pages, full paper at 15th International Conference on Computational Creativity, ICCC'24

Multiple chemical tracers finally unveil the intricate NGC\,1333 IRAS\,4A outflow system. FAUST XVI

Authors: Layal Chahine, Cecilia Ceccarelli, Marta De Simone, Claire J. Chandler, Claudio Codella, Linda Podio, Ana López-Sepulcre, Nami Sakai, Laurent Loinard, Mathilde Bouvier, Paola Caselli, Charlotte Vastel, Eleonora Bianchi, Nicolás Cuello, Francesco Fontani, Doug Johnstone, Giovanni Sabatini, Tomoyuki Hanawa, Ziwei E. Zhang, Yuri Aikawa, Gemma Busquet, Emmanuel Caux, Aurore Durán, Eric Herbst, François Ménard , et al. (32 additional authors not shown)

Abstract: The exploration of outflows in protobinary systems presents a challenging yet crucial endeavour, offering valuable insights into the dynamic interplay between protostars and their evolution. In this study, we examine the morphology and dynamics of jets and outflows within the IRAS\,4A protobinary system. This analysis is based on ALMA observations of SiO(5--4), H$_2$CO(3$_{0,3}$--2$_{0,3}$), and H… ▽ More The exploration of outflows in protobinary systems presents a challenging yet crucial endeavour, offering valuable insights into the dynamic interplay between protostars and their evolution. In this study, we examine the morphology and dynamics of jets and outflows within the IRAS\,4A protobinary system. This analysis is based on ALMA observations of SiO(5--4), H$_2$CO(3$_{0,3}$--2$_{0,3}$), and HDCO(4$_{1,4}$--3$_{1,3}$) with a spatial resolution of $\sim$150\,au. Leveraging an astrochemical approach involving the use of diverse tracers beyond traditional ones has enabled the identification of novel features and a comprehensive understanding of the broader outflow dynamics. Our analysis reveals the presence of two jets in the redshifted emission, emanating from IRAS\,4A1 and IRAS\,4A2, respectively. Furthermore, we identify four distinct outflows in the region for the first time, with each protostar, 4A1 and 4A2, contributing to two of them. We characterise the morphology and orientation of each outflow, challenging previous suggestions of bends in their trajectories. The outflow cavities of IRAS\,4A1 exhibit extensions of 10$''$ and 13$''$ with position angles (PA) of 0$^{\circ}$ and -12$^{\circ}$, respectively, while those of IRAS\,4A2 are more extended, spanning 18$''$ and 25$''$ with PAs of 29$^{\circ}$ and 26$^{\circ}$. We propose that the misalignment of the cavities is due to a jet precession in each protostar, a notion supported by the observation that the more extended cavities of the same source exhibit lower velocities, indicating they may stem from older ejection events. △ Less

Submitted 21 May, 2024; originally announced May 2024.

Exploring the Potential of Two-Dimensional Materials for Innovations in Multifunctional Electrochromic Biochemical Sensors: A Review

Authors: Nadia Anwar, Guangya Jiang, Yi Wen, Muqarrab Ahmed, Haodong Zhong, Shen Ao, Zehui Li, Yunhan Ling, Grégory F. Schneider, Wangyang Fu, Zhengjun Zhang

Abstract: In this review, the current advancements in electrochromic sensors based on two-dimensional (2D) materials with rich chemical and physical properties are critically examined. By summarizing the current trends in and prospects for utilizing multifunctional electrochromic devices (ECDs) in environmental monitoring, food quality control, medical diagnosis, and life science-related investigations, we… ▽ More In this review, the current advancements in electrochromic sensors based on two-dimensional (2D) materials with rich chemical and physical properties are critically examined. By summarizing the current trends in and prospects for utilizing multifunctional electrochromic devices (ECDs) in environmental monitoring, food quality control, medical diagnosis, and life science-related investigations, we explore the potential of using 2D materials for rational design of ECDs with compelling electrical and optical properties for biochemical sensing applications. △ Less

Submitted 20 May, 2024; originally announced May 2024.

Comments: 37 pages, 9 Figures, 2 tables

A JVLA, LOFAR, e-Merlin, VLBA and EVN study of RBS 797: can binary SMBHs explain the outburst history of the central radio galaxy?

Authors: Francesco Ubertosi, Marcello Giroletti, Myriam Gitti, Nadia Biava, Emanuele De Rubeis, Annalisa Bonafede, Luigina Feretti, Marco Bondi, Luca Bruno, Elisabetta Liuzzo, Alessandro Ignesti, Gianfranco Brunetti

Abstract: We present a multi-frequency (144 MHz - 9 GHz) and multi-scale (5 pc - 50 kpc) investigation of the central radio galaxy in RBS 797, by means of JVLA, LOFAR (with international stations), e-Merlin, VLBA and EVN data. We investigate the morphological and spectral properties of the radio lobes, the jets, and the active core. We confirm the co-spatiality of the radio lobes with the four perpendicular… ▽ More We present a multi-frequency (144 MHz - 9 GHz) and multi-scale (5 pc - 50 kpc) investigation of the central radio galaxy in RBS 797, by means of JVLA, LOFAR (with international stations), e-Merlin, VLBA and EVN data. We investigate the morphological and spectral properties of the radio lobes, the jets, and the active core. We confirm the co-spatiality of the radio lobes with the four perpendicular X-ray cavities (see arXiv:2111.03679). The radiative ages of the E-W lobes ($31.4\pm6.6$ Myr) and of the N-S lobes ($32.1\pm9.9$ Myr) support a coeval origin of the perpendicular outbursts, that also have similar active phase duration ($\sim$12 Myr). For the inner N-S jets (on scales of $\leq10$ kpc), we (a) confirm the S-shaped jet morphology; (b) show the presence of two hotspots per jet with a similar spectral index; (c) estimate the age of the twisting jets to be less than $\sim8$ Myr. Based on these results, we determine that jet precession, with period $\sim$9 Myr, half-opening angle $\sim$24$^{\circ}$ and jet speed $\sim$0.01$c$, can explain the properties of the N-S jets. We also find that the synchrotron injection index has steepened from the large, older outbursts ($Γ\sim0.5$) to the younger S-shaped jets ($Γ\sim0.9$), possibly due to a transition from an FR I-like to an FR II-like activity. The VLBI data reveal a single, compact core at the heart of RBS 797, surrounded by extended radio emission whose orientation depends on the spatial scale sampled by the data. We explore several engine-based scenarios to explain these results. Piecing together the available evidence, we argue that RBS 797 likely hosts (or hosted) binary active SMBHs. This is still consistent with the detection of a single component in the VLBI data, since the predicted separation of the binary SMBHs ($\leq$0.6 pc) is an order of magnitude smaller than the resolution of the available radio data (5 pc). △ Less

Submitted 13 May, 2024; originally announced May 2024.

Comments: Accepted for publication in Astronomy & Astrophysics

Counting steps for re-stabilization in a labor matching market

Authors: Agustin G. Bonifacio, Nadia Guiñazu, Noelia Juarez, Pablo Neme, Jorge Oviedo

Abstract: We study a one-to-one labor matching market. If a worker considers resigning from her current job to obtain a better one, how long does it take for this worker to actually get it? We present an algorithm that models this situation as a re-stabilization process involving a vacancy chain. Each step of the algorithm is a link of such a chain. We show that the length of this vacancy chain, which can b… ▽ More We study a one-to-one labor matching market. If a worker considers resigning from her current job to obtain a better one, how long does it take for this worker to actually get it? We present an algorithm that models this situation as a re-stabilization process involving a vacancy chain. Each step of the algorithm is a link of such a chain. We show that the length of this vacancy chain, which can be interpreted as the time the worker has to wait for her new job, is intimately connected with the lattice structure of the set of stable matchings of the market. Namely, this length can be computed by considering the cardinalities of cycles in preferences derived from the initial and final stable matchings involved. △ Less

Submitted 11 May, 2024; originally announced May 2024.

MediFact at MEDIQA-M3G 2024: Medical Question Answering in Dermatology with Multimodal Learning

Authors: Nadia Saeed

Abstract: The MEDIQA-M3G 2024 challenge necessitates novel solutions for Multilingual & Multimodal Medical Answer Generation in dermatology (wai Yim et al., 2024a). This paper addresses the limitations of traditional methods by proposing a weakly supervised learning approach for open-ended medical question-answering (QA). Our system leverages readily available MEDIQA-M3G images via a VGG16-CNN-SVM model, en… ▽ More The MEDIQA-M3G 2024 challenge necessitates novel solutions for Multilingual & Multimodal Medical Answer Generation in dermatology (wai Yim et al., 2024a). This paper addresses the limitations of traditional methods by proposing a weakly supervised learning approach for open-ended medical question-answering (QA). Our system leverages readily available MEDIQA-M3G images via a VGG16-CNN-SVM model, enabling multilingual (English, Chinese, Spanish) learning of informative skin condition representations. Using pre-trained QA models, we further bridge the gap between visual and textual information through multimodal fusion. This approach tackles complex, open-ended questions even without predefined answer choices. We empower the generation of comprehensive answers by feeding the ViT-CLIP model with multiple responses alongside images. This work advances medical QA research, paving the way for clinical decision support systems and ultimately improving healthcare delivery. △ Less

Submitted 27 April, 2024; originally announced May 2024.

Comments: 7 pages, 3 figures, Clinical NLP 2024 workshop proceedings in Shared Task

Reactive Temporal Logic-based Planning and Control for Interactive Robotic Tasks

Authors: Farhad Nawaz, Shaoting Peng, Lars Lindemann, Nadia Figueroa, Nikolai Matni

Abstract: Robots interacting with humans must be safe, reactive and adapt online to unforeseen environmental and task changes. Achieving these requirements concurrently is a challenge as interactive planners lack formal safety guarantees, while safe motion planners lack flexibility to adapt. To tackle this, we propose a modular control architecture that generates both safe and reactive motion plans for huma… ▽ More Robots interacting with humans must be safe, reactive and adapt online to unforeseen environmental and task changes. Achieving these requirements concurrently is a challenge as interactive planners lack formal safety guarantees, while safe motion planners lack flexibility to adapt. To tackle this, we propose a modular control architecture that generates both safe and reactive motion plans for human-robot interaction by integrating temporal logic-based discrete task level plans with continuous Dynamical System (DS)-based motion plans. We formulate a reactive temporal logic formula that enables users to define task specifications through structured language, and propose a planning algorithm at the task level that generates a sequence of desired robot behaviors while being adaptive to environmental changes. At the motion level, we incorporate control Lyapunov functions and control barrier functions to compute stable and safe continuous motion plans for two types of robot behaviors: (i) complex, possibly periodic motions given by autonomous DS and (ii) time-critical tasks specified by Signal Temporal Logic~(STL). Our methodology is demonstrated on the Franka robot arm performing wi** tasks on a whiteboard and a mannequin that is compliant to human interactions and adaptive to environmental changes. △ Less

Submitted 30 April, 2024; originally announced April 2024.

MediFact at MEDIQA-CORR 2024: Why AI Needs a Human Touch

Authors: Nadia Saeed

Abstract: Accurate representation of medical information is crucial for patient safety, yet artificial intelligence (AI) systems, such as Large Language Models (LLMs), encounter challenges in error-free clinical text interpretation. This paper presents a novel approach submitted to the MEDIQA-CORR 2024 shared task (Ben Abacha et al., 2024a), focusing on the automatic correction of single-word errors in clin… ▽ More Accurate representation of medical information is crucial for patient safety, yet artificial intelligence (AI) systems, such as Large Language Models (LLMs), encounter challenges in error-free clinical text interpretation. This paper presents a novel approach submitted to the MEDIQA-CORR 2024 shared task (Ben Abacha et al., 2024a), focusing on the automatic correction of single-word errors in clinical notes. Unlike LLMs that rely on extensive generic data, our method emphasizes extracting contextually relevant information from available clinical text data. Leveraging an ensemble of extractive and abstractive question-answering approaches, we construct a supervised learning framework with domain-specific feature engineering. Our methodology incorporates domain expertise to enhance error correction accuracy. By integrating domain expertise and prioritizing meaningful information extraction, our approach underscores the significance of a human-centric strategy in adapting AI for healthcare. △ Less

Submitted 27 April, 2024; originally announced April 2024.

Comments: 7 pages, 4 figures, Clinical NLP 2024 Workshop

Interfaces as transport barriers in two-dimensional Cahn-Hilliard-Navier-Stokes turbulence

Authors: Nadia Bihari Padhan, Rahul Pandit

Abstract: We investigate the role of interfaces as transport barriers in binary-fluid turbulence by employing Lagrangian tracer particles. The Cahn-Hilliard-Navier-Stokes (CHNS) system of partial differential equations provides a natural theoretical framework for our investigations. For specificity, we utilize the two-dimensional (2D) CHNS system. We capture efficiently interfaces and their fluctuations in… ▽ More We investigate the role of interfaces as transport barriers in binary-fluid turbulence by employing Lagrangian tracer particles. The Cahn-Hilliard-Navier-Stokes (CHNS) system of partial differential equations provides a natural theoretical framework for our investigations. For specificity, we utilize the two-dimensional (2D) CHNS system. We capture efficiently interfaces and their fluctuations in 2D binary-fluid turbulence by using extensive pseudospectral direct numerical simulations (DNSs) of the 2D CHNS equations. We begin with $n$ tracers within a droplet of one phase and examine their dispersal into the second phase. The tracers remain within the droplet for a long time before emerging from it, so interfaces act as transport barriers in binary-fluid turbulence. We show that the fraction of the number of particles inside the droplet decays exponentially and is characterized by a decay time $τ_ξ\sim R_0^{3/2}$ that increases with $R_0$, the radius of the initially circular droplet. Furthermore, we demonstrate that the average first-passage time $\langle τ\rangle$ for tracers inside a droplet is orders of magnitude larger than it is for transport out of a hypothetical circle with the same radius as the initially circular droplet. We examine the roles of the Okubo-Weiss parameter $Λ$, the fluctuations of the droplet perimeter, and the probability distribution function of $\cos(θ)$, with $θ$ the angle between the fluid velocity and the normal to a droplet interface, in trap** tracers inside droplets. We mention possible generalisations of our study. △ Less

Submitted 26 April, 2024; originally announced April 2024.

Comments: 9 pages, 5 figures

Realisation of de Gennes$'$ Absolute Superconducting Switch with a Heavy Metal Interface

Authors: Hisakazu Matsuki, Alberto Hijano, Grzegorz P. Mazur, Stefan Ilic, Binbin Wang, Yuliya Alekhina, Kohei Ohnishi, Sachio Komori, Yang Li, Nadia Stelmashenko, Niladri Banerjee, Lesley F. Cohen, David W. McComb, F. Sebastian Bergeret, Guang Yang, Jason W. A. Robinson

Abstract: In 1966, Pierre-Gilles de Gennes proposed a non-volatile mechanism for switching superconductivity on and off in a magnetic device. This involved a superconductor (S) sandwiched between ferromagnetic (F) insulators in which the net magnetic exchange field could be controlled through the magnetisation-orientation of the F layers. Because superconducting switches are attractive for a range of applic… ▽ More In 1966, Pierre-Gilles de Gennes proposed a non-volatile mechanism for switching superconductivity on and off in a magnetic device. This involved a superconductor (S) sandwiched between ferromagnetic (F) insulators in which the net magnetic exchange field could be controlled through the magnetisation-orientation of the F layers. Because superconducting switches are attractive for a range of applications, extensive studies have been carried out on $F/S/F$ structures. Although these have demonstrated a sensitivity of the superconducting critical temperature ($T_{c}$) to parallel (P) and antiparallel (AP) magnetisation-orientations of the F layers, corresponding shifts in $T_c$ (i.e., $ΔT_c = T_{c,AP} - T_{c,P}$) are lower than predicted with $ΔT_c$ only a small fraction of $T_{c,AP}$, precluding the development of applications. Here, we report $EuS/Au/Nb/EuS$ structures where EuS is an insulating ferromagnet, Nb is a superconductor and Au is a heavy metal. For P magnetisations, the superconducting state in this structure is quenched down to the lowest measured temperature of 20 mK meaning that $ΔT_c/T_{c,AP}$ is practically 1. The key to this so-called absolute switching effect is a sizable spin-mixing conductance at the $EuS/Au$ interface which ensures a robust magnetic proximity effect, unlocking the potential of $F/S/F$ switches for low power electronics. △ Less

Submitted 24 April, 2024; originally announced April 2024.

JWST ERS Program Q3D: The pitfalls of virial BH mass constraints shown in a z = 3 quasar with an ultramassive host

Authors: Caroline Bertemes, Dominika Wylezalek, David S. N. Rupke, Nadia L. Zakamska, Sylvain Veilleux, Benjamin Beckmann, Andrey Vayner, Swetha Sankar, Yuzo Ishikawa, Nadiia Diachenko, Weizhe Liu, Yu-Ching Chen, Jerome Seebeck, Dieter Lutz, Guilin Liu

Abstract: We present JWST MIRI/NIRSpec observations of the extremely red quasar SDSS J165202.64+172852.3 at z~3, one of the most luminous quasars known to date, driving powerful outflows and hosting a clumpy starburst, amidst several interacting companions. We estimate the black hole (BH) mass of the system based on the broad H$α$ and H$β$ lines, as well as the Pa$β$ emission in the IR and MgII in the UV. W… ▽ More We present JWST MIRI/NIRSpec observations of the extremely red quasar SDSS J165202.64+172852.3 at z~3, one of the most luminous quasars known to date, driving powerful outflows and hosting a clumpy starburst, amidst several interacting companions. We estimate the black hole (BH) mass of the system based on the broad H$α$ and H$β$ lines, as well as the Pa$β$ emission in the IR and MgII in the UV. We recover a very broad range of mass estimates, with constraints ranging between log $M_{\rm BH}$=9 and 10.1, which is exacerbated if imposing a uniform BLR geometry at all wavelengths. Several factors may contribute to the large spread: measurement uncertainties (insufficient sensitivity to detect the broadest component of the faint Pa$β$ line, spectral blending, ambiguities in the broad/narrow component distinction), lack of virial equilibrium (in a system characterised by powerful outflows and rapid accretion), and uncertainties on the luminosity-inferred size of the broad line region, a.o. given central dust obscuration. We constrain the stellar mass via SED fitting, suggesting the host to be extremely massive at $10^{12.8\pm 0.5} M_\odot$ - ~2 dex above the characteristic mass of the Schechter fit to the z=3 stellar mass function. Notably, J1652's central BH might be interpreted as being either undermassive, overmassive, or in line with the BH mass-stellar mass relation, depending on the choice of assumptions. The recovered Eddington ratio varies accordingly, but exceeds 10% in any case. We put our results into context by providing an extensive overview and discussion of recent literature results and their associated assumptions. Our findings provide an important demonstration of the uncertainties inherent in virial BH mass estimates, which are of particular relevance in the JWST era given the growing number of studies on rapidly accreting quasars at high redshift. △ Less

Submitted 22 April, 2024; originally announced April 2024.

Comments: 15 pages, 7 figures, submitted to A&A, comments welcome

Enhanced controllable triplet proximity effect in superconducting spin-orbit coupled spin valves with modified superconductor/ferromagnet interfaces

Authors: Alex T. Bregazzi, Jabir A. Ouassou, Arthur G. Coveney, Nadia A. Stelmashenko, Ali Child, Alpha T. N'Diaye, Jason W. A. Robinson, Fasil K. Dejene, Jacob Linder, Niladri Banerjee

Abstract: In a superconductor/ferromagnet hybrid, a magnetically controlled singlet-to-triplet Cooper pair conversion can modulate the superconducting critical temperature. In these triplet superconducting spin valves, such control usually requires inhomogeneous magnetism. However, in the presence of spin-orbit coupling from an interfacial heavy-metal layer, the singlet/triplet conversion rate and thus the… ▽ More In a superconductor/ferromagnet hybrid, a magnetically controlled singlet-to-triplet Cooper pair conversion can modulate the superconducting critical temperature. In these triplet superconducting spin valves, such control usually requires inhomogeneous magnetism. However, in the presence of spin-orbit coupling from an interfacial heavy-metal layer, the singlet/triplet conversion rate and thus the critical temperature, can be controlled via the magnetization direction of a single homogeneous ferromagnet. Here, we report significantly enhanced controllable pair conversion to a triplet state in a Nb/Pt/Co/Pt superconducting spin valve in which Pt/Co/Pt is homogeneously magnetized and proximity-coupled to a superconducting layer of Nb. The Co/Pt interface furthest away from Nb is modified by a sub-nanometer-thick layer of Cu or Au. We argue that the enhancement is most likely associated from an improvement of the Co/Pt interface due to the insertion of Cu and Au layers. Additionally, the higher normalized orbital moments in Au measured using X-ray magnetic circular dichroism shows that increasing spin-orbit coupling enhances the triplet proximity effect - an observation supported by our theoretical calculations. Our results provide a pathway to enhancing triplet pair creation by interface engineering for device development in superspintronics. △ Less

Submitted 19 April, 2024; originally announced April 2024.

Comments: 11 pages, 4 figures

Journal ref: Applied Physics Letters, 124 (16):162602 (2024)

Convolution Identities of Stirling Numbers

Authors: Nadia Na Li, Wenchang Chu

Abstract: By means of the generating function method, a linear recurrence relation is explicitly resolved. The solution is expressed in terms of the Stirling numbers of both the first and the second kind. Two remarkable pairs of combinatorial identities are established as applications, that contain some well-known convolution formulae on Stirling numbers as special cases. By means of the generating function method, a linear recurrence relation is explicitly resolved. The solution is expressed in terms of the Stirling numbers of both the first and the second kind. Two remarkable pairs of combinatorial identities are established as applications, that contain some well-known convolution formulae on Stirling numbers as special cases. △ Less

Submitted 15 April, 2024; originally announced April 2024.

Comments: 7 pages

MSC Class: 05A10; 11B65

Realistic Continual Learning Approach using Pre-trained Models

Authors: Nadia Nasri, Carlos Gutiérrez-Álvarez, Sergio Lafuente-Arroyo, Saturnino Maldonado-Bascón, Roberto J. López-Sastre

Abstract: Continual learning (CL) is crucial for evaluating adaptability in learning solutions to retain knowledge. Our research addresses the challenge of catastrophic forgetting, where models lose proficiency in previously learned tasks as they acquire new ones. While numerous solutions have been proposed, existing experimental setups often rely on idealized class-incremental learning scenarios. We introd… ▽ More Continual learning (CL) is crucial for evaluating adaptability in learning solutions to retain knowledge. Our research addresses the challenge of catastrophic forgetting, where models lose proficiency in previously learned tasks as they acquire new ones. While numerous solutions have been proposed, existing experimental setups often rely on idealized class-incremental learning scenarios. We introduce Realistic Continual Learning (RealCL), a novel CL paradigm where class distributions across tasks are random, departing from structured setups. We also present CLARE (Continual Learning Approach with pRE-trained models for RealCL scenarios), a pre-trained model-based solution designed to integrate new knowledge while preserving past learning. Our contributions include pioneering RealCL as a generalization of traditional CL setups, proposing CLARE as an adaptable approach for RealCL tasks, and conducting extensive experiments demonstrating its effectiveness across various RealCL scenarios. Notably, CLARE outperforms existing models on RealCL benchmarks, highlighting its versatility and robustness in unpredictable learning environments. △ Less

Submitted 11 April, 2024; originally announced April 2024.

Transport properties through alternating borophene and graphene superlattices

Authors: Nadia Benlakhouy, Abderrahim El Mouhafid, Ahmed Jellal

Abstract: The electronic transport properties of two junctions (BGB, GBG) made of borophene (B) and graphene (G) are studied. Using the transfer matrix method with Chebyshev polynomials, we have studied single and multiple barriers in a superlattice configuration. We showed that a single barrier exhibits remarkable tilted transport properties, with perfect transmission observed for both junctions under norm… ▽ More The electronic transport properties of two junctions (BGB, GBG) made of borophene (B) and graphene (G) are studied. Using the transfer matrix method with Chebyshev polynomials, we have studied single and multiple barriers in a superlattice configuration. We showed that a single barrier exhibits remarkable tilted transport properties, with perfect transmission observed for both junctions under normal incidence. We found that robust superlattice transmission is maintained for multiple barriers, particularly in the BGB junction. It turns out that by varying the incident energy, many gaps appear in the transmission probability. The number, width, and position of these transmission gaps can be manipulated by adjusting the number of cells, incident angle, and barrier characteristics. For diffuse transport, we observed significant variations in conductance and the Fano factor, highlighting the sensitivity of these junctions to the physical parameters. We showed different behaviors between BGB and GBG junctions, particularly with respect to the response of conductance and Fano factor when barrier height varies. For ballistic transport, we have seen that the minimum conductivity is related to the maximum Fano factor, demonstrating their control under specific conditions of the physical parameters. Analysis of the length ratio (geometric factor) revealed some remarkable patterns, where conductivity and the Fano factor converged to certain values as the ratio approached infinity. △ Less

Submitted 28 March, 2024; originally announced March 2024.

Comments: 10 pages, 15 figures

WIN-PDQ: A Wiener-estimator-based projection-domain quantitative SPECT method that accounts for intra-regional uptake heterogeneity

Authors: Zekun Li, Nadia Benabdallah, Daniel L. J. Thorek, Abhinav K. Jha

Abstract: SPECT can enable the quantification of activity uptake in lesions and at-risk organs in α-particle-emitting radiopharmaceutical therapies (α-RPTs). But this quantification is challenged by the low photon counts, complicated isotope physics, and the image-degrading effects in α-RPT SPECT. Thus, strategies to optimize the SPECT system and protocol designs for the task of regional uptake quantificati… ▽ More SPECT can enable the quantification of activity uptake in lesions and at-risk organs in α-particle-emitting radiopharmaceutical therapies (α-RPTs). But this quantification is challenged by the low photon counts, complicated isotope physics, and the image-degrading effects in α-RPT SPECT. Thus, strategies to optimize the SPECT system and protocol designs for the task of regional uptake quantification are needed. Objectively performing this task-based optimization requires a reliable (accurate and precise) regional uptake quantification method. Conventional reconstruction-based quantification (RBQ) methods have been observed to be erroneous for α-RPT SPECT. Projection-domain quantification methods, which estimate regional uptake directly from SPECT projections, have demonstrated potential in providing reliable regional uptake estimates, but these methods assume constant uptake within the regions, an assumption that may not hold. To address these challenges, we propose WIN-PDQ, a Wiener-estimator-based projection-domain quantitative SPECT method. The method accounts for the heterogeneity within the regions of interest while estimating mean uptake. An early-stage evaluation of the method was conducted using 3D Monte Carlo-simulated SPECT of anthropomorphic phantoms with radium-223 uptake and lumpy-model-based intra-regional uptake heterogeneity. In this evaluation with phantoms of varying mean regional uptake and intra-regional uptake heterogeneity, the WIN-PDQ method yielded ensemble unbiased estimates and significantly outperformed both reconstruction-based and previously proposed projection-domain quantification methods. In conclusion, based on these preliminary findings, the proposed method is showing potential for estimating mean regional uptake in α-RPTs and towards enabling the objective task-based optimization of SPECT system and protocol designs. △ Less

Submitted 25 March, 2024; originally announced March 2024.

Comments: The work has been accepted for publication in 2024 SPIE Medical Imaging conference proceedings

SE(3) Linear Parameter Varying Dynamical Systems for Globally Asymptotically Stable End-Effector Control

Authors: Sunan Sun, Nadia Figueroa

Abstract: Linear Parameter Varying Dynamical Systems (LPV-DS) encode trajectories into an autonomous first-order DS that enables reactive responses to perturbations, while ensuring globally asymptotic stability at the target. However, the current LPV-DS framework is established on Euclidean data only and has not been applicable to broader robotic applications requiring pose control. In this paper we present… ▽ More Linear Parameter Varying Dynamical Systems (LPV-DS) encode trajectories into an autonomous first-order DS that enables reactive responses to perturbations, while ensuring globally asymptotic stability at the target. However, the current LPV-DS framework is established on Euclidean data only and has not been applicable to broader robotic applications requiring pose control. In this paper we present an extension to the current LPV-DS framework, named Quaternion-DS, which efficiently learns a DS-based motion policy for orientation. Leveraging techniques from differential geometry and Riemannian statistics, our approach properly handles the non-Euclidean orientation data in quaternion space, enabling the integration with positional control, namely SE(3) LPV-DS, so that the synergistic behaviour within the full SE(3) pose is preserved. Through simulation and real robot experiments, we validate our method, demonstrating its ability to efficiently and accurately reproduce the original SE(3) trajectory while exhibiting strong robustness to perturbations in task space. △ Less

Submitted 24 March, 2024; originally announced March 2024.

Enhancing Testing at Meta with Rich-State Simulated Populations

Authors: Nadia Alshahwan, Arianna Blasi, Kinga Bojarczuk, Andrea Ciancone, Natalija Gucevska, Mark Harman, Simon Schellaert, Inna Harper, Yue Jia, Michał Królikowski, Will Lewis, Dragos Martac, Rubmary Rojas, Kate Ustiuzhanina

Abstract: This paper reports the results of the deployment of Rich-State Simulated Populations at Meta for both automated and manual testing. We use simulated users (aka test users) to mimic user interactions and acquire state in much the same way that real user accounts acquire state. For automated testing, we present empirical results from deployment on the Facebook, Messenger, and Instagram apps for iOS… ▽ More This paper reports the results of the deployment of Rich-State Simulated Populations at Meta for both automated and manual testing. We use simulated users (aka test users) to mimic user interactions and acquire state in much the same way that real user accounts acquire state. For automated testing, we present empirical results from deployment on the Facebook, Messenger, and Instagram apps for iOS and Android Platforms. These apps consist of tens of millions of lines of code, communicating with hundreds of millions of lines of backend code, and are used by over 2 billion people every day. Our results reveal that rich state increases average code coverage by 38\%, and endpoint coverage by 61\%. More importantly, it also yields an average increase of 115\% in the faults found by automated testing. The rich-state test user populations are also deployed in a (continually evolving) Test Universe; a web-enabled simulation platform for privacy-safe manual testing, which has been used by over 21,000 Meta engineers since its deployment in November 2022. △ Less

Submitted 22 March, 2024; originally announced March 2024.

Comments: ICSE 2024

Constrained Passive Interaction Control: Leveraging Passivity and Safety for Robot Manipulators

Authors: Zhiquan Zhang, Tianyu Li, Nadia Figueroa

Abstract: Passivity is necessary for robots to fluidly collaborate and interact with humans physically. Nevertheless, due to the unconstrained nature of passivity-based impedance control laws, the robot is vulnerable to infeasible and unsafe configurations upon physical perturbations. In this paper, we propose a novel control architecture that allows a torque-controlled robot to guarantee safety constraints… ▽ More Passivity is necessary for robots to fluidly collaborate and interact with humans physically. Nevertheless, due to the unconstrained nature of passivity-based impedance control laws, the robot is vulnerable to infeasible and unsafe configurations upon physical perturbations. In this paper, we propose a novel control architecture that allows a torque-controlled robot to guarantee safety constraints such as kinematic limits, self-collisions, external collisions and singularities and is passive only when feasible. This is achieved by constraining a dynamical system based impedance control law with a relaxed hierarchical control barrier function quadratic program subject to multiple concurrent, possibly contradicting, constraints. Joint space constraints are formulated from efficient data-driven self- and external C^2 collision boundary functions. We theoretically prove constraint satisfaction and show that the robot is passive when feasible. Our approach is validated in simulation and real robot experiments on a 7DoF Franka Research 3 manipulator. △ Less

Submitted 14 March, 2024; originally announced March 2024.

First evidence of a connection between cluster-scale diffuse radio emission in cool-core galaxy clusters and sloshing features

Authors: N. Biava, A. Bonafede, F. Gastaldello, A. Botteon, M. Brienza, T. W. Shimwell, G. Brunetti, L. Bruno, K. Rajpurohit, C. J. Riseley, R. J. van Weeren, M. Rossetti, R. Cassano, F. De Gasperin, A. Drabent, H. J. A. Rottgering, A. C. Edge, C. Tasse

Abstract: Radio observations of a few cool-core galaxy clusters have revealed the presence of diffuse emission on cluster scales, similar to what was found in merging clusters in the form of radio halos. These sources might suggest that a minor merger, while not sufficiently energetic to disrupt the cool core, could still trigger particle acceleration in the intracluster medium on scales of hundreds of kpc.… ▽ More Radio observations of a few cool-core galaxy clusters have revealed the presence of diffuse emission on cluster scales, similar to what was found in merging clusters in the form of radio halos. These sources might suggest that a minor merger, while not sufficiently energetic to disrupt the cool core, could still trigger particle acceleration in the intracluster medium on scales of hundreds of kpc. We observed with LOFAR at 144 MHz a sample of twelve cool-core galaxy clusters presenting some level of dynamical disturbances, according to X-ray data. We also performed a systematic search of cold fronts in these clusters, re-analysing archival Chandra data. The clusters PSZ1G139.61+24, A1068 (new detection), MS 1455.0+2232, and RX J1720.1+2638 present diffuse radio emission on a cluster scale. This emission is characterised by a double component: a central mini-halo confined by cold fronts and diffuse emission on larger scales, whose radio power at 144 MHz is comparable to that of radio halos detected in merging systems. The cold fronts in A1068 are a new detection. We also found a candidate plasma depletion layer in this cluster. No sloshing features are found in the other eight clusters. Two of them present a mini-halo, with diffuse radio emission confined to the cluster core. We also found a new candidate mini-halo. Whereas, for the remaining five clusters, we did not detect halo-like emission. For clusters without cluster-scale halos, we derived upper limits to the radio halo power. We found that cluster-scale diffuse radio emission is not present in all cool-core clusters when observed at a low frequency, but it is correlated to the presence of cold fronts. This morphology requires a specific configuration of the merger and so it puts some constraints on the turbulence, which deserves to be investigated in the future with theoretical works. △ Less

Submitted 14 March, 2024; originally announced March 2024.

Comments: 34 pages, 30 figures. Accepted for publication in A&A

Object Permanence Filter for Robust Tracking with Interactive Robots

Authors: Shaoting Peng, Margaret X. Wang, Julie A. Shah, Nadia Figueroa

Abstract: Object permanence, which refers to the concept that objects continue to exist even when they are no longer perceivable through the senses, is a crucial aspect of human cognitive development. In this work, we seek to incorporate this understanding into interactive robots by proposing a set of assumptions and rules to represent object permanence in multi-object, multi-agent interactive scenarios. We… ▽ More Object permanence, which refers to the concept that objects continue to exist even when they are no longer perceivable through the senses, is a crucial aspect of human cognitive development. In this work, we seek to incorporate this understanding into interactive robots by proposing a set of assumptions and rules to represent object permanence in multi-object, multi-agent interactive scenarios. We integrate these rules into the particle filter, resulting in the Object Permanence Filter (OPF). For multi-object scenarios, we propose an ensemble of K interconnected OPFs, where each filter predicts plausible object tracks that are resilient to missing, noisy, and kinematically or dynamically infeasible measurements, thus bringing perceptional robustness. Through several interactive scenarios, we demonstrate that the proposed OPF approach provides robust tracking in human-robot interactive tasks agnostic to measurement type, even in the presence of prolonged and complete occlusion. Webpage: https://opfilter.github.io/. △ Less

Submitted 13 March, 2024; originally announced March 2024.

Comments: 2024 IEEE International Conference on Robotics and Automation (ICRA)

On the Feasibility of EEG-based Motor Intention Detection for Real-Time Robot Assistive Control

Authors: Ho ** Choi, Satyajeet Das, Shaoting Peng, Ruzena Bajcsy, Nadia Figueroa

Abstract: This paper explores the feasibility of employing EEG-based intention detection for real-time robot assistive control. We focus on predicting and distinguishing motor intentions of left/right arm movements by presenting: i) an offline data collection and training pipeline, used to train a classifier for left/right motion intention prediction, and ii) an online real-time prediction pipeline leveragi… ▽ More This paper explores the feasibility of employing EEG-based intention detection for real-time robot assistive control. We focus on predicting and distinguishing motor intentions of left/right arm movements by presenting: i) an offline data collection and training pipeline, used to train a classifier for left/right motion intention prediction, and ii) an online real-time prediction pipeline leveraging the trained classifier and integrated with an assistive robot. Central to our approach is a rich feature representation composed of the tangent space projection of time-windowed sample covariance matrices from EEG filtered signals and derivatives; allowing for a simple SVM classifier to achieve unprecedented accuracy and real-time performance. In pre-recorded real-time settings (160 Hz), a peak accuracy of 86.88% is achieved, surpassing prior works. In robot-in-the-loop settings, our system successfully detects intended motion solely from EEG data with 70% accuracy, triggering a robot to execute an assistive task. We provide a comprehensive evaluation of the proposed classifier. △ Less

Submitted 12 March, 2024; originally announced March 2024.

VODKA-JWST: Synchronized growth of two SMBHs in a massive gas disk? A 3.8 kpc separation dual quasar at cosmic noon with JWST NIRSpec IFU

Authors: Yuzo Ishikawa, Nadia L. Zakamska, Yue Shen, Xin Liu, Yu-Ching Chen, Hsiang-Chih Hwang, Andrey Vayner, Sylvain Veilleux, David S. N. Rupke, Dominika Wylezalek, Arran C. Gross, Swetha Sankar, Nadiia Diachenko

Abstract: The search for dual supermassive black holes (SMBHs) is of immense interest in modern astrophysics. Galaxy mergers may be an important route to fuel and to produce SMBH pairs. Actively accreting SMBH pairs can be observed as a dual quasar, which are vital probes of SMBH growth. Gaia observations have enabled a novel technique to systematically search for such dual quasars at previously unreachable… ▽ More The search for dual supermassive black holes (SMBHs) is of immense interest in modern astrophysics. Galaxy mergers may be an important route to fuel and to produce SMBH pairs. Actively accreting SMBH pairs can be observed as a dual quasar, which are vital probes of SMBH growth. Gaia observations have enabled a novel technique to systematically search for such dual quasars at previously unreachable sub-kpc scales, based on the small jitters of the light centroid as the two quasars vary stochastically. Here we present the first detailed study of a 0.46'', 3.8 kpc separation, VODKA-selected dual quasar, J0749+2255, at $z=2.17$ using JWST/NIRSpec integral field unit spectroscopy. This is one of the most distant, small separation dual quasars identified today. Dual quasars at cosmic noon are not well characterized. We detect the faint ionized gas of the host galaxy, best traced by the narrow \ha\ emission. Line ratio diagnostics show a mix of ionization from the two quasars and intense star formation. The spatially-resolved spectra of the two quasars suggest that they have very similar black hole properties (two $M_{BH}\sim 10^9\ \textrm{M}_{\odot}$ with large Eddington ratio reaching $L/L_{Edd}\sim0.2$) hinting at the possible synchronized growth and accretion from the same gas supply. Surprisingly, the ionized gas kinematics suggest an extended, rotating disk rather than a disturbed system that would be expected in a major gas-rich galaxy merger. While it is unclear if J0749+2255 is representative of the dual quasar evolution, the observations with JWST revealed a major puzzle. It would be interesting to see what observations of other dual quasars will show. △ Less

Submitted 12 March, 2024; originally announced March 2024.

Comments: 21 pages, 9 figures, submitted

Journal ref: ApJ 2024

Texture image retrieval using a classification and contourlet-based features

Authors: Asal Rouhafzay, Nadia Baaziz, Mohand Said Allili

Abstract: In this paper, we propose a new framework for improving Content Based Image Retrieval (CBIR) for texture images. This is achieved by using a new image representation based on the RCT-Plus transform which is a novel variant of the Redundant Contourlet transform that extracts a richer directional information in the image. Moreover, the process of image search is improved through a learning-based app… ▽ More In this paper, we propose a new framework for improving Content Based Image Retrieval (CBIR) for texture images. This is achieved by using a new image representation based on the RCT-Plus transform which is a novel variant of the Redundant Contourlet transform that extracts a richer directional information in the image. Moreover, the process of image search is improved through a learning-based approach where the images of the database are classified using an adapted similarity metric to the statistical modeling of the RCT-Plus transform. A query is then first classified to select the best texture class after which the retained class images are ranked to select top ones. By this, we have achieved significant improvements in the retrieval rates compared to previous CBIR schemes. △ Less

Submitted 9 March, 2024; originally announced March 2024.

Comments: 14 pages, 6 figures, The 25th International Conference on Image Processing, Computer Vision, & Pattern Recognition (IPCV'21: July 26-29, 2021, USA)

VODKA-JWST: A 3.8 kpc dual quasar at cosmic noon in a powerful starburst galaxy with JWST/MIRI IFU

Authors: Yu-Ching Chen, Yuzo Ishikawa, Nadia L. Zakamska, Xin Liu, Yue Shen, Hsiang-Chih Hwang, David Rupke, Andrey Vayner, Arran C. Gross, Weizhe Liu, Dominika Wylezalek, Sylvain Veilleux, Caroline Bertemes, Nadiia Diachenko, Swetha Sankar

Abstract: Dual quasars, two active supermassive black holes at galactic scales, represent crucial objects for studying the impact of galaxy mergers and quasar activity on the star formation rate (SFR) within their host galaxies, particularly at cosmic noon when SFR peaks. We present JWST/MIRI mid-infrared integral field spectroscopy of J074922.96+225511.7, a dual quasar with a projected separation of 3.8 ki… ▽ More Dual quasars, two active supermassive black holes at galactic scales, represent crucial objects for studying the impact of galaxy mergers and quasar activity on the star formation rate (SFR) within their host galaxies, particularly at cosmic noon when SFR peaks. We present JWST/MIRI mid-infrared integral field spectroscopy of J074922.96+225511.7, a dual quasar with a projected separation of 3.8 kilo-parsec at a redshift $z$ of 2.17. We detect spatially extended [Fe II] 5.34$\rm μ$m and polycyclic aromatic hydrocarbon (PAH) 3.3$μ$m emissions from the star formation activity in its host galaxy. We derive the SFR of 10$^{3.0\pm0.2}$ M$_{\odot}$ yr$^{-1}$ using PAH 3.3$μ$m, which is five times higher than that derived from the cutoff luminosity of the infrared luminosity function for galaxies at $z\sim2$. While the SFR of J0749+2255 agrees with that of star-forming galaxies of comparable stellar mass at the same redshifts, its molecular gas content falls short of expectations based on the molecular Kennicutt-Schmidt law. This discrepancy may result from molecular gas depletion due to the longer elevated stage of star formation, even after the molecular gas reservoir is depleted. We do not observe any quasar-driven outflow that impacts PAH and [Fe II] in the host galaxy based on the spatially resolved maps. From the expected flux in PAH-based star formation, the [Fe II] line likely originates from the star-forming regions in the host galaxy. Our study highlights the stardust nature of J0749+2255, indicating a potential connection between the dual quasar phase and intense star formation activities. △ Less

Submitted 9 March, 2024; v1 submitted 6 March, 2024; originally announced March 2024.

Comments: 12 pages, 7 figures, 1 table, submitted to ApJ, comments are welcome

On the enumeration of signatures of XOR-CNF's

Authors: Nadia Creignou, Oscar Defrain, Frédéric Olive, Simon Vilmin

Abstract: Given a CNF formula $\varphi$ with clauses $C_1, \dots, C_m$ over a set of variables $V$, a truth assignment $\mathbf{a} : V \to \{0, 1\}$ generates a binary sequence $σ_\varphi(\mathbf{a})=(C_1(\mathbf{a}), \ldots, C_m(\mathbf{a}))$, called a signature of $\varphi$, where $C_i(\mathbf{a})=1$ if clause $C_i$ evaluates to 1 under assignment $\mathbf{a}$, and $C_i(\mathbf{a})=0$ otherwise. Signature… ▽ More Given a CNF formula $\varphi$ with clauses $C_1, \dots, C_m$ over a set of variables $V$, a truth assignment $\mathbf{a} : V \to \{0, 1\}$ generates a binary sequence $σ_\varphi(\mathbf{a})=(C_1(\mathbf{a}), \ldots, C_m(\mathbf{a}))$, called a signature of $\varphi$, where $C_i(\mathbf{a})=1$ if clause $C_i$ evaluates to 1 under assignment $\mathbf{a}$, and $C_i(\mathbf{a})=0$ otherwise. Signatures and their associated generation problems have given rise to new yet promising research questions in algorithmic enumeration. In a recent paper, Bérczi et al. interestingly proved that generating signatures of a CNF is tractable despite the fact that verifying a solution is hard. They also showed the hardness of finding maximal signatures of an arbitrary CNF due to the intractability of satisfiability in general. Their contribution leaves open the problem of efficiently generating maximal signatures for tractable classes of CNFs, i.e., those for which satisfiability can be solved in polynomial time. Step** into that direction, we completely characterize the complexity of generating all, minimal, and maximal signatures for XOR-CNFs. △ Less

Submitted 28 February, 2024; originally announced February 2024.

Comments: 21 pages, 5 figures

Weak solvability of elliptic variational inequalities coupled with a nonlinear differential equation

Authors: Nadia Skoglund Taki

Abstract: In this paper we establish existence, uniqueness, and boundedness results for an elliptic variational inequality coupled with a nonlinear ordinary differential equation. Under the general framework, we present a new application modelling the antiplane shear deformation of a static frictional adhesive contact problem. The adhesion process has been extensively studied, but it is usual to assume a pr… ▽ More In this paper we establish existence, uniqueness, and boundedness results for an elliptic variational inequality coupled with a nonlinear ordinary differential equation. Under the general framework, we present a new application modelling the antiplane shear deformation of a static frictional adhesive contact problem. The adhesion process has been extensively studied, but it is usual to assume a priori that the intensity of adhesion is bounded by introducing truncation operators. The aim of this article is to remove this restriction. The proof is based on an iterative approximation scheme showing that the problem has a unique solution. A key ingredient is finding uniform a priori bounds for each iterate. These are obtained by adapting versions of the Moser iteration to our system of equations. △ Less

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

Comments: 39 pages, 1 figure