title: Causal Graph in Language Model Rediscovers Cortical Hierarchy in Human Narrative Processing

abstract: Understanding how humans process natural language has long been a vital research direction. The field of natural language processing (NLP) has recently experienced a surge in the development of powerful language models. These models have proven to be invaluable tools for studying another complex system known to process human language: the brain. Previous studies have demonstrated that the features of language models can be mapped to fMRI brain activity. This raises the question: is there a commonality between information processing in language models and the human brain? To estimate information flow patterns in a language model, we examined the causal relationships between different layers. Drawing inspiration from the workspace framework for consciousness, we hypothesized that features integrating more information would more accurately predict higher hierarchical brain activity. To validate this hypothesis, we classified language model features into two categories based on causal network measures: 'low in-degree' and 'high in-degree'. We subsequently compared the brain prediction accuracy maps for these two groups. Our results reveal that the difference in prediction accuracy follows a hierarchical pattern, consistent with the cortical hierarchy map revealed by activity time constants. This finding suggests a parallel between how language models and the human brain process linguistic information.


title: Improving Continuous-variable Quantum Channels with Unitary Averaging

abstract: A significant hurdle for quantum information and processing using bosonic systems is stochastic phase errors which occur as the photons propagate through a channel. These errors will reduce the purity of states passing through the channel and so reducing the channels capacity. We present a scheme of passive linear optical unitary averaging for protecting unknown Gaussian states transmitted through an optical channel. The scheme reduces the effect of phase noise on purity, squeezing and entanglement, thereby enhancing the channel via probabilistic error correcting protocol. The scheme is robust to loss and typically succeeds with high probability. We provide both numerical simulations and analytical approximations tailored for relevant parameters with the improvement of practical and current technology. We also show the asymptotic nature of the protocol, highlighting both current and future relevance.


title: Task Scheduling Optimization from a Tensor Network Perspective

abstract: We present a novel method for task optimization in industrial plants using quantum-inspired tensor network technology. This method allows us to obtain the best possible combination of tasks on a set of machines with a set of constraints without having to evaluate all possible combinations. We simulate a quantum system with all possible combinations, perform an imaginary time evolution and a series of projections to satisfy the constraints. We improve its scalability by means of a compression method, an iterative algorithm, and a genetic algorithm, and show the results obtained on simulated cases.


title: A model-independent measurement of the CKM angle $\gamma$ in partially reconstructed $B^{\pm} \to D^{*} h^{\pm}$ decays with $D \to K_{S}^{0} h^{+}h^{-}$ $(h=\pi, K)$

abstract: A measurement of $C\!P$-violating observables in $B^{\pm} \to D^{*} K^{\pm}$ and $B^{\pm} \to D^{*} \pi^{\pm}$ decays is made where the photon or neutral pion from the $D^{*} \to D\gamma$ or $D^{*} \to D\pi^{0}$ decay is not reconstructed. The $D$ meson is reconstructed in the self-conjugate decay modes, $D \to K_{S}^{0} \pi^{+} \pi^{-}$ or $D \to K_{S}^{0} K^{+} K^{-}$. The distribution of signal yields in the $D$ decay phase space is analysed in a model-independent way. The measurement uses a data sample collected in proton-proton collisions at centre-of-mass energies of 7, 8, and 13 TeV, corresponding to a total integrated luminosity of approximately 9 fb$^{-1}$. The $B^{\pm} \to D^{*} K^{\pm}$ and $B^{\pm} \to D^{*} \pi^{\pm}$ $C\!P$-violating observables are interpreted in terms of hadronic parameters and the CKM angle $\gamma$, resulting in a measurement of $\gamma = (92^{+21}_{-17})^{\circ}$. The total uncertainty includes the statistical and systematic uncertainties, and the uncertainty due to external strong-phase inputs.


title: Lattices properties of acyclic alternating pipe dreams

abstract: This paper proves some conjectures raised by N. Bergeron, N. Cartier, C. Ceballos, and V. Pilaud about acyclic facets of subword complexes of type A Coxeter groups. We use a representation of subword complex facets extending the pipe dreams defined N. Bergeron and S. Billey and prove that the strongly acyclic facets realize a lattice quotient of a weak order interval. We also give a sufficient condition so that all acyclic facets are strongly acyclic.


title: Sinhala-English Word Embedding Alignment: Introducing Datasets and Benchmark for a Low Resource Language

abstract: Since their inception, embeddings have become a primary ingredient in many flavours of Natural Language Processing (NLP) tasks supplanting earlier types of representation. Even though multilingual embeddings have been used for the increasing number of multilingual tasks, due to the scarcity of parallel training data, low-resource languages such as Sinhala, tend to focus more on monolingual embeddings. Then when it comes to the aforementioned multi-lingual tasks, it is challenging to utilize these monolingual embeddings given that even if the embedding spaces have a similar geometric arrangement due to an identical training process, the embeddings of the languages considered are not aligned. This is solved by the embedding alignment task. Even in this, high-resource language pairs are in the limelight while low-resource languages such as Sinhala which is in dire need of help seem to have fallen by the wayside. In this paper, we try to align Sinhala and English word embedding spaces based on available alignment techniques and introduce a benchmark for Sinhala language embedding alignment. In addition to that, to facilitate the supervised alignment, as an intermediate task, we also introduce Sinhala-English alignment datasets. These datasets serve as our anchor datasets for supervised word embedding alignment. Even though we do not obtain results comparable to the high-resource languages such as French, German, or Chinese, we believe our work lays the groundwork for more specialized alignment between English and Sinhala embeddings.


title: DSD-DA: Distillation-based Source Debiasing for Domain Adaptive Object Detection

abstract: Though feature-alignment based Domain Adaptive Object Detection (DAOD) methods have achieved remarkable progress, they ignore the source bias issue, i.e., the detector tends to acquire more source-specific knowledge, impeding its generalization capabilities in the target domain. Furthermore, these methods face a more formidable challenge in achieving consistent classification and localization in the target domain compared to the source domain. To overcome these challenges, we propose a novel Distillation-based Source Debiasing (DSD) framework for DAOD, which can distill domain-agnostic knowledge from a pre-trained teacher model, improving the detector's performance on both domains. In addition, we design a Target-Relevant Object Localization Network (TROLN), which can mine target-related localization information from source and target-style mixed data. Accordingly, we present a Domain-aware Consistency Enhancing (DCE) strategy, in which these information are formulated into a new localization representation to further refine classification scores in the testing stage, achieving a harmonization between classification and localization. Extensive experiments have been conducted to manifest the effectiveness of this method, which consistently improves the strong baseline by large margins, outperforming existing alignment-based works.


title: Simultaneous Synthesis and Verification of Neural Control Barrier Functions through Branch-and-Bound Verification-in-the-loop Training

abstract: Control Barrier Functions (CBFs) that provide formal safety guarantees have been widely used for safety-critical systems. However, it is non-trivial to design a CBF. Utilizing neural networks as CBFs has shown great success, but it necessitates their certification as CBFs. In this work, we leverage bound propagation techniques and the Branch-and-Bound scheme to efficiently verify that a neural network satisfies the conditions to be a CBF over the continuous state space. To accelerate training, we further present a framework that embeds the verification scheme into the training loop to synthesize and verify a neural CBF simultaneously. In particular, we employ the verification scheme to identify partitions of the state space that are not guaranteed to satisfy the CBF conditions and expand the training dataset by incorporating additional data from these partitions. The neural network is then optimized using the augmented dataset to meet the CBF conditions. We show that for a non-linear control-affine system, our framework can efficiently certify a neural network as a CBF and render a larger safe set than state-of-the-art neural CBF works. We further employ our learned neural CBF to derive a safe controller to illustrate the practical use of our framework.


title: Semi-Automation of Meta-Theoretic Proofs in Beluga

abstract: We present a sound and complete focusing calculus for the core of the logic behind the proof assistant Beluga as well as an overview of its implementation as a tactic in Beluga's interactive proof environment Harpoon. The focusing calculus is designed to construct uniform proofs over contextual LF and its meta-logic in Beluga: a dependently-typed first-order logic with recursive definitions. The implemented tactic is intended to complete straightforward sub-cases in proofs allowing users to focus only on the interesting aspects of their proofs, leaving tedious simple cases to Beluga's theorem prover. We demonstrate the effectiveness of our work by using the tactic to simplify proving weak-head normalization for the simply-typed lambda-calculus.


title: Parallel Verification of Natural Deduction Proof Graphs

abstract: Graph-based interactive theorem provers offer a visual representation of proofs, explicitly representing the dependencies and inferences between each of the proof steps in a graph or hypergraph format. The number and complexity of these dependency links can determine how long it takes to verify the validity of the entire proof. Towards this end, we present a set of parallel algorithms for the formal verification of graph-based natural-deduction (ND) style proofs. We introduce a definition of layering that captures dependencies between the proof steps (nodes). Nodes in each layer can then be verified in parallel as long as prior layers have been verified. To evaluate the performance of our algorithms on proof graphs, we propose a framework for finding the performance bounds and patterns using directed acyclic network topologies (DANTs). This framework allows us to create concrete instances of DANTs for empirical evaluation of our algorithms. With this, we compare our set of parallel algorithms against a serial implementation with two experiments: one scaling both the problem size and the other scaling the number of threads. Our findings show that parallelization results in improved verification performance for certain DANT instances. We also show that our algorithms scale for certain DANT instances with respect to the number of threads.


title: Retrieving positions of closely packed sub-wavelength nanoparticles from their diffraction patterns

abstract: Distinguishing two objects or point sources located closer than the Rayleigh distance is impossible in conventional microscopy. Understandably, the task becomes increasingly harder with a growing number of particles placed in close proximity. It has been recently demonstrated that subwavelength nanoparticles in closely packed clusters can be counted by AI-enabled analysis of the diffraction patterns of coherent light scattered by the cluster. Here we show that deep learning analysis can determine the actual position of the nanoparticle in the cluster of subwavelength particles from a sing-shot diffraction pattern even if they are separated by distances below the Rayleigh resolution limit of a conventional microscope.


title: Convex body domination for a class of multi-scale operators

abstract: The technique of sparse domination, i.e., dominating operators with sums of averages taken over sparsely distributed cubes, has seen rapid development recently within the realms of harmonic analysis. A useful extension of sparse domination called convex body domination allows one to estimate operators in matrix-weighted spaces. In this paper, we extend recent sparse domination results for a class of multi-scale operators due to Beltran, Roos and Seeger to the convex body setting and prove that this implies quantitative matrix-weighted norm bounds for these operators and their commutators.


title: MIFA: Metadata, Incentives, Formats, and Accessibility guidelines to improve the reuse of AI datasets for bioimage analysis

abstract: Artificial Intelligence methods are powerful tools for biological image analysis and processing. High-quality annotated images are key to training and developing new methods, but access to such data is often hindered by the lack of standards for sharing datasets. We brought together community experts in a workshop to develop guidelines to improve the reuse of bioimages and annotations for AI applications. These include standards on data formats, metadata, data presentation and sharing, and incentives to generate new datasets. We are positive that the MIFA (Metadata, Incentives, Formats, and Accessibility) recommendations will accelerate the development of AI tools for bioimage analysis by facilitating access to high quality training data.


title: The influence of Gaussian pinning on the melting scenario of a two-dimensional soft-disk system: First-Order versus Continuous Transition

abstract: Two-dimensional systems are realized experimentally as thin layers on a substrate. The substrate can have some imperfections (defects of the crystalline structure, chemical impurities, etc.), which demonstrate stronger interaction with the particles of the two-dimensional layer than the rest of the system. Such randomly distributed centers of strong interactions are called "pinning centers". The presence of random pinning can substantially change the behavior of the system. It not only shifts the melting point of the system, but can also change the melting scenario itself. In the present paper the influence of Gaussian pinning on the melting scenario of a two-dimensional system of soft disks is studied by means of molecular dynamics simulation. We randomly introduce into the system of soft disks a set of "pinning centers" which attract the particles via the Gauss potential. We observe that increasing the depth of a Gaussian well leads to a change in the melting scenario of the system. The results demonstrate that simple kind of quenched disorder can significantly affect the melting scenario of two-dimensional systems, offering the possibility of its introduction in complex experiments and studying its influence on the self-assembly and phase diagram of two-dimensional systems in rotating external fields.


title: Some functionals for random walks and critical branching processes in extreme random environment

abstract: Let $\left\{ S_{n},n\geq 0\right\} $ be a random walk whose increment distribution belongs without centering to the domain of attraction of an $% \alpha $-stable law, i.e., there are some scaling constants $a_{n}$ such that the sequence $S_{n}/a_{n},n=1,2,...,$ weakly converges, as $% n\rightarrow \infty $ to a random variable having an $\alpha $-stable distribution. Let $S_{0}=0,$% \begin{equation*} L_{n}:=\min \left( S_{1},...,S_{n}\right) ,\tau _{n}:=\min \left\{ 0\leq k\leq n:S_{k}=\min (0,L_{n})\right\} . \end{equation*}% Assuming that $S_{n}\leq h(n),$ where $h(n)$ is $o(a_{n})$ and $% \lim_{n\rightarrow \infty }h(n)\in \lbrack -\infty ,+\infty ]$ exists we prove several limit theorems describing the asymptotic behavior of the functionals \begin{equation*} \mathbf{E}\left[ e^{S_{\tau _{n}}};S_{n}\leq h(n)\right] \end{equation*}% as $n\rightarrow \infty $. The obtained results are applied for studying the survival probability of a critical branching process evolving in an extremely unfavorable random environment. Key words: random walk, branching processes, random environment, survival probability, unfavorable environment


title: Parisi PDE and convexity for vector spins

abstract: We consider mean-field vector spin glasses with self-overlap correction. The limit of free energy is known to be the Parisi formula, which is an infimum over matrix-valued paths. We decompose such a path into a Lipschitz matrix-valued path and the quantile function of a one-dimensional probability measure. For such a pair, we associate a Parisi PDE generalized for vector spins. Under mild conditions, we rewrite the Parisi formula in terms of solutions of the PDE. Moreover, for each fixed Lipschitz path, the Parisi functional is strictly convex over probability measures.


title: Designing and Evaluating an Adaptive Virtual Reality System using EEG Frequencies to Balance Internal and External Attention States

abstract: Virtual reality finds various applications in productivity, entertainment, and training scenarios requiring working memory and attentional resources. Working memory relies on prioritizing relevant information and suppressing irrelevant information through internal attention, which is fundamental for successful task performance and training. Today, virtual reality systems do not account for the impact of working memory loads resulting in over or under-stimulation. In this work, we designed an adaptive system based on EEG correlates of external and internal attention to support working memory task performance. Here, participants engaged in a visual working memory N-Back task, and we adapted the visual complexity of distracting surrounding elements. Our study first demonstrated the feasibility of EEG frontal theta and parietal alpha frequency bands for dynamic visual complexity adjustments. Second, our adaptive system showed improved task performance and diminished perceived workload compared to a reverse adaptation. Our results show the effectiveness of the proposed adaptive system, allowing for the optimization of distracting elements in high-demanding conditions. Adaptive systems based on alpha and theta frequency bands allow for the regulation of attentional and executive resources to keep users engaged in a task without resulting in cognitive overload.


title: DeepClean: Machine Unlearning on the Cheap by Resetting Privacy Sensitive Weights using the Fisher Diagonal

abstract: Machine learning models trained on sensitive or private data can inadvertently memorize and leak that information. Machine unlearning seeks to retroactively remove such details from model weights to protect privacy. We contribute a lightweight unlearning algorithm that leverages the Fisher Information Matrix (FIM) for selective forgetting. Prior work in this area requires full retraining or large matrix inversions, which are computationally expensive. Our key insight is that the diagonal elements of the FIM, which measure the sensitivity of log-likelihood to changes in weights, contain sufficient information for effective forgetting. Specifically, we compute the FIM diagonal over two subsets -- the data to retain and forget -- for all trainable weights. This diagonal representation approximates the complete FIM while dramatically reducing computation. We then use it to selectively update weights to maximize forgetting of the sensitive subset while minimizing impact on the retained subset. Experiments show that our algorithm can successfully forget any randomly selected subsets of training data across neural network architectures. By leveraging the FIM diagonal, our approach provides an interpretable, lightweight, and efficient solution for machine unlearning with practical privacy benefits.


title: Bridging the $ \mu $Hz gap in the gravitational-wave landscape: unveiling dark baryons

abstract: We study gravitational waves (GWs) with frequencies in the $\mu$Hz range, which arise from phase transitions related to dark confinement in the context of dark versions of Quantum Chromodynamics. Based on several compelling motivations, we posit that these theories predict the existence of GeV-mass asymmetric dark baryons, akin to ordinary baryons, with the potential to contribute to dark matter. Furthermore, we emphasize the significance of a particular $\mathcal{O}(\text{TeV})$ scale for multiple reasons. First, to account for the similarity in present-day mass densities between dark matter and visible matter, various TeV-scale mechanisms can elucidate the similarities in both their number densities and masses. Moreover, to address the so-called electroweak hierarchy problem, we consider the introduction of either the Composite Higgs or Supersymmetry at around $\mathcal{O}(\text{TeV})$. These mechanisms lead to intriguing TeV collider signatures and the possibility of detecting mHz GWs in future experiments. In summary, this study provides a strong motivation for advancing GW experiments that can bridge the $\mu$Hz frequency gap in the GW spectrum. Additionally, there is a need for the construction of more powerful particle colliders to explore higher energy regimes. In consideration of the possibility to scrutinize these models from various perspectives, we strongly advocate their further development.


title: A Novel VAPT Algorithm: Enhancing Web Application Security Trough OWASP top 10 Optimization

abstract: This research study is built upon cybersecurity audits and investigates the optimization of an Open Web Application Security Project (OWASP) Top 10 algorithm for Web Applications (WA) security audits using Vulnerability Assessment and Penetration Testing (VAPT) processes. The study places particular emphasis on enhancing the VAPT process by optimizing the OWASP algorithm. To achieve this, the research utilizes desk documents to gain knowledge of WA cybersecurity audits and their associated tools. It also delves into archives to explore VAPT processes and identify techniques, methods, and tools for VAPT automation. Furthermore, the research proposes a prototype optimization that streamlines the two steps of VAPT using the OWASP Top 10 algorithm through an experimental procedure. The results are obtained within a virtual environment, which employs black box testing methods as the primary means of data acquisition and analysis. In this experimental setting, the OWASP algorithm demonstrates an impressive level of precision, achieving a precision rate exceeding 90%. It effectively covers all researched vulnerabilities, thus justifying its optimization. This research contributes significantly to the enhancement of the OWASP algorithm and benefits the offensive security community. It plays a crucial role in ensuring compliance processes for professionals and analysts in the security and software development fields.


title: Design and performance of an ultrahigh vacuum spectroscopic-imaging scanning tunneling microscope with a hybrid vibration isolation system

abstract: A spectroscopic imaging-scanning tunneling microscope (SI-STM) allows the atomic scale visualization of surface electronic and magnetic structure of novel quantum materials with high energy resolution. To achieve the optimal performance, low vibration facility is required. Here, we describe the design and the performance of an ultrahigh vacuum STM system supported by a hybrid vibration isolation system that consists of a pneumatic passive and a piezoelectric active vibration isolation stages. The STM system is equipped with a 1K pot cryogenic insert and a 9 Tesla superconducting magnet, capable of continuous SI-STM measurements for 7 days. A field ion microscopy system is installed for in situ STM tip treatment. We present the detailed vibrational noise analysis of the hybrid vibration isolation system and demonstrate the performance of our STM system by taking high resolution spectroscopic maps and topographic images on several quantum materials. Our results establish a new strategy to achieve an effective vibration isolation system for high-resolution STM and other scanning probe microscopy to investigate the nanoscale quantum phenomena.


title: Square-Root Higher-Order Unscented Estimators for Robust Orbit Determination

abstract: Orbit determination (OD) is a fundamental problem in space surveillance and tracking, crucial for ensuring the safety of space assets. Real-world ground-based optical tracking scenarios often involve challenges such as limited measurement time, short visible arcs, and the presence of outliers, leading to sparse and non-Gaussian observational data. Additionally, the highly perturbative and nonlinear orbit dynamics of resident space objects (RSOs) in low Earth orbit (LEO) add further complexity to the OD problem. This paper introduces a novel variant of the higher-order unscented Kalman estimator (HOUSE) called $w$-HOUSE, which employs a square-root formulation and addresses the challenges posed by nonlinear and non-Gaussian OD problems. The effectiveness of $w$-HOUSE was demonstrated through synthetic and real-world measurements, specifically outlier-contaminated angle-only measurements collected for the Sentinel 6A satellite flying in LEO. Comparative analyses are conducted with the original HOUSE (referred to as $\delta$-HOUSE), unscented Kalman filters (UKF), conjugate unscented transformation (CUT) filters, and precise orbit determination solutions estimated via onboard global navigation satellite systems measurements. The results reveal that the proposed $w$-HOUSE filter exhibits greater robustness when dealing with varying values of the dependent parameter compared to the original $\delta$-HOUSE. Moreover, it surpasses all other filters in terms of positioning accuracy, achieving three-dimensional root-mean-square errors of less than 60 m in a three-day scenario. This research suggests that the new $w$-HOUSE filter represents a viable alternative to UKF and CUT filters, offering improved positioning performance in handling the nonlinear and non-Gaussian OD problem associated with LEO RSOs.


title: A Fingertip Sensor and Algorithms for Pre-touch Distance Ranging and Material Detection in Robotic Grasping

abstract: To enhance robotic grasping capabilities, we are developing new contactless fingertip sensors to measure distance in close proximity and simultaneously detect the type of material and the interior structure. These sensors are referred to as pre-touch dual-modal and dual-mechanism (PDM$^2$) sensors, and they operate using both pulse-echo ultrasound (US) and optoacoustic (OA) modalities. We present the design of a PDM$^2$ sensor that utilizes a pulsed laser beam and a customized ultrasound transceiver with a wide acoustic bandwidth for ranging and sensing. Both US and OA signals are collected simultaneously, triggered by the same laser pulse. To validate our design, we have fabricated a prototype of the PDM$^2$ sensor and integrated it into an object scanning system. We have also developed algorithms to enable the sensor, including time-of-flight (ToF) auto estimation, ranging rectification, sensor and system calibration, distance ranging, material/structure detection, and object contour detection and reconstruction. The experimental results demonstrate that the new PDM$^2$ sensor and its algorithms effectively enable the object scanning system to achieve satisfactory ranging and contour reconstruction performances, along with satisfying material/structure detection capabilities. In conclusion, the PDM$^2$ sensor offers a practical and powerful solution to improve grasping of unknown objects with the robotic gripper by providing advanced perception capabilities.


title: Commuting probability for the Sylow subgroups of a finite group

abstract: For subsets $X,Y$ of a finite group $G$, let $Pr(X,Y)$ denote the probability that two random elements $x\in X$ and $y\in Y$ commute. Obviously, a finite group $G$ is nilpotent if and only if $Pr(P,Q)=1$ whenever $P$ and $Q$ are Sylow subgroups of $G$ of coprime orders. Suppose that $G$ is a finite group in which for any distinct primes $p,q\in\pi(G)$ there is a Sylow $p$-subgroup $P$ and a Sylow $q$-subgroup $Q$ of $G$ such that $Pr(P,Q) \ge \epsilon$. We show that $F_2(G)$ has $\epsilon$-bounded index in $G$. If $G$ is a finite soluble group in which for any prime $p\in\pi(G)$ there is a Sylow $p$-subgroup $P$ and a Hall $p'$-subgroup $H$ such that $Pr(P,H)\ge \epsilon$, then $F(G)$ has $\epsilon$-bounded index in $G$. Moreover, we establish criteria for nilpotency and solubility of $G$ such as: If for any primes $p,q\in\pi(G)$ the group $G$ has a Sylow $p$-subgroup $P$ and a Sylow $q$-subgroup $Q$ with $Pr(P,Q)>2/3$, then $G$ is nilpotent. If for any primes $p,q\in\pi(G)$ the group $G$ has a Sylow $p$-subgroup $P$ and a Sylow $q$-subgroup $Q$ with $Pr(P,Q)>2/5$, then $G$ is soluble.


title: Memory-induced Excitability in Optical Cavities

abstract: Neurons and other excitable systems can release energy suddenly given a small stimulus. Excitability has recently drawn increasing interest in optics, as it is key to realize all-optical artificial neurons enabling speed-of-light information processing. However, the realization of all-optical excitable units and networks remains challenging. Here we demonstrate how laser-driven optical cavities with memory in their nonlinear response can sustain excitability beyond the constraints of memoryless systems. First we demonstrate different classes of excitability and spiking, and their control in a single cavity with memory. This single-cavity excitability is limited to a narrow range of memory times commensurate with the linear dissipation time. To overcome this limitation, we explore coupled cavities with memory. We demonstrate that this system can exhibit excitability for arbitrarily long memory times, even when the inter-cavity coupling rate is smaller than the dissipation rate. Our coupled-cavity system also sustains spike trains -- a hallmark of neurons -- that spontaneously break mirror symmetry. Our predictions can be readily tested in thermo-optical cavities, where thermal dynamics effectively give memory to the nonlinear optical response. The huge separation between thermal and optical time scales in such cavities is promising for the realization of artificial neurons that can self-organize to the edge of a phase transition, like many biological systems do.


title: Accurate and Fast Fischer-Tropsch Reaction Microkinetics using PINNs

abstract: Microkinetics allows detailed modelling of chemical transformations occurring in many industrially relevant reactions. Traditional way of solving the microkinetics model for Fischer-Tropsch synthesis (FTS) becomes inefficient when it comes to more advanced real-time applications. In this work, we address these challenges by using physics-informed neural networks(PINNs) for modelling FTS microkinetics. We propose a computationally efficient and accurate method, enabling the ultra-fast solution of the existing microkinetics models in realistic process conditions. The proposed PINN model computes the fraction of vacant catalytic sites, a key quantity in FTS microkinetics, with median relative error (MRE) of 0.03%, and the FTS product formation rates with MRE of 0.1%. Compared to conventional equation solvers, the model achieves up to 1E+06 times speed-up when running on GPUs, thus being fast enough for multi-scale and multi-physics reactor modelling and enabling its applications in real-time process control and optimization.

categories: cs.LG cs.AI physics.chem-ph physics.comp-ph


title: Local asymptotics and optimal control for a viscous Cahn-Hilliard-Reaction-Diffusion model for tumor growth

abstract: In this paper we study nonlocal-to-local asymptotics for a tumor-growth model coupling a viscous Cahn-Hilliard equation describing the tumor proportion with a reaction-diffusion equation for the nutrient phase parameter. First, we prove that solutions to the nonlocal Cahn-Hilliard system converge, as the nonlocality parameter tends to zero, to solutions to its local counterpart. Second, we provide first-order optimality conditions for an optimal control problem on the local model, accounting also for chemotaxis, and both for regular or singular potentials, without any additional regularity assumptions on the solution operator. The proof is based on an approximation of the local control problem by means of suitable nonlocal ones, and on proving nonlocal-to-local convergence both for the corresponding dual systems and for the associated first-order optimality conditions.


title: Memory Management Strategies for an Internet of Things System

abstract: The rise of the Internet has brought about significant changes in our lives, and the rapid expansion of the Internet of Things (IoT) is poised to have an even more substantial impact by connecting a wide range of devices across various application domains. IoT devices, especially low-end ones, are constrained by limited memory and processing capabilities, necessitating efficient memory management within IoT operating systems. This paper delves into the importance of memory management in IoT systems, with a primary focus on the design and configuration of such systems, as well as the scalability and performance of scene management. Effective memory management is critical for optimizing resource usage, responsiveness, and adaptability as the IoT ecosystem continues to grow. The study offers insights into memory allocation, scene execution, memory reduction, and system scalability within the context of an IoT system, ultimately highlighting the vital role that memory management plays in facilitating a seamless and efficient IoT experience.


title: Invariant subspaces and PCA in nearly matrix multiplication time

abstract: Approximating invariant subspaces of generalized eigenvalue problems (GEPs) is a fundamental computational problem at the core of machine learning and scientific computing. It is, for example, the root of Principal Component Analysis (PCA) for dimensionality reduction, data visualization, and noise filtering, and of Density Functional Theory (DFT), arguably the most popular method to calculate the electronic structure of materials. For a Hermitian definite GEP $HC=SC\Lambda$, let $\Pi_k$ be the true spectral projector on the invariant subspace that is associated with the $k$ smallest (or largest) eigenvalues. Given $H,$ $S$, an integer $k$, and accuracy $\varepsilon\in(0,1)$, we show that we can compute a matrix $\widetilde\Pi_k$ such that $\lVert\Pi_k-\widetilde\Pi_k\rVert_2\leq \varepsilon$, in $O\left( n^{\omega+\eta}\mathrm{polylog}(n,\varepsilon^{-1},\kappa(S),\mathrm{gap}_k^{-1}) \right)$ bit operations in the floating point model with probability $1-1/n$. Here, $\eta>0$ is arbitrarily small, $\omega\lesssim 2.372$ is the matrix multiplication exponent, $\kappa(S)=\lVert S\rVert_2\lVert S^{-1}\rVert_2$, and $\mathrm{gap}_k$ is the gap between eigenvalues $k$ and $k+1$. To the best of our knowledge, this is the first end-to-end analysis achieving such "forward-error" approximation guarantees with nearly $O(n^{\omega+\eta})$ bit complexity, improving classical $\widetilde O(n^3)$ eigensolvers, even for the regular case $(S=I)$. Our methods rely on a new $O(n^{\omega+\eta})$ stability analysis for the Cholesky factorization, and a new smoothed analysis for computing spectral gaps, which can be of independent interest. Ultimately, we obtain new matrix multiplication-type bit complexity upper bounds for PCA problems, including classical PCA and (randomized) low-rank approximation.


title: Enhancement of spin to charge conversion efficiency at the topological surface state by inserting normal metal spacer layer in the topological insulator based heterostructure

abstract: We report efficient spin to charge conversion (SCC) in the topological insulator (TI) based heterostructure ($BiSbTe_{1.5}Se_{1.5}/Cu/Ni_{80}Fe_{20}$) by using spin-pumping technique where $BiSbTe_{1.5}Se_{1.5}$ is the TI and $Ni_{80}Fe_{20}$ is the ferromagnetic layer. The SCC, characterized by inverse Edelstein effect length ($\lambda_{IEE}$) in the TI material gets altered with an intervening Copper (Cu) layer and it depends on the interlayer thickness. The introduction of Cu layer at the interface of TI and ferromagnetic metal (FM) provides a new degree of freedom for tuning the SCC efficiency of the topological surface states. The significant enhancement of the measured spin-pumping voltage and the linewidth of ferromagnetic resonance (FMR) absorption spectra due to the insertion of Cu layer at the interface indicates a reduction in spin memory loss at the interface that resulted from the presence of exchange coupling between the surface states of TI and the local moments of ferromagnetic metal. The temperature dependence (from 8K to 300K) of the evaluated $\lambda_{IEE}$ data for all the trilayer systems, TI/Cu/FM with different Cu thickness confirms the effect of exchange coupling between the TI and FM layer on the spin to charge conversion efficiency of the topological surface state.


title: Increasing planet-stirring efficiency of debris disks by "projectile stirring" and "resonant stirring"

abstract: Extrasolar debris disks are detected by observing dust, which is thought to be released during planetesimal collisions. This implies that planetesimals are dynamically excited ("stirred"), such that collisions are sufficiently common and violent. The most frequently considered stirring mechanisms are self-stirring by disk self-gravity, and planet-stirring via secular interactions. However, these models face problems when considering disk mass, self-gravity, and planet eccentricity, leading to the possibility that other, unexplored mechanisms instead stir debris. We hypothesize that planet-stirring could be more efficient than the traditional secular model implies, due to two additional mechanisms. First, a planet at the inner edge of a debris disk can scatter massive bodies onto eccentric, disk-crossing orbits, which then excite debris ("projectile stirring"). Second, a planet can stir debris over a wide region via broad mean-motion resonances, both at and between nominal resonance locations ("resonant stirring"). Both mechanisms can be effective even for low-eccentricity planets, unlike secular-planet-stirring. We run N-body simulations across a broad parameter space, to determine the viability of these new stirring mechanisms. We quantify stirring levels using a bespoke program for assessing Rebound debris simulations, which we make publicly available. We find that even low-mass projectiles can stir disks, and verify this with a simple analytic criterion. We also show that resonant stirring is effective for planets above ~0.5 MJup. By proving that these mechanisms can increase planet-stirring efficiency, we demonstrate that planets could still be stirring debris disks even in cases where conventional (secular) planet-stirring is insufficient.


title: Testing the Renormalization of the von Klitzing Constant by Cavity Vacuum Fields

abstract: In light of recent developments demonstrating the impact of cavity vacuum fields inducing the breakdown of topological protection in the integer quantum Hall effect, a compelling question arises: what effects might cavity vacuum fields have on fundamental constants in solid-state systems? In this work we present an experiment that assesses the possibility of the von Klitzing constant itself being modified. By employing a Wheatstone bridge, we precisely measure the difference between the quantized Hall resistance of a cavity-embedded Hall bar and the resistance standard, achieving an accuracy down to 1 part in 105 for the lowest Landau level. While our results do not suggest any deviation that could imply a modified Hall resistance, our work represents pioneering efforts in exploring the fundamental implications of vacuum fields in solid-state systems.


title: Correlation-Distance Graph Learning for Treatment Response Prediction from rs-fMRI

abstract: Resting-state fMRI (rs-fMRI) functional connectivity (FC) analysis provides valuable insights into the relationships between different brain regions and their potential implications for neurological or psychiatric disorders. However, specific design efforts to predict treatment response from rs-fMRI remain limited due to difficulties in understanding the current brain state and the underlying mechanisms driving the observed patterns, which limited the clinical application of rs-fMRI. To overcome that, we propose a graph learning framework that captures comprehensive features by integrating both correlation and distance-based similarity measures under a contrastive loss. This approach results in a more expressive framework that captures brain dynamic features at different scales and enables more accurate prediction of treatment response. Our experiments on the chronic pain and depersonalization disorder datasets demonstrate that our proposed method outperforms current methods in different scenarios. To the best of our knowledge, we are the first to explore the integration of distance-based and correlation-based neural similarity into graph learning for treatment response prediction.


title: Interplay of phase segregation and chemical reaction: Crossover and effect on growth laws

abstract: By combining the nonconserved spin-flip dynamics driving ferromagnetic ordering with the conserved Kawasaki-exchange dynamics driving phase segregation, we perform Monte Carlo simulations of the nearest neighbor Ising model. Such a set up mimics a system consisting of a binary mixture of \emph{isomers} which is simultaneously undergoing a segregation and an \emph{interconversion} reaction among themselves . Here, we study such a system following a quench from the high-temperature homogeneous phase to a temperature below the demixing transition. We monitor the growth of domains of both the \emph{winner}, the \emph{isomer} which survives as the majority and the \emph{loser}, the \emph{isomer} that perishes. Our results show a strong interplay of the two dynamics at early times leading to a growth of the average domain size of both the \emph{winner} and \emph{loser} as $\sim t^{1/7}$, slower than a purely phase-segregating system. At later times, eventually the dynamics becomes reaction dominated, and the \emph{winner} exhibits a $\sim t^{1/2}$ growth, expected for a system with purely nonconserved dynamics. On the other hand, the \emph{loser} at first show a faster growth, albeit, slower than the \emph{winner}, and then starts to decay before it almost vanishes. Further, we estimate the time $\tau_s$ marking the crossover from the early-time slow growth to the late-time reaction dominated faster growth. As a function of the reaction probability $p_r$, we observe a power-law scaling $\tau_s \sim p_r^{-x}$, where $x\approx 1.05$, irrespective of temperature. For a fixed value of $p_r$ too, $\tau_s$ appears to be independent of temperature.


title: Uniqueness of renormalized solutions for the Maxwell-Stefan system

abstract: We give conditions that guarantee uniqueness of renormalized solutions for the Maxwell-Stefan system. The proof is based on an identity for the evolution of the symmetrized relative entropy. Using the method of doubling the variables we derive the identity for two renormalized solutions and use information on the spectrum of the Maxwell-Stefan matrix to estimate the symmetrized relative entropy and show uniqueness.


title: Mixed Reality UI Adaptations with Inaccurate and Incomplete Objectives

abstract: This position paper outlines a new approach to adapting 3D user interface (UI) layouts given the complex nature of end-user preferences. Current optimization techniques, which mainly rely on weighted sum methods, can be inflexible and result in unsatisfactory adaptations. We propose using multi-objective optimization and interactive preference elicitation to provide semi-automated, flexible, and effective adaptations of 3D UIs. Our approach is demonstrated using an example of single-element 3D layout adaptation with ergonomic objectives. Future work is needed to address questions around the presentation and selection of optimal solutions, the impact on cognitive load, and the integration of preference learning. We conclude that, to make adaptive 3D UIs truly effective, we must acknowledge the limitations of our optimization objectives and techniques and emphasize the importance of user control.


title: NISQ-Compatible Error Correction of Quantum Data Using Modified Dissipative Quantum Neural Networks

abstract: Using a dissipative quantum neural network (DQNN) accompanied by conjugate layers, we upgrade the performance of the existing quantum auto-encoder (QAE) network as a quantum denoiser of a noisy m-qubit GHZ state. Our new denoising architecture requires a much smaller number of learning parameters, which can decrease the training time, especially when a deep or stacked DQNN is needed to approach the highest fidelity in the Noisy Intermediate-Scale Quantum (NISQ) era. In QAE, we reduce the connection between the hidden layer's qubits and the output's qubits to modify the decoder. The Renyi entropy of the hidden and output qubits' states is analyzed with respect to other qubits during learning iterations. During the learning process, if the hidden layer remains connected to the input layers, the network can almost perfectly denoise unseen noisy data with a different underlying noise distribution using the learning parameters acquired from training data.


title: Using Cooperative Game Theory to Prune Neural Networks

abstract: We show how solution concepts from cooperative game theory can be used to tackle the problem of pruning neural networks. The ever-growing size of deep neural networks (DNNs) increases their performance, but also their computational requirements. We introduce a method called Game Theory Assisted Pruning (GTAP), which reduces the neural network's size while preserving its predictive accuracy. GTAP is based on eliminating neurons in the network based on an estimation of their joint impact on the prediction quality through game theoretic solutions. Specifically, we use a power index akin to the Shapley value or Banzhaf index, tailored using a procedure similar to Dropout (commonly used to tackle overfitting problems in machine learning). Empirical evaluation of both feedforward networks and convolutional neural networks shows that this method outperforms existing approaches in the achieved tradeoff between the number of parameters and model accuracy.


title: The PAU Survey: a new constraint on galaxy formation models using the observed colour redshift relation

abstract: We use the GALFORM semi-analytical galaxy formation model implemented in the Planck Millennium N-body simulation to build a mock galaxy catalogue on an observer's past lightcone. The mass resolution of this N-body simulation is almost an order of magnitude better than in previous simulations used for this purpose, allowing us to probe fainter galaxies and hence build a more complete mock catalogue at low redshifts. The high time cadence of the simulation outputs allows us to make improved calculations of galaxy properties and positions in the mock. We test the predictions of the mock against the Physics of the Accelerating Universe Survey, a narrow band imaging survey with highly accurate and precise photometric redshifts, which probes the galaxy population over a lookback time of 8 billion years. We compare the model against the observed number counts, redshift distribution and evolution of the observed colours and find good agreement; these statistics avoid the need for model-dependent processing of the observations. The model produces red and blue populations that have similar median colours to the observations. However, the bimodality of galaxy colours in the model is stronger than in the observations. This bimodality is reduced on including a simple model for errors in the GALFORM photometry. We examine how the model predictions for the observed galaxy colours change when perturbing key model parameters. This exercise shows that the median colours and relative abundance of red and blue galaxies provide constraints on the strength of the feedback driven by supernovae used in the model.


title: On minimal extended representations of generalized power cones

abstract: In this paper, we analyze minimal representations of $(p,\boldsymbol{\alpha})$-power cones as simpler cones. We derive some new results on the complexity of the representations, and we provide a procedure to construct a minimal representation by means of second order cones in case $\boldsymbol{\alpha}$ and $p$ are rational. The construction is based on the identification of the cones with a graph, the mediated graph. Then, we develop a mixed integer linear optimization formulation to obtain the optimal mediated graph, and then, the minimal representation. We present the results of a series of computational experiments in order to analyze the computational performance of the approach, both to obtain the representation and its incorporation into a practical conic optimization model that arises in facility location.


title: Regions are Who Walk Them: a Large Pre-trained Spatiotemporal Model Based on Human Mobility for Ubiquitous Urban Sensing

abstract: User profiling and region analysis are two tasks of significant commercial value. However, in practical applications, modeling different features typically involves four main steps: data preparation, data processing, model establishment, evaluation, and optimization. This process is time-consuming and labor-intensive. Repeating this workflow for each feature results in abundant development time for tasks and a reduced overall volume of task development. Indeed, human mobility data contains a wealth of information. Several successful cases suggest that conducting in-depth analysis of population movement data could potentially yield meaningful profiles about users and areas. Nonetheless, most related works have not thoroughly utilized the semantic information within human mobility data and trained on a fixed number of the regions. To tap into the rich information within population movement, based on the perspective that Regions Are Who walk them, we propose a large spatiotemporal model based on trajectories (RAW). It possesses the following characteristics: 1) Tailored for trajectory data, introducing a GPT-like structure with a parameter count of up to 1B; 2) Introducing a spatiotemporal fine-tuning module, interpreting trajectories as collection of users to derive arbitrary region embedding. This framework allows rapid task development based on the large spatiotemporal model. We conducted extensive experiments to validate the effectiveness of our proposed large spatiotemporal model. It's evident that our proposed method, relying solely on human mobility data without additional features, exhibits a certain level of relevance in user profiling and region analysis. Moreover, our model showcases promising predictive capabilities in trajectory generation tasks based on the current state, offering the potential for further innovative work utilizing this large spatiotemporal model.


title: End-to-end autoencoding architecture for the simultaneous generation of medical images and corresponding segmentation masks

abstract: Despite the increasing use of deep learning in medical image segmentation, acquiring sufficient training data remains a challenge in the medical field. In response, data augmentation techniques have been proposed; however, the generation of diverse and realistic medical images and their corresponding masks remains a difficult task, especially when working with insufficient training sets. To address these limitations, we present an end-to-end architecture based on the Hamiltonian Variational Autoencoder (HVAE). This approach yields an improved posterior distribution approximation compared to traditional Variational Autoencoders (VAE), resulting in higher image generation quality. Our method outperforms generative adversarial architectures under data-scarce conditions, showcasing enhancements in image quality and precise tumor mask synthesis. We conduct experiments on two publicly available datasets, MICCAI's Brain Tumor Segmentation Challenge (BRATS), and Head and Neck Tumor Segmentation Challenge (HECKTOR), demonstrating the effectiveness of our method on different medical imaging modalities.


title: Isochoric cooling of air in the University Physics laboratory

abstract: In this paper an alternative way of conducting the physics laboratory exercise for determining the adiabatic index of air using the Clement -- Desormes method is proposed. The process of isochoric cooling of air has been studied in terms of the dependence of pressure on time, and hence temperature on time, since it is proportional to pressure at a constant volume and mass of air. A theoretical model of the considered process was also made. The experimental results were processed statistically. The coefficient of determination $R^2$ and the F-test statistic were calculated and their values indicate a very good agreement between theory and experiment. The analysis of the residuals, however, implies that the model could be further improved through the inclusion of higher order terms.


title: Routing and wavelength assignment in hybrid networks with classical and quantum signals

abstract: Quantum Key Distribution has become a mature quantum technology that has outgrown dedicated links and is ready to be incorporated into the classical infrastructure. In this scenario with multiple potential nodes, it is crucial having efficient ways to allocate the network resources between all the potential users. We propose a simple method for routing and wavelength assignment in wavelength multiplexed networks in which classical and quantum channels coexist. The proposed heuristics take into account the specific requirements of quantum key distribution and focus on keeping at bay the contamination of the quantum channels by photons coming from the classical signals by non-linear processes, among others. These heuristics reduce the shared path between classical and quantum channels and improve the signal-to-noise ratio in the quantum channels, improving their quantum key rate. We compare the results to the usual classical RWA approach.


title: Conway's law, revised from a mathematical viewpoint

abstract: In this article, we revise Conway's Law from a mathematical point of view. By introducing a task graph, we first rigorously state Conway's Law based on the homomorphisms in graph theory for the software system and the organizations that created it. Though Conway did not mention it, the task graph shows the geometric structure of tasks, which plays a crucial role. Furthermore, due to recent requirements for high-level treatment of communication (due to security, knowledge hiding, etc.) in organizations and hierarchical treatment of organizations, we have reformulated these statements in terms of weakened homomorphisms, and the continuous maps in graph topology. In order to use graph topology and the continuous map in Conway's law, we have prepared them as mathematical tools, and then we show the natural expression of Conway's correspondences with hierarchical structures.


title: FRCSyn Challenge at WACV 2024:Face Recognition Challenge in the Era of Synthetic Data

abstract: Despite the widespread adoption of face recognition technology around the world, and its remarkable performance on current benchmarks, there are still several challenges that must be covered in more detail. This paper offers an overview of the Face Recognition Challenge in the Era of Synthetic Data (FRCSyn) organized at WACV 2024. This is the first international challenge aiming to explore the use of synthetic data in face recognition to address existing limitations in the technology. Specifically, the FRCSyn Challenge targets concerns related to data privacy issues, demographic biases, generalization to unseen scenarios, and performance limitations in challenging scenarios, including significant age disparities between enrollment and testing, pose variations, and occlusions. The results achieved in the FRCSyn Challenge, together with the proposed benchmark, contribute significantly to the application of synthetic data to improve face recognition technology.


title: The Set of Pure Gaps at Several Rational Places in Function Fields

abstract: In this work, using maximal elements in generalized Weierstrass semigroups and its relationship with pure gaps, we extend the results in \cite{CMT2024} and provide a way to completely determine the set of pure gaps at several rational places in an arbitrary function field $F$ over a finite field and its cardinality. As an example, we determine the cardinality and a simple explicit description of the set of pure gaps at several rational places distinct to the infinity place on Kummer extensions, which is a different characterization from that presented by Hu and Yang in \cite{HY2018}. Furthermore, we present some applications in coding theory and AG codes with good parameters.


title: "UWBCarGraz" Dataset for Car Occupancy Detection using Ultra-Wideband Radar

abstract: We present a data-driven car occupancy detection algorithm using ultra-wideband radar based on the ResNet architecture. The algorithm is trained on a dataset of channel impulse responses obtained from measurements at three different activity levels of the occupants (i.e. breathing, talking, moving). We compare the presented algorithm against a state-of-the-art car occupancy detection algorithm based on variational message passing (VMP). Our presented ResNet architecture is able to outperform the VMP algorithm in terms of the area under the receiver operating curve (AUC) at low signal-to-noise ratios (SNRs) for all three activity levels of the target. Specifically, for an SNR of -20 dB the VMP detector achieves an AUC of 0.87 while the ResNet architecture achieves an AUC of 0.91 if the target is sitting still and breathing naturally. The difference in performance for the other activities is similar. To facilitate the implementation in the onboard computer of a car we perform an ablation study to optimize the tradeoff between performance and computational complexity for several ResNet architectures. The dataset used to train and evaluate the algorithm is openly accessible. This facilitates an easy comparison in future works.


title: Proxy-$SU(4)$ symmetry in A=60-90 region

abstract: Applications of the proxy-$SU(3)$ model of Bonatsos and collaborators to nuclei in A=60-90 region introduces proxy-$SU(4)$ symmetry. Shell model spaces with single particle (sp) orbits $^1p_{3/2}$, $^1p_{1/2}$, $^0f_{5/2}$ and $^0g_{9/2}$ are essential for these nuclei and also protons and neutrons in this region occupy the same sp orbits. With this and applying the "proxy scheme", the $^0g_{9/2}$ changes to $^0f_{7/2}$ giving the SGA $U(40) \supset [U(10) \supset G \supset SO(3)] \otimes [SU(4) \supset SU_S(2) \otimes SU_T(2)]$. With $G=SU(3)$, we have the proxy-$SU(3)$ model. It is easy to see that proxy-$SU(3)$ symmetry implies goodness of the $SU(4)$ symmetry appearing above, i.e. proxy-$SU(4)$ symmetry. Shell model calculations pointing out the need for $^0g_{9/2}$ orbit, ground state masses, shape changes and shape co-existence in A=60-90 region and GT distributions clearly show the importance of proxy-$SU(4)$ in this mass region. Besides presenting this evidence, new proxy schemes with $G=SU(5)$, $SO(6)$ and $SO(10)$ that are generated by good proxy-$SU(4)$ symmetry are described in some detail. An important feature is that the four proxy symmetries $SU(3)$, $SO(6)$, $SU(5)$ and $SO(10)$ appear twice.


title: (Quantum) complexity of testing signed graph clusterability

abstract: This study examines clusterability testing for a signed graph in the bounded-degree model. Our contributions are two-fold. First, we provide a quantum algorithm with query complexity $\tilde{O}(N^{1/3})$ for testing clusterability, which yields a polynomial speedup over the best classical clusterability tester known [arXiv:2102.07587]. Second, we prove an $\tilde{\Omega}(\sqrt{N})$ classical query lower bound for testing clusterability, which nearly matches the upper bound from [arXiv:2102.07587]. This settles the classical query complexity of clusterability testing, and it shows that our quantum algorithm has an advantage over any classical algorithm.


title: Theory-agnostic parametrization of wormhole spacetimes

abstract: We present a generalization of the Rezzolla-Zhidenko theory-agnostic parametrization of black-hole spacetimes to accommodate spherically-symmetric Lorentzian, traversable wormholes (WHs) in an arbitrary metric theory of gravity. By applying our parametrization to various known WH metrics and performing calculations involving shadows and quasinormal modes, we show that only a few parameters are important for finding potentially observable quantities in a WH spacetime.


title: A Formalisation of Core Erlang, a Concurrent Actor Language

abstract: In order to reason about the behaviour of programs described in a programming language, a mathematically rigorous definition of that language is needed. In this paper, we present a machine-checked formalisation of concurrent Core Erlang (a subset of Erlang) based on our previous formalisations of its sequential sublanguage. We define a modular, frame stack semantics, show how program evaluation is carried out with it, and prove a number of properties (e.g. determinism, confluence). Finally, we define program equivalence based on bisimulations and prove that side-effect-free evaluation is a bisimulation. This research is part of a wider project that aims to verify refactorings to prove that particular program code transformations preserve program behaviour.


title: Towards General Loop Invariant Generation: A Benchmark of Programs with Memory Manipulation

abstract: Program verification is vital for ensuring software reliability, especially in the context of increasingly complex systems. Loop invariants, remaining true before and after each iteration of loops, are crucial for this verification process. Traditional provers and machine learning based methods for generating loop invariants often require expert intervention or extensive labeled data, and typically only handle numerical property verification. These methods struggle with programs involving complex data structures and memory manipulations, limiting their applicability and automation capabilities. In this paper, we introduce a new benchmark named LIG-MM, specifically for programs with complex data structures and memory manipulations. We collect 312 programs from various sources, including daily programs from college homework, the international competition (SV-COMP), benchmarks from previous papers (SLING), and programs from real-world software systems (Linux Kernel, GlibC, LiteOS, and Zephyr). Based on LIG-MM, our findings indicate that previous methods, including GPT-4, fail to automate verification for these programs. Consequently, we propose a novel LLM-SE framework that coordinates LLM with symbolic execution, fine-tuned using self-supervised learning, to generate loop invariants. Experimental results on LIG-MM demonstrate that our LLM-SE outperforms state-of-the-art methods, offering a new direction toward automated program verification in real-world scenarios.


title: Learning Agile Locomotion on Risky Terrains

abstract: Quadruped robots have shown remarkable mobility on various terrains through reinforcement learning. Yet, in the presence of sparse footholds and risky terrains such as stepping stones and balance beams, which require precise foot placement to avoid falls, model-based approaches are often used. In this paper, we show that end-to-end reinforcement learning can also enable the robot to traverse risky terrains with dynamic motions. To this end, our approach involves training a generalist policy for agile locomotion on disorderly and sparse stepping stones before transferring its reusable knowledge to various more challenging terrains by finetuning specialist policies from it. Given that the robot needs to rapidly adapt its velocity on these terrains, we formulate the task as a navigation task instead of the commonly used velocity tracking which constrains the robot's behavior and propose an exploration strategy to overcome sparse rewards and achieve high robustness. We validate our proposed method through simulation and real-world experiments on an ANYmal-D robot achieving peak forward velocity of >= 2.5 m/s on sparse stepping stones and narrow balance beams. Video: youtu.be/Z5X0J8OH6z4


title: Dimensional Crossover in a Quantum Gas of Light

abstract: The dimensionality of a system profoundly influences its physical behaviour, leading to the emergence of different states of matter in many-body quantum systems. In lower dimensions, fluctuations increase and lead to the suppression of long-range order. For example, in bosonic gases, Bose-Einstein condensation (BEC) in one dimension requires stronger confinement than in two dimensions. We experimentally study the properties of a harmonically trapped photon gas undergoing Bose-Einstein condensation along the dimensional crossover from one to two dimensions. The photons are trapped in a dye microcavity where polymer nanostructures provide the trapping potential for the photon gas. By varying the aspect ratio of the harmonic trap, we tune from an isotropic two-dimensional confinement to an anisotropic, highly elongated one-dimensional trapping potential. Along this transition we determine the caloric properties of the photon gas and find a softening of the second-order Bose-Einstein condensation phase transition observed in two dimensions to a crossover behaviour in one dimension.


title: Twin Strouhal numbers in pressure loading of circular cylinder at high Reynolds numbers

abstract: We present a wind tunnel experiment on a large smooth circular cylinder mounted between walls. The Reynolds number range of interest is [800 000 : 2 170 000]. This low supercritical regime is often encountered in wind engineering applications, especially the excitation of flexible circular structures by vortex shedding. Main measurements are the unsteady wall pressure distributions around the cylinder by means of synchronized pressure taps with high resolution in time and space. By using the bi-orthogonal decomposition of this set of signals, twin Strouhal numbers are detected which correspond to the second and the fourth terms of the decomposition. These terms are found to produce the unsteady lift on the cylinder with a main contribution of the second one for which the associated Strouhal number is close to the one usually found at subcritical Reynolds numbers.


title: ReuseSense: With Great Reuse Comes Greater Efficiency; Effectively Employing Computation Reuse on General-Purpose CPUs

abstract: Deep Neural Networks (DNNs) are the de facto algorithm for tackling cognitive tasks in real-world applications such as speech recognition and natural language processing. DNN inference comprises numerous dot product operations between inputs and weights that require numerous multiplications and memory accesses, which hinder their performance and energy consumption when evaluated in modern CPUs. In this work, we leverage the high degree of similarity between consecutive inputs in different DNN layers to improve the performance and energy efficiency of DNN inference on CPUs. To this end, we propose ReuseSense, a new hardware scheme that includes ReuseSensor, an engine to efficiently generate the compute and load instructions needed to evaluate a DNN layer accordingly when sensing similar inputs. By intelligently reusing previously computed product values, ReuseSense allows bypassing computations when encountering input values identical to previous ones. Additionally, it efficiently avoids redundant loads by skipping weight loads associated with the bypassed dot product computations. Our experiments show that ReuseSense achieves an 8x speedup in performance and a 74% reduction in total energy consumption across several DNNs on average over the baseline.


title: Graphene-based thermopneumatic generator for on-board pressure supply of soft robots

abstract: Various fields, including medical and human interaction robots, gain advantages from the development of bioinspired soft actuators. Many recently developed grippers are pneumatics that require external pressure supply systems, thereby limiting the autonomy of these robots. This necessitates the development of scalable and efficient on-board pressure generation systems. While conventional air compression systems are hard to miniaturize, thermopneumatic systems that joule-heat a transducer material to generate pressure present a promising alternative. However, the transducer materials of previously reported thermopneumatic systems demonstrate high heat capacities and limited surface area resulting in long response times and low operation frequencies. This study presents a thermopneumatic pressure generator using aerographene, a highly porous (>99.99 %) network of interconnected graphene microtubes, as lightweight and low heat capacity transducer material. An aerographene pressurizer module (AGPM) can pressurize a reservoir of 4.2 cm3 to about ~140 mbar in 50 ms. Periodic operation of the AGPM for 10 s at 0.66 Hz can further increase the pressure in the reservoir to ~360 mbar. It is demonstrated that multiple AGPMs can be operated parallelly or in series for improved performance. For example, three parallelly operated AGPMs can generate pressure pulses of ~215 mbar. Connecting AGPMs in series increases the maximum pressure achievable by the system. It is shown that three AGPMs working in series can pressurize the reservoir to ~2000 mbar in about 2.5 min. The AGPM's minimalistic design can be easily adapted to circuit boards, making the concept a promising fit for the on-board pressure supply of soft robots.


title: Handling Overlapping Asymmetric Datasets -- A Twice Penalized P-Spline Approach

abstract: Overlapping asymmetric datasets are common in data science and pose questions of how they can be incorporated together into a predictive analysis. In healthcare datasets there is often a small amount of information that is available for a larger number of patients such as an electronic health record, however a small number of patients may have had extensive further testing. Common solutions such as missing imputation can often be unwise if the smaller cohort is significantly different in scale to the larger sample, therefore the aim of this research is to develop a new method which can model the smaller cohort against a particular response, whilst considering the larger cohort also. Motivated by non-parametric models, and specifically flexible smoothing techniques via generalized additive models, we model a twice penalized P-Spline approximation method to firstly prevent over/under-fitting of the smaller cohort and secondly to consider the larger cohort. This second penalty is created through discrepancies in the marginal value of covariates that exist in both the smaller and larger cohorts. Through data simulations, parameter tunings and model adaptations to consider a continuous and binary response, we find our twice penalized approach offers an enhanced fit over a linear B-Spline and once penalized P-Spline approximation. Applying to a real-life dataset relating to a person's risk of developing Non-Alcoholic Steatohepatitis, we see an improved model fit performance of over 65%. Areas for future work within this space include adapting our method to not require dimensionality reduction and also consider parametric modelling methods. However, to our knowledge this is the first work to propose additional marginal penalties in a flexible regression of which we can report a vastly improved model fit that is able to consider asymmetric datasets, without the need for missing data imputation.


title: The polarimeter vector for $\tau \rightarrow 3 \pi\nu_{\tau}$ decays

abstract: The polarimeter vector of the $\tau$ represents an optimal observable for the measurement of the $\tau$ spin. In this paper we present an algorithm for the computation of the $\tau$ polarimeter vector for the decay channels $\tau^{-} \rightarrow \pi^{-}\pi^{+}\pi^{-}\nu_{\tau}$ and $\tau^{-} \rightarrow \pi^{-}\pi^{0}\pi^{0}\nu_{\tau}$. The algorithm is based on a model for the hadronic current in these decay channels, which was fitted to data recorded by the CLEO experiment.


title: Inferring the initial condition for the Balitsky-Kovchegov equation

abstract: We apply Bayesian inference to determine the posterior likelihood distribution for the parameters describing the initial condition of the small-$x$ Balitsky-Kovchegov evolution equation at leading logarithmic accuracy. The HERA structure function data is found to constrain most of the model parameters well. In particular, we find that the HERA data prefers an anomalous dimension $\gamma\approx 1$ unlike in previous fits where $\gamma>1$ which led to e.g. the unintegrated gluon distribution and the quark-target cross sections not being positive definite. The determined posterior distribution can be used to propagate the uncertainties in the non-perturbative initial condition when calculating any other observable in the Color Glass Condensate framework. We demonstrate this explicitly for the inclusive quark production cross section in proton-proton collisions and by calculating predictions for the nuclear modification factor for the $F_2$ structure function in the EIC and LHeC/FCC-he kinematics.


title: A Relay System for Semantic Image Transmission based on Shared Feature Extraction and Hyperprior Entropy Compression

abstract: Nowadays, the need for high-quality image reconstruction and restoration is more and more urgent. However, most image transmission systems may suffer from image quality degradation or transmission interruption in the face of interference such as channel noise and link fading. To solve this problem, a relay communication network for semantic image transmission based on shared feature extraction and hyperprior entropy compression (HEC) is proposed, where the shared feature extraction technology based on Pearson correlation is proposed to eliminate partial shared feature of extracted semantic latent feature. In addition, the HEC technology is used to resist the effect of channel noise and link fading and carried out respectively at the source node and the relay node. Experimental results demonstrate that compared with other recent research methods, the proposed system has lower transmission overhead and higher semantic image transmission performance. Particularly, under the same conditions, the multi-scale structural similarity (MS-SSIM) of this system is superior to the comparison method by approximately 0.2.


title: Optical spectroscopy of comets

abstract: Comets are pristine remnants of the Solar system, composed of dust and ice. They remain inactive and undetectable for most of their orbit due to low temperatures. However, as they approach the Sun, volatile materials sublimate, expelling dust and creating a visible coma. Spectroscopic observations of comets help the simultaneous study of both the gas emissions and reflected sunlight from dust particles. By implementing a long slit, the spatial variations in molecular emissions can be analysed to be further used for other computations. Additionally, spatial information aids in extracting the characteristic profile of the Af(rho) parameter, revealing insights into the behaviour of dust emissions. A sufficiently long slit would prove advantageous in extracting information about the emissions occurring at different parts of the coma or even the tail. We can gain an overall comprehensive understanding of a comet's chemical composition and dust emission by constructively utilising low-resolution spectroscopy with the help of a long slit.


title: Using the critical set to induce bifurcations

abstract: For a function $F: X \to Y$ between real Banach spaces, we show how continuation methods to solve $F(u) = g$ may improve from basic understanding of the critical set $C$ of $F$. The algorithm aims at special points with a large number of preimages, which in turn may be used as initial conditions for standard continuation methods applied to the solution of the desired equation. A geometric model based on the sets $C$ and $F^{-1}(F(C))$ substantiate our choice of curves $c \in X$ with abundant intersections with $C$. We consider three classes of examples. First we handle functions $F: R^2 \to R^2$, for which the reasoning behind the techniques is visualizable. The second set of examples, between spaces of dimension 15, is obtained by discretizing a nonlinear Sturm-Liouville problem for which special points admit a high number of solutions. Finally, we handle a semilinear elliptic operator, by computing the six solutions of an equation of the form $-\Delta - f(u) = g$ studied by Solimini.


title: The gauge-relativity of quantum light, matter, and information

abstract: We describe the physical relativity of light and matter quantum subsystems, their correlations, and energy exchanges. We examine the most commonly adopted definitions of atoms and photons, noting the significant difference in their localisation properties when expressed in terms of primitive manifestly gauge-invariant and local fields. As a result, different behaviours for entanglement generation and energy exchange occur for different definitions. We explore such differences in detail using toy models of a single photonic mode interacting with one and two dipoles.


title: Fluctuation-induced Forces on Nanospheres in External Fields

abstract: We analyze the radiative forces between two dielectric nanospheres mediated via the quantum and thermal fluctuations of the electromagnetic field in the presence of an external drive. We generalize the scattering theory description of fluctuation forces to include external quantum fields, allowing them to be in an arbitrary quantum state. The known trapping and optical binding potentials are recovered for an external coherent state. We demonstrate that an external squeezed vacuum state creates similar potentials to a laser, despite its zero average intensity. Moreover, Schr\"odinger cat states of the field can enhance or suppress the optical potential depending on whether they are odd or even. Considering the nanospheres trapped by optical tweezers, we examine the total interparticle potential as a function of various experimentally relevant parameters, such as the field intensity, polarization, and phase of the trapping lasers. We demonstrate that an appropriate set of parameters could produce mutual bound states of the two nanospheres with potential depth as large as $\sim200$ K. Our results are pertinent to ongoing experiments with trapped nanospheres in the macroscopic quantum regime, paving the way for engineering interactions among macroscopic quantum systems.


title: Photo-Detection Efficiency measurement for FBK HD Near-UV sensitive SiPMs at 10 K temperature

abstract: We report the characterization of the FBK ``NUV-HD-Cryo'' SiPMs at 10 K temperature. With 405 nm and 530 nm light, we measured the photo-detection efficiency (PDE) at the bias voltages between 6 to 11 V overvoltage (OV). The PDE reaches $\sim$ 40\% for 405 nm and 530 nm light with a bias voltage of OV 9 V. A bias voltage higher than 9 V leads to a slightly greater PDE. We also measured the SiPMs' PDE at room temperature (RT). The results are consistent with the measurements on the similar model SiPMs by other groups. The I-V curve of the SiPMs differs significantly from the conventional one measured at RT. The dark current ratio (DCR) is tested to be $\sim$ 1 Hz for the 92 mm$^2$ SiPMs, or 0.01 Hz/mm$^2$, which is $\sim$ 7 orders lower than the ratio tested at RT. The SiPMs' performance at 10 K demonstrated that it could be equipped on a liquid helium detector as the photosensor to search for rare events, including but not limited to dark matter searches.


title: Scaling of the Cumulative Weights of the Invasion Percolation Cluster on a Branching Process Tree

abstract: We analyse the scaling of the weights added by invasion percolation on a branching process tree. This process is a paradigm model of self-organised criticality, where criticality is approach without a prespecified parameter. In this paper, we are interested in the invasion percolation cluster (IPC), obtained by performing invasion percolation for $n$ steps and letting $n\to\infty$. The volume scaling of the IPC was discussed in detail in (G\"undlach and van der Hofstad 2023) and in this work, we extend this analysis to the scaling of the cumulative weights of the IPC. We assume a power-law offspring distribution on the branching process tree with exponent $\alpha$. In the regimes $\alpha>2$ and $\alpha\in(1,2)$, we observe a natural law-of-large-numbers result, where the cumulative weights have the same scaling as the volume, but converge to a different limit. In the case $\alpha<1$, where the weights added by invasion percolation vanish, the scaling regimes change significantly. For $\alpha\in(1/2,1)$, the weights scale exponentially but with a different parameter than the volume scaling, while for $\alpha\in(0,1/2)$ it turns out that the weights are summable without any scaling. Such a phase transition at $\alpha=1/2$ of the cumulative weights is novel and unexpected as there is no significant change in the neighbourhood scaling of the IPC at $\alpha=1/2$.


title: Kerr-type nonlinear baths enhance cooling in quantum refrigerators

abstract: We study the self-contained three-qubit quantum refrigerator, with a three-body interaction enabling cooling of the target qubit, in presence of baths composed of anharmonic quantum oscillators with Kerr-type nonlinearity. We show that such baths, locally connected to the three qubits, opens up the opportunity to implement superior steady-state cooling compared to using harmonic oscillator baths, aiding in access to the free energy required for empowering the refrigerator function autonomously. We find that in spite of providing significant primacy in steady-state cooling, such anharmonic baths do not impart much edge over using harmonic oscillator baths if one targets transient cooling. However, we gain access to steady-state cooling in the parameter region where only transient cooling could be achieved by using harmonic baths. Subsequently, we also study the scaling of steady-state cooling advantage and the minimum attainable temperature for varying levels of anharmonicity present in the bath oscillators. Finally, we analyse heat currents and coefficients of performance of quantum refrigerators using bath modes involving Kerr-type nonlinearity, and present a comparison with the case of using bosonic baths made of simple harmonic oscillators. On the way, we derive the decay rates in the Gorini-Kossakowski-Sudarshan-Lindblad quantum master equation for Kerr-type anharmonic oscillator baths.


title: From Principle to Practice: Vertical Data Minimization for Machine Learning

abstract: Aiming to train and deploy predictive models, organizations collect large amounts of detailed client data, risking the exposure of private information in the event of a breach. To mitigate this, policymakers increasingly demand compliance with the data minimization (DM) principle, restricting data collection to only that data which is relevant and necessary for the task. Despite regulatory pressure, the problem of deploying machine learning models that obey DM has so far received little attention. In this work, we address this challenge in a comprehensive manner. We propose a novel vertical DM (vDM) workflow based on data generalization, which by design ensures that no full-resolution client data is collected during training and deployment of models, benefiting client privacy by reducing the attack surface in case of a breach. We formalize and study the corresponding problem of finding generalizations that both maximize data utility and minimize empirical privacy risk, which we quantify by introducing a diverse set of policy-aligned adversarial scenarios. Finally, we propose a range of baseline vDM algorithms, as well as Privacy-aware Tree (PAT), an especially effective vDM algorithm that outperforms all baselines across several settings. We plan to release our code as a publicly available library, helping advance the standardization of DM for machine learning. Overall, we believe our work can help lay the foundation for further exploration and adoption of DM principles in real-world applications.


title: Collaborative Word-based Pre-trained Item Representation for Transferable Recommendation

abstract: Item representation learning (IRL) plays an essential role in recommender systems, especially for sequential recommendation. Traditional sequential recommendation models usually utilize ID embeddings to represent items, which are not shared across different domains and lack the transferable ability. Recent studies use pre-trained language models (PLM) for item text embeddings (text-based IRL) that are universally applicable across domains. However, the existing text-based IRL is unaware of the important collaborative filtering (CF) information. In this paper, we propose CoWPiRec, an approach of Collaborative Word-based Pre-trained item representation for Recommendation. To effectively incorporate CF information into text-based IRL, we convert the item-level interaction data to a word graph containing word-level collaborations. Subsequently, we design a novel pre-training task to align the word-level semantic- and CF-related item representation. Extensive experimental results on multiple public datasets demonstrate that compared to state-of-the-art transferable sequential recommenders, CoWPiRec achieves significantly better performances in both fine-tuning and zero-shot settings for cross-scenario recommendation and effectively alleviates the cold-start issue. The code is available at: https://github.com/ysh-1998/CoWPiRec.


title: Fast Estimations of Hitting Time of Elitist Evolutionary Algorithms from Fitness Levels

abstract: The fitness level method is an easy-to-use tool for estimating the hitting time of elitist evolutionary algorithms. Recently, linear lower and upper bounds by fitness levels have been constructed. But these bounds require recursive computation, which makes them difficult to use in practice. We address this shortcoming with a new directed graph (digraph) method that does not require recursive computation and significantly simplifies the calculation of coefficients in the lower bound. In the method, we select a sub-digraph and divide it into fitness levels, then construct an explicit formula for computing the linear lower bound coefficients using transition probabilities restricted to the subdigraph. A major advantage of the new method is the derivation of tight lower bounds on fitness functions with shortcuts, which are difficult to achieve using previous fitness methods. We use three examples (FullyDeceptive, TwoMax1 and Deceptive) to demonstrate that each new lower bound is tight, but previous lower bounds are not. Our work significantly extends the fitness level method from addressing simple fitness functions without shortcuts to more complex functions with shortcuts.


title: Witnessing quantum coherence with prior knowledge of observables

abstract: Quantum coherence is the key resource in quantum technologies including faster computing, secure communication and advanced sensing. Its quantification and detection are, therefore, paramount within the context of quantum information processing. Having certain priori knowledge on the observables may enhance the efficiency of coherence detection. In this work, we posit that the trace of the observables is a known quantity. Our investigation confirms that this assumption indeed extends the scope of coherence detection capabilities. Utilizing this prior knowledge of the trace of the observables, we establish a series of coherence detection criteria. We investigate the detection capabilities of these coherence criteria from diverse perspectives and ultimately ascertain the existence of four distinct and inequivalent criteria. These findings contribute to the deepening of our understanding of coherence detection methodologies, thereby potentially opening new avenues for advancements in quantum technologies.


title: Groupoid intertwiner and twist for dynamical Yang--Baxter equation: part I

abstract: Intertwiner is a homomorphism between two existing dynamical R matrices, first introduced by Baxter in eight vertex-SOS correspondence, we develop certain equivalence relations among R matrices using intertwiners. Twist is a homomorphism that twist a dynamical R matrix to get a new dynamical R matrix, we introduce a kind of notion of twist that generalize classical Drinfeld twist in quasi-triangular Hopf algebra and some dynamical twist. As applications, we obtain some examples of twists from Ocneanu cell calculus and Fendley--Ginsparg orbifold constructions. The relations between intertwiner and twist are also discussed, the groupoid structures are emphasized.


title: CNL2ASP: converting controlled natural language sentences into ASP

abstract: Answer Set Programming (ASP) is a popular declarative programming language for solving hard combinatorial problems. Although ASP has gained widespread acceptance in academic and industrial contexts, there are certain user groups who may find it more advantageous to employ a higher-level language that closely resembles natural language when specifying ASP programs. In this paper, we propose a novel tool, called CNL2ASP, for translating English sentences expressed in a controlled natural language (CNL) form into ASP. In particular, we first provide a definition of the type of sentences allowed by our CNL and their translation as ASP rules, and then exemplify the usage of the CNL for the specification of both synthetic and real-world combinatorial problems. Finally, we report the results of an experimental analysis conducted on the real-world problems to compare the performance of automatically generated encodings with the ones written by ASP practitioners, showing that our tool can obtain satisfactory performance on these benchmarks. Under consideration in Theory and Practice of Logic Programming (TPLP).


title: Phase Coexistence of Mn Trimer Clusters and Antiferromagnetic Mn Islands on Ir(111)

abstract: Clusters supported by solid substrates are prime candidates for heterogeneous catalysis and can be prepared in various ways. While mass-selected soft-landing methods are often used for the generation of monodisperse particles, self-assembly typically leads to a range of different cluster sizes. Here we show by scanning tunneling microscopy measurements that in the initial stages of growth Mn forms trimers on a close-packed hexagonal Ir surface, providing a route for self-organized monodisperse cluster formation on an isotropic metallic surface. For an increasing amount of Mn, first a phase with reconstructed monolayer islands is formed, until at full coverage a pseudomorphic Mn phase evolves which is the most densely packed one of the three different observed Mn phases on Ir(111). The magnetic state of both the reconstructed islands and the pseudomorphic film is found to be the prototypical antiferromagnetic N\'eel state with 120{\deg} spin rotation between all nearest neighbors in the hexagonal layer.


title: Combining astrophysical datasets with CRUMB

abstract: At present, the field of astronomical machine learning lacks widely-used benchmarking datasets; most research employs custom-made datasets which are often not publicly released, making comparisons between models difficult. In this paper we present CRUMB, a publicly-available image dataset of Fanaroff-Riley galaxies constructed from four "parent" datasets extant in the literature. In addition to providing the largest image dataset of these galaxies, CRUMB uses a two-tier labelling system: a "basic" label for classification and a "complete" label which provides the original class labels used in the four parent datasets, allowing for disagreements in an image's class between different datasets to be preserved and selective access to sources from any desired combination of the parent datasets.


title: Anomalous spin precession systematic effects in the search for a muon EDM using the frozen-spin technique

abstract: At the Paul Scherrer Institut (PSI), we are currently working on the development of a high-precision apparatus with the aim of searching for the muon electric dipole moment (EDM) with unprecedented sensitivity. The underpinning principle of this experiment is the frozen-spin technique, a method that suppresses the spin precession due to the anomalous magnetic moment, thereby enhancing the signal-to-noise ratio for EDM signals. This increased sensitivity facilitates measurements that would be difficult to achieve with conventional $g - 2$ muon storage rings. Given the availability of the $p = 125$ MeV/$c$ muon beam at PSI, the anticipated statistical sensitivity for the EDM after a year of data collection is $6\times 10^{-23}e\cdot$cm. To achieve this goal, it is imperative to meticulously analyse and mitigate any potential spurious effects that could mimic EDM signals. In this study, we present a quantitative methodology to evaluate the systematic effects that might arise in the context of employing the frozen-spin technique within a compact storage ring. Our approach entails the analytical derivation of equations governing the motion of the muon spin in the electromagnetic (EM) fields intrinsic to the experimental setup, validated through subsequent numerical simulations. We also illustrate a method to calculate the cumulative geometric (Berry's) phase. This work complements ongoing experimental efforts to detect a muon EDM at PSI and contributes to a broader understanding of spin-precession systematic effects.


title: Electron-phonon interaction and electronic correlations in transport through electrostatically and tunnel coupled quantum dots

abstract: We investigate two equivalent capacitively and tunnel coupled quantum dots, each coupled to its own pair of leads. Local Holstein type electron-phonon coupling at the dots is assumed. To study many-body effects we use the finite-U mean-field slave boson approach. For vanishing interdot interaction, weak e-ph coupling and finite tunneling, molecular orbital spin Kondo effects occur for single electron or single hole occupations. Phonons influence both correlations and tunneling and additionally they shift the energies of the dots. Depending on the dot energies and the strength of electron-phonon coupling, the system is occupied by a different number of electrons that effectively interact with each other repulsively or attractively leading to a number of different ground states of DQD. Among them are Kondo-like states with spin, orbital or charge correlations resulting from polaron cotunneling processes and states with magnetic intersite correlations.


title: Deterministic preparation of optical squeezed cat and Gottesman-Kitaev-Preskill states

abstract: Large-amplitude squeezed cat and high-quality Gottesman-Kitaev-Preskill (GKP) states are powerful resources for quantum error correction. However, previous schemes in optics are limited to low success probabilities, small amplitudes, and low squeezing. We overcome these limitations and present scalable schemes in optics for the deterministic preparation of large-amplitude squeezed cat states using only Gaussian operations and photon-number measurements. These states can be bred to prepare high-quality approximate GKP states, showing that GKP error correction in optics is technically feasible in near-term experiments.


title: A Large-Scale Study on the Prevalence and Usage of TEE-based Features on Android

abstract: In the realm of mobile security, where OS-based protections have proven insufficient against robust attackers, Trusted Execution Environments (TEEs) have emerged as a hardware-based security technology. Despite the industry's persistence in advancing TEE technology, the impact on end users and developers remains largely unexplored. This study addresses this gap by conducting a large-scale analysis of TEE utilization in Android applications, focusing on the key areas of cryptography, digital rights management, biometric authentication, and secure dialogs. To facilitate our extensive analysis, we introduce Mobsec Analytika, a framework tailored for large-scale app examinations, which we make available to the research community. Through the analysis of 170,550 popular Android apps, our analysis illuminates the implementation of TEE-related features and their contextual usage. Our findings reveal that TEE features are predominantly utilized indirectly through third-party libraries, with only 6.7% of apps directly invoking the APIs. Moreover, the study reveals the underutilization of the recent TEE-based UI feature Protected Confirmation.


title: Causal Fairness-Guided Dataset Reweighting using Neural Networks

abstract: The importance of achieving fairness in machine learning models cannot be overstated. Recent research has pointed out that fairness should be examined from a causal perspective, and several fairness notions based on the on Pearl's causal framework have been proposed. In this paper, we construct a reweighting scheme of datasets to address causal fairness. Our approach aims at mitigating bias by considering the causal relationships among variables and incorporating them into the reweighting process. The proposed method adopts two neural networks, whose structures are intentionally used to reflect the structures of a causal graph and of an interventional graph. The two neural networks can approximate the causal model of the data, and the causal model of interventions. Furthermore, reweighting guided by a discriminator is applied to achieve various fairness notions. Experiments on real-world datasets show that our method can achieve causal fairness on the data while remaining close to the original data for downstream tasks.