title: Bad-Policy Density: A Measure of Reinforcement Learning Hardness

abstract: Reinforcement learning is hard in general. Yet, in many specific environments, learning is easy. What makes learning easy in one environment, but difficult in another? We address this question by proposing a simple measure of reinforcement-learning hardness called the bad-policy density. This quantity measures the fraction of the deterministic stationary policy space that is below a desired threshold in value. We prove that this simple quantity has many properties one would expect of a measure of learning hardness. Further, we prove it is NP-hard to compute the measure in general, but there are paths to polynomial-time approximation. We conclude by summarizing potential directions and uses for this measure.


title: Particle production as a function of the underlying event in pp collisions simulated with PYTHIA 8

abstract: In this work we present the production of charged particles associated with high-$p_{\rm T}$ trigger particles ($8<p_{\rm T}^{\rm trig.}<15$ GeV /$c$) at mid-pseudorapidity in proton-proton collisions at $\sqrt{s}=5.02$\,TeV simulated with the \textsc{PYTHIA 8} Monte Carlo model. The study is performed as a function of the relative transverse activity classifier, $R_{\rm T}$, which is the relative charged-particle multiplicity in the transverse region ($\pi/3 <|\Delta\phi| <2\pi/3$) of the di-hadron correlations, and it is sensitive to the Multi-Parton Interactions. The evolution of the yield of associated particles on both the toward and the away regions with $3\leq p_{\rm T}^{\rm assoc.}<8$ GeV/$c$ as a function of $R_{\rm T}$ is investigated. We propose a strategy which allows for the modelling and subtraction of the Underlying Event (UE) contribution from the toward and the away regions in challenging environments like those characterised by large $R_{\rm T}$. We found that the signal in the away region becomes broader with increasing $R_{\rm T}$. Contrarily, the yield increases with $R_{\rm T}$ in the toward region. This effect is reminiscent of that seen in heavy-ion collisions, where an enhancement of the yield in the toward region for $0-5\%$ central Pb--Pb collisions at $\sqrt{s}_{\rm NN}=2.76$\,TeV was reported. To further understand the role of the UE and additional jet activity, the transverse region is divided into two one-sided sectors, "trans-max" and "trans-min" selected in each event according to which region has larger or smaller charged particle multiplicity. Based on this selection criterion, the observables are studied as a function of $R_{\rm T}^{\rm max}$ and $R_{\rm T}^{\rm min}$, respectively. The presented results have been published in J. Phys. G 48, no.1, 015007 (2020) and Phys. Rev. D 104, no.1, 016017 (2021).


title: Fast learning from label proportions with small bags

abstract: In learning from label proportions (LLP), the instances are grouped into bags, and the task is to learn an instance classifier given relative class proportions in training bags. LLP is useful when obtaining individual instance labels is impossible or costly. In this work, we focus on the case of small bags, which allows to design an algorithm that explicitly considers all consistent instance label combinations. In particular, we propose an EM algorithm alternating between optimizing a general neural network instance classifier and incorporating bag-level annotations. Using two different image datasets, we experimentally compare this method with an approach based on normal approximation and two existing LLP methods. The results show that our approach converges faster to a comparable or better solution.


title: Is Attention always needed? A Case Study on Language Identification from Speech

abstract: Language Identification (LID) is a crucial preliminary process in the field of Automatic Speech Recognition (ASR) that involves the identification of a spoken language from audio samples. Contemporary systems that can process speech in multiple languages require users to expressly designate one or more languages prior to utilization. The LID task assumes a significant role in scenarios where ASR systems are unable to comprehend the spoken language in multilingual settings, leading to unsuccessful speech recognition outcomes. The present study introduces convolutional recurrent neural network (CRNN) based LID, designed to operate on the Mel-frequency Cepstral Coefficient (MFCC) characteristics of audio samples. Furthermore, we replicate certain state-of-the-art methodologies, specifically the Convolutional Neural Network (CNN) and Attention-based Convolutional Recurrent Neural Network (CRNN with attention), and conduct a comparative analysis with our CRNN-based approach. We conducted comprehensive evaluations on thirteen distinct Indian languages and our model resulted in over 98\% classification accuracy. The LID model exhibits high-performance levels ranging from 97% to 100% for languages that are linguistically similar. The proposed LID model exhibits a high degree of extensibility to additional languages and demonstrates a strong resistance to noise, achieving 91.2% accuracy in a noisy setting when applied to a European Language (EU) dataset.


title: Dynamical Friction From Ultralight Dark Matter

abstract: We simulate the gravitational dynamics of a massive object interacting with Ultralight / Fuzzy Dark Matter (ULDM/FDM), non-relativistic quantum matter described by the Schrodinger-Poisson equation. We first consider a point mass moving in a uniform background, and then a supermassive black hole (SMBH) moving within a ULDM soliton. After replicating simple dynamical friction scenarios to verify our numerical strategies, we demonstrate that the wake induced by a moving mass in a uniform medium may undergo gravitational collapse that dramatically increases the drag force, albeit in a scenario unlikely to be encountered astrophysically. We broadly confirm simple estimates of dynamical friction timescales for a black hole at the center of a halo but see that a large moving point mass excites coherent "breathing modes" in a ULDM soliton. These can lead to "stone skipping" trajectories for point masses which do not sink uniformly toward the center of the soliton, as well as stochastic motion near the center itself. These effects will add complexity to SMBH-ULDM interactions and to SMBH mergers in a ULDM universe.


title: Non-asymptotic tails estimations for sums of random vectors having moderate decreasing tails

abstract: We derive the sharp non-asymptotical uniform estimations for tails of distributions for classical normed sums of centered normed independent random vectors having a moderate decreasing individual tails of summands.


title: Moment and exponential tail estimations for norms of random variables and random operators in mixed (anisotropic) Lebesgue-Riesz spaces

abstract: We study the random variables (r.v.) with values in the so-called mixed (anisotropic) Lebesgue-Riesz spaces: formulate the sufficient conditions for belonging of the r.v. to these spaces, estimate the tail of norms distribution, especially deduce the exponential decreasing tails of them, etc. We obtain as a consequence the estimations of the norms of random integral operators acting between these spaces.


title: Cloud Failure Prediction with Hierarchical Temporal Memory: An Empirical Assessment

abstract: Hierarchical Temporal Memory (HTM) is an unsupervised learning algorithm inspired by the features of the neocortex that can be used to continuously process stream data and detect anomalies, without requiring a large amount of data for training nor requiring labeled data. HTM is also able to continuously learn from samples, providing a model that is always up-to-date with respect to observations. These characteristics make HTM particularly suitable for supporting online failure prediction in cloud systems, which are systems with a dynamically changing behavior that must be monitored to anticipate problems. This paper presents the first systematic study that assesses HTM in the context of failure prediction. The results that we obtained considering 72 configurations of HTM applied to 12 different types of faults introduced in the Clearwater cloud system show that HTM can help to predict failures with sufficient effectiveness (F-measure = 0.76), representing an interesting practical alternative to (semi-)supervised algorithms.


title: Noise, fake news, and tenacious Bayesians

abstract: A modelling framework, based on the theory of signal processing, for characterising the dynamics of systems driven by the unravelling of information is outlined, and is applied to describe the process of decision making. The model input of this approach is the specification of the flow of information. This enables the representation of (i) reliable information, (ii) noise, and (iii) disinformation, in a unified framework. Because the approach is designed to characterise the dynamics of the behaviour of people, it is possible to quantify the impact of information control, including those resulting from the dissemination of disinformation. It is shown that if a decision maker assigns an exceptionally high weight on one of the alternative realities, then under the Bayesian logic their perception hardly changes in time even if evidences presented indicate that this alternative corresponds to a false reality. Thus confirmation bias need not be incompatible with Bayesian updating. By observing the role played by noise in other areas of natural sciences, where noise is used to excite the system away from false attractors, a new approach to tackle the dark forces of fake news is proposed.


title: From the Head or the Heart? An Experimental Design on the Impact of Explanation on Cognitive and Affective Trust

abstract: Automated vehicles (AVs) are social robots that can potentially benefit our society. According to the existing literature, AV explanations can promote passengers' trust by reducing the uncertainty associated with the AV's reasoning and actions. However, the literature on AV explanations and trust has failed to consider how the type of trust - cognitive versus affective - might alter this relationship. Yet, the existing literature has shown that the implications associated with trust vary widely depending on whether it is cognitive or affective. To address this shortcoming and better understand the impacts of explanations on trust in AVs, we designed a study to investigate the effectiveness of explanations on both cognitive and affective trust. We expect these results to be of great significance in designing AV explanations to promote AV trust.


title: Topology and symmetry of circular photogalvanic effect in the chiral multifold semimetals: a review

abstract: The circular photogalvanic effect (CPGE) is the only possible quantized signal in Chiral Weyl and multi-fold semimetals with inversion and mirror symmetries broken. Here, we review CPGE in the chiral multifold semimetals in terms of classification of CPGE tensor, the quantization of CPGE from k.p effective model and topological semimetal RhSi family. Firstly, we give complete symmetric analysis of CPGE tensors for all nonmagnetic point groups, and get a table classifying matrix of response tensors. Secondly, the CPGE becomes a quantized response in the noncentrosymmetric topological semimetals, and depends on the Chern number of multifold fermions. Based on k.p effective model with linear dispersion, detailed derivations about the quantization of CPGE are given. Finally, according to ab-initio analysis for the quantized CPGE based on noninteracting electronic structures, we review previous reports and make new calculations for the chiral topological semimetals in RhSi family, which can be separated into two groups. The first group, including RhSi, PtAl and CoSi, can be the promising candidates to exhibit a quantized CPGE trace, while the second group includes PdGa, PtGa and RhSn without a quantization.


title: Light-SERNet: A lightweight fully convolutional neural network for speech emotion recognition

abstract: Detecting emotions directly from a speech signal plays an important role in effective human-computer interactions. Existing speech emotion recognition models require massive computational and storage resources, making them hard to implement concurrently with other machine-interactive tasks in embedded systems. In this paper, we propose an efficient and lightweight fully convolutional neural network for speech emotion recognition in systems with limited hardware resources. In the proposed FCNN model, various feature maps are extracted via three parallel paths with different filter sizes. This helps deep convolution blocks to extract high-level features, while ensuring sufficient separability. The extracted features are used to classify the emotion of the input speech segment. While our model has a smaller size than that of the state-of-the-art models, it achieves higher performance on the IEMOCAP and EMO-DB datasets.


title: A Nagy-Foias program for a c.n.u. $\Gamma_n$-contraction

abstract: A tuple of commuting Hilbert space operators $(S_1, \dots, S_{n-1}, P)$ having the closed symmetrized polydisc \[ \Gamma_n = \left\{ \left(\sum_{i=1}^{n}z_i, \sum\limits_{1\leq i<j\leq n} z_iz_j, \cdots, \prod_{i=1}^{n}z_i\right) : |z_i|\leq 1\,, \; \; \; 1\leq i \leq n-1 \right\} \] as a spectral set is called a $\Gamma_n$-contraction. From the literature we have that a point $(s_1, \dots , s_{n-1},p)$ in $\Gamma_n$ can be represented as $s_i=c_i+pc_{n-i}$ for some $(c_1, \dots, c_{n-1}) \in \Gamma_{n-1}$. We construct a minimal $\Gamma_n$-isometric dilation for a particular class of c.n.u. $\Gamma_n$-contractions $(S_1, \cdots, S_{n-1},P)$ and obtain a functional model for them. With the help of this model we express each $S_i$ as $S_i=C_i+PC_{n-i}$, which is an operator theoretic analogue of the scalar result. We also produce an abstract model for a different class of c.n.u. $\Gamma_n$-contractions satisfying $S_i^*P=PS_i^*$ for each $i$. By exhibiting a counter example we show that such abstract model may not exist if we drop the hypothesis that $S_i^*P=PS_i^*$. We apply this abstract model to achieve a complete unitary invariant for such c.n.u. $\Gamma_n$-contractions. Additionally, we present different necessary conditions for dilation and a sufficient condition under which a commuting tuple $(S_1, \dots , S_{n-1},P)$ becomes a $\Gamma_n$-contraction. The entire program goes parallel to the operator theoretic program developed by Sz.-Nagy and Foias for a c.n.u. contraction.


title: Symmetry Reduction of States II: A non-commutative Positivstellensatz for CPn

abstract: We give a non-commutative Positivstellensatz for CP^n: The (commutative) *-algebra of polynomials on the real algebraic set CP^n with the pointwise product can be realized by phase space reduction as the U(1)-invariant polynomials on C^{1+n}, restricted to the real (2n+1)-sphere inside C^{1+n}, and Schm\"udgen's Positivstellensatz gives an algebraic description of the real-valued U(1)-invariant polynomials on CP^n that are strictly pointwise positive on the sphere. In analogy to this commutative case, we consider a non-commutative *-algebra of polynomials on C^{1+n}, the Weyl algebra, and give an algebraic description of the real-valued U(1)-invariant polynomials that are positive in certain *-representations on Hilbert spaces of holomorphic sections of line bundles over CP^n. It is especially noteworthy that the non-commutative result applies not only to strictly positive, but to all positive elements. As an application, all *-representations of the quantization of the polynomial *-algebra on CP^n, obtained e.g. through phase space reduction or Berezin--Toeplitz quantization, are determined.


title: Biconservative hypersurfaces with constant scalar curvature in space forms

abstract: Biconservative hypersurfaces are hypersurfaces which have conservative stress-energy tensor with respect to the bienergy, containing all minimal and constant mean curvature hypersurfaces. The purpose of this paper is to study biconservative hypersurfaces $M^n$ with constant scalar curvature in a space form $N^{n+1}(c)$. We prove that every biconservative hypersurface with constant scalar curvature in $N^4(c)$ has constant mean curvature. Moreover, we prove that any biconservative hypersurface with constant scalar curvature in $N^5(c)$ is ether an open part of a certain rotational hypersurface or a constant mean curvature hypersurface. These solve an open problem proposed recently by D. Fetcu and C. Oniciuc for $n\leq4$.


title: Revisiting and revising Tatarskii's formulation for the temperature structure parameter ($C_T^2$) in atmospheric flows

abstract: In this paper, we revisit a well-known formulation of temperature structure parameter ($C_T^2$), originally proposed by V.~I.~Tatarskii. We point out its limitations and propose a revised formulation based on turbulence variance and flux budget equations. Our formulation includes a novel physically-based outer length scale which can be estimated from routine meteorological data.


title: Towards Robust and Transferable IIoT Sensor based Anomaly Classification using Artificial Intelligence

abstract: The increasing deployment of low-cost industrial IoT (IIoT) sensor platforms on industrial assets enables great opportunities for anomaly classification in industrial plants. The performance of such a classification model depends highly on the available training data. Models perform well when the training data comes from the same machine. However, as soon as the machine is changed, repaired, or put into operation in a different environment, the prediction often fails. For this reason, we investigate whether it is feasible to have a robust and transferable method for AI based anomaly classification using different models and pre-processing steps on centrifugal pumps which are dismantled and put back into operation in the same as well as in different environments. Further, we investigate the model performance on different pumps from the same type compared to those from the training data.


title: Generating families on arboreal graphs

abstract: The paper is devoted to the study of exact curves on Arborealized Liouville surfaces. We introduce the notion of a generating family for such curves. Our main statement is a hamiltonian lifting property: the set of curves admitting a generating family is closed with respect to Hamiltonian isotopes. This is part of the author's future thesis. It will be translated into English within a few weeks. In the future, we plan to generalize our results in several directions and find applications.


title: A Comparison of Neural Network Architectures for Data-Driven Reduced-Order Modeling

abstract: The popularity of deep convolutional autoencoders (CAEs) has engendered new and effective reduced-order models (ROMs) for the simulation of large-scale dynamical systems. Despite this, it is still unknown whether deep CAEs provide superior performance over established linear techniques or other network-based methods in all modeling scenarios. To elucidate this, the effect of autoencoder architecture on its associated ROM is studied through the comparison of deep CAEs against two alternatives: a simple fully connected autoencoder, and a novel graph convolutional autoencoder. Through benchmark experiments, it is shown that the superior autoencoder architecture for a given ROM application is highly dependent on the size of the latent space and the structure of the snapshot data, with the proposed architecture demonstrating benefits on data with irregular connectivity when the latent space is sufficiently large.


title: Unpacking the Black Box: Regulating Algorithmic Decisions

abstract: What should regulators of complex algorithms regulate? We propose a model of oversight over 'black-box' algorithms used in high-stakes applications such as lending, medical testing, or hiring. In our model, a regulator is limited in how much she can learn about a black-box model deployed by an agent with misaligned preferences. The regulator faces two choices: first, whether to allow for the use of complex algorithms; and second, which key properties of algorithms to regulate. We show that limiting agents to algorithms that are simple enough to be fully transparent is inefficient as long as the misalignment is limited and complex algorithms have sufficiently better performance than simple ones. Allowing for complex algorithms can improve welfare, but the gains depend on how the regulator regulates them. Regulation that focuses on the overall average behavior of algorithms, for example based on standard explainer tools, will generally be inefficient. Targeted regulation that focuses on the source of incentive misalignment, e.g., excess false positives or racial disparities, can provide second-best solutions. We provide empirical support for our theoretical findings using an application in consumer lending, where we document that complex models regulated based on context-specific explanation tools outperform simple, fully transparent models. This gain from complex models represents a Pareto improvement across our empirical applications that is preferred both by the lender and from the perspective of the financial regulator.


title: Symmetry Classification and Universality in Non-Hermitian Many-Body Quantum Chaos by the Sachdev-Ye-Kitaev Model

abstract: Spectral correlations are a powerful tool to study the dynamics of quantum many-body systems. For Hermitian Hamiltonians, quantum chaotic motion is related to random matrix theory spectral correlations. Based on recent progress in the application of spectral analysis to non-Hermitian quantum systems, we show that local level statistics, which probe the dynamics around the Heisenberg time, of a non-Hermitian $q$-body Sachdev-Ye-Kitev (nHSYK) model with $N$ Majorana fermions, and its chiral and complex-fermion extensions, are also well described by random matrix theory for $q > 2$, while for $q = 2$, they are given by the equivalent of Poisson statistics. For that comparison, we combine exact diagonalization numerical techniques with analytical results obtained for some of the random matrix spectral observables. Moreover, depending on $q$ and $N$, we identify $19$ out of the $38$ non-Hermitian universality classes in the nHSYK model, including those corresponding to the tenfold way. In particular, we realize explicitly $14$ out of the $15$ universality classes corresponding to non-pseudo-Hermitian Hamiltonians that involve universal bulk correlations of classes ${\rm AI}^\dagger$ and ${\rm AII}^\dagger$, beyond the Ginibre ensembles. These results provide strong evidence of striking universal features in non-unitary many-body quantum chaos, which in all cases can be captured by nHSYK models with $q > 2$.

categories: hep-th cond-mat.stat-mech cond-mat.str-el quant-ph


title: PWG-IDS: An Intrusion Detection Model for Solving Class Imbalance in IIoT Networks Using Generative Adversarial Networks

abstract: With the continuous development of industrial IoT (IIoT) technology, network security is becoming more and more important. And intrusion detection is an important part of its security. However, since the amount of attack traffic is very small compared to normal traffic, this imbalance makes intrusion detection in it very difficult. To address this imbalance, an intrusion detection system called pretraining Wasserstein generative adversarial network intrusion detection system (PWG-IDS) is proposed in this paper. This system is divided into two main modules: 1) In this module, we introduce the pretraining mechanism in the Wasserstein generative adversarial network with gradient penalty (WGAN-GP) for the first time, firstly using the normal network traffic to train the WGAN-GP, and then inputting the imbalance data into the pre-trained WGAN-GP to retrain and generate the final required data. 2) Intrusion detection module: We use LightGBM as the classification algorithm to detect attack traffic in IIoT networks. The experimental results show that our proposed PWG-IDS outperforms other models, with F1-scores of 99% and 89% on the 2 datasets, respectively. And the pretraining mechanism we proposed can also be widely used in other GANs, providing a new way of thinking for the training of GANs.


title: A Hierarchical Variational Neural Uncertainty Model for Stochastic Video Prediction

abstract: Predicting the future frames of a video is a challenging task, in part due to the underlying stochastic real-world phenomena. Prior approaches to solve this task typically estimate a latent prior characterizing this stochasticity, however do not account for the predictive uncertainty of the (deep learning) model. Such approaches often derive the training signal from the mean-squared error (MSE) between the generated frame and the ground truth, which can lead to sub-optimal training, especially when the predictive uncertainty is high. Towards this end, we introduce Neural Uncertainty Quantifier (NUQ) - a stochastic quantification of the model's predictive uncertainty, and use it to weigh the MSE loss. We propose a hierarchical, variational framework to derive NUQ in a principled manner using a deep, Bayesian graphical model. Our experiments on four benchmark stochastic video prediction datasets show that our proposed framework trains more effectively compared to the state-of-the-art models (especially when the training sets are small), while demonstrating better video generation quality and diversity against several evaluation metrics.


title: GPS Spoofing Attacks on Phasor Measurement Units: Practical Feasibility and Countermeasures

abstract: Prior research has demonstrated that global positioning system (GPS) spoofing attacks on phasor measurement units (PMUs) can cripple power system operation. This paper provides an experimental evidence of the feasibility of such an attack using commonly available digital radios known as software defined radio (SDR). It also introduces a novel countermeasure against such attacks using GPS signal redundancy and low power long range (LoRa) spread spectrum modulation technique. The proposed approach checks the integrity of the GPS signal at remote locations and compares the data with the PMUs current output. This countermeasure is a ready-to-deploy system that can provide an instant solution to the GPS spoofing detection problem for PMUs.


title: Multi-Head ReLU Implicit Neural Representation Networks

abstract: In this paper, a novel multi-head multi-layer perceptron (MLP) structure is presented for implicit neural representation (INR). Since conventional rectified linear unit (ReLU) networks are shown to exhibit spectral bias towards learning low-frequency features of the signal, we aim at mitigating this defect by taking advantage of the local structure of the signals. To be more specific, an MLP is used to capture the global features of the underlying generator function of the desired signal. Then, several heads are utilized to reconstruct disjoint local features of the signal, and to reduce the computational complexity, sparse layers are deployed for attaching heads to the body. Through various experiments, we show that the proposed model does not suffer from the special bias of conventional ReLU networks and has superior generalization capabilities. Finally, simulation results confirm that the proposed multi-head structure outperforms existing INR methods with considerably less computational cost.


title: Harmonicity of a function via harmonicity of its spherical means

abstract: It is proved that harmonic functions are characterized by harmonicity of their spherical means, for which purpose the iterated spherical means are used. The similar characterization of solutions to the modified Helmholtz equation (panharmonic functions) is given. Another description of harmonic functions is the pointwise equality of a function and its iterated mean over an admissible pair of spheres.


title: Efficient and Private Federated Learning with Partially Trainable Networks

abstract: Federated learning is used for decentralized training of machine learning models on a large number (millions) of edge mobile devices. It is challenging because mobile devices often have limited communication bandwidth and local computation resources. Therefore, improving the efficiency of federated learning is critical for scalability and usability. In this paper, we propose to leverage partially trainable neural networks, which freeze a portion of the model parameters during the entire training process, to reduce the communication cost with little implications on model performance. Through extensive experiments, we empirically show that Federated learning of Partially Trainable neural networks (FedPT) can result in superior communication-accuracy trade-offs, with up to $46\times$ reduction in communication cost, at a small accuracy cost. Our approach also enables faster training, with a smaller memory footprint, and better utility for strong differential privacy guarantees. The proposed FedPT method can be particularly interesting for pushing the limitations of over-parameterization in on-device learning.


title: An Energy Management System Approach for Power System Cyber-Physical Resilience

abstract: Power systems are large scale cyber-physical critical infrastructure that form the basis of modern society. The reliability and resilience of the grid is dependent on the correct functioning of related subsystems, including computing, communications, and control. The integration is widespread and has a profound impact on the operation, reliability, and efficiency of the grid. Technologies comprising these infrastructure can expose new sources of threats. Mapping these threats to their grid resilience impacts to stop them early requires a timely and detailed view of the entire cyber-physical system. Grid resilience must therefore be seen and addressed as a cyber-physical systems problem. This short position paper presents several key preliminaries, supported with evidence from experience, to enable cyber-physical situational awareness and intrusion response through a cyber-physical energy management system.


title: Inter-Domain Alignment for Predicting High-Resolution Brain Networks Using Teacher-Student Learning

abstract: Accurate and automated super-resolution image synthesis is highly desired since it has the great potential to circumvent the need for acquiring high-cost medical scans and a time-consuming preprocessing pipeline of neuroimaging data. However, existing deep learning frameworks are solely designed to predict high-resolution (HR) image from a low-resolution (LR) one, which limits their generalization ability to brain graphs (i.e., connectomes). A small body of works has focused on superresolving brain graphs where the goal is to predict a HR graph from a single LR graph. Although promising, existing works mainly focus on superresolving graphs belonging to the same domain (e.g., functional), overlooking the domain fracture existing between multimodal brain data distributions (e.g., morphological and structural). To this aim, we propose a novel inter-domain adaptation framework namely, Learn to SuperResolve Brain Graphs with Knowledge Distillation Network (L2S-KDnet), which adopts a teacher-student paradigm to superresolve brain graphs. Our teacher network is a graph encoder-decoder that firstly learns the LR brain graph embeddings, and secondly learns how to align the resulting latent representations to the HR ground truth data distribution using an adversarial regularization. Ultimately, it decodes the HR graphs from the aligned embeddings. Next, our student network learns the knowledge of the aligned brain graphs as well as the topological structure of the predicted HR graphs transferred from the teacher. We further leverage the decoder of the teacher to optimize the student network. L2S-KDnet presents the first TS architecture tailored for brain graph super-resolution synthesis that is based on inter-domain alignment. Our experimental results demonstrate substantial performance gains over benchmark methods.


title: Recurrent Multigraph Integrator Network for Predicting the Evolution of Population-Driven Brain Connectivity Templates

abstract: Learning how to estimate a connectional brain template(CBT) from a population of brain multigraphs, where each graph (e.g., functional) quantifies a particular relationship between pairs of brain regions of interest (ROIs), allows to pin down the unique connectivity patterns shared across individuals. Specifically, a CBT is viewed as an integral representation of a set of highly heterogeneous graphs and ideally meeting the centeredness (i.e., minimum distance to all graphs in the population) and discriminativeness (i.e., distinguishes the healthy from the disordered population) criteria. So far, existing works have been limited to only integrating and fusing a population of brain multigraphs acquired at a single timepoint. In this paper, we unprecedentedly tackle the question: Given a baseline multigraph population, can we learn how to integrate and forecast its CBT representations at follow-up timepoints? Addressing such question is of paramount in predicting common alternations across healthy and disordered populations. To fill this gap, we propose Recurrent Multigraph Integrator Network (ReMI-Net), the first graph recurrent neural network which infers the baseline CBT of an input population t1 and predicts its longitudinal evolution over time (ti > t1). Our ReMI-Net is composed of recurrent neural blocks with graph convolutional layers using a cross-node message passing to first learn hidden-states embeddings of each CBT node (i.e., brain region of interest) and then predict its evolution at the consecutive timepoint. Moreover, we design a novel time-dependent loss to regularize the CBT evolution trajectory over time and further introduce a cyclic recursion and learnable normalization layer to generate well-centered CBTs from time-dependent hidden-state embeddings. Finally, we derive the CBT adjacency matrix from the learned hidden state graph representation.


title: A Particular Collection of Service Time Distributions Parameters Study and Impact in some MGinf System Busy Period and Busy Cycle Parameters

abstract: The problems arising when the moments of service time distributions, for which the MGinf queue system busy period and busy cycle become very easy to study, are presented and it is shown how to overcome them. The busy cycle renewal function and the peakedness and the modified peakedness for the MGinf busy period and busy cycle in the case of those service time distributions are also computed.


title: Recent Advances in Heterogeneous Relation Learning for Recommendation

abstract: Recommender systems have played a critical role in many web applications to meet user's personalized interests and alleviate the information overload. In this survey, we review the development of recommendation frameworks with the focus on heterogeneous relational learning, which consists of different types of dependencies among users and items. The objective of this task is to map heterogeneous relational data into latent representation space, such that the structural and relational properties from both user and item domain can be well preserved. To address this problem, recent research developments can fall into three major lines: social recommendation, knowledge graph-enhanced recommender system, and multi-behavior recommendation. We discuss the learning approaches in each category, such as matrix factorization, attention mechanism and graph neural networks, for effectively distilling heterogeneous contextual information. Finally, we present an exploratory outlook to highlight several promising directions and opportunities in heterogeneous relational learning frameworks for recommendation.


title: Efficient semiquantum key distribution based on single photons in both polarization and spatial-mode degrees of freedom

abstract: In this paper, we propose an efficient semiquantum key distribution (SQKD) protocol which is based on single photons in both polarization and spatial-mode degrees of freedom. This protocol is feasible for a quantum communicant distributing a random private key to a classical communicant. This protocol needn't require the classical communicant to use any quantum memory or unitary operation equipment. We validate the complete robustness of the transmissions of single photons between two communicants. It turns out that during these transmissions, if Eve wants not to be detected by two communicants, she will obtain nothing useful about the final shared key bits. Compared with Boyer et al.'s famous pioneering SQKD protocol (Phys Rev Lett, 2007, 99:140501), this protocol has double quantum communication capacity, as one single photon with two degrees of freedom for generating the key bits can carry two private bits; and this protocol has higher quantum communication efficiency, as it consumes less qubits for establishing a private key of the same length. Compared with the only existing SQKD protocol with single photons in two degrees of freedom (Int J Theor Phys, 2020, 59: 2807), this protocol has higher quantum communication efficiency.


title: A MGinf Queue Busy Period Distribution Characterizing Parameter

abstract: In this work it is proposed a parameter, {\eta}, to characterize the MGinf Queue Busy Period distribution that is a modification of the peakedness proposed in Whitt (1984). As this distribution moments centered at the origin are given, in general, by very complex expressions it is relevant to search for parameters simpler but with good descriptive properties.


title: Acceleration of ultra-high energy cosmic rays in the early afterglows of gamma-ray bursts: concurrence of jet's dynamics and wave-particle interactions

abstract: The origin of ultra-high energy cosmic rays $($UHECRs$)$ remains a mystery. It has been suggested that UHECRs can be produced by the stochastic acceleration in relativistic jets of gamma-ray bursts $($GRBs$)$ at the early afterglow phase. Here, we develop a time-dependent model for proton energization by cascading compressible waves in GRB jets considering the concurrent effect of the jet's dynamics and the mutual interactions between turbulent waves and particles. Considering fast mode of magnetosonic wave as the dominant particle scatterer and assuming interstellar medium $($ISM$)$ for the circumburst environment, our numerical results suggest that protons can be accelerated up to $\textrm{10}^{\textrm{19}}\,$eV during the early afterglow. An estimation shows ultra-high energy nuclei can easily survive photodisintegration in the external shocks in most cases, thus allowing the acceleration of $\textrm{10}^{\textrm{20}}\,$eV cosmic-ray nuclei in the proposed frame. The spectral slope can be as hard as $\textrm{d}\textit{N}/\textrm{d}\textit{E} \propto \textit{E}^\textrm{0}$, which is consistent with the requirement for the interpretation of intermediate-mass composition of UHECR as measured by the Pierre Auger Observatory.


title: Graph sampling by lagged random walk

abstract: We propose a family of lagged random walk sampling methods in simple undirected graphs, where transition to the next state (i.e. node) depends on both the current and previous states -- hence, lagged. The existing random walk sampling methods can be incorporated as special cases. We develop a novel approach to estimation based on lagged random walks at equilibrium, where the target parameter can be any function of values associated with finite-order subgraphs, such as edge, triangle, 4-cycle and others.


title: Finding popular branchings in vertex-weighted digraphs

abstract: Popular matchings have been intensively studied recently as a relaxed concept of stable matchings. By applying the concept of popular matchings to branchings in directed graphs, Kavitha et al.\ (2020) introduced popular branchings. In a directed graph $G=(V_G,E_G)$, each vertex has preferences over its incoming edges. For branchings $B_1$ and $B_2$ in $G$, a vertex $v\in V_G$ prefers $B_1$ to $B_2$ if $v$ prefers its incoming edge of $B_1$ to that of $B_2$, where having an arbitrary incoming edge is preferred to having none, and $B_1$ is more popular than $B_2$ if the number of vertices that prefer $B_1$ is greater than the number of vertices that prefer $B_2$. A branching $B$ is called a popular branching if there is no branching more popular than $B$. Kavitha et al. (2020) proposed an algorithm for finding a popular branching when the preferences of each vertex are given by a strict partial order. The validity of this algorithm is proved by utilizing classical theorems on the duality of weighted arborescences. In this paper, we generalize popular branchings to weighted popular branchings in vertex-weighted directed graphs in the same manner as weighted popular matchings by Mestre (2014). We give an algorithm for finding a weighted popular branching, which extends the algorithm of Kavitha et al., when the preferences of each vertex are given by a total preorder and the weights satisfy certain conditions. Our algorithm includes elaborated procedures resulting from the vertex-weights, and its validity is proved by extending the argument of the duality of weighted arborescences.


title: Self-Evolutionary Optimization for Pareto Front Learning

abstract: Multi-task learning (MTL), which aims to improve performance by learning multiple tasks simultaneously, inherently presents an optimization challenge due to multiple objectives. Hence, multi-objective optimization (MOO) approaches have been proposed for multitasking problems. Recent MOO methods approximate multiple optimal solutions (Pareto front) with a single unified model, which is collectively referred to as Pareto front learning (PFL). In this paper, we show that PFL can be re-formulated into another MOO problem with multiple objectives, each of which corresponds to different preference weights for the tasks. We leverage an evolutionary algorithm (EA) to propose a method for PFL called self-evolutionary optimization (SEO) by directly maximizing the hypervolume. By using SEO, the neural network learns to approximate the Pareto front conditioned on multiple hyper-parameters that drastically affect the hypervolume. Then, by generating a population of approximations simply by inferencing the network, the hyper-parameters of the network can be optimized by EA. Utilizing SEO for PFL, we also introduce self-evolutionary Pareto networks (SEPNet), enabling the unified model to approximate the entire Pareto front set that maximizes the hypervolume. Extensive experimental results confirm that SEPNet can find a better Pareto front than the current state-of-the-art methods while minimizing the increase in model size and training cost.


title: Characterising and Tailoring Spatial Correlations in Multi-Mode Parametric Downconversion

abstract: Photons entangled in their position-momentum degrees of freedom (DoFs) serve as an elegant manifestation of the Einstein-Podolsky-Rosen paradox, while also enhancing quantum technologies for communication, imaging, and computation. The multi-mode nature of photons generated in parametric downconversion has inspired a new generation of experiments on high-dimensional entanglement, ranging from complete quantum state teleportation to exotic multi-partite entanglement. However, precise characterisation of the underlying position-momentum state is notoriously difficult due to limitations in detector technology, resulting in a slow and inaccurate reconstruction riddled with noise. Furthermore, theoretical models for the generated two-photon state often forgo the importance of the measurement system, resulting in a discrepancy between theory and experiment. Here we formalise a description of the two-photon wavefunction in the spatial domain, referred to as the collected joint-transverse-momentum-amplitude (JTMA), which incorporates both the generation and measurement system involved. We go on to propose and demonstrate a practical and efficient method to accurately reconstruct the collected JTMA using a simple phase-step scan known as the $2D\pi$-measurement. Finally, we discuss how precise knowledge of the collected JTMA enables us to generate tailored high-dimensional entangled states that maximise discrete-variable entanglement measures such as entanglement-of-formation or entanglement dimensionality, and optimise critical experimental parameters such as photon heralding efficiency. By accurately and efficiently characterising photonic position-momentum entanglement, our results unlock its full potential for discrete-variable quantum information science and lay the groundwork for future quantum technologies based on multi-mode entanglement.


title: Two Higgs Doublet Model with Scalar Mediation via Yukawa Interactions

abstract: Scalar sector offers a valuable avenue to explore its implications in the particle physics phenomenology for new physics and several model dependent phenomena. Two Higgs doublet models are among the promising models for such explorations. In the presence of a standard model Higgs, a two Higgs doublet model is studied in which the two Higgs fields are connected with each other via a scalar singlet field. The study is conducted using Dyson Schwinger equations under the Yukawa vertices set at their tree level form up to certain constants. Among the field propagators, the two Higgs propagators are found to be least effected in the parameter space which also reflects in the insignificant beyond the bare mass contributions to the renormalized Higgs masses. Evidence of universality in terms of identical coupling for both Higgs is found in the model. The model is found to be non-trivial in the explored parameter space. There are cutoff effects in the model. Stability in the calculated correlation functions and parameters generally ensues beyond 100 TeV cutoff.


title: Differential Anomaly Detection for Facial Images

abstract: Due to their convenience and high accuracy, face recognition systems are widely employed in governmental and personal security applications to automatically recognise individuals. Despite recent advances, face recognition systems have shown to be particularly vulnerable to identity attacks (i.e., digital manipulations and attack presentations). Identity attacks pose a big security threat as they can be used to gain unauthorised access and spread misinformation. In this context, most algorithms for detecting identity attacks generalise poorly to attack types that are unknown at training time. To tackle this problem, we introduce a differential anomaly detection framework in which deep face embeddings are first extracted from pairs of images (i.e., reference and probe) and then combined for identity attack detection. The experimental evaluation conducted over several databases shows a high generalisation capability of the proposed method for detecting unknown attacks in both the digital and physical domains.


title: Stochastic pH oscillations in a model of the urea-urease reaction confined to lipid vesicles

abstract: The urea-urease clock reaction is a pH switch from acid to basic that can turn into a pH oscillator if it occurs inside a suitable open reactor. We study the confinement of the reaction to lipid vesicles, which permit the exchange with an external reservoir by differential transport, enabling the recovery of the pH level and yielding a constant supply of urea molecules.For microscopically small vesicles, the discreteness of the number of molecules requires a stochastic treatment of the reaction dynamics. Our analysis shows that intrinsic noise induces a significant statistical variation of the oscillation period, which increases as the vesicles become smaller. The mean period, however, is found to be remarkably robust for vesicle sizes down to approximately 200 nm. The observed oscillations are explained as a canard-like limit cycle that differs from the wide class of conventional feedback oscillators.


title: Photoproduction of relativistic QED bound states in hadronic collisions

abstract: In this paper we investigate the photoproduction of QED bound states in proton -- proton, proton -- nucleus and nucleus -- nucleus collisions at RHIC, LHC and FCC energies considering an accurate treatment of the absorptive corrections and for the nuclear form factor. The total cross sections for the production of singlet and triplet $(l^+ l^-)$ states, with $l = e,\, \mu, \, \tau$, are estimated and a detailed analysis of the photoproduction of singlet QED bound states is performed considering the rapidity ranges covered by central and forward detectors. The impact of the Coulomb corrections on the parapositronium production in heavy ion collisions is estimated. We predict a large number of events associated to the production of ($e^+ e^-$) and ($\mu^+ \mu^-$) states in hadronic collisions.


title: An Event Data Extraction Approach from SAP ERP for Process Mining

abstract: The extraction, transformation, and loading of event logs from information systems is the first and the most expensive step in process mining. In particular, extracting event logs from popular ERP systems such as SAP poses major challenges, given the size and the structure of the data. Open-source support for ETL is scarce, while commercial process mining vendors maintain connectors to ERP systems supporting ETL of a limited number of business processes in an ad-hoc manner. In this paper, we propose an approach to facilitate event data extraction from SAP ERP systems. In the proposed approach, we store event data in the format of object-centric event logs that efficiently describe executions of business processes supported by ERP systems. To evaluate the feasibility of the proposed approach, we have developed a tool implementing it and conducted case studies with a real-life SAP ERP system.


title: Belief Evolution Network-based Probability Transformation and Fusion

abstract: Smets proposes the Pignistic Probability Transformation (PPT) as the decision layer in the Transferable Belief Model (TBM), which argues when there is no more information, we have to make a decision using a Probability Mass Function (PMF). In this paper, the Belief Evolution Network (BEN) and the full causality function are proposed by introducing causality in Hierarchical Hypothesis Space (HHS). Based on BEN, we interpret the PPT from an information fusion view and propose a new Probability Transformation (PT) method called Full Causality Probability Transformation (FCPT), which has better performance under Bi-Criteria evaluation. Besides, we heuristically propose a new probability fusion method based on FCPT. Compared with Dempster Rule of Combination (DRC), the proposed method has more reasonable result when fusing same evidence.


title: Federated Learning from Small Datasets

abstract: Federated learning allows multiple parties to collaboratively train a joint model without sharing local data. This enables applications of machine learning in settings of inherently distributed, undisclosable data such as in the medical domain. In practice, joint training is usually achieved by aggregating local models, for which local training objectives have to be in expectation similar to the joint (global) objective. Often, however, local datasets are so small that local objectives differ greatly from the global objective, resulting in federated learning to fail. We propose a novel approach that intertwines model aggregations with permutations of local models. The permutations expose each local model to a daisy chain of local datasets resulting in more efficient training in data-sparse domains. This enables training on extremely small local datasets, such as patient data across hospitals, while retaining the training efficiency and privacy benefits of federated learning.


title: Killing-Yano Cotton Currents

abstract: We discuss conserved currents constructed from the Cotton tensor and (conformal) Killing-Yano tensors (KYTs). We consider the corresponding charges generally and then exemplify with the four-dimensional Pleba\'nski-Demia\'nski metric where they are proportional to the sum of the squares of the electric and the magnetic charges. As part of the derivation, we also find the two conformal Killing-Yano tensors of the Pleba\'nski-Demia\'nski metric in the recently introduced coordinates of Podolsky and Vratny. The construction of asymptotic charges for the Cotton current is elucidated and compared to the three-dimensional construction in Topologically Massive Gravity. For the three-dimensional case, we also give a conformal superspace multiplet that contains the Cotton current in the bosonic sector. In a mathematical section, we derive potentials for the currents, find identities for conformal KYTs and for KYTs in torsionful backgrounds.


title: FaaSter Troubleshooting -- Evaluating Distributed Tracing Approaches for Serverless Applications

abstract: Serverless applications can be particularly difficult to troubleshoot, as these applications are often composed of various managed and partly managed services. Faults are often unpredictable and can occur at multiple points, even in simple compositions. Each additional function or service in a serverless composition introduces a new possible fault source and a new layer to obfuscate faults. Currently, serverless platforms offer only limited support for identifying runtime faults. Developers looking to observe their serverless compositions often have to rely on scattered logs and ambiguous error messages to pinpoint root causes. In this paper, we investigate the use of distributed tracing for improving the observability of faults in serverless applications. To this end, we first introduce a model for characterizing fault observability, then provide a prototypical tracing implementation - specifically, a developer-driven and a platform-supported tracing approach. We compare both approaches with our model, measure associated trade-offs (execution latency, resource utilization), and contribute new insights for troubleshooting serverless compositions.


title: Two-term silting and $\tau$-cluster morphism categories

abstract: We generalise $\tau$-cluster morphism categories to non-positive proper dg algebras. The compatibility of silting reduction with support $\tau$-tilting reduction will be an essential ingredient when linking our definition to that of Buan--Marsh. We also define two-term presilting sequences in the bounded derived category in such a way that they correspond to signed $\tau$-exceptional sequences in the module category.


title: Unsupervised Image Decomposition with Phase-Correlation Networks

abstract: The ability to decompose scenes into their object components is a desired property for autonomous agents, allowing them to reason and act in their surroundings. Recently, different methods have been proposed to learn object-centric representations from data in an unsupervised manner. These methods often rely on latent representations learned by deep neural networks, hence requiring high computational costs and large amounts of curated data. Such models are also difficult to interpret. To address these challenges, we propose the Phase-Correlation Decomposition Network (PCDNet), a novel model that decomposes a scene into its object components, which are represented as transformed versions of a set of learned object prototypes. The core building block in PCDNet is the Phase-Correlation Cell (PC Cell), which exploits the frequency-domain representation of the images in order to estimate the transformation between an object prototype and its transformed version in the image. In our experiments, we show how PCDNet outperforms state-of-the-art methods for unsupervised object discovery and segmentation on simple benchmark datasets and on more challenging data, while using a small number of learnable parameters and being fully interpretable.


title: Topology-optimized ultra-compact all-optical logic devices on silicon photonic platforms

abstract: The realization of all-optical integration and optical computing has always been our goal. One of the most significant challenges is to make integrated all-optical logic devices as small as possible. Here, we report the implementation of ultra-compact all-optical logic devices and integrated chips on silicon photonic platforms by topology optimization. The footprint for the fabricated all-optical logic gates with XOR and OR functions is only 1.3*1.3 {\mu}m2 (~0.84{\lambda}*0.84{\lambda}), that are the smallest all-optical dielectric logic devices ever verified in experiments in the optical communication range. The ultra-low loss of the optical signal is also demonstrated experimentally (-0.96dB). Furthermore, an integrated chip containing seven major logic gates (AND, OR, NOT, NAND, NOR, XOR, and XNOR) and a half adder is fabricated, where the associated footprint is only 1.3*4.5 {\mu}m2. Our work opens up a new path towards practical all-optical integration and optical computing.


title: Workload-Aware Materialization of Junction Trees

abstract: Bayesian networks are popular probabilistic models that capture the conditional dependencies among a set of variables. Inference in Bayesian networks is a fundamental task for answering probabilistic queries over a subset of variables in the data. However, exact inference in Bayesian networks is \NP-hard, which has prompted the development of many practical inference methods. In this paper, we focus on improving the performance of the junction-tree algorithm, a well-known method for exact inference in Bayesian networks. In particular, we seek to leverage information in the workload of probabilistic queries to obtain an optimal workload-aware materialization of junction trees, with the aim to accelerate the processing of inference queries. We devise an optimal pseudo-polynomial algorithm to tackle this problem and discuss approximation schemes. Compared to state-of-the-art approaches for efficient processing of inference queries via junction trees, our methods are the first to exploit the information provided in query workloads. Our experimentation on several real-world Bayesian networks confirms the effectiveness of our techniques in speeding-up query processing.


title: A phase field crystal theory of the kinematics of dislocation lines

abstract: We introduce a dislocation density tensor and derive its kinematic evolution law from a phase field description of crystal deformations in three dimensions. The phase field crystal (PFC) model is used to define the lattice distortion, including topological singularities, and the associated configurational stresses. We derive an exact expression for the velocity of dislocation line determined by the phase field evolution, and show that dislocation motion in the PFC is driven by a Peach-Koehler force. As is well known from earlier PFC model studies, the configurational stress is not divergence free for a general field configuration. Therefore, we also present a method (PFCMEq) to constrain the diffusive dynamics to mechanical equilibrium by adding an independent and integrable distortion so that the total resulting stress is divergence free. In the PFCMEq model, the far-field stress agrees very well with the predictions from continuum elasticity, while the near-field stress around the dislocation core is regularized by the smooth nature of the phase-field. We apply this framework to study the rate of shrinkage of an dislocation loop seeded in its glide plane.


title: InfoSeg: Unsupervised Semantic Image Segmentation with Mutual Information Maximization

abstract: We propose a novel method for unsupervised semantic image segmentation based on mutual information maximization between local and global high-level image features. The core idea of our work is to leverage recent progress in self-supervised image representation learning. Representation learning methods compute a single high-level feature capturing an entire image. In contrast, we compute multiple high-level features, each capturing image segments of one particular semantic class. To this end, we propose a novel two-step learning procedure comprising a segmentation and a mutual information maximization step. In the first step, we segment images based on local and global features. In the second step, we maximize the mutual information between local features and high-level features of their respective class. For training, we provide solely unlabeled images and start from random network initialization. For quantitative and qualitative evaluation, we use established benchmarks, and COCO-Persons, whereby we introduce the latter in this paper as a challenging novel benchmark. InfoSeg significantly outperforms the current state-of-the-art, e.g., we achieve a relative increase of 26% in the Pixel Accuracy metric on the COCO-Stuff dataset.


title: Complex-valued deep learning with differential privacy

abstract: We present $\zeta$-DP, an extension of differential privacy (DP) to complex-valued functions. After introducing the complex Gaussian mechanism, whose properties we characterise in terms of $(\varepsilon, \delta)$-DP and R\'enyi-DP, we present $\zeta$-DP stochastic gradient descent ($\zeta$-DP-SGD), a variant of DP-SGD for training complex-valued neural networks. We experimentally evaluate $\zeta$-DP-SGD on three complex-valued tasks, i.e. electrocardiogram classification, speech classification and magnetic resonance imaging (MRI) reconstruction. Moreover, we provide $\zeta$-DP-SGD benchmarks for a large variety of complex-valued activation functions and on a complex-valued variant of the MNIST dataset. Our experiments demonstrate that DP training of complex-valued neural networks is possible with rigorous privacy guarantees and excellent utility.


title: Camera Calibration through Camera Projection Loss

abstract: Camera calibration is a necessity in various tasks including 3D reconstruction, hand-eye coordination for a robotic interaction, autonomous driving, etc. In this work we propose a novel method to predict extrinsic (baseline, pitch, and translation), intrinsic (focal length and principal point offset) parameters using an image pair. Unlike existing methods, instead of designing an end-to-end solution, we proposed a new representation that incorporates camera model equations as a neural network in multi-task learning framework. We estimate the desired parameters via novel camera projection loss (CPL) that uses the camera model neural network to reconstruct the 3D points and uses the reconstruction loss to estimate the camera parameters. To the best of our knowledge, ours is the first method to jointly estimate both the intrinsic and extrinsic parameters via a multi-task learning methodology that combines analytical equations in learning framework for the estimation of camera parameters. We also proposed a novel dataset using CARLA Simulator. Empirically, we demonstrate that our proposed approach achieves better performance with respect to both deep learning-based and traditional methods on 8 out of 10 parameters evaluated using both synthetic and real data. Our code and generated dataset are available at https://github.com/thanif/Camera-Calibration-through-Camera-Projection-Loss.


title: Learning to Regress Bodies from Images using Differentiable Semantic Rendering

abstract: Learning to regress 3D human body shape and pose (e.g.~SMPL parameters) from monocular images typically exploits losses on 2D keypoints, silhouettes, and/or part-segmentation when 3D training data is not available. Such losses, however, are limited because 2D keypoints do not supervise body shape and segmentations of people in clothing do not match projected minimally-clothed SMPL shapes. To exploit richer image information about clothed people, we introduce higher-level semantic information about clothing to penalize clothed and non-clothed regions of the image differently. To do so, we train a body regressor using a novel Differentiable Semantic Rendering - DSR loss. For Minimally-Clothed regions, we define the DSR-MC loss, which encourages a tight match between a rendered SMPL body and the minimally-clothed regions of the image. For clothed regions, we define the DSR-C loss to encourage the rendered SMPL body to be inside the clothing mask. To ensure end-to-end differentiable training, we learn a semantic clothing prior for SMPL vertices from thousands of clothed human scans. We perform extensive qualitative and quantitative experiments to evaluate the role of clothing semantics on the accuracy of 3D human pose and shape estimation. We outperform all previous state-of-the-art methods on 3DPW and Human3.6M and obtain on par results on MPI-INF-3DHP. Code and trained models are available for research at https://dsr.is.tue.mpg.de/.


title: Differential Calculi on Quantum Principal Bundles over Projective Bases

abstract: We propose a sheaf-theoretic approach to the theory of differential calculi on quantum principal bundles over non-affine bases. After recalling the affine case we define differential calculi on sheaves of comodule algebras as sheaves of covariant bimodules together with a morphism of sheaves -- the differential -- such that the Leibniz rule and surjectivity hold locally. The main class of examples is given by covariant calculi over quantum flag manifolds, which we provide via an explicit Ore extension construction. In a second step we introduce principal covariant calculi by requiring a local compatibility of the calculi on the total sheaf, base sheaf and the structure Hopf algebra in terms of exact sequences. In this case Hopf--Galois extensions of algebras lift to Hopf--Galois extensions of exterior algebras with compatible differentials. In particular, the examples of principal (covariant) calculi on the quantum principal bundles $\mathcal{O}_q(\mathrm{SL}_2(\mathbb{C}))$ and $\mathcal{O}_q(\mathrm{GL}_2(\mathbb{C}))$ over the projective space $\mathrm{P}^1(\mathbb{C})$ are discussed in detail.


title: Fourier-domain dedispersion

abstract: We present and implement the concept of the Fourier-domain dedispersion (FDD) algorithm, a brute-force incoherent dedispersion algorithm. This algorithm corrects the frequency-dependent dispersion delays in the arrival time of radio emission from sources such as radio pulsars and fast radio bursts. Where traditional time-domain dedispersion algorithms correct time delays using time shifts, the FDD algorithm performs these shifts by applying phase rotations to the Fourier-transformed time-series data. Incoherent dedispersion to many trial dispersion measures (DMs) is compute, memory-bandwidth and I/O intensive and dedispersion algorithms have been implemented on Graphics Processing Units (GPUs) to achieve high computational performance. However, time-domain dedispersion algorithms have low arithmetic intensity and are therefore often memory-bandwidth limited. The FDD algorithm avoids this limitation and is compute limited, providing a path to exploit the potential of current and upcoming generations of GPUs. We implement the FDD algorithm as an extension of the DEDISP time-domain dedispersion software. We compare the performance and energy-to-completion of the FDD implementation using an NVIDIA Titan RTX GPU against the standard as well as an optimized version of DEDISP. The optimized implementation already provides a factor of 1.5 to 2 speedup at only 66% of the energy utilization compared to the original algorithm. We find that the FDD algorithm outperforms the optimized time-domain dedispersion algorithm by another 20% in performance and 5% in energy-to-completion when a large number of DMs (>=512) are required. The FDD algorithm provides additional performance improvements for FFT-based periodicity surveys of radio pulsars, as the FFT back to the time domain can be omitted. We expect that this computational performance gain will further improve in the future.


title: Short proofs on $k$-extendible graphs

abstract: In this note, we give short inductive proofs of two known results on $k$-extendible graphs based on a property proved in [Qinglin Yu, A note on $n$-extendable graphs. Journal of Graph Theory, 16:349-353, 1992].


title: Creating Training Sets via Weak Indirect Supervision

abstract: Creating labeled training sets has become one of the major roadblocks in machine learning. To address this, recent \emph{Weak Supervision (WS)} frameworks synthesize training labels from multiple potentially noisy supervision sources. However, existing frameworks are restricted to supervision sources that share the same output space as the target task. To extend the scope of usable sources, we formulate Weak Indirect Supervision (WIS), a new research problem for automatically synthesizing training labels based on indirect supervision sources that have different output label spaces. To overcome the challenge of mismatched output spaces, we develop a probabilistic modeling approach, PLRM, which uses user-provided label relations to model and leverage indirect supervision sources. Moreover, we provide a theoretically-principled test of the distinguishability of PLRM for unseen labels, along with a generalization bound. On both image and text classification tasks as well as an industrial advertising application, we demonstrate the advantages of PLRM by outperforming baselines by a margin of 2%-9%.


title: Cartoon Explanations of Image Classifiers

abstract: We present CartoonX (Cartoon Explanation), a novel model-agnostic explanation method tailored towards image classifiers and based on the rate-distortion explanation (RDE) framework. Natural images are roughly piece-wise smooth signals -- also called cartoon-like images -- and tend to be sparse in the wavelet domain. CartoonX is the first explanation method to exploit this by requiring its explanations to be sparse in the wavelet domain, thus extracting the relevant piece-wise smooth part of an image instead of relevant pixel-sparse regions. We demonstrate that CartoonX can reveal novel valuable explanatory information, particularly for misclassifications. Moreover, we show that CartoonX achieves a lower distortion with fewer coefficients than other state-of-the-art methods.


title: The Pantheon+ Analysis: Dependence of Cosmological Constraints on Photometric-Zeropoint Uncertainties of Supernova Surveys

abstract: Type Ia supernovae (SNe Ia) measurements of the Hubble constant, H$_0$, the cosmological mass density, $\Omega_M$, and the dark energy equation-of-state parameter, $w$, rely on numerous SNe surveys using distinct photometric systems across three decades of observation. Here, we determine the sensitivities of the upcoming SH0ES+Pantheon+ constraints on H$_0$, $\Omega_M$, and $w$ to unknown systematics in the relative photometric zeropoint calibration between the 17 surveys that comprise the Pantheon+ supernovae data set. Varying the zeropoints of these surveys simultaneously with the cosmological parameters, we determine that the SH0ES+Pantheon+ measurement of H$_0$ is robust against inter-survey photometric miscalibration, but that the measurements of $\Omega_M$ and $w$ are not. Specifically, we find that miscalibrated inter-survey systematics could represent a source of uncertainty in the measured value of H$_0$ that is no larger than $0.2$ km s$^{-1}$ Mpc$^{-1}$. This modest increase in H$_0$ uncertainty could not account for the $7$ km s$^{-1}$ Mpc$^{-1}$ "Hubble Tension" between the SH0ES measurement of H$_0$ and the Planck $\Lambda$CDM-based inference of H$_0$. However, we find that the SH0ES+Pantheon+ best-fit values of $\Omega_M$ and $w$ respectively slip, to first order, by $0.04$ and $-0.17$ per $25$ mmag of inter-survey calibration uncertainty, underscoring the vital role that cross-calibration plays in accurately measuring these parameters. Because the Pantheon+ compendium contains many surveys that share low-$z$ Hubble Flow and Cepheid-paired SNe, the SH0ES+Pantheon+ joint constraint of H$_0$ is robust against inter-survey photometric calibration errors, and such errors do not represent an impediment to jointly using SH0ES+Pantheon+ to measure H$_0$ to 1% accuracy.


title: The Pantheon+ Analysis: Evaluating Peculiar Velocity Corrections in Cosmological Analyses with Nearby Type Ia Supernovae

abstract: Separating the components of redshift due to expansion and peculiar motion in the nearby universe ($z<0.1$) is critical for using Type Ia Supernovae (SNe Ia) to measure the Hubble constant ($H_0$) and the equation-of-state parameter of dark energy ($w$). Here, we study the two dominant 'motions' contributing to nearby peculiar velocities: large-scale, coherent-flow (CF) motions and small-scale motions due to gravitationally associated galaxies deemed to be in a galaxy group. We use a set of 584 low-$z$ SNe from the Pantheon+ sample, and evaluate the efficacy of corrections to these motions by measuring the improvement of SN distance residuals. We study multiple methods for modeling the large and small-scale motions and show that, while group assignments and CF corrections individually contribute to small improvements in Hubble residual scatter, the greatest improvement comes from the combination of the two (relative standard deviation of the Hubble residuals, Rel. SD, improves from 0.167 to 0.157 mag). We find the optimal flow corrections derived from various local density maps significantly reduce Hubble residuals while raising $H_0$ by $\sim0.4$ km s$^{-1}$ Mpc$^{-1}$ as compared to using CMB redshifts, disfavoring the hypothesis that unrecognized local structure could resolve the Hubble tension. We estimate that the systematic uncertainties in cosmological parameters after optimally correcting redshifts are 0.06-0.11 km s$^{-1}$ Mpc$^{-1}$ in $H_0$ and 0.02-0.03 in $w$ which are smaller than the statistical uncertainties for these measurements: 1.5 km s$^{-1}$ Mpc$^{-1}$ for $H_0$ and 0.04 for $w$.


title: Electromagnetic quantum shifts in relativistic Bose-Einstein condensation

abstract: We compute deviations from ideal gas behavior of the pressure, density, and Bose-Einstein condensation temperature of a relativistic gas of charged scalar bosons caused by the current-current interaction induced by electromagnetic quantum fluctuations treated via scalar quantum electrodynamics. We obtain expressions for those quantities in the ultra-relativistic and nonrelativistic limits, and present numerical results for the relativistic case.


title: Ax-Schanuel with derivatives for mixed period mappings

abstract: We prove the Ax-Schanuel property of the derivatives of mixed period mappings. We also prove the jet space analogue of this result. The proofs use the Ax-Schanuel result for foliated principal bundles obtained by Bl\'{a}zquez-Sanz, Casale, Freitag, and Nagloo.


title: Suppressing information storage in a structured thermal bath: Objectivity and non-Markovianity

abstract: Quantum systems interacting with environments tend to have their information lost from transmission through the correlations generated with the degrees of freedom of the environment. For situations where we have non- Markovian environments, the information contained in the environment may return to the system and such effect can be captured by non-Markovian witnesses. In the present work, we use a central qubit coupled to a spin chain with Ising interactions subject to a magnetic field, i.e., a central spin model, and solve the exact dynamics of a system subject to dephasing dynamics via Kraus operators. For such we use two witnesses to analyze the presence of non-Markovianity: the BLP trace-based measure and the conditional past-future correlator (CPF). Furthermore, we see how such behavior suppresses the classic plateau in Partial Information Plot (PIP) from the paradigm of quantum Darwinism, as well as objective information from Spectrum Broadcast Structure (SBS). In addition to the system point of view, we show the impossibility of encoding accessible information for measurement in the environment for any model limit.


title: Privacy-preserving methods for smart-meter-based network simulations

abstract: Smart-meters are a key component of energy transition. The large amount of data collected in near real-time allows grid operators to observe and simulate network states. However, privacy-preserving rules forbid the use of such data for any applications other than network operation and billing. Smart-meter measurements must be anonymised to transmit these sensitive data to a third party to perform network simulation and analysis. This work proposes two methods for data anonymisation that enable the use of raw active power measurements for network simulation and analysis. The first is based on an allocation of an externally sourced load database. The second consists of grouping smart-meter data with similar electric characteristics, then performing a random permutation of the network load-bus assignment. A benchmark of these two methods highlights that both provide similar results in bus-voltage magnitude estimation concerning ground-truth voltage.


title: Dominating Interlayer Resonant Energy Transfer in Type-II 2D Heterostructure

abstract: Type-II heterostructures (HSs) are essential components of modern electronic and optoelectronic devices. Earlier studies have found that in type-II transition metal dichalcogenide (TMD) HSs, the dominating carrier relaxation pathway is the interlayer charge transfer (CT) mechanism. Here, this report shows that, in a type-II HS formed between monolayers of MoSe2 and ReS2, nonradiative energy transfer (ET) from higher to lower work function material (ReS2 to MoSe2) dominates over the traditional CT process with and without a charge-blocking interlayer. Without a charge-blocking interlayer, the HS area shows 3.6 times MoSe2 photoluminescence (PL) enhancement as compared to the MoSe2 area alone. After completely blocking the CT process, more than one order of magnitude higher MoSe2 PL emission was achieved from the HS area. This work reveals that the nature of this ET is truly a resonant effect by showing that in a similar type-II HS formed by ReS2 and WSe2, CT dominates over ET, resulting in a severely quenched WSe2 PL. This study not only provides significant insight into the competing interlayer processes, but also shows an innovative way to increase the PL quantum yield of the desired TMD material using ET process by carefully choosing the right material combination for HS.


title: Variation inequalities for Riesz transforms and Poisson semigroups associated with Laguerre polynomial expansions

abstract: In this paper we establish $L^p$-boundedness properties for variation, oscillation and jump operators associated with Riesz transforms and Poisson semigroups related to Laguerre polynomial expansions.


title: Relativistic scattering of a fast spinning neutron star by a massive black hole

abstract: The orbital dynamics of fast spinning neutron stars encountering a massive Black Hole (BH) with unbounded orbits are investigated using the quadratic-in-spin Mathisson-Papapetrou- Dixon (MPD) formulation. We consider the motion of the spinning neutron stars with astrophysically relevant speed in the gravity field of the BH. For such slow-speed scattering, the hyperbolic orbits followed by these neutron stars all have near the e = 1 eccentricity, and have distinct properties compared with those of e >> 1. We have found that compared with geodesic motion, the spin-orbit and spin-spin coupling will lead to a variation of scattering angles at spatial infinity, and this variation is more prominent for slow-speed scattering than fast-speed scattering. Such a variation leads to an observable difference in pulse-arrival-time within a few hours of observation, and up to a few days or months for larger BH masses or longer spinning periods. Such a relativistic pulsar-BH system also emits a burst of gravitational waves (GWs) in the sensitivity band of LISA, and for optimal settings, can be seen up to 100 Mpc away. A radio follow up of such a GW burst with SKA or FAST will allow for measuring the orbital parameters with high accuracy and testing the predictions of General Relativity (GR).


title: Twist-diameter coupling drives DNA twist changes by salt and temperature

abstract: DNA deformations play crucial roles in many biological processes and material applications. During DNA deformation, DNA structural parameters often exhibit non-trivial and counterintuitive couplings, such as the twist-stretch and twist-bending couplings. Here, we reveal an unexpectedly strong negative twist-diameter coupling through the synergy of magnetic-tweezers experiments, atomistic molecular dynamics simulations, and theoretical calculations. In experiments, the DNA twist angle always increases with the concentration of NaCl, KCl, or RbCl. Our simulations quantitatively reproduce salt-induced twist changes and reveal the underlying physical mechanism: the reduction of DNA diameter under a high salt concentration leads to the increase in DNA twist angle through a strong negative twist-diameter coupling. The twist-diameter coupling is mediated by two dihedral angles in DNA structure and the coupling constant is 4.5 kBT/(deg nm) for one base-pair. Based on this coupling constant, we predict the temperature-dependence of DNA twist -0.0102 deg/K per bp, which agrees with our and previous experimental results. Our analysis suggests that the twist-diameter coupling is a common driving force for salt- and temperature-induced DNA twist changes.


title: Scale Invariant Domain Generalization Image Recapture Detection

abstract: Recapturing and rebroadcasting of images are common attack methods in insurance frauds and face identification spoofing, and an increasing number of detection techniques were introduced to handle this problem. However, most of them ignored the domain generalization scenario and scale variances, with an inferior performance on domain shift situations, and normally were exacerbated by intra-domain and inter-domain scale variances. In this paper, we propose a scale alignment domain generalization framework (SADG) to address these challenges. First, an adversarial domain discriminator is exploited to minimize the discrepancies of image representation distributions among different domains. Meanwhile, we exploit triplet loss as a local constraint to achieve a clearer decision boundary. Moreover, a scale alignment loss is introduced as a global relationship regularization to force the image representations of the same class across different scales to be undistinguishable. Experimental results on four databases and comparison with state-of-the-art approaches show that better performance can be achieved using our framework.


title: Quantum bounds and fluctuation-dissipation relations

abstract: In recent years, there has been intense attention on the constraints posed by quantum mechanics on the dynamics of the correlation at low temperatures, triggered by the postulation and derivation of quantum bounds on the transport coefficients or on the chaos rate. However, the physical meaning and the mechanism enforcing such bounds is still an open question. Here, we discuss the quantum fluctuation-dissipation theorem (the KMS conditions) as the principle underlying bounds on correlation time scales. By restating the problem in a replicated space, we show that the quantum bound to chaos is a direct consequence of the KMS condition, as applied to a particular pair of two-time correlation and response functions. Encouraged by this, we describe how quantum fluctuation-dissipation relations act in general as a blurring of the time-dependence of correlations, which can imply bounds on their decay rates. Thinking in terms of fluctuation-dissipation opens a direct connection between bounds and other thermodynamic properties.


title: On the relationship between disentanglement and multi-task learning

abstract: One of the main arguments behind studying disentangled representations is the assumption that they can be easily reused in different tasks. At the same time finding a joint, adaptable representation of data is one of the key challenges in the multi-task learning setting. In this paper, we take a closer look at the relationship between disentanglement and multi-task learning based on hard parameter sharing. We perform a thorough empirical study of the representations obtained by neural networks trained on automatically generated supervised tasks. Using a set of standard metrics we show that disentanglement appears naturally during the process of multi-task neural network training.


title: Super-Resolution Nanolithography of Two-Dimensional Materials by Anisotropic Etching

abstract: Nanostructuring allows altering of the electronic and photonic properties of two-dimensional (2D) materials. The efficiency, flexibility, and convenience of top-down lithography processes are however compromised by nm-scale edge roughness and resolution variability issues, which especially affects the performance of 2D materials. Here we study how dry anisotropic etching of multilayer 2D materials with sulfur hexafluoride (SF6) may overcome some of these issues, showing results for hexagonal boron nitride (hBN), tungsten disulfide (WS2), tungsten diselenide (WSe2), molybdenum disulfide (MoS2), molybdenum ditelluride (MoTe2). Scanning and transmission electron microscopy reveal that etching leads to anisotropic hexagonal features in the studied transition metal dichalcogenides, with the relative degree of anisotropy ranked as: WS2 > WSe2 > MoTe2 / MoS2. Etched holes are terminated by zigzag edges while etched dots (protrusions) are terminated by armchair edges. This can be explained by Wulff constructions, taking the relative stabilities of the edges and the AA stacking order into account. Patterns in WS2 are transferred to an underlying graphite layer, demonstrating a possible use for creating sub-10 nm features. In contrast, multilayer hBN exhibits no lateral anisotropy, but shows consistent vertical etch angles, independent of crystal orientation. This is used to create super-resolution lithographic patterns with ultra-sharp corners at the base of the hBN crystal, which are transferred into an underlying graphite crystal. We find that the anisotropic SF6 reactive ion etching process makes it possible to downsize nanostructures to obtain smooth edges, sharp corners, and feature sizes significantly below the resolution limit of electron beam lithography. The nanostructured 2D materials can be used themselves or as etch-masks to pattern other nanomaterials.


title: Hydrogenated Amorphous Silicon Carbide: A Low-loss Deposited Dielectric for Microwave to Submillimeter Wave Superconducting Circuits

abstract: Low-loss deposited dielectrics will benefit superconducting devices such as integrated superconducting spectrometers, superconducting qubits and kinetic inductance parametric amplifiers. Compared with planar structures, multi-layer structures such as microstrips are more compact and eliminate radiation loss at high frequencies. Multi-layer structures are most easily fabricated with deposited dielectrics, which typically exhibit higher dielectric loss than crystalline dielectrics. We measured the sub-kelvin and low-power microwave and mm-submm wave dielectric loss of hydrogenated amorphous silicon carbide (a-SiC:H), using a superconducting chip with NbTiN/a-SiC:H/NbTiN microstrip resonators. We deposited the a-SiC:H by plasma-enhanced chemical vapor deposition at a substrate temperature of 400{\deg}C. The a-SiC:H has a mm-submm loss tangent ranging from $0.80 \pm 0.01 \times 10^{-4}$ to $1.43 \pm 0.04 \times 10^{-4}$ in the range of 270 to 385 GHz. The microwave loss tangent is $3.2 \pm 0.2 \times 10^{-5}$. These are the lowest low-power sub-kelvin loss tangents that have been reported for microstrip resonators at mm-submm and microwave frequencies. We observe that the loss tangent increases with frequency. The a-SiC:H films are free of blisters and have low stress: $-$20 MPa compressive at 200 nm thickness to 60 MPa tensile at 1000 nm thickness.


title: Pretrained Language Models are Symbolic Mathematics Solvers too!

abstract: Solving symbolic mathematics has always been of in the arena of human ingenuity that needs compositional reasoning and recurrence. However, recent studies have shown that large-scale language models such as transformers are universal and surprisingly can be trained as a sequence-to-sequence task to solve complex mathematical equations. These large transformer models need humongous amounts of training data to generalize to unseen symbolic mathematics problems. In this paper, we present a sample efficient way of solving the symbolic tasks by first pretraining the transformer model with language translation and then fine-tuning the pretrained transformer model to solve the downstream task of symbolic mathematics. We achieve comparable accuracy on the integration task with our pretrained model while using around $1.5$ orders of magnitude less number of training samples with respect to the state-of-the-art deep learning for symbolic mathematics. The test accuracy on differential equation tasks is considerably lower comparing with integration as they need higher order recursions that are not present in language translations. We propose the generalizability of our pretrained language model from Anna Karenina Principle (AKP). We pretrain our model with different pairs of language translations. Our results show language bias in solving symbolic mathematics tasks. Finally, we study the robustness of the fine-tuned model on symbolic math tasks against distribution shift, and our approach generalizes better in distribution shift scenarios for the function integration.


title: Intrinsic symmetry groups of links

abstract: The set of isotopy classes of ordered n-component links in the 3-sphere is acted on by the symmetric group via permutation of the components. The intrinsic symmetry group of the link, S(L), is defined to be the set of elements in the symmetric group that preserve the ordered isotopy type of L as an unoriented link. The study of these groups was initiated in 1969, but the question of whether or not every subgroup of the symmetric group arises as an intrinisic symmetry group of some link has remained open. We provide counterexamples; in particular, if n > 5, then there does not exist an n-component link L for which S(L) is the alternating group.


title: Cantilevered, Rectangular Plate Dynamics by Finite Difference Methods

abstract: In this technical note, we consider a dynamic linear, cantilevered rectangular plate. The evolutionary PDE model is given by the fourth order plate dynamics (via the spatial biharmonic operator) with clamped-free-free-free boundary conditions. We additionally consider damping/dissipation terms, as well as non-conservative lower order terms arising in various applications. Dynamical numerical simulations are achieved by way of a finite difference spatial approximation with a MATLAB time integrator. The rectangular geometry allows the use of standard 2D spatial finite differences, while the high spatial order of the problem and mixed clamped-free type boundary conditions present challenges. Dynamic energies are also computed. The relevant code is presented, with discussion of the model and context.


title: Mandarin-English Code-switching Speech Recognition with Self-supervised Speech Representation Models

abstract: Code-switching (CS) is common in daily conversations where more than one language is used within a sentence. The difficulties of CS speech recognition lie in alternating languages and the lack of transcribed data. Therefore, this paper uses the recently successful self-supervised learning (SSL) methods to leverage many unlabeled speech data without CS. We show that hidden representations of SSL models offer frame-level language identity even if the models are trained with English speech only. Jointly training CTC and language identification modules with self-supervised speech representations improves CS speech recognition performance. Furthermore, using multilingual speech data for pre-training obtains the best CS speech recognition.


title: Light kaonic atoms: from "corrected" to "summed up" Deser formula

abstract: Accuracy of "corrected Deser" and "summed up Deser" formulas was checked for the $K^- p$ and $K^- d$ systems. It was found that the last one is much more accurate and should be used for connection the $1s$ level shift to the corresponding scattering length.


title: Run Time Assurance for Safety-Critical Systems: An Introduction to Safety Filtering Approaches for Complex Control Systems

abstract: Run Time Assurance (RTA) Systems are online verification mechanisms that filter an unverified primary controller output to ensure system safety. The primary control may come from a human operator, an advanced control approach, or an autonomous control approach that cannot be verified to the same level as simpler control systems designs. The critical feature of RTA systems is their ability to alter unsafe control inputs explicitly to assure safety. In many cases, RTA systems can functionally be described as containing a monitor that watches the state of the system and output of a primary controller, and a backup controller that replaces or modifies control input when necessary to assure safety. An important quality of an RTA system is that the assurance mechanism is constructed in a way that is entirely agnostic to the underlying structure of the primary controller. By effectively decoupling the enforcement of safety constraints from performance-related objectives, RTA offers a number of useful advantages over traditional (offline) verification. This article provides a tutorial on developing RTA systems.


title: Optimization of the multi-mem response of topotactic redox La$_{1/2}$Sr$_{1/2}$Mn$_{1/2}$Co$_{1/2}$O$_{3-x}$

abstract: Memristive systems emerge as strong candidates for the implementation of Resistive Random Access Memories (RRAM) and neuromorphic computing devices, as they can mimic the electrical analog behavior or biological synapses. In addition, complementary functionalities such as memcapacitance could significantly improve the performance of bio-inspired devices in key issues such as energy consumption. However, the physics of mem-systems is not fully understood so far, hampering their large-scale implementation in devices. Perovskites that undergo topotactic transitions and redox reactions show improved performance as mem-systems, compared to standard perovskites. In this paper we analyze different strategies to optimize the multi-mem behavior (memristive and memcapacitive) of topotactic redox La$_{1/2}$Sr$_{1/2}$Mn$_{1/2}$Co$_{1/2}$O$_{3-x}$ (LSMCO) films grown on Nb:SrTiO$_3$ (NSTO). We explored devices with different crystallinity (from amorphous to epitaxial LSMCO), out-of-plane orientation ((001) and (110)) and stimulated either with voltage or current pulses. We found that an optimum memory response is found for epitaxial (110) LSMCO stimulated with current pulses. Under these conditions, the system efficiently exchanges oxygen with the environment minimizing, at the same time, self-heating effects that trigger nanostructural and chemical changes which could affect the device integrity and performance. Our work contributes to pave the way for the integration of LSMCO-based devices in cross-bar arrays, in order to exploit their memristive and memcapacitive properties for the development of neuromorphic or in-memory computing devices


title: An accurate tight binding model for twisted bilayer graphene describes topological flat bands without geometric relaxation

abstract: A major hurdle in understanding the phase diagram of twisted bilayer graphene (TBLG) are the roles of lattice relaxation and electronic structure on isolated band flattening near magic twist angles. In this work, the authors develop an accurate local environment tight binding model (LETB) fit to tight binding parameters computed from $ab\ initio$ density functional theory (DFT) calculations across many atomic configurations. With the accurate parameterization, it is found that the magic angle shifts to slightly lower angles than often quoted, from around 1.05$^\circ$ to around 0.99$^\circ$, and that isolated flat bands appear for rigidly rotated graphene layers, with enhancement of the flat bands when the layers are allowed to distort. Study of the orbital localization supports the emergence of fragile topology in the isolated flat bands without the need for lattice relaxation.


title: Analyzing the Robustness of Unsupervised Speech Recognition

abstract: Unsupervised speech recognition (unsupervised ASR) aims to learn the ASR system with non-parallel speech and text corpus only. Wav2vec-U has shown promising results in unsupervised ASR by self-supervised speech representations coupled with Generative Adversarial Network (GAN) training, but the robustness of the unsupervised ASR framework is unknown. In this work, we further analyze the training robustness of unsupervised ASR on the domain mismatch scenarios in which the domains of unpaired speech and text are different. Three domain mismatch scenarios include: (1) using speech and text from different datasets, (2) utilizing noisy/spontaneous speech, and (3) adjusting the amount of speech and text data. We also quantify the degree of the domain mismatch by calculating the JS-divergence of phoneme n-gram between the transcription of speech and text. This metric correlates with the performance highly. Experimental results show that domain mismatch leads to inferior performance, but a self-supervised model pre-trained on the targeted speech domain can extract better representation to alleviate the performance drop.


title: Probing Light Mediators in the Radiative Emission of Neutrino Pair

abstract: We propose a new possibility of using the coherently enhanced neutrino pair emission to probe light-mediator interactions between electron and neutrinos. With typical momentum transfer at the atomic $\mathcal O(1$\,eV) scale, this process is extremely sensitive for the mediator mass range $\mathcal O(10^{-3} \sim 10^4$) eV. The sensitivity on the product of couplings with electron ($g^e$ or $y^e$) and neutrinos ($g^\nu$ or $y^\nu$) can touch down to $|y^e y^\nu| < 10^{-9} \sim 10^{-19}$ for a scalar mediator and $|g^e g^\nu| < 10^{-15} \sim 10^{-26}$ for a vector one, with orders of improvement from the existing constraints.