title: IL-MCAM: An interactive learning and multi-channel attention mechanism-based weakly supervised colorectal histopathology image classification approach

abstract: In recent years, colorectal cancer has become one of the most significant diseases that endanger human health. Deep learning methods are increasingly important for the classification of colorectal histopathology images. However, existing approaches focus more on end-to-end automatic classification using computers rather than human-computer interaction. In this paper, we propose an IL-MCAM framework. It is based on attention mechanisms and interactive learning. The proposed IL-MCAM framework includes two stages: automatic learning (AL) and interactivity learning (IL). In the AL stage, a multi-channel attention mechanism model containing three different attention mechanism channels and convolutional neural networks is used to extract multi-channel features for classification. In the IL stage, the proposed IL-MCAM framework continuously adds misclassified images to the training set in an interactive approach, which improves the classification ability of the MCAM model. We carried out a comparison experiment on our dataset and an extended experiment on the HE-NCT-CRC-100K dataset to verify the performance of the proposed IL-MCAM framework, achieving classification accuracies of 98.98% and 99.77%, respectively. In addition, we conducted an ablation experiment and an interchangeability experiment to verify the ability and interchangeability of the three channels. The experimental results show that the proposed IL-MCAM framework has excellent performance in the colorectal histopathological image classification tasks.


title: Computational Doob's h-transforms for Online Filtering of Discretely Observed Diffusions

abstract: This paper is concerned with online filtering of discretely observed nonlinear diffusion processes. Our approach is based on the fully adapted auxiliary particle filter, which involves Doob's $h$-transforms that are typically intractable. We propose a computational framework to approximate these $h$-transforms by solving the underlying backward Kolmogorov equations using nonlinear Feynman-Kac formulas and neural networks. The methodology allows one to train a locally optimal particle filter prior to the data-assimilation procedure. Numerical experiments illustrate that the proposed approach can be orders of magnitude more efficient than state-of-the-art particle filters in the regime of highly informative observations, when the observations are extreme under the model, or if the state dimension is large.


title: Global $L_p$ estimates for kinetic Kolmogorov-Fokker-Planck equations in divergence form

abstract: We present a priori estimates and unique solvability results in the mixed-norm Lebesgue spaces for kinetic Kolmogorov-Fokker-Planck (KFP) equation in divergence form. The leading coefficients are bounded uniformly nondegenerate with respect to the velocity variable $v$ and satisfy a vanishing mean oscillation (VMO) type condition. We consider the $L_2$ case separately and treat more general equations which include the relativistic KFP equation.


title: On random embeddings and their application to optimisation

abstract: Random embeddings project high-dimensional spaces to low-dimensional ones; they are careful constructions which allow the approximate preservation of key properties, such as the pair-wise distances between points. Often in the field of optimisation, one needs to explore high-dimensional spaces representing the problem data or its parameters and thus the computational cost of solving an optimisation problem is connected to the size of the data/variables. This thesis studies the theoretical properties of norm-preserving random embeddings, and their application to several classes of optimisation problems.


title: Microstructure-sensitive uncertainty quantification for crystal plasticity finite element constitutive models using stochastic collocation methods

abstract: Uncertainty quantification (UQ) plays a major role in verification and validation of computational engineering models and simulations, and establishes trust in the predictive capability of computational models. In the materials science and engineering context, where the process-structure-property-performance linkage is well known to be the only road mapping from manufacturing to engineering performance, numerous integrated computational materials engineering (ICME) models have been developed across a wide spectrum of length-scales and time-scales to relieve the burden of resource-intensive experiments. Within the structure-property linkage, crystal plasticity finite element method (CPFEM) models have been widely used since they are one of a few ICME toolboxes that allow numerical predictions, providing the bridge from microstructure to properties and performances. Several constitutive models have been proposed to capture the mechanics and plasticity behavior of materials. While some UQ studies have been performed, the robustness and uncertainty of these constitutive models have not been rigorously established. In this work, we apply a stochastic collocation (SC) method to quantify the uncertainty of the three most commonly used constitutive models in CPFEM, namely phenomenological models (with and without twinning), and dislocation-density-based constitutive models, for three different types of crystal structures, namely face-centered cubic (fcc) copper (Cu), body-centered cubic (bcc) tungsten (W), and hexagonal close packing (hcp) magnesium (Mg). Our numerical results not only quantify the uncertainty of these constitutive models in stress-strain curves, but also analyze the global sensitivity of the underlying constitutive parameters with respect to the initial yield behavior, which may be helpful for robust constitutive model calibration works in the future.


title: Garment Avatars: Realistic Cloth Driving using Pattern Registration

abstract: Virtual telepresence is the future of online communication. Clothing is an essential part of a person's identity and self-expression. Yet, ground truth data of registered clothes is currently unavailable in the required resolution and accuracy for training telepresence models for realistic cloth animation. Here, we propose an end-to-end pipeline for building drivable representations for clothing. The core of our approach is a multi-view patterned cloth tracking algorithm capable of capturing deformations with high accuracy. We further rely on the high-quality data produced by our tracking method to build a Garment Avatar: an expressive and fully-drivable geometry model for a piece of clothing. The resulting model can be animated using a sparse set of views and produces highly realistic reconstructions which are faithful to the driving signals. We demonstrate the efficacy of our pipeline on a realistic virtual telepresence application, where a garment is being reconstructed from two views, and a user can pick and swap garment design as they wish. In addition, we show a challenging scenario when driven exclusively with body pose, our drivable garment avatar is capable of producing realistic cloth geometry of significantly higher quality than the state-of-the-art.


title: Nuclear $\text{C}(e,e'p)$ Transparencies in a Relativistic Glauber Model

abstract: In light of the recent Jefferson Laboratory (JLab) data for the nuclear $^{12}\text{C}(e,e'p)$ transparencies, calculations, obtained in a relativistic multiple scattering Glauber approximation, are discussed. The shell-separated $^{12}$C transparencies are shown and it is concluded that the $p$-shell nucleons are 75\% more transparent than the $s$-shell ones. The presented comparisons between the calculations made here and the current $^{12}\text{C}(e,e'p)$ data show no clear indication for the onset of color transparency when implemented within the color diffusion model with standard parameters.


title: Walking on Vertices and Edges by Continuous-Time Quantum Walk

abstract: The quantum walk dynamics obey the laws of quantum mechanics with an extra locality constraint, which demands that the evolution operator is local in the sense that the walker must visit the neighboring locations before endeavoring to distant places. Usually, the Hamiltonian is obtained from either the adjacency or the laplacian matrix of the graph and the walker hops from vertices to neighboring vertices. In this work, we define a version of the continuous-time quantum walk that allows the walker to hop from vertices to edges and vice versa. As an application, we analyze the spatial search algorithm on the complete bipartite graph by modifying the new version of the Hamiltonian with an extra term that depends on the location of the marked vertex or marked edge, similar to what is done in the standard continuous-time quantum walk model. We show that the optimal running time to find either a vertex or an edge is $O(\sqrt{N_e})$ with success probability $1-o(1)$, where $N_e$ is the number of edges of the complete bipartite graph.


title: On Outer Bi-Lipschitz Extensions of Linear Johnson-Lindenstrauss Embeddings of Low-Dimensional Submanifolds of $\mathbb{R}^N$

abstract: Let $\mathcal{M}$ be a compact $d$-dimensional submanifold of $\mathbb{R}^N$ with reach $\tau$ and volume $V_{\mathcal M}$. Fix $\epsilon \in (0,1)$. In this paper we prove that a nonlinear function $f: \mathbb{R}^N \rightarrow \mathbb{R}^{m}$ exists with $m \leq C \left(d / \epsilon^2 \right) \log \left(\frac{\sqrt[d]{V_{\mathcal M}}}{\tau} \right)$ such that $$(1 - \epsilon) \| {\bf x} - {\bf y} \|_2 \leq \left\| f({\bf x}) - f({\bf y}) \right\|_2 \leq (1 + \epsilon) \| {\bf x} - {\bf y} \|_2$$ holds for all ${\bf x} \in \mathcal{M}$ and ${\bf y} \in \mathbb{R}^N$. In effect, $f$ not only serves as a bi-Lipschitz function from $\mathcal{M}$ into $\mathbb{R}^{m}$ with bi-Lipschitz constants close to one, but also approximately preserves all distances from points not in $\mathcal{M}$ to all points in $\mathcal{M}$ in its image. Furthermore, the proof is constructive and yields an algorithm which works well in practice. In particular, it is empirically demonstrated herein that such nonlinear functions allow for more accurate compressive nearest neighbor classification than standard linear Johnson-Lindenstrauss embeddings do in practice.


title: RAAT: Relation-Augmented Attention Transformer for Relation Modeling in Document-Level Event Extraction

abstract: In document-level event extraction (DEE) task, event arguments always scatter across sentences (across-sentence issue) and multiple events may lie in one document (multi-event issue). In this paper, we argue that the relation information of event arguments is of great significance for addressing the above two issues, and propose a new DEE framework which can model the relation dependencies, called Relation-augmented Document-level Event Extraction (ReDEE). More specifically, this framework features a novel and tailored transformer, named as Relation-augmented Attention Transformer (RAAT). RAAT is scalable to capture multi-scale and multi-amount argument relations. To further leverage relation information, we introduce a separate event relation prediction task and adopt multi-task learning method to explicitly enhance event extraction performance. Extensive experiments demonstrate the effectiveness of the proposed method, which can achieve state-of-the-art performance on two public datasets. Our code is available at https://github. com/TencentYoutuResearch/RAAT.


title: Imitating Past Successes can be Very Suboptimal

abstract: Prior work has proposed a simple strategy for reinforcement learning (RL): label experience with the outcomes achieved in that experience, and then imitate the relabeled experience. These outcome-conditioned imitation learning methods are appealing because of their simplicity, strong performance, and close ties with supervised learning. However, it remains unclear how these methods relate to the standard RL objective, reward maximization. In this paper, we formally relate outcome-conditioned imitation learning to reward maximization, drawing a precise relationship between the learned policy and Q-values and explaining the close connections between these methods and prior EM-based policy search methods. This analysis shows that existing outcome-conditioned imitation learning methods do not necessarily improve the policy, but a simple modification results in a method that does guarantee policy improvement, under some assumptions.


title: Semiconductor ring laser frequency combs with active directional couplers

abstract: Rapid development of Fabry-Perot quantum cascade laser frequency combs has converted them from laboratory devices to key components of next-generation fast molecular spectrometers. Recently, free-running ring quantum cascade lasers allowed generation of new frequency comb states induced by phase turbulence. In absence of efficient light outcoupling, ring quantum cascade lasers are not suited for applications as they are limited in their power output to microwatt levels. Here we demonstrate electrically pumped ring quantum cascade lasers with integrated active directional couplers. These devices generate self-starting frequency combs and have output power above ten milliwatts at room temperature. We study the transmission of the ring-waveguide resonator system below the lasing threshold, which reveals the ability to individually control the mode indices in the coupled resonators, their quality factors, and the coupling coefficient. When the ring resonator is pumped above the lasing threshold, the intracavity unidirectional single-mode field parametrically amplifies an externally injected signal tuned into one of the ring resonances, generating an idler sideband via four-wave mixing. The ability to inject external optical signals into integrated laser cavities brings into reach coherent control of frequency comb states in ring semiconductor lasers. Furthermore, tunable coupled active resonators pumped below the lasing threshold enable a versatile platform for the studies of resonant electromagnetic effects, ranging from strong coupling to parity-time symmetry breaking.


title: Shape, Light, and Material Decomposition from Images using Monte Carlo Rendering and Denoising

abstract: Recent advances in differentiable rendering have enabled high-quality reconstruction of 3D scenes from multi-view images. Most methods rely on simple rendering algorithms: pre-filtered direct lighting or learned representations of irradiance. We show that a more realistic shading model, incorporating ray tracing and Monte Carlo integration, substantially improves decomposition into shape, materials & lighting. Unfortunately, Monte Carlo integration provides estimates with significant noise, even at large sample counts, which makes gradient-based inverse rendering very challenging. To address this, we incorporate multiple importance sampling and denoising in a novel inverse rendering pipeline. This substantially improves convergence and enables gradient-based optimization at low sample counts. We present an efficient method to jointly reconstruct geometry (explicit triangle meshes), materials, and lighting, which substantially improves material and light separation compared to previous work. We argue that denoising can become an integral part of high quality inverse rendering pipelines.


title: Software Verification of Hyperproperties Beyond k-Safety

abstract: Temporal hyperproperties are system properties that relate multiple execution traces. For (finite-state) hardware, temporal hyperproperties are supported by model checking algorithms, and tools for general temporal logics like HyperLTL exist. For (infinite-state) software, the analysis of temporal hyperproperties has, so far, been limited to $k$-safety properties, i.e., properties that stipulate the absence of a bad interaction between any $k$ traces. In this paper, we present an automated method for the verification of $\forall^k\exists^l$-safety properties in infinite-state systems. A $\forall^k\exists^l$-safety property stipulates that for any $k$ traces, there exist $l$ traces such that the resulting $k+l$ traces do not interact badly. This combination of universal and existential quantification enables us to express many properties beyond $k$-safety, including, for example, generalized non-interference or program refinement. Our method is based on a strategy-based instantiation of existential trace quantification combined with a program reduction, both in the context of a fixed predicate abstraction. Notably, our framework allows for mutual dependence of strategy and reduction.


title: Tutel: Adaptive Mixture-of-Experts at Scale

abstract: Sparsely-gated mixture-of-experts (MoE) has been widely adopted to scale deep learning models to trillion-plus parameters with fixed computational cost. The algorithmic performance of MoE relies on its token routing mechanism that forwards each input token to the right sub-models or experts. While token routing dynamically determines the amount of expert workload at runtime, existing systems suffer inefficient computation due to their static execution, namely static parallelism and pipelining, which does not adapt to the dynamic workload. We present Flex, a highly scalable stack design and implementation for MoE with dynamically adaptive parallelism and pipelining. Flex designs an identical layout for distributing MoE model parameters and input data, which can be leveraged by all possible parallelism or pipelining methods without any mathematical inequivalence or tensor migration overhead. This enables adaptive parallelism/pipelining optimization at zero cost during runtime. Based on this key design, Flex also implements various MoE acceleration techniques. Aggregating all techniques, Flex finally delivers huge speedup at any scale -- 4.96x and 5.75x speedup of a single MoE layer over 16 and 2,048 A100 GPUs, respectively, over the previous state-of-the-art. Our evaluation shows that Flex efficiently and effectively runs a real-world MoE-based model named SwinV2-MoE, built upon Swin Transformer V2, a state-of-the-art computer vision architecture. On efficiency, Flex accelerates SwinV2-MoE, achieving up to 1.55x and 2.11x speedup in training and inference over Fairseq, respectively. On effectiveness, the SwinV2-MoE model achieves superior accuracy in both pre-training and down-stream computer vision tasks such as COCO object detection than the counterpart dense model, indicating the readiness of Flex for end-to-end real-world model training and inference.


title: On the Role of Discount Factor in Offline Reinforcement Learning

abstract: Offline reinforcement learning (RL) enables effective learning from previously collected data without exploration, which shows great promise in real-world applications when exploration is expensive or even infeasible. The discount factor, $\gamma$, plays a vital role in improving online RL sample efficiency and estimation accuracy, but the role of the discount factor in offline RL is not well explored. This paper examines two distinct effects of $\gamma$ in offline RL with theoretical analysis, namely the regularization effect and the pessimism effect. On the one hand, $\gamma$ is a regulator to trade-off optimality with sample efficiency upon existing offline techniques. On the other hand, lower guidance $\gamma$ can also be seen as a way of pessimism where we optimize the policy's performance in the worst possible models. We empirically verify the above theoretical observation with tabular MDPs and standard D4RL tasks. The results show that the discount factor plays an essential role in the performance of offline RL algorithms, both under small data regimes upon existing offline methods and in large data regimes without other conservative methods.


title: Hall anomaly by vacancies in pinned lattice of vortices: A quantitative analysis on the thin-film data of BSCCO

abstract: Hall anomaly, as appears in the mixed-state Hall resistivity of type-II superconductors, has had numerous theories but yet a consensus on its origin. In this work, we conducted a quantitative analysis of the magnetotransport measurements on BSCCO thin films by Zhao et al. [Phys. Rev. Lett. 122, 247001 (2019)] and validate a previously proposed vacancy mechanism [cf. J. Phys. Condens. Matter. 10, L677 (1998)] with many-body vortex correlations for the phenomenon. The model attributes the Hall anomaly to the motion of vacancies in pinned fragments of vortex lattice. Its validity is first examined by an exploration on the vortex states near the Kosterlitz-Thouless transition on the vortex crystal. Comparisons are then carried out between the measured activation energies with the calculated creation energy of the vortex-anti-vortex pair and the vacancy energy on the flux-line lattice, with no adjustable parameter. Our analysis elucidates the theoretical basis and prerequisites of the vacancy model. In particular, the vacancy activation energies are an order of magnitude smaller than that of a sole vortex line. The proposed mechanism may provide a macro-theoretical framework for other studies.


title: Nonlinear co-generation of graphene plasmons for optoelectronic logic operations

abstract: Surface plasmons in graphene provide a compelling strategy for advanced photonic technologies thanks to their tight confinement, fast response and tunability. Recent advances in the field of all optical generation of graphene plasmons in planar waveguides offer a promising method for high speed signal processing in nanoscale integrated optoelectronic devices. Here, we use two counter propagating frequency combs with temporally synchronized pulses to demonstrate deterministic all optical generation and electrical control of multiple plasmon polaritons, excited via difference frequency generation (DFG). Electrical tuning of a hybrid graphene fibre device offers a precise control over the DFG phase matching, leading to tunable responses of the graphene plasmons at different frequencies across a broadband (0 - 50 THz) and provides a powerful tool for high speed logic operations. Our results offer insights for plasmonics on hybrid photonic devices based on layered materials and pave the way to high speed integrated optoelectronic computing circuits.


title: Dependency structures in cryptocurrency market from high to low frequency

abstract: We investigate logarithmic price returns cross-correlations at different time horizons for a set of 25 liquid cryptocurrencies traded on the FTX digital currency exchange. We study how the structure of the Minimum Spanning Tree (MST) and the Triangulated Maximally Filtered Graph (TMFG) evolve from high (15 s) to low (1 day) frequency time resolutions. For each horizon, we test the stability, statistical significance and economic meaningfulness of the networks. Results give a deep insight into the evolutionary process of the time dependent hierarchical organization of the system under analysis. A decrease in correlation between pairs of cryptocurrencies is observed for finer time sampling resolutions. A growing structure emerges for coarser ones, highlighting multiple changes in the hierarchical reference role played by mainstream cryptocurrencies. This effect is studied both in its pairwise realizations and intra-sector ones.


title: Spatial Analysis of the Association between School Proximity and Crime in Philadelphia

abstract: We use high resolution data to investigate the association between crime incidence and proximity to different types of public schools over the past fifteen years in the city of Philadelphia. We employ two statistical methods, regression modeling and propensity score matching, in order to better isolate the association between crime and school proximity while controlling for the demographic, economic, land use and disorder characteristics of the surrounding neighborhood. With both of these approaches, we find significantly increased crime incidence near to public schools regardless of crime outcome, educational level and time period. The effect of school proximity on crime varies substantially depending on whether or not school is in session, as well as between different types of crime and educational levels of the school. We see the largest effects of school proximity on crime for violent crimes near to high schools during their in-session time periods. Our results support several theories which suggest that crime should be elevated near to schools, as well as finding significant associations between crime and other aspects of the built environment.


title: Chemistry-Inspired Pattern Formation with Robotic Swarms

abstract: Self-organized emergent patterns can be widely seen in particle interactions producing complex structures such as chemical elements and molecules. Inspired by these interactions, this work presents a novel stochastic approach that allows a swarm of heterogeneous robots to create emergent patterns in a completely decentralized fashion and relying only on local information. Our approach consists of modeling the swarm configuration as a dynamic Gibbs Random Field (GRF) and setting constraints on the neighborhood system inspired by chemistry rules that dictate binding polarity between particles. Using the GRF model, we determine velocities for each robot, resulting in behaviors that lead to the creation of patterns or shapes. Simulated experiments show the versatility of the approach in producing a variety of patterns, and experiments with a group of physical robots show the feasibility in potential applications.


title: Constraints on the Optical Depth to Reionization from Balloon-Borne CMB Measurements

abstract: We assess the uncertainty with which a balloon-borne experiment, nominally called Tau Surveyor ($\tau S$), can measure the optical depth to reionization $\sigma(\tau)$ with given realistic constraints of instrument noise and foreground emissions. Using a $\tau S$ fiducial design with six frequency bands between 150 and 380 GHz with white and uniform map noise of 7 $\mu$K arcmin, achievable with a single mid-latitude flight, and including Planck's 30 and 44 GHz data we assess the error $\sigma(\tau)$ obtained with three foreground models and as a function of sky fraction $f_{\rm sky}$ between 40% and 54%. We carry out the analysis using both parametric and blind foreground separation techniques. We compare $\sigma(\tau)$ values to those obtained with low frequency and high frequency versions of the experiment called $\tau S$-lf and $\tau S$-hf that have only four and up to eight frequency bands with narrower and wider frequency coverage, respectively. We find that with $\tau S$ the lowest constraint is $\sigma(\tau)=0.0034$, obtained for one of the foreground models with $f_{\rm sky}$=54%. $\sigma(\tau)$ is larger, in some cases by more than a factor of 2, for smaller sky fractions, with $\tau S$-lf, or as a function of foreground model. The $\tau S$-hf configuration does not lead to significantly tighter constraints. Exclusion of the 30 and 44 GHz data, which give information about synchrotron emission, leads to significant $\tau$ mis-estimates. Decreasing noise by an ambitious factor of 10 while keeping $f_{\rm sky}$=40% gives $\sigma(\tau) =0.0031$. The combination of $\sigma(\tau) =0.0034$, BAO data from DESI, and future CMB B-mode lensing data from CMB-S3/S4 experiments could give $\sigma(\sum m_{\nu}) = 17$ meV.


title: Gender Bias in Word Embeddings: A Comprehensive Analysis of Frequency, Syntax, and Semantics

abstract: The statistical regularities in language corpora encode well-known social biases into word embeddings. Here, we focus on gender to provide a comprehensive analysis of group-based biases in widely-used static English word embeddings trained on internet corpora (GloVe 2014, fastText 2017). Using the Single-Category Word Embedding Association Test, we demonstrate the widespread prevalence of gender biases that also show differences in: (1) frequencies of words associated with men versus women; (b) part-of-speech tags in gender-associated words; (c) semantic categories in gender-associated words; and (d) valence, arousal, and dominance in gender-associated words. First, in terms of word frequency: we find that, of the 1,000 most frequent words in the vocabulary, 77% are more associated with men than women, providing direct evidence of a masculine default in the everyday language of the English-speaking world. Second, turning to parts-of-speech: the top male-associated words are typically verbs (e.g., fight, overpower) while the top female-associated words are typically adjectives and adverbs (e.g., giving, emotionally). Gender biases in embeddings also permeate parts-of-speech. Third, for semantic categories: bottom-up, cluster analyses of the top 1,000 words associated with each gender. The top male-associated concepts include roles and domains of big tech, engineering, religion, sports, and violence; in contrast, the top female-associated concepts are less focused on roles, including, instead, female-specific slurs and sexual content, as well as appearance and kitchen terms. Fourth, using human ratings of word valence, arousal, and dominance from a ~20,000 word lexicon, we find that male-associated words are higher on arousal and dominance, while female-associated words are higher on valence.


title: Data Stealing Attack on Medical Images: Is it Safe to Export Networks from Data Lakes?

abstract: In privacy-preserving machine learning, it is common that the owner of the learned model does not have any physical access to the data. Instead, only a secured remote access to a data lake is granted to the model owner without any ability to retrieve data from the data lake. Yet, the model owner may want to export the trained model periodically from the remote repository and a question arises whether this may cause is a risk of data leakage. In this paper, we introduce the concept of data stealing attack during the export of neural networks. It consists in hiding some information in the exported network that allows the reconstruction outside the data lake of images initially stored in that data lake. More precisely, we show that it is possible to train a network that can perform lossy image compression and at the same time solve some utility tasks such as image segmentation. The attack then proceeds by exporting the compression decoder network together with some image codes that leads to the image reconstruction outside the data lake. We explore the feasibility of such attacks on databases of CT and MR images, showing that it is possible to obtain perceptually meaningful reconstructions of the target dataset, and that the stolen dataset can be used in turns to solve a broad range of tasks. Comprehensive experiments and analyses show that data stealing attacks should be considered as a threat for sensitive imaging data sources.


title: A microscopic derivation of Gibbs measures for the 1D focusing cubic nonlinear Schr\"{o}dinger equation

abstract: In this paper, we give a microscopic derivation of Gibbs measures for the focusing cubic nonlinear Schr\"odinger equation on the one-dimensional torus from many-body quantum Gibbs states. Since we are not making any positivity assumptions on the interaction, it is necessary to introduce a truncation of the mass in the classical setting and of the rescaled particle number in the quantum setting. Our methods are based on a perturbative expansion of the interaction, similarly as in previous work of Fr\"ohlich, Knowles, Schlein, and the second author. Due to the presence of the truncation, the obtained series have infinite radius of convergence. We treat the case of bounded, integrable, and delta function interaction potentials, without any sign assumptions. Within this framework, we also study time-dependent correlation functions. This is the first such known result in the focusing regime.


title: Towards Understanding and Mitigating Audio Adversarial Examples for Speaker Recognition

abstract: Speaker recognition systems (SRSs) have recently been shown to be vulnerable to adversarial attacks, raising significant security concerns. In this work, we systematically investigate transformation and adversarial training based defenses for securing SRSs. According to the characteristic of SRSs, we present 22 diverse transformations and thoroughly evaluate them using 7 recent promising adversarial attacks (4 white-box and 3 black-box) on speaker recognition. With careful regard for best practices in defense evaluations, we analyze the strength of transformations to withstand adaptive attacks. We also evaluate and understand their effectiveness against adaptive attacks when combined with adversarial training. Our study provides lots of useful insights and findings, many of them are new or inconsistent with the conclusions in the image and speech recognition domains, e.g., variable and constant bit rate speech compressions have different performance, and some non-differentiable transformations remain effective against current promising evasion techniques which often work well in the image domain. We demonstrate that the proposed novel feature-level transformation combined with adversarial training is rather effective compared to the sole adversarial training in a complete white-box setting, e.g., increasing the accuracy by 13.62% and attack cost by two orders of magnitude, while other transformations do not necessarily improve the overall defense capability. This work sheds further light on the research directions in this field. We also release our evaluation platform SPEAKERGUARD to foster further research.


title: Generalised Cocycles and Super p-Branes

abstract: We study the cohomology (cocycles) of Lie superalgebras for the generalised complex of forms: superforms, pseudoforms and integral forms. We argue that these cocycles might be interpreted in the light of a new brane scan as generators of new higher-WZW terms and might provide new sources for supergravity. We use the technique of spectral sequences to abstractly compute the Chevalley-Eilenberg cohomology. We first focus on the superalgebra osp(2|2) and show that there exist non-empty cohomology spaces among pseudoforms related to sub-superalgebras. We then extend some classical theorems by Koszul to include pseudoforms and integral forms. Further, we conjecture that the Poincare' duality extends to Lie superalgebras, as long as all the complexes of forms are taken into account and we prove that this holds for osp}(2|2). We finally construct the cohomology representatives explicitly by using a distributional realisation of pseudoforms and integral forms. On one hand, these results show that the cohomology of Lie superalgebras is larger than expected; on the other hand, we show the emergence of completely new cohomology classes represented by pseudoforms. These classes represent integral form classes of sub-superstructures.


title: First characterization of a new High Mass X-ray Binary in LMC eRASSU J050810.4$-$660653 with SRG/ART-XC, NuSTAR and Swift

abstract: We report results of the first detailed spectral and temporal studies of the recently discovered Be/X-ray binary eRASSU J050810.4$-$660653 in LMC based on the data from the SRG/ART-XC, NuSTAR and Swift/XRT instruments obtained in December 2021 - May 2022 in a wide energy range of 0.5-79 keV. Pulsations with the period of $40.5781 \pm 0.0004$ s were found in the source light curve with the pulsed fraction monotonically increasing with the energy. An estimate of the orbital period of $\sim38$ days was obtained based on the long-term monitoring of the system. The source spectrum can be well approximated with a power-law model modified by an exponential cutoff at high energies. The pulse phase-resolved spectroscopy shows a strong variation of spectral parameters depending on the phase of a neutron star rotation. We have not found any features connected with the cyclotron absorption line both in the phase-averaged and phase-resolved spectra of eRASSU J050810.4$-$660653. However, the neutron star magnetic field was estimated around several $10^{13}$ G using different indirect methods. Discovered variations of the hardness ratio over the pulse phase is discussed in terms of physical and geometrical properties of the emitting region.


title: Group privacy for personalized federated learning

abstract: Federated learning (FL) is a type of collaborative machine learning where participating peers/clients process their data locally, sharing only updates to the collaborative model. This enables to build privacy-aware distributed machine learning models, among others. The goal is the optimization of a statistical model's parameters by minimizing a cost function of a collection of datasets which are stored locally by a set of clients. This process exposes the clients to two issues: leakage of private information and lack of personalization of the model. On the other hand, with the recent advancements in various techniques to analyze data, there is a surge of concern for the privacy violation of the participating clients. To mitigate this, differential privacy and its variants serve as a standard for providing formal privacy guarantees. Often the clients represent very heterogeneous communities and hold data which are very diverse. Therefore, aligned with the recent focus of the FL community to build a framework of personalized models for the users representing their diversity, it is also of utmost importance to protect the clients' sensitive and personal information against potential threats. To address this goal we consider $d$-privacy, also known as metric privacy, which is a variant of local differential privacy, using a a metric-based obfuscation technique that preserves the topological distribution of the original data. To cope with the issue of protecting the privacy of the clients and allowing for personalized model training to enhance the fairness and utility of the system, we propose a method to provide group privacy guarantees exploiting some key properties of $d$-privacy which enables personalized models under the framework of FL. We provide theoretical justifications to the applicability and experimental validation on real datasets to illustrate the working of our method.


title: Competition of Magnetocrystalline Anisotropy of Uranium Layers and Zig-Zag Chains in UNi$_{0.34}$Ge$_2$ Single Crystals

abstract: Structural and thermodynamic properties of single-crystalline UNi$_{1-x}$Ge$_2$ with $x$\,=\,0.66 have been investigated by measuring magnetization, specific heat, and thermal expansion over a wide range of temperatures and magnetic fields. The measurements revealed the emergence of a long-range antiferromagnetic ordering of uranium magnetic moments below the N{\'e}el temperature $T_{\rm N}$\,=\,45.5\,K and the existence of two easy axes in the studied compound, namely $b$ and $c$, which correspond to the planes of the uranium zig-zag chains. Magnetic field applied along these two crystallographic directions induces in the system a first-order metamagnetic phase transition (from antiferromagnetism to field-polarized paramagnetism), and the width of the magnetic hysteresis associated with that transition reaches as much as 40 kOe at the lowest temperatures. A magnetic phase diagram developed from the experimental data showed that the metastable region associated with that magnetic hysteresis forms a funnel that narrows toward the N{\'e}el point in zero magnetic field. The four-layer Ising model has successfully predicted the collinear antiferromagnetic structure in UNi$_{0.34}$Ge$_2$ (known from earlier reports), its magnetic phase diagram, and temperature and field variations of its magnetization. Moreover, it suggests that the first-order phase transition extends down to zero magnetic field, although it is barely detectable in the experiments performed in low magnetic fields. According to this model, the second-order phase transition occurs in the compound only in zero field.


title: Towards a General Purpose CNN for Long Range Dependencies in $N$D

abstract: The use of Convolutional Neural Networks (CNNs) is widespread in Deep Learning due to a range of desirable model properties which result in an efficient and effective machine learning framework. However, performant CNN architectures must be tailored to specific tasks in order to incorporate considerations such as the input length, resolution, and dimentionality. In this work, we overcome the need for problem-specific CNN architectures with our Continuous Convolutional Neural Network (CCNN): a single CNN architecture equipped with continuous convolutional kernels that can be used for tasks on data of arbitrary resolution, dimensionality and length without structural changes. Continuous convolutional kernels model long range dependencies at every layer, and remove the need for downsampling layers and task-dependent depths needed in current CNN architectures. We show the generality of our approach by applying the same CCNN to a wide set of tasks on sequential (1$\mathrm{D}$) and visual data (2$\mathrm{D}$). Our CCNN performs competitively and often outperforms the current state-of-the-art across all tasks considered.


title: Hadronic medium effects on $Z_{cs} (3985)^-$ production in heavy-ion collisions

abstract: In this work we study the interactions of the multiquark state $Z_{cs} (3985)^-$ with light mesons in a hot hadron gas. Using an Effective Lagrangian framework, we estimate the vacuum cross sections as well as the thermal cross sections of the production processes $ \bar{D}_{s}^{(*)} D_{s}^{(*)} \rightarrow Z_{cs}^- X \, (X=\pi , K, \eta) $ and the corresponding inverse reactions. The results indicate that the considered processes have sizeable cross sections. Most importantly, the thermal cross sections for $Z_{cs}$ annihilation are much larger than those for production. This feature might produce relevant effects on some observables, such as the final $Z_{cs}$ multiplicity, measured in heavy ion collisions.


title: The Influence of Dataset Partitioning on Dysfluency Detection Systems

abstract: This paper empirically investigates the influence of different data splits and splitting strategies on the performance of dysfluency detection systems. For this, we perform experiments using wav2vec 2.0 models with a classification head as well as support vector machines (SVM) in conjunction with the features extracted from the wav2vec 2.0 model to detect dysfluencies. We train and evaluate the systems with different non-speaker-exclusive and speaker-exclusive splits of the Stuttering Events in Podcasts (SEP-28k) dataset to shed some light on the variability of results w.r.t. to the partition method used. Furthermore, we show that the SEP-28k dataset is dominated by only a few speakers, making it difficult to evaluate. To remedy this problem, we created SEP-28k-Extended (SEP-28k-E), containing semi-automatically generated speaker and gender information for the SEP-28k corpus, and suggest different data splits, each useful for evaluating other aspects of methods for dysfluency detection.


title: MIX-MAB: Reinforcement Learning-based Resource Allocation Algorithm for LoRaWAN

abstract: This paper focuses on improving the resource allocation algorithm in terms of packet delivery ratio (PDR), i.e., the number of successfully received packets sent by end devices (EDs) in a long-range wide-area network (LoRaWAN). Setting the transmission parameters significantly affects the PDR. Employing reinforcement learning (RL), we propose a resource allocation algorithm that enables the EDs to configure their transmission parameters in a distributed manner. We model the resource allocation problem as a multi-armed bandit (MAB) and then address it by proposing a two-phase algorithm named MIX-MAB, which consists of the exponential weights for exploration and exploitation (EXP3) and successive elimination (SE) algorithms. We evaluate the MIX-MAB performance through simulation results and compare it with other existing approaches. Numerical results show that the proposed solution performs better than the existing schemes in terms of convergence time and PDR.


title: Puzzling large-scale polarization in the galaxy cluster Abell 523

abstract: Large-scale magnetic fields reveal themselves through diffuse synchrotron sources observed in galaxy clusters such as radio halos. Total intensity filaments of these sources have been observed in polarization as well, but only in three radio halos out of about one hundred currently known. In this paper we analyze new polarimetric Very Large Array data of the diffuse emission in the galaxy cluster Abell 523 in the frequency range 1-2 GHz. We find for the first time evidence of polarized emission on scales of ~ 2.5 Mpc. Total intensity emission is observed only in the central part of the source, likely due to observational limitations. To look for total intensity emission beyond the central region, we combine these data with single-dish observations from the Sardinia Radio Telescope and we compare them with multi-frequency total intensity observations obtained with different instruments, including the LOw Frequency ARray and the Murchison Widefield Array. By analysing the rotation measure properties of the system and utilizing numerical simulations, we infer that this polarized emission is associated with filaments of the radio halo located in the outskirts of the system, in the peripheral region closest to the observer.


title: Criteria for solubility and nilpotency of finite groups with automorphisms

abstract: Let $G$ be a finite group admitting a coprime automorphism $\alpha$. Let $J_G(\alpha)$ denote the set of all commutators $[x,\alpha]$, where $x$ belongs to an $\alpha$-invariant Sylow subgroup of $G$. We show that $[G,\alpha]$ is soluble or nilpotent if and only if any subgroup generated by a pair of elements of coprime orders from the set $J_G(\alpha)$ is soluble or nilpotent, respectively.


title: A Monte Carlo study of early gas expulsion and evolution of star clusters: new simulations with the MOCCA code in the AMUSE framework

abstract: We introduce a new prescription for the evolution of globular clusters (GCs) during the initial embedded gas phase into a Monte Carlo method. With a simplified version of the Monte Carlo MOCCA code embedded in the AMUSE framework, we study the survival of GCs after the removal of primordial gas. We first test our code and show that our results for the evolution of mass and Lagrangian radii are in good agreement with those obtained with N-body simulations. The Monte Carlo code enables a more rapid exploration of the evolution of systems with a larger number of stars than N-body simulations. We have carried out a new survey of simulations to explore the evolution of globular clusters with up to $N = 500000$ stars for a range of different star formation efficiencies and half-mass radii. Our study shows the range of initial conditions leading to the clusters' dissolution and those for which the clusters can survive this early evolutionary phase.


title: Observation of surface superconductivity in a three-dimensional Dirac material

abstract: Superconductivity becomes more interesting when it encounters dimensional constraint or topology, because it is of importance for exploring exotic quantum phenomena or developing superconducting electronics. Here we report the coexistence of naturally formed surface superconducting state and three-dimensional topological Dirac state in single crystals of BaMg$_2$Bi$_2$. The electronic structure obtained from the first-principles calculations demonstrates that BaMg$_2$Bi$_2$ is an ideal Dirac material, in which the Dirac point is very close to the Fermi level and no other energy band crosses the Fermi level. Superconductivity up to 4.77 K can be observed under ambient pressure in the measurements of resistivity. The angle dependent magnetoresistance reveals the two-dimensional characteristic of superconductivity, indicating that superconductivity occurs on the surface of the sample and is absent in the bulk state. Our study not only provides BaMg$_2$Bi$_2$ as a suitable platform to study the interplay between superconductivity and topological Dirac state, but also indicates that MgBi-based materials may be a promising system for exploring new superconductors.

categories: cond-mat.supr-con cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.str-el


title: Disentangling Modified Gravity and Massive Neutrinos with Intrinsic Shape Alignments of Massive Halos

abstract: We present two new diagnostics based on the intrinsic shape alignments of group/cluster size dark matter halos to disentangle the effect of $f(R)$ gravity from that of massive neutrinos. Using the snapshot data from a series of the {\small DUSTGRAIN}-{pathfinder} $N$-body simulations for the Planck $\Lambda$CDM cosmology and three $f(R)$ gravity models with massive neutrinos ($\nu$), we first determine the probability density functions of the alignment angles between the shape orientations of massive halos and the minor principal axes of the local tidal fields. The numerically obtained results turn out to agree very well with the analytic formula derived under the assumption that the anisotropic merging along the cosmic web induces the halo shape alignments. The four cosmologies, which several standard diagnostics failed to discriminate, are found to yield significantly different best-fit values of the single parameter that characterizes the analytic formula. We also numerically determine the spatial cross-correlations between the shape orientations of neighbor group/cluster halos, and find them to be in good agreements with a fitting formula characterized by two parameters, whose best-fit values are found to substantially differ among the four models. We also discuss the limitations and caveats of these new diagnostics that must be overcome for the application to real observational data.


title: Possible formation mechanism of multistate gravitational atoms

abstract: The collision of two equilibrium ground state solutions of the Schr\"odinger-Poisson (SP) system, in orthogonal states, is proposed as a formation mechanism of mixed state solutions of the SP system with spherical and first dipolar components. The collisions are simulated by solving numerically the SP system for two orthogonal states, considering head-on encounters, and using various mass ratios between the initial configurations with different head-on momentum. The results indicate that the less massive of the configurations pinches-off the more massive one, and redistributes its density along the axis of collision. The averaged in time density of the two states resembles the distribution of matter of bi-state equilibrium configurations with monopolar and dipolar contributions.


title: UAV-Enabled Integrated Sensing and Communication: Opportunities and Challenges

abstract: Unmanned aerial vehicle (UAV)-enabled integrated sensing and communication (ISAC) has attracted growing research interests in the context of sixth-generation (6G) wireless networks, in which UAVs will be exploited as aerial wireless platforms to provide better coverage and enhanced sensing and communication (S&C) services. However, due to the UAVs' size, weight, and power (SWAP) constraints, controllable mobility, and line-of-sight (LoS) air-ground channels, UAV-enabled ISAC introduces both new opportunities and challenges. This article provides an overview of UAV-enabled ISAC, and proposes various solutions for optimizing the S&C performance. In particular, we first introduce UAV-enabled joint S&C, and discuss UAV motion control, wireless resource allocation, and interference management for the cases of single and multiple UAVs. Then, we present two application scenarios for exploiting the synergy between S&C, namely sensing-assisted UAV communication and communication-assisted UAV sensing. Finally, we highlight several interesting research directions to guide and motivate future work.


title: The peculiar spectral evolution of the new X-ray transient MAXI J0637-430

abstract: We studied the transient Galactic black hole candidate MAXI J0637-430 with data from Insight-HXMT, Swift and XMM-Newton. The broad-band X-ray observations from Insight-HXMT help us constrain the power-law component. MAXI J0637-430 is located at unusually high Galactic latitude; if it belongs to the Galactic thick disk, we suggest a most likely distance <7 kpc. Compared with other black hole transients, MAXI J0637-430 is also unusual for other reasons: a fast transition to the thermal dominant state at the start of the outburst; a low peak temperature and luminosity (we estimate them at ~ 0.7 keV and <0.1 times Eddington, respectively); a short decline timescale; a low soft-to-hard transition luminosity (<0.01 times Eddington). We argue that such properties are consistent with a small binary separation, short binary period (P ~ 2 hr), and low-mass donor star (M2 ~ 0.2 M_sun). Moreover, spectral modelling shows that a single disk-blackbody component is not a good fit to the thermal emission. Soft spectral residuals, and deviations from the standard L_disk ~ T^4 in relation, suggest the need for a second thermal component. We propose and discuss various scenarios for such component, in addition to those presented in previous studies of this source. For example, a gap in the accretion disk between a hotter inner ring near the innermost stable orbit, and a cooler outer disk. Another possibility is that the second thermal component is the thermal plasma emission from an ionized outflow.


title: Fast and Robust Non-Rigid Registration Using Accelerated Majorization-Minimization

abstract: Non-rigid 3D registration, which deforms a source 3D shape in a non-rigid way to align with a target 3D shape, is a classical problem in computer vision. Such problems can be challenging because of imperfect data (noise, outliers and partial overlap) and high degrees of freedom. Existing methods typically adopt the $\ell_p$ type robust norm to measure the alignment error and regularize the smoothness of deformation, and use a proximal algorithm to solve the resulting non-smooth optimization problem. However, the slow convergence of such algorithms limits their wide applications. In this paper, we propose a formulation for robust non-rigid registration based on a globally smooth robust norm for alignment and regularization, which can effectively handle outliers and partial overlaps. The problem is solved using the majorization-minimization algorithm, which reduces each iteration to a convex quadratic problem with a closed-form solution. We further apply Anderson acceleration to speed up the convergence of the solver, enabling the solver to run efficiently on devices with limited compute capability. Extensive experiments demonstrate the effectiveness of our method for non-rigid alignment between two shapes with outliers and partial overlaps, with quantitative evaluation showing that it outperforms state-of-the-art methods in terms of registration accuracy and computational speed. The source code is available at https://github.com/yaoyx689/AMM_NRR.


title: Soft-photon radiation in high-energy proton-proton collisions within the tensor-Pomeron approach: Bremsstrahlung

abstract: We discuss diffractive processes in proton-proton collisions at small momentum transfers without and with photon radiation. We consider the soft exclusive reactions $pp \to pp$, $p\bar{p} \to p\bar{p}$, and $pp \to pp \gamma$ within the tensor-pomeron and vector-odderon approach. We compare our results with the data for $pp$ and $p\bar{p}$ total cross sections, for the ratio of real to imaginary part of the forward scattering amplitude, and for the elastic $pp$ cross sections, especially those from TOTEM. To describe the low-energy data more accurately the secondary reggeons must be included. We write down the amplitudes for the photon bremsstrahlung in high-energy proton-proton collisions using the tensor-pomeron model. These results are relevant for the c.m. energies presently available at the Relativistic Heavy Ion Collider and at the LHC. We present predictions for the proposed measurements of soft photons with the planned future upgrade of the ALICE experiment at the LHC. We investigate the limits of applicability of the soft-photon approximation (SPA) based on Low's theorem. The corresponding SPA results are compared to those obtained from our complete model. The regions of phase space are given quantitatively where SPA and our complete tensor-pomeron results are close to each other. As an example, let $k_{\perp}$, $\rm y$, and $\omega$, be the absolute value of the transverse momentum, the rapidity, and the energy of the photon, respectively, in the overall c.m. system. For the region $1 \; {\rm MeV} < k_{\perp} < 100 \; {\rm MeV}$ and $3.5 < |\rm y| < 5.0$, we find that the SPA Ansatz with only the pole terms $\propto \omega^{-1}$ agrees at the percent level with our complete model result up to $\omega \cong 2$ GeV.


title: Localization of ultracold atoms in incommensurate spin-orbit-coupling and Zeeman lattices

abstract: We consider a particle governed by a one-dimensional Hamiltonian in which artificial periodic spin-orbit coupling and Zeeman lattice have incommensurate periods. Using best rational approximations to such quasiperiodic Hamiltonian, the problem is reduced to description of spinor states in a superlattice. In the absence of a constant Zeeman splitting, the system acquires an additional symmetry, which hinders the localization. However, if the lattices are deep enough, then localized states can appear even for Zeeman field with zero or small mean value. Spatial distribution of localized modes is nearly uniform and is directly related to the topological properties of the effective superlattice: center-of-mass coordinates of modes are determined by Zak phases computed from the superlattice band structure. The best rational approximations feature the `memory' effect: each rational approximation holds the information about the energies and spatial distribution of the modes obtained under preceding, less accurate approximations. Dispersion of low-energy initial wavepackets is characterized by the law $\propto t^\beta$ with $\beta$ varying between $1/2$ at the initial stage and $1$ at longer, but still finite-time, evolution. The dynamics of initial wavepackets, exciting mainly localized modes, manifests quantum revivals.


title: Deep Learning based Direct Segmentation Assisted by Deformable Image Registration for Cone-Beam CT based Auto-Segmentation for Adaptive Radiotherapy

abstract: Cone-beam CT (CBCT)-based online adaptive radiotherapy calls for accurate auto-segmentation to reduce the time cost for physicians to edit contours. However, deep learning (DL)-based direct segmentation of CBCT images is a challenging task, mainly due to the poor image quality and lack of well-labelled large training datasets. Deformable image registration (DIR) is often used to propagate the manual contours on the planning CT (pCT) of the same patient to CBCT. In this work, we undertake solving the problems mentioned above with the assistance of DIR. Our method consists of three main components. First, we use deformed pCT contours derived from multiple DIR methods between pCT and CBCT as pseudo labels for initial training of the DL-based direct segmentation model. Second, we use deformed pCT contours from another DIR algorithm as influencer volumes to define the region of interest for DL-based direct segmentation. Third, the initially trained DL model is further fine-tuned using a smaller set of true labels. We found that DL-based direct segmentation on CBCT trained with pseudo labels and without influencer volumes shows poor performance compared to DIR-based segmentation. However, adding deformed pCT contours as influencer volumes in the direct segmentation network dramatically improves segmentation performance, reaching the accuracy level of DIR-based segmentation. The DL model with influencer volumes can be further improved through fine-tuning using a smaller set of true labels. Experiments showed that 7 out of 19 structures have an at least 0.2 Dice similarity coefficient increase compared to DIR-based segmentation. A DL-based direct CBCT segmentation model can be improved to outperform DIR-based segmentation models by using deformed pCT contours as pseudo labels and influencer volumes for initial training, and by using a smaller set of true labels for model fine tuning.


title: Coarse graining pure states in AdS/CFT

abstract: We construct new Euclidean wormhole solutions in AdS(d+1) and discuss their role in UV-complete theories, without ensemble averaging. The geometries are interpreted as overlaps of GHZ-like entangled states, which arise naturally from coarse graining the density matrix of a pure state in the dual CFT. In several examples, including thin-shell collapsing black holes and pure black holes with an end-of-the-world brane behind the horizon, the coarse-graining map is found explicitly in CFT terms, and used to define a coarse-grained entropy that is equal to one quarter the area of a time-symmetric apparent horizon. Wormholes are used to derive the coarse-graining map and to study statistical properties of the quantum state. This reproduces aspects of the West Coast model of 2D gravity and the large-c ensemble of 3D gravity, including a Page curve, in a higher-dimensional context with generic matter fields.


title: Metric approach to a $\mathrm{T}\bar{\mathrm{T}}-$like deformation in arbitrary dimensions

abstract: We consider a one-parameter family of composite fields -- bi-linear in the components of the stress-energy tensor -- which generalise the $\mathrm{T}\bar{\mathrm{T}}$ operator to arbitrary space-time dimension $d\geq 2$. We show that they induce a deformation of the classical action which is equivalent -- at the level of the dynamics -- to a field-dependent modification of the background metric tensor according to a specific flow equation. Even though the starting point is the flat space, the deformed metric is generally curved for any $d>2$, thus implying that the corresponding deformation can not be interpreted as a coordinate transformation. The central part of the paper is devoted to the development of a recursive algorithm to compute the coefficients of the power series expansion of the solution to the metric flow equation. We show that, under some quite restrictive assumptions on the stress-energy tensor, the power series yields an exact solution. Finally, we consider a class of theories in $d=4$ whose stress-energy tensor fulfils the assumptions above mentioned, namely the family of abelian gauge theories in $d=4$. For such theories, we obtain the exact expression of the deformed metric and the vierbein. In particular, the latter result implies that ModMax theory in a specific curved space is dynamically equivalent to its Born-Infeld-like extension in flat space. We also discuss a dimensional reduction of the latter theories from $d=4$ to $d=2$ in which an interesting marginal deformation of $d=2$ field theories emerges.


title: Excitonic instability in transition metal dichalcogenides

abstract: When transition-metal dichalcogenide monolayers lack inversion symmetry, their low-energy single particle spectrum can described by tilted massive Dirac Hamiltonians. The so-called Janus materials fall into that category. Inversion symmetry can also be broken by the application of out-of-plane electric fields, or by the mere presence of a substrate. Here we explore the properties of excitons in TMDC monolayers lacking inversion symmetry. We find that exciton binding energies can be larger than the electronic band gap, making such materials promising candidates to host the elusive exciton insulator phase. We also investigate the excitonic contribution to their optical conductivity and discuss the associated optical selection rules.


title: Minimising statistical errors in calibration of quantum-gate sets

abstract: Calibration of quantum gates is a necessary hurdle to overcome on the way to a reliable quantum computer. In a recent paper, a protocol called Gate Set Calibration protocol (GSC) has been introduced and used to learn coherent errors from multi-qubit quantum gates. Here, we extend this study in a number of ways: First, we perform a statistical analysis of the measurement uncertainties. Second, we find explicit measurement settings that minimize this uncertainty, while also requiring that the protocol involves only a small number of distinct gates, aiding physical realizability. We numerically demonstrate that, just by adding two more single-qubit gates to GSC, the statistical error produced in the calibration of a CNOT gate is divided by a factor of more than two.


title: Responsibility-Sensitive Safety: an Introduction with an Eye to Logical Foundations and Formalization

abstract: Responsibility-sensitive safety (RSS) is an approach to the safety of automated driving systems (ADS). It aims to introduce mathematically formulated safety rules, compliance with which guarantees collision avoidance as a mathematical theorem. However, despite the emphasis on mathematical and logical guarantees, the logical foundations and formalization of RSS are largely an unexplored topic of study. In this paper, we present an introduction to RSS, one that we expect will bridge between different research communities and pave the way to a logical theory of RSS, its mathematical formalization, and software tools of practical use.


title: A Secure and Trusted Mechanism for Industrial IoT Network using Blockchain

abstract: Industrial Internet-of-Things (IIoT) is a powerful IoT application which remodels the growth of industries by ensuring transparent communication among various entities such as hubs, manufacturing places and packaging units. Introducing data science techniques within the IIoT improves the ability to analyze the collected data in a more efficient manner, which current IIoT architectures lack due to their distributed nature. From a security perspective, network anomalies/attackers pose high security risk in IIoT. In this paper, we have addressed this problem, where a coordinator IoT device is elected to compute the trust of IoT devices to prevent the malicious devices to be part of network. Further, the transparency of the data is ensured by integrating a blockchain-based data model. The performance of the proposed framework is validated extensively and rigorously via MATLAB against various security metrics such as attack strength, message alteration, and probability of false authentication. The simulation results suggest that the proposed solution increases IIoT network security by efficiently detecting malicious attacks in the network.


title: An Adaptive Federated Relevance Framework for Spatial Temporal Graph Learning

abstract: Spatial-temporal data contains rich information and has been widely studied in recent years due to the rapid development of relevant applications in many fields. For instance, medical institutions often use electrodes attached to different parts of a patient to analyse the electorencephal data rich with spatial and temporal features for health assessment and disease diagnosis. Existing research has mainly used deep learning techniques such as convolutional neural network (CNN) or recurrent neural network (RNN) to extract hidden spatial-temporal features. Yet, it is challenging to incorporate both inter-dependencies spatial information and dynamic temporal changes simultaneously. In reality, for a model that leverages these spatial-temporal features to fulfil complex prediction tasks, it often requires a colossal amount of training data in order to obtain satisfactory model performance. Considering the above-mentioned challenges, we propose an adaptive federated relevance framework, namely FedRel, for spatial-temporal graph learning in this paper. After transforming the raw spatial-temporal data into high quality features, the core Dynamic Inter-Intra Graph (DIIG) module in the framework is able to use these features to generate the spatial-temporal graphs capable of capturing the hidden topological and long-term temporal correlation information in these graphs. To improve the model generalization ability and performance while preserving the local data privacy, we also design a relevance-driven federated learning module in our framework to leverage diverse data distributions from different participants with attentive aggregations of their models.


title: Collective strategy condensation towards class-separated societies

abstract: In physics, the wavefunctions of bosonic particles collapse when the system undergoes a Bose-Einstein condensation. In game theory, the strategy of an agent describes the probability to engage in a certain course of action. Strategies are expected to differ in competitive situations, namely when there is a penalty to do the same as somebody else. We study what happens when agents are interested how they fare not only in absolute terms, but also relative to others. This preference, denoted envy, is shown to induce the emergence of distinct social classes via a collective strategy condensation transition. Members of the lower class pursue identical strategies, in analogy to the Bose-Einstein condensation, with the upper class remaining individualistic.


title: Vertex-critical $(P_3+\ell P_1)$-free and vertex-critical (gem, co-gem)-free graphs

abstract: A graph $G$ is $k$-vertex-critical if $\chi(G)=k$ but $\chi(G-v)<k$ for all $v\in V(G)$ where $\chi(G)$ denotes the chromatic number of $G$. We show that there are only finitely many $k$-critical $(P_3+\ell P_1)$-free graphs for all $k$ and all $\ell$. Together with previous results, the only graphs $H$ for which it is unknown if there are an infinite number of $k$-vertex-critical $H$-free graphs is $H=(P_4+\ell P_1)$ for all $\ell\ge 1$. We consider a restriction on the smallest open case, and show that there are only finitely many $k$-vertex-critical (gem, co-gem)-free graphs for all $k$, where gem$=\overline{P_4+P_1}$. To do this, we show the stronger result that every vertex-critical (gem, co-gem)-free graph is either complete or a clique expansion of $C_5$. This characterization allows us to give the complete list of all $k$-vertex-critical (gem, co-gem)-free graphs for all $k\le 16$


title: Globally Optimal Band Structure for Thermoelectrics in Realistic Systems

abstract: Observation is made that a linear dispersion in any dimension under acoustic-phonon-deformation-potential scattering theoretically prescribes a constant charge transport distribution, required for the boxcar profile known to maximize the thermoelectric figure of merit. A linear dispersion squeezed by two transport gaps for optimized bandwidth under scattering by phonon deformation then theoretically constitutes a globally optimal qualitative band structure that may arise in real systems.


title: Protein-lipid domains in heterogeneous membranes beyond spontaneous curvature effects

abstract: We study a model of a lipid bilayer membrane described by two order parameters: the chemical composition described using the Gaussian model and the spatial configuration described with the elastic deformation model of a membrane with a finite thickness, or equivalently, for an adherent membrane. We assume and explain on physical grounds the linear coupling between the two order parameters. Using the exact solution, we calculate the correlation functions and order parameters profiles. We also study the domains that form around inclusions on the membrane. We propose and compare six distinct ways to quantify the size of such domains. Despite of its simplicity, the model has many interesting features like Fisher-Widom line or two distinct critical regions.


title: Inexact and primal multilevel FETI-DP methods: a multilevel extension and interplay with BDDC

abstract: We study a framework that allows to solve the coarse problem in the FETI-DP method approximately. It is based on the saddle-point formulation of the FETI-DP system with a block-triangular preconditioner. One of the blocks approximates the coarse problem, for which we use the multilevel BDDC method as the main tool. This strategy then naturally leads to a version of multilevel FETI-DP method, and we show that the spectra of the multilevel FETI-DP and BDDC preconditioned operators are essentially the same. The theory is illustrated by a set of numerical experiments, and we also present a few experiments when the coarse solve is approximated by algebraic multigrid.


title: Improving Fairness in Graph Neural Networks via Mitigating Sensitive Attribute Leakage

abstract: Graph Neural Networks (GNNs) have shown great power in learning node representations on graphs. However, they may inherit historical prejudices from training data, leading to discriminatory bias in predictions. Although some work has developed fair GNNs, most of them directly borrow fair representation learning techniques from non-graph domains without considering the potential problem of sensitive attribute leakage caused by feature propagation in GNNs. However, we empirically observe that feature propagation could vary the correlation of previously innocuous non-sensitive features to the sensitive ones. This can be viewed as a leakage of sensitive information which could further exacerbate discrimination in predictions. Thus, we design two feature masking strategies according to feature correlations to highlight the importance of considering feature propagation and correlation variation in alleviating discrimination. Motivated by our analysis, we propose Fair View Graph Neural Network (FairVGNN) to generate fair views of features by automatically identifying and masking sensitive-correlated features considering correlation variation after feature propagation. Given the learned fair views, we adaptively clamp weights of the encoder to avoid using sensitive-related features. Experiments on real-world datasets demonstrate that FairVGNN enjoys a better trade-off between model utility and fairness. Our code is publicly available at https://github.com/YuWVandy/FairVGNN.


title: Spatial regularity of the young stellar population in spiral arms of late type galaxies NGC 895, NGC 5474, and NGC 6946

abstract: We investigate the spatial regularity in the distribution of the young stellar population along spiral arms of three late type spiral galaxies: NGC 895, NGC 5474, and NGC 6946. This study is based on an analysis of photometric properties of spiral arms using {\it GALEX} ultraviolet, optical UBVRI, Halpha, and 8mum {IRAC} infrared surface photometry data. Using the Fourier analysis approach, we found features of spatial regularity or quasi-regularity in the distribution of the young stellar population or (and) regular chains of star formation regions in all arms of NGC 895, NGC 5474, and NGC 6946 with characteristic scales of spacing from 350 to 500 pc in different arms, and (or) scales which are multiples of them. These characteristic scales are close to the those found earlier in NGC 628, NGC 6217, and M100.


title: Revealing Single Frame Bias for Video-and-Language Learning

abstract: Training an effective video-and-language model intuitively requires multiple frames as model inputs. However, it is unclear whether using multiple frames is beneficial to downstream tasks, and if yes, whether the performance gain is worth the drastically-increased computation and memory costs resulting from using more frames. In this work, we explore single-frame models for video-and-language learning. On a diverse set of video-and-language tasks (including text-to-video retrieval and video question answering), we show the surprising result that, with large-scale pre-training and a proper frame ensemble strategy at inference time, a single-frame trained model that does not consider temporal information can achieve better performance than existing methods that use multiple frames for training. This result reveals the existence of a strong "static appearance bias" in popular video-and-language datasets. Therefore, to allow for a more comprehensive evaluation of video-and-language models, we propose two new retrieval tasks based on existing fine-grained action recognition datasets that encourage temporal modeling. Our code is available at https://github.com/jayleicn/singularity


title: Generating Long Videos of Dynamic Scenes

abstract: We present a video generation model that accurately reproduces object motion, changes in camera viewpoint, and new content that arises over time. Existing video generation methods often fail to produce new content as a function of time while maintaining consistencies expected in real environments, such as plausible dynamics and object persistence. A common failure case is for content to never change due to over-reliance on inductive biases to provide temporal consistency, such as a single latent code that dictates content for the entire video. On the other extreme, without long-term consistency, generated videos may morph unrealistically between different scenes. To address these limitations, we prioritize the time axis by redesigning the temporal latent representation and learning long-term consistency from data by training on longer videos. To this end, we leverage a two-phase training strategy, where we separately train using longer videos at a low resolution and shorter videos at a high resolution. To evaluate the capabilities of our model, we introduce two new benchmark datasets with explicit focus on long-term temporal dynamics.


title: Robot Self-Calibration Using Actuated 3D Sensors

abstract: Both, robot and hand-eye calibration haven been object to research for decades. While current approaches manage to precisely and robustly identify the parameters of a robot's kinematic model, they still rely on external devices, such as calibration objects, markers and/or external sensors. Instead of trying to fit the recorded measurements to a model of a known object, this paper treats robot calibration as an offline SLAM problem, where scanning poses are linked to a fixed point in space by a moving kinematic chain. As such, the presented framework allows robot calibration using nothing but an arbitrary eye-in-hand depth sensor, thus enabling fully autonomous self-calibration without any external tools. My new approach is utilizes a modified version of the Iterative Closest Point algorithm to run bundle adjustment on multiple 3D recordings estimating the optimal parameters of the kinematic model. A detailed evaluation of the system is shown on a real robot with various attached 3D sensors. The presented results show that the system reaches precision comparable to a dedicated external tracking system at a fraction of its cost.


title: Self-supervised Domain Adaptation in Crowd Counting

abstract: Self-training crowd counting has not been attentively explored though it is one of the important challenges in computer vision. In practice, the fully supervised methods usually require an intensive resource of manual annotation. In order to address this challenge, this work introduces a new approach to utilize existing datasets with ground truth to produce more robust predictions on unlabeled datasets, named domain adaptation, in crowd counting. While the network is trained with labeled data, samples without labels from the target domain are also added to the training process. In this process, the entropy map is computed and minimized in addition to the adversarial training process designed in parallel. Experiments on Shanghaitech, UCF_CC_50, and UCF-QNRF datasets prove a more generalized improvement of our method over the other state-of-the-arts in the cross-domain setting.


title: Implicit biases in transit models using stellar pseudo-density

abstract: The transit technique is responsible for the majority of exoplanet discoveries to date. Characterizing these planets involves careful modeling of their transit profiles. A common technique involves expressing the transit duration using a density-like parameter, $\tilde{\rho}$, often called the "circular density." Most notably, the Kepler project -- the largest analysis of transit lightcurves to date -- adopted a linear prior on $\tilde{\rho}$. Here, we show that such a prior biases measurements of impact parameter, $b$, due to the non-linear relationship between $\tilde{\rho}$ and transit duration. This bias slightly favors low values ($b \lesssim 0.3$) and strongly disfavors high values ($b \gtrsim 0.7$) unless transit signal-to-noise ratio is sufficient to provide an independent constraint on $b$, a criterion that is not satisfied for the majority of Kepler planets. Planet-to-star radius ratio, $r$, is also biased due to $r{-}b$ covariance. Consequently, the median Kepler DR25 target suffers a $1.6\%$ systematic underestimate of $r$. We present a techniques for correcting these biases and for avoiding them in the first place.


title: Lie graph homology model for $\mathfrak{grt}_1$

abstract: This paper develops a new chain model for the commutative graph complex $\mathsf{GC}_2$ which takes Lie graph homology as an input. Our main technical result is the identification of a large contractible complex of (certain) tadpoles and higher genus vertices of the Feynman transform of Lie graph homology. Using this result we identify the anti-invarints of Lie graph homology in genus $2$ with relations between bracketings of conjectural generators of $\mathfrak{grt}_1$ in depth 2 modulo depth 3, unifying two a priori disparate appearances of the space of modular cusp forms in the study of graph homology.


title: Traversable wormholes via a double trace deformation involving $U(1)$ conserved current operators

abstract: We study the effects of conservation laws on wormholes that are made traversable by a double trace deformation. After coupling the two asymptotic boundaries of a maximally extended $(d+1)$ dimensional black brane geometry with $U(1)$ conserved current operators, we find that the quantum matter stress-energy tensor of the corresponding bulk gauge fields in the hydrodynamic limit violates the averaged null energy condition (ANEC), rendering the wormhole traversable. Applying our results to axionic two-sided black hole solutions, we discuss how the wormhole opening depends on the charge diffusion constant, how this affects the amount of information that can be sent through the wormhole, and possible implications for many-body quantum teleportation protocols involving conserved current operators.


title: The amplituhedron crossing and winding numbers

abstract: In \cite{arkani2018unwinding}, Arkani-Hamed, Thomas and Trnka formulated two conjectural descriptions of the tree amplituhedron $\ampli$ depending on the parity of $m$. When $m$ is even, the description involves the winding number and when $m$ is odd the description involves the crossing number. In this paper, we prove that if a point of the amplituhedron is in the image of the positive Grassmannian by the amplituhedron map, then it satisfies the winding or crossing descriptions depending on the parity of $m$. When $m=2$, we also prove the other direction: a point satisfying the winding description is inside the amplituhedron.


title: A Benchmark for Federated Hetero-Task Learning

abstract: To investigate the heterogeneity in federated learning in real-world scenarios, we generalize the classic federated learning to federated hetero-task learning, which emphasizes the inconsistency across the participants in federated learning in terms of both data distribution and learning tasks. We also present B-FHTL, a federated hetero-task learning benchmark consisting of simulation dataset, FL protocols and a unified evaluation mechanism. B-FHTL dataset contains three well-designed federated learning tasks with increasing heterogeneity. Each task simulates the clients with different non-IID data and learning tasks. To ensure fair comparison among different FL algorithms, B-FHTL builds in a full suite of FL protocols by providing high-level APIs to avoid privacy leakage, and presets most common evaluation metrics spanning across different learning tasks, such as regression, classification, text generation and etc. Furthermore, we compare the FL algorithms in fields of federated multi-task learning, federated personalization and federated meta learning within B-FHTL, and highlight the influence of heterogeneity and difficulties of federated hetero-task learning. Our benchmark, including the federated dataset, protocols, the evaluation mechanism and the preliminary experiment, is open-sourced at https://github.com/alibaba/FederatedScope/tree/master/benchmark/B-FHTL


title: Orbits of light rays in (1+2)-dimensional Einstein-power-Maxwell gravity: Exact analytical solution to the null geodesic equations

abstract: We study photon orbits within (1+2)-dimensional Einstein-power-Maxwell non-linear electrodynamics assuming a static and circularly symmetric background. An exact analytical solution to the null geodesic equations for light rays is obtained in terms of the Weierstra{\ss} function. We investigate in detail the impact of the photon energy, the electric charge of the black hole, and the integration constant (initial condition) on the shape of the orbits.


title: Riso-stratifications and a tree invariant

abstract: We introduce a new notion of stratification (``riso-stratification''), which is canonical and which exists in a variety of settings, including different topological fields like $\mathbb{C}$, $\mathbb{R}$ and $\mathbb{Q}_p$, and also including different o-minimal structures on $\mathbb{R}$. Riso-stratifications are defined directly in terms of a suitable notion of triviality along strata; the key difficulty and main result is that the strata defined in this way are ``algebraic in nature'', i.e., definable in the corresponding first-order language. As an example application, we show that local motivic Poincar\'e series are, in some sense, trivial along the strata of the riso-stratification. Behind the notion of riso-stratification lies a new invariant of singularities, which we call the ``riso-tree'', and which captures, in a canonical way, information that was contained in the non-canonical strata of a Lipschitz stratification. On our way to the Poincar\'e series application, we show, among others, that our notions interact well with motivic integration.


title: Solving Non-local Fokker-Planck Equations by Deep Learning

abstract: Physics-informed neural networks (PiNNs) recently emerged as a powerful solver for a large class of partial differential equations under various initial and boundary conditions. In this paper, we propose trapz-PiNNs, physics-informed neural networks incorporated with a modified trapezoidal rule recently developed for accurately evaluating fractional laplacian and solve the space-fractional Fokker-Planck equations in 2D and 3D. We describe the modified trapezoidal rule in detail and verify the second-order accuracy. We demonstrate trapz-PiNNs have high expressive power through predicting solution with low $\mathcal{L}^2$ relative error on a variety of numerical examples. We also use local metrics such as pointwise absolute and relative errors to analyze where could be further improved. We present an effective method for improving performance of trapz-PiNN on local metrics, provided that physical observations of high-fidelity simulation of the true solution are available. Besides the usual advantages of the deep learning solvers such as adaptivity and mesh-independence, the trapz-PiNN is able to solve PDEs with fractional laplacian with arbitrary $\alpha\in (0,2)$ and specializes on rectangular domain. It also has potential to be generalized into higher dimensions.


title: Enhancing Strong PUF Security with Non-monotonic Response Quantization

abstract: Strong physical unclonable functions (PUFs) provide a low-cost authentication primitive for resource constrained devices. However, most strong PUF architectures can be modeled through learning algorithms with a limited number of CRPs. In this paper, we introduce the concept of non-monotonic response quantization for strong PUFs. Responses depend not only on which path is faster, but also on the distance between the arriving signals. Our experiments show that the resulting PUF has increased security against learning attacks. To demonstrate, we designed and implemented a non-monotonically quantized ring-oscillator based PUF in 65 nm technology. Measurement results show nearly ideal uniformity and uniqueness, with bit error rate of 13.4% over the temperature range from 0 C to 50 C.


title: Robust Sparse Mean Estimation via Sum of Squares

abstract: We study the problem of high-dimensional sparse mean estimation in the presence of an $\epsilon$-fraction of adversarial outliers. Prior work obtained sample and computationally efficient algorithms for this task for identity-covariance subgaussian distributions. In this work, we develop the first efficient algorithms for robust sparse mean estimation without a priori knowledge of the covariance. For distributions on $\mathbb R^d$ with "certifiably bounded" $t$-th moments and sufficiently light tails, our algorithm achieves error of $O(\epsilon^{1-1/t})$ with sample complexity $m = (k\log(d))^{O(t)}/\epsilon^{2-2/t}$. For the special case of the Gaussian distribution, our algorithm achieves near-optimal error of $\tilde O(\epsilon)$ with sample complexity $m = O(k^4 \mathrm{polylog}(d))/\epsilon^2$. Our algorithms follow the Sum-of-Squares based, proofs to algorithms approach. We complement our upper bounds with Statistical Query and low-degree polynomial testing lower bounds, providing evidence that the sample-time-error tradeoffs achieved by our algorithms are qualitatively the best possible.


title: Spin flips of electron beams in optical near fields

abstract: Manipulating the spin polarization of electron beams using light is highly desirable but exceedingly challenging, as the approaches proposed in previous studies using free-space light usually require enormous laser intensities. Here, we propose the use of a transverse electric optical near field, extended on nanostructures, to efficiently induce spin flips of an adjacent electron beam by exploiting the strong inelastic electron scattering in phase-matched optical near fields. Our calculations show that the use of a dramatically reduced laser intensity ($\sim 10^{12}\,$W/cm$^2$) with a short interaction length ($16\,\mu$m) achieves an electron spin-flip probability of approximately $12\%$. Intriguingly, the two spin components of an unpolarized incident electron beam -- parallel and antiparallel to the electric field -- are spin-flipped and inelastically scattered to different energy states, providing an analog of the Stern--Gerlach experiment in the energy dimension. Our findings are important for optical control of free-electron spins, preparation of spin-polarized electron beams, and applications as varied as in material science and high-energy physics.


title: V392 Persei: a \gamma-ray bright nova eruption from a known dwarf nova

abstract: V392 Persei is a known dwarf nova (DN) that underwent a classical nova eruption in 2018. Here we report ground-based optical, Swift UV and X-ray, and Fermi-LAT \gamma-ray observations following the eruption for almost three years. V392 Per is one of the fastest evolving novae yet observed, with a $t_2$ decline time of 2 days. Early spectra present evidence for multiple and interacting mass ejections, with the associated shocks driving both the \gamma-ray and early optical luminosity. V392 Per entered Sun-constraint within days of eruption. Upon exit, the nova had evolved to the nebular phase, and we saw the tail of the super-soft X-ray phase. Subsequent optical emission captured the fading ejecta alongside a persistent narrow line emission spectrum from the accretion disk. Ongoing hard X-ray emission is characteristic of a standing accretion shock in an intermediate polar. Analysis of the optical data reveals an orbital period of 3.230 \pm 0.003 days, but we see no evidence for a white dwarf (WD) spin period. The optical and X-ray data suggest a high mass WD, the pre-nova spectral energy distribution (SED) indicates an evolved donor, and the post-nova SED points to a high mass accretion rate. Following eruption, the system has remained in a nova-like high mass transfer state, rather than returning to the pre-nova DN low mass transfer configuration. We suggest that this high state is driven by irradiation of the donor by the nova eruption. In many ways, V392 Per shows similarity to the well-studied nova and DN GK Persei.


title: Partially hyperbolic random dynamics on Grassmannians

abstract: A sequence of invertible matrices given by a small random perturbation around a fixed diagonal partially hyperbolic matrix induces a random dynamics on the Grassmann manifolds. Under suitable weak conditions it is known to have a unique invariant (Furstenberg) measure. The main result gives concentration bounds on this measure showing that with high probability the random dynamics stays in the vicinity of stable fixed points of the unperturbed matrix, in a regime where the strength of the random perturbation dominates the local hyperbolicity of the diagonal matrix. As an application, bounds on sums of Lyapunov exponents are obtained.


title: Timed automata as a formalism for expressing security: A survey on theory and practice

abstract: Timed automata are a common formalism for the verification of concurrent systems subject to timing constraints. They extend finite-state automata with clocks, that constrain the system behavior in locations, and to take transitions. While timed automata were originally designed for safety (in the wide sense of correctness w.r.t. a formal property), they were progressively used in a number of works to guarantee security properties. In this work, we review works studying security properties for timed automata in the last two decades. We notably review theoretical works, with a particular focus on opacity, as well as more practical works, with a particular focus on attack trees and their extensions. We derive main conclusions concerning open perspectives, as well as tool support.


title: Learning in Observable POMDPs, without Computationally Intractable Oracles

abstract: Much of reinforcement learning theory is built on top of oracles that are computationally hard to implement. Specifically for learning near-optimal policies in Partially Observable Markov Decision Processes (POMDPs), existing algorithms either need to make strong assumptions about the model dynamics (e.g. deterministic transitions) or assume access to an oracle for solving a hard optimistic planning or estimation problem as a subroutine. In this work we develop the first oracle-free learning algorithm for POMDPs under reasonable assumptions. Specifically, we give a quasipolynomial-time end-to-end algorithm for learning in "observable" POMDPs, where observability is the assumption that well-separated distributions over states induce well-separated distributions over observations. Our techniques circumvent the more traditional approach of using the principle of optimism under uncertainty to promote exploration, and instead give a novel application of barycentric spanners to constructing policy covers.


title: Evaluations of uncertainties in simulations of propagation of ultrahigh-energy cosmic-ray nuclei derived from microscopic nuclear models

abstract: Photodisintegration is a main energy loss process for ultrahigh-energy cosmic-ray (UHECR) nuclei in intergalactic space. Therefore, it is crucial to understand systematic uncertainty in photodisintegration when simulating the propagation of UHECR nuclei. In this work, we calculated the cross sections using the random phase approximation (RPA) of density functional theory (DFT), a microscopic nuclear model. We calculated the $E1$ strength of 29 nuclei using three different density functionals. We obtained the cross sections of photonuclear reactions, including photodisintegration, with the $E1$ strength. Then, we implemented the cross sections in the cosmic-ray propagation code CRPropa. We found that assuming certain astrophysical parameter values, the difference between UHECR energy spectrum predictions using the RPA calculation and the default photodisintegration model in CRPropa can be more than the statistical uncertainty of the spectrum. We also found that the differences between the RPA calculations and CRPropa default in certain astrophysical parameters obtained by a combined fit of UHECR energy spectrum and composition data assuming a phenomenological model of UHECR sources can be more than the uncertainty of the data.


title: Learning Mobile Manipulation

abstract: Providing mobile robots with the ability to manipulate objects has, despite decades of research, remained a challenging problem. The problem is approachable in constrained environments where there is ample prior knowledge of the environment layout and manipulatable objects. The challenge is in building systems that scale beyond specific situational instances and gracefully operate in novel conditions. In the past, researchers used heuristic and simple rule-based strategies to accomplish tasks such as scene segmentation or reasoning about occlusion. These heuristic strategies work in constrained environments where a roboticist can make simplifying assumptions about everything from the geometries of the objects to be interacted with, level of clutter, camera position, lighting, and a myriad of other relevant variables. The work in this thesis will demonstrate how to build a system for robotic mobile manipulation that is robust to changes in these variables. This robustness will be enabled by recent simultaneous advances in the fields of big data, deep learning, and simulation. The ability of simulators to create realistic sensory data enables the generation of massive corpora of labeled training data for various grasping and navigation-based tasks. It is now possible to build systems that work in the real world trained using deep learning entirely on synthetic data. The ability to train and test on synthetic data allows for quick iterative development of new perception, planning and grasp execution algorithms that work in many environments.