title: Generalization of generative model for neuronal ensemble inference method

abstract: Various brain functions that are necessary to maintain life activities materialize through the interaction of countless neurons. Therefore, it is important to analyze functional neuronal network. To elucidate the mechanism of brain function, many studies are being actively conducted on functional neuronal ensemble and hub, including all areas of neuroscience. In addition, recent study suggests that the existence of functional neuronal ensembles and hubs contributes to the efficiency of information processing. For these reasons, there is a demand for methods to infer functional neuronal ensembles from neuronal activity data, and methods based on Bayesian inference have been proposed. However, there is a problem in modeling the activity in Bayesian inference. The features of each neuron's activity have non-stationarity depending on physiological experimental conditions. As a result, the assumption of stationarity in Bayesian inference model impedes inference, which leads to destabilization of inference results and degradation of inference accuracy. In this study, we extend the range of the variable for expressing the neuronal state, and generalize the likelihood of the model for extended variables. By comparing with the previous study, our model can express the neuronal state in larger space. This generalization without restriction of the binary input enables us to perform soft clustering and apply the method to non-stationary neuroactivity data. In addition, for the effectiveness of the method, we apply the developed method to multiple synthetic fluorescence data generated from the electrical potential data in leaky integrated-and-fire model.

categories: q-bio.NC cond-mat.dis-nn cs.LG physics.bio-ph physics.data-an


title: Generalized Wardrop Equilibrium for Charging Station Selection and Route Choice of Electric Vehicles in Joint Power Distribution and Transportation Networks

abstract: This paper presents the equilibrium analysis of a game composed of heterogeneous electric vehicles (EVs) and a power distribution system operator (DSO) as the players, and charging station operators (CSOs) and a transportation network operator (TNO) as coordinators. Each EV tries to pick a charging station as its destination and a route to get there at the same time. However, the traffic and electrical load congestion on the roads and charging stations lead to the interdependencies between the optimal decisions of EVs. CSOs and the TNO need to apply some tolling to control such congestion. On the other hand, the pricing at charging stations depends on real-time distributional locational marginal pricing, which is determined by the DSO after solving the optimal power flow over the power distribution network. This paper also takes into account the local and the coupling/infrastructure constraints of EVs, transportation and distribution networks. This problem is modeled as a generalized aggregative game, and then a decentralized learning method is proposed to obtain an equilibrium point of the game, which is known as variational generalized Wardrop equilibrium. The existence of such an equilibrium point and the convergence of the proposed algorithm to it are proven. We undertake numerical studies on the Savannah city model and the IEEE 33-bus distribution network and investigate the impact of various characteristics on demand and prices.


title: Rare Wildlife Recognition with Self-Supervised Representation Learning

abstract: Automated animal censuses with aerial imagery are a vital ingredient towards wildlife conservation. Recent models are generally based on supervised learning and thus require vast amounts of training data. Due to their scarcity and minuscule size, annotating animals in aerial imagery is a highly tedious process. In this project, we present a methodology to reduce the amount of required training data by resorting to self-supervised pretraining. In detail, we examine a combination of recent contrastive learning methodologies like Momentum Contrast (MoCo) and Cross-Level Instance-Group Discrimination (CLD) to condition our model on the aerial images without the requirement for labels. We show that a combination of MoCo, CLD, and geometric augmentations outperforms conventional models pretrained on ImageNet by a large margin. Meanwhile, strategies for smoothing label or prediction distribution in supervised learning have been proven useful in preventing the model from overfitting. We combine the self-supervised contrastive models with image mixup strategies and find that it is useful for learning more robust visual representations. Crucially, our methods still yield favorable results even if we reduce the number of training animals to just 10%, at which point our best model scores double the recall of the baseline at similar precision. This effectively allows reducing the number of required annotations to a fraction while still being able to train high-accuracy models in such highly challenging settings.


title: Description Graphs, Matrix-Power Stabilizations and Graph Isomorphism in Polynomial Time

abstract: It is confirmed in this work that the graph isomorphism can be tested in polynomial time, which resolves a longstanding problem in the theory of computation. The contributions are in three phases as follows. 1. A description graph $\tilde{A}$ to a given graph $A$ is introduced so that labels to vertices and edges of $\tilde{A}$ indicate the identical or different amounts of walks of any sort in any length between vertices in $A$. Three processes are then developed to obtain description graphs. They reveal relations among matrix power, spectral decomposition and adjoint matrices, which is of independent interest. 2. We show that the stabilization of description graphs can be implemented via matrix-power stabilization, a new approach to distinguish vertices and edges to graphs. The approach is proven to be equivalent in the partition of vertices to Weisfeiler-Lehman (WL for short) process. The specific Square-and-Substitution (SaS) process is more succinct than WL process. The vertex partitions to our stable graphs are proven to be \emph{strongly} equitable partitions, which is important in the proofs of our main conclusion. Some properties on stable graphs are also explored. 3. A class of graphs named binding graphs is proposed and proven to be graph-isomorphism complete. The vertex partition to the stable graph of a binding graph is the automorphism partition, which allows us to confirm graph-isomorphism problem is in complexity class $\mathtt{P}$. Since the binding graph to a graph is so simple in construction, our approach can be readily applied in practice. Some examples are supplied as illustrations to the contexts, and a brief suggestion to implementation of SaS process is also given in the appendix.


title: Untargeted Backdoor Attack against Object Detection

abstract: Recent studies revealed that deep neural networks (DNNs) are exposed to backdoor threats when training with third-party resources (such as training samples or backbones). The backdoored model has promising performance in predicting benign samples, whereas its predictions can be maliciously manipulated by adversaries based on activating its backdoors with pre-defined trigger patterns. Currently, most of the existing backdoor attacks were conducted on the image classification under the targeted manner. In this paper, we reveal that these threats could also happen in object detection, posing threatening risks to many mission-critical applications ($e.g.$, pedestrian detection and intelligent surveillance systems). Specifically, we design a simple yet effective poison-only backdoor attack in an untargeted manner, based on task characteristics. We show that, once the backdoor is embedded into the target model by our attack, it can trick the model to lose detection of any object stamped with our trigger patterns. We conduct extensive experiments on the benchmark dataset, showing its effectiveness in both digital and physical-world settings and its resistance to potential defenses.


title: Gaussian inference for data-driven state-feedback design of nonlinear systems

abstract: Data-driven control of nonlinear systems with rigorous guarantees is a challenging problem as it usually calls for nonconvex optimization and requires often knowledge of the true basis functions of the system dynamics. To tackle these drawbacks, this work is based on a data-driven polynomial representation of general nonlinear systems exploiting Taylor polynomials. Thereby, we design state-feedback laws that render a known equilibrium point globally asymptotically stable while operating with respect to a desired quadratic performance criterion. The calculation of the polynomial state feedback boils down to a single sum-ofsquares optimization problem, and hence to computationally tractable linear matrix inequalities. Moreover, we examine state-input data in presence of Gaussian noise by Bayesian inference to overcome the conservatism of deterministic noise characterizations from recent data-driven control approaches for Gaussian noise.


title: UAV Traffic Management : A Survey On Communication Security

abstract: Unmanned Aerial Systems (UAS) have a wide variety of applications, and their development in terms of capabilities is continuously evolving. Many missions performed by an Unmanned Aerial Vehicle (UAV) require flying in public airspace. This requires very high safety standards, similar to those mandatory in commercial civil aviation. A safe UAV Traffic Management (UTM) requires several communication links between aircraft, their pilots and UTM systems. The integrity of these communication links is critical for the safety of operations. Several security requirements also have to be met on each of these links. Unfortunately, current cryptographic standards used over the internet are most often not suitable to UAS due to their limited resources and dynamic nature. This survey discusses the security required for every communication link in order to enable a safe traffic management. Research works focusing on the security of communication links using cryptographic primitives are then presented and discussed. Authentication protocols developed for UAVs or other constrained systems are compared and evaluated as solutions for UAS security. Symmetrical alternatives to the AES algorithm are also presented. Works to secure current UTM protocols such as ADS-B and RemoteID are discussed. The analysis reveals a need for the development of a complete secure architecture able to provide authentication and integrity to external systems (other aircraft, UTM systems...).


title: Regression as Classification: Influence of Task Formulation on Neural Network Features

abstract: Neural networks can be trained to solve regression problems by using gradient-based methods to minimize the square loss. However, practitioners often prefer to reformulate regression as a classification problem, observing that training on the cross entropy loss results in better performance. By focusing on two-layer ReLU networks, which can be fully characterized by measures over their feature space, we explore how the implicit bias induced by gradient-based optimization could partly explain the above phenomenon. We provide theoretical evidence that the regression formulation yields a measure whose support can differ greatly from that for classification, in the case of one-dimensional data. Our proposed optimal supports correspond directly to the features learned by the input layer of the network. The different nature of these supports sheds light on possible optimization difficulties the square loss could encounter during training, and we present empirical results illustrating this phenomenon.


title: Normal reconstruction from specularity in the endoscopic setting

abstract: We show that for a plane imaged by an endoscope the specular isophotes are concentric circles on the scene plane, which appear as nested ellipses in the image. We show that these ellipses can be detected and used to estimate the plane's normal direction, forming a normal reconstruction method, which we validate on simulated data. In practice, the anatomical surfaces visible in endoscopic images are locally planar. We use our method to show that the surface normal can thus be reconstructed for each of the numerous specularities typically visible on moist tissues. We show results on laparoscopic and colonoscopic images.


title: Forbidden Dark Matter Combusted Around Supermassive Black Hole

abstract: The forbidden dark matter cannot annihilate into a pair of heavier partners, either SM particles or its partners in the dark sector, at the late stage of cosmological evolution by definition. We point out the possibility of reactivating the forbidden annihilation channel around supermassive black holes. Being attracted towards a black hole, the forbidden dark matter is significantly accelerated to overcome the annihilation threshold. The subsequent decay of the annihilation products to photon leaves a unique signal around the black hole, which can serve as a smoking gun for the forbidden dark matter. For illustration, the Fermi-LAT data around Sgr $A^*$ provides a preliminary constraint on the thermally averaged cross section of the reactivated forbidden annihilation that is consistent with the DM relic density requirement.


title: Plastic neural network with transmission delays promotes equivalence between function and structure

abstract: The brain is formed by cortical regions that are associated with different cognitive functions. Neurons within the same region are more likely to connect than neurons in distinct regions, making the brain network to have characteristics of a network of subnetworks. The values of synaptic delays between neurons of different subnetworks are greater than those of the same subnetworks. This difference in communication time between neurons has consequences on the firing patterns observed in the brain, which is directly related to changes in neural connectivity, known as synaptic plasticity. In this work, we build a plastic network of Hodgkin-Huxley neurons in which the connectivity modifications follow a spike-time dependent rule. We define an internal-delay among neurons communicating within the same subnetwork, an external-delay for neurons belonging to distinct subnetworks, and study how these communicating delays affect the entire network dynamics. We observe that the neuronal network exhibits a specific connectivity configuration for each synchronised pattern. Our results show how synaptic delays and plasticity work together to promote the formation of structural coupling among the neuronal subnetworks. We conclude that plastic neuronal networks are able to promote equivalence between function and structure meaning that topology emerges from behaviour and behaviour emerges from topology, creating a complex dynamical process where topology adapts to conform with the plastic rules and firing patterns reflect the changes on the synaptic weights.


title: Invariants of SDP exactness in quadratic programming

abstract: In this paper we study the Shor relaxation of quadratic programs by fixing a feasible set and considering the space of objective functions for which the Shor relaxation is exact. We first give conditions under which this region is invariant under the choice of generators defining the feasible set. We then describe this region when the feasible set is invariant under the action of a subgroup of the general linear group. We conclude by applying these results to quadratic binary programs. We give an explicit description of objective functions where the Shor relaxation is exact and use this knowledge to design an algorithm that produces candidate solutions for binary quadratic programs.


title: Examining the orbital decay targets KELT-9 b, KELT-16 b and WASP-4 b, and the transit-timing variations of HD 97658 b

abstract: Tidal orbital decay is suspected to occur especially for hot Jupiters, with the only observationally confirmed case of this being WASP-12 b. By examining this effect, information on the properties of the host star can be obtained using the so-called stellar modified tidal quality factor $Q_*'$, which describes the efficiency with which kinetic energy of the planet is dissipated within the star. This can help to get information about the interior of the star. In this study, we aim to improve constraints on the tidal decay of the KELT-9, KELT-16 and WASP-4 systems, to find evidence for or against the presence of this particular effect. With this, we want to constrain each star's respective $Q_*'$ value. In addition to that, we also aim to test the existence of the transit timing variations (TTVs) in the HD 97658 system, which previously favoured a quadratic trend with increasing orbital period. Making use of newly acquired photometric observations from CHEOPS and TESS, combined with archival transit and occultation data, we use Markov chain Monte Carlo (MCMC) algorithms to fit three models, a constant period model, an orbital decay model, and an apsidal precession model, to the data. We find that the KELT-9 system is best described by an apsidal precession model for now, with an orbital decay trend at over 2 $\sigma$ being a possible solution as well. A Keplerian orbit model with a constant orbital period fits the transit timings of KELT-16 b the best due to the scatter and scale of their error bars. The WASP-4 system is represented the best by an orbital decay model at a 5 $\sigma$ significance, although apsidal precession cannot be ruled out with the present data. For HD 97658 b, using recently acquired transit observations, we find no conclusive evidence for a previously suspected strong quadratic trend in the data.


title: Application of GPU-accelerated FDTD method to electromagnetic wave propagation in plasma using MATLAB Parallel Processing Toolbox

abstract: Since numerical computing with MATLAB offers a wide variety of advantages, such as easier developing and debugging of computational codes rather than lower-level languages, the popularity of this tool is significantly increased in the past decade. However, MATLAB is slower than other languages. Moreover, utilizing MATLAB parallel computing toolbox on the Graphics Processing Unit (GPU) face some limitations. The lack of attention to these limitations reduces the program execution speed. Even sometimes, parallel GPU codes are slower than serial. In this paper, some techniques in using MATLAB parallel computing toolbox are studied to improve the performance of solving complex electromagnetic problems by the Finite Difference Time Domain (FDTD) method. Implementing these techniques allows the GPU-Accelerated Parallel FDTD code to execute 20x faster than (basic) serial FDTD code. Eventually, GPU-Accelerated Parallel FDTD code is utilized to optimize the computational modeling of electromagnetic waves propagating in plasma. In this simulation, kinetic theory equations for plasma are used (excluding inelastic collisions), and temporal evolution is studied by the FDTD method (coupled FDTD with kinetic theory).


title: Towards High-Power Microwaves

abstract: In this paper, we review and compare HPM sources operating without a magnetic field to guide the electron beam that are capable of producing high-power microwave (HPM) pulses with a duration of about 100 ns. The proposed analysis summarizes multi-year research carried with three types of HPM sources: a split-cavity oscillator (SCO); an axial vircator; and a virtual cathode oscillator in Reflex Triode geometry. These options were simulated for electron beam energy $\sim$400 keV and for pulsers with demonstrated capability to provide high power microwave pulses with the required pulse duration. Designed sources were experimentally tested, and their advantages and weaknesses are discussed with respect to high output power, long pulse duration, and good operating stability.


title: A fast approximation to supershell partition functions

abstract: A formula for supershell partition functions, which play a major role in the Super Transition Array approach to radiative-opacity calculations, is derived as a functional of the distribution of energies within the supershell. It consists in an alternative expansion for an arbitrary number of electrons or holes which also allows for quick approximate evaluations with truncated number of terms in the expansion.


title: On power sum kernels on symmetric groups

abstract: In this note, we introduce a family of "power sum" kernels and the corresponding Gaussian processes on symmetric groups $\mathrm{S}_n$. Such processes are bi-invariant: the action of $\mathrm{S}_n$ on itself from both sides does not change their finite-dimensional distributions. We show that the values of power sum kernels can be efficiently calculated, and we also propose a method enabling approximate sampling of the corresponding Gaussian processes with polynomial computational complexity. By doing this we provide the tools that are required to use the introduced family of kernels and the respective processes for statistical modeling and machine learning.


title: Complexity of Chess Domination Problems

abstract: We study different domination problems of attacking and non-attacking rooks and queens on polyominoes and polycubes of all dimensions. Our main result proves that maximal domination is NP-complete for non-attacking queens and for non-attacking rooks on polycubes of dimension three and higher. We also analyse these problems for polyominoes and convex polyominoes, conjecture the complexity classes and provide a computer tool for investigation. We have also computed new values for classical queen domination problems on chessboards (square polyominoes). For our computations, we have translated the problem into an integer linear programming instance. Finally, using this computational implementation and the game engine Godot, we have developed a video game of minimal domination of queens and rooks on randomly generated polyominoes.


title: On uniqueness for half-wave maps in dimension d >= 3

abstract: Extending an argument by Shatah and Struwe we obtain uniqueness for solutions of the half-wave map equation in dimension $d \geq 3$ in the natural energy class.


title: Unifying the communicable disease spreading paradigm with Gompertzian growth

abstract: A number of studies have shown that cumulative mortality followed a Gompertz curve in the initial Covid pandemic period, March-April 2020. We show that the Gompertz curve is incompatible with expected initial logistic growth curves as predicted by traditional Susceptible-Infected-Recovered (SIR) models, and propose a new theory which better explains the nature of the mortality characteristics based on a global biosphere disturbance. Second, we show that for the Gompertz curve to emerge, the disturbance has to act on everyone simultaneously, rejecting the possibility of a disease propagation stage. Third, we connect logistic growth with Gompertzian growth by augmenting the logistic growth equation with higher order interaction terms, and show that the SIR model family is compatible with Gompertzian growth only when all nodes in the transmission network communicate with infinite speed and interaction. Crucially, this augmentation must be accompanied by a causality-reversal where the source of growth is not the pool of infected but the pool of susceptible people. We thus find a novel bridge between logistic and Gompertzian growth, separate from the existing Richards model (also called $\theta$-logistic growth).


title: Efficient Joint Detection and Multiple Object Tracking with Spatially Aware Transformer

abstract: We propose a light-weight and highly efficient Joint Detection and Tracking pipeline for the task of Multi-Object Tracking using a fully-transformer architecture. It is a modified version of TransTrack, which overcomes the computational bottleneck associated with its design, and at the same time, achieves state-of-the-art MOTA score of 73.20%. The model design is driven by a transformer based backbone instead of CNN, which is highly scalable with the input resolution. We also propose a drop-in replacement for Feed Forward Network of transformer encoder layer, by using Butterfly Transform Operation to perform channel fusion and depth-wise convolution to learn spatial context within the feature maps, otherwise missing within the attention maps of the transformer. As a result of our modifications, we reduce the overall model size of TransTrack by 58.73% and the complexity by 78.72%. Therefore, we expect our design to provide novel perspectives for architecture optimization in future research related to multi-object tracking.


title: DisentQA: Disentangling Parametric and Contextual Knowledge with Counterfactual Question Answering

abstract: Question answering models commonly have access to two sources of "knowledge" during inference time: (1) parametric knowledge - the factual knowledge encoded in the model weights, and (2) contextual knowledge - external knowledge (e.g., a Wikipedia passage) given to the model to generate a grounded answer. Having these two sources of knowledge entangled together is a core issue for generative QA models as it is unclear whether the answer stems from the given non-parametric knowledge or not. This unclarity has implications on issues of trust, interpretability and factuality. In this work, we propose a new paradigm in which QA models are trained to disentangle the two sources of knowledge. Using counterfactual data augmentation, we introduce a model that predicts two answers for a given question: one based on given contextual knowledge and one based on parametric knowledge. Our experiments on the Natural Questions dataset show that this approach improves the performance of QA models by making them more robust to knowledge conflicts between the two knowledge sources, while generating useful disentangled answers.


title: On Proper Learnability between Average- and Worst-case Robustness

abstract: Recently, Montasser et al. [2019] showed that finite VC dimension is not sufficient for proper adversarially robust PAC learning. In light of this hardness, there is a growing effort to study what type of relaxations to the adversarially robust PAC learning setup can enable proper learnability. In this work, we initiate the study of proper learning under relaxations of the worst-case robust loss. We give a family of robust loss relaxations under which VC classes are properly PAC learnable with sample complexity close to what one would require in the standard PAC learning setup. On the other hand, we show that for an existing and natural relaxation of the worst-case robust loss, finite VC dimension is not sufficient for proper learning. Lastly, we give new generalization guarantees for the adversarially robust empirical risk minimizer.


title: Stochastic Network Calculus with Localized Application of Martingales

abstract: Stochastic Network Calculus is a probabilistic method to compute performance bounds in networks, such as end-to-end delays. It relies on the analysis of stochastic processes using formalism of (Deterministic) Network Calculus. However, unlike the deterministic theory, the computed bounds are usually very loose compared to the simulation. This is mainly due to the intensive use of the Boole's inequality. On the other hand, analyses based on martingales can achieve tight bounds, but until now, they have not been applied to sequences of servers. In this paper, we improve the accuracy of Stochastic Network Calculus by combining this martingale analysis with a recent Stochastic Network Calculus results based on the Pay-Multiplexing-Only-Once property, well-known from the Deterministic Network calculus. We exhibit a non-trivial class of networks that can benefit from this analysis and compare our bounds with simulation.


title: Multi-objective optimization via evolutionary algorithm (MOVEA) for high-definition transcranial electrical stimulation of the human brain

abstract: Designing a transcranial electrical stimulation (TES) strategy requires considering multiple objectives, such as intensity in the target area, focality, stimulation depth, and avoidance zone, which are often mutually exclusive. A computational framework for optimizing different strategies and comparing trade-offs between these objectives is currently lacking. In this paper, we propose a general framework called multi-objective optimization via evolutionary algorithms (MOVEA) to address the non-convex optimization problem in designing TES strategies without predefined direction. MOVEA enables simultaneous optimization of multiple targets through Pareto optimization, generating a Pareto front after a single run without manual weight adjustment and allowing easy expansion to more targets. This Pareto front consists of optimal solutions that meet various requirements while respecting trade-off relationships between conflicting objectives such as intensity and focality. MOVEA is versatile and suitable for both transcranial alternating current stimulation (tACS) and transcranial temporal interference stimulation (tTIS) based on high definition (HD) and two-pair systems. We performed a comprehensive comparison between tACS and tTIS in terms of intensity, focality, and steerability for targets at different depths.MOVEA facilitates the optimization of TES based on specific objectives and constraints, advancing tTIS and tACS-based neuromodulation in understanding the causal relationship between brain regions and cognitive functions and in treating diseases. The code for MOVEA is available at https://github.com/ncclabsustech/MOVEA.


title: Finding Critical Nodes in Interdependent Networks with SAT and ILP Solvers

abstract: Infrastructure systems, such as power systems, often experience cascading failures. Modeling an infrastructure system as a collection of interdependent networks has recently received attention as a way to explain cascading failures. In this study, we propose an approach to find the set of critical nodes in an interdependent network. For an integer k, we say that a set of k nodes is critical if the initial failures of these k nodes result in the most severe cascading failure among all sets of k nodes. This approach adopts the seminal model of interdependent networks proposed by Buldyrev et al., in which new link failures occur in a network if the connectivity is lost in the paired network. The problem of finding critical nodes is NP-hard; thus the aim of the approach is to accurately solve the problem in feasible time for moderate-size problem instances. The proposed approach consists of two phases. In the first phase, the maximum number of failure propagation stages is computed by repeatedly solving the Boolean satisfiability problem. This number is then used in the second phase, where the set of critical nodes is computed using integer linear programming. The results of applying this approach to a variety of problem instances demonstrate that the approach is feasible for up to at least 30 nodes and can be used as the baseline to compare the performance of heuristic solutions.


title: Quantum phase slips in a resonant Josephson junction

abstract: We investigate the consequences of resonant tunneling of Cooper pairs on the quantum phase slips occurring in a Josephson junction. The amplitude for quantum tunneling under the Josephson potential barrier is modified by the Landau-Zener amplitude of adiabatic passage through an Andreev level crossing, resulting in the suppression of $2\pi$ phase slips. As a consequence, close to resonance, $4\pi$ phase slips become the dominant tunneling process. We illustrate this crossover by determining the energy spectrum of a transmon circuit, showing that a residual charge dispersion persists even at perfect transparency.


title: A Benchmarking Dataset with 2440 Organic Molecules for Volume Distribution at Steady State

abstract: Background: The volume of distribution at steady state (VDss) is a fundamental pharmacokinetics (PK) property of drugs, which measures how effectively a drug molecule is distributed throughout the body. Along with the clearance (CL), it determines the half-life and, therefore, the drug dosing interval. However, the molecular data size limits the generalizability of the reported machine learning models. Objective: This study aims to provide a clean and comprehensive dataset for human VDss as the benchmarking data source, fostering and benefiting future predictive studies. Moreover, several predictive models were also built with machine learning regression algorithms. Methods: The dataset was curated from 13 publicly accessible data sources and the DrugBank database entirely from intravenous drug administration and then underwent extensive data cleaning. The molecular descriptors were calculated with Mordred, and feature selection was conducted for constructing predictive models. Five machine learning methods were used to build regression models, grid search was used to optimize hyperparameters, and ten-fold cross-validation was used to evaluate the model. Results: An enriched dataset of VDss (https://github.com/da-wen-er/VDss) was constructed with 2440 molecules. Among the prediction models, the LightGBM model was the most stable and had the best internal prediction ability with Q2 = 0.837, R2=0.814 and for the other four models, Q2 was higher than 0.79. Conclusions: To the best of our knowledge, this is the largest dataset for VDss, which can be used as the benchmark for computational studies of VDss. Moreover, the regression models reported within this study can be of use for pharmacokinetic related studies.


title: Warmup and Transfer Knowledge-Based Federated Learning Approach for IoT Continuous Authentication

abstract: Continuous behavioural authentication methods add a unique layer of security by allowing individuals to verify their unique identity when accessing a device. Maintaining session authenticity is now feasible by monitoring users' behaviour while interacting with a mobile or Internet of Things (IoT) device, making credential theft and session hijacking ineffective. Such a technique is made possible by integrating the power of artificial intelligence and Machine Learning (ML). Most of the literature focuses on training machine learning for the user by transmitting their data to an external server, subject to private user data exposure to threats. In this paper, we propose a novel Federated Learning (FL) approach that protects the anonymity of user data and maintains the security of his data. We present a warmup approach that provides a significant accuracy increase. In addition, we leverage the transfer learning technique based on feature extraction to boost the models' performance. Our extensive experiments based on four datasets: MNIST, FEMNIST, CIFAR-10 and UMDAA-02-FD, show a significant increase in user authentication accuracy while maintaining user privacy and data security.


title: Phononic Stiefel-Whitney topology with corner vibrational modes in two-dimensional Xenes and ligand-functionalized derivatives

abstract: Two-dimensional (2D) Stiefel-Whitney (SW) insulator is a fragile topological state characterized by the second SW class in the presence of space-time inversion symmetry. So far, SWIs have been proposed in several electronic materials but seldom in phononic systems. Here we recognize that a large class of 2D buckled honeycomb crystals termed Xenes and their ligand-functionalized derivatives realize the nontrivial phononic SW topology. The phononic SWIs are identified by a nonzero second SW number $w_2=1$, associated with gaped edge states and robust topological corner modes. Despite the versatility of electronic topological properties in these materials, the nontrivial phononic SW topology is mainly attributed to the double band inversion between in-plane acoustic and out-of-plane optical bands with opposite parities due to the structural buckling of the honeycomb lattice. Our findings not only reveal an overlooked phononic topological property of 2D Xene-related materials, but also afford abundant readily synthesizable material candidates with simple phononic spectra for further experimental studies of phononic SW topology physics.


title: The Big Bang could be anisotropic. The case of Bianchi I model

abstract: We consider an evolution of anisotropic cosmological model on the example of the Bianchi type I homogeneous universe. It is filled by the mixture of matter and dark energy with an arbitrary barotropic equation of state (EoS). The general solution for this case is found and analyzed. A complete list of possible future singularities for this model is given. Some new solution were obtained for a particular EoSs, e.g. for the Bianchi type I {\Lambda}CDM homogeneous model. It is shown that all special cases corresponding to different EoSs have common properties, provided that now or at another moment of time the Universe is expanding, and the density of the mixture is positive. Then the evolution always begins with an anisotropic "Big Bang" which happened a finite time ago. After that the universe is constantly expanding and, in all cases, with rare exceptions, becomes more isotropic. A particularly strong isotropization is associated with the epoch of inflation. After its completion, the expansion of the universe becomes almost isotropic, and this case cannot be distinguished from isotropic by astronomical observations. This fact allows us to consider an anisotropic cosmological model as a possible candidate for the description of the observed Universe despite the isotropic pattern of expansion.


title: On Erdos--Dushnik--Miller theorem without AC

abstract: In set theory without the Axiom of Choice, we study the possible placement of Erdos-Dushnik-Miller theorem restricted to an uncountable set of vertices in the hierarchy of weak choice forms. We also answer a part of a question raised by Lajos Soukup.


title: Regional Disparities and Economic Growth in Ukraine

abstract: This research is devoted to assessing regional economic disparities in Ukraine, where regional economic inequality is a crucial issue the country faces in its medium and long-term development, recently, even in the short term. We analyze the determinants of regional economic growth, mainly industrial and agricultural productions, population, human capital, fertility, migration, and regional government expenditures. Using panel data estimations from 2004 to 2020 for 27 regions of Ukraine, our results show that the gaps between regions in Ukraine have widened last two decades. Natural resource distribution, agricultural and industrial productions, government spending, and migration can explain the disparities. We show that regional government spending is highly concentrated in Kyiv, and the potential of the other regions, especially the Western ones, needs to be used sufficiently. Moreover, despite its historical and economic opportunity, the East region performed little development during the last two decades. The inefficient and inconsistent regional policies played a crucial role in these disparities.


title: What Makes a Good Explanation?: A Harmonized View of Properties of Explanations

abstract: Interpretability provides a means for humans to verify aspects of machine learning (ML) models and empower human+ML teaming in situations where the task cannot be fully automated. Different contexts require explanations with different properties. For example, the kind of explanation required to determine if an early cardiac arrest warning system is ready to be integrated into a care setting is very different from the type of explanation required for a loan applicant to help determine the actions they might need to take to make their application successful. Unfortunately, there is a lack of standardization when it comes to properties of explanations: different papers may use the same term to mean different quantities, and different terms to mean the same quantity. This lack of a standardized terminology and categorization of the properties of ML explanations prevents us from both rigorously comparing interpretable machine learning methods and identifying what properties are needed in what contexts. In this work, we survey properties defined in interpretable machine learning papers, synthesize them based on what they actually measure, and describe the trade-offs between different formulations of these properties. In doing so, we enable more informed selection of task-appropriate formulations of explanation properties as well as standardization for future work in interpretable machine learning.


title: Mapping the Milky Way Disk with Gaia DR3: 3D extended kinematic maps and rotation curve to $\approx 30$ kpc

abstract: We apply a statistical deconvolution of the parallax errors based on Lucy's inversion method (LIM) to the Gaia-DR3 sources to measure their three dimensional velocity components in the range of Galactocentric distances $R$ between 8 kpc and 30 kpc with their corresponding errors and root mean square values. We find results that are consistent with those obtained by applying LIM to the Gaia-DR2 sources, and we conclude that the method gives convergent and more accurate results by improving the statistics of the data-set and lowering observational errors. The kinematic maps reconstructed with LIM up to $R \approx 30$ kpc show that the Milky Way is characterized by asymmetrical motions with significant gradients in all velocity components. Furthermore, we determine the Galaxy rotation curve $V_C(R)$ up to $\approx 27.5$ kpc with the cylindrical Jeans equation assuming an axisymmetric gravitational potential. We find that $V_C(R)$ is significantly declining up to the largest radius investigated. Finally, we also measure $V_C(R)$ at different vertical heights, showing that, for $R <15$ kpc, there is a marked dependence on $Z$, whereas at larger $R$ the dependence on $Z$ is negligible.


title: The arithmetic of tame quotient singularities in dimension $2$

abstract: Let $k$ be a field, $X$ a variety with tame quotient singularities and $\tilde{X}\to X$ a resolution of singularities. Any smooth rational point $x\in X(k)$ lifts to $\tilde{X}$ by the Lang-Nishimura theorem, but if $x$ is singular this might be false. For certain types of singularities the rational point is guaranteed to lift, though; these are called singularities of type $\mathrm{R}$. This concept has applications in the study of the fields of moduli of varieties and yields an enhanced version of the Lang-Nishimura theorem where the smoothness assumption is relaxed. We classify completely the tame quotient singularities of type $\mathrm{R}$ in dimension $2$; in particular, we show that every non-cyclic tame quotient singularity in dimension $2$ is of type $\mathrm{R}$, and most cyclic singularities are of type $\mathrm{R}$ too.


title: Stability of the gapless pure point spectrum of self-adjoint operators

abstract: We consider a self-adjoint operator $T$ on a separable Hilbert space, with pure-point and simple spectrum with accumulations at finite points. Explicit conditions are stated on the eigenvalues of $T$ and on the bounded perturbation $V$ ensuring the global stability of the spectral nature of $T+V$.


title: Structure and reaction study of Z=120 isotopes using non-relativistic and relativistic mean-field formalism

abstract: An extensive study is carried out for the island of stability in the superheavy nuclei of Z=120 and N=164-220 within the effective field theory motivated relativistic mean-field (E-RMF) and the non-relativistic Skyrme-Hartree-Fock (SHF) approaches. The relativistic G3 and IOPB-I and non-relativistic SLy4 and SkMP parameter sets are used for the investigations. Surface properties such as symmetry energy, neutron pressure and the curvature coefficient of symmetry energy are discussed within the coherent density fluctuation model (CDFM) using the Skyrme and the Br\"uckner energy density functionals. The volume and surface contributions of symmetry energy are evaluated using Danielewicz's liquid drop approximation within the CDFM. The total nuclear reaction and elastic differential cross-sections are also obtained for both SHF and E-RMF within the Glauber model. The peaks in the symmetry energy at N = 182 for SHF and N=184 for E-RMF are seen, which are absent in the Br\"uckner functional. The shifting of peak in the symmetry energy with Br\"uckner functional can be correlated to the Coester-band problem. The enhanced total reaction cross-section for relativistic density of $^{304}120$ suggests the extra stability of this nucleus. This further confirms the shell/sub-shell closure of N = 184 in E-RMF force. The differential cross-section shows its force independent nature and significant increase with the scattering angle.


title: Constructive Axiomatics in Spacetime Physics Part II: Constructive Axiomatics in Context

abstract: The Ehlers-Pirani-Schild (EPS) constructive axiomatisation of general relativity, published in 1972, purports to build up the kinematical structure of that theory from only axioms which have indubitable empirical content. It is, therefore, of profound significance both to the epistemology and to the metaphysics of spacetime theories. In this article, we set the EPS approach in its proper context, by (a) discussing the history of constructive approaches to spacetime theories in the lead-up to EPS; (b) addressing some of the major concerns raised against EPS; (c) considering how EPS compares with 'chronometric' approaches to affording the metric field of general relativity its operational significance; (d) distinguishing quite generally between different kinds of constructive approach, and fitting EPS into this classification; (e) discussing how constructivism bears on a number of other issues in the foundations of physics; and (f) assessing the merits of constructivism qua local foundationalist project. There are two companion papers, in which we provide a pedagogical walkthrough to the EPS axiomatisation (Part I), and discuss/develop versions of EPS with quantum mechanical inputs (Part III).


title: BERT in Plutarch's Shadows

abstract: The extensive surviving corpus of the ancient scholar Plutarch of Chaeronea (ca. 45-120 CE) also contains several texts which, according to current scholarly opinion, did not originate with him and are therefore attributed to an anonymous author Pseudo-Plutarch. These include, in particular, the work Placita Philosophorum (Quotations and Opinions of the Ancient Philosophers), which is extremely important for the history of ancient philosophy. Little is known about the identity of that anonymous author and its relation to other authors from the same period. This paper presents a BERT language model for Ancient Greek. The model discovers previously unknown statistical properties relevant to these literary, philosophical, and historical problems and can shed new light on this authorship question. In particular, the Placita Philosophorum, together with one of the other Pseudo-Plutarch texts, shows similarities with the texts written by authors from an Alexandrian context (2nd/3rd century CE).


title: Perspectival Quantum Realism

abstract: The theories of pre-quantum physics are standardly seen as representing physical systems and their properties. Quantum mechanics in its standard form is a more problematic case: here, interpretational problems have led to doubts about the tenability of realist views. Thus, QBists and Quantum Pragmatists maintain that quantum mechanics should not be thought of as representing physical systems, but rather as an agent-centered tool for updating beliefs about such systems. It is part and parcel of such views that different agents may have different beliefs and may assign different quantum states. What results is a collection of agent-centered perspectives rather than a unique representation of the physical world. In this paper we argue that the problems identified by QBism and Quantum Pragmatism do not necessitate abandoning the ideal of representing the physical world. We can avail ourselves of the same puzzle-solving strategies as employed by QBists and pragmatists by adopting a \emph{perspectival quantum realism}. According to this perspectivalism (close to the relational interpretation of quantum mechanics) objects may possess different, but equally objective properties with respect to different physically defined perspectives. We discuss two options for such a perspectivalism, a local and a nonlocal one, and apply them to Wigner's friend and EPR scenarios. Finally, we connect quantum perspectivalism to the recently proposed philosophical position of \emph{fragmentalism}.


title: Causal Modeling of Soil Processes for Improved Generalization

abstract: Measuring and monitoring soil organic carbon is critical for agricultural productivity and for addressing critical environmental problems. Soil organic carbon not only enriches nutrition in soil, but also has a gamut of co-benefits such as improving water storage and limiting physical erosion. Despite a litany of work in soil organic carbon estimation, current approaches do not generalize well across soil conditions and management practices. We empirically show that explicit modeling of cause-and-effect relationships among the soil processes improves the out-of-distribution generalizability of prediction models. We provide a comparative analysis of soil organic carbon estimation models where the skeleton is estimated using causal discovery methods. Our framework provide an average improvement of 81% in test mean squared error and 52% in test mean absolute error.


title: Mean-field backward stochastic differential equations and nonlocal PDEs with quadratic growth

abstract: In this paper, we study general mean-field backward stochastic differential equations (BSDEs, for short) with quadratic growth. First, the existence and uniqueness of local and global solutions are proved with some new ideas for a one-dimensional mean-field BSDE when the generator $g\big(t, Y, Z, \mathbb{P}_{Y}, \mathbb{P}_{Z}\big)$ has a quadratic growth in $Z$ and the terminal value is bounded. Second, a comparison theorem for the general mean-field BSDEs is obtained with the Girsanov transform. Third, we prove the convergence of the particle systems to the mean-field BSDEs with quadratic growth, and the convergence rate is also given. Finally, in this framework, we use the mean-field BSDE to provide a probabilistic representation for the viscosity solution of a nonlocal partial differential equation (PDE, for short) as an extended nonlinear Feynman-Kac formula, which yields the existence and uniqueness of the solution to the PDE.


title: Multivariate compactly supported $C^\infty$ functions by subdivision

abstract: This paper discusses the generation of multivariate $C^\infty$ functions with compact small supports by subdivision schemes. Following the construction of such a univariate function, called \emph{Up-function}, by a non-stationary scheme based on masks of {spline subdivision schemes} of growing degrees, we term the multivariate functions we generate Up-like functions. We generate them by non-stationary schemes based on masks of box-splines of growing supports. To analyze the convergence and smoothness of these non-stationary schemes, we develop new tools which apply to a wider class of schemes than the class we study. With our method for achieving small compact supports, we obtain, in the univariate case, Up-like functions with supports $[0, 1 +\epsilon ]$ in comparison to the support $[0, 2] $ of the Up-function. Examples of univariate and bivariate Up-like functions are given. As in the univariate case, the construction of Up-like functions can motivate the generation of $C^\infty$ compactly supported wavelets of small support in any dimension.


title: Accelerated respiratory-resolved 4D-MRI with separable spatio-temporal neural networks

abstract: Background: Respiratory-resolved four-dimensional magnetic resonance imaging (4D-MRI) provides essential motion information for accurate radiation treatments of mobile tumors. However, obtaining high-quality 4D-MRI suffers from long acquisition and reconstruction times. Purpose: To develop a deep learning architecture to quickly acquire and reconstruct high-quality 4D-MRI, enabling accurate motion quantification for MRI-guided radiotherapy. Methods: A small convolutional neural network called MODEST is proposed to reconstruct 4D-MRI by performing a spatial and temporal decomposition, omitting the need for 4D convolutions to use all the spatio-temporal information present in 4D-MRI. This network is trained on undersampled 4D-MRI after respiratory binning to reconstruct high-quality 4D-MRI obtained by compressed sensing reconstruction. The network is trained, validated, and tested on 4D-MRI of 28 lung cancer patients acquired with a T1-weighted golden-angle radial stack-of-stars sequence. The 4D-MRI of 18, 5, and 5 patients were used for training, validation, and testing. Network performances are evaluated on image quality measured by the structural similarity index (SSIM) and motion consistency by comparing the position of the lung-liver interface on undersampled 4D-MRI before and after respiratory binning. The network is compared to conventional architectures such as a U-Net, which has 30 times more trainable parameters. Results: MODEST can reconstruct high-quality 4D-MRI with higher image quality than a U-Net, despite a thirty-fold reduction in trainable parameters. High-quality 4D-MRI can be obtained using MODEST in approximately 2.5 minutes, including acquisition, processing, and reconstruction. Conclusion: High-quality accelerated 4D-MRI can be obtained using MODEST, which is particularly interesting for MRI-guided radiotherapy.


title: Structural order promotes efficient separation of delocalized charges at molecular heterojunctions

abstract: The energetic landscape at the interface between electron donating and accepting molecular materials favors efficient conversion of intermolecular charge-transfer states (CTS) into free charge carriers in high-performance organic solar cells. Here, we elucidate how interfacial energetics, charge generation and radiative recombination are affected by structural ordering. We experimentally determine the CTS binding energy of a series of model, small molecule donor-acceptor blends, where the used acceptors (B2PYMPM, B3PYMPM and B4PYMPM) differ only in the nitrogen position of their lateral pyridine rings. We find that the formation of an ordered, face-on molecular packing in B4PYMPM is beneficial to efficient, field-independent charge separation, leading to fill factors over 70% in photovoltaic devices. This is rationalized by a comprehensive computational protocol showing that, compared to the more amorphous and isotropically oriented B2PYMPM, the higher order of the B4PYMPM molecules provides more delocalized CTS. Furthermore, we find no correlation between the quantum efficiency of radiative free charge carrier recombination and the bound or unbound nature of the CTS. This work highlights the importance of structural ordering at donor-acceptor interfaces for efficient free carrier generation and shows that more ordering and less bound CT states do not preclude efficient radiative recombination.


title: Detection of single-degenerate massive binaries with Gaia: The impact of blue supergiants, triples, mass precision, and high-precision parallax requirements

abstract: Hundreds of black holes with massive main-sequence companions (OB+BHs) might be identified from Gaia astrometry with the Astrometric Mass-Ratio Function (AMRF). We investigate the impact of blue supergiant companions (BSG) instead of dwarfs and the presence of additional companions in the system that are unresolved by Gaia on the astrometric identification of OB+BHs. We also explore how accurate the primary mass needs to be constrained. Moreover, we assess how the high-precision publishing constraints of astrometric binary orbits in the latest Gaia data release DR3 impact the detection of OB+BHs. We establish a BSG mass-magnitude relation and compute BSG AMRF curves. From a mock population of non- and single-degenerate massive binaries and triples with OB or BSG primaries, we asses the false-positive identification fraction and the effect of the BSG AMRF curves. We compare the number of stars with astrometric DR3 orbits in the second Alma Luminous Star catalogue (ALSII) with new predictions on the OB+BH detection using the conservative DR3 publishing criteria. BSG primaries and triples are not expected to impact the false-positive identification fractions significantly. However, if the evolutionary stage of the primary star is unknown, the usage of the BSG curves is still recommended. This also reduces the OB+BH identification fraction significantly. The primary mass does not need to be known to benefit from the high identification fraction of OB+BHs, while keeping the fraction of false-positives low. We find no OB+BH candidates in the ALS II among the DR3 orbits. This null-detection cannot be attributed to the underlying BH-formation scenario, but rather to the stringent DR3 selection criteria. To infer the BH-formation scenario with Gaia, we propose that the constraint on the relative parallax precision in DR4 should be 95% less conservative than the DR3 criterion.(Abridged)


title: An Overview on Laakso Spaces

abstract: Laakso's construction is a famous example of an Ahlfors $Q$-regular metric measure space admitting a weak $(1,1)$-Poincar\'{e} inequality that can not be embedded in $\mathbb{R}^n$ for any $n$. The construction is of particular interest because it works for any fixed dimension $Q>1$, even fractional ones. In this paper we will shed some light on Laakso's work by expanding some of his statements and proving results that were left unproved in the original paper.


title: FlowDNS: Correlating Netflow and DNS Streams at Scale

abstract: Knowing customer's interests, e.g. which Video-On-Demand (VoD) or Social Network services they are using, helps telecommunication companies with better network planning to enhance the performance exactly where the customer's interests lie, and also offer the customers relevant commercial packages. However, with the increasing deployment of CDNs by different services, identification, and attribution of the traffic on network-layer information alone becomes a challenge: If multiple services are using the same CDN provider, they cannot be easily distinguished based on IP prefixes alone. Therefore, it is crucial to go beyond pure network-layer information for traffic attribution. In this work, we leverage real-time DNS responses gathered by the clients' default DNS resolvers. Having these DNS responses and correlating them with network-layer headers, we are able to translate CDN-hosted domains to the actual services they belong to. We design a correlation system for this purpose and deploy it at a large European ISP. With our system, we can correlate an average of 81.7% of the traffic with the corresponding services, without any loss on our live data streams. Our correlation results also show that 0.5% of the daily traffic contains malformatted, spamming, or phishing domain names. Moreover, ISPs can correlate the results with their BGP information to find more details about the origin and destination of the traffic. We plan to publish our correlation software for other researchers or network operators to use.


title: Real energies and Berry phases in all PT-regimes in time-dependent non-Hermitian theories

abstract: We demonstrate that the existence of a Hermitian time-dependent intertwining operator that maps the non-Hermitian time-dependent energy operator to its Hermitian conjugate and its right to its left eigenstates guarantees the reality of the instantaneous energies. This property holds throughout all three $\cal{PT}$-regimes, in the time-independent scenario referred to as the $\cal{PT}$-symmetric regime, the exceptional point and the spontaneously broken $\cal{PT}$-regime. We also propose a modified adiabatic approximation consisting of an expansion of the wavefunctions in terms the instantaneous eigenstates of the energy operator, instead of the usually used eigenfunctions of the Hamiltonian. We show that this proposal always leads to real Berry phases. We illustrate the working of our general proposals with two explicit examples for a time-dependent non-Hermitian spin model.


title: Demonstration of Quantum Advantage in Microwave Quantum Radar

abstract: While quantum entanglement can enhance the performance of several technologies such as computing, sensing and cryptography, its widespread use is hindered by its sensitivity to noise and losses. Interestingly, even when entanglement has been destroyed, some tasks still exhibit a quantum advantage $Q$, defined by a $Q$-time speedup, over any classical strategies. A prominent example is the quantum radar, which enhances the detection of the presence of a target in noisy surroundings. To beat all classical strategies, Lloyd proposed to use a probe initially entangled with an idler that can be recombined and measured with the reflected probe. Observing any quantum advantage requires exploiting the quantum correlations between the probe and the idler. It involves their joint measurement or at least adapting the idler detection to the outcome of the probe measurement. In addition to successful demonstrations of such quantum illumination protocols at optical frequencies, the proposal of a microwave radar, closer to conventional radars, gathered a lot of interest. However, previous microwave implementations have not demonstrated any quantum advantage as probe and idler were always measured independently. In this work, we implement a joint measurement using a superconducting circuit and demonstrate a quantum advantage $Q>1$ for microwave radar. Storing the idler mitigates the detrimental impact of microwave loss on the quantum advantage, and the purity of the initial entangled state emerges as the next limit. While the experiment is a proof-of-principle performed inside a dilution refrigerator, it exhibits some of the inherent difficulties in implementing quantum radars such as the limited range of parameters where a quantum advantage can be observed or the requirement for very low probe and idler temperatures.


title: Impact of half-wave plate systematics on the measurement of cosmic birefringence from CMB polarization

abstract: Polarization of the cosmic microwave background (CMB) can probe new parity-violating physics such as cosmic birefringence (CB), which requires exquisite control over instrumental systematics. The non-idealities of the half-wave plate (HWP) represent a source of systematics when used as a polarization modulator. We study their impact on the CMB angular power spectra, which is partially degenerate with CB and miscalibration of the polarization angle. We use full-sky beam convolution simulations including HWP to generate mock noiseless time-ordered data, process them through a bin averaging map-maker, and calculate the power spectra including $TB$ and $EB$ correlations. We also derive analytical formulae which accurately model the observed spectra. For our choice of HWP parameters, the HWP-induced angle amounts to a few degrees, which could be misinterpreted as CB. Accurate knowledge of the HWP is required to mitigate this. Our simulation and analytical formulae will be useful for deriving requirements for the accuracy of HWP calibration.


title: Critical cluster volumes in hierarchical percolation

abstract: We consider long-range Bernoulli bond percolation on the $d$-dimensional hierarchical lattice in which each pair of points $x$ and $y$ are connected by an edge with probability $1-\exp(-\beta\|x-y\|^{-d-\alpha})$, where $0<\alpha<d$ is fixed and $\beta \geq 0$ is a parameter. We study the volume of clusters in this model at its critical point $\beta=\beta_c$, proving precise estimates on the moments of all orders of the volume of the cluster of the origin inside a box. We apply these estimates to prove up-to-constants estimates on the tail of the volume of the cluster of the origin, denoted $K$, at criticality, namely \[ \mathbb{P}_{\beta_c}(|K|\geq n) \asymp \begin{cases} n^{-(d-\alpha)/(d+\alpha)} & d < 3\alpha\\ n^{-1/2}(\log n)^{1/4} & d=3\alpha \\ n^{-1/2} & d>3\alpha. \end{cases} \] In particular, we compute the critical exponent $\delta$ to be $(d+\alpha)/(d-\alpha)$ when $d$ is below the upper-critical dimension $d_c=3\alpha$ and establish the precise order of polylogarithmic corrections to scaling at the upper-critical dimension itself. Interestingly, we find that these polylogarithmic corrections are not those predicted to hold for nearest-neighbour percolation on $\mathbb{Z}^6$ by Essam, Gaunt, and Guttmann (J. Phys. A 1978). Our work also lays the foundations for the study of the scaling limit of the model: In the high-dimensional case $d \geq 3\alpha$ we prove that the sized-biased distribution of the volume of the cluster of the origin inside a box converges under suitable normalization to a chi-squared random variable, while in the low-dimensional case $d<3\alpha$ we prove that the suitably normalized decreasing list of cluster sizes in a box is tight in $\ell^p\setminus \{0\}$ if and only if $p>2d/(d+\alpha)$.


title: From completeness of discrete translates to phaseless sampling of the short-time Fourier transform

abstract: This article bridges and contributes to two important research areas, namely the completeness problem for systems of translates in function spaces and the short-time Fourier transform (STFT) phase retrieval problem. As a first main contribution, we show that a complex-valued, compactly supported function can be uniquely recovered from samples of its spectrogram if certain density properties of an associated system of translates hold true. Secondly, we derive new completeness results for systems of discrete translates in spaces of continuous functions on compact sets. We finally combine these findings to deduce several novel recovery results from spectrogram samples. Our results hold for a large class of window functions, including Gaussians, all Hermite functions, as well as the practically highly relevant Airy disk function. To the best of our knowledge, our results constitute the first recovery guarantees for the sampled STFT phase retrieval problem with a non-Gaussian window.


title: Probabilistic amplitude shaping for continuous-variable quantum key distribution with discrete modulation over a wiretap channel

abstract: To achieve the maximum information transfer and face a possible eavesdropper, the samples transmitted in continuous-variable quantum key distribution (CV-QKD) protocols are to be drawn from a continuous Gaussian distribution. As a matter of fact, in practical implementations the transmitter has a finite (power) dynamics and the Gaussian sampling can be only approximated. This requires the quantum protocols to operate at small powers. In this paper, we show that a suitable probabilistic amplitude shaping of a finite set of symbols allows to approximate at will the optimal channel capacity also for increasing average powers. We investigate the feasibility of this approach in the framework of CV-QKD, propose a protocol employing discrete quadrature amplitude modulation assisted with probabilistic amplitude shaping, and we perform the key generation rate analysis assuming a wiretap channel and lossless homodyne detection.


title: Continuous similarity transformation for critical phenomena: easy-axis antiferromagnetic XXZ model

abstract: We apply continuous similarity transformations (CSTs) to the easy-axis antiferromagnetic XXZ-model on the square lattice. The CST flow equations are truncated in momentum space by the scaling dimension $d$ so that all contributions with $d\le 2$ are taken into account. The resulting quartic magnon-conserving effective Hamiltonian is analyzed in the zero-, one-, and two-magnon sector. In this way, a quantitative description of the ground-state energy, the one-magnon dispersion and its gap as well as of two-magnon bound states is gained for anisotropies ranging from the gapped Ising model to the gapless Heisenberg model. We discuss the critical properties of the gap closing as well as the evolution of the one-magnon roton mininum. The excitation energies of two-magnon bound states are calculated and their decay into the two-magnon continuum is determined via the inverse participation ratio.


title: Robust Model Selection of Gaussian Graphical Models

abstract: In Gaussian graphical model selection, noise-corrupted samples present significant challenges. It is known that even minimal amounts of noise can obscure the underlying structure, leading to fundamental identifiability issues. A recent line of work addressing this "robust model selection" problem narrows its focus to tree-structured graphical models. Even within this specific class of models, exact structure recovery is shown to be impossible. However, several algorithms have been developed that are known to provably recover the underlying tree-structure up to an (unavoidable) equivalence class. In this paper, we extend these results beyond tree-structured graphs. We first characterize the equivalence class up to which general graphs can be recovered in the presence of noise. Despite the inherent ambiguity (which we prove is unavoidable), the structure that can be recovered reveals local clustering information and global connectivity patterns in the underlying model. Such information is useful in a range of real-world problems, including power grids, social networks, protein-protein interactions, and neural structures. We then propose an algorithm which provably recovers the underlying graph up to the identified ambiguity. We further provide finite sample guarantees in the high-dimensional regime for our algorithm and validate our results through numerical simulations.


title: Variable Energy X-ray Fluorescence Source

abstract: We detail the design of a variable energy, x-ray fluorescence source using a low activity (1.8$\times10^6$~dpm) \nuc{99}{Tc} $\beta$ source that irradiates thin foils. By rotating the source among foils of Ti, Zn, Nb, Ag, and Au, the device produces x rays between 4 and 70 keV at a rate near 1 Hz. When the source is placed in a storage position, the external radiation is non-detectable. The design of the shielding and rotation mechanism permits use in vacuum and at liquid nitrogen temperature. The design is intended for the study of the low energy response to radiation impinging upon Ge detector surfaces. The source will be useful for understanding the detector response in large-scale Ge arrays such as \textsc{Majorana} and LEGEND.


title: Geometrical interpretation of the argument of Bargmann invariants and weak values in $N$-level quantum systems applying the Majorana symmetric representation

abstract: In this paper, we study the argument of weak values of general observables, succeeding to give a geometric description to this argument on the Bloch sphere. We apply the Majorana symmetric representation to reach this goal. The weak value of a general observable is proportional to the weak value of an effective projector: it arises from the normalized application of the observable over the initial state, with a constant of proportionality that is real. The argument of the weak value of a projector on a pure state of an $N$-level system corresponds to a symplectic area in the complex projective space $(\text{CP}^{N-1})$, which can be represented geometrically with a sum of $N-1$ solid angles on the Bloch sphere using the Majorana stellar representation. Here, we show that the argument of the weak value of a general observable can be described, using Majorana representation, as the sum of $N-1$ solid angles on the Bloch sphere, merging both studies. These two approaches provide two geometrical descriptions, a first one in $\text{CP}^{N-1}$ and a second one on the Bloch sphere, after mapping the problem from the original space $(\text{CP}^{N-1})$ by making use of the Majorana representation. These results can also be applied to the argument of the third-order Bargmann invariant, the most fundamental order as the argument of any higher order invariant can be expressed as a sum of the argument of third-order Bargmann invariants. Finally, we focus on the argument of the weak value of a general spin-1 operator when its modulus diverges towards infinity. This divergence amplifies signals with great usefulness in experiments.


title: Realization of a multi-output quantum pulse gate for decoding high-dimensional temporal modes of single-photon states

abstract: Temporal modes (TMs) of photons provide an appealing high-dimensional encoding basis for quantum information. While techniques to generate TM states have been established, high-dimensional decoding of single-photon TMs remains an open challenge. In this work, we experimentally demonstrate demultiplexing of five-dimensional TMs of single photons with an average fidelity of 0.96 $\pm$ 0.01, characterized via measurement tomography. This is achieved using a newly developed device, the multi-output quantum pulse gate (mQPG). We demonstrate a proof-of-principle complete decoder based on the mQPG that operates on any basis from a set of 6 five-dimensional MUBs and is therefore suitable as a receiver for high-dimensional quantum key distribution. Furthermore, we confirm the high-quality operation of the mQPG by performing resource-efficient state tomography with an average fidelity of 0.98 $\pm$ 0.02.


title: Theoretical study of the I$^{+}$ + I$^{-}$ mutual neutralization reaction

abstract: We have computed the cross sections of the mutual neutralization reaction between I$^{+}$ and I$^{-}$ for a collision energy varying from 0.001 eV to 50 eV. These cross sections were obtained using the adiabatic potential energy curves of the I$_{2}$ system computed with a direct relativistic Multi-Reference Configuration Interaction method and a semi-classical approach (i.e. Landau Zener Surface Hopping). We report the cross sections towards the following neutral states: $\text{I}(^{2}P_{3/2})+\text{I}(^{2}P_{3/2})$, $\text{I}(^{2}P_{3/2})+\text{I}(^{2}P_{1/2})$, $\text{I}(^{2}P_{1/2})+\text{I}(^{2}P_{1/2})$ and $\text{I}(5p^{4}6s)+\text{I}(^{2}P_{3/2})$. We also discuss the cross sections towards the two following excited ionic states : $\text{I}^{-}(^{1}S_{0})+\text{I}^{+}(^{3}P_{0})$ and $\text{I}^{-}(^{1}S_{0})+\text{I}^{+}(^{3}D_{2})$. The results of these calculations are in accordance with recent experimental measurements conducted in the double ion ring DESIREE in Stockholm. These results can be used to model iodine plasma kinetics and thus to improve our understanding of the latter.


title: A new data structure for efficient search on isovists

abstract: Spatial data structures allow to make efficient queries on Geographical Information Systems (GIS). Spatial queries involve the geometry of the data, such as points, lines, or polygons. For instance, a spatial query could poll for the nearest restaurants from a given location. Spatial queries can be solved exhaustively by going through the entire data, which is prohibitive as the number of data points increases. In this article, we are interested in making efficient queries on infinitely long geometrical shapes. For instance, angular sectors, defined as the intersection of two half-spaces, are infinitely long. However, regular spatial data structures are not adapted to these geometrical shapes. We propose a new method allowing to make efficient spatial queries on angular sectors (i.e. whether a point is inside an angular sector). It builds a R-tree from the dual space of angular sectors. An extensive evaluation shows our method is faster than using a regular R-tree.


title: A sufficient condition for $k$-contraction in Lurie systems

abstract: We consider a Lurie system obtained via a connection of a linear time-invariant system and a nonlinear feedback function. Such systems often have more than a single equilibrium and are thus not contractive with respect to any norm. We derive a new sufficient condition for $k$-contraction of a Lurie system. For $k=1$, our sufficient condition reduces to the standard stability condition based on the bounded real lemma and a small gain condition. For $k=2$, our condition guarantees well-ordered asymptotic behaviour of the closed-loop system: every bounded solution converges to an equilibrium, which is not necessarily unique. We apply our results to derive a sufficient condition for $k$-contractivity of a networked system.


title: Bayesian hierarchical modelling for battery lifetime early prediction

abstract: Accurate prediction of battery health is essential for real-world system management and lab-based experiment design. However, building a life-prediction model from different cycling conditions is still a challenge. Large lifetime variability results from both cycling conditions and initial manufacturing variability, and this -- along with the limited experimental resources usually available for each cycling condition -- makes data-driven lifetime prediction challenging. Here, a hierarchical Bayesian linear model is proposed for battery life prediction, combining both individual cell features (reflecting manufacturing variability) with population-wide features (reflecting the impact of cycling conditions on the population average). The individual features were collected from the first 100 cycles of data, which is around 5-10% of lifetime. The model is able to predict end of life with a root mean square error of 3.2 days and mean absolute percentage error of 8.6%, measured through 5-fold cross-validation, overperforming the baseline (non-hierarchical) model by around 12-13%.


title: Probabilistic thermal stability prediction through sparsity promoting transformer representation

abstract: Pre-trained protein language models have demonstrated significant applicability in different protein engineering task. A general usage of these pre-trained transformer models latent representation is to use a mean pool across residue positions to reduce the feature dimensions to further downstream tasks such as predicting bio-physics properties or other functional behaviours. In this paper we provide a two-fold contribution to machine learning (ML) driven drug design. Firstly, we demonstrate the power of sparsity by promoting penalization of pre-trained transformer models to secure more robust and accurate melting temperature (Tm) prediction of single-chain variable fragments with a mean absolute error of 0.23C. Secondly, we demonstrate the power of framing our prediction problem in a probabilistic framework. Specifically, we advocate for the need of adopting probabilistic frameworks especially in the context of ML driven drug design.


title: Supersymmetric Backgrounds in $(1+1)$ Dimensions and Inhomogeneous Field Theory

abstract: We find a $(1+1)$-dimensional metric solution for a background hosting various supersymmetric field theories with a single non-chiral real supercharge. This supersymmetric background is globally hyperbolic even though it contains a naked null singularity. In this regard, we show that scalar wave propagation on the background is well-defined and so the curvature singularity is a {\it mild} one. Taking inspiration from our previous work, we relate the field theory on this curved background to some classes of $(1+1)$-dimensional inhomogeneous field theory in the supersymmetric setup. Utilizing our supersymmetric background, we elucidate the limitations of canonical quantization and highlight the conceptual advantages of the algebraic approach to quantization.


title: Translating proofs from an impredicative type system to a predicative one

abstract: As the development of formal proofs is a time-consuming task, it is important to devise ways of sharing the already written proofs to prevent wasting time redoing them. One of the challenges in this domain is to translate proofs written in proof assistants based on impredicative logics, such as Coq, Matita and the HOL family, to proof assistants based on predicative logics like Agda, whenever impredicativity is not used in an essential way. In this paper we present an algorithm to do such a translation between a core impredicative type system and a core predicative one allowing prenex universe polymorphism like in Agda. It consists in trying to turn a potentially impredicative term into a universe polymorphic term as general as possible. The use of universe polymorphism is justified by the fact that mapping an impredicative universe to a fixed predicative one is not sufficient in most cases. During the algorithm, we need to solve unification problems modulo the max-successor algebra on universe levels. But, in this algebra, there are solvable problems having no most general solution. We however provide an incomplete algorithm whose solutions, when it succeeds, are most general ones. The proposed translation is of course partial, but in practice allows one to translate many proofs that do not use impredicativity in an essential way. Indeed, it was implemented in the tool Predicativize and then used to translate semi-automatically many non-trivial developments from Matita's arithmetic library to Agda, including Bertrand's Postulate and Fermat's Little Theorem, which were not available in Agda yet.


title: Effective Hamiltonian theory of open quantum systems at strong coupling

abstract: We present the reaction-coordinate polaron-transform (RCPT) framework for generating effective Hamiltonian models to treat nonequilibrium open quantum systems at strong coupling with their surroundings. Our approach, which is based on two exact transformations of the Hamiltonian followed by its controlled truncation, ends with a new Hamiltonian with a weakened coupling to the environment. This new effective Hamiltonian mirrors the initial one, except that its parameters are dressed by the system-bath couplings. The power and elegance of the RCPT approach lie in its generality and in its mathematical simplicity, allowing for analytic work and thus profound understanding of the impact of strong system-bath coupling effects on open quantum system phenomena. Examples interrogated in this work include canonical models for quantum thermalization, charge and energy transport at the nanoscale, performance bounds of quantum thermodynamical machines such as absorption refrigerators and thermoelectric generators, as well as the equilibrium and nonequilibrium behavior of many-body dissipative spin chains.


title: A Primer on Zadoff Chu Sequences

abstract: Zadoff Chu (ZC) sequences are a principal manifestation of spread spectrum in modern cellular systems including LTE and 5G NR, largely displacing PN and Walsh sequences which were the mainstays of 3G cellular (WCDMA and cdma2000) and the 2G-era IS-95. ZC sequences are complex sequences with unit amplitude and particular phase shifts, as opposed to Walsh and PN codes which are real and binary valued, most commonly $\pm1$ when used in communication systems. ZC sequences have a number of remarkable and desirable properties that we define in the next section. Because of these properties, they are used for many key functions in current cellular systems, and are likely to be prevalent in future cellular systems as well. In LTE and 5G NR, they are widely used for a number of important initial access and overhead channel functions that are often overlooked by engineers who focus on data transmission. For example, ZC sequences are used for initial access in both the downlink (synchronization) and uplink (random access), uplink control information, uplink channel sounding, and for the reference symbols (pilots) used for fine-grained channel estimation. It is not an exaggeration to say that most types of signals other than the data transmissions in modern cellular standards utilize ZC sequences.


title: High-speed thin-film lithium niobate quantum processor driven by a solid-state quantum emitter

abstract: Scalable photonic quantum computing architectures pose stringent requirements on photonic processing devices. The need for low-loss high-speed reconfigurable circuits and near-deterministic resource state generators are some of the most challenging requirements. Here we develop an integrated photonic platform based on thin-film lithium niobate and interface it with deterministic solid-state single-photon sources based on quantum dots in nanophotonic waveguides. The generated photons are processed with low-loss circuits programmable at speeds of several GHz. We realize a variety of key photonic quantum information processing functionalities with the high-speed circuits, including on-chip quantum interference, photon demultiplexing, and reprogrammability of a four-mode universal photonic circuit. These results show a promising path forward for scalable photonic quantum technologies by merging integrated photonics with solid-state deterministic photon sources in a heterogeneous approach to scaling up.


title: Simulation of GaN-Based Light Emitting Diodes Incorporating Composition Fluctuation Effects

abstract: III-Nitride light emitting diodes (LEDs) are widely used in a range of high efficiency lighting and display applications, which have enabled significant energy savings in the last decade. Despite the wide application of GaN LEDs, transport mechanisms across InGaN/GaN heterostructures in these devices are not well-explained. Fixed polarization sheet charges at InGaN/GaN interfaces lead to large interface dipole charges, which create large potential barriers to overcome. One-dimensional models for transport across such heterostructures predict turn-on voltages that are significantly higher than that found in real devices. As a result, conventional models for transport cannot predict the performance of new designs such as for longer wavelength LEDs, or for multi-quantum well LEDs. In this work, we show that incorporating low and high Indium compositions within quantum wells at the submicron scale can provide accurate prediction of the characteristics of GaN/InGaN light emitting diodes.


title: DiaASQ : A Benchmark of Conversational Aspect-based Sentiment Quadruple Analysis

abstract: The rapid development of aspect-based sentiment analysis (ABSA) within recent decades shows great potential for real-world society. The current ABSA works, however, are mostly limited to the scenario of a single text piece, leaving the study in dialogue contexts unexplored. To bridge the gap between fine-grained sentiment analysis and conversational opinion mining, in this work, we introduce a novel task of conversational aspect-based sentiment quadruple analysis, namely DiaASQ, aiming to detect the quadruple of target-aspect-opinion-sentiment in a dialogue. We manually construct a large-scale high-quality DiaASQ dataset in both Chinese and English languages. We deliberately develop a neural model to benchmark the task, which advances in effectively performing end-to-end quadruple prediction, and manages to incorporate rich dialogue-specific and discourse feature representations for better cross-utterance quadruple extraction. We hope the new benchmark will spur more advancements in the sentiment analysis community.


title: Rational equivalence for enveloping algebras of three-dimensional Lie algebras

abstract: We study from the point of view of rational equivalence the enveloping algebras of Lie algebras of dimension 3 whose derived Lie subalgebra is of dimension 2, over an algebraically closed base field in arbitrary characteristics.


title: Critique of optical coherence tomography in epistemological metrology

abstract: This treaties aims to introduce a speculative framework to comprehend modern metrology. In a classical sense, measurement measures physically existing quantities, such as length, mass, and time. By contrast, modern measurement measures a wide spectrum of objects, for example, an imaging biomarker, which is a user-defined pattern. Artificial-intelligence (AI)-based diagnosis is another example. If we regard an optical coherence tomography (OCT) device equipped with diagnostic AI as a comprehensive "measurement system," the object being measured is a "disease," which is not a physical quantity but a concept. To comprehend the wide range of modern measurements, we introduce a speculative, i.e., philosophical and theoretical, model called the "epistemological-metrology model." In this model, we describe the act of measurement as cascading encoding-and-decoding processes. In the encoding processes, three types of objects-to-be measured are considered, which include substance, existence, and concept. Then we classify acts of measurement into "sensing," "understanding," and "reasoning," which measure the substance, existence, and concept, respectively. We note that the measurements in the understanding and reasoning classes are constructive. Namely, they proactively define the quantity-to-be-measured by the measurement modalities themselves. A speculative method to warrant the relevance of such constructive measurements is presented. We investigate several modern OCT-related measurements, including AI-based diagnosis, types of polarization sensitive OCT, and attenuation coefficient imaging, using our theoretical framework.


title: Enhancing cosmic shear with the multi-scale lensing PDF

abstract: We quantify the cosmological constraining power of the `lensing PDF' - the one-point probability density of weak lensing convergence maps - by modelling this statistic numerically with an emulator trained on $w$CDM cosmic shear simulations. After validating our methods on Gaussian and lognormal fields, we show that `multi-scale' PDFs - measured from maps with multiple levels of smoothing - offer considerable gains over two-point statistics, owing to their ability to extract non-Gaussian information: for a mock Stage-III survey, lensing PDFs yield 33\% tighter constraints on the clustering parameter $S_8=\sigma_8\sqrt{\Omega_{\rm m}/0.3}$ than the two-point shear correlation functions. For Stage-IV surveys, we achieve $>$90\% tighter constraints on $S_8$, but also on the Hubble and dark energy equation of state parameters. Interestingly, we find improvements when combining these two probes only in our Stage-III setup; in the Stage-IV scenario the lensing PDFs contain all information from the standard two-point statistics and more. This suggests that while these two probes are currently complementary, the lower noise levels of upcoming surveys will unleash the constraining power of the PDF.


title: AnimeRun: 2D Animation Visual Correspondence from Open Source 3D Movies

abstract: Existing correspondence datasets for two-dimensional (2D) cartoon suffer from simple frame composition and monotonic movements, making them insufficient to simulate real animations. In this work, we present a new 2D animation visual correspondence dataset, AnimeRun, by converting open source three-dimensional (3D) movies to full scenes in 2D style, including simultaneous moving background and interactions of multiple subjects. Our analyses show that the proposed dataset not only resembles real anime more in image composition, but also possesses richer and more complex motion patterns compared to existing datasets. With this dataset, we establish a comprehensive benchmark by evaluating several existing optical flow and segment matching methods, and analyze shortcomings of these methods on animation data. Data, code and other supplementary materials are available at https://lisiyao21.github.io/projects/AnimeRun.


title: Event-based imaging velocimetry using pulsed illumination

abstract: The paper addresses the shortcoming of current event-based vision (EBV) sensors in the context of particle imaging. Latency is introduced both on the pixel level as well as during read-out from the array and results in systemic timing errors when processing the recorded event data. Using pulsed illumination, the overall latency can be quantified and indicates an upper bound on the frequency response on the order of 10-20 kHz for the specific EBV sensor. In particle-based flow measurement applications, particles scattering the light from a pulsed light source operating below this upper frequency can be reliably tracked in time. Through the combination of event-based vision and pulsed illumination, flow field measurements are demonstrated at light pulsing rates up to 10 kHz in both water and air flows by providing turbulence statistics and velocity spectra. The described EBV-based velocimetry system consists of only an EBV camera and a (low-cost) laser that can be directly modulated by the camera, making the system compact, portable and cost effective.


title: Skyrmion automotion in confined counter-sensor device geometries

abstract: Magnetic skyrmions are topologically stabilized quasi-particles and are promising candidates for energy-efficient applications, such as storage but also logic and sensing. Here we present a new concept for a multi-turn sensor-counter device based on skyrmions, where the number of sensed rotations is encoded in the number of nucleated skyrmions. The skyrmion-boundary force in the confined geometry of the device in combination with the topology-dependent dynamics leads to the effect of automotion for certain geometries. For our case, we describe and investigate this effect with micromagnetic simulations and the coarse-grained Thiele equation in a triangular geometry with an attached reservoir as part of the sensor-counter device.

categories: cond-mat.mes-hall cond-mat.mtrl-sci physics.app-ph physics.comp-ph


title: Early Performance Results on 4th Gen Intel(R) Xeon (R) Scalable Processors with DDR and Intel(R) Xeon(R) processors, codenamed Sapphire Rapids with HBM

abstract: The Crossroads supercomputer was designed to simulate some of the most complex physical devices in the world. These simulations routinely require 1/2 petabyte or more of system memory running on thousands of compute nodes for months at a time on the most powerful supercomputers. Improvements in time to solutions for these workloads can have major impact on our mission capabilities. In this paper we present early results of representative application workloads on 4th Gen Intel Xeon and Intel Xeon Processors codenamed Sapphire Rapids with HBM. These results demonstrate an extremely promising 8.57x improvement (node to node) over our prior generation Intel Broadwell (BDW) based HPC systems. No code modifications were required to achieve this speedup, providing a compelling path forward toward major reductions in time to solution and the complexity of physical systems that can be simulated in the future.


title: Simulations with machine learning potentials identify the ion conduction mechanism mediating non-Arrhenius behavior in LGPS

abstract: Li$_{10}$Ge(PS$_6$)$_2$ (LGPS) is a highly concentrated solid electrolyte, in which Coulombic repulsion between neighboring cations is hypothesized as the underlying reason for concerted ion hopping, a mechanism common among superionic conductors such as Li$_7$La$_3$Zr$_2$O$_{12}$ (LLZO) and Li$_{1.3}$Al$_{0.3}$Ti$_{1.7}$(PO$_4$)$_3$ (LATP). While first principles simulations using molecular dynamics (MD) provide insight into the Li$^+$ transport mechanism, historically, there has been a gap in the temperature ranges studied in simulations and experiments. Here, we used a neural network (NN) potential trained on density functional theory (DFT) simulations, to run up to 40-nanosecond long MD simulations at DFT-like accuracy to characterize the ion conduction mechanisms across a range of temperatures that includes previous simulations and experimental studies. We have confirmed a Li$^+$ sublattice phase transition in LGPS around 400 K, below which the \textit{ab}-plane diffusivity $D^*_{ab}$ is drastically reduced. Concomitant with the sublattice phase transition near 400 K, there is less cation-cation (cross) correlation, as characterized by Haven ratios closer to 1, and the vibrations in the system are more harmonic at lower temperature. Intuitively, at high temperature, the collection of vibrational modes may be sufficient to drive concerted ion hops. However, near room temperature, the vibrational modes available may be insufficient to overcome electrostatic repulsion, thus resulting in less correlated ion motion and comparatively slower ion conduction. Such phenomena of a sublattice phase transition, below which concerted hopping plays a less significant role, may be extended to other highly concentrated solid electrolytes such as LLZO and LATP.


title: Bosonic coding: introduction and use cases

abstract: Bosonic or continuous-variable coding is a field concerned with robust quantum information processing and communication with electromagnetic signals or mechanical modes. I review bosonic quantum memories, characterizing them as either bosonic stabilizer or bosonic Fock-state codes. I then enumerate various applications of bosonic encodings, four of which circumvent no-go theorems due to the intrinsic infinite-dimensionality of bosonic systems.


title: A note on transience of generalized many-dimensional excited random walks

abstract: We consider a variation of the Generalized Excited Random Walk (GERW) in dimension $d\ge 2$ where the lower bound on the drift for excited jumps is time-dependent and decays to zero. We show that if the lower bound decays slower that $n^{-\beta}$ ($n$ is time), for $\beta$ depending on the transitions of the process, the GERW is transient in the direction of the drift.


title: Resource-Aware Heterogeneous Federated Learning using Neural Architecture Search

abstract: Federated Learning (FL) is extensively used to train AI/ML models in distributed and privacy-preserving settings. Participant edge devices in FL systems typically contain non-independent and identically distributed (Non-IID) private data and unevenly distributed computational resources. Preserving user data privacy while optimizing AI/ML models in a heterogeneous federated network requires us to address data and system/resource heterogeneity. To address these challenges, we propose Resource-aware Federated Learning (RaFL). RaFL allocates resource-aware specialized models to edge devices using Neural Architecture Search (NAS) and allows heterogeneous model architecture deployment by knowledge extraction and fusion. Combining NAS and FL enables on-demand customized model deployment for resource-diverse edge devices. Furthermore, we propose a multi-model architecture fusion scheme allowing the aggregation of the distributed learning results. Results demonstrate RaFL's superior resource efficiency compared to SoTA.