Showing 1–50 of 274 results for author: Martinez, S

$T_{cc}$ in the Diabatic Diquark Model: Effects of $D^*D$ Isospin

Authors: Richard F. Lebed, Steven R. Martinez

Abstract: $T_{cc}^+$ is an isoscalar 4-quark state with mass lying barely below the $D^{*+} D^0$ threshold, and several times further below the $D^{*0} D^+$ threshold. It allows both di-meson molecular and elementary diquark-antidiquark $(cc)(\bar u \bar d)… ▽ More $T_{cc}^+$ is an isoscalar 4-quark state with mass lying barely below the $D^{*+} D^0$ threshold, and several times further below the $D^{*0} D^+$ threshold. It allows both di-meson molecular and elementary diquark-antidiquark $(cc)(\bar u \bar d)$ substructures. The diabatic generalization of the adiabatic approximation within the Born-Oppenheimer formalism rigorously incorporates the mixing of such elementary eigenstates with states corresponding to two-particle thresholds. We examine the separate influence of the two $D^* \! D$ isospin channels and find that the influence of $D^{*+} D^0$ is larger than that of $D^{*0} D^+$ but not overwhelmingly so, and that $T_{cc}^+$ contains an $O(10\%)$ $(cc)(\bar u \bar d)$ component. We then explore the variation of these results if the isospin breaking between the di-meson thresholds is varied, and also the sensitivity of our results to variation of the mixing-potential parameters. △ Less

Submitted 12 June, 2024; originally announced June 2024.

Comments: 12 pages, 4 figures

Diabatic Dynamical Diquark Bound States: Mass Corrections and Widths

Authors: Richard F. Lebed, Steven R. Martinez

Abstract: Using the diabatic formalism, which generalizes the adiabatic approximation in the Born-Oppenheimer formalism, we apply well-known Hamiltonian methods to calculate the effect of open di-meson thresholds that lie well below the mass of elementary $c\bar c q\bar q^\prime$, $c\bar c s\bar s$, and $c \bar c q \bar s$ tetraquark bound states. We compute the resulting mass shifts for these states, as we… ▽ More Using the diabatic formalism, which generalizes the adiabatic approximation in the Born-Oppenheimer formalism, we apply well-known Hamiltonian methods to calculate the effect of open di-meson thresholds that lie well below the mass of elementary $c\bar c q\bar q^\prime$, $c\bar c s\bar s$, and $c \bar c q \bar s$ tetraquark bound states. We compute the resulting mass shifts for these states, as well as their decay widths to the corresponding meson pairs. Each mass eigenstate, originally produced using a bound-state approximation under the diabatic formalism, consists of an admixture of a compact diquark-antidiquark configuration (an eigenstate of the original dynamical diquark model) with an extended di-meson configuration induced by the nearest threshold. We compare our results with those from our recent work that employs a scattering formalism, and find a great deal of agreement, but also comment upon interesting discrepancies between the two approaches. △ Less

Submitted 23 April, 2024; originally announced April 2024.

Comments: 8 pages, 1 figure, 4 tables

In-vivo imaging of the human thalamus: a comprehensive evaluation of structural magnetic resonance imaging approaches for thalamic nuclei differentiation at 7T

Authors: Cristina Sainz Martinez, José P. Marques, Gabriele Bonanno, Tom Hilbert, Constantin Tuleasca, Meritxell Bach Cuadra, João Jorge

Abstract: The thalamus is a subcortical structure of central importance to brain function, which is organized in smaller nuclei with specialized roles. Despite significant functional and clinical relevance, locating and distinguishing the different thalamic nuclei in vivo, non-invasively, has proved challenging with conventional imaging techniques, such as T$_{1}$ and T$_{2}$-weighted magnetic resonance ima… ▽ More The thalamus is a subcortical structure of central importance to brain function, which is organized in smaller nuclei with specialized roles. Despite significant functional and clinical relevance, locating and distinguishing the different thalamic nuclei in vivo, non-invasively, has proved challenging with conventional imaging techniques, such as T$_{1}$ and T$_{2}$-weighted magnetic resonance imaging (MRI). This key limitation has prompted extensive research efforts, and several new candidate MRI sequences for thalamic imaging have been proposed, especially at 7T. However, studies to date have mainly been centered on individual techniques, and often focused on subsets of specific nuclei. It is now critical to evaluate which options are best for which nuclei, and which are globally the most informative. This work addresses these questions through a comprehensive evaluation of thalamic structural imaging techniques in humans at 7T, including several variants of T$_{1}$, T$_{2}$, T$_{2}$* and magnetic susceptibility-based contrasts. All images were obtained from the same participants, to allow direct comparisons without anatomical variability confounds. The different contrasts were qualitatively and quantitatively analyzed with dedicated approaches, referenced to well-established thalamic atlases. Overall, the analyses showed that quantitative susceptibility map** (QSM) and T$_{1}$-weighted MP2RAGE tuned to maximize gray-to-white matter contrast are currently the most valuable options. The two contrasts display unique, complementary features and, together, enable the distinction of the majority of known nuclei. Likewise, their combined information could provide a powerful input for automatic segmentation approaches. To our knowledge, this study represents the most comprehensive assessment of structural MRI contrasts for thalamic imaging to date. △ Less

Submitted 9 April, 2024; originally announced April 2024.

Comments: 39 pages, 6 figures, 3 tables, 8 supplementary figures

Search for Neutrino Emission from GRB 221009A using the KM3NeT ARCA and ORCA detectors

Authors: S. Aiello, A. Albert, M. Alshamsi, S. Alves Garre, A. Ambrosone, F. Ameli, M. Andre, E. Androutsou, M. Anguita, L. Aphecetche, M. Ardid, S. Ardid, H. Atmani, J. Aublin, F. Badaracco, L. Bailly-Salins, Z. Bardačová, B. Baret, A. Bariego-Quintana, S. Basegmez du Pree, Y. Becherini, M. Bendahman, F. Benfenati, M. Benhassi, D. M. Benoit , et al. (251 additional authors not shown)

Abstract: Gamma-ray bursts are promising candidate sources of high-energy astrophysical neutrinos. The recent GRB 221009A event, identified as the brightest gamma-ray burst ever detected, provides a unique opportunity to investigate hadronic emissions involving neutrinos. The KM3NeT undersea neutrino detectors participated in the worldwide follow-up effort triggered by the event, searching for neutrino even… ▽ More Gamma-ray bursts are promising candidate sources of high-energy astrophysical neutrinos. The recent GRB 221009A event, identified as the brightest gamma-ray burst ever detected, provides a unique opportunity to investigate hadronic emissions involving neutrinos. The KM3NeT undersea neutrino detectors participated in the worldwide follow-up effort triggered by the event, searching for neutrino events. In this letter, we summarize subsequent searches, in a wide energy range from MeV up to a few PeVs. No neutrino events are found in any of the searches performed. Upper limits on the neutrino emission associated with GRB 221009A are computed. △ Less

Submitted 30 April, 2024; v1 submitted 8 April, 2024; originally announced April 2024.

Comments: 11 pages, 2 PDF figures. Submitted to JCAP

Opinion Dynamics for Utility Maximizing Agents: Exploring the Impact of Resource Penalty

Authors: Prashil Wankhede, Nirabhra Mandal, Sonia Martínez, Pavankumar Tallapragada

Abstract: We propose a continuous-time nonlinear model of opinion dynamics with utility-maximizing agents connected via a social influence network. A distinguishing feature of the proposed model is the inclusion of an opinion-dependent resource-penalty term in the utilities, which limits the agents from holding opinions of large magnitude. The proposed utility functions also account for how the relative res… ▽ More We propose a continuous-time nonlinear model of opinion dynamics with utility-maximizing agents connected via a social influence network. A distinguishing feature of the proposed model is the inclusion of an opinion-dependent resource-penalty term in the utilities, which limits the agents from holding opinions of large magnitude. The proposed utility functions also account for how the relative resources within the social group affect both an agent's stubbornness and social influence. Each agent myopically seeks to maximize its utility by revising its opinion in the gradient ascent direction of its utility function, thus leading to the proposed opinion dynamics. We show that, for any arbitrary social influence network, opinions are ultimately bounded. For networks with weak antagonistic relations, we show that there exists a globally exponentially stable equilibrium using contraction theory. We establish conditions for the existence of consensus equilibrium and analyze the relative dominance of the agents at consensus. We also conduct a game-theoretic analysis of the underlying opinion formation game, including on Nash equilibria and on prices of anarchy in terms of satisfaction ratios. Additionally, we also investigate the oscillatory behavior of opinions in a two-agent scenario. Finally, simulations illustrate our findings. △ Less

Submitted 7 April, 2024; originally announced April 2024.

Comments: 12 pages, 9 figures

Multi-Contact Inertial Estimation and Localization in Legged Robots

Authors: Sergi Martinez, Robert Griffin, Carlos Mastalli

Abstract: Optimal estimation is a promising tool for multi-contact inertial estimation and localization. To harness its advantages in robotics, it is crucial to solve these large and challenging optimization problems efficiently. To tackle this, we (i) develop a multiple-shooting solver that exploits both temporal and parametric structures through a parametrized Riccati recursion. Additionally, we (ii) prop… ▽ More Optimal estimation is a promising tool for multi-contact inertial estimation and localization. To harness its advantages in robotics, it is crucial to solve these large and challenging optimization problems efficiently. To tackle this, we (i) develop a multiple-shooting solver that exploits both temporal and parametric structures through a parametrized Riccati recursion. Additionally, we (ii) propose an inertial local manifold that ensures its full physical consistency. It also enhances convergence compared to the singularity-free log-Cholesky approach. To handle its singularities, we (iii) introduce a nullspace approach in our optimal estimation solver. We (iv) finally develop the analytical derivatives of contact dynamics for both inertial parametrizations. Our framework can successfully solve estimation problems for complex maneuvers such as brachiation in humanoids. We demonstrate its numerical capabilities across various robotics tasks and its benefits in experimental trials with the Go1 robot. △ Less

Submitted 25 March, 2024; originally announced March 2024.

Maxentropy completion and properties of some partially defined Stationary Markov chains

Authors: Pierre Collet, Servet Martínez

Abstract: We consider a stationary Markovian evolution with values on a disjointly partitioned set space $I\sqcup {\cal E}$. The evolution is visible (in the sense of knowing the transition probabilities) on the states in $I$ but not for the states in ${\cal E}$. One only knows some partial information on the transition probabilities on ${\cal E}$, the input and output transition probabilities and some cons… ▽ More We consider a stationary Markovian evolution with values on a disjointly partitioned set space $I\sqcup {\cal E}$. The evolution is visible (in the sense of knowing the transition probabilities) on the states in $I$ but not for the states in ${\cal E}$. One only knows some partial information on the transition probabilities on ${\cal E}$, the input and output transition probabilities and some constraints of the transition probabilities on ${\cal E}$. Under some conditions we supply the transition probabilities on ${\cal E}$ that satisfies the maximum entropy principle. △ Less

Submitted 21 February, 2024; originally announced February 2024.

MSC Class: 60J10 (Primary) 62M05 (Secondary)

Robotic Exploration using Generalized Behavioral Entropy

Authors: Aamodh Suresh, Carlos Nieto-Granda, Sonia Martinez

Abstract: This work presents and evaluates a novel strategy for robotic exploration that leverages human models of uncertainty perception. To do this, we introduce a measure of uncertainty that we term ``Behavioral entropy'', which builds on Prelec's probability weighting from Behavioral Economics. We show that the new operator is an admissible generalized entropy, analyze its theoretical properties and com… ▽ More This work presents and evaluates a novel strategy for robotic exploration that leverages human models of uncertainty perception. To do this, we introduce a measure of uncertainty that we term ``Behavioral entropy'', which builds on Prelec's probability weighting from Behavioral Economics. We show that the new operator is an admissible generalized entropy, analyze its theoretical properties and compare it with other common formulations such as Shannon's and Renyi's. In particular, we discuss how the new formulation is more expressive in the sense of measures of sensitivity and perceptiveness to uncertainty introduced here. Then we use Behavioral entropy to define a new type of utility function that can guide a frontier-based environment exploration process. The approach's benefits are illustrated and compared in a Proof-of-Concept and ROS-unity simulation environment with a Clearpath Warthog robot. We show that the robot equipped with Behavioral entropy explores faster than Shannon and Renyi entropies. △ Less

Submitted 15 February, 2024; originally announced February 2024.

Astronomy potential of KM3NeT/ARCA

Authors: S. Aiello, A. Albert, M. Alshamsi, S. Alves Garre, Z. Aly, A. Ambrosone, F. Ameli, M. Andre, E. Androutsou, M. Anguita, L. Aphecetche, M. Ardid, S. Ardid, H. Atmani, J. Aublin, F. Badaracco, L. Bailly-Salins, Z. Bardacová, B. Baret, A. Bariego-Quintana, A. Baruzzi, S. Basegmez du Pree, Y. Becherini, M. Bendahman, F. Benfenati , et al. (253 additional authors not shown)

Abstract: The KM3NeT/ARCA neutrino detector is currently under construction at 3500 m depth offshore Capo Passero, Sicily, in the Mediterranean Sea. The main science objectives are the detection of high-energy cosmic neutrinos and the discovery of their sources. Simulations were conducted for the full KM3NeT/ARCA detector, instrumenting a volume of 1 km$^3$, to estimate the sensitivity and discovery potenti… ▽ More The KM3NeT/ARCA neutrino detector is currently under construction at 3500 m depth offshore Capo Passero, Sicily, in the Mediterranean Sea. The main science objectives are the detection of high-energy cosmic neutrinos and the discovery of their sources. Simulations were conducted for the full KM3NeT/ARCA detector, instrumenting a volume of 1 km$^3$, to estimate the sensitivity and discovery potential to point-like neutrino sources and an all-sky diffuse neutrino flux. This paper covers the reconstruction of track- and shower-like signatures, as well as the criteria employed for neutrino event selection. By leveraging both the track and shower observation channels, the KM3NeT/ARCA detector demonstrates the capability to detect the diffuse astrophysical neutrino flux within half a year of operation, achieving a 5$σ$ statistical significance. With an angular resolution below 0.1$^\circ$ for tracks and under 2$^\circ$ for showers, the sensitivity to point-like neutrino sources surpasses existing observed limits across the entire sky. △ Less

Submitted 29 March, 2024; v1 submitted 13 February, 2024; originally announced February 2024.

Comments: 20 pages, 30 figures Submitted to EPJ-C

Distributed Resilient Interval Observer Synthesis for Nonlinear Discrete-Time Systems

Authors: Mohammad Khajenejad, Scott Brown, Sonia Martinez

Abstract: This paper introduces a novel recursive distributed estimation algorithm aimed at synthesizing input and state interval observers for nonlinear bounded-error discrete-time multi-agent systems. The considered systems have sensors and actuators that are susceptible to unknown or adversarial inputs. To solve this problem, we first identify conditions that allow agents to obtain nonlinear bounded-erro… ▽ More This paper introduces a novel recursive distributed estimation algorithm aimed at synthesizing input and state interval observers for nonlinear bounded-error discrete-time multi-agent systems. The considered systems have sensors and actuators that are susceptible to unknown or adversarial inputs. To solve this problem, we first identify conditions that allow agents to obtain nonlinear bounded-error equations characterizing the input. Then, we propose a distributed interval-valued observer that is guaranteed to contain the disturbance and system states. To do this, we first detail a gain design procedure that uses global problem data to minimize an upper bound on the $\ell_1$ norm of the observer error. We then propose a gain design approach that does not require global information, using only values that are local to each agent. The second method improves on the computational tractability of the first, at the expense of some added conservatism. Further, we discuss some possible ways of extending the results to a broader class of systems. We conclude by demonstrating our observer on two examples. The first is a unicycle system, for which we apply the first gain design method. The second is a 145-bus power system, which showcases the benefits of the second method, due to the first approach being intractable for systems with high dimensional state spaces. △ Less

Submitted 27 January, 2024; originally announced January 2024.

Comments: submitted as a journal submission

A mixed perturbative-nonperturbative treatment for strong light-matter interactions

Authors: Carlos J. Sánchez Martínez, Johannes Feist, Francisco J. García-Vidal

Abstract: The full information about the interaction between a quantum emitter and an arbitrary electromagnetic environment is encoded in the so-called spectral density. We present an approach for describing such interaction in any coupling regime, providing a Lindblad-like master equation for the emitter dynamics when coupled to a general nanophotonic structure. Our framework is based on the splitting of t… ▽ More The full information about the interaction between a quantum emitter and an arbitrary electromagnetic environment is encoded in the so-called spectral density. We present an approach for describing such interaction in any coupling regime, providing a Lindblad-like master equation for the emitter dynamics when coupled to a general nanophotonic structure. Our framework is based on the splitting of the spectral density into two terms. On the one hand, a spectral density responsible for the non-Markovian and strong-coupling-based dynamics of the quantum emitter. On the other hand, a residual spectral density including the remaining weak-coupling terms. The former is treated nonperturbatively with a collection of lossy interacting discrete modes whose parameters are determined by a fit to the original spectral density in a frequency region encompassing the quantum emitter transition frequencies. The latter is treated perturbatively under a Markovian approximation. We illustrate the power and validity of our approach through numerical simulations in three different setups, thus offering a variety of scenarios for a full test, including the ultra-strong coupling regime. △ Less

Submitted 18 January, 2024; v1 submitted 23 December, 2023; originally announced December 2023.

Conciliating Privacy and Utility in Data Releases via Individual Differential Privacy and Microaggregation

Authors: Jordi Soria-Comas, David Sánchez, Josep Domingo-Ferrer, Sergio Martínez, Luis Del Vasto-Terrientes

Abstract: $ε$-Differential privacy (DP) is a well-known privacy model that offers strong privacy guarantees. However, when applied to data releases, DP significantly deteriorates the analytical utility of the protected outcomes. To keep data utility at reasonable levels, practical applications of DP to data releases have used weak privacy parameters (large $ε… ▽ More $ε$-Differential privacy (DP) is a well-known privacy model that offers strong privacy guarantees. However, when applied to data releases, DP significantly deteriorates the analytical utility of the protected outcomes. To keep data utility at reasonable levels, practical applications of DP to data releases have used weak privacy parameters (large $ε$), which dilute the privacy guarantees of DP. In this work, we tackle this issue by using an alternative formulation of the DP privacy guarantees, named $ε$-individual differential privacy (iDP), which causes less data distortion while providing the same protection as DP to subjects. We enforce iDP in data releases by relying on attribute masking plus a pre-processing step based on data microaggregation. The goal of this step is to reduce the sensitivity to record changes, which determines the amount of noise required to enforce iDP (and DP). Specifically, we propose data microaggregation strategies designed for iDP whose sensitivities are significantly lower than those used in DP. As a result, we obtain iDP-protected data with significantly better utility than with DP. We report on experiments that show how our approach can provide strong privacy (small $ε$) while yielding protected data that do not significantly degrade the accuracy of secondary data analysis. △ Less

Submitted 21 December, 2023; originally announced December 2023.

Comments: 17 pages, 6 figures

Distributed Bayesian Estimation in Sensor Networks: Consensus on Marginal Densities

Authors: Parth Paritosh, Nikolay Atanasov, Sonia Martinez

Abstract: In this paper, we aim to design and analyze distributed Bayesian estimation algorithms for sensor networks. The challenges we address are to (i) derive a distributed provably-correct algorithm in the functional space of probability distributions over continuous variables, and (ii) leverage these results to obtain new distributed estimators restricted to subsets of variables observed by individual… ▽ More In this paper, we aim to design and analyze distributed Bayesian estimation algorithms for sensor networks. The challenges we address are to (i) derive a distributed provably-correct algorithm in the functional space of probability distributions over continuous variables, and (ii) leverage these results to obtain new distributed estimators restricted to subsets of variables observed by individual agents. This relates to applications such as cooperative localization and federated learning, where the data collected at any agent depends on a subset of all variables of interest. We present Bayesian density estimation algorithms using data from non-linear likelihoods at agents in centralized, distributed, and marginal distributed settings. After setting up a distributed estimation objective, we prove almost-sure convergence to the optimal set of pdfs at each agent. Then, we prove the same for a storage-aware algorithm estimating densities only over relevant variables at each agent. Finally, we present a Gaussian version of these algorithms and implement it in a map** problem using variational inference to handle non-linear likelihood models associated with LiDAR sensing. △ Less

Submitted 7 December, 2023; v1 submitted 2 December, 2023; originally announced December 2023.

Multiple Protein Profiler 1.0 (MPP): A webserver for predicting and visualizing physiochemical properties of proteins at the proteome level

Authors: Gustavo Sganzerla Martinez, Mansi Dutt, Anuj Kumar, David J Kelvin

Abstract: Determining the physicochemical properties of a protein can reveal important insights in their structure, biological functions, stability, and interactions with other molecules. Although tools for computing properties of proteins already existed, we could not find a comprehensive tool that enables the calculations of multiple properties for multiple input proteins on the proteome level at once. Fa… ▽ More Determining the physicochemical properties of a protein can reveal important insights in their structure, biological functions, stability, and interactions with other molecules. Although tools for computing properties of proteins already existed, we could not find a comprehensive tool that enables the calculations of multiple properties for multiple input proteins on the proteome level at once. Facing this limitation, we have developed Multiple Protein Profiler (MPP) 1.0 as an integrated tool that allows the profiling of 12 individual properties of multiple proteins in a significant manner. MPP provides a tabular and graphic visualization of properties of multiple proteins. The tool is freely accessible at https://mproteinprofiler.microbiologyandimmunology.dal.ca/ △ Less

Submitted 17 November, 2023; originally announced December 2023.

The Power Board of the KM3NeT Digital Optical Module: design, upgrade, and production

Authors: S. Aiello, A. Albert, S. Alves Garre, Z. Aly, A. Ambrosone, F. Ameli, M. Andre, E. Androutsou, M. Anguita, L. Aphecetche, M. Ardid, S. Ardid, H. Atmani, J. Aublin, F. Badaracco, L. Bailly-Salins, Z. Bardacova, B. Baret, A. Bariego Quintana, S. Basegmez du Pree, Y. Becherini, M. Bendahman, F. Benfenati, M. Benhassi, D. M. Benoit , et al. (259 additional authors not shown)

Abstract: The KM3NeT Collaboration is building an underwater neutrino observatory at the bottom of the Mediterranean Sea consisting of two neutrino telescopes, both composed of a three-dimensional array of light detectors, known as digital optical modules. Each digital optical module contains a set of 31 three inch photomultiplier tubes distributed over the surface of a 0.44 m diameter pressure-resistant gl… ▽ More The KM3NeT Collaboration is building an underwater neutrino observatory at the bottom of the Mediterranean Sea consisting of two neutrino telescopes, both composed of a three-dimensional array of light detectors, known as digital optical modules. Each digital optical module contains a set of 31 three inch photomultiplier tubes distributed over the surface of a 0.44 m diameter pressure-resistant glass sphere. The module includes also calibration instruments and electronics for power, readout and data acquisition. The power board was developed to supply power to all the elements of the digital optical module. The design of the power board began in 2013, and several prototypes were produced and tested. After an exhaustive validation process in various laboratories within the KM3NeT Collaboration, a mass production batch began, resulting in the construction of over 1200 power boards so far. These boards were integrated in the digital optical modules that have already been produced and deployed, 828 until October 2023. In 2017, an upgrade of the power board, to increase reliability and efficiency, was initiated. After the validation of a pre-production series, a production batch of 800 upgraded boards is currently underway. This paper describes the design, architecture, upgrade, validation, and production of the power board, including the reliability studies and tests conducted to ensure the safe operation at the bottom of the Mediterranean Sea throughout the observatory's lifespan △ Less

Submitted 24 November, 2023; originally announced November 2023.

A note on the convergence of the Bayesian entropy estimator for exchangeable partitions

Authors: Servet Martinez

Abstract: We show that when the proportions of a countable set of species are organized as an exchangeable partition of the unit interval and we take a sample on it, then the Bayesian posterior entropy converges a.s. and in L^1 to the entropy of the species when the sample size diverges to infinity. We show that when the proportions of a countable set of species are organized as an exchangeable partition of the unit interval and we take a sample on it, then the Bayesian posterior entropy converges a.s. and in L^1 to the entropy of the species when the sample size diverges to infinity. △ Less

Submitted 17 November, 2023; originally announced November 2023.

Comments: 8 pages

MSC Class: AMS Classification Number: 62B10; 94A17

Searches for neutrino counterparts of gravitational waves from the LIGO/Virgo third observing run with KM3NeT

Authors: KM3NeT Collaboration, S. Aiello, A. Albert, S. Alves Garre, Z. Aly, A. Ambrosone, F. Ameli, M. Andre, E. Androutsou, M. Anguita, L. Aphecetche, M. Ardid, S. Ardid, H. Atmani, J. Aublin, L. Bailly-Salins, Z. Bardačová, B. Baret, A. Bariego-Quintana, S. Basegmez du Pree, Y. Becherini, M. Bendahman, F. Benfenati, M. Benhassi, D. M. Benoit , et al. (251 additional authors not shown)

Abstract: The KM3NeT neutrino telescope is currently being deployed at two different sites in the Mediterranean Sea. First searches for astrophysical neutrinos have been performed using data taken with the partial detector configuration already in operation. The paper presents the results of two independent searches for neutrinos from compact binary mergers detected during the third observing run of the LIG… ▽ More The KM3NeT neutrino telescope is currently being deployed at two different sites in the Mediterranean Sea. First searches for astrophysical neutrinos have been performed using data taken with the partial detector configuration already in operation. The paper presents the results of two independent searches for neutrinos from compact binary mergers detected during the third observing run of the LIGO and Virgo gravitational wave interferometers. The first search looks for a global increase in the detector counting rates that could be associated with inverse beta decay events generated by MeV-scale electron anti-neutrinos. The second one focuses on upgoing track-like events mainly induced by muon (anti-)neutrinos in the GeV--TeV energy range. Both searches yield no significant excess for the sources in the gravitational wave catalogs. For each source, upper limits on the neutrino flux and on the total energy emitted in neutrinos in the respective energy ranges have been set. Stacking analyses of binary black hole mergers and neutron star-black hole mergers have also been performed to constrain the characteristic neutrino emission from these categories. △ Less

Submitted 7 May, 2024; v1 submitted 7 November, 2023; originally announced November 2023.

Comments: 19 pages, 11 figures

Journal ref: JCAP 04 (2024) 026

Distributed Task Allocation for Self-Interested Agents with Partially Unknown Rewards

Authors: Nirabhra Mandal, Mohammad Khajenejad, Sonia Martínez

Abstract: This paper provides a novel solution to a task allocation problem, by which a group of agents decides on the assignment of a discrete set of tasks in a distributed manner. In this setting, heterogeneous agents have individual preferences and associated rewards for doing each task; however, these rewards are only known asymptotically. We start by formulating the assignment problem by means of a com… ▽ More This paper provides a novel solution to a task allocation problem, by which a group of agents decides on the assignment of a discrete set of tasks in a distributed manner. In this setting, heterogeneous agents have individual preferences and associated rewards for doing each task; however, these rewards are only known asymptotically. We start by formulating the assignment problem by means of a combinatorial partition game for known rewards, with no constraints on number of tasks per agent. We relax this into a weight game, which together with the former, are shown to contain the optimal task allocation in the corresponding set of Nash Equilibria (NE). We then propose a projected, best-response, ascending gradient dynamics (PBRAG) that converges to a NE in finite time. This forms the basis of a distributed online version that can deal with a converging sequence of rewards by means of an agreement sub-routine. We present simulations that support our results △ Less

Submitted 31 October, 2023; originally announced November 2023.

Comments: 8 pages, 3 figures

Parallel Quantum Rapidly-Exploring Random Trees

Authors: Paul Lathrop, Beth Boardman, Sonia Martínez

Abstract: In this paper, we present the Parallel Quantum Rapidly-Exploring Random Tree (Pq-RRT) algorithm, a parallel version of the Quantum Rapidly-Exploring Random Trees (q-RRT) algorithm. Parallel Quantum RRT is a parallel quantum algorithm formulation of a sampling-based motion planner that uses Quantum Amplitude Amplification to search databases of reachable states for addition to a tree. In this work… ▽ More In this paper, we present the Parallel Quantum Rapidly-Exploring Random Tree (Pq-RRT) algorithm, a parallel version of the Quantum Rapidly-Exploring Random Trees (q-RRT) algorithm. Parallel Quantum RRT is a parallel quantum algorithm formulation of a sampling-based motion planner that uses Quantum Amplitude Amplification to search databases of reachable states for addition to a tree. In this work we investigate how parallel quantum devices can more efficiently search a database, as the quantum measurement process involves the collapse of the superposition to a base state, erasing probability information and therefore the ability to efficiently find multiple solutions. Pq-RRT uses a manager/parallel-quantum-workers formulation, inspired by traditional parallel motion planning, to perform simultaneous quantum searches of a feasible state database. We present results regarding likelihoods of multiple parallel units finding any and all solutions contained with a shared database, with and without reachability errors, allowing efficiency predictions to be made. We offer simulations in dense obstacle environments showing efficiency, density/heatmap, and speed comparisons for Pq-RRT against q-RRT, classical RRT, and classical parallel RRT. We then present Quantum Database Annealing, a database construction strategy for Pq-RRT and q-RRT that uses a temperature construct to define database creation over time for balancing exploration and exploitation. △ Less

Submitted 23 October, 2023; originally announced October 2023.

Comments: 14 pages, 15 figures

MSC Class: 68W20

RecolorCloud: A Point Cloud Tool for Recoloring, Segmentation, and Conversion

Authors: Esteban Segarra Martinez, Ryan P. McMahan

Abstract: Point clouds are a 3D space representation of an environment that was recorded with a high precision laser scanner. These scanners can suffer from environmental interference such as surface shading, texturing, and reflections. Because of this, point clouds may be contaminated with fake or incorrect colors. Current open source or proprietary tools offer limited or no access to correcting these visu… ▽ More Point clouds are a 3D space representation of an environment that was recorded with a high precision laser scanner. These scanners can suffer from environmental interference such as surface shading, texturing, and reflections. Because of this, point clouds may be contaminated with fake or incorrect colors. Current open source or proprietary tools offer limited or no access to correcting these visual errors automatically. RecolorCloud is a tool developed to resolve these color conflicts by utilizing automated color recoloring. We offer the ability to deleting or recoloring outlier points automatically with users only needing to specify bounding box regions to effect colors. Results show a vast improvement of the photo-realistic quality of large point clouds. Additionally, users can quickly recolor a point cloud with set semantic segmentation colors. △ Less

Submitted 19 October, 2023; originally announced October 2023.

Comments: 6 Pages, 9 figures, 1 table, To be submitted to the ACM MMSys 2024 Conference

Guaranteed Privacy-Preserving $\mathcal{H}_{\infty}$-Optimal Interval Observer Design for Bounded-Error LTI Systems

Authors: Mohammad Khajenejad, Sonia Martinez

Abstract: This paper furthers current research into the notion of guaranteed privacy, which provides a deterministic characterization of the privacy of output signals of a dynamical system or mechanism. Unlike stochastic differential privacy, guaranteed privacy offers strict bounds on the proximity between the ranges of two sets of estimated data. Our approach relies on synthesizing an interval observer for… ▽ More This paper furthers current research into the notion of guaranteed privacy, which provides a deterministic characterization of the privacy of output signals of a dynamical system or mechanism. Unlike stochastic differential privacy, guaranteed privacy offers strict bounds on the proximity between the ranges of two sets of estimated data. Our approach relies on synthesizing an interval observer for linear time-invariant (LTI) bounded-error systems. The design procedure incorporates a bounded noise perturbation factor computation and an observer gain synthesis. The observer simultaneously provides guaranteed private and stable interval-valued estimates for the desired variable. We demonstrate the optimality of our design by minimizing the $\mathcal{H}_{\infty}$ norm of the observer error system. Lastly, we assess the accuracy of our proposed mechanism by quantifying the loss incurred when considering guaranteed privacy specifications, and illustrate our approach outperformance to differential privacy through simulations. △ Less

Submitted 25 September, 2023; originally announced September 2023.

Comments: 6 pages

Prospects for combined analyses of hadronic emission from $γ$-ray sources in the Milky Way with CTA and KM3NeT

Authors: T. Unbehaun, L. Mohrmann, S. Funk, S. Aiello, A. Albert, S. Alves Garre, Z. Aly, A. Ambrosone, F. Ameli, M. Andre, E. Androutsou, M. Anghinolfi, M. Anguita, L. Aphecetche, M. Ardid, S. Ardid, H. Atmani, J. Aublin, C. Bagatelas, L. Bailly-Salins, Z. Bardačová, B. Baret, S. Basegmez du Pree, Y. Becherini, M. Bendahman , et al. (249 additional authors not shown)

Abstract: The Cherenkov Telescope Array and the KM3NeT neutrino telescopes are major upcoming facilities in the fields of $γ$-ray and neutrino astronomy, respectively. Possible simultaneous production of $γ$ rays and neutrinos in astrophysical accelerators of cosmic-ray nuclei motivates a combination of their data. We assess the potential of a combined analysis of CTA and KM3NeT data to determine the contri… ▽ More The Cherenkov Telescope Array and the KM3NeT neutrino telescopes are major upcoming facilities in the fields of $γ$-ray and neutrino astronomy, respectively. Possible simultaneous production of $γ$ rays and neutrinos in astrophysical accelerators of cosmic-ray nuclei motivates a combination of their data. We assess the potential of a combined analysis of CTA and KM3NeT data to determine the contribution of hadronic emission processes in known Galactic $γ$-ray emitters, comparing this result to the cases of two separate analyses. In doing so, we demonstrate the capability of Gammapy, an open-source software package for the analysis of $γ$-ray data, to also process data from neutrino telescopes. For a selection of prototypical $γ$-ray sources within our Galaxy, we obtain models for primary proton and electron spectra in the hadronic and leptonic emission scenario, respectively, by fitting published $γ$-ray spectra. Using these models and instrument response functions for both detectors, we employ the Gammapy package to generate pseudo data sets, where we assume 200 hours of CTA observations and 10 years of KM3NeT detector operation. We then apply a three-dimensional binned likelihood analysis to these data sets, separately for each instrument and jointly for both. We find that the largest benefit of the combined analysis lies in the possibility of a consistent modelling of the $γ$-ray and neutrino emission. Assuming a purely leptonic scenario as input, we obtain, for the most favourable source, an average expected 68% credible interval that constrains the contribution of hadronic processes to the observed $γ$-ray emission to below 15%. △ Less

Submitted 2 February, 2024; v1 submitted 6 September, 2023; originally announced September 2023.

Comments: 20 pages, 16 figures. v2: Matches version published in EPJC

Journal ref: European Physical Journal C 84, 112 (2024)

Distributed Variational Inference for Online Supervised Learning

Authors: Parth Paritosh, Nikolay Atanasov, Sonia Martinez

Abstract: Develo** efficient solutions for inference problems in intelligent sensor networks is crucial for the next generation of location, tracking, and map** services. This paper develops a scalable distributed probabilistic inference algorithm that applies to continuous variables, intractable posteriors and large-scale real-time data in sensor networks. In a centralized setting, variational inferenc… ▽ More Develo** efficient solutions for inference problems in intelligent sensor networks is crucial for the next generation of location, tracking, and map** services. This paper develops a scalable distributed probabilistic inference algorithm that applies to continuous variables, intractable posteriors and large-scale real-time data in sensor networks. In a centralized setting, variational inference is a fundamental technique for performing approximate Bayesian estimation, in which an intractable posterior density is approximated with a parametric density. Our key contribution lies in the derivation of a separable lower bound on the centralized estimation objective, which enables distributed variational inference with one-hop communication in a sensor network. Our distributed evidence lower bound (DELBO) consists of a weighted sum of observation likelihood and divergence to prior densities, and its gap to the measurement evidence is due to consensus and modeling errors. To solve binary classification and regression problems while handling streaming data, we design an online distributed algorithm that maximizes DELBO, and specialize it to Gaussian variational densities with non-linear likelihoods. The resulting distributed Gaussian variational inference (DGVI) efficiently inverts a $1$-rank correction to the covariance matrix. Finally, we derive a diagonalized version for online distributed inference in high-dimensional models, and apply it to multi-robot probabilistic map** using indoor LiDAR data. △ Less

Submitted 22 October, 2023; v1 submitted 5 September, 2023; originally announced September 2023.

Quantum-assisted electron transport in microbial protein wires across macroscopic distances

Authors: Jasper R. van der Veen, Silvia Hidalgo Martinez, Albert Wieland, Matteo De Pellegrin, Rick Verweij, Yaroslav M. Blanter, Herre S. J. van der Zant, Filip J. R. Meysman

Abstract: Multicellular cable bacteria display an exceptional form of biological conduction, channeling electrical currents across centimeter distances through a regular network of protein fibers embedded in the cell envelope. The fiber conductivity is among the highest recorded for biomaterials, providing a promising outlook for new bio-electronic technologies, but the underlying mechanism of electron tran… ▽ More Multicellular cable bacteria display an exceptional form of biological conduction, channeling electrical currents across centimeter distances through a regular network of protein fibers embedded in the cell envelope. The fiber conductivity is among the highest recorded for biomaterials, providing a promising outlook for new bio-electronic technologies, but the underlying mechanism of electron transport remains elusive. Here, we use detailed electrical characterization down to cryogenic temperatures, which reveals that long-range conduction in these bacterial protein wires is based on a unique type of quantum-assisted multistep hop**. The conductance near room temperature reveals thermally activated behavior, yet with a low activation energy, suggesting that substantial delocalization across charge carrier sites contributes to high conductivity. At cryogenic temperatures, the conductance becomes virtually independent of temperature, thus indicating that quantum vibrations couple to the charge transport. Our results demonstrate that quantum effects can manifest themselves in biological systems over macroscopic length scales. △ Less

Submitted 18 August, 2023; originally announced August 2023.

Comments: The manuscript contains 2967 words, 15 pages, 3 figures and 49 references

Incorporation of Eye-Tracking and Gaze Feedback to Characterize and Improve Radiologist Search Patterns of Chest X-rays: A Randomized Controlled Clinical Trial

Authors: Carolina Ramirez-Tamayo, Syed Hasib Akhter Faruqui, Stanford Martinez, Angel Brisco, Nicholas Czarnek, Adel Alaeddini, Jeffrey R. Mock, Edward J. Golob, Kal L. Clark

Abstract: Diagnostic errors in radiology often occur due to incomplete visual assessments by radiologists, despite their knowledge of predicting disease classes. This insufficiency is possibly linked to the absence of required training in search patterns. Additionally, radiologists lack consistent feedback on their visual search patterns, relying on ad-hoc strategies and peer input to minimize errors and en… ▽ More Diagnostic errors in radiology often occur due to incomplete visual assessments by radiologists, despite their knowledge of predicting disease classes. This insufficiency is possibly linked to the absence of required training in search patterns. Additionally, radiologists lack consistent feedback on their visual search patterns, relying on ad-hoc strategies and peer input to minimize errors and enhance efficiency, leading to suboptimal patterns and potential false negatives. This study aimed to use eye-tracking technology to analyze radiologist search patterns, quantify performance using established metrics, and assess the impact of an automated feedback-driven educational framework on detection accuracy. Ten residents participated in a controlled trial focused on detecting suspicious pulmonary nodules. They were divided into an intervention group (received automated feedback) and a control group. Results showed that the intervention group exhibited a 38.89% absolute improvement in detecting suspicious-for-cancer nodules, surpassing the control group's improvement (5.56%, p-value=0.006). Improvement was more rapid over the four training sessions (p-value=0.0001). However, other metrics such as speed, search pattern heterogeneity, distractions, and coverage did not show significant changes. In conclusion, implementing an automated feedback-driven educational framework improved radiologist accuracy in detecting suspicious nodules. The study underscores the potential of such systems in enhancing diagnostic performance and reducing errors. Further research and broader implementation are needed to consolidate these promising results and develop effective training strategies for radiologists, ultimately benefiting patient outcomes. △ Less

Submitted 4 August, 2023; originally announced August 2023.

Comments: Submitted for Review in the Journal of the American College of Radiology (JACR)

Discrimination of Radiologists Utilizing Eye-Tracking Technology and Machine Learning: A Case Study

Authors: Stanford Martinez, Carolina Ramirez-Tamayo, Syed Hasib Akhter Faruqui, Kal L. Clark, Adel Alaeddini, Nicholas Czarnek, Aarushi Aggarwal, Sahra Emamzadeh, Jeffrey R. Mock, Edward J. Golob

Abstract: Perception-related errors comprise most diagnostic mistakes in radiology. To mitigate this problem, radiologists employ personalized and high-dimensional visual search strategies, otherwise known as search patterns. Qualitative descriptions of these search patterns, which involve the physician verbalizing or annotating the order he/she analyzes the image, can be unreliable due to discrepancies in… ▽ More Perception-related errors comprise most diagnostic mistakes in radiology. To mitigate this problem, radiologists employ personalized and high-dimensional visual search strategies, otherwise known as search patterns. Qualitative descriptions of these search patterns, which involve the physician verbalizing or annotating the order he/she analyzes the image, can be unreliable due to discrepancies in what is reported versus the actual visual patterns. This discrepancy can interfere with quality improvement interventions and negatively impact patient care. This study presents a novel discretized feature encoding based on spatiotemporal binning of fixation data for efficient geometric alignment and temporal ordering of eye movement when reading chest X-rays. The encoded features of the eye-fixation data are employed by machine learning classifiers to discriminate between faculty and trainee radiologists. We include a clinical trial case study utilizing the Area Under the Curve (AUC), Accuracy, F1, Sensitivity, and Specificity metrics for class separability to evaluate the discriminability between the two subjects in regard to their level of experience. We then compare the classification performance to state-of-the-art methodologies. A repeatability experiment using a separate dataset, experimental protocol, and eye tracker was also performed using eight subjects to evaluate the robustness of the proposed approach. The numerical results from both experiments demonstrate that classifiers employing the proposed feature encoding methods outperform the current state-of-the-art in differentiating between radiologists in terms of experience level. This signifies the potential impact of the proposed method for identifying radiologists' level of expertise and those who would benefit from additional training. △ Less

Submitted 4 August, 2023; originally announced August 2023.

Comments: Submitting for Review in "IEEE Journal of Biomedical and Health Informatics"

Embedded Software of the KM3NeT Central Logic Board

Authors: S. Aiello, A. Albert, S. Alves Garre, Z. Aly, A. Ambrosone, F. Ameli, M. Andre, E. Androutsou, M. Anghinolfi, M. Anguita, L. Aphecetche, M. Ardid, S. Ardid, H. Atmani, J. Aublin, C. Bagatelas, L. Bailly-Salins, Z. Bardačová, B. Baret, S. Basegmez du Pree, Y. Becherini, M. Bendahman, F. Benfenati, M. Benhassi, D. M. Benoit , et al. (249 additional authors not shown)

Abstract: The KM3NeT Collaboration is building and operating two deep sea neutrino telescopes at the bottom of the Mediterranean Sea. The telescopes consist of latices of photomultiplier tubes housed in pressure-resistant glass spheres, called digital optical modules and arranged in vertical detection units. The two main scientific goals are the determination of the neutrino mass ordering and the discovery… ▽ More The KM3NeT Collaboration is building and operating two deep sea neutrino telescopes at the bottom of the Mediterranean Sea. The telescopes consist of latices of photomultiplier tubes housed in pressure-resistant glass spheres, called digital optical modules and arranged in vertical detection units. The two main scientific goals are the determination of the neutrino mass ordering and the discovery and observation of high-energy neutrino sources in the Universe. Neutrinos are detected via the Cherenkov light, which is induced by charged particles originated in neutrino interactions. The photomultiplier tubes convert the Cherenkov light into electrical signals that are acquired and timestamped by the acquisition electronics. Each optical module houses the acquisition electronics for collecting and timestam** the photomultiplier signals with one nanosecond accuracy. Once finished, the two telescopes will have installed more than six thousand optical acquisition nodes, completing one of the more complex networks in the world in terms of operation and synchronization. The embedded software running in the acquisition nodes has been designed to provide a framework that will operate with different hardware versions and functionalities. The hardware will not be accessible once in operation, which complicates the embedded software architecture. The embedded software provides a set of tools to facilitate remote manageability of the deployed hardware, including safe reconfiguration of the firmware. This paper presents the architecture and the techniques, methods and implementation of the embedded software running in the acquisition nodes of the KM3NeT neutrino telescopes. △ Less

Submitted 12 October, 2023; v1 submitted 2 August, 2023; originally announced August 2023.

Level numbers preserving transformations on excursionsdefined by random walks with state dependent jump laws

Authors: Thierry Huillet, Servet Martinez

Abstract: We study the number of individuals per level defined by excursions of random walks with state dependent jump law. These level numbersdetermine the probability of the excursion, and the set of transformations preserving the level numbers is, generically, the set of transformation that preserve the probability law of excursions.We compute the number of excursions having a fixed level numbers and w… ▽ More We study the number of individuals per level defined by excursions of random walks with state dependent jump law. These level numbersdetermine the probability of the excursion, and the set of transformations preserving the level numbers is, generically, the set of transformation that preserve the probability law of excursions.We compute the number of excursions having a fixed level numbers and we show that the class of shifts of excursions generate all the excursions having a fixed level numbers. We study the behaviorof the level numbers under the Vervaat transform and the Doob transform. △ Less

Submitted 26 July, 2023; originally announced July 2023.

On the Complexity of the Bipartite Polarization Problem: from Neutral to Highly Polarized Discussions

Authors: Teresa Alsinet, Josep Argelich, Ramón Béjar, Santi Martínez

Abstract: The Bipartite Polarization Problem is an optimization problem where the goal is to find the highest polarized bipartition on a weighted and labelled graph that represents a debate developed through some social network, where nodes represent user's opinions and edges agreement or disagreement between users. This problem can be seen as a generalization of the maxcut problem, and in previous work app… ▽ More The Bipartite Polarization Problem is an optimization problem where the goal is to find the highest polarized bipartition on a weighted and labelled graph that represents a debate developed through some social network, where nodes represent user's opinions and edges agreement or disagreement between users. This problem can be seen as a generalization of the maxcut problem, and in previous work approximate solutions and exact solutions have been obtained for real instances obtained from Reddit discussions, showing that such real instances seem to be very easy to solve. In this paper, we investigate further the complexity of this problem, by introducing an instance generation model where a single parameter controls the polarization of the instances in such a way that this correlates with the average complexity to solve those instances. The average complexity results we obtain are consistent with our hypothesis: the higher the polarization of the instance, the easier is to find the corresponding polarized bipartition. △ Less

Submitted 21 July, 2023; originally announced July 2023.

Exotic Hadrons from Scattering in the Diabatic Dynamical Diquark Model

Authors: Richard F. Lebed, Steven R. Martinez

Abstract: The diabatic framework generalizes the adiabatic approximation built into the Born-Oppenheimer (BO) formalism, and is devised to rigorously incorporate the mixing of BO-approximation eigenstates with two-particle thresholds. We recently applied this framework in a bound-state approximation to the mixing of hidden-charm dynamical-diquark tetraquark states with open-charm di-meson thresholds. Since… ▽ More The diabatic framework generalizes the adiabatic approximation built into the Born-Oppenheimer (BO) formalism, and is devised to rigorously incorporate the mixing of BO-approximation eigenstates with two-particle thresholds. We recently applied this framework in a bound-state approximation to the mixing of hidden-charm dynamical-diquark tetraquark states with open-charm di-meson thresholds. Since almost all of these states are observed as above-threshold resonances, we here implement the corresponding scattering formalism to allow for a study of exotic tetraquark resonances within the diabatic framework. We calculate elastic open-charm di-meson cross sections (in channels with zero, open, and hidden strangeness) as functions of center-of-mass energy, and observe the development of true resonances, near resonances, and various threshold cusp effects. As an example, $χ_{c1}(3872)$ can originate in the $1^{++}$ channel as a diquark-antidiquark state enhanced by the $D^0 \overline{D}^{*0}$ threshold, with or without an additional contribution from the conventional charmonium $χ_{c1}(2P)$ state. △ Less

Submitted 18 June, 2023; v1 submitted 15 May, 2023; originally announced May 2023.

Comments: 14 pages, 11 figures, four tables. To be published in PRD

Computing Controlled Invariant Sets of Nonlinear Control-Affine Systems

Authors: Scott Brown, Mohammad Khajenejad, Sze Zheng Yong, Sonia MartInez

Abstract: In this paper, we consider the computation of controlled invariant sets (CIS) of discrete-time nonlinear control affine systems. We propose an iterative refinement procedure based on polytopic inclusion functions, which is able to approximate the maximal controlled invariant set to within a guaranteed precision. In particular, this procedure allows us to guarantee the invariance of the resulting n… ▽ More In this paper, we consider the computation of controlled invariant sets (CIS) of discrete-time nonlinear control affine systems. We propose an iterative refinement procedure based on polytopic inclusion functions, which is able to approximate the maximal controlled invariant set to within a guaranteed precision. In particular, this procedure allows us to guarantee the invariance of the resulting near-maximal CIS while also computing sets of control inputs that enforce the invariance. Further, we propose an accelerated version of this procedure which refines the CIS by computing backward reachable sets of individual components of set unions, rather than all at once. This reduces the total number of iterations required for convergence, especially when compared with existing methods. Finally, we compare our methods to a sampling-based approach and demonstrate the improved accuracy and faster convergence. △ Less

Submitted 23 April, 2023; originally announced April 2023.

Comments: 7 pages, submitted to CDC'23

Control of Discrete-Time LTI Systems using Stochastic Ensemble Systems

Authors: Nirabhra Mandal, Mohammad Khajenejad, Sonia Martinez

Abstract: In this paper, we study the control properties of a new class of stochastic ensemble systems that consists of families of random variables. These random variables provide an increasingly good approximation of an unknown discrete, linear-time invariant (DLTI) system, and can be obtained by a standard, data-driven procedure. Our first result relates the reachability properties of the stochastic ense… ▽ More In this paper, we study the control properties of a new class of stochastic ensemble systems that consists of families of random variables. These random variables provide an increasingly good approximation of an unknown discrete, linear-time invariant (DLTI) system, and can be obtained by a standard, data-driven procedure. Our first result relates the reachability properties of the stochastic ensemble system with that of the limiting DLTI system. We then provide a method to combine the control inputs obtained from the stochastic ensemble systems to compute a control input for the DLTI system. Later, we deal with a particular kind of stochastic ensemble system generated from realizing Bernoulli random variables. For this, we characterize the variance of the computed state and control. We also do the same for a situation where the data is updated sequentially in a streaming fashion. We illustrate the results numerically in various simulation examples. △ Less

Submitted 23 April, 2023; originally announced April 2023.

Comments: 8 pages, submitted to SIAM CT'23

Quantum Search Approaches to Sampling-Based Motion Planning

Authors: Paul Lathrop, Beth Boardman, Sonia Martínez

Abstract: In this paper, we present a novel formulation of traditional sampling-based motion planners as database-oracle structures that can be solved via quantum search algorithms. We consider two complementary scenarios: for simpler sparse environments, we formulate the Quantum Full Path Search Algorithm (q-FPS), which creates a superposition of full random path solutions, manipulates probability amplitud… ▽ More In this paper, we present a novel formulation of traditional sampling-based motion planners as database-oracle structures that can be solved via quantum search algorithms. We consider two complementary scenarios: for simpler sparse environments, we formulate the Quantum Full Path Search Algorithm (q-FPS), which creates a superposition of full random path solutions, manipulates probability amplitudes with Quantum Amplitude Amplification (QAA), and quantum measures a single obstacle free full path solution. For dense unstructured environments, we formulate the Quantum Rapidly Exploring Random Tree algorithm, q-RRT, that creates quantum superpositions of possible parent-child connections, manipulates probability amplitudes with QAA, and quantum measures a single reachable state, which is added to a tree. As performance depends on the number of oracle calls and the probability of measuring good quantum states, we quantify how these errors factor into the probabilistic completeness properties of the algorithm. We then numerically estimate the expected number of database solutions to provide an approximation of the optimal number of oracle calls in the algorithm. We compare the q-RRT algorithm with a classical implementation and verify quadratic run-time speedup in the largest connected component of a 2D dense random lattice. We conclude by evaluating a proposed approach to limit the expected number of database solutions and thus limit the optimal number of oracle calls to a given number. △ Less

Submitted 23 October, 2023; v1 submitted 10 April, 2023; originally announced April 2023.

Comments: 15 pages, 11 figures

Journal ref: IEEE Access, vol. 11, pp. 89506-89519, 2023

Tessellation-valued processes that are generated by cell division

Authors: Servet Martínez, Werner Nagel

Abstract: Processes of random tessellations of the Euclidean space $\mathbb{R}^d$, $d\geq 1$, are considered which are generated by subsequent division of their cells. Such processes are characterized by the laws of the life times of the cells until their division and by the laws for the random hyperplanes that divide the cells at the end of their life times. The STIT tessellation processes are a reference… ▽ More Processes of random tessellations of the Euclidean space $\mathbb{R}^d$, $d\geq 1$, are considered which are generated by subsequent division of their cells. Such processes are characterized by the laws of the life times of the cells until their division and by the laws for the random hyperplanes that divide the cells at the end of their life times. The STIT tessellation processes are a reference model. In the present paper a generalization concerning the life time distributions is introduced, a sufficient condition for the existence of such cell division tessellation processes is provided and a construction is described. In particular, for the case that the random dividing hyperplanes have a Mondrian distribution -- which means that all cells of the tessellations are cuboids -- it is shown that the intrinsic volumes, except the Euler characteristic, can be used as the parameter for the exponential life time distribution of the cells. △ Less

Submitted 4 April, 2023; v1 submitted 28 March, 2023; originally announced March 2023.

MSC Class: 60D05; 60J25; 60J76; 60J80

Journal ref: J. Appl. Probab. 61 (2024) 697-715

Data-driven mode detection and stabilization of unknown switched linear systems

Authors: Jaap Eising, Shenyu Liu, Sonia Martinez, Jorge Cortes

Abstract: This paper considers the stabilization of unknown switched linear systems using data. Instead of a full system model, we have access to a finite number of trajectories of each of the different modes prior to the online operation of the system. On the basis of informative enough measurements, formally characterized in terms of linear matrix inequalities, we design an online switched controller that… ▽ More This paper considers the stabilization of unknown switched linear systems using data. Instead of a full system model, we have access to a finite number of trajectories of each of the different modes prior to the online operation of the system. On the basis of informative enough measurements, formally characterized in terms of linear matrix inequalities, we design an online switched controller that alternates between a mode detection phase and a stabilization phase. Since the specific currently-active mode is unknown, the controller employs the most recent online measurements to determine it by implementing computationally efficient tests that check compatibility with the set of systems consistent with the pre-collected measurements. The stabilization phase applies the stabilizing feedback gain corresponding to the identified active mode and monitors the evolution of the associated Lyapunov function to detect switches. When a switch is detected, the controller returns to the mode-detection phase. Under average dwell- and activation-time assumptions on the switching signal, we show that the proposed controller guarantees an input-to-state-like stability property of the closed-loop switched system. Various simulations illustrate our results. △ Less

Submitted 20 March, 2023; originally announced March 2023.

Comments: arXiv admin note: text overlap with arXiv:2207.14767

Distributed Resilient Interval Observers for Bounded-Error LTI Systems Subject to False Data Injection Attacks

Authors: Mohammad Khajenejad, Scott Brown, Sonia Martinez

Abstract: This paper proposes a novel distributed interval-valued simultaneous state and input observer for linear time-invariant (LTI) systems that are subject to attacks or unknown inputs injected both on their sensors and actuators. Each agent in the network leverages a singular value decomposition (SVD) based transformation to decompose its observations into two components, one of them unaffected by the… ▽ More This paper proposes a novel distributed interval-valued simultaneous state and input observer for linear time-invariant (LTI) systems that are subject to attacks or unknown inputs injected both on their sensors and actuators. Each agent in the network leverages a singular value decomposition (SVD) based transformation to decompose its observations into two components, one of them unaffected by the attack signal, which helps to obtain local interval estimates of the state and unknown input and then uses intersection to compute the best interval estimate among neighboring nodes. We show that the computed intervals are guaranteed to contain the true state and input trajectories, and we provide conditions under which the observer is stable. Furthermore, we provide a method for designing stabilizing gains that minimize an upper bound on the worst-case steady-state observer error. We demonstrate our algorithm on an IEEE 14-bus power system. △ Less

Submitted 20 March, 2023; originally announced March 2023.

Comments: 6 pages, to appear in ACC'23

Grzegorczyk and Whitehead points: the story continues

Authors: Rafał Gruszczyński, Santiago Jockwich Martinez

Abstract: One of the main goals of region-based theories of space is to formulate a geometrically appealing definition of points. The paper is devoted to the analysis of two such seminal definitions: Alfred N. Whitehead's (1929) and Andrzej Grzegorczyk's (1960). Relying on the work of Loredana Biacino's and Ginagiacomo Gerla's (1996), we improve their results, solve some open problems concerning the mutual… ▽ More One of the main goals of region-based theories of space is to formulate a geometrically appealing definition of points. The paper is devoted to the analysis of two such seminal definitions: Alfred N. Whitehead's (1929) and Andrzej Grzegorczyk's (1960). Relying on the work of Loredana Biacino's and Ginagiacomo Gerla's (1996), we improve their results, solve some open problems concerning the mutual relationship between Whitehead and Grzegorczyk points, and put forward open problems for future investigation. △ Less

Submitted 30 September, 2023; v1 submitted 15 March, 2023; originally announced March 2023.

Comments: 21 pages, 1 figure

MSC Class: 00A30; 03G05; 06E25

Robot Navigation in Risky, Crowded Environments: Understanding Human Preferences

Authors: Aamodh Suresh, Angelique Taylor, Laurel D. Riek, Sonia Martinez

Abstract: Risky and crowded environments (RCE) contain abstract sources of risk and uncertainty, which are perceived differently by humans, leading to a variety of behaviors. Thus, robots deployed in RCEs, need to exhibit diverse perception and planning capabilities in order to interpret other human agents' behavior and act accordingly in such environments. To understand this problem domain, we conducted a… ▽ More Risky and crowded environments (RCE) contain abstract sources of risk and uncertainty, which are perceived differently by humans, leading to a variety of behaviors. Thus, robots deployed in RCEs, need to exhibit diverse perception and planning capabilities in order to interpret other human agents' behavior and act accordingly in such environments. To understand this problem domain, we conducted a study to explore human path choices in RCEs, enabling better robotic navigational explainable AI (XAI) designs. We created a novel COVID-19 pandemic grocery shop** scenario which had time-risk tradeoffs, and acquired users' path preferences. We found that participants showcase a variety of path preferences: from risky and urgent to safe and relaxed. To model users' decision making, we evaluated three popular risk models (Cumulative Prospect Theory (CPT), Conditional Value at Risk (CVAR), and Expected Risk (ER). We found that CPT captured people's decision making more accurately than CVaR and ER, corroborating theoretical results that CPT is more expressive and inclusive than CVaR and ER. We also found that people's self assessments of risk and time-urgency do not correlate with their path preferences in RCEs. Finally, we conducted thematic analysis of open-ended questions, providing crucial design insights for robots is RCE. Thus, through this study, we provide novel and critical insights about human behavior and perception to help design better navigational explainable AI (XAI) in RCEs. △ Less

Submitted 14 March, 2023; originally announced March 2023.

Comments: Under review

Fine-Tuned Convex Approximations of Probabilistic Reachable Sets under Data-driven Uncertainties

Authors: Pengcheng Wu, Sonia Martinez, Jun Chen

Abstract: This paper proposes a mechanism to fine-tune convex approximations of probabilistic reachable sets (PRS) of uncertain dynamic systems. We consider the case of unbounded uncertainties, for which it may be impossible to find a bounded reachable set of the system. Instead, we turn to find a PRS that bounds system states with high confidence. Our data-driven approach builds on a kernel density estimat… ▽ More This paper proposes a mechanism to fine-tune convex approximations of probabilistic reachable sets (PRS) of uncertain dynamic systems. We consider the case of unbounded uncertainties, for which it may be impossible to find a bounded reachable set of the system. Instead, we turn to find a PRS that bounds system states with high confidence. Our data-driven approach builds on a kernel density estimator (KDE) accelerated by a fast Fourier transform (FFT), which is customized to model the uncertainties and obtain the PRS efficiently. However, the non-convex shape of the PRS can make it impractical for subsequent optimal designs. Motivated by this, we formulate a mixed integer nonlinear programming (MINLP) problem whose solution result is an optimal $n$ sided convex polygon that approximates the PRS. Leveraging this formulation, we propose a heuristic algorithm to find this convex set efficiently while ensuring accuracy. The algorithm is tested on comprehensive case studies that demonstrate its near-optimality, accuracy, efficiency, and robustness. The benefits of this work pave the way for promising applications to safety-critical, real-time motion planning of uncertain dynamic systems. △ Less

Submitted 3 February, 2024; v1 submitted 2 March, 2023; originally announced March 2023.

Sterile versus prolific individuals pertaining to linear-fractional Bienaym{é}-Galton-Watson trees

Authors: Thierry Huillet, Servet Martinez

Abstract: In a Bienaymé-Galton-Watson process for which there is a positiveprobability for individuals of having no offspring, there is a subtlebalance and dependence between the sterile nodes (the dead nodes or leaves)and the prolific ones (the productive nodes) both at and up to the currentgeneration. We explore the many facets of this problem, especially in thecontext of an exactly solvable linear-fracti… ▽ More In a Bienaymé-Galton-Watson process for which there is a positiveprobability for individuals of having no offspring, there is a subtlebalance and dependence between the sterile nodes (the dead nodes or leaves)and the prolific ones (the productive nodes) both at and up to the currentgeneration. We explore the many facets of this problem, especially in thecontext of an exactly solvable linear-fractional branching mechanism at allgeneration. Eased asymptotic issues are investigated. Relation of thisspecial branching process to skip-free to the left and simple random walks'excursions is then investigated. Mutual statistical information on theirshapes can be learnt from this association. △ Less

Submitted 16 February, 2023; originally announced February 2023.

Probing invisible neutrino decay with KM3NeT-ORCA

Authors: KM3NeT Collaboration, S. Aiello, A. Albert, S. Alves Garre, Z. Aly, A. Ambrosone, F. Ameli, M. Andre, M. Anghinolfi, M. Anguita, M. Ardid, S. Ardid, J. Aublin, C. Bagatelas, L. Bailly-Salins, B. Baret, S. Basegmez du Pree, Y. Becherini, M. Bendahman, F. Benfenati, E. Berbee, V. Bertin, S. Biagi, M. Boettcher, M. Bou Cabo , et al. (230 additional authors not shown)

Abstract: In the era of precision measurements of the neutrino oscillation parameters, upcoming neutrino experiments will also be sensitive to physics beyond the Standard Model. KM3NeT/ORCA is a neutrino detector optimised for measuring atmospheric neutrinos from a few GeV to around 100 GeV. In this paper, the sensitivity of the KM3NeT/ORCA detector to neutrino decay has been explored. A three-flavour neutr… ▽ More In the era of precision measurements of the neutrino oscillation parameters, upcoming neutrino experiments will also be sensitive to physics beyond the Standard Model. KM3NeT/ORCA is a neutrino detector optimised for measuring atmospheric neutrinos from a few GeV to around 100 GeV. In this paper, the sensitivity of the KM3NeT/ORCA detector to neutrino decay has been explored. A three-flavour neutrino oscillation scenario, where the third neutrino mass state $ν_3$ decays into an invisible state, e.g. a sterile neutrino, is considered. We find that KM3NeT/ORCA would be sensitive to invisible neutrino decays with $1/α_3=τ_3/m_3 < 180$~$\mathrm{ps/eV}$ at $90\%$ confidence level, assuming true normal ordering. Finally, the impact of neutrino decay on the precision of KM3NeT/ORCA measurements for $θ_{23}$, $Δm^2_{31}$ and mass ordering have been studied. No significant effect of neutrino decay on the sensitivity to these measurements has been found. △ Less

Submitted 27 March, 2023; v1 submitted 6 February, 2023; originally announced February 2023.

Comments: 27 pages, 14 figures, bibliography updated, typos corrected

Do Multi-Document Summarization Models Synthesize?

Authors: Jay DeYoung, Stephanie C. Martinez, Iain J. Marshall, Byron C. Wallace

Abstract: Multi-document summarization entails producing concise synopses of collections of inputs. For some applications, the synopsis should accurately \emph{synthesize} inputs with respect to a key property or aspect. For example, a synopsis of film reviews all written about a particular movie should reflect the average critic consensus. As a more consequential example, consider narrative summaries that… ▽ More Multi-document summarization entails producing concise synopses of collections of inputs. For some applications, the synopsis should accurately \emph{synthesize} inputs with respect to a key property or aspect. For example, a synopsis of film reviews all written about a particular movie should reflect the average critic consensus. As a more consequential example, consider narrative summaries that accompany biomedical \emph{systematic reviews} of clinical trial results. These narratives should fairly summarize the potentially conflicting results from individual trials. In this paper we ask: To what extent do modern multi-document summarization models implicitly perform this type of synthesis? To assess this we perform a suite of experiments that probe the degree to which conditional generation models trained for summarization using standard methods yield outputs that appropriately synthesize inputs. We find that existing models do partially perform synthesis, but do so imperfectly. In particular, they are over-sensitive to changes in input ordering and under-sensitive to changes in input compositions (e.g., the ratio of positive to negative movie reviews). We propose a simple, general method for improving model synthesis capabilities by generating an explicitly diverse set of candidate outputs, and then selecting from these the string best aligned with the expected aggregate measure for the inputs, or \emph{abstaining} when the model produces no good candidate. This approach improves model synthesis performance. We hope highlighting the need for synthesis (in some summarization settings), motivates further research into multi-document summarization methods and learning objectives that explicitly account for the need to synthesize. △ Less

Submitted 31 January, 2023; originally announced January 2023.

Comments: 22 Pages, 13 Figures, 22 Tables. ACL Formatted paper; expanded version of rejected ICLR submisssion https://openreview.net/forum?id=1PTeB4MWCfU Paper de-anonymized ahead of ICLR de-anonymization due to ACL policies/additional conference submission

One step entropy variation in sequential sampling of species for the Poisson-Dirichlet Process

Authors: Servet Martínez, Javier Santibáñez

Abstract: We consider the sequential sampling of species, where observed samples are classified into the species they belong to. We are particularly interested in studying some quantities describing the sampling process when there is a new species discovery. We assume that the observations and species are organized as a two-parameter Poisson-Dirichlet Process, which is commonly used as a Bayesian prior in t… ▽ More We consider the sequential sampling of species, where observed samples are classified into the species they belong to. We are particularly interested in studying some quantities describing the sampling process when there is a new species discovery. We assume that the observations and species are organized as a two-parameter Poisson-Dirichlet Process, which is commonly used as a Bayesian prior in the context of entropy estimation, and we use the computation of the mean posterior entropy given a sample developed in [4]. Our main result shows the existence of a monotone functional, constructed from the difference between the maximal entropy and the mean entropy throughout the sampling process. We show that this functional remains constant only when a new species discovery occurs. △ Less

Submitted 31 January, 2023; originally announced January 2023.

BigBrain-MR: a new digital phantom with anatomically-realistic magnetic resonance properties at 100-μm resolution for magnetic resonance methods development

Authors: Cristina Sainz Martinez, Meritxell Bach Cuadra, João Jorge

Abstract: The benefits, opportunities and growing availability of ultra-high field magnetic resonance imaging (MRI) for humans have prompted an expansion in research and development efforts towards increasingly more advanced high-resolution imaging techniques. To maximize their effectiveness, these efforts need to be supported by powerful computational simulation platforms that can adequately reproduce the… ▽ More The benefits, opportunities and growing availability of ultra-high field magnetic resonance imaging (MRI) for humans have prompted an expansion in research and development efforts towards increasingly more advanced high-resolution imaging techniques. To maximize their effectiveness, these efforts need to be supported by powerful computational simulation platforms that can adequately reproduce the biophysical characteristics of MRI, with high spatial resolution. In this work, we have sought to address this need by develo** a novel digital phantom with realistic anatomical detail up to 100-um resolution, including multiple MRI properties that affect image generation. This phantom, termed BigBrain-MR, was generated from the publicly available BigBrain histological dataset and lower-resolution in-vivo 7T-MRI data, using a newly-developed image processing framework that allows map** the general properties of the latter into the fine anatomical scale of the former. Overall, the map** framework was found to be effective and robust, yielding a diverse range of realistic "in-vivo-like" MRI contrasts and maps at 100-um resolution. BigBrain-MR was then tested in three different imaging applications (motion effects and interpolation, super-resolution imaging, and parallel imaging reconstruction) to investigate its properties, value and validity as a simulation platform. The results consistently showed that BigBrain-MR can closely approximate the behavior of real in-vivo data, more realistically and with more extensive features than a more classic option such as the Shepp-Logan phantom. This novel phantom is therefore deemed a favorable choice to support methodological development in brain MRI, and has been made freely available to the community. △ Less

Submitted 15 December, 2022; originally announced December 2022.

Comments: 38 pages, 8 figures, 1 table, 6 supplementary figures

Journal ref: NeuroImage, Vol. 273, June 2023, 120074

Solving the Teukolsky equation with physics-informed neural networks

Authors: Raimon Luna, Juan Calderón Bustillo, Juan José Seoane Martínez, Alejandro Torres-Forné, José A. Font

Abstract: We use physics-informed neural networks (PINNs) to compute the first quasi-normal modes of the Kerr geometry via the Teukolsky equation. This technique allows us to extract the complex frequencies and separation constants of the equation without the need for sophisticated numerical techniques, and with an almost immediate implementation under the \texttt{PyTorch} framework. We are able to compute… ▽ More We use physics-informed neural networks (PINNs) to compute the first quasi-normal modes of the Kerr geometry via the Teukolsky equation. This technique allows us to extract the complex frequencies and separation constants of the equation without the need for sophisticated numerical techniques, and with an almost immediate implementation under the \texttt{PyTorch} framework. We are able to compute the oscillation frequencies and dam** times for arbitrary black hole spins and masses, with accuracy typically below the percentual level as compared to the accepted values in the literature. We find that PINN-computed quasi-normal modes are indistinguishable from those obtained through existing methods at signal-to-noise ratios (SNRs) larger than 100, making the former reliable for gravitational-wave data analysis in the mid term, before the arrival of third-generation detectors like LISA or the Einstein Telescope, where SNRs of ${\cal O}(1000)$ might be achieved. △ Less

Submitted 8 April, 2024; v1 submitted 12 December, 2022; originally announced December 2022.

Comments: 12 pages, 7 figures. v2: Matches published version, minor typos corrected

Journal ref: Phys.Rev.D 107 (2023) 6, 064025

A ResNet is All You Need? Modeling A Strong Baseline for Detecting Referable Diabetic Retinopathy in Fundus Images

Authors: Tomás Castilla, Marcela S. Martínez, Mercedes Leguía, Ignacio Larrabide, José Ignacio Orlando

Abstract: Deep learning is currently the state-of-the-art for automated detection of referable diabetic retinopathy (DR) from color fundus photographs (CFP). While the general interest is put on improving results through methodological innovations, it is not clear how good these approaches perform compared to standard deep classification models trained with the appropriate settings. In this paper we propose… ▽ More Deep learning is currently the state-of-the-art for automated detection of referable diabetic retinopathy (DR) from color fundus photographs (CFP). While the general interest is put on improving results through methodological innovations, it is not clear how good these approaches perform compared to standard deep classification models trained with the appropriate settings. In this paper we propose to model a strong baseline for this task based on a simple and standard ResNet-18 architecture. To this end, we built on top of prior art by training the model with a standard preprocessing strategy but using images from several public sources and an empirically calibrated data augmentation setting. To evaluate its performance, we covered multiple clinically relevant perspectives, including image and patient level DR screening, discriminating responses by input quality and DR grade, assessing model uncertainties and analyzing its results in a qualitative manner. With no other methodological innovation than a carefully designed training, our ResNet model achieved an AUC = 0.955 (0.953 - 0.956) on a combined test set of 61007 test images from different public datasets, which is in line or even better than what other more complex deep learning models reported in the literature. Similar AUC values were obtained in 480 images from two separate in-house databases specially prepared for this study, which emphasize its generalization ability. This confirms that standard networks can still be strong baselines for this task if properly trained. △ Less

Submitted 6 October, 2022; originally announced October 2022.

Comments: Accepted for publication at the 18th International Symposium on Medical Information Processing and Analysis (SIPAIM 2022)

Guaranteed Privacy of Distributed Nonconvex Optimization via Mixed-Monotone Functional Perturbations

Authors: Mohammad Khajenejad, Sonia Martinez

Abstract: In this paper, we introduce a new notion of guaranteed privacy that requires that the change of the range of the corresponding inclusion function to the true function is small. In particular, leveraging mixed-monotone inclusion functions, we propose a privacy-preserving mechanism for nonconvex distributed optimization, which is based on deterministic, but unknown, affine perturbation of the local… ▽ More In this paper, we introduce a new notion of guaranteed privacy that requires that the change of the range of the corresponding inclusion function to the true function is small. In particular, leveraging mixed-monotone inclusion functions, we propose a privacy-preserving mechanism for nonconvex distributed optimization, which is based on deterministic, but unknown, affine perturbation of the local objective functions, which is stronger than probabilistic differential privacy. The design requires a robust optimization method to characterize the best accuracy that can be achieved by an optimal perturbation. Subsequently, this is used to guide the refinement of a guaranteed-private perturbation mechanism that can achieve a quantifiable accuracy via a theoretical upper bound that is shown to be independent of the chosen optimization algorithm. △ Less

Submitted 23 September, 2022; originally announced September 2022.

Planet-star interactions with precise transit timing. III. Entering the regime of dynamical tides

Authors: G. Maciejewski, M. Fernandez, A. Sota, P. J. Amado, D. Dimitrov, Y. Nikolov, J. Ohlert, M. Mugrauer, R. Bischoff, T. Heyne, F. Hildebrandt, W. Stenglein, A. A. Arevalo, S. Neira, L. A. Riesco, V. Sanchez Martinez, M. M. Verdugo

Abstract: Hot Jupiters on extremely short-period orbits are expected to be unstable to tidal dissipation and spiral toward their host stars. That is because they transfer the angular momentum of the orbital motion through tidal dissipation into the stellar interior. Although the magnitude of this phenomenon is related to the physical properties of a specific star-planet system, statistical studies show that… ▽ More Hot Jupiters on extremely short-period orbits are expected to be unstable to tidal dissipation and spiral toward their host stars. That is because they transfer the angular momentum of the orbital motion through tidal dissipation into the stellar interior. Although the magnitude of this phenomenon is related to the physical properties of a specific star-planet system, statistical studies show that tidal dissipation might shape the architecture of hot Jupiter systems during the stellar lifetime on the main sequence. The efficiency of tidal dissipation remains poorly constrained in star-planet systems. Stellar interior models show that the dissipation of dynamical tides in radiation zones could be the dominant mechanism driving planetary orbital decay. These theoretical predictions can be verified with the transit timing method. We acquired new precise transit mid-times for five planets. They were previously identified as the best candidates for which orbital decay might be detected. Analysis of the timing data allowed us to place tighter constraints on the orbital decay rate. No statistically significant changes in their orbital periods were detected for all five hot Jupiters in systems HAT-P-23, KELT-1, KELT-16, WASP-18, and WASP-103. For planets HAT-P-23 b, WASP-18 b, and WASP-103 b, observations show that the mechanism of the dynamical tides dissipation probably does not operate in their host stars, preventing them from rapid orbital decay. This finding aligns with the models of stellar interiors of F-type stars, in which dynamical tides are not fully damped due to convective cores. For KELT-16 b, the span of transit timing data was not long enough to verify the theoretical predictions. KELT-1 b was identified as a potential laboratory for studying the dissipative tidal interactions of inertial waves in a convective layer. △ Less

Submitted 21 September, 2022; originally announced September 2022.

Comments: Accepted for publication in A&A

Journal ref: A&A 667, A127 (2022)

Distributed Interval Observers for Bounded-Error LTI Systems

Authors: Mohammad Khajenejad, Scott Brown, Sonia Martinez

Abstract: This paper proposes a novel distributed interval observer design for linear time-invariant (LTI) discrete-time systems subject to bounded disturbances. In the proposed observer algorithm, each agent in a networked group exchanges locally-computed framers or interval-valued state estimates with neighbors, and coordinates its update via an intersection operation. We show that the proposed framers ar… ▽ More This paper proposes a novel distributed interval observer design for linear time-invariant (LTI) discrete-time systems subject to bounded disturbances. In the proposed observer algorithm, each agent in a networked group exchanges locally-computed framers or interval-valued state estimates with neighbors, and coordinates its update via an intersection operation. We show that the proposed framers are guaranteed to bound the true state trajectory of the system by construction, i.e., without imposing any additional assumptions or constraints. Moreover, we provide necessary and sufficient conditions for the collective stability of the distributed observer, i.e., to guarantee the uniform boundedness of the observer error sequence. In particular, we show that such conditions can be tractably satisfied through a constructive and distributed approach. Moreover, we provide an algorithm to verify some structural conditions for a given system, which guarantee the existence of the proposed observer. Finally, simulation results demonstrate the effectiveness of our proposed method compared to an existing distributed observer in the literature. △ Less

Submitted 2 September, 2022; originally announced September 2022.

Intermediate-mass Black Holes on the Run from Young Star Clusters

Authors: Elena González Prieto, Kyle Kremer, Giacomo Fragione, Miguel A. S. Martinez, Newlin C. Weatherford, Michael Zevin, Frederic A. Rasio

Abstract: The existence of black holes (BHs) with masses in the range between stellar remnants and supermassive BHs has only recently become unambiguously established. GW190521, a gravitational wave signal detected by the LIGO/Virgo Collaboration, provides the first direct evidence for the existence of such intermediate-mass BHs (IMBHs). This event sparked and continues to fuel discussion on the possible fo… ▽ More The existence of black holes (BHs) with masses in the range between stellar remnants and supermassive BHs has only recently become unambiguously established. GW190521, a gravitational wave signal detected by the LIGO/Virgo Collaboration, provides the first direct evidence for the existence of such intermediate-mass BHs (IMBHs). This event sparked and continues to fuel discussion on the possible formation channels for such massive BHs. As the detection revealed, IMBHs can form via binary mergers of BHs in the "upper mass gap" ($\approx40 -120\,M_{\odot}$). Alternatively, IMBHs may form via the collapse of a very massive star formed through stellar collisions and mergers in dense star clusters. In this study, we explore the formation of IMBHs with masses between $120$ and $500\,M_{\odot}$ in young, massive star clusters using state-of-the-art Cluster Monte Carlo ($\texttt{CMC}$) models. We examine the evolution of IMBHs throughout their dynamical lifetimes, ending with their ejection from the parent cluster due to gravitational radiation recoil from BH mergers, or dynamical recoil kicks from few-body scattering encounters. We find that $ \textit{all}$ of the IMBHs in our models are ejected from the host cluster within the first $\sim 500$ Myr, indicating a low retention probability of IMBHs in this mass range for globular clusters today. We estimate the peak IMBH merger rate to be $\mathcal{R} \approx 2 \, \rm{Gpc}^{-3}\,\rm{yr}^{-1}$ at redshift $z \approx 2$. △ Less

Submitted 17 October, 2022; v1 submitted 16 August, 2022; originally announced August 2022.

Comments: Accepted for ApJ. Comments welcome. 16 pages and 10 figures