title: Balanced measures, sparse domination and complexity-dependent weight classes

abstract: We study sparse domination for operators defined with respect to an atomic filtration on a space equipped with a general measure $\mu$. In the case of Haar shifts, $L^p$-boundedness is known to require a weak regularity condition, which we prove to be sufficient to have a sparse domination-like theorem. Our result allows us to characterize the class of weights where Haar shifts are bounded. A surprising novelty is that said class depends on the complexity of the Haar shift operator under consideration. Our results are qualitatively sharp.


title: Provable Training for Graph Contrastive Learning

abstract: Graph Contrastive Learning (GCL) has emerged as a popular training approach for learning node embeddings from augmented graphs without labels. Despite the key principle that maximizing the similarity between positive node pairs while minimizing it between negative node pairs is well established, some fundamental problems are still unclear. Considering the complex graph structure, are some nodes consistently well-trained and following this principle even with different graph augmentations? Or are there some nodes more likely to be untrained across graph augmentations and violate the principle? How to distinguish these nodes and further guide the training of GCL? To answer these questions, we first present experimental evidence showing that the training of GCL is indeed imbalanced across all nodes. To address this problem, we propose the metric "node compactness", which is the lower bound of how a node follows the GCL principle related to the range of augmentations. We further derive the form of node compactness theoretically through bound propagation, which can be integrated into binary cross-entropy as a regularization. To this end, we propose the PrOvable Training (POT) for GCL, which regularizes the training of GCL to encode node embeddings that follows the GCL principle better. Through extensive experiments on various benchmarks, POT consistently improves the existing GCL approaches, serving as a friendly plugin.


title: Measuring the quantum state of photoelectrons

abstract: A photoelectron, emitted due to the absorption of light quanta as described by the photoelectric effect, is often characterized experimentally by a classical quantity, its momentum. However, since the photoelectron is a quantum object, its rigorous characterization requires the reconstruction of the complete quantum state, the photoelectron's density matrix. Here, we use quantum state tomography to fully characterize photoelectrons emitted from helium and argon atoms upon absorption of ultrashort, extreme ultraviolet light pulses. While in helium we measure a pure photoelectronic state, in argon, spin-orbit interaction induces entanglement between the ion and the photoelectron, leading to a reduced purity of the photoelectron state. Our work shows how state tomography gives new insights into the fundamental quantum aspects of light-induced electronic processes in matter, bridging the fields of photoelectron spectroscopy and quantum information, and offering new spectroscopic possibilities for quantum technology.


title: Observational constraints on interactions between dark energy and dark matter with momentum and energy transfers

abstract: We place observational constraints on a dark energy (DE) model in which a quintessence scalar field $\phi$ is coupled to dark matter (DM) through momentum and energy exchanges.The momentum transfer is weighed by an interaction between the field derivative and DM four velocity with a coupling constant $\beta$, whereas the energy exchange is characterized by an exponential scalar-field coupling to the DM density with a coupling constant $Q$. A positive coupling $\beta$ leads to the suppression for the growth of DM density perturbations at low redshifts, whose property offers a possibility for resolving the $\sigma_8$ tension problem. A negative coupling $Q$ gives rise to a $\phi$-matter-dominated epoch, whose presence can reduce the sound horizon around the Cosmic Microwave Background (CMB) decoupling epoch. Using the data of Planck 2018, 12-th Sloan Digital Sky Survey, Phantheon supernovae samples, and 1-year dark energy survey, we find that the two couplings are constrained to be $\beta=0.332^{+1.246}_{-0.237}$ and $Q =-0.0312^{+0.0312}_{-0.0085}$ at 68\,\% confidence level (CL). Thus, there is an interesting observational signature of the momentum exchange ($\beta \neq 0$) between DE and DM, with a peak of the probability distribution of the energy transfer coupling at $Q<0$.


title: Singular limits of spacetimes and their isometries

abstract: We consider spacetime metrics with a given (but quite generic) dependence on a dimensionful parameter such that in the 0 and infinity limits of that parameter the metric becomes singular. We study the isometry groups of the original spacetime metrics and of the singular metrics that arise in the limits and the corresponding symmetries of the motion of p-branes evolving in them, showing how the Killing vectors and their Lie algebras can be found in general. We illustrate our general results with several examples which include limits of anti-de Sitter spacetime in which the holographic screen is one of the singular metrics and of pp-waves.


title: Co-Design Optimisation of Morphing Topology and Control of Winged Drones

abstract: The design and control of winged aircraft and drones is an iterative process aimed at identifying a compromise of mission-specific costs and constraints. When agility is required, shape-shifting (morphing) drones represent an efficient solution. However, morphing drones require the addition of actuated joints that increase the topology and control coupling, making the design process more complex. We propose a co-design optimisation method that assists the engineers by proposing a morphing drone's conceptual design that includes topology, actuation, morphing strategy, and controller parameters. The method consists of applying multi-objective constraint-based optimisation to a multi-body winged drone with trajectory optimisation to solve the motion intelligence problem under diverse flight mission requirements, such as energy consumption and mission completion time. We show that co-designed morphing drones outperform fixed-winged drones in terms of energy efficiency and mission time, suggesting that the proposed co-design method could be a useful addition to the aircraft engineering toolbox.


title: Characterising User Transfer Amid Industrial Resource Variation: A Bayesian Nonparametric Approach

abstract: In a multitude of industrial fields, a key objective entails optimising resource management whilst satisfying user requirements. Resource management by industrial practitioners can result in a passive transfer of user loads across resource providers, a phenomenon whose accurate characterisation is both challenging and crucial. This research reveals the existence of user clusters, which capture macro-level user transfer patterns amid resource variation. We then propose CLUSTER, an interpretable hierarchical Bayesian nonparametric model capable of automating cluster identification, and thereby predicting user transfer in response to resource variation. Furthermore, CLUSTER facilitates uncertainty quantification for further reliable decision-making. Our method enables privacy protection by functioning independently of personally identifiable information. Experiments with simulated and real-world data from the communications industry reveal a pronounced alignment between prediction results and empirical observations across a spectrum of resource management scenarios. This research establishes a solid groundwork for advancing resource management strategy development.


title: Local and Global Trend Bayesian Exponential Smoothing Models

abstract: This paper describes a family of seasonal and non-seasonal time series models that can be viewed as generalisations of additive and multiplicative exponential smoothing models, to model series that grow faster than linear but slower than exponential. Their development is motivated by fast-growing, volatile time series. In particular, our models have a global trend that can smoothly change from additive to multiplicative, and is combined with a linear local trend. Seasonality when used is multiplicative in our models, and the error is always additive but is heteroscedastic and can grow through a parameter sigma. We leverage state-of-the-art Bayesian fitting techniques to accurately fit these models that are more complex and flexible than standard exponential smoothing models. When applied to the M3 competition data set, our models outperform the best algorithms in the competition as well as other benchmarks, thus achieving to the best of our knowledge the best results of per-series univariate methods on this dataset in the literature. An open-source software package of our method is available.


title: Monotone $T$-convex $T$-differential fields

abstract: Let $T$ be a complete, model complete o-minimal theory extending the theory of real closed ordered fields and assume that $T$ is power bounded. Let $K$ be a model of $T$ equipped with a $T$-convex valuation ring $\mathcal{O}$ and a $T$-derivation $\partial$ such that $\partial$ is monotone, i.e., weakly contractive with respect to the valuation induced by $\mathcal{O}$. We show that the theory of monotone $T$-convex $T$-differential fields, i.e., the common theory of such $K$, has a model completion, which is complete and distal. Among the axioms of this model completion, we isolate an analogue of henselianity that we call $T^{\partial}$-henselianity. We establish an Ax--Kochen/Ershov theorem and further results for monotone $T$-convex $T$-differential fields that are $T^{\partial}$-henselian.


title: VidChapters-7M: Video Chapters at Scale

abstract: Segmenting long videos into chapters enables users to quickly navigate to the information of their interest. This important topic has been understudied due to the lack of publicly released datasets. To address this issue, we present VidChapters-7M, a dataset of 817K user-chaptered videos including 7M chapters in total. VidChapters-7M is automatically created from videos online in a scalable manner by scraping user-annotated chapters and hence without any additional manual annotation. We introduce the following three tasks based on this data. First, the video chapter generation task consists of temporally segmenting the video and generating a chapter title for each segment. To further dissect the problem, we also define two variants of this task: video chapter generation given ground-truth boundaries, which requires generating a chapter title given an annotated video segment, and video chapter grounding, which requires temporally localizing a chapter given its annotated title. We benchmark both simple baselines and state-of-the-art video-language models for these three tasks. We also show that pretraining on VidChapters-7M transfers well to dense video captioning tasks in both zero-shot and finetuning settings, largely improving the state of the art on the YouCook2 and ViTT benchmarks. Finally, our experiments reveal that downstream performance scales well with the size of the pretraining dataset. Our dataset, code, and models are publicly available at https://antoyang.github.io/vidchapters.html.


title: Jupiter's equatorial quasi-quadrennial oscillation forced by internal thermal forcing

abstract: Observations have shown that there exists downward propagation of alternating westward/eastward jets in Jupiter's equatorial stratosphere, with a quasi-period between four and six years. This phenomenon is generally called the quasi-quadrennial oscillation (QQO). Here, we simulate the QQO by injecting isotropic small-scale thermal disturbances into a three-dimensional general circulation model of Jupiter. It is found that the internal thermal disturbance is able to excite a wealth of waves that generate the equatorial QQO and multiple jet streams at middle and high latitudes of both hemispheres. The dominant wave mode in generating the QQO-like oscillation is that with a zonal wavenumber of 10. Inhomogeneous evolution of potential vorticity favors the emergence of the off-equatorial zonal jets. The off-equatorial jets migrate to the equator, strengthen the deep equatorial jets, and result in the prolonging of the QQO-like oscillations.


title: Semi-Implicit-type order-adaptive CAT2 schemes for systems of balance laws with relaxed source term

abstract: In this paper we present two semi-implicit-type second order Compact Approximate Taylor (CAT2) numerical schemes and blend them with a local a posteriori Multi-dimensional Optimal Order Detection (MOOD) paradigm to solve hyperbolic systems of balance laws with relaxed source term. The resulting scheme presents high accuracy when applied to smooth solutions, essentially non-oscillatory behavior for irregular ones, and offers a nearly fail-safe property in terms of ensuring positivity. The numerical results obtained from a variety of test cases, including smooth and non-smooth well-prepared and unprepared initial condition, assessing the appropriate behavior of the semi-implicit-type second order CATMOOD schemes. These results have been compared in accuracy and efficiency with a second order semi-implicit Runge-Kutta (RK) method.


title: Deep Reinforcement Learning for the Heat Transfer Control of Pulsating Impinging Jets

abstract: This research study explores the applicability of Deep Reinforcement Learning (DRL) for thermal control based on Computational Fluid Dynamics. To accomplish that, the forced convection on a hot plate prone to a pulsating cooling jet with variable velocity has been investigated. We begin with evaluating the efficiency and viability of a vanilla Deep Q-Network (DQN) method for thermal control. Subsequently, a comprehensive comparison between different variants of DRL is conducted. Soft Double and Duel DQN achieved better thermal control performance among all the variants due to their efficient learning and action prioritization capabilities. Results demonstrate that the soft Double DQN outperforms the hard Double DQN. Moreover, soft Double and Duel can maintain the temperature in the desired threshold for more than 98% of the control cycle. These findings demonstrate the promising potential of DRL in effectively addressing thermal control systems.


title: In-Domain GAN Inversion for Faithful Reconstruction and Editability

abstract: Generative Adversarial Networks (GANs) have significantly advanced image synthesis through mapping randomly sampled latent codes to high-fidelity synthesized images. However, applying well-trained GANs to real image editing remains challenging. A common solution is to find an approximate latent code that can adequately recover the input image to edit, which is also known as GAN inversion. To invert a GAN model, prior works typically focus on reconstructing the target image at the pixel level, yet few studies are conducted on whether the inverted result can well support manipulation at the semantic level. This work fills in this gap by proposing in-domain GAN inversion, which consists of a domain-guided encoder and a domain-regularized optimizer, to regularize the inverted code in the native latent space of the pre-trained GAN model. In this way, we manage to sufficiently reuse the knowledge learned by GANs for image reconstruction, facilitating a wide range of editing applications without any retraining. We further make comprehensive analyses on the effects of the encoder structure, the starting inversion point, as well as the inversion parameter space, and observe the trade-off between the reconstruction quality and the editing property. Such a trade-off sheds light on how a GAN model represents an image with various semantics encoded in the learned latent distribution. Code, models, and demo are available at the project page: https://genforce.github.io/idinvert/.


title: Beam Enumeration: Probabilistic Explainability For Sample Efficient Self-conditioned Molecular Design

abstract: Generative molecular design has moved from proof-of-concept to real-world applicability, as marked by the surge in very recent papers reporting experimental validation. Key challenges in explainability and sample efficiency present opportunities to enhance generative design to directly optimize expensive high-fidelity oracles and provide actionable insights to domain experts. Here, we propose Beam Enumeration to exhaustively enumerate the most probable sub-sequences from language-based molecular generative models and show that molecular substructures can be extracted. When coupled with reinforcement learning, extracted substructures become meaningful, providing a source of explainability and improving sample efficiency through self-conditioned generation. Beam Enumeration is generally applicable to any language-based molecular generative model and notably further improves the performance of the recently reported Augmented Memory algorithm, which achieved the new state-of-the-art on the Practical Molecular Optimization benchmark for sample efficiency. The combined algorithm generates more high reward molecules and faster, given a fixed oracle budget. Beam Enumeration shows that improvements to explainability and sample efficiency for molecular design can be made synergistic.


title: Multi-Criteria Shape Optimization of Flow Fields for Electrochemical Cells

abstract: We consider the shape optimization of flow fields for electrochemical cells. Our goal is to improve the cell by modifying the shape of its flow field. To do so, we introduce simulation models of the flow field with and without the porous transport layer. The latter is less detailed and used for shape optimization, whereas the former is used to validate our obtained results. We propose three objective functions based on the uniformity of the flow and residence time as well as the wall shear stress. After considering the respective optimization problems separately, we use techniques from multi-criteria optimization to treat the conflicting objective functions systematically. Our results highlight the potential of our approach for generating novel flow field designs for electrochemical cells.


title: Appearance of discrete Lorenz attractors in the transitions from saddle to saddle-focus

abstract: Triply degenerate fixed points appear in global bifurcations -- homoclinic and heteroclinic tangencies. In order to get Lorenz-like attractors, the dynamics of the first return map along the homoclinic or heteroclinic cycle should be effectively at least three-dimensional, i.e. there should not exist lower-dimensional invariant manifolds. This can be achieved by adding some special conditions, global or local. Global degeneracies are related to the existence of non-simple homoclinic tangencies or non-simple heteroclinic orbit in a cycle, these cases were studied before. Local conditions either require the cycle to contain at least one saddle-focus, or add certain relations on the multipliers of the fixed point such that the leading stable direction of the saddle either disappears or alternates. All these cases were already studied before except one, related to the transition from saddle to saddle-focus. In the present paper this case is investigated, and the existence of a cascade of parameter domains containing systems with discrete Lorenz attractors is proved. In particular, it includes the Belyakov bifurcation, when the saddle becomes a saddle-focus through a collision of the eigenvalues, and the 3DL bifurcation, when the dimension of the leading stable subset alternates between 1 and 2. This paper completes the list of the simplest bifurcations of homoclinic and heteroclinic tangencies by studying the last possible case.


title: Newton Method-based Subspace Support Vector Data Description

abstract: In this paper, we present an adaptation of Newton's method for the optimization of Subspace Support Vector Data Description (S-SVDD). The objective of S-SVDD is to map the original data to a subspace optimized for one-class classification, and the iterative optimization process of data mapping and description in S-SVDD relies on gradient descent. However, gradient descent only utilizes first-order information, which may lead to suboptimal results. To address this limitation, we leverage Newton's method to enhance data mapping and data description for an improved optimization of subspace learning-based one-class classification. By incorporating this auxiliary information, Newton's method offers a more efficient strategy for subspace learning in one-class classification as compared to gradient-based optimization. The paper discusses the limitations of gradient descent and the advantages of using Newton's method in subspace learning for one-class classification tasks. We provide both linear and nonlinear formulations of Newton's method-based optimization for S-SVDD. In our experiments, we explored both the minimization and maximization strategies of the objective. The results demonstrate that the proposed optimization strategy outperforms the gradient-based S-SVDD in most cases.


title: A hybrid quantum-classical approach to warm-starting optimization

abstract: The Quantum Approximate Optimization Algorithm (QAOA) is a promising candidate for solving combinatorial optimization problems more efficiently than classical computers. Recent studies have shown that warm-starting the standard algorithm improves the performance. In this paper we compare the performance of standard QAOA with that of warm-start QAOA in the context of portfolio optimization and investigate the warm-start approach for different problem instances. In particular, we analyze the extent to which the improved performance of warm-start QAOA is due to quantum effects, and show that the results can be reproduced or even surpassed by a purely classical preprocessing of the original problem followed by standard QAOA.


title: Egocentric RGB+Depth Action Recognition in Industry-Like Settings

abstract: Action recognition from an egocentric viewpoint is a crucial perception task in robotics and enables a wide range of human-robot interactions. While most computer vision approaches prioritize the RGB camera, the Depth modality - which can further amplify the subtleties of actions from an egocentric perspective - remains underexplored. Our work focuses on recognizing actions from egocentric RGB and Depth modalities in an industry-like environment. To study this problem, we consider the recent MECCANO dataset, which provides a wide range of assembling actions. Our framework is based on the 3D Video SWIN Transformer to encode both RGB and Depth modalities effectively. To address the inherent skewness in real-world multimodal action occurrences, we propose a training strategy using an exponentially decaying variant of the focal loss modulating factor. Additionally, to leverage the information in both RGB and Depth modalities, we opt for late fusion to combine the predictions from each modality. We thoroughly evaluate our method on the action recognition task of the MECCANO dataset, and it significantly outperforms the prior work. Notably, our method also secured first place at the multimodal action recognition challenge at ICIAP 2023.


title: Connecting Speech Encoder and Large Language Model for ASR

abstract: The impressive capability and versatility of large language models (LLMs) have aroused increasing attention in automatic speech recognition (ASR), with several pioneering studies attempting to build integrated ASR models by connecting a speech encoder with an LLM. This paper presents a comparative study of three commonly used structures as connectors, including fully connected layers, multi-head cross-attention, and Q-Former. Speech encoders from the Whisper model series as well as LLMs from the Vicuna model series with different model sizes were studied. Experiments were performed on the commonly used LibriSpeech, Common Voice, and GigaSpeech datasets, where the LLMs with Q-Formers demonstrated consistent and considerable word error rate (WER) reductions over LLMs with other connector structures. Q-Former-based LLMs can generalise well to out-of-domain datasets, where 12% relative WER reductions over the Whisper baseline ASR model were achieved on the Eval2000 test set without using any in-domain training data from Switchboard. Moreover, a novel segment-level Q-Former is proposed to enable LLMs to recognise speech segments with a duration exceeding the limitation of the encoders, which results in 17% relative WER reductions over other connector structures on 90-second-long speech data.


title: Derived equivalences for mirror-reflective algebras

abstract: We show that the construction of mirror-reflective algebras inherits derived equivalences of gendo-symmetric algebras. More precisely, suppose A and B are gendo-symmetric algebras with both Ae and Bf faithful projective-injective left ideals generated by idempotents e in A and f in B, respectively. If A and B are derived equivalent, then the mirror-reflective algebras of (A,e) and (B,f) are derived equivalent.


title: May I Ask a Follow-up Question? Understanding the Benefits of Conversations in Neural Network Explainability

abstract: Research in explainable AI (XAI) aims to provide insights into the decision-making process of opaque AI models. To date, most XAI methods offer one-off and static explanations, which cannot cater to the diverse backgrounds and understanding levels of users. With this paper, we investigate if free-form conversations can enhance users' comprehension of static explanations, improve acceptance and trust in the explanation methods, and facilitate human-AI collaboration. Participants are presented with static explanations, followed by a conversation with a human expert regarding the explanations. We measure the effect of the conversation on participants' ability to choose, from three machine learning models, the most accurate one based on explanations and their self-reported comprehension, acceptance, and trust. Empirical results show that conversations significantly improve comprehension, acceptance, trust, and collaboration. Our findings highlight the importance of customized model explanations in the format of free-form conversations and provide insights for the future design of conversational explanations.


title: Hierarchies for Semidefinite Optimization in $\mathcal{C}^\star$-Algebras

abstract: Semidefinite Optimization has become a standard technique in the landscape of Mathematical Programming that has many applications in finite dimensional Quantum Information Theory. This paper presents a way for finite-dimensional relaxations of general cone programs on $\mathcal{C}^\star$-algebras which have structurally similar properties to ordinary cone programs, only putting the notion of positivity at the core of optimization. We show that well-known hierarchies for generalized problems like NPA but also Lasserre's hierarchy and to some extend symmetry reductions of generic SDPs by de-Klerk et al. can be considered from a general point of view of $\mathcal{C}^\star$-algebras in combination to optimization problems.


title: No free lunch theorems for quantum state measurements as resources in classical sampling and generative modelling

abstract: We prove that $\textit{almost all}$ quantum states, when sampled according to the Haar measure over the unitary group, have the following property: if copies of the state are measured to provide latent random variables which are taken as an input in a classical generative model or sampling algorithm, then any alternative state whose measurements can generate the same set of target distributions will do so with the same overall cost. Here, we define the overall cost as the aggregate computational complexity of sampling from all possible distributions that can be prepared from the given input distribution. Our result holds for any length of input and output bitstring and when a uniformly random bitstring of any length is optionally provided as an additional resource. As it is easy to construct scenarios where a pair of alternative candidate states are such that classical simulation of the preparation thereof is easy in one case and hard in the other, the result can be viewed as decoupling how hard it is to obtain a latent random variable, and how useful it is as a resource in classical sampling and generative modelling.


title: Global analysis and LHC study of a vector-like extension of the Standard Model with extra scalars

abstract: We perform a global analysis of a vector-like extension of the Standard Model, which also features additional doublet and singlet scalars. The usual Yukawa interactions are forbidden in this setup by an extra U(1) global symmetry and the masses of the second and third family quarks and leptons are generated via the mixing with the vector-like sector. We identify three best-fit benchmark scenarios which satisfy the constraints imposed by the stability of the scalar potential, the perturbativity of the coupling constants, the measurement of the muon anomalous magnetic moment and the non-observation of the flavor violating tau decays. We show that dominant contributions to the muon $(g-2)$ originate in this model from the charged Higgs/neutral lepton one-loop diagrams, thus correcting an inaccurate statement than can be found in the literature. We also perform a detailed LHC analysis of the benchmark scenarios. We investigate the experimental constraints stemming from direct searches for vector-like quarks, vector-like leptons and exotic scalars. While we show that the model is not currently tested by any collider experiment, we point out that decays of a heavy Higgs boson into two tau leptons may offer a smoking gun signature for the model verification in upcoming runs at the LHC.


title: Many-photon scattering and entangling in a waveguide with a {\Lambda}-type atom

abstract: We develop the analytical theory that describes simultaneous transmission of several photons through a waveguide coupled to a $\Lambda$-type atom. We show that after transmission of a short few-photon pulse, the final state of the atom and all the photons is a genuine multipartite entangled state belonging to the W class. The parameters of the input pulse are optimized to maximize the efficiency of three- and four-partite W-state production.


title: A Cyberpunk 2077 perspective on the prediction and understanding of future technology

abstract: Science fiction and video games have long served as valuable tools for envisioning and inspiring future technological advancements. This position paper investigates the potential of Cyberpunk 2077, a popular science fiction video game, to shed light on the future of technology, particularly in the areas of artificial intelligence, edge computing, augmented humans, and biotechnology. By analyzing the game's portrayal of these technologies and their implications, we aim to understand the possibilities and challenges that lie ahead. We discuss key themes such as neurolink and brain-computer interfaces, multimodal recording systems, virtual and simulated reality, digital representation of the physical world, augmented and AI-based home appliances, smart clothing, and autonomous vehicles. The paper highlights the importance of designing technologies that can coexist with existing preferences and systems, considering the uneven adoption of new technologies. Through this exploration, we emphasize the potential of science fiction and video games like Cyberpunk 2077 as tools for guiding future technological advancements and shaping public perception of emerging innovations.


title: Generalization of the ABC theorem on locally nilpotent derivations

abstract: We obtain a generalization of the ABC Theorem on locally nilpotent derivations to the case of the polynomials with m monomials such that each variable is included just in one monomial. As applications of this result we provide some construction of rigid and semi-rigid algebras and describe the Makar-Limanov invariant of algebras of a special form.


title: Audio classification with Dilated Convolution with Learnable Spacings

abstract: Dilated convolution with learnable spacings (DCLS) is a recent convolution method in which the positions of the kernel elements are learned throughout training by backpropagation. Its interest has recently been demonstrated in computer vision (ImageNet classification and downstream tasks). Here we show that DCLS is also useful for audio tagging using the AudioSet classification benchmark. We took two state-of-the-art convolutional architectures using depthwise separable convolutions (DSC), ConvNeXt and ConvFormer, and a hybrid one using attention in addition, FastViT, and drop-in replaced all the DSC layers by DCLS ones. This significantly improved the mean average precision (mAP) with the three architectures without increasing the number of parameters and with only a low cost on the throughput. The method code is based on PyTorch and is available at https://github.com/K-H-Ismail/DCLS-Audio


title: Perverse Filtrations via Brylinski-Radon transformations

abstract: In this article, we prove the $t$-exactness of a Brylinski-Radon transformation taking values in sheaves on flag varieties. This implies several weak Lefschetz type results for cohomology. In particular, we obtain de Cataldo-Migliorini's P=Dec(F) and Beilinson's basic lemma, the latter was an important ingredient in their proof of P=Dec(F). Our methods also allow the sharpening of Esnault-Katz's cohomological divisibility theorem and estimates for the Hodge level. Finally, we upgrade P=Dec(F) to an equivalence of functors which is also valid over a base.


title: Deriving Product Line Requirements: the RED-PL Guidance Approach

abstract: Product lines (PL) modeling have proven to be an effective approach to reuse in software development.Several variability approaches were developed to plan requirements reuse, but only little of them actuallyaddress the issue of deriving product requirements.This paper presents a method, RED-PL that intends to support requirements derivation. The originality ofthe proposed approach is that (i) it is user-oriented, (ii) it guides product requirements elicitation andderivation as a decision making activity, and (iii) it provides systematic and interactive guidance assistinganalysts in taking decisions about requirements. The RED-PL methodological process was validatedin an industrial setting by considering the requirement engineering phase of a product line of blood analyzers.


title: Diverse Semantic Image Editing with Style Codes

abstract: Semantic image editing requires inpainting pixels following a semantic map. It is a challenging task since this inpainting requires both harmony with the context and strict compliance with the semantic maps. The majority of the previous methods proposed for this task try to encode the whole information from erased images. However, when an object is added to a scene such as a car, its style cannot be encoded from the context alone. On the other hand, the models that can output diverse generations struggle to output images that have seamless boundaries between the generated and unerased parts. Additionally, previous methods do not have a mechanism to encode the styles of visible and partially visible objects differently for better performance. In this work, we propose a framework that can encode visible and partially visible objects with a novel mechanism to achieve consistency in the style encoding and final generations. We extensively compare with previous conditional image generation and semantic image editing algorithms. Our extensive experiments show that our method significantly improves over the state-of-the-art. Our method not only achieves better quantitative results but also provides diverse results. Please refer to the project web page for the released code and demo: https://github.com/hakansivuk/DivSem.


title: Heat transfer in drop-laden turbulence

abstract: Heat transfer by large deformable drops in a turbulent flow is a complex and rich in physics system, in which drops deformation, breakage and coalescence influence the transport of heat. We study this problem coupling direct numerical simulations (DNS) of turbulence, with a phase-field method for the interface description. Simulations are run at fixed shear Reynolds and Weber numbers. To evaluate the influence of microscopic flow properties, like momentum/thermal diffusivity, on macroscopic flow properties, like mean temperature or heat transfer rates, we consider four different values of the Prandtl number, which is the momentum to thermal diffusivity ratio: Pr=1, Pr=2, Pr=4 and Pr=8. The drops volume fraction is Phi=5.4% for all cases. Drops are initially warmer than the turbulent carrier fluid, and release heat at different rates, depending on the value of Pr, but also on their size and on their own dynamics (topology, breakage, drop-drop interaction). Computing the time behavior of the drops and carrier fluid average temperatures, we clearly show that an increase of Pr slows down the heat transfer process. We explain our results by a simplified phenomenological model: we show that the time behavior of the drops average temperature is self similar, and a universal behavior can be found upon rescaling by t/Pr^2/3.


title: The Computational Power of Distributed Shared-Memory Models with Bounded-Size Registers

abstract: The celebrated Asynchronous Computability Theorem of Herlihy and Shavit (STOC 1993 and STOC 1994) provided a topological characterization of the tasks that are solvable in a distributed system where processes are communicating by writing and reading shared registers, and where any number of processes can fail by crashing. However, this characterization assumes the use of full-information protocols, that is, protocols in which each time any of the processes writes in the shared memory, it communicates everything it learned since the beginning of the execution. Thus, the characterization implicitly assumes that each register in the shared memory is of unbounded size. Whether unbounded size registers are unavoidable for the model of computation to be universal is the central question studied in this paper. Specifically, is any task that is solvable using unbounded registers solvable using registers of bounded size? More generally, when at most $t$ processes can crash, is the model with bounded size registers universal? These are the questions answered in this paper.


title: Counterexamples to the MMP for 1-foliations in positive characteristic

abstract: We show that many statements of the Minimal Model Program, including the cone theorem, the base point free theorem and the existence of Mori fibre spaces, fail for 1-foliated surface pairs $(X,\mathcal{F})$ with canonical singularities in characteristic $p>0$.


title: Morphological Computing as Logic Underlying Cognition in Human, Animal, and Intelligent Machine

abstract: This work examines the interconnections between logic, epistemology, and sciences within the Naturalist tradition. It presents a scheme that connects logic, mathematics, physics, chemistry, biology, and cognition, emphasizing scale-invariant, self-organizing dynamics across organizational tiers of nature. The inherent logic of agency exists in natural processes at various levels, under information exchanges. It applies to humans, animals, and artifactual agents. The common human-centric, natural language-based logic is an example of complex logic evolved by living organisms that already appears in the simplest form at the level of basal cognition of unicellular organisms. Thus, cognitive logic stems from the evolution of physical, chemical, and biological logic. In a computing nature framework with a self-organizing agency, innovative computational frameworks grounded in morphological/physical/natural computation can be used to explain the genesis of human-centered logic through the steps of naturalized logical processes at lower levels of organization. The Extended Evolutionary Synthesis of living agents is essential for understanding the emergence of human-level logic and the relationship between logic and information processing/computational epistemology. We conclude that more research is needed to elucidate the details of the mechanisms linking natural phenomena with the logic of agency in nature.


title: Better Generalization of White Matter Tract Segmentation to Arbitrary Datasets with Scaled Residual Bootstrap

abstract: White matter (WM) tract segmentation is a crucial step for brain connectivity studies. It is performed on diffusion magnetic resonance imaging (dMRI), and deep neural networks (DNNs) have achieved promising segmentation accuracy. Existing DNN-based methods use an annotated dataset for model training. However, the performance of the trained model on a different test dataset may not be optimal due to distribution shift, and it is desirable to design WM tract segmentation approaches that allow better generalization of the segmentation model to arbitrary test datasets. In this work, we propose a WM tract segmentation approach that improves the generalization with scaled residual bootstrap. The difference between dMRI scans in training and test datasets is most noticeably caused by the different numbers of diffusion gradients and noise levels. Since both of them lead to different signal-to-noise ratios (SNRs) between the training and test data, we propose to augment the training scans by adjusting the noise magnitude and develop an adapted residual bootstrap strategy for the augmentation. To validate the proposed approach, two dMRI datasets were used, and the experimental results show that our method consistently improved the generalization of WM tract segmentation under various settings.


title: Cerium oxide catalyzed disproportionation of hydrogen peroxide: a closer look at the reaction intermediate

abstract: Cerium oxide nanoparticles (CNPs) have recently gained increasing interest as redox enzyme-mimetics to scavenge the intracellular excess of reactive oxygen species, including hydrogen peroxide (H2O2). Despite the extensive exploration of CNP scavenging activity, there remains a notable knowledge gap regarding the fundamental mechanism underlying the CNP catalyzed disproportionation of H2O2. In this Letter, we present evidence demonstrating that H2O2 adsorption at CNP surface triggers the formation of stable intermediates known as ceriumperoxo complexes (Ce-O2 2-). The cerium-peroxo complexes can be resolved by Raman scattering and UV-Visible spectroscopy. We further demonstrate that the catalytic reactivity of CNPs in the H2O2 disproportionation reaction increases with the Ce(III) fraction. The developed approach using UV-Visible spectroscopy for the characterization of Ce-O2 2-complexes can potentially serve as a foundation for determining the catalytic reactivity of CNPs in the disproportionation of H2O2.


title: Using a probabilistic approach to derive a two-phase model of flow-induced cell migration

abstract: Interstitial fluid flow is a feature of many solid tumours. In vitro Experiments have shown that such fluid flow can direct tumour cell movement upstream or downstream depending on the balance between the competing mechanisms of tensotaxis and autologous chemotaxis. In this work we develop a probabilistic-continuum, two-phase model for cell migration in response to interstitial flow. We use a kinetic description for the cell-velocity probability density function, and model the flow-dependent stimuli as forcing terms which bias cell migration upstream and downstream. Using velocity-space averaging, we reformulate the model as a system of continuum equations for the spatio-temporal evolution of the cell volume fraction and flux, in response to forcing terms which depend on the local direction and magnitude of the mechanochemical cues. We specialise our model to describe a one-dimensional cell layer subject to fluid flow. Using a combination of numerical simulations and asymptotic analysis, we delineate the parameter regime where transitions from downstream to upstream cell migration occur. As has been observed experimentally, the model predicts downstream-oriented, chemotactic migration at low cell volume fractions, and upstream-oriented, tensotactic migration at larger volume fractions. We show that the locus of the critical volume fraction, at which the system transitions from downstream to upstream migration, is dominated by the ratio of the rate of chemokine secretion and advection. Our model also predicts that, because the tensotactic stimulus depends strongly on the cell volume fraction, upstream, tensotaxis-dominated migration occurs only transiently when the cells are initially seeded, and transitions to downstream, chemotaxis-dominated migration occur at later times due to the dispersive effect of cell diffusion.


title: Numerical studies on the link between radioisotopic signatures on Earth and the formation of the Local Bubble. II. Advanced modeling of interstellar 26Al, 53Mn, 60Fe, and 244Pu influxes as traces of past supernovae in the solar neighborhood

abstract: Measurements of long-lived radioisotopes provide a means, completely independent of other observational channels, to draw conclusions about near-Earth supernovae (SNe) and thus the origin of the Local Bubble (LB). First and foremost in this context is 60Fe, which has already been detected across the Earth and on the Moon. Using Gaia EDR3, we identified 14 SN explosions, with 13 occurring in UCL/LCC, and one in V1062 Sco, all being subgroups of the Sco-Cen OB association. The timing of these explosions was obtained by us through interpolation of rotating stellar evolution tracks via the initial masses of the already exploded massive stars. We further developed a new Monte Carlo-type approach for deriving the trajectories of the SN progenitors. We then performed 3D hydrodynamic simulations based on these initial conditions to explore the evolution of the LB in an inhomogeneous local interstellar medium and the transport of radioisotopes to Earth. The simulations include the stellar winds from the SN progenitors and additional radioisotopes (26Al, 53Mn, and 244Pu) besides 60Fe. We find that (i) our simulations are consistent with measurements of 60Fe, in particular, a peak 2-3 Myr before present, as well as 26Al, 53Mn, and 244Pu data, (ii) stellar winds contribute to the distribution of radioisotopes and also to the dynamics of the LB, (iii) the solar system (SS) entered the LB about 4.6 Myr ago, and (iv) the measured recent influx of 60Fe can be naturally explained by turbulent radioisotopic transport. Our simulations not only support the recent hypothesis that the LB triggered star formation in the solar vicinity through its expansion, but also suggest that the second, separate 60Fe peak measured at 6-9 Myr ago was generated by the passage of the SS through a neighboring superbubble (SB), possibly the Orion-Eridanus SB, prior to its current residence in the LB.

categories: astro-ph.SR astro-ph.EP astro-ph.GA astro-ph.HE


title: Near-field Hybrid Beamforming for Terahertz-band Integrated Sensing and Communications

abstract: Terahertz (THz) band communications and integrated sensing and communications (ISAC) are two main facets of the sixth generation wireless networks. In order to compensate the severe attenuation, the THz wireless systems employ large arrays, wherein the near-field beam-squint severely degrades the beamforming accuracy. Contrary to prior works that examine only either narrowband ISAC beamforming or far-field models, we introduce an alternating optimization technique for hybrid beamforming design in near-field THz-ISAC scenario. We also propose an efficient approach to compensate near-field beam-squint via baseband beamformers. Via numerical simulations, we show that the proposed approach achieves satisfactory spectral efficiency performance while accurately estimating the near-field beamformers and mitigating the beam-squint without additional hardware components.


title: Physics-Driven ML-Based Modelling for Correcting Inverse Estimation

abstract: When deploying machine learning estimators in science and engineering (SAE) domains, it is critical to avoid failed estimations that can have disastrous consequences, e.g., in aero engine design. This work focuses on detecting and correcting failed state estimations before adopting them in SAE inverse problems, by utilizing simulations and performance metrics guided by physical laws. We suggest to flag a machine learning estimation when its physical model error exceeds a feasible threshold, and propose a novel approach, GEESE, to correct it through optimization, aiming at delivering both low error and high efficiency. The key designs of GEESE include (1) a hybrid surrogate error model to provide fast error estimations to reduce simulation cost and to enable gradient based backpropagation of error feedback, and (2) two generative models to approximate the probability distributions of the candidate states for simulating the exploitation and exploration behaviours. All three models are constructed as neural networks. GEESE is tested on three real-world SAE inverse problems and compared to a number of state-of-the-art optimization/search approaches. Results show that it fails the least number of times in terms of finding a feasible state correction, and requires physical evaluations less frequently in general.


title: Boundary Output Feedback Stabilization for a Novel Magnetizable Piezoelectric Beam Model

abstract: A magnetizable piezoelectric beam model, free at both ends, is considered. Piezoelectric materials have a strong interaction of electromagnetic and acoustic waves, whose wave propagation speeds differ substantially. The corresponding strongly-coupled PDE model describes the longitudinal vibrations and the total charge accumulation at the electrodes of the beam. It is known that the PDE model with appropriately chosen collocated state feedback controllers is known to have exponentially stable solutions. However, the collocated controller design is not always feasible since the performance of controllers may not be good enough, and moreover, a small increment of feedback controller gains can easily make the closed-loop system unstable. Therefore, a non-collocated controller and observer design is considered for the first time for this model. In particular, two state feedback controllers are designed at the right end to recover the states so that the boundary output feedback controllers can be designed as a replacement of the states with the estimate from the observers on the left end. By a carefully-constructed Lyapunov function, it is proved that the both the observer and the observer error dynamics have uniformly exponential stable solutions. This framework offers a substantial foundation for the model reductions by Finite Differences.


title: Origin of the intermediate-temperature magnetic specific heat capacity in the spin-liquid candidate Ca$_{10}$Cr$_7$O$_{28}$

abstract: We present several approximate calculations of the specific heat capacity of the model for Ca$_{10}$Cr$_7$O$_{28}$ proposed by Balz et al. [Phys. Rev. B 95, 174414 (2017)], using methods including exact diagonalization, Thermal Pure Quantum States, and high-temperature expansions. In none of these cases are we able to reproduce the magnitude of the zero-field specific heat capacity shown in the intermediate-temperature $({\sim}\,5-15\,\rm{K})$ experimental data. We discuss possible reasons for the discrepancy, and what it might tell us about the magnetic Hamiltonian for Ca$_{10}$Cr$_7$O$_{28}$.


title: On the Rotar central limit theorem for sums of a random number of independent random variables

abstract: The Rotar central limit theorem is a remarkable theorem in the non-classical version since it does not use the condition of asymptotic infinitesimality for the independent individual summands, unlike the theorems named Lindeberg's and Lindeberg-Feller's in the classical version. The Rotar central limit theorem generalizes the classical Lindeberg-Feller central limit theorem since the Rotar condition is weaker than Lindeberg's. The main aim of this paper is to introduce the Rotar central limit theorem for sums of a random number of independent (not necessarily identically distributed) random variables and the conditions for its validity. The order of approximation in this theorem is also considered in this paper.


title: A Novel Approach for Effective Multi-View Clustering with Information-Theoretic Perspective

abstract: Multi-view clustering (MVC) is a popular technique for improving clustering performance using various data sources. However, existing methods primarily focus on acquiring consistent information while often neglecting the issue of redundancy across multiple views. This study presents a new approach called Sufficient Multi-View Clustering (SUMVC) that examines the multi-view clustering framework from an information-theoretic standpoint. Our proposed method consists of two parts. Firstly, we develop a simple and reliable multi-view clustering method SCMVC (simple consistent multi-view clustering) that employs variational analysis to generate consistent information. Secondly, we propose a sufficient representation lower bound to enhance consistent information and minimise unnecessary information among views. The proposed SUMVC method offers a promising solution to the problem of multi-view clustering and provides a new perspective for analyzing multi-view data. To verify the effectiveness of our model, we conducted a theoretical analysis based on the Bayes Error Rate, and experiments on multiple multi-view datasets demonstrate the superior performance of SUMVC.


title: Supervised, semi-supervised, and unsupervised learning of the Domany-Kinzel model

abstract: The Domany Kinzel (DK) model encompasses several types of non-equilibrium phase transitions, depending on the selected parameters. We apply supervised, semi-supervised, and unsupervised learning methods to studying the phase transitions and critical behaviors of the (1 + 1)-dimensional DK model. The supervised and the semi-supervised learning methods permit the estimations of the critical points, the spatial and temporal correlation exponents, concerning labelled and unlabelled DK configurations, respectively. Furthermore, we also predict the critical points by employing principal component analysis (PCA) and autoencoder. The PCA and autoencoder can produce results in good agreement with simulated particle number density.


title: Magnetism on the thermal dynamics of 2D antiferromagnetic membranes

abstract: We developed a theoretical scheme of incorporating the magnetoelastic contribution into the thermal elastic dynamics for the thin membranes of 2D antiferromagnetic material with restricted geometry. We extended the elastic Gr\"uneisen relation into an effective version which includes the magnetic counterpart to the volume change of internal energy. Based on the specific heat and thermal conductivity from the elastic and magnetic origins we predicted the dependency of observables, such as effective Gr\"uneisen parameter, thermal expansion coefficient, and the damping factor, with respect to a wide range of temperature across the phase transition. Our model of analysis as been validated by applying to the case of FePS3 flake resonator and the theoretical predictions fits well with the reported experiment data.


title: All-electrical detection of the spin-charge conversion in nanodevices based on SrTiO3 two-dimensional electron gases

abstract: The Magnetoelectric Spin-Orbit (MESO) technology aims to bring logic into memory by combining a ferromagnet with a magnetoelectric (ME) element for information writing, and a spin-orbit (SO) element for information read-out through spin-charge conversion. Among candidate SO materials to achieve a large MESO output signal, oxide Rashba two-dimensional electron gases (2DEGs) have shown very large spin-charge conversion efficiencies, albeit mostly in spin-pumping experiments. Here, we report all-electrical spin-injection and spin-charge conversion experiments in nanoscale devices harnessing the inverse Edelstein effect of SrTiO3 2DEGs. We have designed, patterned and fabricated nanodevices in which a spin current injected from a cobalt layer into the 2DEG is converted into a charge current. We optimized the spin-charge conversion signal by applying back-gate voltages, and studied its temperature evolution. We further disentangled the inverse Edelstein contribution from spurious effects such as the planar Hall effect, the anomalous Hall effect or the anisotropic magnetoresistance. The combination of non-volatility and high energy efficiency of these devices could potentially lead to new technology paradigms for beyond-CMOS computing architectures.


title: Identification of Mixtures of Discrete Product Distributions in Near-Optimal Sample and Time Complexity

abstract: We consider the problem of identifying, from statistics, a distribution of discrete random variables $X_1,\ldots,X_n$ that is a mixture of $k$ product distributions. The best previous sample complexity for $n \in O(k)$ was $(1/\zeta)^{O(k^2 \log k)}$ (under a mild separation assumption parameterized by $\zeta$). The best known lower bound was $\exp(\Omega(k))$. It is known that $n\geq 2k-1$ is necessary and sufficient for identification. We show, for any $n\geq 2k-1$, how to achieve sample complexity and run-time complexity $(1/\zeta)^{O(k)}$. We also extend the known lower bound of $e^{\Omega(k)}$ to match our upper bound across a broad range of $\zeta$. Our results are obtained by combining (a) a classic method for robust tensor decomposition, (b) a novel way of bounding the condition number of key matrices called Hadamard extensions, by studying their action only on flattened rank-1 tensors.


title: Unsupervised Accent Adaptation Through Masked Language Model Correction Of Discrete Self-Supervised Speech Units

abstract: Self-supervised pre-trained speech models have strongly improved speech recognition, yet they are still sensitive to domain shifts and accented or atypical speech. Many of these models rely on quantisation or clustering to learn discrete acoustic units. We propose to correct the discovered discrete units for accented speech back to a standard pronunciation in an unsupervised manner. A masked language model is trained on discrete units from a standard accent and iteratively corrects an accented token sequence by masking unexpected cluster sequences and predicting their common variant. Small accent adapter blocks are inserted in the pre-trained model and fine-tuned by predicting the corrected clusters, which leads to an increased robustness of the pre-trained model towards a target accent, and this without supervision. We are able to improve a state-of-the-art HuBERT Large model on a downstream accented speech recognition task by altering the training regime with the proposed method.


title: Influence of density and viscosity on deformation, breakage, and coalescence of bubbles in turbulence

abstract: We investigate the effect of density and viscosity differences on a swarm of large and deformable bubbles dispersed in a turbulent channel flow. For a given shear Reynolds number, Re=300, and a constant bubble volume fraction, Phi=5.4%, we perform a campaign of direct numerical simulations of turbulence coupled with a phase-field method accounting for interfacial phenomena. For each simulation, we vary the Weber number (We, ratio of inertial to surface tension forces), the density ratio (r, ratio of bubble density to carrier flow density) and the viscosity ratio (e, ratio of bubble viscosity to carrier flow viscosity). Specifically, we consider two Weber numbers, We=1.50 and We=3.00, four density ratios, from r=1 down to r=0.001, and five viscosity ratios, from e=0.01 up to e=100. Our results show that density differences have a negligible effect on breakage and coalescence phenomena, while a much stronger effect is observed when changing the viscosity of the two phases. Increasing the bubble viscosity with respect to the carrier fluid viscosity damps turbulence fluctuations, makes the bubble more rigid, and strongly prevents large deformations, thus reducing the number of breakage events. Local deformations of the interface, on the contrary, depend on both density and viscosity ratios. The opposite effect is observed for increasing bubble viscosities. We report that these effects are mostly visible for larger Weber numbers, where surface forces are weaker. Finally, we characterize the flow inside the bubbles; as the bubble density is increased, we observe, as expected, an increase in the turbulent kinetic energy (TKE) inside the bubble, while as the bubble viscosity is increased, we observe a mild reduction of the TKE inside the bubble and a strong suppression of turbulence.


title: First-principles calculation of orbital Hall effect by Wannier interpolation: Role of orbital dependence of the anomalous position

abstract: The position operator in a Bloch representation acquires a gauge correction in the momentum space on top of the canonical position, which is called the anomalous position. We show that the anomalous position is generally orbital-dependent and thus plays a crucial role in the description of the intrinsic orbital Hall effect in terms of Wannier basis. We demonstrate this from the first-principles calculation of orbital Hall conductivities of transition metals by Wannier interpolation. Our results show that consistent treatment of the velocity operator by adding the additional term originating from the anomalous position predicts the orbital Hall conductivities different from those obtained by considering only the group velocity. We find the difference is crucial in several metals. For example, we predict the negative sign of the orbital Hall conductivities for elements in the groups X and XI such as Cu, Ag, Au, and Pd, for which the previous studies predicted the positive sign. Our work suggests the importance of consistently describing the spatial dependence of basis functions by first-principles methods as it is fundamentally missing in the tight-binding approximation.


title: The hidden spin-momentum locking and topological defects in unpolarized light fields

abstract: Electromagnetic waves characterized by intensity, phase, and polarization degrees of freedom are widely applied in data storage, encryption, and communications. However, these properties can be substantially affected by phase disorders and disturbances, whereas high-dimensional degrees of freedom including momentum and angular momentum of electromagnetic waves can offer new insights into their features and phenomena, for example topological characteristics and structures that are robust to these disturbances. Here, we discover and demonstrate theoretically and experimentally spin-momentum locking and topological defects in unpolarized light. The coherent spin is locked to the kinetic momentum except for a small coupling spin term, due to the simultaneous presence of transverse magnetic and electric components in unpolarized light. To cancel the coupling term, we employ a metal film acting as a polarizer to form some skyrmion-like spin textures at the metal/air interface. Using an in-house scanning optical microscopic system to image the out-of-plane spin density of the focused unpolarized vortex light, we obtained experimental results that coincide well with our theoretical predictions. The theory and technique promote the applications of topological defects in optical data storage, encryption, and decryption, and communications.


title: Linked shrinkage to improve estimation of interaction effects in regression models

abstract: We address a classical problem in statistics: adding two-way interaction terms to a regression model. As the covariate dimension increases quadratically, we develop an estimator that adapts well to this increase, while providing accurate estimates and appropriate inference. Existing strategies overcome the dimensionality problem by only allowing interactions between relevant main effects. Building on this philosophy, we implement a softer link between the two types of effects using a local shrinkage model. We empirically show that borrowing strength between the amount of shrinkage for main effects and their interactions can strongly improve estimation of the regression coefficients. Moreover, we evaluate the potential of the model for inference, which is notoriously hard for selection strategies. Large-scale cohort data are used to provide realistic illustrations and evaluations. Comparisons with other methods are provided. The evaluation of variable importance is not trivial in regression models with many interaction terms. Therefore, we derive a new analytical formula for the Shapley value, which enables rapid assessment of individual-specific variable importance scores and their uncertainties. Finally, while not targeting for prediction, we do show that our models can be very competitive to a more advanced machine learner, like random forest, even for fairly large sample sizes. The implementation of our method in RStan is fairly straightforward, allowing for adjustments to specific needs.


title: Complex and real valued solutions for fractoinal Helmholtz equation

abstract: In this paper, we are concerned with the limiting absorption principle for the fractional Helmholtz equation, By establishing the boundedness estimate for the resolvent of fractional Helmholtz operator, we obtain the nontrivial Lq(Rn) complex valued solutions for (0.1). By setting up a dual variational framework, we also obtain the real valued solutions for (0.1) via a non-vanishing principle.


title: CFT correlators and mapping class group averages

abstract: Mapping class group averages appear in the study of 3D gravity partition functions. In this paper, we work with 3D topological field theories to establish a bulk-boundary correspondence between such averages and correlators of 2D rational CFTs whose chiral mapping class group representations are irreducible and satisfy a finiteness property. We show that Ising-type modular fusion categories satisfy these properties on surfaces with or without field insertions, extending results in [Jian et al., JHEP 10 (2020) 129], and we comment on the absence of invertible global symmetries in the examples we consider.


title: A discrete model for layered growth

abstract: In this work we present a discrete model that captures the fundamental properties of additively manufactured solids in a minimal setting. The model is based on simplified kinematics and allows for the onset of incompatible deformations between discrete layers of an additively manufactured stack. Thanks to the discrete nature of the model, we obtain an averaged formulation of mechanical equilibrium for the growing stack, leading to closed-form solutions that are both analytically simple and physically transparent. In particular, we are able to explain the origin of residual stresses by the accumulation of incompatible deformations between adjacent layers. At the same time, we are able to formulate the technologically relevant inverse problem that provides the deposition protocol required to produce a desired state of internal stress in the manufactured stack. Another important aspect analyzed in the work is the role played by an ideal ``glue'' between the layers, whose presence is fundamental to prevent their sliding and whose mechanical behavior can quantitatively influence the final stress distribution in the stack. Although the model is an elementary approximation of additive manufacturing, its simplicity makes it possible to highlight how the controls exerted during deposition will have qualitative or quantitative effects on the final stress state of the stack. This understanding is crucial in shedding light on the complex mechanical behavior of additive manufactured solids.


title: Calculating the Circular Dichroism of Chiral Halide Perovskites: A Tight-Binding Approach

abstract: Chiral metal halide perovskites have emerged as promising optoelectronic materials for emission and detection of circular polarized visible light. Despite chirality being realized by adding chiral organic cations or ligands, the chiroptical activity originates from the metal halide framework. The mechanism is not well understood, as an overarching modeling framework is lacking. Capturing chirality requires going beyond electric dipole transitions, the common approximation in condensed matter calculations. We present a density functional theory (DFT) parameterized tight-binding (TB) model, which allows us to calculate optical properties including circular dichroism (CD) at low computational cost. Comparing Pb-based chiral perovskites with different organic cations and halide anions, we find that the structural helicity within the metal halide layers determines the size of the CD. Our results mark an important step in understanding the complex correlations of structural, electronic and optical properties of chiral perovskites, and provide a useful tool to predict new compounds with desired properties for novel optoelectronic applications.


title: Hierarchical Imitation Learning for Stochastic Environments

abstract: Many applications of imitation learning require the agent to generate the full distribution of behaviour observed in the training data. For example, to evaluate the safety of autonomous vehicles in simulation, accurate and diverse behaviour models of other road users are paramount. Existing methods that improve this distributional realism typically rely on hierarchical policies. These condition the policy on types such as goals or personas that give rise to multi-modal behaviour. However, such methods are often inappropriate for stochastic environments where the agent must also react to external factors: because agent types are inferred from the observed future trajectory during training, these environments require that the contributions of internal and external factors to the agent behaviour are disentangled and only internal factors, i.e., those under the agent's control, are encoded in the type. Encoding future information about external factors leads to inappropriate agent reactions during testing, when the future is unknown and types must be drawn independently from the actual future. We formalize this challenge as distribution shift in the conditional distribution of agent types under environmental stochasticity. We propose Robust Type Conditioning (RTC), which eliminates this shift with adversarial training under randomly sampled types. Experiments on two domains, including the large-scale Waymo Open Motion Dataset, show improved distributional realism while maintaining or improving task performance compared to state-of-the-art baselines.


title: A Set-Theoretic Metaphysics for Quantum Mechanics

abstract: Set theory brought revolution to philosophy of mathematics and it can bring revolution to philosophy of physics too. All that stands in the way is the intuition that sets of physical objects cannot themselves be physical objects, which appears to depend on the ubiquitous assumption that it is possible for there to exist numerically distinct observers in qualitatively identical mental states. Overturning that assumption opens the way to construing an object in superposition in an observers environment as a set of objects in definite states. The components of the superposition are subsets for which all the elements are in the same definite state. So an environmental z-spin-up electron becomes a set of elemental electrons each of which has definite spin for one orientation but lacks indefinite spin for other orientations. The environmental z-spin-up electron has subsets of elemental electrons for every orientation but it is only the subset with spins on the z-axis for which all the elements of the subset have the same value, namely spin-up. The subset of elemental electrons with spins on the x-axis has subsets of spin-up and spin-down elemental electrons of equal measure. Observers only detect the spins of environmental electrons, not those of elemental electrons.


title: Some Parseval-Goldstein Type Theorems For Generalized Integral Transforms

abstract: In this work, we establish some Parseval-Goldstein type identities and relations that include various new generalized integral transforms such as $\mathcal{L}_{\alpha,\mu}$-transform and generalized Stieltjes transform. In addition, we evaluated improper integrals of some fundamental and special functions using our results.


title: Multiple evolutionary pressures shape identical consonant avoidance in the world's languages

abstract: Languages disfavor word forms containing sequences of similar or identical consonants, due to the biomechanical and cognitive difficulties posed by patterns of this sort. However, the specific evolutionary processes responsible for this phenomenon are not fully understood. Words containing sequences of identical consonants may be more likely to arise than those without; processes of word form mutation may be more likely to remove than create sequences of identical consonants in word forms; finally, words containing identical consonants may die out more frequently than those without. Phylogenetic analyses of the evolution of homologous word forms indicate that words with identical consonants arise less frequently than those without, and processes which mutate word forms are more likely to remove sequences of identical consonants than introduce them. However, words with identical consonants do not die out more frequently than those without. Further analyses reveal that forms with identical consonants are replaced in basic meaning functions more frequently than words without. Taken together, results suggest that the under representation of sequences of identical consonants is overwhelmingly a byproduct of constraints on word form coinage, though processes related to word usage also serve to ensure that such patterns are infrequent in more salient vocabulary items. These findings clarify previously unknown aspects of processes of lexical evolution and competition that take place during language change, optimizing communicative systems.


title: Pontryagin maximum principle for fractional delay differential equations and controlled weakly singular Volterra delay integral equations

abstract: In this article, we explore two distinct issues. Initially, we examine the utilization of the Pontriagin maximum principle in relation to fractional delay differential equations. Additionally, we discuss the optimal approach for solving the control problem for equation (1.1) and its associated payoff function (1.2). Following that, we investigate the application of the Pontryagin Maximum principle in the context of Volterra delay integral equations (1.3). We strengthen the results of our study by providing illustrative examples at the end of the article.


title: Carrier Aggregation Enabled Integrated Sensing and Communication Signal Design and Processing

abstract: The future mobile communication systems will support intelligent applications such as Internet of Vehicles (IoV) and Extended Reality (XR). Integrated Sensing and Communication (ISAC) is regarded as one of the key technologies satisfying the high data rate communication and highly accurate sensing for these intelligent applications in future mobile communication systems. With the explosive growth of wireless devices and services, the shortage of spectrum resources leads to the fragmentation of available frequency bands for ISAC systems, which degrades sensing performance. Facing the above challenges, this paper proposes a Carrier Aggregation (CA)-based ISAC signal aggregating high and low-frequency bands to improve the sensing performance, where the CA-based ISAC signal can use four different aggregated pilot structures for sensing. Then, an ISAC signal processing algorithm with Compressed Sensing (CS) is proposed and the Fast Iterative Shrinkage-Thresholding Algorithm (FISTA) is used to solve the reconfiguration convex optimization problem. Finally, the Cram'er-Rao Lower Bounds (CRLBs) are derived for the CA-based ISAC signal. Simulation results show that CA efficiently improves the accuracy of range and velocity estimation.


title: Discounting and Impatience

abstract: Understanding how people actually trade off time for money is perhaps the major question in the field of time discounting. There is indeed a vast body of work devoted to explore the underlying mechanisms of the individual decision making process in an intertemporal context. This paper presents a family of new discount functions whereof we derive a formal axiomatization. Applying the framework proposed by Bleichrodt, Rohde and Wakker, we further extend their formulation of CADI and CRDI functions, making discounting a function not only of time delay but, simultaneously, also of time distortion. Our main purpose is, in practice, to provide a tractable setting within which individual intertemporal preferences can be outlined. Furthermore, we apply our models to study the relation between individual time preferences and personality traits. For the CADI-CADI, results show that the habit of smoking is heavily related with both impatience and time perception. Within the Big-Five framework, conscientiousness, agreeableness and openness are positively related with patience (low r, initial discount rate).


title: Variational Inference for Scalable 3D Object-centric Learning

abstract: We tackle the task of scalable unsupervised object-centric representation learning on 3D scenes. Existing approaches to object-centric representation learning show limitations in generalizing to larger scenes as their learning processes rely on a fixed global coordinate system. In contrast, we propose to learn view-invariant 3D object representations in localized object coordinate systems. To this end, we estimate the object pose and appearance representation separately and explicitly map object representations across views while maintaining object identities. We adopt an amortized variational inference pipeline that can process sequential input and scalably update object latent distributions online. To handle large-scale scenes with a varying number of objects, we further introduce a Cognitive Map that allows the registration and query of objects on a per-scene global map to achieve scalable representation learning. We explore the object-centric neural radiance field (NeRF) as our 3D scene representation, which is jointly modeled within our unsupervised object-centric learning framework. Experimental results on synthetic and real datasets show that our proposed method can infer and maintain object-centric representations of 3D scenes and outperforms previous models.


title: A Truly Concurrent Semantics for Reversible CCS

abstract: Reversible CCS (RCCS) is a well-established, formal model for reversible communicating systems, which has been built on top of the classical Calculus of Communicating Systems (CCS). In its original formulation, each CCS process is equipped with a memory that records its performed actions, which is then used to reverse computations. More recently, abstract models for RCCS have been proposed in the literature, basically, by directly associating RCCS processes with (reversible versions of) event structures. In this paper we propose a different abstract model: starting from one of the well-known encoding of CCS into Petri nets we apply a recently proposed approach to incorporate causally-consistent reversibility to Petri nets, obtaining as result the (reversible) net counterpart of every RCCS term.


title: Beam Squint Assisted User Localization in Near-Field Integrated Sensing and Communications Systems

abstract: Integrated sensing and communication (ISAC) has been regarded as a key technology for 6G wireless communications, in which large-scale multiple input and multiple output (MIMO) array with higher and wider frequency bands will be adopted. However, recent studies show that the beam squint phenomenon can not be ignored in wideband MIMO system, which generally deteriorates the communications performance. In this paper, we find that with the aid of true-time-delay lines (TTDs), the range and trajectory of the beam squint in near-field communications systems can be freely controlled, and hence it is possible to reversely utilize the beam squint for user localization. We derive the trajectory equation for near-field beam squint points and design a way to control such trajectory. With the proposed design, beamforming from different subcarriers would purposely point to different angles and different distances, such that users from different positions would receive the maximum power at different subcarriers. Hence, one can simply localize multiple users from the beam squint effect in frequency domain, and thus reduce the beam sweeping overhead as compared to the conventional time domain beam search based approach. Furthermore, we utilize the phase difference of the maximum power subcarriers received by the user at different frequencies in several times beam sweeping to obtain a more accurate distance estimation result, ultimately realizing high accuracy and low beam sweeping overhead user localization. Simulation results demonstrate the effectiveness of the proposed schemes.


title: The Academic Midas Touch: An Unconventional Scientometric for Evaluating Academic Excellence

abstract: The recognition of academic excellence is fundamental to the scientific and academic endeavor. In particular, academic scientometrics that are able to computationally capture academic excellence are of great interest. In this work, we propose and investigate an unconventional scientometric termed the Academic Midas Touch (AMT) that refers to a researcher's tendency to produce outstanding publications (i.e., golden publications). Using an extensive dataset of mathematicians, both award-winning and otherwise, we show that the AMT scientometric is a valid and arguably valuable scientometric for the distinction of academic excellence.


title: High precision measurement of the $^{99}$Tc $\beta$ spectrum

abstract: Highly precise measurements of the $^{99}$Tc beta spectrum were performed in two laboratories using metallic magnetic calorimeters. Independent sample preparations, evaluation methods and analyses yield consistent results and the spectrum could be measured down to less than 1 keV. Consistent beta spectra were also obtained via cross-evaluations of the experimental data sets. An additional independent measurement with silicon detectors in a $4\pi$ configuration confirms the spectrum shape above 25 keV. Detailed theoretical calculations were performed including nuclear structure and atomic effects. The spectrum shape was found to be sensitive to the effective value of the axial-vector coupling constant. Combining measurements and predictions, we extracted $Q_{\beta}=$295.82(16) keV and $g_A^{\text{eff}} = 1.530 (83)$. Furthermore, we derived the mean energy of the beta spectrum $\overline{E}_{\beta}$=98.45(20) keV, $\log f = -0.47660 (22)$ and $\log ft = 12.3478 (23)$.


title: ANSYS HFSS as a new numerical tool to study wave propagation inside anisotropic magnetized plasmas in the Ion Cylotron Range of Frequencies

abstract: The paper demonstrates the possibility to use ANSYS HFSS as a versatile simulating tool for antennas facing inhomogeneous anisotropic magnetized plasmas in the Ion Cyclotron Range of Frequencies (ICRF). The methodology used throughout the paper is first illustrated with a uniform plasma case. We then extend this method to 1D plasma density profiles where we perform a first benchmark against the ANTITER II code. The possibility to include more complex phenomena relevant to the ICRF field in future works like the lower hybrid resonance, the edge propagation of slow waves, sheaths and ponderomotive forces is also discussed. We finally present a 3D case for WEST and compare the radiation resistance calculated by the code to the experimental data. The main result of this paper - the implementation of a cold plasma medium in HFSS - is general and we hope it will also benefit to research fields besides controlled fusion.


title: Virtuoso: High Resource Utilization and {\mu}s-scale Performance Isolation in a Shared Virtual Machine TCP Network Stack

abstract: Virtualization improves resource efficiency and ensures security and performance isolation for cloud applications. Today, operators use a layered architecture with separate network stack instances in each VM and container connected to a virtual switch. Decoupling through layering reduces complexity, but induces performance and resource overheads at odds with increasing demands for network bandwidth, connection scalability, and low latency. We present Virtuoso, a new software network stack for VMs and containers. Virtuoso re-organizes the network stack to maximize CPU utilization, enforce isolation, and minimize processing overheads. We maximize utilization by running one elastically shared network stack instance on dedicated cores; we enforce isolation by performing central and fine-grained per-packet resource accounting and scheduling; we reduce overheads by building a single-layer data path with a one-shot fast-path incorporating all processing from the TCP transport layer through network virtualization and virtual switching. Virtuoso improves resource efficiency by up to 82%, latencies by up to 58% compared to other virtualized network stacks without sacrificing isolation, and keeps processing overhead within 6.7% of unvirtualized stacks.


title: Goodness-of-fit via Count Statistics in Dense Random Simplicial Complexes

abstract: A key object of study in stochastic topology is a random simplicial complex. In this work we study a multi-parameter random simplicial complex model, where the probability of including a $k$-simplex, given the lower dimensional structure, is fixed. This leads to a conditionally independent probabilistic structure. This model includes the Erd\H{o}s-R\'enyi random graph, the random clique complex as well as the Linial-Meshulam complex as special cases. The model is studied from both probabilistic and statistical points of view. We prove multivariate central limit theorems with bounds and known limiting covariance structure for the subcomplex counts and the number of critical simplices under a lexicographical acyclic partial matching. We use the CLTs to develop a goodness-of-fit test for this random model and evaluate its empirical performance. In order for the test to be applicable in practice, we also prove that the MLE estimators are asymptotically unbiased, consistent, uncorrelated and normally distributed.


title: C$^*$-algebras of Fell bundles over \'etale groupoids

abstract: We describe a construction for the full C$^*$-algebra of a possibly unsaturated Fell bundle over a possibly non-Hausdorff locally compact \'etale groupoid without appealing to Renault's disintegration theorem. This construction generalises the standard construction given by Muhly and Williams.


title: On a class of strong valid inequalities for the connected matching polytope

abstract: We identify a family of $O(|E(G)|^2)$ nontrivial facets of the connected matching polytope of a graph $G$, that is, the convex hull of incidence vectors of matchings in $G$ whose covered vertices induce a connected subgraph. Accompanying software to further inspect the polytope of an input graph is available.


title: Multiple emission lines of H$\alpha$ emitters at $z \sim 2.3$ from the broad and medium-band photometry in the ZFOURGE Survey

abstract: We present a multiple emission lines study of $\sim$1300 H$\alpha$ emitters (HAEs) at $z \sim 2.3$ in the ZFOURGE survey. In contrast to the traditional spectroscopic method, our sample is selected based on the flux excess in the ZFOURGE-$K_s$ broad-band data relative to the best-fit stellar continuum. Using the same method, we also extract the strong diagnostic emission lines for these individual HAEs: [OIII]$\lambda\lambda4959,5007$, [OII]$\lambda\lambda3726,3729$. Our measurements exhibit good consistency with those obtained from spectroscopic surveys. We investigate the relationship between the equivalent widths (EWs) of these emission lines and various galaxy properties, including stellar mass, stellar age, star formation rate (SFR), specific SFR (sSFR), ionization states (O32). We have identified a discrepancy between between HAEs at $z\sim2.3$ and typical local star-forming galaxy observed in the SDSS, suggesting the evolution of lower gas-phase metallicity ($Z$) and higher ionization parameters ($U$) with redshift. Notably, we have observed a significant number of low-mass HAEs exhibiting exceptionally high $EW_{\mathrm{[OIII]}}$. Their galaxy properties are comparable to those of extreme objects, such as extreme O3 emitters (O3Es) and Ly$\alpha$ emitters (LAEs) at $z\simeq2-3$. Considering that these characteristics may indicate potential strong Lyman continuum (LyC) leakage, higher redshift anaglogs of the low-mass HAEs could be significant contributors to the cosmic reionization. Further investigations on this particular population are required to gain a clearer understanding of galaxy evolution and cosmic reionization.


title: LORD: Low Rank Decomposition Of Monolingual Code LLMs For One-Shot Compression

abstract: Low Rank Decomposition of matrix - splitting a large matrix into a product of two smaller matrix offers a means for compression that reduces the parameters of a model without sparsification, and hence delivering more speedup on modern hardware. Moreover, unlike quantization, the compressed linear layers remain fully differentiable and all the parameters trainable, while being able to leverage the existing highly efficient kernels over floating point matrices. We study the potential to compress Large Language Models (LLMs) for monolingual Code generation via Low Rank Decomposition (LoRD) and observe that ranks for the linear layers in these models can be reduced by upto 39.58% with less than 1% increase in perplexity. We then use Low Rank Decomposition (LoRD) to compress StarCoder 16B to 13.2B parameter with no drop and to 12.3B with minimal drop in HumanEval Pass@1 score, in less than 10 minutes on a single A100. The compressed models speeds up inference by up to 22.35% with just a single line of change in code over huggingface's implementation with pytorch backend. Low Rank Decomposition (LoRD) models remain compatible with state of the art near-lossless quantization method such as SpQR, which allows leveraging further compression gains of quantization. Lastly, QLoRA over Low Rank Decomposition (LoRD) model further reduces memory requirements by as much as 21.2% over vanilla QLoRA while offering similar gains from parameter efficient fine tuning. Our work shows Low Rank Decomposition (LoRD) as a promising new paradigm for LLM compression.


title: Hashing Neural Video Decomposition with Multiplicative Residuals in Space-Time

abstract: We present a video decomposition method that facilitates layer-based editing of videos with spatiotemporally varying lighting and motion effects. Our neural model decomposes an input video into multiple layered representations, each comprising a 2D texture map, a mask for the original video, and a multiplicative residual characterizing the spatiotemporal variations in lighting conditions. A single edit on the texture maps can be propagated to the corresponding locations in the entire video frames while preserving other contents' consistencies. Our method efficiently learns the layer-based neural representations of a 1080p video in 25s per frame via coordinate hashing and allows real-time rendering of the edited result at 71 fps on a single GPU. Qualitatively, we run our method on various videos to show its effectiveness in generating high-quality editing effects. Quantitatively, we propose to adopt feature-tracking evaluation metrics for objectively assessing the consistency of video editing. Project page: https://lightbulb12294.github.io/hashing-nvd/


title: Natural orbitals and their occupation numbers for free anyons in the magnetic gauge

abstract: We investigate the properties of natural orbitals and their occupation numbers of the ground state of two non-interacting anyons characterised by the fractional statistics parameter $\alpha$ and confined in a harmonic trap. We work in the boson magnetic gauge where the anyons are modelled as composite bosons with magnetic flux quanta attached to their positions. We derive an asymptotic form of the weakly occupied natural orbitals, and show that their corresponding (ordered descendingly) occupation numbers decay according to the power law $n^{-(4+2\alpha)}$, where $n$ is the index of the natural orbital. We find remarkable numerical agreement of the theory with the natural orbitals and their occupation numbers computed from the spectral decomposition of the system's wavefunction. We explain that the same results apply to the fermion magnetic gauge.


title: Early proofs of Hilbert's Nullstellensatz

abstract: By Rabinowitsch' trick Hilbert's Nullstellensatz follows from the weak Nullstellensatz (Rabinowitsch 1929). The weak version can be shown with elimination theory. Hilbert's original proof is also based on successive elimination. Lasker obtained a new proof using primary decomposition. We describe these early proofs and place them in the development of commutative algebra up to the appearance of van der Waerden's Moderne Algebra. We also explain Hentzelt's Nullstellensatz.


title: Optimum control strategies for maximum thrust production in underwater undulatory swimming

abstract: Fishes, cetaceans, and many other aquatic vertebrates undulate their bodies to propel themselves through water. Swimming requires an intricate interplay between sensing the environment, making decisions, controlling internal dynamics, and moving the body in interaction with the external medium. Within this sequence of actions initiating locomotion, biological and physical laws manifest complex and nonlinear effects, which does not prevent natural swimmers to demonstrate efficient movement. This raises two complementary questions: how to model this intricacy and how to abstract it for practical swimming. In the context of robotics, the second question is of paramount importance to build efficient artificial swimmers driven by digital signals and mechanics. In this study, we tackle these two questions by leveraging a biomimetic robotic swimmer as a platform for investigating optimal control strategies for thrust generation. Through a combination of machine learning techniques and intuitive models, we identify a control signal that maximizes thrust production. Optimum tail-beat frequency and amplitude result from the subtle interplay between the swimmer's internal dynamics and its interaction with the surrounding fluid. We then propose a practical implementation for autonomous robotic swimmers that requires no prior knowledge of systems or equations. Direct fluid-structure simulations confirms the effectiveness and reliability of the proposed approach. Hence, our findings bridge fluid dynamics, robotics, and biology, providing valuable insights into the physics of aquatic locomotion


title: Magneto-optical trap performance for high-bandwidth applications

abstract: We study the dynamics of a magneto-optical trap (MOT) operating at high-bandwidth. We find the absolute importance of high recapture efficiency between cycles to maintain a practical atom number. We develop a simple model accounting for MOT trapping forces and pressure induced collisions and validate with experimental data using $\mathrm{{}^{87}Rb}$. This is then applied to quantum sensing predicting a shot noise limited sensitivity of $\mathrm{10^{-7}g/\sqrt{Hz}}$ for a gravimeter at 100 Hz operation. The results are useful for understanding MOT operation at high-bandwidth, particularly in the context of developing mobile high-bandwidth quantum inertial sensors targeting dynamic environments and navigation applications.


title: TomOpt: Differential optimisation for task- and constraint-aware design of particle detectors in the context of muon tomography

abstract: We describe a software package, TomOpt, developed to optimise the geometrical layout and specifications of detectors designed for tomography by scattering of cosmic-ray muons. The software exploits differentiable programming for the modeling of muon interactions with detectors and scanned volumes, the inference of volume properties, and the optimisation cycle performing the loss minimisation. In doing so, we provide the first demonstration of end-to-end-differentiable and inference-aware optimisation of particle physics instruments. We study the performance of the software on a relevant benchmark scenarios and discuss its potential applications.


title: An Upper-Bound on the Decoding Failure Probability of the LRPC Decoder

abstract: Low Rank Parity Check (LRPC) codes form a class of rank-metric error-correcting codes that was purposely introduced to design public-key encryption schemes. An LRPC code is defined from a parity check matrix whose entries belong to a relatively low dimensional vector subspace of a large finite field. This particular algebraic feature can then be exploited to correct with high probability rank errors when the parameters are appropriately chosen. In this paper, we present theoretical upper-bounds on the probability that the LRPC decoding algorithm fails.