title: Coop: Memory is not a Commodity

abstract: Tensor rematerialization allows the training of deep neural networks (DNNs) under limited memory budgets by checkpointing the models and recomputing the evicted tensors as needed. However, the existing tensor rematerialization techniques overlook the memory system in deep learning frameworks and implicitly assume that free memory blocks at different addresses are identical. Under this flawed assumption, discontiguous tensors are evicted, among which some are not used to allocate the new tensor. This leads to severe memory fragmentation and increases the cost of potential rematerializations. To address this issue, we propose to evict tensors within a sliding window to ensure all evictions are contiguous and are immediately used. Furthermore, we proposed cheap tensor partitioning and recomputable in-place to further reduce the rematerialization cost by optimizing the tensor allocation. We named our method Coop as it is a co-optimization of tensor allocation and tensor rematerialization. We evaluated Coop on eight representative DNNs. The experimental results demonstrate that Coop achieves up to $2\times$ memory saving and hugely reduces compute overhead, search latency, and memory fragmentation compared to the state-of-the-art baselines.


title: SIRS epidemics with individual heterogeneity of immunity waning

abstract: We analyse an extended SIRS epidemic model in which immunity at the individual level wanes gradually at exponential rate, but where the waning rate may differ between individuals, for instance as an effect of differences in immune systems. The model also includes vaccination schemes aimed to reach and maintain herd immunity. We consider both the informed situation where the individual waning parameters are known, thus allowing selection of vaccinees being based on both time since last vaccination as well as on the individual waning rate, and the more likely uninformed situation where individual waning parameters are unobserved, thus only allowing vaccination schemes to depend on time since last vaccination. The optimal vaccination policies for both the informed and uniformed heterogeneous situation are derived and compared with the homogeneous waning model (meaning all individuals have the same immunity waning rate), as well as to the classic SIRS model where immunity at the individual level drops from complete immunity to complete susceptibility in one leap. It is shown that the classic SIRS model requires least vaccines, followed by the SIRS with homogeneous gradual waning, followed by the informed situation for the model with heterogeneous gradual waning. The situation requiring most vaccines for herd immunity is the most likely scenario, that immunity wanes gradually with unobserved individual heterogeneity. For parameter values chosen to mimic COVID-19 and assuming perfect initial immunity and cumulative immunity of 12 months, the classic homogeneous SIRS epidemic suggests that vaccinating individuals every 15 months is sufficient to reach and maintain herd immunity, whereas the uninformed case for exponential waning with rate heterogeneity corresponding to a coefficient of variation being 0.5, requires that individuals instead need to be vaccinated every 4.4 months.


title: Large deviations and conditioning for chaotic non-invertible deterministic maps: analysis via the forward deterministic dynamics and the backward stochastic dynamics

abstract: The large deviations properties of trajectory observables for chaotic non-invertible deterministic maps as studied recently by N. R. Smith, Phys. Rev. E 106, L042202 (2022) and by R. Gutierrez, A. Canella-Ortiz, C. Perez-Espigares, arXiv:2304.13754 are revisited in order to analyze in detail the similarities and the differences with the case of stochastic Markov chains. To be concrete, we focus on the simplest example displaying the two essential properties of local-stretching and global-folding, namely the doubling map $ x_{t+1} = 2 x_t [\text{mod} 1] $ on the real-space interval $x \in [0,1[$ that can be also analyzed via the decomposition $x= \sum_{l=1}^{+\infty} \frac{\sigma_l}{2^l} $ into binary coefficients $\sigma_l=0,1$. The large deviations properties of trajectory observables can be studied either via deformations of the forward deterministic dynamics or via deformations of the backward stochastic dynamics. Our main conclusions concerning the construction of the corresponding Doob canonical conditioned processes are: (i) non-trivial conditioned dynamics can be constructed only in the backward stochastic perspective where the reweighting of existing transitions is possible, and not in the forward deterministic perspective ; (ii) the corresponding conditioned steady state is not smooth on the real-space interval $x \in [0,1[$ and can be better characterized in the binary space $\sigma_{l=1,2,..,+\infty}$. As a consequence, the backward stochastic dynamics in the binary space is also the most appropriate framework to write the explicit large deviations at level 2 for the probability of the empirical density of long backward trajectories.


title: Rethinking Variational Inference for Probabilistic Programs with Stochastic Support

abstract: We introduce Support Decomposition Variational Inference (SDVI), a new variational inference (VI) approach for probabilistic programs with stochastic support. Existing approaches to this problem rely on designing a single global variational guide on a variable-by-variable basis, while maintaining the stochastic control flow of the original program. SDVI instead breaks the program down into sub-programs with static support, before automatically building separate sub-guides for each. This decomposition significantly aids in the construction of suitable variational families, enabling, in turn, substantial improvements in inference performance.


title: Graph-based mutually exciting point processes for modelling event times in docked bike-sharing systems

abstract: This paper introduces graph-based mutually exciting processes (GB-MEP) to model event times in network point processes, focusing on an application to docked bike-sharing systems. GB-MEP incorporates known relationships between nodes in a graph within the intensity function of a node-based multivariate Hawkes process. This approach reduces the number of parameters to a quantity proportional to the number of nodes in the network, resulting in significant advantages for computational scalability when compared to traditional methods. The model is applied on event data observed on the Santander Cycles network in central London, demonstrating that exploiting network-wide information related to geographical location of the stations is beneficial to improve the performance of node-based models for applications in bike-sharing systems. The proposed GB-MEP framework is more generally applicable to any network point process where a distance function between nodes is available, demonstrating wider applicability.


title: Evaluating Binary Outcome Classifiers Estimated from Survey Data

abstract: Surveys are commonly used to facilitate research in epidemiology, health, and the social and behavioral sciences. Often, these surveys are not simple random samples, and respondents are given weights reflecting their probability of selection into the survey. It is well known that analysts can use these survey weights to produce unbiased estimates of population quantities like totals. In this article, we show that survey weights also can be beneficial for evaluating the quality of predictive models when splitting data into training and test sets. In particular, we characterize model assessment statistics, such as sensitivity and specificity, as finite population quantities, and compute survey-weighted estimates of these quantities with sample test data comprising a random subset of the original data.Using simulations with data from the National Survey on Drug Use and Health and the National Comorbidity Survey, we show that unweighted metrics estimated with sample test data can misrepresent population performance, but weighted metrics appropriately adjust for the complex sampling design. We also show that this conclusion holds for models trained using upsampling for mitigating class imbalance. The results suggest that weighted metrics should be used when evaluating performance on sample test data.


title: Hysteresis and chaos in anomalous Josephson junctions without capacitance

abstract: Usually, overdamped Josephson junctions do not exhibit chaotic behaviour in their phase dynamics, either because the phase space dimension is less than three (as in the case of a single overdamped ac-driven junction) or due to the general tendency of systems to become less chaotic with increasing dissipation (as in the case of coupled overdamped junctions). Here we consider the so-called $\varphi_0$ S/F/S Josephson junction in which the current flowing through the junction may induce magnetization dynamics in the ferromagnetic interlayer, between the two superconducting layers. We find that, due to the induced magnetization dynamics, even in the overdamped limit, i.e. for a junction without capacitance, the junction may exhibit chaos and hysteresis that in some cases leads to multiple branches in its current-voltage characteristics. We also show that pulsed current signals can result in switching between different voltage states, a result which is potentially useful for superconducting memory applications.


title: A quick algorithm to compute an approximated power spectral density from an arbitrary Allan deviation

abstract: Complex architectures for wireless communications, digital electronics and space-based navigation interlink several oscillator-based devices such as clocks, transponders and synthesizers. Estimators characterizing their stability are critical for addressing the impact of random fluctuations (noise) on the overall system performance. Manufacturers typically specify this as an Allan/Hadamard Variance (AVAR/HVAR) profile in the _integration_ time domain, yet, stochastic processes governing the noise take place in the _Fourier_ frequency domain in the shape of a Power Spectral Density (PSD) function. Both are second-moment measures of the time series, however, it is only possible to translate unambiguously from the PSD to the AVAR/HVAR, not vice versa, except in the case of a single noise type, which is severely limiting in real-life applications. This note elaborates an analytical method to generate an approximated PSD expressed as a set of power-laws defined in specific intervals in the frequency domain, starting from an AVAR/HVAR expressed a set of power-laws in the time domain. The proposed algorithm is straightforward to implement, applicable to all noise types (and combinations thereof) and can be self-validated by reconstructing the corresponding AVAR/HVAR by direct calculus. We also report on its limitations of and analytical expressions of the continuous version of this algorithm. Coupling with well-established algorithms relying on the PSD for power-law noise generation, the ensuing method encompasses the capability for generating multi-colored noise in end-to-end simulations, as demonstrated hereby for NASA's Deep Space Atomic Clock.


title: Structure Learning with Adaptive Random Neighborhood Informed MCMC

abstract: In this paper, we introduce a novel MCMC sampler, PARNI-DAG, for a fully-Bayesian approach to the problem of structure learning under observational data. Under the assumption of causal sufficiency, the algorithm allows for approximate sampling directly from the posterior distribution on Directed Acyclic Graphs (DAGs). PARNI-DAG performs efficient sampling of DAGs via locally informed, adaptive random neighborhood proposal that results in better mixing properties. In addition, to ensure better scalability with the number of nodes, we couple PARNI-DAG with a pre-tuning procedure of the sampler's parameters that exploits a skeleton graph derived through some constraint-based or scoring-based algorithms. Thanks to these novel features, PARNI-DAG quickly converges to high-probability regions and is less likely to get stuck in local modes in the presence of high correlation between nodes in high-dimensional settings. After introducing the technical novelties in PARNI-DAG, we empirically demonstrate its mixing efficiency and accuracy in learning DAG structures on a variety of experiments.


title: Cumulant method for weighted random connection models

abstract: In this paper, we derive cumulant bounds for subgraph counts and power-weighted edge length in a class of spatial random networks known as weighted random connection models. This involves dealing with long-range spatial correlations induced by the profile function and the weight distribution. We start by deriving the bounds for the classical case of a Poisson vertex set, and then provide extensions to $\alpha$-determinantal processes.


title: Telescope conjecture via homological residue fields with applications to schemes

abstract: For a big tt-category, we give a characterization of the Telescope Conjecture (TC) in terms of definable tensor-ideals generated by homological residue fields. We formulate a stalk-locality property of (TC) and prove that it holds in the case of the derived category of a quasi-compact quasi-separated scheme, strengthening a result \cite{HHZ21}. As an application, we find strong links between (TC) and separation properties of the adic topology on local rings. This allows us to recover known examples and counterexamples of when (TC) holds over a scheme, as well as to construct some new ones.


title: 2D high temperature superconductor integration in contact printed circuit boards

abstract: Inherent properties of superconducting Bi2Sr2CaCu2O8+x films, such as the high superconducting transition temperature Tc, efficient Josephson coupling between neighboring CuO layers, and fast quasiparticle relaxation dynamics, make them a promising platform for advances in quantum computing and communication technologies. However, preserving two-dimensional superconductivity during device fabrication is an outstanding experimental challenge because of the fast degradation of the superconducting properties of two-dimensional flakes when they are exposed to moisture, organic sol vents, and heat. Here, to realize superconducting devices utilizing two-dimensional superconducting films, we develop a novel fabrication technique relying on the cryogenic dry transfer of printable circuits embedded into a silicon nitride membrane. This approach separates the circuit fabrication stage requiring chemically reactive substances and ionizing physical processes from the creation of the thin superconducting structures. Apart from providing electrical contacts in a single transfer step, the membrane encapsulates the surface of the crystal shielding it from the environment. The fabricated atomically thin Bi2Sr2CaCu2O8+x-based devices show high superconducting transition temperature Tc ~ 91 K close to that of the bulk crystal and demonstrate stable super conducting properties


title: Occluded Person Re-Identification with Deep Learning: A Survey and Perspectives

abstract: Person re-identification (Re-ID) technology plays an increasingly crucial role in intelligent surveillance systems. Widespread occlusion significantly impacts the performance of person Re-ID. Occluded person Re-ID refers to a pedestrian matching method that deals with challenges such as pedestrian information loss, noise interference, and perspective misalignment. It has garnered extensive attention from researchers. Over the past few years, several occlusion-solving person Re-ID methods have been proposed, tackling various sub-problems arising from occlusion. However, there is a lack of comprehensive studies that compare, summarize, and evaluate the potential of occluded person Re-ID methods in detail. In this review, we start by providing a detailed overview of the datasets and evaluation scheme used for occluded person Re-ID. Next, we scientifically classify and analyze existing deep learning-based occluded person Re-ID methods from various perspectives, summarizing them concisely. Furthermore, we conduct a systematic comparison among these methods, identify the state-of-the-art approaches, and present an outlook on the future development of occluded person Re-ID.


title: A Systematic Review of Approximability Results for Traveling Salesman Problems leveraging the TSP-T3CO Definition Scheme

abstract: The traveling salesman (or salesperson) problem, short TSP, is a problem of strong interest to many researchers from mathematics, economics, and computer science. Manifold TSP variants occur in nearly every scientific field and application domain: engineering, physics, biology, life sciences, and manufacturing just to name a few. Several thousand papers are published on theoretical research or application-oriented results each year. This paper provides the first systematic survey on the best currently known approximability and inapproximability results for well-known TSP variants such as the "standard" TSP, Path TSP, Bottleneck TSP, Maximum Scatter TSP, Generalized TSP, Clustered TSP, Traveling Purchaser Problem, Profitable Tour Problem, Quota TSP, Prize-Collecting TSP, Orienteering Problem, Time-dependent TSP, TSP with Time Windows, and the Orienteering Problem with Time Windows. The foundation of our survey is the definition scheme T3CO, which we propose as a uniform, easy-to-use and extensible means for the formal and precise definition of TSP variants. Applying T3CO to formally define the variant studied by a paper reveals subtle differences within the same named variant and also brings out the differences between the variants more clearly. We achieve the first comprehensive, concise, and compact representation of approximability results by using T3CO definitions. This makes it easier to understand the approximability landscape and the assumptions under which certain results hold. Open gaps become more evident and results can be compared more easily.


title: Cooling power analysis of a small scale 4 K pulse tube cryocooler driven by an oil-free low input power Helium compressor

abstract: Here we report the performance of a small scale 4 K pulse tube cryocooler operating with a low input power reaching a minimum temperature of 2.2 K, as well as a cooling capacity of over 240 mW at 4.2 K. The compressor is air cooled and can be supplied by single phase power sockets. With an input power of about 1.3 kW the coefficient of performance reaches values of up to 185 mW/kW, which is among the highest currently reported values for small to medium power pulse tubes. The combination of an oil-free Helium compressor and low maintenance pulse tube cryocooler provides a unique miniaturized, energy efficient and mobile cooling tool for applications at 4 K and below.


title: Evaluation of the effectiveness of an introductory mechanics Lab with Arduino and smartphone

abstract: This article describes the reform of a physics undergraduate lab course by introducing new technologies such as Arduino microcontroller and smartphone, to help students experience a more authentic lab experience. This paper outlines the structure of the lab activities and presents findings from pre- and post-course questionnaires, including the E-CLASS survey, completed by participating students. Some interesting observations about teamwork and equity emerged from these questionnaires, particularly about female students. These results will guide us in designing more effective and equitable lab courses.


title: A comparison principle between certain Levi-flat compact CR manifolds and systems of real vector fields

abstract: We study, in some models of Levi flat CR manifolds, the correspondence between the tangential Cauchy-Riemann complex and the complex defined by the associated real foliation.


title: Spacetime is Right-handed

abstract: We describe the relation between vectors and spinors in complex spacetime in an unconventional chirally asymmetric manner, using purely right-handed spinors, with Minkowski spacetime getting Wick rotated to a four-dimensional Euclidean spacetime with a distinguished direction. In this right-handed spinor geometry self-dual two-forms can be used to get chiral formulations of the Yang-Mills and general relativity actions. Euclidean spacetime left-handed spinors then transform under an internal $SU(2)$ symmetry, rather than the usual $SU(2)_L$ spacetime symmetry related by analytic continuation to the Lorentz group $SL(2,\mathbf C)$.


title: Three surprising instances of dividing

abstract: We give three counterexamples to the folklore claim that in an arbitrary theory, if a complete type $p$ over a set $B$ does not divide over $C\subseteq B$, then no extension of $p$ to a complete type over $\text{acl}(B)$ divides over $C$. Two of our examples are also the first known theories where all sets are extension bases for nonforking, but forking and dividing differ for complete types (answering a question of Adler). One example is an NSOP$_1$ theory with a complete type that forks, but does not divide, over a model (answering a question of d'Elb\'{e}e). Moreover, dividing independence fails to imply M-independence in this example (which refutes another folklore claim). In addition to these counterexamples, we summarize various related properties of dividing that are still true. We also address consequences for previous literature, including an earlier unpublished result about forking and dividing in free amalgamation theories, and some claims about dividing in the theory of generic $K_{m,n}$-free incidence structures.


title: Regularized Shannon sampling formulas related to the special affine Fourier transform

abstract: In this paper, we present new regularized Shannon sampling formulas related to the special affine Fourier transform (SAFT). These sampling formulas use localized sampling with special compactly supported window functions, namely B-spline, sinh-type, and continuous Kaiser-Bessel window functions. In contrast to the Shannon sampling series for SAFT, the regularized Shannon sampling formulas for SAFT possesses an exponential decay of the approximation error and are numerically robust in the presence of noise, if certain oversampling condition is fulfilled. Several numerical experiments illustrate the theoretical results.


title: Adaptive Threshold Selection for Set Membership State Estimation with Quantized Measurements

abstract: State estimation for discrete-time linear systems with quantized measurements is addressed. By exploiting the set-theoretic nature of the information provided by the quantizer, the problem is cast in the set membership estimation setting. Motivated by the possibility of suitably tuning the quantizer thresholds in sensor networks, the optimal design of adaptive quantizers is formulated in terms of the minimization of the radius of information associated to the state estimation problem. The optimal solution is derived for first-order systems and the result is exploited to design adaptive quantizers for generic systems, minimizing the size of the feasible output signal set. Then, the minimum number of sensor thresholds for which the adaptive quantizers guarantee asymptotic boundedness of the state estimation uncertainty is established. Threshold adaptation mechanisms based on several types of outer approximations of the feasible state set are also proposed. The effectiveness of the designed adaptive quantizers is demonstrated on numerical tests involving a specific case study and randomly generated systems, highlighting the trade off between the resulting estimation uncertainty and the computational burden required by recursive set approximations.


title: A Collaborative Filtering-Based Two Stage Model with Item Dependency for Course Recommendation

abstract: Recommender systems have been studied for decades with numerous promising models been proposed. Among them, Collaborative Filtering (CF) models are arguably the most successful one due to its high accuracy in recommendation and elimination of privacy-concerned personal meta-data from training. This paper extends the usage of CF-based model to the task of course recommendation. We point out several challenges in applying the existing CF-models to build a course recommendation engine, including the lack of rating and meta-data, the imbalance of course registration distribution, and the demand of course dependency modeling. We then propose several ideas to address these challenges. Eventually, we combine a two-stage CF model regularized by course dependency with a graph-based recommender based on course-transition network, to achieve AUC as high as 0.97 with a real-world dataset.


title: Controllable Music Production with Diffusion Models and Guidance Gradients

abstract: We demonstrate how conditional generation from diffusion models can be used to tackle a variety of realistic tasks in the production of music in 44.1kHz stereo audio with sampling-time guidance. The scenarios we consider include continuation, inpainting and regeneration of musical audio, the creation of smooth transitions between two different music tracks, and the transfer of desired stylistic characteristics to existing audio clips. We achieve this by applying guidance at sampling time in a simple framework that supports both reconstruction and classification losses, or any combination of the two. This approach ensures that generated audio can match its surrounding context, or conform to a class distribution or latent representation specified relative to any suitable pre-trained classifier or embedding model. Audio samples are available at https://machinelearning.apple.com/research/controllable-music


title: On a mixed $L^1-L^\infty$ type Carleson condition on the nontangential derivative of A for an elliptic operator

abstract: We study an elliptic operator $L:=\mathrm{div}(A\nabla \cdot)$ on the upper half space. It is known that if the matrix $A$ is independent in the transversal $t$-direction, then we have $\omega\in A_\infty(\sigma)$. In the present paper we improve on the $t$-independece condition by introducing a mixed $L^1-L^\infty$ Carleson type condition that only depends on $\partial_t A$. By this we contribute to answering a question asked by Fabes-Jerison-Kenig in 1984. Under this condition, we show that $\omega\in A_\infty(\sigma)$.


title: 2023 Astrophotonics Roadmap: pathways to realizing multi-functional integrated astrophotonic instruments

abstract: Photonics offer numerous functionalities that can be used to realize astrophotonic instruments. The most spectacular example to date is the ESO Gravity instrument at the Very Large Telescope in Chile. Integrated astrophotonic devices stand to offer critical advantages for instrument development, including extreme miniaturization, as well as integration, superior thermal and mechanical stabilization owing to the small footprint, and high replicability offering cost savings. Numerous astrophotonic technologies have been developed to address shortcomings of conventional instruments to date, including for example the development of photonic lanterns, complex aperiodic fiber Bragg gratings, complex beam combiners to enable long baseline interferometry, and laser frequency combs for high precision spectral calibration of spectrometers. Despite these successes, the facility implementation of photonic solutions in astronomical instrumentation is currently limited because of (1) low throughputs from coupling to fibers, coupling fibers to chips, propagation and bend losses, device losses, etc, (2) difficulties with scaling to large channel count devices needed for large bandwidths and high resolutions, and (3) efficient integration of photonics with detectors, to name a few. In this roadmap, we identify 24 areas that need further development. We outline the challenges and advances needed across those areas covering design tools, simulation capabilities, fabrication processes, the need for entirely new components, integration and hybridization and the characterization of devices. To realize these advances the astrophotonics community will have to work cooperatively with industrial partners who have more advanced manufacturing capabilities. With the advances described herein, multi-functional instruments will be realized leading to novel observing capabilities for both ground and space platforms.


title: Statistics of C. elegans turning behavior reveals optimality under biasing constraints

abstract: Animal locomotion is often subject to constraints arising from anatomical/physiological asymmetries. We use the nematode C.~elegans as a minimal model system to ask whether such constraints might shape locomotion patterns optimized during evolution. We focus on turning behaviours in two contrasting environmental contexts: (i) random exploration in the absence of strong stimuli and (ii) acute avoidance (escape) navigation upon encountering a strong aversive stimulus. We characterise the full repertoire of reorientation behaviours, including gradual reorientations and various posturally distinct sharp turns. During exploration, our measurements and theoretical modelling indicate that orientation fluctuations on short timescales are, on average, optimized to compensate the constraining gradual turn bias on long timescales. During escape, our data suggests that the reorientation is controlled not by an analog logic of continuous turn-amplitude modulations, but rather through the digital logic of selecting discrete turn types, leading to a symmetric escape performance despite strongly asymmetric turning biases.


title: Iterated Perturbation Theory for Mott Insulators in a Static Electric Field with Optical Phonons

abstract: This manuscript aims to compare the so-called iterated perturbation theory (IPT) and auxiliary master equation approach (AMEA) impurity solvers for a Mott insulating system driven out of equilibrium by a static electric field. Electronic heat bath and optical phonons are employed as dissipation mechanism of the current-induced Joule heat that the excited electrons of the lattice experience as the result of the field's driving. Despite its simplicity, the IPT approach yields results which qualitatively are in good agreement with those obtained within the AMEA impurity solver, although fails to reproduce some correlation effects.


title: De-Diffusion Makes Text a Strong Cross-Modal Interface

abstract: We demonstrate text as a strong cross-modal interface. Rather than relying on deep embeddings to connect image and language as the interface representation, our approach represents an image as text, from which we enjoy the interpretability and flexibility inherent to natural language. We employ an autoencoder that uses a pre-trained text-to-image diffusion model for decoding. The encoder is trained to transform an input image into text, which is then fed into the fixed text-to-image diffusion decoder to reconstruct the original input -- a process we term De-Diffusion. Experiments validate both the precision and comprehensiveness of De-Diffusion text representing images, such that it can be readily ingested by off-the-shelf text-to-image tools and LLMs for diverse multi-modal tasks. For example, a single De-Diffusion model can generalize to provide transferable prompts for different text-to-image tools, and also achieves a new state of the art on open-ended vision-language tasks by simply prompting large language models with few-shot examples.


title: Noise Correction on Subjective Datasets

abstract: Incorporating every annotator's perspective is crucial for unbiased data modeling. Annotator fatigue and changing opinions over time can distort dataset annotations. To combat this, we propose to learn a more accurate representation of diverse opinions by utilizing multitask learning in conjunction with loss-based label correction. We show that using our novel formulation, we can cleanly separate agreeing and disagreeing annotations. Furthermore, this method provides a controllable way to encourage or discourage disagreement. We demonstrate that this modification can improve prediction performance in a single or multi-annotator setting. Lastly, we show that this method remains robust to additional label noise that is applied to subjective data.


title: Sigma invariants for partial orders on nilpotent groups

abstract: We prove that a map onto a nilpotent group $Q$ has finitely generated kernel if and only if the preimage of the positive cone is coarsely connected as a subset of the Cayley graph for every full archimedean partial order on $Q$. In case $Q$ is abelian, we recover the classical theorem that $N$ is finitely generated if and only if $S(G,N) \subseteq \Sigma^1(G)$. Furthermore, we provide a way to construct all such orders on nilpotent groups. A key step is to translate the classical setting based on characters into a language of orders on $G$.


title: Revisited nuclear magnetic dipole and electric quadrupole moments of polonium isotopes

abstract: We revisited the electronic structure parameters used to interpret the hyperfine structure of neutral polonium. We used a computational scheme that treats relativistic and high-order electronic correlation effects within the coupled cluster with single, double, triple and perturbative quadruple excitations CCSDT(Q) method, as well as estimate the contribution of quantum electrodynamics and finite nuclear size effects. A systematic study of the uncertainty is carried out. This allowed us to obtain significantly refined values for the nuclear magnetic dipole and electric quadrupole moments of a wide range of odd-mass polonium isotopes. For $^{205}$Po and $^{207}$Po we extracted both the magnetic moment and the nuclear magnetization distribution parameter in a nuclear model-independent way. To assess the accuracy of the calculations, we also computed the ionization potential (IP), excitation energies (EE) of the $6p^4~{}^1D_2$ and $6p^3 7s^1~{}^5S_2$ electronic states and the electronic $g_J$ factor in the same theoretical framework. A good agreement of the theory and experiment for IP, EEs and $g_J$ confirms the reliability of the computational scheme and uncertainty estimation for the Po electromagnetic moments. We identify the $6p^4~{}^1D_2$ electronic level as a potentially promising state for further studies of the nuclear moments of polonium isotopes.


title: Non-collinear 2k antiferromagnetism in the Zintl semiconductor Eu$_5$In$_2$Sb$_6$

abstract: Eu$_5$In$_2$Sb$_6$ is an orthorhombic non-symmorphic small band gap semiconductor with three distinct Eu$^{2+}$ sites and two low-temperature magnetic phase transitions. The material displays one of the greatest (negative) magnetoresistances of known stoichiometric antiferromagnets and belongs to a family of Zintl materials that may host an axion insulator. Using single crystal neutron diffraction, we show that the $T_{\mathrm{N1}}=14\mathrm{~K}$ second-order phase transition is associated with long-range antiferromagnetic order within the chemical unit cell $\left( k_1 = (000) \right)$. Upon cooling below $T_{\mathrm{N1}}$, the relative sublattice magnetizations of this structure vary until a second-order phase transition at $T_{\mathrm{N2}}=7\mathrm{~K}$ that doubles the unit cell along the $\hat{c}$ axis $\left( k_2 = \left(00\frac{1}{2}\right) \right)$. We show the anisotropic susceptibility and our magnetic neutron diffraction data are consistent with magnetic structures described by the $\Gamma_3$ irreducible representation with the staggered magnetization of the $k_1$ and $k_2$ components polarized along the $\hat{b}$ and $\hat{a}$ axis, respectively. As the $k_2$ component develops, the amplitude of the $k_1$ component is reduced, which indicates a 2k non-collinear magnetic structure. Density functional theory is used to calculate the energies of these magnetic structures and to show the $k_1$ phase is a metal so $T_{\mathrm{N1}}$ is a rare example of a unit-cell-preserving second-order phase transition from a paramagnetic semiconductor to an antiferromagnetic metal. DFT indicates the transition at $T_{\mathrm{N2}}$ to a doubled unit cell reduces the carrier density of the metal, which is consistent with resistivity data.


title: Eigenfunctions of the Laplacian satisfying Hardy-type estimates on homogeneous trees

abstract: This work deals with the characterization of eigenfunctions of the Laplacian $\mathcal{L}$ on a homogeneous tree $\mathcal{X}$, which satisfy certain growth conditions. More precisely, we shall prove that the Poisson transform on $\mathcal{X}$ provides an one-to-one correspondence between the subspace of all Hardy-type eigenfunctions of $\mathcal{L}$ on $\mathcal{X}$ and the Lebesgue spaces (possibly the set of all complex measures) on the boundary of $\mathcal{X}$.


title: Reverberant sound field equalisation for an enhanced stereo playback experience

abstract: The topic of room equalisation has been at the forefront of research and product development for many years, with the aim of increasing the playback quality of loudspeakers in reverberant rooms. Traditional room equalisation systems comprise of a number of filters that when applied to the primary loudspeakers, additional room colouration is compensated for. This publication introduces a novel equalisation technique where gammatone filter band energy is added to the reverberant sound field via two surround loudspeakers, leaving the direct sound from the primary loudspeakers unaltered, but the sum of direct and reverberant energy is equalised at the listening position. Unlike traditional systems, this method allows the target function of the direct sound to differ from the reverberant sound field. The proposed method is motivated by the different roles direct and reverberant sound components play in humans perception of sound. Along with introducing the proposed method, results from a subjective listening test are presented, demonstrating the preference towards the proposed technique when compared to a traditional room equalisation technique and stereo playback.


title: Revisiting Asymptotic Theory for Principal Component Estimators of Approximate Factor Models

abstract: It is well-known that the approximate factor models have the rotation indeterminacy. It has been considered that the principal component (PC) estimators estimate some rotations of the true factors and factor loadings, but the rotation matrix commonly used in the literature depends on the PC estimator itself. This raises a question: what does the PC estimator consistently estimate? This paper aims to explore the answer. We first show that, assuming a quite general weak factor model with the $r$ signal eigenvalues diverging possibly at different rates, there always exists a unique rotation matrix composed only of the true factors and loadings, such that it rotates the true model to the identifiable model satisfying the standard $r^2$ restrictions. We call the rotated factors and loadings the pseudo-true parameters. We next establish the consistency and asymptotic normality of the PC estimator for this pseudo-true parameter. The results give an answer for the question: the PC estimator consistently estimates the pseudo-true parameter. We also investigate similar problems in the factor augmented regression. Finite sample experiments confirm the excellent approximation of the theoretical results.


title: nvblox: GPU-Accelerated Incremental Signed Distance Field Mapping

abstract: Dense, volumetric maps are essential to enable robot navigation and interaction with the environment. To achieve low latency, dense maps are typically computed onboard the robot, often on computationally constrained hardware. Previous works leave a gap between CPU-based systems for robotic mapping which, due to computation constraints, limit map resolution or scale, and GPU-based reconstruction systems which omit features that are critical to robotic path planning, such as computation of the Euclidean Signed Distance Field (ESDF). We introduce a library, nvblox, that aims to fill this gap, by GPU-accelerating robotic volumetric mapping. Nvblox delivers a significant performance improvement over the state of the art, achieving up to a 177x speed-up in surface reconstruction, and up to a 31x improvement in distance field computation, and is available open-source.


title: Keck and Hubble Observations Show That MOA-2008-BLG-379Lb Is a Super-Jupiter Orbiting an M Dwarf

abstract: We present high angular resolution imaging that detects the MOA-2008-BLG-379L exoplanet host star using Keck adaptive optics and the Hubble Space Telescope. These observations reveal host star and planet masses of $M_{\rm host}=0.434\pm0.065 M_\odot$, and $m_p=2.44 \pm 0.49 M_{\rm Jupiter}$. They are located at a distance of $D_L=3.44\pm0.53\,$kpc, with a projected separation of $2.70\pm 0.42\,$AU. These results contribute to our determination of exoplanet host star masses for the Suzuki et al. (2016) statistical sample, which will determine the dependence of the planet occurrence rate on the mass and distance of the host stars. We also present a detailed discussion of the image constrained modeling version of the eesunhong light curve modeling code that applies high angular resolution image constraints to the light curve modeling process. This code increases modeling efficiency by a large factor by excluding models that are inconsistent with the high angular resolution images. The analysis of this and other events from the Suzuki et al. (2016) statistical sample reveals the importance of including higher order effects, such as microlensing parallax and planetary orbital motion even when these features are not required to fit the light curve data. The inclusion of these effects may be needed to obtain accurate estimates of the uncertainty of other microlensing parameters that affect the inferred properties of exoplanet microlens systems. This will be important for the exoplanet microlensing survey of the Roman Space Telescope, which will use both light curve photometry and high angular resolution imaging to characterize planetary microlens systems.


title: Conventionalism, cosmology and teleparallel gravity

abstract: We consider homogeneous and isotropic cosmological models in the framework of three geometrical theories of gravitation: in the Einstein general relativity they are given in terms of the curvature of the Levi-Civita connection in torsion free metric spacetimes, in the teleparallel equivalent of general relativity they are given in terms of the torsion of flat metric spacetimes, and in the symmetric teleparallel equivalent of general relativity they are given in terms of the nonmetricity of flat torsion free spacetimes. We argue that although these three formulations seem to be different, the corresponding cosmological models are in fact equivalent and their choice is conventional.


title: Formal Translation from Reversing Petri Nets to Coloured Petri Nets

abstract: Reversible computation is an emerging computing paradigm that allows any sequence of operations to be executed in reverse order at any point during computation. Its appeal lies in its potential for lowpower computation and its relevance to a wide array of applications such as chemical reactions, quantum computation, robotics, and distributed systems. Reversing Petri nets are a recently-proposed extension of Petri nets that implements the three main forms of reversibility, namely, backtracking, causal reversing, and out-of-causal-order reversing. Their distinguishing feature is the use of named tokens that can be combined together to form bonds. Named tokens along with a history function, constitute the means of remembering past behaviour, thus, enabling reversal. In recent work, we have proposed a structural translation from a subclass of RPNs to the model of Coloured Petri Nets (CPNs), an extension of traditional Petri nets where tokens carry data values. In this paper, we extend the translation to handle RPNs with token multiplicity under the individual-token interpretation, a model which allows multiple tokens of the same type to exist in a system. To support the three types of reversibility, tokens are associated with their causal history and, while tokens of the same type are equally eligible to fire a transition when going forward, when going backwards they are able to reverse only the transitions they have previously fired. The new translation, in addition to lifting the restriction on token uniqueness, presents a refined approach for transforming RPNs to CPNs through a unifying approach that allows instantiating each of the three types of reversibility. The paper also reports on a tool that implements this translation, paving the way for automated translations and analysis of reversible systems using CPN Tools.


title: Nonequilibrium Green's Function simulation of Cu2O photocathodes for photoelectrochemical hydrogen production

abstract: In this work we present a simulation of the semiconductor electrodes of photoelectrochemical (PEC) water splitting cells based on the nonequilibrium Green's function (NEGF) formalism. While the performance of simple PEC cells can be adequately explained with semi-classical drift-diffusion theory, the increasing interest towards thin film cells and nanostructures in general requires theoretical treatment that can capture the quantum phenomena influencing the charge carrier dynamics in these devices. Specifically, we study a p-type Cu2O electrode and examine the influence of the bias voltage, reaction kinetics and the thickness of the Cu2O layer on the generated photocurrent. The NEGF equations are solved in a self-consistent manner with the electrostatic potential from Poisson's equation, sunlight induced photon scattering and the chemical overpotential required to drive the water splitting reaction. We show that the NEGF simulation accurately reproduces experimental results from both voltammetry and impedance spectroscopy measurements, while providing an energy resolved solution of the charge carrier densities and corresponding currents inside the semiconductor electrode at nanoscale.

categories: cond-mat.mes-hall physics.chem-ph physics.comp-ph quant-ph


title: VLA monitoring of LS V +44 17 reveals scatter in the X-ray--radio correlation of Be/X-ray binaries

abstract: LS V +44 17 is a persistent Be/X-ray binary (BeXRB) that displayed a bright, double-peaked period of X-ray activity in late 2022/early 2023. We present a radio monitoring campaign of this outburst using the Very Large Array. Radio emission was detected, but only during the second, X-ray brightest, peak, where the radio emission followed the rise and decay of the X-ray outburst. LS V +44 17 is therefore the third neutron star BeXRB with a radio counterpart. Similar to the other two systems (Swift J0243.6+6124 and 1A 0535+262), its X-ray and radio luminosity are correlated: we measure a power law slope $\beta = 1.25^{+0.64}_{-0.30}$ and a radio luminosity of $L_R = (1.6\pm0.2)\times10^{26}$ erg/s at a $0.5-10$ keV X-ray luminosity of $2\times10^{36}$ erg/s (i.e. $\sim 1\%$ $L_{\rm Edd}$). This correlation index is slightly steeper than measured for the other two sources, while its radio luminosity is higher. We discuss the origin of the radio emission, specifically in the context of jet launching. The enhanced radio brightness compared to the other two BeXRBs is the first evidence of scatter in the giant BeXRB outburst X-ray--radio correlation, similar to the scatter observed in sub-classes of low-mass X-ray binaries. While a universal explanation for such scatter is not known, we explore several options: we conclude that the three sources do not follow proposed scalings between jet power and neutron star spin or magnetic field, and instead briefly explore the effects that ambient stellar wind density may have on BeXRB jet luminosity.


title: Symmetrization results for general nonlocal linear ellipitic and parabolic problems

abstract: We establish a Talenti-type symmetrization result in the form of mass concentration (i.e. integral comparison) for very general linear nonlocal elliptic problems, equipped with homogeneous Dirichlet boundary conditions. In this framework, the relevant concentration comparison for the classical fractional Laplacian can be reviewed as a special case of our main result, thus generalizing the previous results in [21]. Finally, using an implicit time discretization techniques, similar results are obtained for the solutions of Cauchy-Dirichlet nonlocal linear parabolic problems.


title: Ab initio machine-learning unveils strong anharmonicity in non-Arrhenius self-diffusion of tungsten

abstract: We propose an efficient ab initio framework to compute the Gibbs energy of the transition state in vacancy-mediated diffusion including the relevant thermal excitations at density-functional-theory level. With the aid of a bespoke machine-learning interatomic potential, the temperature-dependent vacancy formation and migration Gibbs energies of the prototype system bcc tungsten are shown to be strongly affected by anharmonicity. This explains the physical origin of the experimentally observed non-Arrhenius behavior of W self-diffusion as a case study. The good agreement of the self-diffusivity with experiment demonstrates that accurate ab initio diffusion databases are in reach.


title: A Bi-level Framework for Traffic Accident Duration Prediction: Leveraging Weather and Road Condition Data within a Practical Optimum Pipeline

abstract: Due to the stochastic nature of events, predicting the duration of a traffic incident presents a formidable challenge. Accurate duration estimation can result in substantial advantages for commuters in selecting optimal routes and for traffic management personnel in addressing non-recurring congestion issues. In this study, we gathered accident duration, road conditions, and meteorological data from a database of traffic accidents to check the feasibility of a traffic accident duration pipeline without accident contextual information data like accident severity and textual description. Multiple machine learning models were employed to predict whether an accident's impact on road traffic would be of a short-term or long-term nature, and then utilizing a bimodal approach the precise duration of the incident's effect was determined. Our binary classification random forest model distinguished between short-term and long-term effects with an 83% accuracy rate, while the LightGBM regression model outperformed other machine learning regression models with Mean Average Error (MAE) values of 26.15 and 13.3 and RMSE values of 32.91 and 28.91 for short and long-term accident duration prediction, respectively. Using the optimal classification and regression model identified in the preceding section, we then construct an end-to-end pipeline to incorporate the entire process. The results of both separate and combined approaches were comparable with previous works, which shows the applicability of only using static features for predicting traffic accident duration. The SHAP value analysis identified weather conditions, wind chill and wind speed as the most influential factors in determining the duration of an accident.


title: GATSY: Graph Attention Network for Music Artist Similarity

abstract: The artist similarity quest has become a crucial subject in social and scientific contexts. Modern research solutions facilitate music discovery according to user tastes. However, defining similarity among artists may involve several aspects, even related to a subjective perspective, and it often affects a recommendation. This paper presents GATSY, a recommendation system built upon graph attention networks and driven by a clusterized embedding of artists. The proposed framework takes advantage of a graph topology of the input data to achieve outstanding performance results without relying heavily on hand-crafted features. This flexibility allows us to introduce fictitious artists in a music dataset, create bridges to previously unrelated artists, and get recommendations conditioned by possibly heterogeneous sources. Experimental results prove the effectiveness of the proposed method with respect to state-of-the-art solutions.


title: Kronecker-Factored Approximate Curvature for Modern Neural Network Architectures

abstract: The core components of many modern neural network architectures, such as transformers, convolutional, or graph neural networks, can be expressed as linear layers with $\textit{weight-sharing}$. Kronecker-Factored Approximate Curvature (K-FAC), a second-order optimisation method, has shown promise to speed up neural network training and thereby reduce computational costs. However, there is currently no framework to apply it to generic architectures, specifically ones with linear weight-sharing layers. In this work, we identify two different settings of linear weight-sharing layers which motivate two flavours of K-FAC -- $\textit{expand}$ and $\textit{reduce}$. We show that they are exact for deep linear networks with weight-sharing in their respective setting. Notably, K-FAC-reduce is generally faster than K-FAC-expand, which we leverage to speed up automatic hyperparameter selection via optimising the marginal likelihood for a Wide ResNet. Finally, we observe little difference between these two K-FAC variations when using them to train both a graph neural network and a vision transformer. However, both variations are able to reach a fixed validation metric target in $50$-$75\%$ of the number of steps of a first-order reference run, which translates into a comparable improvement in wall-clock time. This highlights the potential of applying K-FAC to modern neural network architectures.


title: Analysis of the Single Reference Coupled Cluster Method for Electronic Structure Calculations: The Discrete Coupled Cluster Equations

abstract: Coupled cluster methods are widely regarded as the gold standard of computational quantum chemistry as they are perceived to offer the best compromise between computational cost and a high-accuracy resolution of the ground state eigenvalue of the electronic Hamiltonian -- an unbounded, self-adjoint operator acting on a Hilbert space of antisymmetric functions that describes electronic properties of molecular systems. The present contribution is the second in a series of two articles where we introduce a new numerical analysis of the single-reference coupled cluster method based on the invertibility of coupled cluster Fr\'echet derivative. In this contribution, we study discretisations of the single-reference coupled cluster equations based on a prior mean-field (Hartree-Fock) calculation. We show that under some structural assumptions on the associated discretisation spaces and assuming that the discretisation is fine enough, the discrete coupled cluster equations are locally well-posed, and we derive a priori and residual-based a posteriori error estimates for the discrete coupled cluster solutions. Preliminary numerical experiments indicate that the structural assumptions that we impose for our analysis can be expected to hold for several small molecules and the theoretical constants that appear in our error estimates are an improvement over those obtained from earlier approaches.


title: FAIRLABEL: Correcting Bias in Labels

abstract: There are several algorithms for measuring fairness of ML models. A fundamental assumption in these approaches is that the ground truth is fair or unbiased. In real-world datasets, however, the ground truth often contains data that is a result of historical and societal biases and discrimination. Models trained on these datasets will inherit and propagate the biases to the model outputs. We propose FAIRLABEL, an algorithm which detects and corrects biases in labels. The goal of FAIRLABELis to reduce the Disparate Impact (DI) across groups while maintaining high accuracy in predictions. We propose metrics to measure the quality of bias correction and validate FAIRLABEL on synthetic datasets and show that the label correction is correct 86.7% of the time vs. 71.9% for a baseline model. We also apply FAIRLABEL on benchmark datasets such as UCI Adult, German Credit Risk, and Compas datasets and show that the Disparate Impact Ratio increases by as much as 54.2%.


title: Sparsity independent Lyapunov exponent in the Sachdev-Ye-Kitaev model

abstract: The saturation of a recently proposed universal bound on the Lyapunov exponent has been conjectured to signal the existence of a gravity dual. This saturation occurs in the low temperature limit of the dense Sachdev-Ye-Kitaev (SYK) model, $N$ Majorana fermions with $q$-body ($q>2$) infinite-range interactions. We calculate certain Out of Time Order Correlators (OTOC) for $N\le 64$ fermions for a highly sparse SYK model and find no significant dependence of the Lyapunov exponent on sparsity up to near the percolation limit where the Hamiltonian breaks up into blocks. This suggests that in the sparse case, the Lyapunov exponent also saturates the low-temperature bound. A key ingredient to reaching $N = 64$ is the development of a novel quantum spin model simulation library that implements highly-optimized matrix-free Krylov subspace methods on Graphical Processing Units (GPUs). This leads to a significantly lower simulation time as well as vastly reduced memory usage over previous approaches, while using modest computational resources. Strong sparsity-driven statistical fluctuations require both the use of a vastly larger number of disorder realizations with respect to the dense limit and a careful finite size scaling analysis. Our results potentially broadens the landscape of theories that may have a gravity analogue.


title: Spontaneous symmetry breaking in diffraction

abstract: The connection between symmetries and conservation laws is a cornerstone of physics. It underlies Bloch's theorem which explains wave phenomena in all linear periodic systems. Here we demonstrate that, in a nonlinear grating with memory, diffracted waves can spontaneously acquire momentum parallel to the lattice vector in quantities unconstrained by the grating period. In this breakdown of Bloch's theorem, which we also evidence in solutions to nonlinear Maxwell's equations, wave amplitudes no longer respect the discrete translation symmetry of the grating. Our findings reveal a rich phenomenology for waves in nonlinear periodic systems, and point to numerous opportunities for nonlinear lattices with broken symmetry in the context of imaging, sensing, and information processing in general.


title: Spontaneous symmetry breaking in plasmon lattice lasers

abstract: Spontaneous symmetry breaking (SSB) is key for our understanding of phase transitions and the spontaneous emergence of order. Photonics provide versatile systems to study SSB. In this work, we report that for a two-dimensional (2D) periodic nonlocal metasurface with gain, SSB occurs in the lasing transition, breaking parity symmetry. We study diffractive hexagonal plasmon nanoparticle lattices, where the K-points in momentum space provide two modes that are exactly degenerate in frequency and identically distributed in space. Using femtosecond pulses to energize the gain medium, we simultaneously capture single shot realspace and wavevector resolved Fourier images of laser emission. By combining Fourier- and real-space, we resolve the two order parameters for which symmetry breaking simultaneously occurs: spatial parity and U(1) (rotational) symmetry breaking, evident respectively as random relative mode amplitude and phase. Thereby, we quantify for the first time SSB in 2D periodic metasurfaces. These currently receive much interest as experimentally accessible implementations of seminal solid-state physics Hamiltonians and provide a large design space for exploring SSB in scenarios with different symmetries, mode degeneracies and topological properties. The methodology reported in this work is generally applicable to 2D plasmonic and dielectric metasurfaces and opens numerous opportunities for the study of SSB and emergence of spatial coherence in metaphotonics.


title: Near-Optimal $k$-Clustering in the Sliding Window Model

abstract: Clustering is an important technique for identifying structural information in large-scale data analysis, where the underlying dataset may be too large to store. In many applications, recent data can provide more accurate information and thus older data past a certain time is expired. The sliding window model captures these desired properties and thus there has been substantial interest in clustering in the sliding window model. In this paper, we give the first algorithm that achieves near-optimal $(1+\varepsilon)$-approximation to $(k,z)$-clustering in the sliding window model, where $z$ is the exponent of the distance function in the cost. Our algorithm uses $\frac{k}{\min(\varepsilon^4,\varepsilon^{2+z})}\,\text{polylog}\frac{n\Delta}{\varepsilon}$ words of space when the points are from $[\Delta]^d$, thus significantly improving on works by Braverman et. al. (SODA 2016), Borassi et. al. (NeurIPS 2021), and Epasto et. al. (SODA 2022). Along the way, we develop a data structure for clustering called an online coreset, which outputs a coreset not only for the end of a stream, but also for all prefixes of the stream. Our online coreset samples $\frac{k}{\min(\varepsilon^4,\varepsilon^{2+z})}\,\text{polylog}\frac{n\Delta}{\varepsilon}$ points from the stream. We then show that any online coreset requires $\Omega\left(\frac{k}{\varepsilon^2}\log n\right)$ samples, which shows a separation from the problem of constructing an offline coreset, i.e., constructing online coresets is strictly harder. Our results also extend to general metrics on $[\Delta]^d$ and are near-optimal in light of a $\Omega\left(\frac{k}{\varepsilon^{2+z}}\right)$ lower bound for the size of an offline coreset.


title: Weak-Lensing Analysis of the Complex Cluster Merger Abell 746 with Subaru/Hyper Suprime-Cam

abstract: The galaxy cluster Abell 746 (A746; $z$=0.214), featuring a double radio relic system, two isolated radio relics, a possible radio halo, disturbed V-shaped X-ray emission, and intricate galaxy distributions, is a unique and complex merging system. We present a weak-lensing analysis of A746 based on wide-field imaging data from Subaru/Hyper Suprime-Cam observations. The mass distribution is characterized by a main peak which coincides with the center of the X-ray emission. At this main peak, we detect two extensions toward the north and west, tracing the cluster galaxy and X-ray distributions. Despite the ongoing merger, our estimate of the A746 global mass $M_{500}=4.4\pm1.0\times10^{14}~M_{\odot}$ is consistent with the previous results from SZ and X-ray observations. We conclude that reconciling the distributions of mass, galaxies, and intracluster medium with the double radio relic system and other radio features remains challenging.


title: The first-order factorizable contributions to the three-loop massive operator matrix elements $A_{Qg}^{(3)}$ and $\Delta A_{Qg}^{(3)}$

abstract: The unpolarized and polarized massive operator matrix elements $A_{Qg}^{(3)}$ and $\Delta A_{Qg}^{(3)}$ contain first-order factorizable and non-first-order factorizable contributions in the determining difference or differential equations of their master integrals. We compute their first-order factorizable contributions in the single heavy mass case for all contributing Feynman diagrams. Moreover, we present the complete color-$\zeta$ factors for the cases in which also non-first-order factorizable contributions emerge in the master integrals, but cancel in the final result as found by using the method of arbitrary high Mellin moments. Individual contributions depend also on generalized harmonic sums and on nested finite binomial and inverse binomial sums in Mellin $N$-space, and correspondingly, on Kummer-Poincar\'e and square-root valued alphabets in Bjorken-$x$ space. We present a complete discussion of the possibilities of solving the present problem in $N$-space analytically and we also discuss the limitations in the present case to analytically continue the given $N$-space expressions to $N \in \mathbb{C}$ by strict methods. The representation through generating functions allows a well synchronized representation of the first-order factorizable results over a 17-letter alphabet. We finally obtain representations in terms of iterated integrals over the corresponding alphabet in $x$-space, also containing up to weight {\sf w = 5} special constants, which can be rationalized to Kummer-Poincar\'e iterated integrals at special arguments. The analytic $x$-space representation requires separate analyses for the intervals $x \in [0,1/4], [1/4,1/2], [1/2,1]$ and $x > 1$. We also derive the small and large $x$ limits of the first-order factorizable contributions.


title: Composition dependence of electronic defects in CuGaS2

abstract: CuGaS2 films grown by physical vapour deposition have been studied by photoluminescence (PL) spectroscopy, using excitation intensity and temperature dependent analyses. We observe free and bound exciton recombinations, three donor-to-acceptor (DA) transitions, and deep-level transitions. The DA transitions at ~ 2.41 eV, 2.398 eV and ~ 2.29 eV are attributed to a common donor level ~ 38+-5 meV and three shallow acceptors at ~ 76 meV, ~ 90 meV and 210 meV above the valence band. This electronic structure is very similar to other chalcopyrite materials. The donor-acceptor transitions are accompanied by phonon replicas. Cu-rich and near-stoichiometric material is dominated by the transitions due to the acceptor at 210 meV. All films show deep-level transitions at ~ 2.15 eV and 1.85 eV due to broad deep defect bands. Slightly Cu-deficient films are dominated by intense transitions at ~ 2.45 eV, attributed to excitonic transitions and the broad defect transition at 2.15 eV.


title: Issues and Their Causes in WebAssembly Applications: An Empirical Study

abstract: WebAssembly (Wasm) is a binary instruction format designed for secure and efficient execution within sandboxed environments -- predominantly web apps and browsers -- to facilitate performance, security, and flexibility of web programming languages. In recent years, Wasm has gained significant attention from the academic research community and industrial development projects to engineer high-performance web applications. Despite the offered benefits, developers encounter a multitude of issues rooted in Wasm (e.g., faults, errors, failures) and are often unaware of their root causes that impact the development of web applications. To this end, we conducted an empirical study that mines and documents practitioners' knowledge expressed as 385 issues from 12 open-source Wasm projects deployed on GitHub and 354 question-answer posts via Stack Overflow. Overall, we identified 120 types of issues, which were categorized into 19 subcategories and 9 categories to create a taxonomical classification of issues encountered in Wasm-based applications. Furthermore, root cause analysis of the issues helped us identify 278 types of causes, which have been categorized into 29 subcategories and 10 categories as a taxonomy of causes. Our study led to first-of-its-kind taxonomies of the issues faced by developers and their underlying causes in Wasm-based applications. The issue-cause taxonomies -- identified from GitHub and SO, offering empirically derived guidelines -- can guide researchers and practitioners to design, develop, and refactor Wasm-based applications.


title: The Countoscope: Measuring Self and Collective Dynamics without Trajectories

abstract: Microscopy can now resolve complex systems at the single particle level, from cellular organisms to individual ions. The scientific community thus shares a common interest in quantifying particle dynamics from images. Yet, available analysis techniques face challenges reconstructing trajectories in dense and heterogeneous systems where accurately labelling particles is difficult. Furthermore, the inescapable finite field of view of experiments hinders the measurement of collective effects central to biological or active systems. Inspired by Smoluchowski, we introduce a broadly applicable analysis technique that probes dynamics simply by counting particles in finite observation boxes. Using colloidal experiments, simulations, and theory, we first demonstrate that statistical properties of fluctuating counts can be used to determine self-diffusion coefficients, including the effect of hydrodynamic interactions, so alleviating the hurdles associated with trajectory reconstruction. We subsequently show that by increasing the observation box size, counting naturally enables the study of collective dynamics. Using our novel analysis of particle counts, we uncover a surprising enhancement of collective behaviour, as well as a new length scale associated with hyperuniform-like structure. Our counting framework, the Countoscope, thus liberates experiments from finite fields of view and enables efficient collective dynamics measurements, opening the way to study diverse complex systems.


title: Dynamic Imaging using any Ultrasound Localization Microscopy Dataset

abstract: Ultrasound Localization Microscopy (ULM) relies on the injection of microbubbles (MBs) to obtain highly resolved density maps of blood circulation in vivo, with a resolution that can reach 10 {\mu}m ~ {\lambda}/10 in the rodent brain. Static mean velocity maps can be extracted but are intrinsically biased by potential significant changes in the number of MBs detected during the cardiac cycle. Dynamic ULM (DULM) is a technique developed for non-invasive pulsatility measurements in the brain of rodents, leading to temporally resolved velocity and density cine-loops. It was previously based on external triggers such as the electrocardiogram (ECG), limiting its use to datasets acquired specifically for DULM applications while also increasing the required acquisition time. This study presents a new motion matching method using tissue Doppler that eliminates the need for ECG-gating in DULM experiments. DULM can now be performed on any ULM datasets, recovering pertinent temporal information, and improving the robustness of the mean velocity estimates.


title: Non-free almost finite actions for locally finite-by-virtually $\mathbb{Z}$ groups

abstract: In this paper, we study almost finiteness and almost finiteness in measure of non-free actions. Let $\alpha:G\curvearrowright X$ be a minimal action of a locally finite-by-virtually $\mathbb{Z}$ group $G$ on the Cantor set $X$. We prove that under certain assumptions, the action $\alpha$ is almost finite in measure if and only if $\alpha$ is essentially free. As an application, we obtain that any minimal topologically free action of a virtually $\mathbb{Z}$ group on an infinite compact metrizable space with the small boundary property is almost finite. This is the first general result, assuming only topological freeness, in this direction, and these lead to new results on uniform property $\Gamma$ and $\mathcal{Z}$-stability for their crossed product $C^*$-algebras. Some concrete examples of minimal topological free (but non-free) subshifts are provided.


title: Transcendental Brauer-Manin obstructions on singular K3 surfaces

abstract: Let E and E' be elliptic curves over Q with complex multiplication by the ring of integers of an imaginary quadratic field K and let Y=Kum(ExE') be the minimal desingularisation of the quotient of ExE' by the action of -1. We study the Brauer groups of such surfaces Y and use them to furnish new examples of transcendental Brauer-Manin obstructions to weak approximation.


title: Emergence of Collective Open-Ended Exploration from Decentralized Meta-Reinforcement Learning

abstract: Recent works have proven that intricate cooperative behaviors can emerge in agents trained using meta reinforcement learning on open ended task distributions using self-play. While the results are impressive, we argue that self-play and other centralized training techniques do not accurately reflect how general collective exploration strategies emerge in the natural world: through decentralized training and over an open-ended distribution of tasks. In this work we therefore investigate the emergence of collective exploration strategies, where several agents meta-learn independent recurrent policies on an open ended distribution of tasks. To this end we introduce a novel environment with an open ended procedurally generated task space which dynamically combines multiple subtasks sampled from five diverse task types to form a vast distribution of task trees. We show that decentralized agents trained in our environment exhibit strong generalization abilities when confronted with novel objects at test time. Additionally, despite never being forced to cooperate during training the agents learn collective exploration strategies which allow them to solve novel tasks never encountered during training. We further find that the agents learned collective exploration strategies extend to an open ended task setting, allowing them to solve task trees of twice the depth compared to the ones seen during training. Our open source code as well as videos of the agents can be found on our companion website.


title: The physical origin of aneurysm growth, dissection, and rupture

abstract: Rupture of aortic aneurysms is by far the most fatal heart disease, with a mortality rate exceeding 80%. There are no reliable clinical protocols to predict growth, dissection, and rupture because the fundamental physics driving aneurysm progression is unknown. Here, via in-vitro experiments, we show that a blood-wall, fluttering instability manifests in synthetic arteries under pulsatile forcing. We establish a phase space to prove that the transition from stable flow to unstable aortic flutter is accurately predicted by a flutter instability parameter derived from first principles. Time resolved strain maps of the evolving system reveal the dynamical characteristics of aortic flutter that drive aneurysm progression. We show that low level instability can trigger permanent aortic growth, even in the absence of material remodeling. Sufficiently large flutter beyond a secondary threshold localizes strain in the walls to the length scale clinically observed in aortic dissection. Lastly, significant physical flutter beyond a tertiary threshold can ultimately induce aneurysm rupture via failure modes reported from necropsy. Resolving the fundamental physics of aneurysm progression directly leads to clinical protocols that forecast growth as well as intercept dissection and rupture by pinpointing their physical origin.


title: Integrating measures of replicability into scholarly search: Challenges and opportunities

abstract: Challenges to reproducibility and replicability have gained widespread attention, driven by large replication projects with lukewarm success rates. A nascent work has emerged developing algorithms to estimate the replicability of published findings. The current study explores ways in which AI-enabled signals of confidence in research might be integrated into the literature search. We interview 17 PhD researchers about their current processes for literature search and ask them to provide feedback on a replicability estimation tool. Our findings suggest that participants tend to confuse replicability with generalizability and related concepts. Information about replicability can support researchers throughout the research design processes. However, the use of AI estimation is debatable due to the lack of explainability and transparency. The ethical implications of AI-enabled confidence assessment must be further studied before such tools could be widely accepted. We discuss implications for the design of technological tools to support scholarly activities and advance replicability.


title: Form Factors of the Tricritical Three-state Potts Model in its Scaling Limit

abstract: We compute the form factors of the order and disorder operators, together with those of the stress-energy tensor, of the two-dimensional three-state Potts model with vacancies along its thermal deformation of the critical point. At criticality the model is described by the non-diagonal partition function of the unitary minimal model $\mathcal{M}_{6,7}$ of conformal field theories and is accompanied by an internal $S_3$ symmetry. Its off-critical thermal deformation is an integrable massive theory which is still invariant under $S_3$. The presence of infinitely many conserved quantities, whose spin spectrum is related to the exceptional Lie algebra $E_6$, allows us to determine the analytic $S$-matrix, the exact mass spectrum and the matrix elements of local operators of this model in an exact non-perturbative way. We use the spectral representation series of the correlators and the fast convergence of these series to compute several universal ratios of the renormalization group.


title: Rediscussion of eclipsing binaries. Paper XV. The B-type supergiant system V1765 Cygni

abstract: V1765 Cyg is a detached eclipsing binary containing a B0.5 supergiant and a B1 main-sequence star, with an orbital period of 13.37 d and an eccentricity of 0.315. The system shows apsidal motion and the supergiant exhibits strong stochastic variability. V1765 Cyg was observed by the Transiting Exoplanet Survey Satellite over four sectors. We analyse these data to obtain the first determinate light curve model for the system. To this we add published spectroscopic orbits to infer masses of 23 +/- 2 Msun and 11.9 +/- 0.7 Msun, and radii of 20.6 +/- 0.8 Rsun and 6.2 +/- 0.3 Rsun. These properties are in good agreement with theoretical predictions for a solar chemical composition and an age around 7 Myr. We also present two epochs of blue-optical spectroscopy that confirm the luminosity classification of the primary star and appear to show absorption lines from the secondary star. Extensive spectroscopy and further analysis of the system is recommended.


title: Online Signal Estimation on the Graph Edges via Line Graph Transformation

abstract: The processing of signals on graph edges is challenging considering that Graph Signal Processing techniques are defined only on the graph nodes. Leveraging the Line Graph to transform a graph edge signal onto the node of its edge-to-vertex dual, we propose the Line Graph Least Mean Square (LGLMS) algorithm for online time-varying graph edge signal prediction. By setting up an $l_2$-norm optimization problem, LGLMS forms an adaptive algorithm as the graph edge analogy of the classical adaptive LMS algorithm. Additionally, the LGLMS inherits all the GSP concepts and techniques that can previously be deployed on the graph nodes, but without the need to redefine them on the graph edges. Experimenting with transportation graphs and meteorological graphs, with the signal observations having noisy and missing values, we confirmed that LGLMS is suitable for the online prediction of time-varying edge signals.


title: Imaginaries in equicharacteristic zero henselian fields

abstract: We prove an elimination of imaginaires results for (almost all) henselian valued fields of equicharacteristic zero. To do so, we consider a mix of sorts introduced in earlier works of the two authors and define a generalized version of the k-linear imaginaries. For a large class of value groups containing all subgroups of (\mathbb{R}^n) for some (n), we prove that the imaginaries of such a valued field can be elimininated in the field, the k-linear imaginaries and the imaginaries of the value group.


title: Explicit Morphological Knowledge Improves Pre-training of Language Models for Hebrew

abstract: Pre-trained language models (PLMs) have shown remarkable successes in acquiring a wide range of linguistic knowledge, relying solely on self-supervised training on text streams. Nevertheless, the effectiveness of this language-agnostic approach has been frequently questioned for its sub-optimal performance when applied to morphologically-rich languages (MRLs). We investigate the hypothesis that incorporating explicit morphological knowledge in the pre-training phase can improve the performance of PLMs for MRLs. We propose various morphologically driven tokenization methods enabling the model to leverage morphological cues beyond raw text. We pre-train multiple language models utilizing the different methods and evaluate them on Hebrew, a language with complex and highly ambiguous morphology. Our experiments show that morphologically driven tokenization demonstrates improved results compared to a standard language-agnostic tokenization, on a benchmark of both semantic and morphologic tasks. These findings suggest that incorporating morphological knowledge holds the potential for further improving PLMs for morphologically rich languages.


title: Propagation of light and retarded time of radiation in a strong gravitational wave

abstract: For the strong gravitational wave model, an explicit transformation is obtained from a privileged coordinate system with a wave variable to a synchronous reference frame with separation of time and space variables. In a synchronous reference frame, a general form of the gravitational wave metric, solutions to the equations of trajectories for test particles in the Hamilton-Jacobi formalism, a solution to the eikonal equation for radiation, and a form of equations for the light cone of an observer in a gravitational wave were found. Using the obtained relations, the form the retarded time of radiation in the gravitational wave was found. The general relations obtained can be applied both in Einstein general theory of relativity and in modified theories of gravity. The obtained relations were applied in the work for an exact model of a gravitational wave in the Bianchi type VI universe based on an exact solution of Einstein vacuum equations.


title: TPSeNCE: Towards Artifact-Free Realistic Rain Generation for Deraining and Object Detection in Rain

abstract: Rain generation algorithms have the potential to improve the generalization of deraining methods and scene understanding in rainy conditions. However, in practice, they produce artifacts and distortions and struggle to control the amount of rain generated due to a lack of proper constraints. In this paper, we propose an unpaired image-to-image translation framework for generating realistic rainy images. We first introduce a Triangular Probability Similarity (TPS) constraint to guide the generated images toward clear and rainy images in the discriminator manifold, thereby minimizing artifacts and distortions during rain generation. Unlike conventional contrastive learning approaches, which indiscriminately push negative samples away from the anchors, we propose a Semantic Noise Contrastive Estimation (SeNCE) strategy and reassess the pushing force of negative samples based on the semantic similarity between the clear and the rainy images and the feature similarity between the anchor and the negative samples. Experiments demonstrate realistic rain generation with minimal artifacts and distortions, which benefits image deraining and object detection in rain. Furthermore, the method can be used to generate realistic snowy and night images, underscoring its potential for broader applicability. Code is available at https://github.com/ShenZheng2000/TPSeNCE.


title: Derived delooping levels and finitistic dimension

abstract: In this paper, we develop new ideas regarding the finitistic dimension conjecture, or the findim conjecture for short. Specifically, we improve upon the delooping level by introducing three new invariants called the effective delooping level $edell$, the sub-derived delooping level $subddell$, and the derived delooping level $ddell$. They are all better upper bounds for the opposite Findim. Precisely, we prove \[ Findim\Lambda^{op} = edell\Lambda \leq ddell\Lambda \text{ (or $subddell\Lambda$)} \leq dell\Lambda \] and provide examples where the last inequality is strict (including the recent example from [Kershaw and Rickard] where $dell\Lambda=\infty$, but $ddell\Lambda=1=Findim\Lambda^{op}$). We further enhance the connection between the findim conjecture to tilting theory by showing finitely generated modules with finite derived delooping level form a torsion-free class $F$. Therefore, studying the corresponding torsion pair $(T, F)$ will shed more light on the little finitistic dimension. Lastly, we relate the delooping level to the $\phi$-dimension $\phi\, dim$, a popular upper bound for findim, and give another sufficient condition for the findim conjecture.


title: On Gaussian Process Priors in Conditional Moment Restriction Models

abstract: This paper studies quasi Bayesian estimation and uncertainty quantification for an unknown function that is identified by a nonparametric conditional moment restriction. We derive contraction rates for a class of Gaussian process priors. Furthermore, we provide conditions under which a Bernstein von Mises theorem holds for the quasi-posterior distribution. As a consequence, we show that optimally weighted quasi-Bayes credible sets have exact asymptotic frequentist coverage.


title: Variational Gaussian Processes For Linear Inverse Problems

abstract: By now Bayesian methods are routinely used in practice for solving inverse problems. In inverse problems the parameter or signal of interest is observed only indirectly, as an image of a given map, and the observations are typically further corrupted with noise. Bayes offers a natural way to regularize these problems via the prior distribution and provides a probabilistic solution, quantifying the remaining uncertainty in the problem. However, the computational costs of standard, sampling based Bayesian approaches can be overly large in such complex models. Therefore, in practice variational Bayes is becoming increasingly popular. Nevertheless, the theoretical understanding of these methods is still relatively limited, especially in context of inverse problems. In our analysis we investigate variational Bayesian methods for Gaussian process priors to solve linear inverse problems. We consider both mildly and severely ill-posed inverse problems and work with the popular inducing variables variational Bayes approach proposed by Titsias in 2009. We derive posterior contraction rates for the variational posterior in general settings and show that the minimax estimation rate can be attained by correctly tunned procedures. As specific examples we consider a collection of inverse problems including the heat equation, Volterra operator and Radon transform and inducing variable methods based on population and empirical spectral features.


title: Latent Space Translation via Semantic Alignment

abstract: While different neural models often exhibit latent spaces that are alike when exposed to semantically related data, this intrinsic similarity is not always immediately discernible. Towards a better understanding of this phenomenon, our work shows how representations learned from these neural modules can be translated between different pre-trained networks via simpler transformations than previously thought. An advantage of this approach is the ability to estimate these transformations using standard, well-understood algebraic procedures that have closed-form solutions. Our method directly estimates a transformation between two given latent spaces, thereby enabling effective stitching of encoders and decoders without additional training. We extensively validate the adaptability of this translation procedure in different experimental settings: across various trainings, domains, architectures (e.g., ResNet, CNN, ViT), and in multiple downstream tasks (classification, reconstruction). Notably, we show how it is possible to zero-shot stitch text encoders and vision decoders, or vice-versa, yielding surprisingly good classification performance in this multimodal setting.


title: Surface Geometry of Some Meaningful Extreme Kerr-Newman Black Holes

abstract: We address the properties of extremal black holes by considering the Christodoulou-Ruffini/Hawking mass-energy formula. By simple geometrical arguments, we found that the mass/energy formula is satisfied by two meaningful extremal black holes where mass (m), charge (Q), and angular momentum/spin (L) are proportional to the black holes irreducible mass (m_{ir}) expressed by irrational numbers. These black holes have been studied in the Christodoulou diagram and their topology in E^3 has been investigated by differential geometry. We show that one of the analyzed Kerr-Newman black holes corresponds to the case where the Gaussian curvature becomes zero at the poles. in the first case, the coefficients are linked to irrational numbers. In the second extremal black hole examined, the fundamental quantities m, Q, and L are linked to the irreducible mass by coefficients that depend solely on the "golden ratio number" -\phi_-. In this case, we show that if this extremal black hole satisfies the Pythagorean fundamental forms relation at the umbilic points, then both the scale parameter (corresponding to twice the irreducible mass) and the Gauss curvature of the surface at the poles are equal to the golden ratio numbers. For these two extremal black holes, we calculate the energy extractible by reversible transformations finding that, in percentage, the energy extractable from the latter black hole is higher than the former one.


title: Uconnect: Synergistic Spectral CT Reconstruction with U-Nets Connecting the Energy bins

abstract: Spectral computed tomography (CT) offers the possibility to reconstruct attenuation images at different energy levels, which can be then used for material decomposition. However, traditional methods reconstruct each energy bin individually and are vulnerable to noise. In this paper, we propose a novel synergistic method for spectral CT reconstruction, namely Uconnect. It utilizes trained convolutional neural networks (CNNs) to connect the energy bins to a latent image so that the full binned data is used synergistically. We experiment on two types of low-dose data: simulated and real patient data. Qualitative and quantitative analysis show that our proposed Uconnect outperforms state-of-art model-based iterative reconstruction (MBIR) techniques as well as CNN-based denoising.


title: Development and application of SEM/EDS in biological, biomedical & nanotechnological research

abstract: This comprehensive review discusses the development of scanning electron microscopy and the application of this technology in different fields such as biology, nanobiotechnology and biomedical science. Besides being a tool for high resolution imaging of surface or topography, the technology is coupled with analytical techniques such as energy dispersive spectroscopy for elemental mapping. Since the commercialization of the technology, it has developed manifold and currently very high-resolution nano scale imaging is possible by this technology. The development of FIB-SEM has allowed three-dimensional imaging of materials while the development of cryostage allows imaging of hydrated biological samples. Though variable pressure or environmental SEM can be used for imaging hydrated samples, they cannot capture a high-resolution image. SBEM and ATUM-SEM has automated the sampling process while improved and more powerful software along with user-friendly computer interface has made image analysis faster and more reliable. This review presents one of the most widely used analytical techniques used across the globe for scientific investigation. The power and potential of SEM is expanding with the development of accessory technology.


title: ProcSim: Proxy-based Confidence for Robust Similarity Learning

abstract: Deep Metric Learning (DML) methods aim at learning an embedding space in which distances are closely related to the inherent semantic similarity of the inputs. Previous studies have shown that popular benchmark datasets often contain numerous wrong labels, and DML methods are susceptible to them. Intending to study the effect of realistic noise, we create an ontology of the classes in a dataset and use it to simulate semantically coherent labeling mistakes. To train robust DML models, we propose ProcSim, a simple framework that assigns a confidence score to each sample using the normalized distance to its class representative. The experimental results show that the proposed method achieves state-of-the-art performance on the DML benchmark datasets injected with uniform and the proposed semantically coherent noise.


title: The ground-state phase diagram for an alternative anisotropic extension of quantum spin-1 ferromagnetic biquadratic model

abstract: The ground-state phase diagram is mapped out for an alternative anisotropic extension of quantum spin-1 ferromagnetic biquadratic model, which accommodates twelve distinct phases: three degenerate fractal phases, six Luttinger liquid phases and three symmetry-protected trivial phases. It is found that distinct types of quantum phase transitions are involved between them. In particular, one type arises from an instability of a Luttinger liquid towards a degenerate fractal phase, and the other type describes spontaneous symmetry breaking with type-B Goldstone modes from one degenerate fractal phase to another degenerate fractal phase, with the fractal dimension $d_f$ being identical to the number of the type-B Goldstone modes, both of which turn out to be one. In addition, quantum phase transitions from the Luttinger liquid phases to the symmetry-protected trivial phases are identified to be in the Kosterlitz-Thouless universality class, with central charge being one.


title: On convex integration solutions to the surface quasi-geostrophic equation driven by generic additive noise

abstract: We study the surface quasi-geostrophic equation driven by a generic additive noise process $W$. By means of convex integration techniques, we establish existence of weak solutions whenever the stochastic convolution $z$ associated with $W$ is well defined and fulfills certain regularity constraints. Quintessentially, we show that the so constructed solutions to the non-linear equation are controlled by $z$ in a linear fashion. This allows us to deduce further properties of the so constructed solutions, without relying on structural probabilistic properties such as Gaussianity, Markovianity or a martingale property of the underlying noise $W$.


title: Emotion Detection for Misinformation: A Review

abstract: With the advent of social media, an increasing number of netizens are sharing and reading posts and news online. However, the huge volumes of misinformation (e.g., fake news and rumors) that flood the internet can adversely affect people's lives, and have resulted in the emergence of rumor and fake news detection as a hot research topic. The emotions and sentiments of netizens, as expressed in social media posts and news, constitute important factors that can help to distinguish fake news from genuine news and to understand the spread of rumors. This article comprehensively reviews emotion-based methods for misinformation detection. We begin by explaining the strong links between emotions and misinformation. We subsequently provide a detailed analysis of a range of misinformation detection methods that employ a variety of emotion, sentiment and stance-based features, and describe their strengths and weaknesses. Finally, we discuss a number of ongoing challenges in emotion-based misinformation detection based on large language models and suggest future research directions, including data collection (multi-platform, multilingual), annotation, benchmark, multimodality, and interpretability.


title: Polarized fragmenting jet functions in Inclusive and Exclusive Jet Production

abstract: In this work, we present a complete theoretical framework for analyzing the distribution of polarized hadrons within jets, with and without measuring the transverse momentum relative to the standard jet axis. Using soft-collinear effective theory (SCET), we derive the factorization and provide the theoretical calculation of both semi-inclusive and exclusive fragmenting jet functions (FJFs) under longitudinal and transverse polarization. With the polarized FJFs, one gains access to a variety of new observables that can be used for extracting both collinear and transverse momentum dependent parton distribution functions (PDFs) and fragmentation functions (FFs). As examples, we provide numerical results for the spin asymmetry $A_{TU,T}^{\cos(\phi _S - \hat{\phi}_{S_h})}$ from polarized semi-inclusive hadron-in-jet production in polarized $pp$ collisions at RHIC kinematics, where a transversely polarized quark would lead to the transverse spin of the final-state hadron inside the jet and is thus sensitive to the transversity fragmentation functions. Similarly, another spin asymmetry, $A_{TU, L}^{\cos(\phi _q - \phi _{S})}$ from polarized exclusive hadron-in-jet production in polarized $ep$ collisions at EIC kinematics would allow us to access the helicity fragmentation functions. These observables demonstrate promising potential in investigating transverse momentum dependent PDFs and FFs and are worthwhile for further measurements.


title: On the equivalence of model-based and data-driven approaches to the design of unknown-input observers

abstract: In this paper we investigate a data-driven approach to the design of an unknown-input observer (UIO). Specifically, we provide necessary and sufficient conditions for the existence of an unknown-input observer for a discrete-time linear time-invariant (LTI) system, designed based only on some available data, obtained on a finite time window. We also prove that, under weak assumptions on the collected data, the solvability conditions derived by means of the data-driven approach are in fact equivalent to those obtained through the model-based one. In other words, the data-driven conditions do not impose further constraints with respect to the classic model-based ones, expressed in terms of the original system matrices.