title: Anti-site disorder and Berry curvature driven anomalous Hall effect in spin gapless semiconducting Mn2CoAl Heusler compound

abstract: Spin gapless semiconductors exhibit a finite band gap for one spin channel and closed gap for other spin channel, emerged as a new state of magnetic materials with a great potential for spintronic applications. The first experimental evidence for the spin gapless semiconducting behavior was observed in an inverse Heusler compound Mn2CoAl. Here, we report a detailed investigation of the crystal structure and anomalous Hall effect in the Mn2CoAl using experimental and theoretical studies. The analysis of the high-resolution synchrotron x-ray diffraction data shows anti-site disorder between Mn and Al atoms within the inverse Heusler structure. The temperature-dependent resistivity shows semiconducting behavior and follows Mooijs criteria for disordered metal. Scaling behavior of the anomalous Hall resistivity suggests that the anomalous Hall effect in the Mn2CoAl is primarily governed by intrinsic mechanism due to the Berry curvature in momentum space. The experimental intrinsic anomalous Hall conductivity (AHC) is found to be 35 S/cm, which is considerably larger than the theoretically predicted value for ordered Mn2CoAl. Our first-principle calculations conclude that the anti-site disorder between Mn and Al atoms enhances the Berry curvature and hence the value of intrinsic AHC, which is in a very well agreement with the experiment.


title: Toward Secure and Private Over-the-Air Federated Learning

abstract: In this paper, a novel secure and private over-the-air federated learning (SP-OTA-FL) framework is studied where noise is employed to protect data privacy and system security. Specifically, the privacy leakage of user data and the security level of the system are measured by differential privacy (DP) and mean square error security (MSE-security), respectively. To mitigate the impact of noise on learning accuracy, we propose a channel-weighted post-processing (CWPP) mechanism, which assigns a smaller weight to the gradient of the device with poor channel conditions. Furthermore, employing CWPP can avoid the issue that the signal-to-noise ratio (SNR) of the overall system is limited by the device with the worst channel condition in aligned over-the-air federated learning (OTA-FL). We theoretically analyze the effect of noise on privacy and security protection and also illustrate the adverse impact of noise on learning performance by conducting convergence analysis. Based on these analytical results, we propose device scheduling policies considering privacy and security protection in different cases of channel noise. In particular, we formulate an integer nonlinear fractional programming problem aiming to minimize the negative impact of noise on the learning process. We obtain the closed-form solution to the optimization problem when the model is with high dimension. For the general case, we propose a secure and private algorithm (SPA) based on the branch-and-bound (BnB) method, which can obtain an optimal solution with low complexity. The effectiveness of the proposed CWPP mechanism and the policies for device selection are validated through simulations.


title: Multi-View Photometric Stereo Revisited

abstract: Multi-view photometric stereo (MVPS) is a preferred method for detailed and precise 3D acquisition of an object from images. Although popular methods for MVPS can provide outstanding results, they are often complex to execute and limited to isotropic material objects. To address such limitations, we present a simple, practical approach to MVPS, which works well for isotropic as well as other object material types such as anisotropic and glossy. The proposed approach in this paper exploits the benefit of uncertainty modeling in a deep neural network for a reliable fusion of photometric stereo (PS) and multi-view stereo (MVS) network predictions. Yet, contrary to the recently proposed state-of-the-art, we introduce neural volume rendering methodology for a trustworthy fusion of MVS and PS measurements. The advantage of introducing neural volume rendering is that it helps in the reliable modeling of objects with diverse material types, where existing MVS methods, PS methods, or both may fail. Furthermore, it allows us to work on neural 3D shape representation, which has recently shown outstanding results for many geometric processing tasks. Our suggested new loss function aims to fits the zero level set of the implicit neural function using the most certain MVS and PS network predictions coupled with weighted neural volume rendering cost. The proposed approach shows state-of-the-art results when tested extensively on several benchmark datasets.


title: The Minkowski sum of linear Cantor sets

abstract: Let $C$ be the classical middle third Cantor set. It is well known that $C+C = [0,2]$ (Steinhaus, 1917). (Here $+$ denotes the Minkowski sum.) Let $U$ be the set of $z \in [0,2]$ which have a unique representation as $z = x + y$ with $x, y \in C$ (the set of uniqueness). It isn't difficult to show that $\dim_H U = \log(2) / \log(3)$ and $U$ essentially looks like $2C$. Assuming $0,n-1 \in A \subset \{0,1,\dots,n-1\}$, define $C_A = C_{A,n}$ as the linear Cantor set which the attractor of the iterated function system \[ \{ x \mapsto (x + a) / n: a \in A \}. \] We consider various properties of such linear Cantor sets. Our main focus will be on the structure of $C_{A,n}+C_{A,n}$ depending on $n$ and $A$ as well as the properties of the set of uniqueness $U_A$.


title: Optimal estimation of local time and occupation time measure for an {\alpha}-stable Levy process

abstract: We present a novel theoretical result on estimation of local time and occupation time measure of an {\alpha}-stable L\'evy process with {\alpha} in (1, 2). Our approach is based upon computing the conditional expectation of the desired quantities given high frequency data, which is an L^2-optimal statistic by construction. We prove the corresponding stable central limit theorems and discuss a statistical application. In particular, this work extends the results of [Ivanovs and i Podolskij (2021)], which investigated the case of the Brownian motion.


title: Landau damping for gravitational waves in parity-violating theories

abstract: We discuss how tensor polarizations of gravitational waves can suffer Landau damping in the presence of velocity birefringence, when parity symmetry is explicitly broken. In particular, we analyze the role of the Nieh-Yan and Chern-Simons terms in modified theories of gravity, showing how the gravitational perturbation in collisionless media can be characterized by a subluminal phase velocity, circumventing the well-known results of General Relativity and allowing for the appearance of the kinematic damping. We investigate in detail the connection between the thermodynamic properties of the medium, such as temperature and mass of the particles interacting with the gravitational wave, and the parameters ruling the parity violating terms of the models. In this respect, we outline how the dispersion relations can give rise in each model to different regions of the wavenumber space, where the phase velocity is subluminal, superluminal or does not exist. Quantitative estimates on the considered models indicate that the phenomenon of Landau damping is not detectable given the sensitivity of present-day instruments.


title: Optical coherent feedback control of a mechanical oscillator

abstract: Feedback is a powerful and ubiquitous technique both in classical and quantum system control. Its standard implementation relies on measuring the state of a system, processing the classical signal, and feeding it back to the system. In quantum physics, however, measurements not only read out the state of the system but also modify it irreversibly. Coherent feedback is a different kind of feedback that coherently processes and feeds back quantum signals without actually measuring the system. Here, we report on the experimental realization and the theoretical analysis of an optical coherent feedback platform to control the motional state of a nanomechanical membrane in an optical cavity. The coherent feedback loop consists of a light field interacting twice with the same mechanical mode through different cavity modes, without {performing any} measurement. Tuning the optical phase and delay of the feedback loop allows us to control the motional state of the mechanical oscillator, its resonance frequency and also its damping rate, which we use to cool the membrane close to the quantum ground state. Our theoretical analysis provides the optimal cooling conditions, showing that this new technique enables ground-state cooling. Experimentally, we show that we can cool the membrane to a state with $\bar{n}_m = 4.89 \pm 0.14 $ phonons (${480}\,{\mu \mathrm{K}}$) in a ${20}\,\mathrm{K}$ environment. This lies below the theoretical limit of cavity dynamical backaction cooling in the unresolved sideband regime and is achieved with only 1$\%$ of the optical power required for cavity cooling. Our feedback scheme is very versatile, offering new opportunities for quantum control in a variety of optomechanical systems.


title: Learning image representations for anomaly detection: application to discovery of histological alterations in drug development

abstract: We present a system for anomaly detection in histopathological images. In histology, normal samples are usually abundant, whereas anomalous (pathological) cases are scarce or not available. Under such settings, one-class classifiers trained on healthy data can detect out-of-distribution anomalous samples. Such approaches combined with pre-trained Convolutional Neural Network (CNN) representations of images were previously employed for anomaly detection (AD). However, pre-trained off-the-shelf CNN representations may not be sensitive to abnormal conditions in tissues, while natural variations of healthy tissue may result in distant representations. To adapt representations to relevant details in healthy tissue we propose training a CNN on an auxiliary task that discriminates healthy tissue of different species, organs, and staining reagents. Almost no additional labeling workload is required, since healthy samples come automatically with aforementioned labels. During training we enforce compact image representations with a center-loss term, which further improves representations for AD. The proposed system outperforms established AD methods on a published dataset of liver anomalies. Moreover, it provided comparable results to conventional methods specifically tailored for quantification of liver anomalies. We show that our approach can be used for toxicity assessment of candidate drugs at early development stages and thereby may reduce expensive late-stage drug attrition.


title: Calculation of branching fraction and $CP$ violation in $B^-\rightarrow D_s^-D^0$ decay

abstract: The most precise measurement of the $CP$ asymmetry in the decay $B^-\rightarrow D_s^-D^0$ has been reported by LHCb collaboration with the value of $(-0.4\pm0.5\pm0.5)\%$. In this study, the $CP$ violation in the decay $B^-\rightarrow D_s^-D^0$ has been calculated under the factorization approach. This decay mode includes current-current tree and penguin diagrams and their amplitudes are considered separately. In each of the tree and penguin amplitudes, the strong and weak phases have been introduced. The $CP$ asymmetry has been calculated in this work to be $(-0.35\pm0.03)\%$. Finally, from the sum of the amplitudes, we have calculated the total amplitude and obtained comparable results with experimental value for the branching ratio of $B^-\rightarrow D_s^-D^0$ decay.


title: TransFusion: Transcribing Speech with Multinomial Diffusion

abstract: Diffusion models have shown exceptional scaling properties in the image synthesis domain, and initial attempts have shown similar benefits for applying diffusion to unconditional text synthesis. Denoising diffusion models attempt to iteratively refine a sampled noise signal until it resembles a coherent signal (such as an image or written sentence). In this work we aim to see whether the benefits of diffusion models can also be realized for speech recognition. To this end, we propose a new way to perform speech recognition using a diffusion model conditioned on pretrained speech features. Specifically, we propose TransFusion: a transcribing diffusion model which iteratively denoises a random character sequence into coherent text corresponding to the transcript of a conditioning utterance. We demonstrate comparable performance to existing high-performing contrastive models on the LibriSpeech speech recognition benchmark. To the best of our knowledge, we are the first to apply denoising diffusion to speech recognition. We also propose new techniques for effectively sampling and decoding multinomial diffusion models. These are required because traditional methods of sampling from acoustic models are not possible with our new discrete diffusion approach. Code and trained models are available: https://github.com/RF5/transfusion-asr


title: Direct Reuse of Aluminium and Copper Current Collectors from Spent Lithium-ion Batteries

abstract: The ever-increasing number of spent lithium-ion batteries (LIBs) has presented a serious waste-management challenge. Aluminium and copper current collectors are important components in LIBs and take up a weight percentage of more than 15%. Direct reuse of current collectors can effectively reduce LIB waste and provide an alternative renewable source of aluminium and copper. Besides, it also prevents long manufacturing processes and associated energy input and material consumption. However, there is a lack of work on the direct reuse of current collectors in the literature. Herein, aluminium and copper current collectors are reclaimed from commercial spent LIBs with different chemical treatments and successfully reused for LiNi0.6Mn0.2Co0.2O2 cathodes and graphite anodes, respectively. The reclaimed current collectors treated with different processes show different surface compositions and morphology to pristine ones, resulting in distinctive wettability, adhesion and electrical conductivity. The reused current collectors show similar electrochemical performance to the pristine one at low C rates, while extra caution should be taken at high C rates for aluminium current collectors due to relatively low contact conductivity. This work provides substantial evidence that the direct reuse of aluminium and copper current collectors is possible and highlights the importance of the surface morphology of current collectors.


title: Inhomogeneous steady shear dynamics of a three-body colloidal gel former

abstract: We investigate the stationary flow of a colloidal gel under an inhomogeneous external shear force using adaptive Brownian dynamics simulations. The interparticle forces are derived from the Stillinger-Weber potential, where the three-body term is tuned to enable network formation and gelation in equilibrium. When subjected to the shear force field, the system develops remarkable modulations in the one-body density profile. Depending on the shear magnitude, particles accumulate either in quiescent regions or in the vicinity of maximum net flow, and we deduce this strong non-equilibrium response to be characteristic of the gel state. Studying the components of the internal force parallel and perpendicular to the flow direction reveals that the emerging flow and structure of the stationary state are driven by significant viscous and structural superadiabatic forces. Thereby, the magnitude and nature of the observed non-equilibrium phenomena differs from the corresponding behavior of simple fluids. We demonstrate that a simple power functional theory reproduces accurately the viscous force profile, giving a rationale of the complex dynamical behavior of the system.


title: Conditional Likelihood Ratio Test with Many Weak Instruments

abstract: This paper extends validity of the conditional likelihood ratio (CLR) test developed by Moreira (2003) to instrumental variable regression models with unknown error variance and many weak instruments. In this setting, we argue that the conventional CLR test with estimated error variance loses exact similarity and is asymptotically invalid. We propose a modified critical value function for the likelihood ratio (LR) statistic with estimated error variance, and prove that this modified test achieves asymptotic validity under many weak instrument asymptotics. Our critical value function is constructed by representing the LR using four statistics, instead of two as in Moreira (2003). A simulation study illustrates the desirable properties of our test.


title: Quo Vadis: Is Trajectory Forecasting the Key Towards Long-Term Multi-Object Tracking?

abstract: Recent developments in monocular multi-object tracking have been very successful in tracking visible objects and bridging short occlusion gaps, mainly relying on data-driven appearance models. While we have significantly advanced short-term tracking performance, bridging longer occlusion gaps remains elusive: state-of-the-art object trackers only bridge less than 10% of occlusions longer than three seconds. We suggest that the missing key is reasoning about future trajectories over a longer time horizon. Intuitively, the longer the occlusion gap, the larger the search space for possible associations. In this paper, we show that even a small yet diverse set of trajectory predictions for moving agents will significantly reduce this search space and thus improve long-term tracking robustness. Our experiments suggest that the crucial components of our approach are reasoning in a bird's-eye view space and generating a small yet diverse set of forecasts while accounting for their localization uncertainty. This way, we can advance state-of-the-art trackers on the MOTChallenge dataset and significantly improve their long-term tracking performance. This paper's source code and experimental data are available at https://github.com/dendorferpatrick/QuoVadis.


title: Linear colossal magnetoresistance driven by magnetic textures in LaTiO3 thin films on SrTiO3

abstract: Linear magnetoresistance (LMR) is of particular interest for memory, electronics, and sensing applications, especially when it does not saturate over a wide range of magnetic fields. One of its principal origins is local mobility or density inhomogeneities, often structural, which in the Parish-Littlewood theory leads to an unsaturating LMR proportional to mobility. Structural disorder, however, also tends to limit the mobility and hence the overall LMR amplitude. An alternative route to achieve large LMR is via non-structural inhomogeneities which do not affect the zero field mobility, like magnetic domains. Here, linear positive magnetoresistance caused by magnetic texture is reported in \ch{LaTiO3}/\ch{SrTiO3} heterostructures. The LMR amplitude reaches up to 6500\% at 9T. This colossal value is understood by the unusual combination of a very high thin film mobility, up to 40 000 cm$^2$/V.s, and a very large coverage of low-mobility regions. These regions correlate with a striped magnetic structure, compatible with a spiral magnetic texture in the \ch{LaTiO3} film, revealed by low temperature Lorentz transmission electron microscopy. These results provide a novel route for the engineering of large-LMR devices.


title: AI-accelerated Materials Informatics Method for the Discovery of Ductile Alloys

abstract: In computational materials science, a common means for predicting macroscopic (e.g., mechanical) properties of an alloy is to define a model using combinations of descriptors that depend on some material properties (elastic constants, misfit volumes, etc.), representative for the macroscopic behavior. The material properties are usually computed using special quasi-random structures (SQSs), in tandem with density functional theory (DFT). However, DFT scales cubically with the number of atoms and is thus impractical for a screening over many alloy compositions. Here, we present a novel methodology which combines modeling approaches and machine-learning interatomic potentials. Machine-learning interatomic potentials are orders of magnitude faster than DFT, while achieving similar accuracy, allowing for a predictive and tractable high-throughput screening over the whole alloy space. The proposed methodology is illustrated by predicting the room temperature ductility of the medium-entropy alloy Mo-Nb-Ta.


title: End-to-end joint optimization of metasurface and image processing for compact snapshot hyperspectral imaging

abstract: Traditional snapshot hyperspectral imaging systems generally require multiple refractive-optics-based elements to modulate light, resulting in bulky framework. In pursuit of a more compact form factor, a metasurface-based snapshot hyperspectral imaging system, which achieves joint optimization of metasurface and image processing, is proposed in this paper. The unprecedented light manipulation capabilities of metasurfaces are used in conjunction with neural networks to encode and decode light fields for better hyperspectral imaging. Specifically, the extremely strong dispersion of metasurfaces is exploited to distinguish spectral information, and a neural network based on spectral priors is applied for hyperspectral image reconstruction. By constructing a fully differentiable model of metasurface-based hyperspectral imaging, the front-end metasurface phase distribution and the back-end recovery network parameters can be jointly optimized. This method achieves high-quality hyperspectral reconstruction results numerically, outperforming separation optimization methods. The proposed system holds great potential for miniaturization and portability of hyperspectral imaging systems.


title: Full-Stack Bioacoustics: Field Kit to AI to Action (Workshop report)

abstract: Acoustic data (sound recordings) are a vital source of evidence for detecting, counting, and distinguishing wildlife. This domain of "bioacoustics" has grown in the past decade due to the massive advances in signal processing and machine learning, recording devices, and the capacity of data processing and storage. Numerous research papers describe the use of Raspberry Pi or similar devices for acoustic monitoring, and other research papers describe automatic classification of animal sounds by machine learning. But for most ecologists, zoologists, conservationists, the pieces of the puzzle do not come together: the domain is fragmented. In this Lorentz workshop we bridge this gap by bringing together leading exponents of open hardware and open-source software for bioacoustic monitoring and machine learning, as well as ecologists and other field researchers. We share skills while also building a vision for the future development of "bioacoustic AI". This report contains an overview of the workshop aims and structure, as well as reports from the six groups.


title: Learning Generalizable Models for Vehicle Routing Problems via Knowledge Distillation

abstract: Recent neural methods for vehicle routing problems always train and test the deep models on the same instance distribution (i.e., uniform). To tackle the consequent cross-distribution generalization concerns, we bring the knowledge distillation to this field and propose an Adaptive Multi-Distribution Knowledge Distillation (AMDKD) scheme for learning more generalizable deep models. Particularly, our AMDKD leverages various knowledge from multiple teachers trained on exemplar distributions to yield a light-weight yet generalist student model. Meanwhile, we equip AMDKD with an adaptive strategy that allows the student to concentrate on difficult distributions, so as to absorb hard-to-master knowledge more effectively. Extensive experimental results show that, compared with the baseline neural methods, our AMDKD is able to achieve competitive results on both unseen in-distribution and out-of-distribution instances, which are either randomly synthesized or adopted from benchmark datasets (i.e., TSPLIB and CVRPLIB). Notably, our AMDKD is generic, and consumes less computational resources for inference.


title: Optimization of nuclear polarization in an alkali-noble gas comagnetometer

abstract: Self-compensated comagnetometers, employing overlapping samples of spin-polarized alkali and noble gases (for example K-$^3$He) are promising sensors for exotic beyond-the-standard-model fields and high-precision metrology such as rotation sensing. When the comagnetometer operates in the so-called self-compensated regime, the effective field, originating from contact interactions between the alkali valence electrons and the noble-gas nuclei, is compensated with an applied magnetic field. When the comagnetometer begins operation in a given magnetic field, spin-exchange optical pumping establishes equilibrium between the alkali electron-spin polarization and the nuclear-spin polarization. Subsequently, when the magnetic field is tuned to the compensation point, the spin polarization is brought out of the equilibrium conditions. This causes a practical issue for long measurement times. We report on a novel method for closed-loop control of the compensation field. This method allows optimization of the operating parameters, especially magnetic field gradients, in spite of the inherently slow (hours to days) dynamics of the system. With the optimization, higher stable nuclear polarization, longer relaxation times and stronger electron-nuclear coupling are achieved which is useful for nuclear-spin-based quantum memory, spin amplifiers and gyroscopes. The optimized sensor demonstrates a sensitivity comparable to the best previous comagnetometer but with four times lower noble gas density. This paves the way for applications in both fundamental and applied science.


title: Plausible May Not Be Faithful: Probing Object Hallucination in Vision-Language Pre-training

abstract: Large-scale vision-language pre-trained (VLP) models are prone to hallucinate non-existent visual objects when generating text based on visual information. In this paper, we systematically study the object hallucination problem from three aspects. First, we examine recent state-of-the-art VLP models, showing that they still hallucinate frequently, and models achieving better scores on standard metrics (e.g., CIDEr) could be more unfaithful. Second, we investigate how different types of image encoding in VLP influence hallucination, including region-based, grid-based, and patch-based. Surprisingly, we find that patch-based features perform the best and smaller patch resolution yields a non-trivial reduction in object hallucination. Third, we decouple various VLP objectives and demonstrate that token-level image-text alignment and controlled generation are crucial to reducing hallucination. Based on that, we propose a simple yet effective VLP loss named ObjMLM to further mitigate object hallucination. Results show that it reduces object hallucination by up to 17.4% when tested on two benchmarks (COCO Caption for in-domain and NoCaps for out-of-domain evaluation).


title: Computational Design of Active Kinesthetic Garments

abstract: Garments with the ability to provide kinesthetic force-feedback on-demand can augment human capabilities in a non-obtrusive way, enabling numerous applications in VR haptics, motion assistance, and robotic control. However, designing such garments is a complex, and often manual task, particularly when the goal is to resist multiple motions with a single design. In this work, we propose a computational pipeline for designing connecting structures between active components - one of the central challenges in this context. We focus on electrostatic (ES) clutches that are compliant in their passive state while strongly resisting elongation when activated. Our method automatically computes optimized connecting structures that efficiently resist a range of pre-defined body motions on demand. We propose a novel dual-objective optimization approach to simultaneously maximize the resistance to motion when clutches are active, while minimizing resistance when inactive. We demonstrate our method on a set of problems involving different body sites and a range of motions. We further fabricate and evaluate a subset of our automatically created designs against manually created baselines using mechanical testing and in a VR pointing study.


title: Every generating polytope is strongly monotypic

abstract: We prove an old conjecture of McMullen, Schneider and Shephard that every polytope with the generating property is strongly monotypic. The other direction is already known, which implies that strong monotypy and the generating property for polytopes are the same notion. A criterion for monotypic and strongly monotypic polytopes is also given.


title: On heat equations associated with fractional harmonic oscillators

abstract: We establish some fixed-time decay estimates in Lebesgue spaces for the fractional heat propagator $e^{-tH^{\beta}}$, $t, \beta>0$, associated with the harmonic oscillator $H=-\Delta + |x|^2$. We then prove some local and global wellposedness results for nonlinear fractional heat equations.


title: Accelerating RNN-based Speech Enhancement on a Multi-Core MCU with Mixed FP16-INT8 Post-Training Quantization

abstract: This paper presents an optimized methodology to design and deploy Speech Enhancement (SE) algorithms based on Recurrent Neural Networks (RNNs) on a state-of-the-art MicroController Unit (MCU), with 1+8 general-purpose RISC-V cores. To achieve low-latency execution, we propose an optimized software pipeline interleaving parallel computation of LSTM or GRU recurrent blocks, featuring vectorized 8-bit integer (INT8) and 16-bit floating-point (FP16) compute units, with manually-managed memory transfers of model parameters. To ensure minimal accuracy degradation with respect to the full-precision models, we propose a novel FP16-INT8 Mixed-Precision Post-Training Quantization (PTQ) scheme that compresses the recurrent layers to 8-bit while the bit precision of remaining layers is kept to FP16. Experiments are conducted on multiple LSTM and GRU based SE models trained on the Valentini dataset, featuring up to 1.24M parameters. Thanks to the proposed approaches, we speed-up the computation by up to 4x with respect to the lossless FP16 baselines. Differently from a uniform 8-bit quantization that degrades the PESQ score by 0.3 on average, the Mixed-Precision PTQ scheme leads to a low-degradation of only 0.06, while achieving a 1.4-1.7x memory saving. Thanks to this compression, we cut the power cost of the external memory by fitting the large models on the limited on-chip non-volatile memory and we gain a MCU power saving of up to 2.5x by reducing the supply voltage from 0.8V to 0.65V while still matching the real-time constraints. Our design results 10x more energy efficient than state-of-the-art SE solutions deployed on single-core MCUs that make use of smaller models and quantization-aware training.


title: Designing a general library for convolutions

abstract: We will discuss our experiences and design decisions obtained from building a formal library for the convolution of two functions. Convolution is a fundamental concept with applications throughout mathematics. We will focus on the design decisions we made to make the convolution general and easy to use, and the incorporation of this development in Lean's mathematical library mathlib.


title: Spheroidal expansion and freeze-out geometry of heavy-ion collisions in the few-GeV energy regime

abstract: A spheroidal model of the expansion of hadronic matter produced in heavy-ion collisions in the few-GeV energy regime is proposed. It constitutes an extension of the spherically symmetric Siemens-Rasmussen blast-wave model used in our previous works. The spheroidal form of the expansion, combined with a single-freeze-out scenario, allows for a significantly improved description of both the transverse-mass and the rapidity distributions of the produced particles. With the model parameters determined by the hadronic abundances and spectra, we make further predictions of the pion HBT correlation radii that turn out to be in a qualitative agreement with the measured ones. The overall successful description of the data supports the concept of spheroidal symmetry of the produced hadronic systems in this energy range.


title: Understanding Multi-link Operation in Wi-Fi 7: Performance, Anomalies, and Solutions

abstract: Will Wi-Fi 7, conceived to support extremely high throughput, also deliver consistently low delay? The best hope seems to lie in allowing next-generation devices to access multiple channels via multi-link operation (MLO). In this paper, we aim to advance the understanding of MLO, placing the spotlight on its packet delay performance. We show that MLO devices can take advantage of multiple contention-free links to significantly reduce their transmission time, but also that they can occasionally starve one another and surprisingly incur a higher delay than that of a well planned legacy single link operation. We next examine and explain this anomaly, also putting forth practical workarounds to circumvent it. We conclude by pointing to other disruptive features that, if successfully paired with MLO, can usher in exciting and unprecedented opportunities for Wi-Fi 8.


title: Modelling phylogeny in 16S rRNA gene sequencing datasets using string kernels

abstract: Bacterial community composition is measured using 16S rRNA (ribosomal ribonucleic acid) gene sequencing, for which one of the defining characteristics is the phylogenetic relationships that exist between variables. Here, we demonstrate the utility of modelling these relationships in two statistical tasks (the two sample test and host trait prediction) by employing string kernels originally proposed in natural language processing. We show via simulation studies that a kernel two-sample test using the proposed kernels, which explicitly model phylogenetic relationships, is powerful while also being sensitive to the phylogenetic scale of the difference between the two populations. We also demonstrate how the proposed kernels can be used with Gaussian processes to improve predictive performance in host trait prediction. Our method is implemented in the Python package StringPhylo (available at github.com/jonathanishhorowicz/stringphylo).


title: Multi-Task Learning based Video Anomaly Detection with Attention

abstract: Multi-task learning based video anomaly detection methods combine multiple proxy tasks in different branches to detect video anomalies in different situations. Most existing methods either do not combine complementary tasks to effectively cover all motion patterns, or the class of the objects is not explicitly considered. To address the aforementioned shortcomings, we propose a novel multi-task learning based method that combines complementary proxy tasks to better consider the motion and appearance features. We combine the semantic segmentation and future frame prediction tasks in a single branch to learn the object class and consistent motion patterns, and to detect respective anomalies simultaneously. In the second branch, we added several attention mechanisms to detect motion anomalies with attention to object parts, the direction of motion, and the distance of the objects from the camera. Our qualitative results show that the proposed method considers the object class effectively and learns motion with attention to the aforementioned important factors which results in a precise motion modeling and a better motion anomaly detection. Additionally, quantitative results show the superiority of our method compared with state-of-the-art methods.


title: Multisymplectic Constraint Analysis of Scalar Field Theories, Chern-Simons Gravity, and Bosonic String Theory

abstract: The (pre)multisymplectic geometry of the De Donder--Weyl formalism for field theories is further developed for a variety of field theories including a scalar field theory from the canonical Klein-Gordon action, the electric and magnetic Carrollian scalar field theories, bosonic string theory from the Nambu-Goto action, and $2+1$ gravity as a Chern-Simons theory. The Lagrangians for the scalar field theories and for $2+1$ Chern-Simons gravity are found to be singular in the De Donder--Weyl sense while the Nambu-Goto Lagrangian is found to be regular. Furthermore, the constraint structure of the premultisymplectic phase spaces of singular field theories is explained and applied to these theories. Finally, it is studied how symmetries are developed on the multisymplectic phase spaces in the presence of constraints.


title: s-Club Cluster Vertex Deletion on Interval and Well-Partitioned Chordal Graphs

abstract: In this paper, we study the computational complexity of \textsc{$s$-Club Cluster Vertex Deletion}. Given a graph, \textsc{$s$-Club Cluster Vertex Deletion ($s$-CVD)} aims to delete the minimum number of vertices from the graph so that each connected component of the resulting graph has a diameter at most $s$. When $s=1$, the corresponding problem is popularly known as \sloppy \textsc{Cluster Vertex Deletion (CVD)}. We provide a faster algorithm for \textsc{$s$-CVD} on \emph{interval graphs}. For each $s\geq 1$, we give an $O(n(n+m))$-time algorithm for \textsc{$s$-CVD} on interval graphs with $n$ vertices and $m$ edges. In the case of $s=1$, our algorithm is a slight improvement over the $O(n^3)$-time algorithm of Cao \etal (Theor. Comput. Sci., 2018) and for $s \geq 2$, it significantly improves the state-of-the-art running time $\left(O\left(n^4\right)\right)$. We also give a polynomial-time algorithm to solve \textsc{CVD} on \emph{well-partitioned chordal graphs}, a graph class introduced by Ahn \etal (\textsc{WG 2020}) as a tool for narrowing down complexity gaps for problems that are hard on chordal graphs, and easy on split graphs. Our algorithm relies on a characterisation of the optimal solution and on solving polynomially many instances of the \textsc{Weighted Bipartite Vertex Cover}. This generalises a result of Cao \etal (Theor. Comput. Sci., 2018) on split graphs. We also show that for any even integer $s\geq 2$, \textsc{$s$-CVD} is NP-hard on well-partitioned chordal graphs.


title: Language Generation Models Can Cause Harm: So What Can We Do About It? An Actionable Survey

abstract: Recent advances in the capacity of large language models to generate human-like text have resulted in their increased adoption in user-facing settings. In parallel, these improvements have prompted a heated discourse around the risks of societal harms they introduce, whether inadvertent or malicious. Several studies have explored these harms and called for their mitigation via development of safer, fairer models. Going beyond enumerating the risks of harms, this work provides a survey of practical methods for addressing potential threats and societal harms from language generation models. We draw on several prior works' taxonomies of language model risks to present a structured overview of strategies for detecting and ameliorating different kinds of risks/harms of language generators. Bridging diverse strands of research, this survey aims to serve as a practical guide for both LM researchers and practitioners, with explanations of different mitigation strategies' motivations, their limitations, and open problems for future research.


title: Compressed Sensing of Compton Profiles for Fermi Surface Reconstruction: Concept and Implementation

abstract: Compton scattering is a well-established technique that can provide detailed information about electronic states in solids. Making use of the principle of tomography, it is possible to determine the Fermi surface from sets of Compton-scattering data with different scattering axes. Practical applications, however, are limited due to long acquisition time required for measuring along enough number of scattering directions. Here, we propose to overcome this difficulty using compressed sensing. Taking advantage of a hidden sparsity in the momentum distribution, we are able to reconstruct the three-dimensional momentum distribution of bcc-Li, and identify the Fermi surface with as little as 14 directions of scattering data with unprecedented accuracy. This compressed-sensing approach will permit further wider applications of the Compton scattering experiments.


title: Theory and Approximate Solvers for Branched Optimal Transport with Multiple Sources

abstract: Branched Optimal Transport (BOT) is a generalization of optimal transport in which transportation costs along an edge are subadditive. This subadditivity models an increase in transport efficiency when shipping mass along the same route, favoring branched transportation networks. We here study the NP-hard optimization of BOT networks connecting a finite number of sources and sinks in $\mathbb{R}^2$. First, we show how to efficiently find the best geometry of a BOT network for many sources and sinks, given a topology. Second, we argue that a topology with more than three edges meeting at a branching point is never optimal. Third, we show that the results obtained for the Euclidean plane generalize directly to optimal transportation networks on two-dimensional Riemannian manifolds. Finally, we present a simple but effective approximate BOT solver combining geometric optimization with a combinatorial optimization of the network topology.


title: Hybrid Decentralized Optimization: First- and Zeroth-Order Optimizers Can Be Jointly Leveraged For Faster Convergence

abstract: Distributed optimization has become one of the standard ways of speeding up machine learning training, and most of the research in the area focuses on distributed first-order, gradient-based methods. Yet, there are settings where some computationally-bounded nodes may not be able to implement first-order, gradient-based optimization, while they could still contribute to joint optimization tasks. In this paper, we initiate the study of hybrid decentralized optimization, studying settings where nodes with zeroth-order and first-order optimization capabilities co-exist in a distributed system, and attempt to jointly solve an optimization task over some data distribution. We essentially show that, under reasonable parameter settings, such a system can not only withstand noisier zeroth-order agents but can even benefit from integrating such agents into the optimization process, rather than ignoring their information. At the core of our approach is a new analysis of distributed optimization with noisy and possibly-biased gradient estimators, which may be of independent interest. Experimental results on standard optimization tasks confirm our analysis, showing that hybrid first-zeroth order optimization can be practical.


title: Computads and string diagrams for $n$-sesquicategories

abstract: An $n$-sesquicategory is an $n$-globular set with strictly associative and unital composition and whiskering operations, which are however not required to satisfy the Godement interchange laws which hold in $n$-categories. In arXiv:2202.09293 we showed how these can be defined as algebras over a monad $T_n^{D^s}$ whose operations are simple string diagrams. In this paper, we give an explicit description of computads for the monad $T_n^{D^s}$ and we prove that the category of computads for this monad is a presheaf category. We use this to describe a string diagram notation for representing arbitrary composites in $n$-sesquicategories. This is a step towards a theory of string diagrams for semistrict $n$-categories.


title: Schr\"odinger cat states prepared by logical gate with non-Gaussian resource state: effect of finite squeezing and efficiency versus monotones

abstract: Quantum measurement-induced gate based on entanglement with ideal cubic phase state used as a non-Gaussian resource is able to produce Shr\"odinger cat state in the form of two high fidelity ``copies'' of the target state on phase plane [N.I. Masalaeva, I.V. Sokolov, Phys. Lett. A 424, 127846 (2022)]. In this work we examine the effect of finite initial squeezing of the resource state on the gate performance. We present exact solution for the gate output state and demonstrate that there exists a degree of squeezing, available in experiment, such that the output cat state quality almost does not impove with the further increase of squeezing. On the other hand, the probability of the expected ancilla measurement outcome decreases with squeezing. Since an overall efficiency of the conditional scheme should account for the probability of success, we argue that such measures of non-Gaussianity of the resource state as Wigner logarithmic negativiy and non-Gaussianity may not be directly applicable to assess the efficiency of non-Gaussian gates based on quantum entanglement and subsequent projective measurement.


title: Dark matter in the Scotogenic model with spontaneous lepton number violation

abstract: Scotogenic models constitute an appealing solution to the generation of neutrino masses and to the dark matter mystery. In this work we consider a version of the Scotogenic model that breaks lepton number spontaneously. At this scope, we extend the particle content of the Scotogenic model with an additional singlet scalar which acquires a non-zero vacuum expectation value and breaks a global lepton number symmetry. As a consequence, a massless Goldstone boson, the majoron, appears in the particle spectrum. We discuss how the presence of the majoron modifies the phenomenology, both in flavor and dark matter observables. We focus on the fermionic dark matter candidate and analyze its relic abundance and prospects for both direct and indirect detection.


title: Generative Adversarial Learning for Trusted and Secure Clustering in Industrial Wireless Sensor Networks

abstract: Traditional machine learning techniques have been widely used to establish the trust management systems. However, the scale of training dataset can significantly affect the security performances of the systems, while it is a great challenge to detect malicious nodes due to the absence of labeled data regarding novel attacks. To address this issue, this paper presents a generative adversarial network (GAN) based trust management mechanism for Industrial Wireless Sensor Networks (IWSNs). First, type-2 fuzzy logic is adopted to evaluate the reputation of sensor nodes while alleviating the uncertainty problem. Then, trust vectors are collected to train a GAN-based codec structure, which is used for further malicious node detection. Moreover, to avoid normal nodes being isolated from the network permanently due to error detections, a GAN-based trust redemption model is constructed to enhance the resilience of trust management. Based on the latest detection results, a trust model update method is developed to adapt to the dynamic industrial environment. The proposed trust management mechanism is finally applied to secure clustering for reliable and real-time data transmission, and simulation results show that it achieves a high detection rate up to 96%, as well as a low false positive rate below 8%.


title: Theory of Laser-Assisted Nuclear Excitation by Electron Capture

abstract: The interplay of x-ray ionization and atomic and nuclear degrees of freedom is investigated theoretically in the process of laser-assisted nuclear excitation by electron capture. In the resonant process of nuclear excitation by electron capture, an incident electron recombines into a vacancy in the atomic shell with simultaneous nuclear excitation. Here we investigate the specific scenario in which the free electron and the required atomic shell hole are generated by an x-ray free electron laser pulse. We develop a theoretical description based on the Feshbach projection operator formalism and consider numerically experimental scenarios at the SACLA x-ray free electron laser. Our numerical results for excitation of the 29.2 keV nuclear state in $^{229}\text{Th}$ and the 14.4 keV M\"ossbauer transition in $^{57}\text{Fe}$ show low excitation rates but strong enhancement with respect to direct two photon nuclear excitation.


title: CHANG-ES XXVI: Insights into cosmic-ray transport from radio halos in edge-on galaxies

abstract: Galactic winds play a key role in regulating the evolution of galaxies over cosmic time. In recent years, the role of cosmic rays (CR) in the formation of the galactic wind has increasingly gained attention. Therefore, we use radio continuum data to analyse the cosmic ray transport in edge-on galaxies. Data from the LOFAR Two-metre Sky Survey (LoTSS) data release 2 at 144 MHz (HBA) and reprocessed VLA data at 1.6 GHz (L-band) from the Continuum Halos in Nearby Galaxies - an EVLA Survey (CHANG-ES) enable us to increase the extent of the analysed radio continuum profile significantly (up to a factor of 2) compared to previous studies. We compute thermal emission maps using a mixture approach of H-alpha and near infrared data, which is then subtracted to yield radio synchrotron emission maps. Then we compile non-thermal spectral index maps and compute intensity profiles using a box integration approach. Lastly, we perform 1D cosmic ray transport modelling. The non-thermal spectral index maps show evidence that the LoTSS maps are affected by thermal absorption, in star forming regions. The scale height analysis reveals that most of the galaxies are equally well fitted with an one-component instead of a twocomponent exponential profile. We find a bi-modality within our sample. While NGC 3432 and NGC 4013 have similar scale heights in the L-band and HBA, the low-frequency scale heights of NGC 891, NGC 4157, and NGC 4631 exceed their high-frequency counterpart significantly. The 1D CR transport modelling shows agreement of the predicted magnetic field strength and the magnetic field strength estimates of equipartition measurements. Additionally we find an increasing difference of wind velocities (with increasing height over the galactic disk) between central and outer regions of the analysed galaxies.


title: An Operator Inference Oriented Approach for Mechanical Systems

abstract: Model-order reduction techniques allow the construction of low-dimensional surrogate models that can accelerate engineering design processes. Often, these techniques are intrusive, meaning that they require direct access to underlying high-fidelity models. Accessing these models is laborious or may not even be possible in some cases. Therefore, there is an interest in developing non-intrusive model reduction techniques to construct low-dimensional models directly from simulated or experimental data. In this work, we focus on a recent data-driven methodology, namely operator inference, that aims at inferring the reduced operators using only trajectories of high-fidelity models. We present an extension of operator inference for mechanical systems, preserving the second-order structure. We also study a particular case in which complete information about the external forces is available. In this formulation, the reduced operators having certain properties inspired by the original system matrices are enforced by adding constraints to the optimization problem. We illustrate the presented methodology using three numerical examples.


title: General Classification of Entanglement Using Machine Learning

abstract: A classification of multipartite entanglement in qubit systems is introduced for pure and mixed states. The classification is based on the robustness of the said entanglement against partial trace operation. Then we use current machine learning and deep learning techniques to automatically classify a random state of two, three and four qubits without the need to compute the amount of the different types of entanglement in each run; rather this is done only in the learning process. The technique shows high, near perfect, accuracy in the case of pure states. As expected, this accuracy drops, more or less, when dealing with mixed states and when increasing the number of parties involved.


title: On general weighted cumulative past extropy

abstract: In this paper, we study some properties and characterization of the general weighted cumulative past extropy (n-WCPJ). Many results including some bounds, inequalities, and effects of linear transformations are obtained. We study the characterization of n-WCPJ based on the largest order statistics. Conditional WCPJ and some of its properties are discussed.


title: An Empirical Evaluation of Multivariate Time Series Classification with Input Transformation across Different Dimensions

abstract: In current research, machine and deep learning solutions for the classification of temporal data are shifting from single-channel datasets (univariate) to problems with multiple channels of information (multivariate). The majority of these works are focused on the method novelty and architecture, and the format of the input data is often treated implicitly. Particularly, multivariate datasets are often treated as a stack of univariate time series in terms of input preprocessing, with scaling methods applied across each channel separately. In this evaluation, we aim to demonstrate that the additional channel dimension is far from trivial and different approaches to scaling can lead to significantly different results in the accuracy of a solution. To that end, we test seven different data transformation methods on four different temporal dimensions and study their effect on the classification accuracy of five recent methods. We show that, for the large majority of tested datasets, the best transformation-dimension configuration leads to an increase in the accuracy compared to the result of each model with the same hyperparameters and no scaling, ranging from 0.16 to 76.79 percentage points. We also show that if we keep the transformation method constant, there is a statistically significant difference in accuracy results when applying it across different dimensions, with accuracy differences ranging from 0.23 to 47.79 percentage points. Finally, we explore the relation of the transformation methods and dimensions to the classifiers, and we conclude that there is no prominent general trend, and the optimal configuration is dataset- and classifier-specific.


title: CrowdGuard: Federated Backdoor Detection in Federated Learning

abstract: Federated Learning (FL) is a promising approach enabling multiple clients to train Deep Neural Networks (DNNs) collaboratively without sharing their local training data. However, FL is susceptible to backdoor (or targeted poisoning) attacks. These attacks are initiated by malicious clients who seek to compromise the learning process by introducing specific behaviors into the learned model that can be triggered by carefully crafted inputs. Existing FL safeguards have various limitations: They are restricted to specific data distributions or reduce the global model accuracy due to excluding benign models or adding noise, are vulnerable to adaptive defense-aware adversaries, or require the server to access local models, allowing data inference attacks. This paper presents a novel defense mechanism, CrowdGuard, that effectively mitigates backdoor attacks in FL and overcomes the deficiencies of existing techniques. It leverages clients' feedback on individual models, analyzes the behavior of neurons in hidden layers, and eliminates poisoned models through an iterative pruning scheme. CrowdGuard employs a server-located stacked clustering scheme to enhance its resilience to rogue client feedback. The evaluation results demonstrate that CrowdGuard achieves a 100% True-Positive-Rate and True-Negative-Rate across various scenarios, including IID and non-IID data distributions. Additionally, CrowdGuard withstands adaptive adversaries while preserving the original performance of protected models. To ensure confidentiality, CrowdGuard uses a secure and privacy-preserving architecture leveraging Trusted Execution Environments (TEEs) on both client and server sides.


title: Not All Neighbors Are Worth Attending to: Graph Selective Attention Networks for Semi-supervised Learning

abstract: Graph attention networks (GATs) are powerful tools for analyzing graph data from various real-world scenarios. To learn representations for downstream tasks, GATs generally attend to all neighbors of the central node when aggregating the features. In this paper, we show that a large portion of the neighbors are irrelevant to the central nodes in many real-world graphs, and can be excluded from neighbor aggregation. Taking the cue, we present Selective Attention (SA) and a series of novel attention mechanisms for graph neural networks (GNNs). SA leverages diverse forms of learnable node-node dissimilarity to acquire the scope of attention for each node, from which irrelevant neighbors are excluded. We further propose Graph selective attention networks (SATs) to learn representations from the highly correlated node features identified and investigated by different SA mechanisms. Lastly, theoretical analysis on the expressive power of the proposed SATs and a comprehensive empirical study of the SATs on challenging real-world datasets against state-of-the-art GNNs are presented to demonstrate the effectiveness of SATs.


title: Physics of Soil and Other Natural Porous Media

abstract: The purpose of this monograph is to review the early theoretical basis of what is known today as soil physics and to serve as a textbook for intermediate porous media physics or transport in porous media graduate courses.


title: Motion-related Artefact Classification Using Patch-based Ensemble and Transfer Learning in Cardiac MRI

abstract: Cardiac Magnetic Resonance Imaging (MRI) plays an important role in the analysis of cardiac function. However, the acquisition is often accompanied by motion artefacts because of the difficulty of breath-hold, especially for acute symptoms patients. Therefore, it is essential to assess the quality of cardiac MRI for further analysis. Time-consuming manual-based classification is not conducive to the construction of an end-to-end computer aided diagnostic system. To overcome this problem, an automatic cardiac MRI quality estimation framework using ensemble and transfer learning is proposed in this work. Multiple pre-trained models were initialised and fine-tuned on 2-dimensional image patches sampled from the training data. In the model inference process, decisions from these models are aggregated to make a final prediction. The framework has been evaluated on CMRxMotion grand challenge (MICCAI 2022) dataset which is small, multi-class, and imbalanced. It achieved a classification accuracy of 78.8% and 70.0% on the training set (5-fold cross-validation) and a validation set, respectively. The final trained model was also evaluated on an independent test set by the CMRxMotion organisers, which achieved the classification accuracy of 72.5% and Cohen's Kappa of 0.6309 (ranked top 1 in this grand challenge). Our code is available on Github: https://github.com/ruizhe-l/CMRxMotion.


title: Jordan-Wigner fermionization of quantum spin systems on arbitrary 2D lattices: A mutual Chern-Simons approach

abstract: A variety of analytical approaches have been developed for the study of quantum spin systems in two dimensions, the notable ones being spin-waves, slave boson/fermion parton constructions, and for lattices with one-to-one local correspondence of faces and vertices, the 2D Jordan-Wigner (JW) fermionization. Field-theoretically, JW fermionization is implemented through Chern-Simons (CS) flux attachment. For a correct fermionization of lattice quantum spin-$1/2$ magnets, it is necessary that the fermions obey mutual bosonic (anyonic) statistics under exchange - this is not possible to implement on arbitrary 2D lattices if fermionic matter couples only to the lattice gauge fields. Enlarging the gauge degrees of freedom to include the dual lattice allows the construction of consistent mutual Chern-Simons field theories. Here we propose a mutual CS theory where the microscopic (spin) degrees of freedom are represented as lattice fermionic matter additionally coupled to specific combinations of dual lattice gauge fields that depend on the local geometry. We illustrate the use of this method for understanding the properties of a honeycomb Kitaev model subjected to a strong Zeeman field in the $z$-direction. Our CS gauge theory framework provides an understanding why the topological phase is degraded at lower (higher) critical fields for the ferro- (antiferro-) magnetic Kitaev interaction. Additionally, we observe an effectively one-dimensional character of the low-excitations at higher fields in the $z$-direction which we also confirm by spin-wave calculations.


title: A Lightweight Moving Target Defense Framework for Multi-purpose Malware Affecting IoT Devices

abstract: Malware affecting Internet of Things (IoT) devices is rapidly growing due to the relevance of this paradigm in real-world scenarios. Specialized literature has also detected a trend towards multi-purpose malware able to execute different malicious actions such as remote control, data leakage, encryption, or code hiding, among others. Protecting IoT devices against this kind of malware is challenging due to their well-known vulnerabilities and limitation in terms of CPU, memory, and storage. To improve it, the moving target defense (MTD) paradigm was proposed a decade ago and has shown promising results, but there is a lack of IoT MTD solutions dealing with multi-purpose malware. Thus, this work proposes four MTD mechanisms changing IoT devices' network, data, and runtime environment to mitigate multi-purpose malware. Furthermore, it presents a lightweight and IoT-oriented MTD framework to decide what, when, and how the MTD mechanisms are deployed. Finally, the efficiency and effectiveness of the framework and MTD mechanisms are evaluated in a real-world scenario with one IoT spectrum sensor affected by multi-purpose malware.


title: Bethe-Salpeter Bound-State Solutions: Examining Semirelativistic Approaches

abstract: Within the formalism of relativistic quantum field theory an adequate framework for the description of two-particle bound states, such as, for instance, all conventional (i.e., non-exotic) mesons, is provided by the Poincar\'e-covariant homogeneous Bethe-Salpeter equation. In applications, however, this approach usually proves to be rather involved, whence it is not always quite easy to extract the predictions sought. In view of this, a coarse idea of the bound-state spectrum to be expected might be gained by adhering to some simplifying approximations - which constitutes an entirely legitimate first step. The reliability of the insights inferred from the arising simpler bound-state equation may be straightforwardly examined by taking into account a couple of rigorous constraints on the obtained discrete spectrum. Application of these tools is illustrated for popular potentials.


title: Mechanical features based object recognition

abstract: Current robotic haptic object recognition relies on statistical measures derived from movement dependent interaction signals such as force, vibration or position. Mechanical properties that can be identified from these signals are intrinsic object properties that may yield a more robust object representation. Therefore, this paper proposes an object recognition framework using multiple representative mechanical properties: the coefficient of restitution, stiffness, viscosity and friction coefficient. These mechanical properties are identified in real-time using a dual Kalman filter, then used to classify objects. The proposed framework was tested with a robot identifying 20 objects through haptic exploration. The results demonstrate the technique's effectiveness and efficiency, and that all four mechanical properties are required for best recognition yielding a rate of 98.18 $\pm$ 0.424 %. Clustering with Gaussian mixture models further shows that using these mechanical properties results in superior recognition as compared to using statistical parameters of the interaction signals.


title: (1,1)-Cluster Editing is Polynomial-time Solvable

abstract: A graph $H$ is a clique graph if $H$ is a vertex-disjoin union of cliques. Abu-Khzam (2017) introduced the $(a,d)$-{Cluster Editing} problem, where for fixed natural numbers $a,d$, given a graph $G$ and vertex-weights $a^*:\ V(G)\rightarrow \{0,1,\dots, a\}$ and $d^*{}:\ V(G)\rightarrow \{0,1,\dots, d\}$, we are to decide whether $G$ can be turned into a cluster graph by deleting at most $d^*(v)$ edges incident to every $v\in V(G)$ and adding at most $a^*(v)$ edges incident to every $v\in V(G)$. Results by Komusiewicz and Uhlmann (2012) and Abu-Khzam (2017) provided a dichotomy of complexity (in P or NP-complete) of $(a,d)$-{Cluster Editing} for all pairs $a,d$ apart from $a=d=1.$ Abu-Khzam (2017) conjectured that $(1,1)$-{Cluster Editing} is in P. We resolve Abu-Khzam's conjecture in affirmative by (i) providing a serious of five polynomial-time reductions to $C_3$-free and $C_4$-free graphs of maximum degree at most 3, and (ii) designing a polynomial-time algorithm for solving $(1,1)$-{Cluster Editing} on $C_3$-free and $C_4$-free graphs of maximum degree at most 3.


title: Privacy-Preserving and Lossless Distributed Estimation of High-Dimensional Generalized Additive Mixed Models

abstract: Various privacy-preserving frameworks that respect the individual's privacy in the analysis of data have been developed in recent years. However, available model classes such as simple statistics or generalized linear models lack the flexibility required for a good approximation of the underlying data-generating process in practice. In this paper, we propose an algorithm for a distributed, privacy-preserving, and lossless estimation of generalized additive mixed models (GAMM) using component-wise gradient boosting (CWB). Making use of CWB allows us to reframe the GAMM estimation as a distributed fitting of base learners using the $L_2$-loss. In order to account for the heterogeneity of different data location sites, we propose a distributed version of a row-wise tensor product that allows the computation of site-specific (smooth) effects. Our adaption of CWB preserves all the important properties of the original algorithm, such as an unbiased feature selection and the feasibility to fit models in high-dimensional feature spaces, and yields equivalent model estimates as CWB on pooled data. Next to a derivation of the equivalence of both algorithms, we also showcase the efficacy of our algorithm on a distributed heart disease data set and compare it with state-of-the-art methods.


title: Automatic Differentiation for ML-family languages: correctness via logical relations

abstract: We give a simple, direct and reusable logical relations technique for languages with term and type recursion and partially defined differentiable functions. We demonstrate it by working out the case of Automatic Differentiation (AD) correctness: namely, we present a correctness proof of a dual numbers style AD code transformation for realistic functional languages in the ML-family. We also show how this code transformation provides us with correct forward- and reverse-mode AD. The starting point is to interpret a functional programming language as a suitable freely generated categorical structure. In this setting, by the universal property of the syntactic categorical structure, the dual numbers AD code transformation and the basic $\omega$-cpo semantics arise as structure preserving functors. The proof follows, then, by a novel logical relations argument. The key to much of our contribution is a powerful monadic logical relations technique for term recursion and recursive types. It provides us with a semantic correctness proof based on a simple approach for denotational semantics, making use only of the very basic concrete model of $\omega$-cpos.


title: A radio-detected Type Ia supernova with helium-rich circumstellar material

abstract: Type Ia supernovae (SNe Ia) are thermonuclear explosions of degenerate white dwarf (WD) stars destabilized by mass accretion from a companion star, but the nature of their progenitors remains poorly understood. A way to discriminate between progenitor systems is through radio observations; a non-degenerate companion star is expected to lose material through winds or binary interaction prior to explosion, and the SN ejecta crashing into this nearby circumstellar material (CSM) should result in radio synchrotron emission. However, despite extensive efforts, no SN Ia has ever been detected at radio wavelengths, which suggests a clean environment and a companion star that is itself a degenerate WD star. Here we report on the study of SN 2020eyj, a SN Ia showing helium-rich CSM, as revealed by its spectral features, infrared emission and, for the first time in a SN Ia, a radio counterpart. Based on our modeling, we conclude the CSM likely originates from a single-degenerate (SD) binary system where a WD accretes material from a helium donor star, an often hypothesized formation channel for SNe Ia. We describe how comprehensive radio follow-up of SN 2020eyj-like SNe Ia can improve the constraints on their progenitor systems.


title: Stellar feedback impact on the ionized gas kinematics in the dwarf galaxy Sextans A

abstract: Feedback from massive stars shapes the ISM and affects the evolution of galaxies, but its mechanisms acting at the small scales ($\sim 10$ pc) are still not well constrained observationally, especially in the low-metallicity environments. We present the analysis of the ionized gas (focusing on its kinematics, which were never studied before), and its connection to the massive stars in the nearby ($D \sim 1.4$ Mpc) star-forming very metal-poor ($Z\sim 0.07 Z_\odot$) galaxy Sextans A. The analysis is based on the observations with a scanning Fabry-Perot interferometer, long-slit spectroscopy and imaging in emission lines with narrow-band tunable filters. We found 10 expanding superbubbles of ionized gas with ages of 1-3 Myr. We argue that 3 of them are probable supernovae remnants, while the pre-supernovae feedback is an important source of energy for blowing-out the remaining superbubbles. The two brightest sites of star formation exhibit signs of outflowing ionized gas, which is traced by its ionized and atomic gas kinematics and (in one case) by its emission line flux ratios. Overall, the ionized gas kinematics in Sextans A is highly affected by the feedback from several generations of massive stars and inconsistent with the mere solid-body rotation observed in atomic hydrogen.


title: The Triangle Condition for the Marked Random Connection Model

abstract: We investigate a spatial random graph model whose vertices are given as a marked Poisson process on $\mathbb{R}^d$. Edges are inserted between any pair of points independently with probability depending on the spatial displacement of the two endpoints and on their marks. Upon variation of the Poisson density, a percolation phase transition occurs under mild conditions: for low density there are finite connected components only, whilst for large density there is an infinite component almost surely. Our focus is on the transition between the low- and high-density phase, where the system is critical. We prove that if the dimension is high enough and the edge probability function satisfies certain conditions, then an infrared bound for the critical connection function is valid. This implies the triangle condition, thus indicating mean-field behaviour. We achieve this result through combining the recently established lace expansion for Poisson processes with spectral estimates.


title: Gordian Distance and Complete Alexander Neighbors

abstract: We call a knot $K$ a complete Alexander neighbor if every possible Alexander polynomial is realized by a knot one crossing change away from $K$. It is unknown whether there exists a complete Alexander neighbor with nontrivial Alexander polynomial. We eliminate infinite families of knots with nontrivial Alexander polynomial from having this property and discuss possible strategies for unresolved cases. Additionally, we use a condition on determinants of knots one crossing change away from unknotting number one knots to improve KnotInfo's unknotting number data on 11 and 12 crossing knots. Lickorish introduced an obstruction to unknotting number one which proves the same result. However, we show that Lickorish's obstruction does not subsume the obstruction coming from the condition on determinants.


title: Model-Based Imitation Learning for Urban Driving

abstract: An accurate model of the environment and the dynamic agents acting in it offers great potential for improving motion planning. We present MILE: a Model-based Imitation LEarning approach to jointly learn a model of the world and a policy for autonomous driving. Our method leverages 3D geometry as an inductive bias and learns a highly compact latent space directly from high-resolution videos of expert demonstrations. Our model is trained on an offline corpus of urban driving data, without any online interaction with the environment. MILE improves upon prior state-of-the-art by 31% in driving score on the CARLA simulator when deployed in a completely new town and new weather conditions. Our model can predict diverse and plausible states and actions, that can be interpretably decoded to bird's-eye view semantic segmentation. Further, we demonstrate that it can execute complex driving manoeuvres from plans entirely predicted in imagination. Our approach is the first camera-only method that models static scene, dynamic scene, and ego-behaviour in an urban driving environment. The code and model weights are available at https://github.com/wayveai/mile.


title: DroneARchery: Human-Drone Interaction through Augmented Reality with Haptic Feedback and Multi-UAV Collision Avoidance Driven by Deep Reinforcement Learning

abstract: We propose a novel concept of augmented reality (AR) human-drone interaction driven by RL-based swarm behavior to achieve intuitive and immersive control of a swarm formation of unmanned aerial vehicles. The DroneARchery system developed by us allows the user to quickly deploy a swarm of drones, generating flight paths simulating archery. The haptic interface LinkGlide delivers a tactile stimulus of the bowstring tension to the forearm to increase the precision of aiming. The swarm of released drones dynamically avoids collisions between each other, the drone following the user, and external obstacles with behavior control based on deep reinforcement learning. The developed concept was tested in the scenario with a human, where the user shoots from a virtual bow with a real drone to hit the target. The human operator observes the ballistic trajectory of the drone in an AR and achieves a realistic and highly recognizable experience of the bowstring tension through the haptic display. The experimental results revealed that the system improves trajectory prediction accuracy by 63.3% through applying AR technology and conveying haptic feedback of pulling force. DroneARchery users highlighted the naturalness (4.3 out of 5 point Likert scale) and increased confidence (4.7 out of 5) when controlling the drone. We have designed the tactile patterns to present four sliding distances (tension) and three applied force levels (stiffness) of the haptic display. Users demonstrated the ability to distinguish tactile patterns produced by the haptic display representing varying bowstring tension(average recognition rate is of 72.8%) and stiffness (average recognition rate is of 94.2%). The novelty of the research is the development of an AR-based approach for drone control that does not require special skills and training from the operator.


title: Thermal Transitions in Dense Two-Colour QCD

abstract: The infamous sign problem makes it impossible to probe dense (baryon density $\mu_B>0$) QCD at temperatures near or below the deconfinement threshold. As a workaround, one can explore QCD-like theories such as two-colour QCD (QC2D) which don't suffer from this sign problem but are qualitively similar to real QCD. Previous studies on smaller lattice volumes have investigated deconfinement and colour superfluid to normal matter transitions. In this study we look at a larger lattice volume $N_s=24$ in an attempt to disentangle finite volume and finite temperature effects. We also fit to a larger number of diquark sources to better allow for extrapolation to zero diquark source.


title: The identification of mean quantum potential with Fisher information leads to a strong uncertainty relation

abstract: The Cramer-Rao bound, satisfied by classical Fisher information, a key quantity in information theory, has been shown in different contexts to give rise to the Heisenberg uncertainty principle of quantum mechanics. In this paper, we show that the identification of the mean quantum potential, an important notion in Bohmian mechanics, with the Fisher information, leads, through the Cramer-Rao bound, to an uncertainty principle which is stronger, in general, than both Heisenberg and Robertson-Schrodinger uncertainty relations, allowing to experimentally test the validity of such an identification.


title: Fine-grained Category Discovery under Coarse-grained supervision with Hierarchical Weighted Self-contrastive Learning

abstract: Novel category discovery aims at adapting models trained on known categories to novel categories. Previous works only focus on the scenario where known and novel categories are of the same granularity. In this paper, we investigate a new practical scenario called Fine-grained Category Discovery under Coarse-grained supervision (FCDC). FCDC aims at discovering fine-grained categories with only coarse-grained labeled data, which can adapt models to categories of different granularity from known ones and reduce significant labeling cost. It is also a challenging task since supervised training on coarse-grained categories tends to focus on inter-class distance (distance between coarse-grained classes) but ignore intra-class distance (distance between fine-grained sub-classes) which is essential for separating fine-grained categories. Considering most current methods cannot transfer knowledge from coarse-grained level to fine-grained level, we propose a hierarchical weighted self-contrastive network by building a novel weighted self-contrastive module and combining it with supervised learning in a hierarchical manner. Extensive experiments on public datasets show both effectiveness and efficiency of our model over compared methods. Code and data are available at https://github.com/Lackel/Hierarchical_Weighted_SCL.


title: Comparison of extended irreversible thermodynamics and nonequilibrium statistical operator method with thermodynamics based on a distribution containing the first-passage time

abstract: An analogy is drawn between version of non-equilibrium thermodynamics a distribution-based containing an additional thermodynamic first-passage time parameter, nonequilibrium statistical operator method and extended irreversible thermodynamics with flows as an additional thermodynamic parameter. Thermodynamics containing an additional thermodynamic first-passage time parameter maps to extended irreversible thermodynamics. Various conditions for the dependence of the distribution parameters of the first-passage time on the random value of energy, the first thermodynamic parameter, are considered. Time parameter relaxation time {\tau} of extended irreversible thermodynamics is replaced by the average first-passage time. Expressions are obtained for the thermodynamic parameter, the conjugate of the first passage time through the entropy change, and for the average first passage time through the flows.


title: Statistical significances and projections for proton decay experiments

abstract: We study the statistical significances for exclusion and discovery of proton decay at current and future neutrino detectors. Various counterintuitive flaws associated with frequentist and modified frequentist statistical measures of significance for multi-channel counting experiments are discussed in a general context and illustrated with examples. We argue in favor of conservative Bayesian-motivated statistical measures, and as an application we employ these measures to obtain the current lower limits on proton partial lifetime at various confidence levels, based on Super-Kamiokande's data, generalizing the 90\% CL published limits. Finally, we present projections for exclusion and discovery reaches for proton partial lifetimes in $p \rightarrow \overline \nu K^+$ and $p \rightarrow e^+ \pi^0$ decay channels at Hyper-Kamiokande, DUNE, JUNO, and THEIA.


title: High-harmonic generation in liquids with few-cycle pulses: effect of laser-pulse duration on the cut-off energy

abstract: High-harmonic generation (HHG) in liquids is opening new opportunities for attosecond light sources and attosecond time-resolved studies of dynamics in the liquid phase. In gas-phase HHG, few-cycle pulses are routinely used to create isolated attosecond pulses and to extend the cut-off energy. Here, we study the properties of HHG in liquids, including water and several alcohols, by continuously tuning the pulse duration of a mid-infrared driver from the multi- to the sub-two-cycle regime. Similar to the gas phase, we observe the transition from discrete odd-order harmonics to continuous extreme-ultraviolet emission. However, the cut-off energy is shown to be entirely independent of the pulse duration. This observation is confirmed by ab-initio simulations of HHG in large clusters. Our results support the notion that the cut-off energy is a fundamental property of the liquid, independent of the driving-pulse properties. Combined with the recently reported wavelength-independence of the cutoff, these results confirm the direct sensitivity of HHG to the mean-free paths of slow electrons in liquids. Our results additionally imply that few-cycle mid-infrared laser pulses are suitable drivers for generating isolated attosecond pulses from liquids.

categories: physics.optics physics.atm-clus physics.atom-ph physics.chem-ph


title: On Benefits and Challenges of Conditional Interframe Video Coding in Light of Information Theory

abstract: The rise of variational autoencoders for image and video compression has opened the door to many elaborate coding techniques. One example here is the possibility of conditional interframe coding. Here, instead of transmitting the residual between the original frame and the predicted frame (often obtained by motion compensation), the current frame is transmitted under the condition of knowing the prediction signal. In practice, conditional coding can be straightforwardly implemented using a conditional autoencoder, which has also shown good results in recent works. In this paper, we provide an information theoretical analysis of conditional coding for inter frames and show in which cases gains compared to traditional residual coding can be expected. We also show the effect of information bottlenecks which can occur in practical video coders in the prediction signal path due to the network structure, as a consequence of the data-processing theorem or due to quantization. We demonstrate that conditional coding has theoretical benefits over residual coding but that there are cases in which the benefits are quickly canceled by small information bottlenecks of the prediction signal.


title: When Programs Have to Watch Paint Dry

abstract: We explore type systems and programming abstractions for the safe use of resources. In particular, we investigate how to use types to modularly specify and check when programs are allowed to use their resources, e.g., when programming a robot arm on a production line, it is crucial that painted parts are given enough time to dry before assembly. We capture such temporal resources using a time-graded variant of Fitch-style modal type systems, develop a corresponding modally typed, effectful core calculus, and equip it with a graded-monadic denotational semantics illustrated by a concrete presheaf model. Our calculus also includes temporally-aware graded algebraic effects and effect handlers. The former are given a novel temporal treatment, where operations' specifications include their execution times, and their continuations know that an operation's worth of additional time has passed before they start executing, making it possible to safely access further temporal resources in them, and where effect handlers have to respect this temporal discipline.


title: Probing Freeze-in Dark Matter via Heavy Neutrino Portal

abstract: We explore the possibility of probing freeze-in dark matter (DM) produced via the right-handed neutrino (RHN) portal using the RHN search experiments. We focus on a simplified framework of minimally-extended type-I seesaw model consisting of only four free parameters, namely the RHN mass, the fermionic DM mass, the Yukawa coupling between the DM and the RHN, and a real singlet scalar mass. We consider two cases for the DM production either via decay of the thermal RHN or via scattering of the bath particles mediated by the RHN. In both cases, we show that for sub-TeV scale DM masses, the allowed model parameter space satisfying the observed DM relic density for freeze-in scenario falls within the reach of current and future collider, beam dump and forward physics facilities looking for feebly-coupled heavy neutrinos.


title: Magnetic interactions in intercalated transition metal dichalcogenides: a study based on ab initio model construction

abstract: Transition metal dichalcogenides (TMDs) are known to have a wide variety of magnetic structures by hosting other transition metal atoms in the van der Waals gaps. To understand the chemical trend of the magnetic properties of the intercalated TMDs, we perform a systematic first-principles study for 48 compounds with different hosts, guests, and composition ratios. Starting with calculations based on spin density functional theory, we derive classical spin models by applying the Liechtenstein method to the ab initio Wannier-based tight-binding model. We show that the calculated exchange couplings are overall consistent with the experiments. In particular, when the composition rate is 1/3, the chemical trend can be understood in terms of the occupation of the 3d-orbital in the intercalated transition metal. The present results give us a useful guiding principle to predict the magnetic structure of compounds that are yet to be synthesized.


title: E-Resource Management and Management Issues and Challenges

abstract: E-resources are inevitable, technology has grown and libraries are also adopting the technologies although adopting have many challenges to the library professionals. Whenever something new comes they need to update themselves. A study investigated E-Resources management and management issues of Indian library professional perspectives. For this study, data was collected from various academic institutes/university libraries in India. It includes institutes of national importance, central, state, deemed and private universities. The study finds that the majority of the libraries subscribed to E-journals and E-books, administration related challenges faced by LIS professionals. The t-test results revealed a lack of professional skills is the reason for issues and challenges of Library management.


title: Dirichlet is not just bad and singular in many rational IFS fractals

abstract: For $m\ge 2$, consider $K$ the $m$-fold Cartesian product of the limit set of an IFS of two affine maps with rational coefficients. If the contraction rates of the IFS are reciprocals of integers, and $K$ does not degenerate to singleton, we construct vectors in $K$ that lie within the ``folklore set'' as defined by Beresnevich et al., meaning they are Dirichlet improvable but not singular or badly approximable (in fact our examples are Liouville vectors). We further address the topic of lower bounds for the Hausdorff and packing dimension of these folklore sets within $K$, however we do not compute bounds explicitly. Our class of fractals extends (Cartesian products of) classical missing digit fractals, for which analogous results had recently been obtained.


title: On the asymptotic behaviour of Sudler products for badly approximable numbers

abstract: Given a badly approximable number $\alpha$, we study the asymptotic behaviour of the Sudler product defined by $P_N(\alpha) = \prod_{r=1}^N 2 | \sin \pi r \alpha |$. We show that $\liminf_{N \to \infty} P_N(\alpha) = 0$ and $\limsup_{N \to \infty} P_N(\alpha)/N = \infty$ whenever the sequence of partial quotients in the continued fraction expansion of $\alpha$ exceeds $7$ infinitely often. This improves results obtained by Lubinsky for the general case, and by Grepstad, Neum\"uller and Zafeiropoulos for the special case of quadratic irrationals. Furthermore, we prove that this threshold value $7$ is optimal, even when restricting $\alpha$ to be a quadratic irrational, which gives a negative answer to a question of the latter authors.


title: Effect of influence in voter models and its application in detecting significant interference in political elections

abstract: In this article, we study the effect of vector-valued interventions in votes under a binary voter model, where each voter expresses their vote as a $0-1$ valued random variable to choose between two candidates. We assume that the outcome is determined by the majority function, which is true for a democratic system. The term intervention includes cases of counting errors, reporting irregularities, electoral malpractice etc. Our focus is to analyze the effect of the intervention on the final outcome. We construct statistical tests to detect significant irregularities in elections under two scenarios, one where exit poll data is available and more broadly under the assumption of a cost function associated with causing the interventions. Relevant theoretical results on the consistency of the test procedures are also derived. Through a detailed simulation study, we show that the test procedure has good power and is robust across various settings. We also implement our method on three real-life data sets. The applications provide results consistent with existing knowledge and establish that the method can be adopted for crucial problems related to political elections.


title: Confidence estimation of classification based on the distribution of the neural network output layer

abstract: One of the most common problems preventing the application of prediction models in the real world is lack of generalization: The accuracy of models, measured in the benchmark does repeat itself on future data, e.g. in the settings of real business. There is relatively little methods exist that estimate the confidence of prediction models. In this paper, we propose novel methods that, given a neural network classification model, estimate uncertainty of particular predictions generated by this model. Furthermore, we propose a method that, given a model and a confidence level, calculates a threshold that separates prediction generated by this model into two subsets, one of them meets the given confidence level. In contrast to other methods, the proposed methods do not require any changes on existing neural networks, because they simply build on the output logit layer of a common neural network. In particular, the methods infer the confidence of a particular prediction based on the distribution of the logit values corresponding to this prediction. The proposed methods constitute a tool that is recommended for filtering predictions in the process of knowledge extraction, e.g. based on web scrapping, where predictions subsets are identified that maximize the precision on cost of the recall, which is less important due to the availability of data. The method has been tested on different tasks including relation extraction, named entity recognition and image classification to show the significant increase of accuracy achieved.


title: Formalising the $h$-principle and sphere eversion

abstract: In differential topology and geometry, the h-principle is a property enjoyed by certain construction problems. Roughly speaking, it states that the only obstructions to the existence of a solution come from algebraic topology. We describe a formalisation in Lean of the local h-principle for first-order, open, ample partial differential relations. This is a significant result in differential topology, originally proven by Gromov in 1973 as part of his sweeping effort which greatly generalised many previous flexibility results in topology and geometry. In particular it reproves Smale's celebrated sphere eversion theorem, a visually striking and counter-intuitive construction. Our formalisation uses Theilli\`ere's implementation of convex integration from 2018. This paper is the first part of the sphere eversion project, aiming to formalise the global version of the h-principle for open and ample first order differential relations, for maps between smooth manifolds. Our current local version for vector spaces is the main ingredient of this proof, and is sufficient to prove the titular corollary of the project. From a broader perspective, the goal of this project is to show that one can formalise advanced mathematics with a strongly geometric flavour and not only algebraically-flavoured


title: Online Learning to Cache and Recommend in the Next Generation Cellular Networks

abstract: An efficient caching can be achieved by predicting the popularity of the files accurately. It is well known that the popularity of a file can be nudged by using recommendation, and hence it can be estimated accurately leading to an efficient caching strategy. Motivated by this, in this paper, we consider the problem of joint caching and recommendation in a 5G and beyond heterogeneous network. We model the influence of recommendation on demands by a Probability Transition Matrix (PTM). The proposed framework consists of estimating the PTM and use them to jointly recommend and cache the files. In particular, this paper considers two estimation methods namely a) Bayesian estimation and b) a genie aided Point estimation. An approximate high probability bound on the regret of both the estimation methods are provided. Using this result, we show that the approximate regret achieved by the genie aided Point estimation approach is $\mathcal{O}(T^{2/3} \sqrt{\log T})$ while the Bayesian estimation method achieves a much better scaling of $\mathcal{O}(\sqrt{T})$. These results are extended to a heterogeneous network consisting of M small base stations (sBSs) with a central macro base station. The estimates are available at multiple sBSs, and are combined using appropriate weights. Insights on the choice of these weights are provided by using the derived approximate regret bound in the multiple sBS case. Finally, simulation results confirm the superiority of the proposed algorithms in terms of average cache hit rate, delay and throughput.


title: Addressing energy density functionals in the language of path-integrals II: Comparative study of functional renormalization group techniques applied to the (0+0)-D $O(N)$-symmetric $\varphi^{4}$-theory

abstract: The present paper is the second of a series of publications that aim at investigating relevant directions to turn the nuclear energy density functional (EDF) method as an effective field theory (EFT). The EDF approach has known numerous successes in nuclear theory over the past decades and is currently the only microscopic technique that can be applied to all atomic nuclei. However, the phenomenological character of the EDF method also comes with important limitations, such as the lack of an explicit connection with quantum chromodynamics (QCD). As was argued in the first paper of this series, reformulating the EDF framework as an EFT would enable us to overcome these limitations. In particular, path-integral (PI) techniques are suited to achieve such a purpose as they allow to design numerous non-perturbative approximations and can take Lagrangians possibly derived from EFTs of QCD as inputs. In our previous paper, we have illustrated such technical features for diagrammatic PI techniques in a study of the (0+0)-D $O(N)$-symmetric $\varphi^{4}$-theory. In the present work, we consider another class of PI techniques, i.e. functional renormalization group (FRG) approaches, that we apply to the same toy model. Despite our explicit interest for the nuclear many-body problem, the presented study is also directed towards FRG practitioners from various fields: technical details are provided for FRG techniques based on 1-particle-irreducible (1PI), 2-particle-irreducible (2PI) and 2-particle-point-irreducible (2PPI) effective actions (EAs), coined respectively as 1PI-, 2PI- and 2PPI-FRGs, and the treatment of the $O(N)$ symmetry is also addressed thoroughly. Connections between these various FRG methods are identified as well.


title: LeVoice ASR Systems for the ISCSLP 2022 Intelligent Cockpit Speech Recognition Challenge

abstract: This paper describes LeVoice automatic speech recognition systems to track2 of intelligent cockpit speech recognition challenge 2022. Track2 is a speech recognition task without limits on the scope of model size. Our main points include deep learning based speech enhancement, text-to-speech based speech generation, training data augmentation via various techniques and speech recognition model fusion. We compared and fused the hybrid architecture and two kinds of end-to-end architecture. For end-to-end modeling, we used models based on connectionist temporal classification/attention-based encoder-decoder architecture and recurrent neural network transducer/attention-based encoder-decoder architecture. The performance of these models is evaluated with an additional language model to improve word error rates. As a result, our system achieved 10.2\% character error rate on the challenge test set data and ranked third place among the submitted systems in the challenge.