title: A Functional Analysis Approach to Symbolic Regression

abstract: Symbolic regression (SR) poses a significant challenge for randomized search heuristics due to its reliance on the synthesis of expressions for input-output mappings. Although traditional genetic programming (GP) algorithms have achieved success in various domains, they exhibit limited performance when tree-based representations are used for SR. To address these limitations, we introduce a novel SR approach called Fourier Tree Growing (FTG) that draws insights from functional analysis. This new perspective enables us to perform optimization directly in a different space, thus avoiding intricate symbolic expressions. Our proposed algorithm exhibits significant performance improvements over traditional GP methods on a range of classical one-dimensional benchmarking problems. To identify and explain limiting factors of GP and FTG, we perform experiments on a large-scale polynomials benchmark with high-order polynomials up to degree 100. To the best of the authors' knowledge, this work represents the pioneering application of functional analysis in addressing SR problems. The superior performance of the proposed algorithm and insights into the limitations of GP open the way for further advancing GP for SR and related areas of explainable machine learning.


title: Dynamics of the $N$-body system in energy-momentum squared gravity: Equations of motion to the first post-Newtonian order

abstract: In the energy-momentum squared gravity (EMSG), the matter energy-momentum tensor is not conserved due to nonminimal interaction between the usual and modified matter fields. For this reason, the $N$-body acceleration may host the EMSG effects that can be probed at the solar scale by the perihelion shift of the planets and experimental tests of the Strong Equivalence Principle (SEP). To clarify this point, in this paper, we introduce the $N$-body equations of motion in the weak-field limit of the EMSG theory. To do so, the post-Newtonian (PN) hydrodynamic equations, the viral identities, as well as the corresponding equilibrium conditions are introduced in this theory. Armed with these relations, we derive the dynamics of the $N$-body system and its PN inter-body metric. It is shown that the EMSG theory is not ruled out by the classical test, the perihelion advance of Mercury, and the test of SEP. In other words, in the first PN order, it is not possible to constrain the free parameter of this theory and even distinguish it from GR using these local tests.


title: On the control of the Burgers-alpha model

abstract: This work is devoted to prove the local null controllability of the Burgers-$\alpha$ model. The state is the solution to a regularized Burgers equation, where the transport term is of the form $zy_x$, $z=(Id-\alpha^2\frac{\partial^2}{\partial x^2})^{-1}y$ and $\alpha>0$ is a small parameter. We also prove some results concerning the behavior of the null controls and associated states as $\alpha\to 0^+$.


title: Transversal matroids and the half plane property

abstract: We focus on checking the validity of the half-plane property on two prominent classes of transversal matroids, namely lattice path matroids and bicircular matroids. We show that lattice path matroids satisfy the half-plane property. Subsequently, we show an explicit example of a bicircular matroid that is not a positroid and discuss the negative correlation properties of bases of transversal matroids. We prove that sparse paving matroids do not satisfy the Rayleigh property, which helps us gain new perspectives about conjectures on negative correlation in basis elements of matroids in general.


title: Zero divisors and topological divisors of zero in certain Banach algebras

abstract: In this paper we prove that an element $f\in \mathcal{A}(\mathbb{D})$ is a topological divisor of zero(TDZ) if and only if there exists $z_0 \in \mathbb{T}$ such that $f(z_0)=0.$ We also give a characterization of TDZ in the Banach algebra $L^\infty(\mu).$ Further, we prove that the multiplication operator $M_h$ is a TDZ in $\mathcal{B}(L^p(\mu))~(1\leq p\leq\infty)$ if and only if $h$ is a TDZ in $L^\infty(\mu).$ Subsequently, we show that a composition operator $C_{\phi}$ is a TDZ in $\mathcal{B}(L^2(\mu))$ if and only if $\frac{d\mu \phi^{-1}}{d\mu}$ is a TDZ in $L^{\infty}(\mu).$ Lastly, we determine composition operators on the Hardy spaces $\mathbb{H}^p(\mathbb{D})$ and $\ell^p$ spaces which are zero-divisors.


title: A New Approach to Voice Authenticity

abstract: Voice faking, driven primarily by recent advances in text-to-speech (TTS) synthesis technology, poses significant societal challenges. Currently, the prevailing assumption is that unaltered human speech can be considered genuine, while fake speech comes from TTS synthesis. We argue that this binary distinction is oversimplified. For instance, altered playback speeds can be used for malicious purposes, like in the 'Drunken Nancy Pelosi' incident. Similarly, editing of audio clips can be done ethically, e.g., for brevity or summarization in news reporting or podcasts, but editing can also create misleading narratives. In this paper, we propose a conceptual shift away from the binary paradigm of audio being either 'fake' or 'real'. Instead, our focus is on pinpointing 'voice edits', which encompass traditional modifications like filters and cuts, as well as TTS synthesis and VC systems. We delineate 6 categories and curate a new challenge dataset rooted in the M-AILABS corpus, for which we present baseline detection systems. And most importantly, we argue that merely categorizing audio as fake or real is a dangerous over-simplification that will fail to move the field of speech technology forward.


title: The power of binary pulsars in testing Gauss-Bonnet gravity

abstract: Binary pulsars are a powerful tool for probing strong gravity that still outperforms direct gravitational wave observations in a number of directions due to the remarkable accuracy of the pulsar timing. They can constrain very precisely the presence of additional charges of the orbiting neutron stars leading to new channels of energy and angular momentum loss, such as the scalar dipole radiation. In the present paper, we explore in detail the possibility of constraining different classes of scalar-Gauss-Bonnet gravity with binary pulsars. Additionally, the existing constraints related to the observed maximum mass of neutron stars are also updated. Interestingly, depending on the equation of state, the resulting limits on the theory coupling parameters can outperform the constraints coming from binary merger observations by up to a factor of 2 even for the so-called Einstein-dilaton-Gauss-Bonnet gravity where neutron stars are often underestimated as relevant theory probes. As an additional merit, precise Bayesian methods are compared with approximate approaches with the latter showing very good performance despite their simplicity.


title: Multi-Modal Concurrent Transmission

abstract: This paper introduces a novel physical-layer method labelled as Multi-Modal Concurrent Transmission (MMCT) for efficient transmission of multiple data streams with different reliability-latency performance requirements. The MMCT arranges data from multiple streams within a same physical-layer transport block wherein stream-specific modulation and coding scheme (MCS) selection is combined with joint mapping of modulated codewords to Multiple-Input Multiple-Output spatial layers and frequency resources. Mapping to spatial-frequency resources with higher Signal-to-Noise Ratios (SNRs) provides the required performance boost for the more demanding streams. In tactile internet applications, wherein haptic feedback/actuation and audio-video streams flow in parallel, the method provides significant SNR and spectral efficiency enhancements compared to conventional 3GPP New Radio (NR) transmission methods.


title: Uniform local null control of the Leray-$\alpha$ model

abstract: This paper deals with the distributed and boundary controllability of the so called Leray-$\alpha$ model. This is a regularized variant of the Navier-Stokes system ($\alpha$ is a small positive parameter) that can also be viewed as a model for turbulent flows. We prove that the Leray-$\alpha$ equations are locally null controllable, with controls bounded independently of $\alpha$. We also prove that, if the initial data are sufficiently small, the controls converge as $\alpha \to 0^+$ to a null control of the Navier-Stokes equations. We also discuss some other related questions, such as global null controllability, local and global exact controllability to the trajectories, etc.


title: An integrated heart-torso electromechanical model for the simulation of electrophysiogical outputs accounting for myocardial deformation

abstract: When generating in-silico clinical electrophysiological outputs, such as electrocardiograms (ECGs) and body surface potential maps (BSPMs), mathematical models have relied on single physics, i.e. of the cardiac electrophysiology (EP), neglecting the role of the heart motion. Since the heart is the most powerful source of electrical activity in the human body, its motion dynamically shifts the position of the principal electrical sources in the torso, influencing electrical potential distribution and potentially altering the EP outputs. In this work, we propose a computational model for the simulation of ECGs and BSPMs by coupling a cardiac electromechanical model with a model that simulates the propagation of the EP signal in the torso, thanks to a flexible numerical approach, that simulates the torso domain deformation induced by the myocardial displacement. Our model accounts for the major mechano-electrical feedbacks, along with unidirectional displacement and potential couplings from the heart to the surrounding body. For the numerical discretization, we employ a versatile intergrid transfer operator that allows for the use of different Finite Element spaces to be used in the cardiac and torso domains. Our numerical results are obtained on a realistic 3D biventricular-torso geometry, and cover both cases of sinus rhythm and ventricular tachycardia (VT), solving both the electromechanical-torso model in dynamical domains, and the classical electrophysiology-torso model in static domains. By comparing standard 12-lead ECG and BSPMs, we highlight the non-negligible effects of the myocardial contraction on the EP-outputs, especially in pathological conditions, such as the VT.


title: Fractional nonlinear heat equations and characterizations of some function spaces in terms of fractional Gauss-Weierstrass semi-groups

abstract: We present a new proof of the caloric smoothing related to the fractional Gauss-Weierstrass semi-group in Triebel-Lizorkin spaces. This property will be used to prove existence and uniqueness of mild and strong solutions of the Cauchy problem for a fractional nonlinear heat equation.


title: g-factor symmetry and topology in semiconductor band states

abstract: The $\bf{g}$ tensor, which determines the reaction of Kramers-degenerate states to an applied magnetic field, is of increasing importance in the current design of spin qubits. It is affected by details of heterostructure composition, disorder, and electric fields, but it inherits much of its structure from the effect of the spin-orbit interaction working at the crystal-lattice level. Here we uncover new symmetry and topological features of $\bf{g}=\bf{g}_L+\bf{g}_S$ for important valence and conduction bands in silicon, germanium, and gallium arsenide. For all crystals with high (cubic) symmetry, we show that large departures from the nonrelativistic value $g=2$ are {\em guaranteed} by symmetry. In particular, considering the spin part $\bf{g}_S(\bf{k})$, we prove that the scalar function $det(\bf{g}_S(\bf{k}))$ must go to zero on closed surfaces in the Brillouin zone, no matter how weak the spin-orbit coupling is. We also prove that for wave vectors $\bf{k}$ on these surfaces, the Bloch states $|u_{n\bf{k}}\rangle$ have maximal spin-orbital entanglement. Using tight-binding calculations, we observe that the surfaces $det(\bf{g}(\bf{k}))=0$ exhibit many interesting topological features, exhibiting Lifshitz critical points as understood in Fermi-surface theory.


title: Mixed finite elements for the Gross-Pitaevskii eigenvalue problem: a priori error analysis and guaranteed lower energy bound

abstract: We establish an a priori error analysis for the lowest-order Raviart-Thomas finite element discretisation of the nonlinear Gross-Pitaevskii eigenvalue problem. Optimal convergence rates are obtained for the primal and dual variables as well as for the eigenvalue and energy approximations. In contrast to conformal approaches, which naturally imply upper energy bounds, the proposed mixed discretisation provides a guaranteed and asymptotically exact lower bound for the ground state energy. The theoretical results are illustrated by a series of numerical experiments.


title: A class of Zero Divisors and Topological Divisors of Zero in some Banach algebras

abstract: In this paper, we establish necessary and sufficient conditions that must be met for weighted composition operators to act as zero divisors in $\mathcal{B}(\ell^p).$ We also give a necessary condition and a sufficient condition for a composition operators to act as zero divisors in $\mathcal{B}(L^p(\mu)).$ Subsequently, we characterize TDZ in $C(X)$. Afterward, we establish that a multiplication operator $M_h$ in $\mathcal{B}(C(X))$ becomes a TDZ if and only if $h$ is a TDZ in $C(X).$ Further, motivated by the definition of TDZ, we introduce notions of polynomially TDZ and strongly TDZ and prove that every element in $C(X)$ and in $L^\infty(\mu)$ is a polynomially TDZ. We then prove that a multiplication operator $M_h$ in $\mathcal{B}(C(X))$ as well as in $\mathcal{B}(L^p(\mu))$ is a polynomially TDZ. Lastly, we show that each $T\in \mathcal{B}(H)$, where $H$ is a separable Hilbert space, is a strongly TDZ.


title: A plastic correction algorithm for full-field elasto-plastic finite element simulations : critical assessment of predictive capabilities and improvement by machine learning

abstract: This paper introduces a new local plastic correction algorithm developed to accelerate finite element simulations for structures with elasto-plastic constitutive laws. The proposed method belongs to the category of generalized multiaxial Neuber-type methods enabled by pointwise proportional evolution rules. The algorithm numerically integrates J2 plasticity laws as a function of the finite element elastic response of the structure, to obtain full-field 3D elasto-plastic quantities for any proportionally applied loading. Examples of the numerical capabilities of this algorithm are shown on a structure containing a distribution of pores, for monotonic and fatigue loading. The approximation errors due to the proposed local plastic correction are also investigated. As a second point of innovation, we show that the proposed local plastic correction can be accelerated when dealing with large-scale structures by employing a simple meta-model, with virtually no added errors. Finally, we develop and investigate the merits of an additional deep-learning-based corrective layer to reduce approximations errors on a subset of structures for which full elasto-plastic FE simulations are performed, the solutions of which are subsequently used as training set for a Convolutional Neural Network algorithm designed to learn the error between full FE and plastic correction approximations.


title: HD 12098: a highly distorted dipole mode in an obliquely pulsating roAp star

abstract: HD 12098 is an roAp star pulsating in the most distorted dipole mode yet observed in this class of star. Using TESS Sector 58 observations we show that there are photometric spots at both the magnetic poles of this star. It pulsates obliquely primarily in a strongly distorted dipole mode with a period of $P_{\rm puls} = 7.85$ min ($\nu_{\rm puls} = 183.34905$ d$^{-1}$; 2.12210 mHz) that gives rise to an unusual quadruplet in the amplitude spectrum. Our magnetic pulsation model cannot account for the strong distortion of the pulsation in one hemisphere, although it is successful in the other hemisphere. There are high-overtone p~modes with frequencies separated by more than the large separation, a challenging problem in mode selection. The mode frequencies observed in the TESS data are in the same frequency range as those previously observed in ground-based Johnson $B$ data, but are not for the same modes. Hence the star has either changed modes, or observations at different atmospheric depth detect different modes. There is also a low-overtone p mode and possibly g modes that are not expected theoretically with the $> 1$ kG magnetic field observed in this star.


title: Multisource Semisupervised Adversarial Domain Generalization Network for Cross-Scene Sea-Land Clutter Classification

abstract: Deep learning (DL)-based sea\textendash land clutter classification for sky-wave over-the-horizon-radar (OTHR) has become a novel research topic. In engineering applications, real-time predictions of sea\textendash land clutter with existing distribution discrepancies are crucial. To solve this problem, this article proposes a novel Multisource Semisupervised Adversarial Domain Generalization Network (MSADGN) for cross-scene sea\textendash land clutter classification. MSADGN can extract domain-invariant and domain-specific features from one labeled source domain and multiple unlabeled source domains, and then generalize these features to an arbitrary unseen target domain for real-time prediction of sea\textendash land clutter. Specifically, MSADGN consists of three modules: domain-related pseudolabeling module, domain-invariant module, and domain-specific module. The first module introduces an improved pseudolabel method called domain-related pseudolabel, which is designed to generate reliable pseudolabels to fully exploit unlabeled source domains. The second module utilizes a generative adversarial network (GAN) with a multidiscriminator to extract domain-invariant features, to enhance the model's transferability in the target domain. The third module employs a parallel multiclassifier branch to extract domain-specific features, to enhance the model's discriminability in the target domain. The effectiveness of our method is validated in twelve domain generalizations (DG) scenarios. Meanwhile, we selected 10 state-of-the-art DG methods for comparison. The experimental results demonstrate the superiority of our method.


title: Seismic structure of the crust in the western Dominican Republic

abstract: The contact between the Caribbean and North American plates is a tectonically complicated boundary where the deformation is accommodated in north and south of Hispaniola by the Enriquillo Plantain Garden and Septentrional Oriente Fault Zones. We present a crustal and tectonic study of the Northeastern Caribbean Plate Boundary from wide-angle seismic data acquired during the GEOPRICO-DO and CARIBE NORTE surveys, showing two transects crossing, from north to south, North American Plate, Bahamas Platform, central Hispaniola and Caribbean Plate. The results presented include two 2D P wave velocity models of 425 km and 200 km long oriented NNE SSW and ENE SSW, respectively, obtained by the travel time forward and inverse modeling of the WAS data. Our study defines that the contact between Bahamas Platform, North American Plate and Hispaniola corresponds to oblique subduction with the Moho dipping 11 in the NNE SSW direction. Furthermore, in the south, our results reveal the existence of an anomalous deep-reaching zone of lateral velocity variation in the mantle that could be associated with EPGFZ and a possible detached oceanic slab from NOAM that could explain the deep seismicity in the region.


title: The $ppp$ correlation function with a screened Coulomb potential

abstract: The correlation function is a useful tool to study the interaction between hadrons. The theoretical description of this observable requires the knowledge of the scattering wave function, whose asymptotic part is distorted when two or more particles are charged. For a system of three (or more) particles, with more than two particles asymptotically free and at least two of them charged, the asymptotic part of the wave function is not known in a closed form. In the present study we introduce a screened Coulomb potential and analyze the impact of the screening radius on the correlation function. As we will show, when a sufficiently large screening radius is used, the correlation function results almost unchanged if compared to the case in which the unscreened Coulomb potential is used. This fact allows the use of free asymptotic matching conditions in the solution of the scattering equation simplifying noticeably the calculation of the correlation function. As an illustration we discuss the $pp$ and $ppp$ correlation functions.


title: TimEHR: Image-based Time Series Generation for Electronic Health Records

abstract: Time series in Electronic Health Records (EHRs) present unique challenges for generative models, such as irregular sampling, missing values, and high dimensionality. In this paper, we propose a novel generative adversarial network (GAN) model, TimEHR, to generate time series data from EHRs. In particular, TimEHR treats time series as images and is based on two conditional GANs. The first GAN generates missingness patterns, and the second GAN generates time series values based on the missingness pattern. Experimental results on three real-world EHR datasets show that TimEHR outperforms state-of-the-art methods in terms of fidelity, utility, and privacy metrics.


title: Energy efficiency optimization of task-parallel codes on asymmetric architectures

abstract: We present a family of policies that, integrated within a runtime task scheduler (Nanox), pursue the goal of improving the energy efficiency of task-parallel executions with no intervention from the programmer. The proposed policies tackle the problem by modifying the core operating frequency via DVFS mechanisms, or by enabling/disabling the mapping of tasks to specific cores at selected execution points, depending on the internal status of the scheduler. Experimental results on an asymmetric SoC (Exynos 5422) and for a specific operation (Cholesky factorization) reveal gains up to 29% in terms of energy efficiency and considerable reductions in average power.


title: Particle Denoising Diffusion Sampler

abstract: Denoising diffusion models have become ubiquitous for generative modeling. The core idea is to transport the data distribution to a Gaussian by using a diffusion. Approximate samples from the data distribution are then obtained by estimating the time-reversal of this diffusion using score matching ideas. We follow here a similar strategy to sample from unnormalized probability densities and compute their normalizing constants. However, the time-reversed diffusion is here simulated by using an original iterative particle scheme relying on a novel score matching loss. Contrary to standard denoising diffusion models, the resulting Particle Denoising Diffusion Sampler (PDDS) provides asymptotically consistent estimates under mild assumptions. We demonstrate PDDS on multimodal and high dimensional sampling tasks.


title: Stable factorization of the Calder\'on problem via the Born approximation

abstract: In this article we prove the existence of the Born approximation in the context of the radial Calder\'on problem for Schr\"odinger operators. This is the inverse problem of recovering a radial potential on the unit ball from the knowledge of the Dirichlet-to-Neumann map (DtN map from now on) of the corresponding Schr\"odinger operator. The Born approximation naturally appears as the linear component of a factorization of the Calder\'on problem; we show that the non-linear part, obtaining the potential from the Born approximation, enjoys several interesting properties. First, this map is local, in the sense that knowledge of the Born approximation in a neighborhood of the boundary is equivalent to knowledge of the potential in the same neighborhood, and, second, it is H\"older stable. This shows in particular that the ill-posedness of the Calder\'on problem arises solely from the linear step, which consists in computing the Born approximation from the DtN map by solving a Hausdorff moment problem. Moreover, we present an effective algorithm to compute the potential from the Born approximation and show a result on reconstruction of singularities. Finally, we use the Born approximation to obtain a partial characterization of the set of DtN maps for radial potentials. The proofs of these results do not make use of Complex Geometric Optics solutions or its analogues; they are based on results on inverse spectral theory for Schr\"odinger operators on the half-line, in particular on the concept of $A$-amplitude introduced by Barry Simon.


title: Categorical-Symmetry Resolved Entanglement in CFT

abstract: We propose a symmetry-resolved entanglement for categorical non-invertible generalized symmetries (CaT-SREE) in (1+1)-dimensional CFTs. The definition parallels that of group-like invertible symmetries employing the concept of symmetric boundary states with respect to a categorical symmetry. Our examination extends to rational CFTs, where the behavior of CaT-SREE mirrors that of group-like invertible symmetries. This includes instances of the breakdown of entanglement equipartition at the next-to-leading order in the cutoff expansion. The findings shed light on the interplay between categorical symmetries, entanglement, and boundary conditions in (1 + 1)-dimensional CFTs.


title: How Uniform Random Weights Induce Non-uniform Bias: Typical Interpolating Neural Networks Generalize with Narrow Teachers

abstract: Background. A main theoretical puzzle is why over-parameterized Neural Networks (NNs) generalize well when trained to zero loss (i.e., so they interpolate the data). Usually, the NN is trained with Stochastic Gradient Descent (SGD) or one of its variants. However, recent empirical work examined the generalization of a random NN that interpolates the data: the NN was sampled from a seemingly uniform prior over the parameters, conditioned on that the NN perfectly classifies the training set. Interestingly, such a NN sample typically generalized as well as SGD-trained NNs. Contributions. We prove that such a random NN interpolator typically generalizes well if there exists an underlying narrow ``teacher NN'' that agrees with the labels. Specifically, we show that such a `flat' prior over the NN parameterization induces a rich prior over the NN functions, due to the redundancy in the NN structure. In particular, this creates a bias towards simpler functions, which require less relevant parameters to represent -- enabling learning with a sample complexity approximately proportional to the complexity of the teacher (roughly, the number of non-redundant parameters), rather than the student's.


title: Completeness of a Normed Space via Strong p-Ces\`aro Summability

abstract: In this paper we will characterize the completeness and barrelledness of a normed space through the strong p-Ces\`aro summability of series. A new characterization of weakly unconditionally Cauchy series and unconditionally convergent series through the strong p-Ces\`aro summability is obtained.


title: The Effect of Haptic Guidance during Robotic-assisted Motor Training is Modulated by Personality Traits

abstract: The provision of robotic assistance during motor training has proven to be effective in enhancing motor learning in some healthy trainee groups as well as patients. Personalizing such robotic assistance can help further improve motor (re)learning outcomes and cater better to the trainee's needs and desires. However, the development of personalized haptic assistance is hindered by the lack of understanding of the link between the trainee's personality and the effects of haptic guidance during human-robot interaction. To address this gap, we ran an experiment with 42 healthy participants who trained with a robotic device to control a virtual pendulum to hit incoming targets either with or without haptic guidance. We found that certain personal traits affected how users adapt and interact with the guidance during training. In particular, those participants with an 'Achiever gaming style' performed better and applied lower interaction forces to the robotic device than the average participant as the training progressed. Conversely, participants with the 'Free spirit game style' increased the interaction force in the course of training. We also found an interaction between some personal characteristics and haptic guidance. Specifically, participants with a higher 'Transformation of challenge' trait exhibited poorer performance during training while receiving haptic guidance compared to an average participant receiving haptic guidance. Furthermore, individuals with an external Locus of Control tended to increase their interaction force with the device, deviating from the pattern observed in an average participant under the same guidance. These findings suggest that individual characteristics may play a crucial role in the effectiveness of haptic guidance training strategies.


title: Prompt Learning on Temporal Interaction Graphs

abstract: Temporal Interaction Graphs (TIGs) are widely utilized to represent real-world systems. To facilitate representation learning on TIGs, researchers have proposed a series of TIG models. However, these models are still facing two tough gaps between the pre-training and downstream predictions in their ``pre-train, predict'' training paradigm. First, the temporal discrepancy between the pre-training and inference data severely undermines the models' applicability in distant future predictions on the dynamically evolving data. Second, the semantic divergence between pretext and downstream tasks hinders their practical applications, as they struggle to align with their learning and prediction capabilities across application scenarios. Recently, the ``pre-train, prompt'' paradigm has emerged as a lightweight mechanism for model generalization. Applying this paradigm is a potential solution to solve the aforementioned challenges. However, the adaptation of this paradigm to TIGs is not straightforward. The application of prompting in static graph contexts falls short in temporal settings due to a lack of consideration for time-sensitive dynamics and a deficiency in expressive power. To address this issue, we introduce Temporal Interaction Graph Prompting (TIGPrompt), a versatile framework that seamlessly integrates with TIG models, bridging both the temporal and semantic gaps. In detail, we propose a temporal prompt generator to offer temporally-aware prompts for different tasks. These prompts stand out for their minimalistic design, relying solely on the tuning of the prompt generator with very little supervision data. To cater to varying computational resource demands, we propose an extended ``pre-train, prompt-based fine-tune'' paradigm, offering greater flexibility. Through extensive experiments, the TIGPrompt demonstrates the SOTA performance and remarkable efficiency advantages.


title: Elliptic flow of deuterons in ultrarelativistic heavy-ion collisions

abstract: We calculate the elliptic flow of deuterons in Pb+Pb collisions at 2.76 TeV per colliding nucleon-nucleon pair and show that it can be used to discriminate between direct statistical production and coalescence. The emission from the fireball is parametrized and tuned to reproduce transverse momentum spectra and the elliptic flow of protons and pions. Coalescence leads to higher deuteron elliptic flow than statistical production and agrees better with experimental data. We attribute this observation to the varying size of the nucleon-producing region for the emission in different azimuthal angles.


title: An It\^o-Wentzell formula for the fractional Brownian motion

abstract: We prove an It\^o-Wentzell formula for the fractional Brownian motion. As an application we derive an existence and uniqueness result for a class of stochastic differential equations driven by this stochastic process.


title: A Network for structural dense displacement based on 3D deformable mesh model and optical flow

abstract: This study proposes a Network to recognize displacement of a RC frame structure from a video by a monocular camera. The proposed Network consists of two modules which is FlowNet2 and POFRN-Net. FlowNet2 is used to generate dense optical flow as well as POFRN-Net is to extract pose parameter H. FlowNet2 convert two video frames into dense optical flow. POFRN-Net is inputted dense optical flow from FlowNet2 to output the pose parameter H. The displacement of any points of structure can be calculated from parameter H. The Fast Fourier Transform (FFT) is applied to obtain frequency domain signal from corresponding displacement signal. Furthermore, the comparison of the truth displacement on the First floor of the First video is shown in this study. Finally, the predicted displacements on four floors of RC frame structure of given three videos are exhibited in the last of this study.


title: Continual Learning on Graphs: A Survey

abstract: Recently, continual graph learning has been increasingly adopted for diverse graph-structured data processing tasks in non-stationary environments. Despite its promising learning capability, current studies on continual graph learning mainly focus on mitigating the catastrophic forgetting problem while ignoring continuous performance improvement. To bridge this gap, this article aims to provide a comprehensive survey of recent efforts on continual graph learning. Specifically, we introduce a new taxonomy of continual graph learning from the perspective of overcoming catastrophic forgetting. Moreover, we systematically analyze the challenges of applying these continual graph learning methods in improving performance continuously and then discuss the possible solutions. Finally, we present open issues and future directions pertaining to the development of continual graph learning and discuss how they impact continuous performance improvement.


title: Taking Class Imbalance Into Account in Open Set Recognition Evaluation

abstract: In recent years Deep Neural Network-based systems are not only increasing in popularity but also receive growing user trust. However, due to the closed-world assumption of such systems, they cannot recognize samples from unknown classes and often induce an incorrect label with high confidence. Presented work looks at the evaluation of methods for Open Set Recognition, focusing on the impact of class imbalance, especially in the dichotomy between known and unknown samples. As an outcome of problem analysis, we present a set of guidelines for evaluation of methods in this field.


title: InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning

abstract: The math abilities of large language models can represent their abstract reasoning ability. In this paper, we introduce and open-source our math reasoning LLMs InternLM-Math which is continue pre-trained from InternLM2. We unify chain-of-thought reasoning, reward modeling, formal reasoning, data augmentation, and code interpreter in a unified seq2seq format and supervise our model to be a versatile math reasoner, verifier, prover, and augmenter. These abilities can be used to develop the next math LLMs or self-iteration. InternLM-Math obtains open-sourced state-of-the-art performance under the setting of in-context learning, supervised fine-tuning, and code-assisted reasoning in various informal and formal benchmarks including GSM8K, MATH, Hungary math exam, MathBench-ZH, and MiniF2F. Our pre-trained model achieves 30.3 on the MiniF2F test set without fine-tuning. We further explore how to use LEAN to solve math problems and study its performance under the setting of multi-task learning which shows the possibility of using LEAN as a unified platform for solving and proving in math. Our models, codes, and data are released at \url{https://github.com/InternLM/InternLM-Math}.


title: An application of power indices for the family of weighted majority games in partition function form

abstract: Based on Holler (1982) and Armijos-Toro et al. (2021) we propose two power indices to measure the influence of the players in the class of weighted majority games in partition function form. We compare these new power indices with their original versions on the class of games in characteristic function form. Finally, we use both pairs of power indices for games in partition function form to study the distribution of power in the National Assembly of Ecuador that emerged after the elections of February 7, 2021.


title: ExaRanker-Open: Synthetic Explanation for IR using Open-Source LLMs

abstract: ExaRanker recently introduced an approach to training information retrieval (IR) models, incorporating natural language explanations as additional labels. The method addresses the challenge of limited labeled examples, leading to improvements in the effectiveness of IR models. However, the initial results were based on proprietary language models such as GPT-3.5, which posed constraints on dataset size due to its cost and data privacy. In this paper, we introduce ExaRanker-Open, where we adapt and explore the use of open-source language models to generate explanations. The method has been tested using different LLMs and datasets sizes to better comprehend the effective contribution of data augmentation. Our findings reveal that incorporating explanations consistently enhances neural rankers, with benefits escalating as the LLM size increases. Notably, the data augmentation method proves advantageous even with large datasets, as evidenced by ExaRanker surpassing the target baseline by 0.6 nDCG@10 points in our study. To encourage further advancements by the research community, we have open-sourced both the code and datasets at https://github.com/unicamp-dl/ExaRanker.


title: Local exact controllability to the trajectories of the convective Brinkman-Forchheimer equations

abstract: In this article, we discuss the local exact controllability to trajectories of the following convective Brinkman-Forchheimer (CBF) equations (or damped Navier-Stokes equations) defined in a bounded domain $\Omega \subset\mathbb{R}^d$ ($d=2,3$) with smooth boundary: \begin{align*} \frac{\partial\boldsymbol{u}}{\partial t}-\mu \Delta\boldsymbol{u}+(\boldsymbol{u}\cdot\nabla)\boldsymbol{u}+\alpha\boldsymbol{u}+\beta|\boldsymbol{u}|^{2}\boldsymbol{u}+\nabla p=\boldsymbol{f}+\boldsymbol{\vartheta}, \ \ \ \nabla\cdot\boldsymbol{u}=0, \end{align*} where the control $\boldsymbol{\vartheta}$ is distributed in a subdomain $\omega \subset \Omega$, and the parameters $\alpha,\beta,\mu>0$ are constants. We first present global Carleman estimates and observability inequality for the adjoint problem of a linearized version of CBF equations by using a global Carleman estimate for the Stokes system. This allows us to obtain its null controllability at any time $T>0$. We then use the inverse mapping theorem to deduce local results concerning the exact controllability to the trajectories of CBF equations.


title: Degree reduction techniques for polynomial optimization problems

abstract: This paper presents a new approach to quadrify a polynomial programming problem, i.e. reduce the polynomial program to a quadratic program, before solving it. The proposed approach, QUAD-RLT, exploits the Reformulation-Linearization Technique (RLT) structure to obtain smaller relaxations that can be solved faster and still provide high quality bounds. QUAD-RLT is compared to other quadrification techniques that have been previously discussed in the literature. The paper presents theoretical as well as computational results showing the advantage of QUAD-RLT compared to other quadrification techniques. Furthermore, rather than quadrifying a polynomial program, QUAD-RLT is generalized to reduce the degree of the polynomial to any degree. Computational results show that reducing the degree of the polynomial to a degree that is higher than two provides computational advantages in certain cases compared to fully quadrifying the problem. Finally, QUAD-RLT along with other quadrification/degree reduction schemes are implemented and made available in the freely available software RAPOSa.


title: Outage performance of the ${\alpha}$-Beaulieu-Xie Shadowed Fading Channel Model

abstract: The research presents the closed-form outage analysis of the newly presented $\alpha$-modification of the shadowed Beaulieu-Xie fading model for wireless communications. For the considered channel, the closed-form analytical expressions for the outage probability (including its upper and lower bounds), raw moments, amount of fading, and channel quality estimation indicator are derived. The carried out thorough numerical simulation and analysis demonstrates strong agreement with the presented closed-form solutions and illustrates the relationship between the outage probability and channel parameters.


title: Graphs without a 3-connected subgraph are 4-colorable

abstract: In 1972, Mader showed that every graph without a 3-connected subgraph is 4-degenerate and thus 5-colorable}. We show that the number 5 of colors can be replaced by 4, which is best possible.


title: Photon Number-Resolving Quantum Reservoir Computing

abstract: Neuromorphic processors improve the efficiency of machine learning algorithms through the implementation of physical artificial neurons to perform computations. However, whilst efficient classical neuromorphic processors have been demonstrated in various forms, practical quantum neuromorphic platforms are still in the early stages of development. Here we propose a fixed optical network for photonic quantum reservoir computing that is enabled by photon number-resolved detection of the output states. This significantly reduces the required complexity of the input quantum states while still accessing a high-dimensional Hilbert space. The approach is implementable with currently available technology and lowers the barrier to entry to quantum machine learning.


title: Ubiquitous order-disorder transition in the Mn antisite sublattice of the (MnBi$_2$Te$_4$)(Bi$_2$Te$_3$)$_n$ magnetic topological insulators

abstract: Magnetic topological insulators (TIs) herald a wealth of applications in spin-based technologies, relying on the novel quantum phenomena provided by their topological properties. Particularly promising is the (MnBi$_2$Te$_4$)(Bi$_2$Te$_3$)$_n$ layered family of established intrinsic magnetic TIs that can flexibly realize various magnetic orders and topological states. High tunability of this material platform is enabled by manganese-pnictogen intermixing, whose amounts and distribution patterns are controlled by synthetic conditions. Positive implication of the strong intermixing in MnSb$_2$Te$_4$ is the interlayer exchange coupling switching from antiferromagnetic to ferromagnetic, and the increasing magnetic critical temperature. On the other side, intermixing also implies atomic disorder which may be detrimental for applications. Here, we employ nuclear magnetic resonance and muon spin spectroscopy, sensitive local probe techniques, to scrutinize the impact of the intermixing on the magnetic properties of (MnBi$_2$Te$_4$)(Bi$_2$Te$_3$)$_n$ and MnSb$_2$Te$_4$. Our measurements not only confirm the opposite alignment between the Mn magnetic moments on native sites and antisites in the ground state of MnSb$_2$Te$_4$, but for the first time directly show the same alignment in (MnBi$_2$Te$_4$)(Bi$_2$Te$_3$)$_n$ with n = 0, 1 and 2. Moreover, for all compounds, we find the static magnetic moment of the Mn antisite sublattice to disappear well below the intrinsic magnetic transition temperature, leaving a homogeneous magnetic structure undisturbed by the intermixing. Our findings provide a microscopic understanding of the crucial role played by Mn-Bi intermixing in (MnBi$_2$Te$_4$)(Bi$_2$Te$_3$)$_n$ and offer pathways to optimizing the magnetic gap in its surface states.


title: RareBench: Can LLMs Serve as Rare Diseases Specialists?

abstract: Generalist Large Language Models (LLMs), such as GPT-4, have shown considerable promise in various domains, including medical diagnosis. Rare diseases, affecting approximately 300 million people worldwide, often have unsatisfactory clinical diagnosis rates primarily due to a lack of experienced physicians and the complexity of differentiating among many rare diseases. In this context, recent news such as "ChatGPT correctly diagnosed a 4-year-old's rare disease after 17 doctors failed" underscore LLMs' potential, yet underexplored, role in clinically diagnosing rare diseases. To bridge this research gap, we introduce RareBench, a pioneering benchmark designed to systematically evaluate the capabilities of LLMs on 4 critical dimensions within the realm of rare diseases. Meanwhile, we have compiled the largest open-source dataset on rare disease patients, establishing a benchmark for future studies in this domain. To facilitate differential diagnosis of rare diseases, we develop a dynamic few-shot prompt methodology, leveraging a comprehensive rare disease knowledge graph synthesized from multiple knowledge bases, significantly enhancing LLMs' diagnostic performance. Moreover, we present an exhaustive comparative study of GPT-4's diagnostic capabilities against those of specialist physicians. Our experimental findings underscore the promising potential of integrating LLMs into the clinical diagnostic process for rare diseases. This paves the way for exciting possibilities in future advancements in this field.


title: Promoting Target Data in Context-aware Neural Machine Translation

abstract: Standard context-aware neural machine translation (NMT) typically relies on parallel document-level data, exploiting both source and target contexts. Concatenation-based approaches in particular, still a strong baseline for document-level NMT, prepend source and/or target context sentences to the sentences to be translated, with model variants that exploit equal amounts of source and target data on each side achieving state-of-the-art results. In this work, we investigate whether target data should be further promoted within standard concatenation-based approaches, as most document-level phenomena rely on information that is present on the target language side. We evaluate novel concatenation-based variants where the target context is prepended to the source language, either in isolation or in combination with the source context. Experimental results in English-Russian and Basque-Spanish show that including target context in the source leads to large improvements on target language phenomena. On source-dependent phenomena, using only target language context in the source achieves parity with state-of-the-art concatenation approaches, or slightly underperforms, whereas combining source and target context on the source side leads to significant gains across the board.


title: Blackbody heat capacity at constant pressure

abstract: At first glance, the title of this work seems to be improper. And the reason is well known. Since blackbody pressure depends only on temperature, one cannot take the derivative of the thermodynamic quantities with respect to one of them, keeping the other constant. That is, the heat capacity at constant pressure, $C_{P}$, as well as, the coefficient of thermal expansion, $\alpha$, and the isothermal compressibility, $\kappa_{T}$, are ill-defined quantities. This work will show that when the perfect conducting nature of the walls of a blackbody cavity is taken into account, $C_{P}$, $\alpha$ and $\kappa_{T}$ are in fact well defined, and they are related by the usual thermodynamic relations, as expected. Two geometries will be considered, namely, a spherical shell and a cubic box. It will be shown that $C_{P}$, $\alpha$ and $\kappa_{T}$ depend very much on the geometry of the cavity. Issues regarding thermodynamic stability will be addressed, revealing that they also depend on the cavity's geometry. It is argued that these findings may be amenable to experimental verification.


title: Wetting ridge dissipation at large deformations

abstract: Liquid drops slide more slowly over soft, deformable substrates than over rigid solids. This phenomenon can be attributed to the viscoelastic dissipation induced by the moving wetting ridge, which inhibits a rapid motion, and is called "viscoelastic braking". Experiments on soft dynamical wetting have thus far been modelled using linear theory, assuming small deformations, which captures the essential scaling laws. Quantitatively, however, some important disparities have suggested the importance of large deformations induced by the sliding drops. Here we compute the dissipation occurring below a contact line moving at constant velocity over a viscoelastic substrate, for the first time explicitly accounting for large deformations. It is found that linear theory becomes inaccurate especially for thin layers, and we discuss our findings in the light of recent experiments.


title: Exact Solutions to the Maxmin Problem max ||Ax|| Subject to ||Bx||<= 1

abstract: In this manuscript we provide an exact solution to the maxmin problem max ||Ax|| subject to ||Bx||<= 1, where A and B are real matrices. This problem comes from a remodeling of max ||Ax|| subject to min ||Bx||, because the latter problem has no solution. Our mathematical method comes from the Abstract Operator Theory, whose strong machinery allows us to reduce the first problem to max parallel to Cx parallel to subject to parallel to x parallel to <= 1, which can be solved exactly by relying on supporting vectors. Finally, as appendices, we provide two applications of our solution: first, we construct a truly optimal minimum stored-energy Transcranian Magnetic Stimulation (TMS) coil, and second, we find an optimal geolocation involving statistical variables


title: A Comparative Analysis of Energy Consumption Between The Widespread Unreal and Unity Video Game Engines

abstract: The total energy cost of computing activities is steadily increasing and projections indicate that it will be one of the dominant global energy consumers in the coming decades. However, perhaps due to its relative youth, the video game sector has not yet developed the same level of environmental awareness as other computing technologies despite the estimated three billion regular video game players in the world. This work evaluates the energy consumption of the most widely used industry-scale video game engines: Unity and Unreal Engine. Specifically, our work uses three scenarios representing relevant aspects of video games (Physics, Statics Meshes, and Dynamic Meshes) to compare the energy consumption of the engines. The aim is to determine the influence of using each of the two engines on energy consumption. Our research has confirmed significant differences in the energy consumption of video game engines: 351% in Physics in favor of Unity, 17% in Statics Meshes in favor of Unity, and 26% in Dynamic Meshes in favor of Unreal Engine. These results represent an opportunity for worldwide potential savings of at least 51 TWh per year, equivalent to the annual consumption of nearly 13 million European households, that might encourage a new branch of research on energy-efficient video game engines.


title: Optical and soft X-ray light-curve analysis during the 2022 eruption of U Scorpii: structural changes in the accretion disk

abstract: We present our optical photometric observations of the 2022 eruption of the recurrent nova U Scorpii (U Sco) using 49,152 data points over 70 d following the optical peak. We have also analyzed its soft X-ray (0.3--1 keV) light curve by the Neil Gehrels Swift Observatory. During the 2022 eruption, the optical plateau stage started 13.8--15.0 d and ended 23.8--25.0 d after the optical peak. The soft X-ray stage started 14.6--15.3 d and ended 38.7--39.5 d after the optical peak. Both stages started later and had shorter durations, and the soft X-ray light curve peaked earlier and was less luminous compared to those during the U Sco 2010 eruption. These points suggest that there were differences in the envelope mass between the different cycles of the nova eruption. Furthermore, we have analyzed the optical eclipses during the 2022 eruption. The primary eclipse was first observed 10.4--11.6 d after the optical peak, earlier than the beginning of the optical plateau stage. This sequence of events can be explained by the receding ejecta photosphere associated with the expanding nova ejecta. We have determined the ingress and egress phases of the primary eclipses and estimated the outer radius of the optical light source centered at the white dwarf (WD). During the optical plateau stage, the source radius remained $\sim$1.2 times larger than the Roche volume radius of the primary WD, being close to the L1 point. When the optical plateau stage ended, the source radius drastically shrank to the tidal truncation radius within a few orbital periods. This previously unresolved phenomenon can be interpreted as a structural change in U Sco where the temporarily expanded accretion disk due to the nova wind returned to a steady state.


title: Fairness of Exposure in Online Restless Multi-armed Bandits

abstract: Restless multi-armed bandits (RMABs) generalize the multi-armed bandits where each arm exhibits Markovian behavior and transitions according to their transition dynamics. Solutions to RMAB exist for both offline and online cases. However, they do not consider the distribution of pulls among the arms. Studies have shown that optimal policies lead to unfairness, where some arms are not exposed enough. Existing works in fairness in RMABs focus heavily on the offline case, which diminishes their application in real-world scenarios where the environment is largely unknown. In the online scenario, we propose the first fair RMAB framework, where each arm receives pulls in proportion to its merit. We define the merit of an arm as a function of its stationary reward distribution. We prove that our algorithm achieves sublinear fairness regret in the single pull case $O(\sqrt{T\ln T})$, with $T$ being the total number of episodes. Empirically, we show that our algorithm performs well in the multi-pull scenario as well.


title: Hot phonon effects on high-field transport in 2DEG GaN

abstract: The effects of confinement on electron transport in GaN have been studied via an ensemble Monte-Carlo code. Excellent agreement is obtained with experimental data from the literature up to moderate fields. In agreement with experimental results, negative-differential-conductivity is not observed in velocity-field curves. The reasons for this are discussed in detail. The dynamics of the non-equilibrium confined electron-LO phonon system is studied via a bulk phonon spectrum. In contrast to the bulk electron case hot or non-equilibrium phonons do not play a significant role in determining the transport properties. This is explained via the energy and momentum conservation rules for the polar optical phonon scattering. In addition, impact ionization is shown to be insignificant for the applied fields considered.


title: Characterization of the Clinically Approved MRI Tracer Resotran for Magnetic Particle Imaging in a Comparison Study

abstract: Objective. The availability of magnetic nanoparticles with medical approval for human intervention is fundamental to the clinical translation of magnetic particle imaging (MPI). In this work, we thoroughly evaluate and compare the magnetic properties of an magnetic resonance imaging (MRI) approved tracer to validate its performance for MPI in future human trials. Approach. We analyze whether the recently approved MRI tracer Resotran is suitable for MPI. In addition, we compare Resotran with the previously approved and extensively studied tracer Resovist, with Ferrotran, which is currently in a clinical phase III study, and with the tailored MPI tracer Perimag. Main results. Initial magnetic particle spectroscopy measurements indicate that Resotran exhibits performance characteristics akin to Resovist, but below Perimag. We provide data on four different tracers using dynamic light scattering, transmission electron microscopy, vibrating sample magnetometry measurements, magnetic particle spectroscopy to derive hysteresis, point spread functions, and a serial dilution, as well as system matrix based MPI measurements on a preclinical scanner (Bruker 25/20 FF), including reconstructed images. Significance. Numerous approved magnetic nanoparticles used as tracers in MRI lack the necessary magnetic properties essential for robust signal generation in MPI. The process of obtaining medical approval for dedicated MPI tracers optimized for signal performance is an arduous and costly endeavor, often only justifiable for companies with a well-defined clinical business case. Resotran is an approved tracer that has become available in Europe for MRI. In this work, we study the eligibility of Resotran for MPI in an effort to pave the way for human MPI trials.


title: SWITCH: An Exemplar for Evaluating Self-Adaptive ML-Enabled Systems

abstract: Addressing runtime uncertainties in Machine Learning-Enabled Systems (MLS) is crucial for maintaining Quality of Service (QoS). The Machine Learning Model Balancer is a concept that addresses these uncertainties by facilitating dynamic ML model switching, showing promise in improving QoS in MLS. Leveraging this concept, this paper introduces SWITCH, an exemplar developed to enhance self-adaptive capabilities in such systems through dynamic model switching in runtime. SWITCH is designed as a comprehensive web service catering to a broad range of ML scenarios, with its implementation demonstrated through an object detection use case. SWITCH provides researchers with a flexible platform to apply and evaluate their ML model switching strategies, aiming to enhance QoS in MLS. SWITCH features advanced input handling, real-time data processing, and logging for adaptation metrics supplemented with an interactive real-time dashboard for enhancing system observability. This paper details SWITCH's architecture, self-adaptation strategies through ML model switching, and its empirical validation through a case study, illustrating its potential to improve QoS in MLS. By enabling a hands-on approach to explore adaptive behaviors in ML systems, SWITCH contributes a valuable tool to the SEAMS community for research into self-adaptive mechanisms for MLS and their practical applications.


title: Blockchain Bribing Attacks and the Efficacy of Counterincentives

abstract: We analyze bribing attacks in Proof-of-Stake distributed ledgers from a game theoretic perspective. In bribing attacks, an adversary offers participants a reward in exchange for instructing them how to behave, with the goal of attacking the protocol's properties. Specifically, our work focuses on adversaries that target blockchain safety. We consider two types of bribing, depending on how the bribes are awarded: i) guided bribing, where the bribe is given as long as the bribed party behaves as instructed; ii) effective bribing, where bribes are conditional on the attack's success, w.r.t. well-defined metrics. We analyze each type of attack in a game theoretic setting and identify relevant equilibria. In guided bribing, we show that the protocol is not an equilibrium and then describe good equilibria, where the attack is unsuccessful, and a negative one, where all parties are bribed such that the attack succeeds. In effective bribing, we show that both the protocol and the "all bribed" setting are equilibria. Using the identified equilibria, we then compute bounds on the Prices of Stability and Anarchy. Our results indicate that additional mitigations are needed for guided bribing, so our analysis concludes with incentive-based mitigation techniques, namely slashing and dilution. Here, we present two positive results, that both render the protocol an equilibrium and achieve maximal welfare for all parties, and a negative result, wherein an attack becomes more plausible if it severely affects the ledger's token's market price.


title: Copycats: the many lives of a publicly available medical imaging dataset

abstract: Medical Imaging (MI) datasets are fundamental to artificial intelligence in healthcare. The accuracy, robustness, and fairness of diagnostic algorithms depend on the data (and its quality) used to train and evaluate the models. MI datasets used to be proprietary, but have become increasingly available to the public, including on community-contributed platforms (CCPs) like Kaggle or HuggingFace. While open data is important to enhance the redistribution of data's public value, we find that the current CCP governance model fails to uphold the quality needed and recommended practices for sharing, documenting, and evaluating datasets. In this paper, we conduct an analysis of publicly available machine learning datasets on CCPs, discussing datasets' context, and identifying limitations and gaps in the current CCP landscape. We highlight differences between MI and computer vision datasets, particularly in the potentially harmful downstream effects from poor adoption of recommended dataset management practices. We compare the analyzed datasets across several dimensions, including data sharing, data documentation, and maintenance. We find vague licenses, lack of persistent identifiers and storage, duplicates, and missing metadata, with differences between the platforms. Our research contributes to efforts in responsible data curation and AI algorithms for healthcare.


title: Taming the Bloch-Redfield equation: Recovering an accurate Lindblad equation for general open quantum systems

abstract: Master equations play a pivotal role in investigating open quantum systems. In particular, the Bloch-Redfield equation stands out due to its relation to a concrete physical environment. However, without further approximations it does not lead to a Lindblad master equation that guarantees that the density matrix stays completely positive, which has raised some concerns regarding its use. This study builds on previous efforts to transform the Bloch-Redfield framework into a mathematically robust Lindblad equation, while fully preserving the effects that are lost within the secular approximation that is commonly used to guarantee positivity. These previous approaches introduce two potential deficiencies: the environment-induced energy shift can be non-Hermitian and some decay rates can be negative, violating the assumptions of Lindblad's theorem. Here, we propose and evaluate straightforward solutions to both problems. Our approach offers an effective and general procedure for obtaining a Lindblad equation, derived from a concrete physical environment, while mitigating the unphysical dynamics present in the Bloch-Redfield equation.


title: Sparse identification of nonlocal interaction kernels in nonlinear gradient flow equations via partial inversion

abstract: We address the inverse problem of identifying nonlocal interaction potentials in nonlinear aggregation-diffusion equations from noisy discrete trajectory data. Our approach involves formulating and solving a regularized variational problem, which requires minimizing a quadratic error functional across a set of hypothesis functions, further augmented by a sparsity-enhancing regularizer. We employ a partial inversion algorithm, akin to the CoSaMP [57] and subspace pursuit algorithms [31], to solve the Basis Pursuit problem. A key theoretical contribution is our novel stability estimate for the PDEs, validating the error functional ability in controlling the 2-Wasserstein distance between solutions generated using the true and estimated interaction potentials. Our work also includes an error analysis of estimators caused by discretization and observational errors in practical implementations. We demonstrate the effectiveness of the methods through various 1D and 2D examples showcasing collective behaviors.


title: On the geometry of quantum spheres and hyperboloids

abstract: We study two classes of quantum spheres and hyperboloids which are $*$-quantum spaces for the quantum orthogonal group $\mathcal{O}(SO_q(3))$. We construct line bundles over the quantum homogeneous space of invariant elements for the quantum subgroup $SO(2)$ of $SO_q(3)$. These are associated to the quantum principal bundle via corepresentations of $SO(2)$ and are given by finitely-generated projective modules $\mathcal{E}_n$ of rank $1$ and even degree $-2n$. The corresponding idempotents, representing classes in K-theory, are explicitly worked out. For $q$ real, we diagonalise the Casimir operator of the Hopf algebra ${\mathcal{U}_{q^{1/2}}(sl_2)}$ dual to $\mathcal{O}(SO_q(3))$.


title: The SkipSponge Attack: Sponge Weight Poisoning of Deep Neural Networks

abstract: Sponge attacks aim to increase the energy consumption and computation time of neural networks deployed on hardware accelerators. Existing sponge attacks can be performed during inference via sponge examples or during training via Sponge Poisoning. Sponge examples leverage perturbations added to the model's input to increase energy and latency, while Sponge Poisoning alters the objective function of a model to induce inference-time energy effects. In this work, we propose a novel sponge attack called SkipSponge. SkipSponge is the first sponge attack that is performed directly on the parameters of a pre-trained model using only a few data samples. Our experiments show that SkipSponge can successfully increase the energy consumption of image classification models with fewer samples required than Sponge Poisoning. We show that poisoning defenses are ineffective if not adjusted specifically for the defense against SkipSponge (i.e., they decrease target layer bias values). Our work shows that SkipSponge is more effective on the GANs and the autoencoders than the state-of-the-art. Additionally, SkipSponge is stealthier than the previous Sponge Poisoning attack as it does not require significant changes in the victim model's weights. Our experiments indicate that the SkipSponge attack can be performed even when an attacker has access to only 1% of the entire dataset and reaches up to 13% energy increase.


title: Robust inference for an interval-monitored step-stress experiment under proportional hazards

abstract: Accelerated life tests (ALTs) play a crucial role in reliability analyses, providing lifetime estimates of highly reliable products. Among ALTs, step-stress design increases the stress level at predefined times, while maintaining a constant stress level between successive changes. This approach accelerates the occurrence of failures, reducing experimental duration and cost. While many studies assume a specific form for the lifetime distribution, in certain applications instead a general form satisfying certain properties should be preferred. Proportional hazard model assumes that applied stresses act multiplicatively on the hazard rate, so the hazards function may be divided into two factors, with one representing the effect of the stress, and the other representing the baseline hazard. In this work we examine two particular forms of baseline hazards, namely, linear and quadratic. Moreover, certain experiments may face practical constraints making continuous monitoring of devices infeasible. Instead, devices under test are inspected at predetermined intervals, leading to interval-censoring data. On the other hand, recent works have shown an appealing trade-off between the efficiency and robustness of divergence-based estimators. This paper introduces the step-stress ALT model under proportional hazards and presents a robust family of minimum density power divergence estimators (MDPDEs) for estimating device reliability and related lifetime characteristics such as mean lifetime and distributional quantiles. The asymptotic distributions of these estimates are derived, providing approximate confidence intervals. Empirical evaluations through Monte Carlo simulations demonstrate their performance in terms of robustness and efficiency. Finally, an illustrative example is provided to demonstrate the usefulness of the model and associated methods developed.


title: Modelling Human Values for AI Reasoning

abstract: One of today's most significant societal challenges is building AI systems whose behaviour, or the behaviour it enables within communities of interacting agents (human and artificial), aligns with human values. To address this challenge, we detail a formal model of human values for their explicit computational representation. To our knowledge, this has not been attempted as yet, which is surprising given the growing volume of research integrating values within AI. Taking as our starting point the wealth of research investigating the nature of human values from social psychology over the last few decades, we set out to provide such a formal model. We show how this model can provide the foundational apparatus for AI-based reasoning over values, and demonstrate its applicability in real-world use cases. We illustrate how our model captures the key ideas from social psychology research and propose a roadmap for future integrated, and interdisciplinary, research into human values in AI. The ability to automatically reason over values not only helps address the value alignment problem but also facilitates the design of AI systems that can support individuals and communities in making more informed, value-aligned decisions. More and more, individuals and organisations are motivated to understand their values more explicitly and explore whether their behaviours and attitudes properly reflect them. Our work on modelling human values will enable AI systems to be designed and deployed to meet this growing need.


title: CoSearchAgent: A Lightweight Collaborative Search Agent with Large Language Models

abstract: Collaborative search supports multiple users working together to accomplish a specific search task. Research has found that designing lightweight collaborative search plugins within instant messaging platforms aligns better with users' collaborative habits. However, due to the complexity of multi-user interaction scenarios, it is challenging to implement a fully functioning lightweight collaborative search system. Therefore, previous studies on lightweight collaborative search had to rely on the Wizard of Oz paradigm. In recent years, large language models (LLMs) have been demonstrated to interact naturally with users and achieve complex information-seeking tasks through LLM-based agents. Hence, to better support the research in collaborative search, in this demo, we propose CoSearchAgent, a lightweight collaborative search agent powered by LLMs. CoSearchAgent is designed as a Slack plugin that can support collaborative search during multi-party conversations on this platform. Equipped with the capacity to understand the queries and context in multi-user conversations and the ability to search the Web for relevant information via APIs, CoSearchAgent can respond to user queries with answers grounded on the relevant search results. It can also ask clarifying questions when the information needs are unclear. The proposed CoSearchAgent is highly flexible and would be useful for supporting further research on collaborative search. The code and demo video are accessible.


title: Post-Newtonian Multipoles from the Next-to-Leading Post-Minkowskian Gravitational Waveform

abstract: We consider the frequency-domain LO and NLO post-Minkowskian (PM) waveforms obtained from the tree-level and one-loop amplitudes describing the scattering of two massive scalar objects and the emission of one graviton. We explicitly calculate their post-Newtonian (PN) limit obtaining an expansion up to the third subleading PN order in all ingredients: the tree-level amplitude, the odd and even parts of the real one-loop kernel, and the Compton or "rescattering" cuts, thus reaching 3PN precision for the latter. We provide explicit expressions for the multipole decomposition of these results in the center-of-mass frame and compare them with the results obtained from the classical Multipolar post-Minkowskian (MPM) method. We find perfect agreement between the two, once the BMS supertranslation frame is properly adjusted and the infrared divergences due to rescattering are suitably subtracted in dimensional regularization. This shows that the approach proposed in arXiv:2312.07452 can be applied beyond the soft-regime ensuring the agreement between amplitude-based and MPM results for generic frequencies.


title: Plateau-Rayleigh instability of a soft layer coated on a rigid cylinder

abstract: We study the Plateau-Rayleigh instability of a viscoelastic soft solid layer coated on a rigid cylinder i.e., a soft fibre with a rigid core. The onset of instability is examined using a linear stability analysis. We find that increasing the rigid cylinder radius reduce the growth rate of the fastest growing mode. For each rigid cylinder radius, a critical elastocapillary number is found below which all wavelengths of disturbances are stable. The critical value for a soft fibre with a thick rigid cylindrical core can be several orders of magnitudes larger than that for a totally soft fibre (no rigid core), which highlights the strong stabilizing effect of the rigid core on the system. Increasing the relaxation timescale of the viscoelastic material also slows down the growth of disturbance, but has no effect on the critical elastocapillary number. Interestingly, the wavelength of the fastest growing mode is independent of the rigid cylinder radius for the purely elastic case.


title: StruQ: Defending Against Prompt Injection with Structured Queries

abstract: Recent advances in Large Language Models (LLMs) enable exciting LLM-integrated applications, which perform text-based tasks by utilizing their advanced language understanding capabilities. However, as LLMs have improved, so have the attacks against them. Prompt injection attacks are an important threat: they trick the model to deviate from the original application's instructions and instead follow user directives. These attacks rely on the LLM's ability to follow instructions and inability to separate the prompts and user data. We introduce structured queries, a general approach to tackle this problem. Structured queries separate prompts and data into two channels. We implement a system that supports structured queries. This system is made of (1) a secure front-end that formats a prompt and user data into a special format, and (2) a specially trained LLM that can produce high-quality outputs from these inputs. The LLM is trained using a novel fine-tuning strategy: we convert a base (non-instruction-tuned) LLM to a structured instruction-tuned model that will only follow instructions in the prompt portion of a query. To do so, we augment standard instruction tuning datasets with examples that also include instructions in the data portion of the query, and fine-tune the model to ignore these. Our system significantly improves resistance to prompt injection attacks, with little or no impact on utility. Our code is released at https://github.com/Sizhe-Chen/PromptInjectionDefense.


title: Quadratic lifespan for the sublinear $\alpha$-SQG sharp front problem

abstract: In this paper we consider the generalized surface quasi-geostrophic $\alpha$-SQG equations, in the "sublinear regime" $\alpha \in (0, 1)$ and we study the stability of vortex patches close to vortex discs. We shall prove that for regular, Sobolev initial vortex patches $\varepsilon$-close to a vortex disc, the solutions stay $\varepsilon$-close to a vortex disc for a time interval of order $O(\varepsilon^{- 2})$. The proof is based on a paradifferential Birkhoff normal form reduction, implemented in the case where the dispersion relation is sublinear.


title: Unambiguous discrimination of sequences of quantum states

abstract: We consider the problem of determining the state of an unknown quantum sequence without error. The elements of the given sequence are drawn with equal probability from a known set of linearly independent pure quantum states with the property that their mutual inner products are all real and equal. This problem can be posed as an instance of unambiguous state discrimination where the states correspond to that of all possible sequences having the same length as the given one. We calculate the optimum probability by solving the optimality conditions of a semidefinite program. The optimum value is achievable by measuring individual members of the sequence, and no collective measurement is necessary.


title: SAT-based Learning of Computation Tree Logic

abstract: The CTL learning problem consists in finding for a given sample of positive and negative Kripke structures a distinguishing CTL formula that is verified by the former but not by the latter. Further constraints may bound the size and shape of the desired formula or even ask for its minimality in terms of syntactic size. This synthesis problem is motivated by explanation generation for dissimilar models, e.g. comparing a faulty implementation with the original protocol. We devise a SAT-based encoding for a fixed size CTL formula, then provide an incremental approach that guarantees minimality. We further report on a prototype implementation whose contribution is twofold: first, it allows us to assess the efficiency of various output fragments and optimizations. Secondly, we can experimentally evaluate this tool by randomly mutating Kripke structures or syntactically introducing errors in higher-level models, then learning CTL distinguishing formulas.


title: TEE4EHR: Transformer Event Encoder for Better Representation Learning in Electronic Health Records

abstract: Irregular sampling of time series in electronic health records (EHRs) is one of the main challenges for developing machine learning models. Additionally, the pattern of missing data in certain clinical variables is not at random but depends on the decisions of clinicians and the state of the patient. Point process is a mathematical framework for analyzing event sequence data that is consistent with irregular sampling patterns. Our model, TEE4EHR, is a transformer event encoder (TEE) with point process loss that encodes the pattern of laboratory tests in EHRs. The utility of our TEE has been investigated in a variety of benchmark event sequence datasets. Additionally, we conduct experiments on two real-world EHR databases to provide a more comprehensive evaluation of our model. Firstly, in a self-supervised learning approach, the TEE is jointly learned with an existing attention-based deep neural network which gives superior performance in negative log-likelihood and future event prediction. Besides, we propose an algorithm for aggregating attention weights that can reveal the interaction between the events. Secondly, we transfer and freeze the learned TEE to the downstream task for the outcome prediction, where it outperforms state-of-the-art models for handling irregularly sampled time series. Furthermore, our results demonstrate that our approach can improve representation learning in EHRs and can be useful for clinical prediction tasks.


title: Adaptive Downlink Localization and User Tracking in Near-Field and Far-Field: A Trade-Off Analysis

abstract: This paper considers the problem of downlink localization and user equipments (UEs) tracking with an adaptive procedure for a range of distances. We provide the base station (BS) with two signaling schemes and the UEs with two localization algorithms, assuming far-field (FF) and near-field (NF) conditions, respectively. The proposed schemes employ different beam-sweep patterns, where their compatibility depends on the UE range. Consequently, the FF-NF distinction transcends the traditional definition. Our proposed NF scheme requires beam-focusing on specific spots and more transmissions are required to sweep the area. Instead, the FF scheme assumes distant UEs, and fewer beams are sufficient. We derive a low-complexity algorithm that exploits the FF channel model and highlight its practical benefits and the limitations. Also, we propose an iterative adaptive procedure, where the signaling scheme is depends on the expected accuracy-complexity trade-off. Multiple iterations introduce a tracking application, where the formed trajectory dictates the validity of our assumptions. Moreover, the range from the BS, where the FF signaling scheme can be successfully employed, is investigated. We show that the conventional Fraunhofer distance is not sufficient for adaptive localization and tracking algorithms in the mixed NF and FF environment.


title: Characterizations of a Banach Space through the Strong Lacunary and the Lacunary Statistical Summabilities

abstract: In this manuscript we characterize the completeness of a normed space through the strong lacunary (N-theta) and lacunary statistical convergence (S-theta) of series. A new characterization of weakly unconditionally Cauchy series through N-theta and S-theta is obtained. We also relate the summability spaces associated with these summabilities with the strong p-Cesaro convergence summability space.


title: Robust topological feature against non-Hermiticity in Jaynes-Cummings Model

abstract: The Jaynes-Cummings Model (JCM) is a fundamental model and building block for light-matter interactions, quantum information and quantum computation. We analytically analyze the topological feature manifested by the JCM in the presence of non-Hermiticity which may be effectively induced by dissipation and decay rates. Indeed, the eigenstates of the JCM are topologically characterized by spin windings in two-dimensional plane. The non-Hermiticity tilts the spin winding plane and induces out-of-plane component, while the topological feature is maintained. In particular, besides the invariant spin texture nodes, we find a non-Hermiticity-induced reversal transition of the tilting angle and spin winding direction with a fractional phase gain at gap closing, a partially level-independent reversal transition without gap closing, and a completely level-independent super invariant point with untilted angle and also without gap closing. Our result demonstrates that the topological feature is robust against non-Hermiticity, which would be favorable in practical applications. On the other hand, one may conversely make use of the disadvantageous dissipation and decay rates to reverse the spin winding direction, which might add a control way for topological manipulation of quantum systems in light-matter interactions.


title: The long-term steady motion of Saturn's Hexagon and the stability of its enclosed jet-stream under seasonal changes

abstract: We investigate the long-term motion of Saturn's North-Pole Hexagon and the structure of its associated eastward jet, using Cassini ISS and ground-based images from 2008 to 2014. We show that both are persistent features that have survived the long polar night, the jet profile remaining essentially unchanged. During those years the hexagon vertices showed a steady rotation period of 10 hr 39 min 23.01 $\pm$ 0.01 s. Analysis of Voyager 1 and 2 (1980-1981) and HST and ground-based (1990-91) images shows a period shorter by 3.5s, due to the presence at the time of a large anticyclone. We interpret the hexagon as a manifestation of a vertically trapped Rossby wave on the polar jet and, because of their survival and unchanged properties under the strong seasonal variations in insolation, we propose that both hexagon and jet are deep-rooted atmospheric features that could reveal the true rotation of the planet Saturn.


title: Spectral properties of the Dirichlet-to-Neumann operator for spheroids

abstract: We study the spectral properties of the Dirichlet-to-Neumann operator and the related Steklov problem in spheroidal domains ranging from a needle to a disk. An explicit matrix representation of this operator for both interior and exterior problems is derived. We show how the anisotropy of spheroids affects the eigenvalues and eigenfunctions of the operator. As examples of physical applications, we discuss diffusion-controlled reactions on spheroidal partially reactive targets and the statistics of encounters between the diffusing particle and the spheroidal boundary.

categories: math-ph cond-mat.stat-mech math.MP physics.chem-ph


title: A new edge betweenness measure using a game theoretical approach: an application to hierarchical community detection

abstract: In this paper we formally define the hierarchical clustering network problem (HCNP) as the problem to find a good hierarchical partition of a network. This new problem focuses on the dynamic process of the clustering rather than on the final picture of the clustering process. To address it, we introduce a new ierarchical clustering algorithm in networks, based on a new shortest path betweenness measure. To calculate it, the communication between each pair of nodes is weighed by he importance of the nodes that establish this communication. The weights or importance associated to each pair of nodes are calculated as the Shapley value of a game, named as the linear modularity game. This new measure, (the node-game shortest path betweenness measure), is used to obtain a hierarchical partition of the network by eliminating the link with the highest value. To evaluate the performance of our algorithm, we introduce several criteria that allow us to compare different dendrograms of a network from two point of view: modularity and homogeneity. Finally, we propose a faster algorithm based on a simplification of the node-game shortest path betweenness measure, whose order is quadratic on sparse networks. This fast version is competitive from a computational point of view with other hierarchical fast algorithms, and, in general, it provides better results.


title: Deconfinement transitions in three-dimensional compact lattice Abelian Higgs models with multiple-charge scalar fields

abstract: We investigate the nature of the deconfinement transitions in three-dimensional lattice Abelian Higgs models, in which a complex scalar field of integer charge $Q\ge 2$ is minimally coupled with a compact $U(1)$ gauge field. Their phase diagram presents two phases separated by a transition line where static charges $q$, with $q<Q$, deconfine. We argue that these deconfinement transitions belong to the same universality class as transitions in generic three-dimensional ${\mathbb Z}_Q$ gauge models. In particular, they are Ising-like for $Q=2$, of first order for $Q=3$, and belong to the three-dimensional gauge $XY$ universality class for $Q\ge 4$. This general scenario is supported by numerical finite-size scaling analyses of the energy cumulants for $Q=2$, $Q=4$, and $Q=6$.


title: Configuration of the magnetosome chain: a natural magnetic nanoarchitecture

abstract: Magnetospirillum gryphiswaldense is a microorganism with the ability to biomineralize magnetite nanoparticles, called magnetosomes, and arrange them into a chain that behaves like a magnetic compass. Rather than straight lines, magnetosome chains are slightly bent, as evidenced by electron cryotomography. Our experimental and theoretical results suggest that due to the competition between the magnetocrystalline and shape anisotropies, the effective magnetic moment of individual magnetosomes is tilted out of the [111] crystallographic easy axis of magnetite. This tilt does not affect the direction of the chain net magnetic moment, which remains along the [111] axis, but explains the arrangement of magnetosomes in helical-like shaped chains. Indeed, we demonstrate that the chain shape can be reproduced by considering an interplay between the magnetic dipolar interactions between magnetosomes, ruled by the orientation of the magnetosome magnetic moment, and a lipid/protein-based mechanism, modeled as an elastic recovery force exerted on the magnetosomes.


title: A Descent Method for Nonsmooth Multiobjective Optimization in Hilbert Spaces

abstract: The efficient optimization method for locally Lipschitz continuous multiobjective optimization problems from [1] is extended from finite-dimensional problems to general Hilbert spaces. The method iteratively computes Pareto critical points, where in each iteration, an approximation of the subdifferential is computed in an efficient manner and then used to compute a common descent direction for all objective functions. To prove convergence, we present some new optimality results for nonsmooth multiobjective optimization problems in Hilbert spaces. Using these, we can show that every accumulation point of the sequence generated by our algorithm is Pareto critical under common assumptions. Computational efficiency for finding Pareto critical points is numerically demonstrated for multiobjective optimal control of an obstacle problem.


title: High-Precision Geosteering via Reinforcement Learning and Particle Filters

abstract: Geosteering, a key component of drilling operations, traditionally involves manual interpretation of various data sources such as well-log data. This introduces subjective biases and inconsistent procedures. Academic attempts to solve geosteering decision optimization with greedy optimization and Approximate Dynamic Programming (ADP) showed promise but lacked adaptivity to realistic diverse scenarios. Reinforcement learning (RL) offers a solution to these challenges, facilitating optimal decision-making through reward-based iterative learning. State estimation methods, e.g., particle filter (PF), provide a complementary strategy for geosteering decision-making based on online information. We integrate an RL-based geosteering with PF to address realistic geosteering scenarios. Our framework deploys PF to process real-time well-log data to estimate the location of the well relative to the stratigraphic layers, which then informs the RL-based decision-making process. We compare our method's performance with that of using solely either RL or PF. Our findings indicate a synergy between RL and PF in yielding optimized geosteering decisions.


title: FD-Vision Mamba for Endoscopic Exposure Correction

abstract: In endoscopic imaging, the recorded images are prone to exposure abnormalities, so maintaining high-quality images is important to assist healthcare professionals in performing decision-making. To overcome this issue, We design a frequency-domain based network, called FD-Vision Mamba (FDVM-Net), which achieves high-quality image exposure correction by reconstructing the frequency domain of endoscopic images. Specifically, inspired by the State Space Sequence Models (SSMs), we develop a C-SSM block that integrates the local feature extraction ability of the convolutional layer with the ability of the SSM to capture long-range dependencies. A two-path network is built using C-SSM as the basic function cell, and these two paths deal with the phase and amplitude information of the image, respectively. Finally, a degraded endoscopic image is reconstructed by FDVM-Net to obtain a high-quality clear image. Extensive experimental results demonstrate that our method achieves state-of-the-art results in terms of speed and accuracy, and it is noteworthy that our method can enhance endoscopic images of arbitrary resolution. The URL of the code is \url{https://github.com/zzr-idam/FDVM-Net}.


title: Learning using privileged information for segmenting tumors on digital mammograms

abstract: Limited amount of data and data sharing restrictions, due to GDPR compliance, constitute two common factors leading to reduced availability and accessibility when referring to medical data. To tackle these issues, we introduce the technique of Learning Using Privileged Information. Aiming to substantiate the idea, we attempt to build a robust model that improves the segmentation quality of tumors on digital mammograms, by gaining privileged information knowledge during the training procedure. Towards this direction, a baseline model, called student, is trained on patches extracted from the original mammograms, while an auxiliary model with the same architecture, called teacher, is trained on the corresponding enhanced patches accessing, in this way, privileged information. We repeat the student training procedure by providing the assistance of the teacher model this time. According to the experimental results, it seems that the proposed methodology performs better in the most of the cases and it can achieve 10% higher F1 score in comparison with the baseline.


title: Optimal estimation of Gaussian (poly)trees

abstract: We develop optimal algorithms for learning undirected Gaussian trees and directed Gaussian polytrees from data. We consider both problems of distribution learning (i.e. in KL distance) and structure learning (i.e. exact recovery). The first approach is based on the Chow-Liu algorithm, and learns an optimal tree-structured distribution efficiently. The second approach is a modification of the PC algorithm for polytrees that uses partial correlation as a conditional independence tester for constraint-based structure learning. We derive explicit finite-sample guarantees for both approaches, and show that both approaches are optimal by deriving matching lower bounds. Additionally, we conduct numerical experiments to compare the performance of various algorithms, providing further insights and empirical evidence.


title: A numerical algorithm for matrix spectral factorization on the real line

abstract: In this paper, the Janashia-Lagvilava matrix spectral factorization algorithm, which is designed for power spectral density functions defined on the unit circle, is extended to the real line. The proposed algorithm can be used directly for continuous-time models


title: Robust Rao-type tests for step-stress accelerated life-tests under interval-monitoring and Weibull lifetime distributions

abstract: Many products in engineering are highly reliable with large mean lifetimes to failure. Performing lifetests under normal operations conditions would thus require long experimentation times and high experimentation costs. Alternatively, accelerated lifetests shorten the experimentation time by running the tests at higher than normal stress conditions, thus inducing more failures. Additionally, a log-linear regression model can be used to relate the lifetime distribution of the product to the level of stress it experiences. After estimating the parameters of this relationship, results can be extrapolated to normal operating conditions. On the other hand, censored data is common in reliability analysis. Interval-censored data arise when continuous inspection is difficult or infeasible due to technical or budgetary constraints. In this paper, we develop robust restricted estimators based on the density power divergence for step-stress accelerated life-tests under Weibull distributions with interval-censored data. We present theoretical asymptotic properties of the estimators and develop robust Rao-type test statistics based on the proposed robust estimators for testing composite null hypothesis on the model parameters.


title: Exact solutions to $\displaystyle{\max_{\|x\|=1} \sum_{i=1}^\infty\|T_i(x)\|^2}$ with applications to Physics, Bioengineering and Statistics

abstract: The supporting vectors of a matrix A are the solutions of max || x ||_2 =1 {||Ax||_2^2}. The generalized supporting vectors of matrices A_1 , . . . , A_k are the solutions of max || x ||_2 =1 {||A_1x||_2^2 + ||A_2x||_2^2 + ... + ||A_kx||_2^2}. Notice that the previous optimization problem is also a boundary element problem since the maximum is attained on the unit sphere. Many problems in Physics, Statistics and Engineering can be modeled by using generalized supporting vectors. In this manuscript we first raise the generalized supporting vectors to the infinite dimensional case by solving the optimization problem max || x || =1 sum_{i=1}^\infty ||T i (x )||^2 where (T i )_i is a sequence ofbounded linear operators between Hilbert spaces H and K of any dimension. Observe that the previous optimization problem generalizes the first two. Then a unified MATLAB code is presented for computing generalized supporting vectors of a finite number of matrices. Some particular cases are considered and three novel examples are provided to which our technique applies: optimized observable magnitudes by a pure state in a quantum mechanical system, a TMS optimized coil and an optimal location problem using statistics multivariate analysis. These three examples show the wide applicability of our theoretical and computational model.


title: pSTL-Bench: A Micro-Benchmark Suite for Assessing Scalability of C++ Parallel STL Implementations

abstract: Since the advent of parallel algorithms in the C++17 Standard Template Library (STL), the STL has become a viable framework for creating performance-portable applications. Given multiple existing implementations of the parallel algorithms, a systematic, quantitative performance comparison is essential for choosing the appropriate implementation for a particular hardware configuration. In this work, we introduce a specialized set of micro-benchmarks to assess the scalability of the parallel algorithms in the STL. By selecting different backends, our micro-benchmarks can be used on multi-core systems and GPUs. Using the suite, in a case study on AMD and Intel CPUs and NVIDIA GPUs, we were able to identify substantial performance disparities among different implementations, including GCC+TBB, GCC+HPX, Intel's compiler with TBB, or NVIDIA's compiler with OpenMP and CUDA.


title: Maia: A Real-time Non-Verbal Chat for Human-AI Interaction

abstract: Face-to-face communication modeling in computer vision is an area of research focusing on developing algorithms that can recognize and analyze non-verbal cues and behaviors during face-to-face interactions. We propose an alternative to text chats for Human-AI interaction, based on non-verbal visual communication only, using facial expressions and head movements that mirror, but also improvise over the human user, to efficiently engage with the users, and capture their attention in a low-cost and real-time fashion. Our goal is to track and analyze facial expressions, and other non-verbal cues in real-time, and use this information to build models that can predict and understand human behavior. We offer three different complementary approaches, based on retrieval, statistical, and deep learning techniques. We provide human as well as automatic evaluations and discuss the advantages and disadvantages of each direction.