title: Reservoir Computing with Colloidal Mixtures of ZnO and Proteinoids

abstract: Liquid computers use incompressible fluids for computational processes. Here we present experimental laboratory prototypes of liquid computers using colloids composed of zinc oxide (ZnO) nanoparticles and microspheres containing thermal proteins (proteinoids). The choice of proteinoids is based on their distinctive neuron-like electrical behaviour and their similarity to protocells. In addition, ZnO nanoparticles are chosen for their non-trivial electrical properties. Our research demonstrates the successful extraction of 2-, 4- and 8-bit logic functions in ZnO proteinoid colloids. Our analysis shows that each material has a distinct set of logic functions, and that the complexity of the expressions is directly related to each material present in a mixture. These findings provide a basis for the development of future hybris liquid devices capable of general purpose computing.


title: Two-Loop Master Integrals for Leading-Color $pp\to t\bar{t}H$ Amplitudes with a Light-Quark Loop

abstract: We compute the two-loop master integrals for leading-color QCD scattering amplitudes including a closed light-quark loop in $t\bar{t}H$ production at hadron colliders. Exploiting numerical evaluations in modular arithmetic, we construct a basis of master integrals satisfying a system of differential equations in $\epsilon$-factorized form. We present the analytic form of the differential equations in terms of a minimal set of differential one-forms. We explore properties of the function space of analytic solutions to the differential equations in terms of iterative integrals which can be exploited for studying the analytic form of related scattering amplitudes. Finally, we solve the differential equations using generalized series expansions to numerically evaluate the master integrals in physical phase space. As the first computation of a set of two-loop seven-scale master integrals, our results provide valuable input for analytic studies of scattering amplitudes in processes involving massive particles and a large number of kinematic scales.


title: Ultra Low Complexity Deep Learning Based Noise Suppression

abstract: This paper introduces an innovative method for reducing the computational complexity of deep neural networks in real-time speech enhancement on resource-constrained devices. The proposed approach utilizes a two-stage processing framework, employing channelwise feature reorientation to reduce the computational load of convolutional operations. By combining this with a modified power law compression technique for enhanced perceptual quality, this approach achieves noise suppression performance comparable to state-of-the-art methods with significantly less computational requirements. Notably, our algorithm exhibits 3 to 4 times less computational complexity and memory usage than prior state-of-the-art approaches.


title: Simplicial $C_2$-Isovariant Homotopy

abstract: This article presents a novel approach to construct a model category structure designed to model the homotopy theory of spaces equipped with an action by the group $C_2$, where morphisms are considered to be isovariant. Our methodology centers on simplicial techniques. We replace the conventional simplex category $\Delta$ with a modified category $C_2 \Delta$ and then delve into the study of presheaves of sets on $C_2 \Delta$. To establish the model category structure we employ Cisinski's methods for model structures in categories of presheaves. In particular, we use an analogous idea to the one employed by Cisinski and Moerdjik in the construction of a model category structure for Dendroidal Sets (arXiv:0902.1954). Our approach distinguishes itself from prior work, such as Yeakel's (arXiv:1907.12135) which primarily focuses on a more topological context and, brings a new perspective to the study of isovariant homotopy theory for $C_2$-spaces.


title: MToP: A MATLAB Optimization Platform for Evolutionary Multitasking

abstract: Evolutionary multitasking (EMT) has emerged as a popular topic of evolutionary computation over the past years. It aims to concurrently address multiple optimization tasks within limited computing resources, leveraging inter-task knowledge transfer techniques. Despite the abundance of multitask evolutionary algorithms (MTEAs) proposed for multitask optimization (MTO), there remains a comprehensive software platform to help researchers evaluate MTEA performance on benchmark MTO problems as well as explore real-world applications. To bridge this gap, we introduce the first open-source optimization platform, named MTO-Platform (MToP), for EMT. MToP incorporates over 40 MTEAs, more than 150 MTO problem cases with real-world applications, and over 10 performance metrics. Moreover, to facilitate comparative analyses between MTEAs and traditional evolutionary algorithms, we adapted over 40 popular single-task evolutionary algorithms to address MTO problems. MToP boasts a user-friendly graphical interface, facilitating results analysis, data export, and schematics visualization. More importantly, MToP is designed with extensibility in mind, allowing users to develop new algorithms and tackle emerging problem domains. The source code of MToP is available at https://github.com/intLyc/MTO-Platform.


title: A New Perspective On Denoising Based On Optimal Transport

abstract: In the standard formulation of the denoising problem, one is given a probabilistic model relating a latent variable $\Theta \in \Omega \subset \mathbb{R}^m \; (m\ge 1)$ and an observation $Z \in \mathbb{R}^d$ according to: $Z \mid \Theta \sim p(\cdot\mid \Theta)$ and $\Theta \sim G^*$, and the goal is to construct a map to recover the latent variable from the observation. The posterior mean, a natural candidate for estimating $\Theta$ from $Z$, attains the minimum Bayes risk (under the squared error loss) but at the expense of over-shrinking the $Z$, and in general may fail to capture the geometric features of the prior distribution $G^*$ (e.g., low dimensionality, discreteness, sparsity, etc.). To rectify these drawbacks, in this paper we take a new perspective on this denoising problem that is inspired by optimal transport (OT) theory and use it to propose a new OT-based denoiser at the population level setting. We rigorously prove that, under general assumptions on the model, our OT-based denoiser is well-defined and unique, and is closely connected to solutions to a Monge OT problem. We then prove that, under appropriate identifiability assumptions on the model, our OT-based denoiser can be recovered solely from information of the marginal distribution of $Z$ and the posterior mean of the model, after solving a linear relaxation problem over a suitable space of couplings that is reminiscent of a standard multimarginal OT (MOT) problem. In particular, thanks to Tweedie's formula, when the likelihood model $\{ p(\cdot \mid \theta) \}_{\theta \in \Omega}$ is an exponential family of distributions, the OT-based denoiser can be recovered solely from the marginal distribution of $Z$. In general, our family of OT-like relaxations is of interest in its own right and for the denoising problem suggests alternative numerical methods inspired by the rich literature on computational OT.


title: ProNeRF: Learning Efficient Projection-Aware Ray Sampling for Fine-Grained Implicit Neural Radiance Fields

abstract: Recent advances in neural rendering have shown that, albeit slow, implicit compact models can learn a scene's geometries and view-dependent appearances from multiple views. To maintain such a small memory footprint but achieve faster inference times, recent works have adopted `sampler' networks that adaptively sample a small subset of points along each ray in the implicit neural radiance fields. Although these methods achieve up to a 10$\times$ reduction in rendering time, they still suffer from considerable quality degradation compared to the vanilla NeRF. In contrast, we propose ProNeRF, which provides an optimal trade-off between memory footprint (similar to NeRF), speed (faster than HyperReel), and quality (better than K-Planes). ProNeRF is equipped with a novel projection-aware sampling (PAS) network together with a new training strategy for ray exploration and exploitation, allowing for efficient fine-grained particle sampling. Our ProNeRF yields state-of-the-art metrics, being 15-23x faster with 0.65dB higher PSNR than NeRF and yielding 0.95dB higher PSNR than the best published sampler-based method, HyperReel. Our exploration and exploitation training strategy allows ProNeRF to learn the full scenes' color and density distributions while also learning efficient ray sampling focused on the highest-density regions. We provide extensive experimental results that support the effectiveness of our method on the widely adopted forward-facing and 360 datasets, LLFF and Blender, respectively.


title: Detection of Geometric Phases in Spin Waves using Nitrogen-Vacancy Centers

abstract: Due to their robustness, the implementation of geometric phases provides a reliable and controllable way to manipulate the phase of a spin wave, thereby paving the way towards functional magnonics-based data processing devices. Moreover, geometric phases in spin waves are interesting from a fundamental perspective as they contain information about spin wave band structures and play an important role in magnon Hall effects. In this paper we propose to directly measure geometric phases in spin wave systems using the magnetic field sensing capabilities of nitrogen-vacancy (NV) centers. We demonstrate the general principles of this method on two systems in which spin waves acquire a geometric phase, namely a wire with a magnetic domain wall and a system with position-dependent anisotropy axes, and explicitly show how this phase can be deduced from the NV center signal.


title: Proceedings of the Sixth International Conference on Applied Category Theory 2023

abstract: The Sixth International Conference on Applied Category Theory took place at the University of Maryland, 31 July -- 4 August 2023. This conference follows the previous meetings at Leiden (2018), Oxford (2019), MIT (2020, fully online), Cambridge (2021) and Glasgow (2022). The conference comprised contributed talks, a poster session, an industry showcase session, and a session where junior researchers who had attended the Adjoint School presented the results of their research at the school. Information regarding the conference may be found at (https://act2023.github.io/). The contributions to ACT2023 ranged from pure to applied and included contributions in a wide range of disciplines in science and engineering. Submission to ACT 2023 had three tracks: extended abstracts, software demonstrations, and proceedings. Only papers submitted to the proceedings track were considered for publication in this volume.


title: Strain, Anharmonicity and Finite-Size Effects on the Vibrational Properties of Linear Carbon Chains

abstract: Linear carbon chains (LCCs) are the ultimate 1D molecular system and they show unique mechanical, optical and electronic properties that can be tuned by altering the number of carbon atoms, strain, encapsulation, and other external parameters. In this work, we probe the effects of quantum anharmonicity, strain and finite size on the structural and vibrational properties of these chains, using high$-$level density functional theory (DFT) calculations. We find strong anharmonicity effects for infinite chains, leading to ground$-$state nuclear wavefunctions that are barely localized at each of the dimerized geometries, i.e. strong tunneling occurs between the two minima of the potential energy surface. This effect is enhanced for compressive strains. In addition, vibrational C$-$band frequencies deviate substantially from experimental measurements in long chains encapsulated in carbon nanotubes. On the other hand, calculations for finite chains suggest that quantum anharmonicity effects are strongly suppressed in finite system, even in the extrapolation to the infinite case. For finite systems, vibrational C$-$band frequencies agree well with experimental values at zero pressure. However, these frequencies increase under compressive strain, in contradiction with recent results. This contradiction is not resolved by adding explicitly the encapsulating carbon nanotubes to our calculations. Our results indicate that LCCs embody an intriguing 1D system in which the behavior of very large finite systems do not reproduce or converge to the behavior of truly infinite ones.


title: GVE-LPA: Fast Label Propagation Algorithm (LPA) for Community Detection in Shared Memory Setting

abstract: Community detection is the problem of identifying natural divisions in networks. Efficient parallel algorithms for this purpose are crucial in various applications, particularly as datasets grow to substantial scales. This technical report presents an optimized parallel implementation of the Label Propagation Algorithm (LPA), a high speed community detection method, for shared memory multicore systems. On a server equipped with dual 16-core Intel Xeon Gold 6226R processors, our LPA, which we term as GVE-LPA, outperforms FLPA, igraph LPA, and NetworKit LPA by 139x, 97000x, and 40x respectively - achieving a processing rate of 1.4B edges/s on a 3.8B edge graph. In addition, GVE-LPA scales at a rate of 1.7x every doubling of threads.


title: How to measure consumer's inconsistency in sensory testing?

abstract: Standard methods, standard test conditions and the use of good sensory practices are key elements of sensory testing. However, while compliance assessment by trained and expert assessors is well developed, few information is available on testing consumer consistency. Therefore, we aim to answer the following research questions: What type of metrics can be used to characterise (in)consistent evaluation? How to rank assessors and attributes' evaluations based on (in)consistency? Who can be considered an (in)consistent assessor? What is the difference between consistent and inconsistent assessors' evaluations and use of scale? What is the impact of consistent and inconsistent assessors' evaluations on the overall liking estimate? The proposed detection of (in)consistency requires evaluations on two connected scales. We reveal how assessors and attributes can be ranked according to the level of inconsistency, as well as how inconsistent assessors can be identified. The suggested approach is illustrated by data from sensory tests of biscuits enriched with three pollens at different levels. Future consumer tests are recommended to account for possible inconsistent evaluations.


title: Effects of scattering in the accretion funnel on the pulse profiles of accreting millisecond pulsars

abstract: The hotspot emission of accreting millisecond pulsars (AMPs) undergoes scattering in the accretion flow between the disk inner radius and the neutron star surface. The scattering optical depth of the flow depends on the photon emission angle, which is a function of the pulse phase, and reaches its maximum when the hotspot is closest to the observer. At sufficiently large optical depths the observed pulse profile should develop a secondary minimum, the depth of which depends on the accretion rate and the emission geometry. Such a dip evolving with the accretion rate might explain the phase shift and pulse profile evolution observed in AMPs during outbursts. Accounting for scattering is important for accurate modeling of the AMP pulse profiles in order to improve the accuracy of determination of the neutron star parameters, such as their masses and radii. In this paper we present a simplified analytical model for the Thomson optical depth of the accretion funnel, and apply it to simulating the pulse profiles. We show that scattering in the accretion funnel has a significant effect on the pulse profiles at accretion rates of $\dot{M} \gtrsim 10^{-10}~{M}_\odot\, \mathrm{yr}^{-1}$. Our model predicts a gradual evolution of the pulse profile with the accretion rate that appears to be consistent with the observations.


title: Efficient Representation of the Activation Space in Deep Neural Networks

abstract: The representations of the activation space of deep neural networks (DNNs) are widely utilized for tasks like natural language processing, anomaly detection and speech recognition. Due to the diverse nature of these tasks and the large size of DNNs, an efficient and task-independent representation of activations becomes crucial. Empirical p-values have been used to quantify the relative strength of an observed node activation compared to activations created by already-known inputs. Nonetheless, keeping raw data for these calculations increases memory resource consumption and raises privacy concerns. To this end, we propose a model-agnostic framework for creating representations of activations in DNNs using node-specific histograms to compute p-values of observed activations without retaining already-known inputs. Our proposed approach demonstrates promising potential when validated with multiple network architectures across various downstream tasks and compared with the kernel density estimates and brute-force empirical baselines. In addition, the framework reduces memory usage by 30% with up to 4 times faster p-value computing time while maintaining state of-the-art detection power in downstream tasks such as the detection of adversarial attacks and synthesized content. Moreover, as we do not persist raw data at inference time, we could potentially reduce susceptibility to attacks and privacy issues.


title: Privacy-Preserving Distributed Optimisation using Stochastic PDMM

abstract: Privacy-preserving distributed processing has received considerable attention recently. The main purpose of these algorithms is to solve certain signal processing tasks over a network in a decentralised fashion without revealing private/secret data to the outside world. Because of the iterative nature of these distributed algorithms, computationally complex approaches such as (homomorphic) encryption are undesired. Recently, an information theoretic method called subspace perturbation has been introduced for synchronous update schemes. The main idea is to exploit a certain structure in the update equations for noise insertion such that the private data is protected without compromising the algorithm's accuracy. This structure, however, is absent in asynchronous update schemes. In this paper we will investigate such asynchronous schemes and derive a lower bound on the noise variance after random initialisation of the algorithm. This bound shows that the privacy level of asynchronous schemes is always better than or at least equal to that of synchronous schemes. Computer simulations are conducted to consolidate our theoretical results.


title: Some applications of a new approach to factorization

abstract: As highlighted in a series of recent papers by Tringali and the author, fundamental aspects of the classical theory of factorization can be significantly generalized by blending the languages of monoids and preorders. Specifically, the definition of a suitable preorder on a monoid allows for the exploration of decompositions of its elements into (more or less) arbitrary factors. We provide an overview of the principal existence theorems in this new theoretical framework. Furthermore, we showcase additional applications beyond classical factorization, emphasizing its generality. In particular, we recover and refine a classical result by Howie on idempotent factorizations in the full transformation monoid of a finite set.


title: High-accuracy Vision-Based Attitude Estimation System for Air-Bearing Spacecraft Simulators

abstract: Air-bearing platforms for simulating the rotational dynamics of satellites require highly precise ground truth systems. Unfortunately, commercial motion capture systems used for this scope are complex and expensive. This paper shows a novel and versatile method to compute the attitude of rotational air-bearing platforms using a monocular camera and sets of fiducial markers. The work proposes a geometry-based iterative algorithm that is significantly more accurate than other literature methods that involve the solution of the Perspective-n-Point problem. Additionally, auto-calibration procedures to perform a preliminary estimation of the system parameters are shown. The developed methodology is deployed onto a Raspberry Pi 4 micro-computer and tested with a set of LED markers. Data obtained with this setup are compared against computer simulations of the same system to understand and validate the attitude estimation performances. Simulation results show expected 1-sigma accuracies in the order of $\sim$ 12 arcsec and $\sim$ 37 arcsec for about- and cross-boresight rotations of the platform, and average latency times of 6 ms.


title: A cross-diffusion system modelling rivaling gangs: global existence of bounded solutions and FCT stabilization for numerical simulation

abstract: For the gang territoriality model \begin{align*} \begin{cases} u_t = D_u \Delta u + \chi_u \nabla \cdot (u \nabla w), \\ v_t = D_v \Delta v + \chi_v \nabla \cdot (v \nabla z), \\ w_t = -w + \frac{v}{1+v}, \\ z_t = -z + \frac{u}{1+u}, \end{cases} \end{align*} where $u$ and $v$ denote the densities of two rivaling gangs which spray graffiti (with densities $z$ and $w$, respectively) and partially move away from the other gang's graffiti, we construct global, bounded classical solutions. By making use of quantitative global estimates, we prove that these solutions converge to homogeneous steady states if $\|u_0\|_{L^\infty(\Omega)}$ and $\|v_0\|_{L^\infty(\Omega)}$ are sufficiently small. Moreover, we perform numerical experiments which show that for different choices of parameters, the system may become diffusion- or convection-dominated, where in the former case the solutions converge toward constant steady states while in the later case nontrivial asymptotic behavior such as segregation is observed. In order to perform these experiments, we apply a nonlinear finite element flux-corrected transport method (FEM-FCT) which is positivity-preserving. Then, we treat the nonlinearities in both the system and the proposed nonlinear scheme simultaneously using fixed-point iteration.


title: Limits on quantum measurement engines

abstract: A quantum measurement involves energy exchanges between the system to be measured and the measuring apparatus. Some of them involve energy losses, for example because energy is dissipated into the environment or is spent in recording the measurement outcome. Moreover, these processes take time. For this reason, these exchanges must be taken into account in the analysis of a quantum measurement engine, and set limits to its efficiency and power. We propose a quantum engine based on a spin 1/2 particle in a magnetic field and study its fundamental limitations due to the quantum nature of the evolution. The coupling with the electromagnetic vacuum is taken into account and plays the role of a measurement apparatus. We fully study its dynamics, work, power and efficiency.


title: Optimal convergence rates for the spectrum of the graph Laplacian on Poisson point clouds

abstract: We prove optimal convergence rates for eigenvalues and eigenvectors of the graph Laplacian on Poisson point clouds. Our results are valid down to the critical percolation threshold, yielding error estimates for relatively sparse graphs.


title: Active learning with biased non-response to label requests

abstract: Active learning can improve the efficiency of training prediction models by identifying the most informative new labels to acquire. However, non-response to label requests can impact active learning's effectiveness in real-world contexts. We conceptualise this degradation by considering the type of non-response present in the data, demonstrating that biased non-response is particularly detrimental to model performance. We argue that biased non-response is likely in contexts where the labelling process, by nature, relies on user interactions. To mitigate the impact of biased non-response, we propose a cost-based correction to the sampling strategy--the Upper Confidence Bound of the Expected Utility (UCB-EU)--that can, plausibly, be applied to any active learning algorithm. Through experiments, we demonstrate that our method successfully reduces the harm from labelling non-response in many settings. However, we also characterise settings where the non-response bias in the annotations remains detrimental under UCB-EU for specific sampling methods and data generating processes. Finally, we evaluate our method on a real-world dataset from an e-commerce platform. We show that UCB-EU yields substantial performance improvements to conversion models that are trained on clicked impressions. Most generally, this research serves to both better conceptualise the interplay between types of non-response and model improvements via active learning, and to provide a practical, easy-to-implement correction that mitigates model degradation.


title: The Key4hep software stack: Beyond Future Higgs factories

abstract: The Key4hep project aims to provide a turnkey software solution for the full experiment lifecycle, based on established community tools. Several future collider communities (CEPC, CLIC, EIC, FCC, and ILC) have joined to develop and adapt their workflows to use the common data model EDM4hep and common framework. Besides sharing of existing experiment workflows, one focus of the Key4hep project is the development and integration of new experiment independent software libraries. Ongoing collaborations with projects such as ACTS, CLUE, PandoraPFA and the OpenDataDector show the potential of Key4hep as an experiment-independent testbed and development platform. In this talk, we present the challenges of an experiment-independent framework along with the lessons learned from discussions of interested communities (such as LUXE) and recent adopters of Key4hep in order to discuss how Key4hep could be of interest to the wider HEP community while staying true to its goal of supporting future collider designs studies.


title: Key4hep: Progress Report on Integrations

abstract: Detector studies for future experiments rely on advanced software tools to estimate performance and optimize their design and technology choices. The Key4hep project provides a flexible turnkey solution for the full experiment life-cycle based on established community tools such as ROOT, Geant4, DD4hep, Gaudi, podio and spack. Members of the CEPC, CLIC, EIC, FCC, and ILC communities have joined to develop this framework and have merged, or are in the progress of merging, their respective software environments into the Key4hep stack. These proceedings will give an overview over the recent progress in the Key4hep project: covering the developments towards adaptation of state-of-the-art tools for simulation (DD4hep, Gaussino), track and calorimeter reconstruction (ACTS, CLUE), particle flow (PandoraPFA), analysis via RDataFrame, and visualization with Phoenix, as well as tools for testing and validation.


title: $\rho$-Diffusion: A diffusion-based density estimation framework for computational physics

abstract: In physics, density $\rho(\cdot)$ is a fundamentally important scalar function to model, since it describes a scalar field or a probability density function that governs a physical process. Modeling $\rho(\cdot)$ typically scales poorly with parameter space, however, and quickly becomes prohibitively difficult and computationally expensive. One promising avenue to bypass this is to leverage the capabilities of denoising diffusion models often used in high-fidelity image generation to parameterize $\rho(\cdot)$ from existing scientific data, from which new samples can be trivially sampled from. In this paper, we propose $\rho$-Diffusion, an implementation of denoising diffusion probabilistic models for multidimensional density estimation in physics, which is currently in active development and, from our results, performs well on physically motivated 2D and 3D density functions. Moreover, we propose a novel hashing technique that allows $\rho$-Diffusion to be conditioned by arbitrary amounts of physical parameters of interest.


title: Gradient elasticity in Swift-Hohenberg and phase-field crystal models

abstract: The Swift-Hohenberg (SH) and Phase-Field Crystal (PFC) models are minimal yet powerful approaches for studying phenomena such as pattern formation, collective order, and defects via smooth order parameters. They are based on a free-energy functional that inherently includes elasticity effects. This study addresses how gradient elasticity (GE), a theory that accounts for elasticity effects at microscopic scales by introducing additional characteristic lengths, is incorporated into SH and PFC models. After presenting the fundamentals of these theories and models, we first calculate the characteristic lengths for various lattice symmetries in an approximated setting. We then discuss numerical simulations of stress fields at dislocations and comparisons with analytic solutions within first and second strain-gradient elasticity. Effective GE characteristic lengths for the elastic fields induced by dislocations are found to depend on the free-energy parameters in the same manner as the phase correlation length, thus unveiling how they change with the quenching depth. The findings presented in this study enable a thorough discussion and analysis of small-scale elasticity effects in pattern formation and crystalline systems using SH and PFC models and, importantly, complete the elasticity analysis therein. Additionally, we provide a microscopic foundation for GE in the context of order-disorder phase transitions.


title: Achievement sets of series in $\mathbb{R}^2$

abstract: We examine properties of achievement sets of series in $\mathbb{R}^2$. We show several examples of unusual sets of subsums on the plane. We prove that we can obtain any set of P-sums as a cut of an achievement set in $\mathbb{R}^2.$ We introduce a notion of the spectre of a set in an Abelian group, which generalizes the notion of the center of distances. We examine properties of the spectre and we use it, for example, to show that the Sierpi\'nski carpet is not an achievement set of any series.


title: Okapi: Efficiently Safeguarding Speculative Data Accesses in Sandboxed Environments

abstract: This paper introduces Okapi, a new hardware/software cross-layer architecture designed to mitigate Transient Execution Side Channel (TES) attacks in modern computing systems. Okapi enforces sandboxing for speculative execution, providing a hardware basis that can replace expensive speculation barriers in software. At its core, Okapi allows for speculative data accesses to a memory page only after the page has been accessed non-speculatively at least once by the current trust domain. The granularity of the trust domains can be controlled in software to achieve different security and performance trade-offs. For environments with less stringent security needs, Okapi's features can be deactivated to remove all performance overhead. Without relying on any software modification, the Okapi hardware features already provide full protection against TES breakout attacks at a thread-level granularity. This incurs an average performance overhead of only 3.17% for the SPEC CPU2017 benchmark suite. Okapi introduces the OkapiReset instruction for additional software-level security support. This instruction allows for fine-grained sandboxing with custom program sizes smaller than a thread, resulting in 1.68% performance overhead in our WebAssembly runtime experiment. On top, Okapi provides the possibility to eliminate poisoning attacks. For the highest level of security, the OkapiLoad instruction prevents confidential data from being added to the trust domain after a sequential access, thereby enforcing weak speculative non-interference. In addition, we present a hardware extension that limits the exploitable code space for Spectre gadgets to well-defined sections of the program. By ensuring the absence of gadgets in these sections, developers can tailor their software towards achieving beneficial trade-offs between the size of a trust domain and performance.


title: CIDR: A Cooperative Integrated Dynamic Refining Method for Minimal Feature Removal Problem

abstract: The minimal feature removal problem in the post-hoc explanation area aims to identify the minimal feature set (MFS). Prior studies using the greedy algorithm to calculate the minimal feature set lack the exploration of feature interactions under a monotonic assumption which cannot be satisfied in general scenarios. In order to address the above limitations, we propose a Cooperative Integrated Dynamic Refining method (CIDR) to efficiently discover minimal feature sets. Specifically, we design Cooperative Integrated Gradients (CIG) to detect interactions between features. By incorporating CIG and characteristics of the minimal feature set, we transform the minimal feature removal problem into a knapsack problem. Additionally, we devise an auxiliary Minimal Feature Refinement algorithm to determine the minimal feature set from numerous candidate sets. To the best of our knowledge, our work is the first to address the minimal feature removal problem in the field of natural language processing. Extensive experiments demonstrate that CIDR is capable of tracing representative minimal feature sets with improved interpretability across various models and datasets.


title: Distributed Quantum Learning with co-Management in a Multi-tenant Quantum System

abstract: The rapid advancement of quantum computing has pushed classical designs into the quantum domain, breaking physical boundaries for computing-intensive and data-hungry applications. Given its immense potential, quantum-based computing systems have attracted increasing attention with the hope that some systems may provide a quantum speedup. For example, variational quantum algorithms have been proposed for quantum neural networks to train deep learning models on qubits, achieving promising results. Existing quantum learning architectures and systems rely on single, monolithic quantum machines with abundant and stable resources, such as qubits. However, fabricating a large, monolithic quantum device is considerably more challenging than producing an array of smaller devices. In this paper, we investigate a distributed quantum system that combines multiple quantum machines into a unified system. We propose DQuLearn, which divides a quantum learning task into multiple subtasks. Each subtask can be executed distributively on individual quantum machines, with the results looping back to classical machines for subsequent training iterations. Additionally, our system supports multiple concurrent clients and dynamically manages their circuits according to the runtime status of quantum workers. Through extensive experiments, we demonstrate that DQuLearn achieves similar accuracies with significant runtime reduction, by up to 68.7% and an increase per-second circuit processing speed, by up to 3.99 times, in a 4-worker multi-tenant setting.


title: Statistical and dynamical aspects of quantum chaos in a kicked Bose-Hubbard dimer

abstract: Systems of interacting bosons in double-well potentials, modeled by two-site Bose-Hubbard models, are of significant theoretical and experimental interest and attracted intensive studies in contexts ranging from many-body physics and quantum dynamics to the onset of quantum chaos. In this work we systematically study a kicked two-site Bose-Hubbard model (Bose-Hubbard dimer) with the on-site potential difference being periodically modulated. Our model can be equivalently represented as a kicked Lipkin-Meshkov-Glick model and thus displays different dynamical behaviors from the kicked top model. By analyzing spectral statistics of Floquet operator, we unveil that the system undergoes a transition from regularity to chaos with increasing the interaction strength. Then based on semiclassical approximation and the analysis of R\'{e}nyi entropy of coherent states in the basis of Floquet operator eigenstates, we reveal the local chaotic features of our model, which indicate the existence of integrable islands even in the deep chaotic regime. The semiclassical analysis also suggests that the system in chaotic regime may display different dynamical behavior depending on the choice of initial states. Finally, we demonstrate that dynamical signatures of chaos can be manifested by studying dynamical evolution of local operators and out of time order correlation function as well as the entanglement entropy. Our numerical results exhibit the richness of dynamics of the kicked Bose-Hubbard dimer in both regular and chaotic regimes as the initial states are chosen as coherent spin states located in different locations of phase space.


title: Towards Evaluating the Security of Wearable Devices in the Internet of Medical Things

abstract: The Internet of Medical Things (IoMT) offers a promising solution to improve patient health and reduce human error. Wearable smart infusion pumps that accurately administer medication and integrate with electronic health records are an example of technology that can improve healthcare. They can even alert healthcare professionals or remote servers during operational failure, preventing distressing incidents. However, as the number of connected medical devices increases, the risk of cyber threats also increases. Wearable medication devices based on IoT attached to patients' bodies are prone to significant cyber threats. Being connected to the Internet exposes these devices to potential harm, which could disrupt or degrade device performance and harm patients. To ensure patient safety and well-being, it is crucial to establish secure data authentication for internet-connected medical devices. It is also important to note that the wearability option of such devices might downgrade the computational resources, making them more susceptible to security risks. This paper implements a security approach to a wearable infusion pump. We discuss practical challenges in implementing security-enabled devices and propose initial solutions to mitigate cyber threats.


title: The mentor-child paradigm for individuals with autism spectrum disorders

abstract: Our aim is to analyze the relevance of the mentor-child paradigm with a robot for individuals with Autism Spectrum Disorders, and the adaptations required. This method could allow a more reliable evaluation of the socio-cognitive abilities of individuals with autism, which may have been underestimated due to pragmatic factors.


title: Smart Energy Management with Optimized Prosumerism for Achieving Dynamic Net-Zero Balance in Electrified Road Transport Networks

abstract: The increasing number of Electric Vehicles (EVs) have led to rising energy demands which aggregates the burden on grid supply. A few solutions have been proposed to reduce grid load, for example, using storage systems for storing surplus energy from EVs or time-scheduling supply. These solutions are costly and limited to specific regions and times. This paper proposes a smart energy management solution for a massively electrified road transport network. It comprises of energy supplies from grid, charging stations, renewable sources and EVs connected by 5G-enabled aggregators. We propose EVs as prosumers, which are energy consumers but also supply back their surplus energy via Vehicle-to-Grid (V2G) technology. We use machine learning to forecast hourly energy output from renewable sources, surplus supply from EVs and their demands. A grid cost minimization using Mixed Integer Linear Programming solution is proposed to dynamically alter supply according to demand and energy provision from EVs. The upper bounds of surplus supply and demand of EVs are theoretically derived. An incentive distribution mechanism is presented to reward EVs offering their surplus supply and to discourage them to become selfish which is analyzed using Prisoner's dilemma game. The paper also presents an optimum number of charging stations on a road. Simulation results show that the proposed solution can effectively meet the demand requirements even if the supply from grid is limited, and can averagely reduce 38.21% of grid load. It results in 5.3% of average cost reduction compared with optimization without prosumers. The proposed penalty charge for CO2 emissions results in over 50% cost reduction by using renewable resources in the proposed solution as compared to fossil fuels. The communication and computation complexity of the proposed solution is reduced by 5G-enabled aggregator.


title: Towards P$\ne$NP from Extended Frege lower bounds

abstract: We prove that if conditions I-II (below) hold and there is a sequence of Boolean functions $f_n$ hard to approximate by p-size circuits such that p-size circuit lower bounds for $f_n$ do not have p-size proofs in Extended Frege system EF, then $P\ne NP$. I. $S^1_2$ proves that a concrete function in ${\sf E}$ is hard to approximate by subexponential-size circuits. II. [Learning from $\neg\exists$ OWF.] $S^1_2$ proves that a p-time reduction transforms circuits breaking one-way functions to p-size circuits learning p-size circuits over the uniform distribution, with membership queries. Here, $S^1_2$ is Buss's theory of bounded arithmetic formalizing p-time reasoning. Further, we show that any of the following assumptions implies that $P\ne NP$, if EF is not p-bounded: 1. [Feasible anticheckers.] $S^1_2$ proves that a p-time function generates anticheckers for SAT. 2. [Witnessing $NP\not\subseteq P/poly$.] $S^1_2$ proves that a p-time function witnesses an error of each p-size circuit which fails to solve SAT. 3. [OWF from $NP\not\subseteq P/poly$ $\&$ hardness of ${\sf E}$.] Condition I holds and $S^1_2$ proves that a p-time reduction transforms circuits breaking one-way functions to p-size circuits computing SAT. The results generalize to stronger theories and proof systems.


title: Quantum metric and metrology with parametrically-driven Tavis-Cummings models

abstract: We study the quantum metric in a driven Tavis-Cummings model, comprised of multiple qubits interacting with a quantized photonic field. The parametrical driving of the photonic field breaks the system's U(1) symmetry down to a ${\rm Z}_2$ symmetry, whose spontaneous breaking initiates a superradiant phase transition. We analytically solved the eigenenergies and eigenstates, and numerically simulated the system behaviors near the critical point. The critical behaviors near the superradiant phase transition are characterized by the quantum metric, defined in terms of the response of the quantum state to variation of the control parameter. In addition, a quantum metrological protocol based on the critical behaviors of the quantum metric near the superradiant phase transition is proposed, which enables greatly the achievable measurement precision.


title: Ruin Theory Problems in Simple SDE Models with Large Deviation Asymptotics

abstract: We examine hitting probability problems for Ornstein-Uhlenbeck (OU) processes and Geometric Brownian motions (GBM) with respect to exponential boundaries related to problems arising in risk theory and asset and liability models in pension funds. In Section 2 we consider the OU process described by the Stochastic Differential Equation (SDE) $dX_t = \mu X_t dt + \sigma dW_t$ with $X_0=x_0$ evolving between a lower and an upper deterministic exponential boundary. Both the finite horizon ``ruin probability'' problem and the corresponding infinite horizon problem is examined in the low noise case, using the Wentzell-Freidlin approach in order to obtain logarithmic asymptotics for the probability of hitting either the lower or the upper boundary. The resulting variational problems are studied in detail. The exponential rate characterizing the ruin probability and the ``path to ruin'' are obtained by their solution. Logarithmic asymptotics for the meeting probability in a pair of OU processes with different positive drift coefficients, driven by independent Brownian motions is also obtained using Wentzell-Freidlin techniques. The optimal paths followed by the two processes and the meeting time $T$ are determined by solving a variational problem with transversality conditions. In Section 3 a corresponding problem involving a Geometric Brownian motion is considered. Since in this case, an exact, closed form solution is also available and we take advantage of this situation in order to explore numerically the quality of the Large Deviations results obtained using the Wentzell-Freidlin approach.


title: Magnetic Measurements and Alignment Results of LQXFA/B Cold Mass Assemblies at Fermilab

abstract: MQXFA production series quadrupole magnets are being built for the Hi-Lumi (HL) LHC upgrade by the US Accelerator Upgrade Project (US-HL-LHC AUP). These magnets are being placed in pairs, as a cold mass, within cryostats at Fermilab, and are being tested to assess alignment and magnetic performance at Fermilab's horizontal test stand facility. The ~10 m - long assembly must meet stringent specifications for quadrupole strength and harmonic field integrals determination, magnetic axis position, and for magnet variations in positioning and local field profile. This paper describes the results of the magnetic and alignment measurements which characterize the first LQXFA/B assembly.


title: Quantum tachyonic preheating, revisited

abstract: In certain models of inflation, the postinflationary reheating of the Universe is not primarily due to perturbative decay of the inflaton field into particles, but proceeds through a tachyonic instability. In the process, long-wavelength modes of an unstable field, which is often distinct from the inflaton itself, acquire very large occupation numbers, which are subsequently redistributed into a thermal equilibrium state. We investigate this process numerically through quantum real-time lattice simulations of the Kadanoff-Baym equation, using a 1/N-NLO truncation of the 2PI-effective action. We identify the early-time maximum occupation number, the "classical" momentum range, the validity of the classical approximation and the effective IR temperature, and study the kinetic equilibration of the system and the equation of state.


title: Chat-3D v2: Bridging 3D Scene and Large Language Models with Object Identifiers

abstract: Recent research has evidenced the significant potentials of Large Language Models (LLMs) in handling challenging tasks within 3D scenes. However, current models are constrained to addressing object-centric tasks, where each question-answer pair focuses solely on an individual object. In real-world applications, users may pose queries involving multiple objects or expect for answers that precisely reference various objects. We introduce the use of object identifiers to freely reference objects during a conversation. While this solution appears straightforward, it presents two main challenges: 1) How to establish a reliable one-to-one correspondence between each object and its identifier? 2) How to incorporate complex spatial relationships among dozens of objects into the embedding space of the LLM? To address these challenges, we propose a two-stage alignment method, which involves learning an attribute-aware token and a relation-aware token for each object. These tokens capture the object's attributes and spatial relationships with surrounding objects in the 3D scene. Once the alignment is established, we can fine-tune our model on various downstream tasks using instruction tuning. Experiments conducted on traditional datasets like ScanQA, ScanRefer, and Nr3D/Sr3D showcase the effectiveness of our proposed method. Additionally, we create a 3D scene captioning dataset annotated with rich object identifiers, with the assistant of GPT-4. This dataset aims to further explore the capability of object identifiers in effective object referencing and precise scene understanding.


title: Efficiency of Multivariate Tests in Trials in Progressive Supranuclear Palsy

abstract: Measuring disease progression in clinical trials for testing novel treatments for multifaceted diseases as Progressive Supranuclear Palsy (PSP), remains challenging. In this study we assess a range of statistical approaches to compare outcomes measured by the items of the Progressive Supranuclear Palsy Rating Scale (PSPRS). We consider several statistical approaches, including sum scores, as an FDA-recommended version of the PSPRS, multivariate tests, and analysis approaches based on multiple comparisons of the individual items. We propose two novel approaches which measure disease status based on Item Response Theory models. We assess the performance of these tests in an extensive simulation study and illustrate their use with a re-analysis of the ABBV-8E12 clinical trial. Furthermore, we discuss the impact of the FDA-recommended scoring of item scores on the power of the statistical tests. We find that classical approaches as the PSPRS sum score demonstrate moderate to high power when treatment effects are consistent across the individual items. The tests based on Item Response Theory models yield the highest power when the simulated data are generated from an IRT model. The multiple testing based approaches have a higher power in settings where the treatment effect is limited to certain domains or items. The FDA-recommended item rescoring tends to decrease the simulated power. The study shows that there is no one-size-fits-all testing procedure for evaluating treatment effects using PSPRS items; the optimal method varies based on the specific effect size patterns. The efficiency of the PSPRS sum score, while generally robust and straightforward to apply, varies depending on the effect sizes' patterns encountered and more powerful alternatives are available in specific settings. These findings can have important implications for the design of future clinical trials in PSP.


title: Tensor Network Representation and Entanglement Spreading in Many-Body Localized Systems: A Novel Approach

abstract: A novel method has been devised to compute the Local Integrals of Motion (LIOMs) for a one-dimensional many-body localized system. In this approach, a class of optimal unitary transformations is deduced in a tensor-network formalism to diagonalize the Hamiltonian of the specified system. To construct the tensor network, we utilize the eigenstates of the subsystems Hamiltonian to attain the desired unitary transformations. Subsequently, we optimize the eigenstates and acquire appropriate unitary localized operators that will represent the LIOMs tensor network. The efficiency of the method was assessed and found to be both fast and almost accurate. In framework of the introduced tensor-network representation, we examine how the entanglement spreads along the considered many-body localized system and evaluate the outcomes of the approximations employed in this approach. The important and interesting result is that in the proposed tensor network approximation, if the length of the blocks is greater than the length of localization, then the entropy growth will be linear in terms of the logarithmic time. Also, it has been demonstrated that, the entanglement can be calculated by only considering two blocks next to each other, if the Hamiltonian has been diagonalized using the unitary transformation made by the provided tensor-network representation.


title: Individual Updating of Subjective Probability of Homicide Victimization: a "Natural Experiment'' on Risk Communication

abstract: We investigate the dynamics of the update of subjective homicide victimization risk after an informational shock by developing two econometric models able to accommodate both optimal decisions of changing prior expectations which enable us to rationalize skeptical Bayesian agents with their disregard to new information. We apply our models to a unique household data (N = 4,030) that consists of socioeconomic and victimization expectation variables in Brazil, coupled with an informational ``natural experiment'' brought by the sample design methodology, which randomized interviewers to interviewees. The higher priors about their own subjective homicide victimization risk are set, the more likely individuals are to change their initial perceptions. In case of an update, we find that elders and females are more reluctant to change priors and choose the new response level. In addition, even though the respondents' level of education is not significant, the interviewers' level of education has a key role in changing and updating decisions. The results show that our econometric approach fits reasonable well the available empirical evidence, stressing the salient role heterogeneity represented by individual characteristics of interviewees and interviewers have on belief updating and lack of it, say, skepticism. Furthermore, we can rationalize skeptics through an informational quality/credibility argument.


title: Highly anisotropic lattices for Yang-Mills theory

abstract: In this conference proceeding, we investigate the physical anisotropy in terms of the temporal and spatial lattice spacings in relation to the bare parameters of SU(2) pure gauge theory using Wilson gradient flow. Anisotropic lattices have a wide range of applications, from thermodynamic calculations in QCD to very recent real-time simulations using the complex Langevin method. We find an almost linear relationship between the bare and renormalized anisotropy. Using a parametrization that includes nonlinear effects and was earlier proposed for SU(3) theory, we obtain a good description of the coupling dependence of the anisotropy with only two fitting parameters. Our observation of an approximately linear relationship and this parametrization should strongly reduce the computational effort of anisotropic lattice calculations in the future.


title: The Kepler Cone, Maclaurin Duality and Jacobi-Maupertuis metrics

abstract: The Kepler problem is the special case $\alpha = 1$ of the power law problem: to solve Newton's equations for a central force whose potential is of the form $-\mu/r^{\alpha}$ where $\mu$ is a coupling constant. Associated to such a problem is a two-dimensional cone with cone angle $2 \pi c$ with $c = 1 - \frac{\alpha}{2}$. We construct a transformation taking the geodesics of this cone to the zero energy solutions of the $\alpha$-power law problem. The `Kepler Cone' is the cone associated to the Kepler problem. This zero-energy cone transformation is a special case of a transformation discovered by Maclaurin in the 1740s transforming the $\alpha$- power law problem for any energies to a `Maclaurin dual' $\gamma$-power law problem where $\gamma = \frac{2 \alpha}{2-\alpha}$ and which, in the process, mixes up the energy of one problem with the coupling constant of the other. We derive Maclaurin duality using the Jacobi-Maupertuis metric reformulation of mechanics. We then use the conical metric to explain properties of Rutherford-type scattering off power law potentials at positive energies. The one possibly new result in the paper concerns ``star-burst curves'' which arise as limits of families negative energy solutions as their angular momentum tends to zero. We relate geodesic scattering on the cone to Rutherford type scattering of beams of solutions in the potential. We describe some history around Maclaurin duality and give two derivations of the Jacobi-Maupertuis metric reformulation of classical mechanics. The piece is expository, aimed at an upper-division undergraduate. Think American Math. Monthly.


title: Double Machine Learning for Static Panel Models with Fixed Effects

abstract: Recent advances in causal inference have seen the development of methods which make use of the predictive power of machine learning algorithms. In this paper, we use double machine learning (DML) (Chernozhukov et al., 2018) to approximate high-dimensional and non-linear nuisance functions of the confounders to make inferences about the effects of policy interventions from panel data. We propose new estimators by adapting correlated random effects, within-group and first-difference estimation for linear models to an extension of Robinson (1988)'s partially linear regression model to static panel data models with individual fixed effects and unspecified non-linear confounder effects. Using Monte Carlo simulations, we compare the relative performance of different machine learning algorithms and find that conventional least squares estimators performs well when the data generating process is mildly non-linear and smooth, but there are substantial performance gains with DML in terms of bias reduction when the true effect of the regressors is non-linear and discontinuous. However, inference based on individual learners can lead to badly biased inference. Finally, we provide an illustrative example of DML for observational panel data showing the impact of the introduction of the minimum wage on voting behavior in the UK.


title: Structure, variability, and origin of the low-latitude nightglow continuum between 300 and 1,800 nm: Evidence for HO$_2$ emission in the near-infrared

abstract: The Earth's mesopause region between about 75 and 105 km is characterised by chemiluminescent emission from various lines of different molecules and atoms. This emission was and is important for the study of the chemistry and dynamics in this altitude region at nighttime. However, our understanding of molecular emissions with low intensities and high line densities is still very limited. Based on 10 years of data from the astronomical X-shooter echelle spectrograph at Cerro Paranal in Chile, we have characterised in detail this nightglow (pseudo-)continuum in the wavelength range from 300 to 1,800 nm. We studied the spectral features, derived continuum components with similar variability, calculated climatologies, studied the response to solar activity, and even estimated the effective emission heights. The results indicate that the nightglow continuum at Cerro Paranal essentially consists of only two components, which exhibit very different properties. The main structures of these components peak at 595 and 1,510 nm. While the former was previously identified as the main peak of the FeO 'orange arc' bands, the latter is a new discovery. Laboratory data and theory indicate that this feature and other structures between about 800 and at least 1,800 nm are caused by emission from HO$_2$. We performed runs with the Whole Atmosphere Community Climate Model (WACCM) with modified chemistry and found that the total intensity, layer profile, and variability indeed support this interpretation, where the excited HO$_2$ radicals are mostly produced from the termolecular recombination of H and O$_2$. The WACCM results for the continuum at visual wavelengths show good agreement for FeO from the reaction of Fe and O$_3$. However, the simulated total emission appears to be too low, which would require additional mechanisms where the variability is dominated by O$_3$.


title: ASC: Adaptive Scale Feature Map Compression for Deep Neural Network

abstract: Deep-learning accelerators are increasingly in demand; however, their performance is constrained by the size of the feature map, leading to high bandwidth requirements and large buffer sizes. We propose an adaptive scale feature map compression technique leveraging the unique properties of the feature map. This technique adopts independent channel indexing given the weak channel correlation and utilizes a cubical-like block shape to benefit from strong local correlations. The method further optimizes compression using a switchable endpoint mode and adaptive scale interpolation to handle unimodal data distributions, both with and without outliers. This results in 4$\times$ and up to 7.69$\times$ compression rates for 16-bit data in constant and variable bitrates, respectively. Our hardware design minimizes area cost by adjusting interpolation scales, which facilitates hardware sharing among interpolation points. Additionally, we introduce a threshold concept for straightforward interpolation, preventing the need for intricate hardware. The TSMC 28nm implementation showcases an equivalent gate count of 6135 for the 8-bit version. Furthermore, the hardware architecture scales effectively, with only a sublinear increase in area cost. Achieving a 32$\times$ throughput increase meets the theoretical bandwidth of DDR5-6400 at just 7.65$\times$ the hardware cost.


title: Advanced Image Segmentation Techniques for Neural Activity Detection via C-fos Immediate Early Gene Expression

abstract: This paper investigates the application of advanced image segmentation techniques to analyze C-fos immediate early gene expression, a crucial marker for neural activity. Due to the complexity and high variability of neural circuits, accurate segmentation of C-fos images is paramount for the development of new insights into neural function. Amidst this backdrop, this research aims to improve accuracy and minimize manual intervention in C-fos image segmentation by leveraging the capabilities of CNNs and the Unet model. We describe the development of a novel workflow for the segmentation process involving Convolutional Neural Networks (CNNs) and the Unet model, demonstrating their efficiency in various image segmentation tasks. Our workflow incorporates pre-processing steps such as cropping, image feature extraction, and clustering for the training dataset selection. We used an AutoEncoder model to extract features and implement constrained clustering to identify similarities and differences in image types. Additionally, we utilized manual and automatic labeling approaches to enhance the performance of our model. We demonstrated the effectiveness of our method in distinguishing areas with significant C-fos expression from normal tissue areas. Lastly, we implemented a modified Unet network for the detection of C-fos expressions. This research contributes to the development of more efficient and automated image segmentation methods, advancing the understanding of neural function in neuroscience research.


title: Geometrical Interpretation of Neutrino Oscillation with decay

abstract: The geometrical representation of two-flavor neutrino oscillation represents the neutrino's flavor eigenstate as a magnetic moment-like vector that evolves around a magnetic field-like vector that depicts the Hamiltonian of the system. In the present work, we demonstrate the geometrical interpretation of neutrino in a vacuum in the presence of decay, which transforms this circular trajectory of neutrino into a helical track that effectively makes the neutrino system mimic a classical damped driven oscillator. We show that in the absence of the phase factor $\xi$ in the decay Hamiltonian, the neutrino exactly behaves like the system of nuclear magnetic resonance(NMR); however, the inclusion of the phase part introduces a $CP$ violation, which makes the system deviate from NMR. Finally, we make a qualitative discussion on under-damped, critically-damped, and over-damped scenarios geometrically by three different diagrams. In the end, we make a comparative study of geometrical picturization in vacuum, matter, and decay, which extrapolates the understanding of the geometrical representation of neutrino oscillation in a more straightforward way.


title: Low Surface Brightness Galaxies selected by different model fitting

abstract: We present a study of low surface brightness galaxies (LSBGs) selected by fitting the images for all the galaxies in $\alpha$.40 SDSS DR7 sample with two kinds of single-component models and two kinds of two-component models (disk+bulge): single exponential, single s\'{e}rsic, exponential+deVaucular (exp+deV), and exponential+s\'{e}rsic (exp+ser). Under the criteria of the B band disk central surface brightness $\mu_{\rm 0,disk}{\rm (B) \geqslant 22.5\ mag\ arcsec^{-2}}$ and the axis ratio $\rm b/a > 0.3$, we selected four none-edge-on LSBG samples from each of the models which contain 1105, 1038, 207, and 75 galaxies, respectively. There are 756 galaxies in common between LSBGs selected by exponential and s\'{e}rsic models, corresponding to 68.42% of LSBGs selected by the exponential model and 72.83% of LSBGs selected by the s\'{e}rsic model, the rest of the discrepancy is due to the difference in obtaining $\mu_{0}$ between the exponential and s\'{e}rsic models. Based on the fitting, in the range of $0.5 \leqslant n \leqslant 1.5$, the relation of $\mu_{0}$ from two models can be written as $\mu_{\rm 0,s\acute{e}rsic} - \mu_{\rm 0,exp} = -1.34(n-1)$. The LSBGs selected by disk+bulge models (LSBG_2comps) are more massive than LSBGs selected by single-component models (LSBG_1comp), and also show a larger disk component. Though the bulges in the majority of our LSBG_2comps are not prominent, more than 60% of our LSBG_2comps will not be selected if we adopt a single-component model only. We also identified 31 giant low surface brightness galaxies (gLSBGs) from LSBG_2comps. They are located at the same region in the color-magnitude diagram as other gLSBGs. After we compared different criteria of gLSBGs selection, we find that for gas-rich LSBGs, $M_{\star} > 10^{10}M_{\odot}$ is the best to distinguish between gLSBGs and normal LSBGs with bulge.


title: On periodic solutions and attractors for the Maxwell--Bloch equations

abstract: We consider the Maxwell-Bloch system which is a finite-dimensional approximation of the coupled nonlinear Maxwell-Schr\"odinger equations. The approximation consists of one-mode Maxwell field coupled to two-level molecule. We construct time-periodic solutions to the factordynamics which is due to the symmetry gauge group. For the corresponding solutions to the Maxwell--Bloch system, the Maxwell field, current and the population inversion are time-periodic, while the wave function acquires a unit factor in the period. The proofs rely on high-amplitude asymptotics of the Maxwell field and a development of suitable methods of differential topology: the transversality and orientation arguments. We also prove the existence of the global compact attractor.


title: Adversarial Attacks on Graph Neural Networks based Spatial Resource Management in P2P Wireless Communications

abstract: This paper introduces adversarial attacks targeting a Graph Neural Network (GNN) based radio resource management system in point to point (P2P) communications. Our focus lies on perturbing the trained GNN model during the test phase, specifically targeting its vertices and edges. To achieve this, four distinct adversarial attacks are proposed, each accounting for different constraints, and aiming to manipulate the behavior of the system. The proposed adversarial attacks are formulated as optimization problems, aiming to minimize the system's communication quality. The efficacy of these attacks is investigated against the number of users, signal-to-noise ratio (SNR), and adversary power budget. Furthermore, we address the detection of such attacks from the perspective of the Central Processing Unit (CPU) of the system. To this end, we formulate an optimization problem that involves analyzing the distribution of channel eigenvalues before and after the attacks are applied. This formulation results in a Min-Max optimization problem, allowing us to detect the presence of attacks. Through extensive simulations, we observe that in the absence of adversarial attacks, the eigenvalues conform to Johnson's SU distribution. However, the attacks significantly alter the characteristics of the eigenvalue distribution, and in the most effective attack, they even change the type of the eigenvalue distribution.


title: Preliminary Guidelines for Electrode Positioning in Noninvasive Deep Brain Stimulation via Temporally Interfering Electric Fields

abstract: Advancements in neurosurgical robotics have improved medical procedures, particularly deep brain stimulation, where robots combine human and machine intelligence to precisely implant electrodes in the brain. While effective, this procedure carries risks and side effects. Noninvasive deep brain stimulation (NIDBS) offers promise by making brain stimulation safer, more affordable, and accessible. However, NIDBS lacks guidelines for electrode placement. This study explores adapting robotic principles to enhance the accuracy of NIDBS targeting and provides preliminary guidelines for transcranial electrode placement. Safety is also emphasized, ensuring a balance between therapeutic effectiveness and patient safety by maintaining electric fields within safe limits.


title: Smooth valuations on convex bodies and finite linear combinations of mixed volumes

abstract: It is shown that Alesker's solution of McMullen's conjecture implies the following stronger version of the conjecture: Every continuous, translation invariant, $k$-homogeneous valuation on convex bodies in $\mathbb{R}^n$ can be approximated uniformly on compact subsets by finite linear combinations of mixed volumes involving at most $N_{n,k}$ summands, where $N_{n,k}$ is a constant depending on $n$ and $k$ only. Moreover, $n-k-1$ of the arguments of the mixed volumes can be chosen to be ellipsoids that do not depend on the valuation. The result is based on a corresponding description of smooth valuations in terms of finite linear combinations of mixed volumes.


title: Cubic action for Spinning Black Holes from massive higher-spin gauge symmetry

abstract: Scattering of two Kerr Black Holes emitting gravitational waves can be captured by an effective theory of a massive higher-spin field interacting with the gravitational field. While other compact objects should activate a multitude of non-minimal interactions it is the black holes that should be captured by the simplest minimal interaction. Implementing massive higher-spin symmetry via a string-inspired BRST approach we construct an action that reproduces the correct cubic amplitude of Arkani-Hamed--Huang--Huang. The same is achieved for the root-Kerr theory, i.e. for the minimal electromagnetic interaction of a massive higher-spin field.


title: Modeling the Age Pattern of Fertility: An Individual-Level Approach

abstract: Macro-level modeling is still the dominant approach in many demographic applications because of its simplicity. Individual-level models, on the other hand, provide a more comprehensive understanding of observed patterns; however, their estimation using real data has remained a challenge. The approach we introduce in this article attempts to overcome this limitation. Using likelihood-free inference techniques, we show that it is possible to estimate the parameters of a simple but demographically interpretable individual-level model of the reproductive process from a set of aggregate fertility rates. By estimating individual-level quantities from widely available aggregate data, this approach can contribute to a better understanding of reproductive behavior and its driving mechanisms. It also allows for a more direct link between individual-level and population-level processes. We illustrate our approach using data from three natural fertility populations.


title: Dual-species Bose-Einstein condensates of $^{23}$Na and $^{41}$K with tunable interactions

abstract: We report the creation of dual-species Bose-Einstein condensates (BECs) of $^{23}$Na and $^{41}$K. Favorable background scattering lengths enable efficient sympathetic cooling of $^{41}$K via forced evaporative cooling of $^{23}$Na in a plugged magnetic trap and an optical dipole trap. The $1/e$ lifetime of the thermal mixture in the stretched hyperfine state exceeds 5 s in the presence of background scattering. At the end of evaporation, we create dual BECs in the immiscible phase, with about $3\times10^5$ $^{23}$Na atoms surrounding $5\times10^4$ $^{41}$K atoms. To further enable the tuning of the interspecies interaction strength, we locate multiple Feshbach resonances at magnetic fields up to 100 G. The broadest $s$-wave resonance located at 73.4(3) G features a favorable width of 1.8(2) G. This work sets the stage for the creation of ultracold gases of strongly dipolar bosonic $^{23}$Na$^{41}$K molecules as well as the exploration of many-body physics in bosonic $^{23}$Na-$^{41}$K mixtures.


title: Completing Priceable Committees: Utilitarian and Representation Guarantees for Proportional Multiwinner Voting

abstract: When selecting committees based on preferences of voters, a variety of different criteria can be considered. Two natural objectives are maximizing the utilitarian welfare (the sum of voters' utilities) and coverage (the number of represented voters) of the selected committee. Previous work has studied the impact on utilitarian welfare and coverage when requiring the committee to satisfy minimal requirements such as justified representation or weak proportionality. In this paper, we consider the impact of imposing much more demanding proportionality axioms. We identify a class of voting rules that achieve strong guarantees on utilitarian welfare and coverage when combined with appropriate completions. This class is defined via a weakening of priceability and contains prominent rules such as the Method of Equal Shares. We show that committees selected by these rules (i) can be completed to achieve optimal coverage and (ii) can be completed to achieve an asymptotically optimal approximation to the utilitarian welfare if they additionally satisfy EJR+. Answering an open question of Elkind et al. (2022), we use the Greedy Justified Candidate Rule to obtain the best possible utilitarian guarantee subject to proportionality. We also consider completion methods suggested in the participatory budgeting literature and other objectives besides welfare and coverage.


title: Updates on the glitching pulsar monitoring campaign performed from IAR

abstract: Pulsars are known for their exceptionally stable rotation. However, this stability can be disrupted by glitches, sudden increases in rotation frequency whose cause is poorly understood. In this study, we present some preliminary results from the pulsar monitoring campaign conducted at the IAR since 2019. We present measurements from timing solution fits of the parameters of five glitches: one glitch in the Vela pulsar, one in PSR J0742-2822, one in PSR J1740-3015, and two mini-glitches in PSR J1048-5832. Finally, we applied the vortex creep model to characterize the inter-glitch period of Vela. However, the preliminary results yielded highly degenerate and loosely constrained parameters.


title: GuardRails: Automated Suggestions for Clarifying Ambiguous Purpose Statements

abstract: Before implementing a function, programmers are encouraged to write a purpose statement i.e., a short, natural-language explanation of what the function computes. A purpose statement may be ambiguous i.e., it may fail to specify the intended behaviour when two or more inequivalent computations are plausible on certain inputs. Our paper makes four contributions. First, we propose a novel heuristic that suggests such inputs using Large Language Models (LLMs). Using these suggestions, the programmer may choose to clarify the purpose statement (e.g., by providing a functional example that specifies the intended behaviour on such an input). Second, to assess the quality of inputs suggested by our heuristic, and to facilitate future research, we create an open dataset of purpose statements with known ambiguities. Third, we compare our heuristic against GitHub Copilot's Chat feature, which can suggest similar inputs when prompted to generate unit tests. Fourth, we provide an open-source implementation of our heuristic as an extension to Visual Studio Code for the Python programming language, where purpose statements and functional examples are specified as docstrings and doctests respectively. We believe that this tool will be particularly helpful to novice programmers and instructors.


title: Stability Analysis of Switched Linear Systems with Neural Lyapunov Functions

abstract: Neural-based, data-driven analysis and control of dynamical systems have been recently investigated and have shown great promise, e.g. for safety verification or stability analysis. Indeed, not only do neural networks allow for an entirely model-free, data-driven approach, but also for handling arbitrary complex functions via their power of representation (as opposed to, e.g. algebraic optimization techniques that are restricted to polynomial functions). Whilst classical Lyapunov techniques allow to provide a formal and robust guarantee of stability of a switched dynamical system, very little is yet known about correctness guarantees for Neural Lyapunov functions, nor about their performance (amount of data needed for a certain accuracy). We thus formally introduce neural Lyapunov functions for the stability analysis of switched linear systems: we benchmark them on this paradigmatic problem, which is notoriously difficult (and in general Turing-undecidable), but which admits recently-developed technologies and theoretical results. Inspired by switched systems theory, we provide theoretical guarantees on the representative power of neural networks, leveraging recent results from the ML community. We additionally experimentally display how neural Lyapunov functions compete with state-of-the-art results and techniques, while admitting a wide range of improvement, both in theory and in practice. This study intends to improve our understanding of the opportunities and current limitations of neural-based data-driven analysis and control of complex dynamical systems.


title: Rapid Determination of Low-Thrust Spacecraft Reachable Sets in Two-Body and Cislunar Problems

abstract: The reachable set of controlled dynamical systems consist of the set of all possible reachable states from an initial condition, over a certain period of time under various control and operation constraints and exogenous disturbances. For space applications, determination of reachable sets is invaluable for trajectory planning, collision avoidance, ensuring safe and optimal performance in complex, real-world scenarios. Leveraging the connection between minimum-time and reachable sets, we propose a method for rapid determination of reachable sets for finite- and low-thrust spacecraft using an indirect minimum-time multi-stage formulation and the primer vector theory. Reachable set analyses are presented for a minimum-time low-thrust Earth-Mars rendezvous problem and for several cislunar applications under circular restricted three-body dynamics. For the Earth-Mars problem and thruster parameters, results indicate that the minimum-time solution lies within the feasible set of position vectors, but on the boundary of the reachable set of velocity vectors. For the cislunar problems, L2 Halo orbit and Lunar Gateway 9:2 NRHO are considered. Our results indicate that the reachable set of low-thrust spacecraft coincides with invariant manifolds existing in the multi-body dynamical environments.


title: PAD: Self-Supervised Pre-Training with Patchwise-Scale Adapter for Infrared Images

abstract: Self-supervised learning (SSL) for RGB images has achieved significant success, yet there is still limited research on SSL for infrared images, primarily due to three prominent challenges: 1) the lack of a suitable large-scale infrared pre-training dataset, 2) the distinctiveness of non-iconic infrared images rendering common pre-training tasks like masked image modeling (MIM) less effective, and 3) the scarcity of fine-grained textures making it particularly challenging to learn general image features. To address these issues, we construct a Multi-Scene Infrared Pre-training (MSIP) dataset comprising 178,756 images, and introduce object-sensitive random RoI cropping, an image preprocessing method, to tackle the challenge posed by non-iconic images. To alleviate the impact of weak textures on feature learning, we propose a pre-training paradigm called Pre-training with ADapter (PAD), which uses adapters to learn domain-specific features while freezing parameters pre-trained on ImageNet to retain the general feature extraction capability. This new paradigm is applicable to any transformer-based SSL method. Furthermore, to achieve more flexible coordination between pre-trained and newly-learned features in different layers and patches, a patchwise-scale adapter with dynamically learnable scale factors is introduced. Extensive experiments on three downstream tasks show that PAD, with only 1.23M pre-trainable parameters, outperforms other baseline paradigms including continual full pre-training on MSIP. Our code and dataset are available at https://github.com/casiatao/PAD.


title: Universal Adversarial Framework to Improve Adversarial Robustness for Diabetic Retinopathy Detection

abstract: Diabetic Retinopathy (DR) is a prevalent illness associated with Diabetes which, if left untreated, can result in irreversible blindness. Deep Learning based systems are gradually being introduced as automated support for clinical diagnosis. Since healthcare has always been an extremely important domain demanding error-free performance, any adversaries could pose a big threat to the applicability of such systems. In this work, we use Universal Adversarial Perturbations (UAPs) to quantify the vulnerability of Medical Deep Neural Networks (DNNs) for detecting DR. To the best of our knowledge, this is the very first attempt that works on attacking complete fine-grained classification of DR images using various UAPs. Also, as a part of this work, we use UAPs to fine-tune the trained models to defend against adversarial samples. We experiment on several models and observe that the performance of such models towards unseen adversarial attacks gets boosted on average by $3.41$ Cohen-kappa value and maximum by $31.92$ Cohen-kappa value. The performance degradation on normal data upon ensembling the fine-tuned models was found to be statistically insignificant using t-test, highlighting the benefits of UAP-based adversarial fine-tuning.


title: SVInvNet: A Densely Connected Encoder-Decoder Architecture for Seismic Velocity Inversion

abstract: This study presents a deep learning-based approach to seismic velocity inversion problem, focusing on both noisy and noiseless training datasets of varying sizes. Our Seismic Velocity Inversion Network (SVInvNet) introduces a novel architecture that contains a multi-connection encoder-decoder structure enhanced with dense blocks. This design is specifically tuned to effectively process complex information, crucial for addressing the challenges of non-linear seismic velocity inversion. For training and testing, we created diverse seismic velocity models, including multi-layered, faulty, and salt dome categories. We also investigated how different kinds of ambient noise, both coherent and stochastic, and the size of the training dataset affect learning outcomes. SVInvNet is trained on datasets ranging from 750 to 6,000 samples and is tested using a large benchmark dataset of 12,000 samples. Despite its fewer parameters compared to the baseline, SVInvNet achieves superior performance with this dataset. The outcomes of the SVInvNet are additionally compared to those of the Full Waveform Inversion (FWI) method. The comparative analysis clearly reveals the effectiveness of the proposed model.


title: Concept-centric Personalization with Large-scale Diffusion Priors

abstract: Despite large-scale diffusion models being highly capable of generating diverse open-world content, they still struggle to match the photorealism and fidelity of concept-specific generators. In this work, we present the task of customizing large-scale diffusion priors for specific concepts as concept-centric personalization. Our goal is to generate high-quality concept-centric images while maintaining the versatile controllability inherent to open-world models, enabling applications in diverse tasks such as concept-centric stylization and image translation. To tackle these challenges, we identify catastrophic forgetting of guidance prediction from diffusion priors as the fundamental issue. Consequently, we develop a guidance-decoupled personalization framework specifically designed to address this task. We propose Generalized Classifier-free Guidance (GCFG) as the foundational theory for our framework. This approach extends Classifier-free Guidance (CFG) to accommodate an arbitrary number of guidances, sourced from a variety of conditions and models. Employing GCFG enables us to separate conditional guidance into two distinct components: concept guidance for fidelity and control guidance for controllability. This division makes it feasible to train a specialized model for concept guidance, while ensuring both control and unconditional guidance remain intact. We then present a null-text Concept-centric Diffusion Model as a concept-specific generator to learn concept guidance without the need for text annotations. Code will be available at https://github.com/PRIV-Creation/Concept-centric-Personalization.


title: Counting mobiles by integrable systems

abstract: Mobiles are a particular class of decorated plane trees which serve as codings for planar maps. Here we address the question of enumerating mobiles in their most general flavor, in correspondence with planar Eulerian (i.e., bicolored) maps. We show that the generating functions for such mobiles satisfy a number of recursive equations which lie in the field of integrable systems, leading us to explicit expressions for these generating functions as ratios of particular determinants. In particular we recover known results for mobiles associated with uncolored maps and prove some conjectured formulas for the generating functions of mobiles associated with $p$-constellations.


title: $^{12}$C/$^{13}$C of Kepler giant stars: the missing piece of the mixing puzzle

abstract: Despite a rich observational background, few spectroscopic studies have dealt with the measurement of the carbon isotopic ratio in giant stars. However, it is a key element in understanding the mixing mechanisms that occur in the interiors of giant stars. We present the CNO and $^{12}$C/$^{13}$C abundances derived for 71 giant field stars. Then, using this new catalogue and complementary data from the Kepler and Gaia satellites, we study the efficiency of mixing occurring in the giant branch as a function of the stellar properties. We have determined the abundances of CNO and more specifically 12C/13C using the FIES Spectrograph on the Nordic Optical Telescope, for 71 giant field stars. In addition, asteroseismology is available for all stars, providing their mass, age as well as the evolutionary states. Finally, astrometry from Gaia data is also available for the majority of the sample. We compare these new determinations with stellar evolution models taking into account the effects of transport processes. To exploit the complete potential of our extensive catalogue and considering both the Galactic evolution and the impact of stellar evolution, we built mock catalogues using the Besancon Galaxy model in which stellar evolution models taking into account the effects of thermohaline instability are included. We confirm that 12C/13C at the surface of core He-burning stars is lower than that of first ascent RGB stars. 12C/13C measured at the surface of the core He-burning stars increases with [Fe/H] and mass while it decreases with age. These trends are all very well explained by the thermohaline mixing that occurs in red giants. We have shown that our models can explain the behaviour of 12C/13C versus N/O, although the observations seem to show a lower N/O than the models. We also note that more constraints on the thick disc core He-burning stars are needed to understand this difference.


title: Towards Model-Based Data Acquisition for Subjective Multi-Task NLP Problems

abstract: Data annotated by humans is a source of knowledge by describing the peculiarities of the problem and therefore fueling the decision process of the trained model. Unfortunately, the annotation process for subjective natural language processing (NLP) problems like offensiveness or emotion detection is often very expensive and time-consuming. One of the inevitable risks is to spend some of the funds and annotator effort on annotations that do not provide any additional knowledge about the specific task. To minimize these costs, we propose a new model-based approach that allows the selection of tasks annotated individually for each text in a multi-task scenario. The experiments carried out on three datasets, dozens of NLP tasks, and thousands of annotations show that our method allows up to 40% reduction in the number of annotations with negligible loss of knowledge. The results also emphasize the need to collect a diverse amount of data required to efficiently train a model, depending on the subjectivity of the annotation task. We also focused on measuring the relation between subjective tasks by evaluating the model in single-task and multi-task scenarios. Moreover, for some datasets, training only on the labels predicted by our model improved the efficiency of task selection as a self-supervised learning regularization technique.


title: Of Frames and schema evolution -- The newest features of podio

abstract: The podio event data model (EDM) toolkit provides an easy way to generate a performant implementation of an EDM from a high level description in yaml format. We present the most recent developments in podio, most importantly the inclusion of a schema evolution mechanism for generated EDMs as well as the "Frame", a thread safe, generalized event data container. For the former we discuss some of the technical aspects in relation with supporting different I/O backends and leveraging potentially existing schema evolution mechanisms provided by them. Regarding the Frame we introduce the basic concept and highlight some of the functionality as well as important aspects of its implementation. The usage of podio for generating different EDMs for future collider projects (most importantly EDM4hep, the common EDM for the Key4hep project) has inspired new features. We present some of those smaller new features and end with a brief overview on current developments towards a first stable version as well as an outlook on future developments beyond that.


title: SPD-DDPM: Denoising Diffusion Probabilistic Models in the Symmetric Positive Definite Space

abstract: Symmetric positive definite~(SPD) matrices have shown important value and applications in statistics and machine learning, such as FMRI analysis and traffic prediction. Previous works on SPD matrices mostly focus on discriminative models, where predictions are made directly on $E(X|y)$, where $y$ is a vector and $X$ is an SPD matrix. However, these methods are challenging to handle for large-scale data, as they need to access and process the whole data. In this paper, inspired by denoising diffusion probabilistic model~(DDPM), we propose a novel generative model, termed SPD-DDPM, by introducing Gaussian distribution in the SPD space to estimate $E(X|y)$. Moreover, our model is able to estimate $p(X)$ unconditionally and flexibly without giving $y$. On the one hand, the model conditionally learns $p(X|y)$ and utilizes the mean of samples to obtain $E(X|y)$ as a prediction. On the other hand, the model unconditionally learns the probability distribution of the data $p(X)$ and generates samples that conform to this distribution. Furthermore, we propose a new SPD net which is much deeper than the previous networks and allows for the inclusion of conditional factors. Experiment results on toy data and real taxi data demonstrate that our models effectively fit the data distribution both unconditionally and unconditionally and provide accurate predictions.


title: Efficient solution of sequences of parametrized Lyapunov equations with applications

abstract: Sequences of parametrized Lyapunov equations can be encountered in many application settings. Moreover, solutions of such equations are often intermediate steps of an overall procedure whose main goal is the computation of $\text{trace}(EX)$ where $X$ denotes the solution of a Lyapunov equation and $E$ is a given matrix. We are interested in addressing problems where the parameter dependency of the coefficient matrix is encoded as a low-rank modification to a \emph{seed}, fixed matrix. We propose two novel numerical procedures that fully exploit such a common structure. The first one builds upon the Sherman-Morrison-Woodbury (SMW) formula and recycling Krylov techniques, and it is well-suited for small dimensional problems as it makes use of dense numerical linear algebra tools. The second algorithm can instead address large-scale problems by relying on state-of-the-art projection techniques based on the extended Krylov subspace. We test the new algorithms on several problems arising in the study of damped vibrational systems and the analyses of output synchronization problems for multi-agent systems. Our results show that the algorithms we propose are superior to state-of-the-art techniques as they are able to remarkably speed up the computation of accurate solutions.


title: Rational ellipticity of $G$-manifolds from their quotients

abstract: We prove that if a compact, simply connected Riemannian $G$-manifold $M$ has orbit space $M/G$ isometric to some other quotient $N/H$ with $N$ having zero topological entropy, then $M$ is rationally elliptic. This result, which generalizes most conditions on rational ellipticity, is a particular case of a more general result involving manifold submetries.


title: Spectral fluctuations of multiparametric complex matrix ensembles: evidence of a single parameter dependence

abstract: We numerically analyze the spectral statistics of the multiparametric Gaussian ensembles of complex matrices with zero mean and variances with different decay routes away from the diagonals. As the latter mimics different degree of effective sparsity among the matrix elements, such ensembles can serve as good models for a wide range of phase transitions e.g. localization to delocalization in non-Hermitian systems or Hermitian to non-Hermitian one. Our analysis reveals a rich behavior hidden beneath the spectral statistics e.g. a crossover of the spectral statistics from Poisson to Ginibre universality class with changing variances for finite matrix size, an abrupt transition for infinite matrix size and the role of complexity parameter, a single functional of all system parameters, as a criteria to determine critical point. We also confirm the theoretical predictions in \cite{psgs, psnh}, regarding the universality of the spectral statistics in non-equilibrium regime of non-Hermitian systems characterized by the complexity parameter.

categories: cond-mat.dis-nn math-ph math.MP quant-ph


title: JEM-EUSO Collaboration contributions to the 38th International Cosmic Ray Conference

abstract: This is a collection of papers presented by the JEM-EUSO Collaboration at the 38th International Cosmic Ray Conference (Nagoya, Japan, July 26-August 3, 2023)


title: Stability of solitary wave solutions in the Lugiato-Lefever equation

abstract: We analyze the spectral and dynamical stability of solitary wave solutions to the Lugiato-Lefever equation (LLE) on $\mathbb{R}$. Our interest lies in solutions that arise through bifurcations from the phase-shifted bright soliton of the nonlinear Schr\"odinger equation (NLS). These solutions are highly nonlinear, localized, far-from-equilibrium waves, and are the physical relevant solutions to model Kerr frequency combs. We show that bifurcating solitary waves are spectrally stable when the phase angle satisfies $\theta \in (0,\pi)$, while unstable waves are found for angles $\theta \in (\pi,2\pi)$. Furthermore, we establish orbital asymptotical stability of spectrally stable solitary waves against localized perturbations. Our analysis exploits the Lyapunov-Schmidt reduction method, the instability index count developed for linear Hamiltonian systems, and resolvent estimates.


title: Towards podio v1.0 -- A first stable release of the EDM toolkit

abstract: A performant and easy-to-use event data model (EDM) is a key component of any HEP software stack. The podio EDM toolkit provides a user friendly way of generating such a performant implementation in C++ from a high level description in yaml format. Finalizing a few important developments, we are in the final stretches for release v1.0 of podio, a stable release with backward compatibility for datafiles written with podio from then on. We present an overview of the podio basics, and go into slighty more technical detail on the most important topics and developments. These include: schema evolution for generated EDMs, multithreading with podio generated EDMs, the implementation of them as well as the basics of I/O. Using EDM4hep, the common and shared EDM of the Key4hep project, we highlight a few of the smaller features in action as well as some lessons learned during the development of EDM4hep and podio. Finally, we show how podio has been integrated into the Gaudi based event processing framework that is used by Key4hep, before we conclude with a brief outlook on potential developments after v1.0.


title: Black-box Membership Inference Attacks against Fine-tuned Diffusion Models

abstract: With the rapid advancement of diffusion-based image-generative models, the quality of generated images has become increasingly photorealistic. Moreover, with the release of high-quality pre-trained image-generative models, a growing number of users are downloading these pre-trained models to fine-tune them with downstream datasets for various image-generation tasks. However, employing such powerful pre-trained models in downstream tasks presents significant privacy leakage risks. In this paper, we propose the first reconstruction-based membership inference attack framework, tailored for recent diffusion models, and in the more stringent black-box access setting. Considering four distinct attack scenarios and three types of attacks, this framework is capable of targeting any popular conditional generator model, achieving high precision, evidenced by an impressive AUC of $0.95$.