title: Low Latency Instance Segmentation by Continuous Clustering for Rotating LiDAR Sensors

abstract: Low-latency instance segmentation of LiDAR point clouds is crucial in real-world applications because it serves as an initial and frequently-used building block in a robot's perception pipeline, where every task adds further delay. Particularly in dynamic environments, this total delay can result in significant positional offsets of dynamic objects, as seen in highway scenarios. To address this issue, we employ continuous clustering of obstacle points in order to obtain an instance-segmented point cloud. Unlike most existing approaches, which use a full revolution of the LiDAR sensor, we process the data stream in a continuous and seamless fashion. More specifically, each column of a range image is processed as soon it is available. Obstacle points are clustered to existing instances in real-time and it is checked at a high-frequency which instances are completed and are ready to be published. An additional advantage is that no problematic discontinuities between the points of the start and the end of a scan are observed. In this work we describe the two-layered data structure and the corresponding algorithm for continuous clustering, which is able to cluster the incoming data in real time. We explain the importance of a large perceptive field of view. Furthermore, we describe and evaluate important architectural design choices, which could be relevant to design an architecture for deep learning based low-latency instance segmentation. We are publishing the source code at https://github.com/UniBwTAS/continuous_clustering.


title: Information dynamics efficiently discriminates high $\gamma$-rhythms in EEG brain waves

abstract: Discriminating between physiological waves, linked to functional brain properties, and pathological waves, due to brain malfunction, is problematic, e. g., for high-frequency oscillations (HFO) as high $\gamma$ waves. Brain rhythms observed in EEG can also be observed in excitatory/inhibitory (E/I) NN models. Such models allow to study the relationship between waves and neuronal circuit functions, which could lead to fundamental insights to discriminating waves. To address this and other questions, we explore the emergence of high gamma rhythms in an E/I balanced neural population of integrated and fire neurons with short-term synaptic plasticity. This model generates a rich repertoire of EEG-like rhythms, including high-frequency excitatory and inhibitory oscillations. Using the integrated information decomposition framework (Phi-ID), we explore the information dynamics of the network and its relationship with excitatory and inhibitory activity and high-frequency rhythms. In regions where high gamma rhythms emerge only in the excitatory population, we see informational properties in the network more favorable for computation and processing information, corresponding then to functional regimes. However, regions where high gamma rhythms also emerge in the inhibitory population present lower mutual information in general, and the system becomes less predictable, a fact that can be linked to a less functional or ``pathological" regime. In the second case, we observe that both excitatory and inhibitory populations oscillate with the same dominant frequency, which is higher than in the first case. Higher frequency oscillations and synchronization are commonly associated with epileptic seizures so adopting an information dynamics approach could help differentiate between high-frequency oscillations related to cognitive functions from those related to neuronal disorders such as epilepsy.


title: MedISure: Towards Assuring Machine Learning-based Medical Image Classifiers using Mixup Boundary Analysis

abstract: Machine learning (ML) models are becoming integral in healthcare technologies, presenting a critical need for formal assurance to validate their safety, fairness, robustness, and trustworthiness. These models are inherently prone to errors, potentially posing serious risks to patient health and could even cause irreparable harm. Traditional software assurance techniques rely on fixed code and do not directly apply to ML models since these algorithms are adaptable and learn from curated datasets through a training process. However, adapting established principles, such as boundary testing using synthetic test data can effectively bridge this gap. To this end, we present a novel technique called Mix-Up Boundary Analysis (MUBA) that facilitates evaluating image classifiers in terms of prediction fairness. We evaluated MUBA for two important medical imaging tasks -- brain tumour classification and breast cancer classification -- and achieved promising results. This research aims to showcase the importance of adapting traditional assurance principles for assessing ML models to enhance the safety and reliability of healthcare technologies. To facilitate future research, we plan to publicly release our code for MUBA.


title: Location-Domination Type Problems Under the Mycielski Construction

abstract: We consider the following variants of the classical minimum dominating set problem in graphs: locating-dominating set, locating total-dominating set and open locating-dominating set. All these problems are known to be hard for general graphs. A typical line of attack, therefore, is to either determine the minimum cardinalities of such sets in general or to establish bounds on these minimum cardinalities in special graph classes. In this paper, we study the minimum cardinalities of these variants of the dominating set under a graph operation defined by Mycielski in~\cite{Mycielski1955} and is called the Mycielski construction. We provide some general lower and upper bounds on the minimum sizes of the studied sets under the Mycielski construction. We apply the Mycielski construction to stars, paths and cycles in particular, and provide lower and upper bounds on the minimum cardinalities of such sets in these graph classes. Our results either improve or attain the general known upper bounds.


title: On the Permutation-Representation Number of Bipartite Graphs using Neighborhood Graphs

abstract: The problems of determining the permutation-representation number (prn) and the representation number of bipartite graphs are open in the literature. Moreover, the decision problem corresponding to the determination of the prn of a bipartite graph is NP-complete. However, these numbers were established for certain subclasses of bipartite graphs, e.g., for crown graphs. Further, it was conjectured that the crown graphs have the highest representation number among the bipartite graphs. In this work, first, we reconcile the relation between the prn of a comparability graph and the dimension of its induced poset and review the upper bounds on the prn of bipartite graphs. Then, we study the prn of bipartite graphs using the notion called neighborhood graphs. This approach substantiates the aforesaid conjecture and gives us theoretical evidence. In this connection, we devise a polynomial-time procedure to construct a word that represents a given bipartite graph permutationally. Accordingly, we provide a better upper bound for the prn of bipartite graphs. Further, we construct a class of bipartite graphs, viz., extended crown graphs, defined over posets and investigate its prn using the neighborhood graphs.


title: Overview of the distributed image processing infrastructure to produce the Legacy Survey of Space and Time

abstract: The Vera C. Rubin Observatory is preparing to execute the most ambitious astronomical survey ever attempted, the Legacy Survey of Space and Time (LSST). Currently the final phase of construction is under way in the Chilean Andes, with the Observatory's ten-year science mission scheduled to begin in 2025. Rubin's 8.4-meter telescope will nightly scan the southern hemisphere collecting imagery in the wavelength range 320-1050 nm covering the entire observable sky every 4 nights using a 3.2 gigapixel camera, the largest imaging device ever built for astronomy. Automated detection and classification of celestial objects will be performed by sophisticated algorithms on high-resolution images to progressively produce an astronomical catalog eventually composed of 20 billion galaxies and 17 billion stars and their associated physical properties. In this article we present an overview of the system currently being constructed to perform data distribution as well as the annual campaigns which reprocess the entire image dataset collected since the beginning of the survey. These processing campaigns will utilize computing and storage resources provided by three Rubin data facilities (one in the US and two in Europe). Each year a Data Release will be produced and disseminated to science collaborations for use in studies comprising four main science pillars: probing dark matter and dark energy, taking inventory of solar system objects, exploring the transient optical sky and mapping the Milky Way. Also presented is the method by which we leverage some of the common tools and best practices used for management of large-scale distributed data processing projects in the high energy physics and astronomy communities. We also demonstrate how these tools and practices are utilized within the Rubin project in order to overcome the specific challenges faced by the Observatory.


title: Probabilistic Tree-of-thought Reasoning for Answering Knowledge-intensive Complex Questions

abstract: Large language models (LLMs) are capable of answering knowledge-intensive complex questions with chain-of-thought (CoT) reasoning. However, they tend to generate factually incorrect reasoning steps when the required knowledge is not available or up-to-date in models' parameters. Recent works turn to retrieving external knowledge to augment CoT reasoning. Despite being promising, these chain-based methods suffer from: 1) Negative retrieval. Unnecessary or incorrect retrieval may mislead the reasoning; 2) Limited sight. Lacking the ability to look backward or forward, a local error in one step will propagate along the chain. In this paper, we propose a novel approach: Probabilistic Tree-of-thought Reasoning (ProbTree). First, LLMs translate a complex question into a query tree, in which each non-root node denotes a sub-question of its parent node. Then, probabilistic reasoning is conducted over the tree, by solving questions from leaf to root considering the confidence of both question decomposing and answering. During reasoning, for leaf nodes, LLMs choose a more confident answer from Closed-book QA that employs parametric knowledge and Open-book QA that employs retrieved external knowledge, thus eliminating the negative retrieval problem. For non-leaf nodes, with the hierarchical structure, LLMs have broader sights and are able to globally reason with the information from child nodes, thus recovering from local errors. The experiments on three Complex QA datasets under the open-domain setting show that our approach outperforms SOTA methods significantly, demonstrating the effect of probabilistic tree-of-thought reasoning.


title: Learning Dynamic Selection and Pricing of Out-of-Home Deliveries

abstract: Home delivery failures, traffic congestion, and relatively large handling times have a negative impact on the profitability of last-mile logistics. These external factors contribute to up to $28\%$ of the overall costs and $25\%$ of emissions for the home delivery supply chain. A potential solution, showing annual growth rates up to $36\%$, is the delivery to parcel lockers or parcel shops, denoted by out-of-home (OOH) delivery. In the academic literature, models of customer behavior with respect to OOH delivery were so far limited to deterministic settings, contrasting with the stochastic nature of actual customer choices. We model the sequential decision-making problem of which OOH location to offer against what incentive for each incoming customer, taking into account future customer arrivals and choices. We propose Dynamic Selection and Pricing of OOH (DSPO), an algorithmic pipeline that uses a novel spatial-temporal state encoding as input to a convolutional neural network. We demonstrate the performance of our method by benchmarking it against three state-of-the-art approaches. Our extensive numerical study, guided by real-world data, reveals that DSPO can save $20.8\%$ in costs compared to a situation without OOH locations, $8.1\%$ compared to a static selection and pricing policy, and $4.6\%$ compared to a state-of-the-art demand management benchmark. We provide comprehensive insights into the complex interplay between OOH delivery dynamics and customer behavior influenced by pricing strategies. The implications of our findings suggest practitioners to adopt dynamic selection and pricing policies as OOH delivery gains a larger market share.


title: Harnessing Large Language Models to Enhance Self-Regulated Learning via Formative Feedback

abstract: Effectively supporting students in mastering all facets of self-regulated learning is a central aim of teachers and educational researchers. Prior research could demonstrate that formative feedback is an effective way to support students during self-regulated learning (SRL). However, for formative feedback to be effective, it needs to be tailored to the learners, requiring information about their learning progress. In this work, we introduce LEAP, a novel platform that utilizes advanced large language models (LLMs), such as ChatGPT, to provide formative feedback to students. LEAP empowers teachers with the ability to effectively pre-prompt and assign tasks to the LLM, thereby stimulating students' cognitive and metacognitive processes and promoting self-regulated learning. We demonstrate that a systematic prompt design based on theoretical principles can provide a wide range of types of scaffolds to students, including sense-making, elaboration, self-explanation, partial task-solution scaffolds, as well as metacognitive and motivational scaffolds. In this way, we emphasize the critical importance of synchronizing educational technological advances with empirical research and theoretical frameworks.


title: Error mitigated variational algorithm on a photonic processor

abstract: We demonstrate successful error mitigation of indistinguishability-related noise in a quantum photonic processor. We apply zero-noise extrapolation (ZNE) technique to a variational quantum eigensolver (VQE). The observable values measured at two-different error levels allow us to extrapolate it towards noise-free regime. We study influence of the partial distinguishability of photons in a two-qubit processor which implements the VQE for a Schwinger Hamiltonian. The results evidence the improvement of the Hamiltonian eigenvalue estimation using the ZNE procedure. Lastly, we analyze potential applicability of this error mitigation method to other linear optical processors with externally controlled polarization.


title: FViT-Grasp: Grasping Objects With Using Fast Vision Transformers

abstract: This study addresses the challenge of manipulation, a prominent issue in robotics. We have devised a novel methodology for swiftly and precisely identifying the optimal grasp point for a robot to manipulate an object. Our approach leverages a Fast Vision Transformer (FViT), a type of neural network designed for processing visual data and predicting the most suitable grasp location. Demonstrating state-of-the-art performance in terms of speed while maintaining a high level of accuracy, our method holds promise for potential deployment in real-time robotic grasping applications. We believe that this study provides a baseline for future research in vision-based robotic grasp applications. Its high speed and accuracy bring researchers closer to real-life applications.


title: Jam-ALT: A Formatting-Aware Lyrics Transcription Benchmark

abstract: Current automatic lyrics transcription (ALT) benchmarks focus exclusively on word content and ignore the finer nuances of written lyrics including formatting and punctuation, which leads to a potential misalignment with the creative products of musicians and songwriters as well as listeners' experiences. For example, line breaks are important in conveying information about rhythm, emotional emphasis, rhyme, and high-level structure. To address this issue, we introduce Jam-ALT, a new lyrics transcription benchmark based on the JamendoLyrics dataset. Our contribution is twofold. Firstly, a complete revision of the transcripts, geared specifically towards ALT evaluation by following a newly created annotation guide that unifies the music industry's guidelines, covering aspects such as punctuation, line breaks, spelling, background vocals, and non-word sounds. Secondly, a suite of evaluation metrics designed, unlike the traditional word error rate, to capture such phenomena. We hope that the proposed benchmark contributes to the ALT task, enabling more precise and reliable assessments of transcription systems and enhancing the user experience in lyrics applications such as subtitle renderings for live captioning or karaoke.


title: Docking Multirotors in Close Proximity using Learnt Downwash Models

abstract: Unmodeled aerodynamic disturbances pose a key challenge for multirotor flight when multiple vehicles are in close proximity to each other. However, certain missions \textit{require} two multirotors to approach each other within 1-2 body-lengths of each other and hold formation -- we consider one such practical instance: vertically docking two multirotors in the air. In this leader-follower setting, the follower experiences significant downwash interference from the leader in its final docking stages. To compensate for this, we employ a learnt downwash model online within an optimal feedback controller to accurately track a docking maneuver and then hold formation. Through real-world flights with different maneuvers, we demonstrate that this compensation is crucial for reducing the large vertical separation otherwise required by conventional/naive approaches. Our evaluations show a tracking error of less than 0.06m for the follower (a 3-4x reduction) when approaching vertically within two body-lengths of the leader. Finally, we deploy the complete system to effect a successful physical docking between two airborne multirotors in a single smooth planned trajectory.


title: An optimal first-order Taylor-like formula with a minimized remainder

abstract: In this paper, we derive an optimal first-order Taylor-like formula. In a seminal paper [14], we introduced a new first-order Taylor-like formula that yields a reduced remainder compared to the classical Taylor's formula. Here, we relax the assumption of equally spaced points in our formula. Instead, we consider a sequence of unknown points and a sequence of unknown weights. Then, we solve an optimization problem to determine the best distribution of points and weights that ensures that the remainder is as minimal as possible.


title: Entropy-area law and temperature of de Sitter horizons from modular theory

abstract: We derive an entropy-area law for the future horizon of an observer in diamonds inside the static patch of de Sitter spacetime, taking into account the backreaction of quantum matter fields. We prove positivity and convexity of the relative entropy for coherent states using Tomita--Takesaki modular theory, from which the QNEC for diamonds follows. Furthermore, we show that the generalized entropy conjecture holds. Finally, we reveal that the local temperature which is measured by an observer at rest exhibits subleading quantum corrections with respect to the well-known cosmological horizon temperature $H/(2\pi)$.


title: Semi-organized structures and turbulence in the atmospheric convection

abstract: The atmospheric convective boundary layer (CBL) consists of three basic parts: (i) the surface layer unstably stratified and dominated by small-scale turbulence of very complex nature; (ii) the CBL core dominated by the energy-, momentum- and mass-transport of semi-organized structures (large-scale circulations), with a small contribution from small-scale turbulence produced by local structural shears; and (iii) turbulent entrainment layer at the upper boundary, characterized by essentially stable stratification with negative (downward) turbulent flux of potential temperature. The energy- and flux budget (EFB) theory developed previously for atmospheric stably-stratified turbulence and the surface layer in atmospheric convective turbulence is extended to the CBL core using budget equations for turbulent energies and turbulent fluxes of buoyancy and momentum. For the CBL core, we determine global turbulent characteristics (averaged over the entire volume of the semi-organized structure) as well as kinetic and thermal energies of the semi-organized structures as the functions of the aspect ratio of the semi-organized structure, the scale separation parameter between the vertical size of the structures and the integral scale of turbulence and the degree of thermal anisotropy characterized the form of plumes. The obtained theoretical relationships are potentially useful in modeling applications in the atmospheric convective boundary-layer, and analysis of laboratory and field experiments, direct numerical simulations and large-eddy simulations of convective turbulence with large-scale semi-organized structures.

categories: physics.flu-dyn astro-ph.EP physics.ao-ph physics.geo-ph


title: Pro-$p$ Poincar\'{e}-Duality groups of infinite rank

abstract: We develop the theory of pro-$p$ groups of infinite rank which satisfy a Poincar\'{e}-duality. We focus mainly on extensions of Demushkin groups of arbitrary rank, and conclude the existence of a "Generalized Poincar\'{e}-Duality group" of every combination of dimension, rank and dualizing module.


title: EIGEN: Expert-Informed Joint Learning Aggregation for High-Fidelity Information Extraction from Document Images

abstract: Information Extraction (IE) from document images is challenging due to the high variability of layout formats. Deep models such as LayoutLM and BROS have been proposed to address this problem and have shown promising results. However, they still require a large amount of field-level annotations for training these models. Other approaches using rule-based methods have also been proposed based on the understanding of the layout and semantics of a form such as geometric position, or type of the fields, etc. In this work, we propose a novel approach, EIGEN (Expert-Informed Joint Learning aGgrEatioN), which combines rule-based methods with deep learning models using data programming approaches to circumvent the requirement of annotation of large amounts of training data. Specifically, EIGEN consolidates weak labels induced from multiple heuristics through generative models and use them along with a small number of annotated labels to jointly train a deep model. In our framework, we propose the use of labeling functions that include incorporating contextual information thus capturing the visual and language context of a word for accurate categorization. We empirically show that our EIGEN framework can significantly improve the performance of state-of-the-art deep models with the availability of very few labeled data instances. The source code is available at https://github.com/ayushayush591/EIGEN-High-Fidelity-Extraction-Document-Images.


title: An Efficient Distributed Nash Equilibrium Seeking with Compressed and Event-triggered Communication

abstract: Distributed Nash equilibrium (NE) seeking problems for networked games have been widely investigated in recent years. Despite the increasing attention, communication expenditure is becoming a major bottleneck for scaling up distributed approaches within limited communication bandwidth between agents. To reduce communication cost, an efficient distributed NE seeking (ETC-DNES) algorithm is proposed to obtain an NE for games over directed graphs, where the communication efficiency is improved by event-triggered exchanges of compressed information among neighbors. ETC-DNES saves communication costs in both transmitted bits and rounds of communication. Furthermore, our method only requires the row-stochastic property of the adjacency matrix, unlike previous approaches that hinged on doubly-stochastic communication matrices. We provide convergence guarantees for ETC-DNES on games with restricted strongly monotone mappings and testify its efficiency with no sacrifice on the accuracy. The algorithm and analysis are extended to a compressed algorithm with stochastic event-triggered mechanism (SETC-DNES). In SETC-DNES, we introduce a random variable in the triggering condition to further enhance algorithm efficiency. We demonstrate that SETC-DNES guarantees linear convergence to the NE while achieving even greater reductions in communication costs compared to ETC-DNES. Finally, numerical simulations illustrate the effectiveness of the proposed algorithms.


title: Explicit Refinement Types

abstract: We present {\lambda}ert, a type theory supporting refinement types with explicit proofs. Instead of solving refinement constraints with an SMT solver like DML and Liquid Haskell, our system requires and permits programmers to embed proofs of properties within the program text, letting us support a rich logic of properties including quantifiers and induction. We show that the type system is sound by showing that every refined program erases to a simply-typed program, and by means of a denotational semantics, we show that every erased program has all of the properties demanded by its refined type. All of our proofs are formalised in Lean 4.


title: A measurement of the Earth's radius for high school students

abstract: In the Tuscan Archipelago (Italy) it's possible to make an approximate measurement of the Earth's radius from the Elba Island using the Pianosa Island as a ship that appears and disappears on the horizon depending on the observer's height above sea level. The necessary calculations require the mathematical skills of the first two years of high school. The measurement described here refers to a particular geographical location, but it can probably be repeated in similar situations around the world.


title: GRJointNET: Synergistic Completion and Part Segmentation on 3D Incomplete Point Clouds

abstract: Segmentation of three-dimensional (3D) point clouds is an important task for autonomous systems. However, success of segmentation algorithms depends greatly on the quality of the underlying point clouds (resolution, completeness etc.). In particular, incomplete point clouds might reduce a downstream model's performance. GRNet is proposed as a novel and recent deep learning solution to complete point clouds, but it is not capable of part segmentation. On the other hand, our proposed solution, GRJointNet, is an architecture that can perform joint completion and segmentation on point clouds as a successor of GRNet. Features extracted for the two tasks are also utilized by each other to increase the overall performance. We evaluated our proposed network on the ShapeNet-Part dataset and compared its performance to GRNet. Our results demonstrate GRJointNet can outperform GRNet on point completion. It should also be noted that GRNet is not capable of segmentation while GRJointNet is. This study1, therefore, holds a promise to enhance practicality and utility of point clouds in 3D vision for autonomous systems.


title: Multidimensional surrogate modelling for Airborne TDEM data

abstract: The computational resources required to solve the full 3D inversion of time-domain electromagnetic data are immense. To overcome the time-consuming 3D simulations, we construct a surrogate model, more precisely, a data-driven statistical model. It is trained on 3D simulation data and predicts the approximate output much faster. Given the computational cost related to the simulations, there are limitations in the number of training samples that can be generated. In addition, certain applications require a wide range of parameters to be sampled, such as the electrical conductivity parameters in a saltwater intrusion case. This chapter is therefore limited to a two-layer model. We construct a surrogate model that predicts the discrepancy between a 1D two-layered subsurface model and a deviation of the 1D assumption. The latter response is quickly computed with a semi-analytical 1D forward model. The results are encouraging even with few training samples, but obtaining a high accuracy is difficult with relatively simple data fit models. We propose to view the performance in terms of learning gain, representing the gain from the surrogate model whilst still acknowledging a residual discrepancy.


title: A quantum Otto-type heat engine with fixed frequency

abstract: In this work, we analyze an Otto-type cycle operating with a working substance composed of a quantum harmonic oscillator (QHO). Unlike other studies in which the work extraction is done by varying the frequency of the QHO and letting it thermalize with a squeezed reservoir, here we submit the QHO to a parametric pumping controlled by the squeezing parameter and let it thermalize with a thermal reservoir. We then investigate the role of the squeezing parameter in our Otto-type engine powered by parametric pumping and show that it is possible to reach the Carnot limit by arbitrarily increasing the squeezing parameter. Notably, for certain squeezing parameters $r$, e.g. $r=0.4$, the quasi-static Otto limit can be reached even at non-zero power. We also investigated the role of entropy production in the efficiency behavior during the unitary strokes, showing that positive (negative) changes in entropy production correspond to increases (decreases) in engine efficiency, as expected. Furthermore, we show that under thermal reservoirs a work extraction process that is more efficient than the Carnot engine is impossible, regardless of the quantum resource introduced via the Hamiltonian of the system.


title: Challenges and limitations of future exoplanet space imagers

abstract: The James Webb Space Telescope was not even launched yet when the Astro2020 Decadal Survey American report recommended the development of what is now called the Habitable World Observatory, also mentioned by the Voyage 2050 European report. This future space telescope, at 11 billions dollars and at least 6 m diameter, should allow, around 2040, the characterization of at least 25 exoplanets similar to Earth and orbiting around main sequence stars, with the hope of discovering one where life could have developed. This objective represents a technological challenge since it requires the design of spectro-imagers able to access very high contrasts (10^-8-10^-10) at low angular separations (smaller than 100 mas). This proceeding and the talk it is associated to address various obstacles that remain to be overcome in order to one day allow HabWorld to reach its ultimate performance.


title: Multiplicative independence in the sequence of $k$-generalized Lucas numbers

abstract: Let $(L_n^{(k)})_{n\geq 2-k}$ be the sequence of $k$-generalized Lucas numbers for some fixed integer $k\ge 2$, whose first $k$ terms are $0,\;\ldots\;,\;0,\;2,\;1$ and each term afterward is the sum of the preceding $k$ terms. In this paper, we find all pairs of the $k$-generalized Lucas numbers that are multiplicatively dependent.


title: Stable critical point of the Robin function and bubbling phenomenon for a slightly subcritical elliptic problem

abstract: In this paper, we deal with the boundary value problem $-\Delta u= |u|^{4/(n-2)}u/[\ln (e+|u|)]^\varepsilon$ in a bounded smooth domain $\Omega$ in $\mathbb{R}^n$, $n\geq 3$ with homogenous Dirichlet boundary condition. Here $\varepsilon>0$. Clapp et al. in Journal of Diff. Eq. (Vol 275) built a family of solution blowing up if $n\geq 4$ and $\varepsilon$ small enough. They conjectured in their paper the existence of sign changing solutions which blow up and blow down at the same point. Here we give a confirmative answer by proving that our slightly subcritical problem has a solution with the shape of sign changing bubbles concentrating on a stable critical point of the Robin function for $\varepsilon$ sufficiently small.


title: Direct Preference-Based Evolutionary Multi-Objective Optimization with Dueling Bandit

abstract: Optimization problems find widespread use in both single-objective and multi-objective scenarios. In practical applications, users aspire for solutions that converge to the region of interest (ROI) along the Pareto front (PF). While the conventional approach involves approximating a fitness function or an objective function to reflect user preferences, this paper explores an alternative avenue. Specifically, we aim to discover a method that sidesteps the need for calculating the fitness function, relying solely on human feedback. Our proposed approach entails conducting direct preference learning facilitated by an active dueling bandit algorithm. The experimental phase is structured into three sessions. Firstly, we assess the performance of our active dueling bandit algorithm. Secondly, we implement our proposed method within the context of Multi-objective Evolutionary Algorithms (MOEAs). Finally, we deploy our method in a practical problem, specifically in protein structure prediction (PSP). This research presents a novel interactive preference-based MOEA framework that not only addresses the limitations of traditional techniques but also unveils new possibilities for optimization problems.


title: Constraining self-interacting fermionic dark matter in admixed neutron stars using multimessenger astronomy

abstract: We investigate the structure of admixed neutron stars with a regular hadronic component and a fraction of fermionic self-interacting dark matter. Using two limiting equations of state for the dense baryonic interior, constructed from piecewise generalised polytropes, and an asymmetric self-interacting fermionic dark component, we analyse different scenarios of admixed neutron stars depending on the mass of dark fermions $m_\chi$, interaction mediators $m_\phi$, and self-interacting strengths $g$. We find that the contribution of dark matter to the masses and radii of neutron stars leads to tension with mass estimates of the pulsar J0453+1559, the least massive neutron star, and with the constraints coming from the GW170817 event. We discuss the possibilities of constraining dark matter model parameters $g$ and $y \equiv m_\chi/m_\phi$, using current existing knowledge on neutron star estimations of mass, radius, and tidal deformability, along with the accepted cosmological dark matter freeze-out values and self-interaction cross-section to mass ratio, $\sigma_\mathrm{SI}/m_\chi$, fitted to explain Bullet, Abell, and dwarf galaxy cluster dynamics. By assuming the most restrictive upper limit, $\sigma_\mathrm{SI}/m_\chi < 0.1$ cm$^2$/g, along with dark matter freeze-out range values, the allowed $g$-$y$ region is $0.01 \lesssim g \lesssim 0.1$, with $0.5 \lesssim y \lesssim 200$. For the first time, the combination of updated complementary restrictions is used to set constraints on self-interacting dark matter.


title: When Side-Channel Attacks Break the Black-Box Property of Embedded Artificial Intelligence

abstract: Artificial intelligence, and specifically deep neural networks (DNNs), has rapidly emerged in the past decade as the standard for several tasks from specific advertising to object detection. The performance offered has led DNN algorithms to become a part of critical embedded systems, requiring both efficiency and reliability. In particular, DNNs are subject to malicious examples designed in a way to fool the network while being undetectable to the human observer: the adversarial examples. While previous studies propose frameworks to implement such attacks in black box settings, those often rely on the hypothesis that the attacker has access to the logits of the neural network, breaking the assumption of the traditional black box. In this paper, we investigate a real black box scenario where the attacker has no access to the logits. In particular, we propose an architecture-agnostic attack which solve this constraint by extracting the logits. Our method combines hardware and software attacks, by performing a side-channel attack that exploits electromagnetic leakages to extract the logits for a given input, allowing an attacker to estimate the gradients and produce state-of-the-art adversarial examples to fool the targeted neural network. Through this example of adversarial attack, we demonstrate the effectiveness of logits extraction using side-channel as a first step for more general attack frameworks requiring either the logits or the confidence scores.


title: High-resolution Population Maps Derived from Sentinel-1 and Sentinel-2

abstract: Detailed population maps play an important role in diverse fields ranging from humanitarian action to urban planning. Generating such maps in a timely and scalable manner presents a challenge, especially in data-scarce regions. To address it we have developed POPCORN, a population mapping method whose only inputs are free, globally available satellite images from Sentinel-1 and Sentinel-2; and a small number of aggregate population counts over coarse census districts for calibration. Despite the minimal data requirements our approach surpasses the mapping accuracy of existing schemes, including several that rely on building footprints derived from high-resolution imagery. E.g., we were able to produce population maps for Rwanda with 100m GSD based on less than 400 regional census counts. In Kigali, those maps reach an $R^2$ score of 66% w.r.t. a ground truth reference map, with an average error of only $\pm$10 inhabitants/ha. Conveniently, POPCORN retrieves explicit maps of built-up areas and of local building occupancy rates, making the mapping process interpretable and offering additional insights, for instance about the distribution of built-up, but unpopulated areas, e.g., industrial warehouses. Moreover, we find that, once trained, the model can be applied repeatedly to track population changes; and that it can be transferred to geographically similar regions, e.g., from Uganda to Rwanda). With our work we aim to democratize access to up-to-date and high-resolution population maps, recognizing that some regions faced with particularly strong population dynamics may lack the resources for costly micro-census campaigns.


title: Extending JSON CRDTs with Move Operations

abstract: Conflict-Free Replicated Data Types (CRDTs) for JSON allow users to concurrently update a JSON document and automatically merge the updates into a consistent state. Moving a subtree in a map or reordering elements in a list within a JSON CRDT is challenging: naive merge algorithms may introduce unexpected results such as duplicates or cycles. In this paper, we introduce an algorithm for move operations in a JSON CRDT that handles the interaction with concurrent non-move operations, and uses novel optimisations to improve performance. We plan to integrate this algorithm into the Automerge CRDT library.


title: A note on rational homology vanishing theorem for hypersurfaces in aspherical manifolds

abstract: In this note, we generalize Gromov's reduction \cite{Gro20} from the aspherical conjecture to the generalized filling radius conjecture to the smooth $\mathbb Q$-homology vanishing conjecture for hypersurface. In particular, we can show that any continuous map from a closed $4$-manifold admitting positive scalar curvature to an aspherical $5$-manifold induces zero map in $H_4(\cdot,\mathbb Q)$. As a corollary, we obtain the following splitting theorem: if a complete aspherical $5$-manifold has nonnegative scalar curvature and two ends, then it splits into the Riemannian product of a closed flat manifold and the real line.


title: Organizational support for work-family life balance as an antecedent to the well-being of tourism employees in Spain

abstract: The study of work-family conflict (WFC) and work-family policies (WFP) and their impact on the well-being of employees in the tourism sector is increasingly attracting the attention of researchers. To overcome the adverse effects of WFC, managers should promote WFP, which contribute to increased well-being at work and employees' commitment. This paper aims to analyze the impact of WFP accessibility and organizational support on well-being directly and by mediating the organizational commitment that these policies might encourage. In addition, we also study whether these relationships vary according to gender and employee seniority. To test the hypotheses derived from this objective, we collected 530 valid and completed questionnaires from workers in the tourism sector in Spain, which we analyzed using structural equation modeling based on the PLS-SEM approach. The results show that human resource management must consider the importance of organizational support for workers to make WFP accessible and generate organizational commitment and well-being at work.


title: Quantum conditional mutual information of W state in non-inertial frames

abstract: Quantum conditional mutual information (QCMI) is a versatile information theoretic measure. It is used to find the amount of correlations between two qubits from the perspective of a third qubit. In this work we characterise the QCMI of tripartite W-states when some of the qubits are under accelerated motion. Here for our investigations we consider a massless fermionic field in the single mode approximation. We consider all possible situations with respect to acceleration of the qubits. From our results we observe that QCMI can either increase or decrease depending on the role of the qubit being accelerated. Finally we discuss the connection between QCMI and correlations by studying the biseparable and separable states.


title: Semiclassical analysis of two-scale electronic Hamiltonians for twisted bilayer graphene

abstract: This paper investigates the mathematical properties of independent-electron models for twisted bilayer graphene by examining the density-of-states of corresponding single-particle Hamiltonians using tools from semiclassical analysis. This study focuses on a specific atomic-scale Hamiltonian $H_{d,\theta}$ constructed from Density-Functional Theory, and a family of moir\'e-scale Hamiltonians $H_{d,K,\theta}^{\rm eff}$ containing the Bistritzer-MacDonald model. The parameter $d$ represents the interlayer distance, and $\theta$ the twist angle. It is shown that the density-of-states of $H_{d,\theta}$ and $H_{d,K,\theta}^{\rm eff}$ admit asymptotic expansions in the twist angle parameter $\epsilon:=\sin(\theta/2)$. The proof relies on a twisted version of the Weyl calculus and a trace formula for an exotic class of pseudodifferential operators suitable for the study of twisted 2D materials. We also show that the density-of-states of $H_{d,\theta}$ admits an asymptotic expansion in $\eta:=\tan(\theta/2)$ and comment on the differences between the expansions in $\epsilon$ and $\eta$.

categories: math-ph cond-mat.mes-hall math.MP math.SP


title: Shadow: A Novel Loss Function for Efficient Training in Siamese Networks

abstract: Despite significant recent advances in similarity detection tasks, existing approaches pose substantial challenges under memory constraints. One of the primary reasons for this is the use of computationally expensive metric learning loss functions such as Triplet Loss in Siamese networks. In this paper, we present a novel loss function called Shadow Loss that compresses the dimensions of an embedding space during loss calculation without loss of performance. The distance between the projections of the embeddings is learned from inputs on a compact projection space where distances directly correspond to a measure of class similarity. Projecting on a lower-dimension projection space, our loss function converges faster, and the resulting classified image clusters have higher inter-class and smaller intra-class distances. Shadow Loss not only reduces embedding dimensions favoring memory constraint devices but also consistently performs better than the state-of-the-art Triplet Margin Loss by an accuracy of 5\%-10\% across diverse datasets. The proposed loss function is also model agnostic, upholding its performance across several tested models. Its effectiveness and robustness across balanced, imbalanced, medical, and non-medical image datasets suggests that it is not specific to a particular model or dataset but demonstrates superior performance consistently while using less memory and computation.


title: Few-femtosecond electronic and structural rearrangements of CH$_4^+$ driven by the Jahn-Teller effect

abstract: The Jahn-Teller effect (JTE) is central to the understanding of the physical and chemical properties of a broad variety of molecules and materials. Whereas the manifestations of the JTE on stationary properties of matter are relatively well studied, the study of JTE-induced dynamics is still in its infancy, largely owing to its ultrafast and non-adiabatic nature. For example, the time scales reported for the distortion of CH$_4^+$ from the initial $T_{\rm d}$ geometry to a nominal $C_{\rm 2v}$ relaxed structure range from 1.85~fs over 10$\pm$2~fs to 20$\pm$7~fs. Here, by combining element-specific attosecond transient-absorption spectroscopy and quantum-dynamics simulations, we show that the initial electronic relaxation occurs within 5~fs and that the subsequent nuclear dynamics are dominated by the $Q_2$ scissoring and $Q_1$ symmetric stretching modes, which dephase in 41$\pm$10~fs and 13$\pm$3~fs, respectively. Significant structural relaxation is found to take place only along the e-symmetry $Q_2$ mode. These results demonstrate that CH$_4^+$ created by ionization of CH$_4$ is best thought of as a highly fluxional species that possesses a long-time-averaged vibrational distribution centered around a $D_{\rm 2d}$ structure. The methods demonstrated in our work provide guidelines for the understanding of Jahn-Teller driven non-adiabatic dynamics in other, more complex systems.


title: On the Hyperparameter Loss Landscapes of Machine Learning Models: An Exploratory Study

abstract: Previous efforts on hyperparameter optimization (HPO) of machine learning (ML) models predominately focus on algorithmic advances, yet little is known about the topography of the underlying hyperparameter (HP) loss landscape, which plays a fundamental role in governing the search process of HPO. While several works have conducted fitness landscape analysis (FLA) on various ML systems, they are limited to properties of isolated landscape without interrogating the potential structural similarities among them. The exploration of such similarities can provide a novel perspective for understanding the mechanism behind modern HPO methods, but has been missing, possibly due to the expensive cost of large-scale landscape construction, and the lack of effective analysis methods. In this paper, we mapped 1,500 HP loss landscapes of 6 representative ML models on 63 datasets across different fidelity levels, with 11M+ configurations. By conducting exploratory analysis on these landscapes with fine-grained visualizations and dedicated FLA metrics, we observed a similar landscape topography across a wide range of models, datasets, and fidelities, and shed light on several central topics in HPO.


title: Maurer-Cartan characterization and cohomology of compatible LieDer and AssDer pairs

abstract: A LieDer pair (respectively, an AssDer pair) is a Lie algebra equipped with a derivation (respectively, an associative algebra equipped with a derivation). A couple of LieDer pair structures on a vector space are called Compatible LieDer pairs (respectively, compatible AssDer pairs) if any linear combination of the underlying structure maps is still a LieDer pair (respectively, AssDer pair) structure. In this paper, we study compatible AssDer pairs, compatible LieDer pairs, and their cohomologies. We also discuss about other compatible structures such as compatible dendriform algebras with derivations, compatible zinbiel algebras with derivations, and compatible pre-LieDer pairs. We describe a relationship amongst these compatible structures using specific tools like Rota-Baxter operators, endomorphism operators, and the commutator bracket.


title: Vacuum levitation and motion control on chip

abstract: Levitation in vacuum has evolved into a versatile technique which has already benefited diverse scientific directions, from force sensing and thermodynamics to material science and chemistry. It also holds great promises of advancing the study of quantum mechanics in the unexplored macroscopic regime. While most current levitation platforms are complex and bulky, miniaturization is sought to gain robustness and facilitate their integration into confined settings, such as cryostats or portable devices. Integration on chip is also anticipated to enhance the control over the particle motion through a more precise engineering of optical and electric fields. As a substantial milestone towards this goal, we present here levitation and motion control in high vacuum of a silica nanoparticle at the surface of a hybrid optical-electrostatic chip. By combining fiber-based optical trapping and sensitive position detection with cold damping through planar electrodes, we cool the particle motion to a few hundred phonons. Our results pave the way to the next generation of integrated levitation platforms combining integrated photonics and nanophotonics with engineered electric potentials, towards complex state preparation and read out.


title: Light propagation around a Kerr-like black hole immersed in an inhomogeneous anisotropic plasma in Rastall gravity I: Analytical solutions to the equations of motion

abstract: In this paper, we explore the behavior of light ray trajectories in the exterior geometry of a rotating black hole within the Rastall theory of gravity, which is surrounded by an inhomogeneous anisotropic electronic cold plasma. By specifying the plasma's frequency profile, we derive fully analytical solutions for the temporal evolution of spacetime coordinates using elliptic integrals and Jacobi elliptic functions. These solutions illustrate various possible orbits. Throughout the study, we compare results with the vacuum case, emphasizing the influence of the plasma. Additionally, we utilize the analytical solutions to establish the lens equation for the considered spacetime. The investigation also addresses the significance of spherical photon orbits in critical trajectories, by presenting several examples.


title: Fabrication and extreme micromechanics of additive metal microarchitectures

abstract: The mechanical performance of metallic metamaterials with 3-dimensional solid frames is typically a combination of the geometrical effect ("architecture") and the characteristic size effects of the base material ("microstructure"). In this study, for the first time, the temperature- and rate-dependent mechanical response of copper microlattices has been investigated. The microlattices were fabricated via a localized electrodeposition in liquid (LEL) process which enables high-precision additive manufacturing of metal at the micro-scale. The metal microlattices possess a unique microstructure with micron sized grains that are rich with randomly oriented growth twins and near-ideal nodal connectivity. Importantly, copper microlattices exhibited unique temperature (-150 and 25 degree C) and strain rate (0.001~100 s-1) dependent deformation behavior during in situ micromechanical testing. Systematic compression tests of fully dense copper micropillars, equivalent in diameter and length to the struts of the microlattice at comparable extreme loading conditions, allow us to investigate the intrinsic deformation mechanism of copper. Combined with the post-mortem microstructural analysis, substantial shifts in deformation mechanisms depending on the temperature and strain rate were revealed. On the one hand, at room temperature (25 degree C), dislocation slip based plastic deformation occurs and leads to a localized deformation of the micropillars. On the other hand, at cryogenic temperature (-150 degree C), mechanical twinning occurs and leads to relatively homogeneous deformation of the micropillars. Based on the intrinsic deformation mechanisms of copper, the temperature and strain rate dependent deformation behavior of microlattices could be explained.


title: An efficient mixed finite element method for nonlinear magnetostatics and quasistatics

abstract: We consider systems of nonlinear magnetostatics and quasistatics that typically arise in the modeling and simulation of electric machines. The nonlinear problems, eventually obtained after time discretization, are usually solved by employing a vector potential formulation. In the relevant two-dimensional setting, a discretization can be obtained by H1-conforming finite elements. We here consider an alternative formulation based on the H-field which leads to a nonlinear saddlepoint problem. After commenting on the unique solvability, we study the numerical approximation by H(curl)-conforming finite elements and present the main convergence results. A particular focus is put on the efficient solution of the linearized systems arising in every step of the nonlinear Newton solver. Via hybridization, the linearized saddlepoint systems can be transformed into linear elliptic problems, which can be solved with similar computational complexity as those arising in the vector or scalar potential formulation. In summary, we can thus claim that the mixed finite element approach based on the $H$-field can be considered a competitive alternative to the standard vector or scalar potential formulations for the solution of problems in nonlinear magneto-quasistatics.


title: Quantum Simulation of Bound-State-Enhanced Quantum Metrology

abstract: Quantum metrology explores quantum effects to improve the measurement accuracy of some physical quantities beyond the classical limit. However, due to the interaction between the system and the environment, the decoherence can significantly reduce the accuracy of the measurement. Many methods have been proposed to restore the accuracy of the measurement in the long-time limit. Recently, it has been found that the bound state can assist the error-free measurement and recover the $t^{-1}$ scaling [K. Bai, Z. Peng, H. G. Luo, and J. H. An, Phys. Rev. Lett. 123, 040402 (2019)]. Here, by using $N$-qubits, we propose a method to simulate the open quantum dynamics of the hybrid system including one atom and coupled resonators. We find that the error of the measurement can vanish as the time increases due to the existence of the bound state. By both analytical and numerical simulations, we prove the $t^{-1}$ scaling of the measurement error can be recovered when there is a bound state in the hybrid system. Interestingly, we observe that there are perfect oscillations which can be used for the evaluation of the atomic transition frequency. For a finite-$N$, the duration of the perfect oscillations doubles as one more qubit is involved.


title: The fourth positive element in the greedy $B_h$-set

abstract: For $h \geq 1$, a $B_h$-set is a set of integers such that every integer $n$ has at most one representation in the form $n = a_{i_1} + \cdots + a_{i_h}$, where $a_{i_r} \in A$ for all $r = 1,\ldots, h$ and $a_{i_1} \leq \ldots \leq a_{i_h}$. The greedy $B_h$-set is the infinite set of nonnegative integers $\{a_0(h), a_1(h), a_2(h), \ldots \}$ constructed as follows: If $a_0(h) = 0$ and $\{a_0(h), a_1(h), a_2(h), \ldots, a_k(h) \}$ is a $B_h$-set, then $a_{k+1}(h)$ is the least positive integer such that $\{a_0(h), a_1(h), a_2(h), \ldots, a_k(h), a_{k+1}(h) \}$ is a $B_h$-set. Then $a_1(h) = 1$, $a_2(h) = h+1$, and $a_3(h) = h^2+h+1$ for all $h$. This paper proves that $a_4(h)$, the fourth term of the greedy $B_h$-set is $\left( h^3 + 3h^2 + 3h + 1\right) /2$ if $h$ is odd and $\left( h^3 + 2h^2 + 3h + 2\right) /2$ if $h$ is even.


title: Invariable generation of certain branch groups

abstract: We investigate invariable generation among key examples of branch groups. In particular, we prove that all generating sets of the torsion Grigorchuk groups, of the branch Grigorchuk-Gupta-Sidki groups and of the torsion multi-EGS groups (which are natural generalisations of the Grigorchuk-Gupta-Sidki groups) are invariable generating sets. Furthermore, for the first Grigorchuk group and the torsion Grigorchuk-Gupta-Sidki groups, every finitely generated subgroup has a finite invariable generating set. We also show that a branch Grigorchuk-Gupta-Sidki group is almost $\frac32$-generated, that the diameter of its generating subgraph $\Delta(G)$ is 2 and its total domination number is 2. Some of our results apply to groups for which every maximal subgroup is normal. This class, known as $\mathcal{MN}$, includes all nilpotent groups.


title: Algorithm-agnostic low-rank approximation of operator monotone matrix functions

abstract: Low-rank approximation of a matrix function, $f(A)$, is an important task in computational mathematics. Most methods require direct access to $f(A)$, which is often considerably more expensive than accessing $A$. Persson and Kressner (SIMAX 2023) avoid this issue for symmetric positive semidefinite matrices by proposing funNystr\"om, which first constructs a Nystr\"om approximation to $A$ using subspace iteration, and then uses the approximation to directly obtain a low-rank approximation for $f(A)$. They prove that the method yields a near-optimal approximation whenever $f$ is a continuous operator monotone function with $f(0) = 0$. We significantly generalize the results of Persson and Kressner beyond subspace iteration. We show that if $\widehat{A}$ is a near-optimal low-rank Nystr\"om approximation to $A$ then $f(\widehat{A})$ is a near-optimal low-rank approximation to $f(A)$, independently of how $\widehat{A}$ is computed. Further, we show sufficient conditions for a basis $Q$ to produce a near-optimal Nystr\"om approximation $\widehat{A} = AQ(Q^T AQ)^{\dagger} Q^T A$. We use these results to establish that many common low-rank approximation methods produce near-optimal Nystr\"om approximations to $A$ and therefore to $f(A)$.


title: Creating and Leveraging a Synthetic Dataset of Cloud Optical Thickness Measures for Cloud Detection in MSI

abstract: Cloud formations often obscure optical satellite-based monitoring of the Earth's surface, thus limiting Earth observation (EO) activities such as land cover mapping, ocean color analysis, and cropland monitoring. The integration of machine learning (ML) methods within the remote sensing domain has significantly improved performance on a wide range of EO tasks, including cloud detection and filtering, but there is still much room for improvement. A key bottleneck is that ML methods typically depend on large amounts of annotated data for training, which is often difficult to come by in EO contexts. This is especially true when it comes to cloud optical thickness (COT) estimation. A reliable estimation of COT enables more fine-grained and application-dependent control compared to using pre-specified cloud categories, as is commonly done in practice. To alleviate the COT data scarcity problem, in this work we propose a novel synthetic dataset for COT estimation, that we subsequently leverage for obtaining reliable and versatile cloud masks on real data. In our dataset, top-of-atmosphere radiances have been simulated for 12 of the spectral bands of the Multispectral Imagery (MSI) sensor onboard Sentinel-2 platforms. These data points have been simulated under consideration of different cloud types, COTs, and ground surface and atmospheric profiles. Extensive experimentation of training several ML models to predict COT from the measured reflectivity of the spectral bands demonstrates the usefulness of our proposed dataset. In particular, by thresholding COT estimates from our ML models, we show on two satellite image datasets (one that is publicly available, and one which we have collected and annotated) that reliable cloud masks can be obtained. The synthetic data, the collected real dataset, code and models have been made publicly available at https://github.com/aleksispi/ml-cloud-opt-thick.


title: Incompleteness of boundedly axiomatizable theories

abstract: Our main result (Theorem A) shows the incompleteness of any consistent sequential theory T formulated in a finite language such that T is axiomatized by a collection of sentences of bounded quantifier-alternation-depth. Our proof employs an appropriate reduction mechanism to rule out the possibility of completeness by simply invoking Tarski's Undefinability of Truth theorem. We also use the proof strategy of Theorem A to obtain other incompleteness results (as in Theorems A+; B and B+).


title: Cosmic metallicity evolution of Active Galactic Nuclei: Implications for optical diagnostic diagrams

abstract: We analyze the validity of optical diagnostic diagrams relying on emission-lines ratios and in the context of classifying Active Galactic Nuclei (AGNs) according to the cosmic metallicity evolution in the redshift range 0 < z < 11.2. In this regard, we fit the results of chemical evolution models (CEMs) to the radial gradients of the N/O abundances ratio derived through direct estimates of electron temperatures (Te-method) in a sample of four local spiral galaxies. This approach allows us to select representative CEMs and extrapolate the radial gradients to the nuclear regions of the galaxies in our sample, inferring in this way the central N/O and O/H abundances. The nuclear abundance predictions for theoretical galaxies from the selected CEMs, at distinct evolutionary stages, are used as input parameters in AGN photoionization models built with the Cloudy code. We found that standard BPT diagnostic diagrams are able to classify AGNs with oxygen abundances 12+logO/H > 8.0 [(Z/Zsolar) > 0.2) preferably found at redshift z > 4. On the other hand, the HeII4685/Hbeta versus [N II]6584/Halpha diagram produces a reliable AGN classification independent of the evolutionary stage of these objects.


title: Algebrodynamics: Shear-Free Null Congruences and New Types of Electromagnetic Fields

abstract: We briefly present our version of noncommutative analysis over matrix algebras, the algebra of biquaternions ($\mathbb B$) in particular. We demonstrate that any $\mathbb B$-differentiable function gives rise to a null shear-free congruence (NSFC) on the $\mathbb B$-vector space $\mathbb{C}\bf M$ and on its Minkowski subspace $\bf M$. Making use of the Kerr--Penrose correspondence between NSFC and twistor functions, we obtain the general solution to the equations of $\mathbb B$-differentiability and demonstrate that the source of an NSFC is, generically, a world sheet of a string in $\mathbb {C}\bf M$. Any singular point, caustic of an NSFC, is located on the complex null cone of a point on the generating string. Further we describe symmetries and associated gauge and spinor fields, with two electromagnetic types among them. A number of familiar and novel examples of NSFC and their singular loci are described. Finally, we describe a conservative algebraic dynamics of a set of identical particles on the ``Unique Worldline'' and discuss the connections of the theory with the Feynman--Wheeler concept of ``One-Electron Universe''


title: Continual Learning of Diffusion Models with Generative Distillation

abstract: Diffusion models are powerful generative models that achieve state-of-the-art performance in image synthesis. However, training them demands substantial amounts of data and computational resources. Continual learning would allow for incrementally learning new tasks and accumulating knowledge, thus enabling the reuse of trained models for further learning. One potentially suitable continual learning approach is generative replay, where a copy of a generative model trained on previous tasks produces synthetic data that are interleaved with data from the current task. However, standard generative replay applied to diffusion models results in a catastrophic loss in denoising capabilities. In this paper, we propose generative distillation, an approach that distils the entire reverse process of a diffusion model. We demonstrate that our approach substantially improves the continual learning performance of generative replay with only a modest increase in the computational costs.


title: Understanding the Vulnerability of CLIP to Image Compression

abstract: CLIP is a widely used foundational vision-language model that is used for zero-shot image recognition and other image-text alignment tasks. We demonstrate that CLIP is vulnerable to change in image quality under compression. This surprising result is further analysed using an attribution method-Integrated Gradients. Using this attribution method, we are able to better understand both quantitatively and qualitatively exactly the nature in which the compression affects the zero-shot recognition accuracy of this model. We evaluate this extensively on CIFAR-10 and STL-10. Our work provides the basis to understand this vulnerability of CLIP and can help us develop more effective methods to improve the robustness of CLIP and other vision-language models.


title: PrivateLoRA For Efficient Privacy Preserving LLM

abstract: End users face a choice between privacy and efficiency in current Large Language Model (LLM) service paradigms. In cloud-based paradigms, users are forced to compromise data locality for generation quality and processing speed. Conversely, edge device paradigms maintain data locality but fail to deliver satisfactory performance. In this work, we propose a novel LLM service paradigm that distributes privacy-sensitive computation on edge devices and shared computation in the cloud. Only activations are transmitted between the central cloud and edge devices to ensure data locality. Our core innovation, PrivateLoRA, addresses the challenging communication overhead by exploiting the low rank of residual activations, achieving over 95% communication reduction. Consequently, PrivateLoRA effectively maintains data locality and is extremely resource efficient. Under standard 5G networks, PrivateLoRA achieves throughput over 300% of device-only solutions for 7B models and over 80% of an A100 GPU for 33B models. PrivateLoRA also provides tuning performance comparable to LoRA for advanced personalization. Our approach democratizes access to state-of-the-art generative AI for edge devices, paving the way for more tailored LLM experiences for the general public. To our knowledge, our proposed framework is the first efficient and privacy-preserving LLM solution in the literature.


title: Bias and Multiscale Correction Methods for Variational State Estimation Algorithms

abstract: The integration of experimental data into mathematical and computational models is crucial for enhancing their predictive power in real-world scenarios. However, the performance of data assimilation algorithms can be significantly degraded when measurements are corrupted by biased noise, altering the signal magnitude, or when the system dynamics lack smoothness, such as in the presence of fast oscillations or discontinuities. This paper focuses on variational state estimation using the so-called Parameterized Background Data Weak method, which relies on a parameterized background by a set of constraints, enabling state estimation by solving a minimization problem on a reduced-order background model, subject to constraints imposed by the input measurements. To address biased noise in observations, a modified formulation is proposed, incorporating a correction mechanism to handle rapid oscillations by treating them as slow-decaying modes based on a two-scale splitting of the classical reconstruction algorithm. The effectiveness of the proposed algorithms is demonstrated through various examples, including discontinuous signals and simulated Doppler ultrasound data.


title: Counterfactual Sensitivity in Quantitative Trade and Spatial Models

abstract: Counterfactuals in quantitative trade and spatial models are functions of the current state of the world and the model parameters. Common practice treats the current state of the world as perfectly observed, but there is good reason to believe that it is measured with error. This paper provides tools for quantifying uncertainty about counterfactuals when the current state of the world is measured with error. I recommend an empirical Bayes approach to uncertainty quantification, and show that it is both practical and theoretically justified. I apply the proposed method to the settings in Adao, Costinot, and Donaldson (2017) and Allen and Arkolakis (2022) and find non-trivial uncertainty about counterfactuals.


title: Multivariate Scenario Generation of Day-Ahead Electricity Prices using Normalizing Flows

abstract: Trading on the day-ahead electricity markets requires accurate information about the realization of electricity prices and the uncertainty attached to the predictions. Deriving accurate forecasting models presents a difficult task due to the day-ahead price's non-stationarity resulting from changing market conditions, e.g., due to changes resulting from the energy crisis in 2021. We present a probabilistic forecasting approach for day-ahead electricity prices using the fully data-driven deep generative model called normalizing flow. Our modeling approach generates full-day scenarios of day-ahead electricity prices based on conditional features such as residual load forecasts. Furthermore, we propose extended feature sets of prior realizations and a periodic retraining scheme that allows the normalizing flow to adapt to the changing conditions of modern electricity markets. Our results highlight that the normalizing flow generates high-quality scenarios that reproduce the true price distribution and yield accurate forecasts. Additionally, our analysis highlights how our improvements towards adaptations in changing regimes allow the normalizing flow to adapt to changing market conditions and enable continued sampling of high-quality day-ahead price scenarios.


title: On $\mathfrak{P}$-adic continued fractions with extraneous denominators: some explicit finiteness results

abstract: Let $K$ be a number field. We show that, up to allowing a finite set of denominators in the partial quotients, it is possible to define algorithms for $\mathfrak P$-adic continued fractions satisfying the finiteness property on $K$ for every prime ideal $\mathfrak P$ of sufficiently large norm. This provides, in particular, a new algorithmic approach to the construction of division chains in number fields.


title: Two-dimensional coherent spectrum of high-spin models via a quantum computing approach

abstract: We present and benchmark a quantum computing approach to calculate the two-dimensional coherent spectrum (2DCS) of high-spin models. Our approach is based on simulating their real-time dynamics in the presence of several magnetic field pulses, which are spaced in time. We utilize the adaptive variational quantum dynamics simulation (AVQDS) algorithm for the study due to its compact circuits, which enables simulations over sufficiently long times to achieve the required resolution in frequency space. Specifically, we consider an antiferromagnetic quantum spin model that incorporates Dzyaloshinskii-Moriya interactions and single-ion anisotropy. The obtained 2DCS spectra exhibit distinct peaks at multiples of the magnon frequency, arising from transitions between different eigenstates of the unperturbed Hamiltonian. By comparing the one-dimensional coherent spectrum with 2DCS, we demonstrate that 2DCS provides a higher resolution of the energy spectrum. We further investigate how the quantum resources scale with the magnitude of the spin using two different binary encodings of the high-spin operators: the standard binary encoding and the Gray code. At low magnetic fields both encodings require comparable quantum resources, but at larger field strengths the Gray code is advantageous. Numerical simulations for spin models with increasing number of sites indicate a polynomial system-size scaling for quantum resources. Lastly, we compare the numerical 2DCS with experimental results on a rare-earth orthoferrite system. The observed strength of the magnonic high-harmonic generation signals in the 2DCS of the quantum high-spin model aligns well with the experimental data, showing significant improvement over the corresponding mean-field results.


title: Automorphisms of relatively hyperbolic groups and the Farrell--Jones Conjecture

abstract: We prove the fibred Farrell--Jones Conjecture (FJC) in $A$-, $K$-, and $L$-theory for a large class of suspensions of relatively hyperbolic groups, as well as for all suspensions of one-ended hyperbolic groups. We deduce two applications: (1) FJC for the automorphism group of a one-ended group hyperbolic relative to virtually polycyclic subgroups; (2) FJC is closed under extensions of FJC groups with kernel in a large class of relatively hyperbolic groups. Along the way we prove a number of results about JSJ decompositions of relatively hyperbolic groups which may be of independent interest.


title: AdapterFL: Adaptive Heterogeneous Federated Learning for Resource-constrained Mobile Computing Systems

abstract: Federated Learning (FL) enables collaborative learning of large-scale distributed clients without data sharing. However, due to the disparity of computing resources among massive mobile computing devices, the performance of traditional homogeneous model-based Federated Learning (FL) is seriously limited. On the one hand, to achieve model training in all the diverse clients, mobile computing systems can only use small low-performance models for collaborative learning. On the other hand, devices with high computing resources cannot train a high-performance large model with their insufficient raw data. To address the resource-constrained problem in mobile computing systems, we present a novel heterogeneous FL approach named AdapterFL, which uses a model reassemble strategy to facilitate collaborative training of massive heterogeneous mobile devices adaptively. Specifically, we select multiple candidate heterogeneous models based on the computing performance of massive mobile devices and then divide each heterogeneous model into two partitions. By reassembling the partitions, we can generate models with varied sizes that are combined by the partial parameters of the large model with the partial parameters of the small model. Using these reassembled models for FL training, we can train the partial parameters of the large model using low-performance devices. In this way, we can alleviate performance degradation in large models due to resource constraints. The experimental results show that AdapterFL can achieve up to 12\% accuracy improvement compared to the state-of-the-art heterogeneous federated learning methods in resource-constrained scenarios.


title: The Thirring Model in 2+1$d$ with Optimised Domain Wall Fermions

abstract: After briefly reviewing the potential for the $N$-flavor Thirring model, formulated with reducible fermions in 2+1$d$, to exhibit a strongly-coupled UV-stable fixed point where U($2N$) symmetry is spontaneously broken by a fermion bilinear condensate, we present recent lattice studies using the Domain Wall Fermion formulation. In particular, we focus on possible improved methods for extracting the necessary $L_s\to\infty$ limit, where $L_s$ is the wall separation, through a combination of partial quenching (ie. $L_s({\rm valence})>L_s({\rm sea})$), replacing the Shamir kernel with the Wilson kernel in the definition of the overlap operator, and improved estimation of the signum function using the Zolotarev approximation. Equation of state fits for critical exponents on $12^3$ systems yield encouraging agreement between distinct approaches, consistent with universal scaling, while contradicting earlier fits based on a naive extrapolation. The new results are also in tension with old results obtained with staggered fermions.


title: Timing relationships and resulting communications challenges in relativistic travel

abstract: Communications to and from a spacecraft undertaking launch-landing interstellar travel at near light speed faces significant challenges. Photon-based communication is significantly impacted by large photon propagation delay and relativistic time dilation. The timing of communications by photon transfer, as measured specifically by local clocks at origin and destination and aboard spacecraft, is analyzed and illustrated for concrete mission scenarios. These include a spacecraft experiencing indefinite constant self-acceleration, and a launch-landing mission, in which a spacecraft experiences constant acceleration for the first half of its cruise phase and a like deceleration for the second half. The origin and destination are assumed to be at rest within a common inertial frame with a wide range of fixed distances separating them. Several typical communication modes are considered, including one-way messaging, two-way message query with an expected response, and the one-way streaming of long program material such as a podcast or video. The local-clock relative timing experienced by the communicating entities including clock images (relation of transmit and receive clocks in one-way communication), the query-response latency (the elapsed time between a query message and reception of a message in response), and the time warping of a streaming program (nonlinear stretching or shrinking of the time axis) are included. In particular, large query-response latency, except for a short interval following launch or before landing, is a severe limit on remote control and social interaction. When photons must travel in the same direction as the spacecraft, communication blackouts strongly limit the periods of time during which communication is possible, and restrict the opportunities for both one-way and two-way communication.


title: Can extended bodies follow geodesic trajectories?

abstract: We provide an extension of the analysis on whether an extended test body can follow a geodesic trajectory given by Mukherjee, S., Lukes-Gerakopoulos, G. and Nayak, R. K. (2022), Extended bodies moving on geodesic trajectories, General Relativity and Gravitation, 54(9), 113, arXiv: 1907.05659. In particular, we consider a test body in a pole-dipole-quadrupole approximation under the Ohashi-Kyrian-Semer\'{a}k spin supplementary condition moving in the Schwarzschild and Kerr background. Using orbital setups under which a pole-dipole body can follow geodesic motion, we explore under which conditions this can take place also in the pole-dipole-quadrupole approximation, when only the mass quadrupole is taken into account. For our analysis we employ the assumption that the dipole contribution and the quadrupole contribution vanish independently.


title: An upper limit on the spins of merging binary black holes formed through binary evolution

abstract: As gravitational wave detectors improve, observations of black hole (BH) mergers will provide the joint distribution of their masses and spins. This will be a critical benchmark to validate formation scenarios. Merging binary BHs formed through isolated binary evolution require both components to be stripped of their hydrogen envelopes before core-collapse. The rotation rates of such stripped stars are constrained by their surface critical rotation, restricting their angular momentum content at core-collapse. We use stripped star models at low metallicities ($Z_\odot/10$, $Z_\odot/50$ and $Z_\odot/250$) to determine the spins of BHs produced by critically rotating stellar progenitors. To study how such progenitors can arise, we consider their formation through chemically homogeneous evolution (CHE). We use a semianalytical model to study the final spins of CHE binaries, and compare our results against available detailed population synthesis models. We find that above BH masses of $\simeq 25M_\odot$, the dimensionless spin of critically rotating stripped stars ($a = Jc/(GM^2$)) is below unity. This results in an exclusion region at high chirp masses and effective spins that cannot be populated by binary evolution. CHE can produce binaries where both BHs hit this limit, producing a pile-up at the boundary of the excluded region. Highly spinning BHs arise from very low-metallicity CHE systems with short delay times, which merge at higher redshifts. On the other hand, the contribution of CHE to merging binary BHs in the third observing run of the LVK collaboration is expected to be dominated by systems with low spins ($\chi_\mathrm{eff}<0.5$) which merge near redshift zero. Owing to its higher projected sensitivity and runtime, the fourth observing run of the LVK collaboration can potentially place constraints on the high spin population and the existence of a limit set by critical rotation.

categories: astro-ph.HE astro-ph.GA astro-ph.SR gr-qc


title: Optimized Covariance Design for AB Test on Social Network under Interference

abstract: Online A/B tests have become increasingly popular and important for social platforms. However, accurately estimating the global average treatment effect (GATE) has proven to be challenging due to network interference, which violates the Stable Unit Treatment Value Assumption (SUTVA) and poses a great challenge to experimental design. Existing network experimental design research was mostly based on the unbiased Horvitz-Thompson (HT) estimator with substantial data trimming to ensure unbiasedness at the price of high resultant estimation variance. In this paper, we strive to balance the bias and variance in designing randomized network experiments. Under a potential outcome model with 1-hop interference, we derive the bias and variance of the standard HT estimator and reveal their relation to the network topological structure and the covariance of the treatment assignment vector. We then propose to formulate the experimental design problem to optimize the covariance matrix of the treatment assignment vector to achieve the bias and variance balance by minimizing a well-crafted upper bound of the mean squared error (MSE) of the estimator, which allows us to decouple the unknown interference effect component and the experimental design component. An efficient projected gradient descent algorithm is presented to implement the desired randomization scheme. Finally, we carry out extensive simulation studies 2 to demonstrate the advantages of our proposed method over other existing methods in many settings, with different levels of model misspecification.


title: On the continuity of the projection mapping from strategic measures to occupation measures in absorbing Markov decision processes

abstract: In this paper, we prove the following assertion for an absorbing Markov decision process (MDP) with the given initial distribution, which is also assumed to be semi-continuous: the continuity of the projection mapping from the space of strategic measures to the space of occupation measures, both endowed with their weak topologies, is equivalent to the MDP model being uniformly absorbing. An example demonstrates, among other interesting scenarios, that for an absorbing (but not uniformly absorbing) semi-continuous MDP with the given initial distribution, the space of occupation measures can fail to be compact in the weak topology.


title: An Improved Method for Quantum Matrix Multiplication

abstract: Following the celebrated quantum algorithm for solving linear equations (so-called HHL algorithm), Childs, Kothari and Somma [SIAM Journal on Computing, {\bf 46}: 1920, (2017)] provided an approach to solve a linear system of equations with exponentially improved dependence on precision. In this note, we aim to complement such a result for applying a matrix to some quantum state, based upon their Chebyshev polynomial approach. A few examples that motivate this application are included and we further discuss an application of this improved matrix application algorithm explicitly with an efficient quantum procedure.


title: Physics Informed Neural Network Framework for Unsteady Discretized Reduced Order System

abstract: This work addresses the development of a physics-informed neural network (PINN) with a loss term derived from a discretized time-dependent reduced-order system. In this work, first, the governing equations are discretized using a finite difference scheme (whereas, any other discretization technique can be adopted), then projected on a reduced or latent space using the Proper Orthogonal Decomposition (POD)-Galerkin approach and next, the residual arising from discretized reduced order equation is considered as an additional loss penalty term alongside the data-driven loss term using different variants of deep learning method such as Artificial neural network (ANN), Long Short-Term Memory based neural network (LSTM). The LSTM neural network has been proven to be very effective for time-dependent problems in a purely data-driven environment. The current work demonstrates the LSTM network's potential over ANN networks in physics-informed neural networks (PINN) as well. The potential of using discretized governing equations instead of continuous form lies in the flexibility of input to the PINN. Different sizes of data ranging from small, medium to big datasets are used to assess the potential of discretized-physics-informed neural networks when there is very sparse or no data available. The proposed methods are applied to a pitch-plunge airfoil motion governed by rigid-body dynamics and a one-dimensional viscous Burgers' equation. The current work also demonstrates the prediction capability of various discretized-physics-informed neural networks outside the domain where the data is available or governing equation-based residuals are minimized.


title: Discrepancies in the Properties of a Coronal Mass Ejection on Scales of 0.03~au as Revealed by Simultaneous Measurements at Solar Orbiter and Wind: The 2021 November 3--5 Event

abstract: Simultaneous in situ measurements of coronal mass ejections (CMEs), including both plasma and magnetic field, by two spacecraft in radial alignment have been extremely rare. Here, we report on one such CME measured by Solar Orbiter (SolO) and Wind on 2021 November 3--5, while the spacecraft were radially separated by a heliocentric distance of 0.13 au and angularly by only 2.2{\deg}. We focus on the magnetic cloud (MC) part of the CME. We find notable changes in the R and N magnetic field components and in the speed profiles inside the MC between SolO and Wind. We observe a greater speed at the spacecraft further away from the Sun without any clear compression signatures. Since spacecraft are close to each other and computing fast magnetosonic wave speed inside the MC we rule out temporal evolution as the reason on the observed differences suggesting that spatial variations over 2.2{\deg} of the MC structure are at the heart of the observed discrepancies. Moreover, using shock properties at SolO, we forecast an arrival time 2h30 too late for a shock that is just 5h31 away hours from Wind. Predicting the north-south component of the magnetic field at Wind from SolO measurements leads to a relative error of 55 %. These results show that even angular separations as low as 2.2{\deg} (or 0.03 au in arclength) between spacecraft can have a large impact on the observed CME properties, rising up the issue of the resolutions of current CME models and potentially affecting our forecasting capabilities.


title: Einstein-Gauss-Bonnet gravity: Phase transitions and micro-structure in an FLRW background

abstract: For an FLRW model, thermodynamic phase transitions are investigated in the Einstein-Gauss-Bonnet gravity framework. Using the work density, the equation of state is derived, and the criticality conditions are employed to determine the critical points where possible phase transitions occur. The appearance of phase transitions strongly depends upon the space-time dimension $n$. In this concern, for $n=5$, there is a first-order phase transition, a liquid-gas van der Waals-like phase transition, where the Gibbs free energy presents a swallowtail behavior. On the other hand, for $n=6$, the system does not exhibit a first-order van der Waals-like phase transition. In such a case, the Gibbs free energy presents a cusp with stable and unstable branches. For the present study, the mentioned phenomena are present for an expanding cosmology, where the matter distribution filling the Universe corresponds to a speculative matter distribution with an equation of state parameter greater than one. Interestingly, there are no phase transitions for dimensions higher than $n=6$, nor for expanding or contracting cosmological scenarios. To gain more insights into the system, the micro-structure is analyzed using thermodynamic geometry to quantify the normalized scalar curvature. This invariant shows that a repulsive interaction dominates the phase transition region, while the region where the system has a gas-like behavior attractive interaction prevails. Besides, the critical exponents have been obtained, coinciding their numerical values with the universal ones.


title: Seven white dwarfs with circumstellar gas discs I: white dwarf parameters and accreted planetary abundances

abstract: Observations of planetary material polluting the atmospheres of white dwarfs are an important probe of the bulk composition of exoplanetary material. Medium- and high-resolution optical and ultraviolet spectroscopy of seven white dwarfs with known circumstellar dust and gas emission are presented. Detections or meaningful upper limits for photospheric absorption lines are measured for: C, O, Na, S, P, Mg, Al, Si, Ca, Ti, Cr, Fe, and Ni. For 16 white dwarfs with known observable gaseous emission discs (and measured photospheric abundances), there is no evidence that their accretion rates differ, on average, from those without detectable gaseous emission. This suggests that, typically, accretion is not enhanced by gas drag. At the effective temperature range of the white dwarfs in this sample (16,000-25,000K) the abundance ratios of elements are more consistent than absolute abundances when comparing abundances derived from spectroscopic white dwarf parameters versus photometric white dwarf parameters. Crucially, this highlights that the uncertainties on white dwarf parameters do not prevent white dwarfs from being utilised to study planetary composition. The abundances of oxygen and silicon for the three hydrogen-dominated white dwarfs in the sample with both optical and ultraviolet spectra differ by 0.62 dex depending on if they are derived from the optical or ultraviolet spectra. This optical/ultraviolet discrepancy may be related to differences in the atmospheric depth of line formation; further investigations into the white dwarf atmospheric modelling are needed to understand this discrepancy.


title: Assessment of Deep Learning Segmentation for Real-Time Free-Breathing Cardiac Magnetic Resonance Imaging at Rest and Under Exercise Stress

abstract: In recent years, a variety of deep learning networks for cardiac MRI (CMR) segmentation have been developed and analyzed. However, nearly all of them are focused on cine CMR under breathold. In this work, accuracy of deep learning methods is assessed for volumetric analysis (via segmentation) of the left ventricle in real-time free-breathing CMR at rest and under exercise stress. Data from healthy volunteers (n=15) for cine and real-time free-breathing CMR at rest and under exercise stress were analyzed retrospectively. Segmentations of a commercial software (comDL) and a freely available neural network (nnU-Net), were compared to a reference created via the manual correction of comDL segmentation. Segmentation of left ventricular endocardium (LV), left ventricular myocardium (MYO), and right ventricle (RV) is evaluated for both end-systolic and end-diastolic phases and analyzed with Dice's coefficient (DC). The volumetric analysis includes LV end-diastolic volume (EDV), LV end-systolic volume (ESV), and LV ejection fraction (EF). For cine CMR, nnU-Net and comDL achieve a DC above 0.95 for LV and 0.9 for MYO, and RV. For real-time CMR, the accuracy of nnU-Net exceeds that of comDL overall. For real-time CMR at rest, nnU-Net achieves a DC of 0.94 for LV, 0.89 for MYO, and 0.90 for RV; mean absolute differences between nnU-Net and reference are 2.9mL for EDV, 3.5mL for ESV and 2.6% for EF. For real-time CMR under exercise stress, nnU-Net achieves a DC of 0.92 for LV, 0.85 for MYO, and 0.83 for RV; mean absolute differences between nnU-Net and reference are 11.4mL for EDV, 2.9mL for ESV and 3.6% for EF. Deep learning methods designed or trained for cine CMR segmentation can perform well on real-time CMR. For real-time free-breathing CMR at rest, the performance of deep learning methods is comparable to inter-observer variability in cine CMR and is usable or fully automatic segmentation.


title: Step size control for explicit relaxation Runge-Kutta methods preserving invariants

abstract: Many time-dependent differential equations are equipped with invariants. Preserving such invariants under discretization can be important, e.g., to improve the qualitative and quantitative properties of numerical solutions. Recently, relaxation methods have been proposed as small modifications of standard time integration schemes guaranteeing the correct evolution of functionals of the solution. Here, we investigate how to combine these relaxation techniques with efficient step size control mechanisms based on local error estimates for explicit Runge-Kutta methods. We demonstrate our results in several numerical experiments including ordinary and partial differential equations.


title: A note on a result of Watson on the boundary behavior of positive solutions of the Heat equation

abstract: By the classical Fatou-Kato Theorem, it is well-known that positive solutions of the Heat equation on the Euclidean upper half-space $\mathbb R^{n+1}_+$, admit finite normal limit at almost every point on the boundary $\mathbb R^n$. Watson estimated the size of the set in the boundary where a positive solution of the Heat equation blows up faster than a prescribed rate along normal limits, in terms of its outer Hausdorff measure (of a suitable dimension). The aim of this note is to give a corresponding sharpness result.


title: Doppler orbital correction for the targeted search of known pulsars with the 5-vector method

abstract: Pulsars are promising targets for the first detection of continuous gravitational waves (CWs) by the LIGO-Virgo-KAGRA (LVK) Collaboration. Targeted searches leverage critical information derived from continued monitoring of pulsars related to the spin evolution, astrometry, and binary orbit. This information maximizes the probability to detect CW signals using full coherent methods. The 5-vector method is one of the three pipelines used by the LVK Collaboration for the targeted search of CWs from known pulsars. In this letter, we describe the first implementation and test of an heterodyne method to correct the orbital Doppler effect for pulsars in binary systems for the 5-vector targeted search.


title: Coevolution of Neural Architectures and Features for Stock Market Forecasting: A Multi-objective Decision Perspective

abstract: In a multi objective setting, a portfolio manager's highly consequential decisions can benefit from assessing alternative forecasting models of stock index movement. The present investigation proposes a new approach to identify a set of nondominated neural network models for further selection by the decision maker. A new coevolution approach is proposed to simultaneously select the features and topology of neural networks (collectively referred to as neural architecture), where the features are viewed from a topological perspective as input neurons. Further, the coevolution is posed as a multicriteria problem to evolve sparse and efficacious neural architectures. The well known dominance and decomposition based multiobjective evolutionary algorithms are augmented with a nongeometric crossover operator to diversify and balance the search for neural architectures across conflicting criteria. Moreover, the coevolution is augmented to accommodate the data based implications of distinct market behaviors prior to and during the ongoing COVID 19 pandemic. A detailed comparative evaluation is carried out with the conventional sequential approach of feature selection followed by neural topology design, as well as a scalarized coevolution approach. The results on the NASDAQ index in pre and peri COVID time windows convincingly demonstrate that the proposed coevolution approach can evolve a set of nondominated neural forecasting models with better generalization capabilities.


title: Analysis of Active/Inactive Patterns in the NHANES Data using Generalized Multilevel Functional Principal Component Analysis

abstract: Between 2011 and 2014 NHANES collected objectively measured physical activity data using wrist-worn accelerometers for tens of thousands of individuals for up to seven days. Here we analyze the minute-level indicators of being active, which can be viewed as binary (because there is an active indicator at every minute), multilevel (because there are multiple days of data for each study participant), functional (because within-day data can be viewed as a function of time) data. To extract within- and between-participant directions of variation in the data, we introduce Generalized Multilevel Functional Principal Component Analysis (GM-FPCA), an approach based on the dimension reduction of the linear predictor. Scores associated with specific patterns of activity are shown to be strongly associated with time to death. Extensive simulation studies indicate that GM-FPCA provides accurate estimation of model parameters, is computationally stable, and is scalable in the number of study participants, visits, and observations within visits. R code for implementing the method is provided.