title: Evaluation of Color Anomaly Detection in Multispectral Images For Synthetic Aperture Sensing

abstract: In this article, we evaluate unsupervised anomaly detection methods in multispectral images obtained with a wavelength-independent synthetic aperture sensing technique, called Airborne Optical Sectioning (AOS). With a focus on search and rescue missions that apply drones to locate missing or injured persons in dense forest and require real-time operation, we evaluate runtime vs. quality of these methods. Furthermore, we show that color anomaly detection methods that normally operate in the visual range always benefit from an additional far infrared (thermal) channel. We also show that, even without additional thermal bands, the choice of color space in the visual range already has an impact on the detection results. Color spaces like HSV and HLS have the potential to outperform the widely used RGB color space, especially when color anomaly detection is used for forest-like environments.


title: Semilinear elliptic equations involving power nonlinearities and hardy potentials with boundary singularities

abstract: Let $\Omega \subset\mathbb{R}^N$ ($N\geq 3$) be a $C^2$ bounded domain and $\Sigma \subset \partial\Omega$ be a $C^2$ compact submanifold without boundary, of dimension $k$, $0\leq k \leq N-1$. We assume that $\Sigma = \{0\}$ if $k = 0$ and $\Sigma=\partial\Omega$ if $k=N-1$. Denote $d_\Sigma(x)=\mathrm{dist}(x,\Sigma)$ and put $L_\mu=\Delta + \mu d_{\Sigma}^{-2}$ where $\mu$ is a parameter. In this paper, we study boundary value problems for equations $-L_\mu u \pm |u|^{p-1}u = 0$ in $\Omega$ with prescribed condition $u=\nu$ on $\partial \Omega$, where $p>1$ and $\nu$ is a given measure on $\partial \Omega$. The nonlinearity $|u|^{p-1}u$ is referred to as \textit{absorption} or \textit{source} depending whether the plus sign or minus sign appears. The distinctive feature of the problems is characterized by the interplay between the concentration of $\Sigma$, the type of nonlinearity, the exponent $p$ and the parameter $\mu$. The absorption case and the source case are sharply different in several aspects and hence require completely different approaches. In each case, we establish various necessary and sufficient conditions expressed in terms of appropriate capacities. In comparison with related works in the literature, by employing a fine analysis, we are able to treat the supercritical ranges for the exponent $p$, and the critical case for the parameter $\mu$, which justifies the novelty of our paper.


title: Development, manufacturing and testing of small launcher structures from Portugal

abstract: During the last decades the industry has seen the number of Earth orbiting satellites rise, mostly due to the need to monitor Earth as well as to establish global communication networks. Nano, micro, and small satellites have been a prime tool for answering these needs, with large and mega constellations planned, leading to a potential launch gap. An effective and commercially appealing solution is the development of small launchers, as these can complement the current available launch opportunity offer, serving a large pool of different types of clients, with a flexible and custom service that large conventional launchers cannot adequately assure. Rocket Factory Augsburg has partnered with CEiiA for the development of several structures for the RFA One rocket. The objective has been the design of solutions that are low-cost, light, and custom-made, applying design and manufacturing concepts as well as technologies from other industries, like the aeronautical and automotive, to the aerospace one. This allows for the implementation of a New Space approach to the launcher segment, while also building a supply chain and a set of solutions that enables the industrialisation of such structures for this and future small launchers. The two main systems under development have been a versatile Kick-Stage, for payload carrying and orbit insertion, and a sturdy Payload Fairing. Even though the use of components off-the-shelf have been widely accepted in the space industry for satellites, these two systems pose different challenges as they must be: highly reliable during the most extreme conditions imposed by the launch, so that they can be considered safe to launch all types of payloads. This paper thus dives deep on the solutions developed in the last few years, presenting also lessons learned during the manufacturing and testing of these structures.


title: A Fibonacci variant of the Rogers-Ramanujan identities via crystal energy

abstract: We define a length function for a perfect crystal. As an application, we derive a variant of the Rogers-Ramanujan identities which involves (a $q$-analog of) the Fibonacci numbers.


title: Heterogeneous Recurrent Spiking Neural Network for Spatio-Temporal Classification

abstract: Spiking Neural Networks are often touted as brain-inspired learning models for the third wave of Artificial Intelligence. Although recent SNNs trained with supervised backpropagation show classification accuracy comparable to deep networks, the performance of unsupervised learning-based SNNs remains much lower. This paper presents a heterogeneous recurrent spiking neural network (HRSNN) with unsupervised learning for spatio-temporal classification of video activity recognition tasks on RGB (KTH, UCF11, UCF101) and event-based datasets (DVS128 Gesture). The key novelty of the HRSNN is that the recurrent layer in HRSNN consists of heterogeneous neurons with varying firing/relaxation dynamics, and they are trained via heterogeneous spike-time-dependent-plasticity (STDP) with varying learning dynamics for each synapse. We show that this novel combination of heterogeneity in architecture and learning method outperforms current homogeneous spiking neural networks. We further show that HRSNN can achieve similar performance to state-of-the-art backpropagation trained supervised SNN, but with less computation (fewer neurons and sparse connection) and less training data.


title: Current and diffusion of Overdamped Active Brownian Particles in a Ratchet Potential

abstract: The transport properties of a spherical active Brownian particle in a periodic potential under heavy damping are considered. The self-propelled particle is subjected to the asymmetric potential, detailed balance is lost and the particles generate a non-zero drift speed. The average current is calculated and the diffusivity of the particle is analyzed from the effective diffusion coefficient. For chiral active particles, the diffusivity decreases with increasing the angular velocity, confining the particle near the initial position, and reducing the average current.


title: Inexact GMRES Policy Iteration for Large-Scale Markov Decision Processes

abstract: Policy iteration enjoys a local quadratic rate of contraction, but its iterations are computationally expensive for Markov decision processes (MDPs) with a large number of states. In light of the connection between policy iteration and the semismooth Newton method and taking inspiration from the inexact variants of the latter, we propose \textit{inexact policy iteration}, a new class of methods for large-scale finite MDPs with local contraction guarantees. We then design an instance based on the deployment of GMRES for the approximate policy evaluation step, which we call inexact GMRES policy iteration. Finally, we demonstrate the superior practical performance of inexact GMRES policy iteration on an MDP with 10000 states, where it achieves a $\times 5.8$ and $\times 2.2$ speedup with respect to policy iteration and optimistic policy iteration, respectively.


title: Zero-cycles in families of rationally connected varieties

abstract: We study zero-cycles in families of rationally connected varieties. We show that for a smooth projective scheme over a henselian discrete valuation ring the restriction of relative zero cycles to the special fiber induces an isomorphism on Chow groups if the special fiber is separably rationally connected. We further extend this result to certain higher Chow groups and develop conjectures in the non-smooth case. Our main results generalise a result of Koll\'ar [28].


title: Model Checking Linear Dynamical Systems under Floating-point Rounding

abstract: We consider linear dynamical systems under floating-point rounding. In these systems, a matrix is repeatedly applied to a vector, but the numbers are rounded into floating-point representation after each step (i.e., stored as a fixed-precision mantissa and an exponent). The approach more faithfully models realistic implementations of linear loops, compared to the exact arbitrary-precision setting often employed in the study of linear dynamical systems. Our results are twofold: We show that for non-negative matrices there is a special structure to the sequence of vectors generated by the system: the mantissas are periodic and the exponents grow linearly. We leverage this to show decidability of $\omega$-regular temporal model checking against semialgebraic predicates. This contrasts with the unrounded setting, where even the non-negative case encompasses the long-standing open Skolem and Positivity problems. On the other hand, when negative numbers are allowed in the matrix, we show that the reachability problem is undecidable by encoding a two-counter machine. Again, this is in contrast with the unrounded setting where point-to-point reachability is known to be decidable in polynomial time.


title: Synthetic Observations with the Square Kilometre Array (SKA) -- development towards an end-to-end pipeline

abstract: Detection of the redshifted 21-cm signal of neutral hydrogen from the Cosmic Dawn and the Epoch of Reionization is one of the final frontiers of modern observational cosmology. The inherently faint signal makes it susceptible to contamination by several sources like astrophysical foregrounds and instrumental systematics. Nevertheless, developments achieved in the recent times will combine to make signal detection possible with the upcoming Square Kilometer Array (SKA), both statistically and via tomography. This review describes an indigenously developed end-to-end pipeline that simulates sensitive interferometric observations. It mainly focuses on the requirements for \hi detection in interferometers. In its present form, it can mimic the effects of realistic point source foregrounds and systematics- calibration error and position error on 21-cm observations. The performance of the pipeline is demonstrated for test cases with 0.01\% calibration error and position error. Its performance is consistent across telescope, foreground, and signal models. The focus of the simulation pipeline during the initial stages was for EoR science. But since this is a general interferometric simulation pipeline, it will be helpful to the entire SKA user community, irrespective of the science goals.


title: Fast two-pulse collisions in linear diffusion-advection systems with weak quadratic loss in spatial dimension 2

abstract: We investigate the dynamics of fast two-pulse collisions in linear diffusion-advection systems with weak quadratic loss in spatial dimension 2. We introduce a two-dimensional perturbation method, which generalizes the perturbation method used for studying two-pulse collisions in spatial dimension 1. We then use the generalized perturbation method to show that a fast collision in spatial dimension 2 leads to a change in the pulse shape in the direction transverse to the advection velocity vector. Moreover, we show that in the important case of a separable initial condition, the longitudinal part in the expression for the amplitude shift has a simple universal form, while the transverse part does not. Additionally, we show that anisotropy in the initial condition leads to a complex dependence of the amplitude shift on the orientation angle between the pulses. Our perturbation theory predictions are in very good agreement with results of extensive numerical simulations with the weakly perturbed diffusion-advection model. Thus, our study significantly enhances and generalizes the results of previous works on fast collisions in diffusion-advection systems, which were limited to spatial dimension 1.


title: BER: Balanced Error Rate For Speaker Diarization

abstract: DER is the primary metric to evaluate diarization performance while facing a dilemma: the errors in short utterances or segments tend to be overwhelmed by longer ones. Short segments, e.g., `yes' or `no,' still have semantic information. Besides, DER overlooks errors in less-talked speakers. Although JER balances speaker errors, it still suffers from the same dilemma. Considering all those aspects, duration error, segment error, and speaker-weighted error constituting a complete diarization evaluation, we propose a Balanced Error Rate (BER) to evaluate speaker diarization. First, we propose a segment-level error rate (SER) via connected sub-graphs and adaptive IoU threshold to get accurate segment matching. Second, to evaluate diarization in a unified way, we adopt a speaker-specific harmonic mean between duration and segment, followed by a speaker-weighted average. Third, we analyze our metric via the modularized system, EEND, and the multi-modal method on real datasets. SER and BER are publicly available at https://github.com/X-LANCE/BER.


title: Designing an Adaptive Application-Level Checkpoint Management System for Malleable MPI Applications

abstract: Dynamic resource management opens up numerous opportunities in High Performance Computing. It improves the system-level services as well as application performance. Checkpointing can also be deemed as a system-level service and can reap the benefits offered by dynamism. A checkpointing system can have better resource availability by integrating with a malleable resource management system. In addition to fault tolerance, the checkpointing system can cater to the data redistribution demand of malleable applications during resource change. Therefore, we propose iCheck, an adaptive application-level checkpoint management system that can efficiently utilize the system and application level dynamism to provide better checkpointing and data redistribution services to applications.


title: Gallium-doped Zinc Oxide: Nonlinear Reflection and Transmission Measurements and Modeling in the ENZ Region

abstract: Strong nonlinear materials have been sought after for decades for applications in telecommunications, sensing, and quantum optics. Gallium-doped zinc oxide is a II-VI transparent conducting oxide that shows promising nonlinearities similar to indium tin oxide and aluminum-doped zinc oxide for the telecommunications band. Here we explore its nonlinearities in the epsilon near zero (ENZ) region and show n2,eff values on the order of 4.5x10-3 cm2GW-1 for IR pumping on 200-300 nm thin films. Measuring nonlinear changes in transmission and reflection with a white light source probe in the near-IR while exciting in the near-IR provides data in both time and wavelength. Three films varying in thickness, optical loss, and ENZ crossover wavelength are numerically modeled and compared to experimental data showing agreement for both dispersion and temporal relaxation. In addition, we discuss optimal excitation and probing wavelengths occur around ENZ for thick films but are red-shifted for thin films where our model provides an additional degree of freedom to explore. Obtaining accurate nonlinear measurements is a difficult and time-consuming task where our method in this paper provides experimental and modeled data to the community for an ENZ material of interest.


title: Stability and convergence analysis of high-order numerical schemes with DtN-type absorbing boundary conditions for nonlocal wave equations

abstract: The stability and convergence analysis of high-order numerical approximations for the one- and two-dimensional nonlocal wave equations on unbounded spatial domains are considered. We first use the quadrature-based finite difference schemes to discretize the spatially nonlocal operator, and apply the explicit difference scheme to approximate the temporal derivative to achieve a fully discrete infinity system. After that, we construct the Dirichlet-to-Neumann (DtN)-type absorbing boundary conditions (ABCs) to reduce the infinite discrete system into a finite discrete system. To do so, we first adopt the idea in [Du, Zhang and Zheng, \emph{Commun. Comput. Phys.}, 24(4):1049--1072, 2018 and Du, Han, Zhang and Zheng, \emph{SIAM J. Sci. Comp.}, 40(3):A1430--A1445, 2018] to derive the Dirichlet-to-Dirichlet (DtD)-type mappings for one- and two-dimensional cases, respectively. We then use the discrete nonlocal Green's first identity to achieve the discrete DtN-type mappings from the DtD-type mappings. The resulting DtN-type mappings make it possible to perform the stability and convergence analysis of the reduced problem. Numerical experiments are provided to demonstrate the accuracy and effectiveness of the proposed approach.


title: Extraordinary magnetometry -- a review on extraordinary magnetoresistance

abstract: Extraordinary magnetoresistance (EMR) is a geometric magnetoresistance effect occurring in hybrid devices consisting of a high-mobility material joined by a metal. The change in resistance can exceed 107% at room temperature when a magnetic field of 5 T is applied. Magnetic field sensors based on EMR hold the potential formeasuring weak magnetic fields with an unprecedented sensitivity, yet, to date this potential is largely unmet. In this work, we provide an extensive review of the current state-of-the-art in EMR sensors with a focus on the hybrid device geometries, the constituent material properties and applications of EMR. We present a direct comparison of the best devices in literature across magnetoresistance, sensitivity and noise equivalent field for different materials and geometric designs. The compilation of studies collected in this review illustrates the extremely rich possibilities for tuning the magnetoresistive behavior varying the device geometry and material properties. In addition, we aim to improve the understanding of the EMR effect and its interplay with geometry and material properties. Finally, we discuss recent trends in the field and future perspectives for EMR.


title: Radially Symmetric Non-isentropic Euler flows: continuous blowup with positive pressure

abstract: Guderley's 1942 work on radial shock waves provides cases of self-similar Euler flows exhibiting blowup of primary (undifferentiated) flow variables: a converging shock wave invades a quiescent region, and the velocity and pressure in its immediate wake become unbounded at time of collapse. However, these solutions are of border-line physicality: the pressure vanishes within the quiescent region due to vanishing temperature there. It is reasonable that the lack of upstream counter-pressure is conducive to large speeds, with concomitant large amplitudes. Based on Guderley's original solutions it is therefore unclear if it is the zero-pressure region that is responsible for blowup. The same applies to self-similar Euler flows describing radial cavity flow, first analyzed by Hunter (1960). Recent works have shown that the simplified isothermal and isentropic models admit continuous blowup solutions in the presence of a strictly positive pressure field. In this work we extend this conclusion to the case of the full Euler system. The solutions under consideration are radial self-similar flows in which a continuous wave focuses and blows up. We propagate the solutions beyond blowup and observe numerically that there are cases where an expanding spherical shock wave is generated at collapse. The resulting solution has the unusual property that the flow is isentropic in each of the two regions separated by the shock. We finally verify that these are admissible global weak solutions to the full, multi-d compressible Euler system.


title: Safety-Critical Ergodic Exploration in Cluttered Environments via Control Barrier Functions

abstract: In this paper, we address the problem of safe trajectory planning for autonomous search and exploration in constrained, cluttered environments. Guaranteeing safe (collision-free) trajectories is a challenging problem that has garnered significant due to its importance in the successful utilization of robots in search and exploration tasks. This work contributes a method that generates guaranteed safety-critical search trajectories in a cluttered environment. Our approach integrates safety-critical constraints using discrete control barrier functions (DCBFs) with ergodic trajectory optimization to enable safe exploration. Ergodic trajectory optimization plans continuous exploratory trajectories that guarantee complete coverage of a space. We demonstrate through simulated and experimental results on a drone that our approach is able to generate trajectories that enable safe and effective exploration. Furthermore, we show the efficacy of our approach for safe exploration using real-world single- and multi- drone platforms.


title: Geometric Constellation Shaping for Fiber-Optic Channels via End-to-End Learning

abstract: End-to-end learning has become a popular method to optimize a constellation shape of a communication system. When the channel model is differentiable, end-to-end learning can be applied with conventional backpropagation algorithm for optimization of the shape. A variety of optimization algorithms have also been developed for end-to-end learning over a non-differentiable channel model. In this paper, we compare gradient-free optimization method based on the cubature Kalman filter, model-free optimization and backpropagation for end-to-end learning on a fiber-optic channel modeled by the split-step Fourier method. The results indicate that the gradient-free optimization algorithms provide a decent replacement to backpropagation in terms of performance at the expense of computational complexity. Furthermore, the quantization problem of finite bit resolution of the digital-to-analog and analog-to-digital converters is addressed and its impact on geometrically shaped constellations is analysed. Here, the results show that when optimizing a constellation with respect to mutual information, a minimum number of quantization levels is required to achieve shaping gain. For generalized mutual information, the gain is maintained throughout all of the considered quantization levels. Also, the results implied that the autoencoder can adapt the constellation size to the given channel conditions.


title: From Causal Pairs to Causal Graphs

abstract: Causal structure learning from observational data remains a non-trivial task due to various factors such as finite sampling, unobserved confounding factors, and measurement errors. Constraint-based and score-based methods tend to suffer from high computational complexity due to the combinatorial nature of estimating the directed acyclic graph (DAG). Motivated by the `Cause-Effect Pair' NIPS 2013 Workshop on Causality Challenge, in this paper, we take a different approach and generate a probability distribution over all possible graphs informed by the cause-effect pair features proposed in response to the workshop challenge. The goal of the paper is to propose new methods based on this probabilistic information and compare their performance with traditional and state-of-the-art approaches. Our experiments, on both synthetic and real datasets, show that our proposed methods not only have statistically similar or better performances than some traditional approaches but also are computationally faster.


title: An Ensemble-based approach for assigning text to correct Harmonized system code

abstract: Industries must follow government rules and regulations around the world to classify products when assessing duties and taxes for international shipment. Harmonized System (HS) is the most standardized numerical method of classifying traded products among industry classification systems. A hierarchical ensemble model comprising of Bert-transformer, NER, distance-based approaches, and knowledge-graphs have been developed to address scalability, coverage, ability to capture nuances, automation and auditing requirements when classifying unknown text-descriptions as per HS method.


title: Scalable multi-class sampling via filtered sliced optimal transport

abstract: We propose a multi-class point optimization formulation based on continuous Wasserstein barycenters. Our formulation is designed to handle hundreds to thousands of optimization objectives and comes with a practical optimization scheme. We demonstrate the effectiveness of our framework on various sampling applications like stippling, object placement, and Monte-Carlo integration. We a derive multi-class error bound for perceptual rendering error which can be minimized using our optimization. We provide source code at https://github.com/iribis/filtered-sliced-optimal-transport.


title: Finding twin smooth integers by solving Pell equations

abstract: Any pair of consecutive B-smooth integers for a given smoothness bound B corresponds to a solution (x, y) of the equation x^2 - 2Dy^2 = 1 for a certain square-free, B-smooth integer D and a B-smooth integer y. This paper describes algorithms to find such twin B-smooth integers that lie in a given interval by using the structure of solutions of the above Pell equation. The problem of finding such twin smooth integers is motivated by the quest for suitable parameters to efficiently instantiate recent isogeny-based cryptosystems. While the Pell equation structure of twin B-smooth integers has previously been used to describe and compute the full set of such pairs for very small values of B, increasing B to allow for cryptographically sized solutions makes this approach utterly infeasible. We start by revisiting the Pell solution structure of the set of twin smooth integers. Instead of using it to enumerate all twin smooth pairs, we focus on identifying only those that lie in a given interval. This restriction allows us to describe algorithms that navigate the vast set of Pell solutions in a more targeted way. Experiments run with these algorithms have provided examples of twin B-smooth pairs that are larger and have smaller smoothness bound B than previously reported pairs. Unfortunately, those examples do not yet provide better parameters for cryptography, but we hope that our methods can be generalized or used as subroutines in future work to achieve that goal.


title: Impact of trans-Planckian quantum noise on the Primordial Gravitational Wave spectrum

abstract: We investigate the impact of stochastic quantum noise due to trans--Planckian effects on the primordial power spectrum for gravity waves during inflation. Given an energy scale Lambda, expected to be close to the Planck scale m_Pl and larger than the Hubble scale H, this noise is described in terms of a source term in the evolution equation for comoving modes k which changes its amplitude growth from early times as long as the mode physical wavelength is smaller than Lambda^-1. We model the source term as due to a gas of black holes in the trans--Planckian regime and the corresponding Hawking radiation. In fact, for energy scales larger than, or of the order of Lambda, it is expected that trapped surfaces may form due to large energy densities. At later times the evolution then follows the standard sourceless evolution. We find that this mechanism still leads to a scale-invariant power spectrum of tensor perturbations, with an amplitude that depends upon the ratio Lambda/m_Pl.


title: Chaos and multifold complexity for an inverted harmonic oscillator

abstract: We examine the multifold complexity and Loschmidt echo for an inverted harmonic oscillator. We give analytic expressions for any number of precursors, implementing multiple backward and forward time evolutions of the quantum state, at the leading order in the perturbation. We prove that complexity is dominated by the longest permutation of the given time combination in an alternating ``zig-zag'' order, the exact same result obtained with holography. We conjecture that the general structure for multifold complexity should hold true universally for generic quantum systems, in the limit of a large number of precursors.


title: Group manifold approach to supergravity

abstract: We present a short review of the group-geometric approach to supergravity theories, from the point of view of recent developments. The central idea is the unification of usual diffeomorphisms, gauge symmetries and supersymmetries into superdiffeomorphisms in a supergroup manifold. The example of $N=1$ supergravity in $d=4$ is discussed in detail, and used to illustrate all the steps in the construction of a group manifold action. In the Appendices we summarize basic notions of group manifold geometry, and of integration on supermanifolds.


title: FASER Tracker Detector Commissioning, Installation, and Functionality

abstract: FASER (ForwArd Search ExpeRiment) fills the axial blindspot of other, radially arranged LHC experiments. It is installed 480 meters from the ATLAS interaction point, along the collision axis. FASER will search for new, long-lived particles that may be hidden in the collimated reaction products exiting ATLAS. The tracking detector is an essential component for observing LLP signals. FASER's tracking stations use silicon microstrip detectors to measure the path of charged particles.This is a summary of one of FASER's latest papers "The tracking detector of the FASER experiment", which describes the functionality, construction and testing of the tracker detector. FASER is currently installed in the LHC, where it is ready for data collection.


title: Non-Gaussian Variational Wavefunctions for Interacting Bosons on the Lattice

abstract: A variational method for studying the ground state of strongly interacting quantum many-body bosonic systems is presented. Our approach constructs a class of extensive variational non-Gaussian wavefunctions which extend Gaussian states by means of nonlinear canonical transformations (NLCT) on the fields of the theory under consideration. We illustrate this method with the one dimensional Bose-Hubbard model for which the proposal presented here, provides a family of approximate ground states at arbitrarily large values of the interaction strength. We find that, for different values of the interaction, the non-Gaussian NLCT-trial states sensibly improve the ground state energy estimation when the system is in the Mott phase.

categories: cond-mat.str-el cond-mat.stat-mech hep-th quant-ph


title: Sequences of operator algebras converging to odd spheres in the quantum Gromov-Hausdorff distance

abstract: Marc Rieffel had introduced the notion of the quantum Gromov-Hausdorff distance on compact quantum metric spaces and found a sequence of matrix algebras that converges to the space of continuous functions on $2$-sphere in this distance. One finds applications of similar approximations in many places in the theoretical physics literature. In this paper, we have defined a compact quantum metric space structure on the sequence of Toeplitz algebras on generalized Bergman spaces and have proved that the sequence converges to the space of continuous function on odd spheres in the quantum Gromov-Hausdorff distance.


title: Injective split systems

abstract: A split system $\mathcal S$ on a finite set $X$, $|X|\ge3$, is a set of bipartitions or splits of $X$ which contains all splits of the form $\{x,X-\{x\}\}$, $x \in X$. To any such split system $\mathcal S$ we can associate the Buneman graph $\mathcal B(\mathcal S)$ which is essentially a median graph with leaf-set $X$ that displays the splits in $\mathcal S$. In this paper, we consider properties of injective split systems, that is, split systems $\mathcal S$ with the property that $\mathrm{med}_{\mathcal B(\mathcal S)}(Y) \neq \mathrm{med}_{\mathrm B(\mathcal S)}(Y')$ for any 3-subsets $Y,Y'$ in $X$, where $\mathrm {med}_{\mathcal B(\mathcal S)}(Y)$ denotes the median in $\mathcal B(\mathcal S)$ of the three elements in $Y$ considered as leaves in $\mathcal B(\mathcal S)$. In particular, we show that for any set $X$ there always exists an injective split system on $X$, and we also give a characterization for when a split system is injective. We also consider how complex the Buneman graph $\mathcal B(\mathcal S)$ needs to become in order for a split system $\mathcal S$ on $X$ to be injective. We do this by introducing a quantity for $|X|$ which we call the injective dimension for $|X|$, as well as two related quantities, called the injective 2-split and the rooted-injective dimension. We derive some upper and lower bounds for all three of these dimensions and also prove that some of these bounds are tight. An underlying motivation for studying injective split systems is that they can be used to obtain a natural generalization of symbolic tree maps. An important consequence of our results is that any three-way symbolic map on $X$ can be represented using Buneman graphs.


title: Sequential Transformer for End-to-End Person Search

abstract: Person Search aims to simultaneously localize and recognize a target person from realistic and uncropped gallery images. One major challenge of person search comes from the contradictory goals of the two sub-tasks, i.e., person detection focuses on finding the commonness of all persons so as to distinguish persons from the background, while person re-identification (re-ID) focuses on the differences among different persons. In this paper, we propose a novel Sequential Transformer (SeqTR) for end-to-end person search to deal with this challenge. Our SeqTR contains a detection transformer and a novel re-ID transformer that sequentially addresses detection and re-ID tasks. The re-ID transformer comprises the self-attention layer that utilizes contextual information and the cross-attention layer that learns local fine-grained discriminative features of the human body. Moreover, the re-ID transformer is shared and supervised by multi-scale features to improve the robustness of learned person representations. Extensive experiments on two widely-used person search benchmarks, CUHK-SYSU and PRW, show that our proposed SeqTR not only outperforms all existing person search methods with a 59.3% mAP on PRW but also achieves comparable performance to the state-of-the-art results with an mAP of 94.8% on CUHK-SYSU.


title: Machine Learning-Aided Operations and Communications of Unmanned Aerial Vehicles: A Contemporary Survey

abstract: The ongoing amalgamation of UAV and ML techniques is creating a significant synergy and empowering UAVs with unprecedented intelligence and autonomy. This survey aims to provide a timely and comprehensive overview of ML techniques used in UAV operations and communications and identify the potential growth areas and research gaps. We emphasise the four key components of UAV operations and communications to which ML can significantly contribute, namely, perception and feature extraction, feature interpretation and regeneration, trajectory and mission planning, and aerodynamic control and operation. We classify the latest popular ML tools based on their applications to the four components and conduct gap analyses. This survey also takes a step forward by pointing out significant challenges in the upcoming realm of ML-aided automated UAV operations and communications. It is revealed that different ML techniques dominate the applications to the four key modules of UAV operations and communications. While there is an increasing trend of cross-module designs, little effort has been devoted to an end-to-end ML framework, from perception and feature extraction to aerodynamic control and operation. It is also unveiled that the reliability and trust of ML in UAV operations and applications require significant attention before full automation of UAVs and potential cooperation between UAVs and humans come to fruition.


title: Will we run out of data? Limits of LLM scaling based on human-generated data

abstract: We investigate the potential constraints on LLM scaling posed by the availability of public human-generated text data. We forecast the growing demand for training data based on current trends and estimate the total stock of public human text data. Our findings indicate that if current LLM development trends continue, models will be trained on datasets roughly equal in size to the available stock of public human text data between 2026 and 2032, or slightly earlier if models are overtrained. We explore how progress in language modeling can continue when human-generated text datasets cannot be scaled any further. We argue that synthetic data generation, transfer learning from data-rich domains, and data efficiency improvements might support further progress.


title: Curved beam generation and its experimental realization by rectangular prism with asymmetric polynomial back surface

abstract: With the discovery of self-accelerating beams, possibility of obtaining curved light beams in free space has been realized. These special beams paved the way for many new applications as well as the exploration of novel beam types. Recently, great research effort has been conducted to realize different types of curved beams such as photonic hook and airy beam. These curved types of beams are obtained by introducing structural asymmetry or applying non-uniform dielectric distribution to the input and output face of the structure. With this regard, we propose specially designed asymmetric structure with polynomial back surface which generates curved light beams. Proposed lossless dielectric structure can generate curved beams at frequencies varying from 15.78 GHz to 20.09 GHz and corresponding curvature angles of minimum 41.34 and maximum 57.58 degrees, respectively. The physical background of the curved beam formation is based on interference of the exiting light waves that diffract on upper and bottom polynomial surfaces which provides phase modulation leading to the curved trajectory of the propagating light. In addition, the observed beam steering effect is further investigated and the experimental verification in microwave region is conducted to verify our design's operation principle.


title: Synthesis of separation processes with reinforcement learning

abstract: This paper shows the implementation of reinforcement learning (RL) in commercial flowsheet simulator software (Aspen Plus V12) for designing and optimising a distillation sequence. The aim of the SAC agent was to separate a hydrocarbon mixture in its individual components by utilising distillation. While doing so it tries to maximise the profit produced by the distillation sequence. All actions of the agent were set by the SAC agent in Python and communicated in Aspen Plus via an API. Here the distillation column was simulated by use of the build-in RADFRAC column. With this a connection was established for data transfer between Python and Aspen and the agent succeeded to show learning behaviour, while increasing profit. Although results were generated, the use of Aspen was slow (190 hours) and Aspen was found unsuitable for parallelisation. This makes that Aspen is incompatible for solving RL problems. Code and thesis are available at https://github.com/lollcat/Aspen-RL


title: Cosmic void exclusion models and their impact on the distance scale measurements from large scale structure

abstract: Baryonic Acoustic Oscillations (BAOs) studies based on the clustering of voids and matter tracers provide important constraints on cosmological parameters related to the expansion of the Universe. However, modelling the void exclusion effect is an important challenge for fully exploiting the potential of this kind of analyses. We thus develop two numerical methods to describe the clustering of cosmic voids. Neither model requires additional cosmological information beyond that assumed within the galaxy de-wiggled model. The models consist in power spectra whose performance we assess in comparison to a parabolic model on Patchy cubic and light-cone mocks. Moreover, we test their robustness against systematic effects and the reconstruction technique. The void model power spectra and the parabolic model with a fixed parameter provide strongly correlated values for the Alcock-Paczynski ($\alpha$) parameter, for boxes and light-cones likewise. The resulting $\alpha$ values -- for all three models -- are unbiased and their uncertainties are correctly estimated. However, the numerical models show less variation with the fitting range compared to the parabolic one. The Bayesian evidence suggests that the numerical techniques are often favoured compared to the parabolic model. Moreover, the void model power spectra computed on boxes can describe the void clustering from light-cones as well as from boxes. The same void model power spectra can be used for the study of pre- and post-reconstructed data-sets. Lastly, the two numerical techniques are resilient against the studied systematic effects. Consequently, using either of the two new void models, one can more robustly measure cosmological parameters.


title: Large $(k; r, s; n, q)$-sets in Projective Spaces

abstract: A $(k; r, s; n, q)$-set (short: $(r,s)$-set) of $\mathrm{PG}(n, q)$ is a set of points $X$ with $|X| = k$ such that no $s$-space contains more than $r$ points of $X$. We investigate the asymptotic size of $(r, s)$-sets for $n$ fixed and $q \rightarrow \infty$. In particular, we show the existence of $(3, 2)$-sets of size $(1+o(1)) q^{3/2}$ for $n=6$, $(4, 2)$-sets of size $(1+o(1)) q^{\frac{n-1}{2}}$, and $(9, 2)$-sets of size $(1+o(1)) q^2$ for $n=4$. We also generalize a bound by Rao from 1947 and show that an $(r,s)$-set has size at most $O(q^{\frac{n-e+1}{e}})$ if there exist integers $d,e \geq 2$ such that $s=d(e-1)$ and $r=de-1$.


title: Non-adiabatic Ring Polymer Molecular Dynamics in the Phase Space of the SU(N) Lie Group

abstract: We derive the non-adiabatic ring polymer molecular dynamics (RPMD) approach in the phase space of the SU(N) Lie Group. This method, which we refer to as the spin mapping non-adiabatic RPMD (SM-NRPMD), is based on the spin-mapping formalism for the electronic degrees of freedom (DOFs) and ring polymer path-integral description for the nuclear DOFs. Using the Stratonovich-Weyl transform for the electronic DOFs, and the Wigner transform for the nuclear DOFs, we derived an exact expression of the Kubo-transformed time-correlation function (TCF). We further derive the spin mapping non-adiabatic Matsubara dynamics using the Matsubara approximation that removes the high frequency nuclear normal modes in the TCF and derive the SM-NRPMD approach from the non-adiabatic Matsubara dynamics by discarding the imaginary part of the Liouvillian. The SM-NRPMD method has numerical advantages compared to the original NRPMD method based on the MMST mapping formalism, due to a more natural mapping using the SU(N) Lie Group that preserves the symmetry of the original system. We numerically compute the Kubo-transformed position auto-correlation function and electronic population correlation function for three-state model systems. The numerical results demonstrate the accuracy of the SM-NRPMD method, which outperforms the original MMST-based NRPMD. We envision that the SM-NRPMD method will be a powerful approach to simulate electronic non-adiabatic dynamics and nuclear quantum effects accurately.


title: Multi-Stage Based Feature Fusion of Multi-Modal Data for Human Activity Recognition

abstract: To properly assist humans in their needs, human activity recognition (HAR) systems need the ability to fuse information from multiple modalities. Our hypothesis is that multimodal sensors, visual and non-visual tend to provide complementary information, addressing the limitations of other modalities. In this work, we propose a multi-modal framework that learns to effectively combine features from RGB Video and IMU sensors, and show its robustness for MMAct and UTD-MHAD datasets. Our model is trained in two-stage, where in the first stage, each input encoder learns to effectively extract features, and in the second stage, learns to combine these individual features. We show significant improvements of 22% and 11% compared to video only and IMU only setup on UTD-MHAD dataset, and 20% and 12% on MMAct datasets. Through extensive experimentation, we show the robustness of our model on zero shot setting, and limited annotated data setting. We further compare with state-of-the-art methods that use more input modalities and show that our method outperforms significantly on the more difficult MMact dataset, and performs comparably in UTD-MHAD dataset.


title: DiffPhase: Generative Diffusion-based STFT Phase Retrieval

abstract: Diffusion probabilistic models have been recently used in a variety of tasks, including speech enhancement and synthesis. As a generative approach, diffusion models have been shown to be especially suitable for imputation problems, where missing data is generated based on existing data. Phase retrieval is inherently an imputation problem, where phase information has to be generated based on the given magnitude. In this work we build upon previous work in the speech domain, adapting a speech enhancement diffusion model specifically for STFT phase retrieval. Evaluation using speech quality and intelligibility metrics shows the diffusion approach is well-suited to the phase retrieval task, with performance surpassing both classical and modern methods.


title: The large D effective theory of black strings in AdS

abstract: We study black strings/funnels and other black hole configurations in AdS that correspond to different phases of the dual CFT in black hole backgrounds, employing different approaches at large $D$. We assemble the phase diagram of uniform and non-uniform black strings/funnels and study their dynamical stability. We also construct flowing horizons. Many of our results are available analytically, though some are only known numerically.


title: Universal features of entanglement entropy in the honeycomb Hubbard model

abstract: The entanglement entropy is a unique probe to reveal universal features of strongly interacting many-body systems. In two or more dimensions these features are subtle, and detecting them numerically requires extreme precision, a notoriously difficult task. This is especially challenging in models of interacting fermions, where many such universal features have yet to be observed. In this paper we tackle this challenge by introducing a new method to compute the R\'enyi entanglement entropy in auxiliary-field quantum Monte Carlo simulations, where we treat the entangling region itself as a stochastic variable. We demonstrate the efficiency of this method by extracting, for the first time, universal subleading logarithmic terms in a two dimensional model of interacting fermions, focusing on the half-filled honeycomb Hubbard model at $T=0$. We detect the universal corner contribution due to gapless fermions throughout the Dirac semi-metal phase and at the Gross-Neveu-Yukawa critical point, where the latter shows a pronounced enhancement depending on the type of entangling cut. Finally, we observe the universal Goldstone mode contribution in the antiferromagnetic Mott insulating phase.


title: Demonstration of Gd-GEM detector design for neutron macromolecular crystallography applications

abstract: The European Spallation Source (ESS) in Lund, Sweden will become the world's most powerful thermal neutron source. The Macromolecular Diffractometer (NMX) at the ESS requires three 51.2 x 51.2~cm$^{2}$ detectors with reasonable detection efficiency, sub-mm spatial resolution, a narrow point spread function (PSF) and good time resolution. This work presents measurements with the improved version of the NMX detector prototype consisting of a Triple-GEM detector with natural Gd converter and a low material budget readout. The detector was successfully tested at the neutron reactor of the Budapest Neutron Centre (BNC) and at the D16 instrument at the Institut Laue-Langevin (ILL) in Grenoble. The measurements with Cadmium and Gadolinium masks in Budapest demonstrate that the point spread function of the detector lacks long tails that could impede the measurement of diffraction spot intensities. On the D16 instrument at ILL, diffraction spots from Triose phosphate isomerase w/ 2-phosphoglycolate (PGA) inhibitor were measured both in the D16 Helium-3 detector and the Gd-GEM. The comparison between the two detectors show a similar point spread function in both detectors, and the expected efficiency ratio compared to the Helium-3 detector. Both measurements together thus give good indications that the Gd-GEM detector fits the requirements for the NMX instrument at ESS.


title: Resolution enhancement of one-dimensional molecular wavefunctions in plane-wave basis via quantum machine learning

abstract: Super-resolution is a machine-learning technique in image processing which generates high-resolution images from low-resolution images. Inspired by this approach, we perform a numerical experiment of quantum machine learning, which takes low-resolution (low plane-wave energy cutoff) one-particle molecular wavefunctions in plane-wave basis as input and generates high-resolution (high plane-wave energy cutoff) wavefunctions in fictitious one-dimensional systems, and study the performance of different learning models. We show that the trained models can generate wavefunctions having higher fidelity values with respect to the ground-truth wavefunctions than a simple linear interpolation, and the results can be improved both qualitatively and quantitatively by including data-dependent information in the ansatz. On the other hand, the accuracy of the current approach deteriorates for wavefunctions calculated in electronic configurations not included in the training dataset. We also discuss the generalization of this approach to many-body electron wavefunctions.


title: Prompt-Based Metric Learning for Few-Shot NER

abstract: Few-shot named entity recognition (NER) targets generalizing to unseen labels and/or domains with few labeled examples. Existing metric learning methods compute token-level similarities between query and support sets, but are not able to fully incorporate label semantics into modeling. To address this issue, we propose a simple method to largely improve metric learning for NER: 1) multiple prompt schemas are designed to enhance label semantics; 2) we propose a novel architecture to effectively combine multiple prompt-based representations. Empirically, our method achieves new state-of-the-art (SOTA) results under 16 of the 18 considered settings, substantially outperforming the previous SOTA by an average of 8.84% and a maximum of 34.51% in relative gains of micro F1. Our code is available at https://github.com/AChen-qaq/ProML.


title: Extracting and Pre-Processing Event Logs

abstract: Event data is the basis for all process mining analysis. Most process mining techniques assume their input to be an event log. However, event data is rarely recorded in an event log format, but has to be extracted from raw data. Event log extraction itself is an act of modeling as the analyst has to consciously choose which features of the raw data are used for describing which behavior of which entities. Being aware of these choices and subtle but important differences in concepts such as trace, case, activity, event, table, and log is crucial for mastering advanced process mining analyses. This text provides fundamental concepts and formalizations and discusses design decisions in event log extraction from a raw event table and for event log pre-processing. It is intended as study material for an advanced lecture in a process mining course.


title: Toward Adaptive Semantic Communications: Efficient Data Transmission via Online Learned Nonlinear Transform Source-Channel Coding

abstract: The emerging field semantic communication is driving the research of end-to-end data transmission. By utilizing the powerful representation ability of deep learning models, learned data transmission schemes have exhibited superior performance than the established source and channel coding methods. While, so far, research efforts mainly concentrated on architecture and model improvements toward a static target domain. Despite their successes, such learned models are still suboptimal due to the limitations in model capacity and imperfect optimization and generalization, particularly when the testing data distribution or channel response is different from that adopted for model training, as is likely to be the case in real-world. To tackle this, we propose a novel online learned joint source and channel coding approach that leverages the deep learning model's overfitting property. Specifically, we update the off-the-shelf pre-trained models after deployment in a lightweight online fashion to adapt to the distribution shifts in source data and environment domain. We take the overfitting concept to the extreme, proposing a series of implementation-friendly methods to adapt the codec model or representations to an individual data or channel state instance, which can further lead to substantial gains in terms of the bandwidth ratio-distortion performance. The proposed methods enable the communication-efficient adaptation for all parameters in the network without sacrificing decoding speed. Our experiments, including user study, on continually changing target source data and wireless channel environments, demonstrate the effectiveness and efficiency of our approach, on which we outperform existing state-of-the-art engineered transmission scheme (VVC combined with 5G LDPC coded transmission).


title: Calibrated Perception Uncertainty Across Objects and Regions in Bird's-Eye-View

abstract: In driving scenarios with poor visibility or occlusions, it is important that the autonomous vehicle would take into account all the uncertainties when making driving decisions, including choice of a safe speed. The grid-based perception outputs, such as occupancy grids, and object-based outputs, such as lists of detected objects, must then be accompanied by well-calibrated uncertainty estimates. We highlight limitations in the state-of-the-art and propose a more complete set of uncertainties to be reported, particularly including undetected-object-ahead probabilities. We suggest a novel way to get these probabilistic outputs from bird's-eye-view probabilistic semantic segmentation, in the example of the FIERY model. We demonstrate that the obtained probabilities are not calibrated out-of-the-box and propose methods to achieve well-calibrated uncertainties.


title: Gaia DR3 and nearby galaxies: where do foregrounds matter?

abstract: Nearby galaxies provide populations of stellar and non-stellar sources at a common distance and in quantifiable environments. All are observed through the Milky Way foreground, with varying degrees of contamination that depend on observed Galactic latitude and the distance and size of the target galaxy. This work uses Gaia Data Release 3 (DR3) to identify foreground sources via astrometric measurements and thus quantify foreground contamination for a large sample of nearby galaxies. There are approximately half a million Gaia sources in the directions of 1401 galaxies listed in the Local Volume Galaxy catalogue (D<11 Mpc), excluding the largest Local Group galaxies. About two thirds of the Gaia sources have astrometric properties consistent with foreground sources; these sources are brighter, redder, and less centrally-concentrated than non-foreground sources. Averaged over galaxies, foreground sources make up 50 per cent of Gaia sources at projected radius r50=1.06*a26, where a26 is the angular diameter at the B=26.5 isophote. Foreground sources make up 50 per cent of Gaia sources at apparent magnitude m(G,50)=20.50. This limit corresponds to the tip of the red giant branch absolute magnitude at D = 450 kpc, and to the globular cluster luminosity function peak absolute magnitude at 5 Mpc. Gaia data provide a powerful tool for removing foreground contamination in stellar population studies of nearby galaxies, although Gaia foreground removal will be incomplete beyond distances of 5 Mpc.


title: The giant low surface brightness galaxy Malin 1: new constraints for its molecular gas mass from GBT/ARGUS observations

abstract: We report on results from GBT/ARGUS $^{12}$CO(1-0) observations for the giant low surface brightness galaxy Malin 1, which allow us to determine an upper limit for its CO mass, and hence its molecular gas mass and molecular gas mass surface density $\Sigma_{H_2}$. Although we performed very deep observations through 17 hours on source integration time, reaching a noise level of $\sim 0.2$ mK (T$^{*}_{A}$) with a corresponding extended source CO limit (3$\sigma$) of 0.09 K km s$^{-1}$, 19 times more sensitive than previous works, we do not detect the $^{12}$CO(1-0) emission line. However, the observations allow us to estimate an upper limit (3$\sigma$) for the CO mass of about $7.4 \times 10^9$ M$_\odot$ for the extended emission, and $1.4 \times 10^8$ M$_\odot$ for the central part of the galaxy. With these figures we conclude that the molecular gas surface density is lower than 0.3 M$_\odot$ pc$^{-2}$, and the corresponding molecular to atomic gas mass ratio is lower than 0.13. The evidence suggests a quite different physical conditions for the interstellar medium in Malin 1 compared to that of normal, high surface brightness spirals. This, in one way to another, keeps an usual molecular gas tracer as CO hidden from our observations, in spite of the diverse stellar and structural properties of Malin 1 observed by several authors since more than 30 years.


title: Quantum Deep Dreaming: A Novel Approach for Quantum Circuit Design

abstract: One of the challenges currently facing the quantum computing community is the design of quantum circuits which can efficiently run on near-term quantum computers, known as the quantum compiling problem. Algorithms such as the Variational Quantum Eigensolver (VQE), Quantum Approximate Optimization Algorithm (QAOA), and Quantum Architecture Search (QAS) have been shown to generate or find optimal near-term quantum circuits. However, these methods are computationally expensive and yield little insight into the circuit design process. In this paper, we propose Quantum Deep Dreaming (QDD), an algorithm that generates optimal quantum circuit architectures for specified objectives, such as ground state preparation, while providing insight into the circuit design process. In QDD, we first train a neural network to predict some property of a quantum circuit (such as VQE energy). Then, we employ the Deep Dreaming technique on the trained network to iteratively update an initial circuit to achieve a target property value (such as ground state VQE energy). Importantly, this iterative updating allows us to analyze the intermediate circuits of the dreaming process and gain insights into the circuit features that the network is modifying during dreaming. We demonstrate that QDD successfully generates, or 'dreams', circuits of six qubits close to ground state energy (Transverse Field Ising Model VQE energy) and that dreaming analysis yields circuit design insights. QDD is designed to optimize circuits with any target property and can be applied to circuit design problems both within and outside of quantum chemistry. Hence, QDD lays the foundation for the future discovery of optimized quantum circuits and for increased interpretability of automated quantum algorithm design.


title: FLock: Defending Malicious Behaviors in Federated Learning with Blockchain

abstract: Federated learning (FL) is a promising way to allow multiple data owners (clients) to collaboratively train machine learning models without compromising data privacy. Yet, existing FL solutions usually rely on a centralized aggregator for model weight aggregation, while assuming clients are honest. Even if data privacy can still be preserved, the problem of single-point failure and data poisoning attack from malicious clients remains unresolved. To tackle this challenge, we propose to use distributed ledger technology (DLT) to achieve FLock, a secure and reliable decentralized Federated Learning system built on blockchain. To guarantee model quality, we design a novel peer-to-peer (P2P) review and reward/slash mechanism to detect and deter malicious clients, powered by on-chain smart contracts. The reward/slash mechanism, in addition, serves as incentives for participants to honestly upload and review model parameters in the FLock system. FLock thus improves the performance and the robustness of FL systems in a fully P2P manner.


title: Crumbling Crystals: On the Dissolution Mechanism of NaCl in Water

abstract: Life on Earth depends upon the dissolution of ionic salts in water, particularly NaCl. However, an atomistic scale understanding of the process remains elusive. Simulations lend themselves conveniently to studying dissolution since they provide the spatio-temporal resolution that can be difficult to obtain experimentally. Nevertheless, the complexity of various inter- and intra-molecular interactions require careful treatment and long time scale simulations, both of which are typically hindered by computational expense. Here, we use advances in machine learning potential methodology to resolve for the first time at an ab initio level of theory the dissolution mechanism of NaCl in water. The picture that emerges is that of a steady ion-wise unwrapping of the crystal preceding its rapid disintegration, reminiscent of crumbling. The onset of crumbling can be explained by a strong increase in the ratio of the surface to volume of the crystal. Overall, dissolution is comprised of a series of highly dynamical microscopic sub-processes, resulting in an inherently stochastic mechanism. These atomistic level insights now pave the way for a general understanding of dissolution mechanisms in other crystals, and the methodology is primed for more complex systems of recent interest such as water/salt interfaces under flow and salt crystals under confinement.


title: Cross-Attention is all you need: Real-Time Streaming Transformers for Personalised Speech Enhancement

abstract: Personalised speech enhancement (PSE), which extracts only the speech of a target user and removes everything else from a recorded audio clip, can potentially improve users' experiences of audio AI modules deployed in the wild. To support a large variety of downstream audio tasks, such as real-time ASR and audio-call enhancement, a PSE solution should operate in a streaming mode, i.e., input audio cleaning should happen in real-time with a small latency and real-time factor. Personalisation is typically achieved by extracting a target speaker's voice profile from an enrolment audio, in the form of a static embedding vector, and then using it to condition the output of a PSE model. However, a fixed target speaker embedding may not be optimal under all conditions. In this work, we present a streaming Transformer-based PSE model and propose a novel cross-attention approach that gives adaptive target speaker representations. We present extensive experiments and show that our proposed cross-attention approach outperforms competitive baselines consistently, even when our model is only approximately half the size.


title: When & How to Transfer with Transfer Learning

abstract: In deep learning, transfer learning (TL) has become the de facto approach when dealing with image related tasks. Visual features learnt for one task have been shown to be reusable for other tasks, improving performance significantly. By reusing deep representations, TL enables the use of deep models in domains with limited data availability, limited computational resources and/or limited access to human experts. Domains which include the vast majority of real-life applications. This paper conducts an experimental evaluation of TL, exploring its trade-offs with respect to performance, environmental footprint, human hours and computational requirements. Results highlight the cases were a cheap feature extraction approach is preferable, and the situations where an expensive fine-tuning effort may be worth the added cost. Finally, a set of guidelines on the use of TL are proposed.


title: A Light shed on Lepton Flavor Universality in B decays

abstract: At the back of succeeding measurements of anomalies in semileptonic decays at LHCb and several collider experiments hinting at the possible violation of lepton flavor universality, we undertake a concise review of theoretical foundations of the tree- and loop-level $b$-hadron decays, $b \to c l \nu_l$ and $b \to s l^+ l^-$ along with experimental environments. We revisit the world averages for $R_{D(D^*)}$, $R_{K(K^*)}$, $R_{J/\psi}$, and $R_{\eta_c}$, for the semileptonic transitions and provide results within the framework of the relativistic independent quark model in addition to the results from model-independent studies. If the ongoing evaluation of the data of LHC Run 2 confirms the measurements of Run 1, then the statistical significance of the effect in each decay channel is likely to reach 5~$\sigma$. A confirmation of these measurements would soon turn out to be the first remarkable observation of physics beyond the Standard Model providing a wider outlook on the understanding of New Physics.


title: A deep solver for BSDEs with jumps

abstract: The aim of this work is to propose an extension of the Deep BSDE solver by Han, E, Jentzen (2017) to the case of FBSDEs with jumps. As in the aforementioned solver, starting from a discretized version of the BSDE and parametrizing the (high dimensional) control processes by means of a family of ANNs, the BSDE is viewed as model-based reinforcement learning problem and the ANN parameters are fitted so as to minimize a prescribed loss function. We take into account both finite and infinite jump activity by introducing, in the latter case, an approximation with finitely many jumps of the forward process.

categories: math.PR cs.NA math.NA math.OC q-fin.CP q-fin.PR


title: Infant hip screening using multi-class ultrasound scan segmentation

abstract: Developmental dysplasia of the hip (DDH) is a condition in infants where the femoral head is incorrectly located in the hip joint. We propose a deep learning algorithm for segmenting key structures within ultrasound images, employing this to calculate Femoral Head Coverage (FHC) and provide a screening diagnosis for DDH. To our knowledge, this is the first study to automate FHC calculation for DDH screening. Our algorithm outperforms the international state of the art, agreeing with expert clinicians on 89.8% of our test images.


title: The ERA Theorem for Safe Memory Reclamation

abstract: Safe memory reclamation (SMR) schemes for concurrent data structures offer trade-offs between three desirable properties: ease of integration, robustness, and applicability. In this paper we rigorously define SMR and these three properties, and we present the ERA theorem, asserting that any SMR scheme can only provide at most two of the three properties.


title: Optimal shepherding and transport of a flock

abstract: We investigate how a shepherd should move in order to effectively herd and guide a flock of agents towards a target. Using a detailed agent-based model (ABM) for the members of the flock, we pose and solve an optimization problem for the shepherd that has to simultaneously work to keep the flock cohesive while coercing it towards a prescribed project. We find that three distinct strategies emerge as potential solutions as a function of just two parameters: the ratio of herd size to shepherd repulsion length and the ratio of herd speed to shepherd speed. We term these as: (i) mustering, in which the shepherd circles the herd to ensure compactness, (ii) droving, in which the shepherd chases the herd in a desired direction, and (iii) driving, a hitherto unreported strategy where the flock surrounds a shepherd that drives it from within. A minimal dynamical model for the size, shape and position of the herd captures the effective behavior of the ABM, and further allows us to characterize the different herding strategies in terms of the behavior of the shepherd that librates (mustering), oscillates (droving) or moves steadily (driving). All together, our study yields a simple and intuitive classification of herding strategies that ought to be of general interest in the context of controlling the collective behavior of active matter.


title: The core degenerate scenario for the type Ia supernova SN 2020eyj

abstract: We argue that the core degenerate (CD) scenario of type Ia supernovae (SNe Ia) can explain the compact helium-rich circumstellar material (CSM) of SN 2020eyj. In the new channel of the CD scenario that we propose there are two major common envelope evolution (CEE) phases. After the white dwarf (WD) companion removes the hydrogen-rich envelope of the asymptotic giant branch star its spiralling-in halts at few solar radii from the core, rather than continuing to the carbon-oxygen (CO) core as in the hydrogen-rich SNe Ia-CSM CD scenario. Only hundreds to tens of thousands of years later, after the helium-rich core expands, does the WD enters a CEE with the helium-rich layer. By that time the hydrogen-rich envelope is at a large distance from the center. The WD merges with the CO core during the second CEE phase, and only after a merger to explosion delay (MED) time of weeks to tens of years the merger remnant explodes. The SN Ia ejecta collides with a helium-rich CSM at tens to hundreds of AU. We follow the evolution of two stellar models with initial masses of 5Mo and 7Mo to their asymptotic giant branch phase when they are supposed to engulf the WD companion. We find that there is a sufficiently massive CO core to merge with the WD in the frame of the CD scenario as well as a massive helium-rich layer, ~0.3-1Mo, to account for the helium-rich CSM of SN 2020eyj.


title: Classification of second harmonic generation effect in magnetically ordered materials

abstract: The relationship between magnetic order and the second harmonic generation (SHG) effect is a fundamental area of study in condensed matter physics with significant practical implications. In order to gain a clearer understanding of this intricate relation, this study presents a comprehensive classification scheme for the SHG effect in magnetically ordered materials. This framework offers a straightforward approach to connect magnetic order and SHG effect. The characteristics of the SHG tensors in all magnetic point groups are studied using the isomorphic group method, followed by a comprehensive SHG effect classification scheme that includes seven types based on the symmetries of the magnetic phases and their corresponding parent phases. In addition, a tensor dictionary containing the SHG and linear magneto-optic (LMO) effect is established. Furthermore, an extensive SHG database of magnetically ordered materials is also built up. This classification strategy exposes an anomalous SHG effect with even characteristic under time-reversal symmetry, which is solely contributed by magnetic structure. Moreover, the proposed classification scheme facilitates the determination of magnetic structures through SHG effect.


title: Defects and persistent luminescence in Eu-doped SrAl$_2$O$_4$

abstract: We investigate native point defects and rare-earth (co)dopants in SrAl$_2$O$_4$ using hybrid density-functional defect calculations. Europium (Eu) and dysprosium (Dy) are found to be mixed valence and energetically most favorable at the Sr lattice sites. However, unlike Eu where both Eu$^{2+}$ and Eu$^{3+}$ can be realized in synthesis, Dy is stable predominantly as Dy$^{3+}$, and the divalent Dy$^{2+}$ may only be photogenerated under irradiation. On the basis of an analysis of Eu-related band-defect (including charge-transfer) and interconfigurational $5d$-$4f$ optical transitions, we assign the characteristic broad blue (445 nm) and green (520 nm) emission bands in Eu$^{2+}$-doped SrAl$_2$O$_4$ to the $4f^65d^1$ $\rightarrow$ $4f^7$ transition in Eu$^{2+}$ incorporated at the Sr1 and Sr2 sites, respectively. Strontium interstitials (not oxygen vacancies, in contrast to what is commonly believed) and Dy$_{\rm Sr}$ can act as efficient electron traps for room-temperature persistent luminescence. This work calls for a re-assessment of certain assumptions regarding specific carrier trapping centers made in all mechanisms previously proposed for the persistent luminescence in Eu- and (Eu,Dy)-doped SrAl$_2$O$_4$. It also serves as a methodological template for the understanding and design of rare-earth doped phosphors.


title: Demultiplexed Single-Photon Source with a Quantum Dot Coupled to Microresonator

abstract: The characteristics of a single-photon emitter based on a semiconductor quantum dot, such as their indistinguishability and brightness, depend on the stability of the recombination channel, which can switch spontaneously between exciton and trion. We show that dominant recombination through neutral exciton states can be achieved by careful control of the doping profile near an epitaxial InAs/GaAs quantum dot placed in a columnar microcavity with distributed Bragg reflectors. The Hong-Ou-Mandel experiments carried out in the fabricated device demonstrate the degree of indistinguishability of 91% of successively emitted single photons within 242 ns at an efficiency of 10% inside a single-mode optical fiber. The achieved brightness made it possible to implement spatio-temporal demultiplexing of photons in six independent spatial modes with an in-fiber generation frequency of more than 0.1 Hz.


title: The minimum number of maximal independent sets in twin-free graphs

abstract: The problem of determining the maximum number of maximal independent sets in certain graph classes dates back to a paper of Miller and Muller and a question of Erd\H{o}s and Moser from the 1960s. The minimum was always considered to be less interesting due to simple examples such as stars. In this paper we show that the problem becomes interesting when restricted to twin-free graphs, where no two vertices have the same open neighbourhood. We consider the question for arbitrary graphs, bipartite graphs and trees. The minimum number of maximal independent sets turns out to be logarithmic in the number of vertices for arbitrary graphs, linear for bipartite graphs and exponential for trees. In the latter case, the minimum and the extremal graphs have been determined earlier by Taletski\u{\i} and Malyshev, but we present a shorter proof.


title: A Unified Framework for Continuous-time Unconstrained Distributed Optimization

abstract: We introduce a class of distributed nonlinear control systems, termed as the flow-tracker dynamics, which capture phenomena where the average state is controlled by the average control input, with no individual agent has direct access to this average. The agents update their estimates of the average through a nonlinear observer. We prove that utilizing a proper gradient feedback for any distributed control system that satisfies these conditions will lead to a solution of the corresponding distributed optimization problem. We show that many of the existing algorithms for solving distributed optimization are instances of this dynamics and hence, their convergence properties can follow from its properties. In this sense, the proposed method establishes a unified framework for distributed optimization in continuous-time. Moreover, this formulation allows us to introduce a suit of new continuous-time distributed optimization algorithms by readily extending the graph-theoretic conditions under which such dynamics are convergent.


title: Large Eddy Simulations of Turbulent Pipe Flows At Moderate-To-High Reynolds Numbers

abstract: Wall-bounded turbulence is relevant for many engineering and natural science applications, yet there are still aspects of its underlying physics that are not fully understood, particularly at high Reynolds numbers. In this study, we investigate fully-developed turbulent pipe flows at moderate-to-high friction velocity Reynolds numbers ($361 \leq Re_{\tau} \leq 2,000$), corresponding to bulk velocity-based Reynolds numbers of $11,700 \leq Re_{b} \leq 82,500$, using wall-modeled Large Eddy Simulations (LES) in OpenFOAM. A grid convergence study is performed for $Re_{\tau} = 361$, followed by an investigation of the accuracy of various subgrid-scale stress models for the same Reynolds number. Results show that the Wall-Adapting Local Eddy (WALE) model performs well compared to experiments and Direct Numerical Simulations (DNS), while One-Equation Eddy-Viscosity Model (OEEVM) and Smagorinsky (SMG) are too dissipative. LES utilizing WALE are then performed for four different Reynolds numbers with gradually refined grids, revealing excellent agreement with DNS data in the outer region. However, a significant deviation from DNS data is observed in the sub-viscous layer region, indicating the need for further mesh refinement in the wall-normal direction to accurately capture the smallest-scale motions' behavior. Additional mesh sensitivity analysis uncovered that, as the $Re_{\tau}$ value rises, it becomes crucial for a grid to adhere to the condition of $\Delta x^{+} \leq 20 - 25$ and $\Delta z^{+} \leq 10$ in order to precisely capture substantial large and small scale fluctuations. Overall, the WALE model enables accurate numerical simulations of high-Reynolds-number, wall-bounded flows at a fraction of the computational cost required for temporal and spatial resolution of the inner layer.


title: Functionalising the wavefunction

abstract: Functionalism is the view that being x is to play the role of x. This paper defends a functionalist account of three-dimensional entities in the context of Wave Function Realism (WFR), that can explain in detail how we can recover three-dimensional entities out of the wavefunction. In particular, the essay advocates for a novel version of WFR in terms of a functional reductionist approach in the style of David Lewis. This account entails reduction of the upper entities to the bottom ones, when the latter behave appropriately. As applied to WFR, it shows how the wavefunction can turn out to be identical to three-dimensional objects, provided certain conditions. The first major goal of the paper is thus to put forward an improved and more rigorous version of WFR, which dissolves several extant issues about the theory, and can serve as a starting point for the future literature about the topic. Moreover, the second major goal of the article is to take WFR as a case study to demonstrate the pros of functional reductionism, especially in the form defended here, thereby helping to bring this view back in the philosophy of science debate. The positive upshots of this paper suggest a possible application of functional reductionism also to other contexts.


title: Iris: Automatic Generation of Efficient Data Layouts for High Bandwidth Utilization

abstract: Optimizing data movements is becoming one of the biggest challenges in heterogeneous computing to cope with data deluge and, consequently, big data applications. When creating specialized accelerators, modern high-level synthesis (HLS) tools are increasingly efficient in optimizing the computational aspects, but data transfers have not been adequately improved. To combat this, novel architectures such as High-Bandwidth Memory with wider data busses have been developed so that more data can be transferred in parallel. Designers must tailor their hardware/software interfaces to fully exploit the available bandwidth. HLS tools can automate this process, but the designer must follow strict coding-style rules. If the bus width is not evenly divisible by the data width (e.g., when using custom-precision data types) or if the arrays are not power-of-two length, the HLS-generated accelerator will likely not fully utilize the available bandwidth, demanding even more manual effort from the designer. We propose a methodology to automatically find and implement a data layout that, when streamed between memory and an accelerator, uses a higher percentage of the available bandwidth than a naive or HLS-optimized design. We borrow concepts from multiprocessor scheduling to achieve such high efficiency.


title: Hyperparameter optimization in deep multi-target prediction

abstract: As a result of the ever increasing complexity of configuring and fine-tuning machine learning models, the field of automated machine learning (AutoML) has emerged over the past decade. However, software implementations like Auto-WEKA and Auto-sklearn typically focus on classical machine learning (ML) tasks such as classification and regression. Our work can be seen as the first attempt at offering a single AutoML framework for most problem settings that fall under the umbrella of multi-target prediction, which includes popular ML settings such as multi-label classification, multivariate regression, multi-task learning, dyadic prediction, matrix completion, and zero-shot learning. Automated problem selection and model configuration are achieved by extending DeepMTP, a general deep learning framework for MTP problem settings, with popular hyperparameter optimization (HPO) methods. Our extensive benchmarking across different datasets and MTP problem settings identifies cases where specific HPO methods outperform others.


title: Surrogate light curve models for kilonovae with comprehensive wind ejecta outflows and parameter estimation for AT2017gfo

abstract: The electromagnetic emission resulting from neutron star mergers have been shown to encode properties of the ejected material in their light curves. The ejecta properties inferred from the kilonova emission has been in tension with those calculated based on the gravitational wave signal and numerical relativity models. Motivated by this tension, we construct a broad set of surrogate light curve models derived for kilonova ejecta. The four-parameter family of two-dimensional anisotropic simulations and its associated surrogate explore different assumptions about the wind outflow morphology and outflow composition, keeping the dynamical ejecta component consistent. We present the capabilities of these surrogate models in interpolating kilonova light curves across various ejecta parameters and perform parameter estimation for AT2017gfo both without any assumptions on the outflow and under the assumption that the outflow must be representative of solar r-process abundance patterns. Our parameter estimation for AT2017gfo shows these surrogate models help alleviate the ejecta property discrepancy while also illustrating the impact of systematic modeling uncertainties on these properties, urging further investigation.


title: NaturalAdversaries: Can Naturalistic Adversaries Be as Effective as Artificial Adversaries?

abstract: While a substantial body of prior work has explored adversarial example generation for natural language understanding tasks, these examples are often unrealistic and diverge from the real-world data distributions. In this work, we introduce a two-stage adversarial example generation framework (NaturalAdversaries), for designing adversaries that are effective at fooling a given classifier and demonstrate natural-looking failure cases that could plausibly occur during in-the-wild deployment of the models. At the first stage a token attribution method is used to summarize a given classifier's behaviour as a function of the key tokens in the input. In the second stage a generative model is conditioned on the key tokens from the first stage. NaturalAdversaries is adaptable to both black-box and white-box adversarial attacks based on the level of access to the model parameters. Our results indicate these adversaries generalize across domains, and offer insights for future research on improving robustness of neural text classification models.


title: Strong-Lensing Source Reconstruction with Denoising Diffusion Restoration Models

abstract: Analysis of galaxy--galaxy strong lensing systems is strongly dependent on any prior assumptions made about the appearance of the source. Here we present a method of imposing a data-driven prior / regularisation for source galaxies based on denoising diffusion probabilistic models (DDPMs). We use a pre-trained model for galaxy images, AstroDDPM, and a chain of conditional reconstruction steps called denoising diffusion reconstruction model (DDRM) to obtain samples consistent both with the noisy observation and with the distribution of training data for AstroDDPM. We show that these samples have the qualitative properties associated with the posterior for the source model: in a low-to-medium noise scenario they closely resemble the observation, while reconstructions from uncertain data show greater variability, consistent with the distribution encoded in the generative model used as prior.


title: Lebesgue decompositions and the Gleason--Whitney property for operator algebras

abstract: Broadly speaking, this paper is concerned with dual spaces of operator algebras. More precisely, we investigate the existence of what we call Lebesgue projections: central projections in the bidual of an operator algebra that detect the weak-$*$ continuous part of the dual space. Associated to any such projection is a Lebesgue decomposition of the dual space. We are particularly interested in Lebesgue projections in the context of inclusions of operator algebras. We show how their presence is intimately connected with an extension property for the inclusion reminiscent of a classical theorem of Gleason and Whitney. We illustrate that this Gleason--Whitney property fails in many examples of concrete operator algebras of functions, which partly explains why compatible Lebesgue decompositions are scarce, and highlights that the classical inclusion $H^\infty\subset L^\infty$ on the circle does not display generic behaviour.


title: Much Easier Said Than Done: Falsifying the Causal Relevance of Linear Decoding Methods

abstract: Linear classifier probes are frequently utilized to better understand how neural networks function. Researchers have approached the problem of determining unit importance in neural networks by probing their learned, internal representations. Linear classifier probes identify highly selective units as the most important for network function. Whether or not a network actually relies on high selectivity units can be tested by removing them from the network using ablation. Surprisingly, when highly selective units are ablated they only produce small performance deficits, and even then only in some cases. In spite of the absence of ablation effects for selective neurons, linear decoding methods can be effectively used to interpret network function, leaving their effectiveness a mystery. To falsify the exclusive role of selectivity in network function and resolve this contradiction, we systematically ablate groups of units in subregions of activation space. Here, we find a weak relationship between neurons identified by probes and those identified by ablation. More specifically, we find that an interaction between selectivity and the average activity of the unit better predicts ablation performance deficits for groups of units in AlexNet, VGG16, MobileNetV2, and ResNet101. Linear decoders are likely somewhat effective because they overlap with those units that are causally important for network function. Interpretability methods could be improved by focusing on causally important units.


title: A Multimodal Approach for Dementia Detection from Spontaneous Speech with Tensor Fusion Layer

abstract: Alzheimer's disease (AD) is a progressive neurological disorder, meaning that the symptoms develop gradually throughout the years. It is also the main cause of dementia, which affects memory, thinking skills, and mental abilities. Nowadays, researchers have moved their interest towards AD detection from spontaneous speech, since it constitutes a time-effective procedure. However, existing state-of-the-art works proposing multimodal approaches do not take into consideration the inter- and intra-modal interactions and propose early and late fusion approaches. To tackle these limitations, we propose deep neural networks, which can be trained in an end-to-end trainable way and capture the inter- and intra-modal interactions. Firstly, each audio file is converted to an image consisting of three channels, i.e., log-Mel spectrogram, delta, and delta-delta. Next, each transcript is passed through a BERT model followed by a gated self-attention layer. Similarly, each image is passed through a Swin Transformer followed by an independent gated self-attention layer. Acoustic features are extracted also from each audio file. Finally, the representation vectors from the different modalities are fed to a tensor fusion layer for capturing the inter-modal interactions. Extensive experiments conducted on the ADReSS Challenge dataset indicate that our introduced approaches obtain valuable advantages over existing research initiatives reaching Accuracy and F1-score up to 86.25% and 85.48% respectively.


title: Accelerating Time Series Analysis via Processing using Non-Volatile Memories

abstract: Time Series Analysis (TSA) is a critical workload to extract valuable information from collections of sequential data, e.g., detecting anomalies in electrocardiograms. Subsequence Dynamic Time Warping (sDTW) is the state-of-the-art algorithm for high-accuracy TSA. We find that the performance and energy efficiency of sDTW on conventional CPU and GPU platforms are heavily burdened by the latency and energy overheads of data movement between the compute and the memory units. sDTW exhibits low arithmetic intensity and low data reuse on conventional platforms, stemming from poor amortization of the data movement overheads. To improve the performance and energy efficiency of the sDTW algorithm, we propose MATSA, the first Magnetoresistive RAM (MRAM)-based Accelerator for TSA. MATSA leverages Processing-Using-Memory (PUM) based on MRAM crossbars to minimize data movement overheads and exploit parallelism in sDTW. MATSA improves performance by 7.35x/6.15x/6.31x and energy efficiency by 11.29x/4.21x/2.65x over server-class CPU, GPU, and Processing-Near-Memory platforms, respectively.


title: NESTER: An Adaptive Neurosymbolic Method for Causal Effect Estimation

abstract: Causal effect estimation from observational data is a central problem in causal inference. Methods based on potential outcomes framework solve this problem by exploiting inductive biases and heuristics from causal inference. Each of these methods addresses a specific aspect of causal effect estimation, such as controlling propensity score, enforcing randomization, etc., by designing neural network (NN) architectures and regularizers. In this paper, we propose an adaptive method called Neurosymbolic Causal Effect Estimator (NESTER), a generalized method for causal effect estimation. NESTER integrates the ideas used in existing methods based on multi-head NNs for causal effect estimation into one framework. We design a Domain Specific Language (DSL) tailored for causal effect estimation based on causal inductive biases used in literature. We conduct a theoretical analysis to investigate NESTER's efficacy in estimating causal effects. Our comprehensive empirical results show that NESTER performs better than state-of-the-art methods on benchmark datasets.


title: Hyperbolic one-relator groups

abstract: We introduce two families of two-generator one-relator groups called primitive extension groups and show that a one-relator group is hyperbolic if its primitive extension subgroups are hyperbolic. This reduces the problem of characterising hyperbolic one-relator groups to characterising hyperbolic primitive extension groups. These new groups moreover admit explicit decompositions as graphs of free groups with adjoined roots. In order to obtain this result, we characterise $2$-free one-relator groups with exceptional intersection in terms of Christoffel words, show that hyperbolic one-relator groups have quasi-convex Magnus subgroups and build upon the one-relator tower machinery developed in the authors previous article.


title: Semileptonic decays of doubly charmed baryons with bag model

abstract: We study the semileptonic decays of $B_{cc}$ ${\rightarrow}$ $B_c\ell^+\nu_\ell$ with the bag model, where $\ell$ = $(e, \mu)$, $B_{cc}$ = $(\Xi_{cc}^{++}$, $\Xi_{cc}^+$, $\Omega_{cc}^+$), and $ B_c$ are the singly charmed baryons with $J^P= 1/2^+$. We obtain the decay widths of $\Gamma(\Xi_{cc}^{++}{\rightarrow}\Xi_c^+e^+\nu_e, \Xi_c^{\prime+}e^+\nu_e, \Lambda_c^+e^+\nu_e, \Omega_c^+ e^+\nu_e) =(5.1\pm 0.1 , 11\pm 1, 0.34\pm 0.06, 0.76\pm 0.06)\times 10^{-14}$~GeV, $\Gamma(\Xi_{cc}^+\rightarrow \Xi_c^0e^+\nu_e, \Xi_c^{\prime0}e^+\nu_e , \Sigma_c^0e^+\nu_e) = (5.1\pm 0.6, 11\pm 1, 1.5\pm 0.1) \times 10^{-14}$~GeV, and $\Gamma(\Omega_{cc}^+\rightarrow \Omega_c^0 e^+\nu_e, \Xi_c^0e^+\nu_e , \Xi_c^{\prime0} e^+\nu_e) = (22\pm 2, 0.32 \pm 0.04, 0.77\pm 0.06)\times 10^{-14}$~GeV. We also get that $\Gamma$($B_{cc}$ ${\rightarrow}$ $B_c\mu^+\nu_\mu$)/$\Gamma$($B_{cc}$ ${\rightarrow}$ $B_ce^+\nu_e$) = $0.97\sim 1.00$. In addition, we discuss the $SU(3)$ flavor breaking effects, classified into three aspects: phase space differences, spectator quarks, and overlappings of the transited quarks. In particular, we show that the breaking effects are dominated by the phase space differences, which can be as large as 25\%. Explicitly, we find that $\Gamma(\Xi_{cc}^{++} \to \Lambda_c ^+ e^+ \nu _e) V_{cs}^2/\Gamma(\Xi_{cc}^{++} \to \Xi_c ^+ e^+ \nu_e )V_{cd}^2 = 1.24$, which is expected as $1$ under the exact $SU(3)$ flavor symmetry.


title: A machine learning approach to drawing phase diagrams of topological lasing modes

abstract: Identifying phases and analyzing the stability of dynamic states are ubiquitous and important problems which appear in various physical systems. Nonetheless, drawing a phase diagram in high-dimensional and large parameter spaces has remained challenging. Here, we propose a data-driven method to derive the phase diagram of lasing modes in topological insulator lasers. The classification is based on the temporal behaviour of the topological modes obtained via numerical integration of the rate equation. A semi-supervised learning method is used and an adaptive library is constructed in order to distinguish the different topological modes present in the generated parameter space. The proposed method successfully distinguishes the different topological phases in the Su-Schrieffer-Heeger (SSH) lattice with saturable gain.This demonstrates the possibility of classifying the topological phases without needing for expert knowledge of the system and may give valuable insight into the fundamental physics of topological insulator lasers via reverse engineering.


title: The slowest coupon collector's problem

abstract: In the classical coupon collector's problem, every box of breakfast cereal contains one coupon from a collection of n distinct coupons, each equally likely to appear. The goal is to find the expected number of boxes a player needs to purchase to complete the whole collection. In this work, we extend the classical problem to k players who compete with one another to be the first to collect the whole collection. We find the expected numbers of boxes required for the slowest and fastest players to finish the game. The odds of a particular player being the slowest or fastest player will also be touched upon. The solutions will be discussed from both the tractable algebraic techniques as well as the probability point of views.


title: Explicit Forms and Proofs of Zagier's Rank Three Examples for Nahm's Problem

abstract: Let $r\geq 1$ be a positive integer, $A$ a real positive semi-definite symmetric $r\times r$ rational matrix, $B$ a rational vector of length $r$, and $C$ a rational scalar. Nahm's problem is to find all triples $(A,B,C)$ such that the $r$-fold $q$-hypergeometric series $$f_{A,B,C}(q):=\sum_{n=(n_1,\dots,n_r)^\mathrm{T}\in (\mathbb{Z}_{\geq 0})^r} \frac{q^{\frac{1}{2}n^\mathrm{T} An+n^\mathrm{T} B+C}}{(q;q)_{n_1}\cdots (q;q)_{n_r}}$$ becomes a modular form, and we call such $(A,B,C)$ a modular triple. When the rank $r=3$, after extensive computer searches, Zagier provided twelve sets of conjectural modular triples and proved three of them. We prove a number of Rogers-Ramanujan type identities involving triple sums. These identities give modular form representations for and thereby verify all of Zagier's rank three examples. In particular, we prove a conjectural identity of Zagier.


title: Lasing modes in ZnO nanowires coupled to planar metals

abstract: Semiconductor nanowire lasers can be subject to modifications of their lasing threshold resulting from a variation of their environment. A promising choice is to use metallic substrates to gain access to low-volume Surface-Plasmon-Polariton (SPP) modes. We introduce a simple, yet quantitatively precise model that can serve to describe mode competition in nanowire lasers on metallic substrates. We show that an aluminum substrate can decrease the lasing threshold for ZnO nanowire lasers while for a silver substrate, the threshold increases compared with a dielectric substrate. Generalizing from these findings, we make predictions describing the interaction between planar metals and semiconductor nanowires, which allow to guide future improvements of highly-integrated laser sources.


title: On the BDP Iwasawa main conjecture for modular forms

abstract: Let $K$ be an imaginary quadratic field where $p$ splits, $p\geq5$ a prime number and $f$ an eigen-newform of even weight and level $N>3$ that is coprime to $p$. Under the Heegner hypothesis, Kobayashi--Ota showed that one inclusion of the Iwasawa main conjecture of $f$ involving the Bertolini--Darmon--Prasanna $p$-adic $L$-function holds after tensoring by $\mathbb{Q}_p$. Under certain hypotheses, we improve upon Kobayahsi--Ota's result and show that the same inclusion holds integrally. Our result implies the vanishing of the Iwasawa $\mu$-invariants of several anticyclotomic Selmer groups.


title: A note on the Gromov width of toric manifolds

abstract: The Gromov width of a uniruled projective K\"ahler manifold can be bounded from above by the symplectic area of its minimal curves. We apply this result to toric varieties and thus get in this case upper bounds expressed in toric combinatorial invariants.