title: Regret Bounds for Generalized Linear Bandits under Parameter Drift

abstract: Generalized Linear Bandits (GLBs) are powerful extensions to the Linear Bandit (LB) setting, broadening the benefits of reward parametrization beyond linearity. In this paper we study GLBs in non-stationary environments, characterized by a general metric of non-stationarity known as the variation-budget or \emph{parameter-drift}, denoted $B_T$. While previous attempts have been made to extend LB algorithms to this setting, they overlook a salient feature of GLBs which flaws their results. In this work, we introduce a new algorithm that addresses this difficulty. We prove that under a geometric assumption on the action set, our approach enjoys a $\tilde{\mathcal{O}}(B_T^{1/3}T^{2/3})$ regret bound. In the general case, we show that it suffers at most a $\tilde{\mathcal{O}}(B_T^{1/5}T^{4/5})$ regret. At the core of our contribution is a generalization of the projection step introduced in Filippi et al. (2010), adapted to the non-stationary nature of the problem. Our analysis sheds light on central mechanisms inherited from the setting by explicitly splitting the treatment of the learning and tracking aspects of the problem.


title: BROOD: Bilevel and Robust Optimization and Outlier Detection for Efficient Tuning of High-Energy Physics Event Generators

abstract: The parameters in Monte Carlo (MC) event generators are tuned on experimental measurements by evaluating the goodness of fit between the data and the MC predictions. The relative importance of each measurement is adjusted manually in an often time-consuming, iterative process to meet different experimental needs. In this work, we introduce several optimization formulations and algorithms with new decision criteria for streamlining and automating this process. These algorithms are designed for two formulations: bilevel optimization and robust optimization. Both formulations are applied to the datasets used in the ATLAS A14 tune and to the dedicated hadronization datasets generated by the sherpa generator, respectively. The corresponding tuned generator parameters are compared using three metrics. We compare the quality of our automatic tunes to the published ATLAS A14 tune. Moreover, we analyze the impact of a pre-processing step that excludes data that cannot be described by the physics models used in the MC event generators.


title: Valley relaxation of resident electrons and holes in a monolayer semiconductor: Dependence on carrier density and the role of substrate-induced disorder

abstract: Using time-resolved optical Kerr rotation, we measure the low temperature valley dynamics of resident electrons and holes in exfoliated WSe$_2$ monolayers as a systematic function of carrier density. In an effort to reconcile the many disparate timescales of carrier valley dynamics in monolayer semiconductors reported to date, we directly compare the doping-dependent valley relaxation in two electrostatically-gated WSe$_2$ monolayers having different dielectric environments. In a fully-encapsulated structure (hBN/WSe$_2$/hBN, where hBN is hexagonal boron nitride), valley relaxation is found to be monoexponential. The valley relaxation time $\tau_v$ is quite long ($\sim$10~$\mu$s) at low carrier densities, but decreases rapidly to less than 100~ns at high electron or hole densities $\gtrsim$2 $\times 10^{12}$~cm$^{-2}$. In contrast, in a partially-encapsulated WSe$_2$ monolayer placed directly on silicon dioxide (hBN/WSe$_2$/SiO$_2$), carrier valley relaxation is multi-exponential at low carrier densities. The difference is attributed to environmental disorder from the SiO$_2$ substrate. Unexpectedly, very small out-of-plane magnetic fields can increase $\tau_v$, especially in the hBN/WSe$_2$/SiO$_2$ structure, suggesting that localized states induced by disorder can play an important role in depolarizing spins and mediating the valley relaxation of resident carriers in monolayer transition metal-dichalcogenide semiconductors.


title: Continual Developmental Neurosimulation Using Embodied Computational Agents

abstract: There is much to learn through synthesis of Developmental Biology, Cognitive Science and Computational Modeling. Our path forward is to present a design for developmentally-inspired learning agents based on Braitenberg Vehicles. Using these agents to exemplify the embodied nature of computational autonomy, we move closer to modeling embodied experience and morphogenetic growth as components of cognitive developmental capacity. We consider biological and cognitive development which influence the generation of adult phenotypes and the contingency of available developmental pathways. Continual developmental neurosimulation allows us to consider the role of developmental trajectories in bridging the related phenomena of nervous system morphogenesis, developmental learning, and plasticity. Being closely tied to continual learning, our approach is tightly integrated with developmental embodiment, and can be implemented using a type of agent called developmental Braitenberg Vehicles (dBVs). This phenotype is characterized in terms of developmental timing: with distinct morphogenetic, critical, and acquisition (developmental learning) periods. These properties produce emergent connectivity with shifting weights and adaptive network topologies in the context of developmental processes and spatially-dependent embodiment in training neural networks. We further propose that network morphogenesis can be accomplished using a genetic algorithmic approach, while developmental learning can be implemented using a number of computational methodologies. This approach provides a blueprint for adaptive agent behavior that might result from a developmental approach. In conclusion, we will consider agent learning and development at different timescales. The development, evolution, and learning in an embodied agent-based approach is key to an integrative view of biologically-inspired intelligence.


title: Numerical predictions of shear stress and cyclic stretch in the healthy pulmonary vasculature

abstract: Isolated post-capillary pulmonary hypertension (Ipc-PH) occurs due to left heart failure, which contributes to 1 out of every 9 deaths in the United States. In some patients, through unknown mechanisms, Ipc-PH transitions to combined pre-/post-capillary PH (Cpc-PH), diagnosed by an increase in pulmonary vascular resistance and associated with a dramatic increase in mortality. We hypothesize that altered mechanical forces and subsequent vasoactive signaling in the pulmonary capillary bed drive the transition from Ipc-PH to Cpc-PH. However, even in a healthy pulmonary circulation, the mechanical forces in the smallest vessels (the arterioles, venules, and capillary bed) have not been quantitatively defined. This study is the first to examine this question via a computational fluid dynamics model of the human pulmonary arteries, veins, arterioles, and venules. Using this model we predict temporal and spatial dynamics of cyclic stretch and wall shear stress. In the large vessels, numerical simulations show that shear stress increases coincides with larger flow and pressure. In the microvasculature, we found that as vessel radius decreases, shear stress increases and flow decreases. In arterioles, this corresponds with lower pressures; however, the venules and smaller veins have higher pressure than larger veins. Our model provides predictions for pressure, flow, shear stress, and cyclic stretch that provides a way to analyze and investigate hypotheses related to disease progression in the pulmonary circulation.


title: GUP corrected entropy of the Schwarzschild black hole in holographic massive gravity

abstract: We obtain the statistical entropy of a scalar field on the Schwarzschild black hole in holographic massive gravity by considering corrections on the density of quantum states to all orders in the Planck length from a generalized uncertainty principle (GUP). As a result, we find not only the generalized Bekenstein-Hawking entropy depending on holographically massive gravitons without any artificial cutoff, but also new additional correction terms, which are proportional to surface gravity. Moreover, we also observe that all order GUP corrected entropy is improved to have smaller GUP parameter $\lambda$ than the previous results.


title: Slingshot spiders build tensed underdamped webs for ultrafast launches and speedy halts

abstract: We develop a mathematical model to capture the web dynamics of slingshot spiders (Araneae: Theridiosomatidae), which utilize a tension line to deform their orb webs into conical springs to hunt flying insects. Slingshot spiders are characterized by their ultrafast launch speeds and accelerations (exceeding 1300 $m/s^2$), however a theoretical approach to characterize the underlying spatiotemporal web dynamics remains missing. To address this knowledge gap, we develop a 2D-coupled damped oscillator model of the web. Our model reveals three key insights into the dynamics of slingshot motion. First, the tension line plays a dual role: enabling the spider to load elastic energy into the web for a quick launch (in milliseconds) to displacements of 10-15 body lengths, but also enabling the spider to halt quickly, attenuating inertial oscillations. Second, the dominant energy dissipation mechanism is viscous drag by the silk lines - acting as a low Reynolds number parachute. Third, the web exhibits underdamped oscillatory dynamics through a finely-tuned balance between the radial line forces, the tension line force and viscous drag dissipation. Together, our work suggests that the conical geometry and tension-line enables the slingshot web to act as both an elastic spring and a shock absorber, for the multi-functional roles of risky predation and self-preservation.


title: Reaching for the surface: Spheroidal microswimmers in surface gravity waves

abstract: Microswimmers (planktonic microorganisms or artificial active particles) immersed in a fluid interact with the ambient flow, altering their trajectories. In surface gravity waves, a common goal for microswimmers is vertical migration (e.g., to reach the free surface or to dive to deeper depths). By modelling microswimmers as spheroidal bodies with an intrinsic swimming velocity that supplements advection and reorientation by the flow, we investigate how shape and swimming affect vertical transport of microswimmers in waves. We find that it is possible for microswimmers to be initially swimming downwards, but to recover and head back to the surface, and vice versa. This is because the coupling between swimming and flow-induced reorientations introduces a shape dependency in the vertical transport. From a wave-averaged analysis of microswimmer trajectories, we show that each trajectory is bounded by critical planes in the position-orientation phase space that depend only on the shape. We also give explicit solutions to these trajectories and determine the fraction of microswimmers that begin within the water column and eventually reach the surface. For microswimmers that are initially randomly oriented, the fraction that reach the surface increases monotonically as the starting depth decreases, as expected, but also varies with shape and swimming speed. In the limit of small swimming speed, the fraction of highly prolate microswimmers reaching the surface is 0.5, suggesting that these swimmers would be able to choose direction of vertical transport with small changes in swimming behaviour.


title: Fine with "1234"? An Analysis of SMS One-Time Password Randomness in Android Apps

abstract: A fundamental premise of SMS One-Time Password (OTP) is that the used pseudo-random numbers (PRNs) are uniquely unpredictable for each login session. Hence, the process of generating PRNs is the most critical step in the OTP authentication. An improper implementation of the pseudo-random number generator (PRNG) will result in predictable or even static OTP values, making them vulnerable to potential attacks. In this paper, we present a vulnerability study against PRNGs implemented for Android apps. A key challenge is that PRNGs are typically implemented on the server-side, and thus the source code is not accessible. To resolve this issue, we build an analysis tool, \sysname, to assess implementations of the PRNGs in an automated manner without the source code requirement. Through reverse engineering, \sysname identifies the apps using SMS OTP and triggers each app's login functionality to retrieve OTP values. It further assesses the randomness of the OTP values to identify vulnerable PRNGs. By analyzing 6,431 commercially used Android apps downloaded from \tool{Google Play} and \tool{Tencent Myapp}, \sysname identified 399 vulnerable apps that generate predictable OTP values. Even worse, 194 vulnerable apps use the OTP authentication alone without any additional security mechanisms, leading to insecure authentication against guessing attacks and replay attacks.


title: Word Embedding Techniques for Malware Evolution Detection

abstract: Malware detection is a critical aspect of information security. One difficulty that arises is that malware often evolves over time. To maintain effective malware detection, it is necessary to determine when malware evolution has occurred so that appropriate countermeasures can be taken. We perform a variety of experiments aimed at detecting points in time where a malware family has likely evolved, and we consider secondary tests designed to confirm that evolution has actually occurred. Several malware families are analyzed, each of which includes a number of samples collected over an extended period of time. Our experiments indicate that improved results are obtained using feature engineering based on word embedding techniques. All of our experiments are based on machine learning models, and hence our evolution detection strategies require minimal human intervention and can easily be automated.


title: A New K means Grey Wolf Algorithm for Engineering Problems

abstract: Purpose: The development of metaheuristic algorithms has increased by researchers to use them extensively in the field of business, science, and engineering. One of the common metaheuristic optimization algorithms is called Grey Wolf Optimization (GWO). The algorithm works based on imitation of the wolves' searching and the process of attacking grey wolves. The main purpose of this paper to overcome the GWO problem which is trapping into local optima. Design or Methodology or Approach: In this paper, the K-means clustering algorithm is used to enhance the performance of the original Grey Wolf Optimization by dividing the population into different parts. The proposed algorithm is called K-means clustering Grey Wolf Optimization (KMGWO). Findings: Results illustrate the efficiency of KMGWO is superior to GWO. To evaluate the performance of the KMGWO, KMGWO applied to solve 10 CEC2019 benchmark test functions. Results prove that KMGWO is better compared to GWO. KMGWO is also compared to Cat Swarm Optimization (CSO), Whale Optimization Algorithm-Bat Algorithm (WOA-BAT), and WOA, so, KMGWO achieves the first rank in terms of performance. Statistical results proved that KMGWO achieved a higher significant value compared to the compared algorithms. Also, the KMGWO is used to solve a pressure vessel design problem and it has outperformed results. Originality/value: Results prove that KMGWO is superior to GWO. KMGWO is also compared to cat swarm optimization (CSO), whale optimization algorithm-bat algorithm (WOA-BAT), WOA, and GWO so KMGWO achieved the first rank in terms of performance. Also, the KMGWO is used to solve a classical engineering problem and it is superior


title: Cluster Analysis of Malware Family Relationships

abstract: In this paper, we use $K$-means clustering to analyze various relationships between malware samples. We consider a dataset comprising~20 malware families with~1000 samples per family. These families can be categorized into seven different types of malware. We perform clustering based on pairs of families and use the results to determine relationships between families. We perform a similar cluster analysis based on malware type. Our results indicate that $K$-means clustering can be a powerful tool for data exploration of malware family relationships.


title: An extension of the avalanche criterion in the context of c-differentials

abstract: The Strict Avalanche Criterion (SAC) is a property of vectorial Boolean functions that is used in the construction of strong S-boxes. We show in this paper how to generalize the concept of SAC to address possible c-differential attacks, in the realm of finite fields. We define the concepts of c-Strict Avalanche Criterion (c-SAC) and c-Strict Avalanche Criterion of order m (c-SAC(m)), and generalize results of (Li and Cusick, 2005). We also show computationally how the new definition is not equivalent to the existing concepts of c-bent1-ness (Stanica et al., 2020), nor (for n = m) PcN-ness (Ellingsen et al., 2020)


title: A Comparison of Word2Vec, HMM2Vec, and PCA2Vec for Malware Classification

abstract: Word embeddings are often used in natural language processing as a means to quantify relationships between words. More generally, these same word embedding techniques can be used to quantify relationships between features. In this paper, we first consider multiple different word embedding techniques within the context of malware classification. We use hidden Markov models to obtain embedding vectors in an approach that we refer to as HMM2Vec, and we generate vector embeddings based on principal component analysis. We also consider the popular neural network based word embedding technique known as Word2Vec. In each case, we derive feature embeddings based on opcode sequences for malware samples from a variety of different families. We show that we can obtain better classification accuracy based on these feature embeddings, as compared to HMM experiments that directly use the opcode sequences, and serve to establish a baseline. These results show that word embeddings can be a useful feature engineering step in the field of malware analysis.


title: Seven Survival Senses: Evolutionary Training makes Discerning Differences more Natural than Spotting Similarities

abstract: We discuss preliminary results from two experiments and put forth the notion that the development of sensory systems might be more geared towards discerning differences rather than for spotting similarities. We present the possibility that the necessity to spot differences might have evolved to ensure the survival of the organism, which suggests numerous other experiments to assess the response of participants to various stimuli. We consider our present state of affairs, wherein the need is to thrive and not merely survive, which requires us to spot similarities around us. We provide some suggestions on how this attribute can be developed, which includes mathematical education. We conclude with an alternate measure for intelligence, termed the Involvement Quotient (also, IQ), which gauges the level of involvement of the sense organs to whatever is happening around the individual.


title: Longitudinal Mediation Analysis with Latent Growth Curves

abstract: The paper considers mediation analysis with longitudinal data under latent growth curve models within a counterfactual framework. Estimators and their standard errors are derived for natural direct and indirect effects when the mediator, the outcome, and possibly also the exposure can be modeled by an underlying latent variable giving rise to a growth curve. Settings are also considered in which the exposure is instead fixed at a single point in time.


title: Interpretable Machines: Constructing Valid Prediction Intervals with Random Forests

abstract: An important issue when using Machine Learning algorithms in recent research is the lack of interpretability. Although these algorithms provide accurate point predictions for various learning problems, uncertainty estimates connected with point predictions are rather sparse. A contribution to this gap for the Random Forest Regression Learner is presented here. Based on its Out-of-Bag procedure, several parametric and non-parametric prediction intervals are provided for Random Forest point predictions and theoretical guarantees for its correct coverage probability is delivered. In a second part, a thorough investigation through Monte-Carlo simulation is conducted evaluating the performance of the proposed methods from three aspects: (i) Analyzing the correct coverage rate of the proposed prediction intervals, (ii) Inspecting interval width and (iii) Verifying the competitiveness of the proposed intervals with existing methods. The simulation yields that the proposed prediction intervals are robust towards non-normal residual distributions and are competitive by providing correct coverage rates and comparably narrow interval lengths, even for comparably small samples.


title: ZYELL-NCTU NetTraffic-1.0: A Large-Scale Dataset for Real-World Network Anomaly Detection

abstract: Network security has been an active research topic for long. One critical issue is improving the anomaly detection capability of intrusion detection systems (IDSs), such as firewalls. However, existing network anomaly datasets are out of date (i.e., being collected many years ago) or IP-anonymized, making the data characteristics differ from today's network. Therefore, this work introduces a new, large-scale, and real-world dataset, ZYELL-NCTU NetTraffic-1.0, which is collected from the raw output of firewalls in a real network, with the objective to advance the development of network security researches.


title: Deep graph convolution neural network with non-negative matrix factorization for community discovery

abstract: Community discovery is an important task for graph mining. Owing to the nonstructure, the high dimensionality, and the sparsity of graph data, it is not easy to obtain an appropriate community partition. In this paper, a deep graph convolution neural network with non-negative matrix factorization (DGCN-NMF) is proposed for community discovery. DGCN-NMF employs multiple graph convolution layers to obtain the low dimensional embedding. In each layer, the last output and the non-negative matrix factorization's results of the previous outputs are inputted into the current layer. The community partition of the inputted graph can be outputted by an end-to-end approach. The proposed algorithm and the comparison algorithms are conducted on the experimental data sets. The experimental results show that the proposed algorithm outperforms the comparison algorithms on the experimental data sets. The experimental results demonstrate that DGCN-NMF is an effective algorithm for community discovery.


title: Containing Malicious Package Updates in npm with a Lightweight Permission System

abstract: The large amount of third-party packages available in fast-moving software ecosystems, such as Node.js/npm, enables attackers to compromise applications by pushing malicious updates to their package dependencies. Studying the npm repository, we observed that many packages in the npm repository that are used in Node.js applications perform only simple computations and do not need access to filesystem or network APIs. This offers the opportunity to enforce least-privilege design per package, protecting applications and package dependencies from malicious updates. We propose a lightweight permission system that protects Node.js applications by enforcing package permissions at runtime. We discuss the design space of solutions and show that our system makes a large number of packages much harder to be exploited, almost for free.


title: Notebook articles: towards a transformative publishing experience in nonlinear science

abstract: Open Science, Reproducible Research, Findable, Accessible, Interoperable and Reusable (FAIR) data principles are long term goals for scientific dissemination. However, the implementation of these principles calls for a reinspection of our means of dissemination. In our viewpoint, we discuss and advocate, in the context of nonlinear science, how a notebook article represents an essential step toward this objective by fully embracing cloud computing solutions. Notebook articles as scholar articles offer an alternative, efficient and more ethical way to disseminate research through their versatile environment. This format invites the readers to delve deeper into the reported research. Through the interactivity of the notebook articles, research results such as for instance equations and figures are reproducible even for non-expert readers. The codes and methods are available, in a transparent manner, to interested readers. The methods can be reused and adapted to answer additional questions in related topics. The codes run on cloud computing services, which provide easy access, even to low-income countries and research groups. The versatility of this environment provides the stakeholders - from the researchers to the publishers - with opportunities to disseminate the research results in innovative ways.


title: Amorphous solids as fuzzy crystals: A Debye-like theory of low-temperature specific heat

abstract: We construct a quantum mechanical model of perfectly isotropic amorphous solids as fuzzy crystals and establish an analytical theory of vibrations for glasses at low temperature. Our theoretical framework relies on the basic principle that the disorder in a glass is similar to the disorder in a classical fluid, while the latter is mathematically encoded by noncommutative coordinates in the Lagrange formulation of fluid mechanics. We find that the density of states in the acoustic branches flattens significantly, leading naturally to a boson peak in the specific heat as a manifestation of a van Hove singularity. The model is valid in the same range as Debye's theory, namely up to circa 10% of the Debye temperature. Within this range, we find an excellent agreement between the theoretical predictions and the experimental data for two typical glasses, a-GeO$_2$ and Ba$_{8}$Ga$_{16}$Sn$_{30}$-clathrate. Our model supports the conceptual understanding of the nature of the boson peak in glasses as a manifestation of the liquid-like disorder. At the same time, it provides a novel, mathematically simple framework for a unitary treatment of thermodynamical and transport properties of amorphous materials and a solid background for inserting further elements of complexity specific to particular glasses.


title: Introduction to Brain and Medical Images

abstract: This article is based on the first chapter of book Chung (2013), where brain and medical images are introduced. The most widely used brain imaging modalities are magnetic resonance images (MRI), functional-MRI (fMRI) and diffusion tensor images (DTI). A brief introduction to each imaging modality is explained. Further, we explain what kind of curve, volume and surface data that can be extracted from each modality.


title: Equation of State: Manhattan Project Developments and Beyond

abstract: The hydrodynamic response of materials under extreme conditions of pressure, temperature and strain is dependent on the equation of state of the matter in all its states of existence. The Trinity plutonium implosion device development required the Los Alamos research community to advance the understanding of equations of state further and faster than ever before. The unpredicted high yield from the Trinity fission device explosion and the push to design the "Super" thermonuclear device initiated 75 years of unprecedented research and technological progress in equation of state development. This article describes the progress made on equation of state development during and since the Manhattan Project at Los Alamos.


title: A principled approach for weighted multilayer network aggregation

abstract: A multilayer network depicts different types of interactions among the same set of nodes. For example, protease networks consist of five to seven layers, where different layers represent distinct types of experimentally confirmed molecule interactions among proteins. In a multilayer protease network, the co-expression layer is obtained through the meta-analysis of transcriptomic data from various sources and platforms. While in some researches the co-expression layer is in turn represented as a multilayered network, a fundamental problem is how to obtain a single-layer network from the corresponding multilayered network. This process is called multilayer network aggregation. In this work, we propose a maximum a posteriori estimation-based algorithm for multilayer network aggregation. The method allows to aggregate a weighted multilayer network while conserving the core information of the layers. We evaluate the method through an unweighted friendship network and a multilayer gene co-expression network. We compare the aggregated gene co-expression network with a network obtained from conflated datasets and a network obtained from averaged weights. The Von Neumann entropy is adopted to compare the mixedness of the three networks, and, together with other network measurements, shows the effectiveness of the proposes method.


title: Bias and sensitivity analysis for unmeasured confounders in linear structural equation models

abstract: In this paper, we consider the extent of the biases that may arise when an unmeasured confounder is omitted from a structural equation model (SEM) and we propose sensitivity analysis techniques to correct for such biases. We give an analysis of which effects in an SEM are, and are not, biased by an unmeasured confounder. It is shown that a single unmeasured confounder will bias not just one, but numerous, effects in an SEM. We present sensitivity analysis techniques to correct for biases in total, direct, and indirect effects when using SEM analyses, and illustrate these techniques with a study of aging and cognitive function.


title: "ReLIC: Reduced Logic Inference for Composition" for Quantifier Elimination based Compositional Reasoning and Verification

abstract: The paper presents our research on quantifier elimination (QE) for compositional reasoning and verification. For compositional reasoning, QE provides the foundation of our approach, serving as the calculus for composition to derive the strongest system-property in a single step, from the given component atomic-properties and their interconnection relation. We first developed this framework for time-independent properties, and later extended it to time-dependent property composition. The extension requires, in addition, shifting the given properties along time to span the time horizon of interest, he least of which for the strongest system-property is no more than the total time horizons of the component level atomic-properties. The system-initial-condition is also composed from atomic-initial-conditions of the components the same way. It is used to verify a desired system-level property, alongside the derived strongest system-property, by way of induction. Our composition approach is uniform regardless of the composition types (cascade/parallel/feedback) for both time-dependent and time-independent properties. We developed a new prototype verifier named ReLIC (Reduced Logic Inference for Composition) that implements our above approaches. We demonstrated it through several illustrative and practical examples. Further, we advanced the $k$-induction based model-checking with QE capabilities, by formulating its base and inductive steps into QE problems where all the variables are universally quantified. Our integration of the QE solver Redlog with the $k$-induction based model-checking tool JKind, shows the successful solving of a non-linear problem that the SMT capable JKind failed to resolve. Finally, we also showcase the recent adoption of our approaches within an industrial V\&V tool suite for augmented static analysis of Simulink models and Deep Neural Networks (DNNs).


title: Bayesian optimal investment and reinsurance with dependent financial and insurance risks

abstract: Major events like natural catastrophes or the COVID-19 crisis have impact both on the financial market and on claim arrival intensities and claim sizes of insurers. Thus, when optimal investment and reinsurance strategies have to be determined it is important to consider models which reflect this dependence. In this paper we make a proposal how to generate dependence between the financial market and claim sizes in times of crisis and determine via a stochastic control approach an optimal investment and reinsurance strategy which maximizes the expected exponential utility of terminal wealth. Moreover, we also allow that the claim size distribution may be learned in the model. We give comparisons and bounds on the optimal strategy using simple models. What turns out to be very surprising is that numerical results indicate that even a minimal dependence which is created in this model has a huge impact on the control in the sense that the insurer is much more prudent then.


title: Second-order fast-slow dynamics of non-ergodic Hamiltonian systems: Thermodynamic interpretation and simulation

abstract: A class of fast-slow Hamiltonian systems with potential $U_\varepsilon$ describing the interaction of non-ergodic fast and slow degrees of freedom is studied. The parameter $\varepsilon$ indicates the typical timescale ratio of the fast and slow degrees of freedom. It is known that the Hamiltonian system converges for $\varepsilon\to0$ to a homogenised Hamiltonian system. We study the situation where $\varepsilon$ is small but positive. First, we rigorously derive the second-order corrections to the homogenised (slow) degrees of freedom. They can be decomposed into explicitly given terms that oscillate rapidly around zero and terms that trace the average motion of the corrections, which are given as the solution to an inhomogeneous linear system of differential equations. Then, we analyse the energy of the fast degrees of freedom expanded to second-order from a thermodynamic point of view. In particular, we define and expand to second-order a temperature, an entropy and external forces and show that they satisfy to leading-order, as well as on average to second-order, thermodynamic energy relations akin to the first and second law of thermodynamics. Finally, we analyse for a specific fast-slow Hamiltonian system the second-order asymptotic expansion of the slow degrees of freedom from a numerical point of view. Their approximation quality for short and long time frames and their total computation time are compared with those of the solution to the original fast-slow Hamiltonian system of similar accuracy.


title: Natural Hoare Logic: Towards formal verification of programs from logical forms of natural language specifications

abstract: Formal verification provides strong guarantees of correctness of software, which are especially important in safety or security critical systems. Hoare logic is a widely used formalism for rigorous verification of software against specifications in the form of pre-condition/post-condition assertions. The advancement of semantic parsing techniques and higher computational capabilities enable us to extract semantic content from natural language text as formal logical forms, with increasing accuracy and coverage. This paper proposes a formal framework for Hoare logic-based formal verification of imperative programs using logical forms generated from compositional semantic parsing of natural language assertions. We call our reasoning approach Natural Hoare Logic. This enables formal verification of software directly against safety requirements specified by a domain expert in natural language. We consider both declarative assertions of program invariants and state change as well as imperative assertions that specify commands which alter the program state. We discuss how the reasoning approach can be extended using domain knowledge and a practical approach for guarding against semantic parser errors.


title: Critical Assemblies: Dragon Burst Assembly and Solution Assemblies

abstract: This work reviewed the historical literature associated with the Dragon experiment and Water Boiler reactors operated at Los Alamos during the Manhattan Project. Frisch's invited talk given at the Fast Burst Reactor Conference held the University of New Mexico in Albuquerque, NM in 1969 is quoted. From the literature review, basic models for the Dragon experiment and for a Water Boiler type assembly (aqueous homogeneous reactor) were created that can be used for conducting multi-physics simulations for criticality excursion studies. This methodology utilizes the coupled neutronic-hydrodynamic method to perform a time-dependent dynamic simulation of a criticality excursion. MCNP was utilized to calculate important nuclear kinetic parameters that were incorporated into the models. Simulation results compared reasonably well with historic data.


title: Graph Theory in Brain Networks

abstract: Recent developments in graph theoretic analysis of complex networks have led to deeper understanding of brain networks. Many complex networks show similar macroscopic behaviors despite differences in the microscopic details. Probably two most often observed characteristics of complex networks are scale-free and small-world properties. In this paper, we will explore whether brain networks follow scale-free and small-worldness among other graph theory properties.


title: A closer glance at black hole pair creation

abstract: We consider accelerated black hole horizons with and without defects. These horizons appear in the $C$-metric solution to Einstein equations and in its generalization to the case where external fields are present. These solutions realize a variety of physical processes, from the decay of a cosmic string by a black hole pair nucleation to the creation of a black hole pair by an external electromagnetic field. Here, we show that such geometries exhibit an infinite set of symmetries in their near horizon region, generalizing in this way previous results for smooth isolated horizons. By considering the limit close to both the black hole and the acceleration horizons, we show that a sensible set of asymptotic boundary conditions gets preserved by supertranslation and superrotation transformations. By acting on the geometry with such transformations, we derive the superrotated, supertranslated version of the $C$-metric and compute the associated conserved charges.


title: Manipulating and measuring single atoms in the Maltese cross geometry

abstract: We describe optical methods for trapping, cooling, and observing single $^{87}$Rb atoms in a four-lens "Maltese cross" geometry (MCG). The use of four high numerical-aperture lenses in the cardinal directions enables efficient collection of light from non-collinear directions, but also restricts the optical access for cooling and optical pumping tasks. We demonstrate three-dimensional atom localization with sub-wavelength precision, and present measurements of the trap lifetime, temperature and transverse trap frequency in this geometry. We observe a trap performance comparable to what has been reported for single-atom traps with one- or two-lens optical systems, and conclude that the additional coupling directions provided by the MCG come at little cost to other trap characteristics.


title: Fermi at Trinity

abstract: Enrico Fermi estimated the yield of the Trinity test to be about 10 kilotons by dropping small pieces of paper and observing their motion in the blast wave. This is about 40% of the radiochemically derived value of $25 \pm 2$ kilotons that necessarily includes thermal and nuclear radiation that do not contribute to the blast. Although this story is classic, there appears to be no account of how he related his observation to the yield. This note attempts to reconstruct how he might have done so.


title: Weapons Radiochemistry: Trinity and Beyond

abstract: On July 16, 1945, the Trinity nuclear test exploded in the desert near Alamogordo, NM. A variety of new diagnostic experiments were fielded in an effort to understand the detailed performance of the nuclear device. This article describes a series of radiochemical experiments that were designed to measure the efficiency and neutron fluence of the test. These experiments, and the scientists who led them, laid the foundation of weapons radiochemistry for decades to come.


title: Phonon Magnetic Moment from Electronic Topological Magnetization

abstract: The traditional theory of magnetic moments for chiral phonons is based on the picture of the circular motion of the Born effective charge, typically yielding a small fractional value of the nuclear magneton. Here we investigate the adiabatic evolution of electronic states induced by lattice vibration of a chiral phonon and obtain an electronic orbital magnetization in the form of a topological second Chern form. We find that the traditional theory needs to be refined by introducing a $\bm{k}$ resolved Born effective charge, and identify another contribution from the phonon-modified electronic energy together with the momentum-space Berry curvature. The second Chern form can diverge when there is a Yang's monopole near the parameter space of interest as illustrated by considering a phonon at the Brillouin zone corner in a gaped graphene model. We also find large magnetic moments for the optical phonon in bulk topological materials where non-topological contribution is also important. The magnetic moment experiences a sign change when the band inversion happens.


title: Scalable Online Recurrent Learning Using Columnar Neural Networks

abstract: Structural credit assignment for recurrent learning is challenging. An algorithm called RTRL can compute gradients for recurrent networks online but is computationally intractable for large networks. Alternatives, such as BPTT, are not online. In this work, we propose a credit-assignment algorithm -- \algoname{} -- that approximates the gradients for recurrent learning in real-time using $O(n)$ operations and memory per-step. Our method builds on the idea that for modular recurrent networks, composed of columns with scalar states, it is sufficient for a parameter to only track its influence on the state of its column. We empirically show that as long as connections between columns are sparse, our method approximates the true gradient well. In the special case when there are no connections between columns, the $O(n)$ gradient estimate is exact. We demonstrate the utility of the approach for both recurrent state learning and meta-learning by comparing the estimated gradient to the true gradient on a synthetic test-bed.


title: Selling Data to an Agent with Endogenous Information

abstract: We consider a model of a data broker selling information to a single agent to maximize his revenue. The agent has a private valuation of the additional information, and upon receiving the signal from the data broker, the agent can conduct her own experiment to refine her posterior belief on the states with additional costs. To maximize expected revenue, only offering full information in general is suboptimal, and the optimal mechanism may contain a continuum of menu options with partial information to prevent the agent from having incentives to acquire additional information from other sources. However, our main result shows that the additional benefit from price discrimination is limited, i.e., posting a deterministic price for revealing full information obtains at least half of the optimal revenue for arbitrary prior and cost functions.


title: Cybersecurity in Robotics: Challenges, Quantitative Modeling, and Practice

abstract: Robotics is becoming more and more ubiquitous, but the pressure to bring systems to market occasionally goes at the cost of neglecting security mechanisms during the development, deployment or while in production. As a result, contemporary robotic systems are vulnerable to diverse attack patterns, and an a posteriori hardening is at least challenging, if not impossible at all. This book aims to stipulate the inclusion of security in robotics from the earliest design phases onward and with a special focus on the cost-benefit tradeoff that can otherwise be an inhibitor for the fast development of affordable systems. We advocate quantitative methods of security management and design, covering vulnerability scoring systems tailored to robotic systems, and accounting for the highly distributed nature of robots as an interplay of potentially very many components. A powerful quantitative approach to model-based security is offered by game theory, providing a rich spectrum of techniques to optimize security against various kinds of attacks. Such a multi-perspective view on security is necessary to address the heterogeneity and complexity of robotic systems. This book is intended as an accessible starter for the theoretician and practitioner working in the field.


title: Electromagnetic Albedo of Quantum Black Holes

abstract: We compute the albedo (or reflectivity) of electromagnetic waves off the electron-positron Hawking plasma that surrounds the horizon of a Quantum Black Hole. We adopt the "modified firewall conjecture" for fuzzballs [arXiv:hep-th/0502050,arXiv:1711.01617], where we consider significant electromagnetic interaction around the horizon. While prior work has treated this problem as an electron-photon scattering process, we find that the incoming quanta interact collectively with the fermionic excitations of the Hawking plasma at low energies. We derive this via two different methods: one using relativistic plasma dispersion relation, and another using the one-loop correction to photon propagator. Both methods find that the reflectivity of long wavelength photons off the Hawking plasma is significant, contrary to previous claims. This leads to the enhancement of the electromagnetic albedo for frequencies comparable to the Hawking temperature of black hole horizons in vacuum. We comment on possible observable consequences of this effect.


title: Spatio-temporal quantile regression analysis revealing more nuanced patterns of climate change: a study of long-term daily temperature in Australia

abstract: Climate change is commonly associated with an overall increase in mean temperature in a defined past time period. Many studies consider temperature trends at the global scale, but the literature is lacking in in-depth analysis of the temperature trends across Australia in recent decades. In addition to heterogeneity in mean and median values, daily Australia temperature data suffers from quasi-periodic heterogeneity in variance. However, this issue has barely been overlooked in climate research. A contribution of this article is that we propose a joint model of quantile regression and variability. By accounting appropriately for the heterogeneity in these types of data, our analysis reveals that daily maximum temperature is warming by 0.21 Celsius per decade and daily minimum temperature by 0.13 Celsius per decade. However, our modeling also shows nuanced patterns of climate change depends on location, season, and the percentiles of the temperature series over Australia.


title: Equi-Joins Over Encrypted Data for Series of Queries

abstract: Encryption provides a method to protect data outsourced to a DBMS provider, e.g., in the cloud. However, performing database operations over encrypted data requires specialized encryption schemes that carefully balance security and performance. In this paper, we present a new encryption scheme that can efficiently perform equi-joins over encrypted data with better security than the state-of-the-art. In particular, our encryption scheme reduces the leakage to equality of rows that match a selection criterion and only reveals the transitive closure of the sum of the leakages of each query in a series of queries. Our encryption scheme is provable secure. We implemented our encryption scheme and evaluated it over a dataset from the TPC-H benchmark.


title: Universal Approximation of Residual Flows in Maximum Mean Discrepancy

abstract: Normalizing flows are a class of flexible deep generative models that offer easy likelihood computation. Despite their empirical success, there is little theoretical understanding of their expressiveness. In this work, we study residual flows, a class of normalizing flows composed of Lipschitz residual blocks. We prove residual flows are universal approximators in maximum mean discrepancy. We provide upper bounds on the number of residual blocks to achieve approximation under different assumptions.


title: Understanding the Inner Structure of Accretion disk in GX 17+2: AstroSat's Outlook

abstract: We performed the timing and spectral studies of a Z source GX 17+2 observed from Astrosat LAXPC instrument. Cross-Correlation function (CCF) was performed using soft (3-5 keV) and hard (16-40 keV) X -ray bands across the hardness intensity diagram and found correlated/anti-correlated hard and soft lags which seems to be a common feature in these sources. We performed spectral analysis for few of these observations and found no consistent variation in the spectral parameters during the lags, however 10-40% change was noticed in diskbb and power-law components in few of observations. For the first time, we report the detection of HBOs around $\sim$25 Hz and $\sim$ 33 Hz along with their harmonics using AstroSat LAXPC data. On comparison with spectral results of HB and other branches, we found that inner disk front is close to the last stable orbit and as such no systematic variations are observed. We suggest that the detected lags are readjustment time scales of corona close to the NS and constrained its height to be around few tens to hundreds of km. The detected lags and no significant variation of inner disk front across the HID strongly indicate that structural variation in corona is the most possible cause of Z track in HID.


title: Measuring the coefficient of moisture expansion of Hysol 9396 loaded with boron nitride powder

abstract: The future ATLAS ITk strip tracker will consist of 17,000 silicon strip detector modules mounted on support structures called cores. Cores are assembled from a number of components, among others carbon fibre facings, honeycomb structure and carbon foam surrounding titanium tubes used for cooling, using a two-component epoxy (Hysol 9396) loaded with boron nitride for good thermal conductivity. The adhesive constitutes about 20 % of a core's weight. During operation, the detector is cooled down to -40 $^\circ$C using bi-phase carbon dioxide and flushed with dry gas to prevent condensation. The effect of this temperature change has been simulated to study the impact of Coefficient of Thermal Expansion (CTE) mismatches between different materials and investigate resulting deformations and misalignment. In addition to the shrinking of an adhesive during cooling, which can be estimated well using its known CTE, flushing the detector volume with dry gas removes the moisture contained in the adhesive, leading to an additional shrinking. In order to estimate the impact of shrinking during drying, the Coefficient of Moisture Expansion (CME) of Hysol samples with different contents of boron nitride as well as their overall moisture absorption were measured and their extent compared to the contraction associated with cooling.


title: Topology Applied to Machine Learning: From Global to Local

abstract: Through the use of examples, we explain one way in which applied topology has evolved since the birth of persistent homology in the early 2000s. The first applications of topology to data emphasized the global shape of a dataset, such as the three-circle model for $3 \times 3$ pixel patches from natural images, or the configuration space of the cyclo-octane molecule, which is a sphere with a Klein bottle attached via two circles of singularity. In these studies of global shape, short persistent homology bars are disregarded as sampling noise. More recently, however, persistent homology has been used to address questions about the local geometry of data. For instance, how can local geometry be vectorized for use in machine learning problems? Persistent homology and its vectorization methods, including persistence landscapes and persistence images, provide popular techniques for incorporating both local geometry and global topology into machine learning. Our meta-hypothesis is that the short bars are as important as the long bars for many machine learning tasks. In defense of this claim, we survey applications of persistent homology to shape recognition, agent-based modeling, materials science, archaeology, and biology. Additionally, we survey work connecting persistent homology to geometric features of spaces, including curvature and fractal dimension, and various methods that have been used to incorporate persistent homology into machine learning.


title: Solid phase epitaxial growth of the correlated-electron transparent conducting oxide SrVO3

abstract: SrVO3 thin films with a high figure of merit for applications as transparent conductors were crystallized from amorphous layers using solid phase epitaxy (SPE). Epitaxial SrVO3 films crystallized on SrTiO3 using SPE exhibit a room temperature resistivity of 2.5 x 10-5 Ohms cm, a residual resistivity ratio of 3.8, and visible light transmission above 0.5 for a 60 nm-thick film. SrVO3 layers were deposited at room temperature using radio-frequency sputtering in an amorphous form and subsequently crystallized by heating in controlled gas environment. The lattice parameters and mosaic angular width of x-ray reflections from the crystallized films are consistent with partial relaxation of the strain resulting from the epitaxial mismatch between SrVO3 and SrTiO3. A reflection high-energy electron diffraction study of the kinetics of SPE indicates that crystallization occurs via the thermally activated propagation of the crystalline/amorphous interface, similar to SPE phenomena in other perovskite oxides. Thermodynamic calculations based on density functional theory predict the temperature and oxygen partial pressure conditions required to produce the SrVO3 phase and are consistent with the experiments. The separate control of deposition and crystallization conditions in SPE presents new possibilities for the crystallization of transparent conductors in complex geometries and over large areas.


title: Robust Collision-free Lightweight Aerial Autonomy for Unknown Area Exploration

abstract: Collision-free path planning is an essential requirement for autonomous exploration in unknown environments, especially when operating in confined spaces or near obstacles. This study presents an autonomous exploration technique using a small drone. A local end-point selection method is designed using LiDAR range measurement and then generates the path from the current position to the selected end-point. The generated path shows the consistent collision-free path in real-time by adopting the Euclidean signed distance field-based grid-search method. The simulation results consistently showed the safety, and reliability of the proposed path-planning method. Real-world experiments are conducted in three different mines, demonstrating successful autonomous exploration flight in environments with various structural conditions. The results showed the high capability of the proposed flight autonomy framework for lightweight aerial-robot systems. Besides, our drone performs an autonomous mission during our entry at the Tunnel Circuit competition (Phase 1) of the DARPA Subterranean Challenge.


title: Functional strong law of large numbers for Betti numbers in the tail

abstract: The objective of this paper is to investigate the layered structure of topological complexity in the tail of a probability distribution. We establish the functional strong law of large numbers for Betti numbers, a basic quantifier of algebraic topology, of a geometric complex outside an open ball of radius $R_n$, such that $R_n\to\infty$ as the sample size $n$ increases. The nature of the obtained law of large numbers is determined by the decay rate of a probability density. It especially depends on whether the tail of a density decays at a regularly varying rate or an exponentially decaying rate. The nature of the limit theorem depends also on how rapidly $R_n$ diverges. In particular, if $R_n$ diverges sufficiently slowly, the limiting function in the law of large numbers is crucially affected by the emergence of arbitrarily large connected components supporting topological cycles in the limit.


title: Laser Driven Fluorescence Emission in a Nitrogen Gas Jet at 100 MHz Repetition Rate

abstract: We report the fluorescence emission which is driven by femtosecond laser pulses with a repetition rate of 100 MHz and a center wavelength of 1040 nm in a nitrogen gas jet. The experiment is performed in a femtosecond enhancement cavity coupled with high repetition rate laser for the first time to the best of our knowledge. In contrast to previous observation at low repetition rate with a nitrogen gas jet, where the 391 nm radiation was observed but the 337 nm emission was missing, the 337 nm emission is 3 times stronger than the 391 nm emission in our experiment. By examining the dependence of the radiation intensity on the flow rate of the nitrogen gas and the polarization of the pump pulse, the formation mechanism of the N2(C3{\Pi}u) triplet excited state, i.e., the upper state of the 337 nm emission, is investigated. We attribute the main excitation process to the inelastic collision excitation process, and exclude the possibility of the dissociative recombination as the dominate pathway. The role of the steady state plasma that is generated under our experimental conditions is also discussed.


title: Measurement of the supermassive black hole masses in two active galactic nuclei by the photometric reverberation mapping method

abstract: We present the results of long-term photometric monitoring of two active galactic nuclei, 2MASX J08535955+7700543 (z $\sim$ 0.106) and VII Zw 244 (z $\sim$ 0.131), being investigated by the reverberation mapping method in medium-band filters. To estimate the size of the broad line region, we have analyzed the light curves with the JAVELIN code. The emission line widths have been measured using the spectroscopic data obtained at the 6-m BTA telescope of SAO RAS. We give our estimates of the supermassive black hole masses $\lg (M/M_{\odot})$, $7.398_{-0.171}^{+0.153}$, and $7.049_{-0.075}^{+0.068}$, respectively


title: Quantum Detection of Conicity

abstract: We investigate the sensitivity of an Unruh-DeWitt detector to the global features of a deficit angle that are otherwise classically inaccessible. Specifically, we consider a detector placed inside an infinite thin hollow cylinder whose spacetime is everywhere flat but outside of which the spacetime has a deficit angle and study its response to a scalar field to which it couples. We find that the response of the detector is sensitive to the deficit angle, despite the fact that it does not interact with the cylinder.


title: SDEs with critical time dependent drifts: strong solutions

abstract: Based on a compactness criterion for random fields in Wiener-Sobolev spaces, in this paper, we prove the unique strong solvability of time-inhomogeneous stochastic differential equations with drift coefficients in critical Lebesgue spaces, which gives an affirmative answer to a longstanding open problem. As an application, we also prove a regularity criterion for solutions of a stochastic system proposed by Constantin and Iyer (Comm. Pure. Appl. Math. 61(3): 330-345, 2008), which is closely related to the Navier-Stokes equations.


title: Reframing Neural Networks: Deep Structure in Overcomplete Representations

abstract: In comparison to classical shallow representation learning techniques, deep neural networks have achieved superior performance in nearly every application benchmark. But despite their clear empirical advantages, it is still not well understood what makes them so effective. To approach this question, we introduce deep frame approximation: a unifying framework for constrained representation learning with structured overcomplete frames. While exact inference requires iterative optimization, it may be approximated by the operations of a feed-forward deep neural network. We indirectly analyze how model capacity relates to frame structures induced by architectural hyperparameters such as depth, width, and skip connections. We quantify these structural differences with the deep frame potential, a data-independent measure of coherence linked to representation uniqueness and stability. As a criterion for model selection, we show correlation with generalization error on a variety of common deep network architectures and datasets. We also demonstrate how recurrent networks implementing iterative optimization algorithms can achieve performance comparable to their feed-forward approximations while improving adversarial robustness. This connection to the established theory of overcomplete representations suggests promising new directions for principled deep network architecture design with less reliance on ad-hoc engineering.


title: Stochastic Electron Acceleration by Temperature Anisotropy Instabilities Under Solar Flare Plasma Conditions

abstract: Using 2D particle-in-cell (PIC) plasma simulations we study electron acceleration by temperature anisotropy instabilities, assuming conditions typical of above-the-loop-top (ALT) sources in solar flares. We focus on the long-term effect of $T_{e,\perp} > T_{e,\parallel}$ instabilities by driving the anisotropy growth during the entire simulation time, through imposing a shearing or a compressing plasma velocity ($T_{e,\perp}$ and $T_{e,\parallel}$ are the temperatures perpendicular and parallel to the magnetic field). This magnetic growth makes $T_{e,\perp}/T_{e,\parallel}$ grow due to electron magnetic moment conservation, and amplifies the ratio $\omega_{ce}/\omega_{pe}$ from $\sim 0.53$ to $\sim 2$ ($\omega_{ce}$ and $\omega_{pe}$ are the electron cyclotron and plasma frequencies, respectively). In the regime $\omega_{ce}/\omega_{pe}\lesssim 1.2-1.7$ the instability is dominated by oblique, quasi-electrostatic (OQES) modes, and the acceleration is inefficient. When $\omega_{ce}/\omega_{pe}$ has grown to $\omega_{ce}/\omega_{pe}\gtrsim 1.2-1.7$, electrons are efficiently accelerated by the inelastic scattering provided by unstable parallel, electromagnetic z (PEMZ) modes. After $\omega_{ce}/\omega_{pe}$ reaches $\sim 2$, the electron energy spectra show nonthermal tails that differ between the shearing and compressing cases. In the shearing case, the tail resembles a power-law of index $\alpha_s \sim$ 2.9 plus a high-energy bump reaching $\sim 300$ keV. In the compressing runs, $\alpha_s \sim$ 3.7 with a spectral break above $\sim 500$ keV. This difference can be explained by the different temperature evolutions in these two types of simulations, suggesting a critical role played by the type of anisotropy driving, $\omega_{ce}/\omega_{pe}$ and the electron temperature in the efficiency of the acceleration.


title: Optimization of wide-band quasi-omnidirectional 1-D photonic structures

abstract: We have designed, optimized, fabricated and characterized highly reflective quasi-omnidirectional (angular range of $0-60^\circ$) multilayered structures with a wide spectral range. Two techniques, chirping (a continuous change in thicknesses) and stacking of Bragg-type sub-structures, have been used to enhance the reflectance with minimum thickness for a given pair of refractive indices. Numerical calculations were carried out employing the transfer matrix method and we optimized the design parameters to obtain maximal reflectance averaged over different spectral ranges for all angles. We fabricated some of the optimized structures with porous silicon dielectric multilayers with low refractive contrast and compared their measured optical properties with the calculations. Two chirped structures with thicknesses 21.6 $\mu$m and 60.4 $\mu$m, resulting in quasi omnidirectional mirrors with bandwidths of 360 nm and 1800 nm, centered at 1160 nm and 1925 nm respectively have been shown. In addition, we fabricated a stacked sub-Bragg mirror structure with a quasi omnidirectional bandwidth of 1800 nm (centered at 1850 nm) and a thickness of 41.5 $\mu$m, which is almost two third (in thickness) of the chirped structure. Thus, our techniques allowed us to obtain relatively thin quasi-omnidirectional mirrors with wide bands over different wavelength ranges. Our analysis techniques can be used for the optimization of the reflectance not only in multilayered PS systems with different refractive index contrasts but also for systems with other types of materials with low refractive index contrast. The present study could also be useful for obtaining omnidirectional dielectric mirrors in large spectral regions using different materials, flat focusing reflectors, thermal regulators, or, if defects are included, as filters or remote chemical/biosensors with a wide angular independent response.


title: X-ray spectroscopy in the microcalorimeter era III: line formation under Case A, Case B, Case C, and Case D in H- and He-like iron for a photoionized cloud

abstract: Future microcalorimeter X-ray observations will resolve spectral features in unmatched detail. Understanding the line formation processes in the X-rays deserves much attention. The purpose of this paper is to discuss such processes in the presence of a photoionizing source. Line formation processes in one and two-electron species are broadly categorized into four cases. Case A occurs when the Lyman line optical depths are very small and photoexcitation does not occur. Line photons escape the cloud without any scattering. Case B occurs when the Lyman-line optical depths are large enough for photons to undergo multiple scatterings. Case C occurs when a broadband continuum source strikes an optically thin cloud. The Lyman lines are enhanced by induced radiative excitation of the atoms/ions by continuum photons, also known as continuum pumping. A fourth less-studied scenario, where the Case B spectrum is enhanced by continuum pumping, is called Case D. Here, we establish the mathematical foundation of Cases A, B, C, and D in an irradiated cloud with Cloudy. We also show the total X-ray emission spectrum for all four cases within the energy range 0.1 - 10 keV at the resolving power of XRISM around 6 keV. Additionally, we show that a combined effect of electron scattering and partial blockage of continuum pumping reduces the resonance line intensities. Such reduction increases with column density and can serve as an important tool to measure the column density/optical depth of the cloud.


title: Large-scale holographic particle 3D imaging with the beam propagation model

abstract: We develop a novel algorithm for large-scale holographic reconstruction of 3D particle fields. Our method is based on a multiple-scattering beam propagation method (BPM) combined with sparse regularization that enables recovering dense 3D particles of high refractive index contrast from a single hologram. We show that the BPM-computed hologram generates intensity statistics closely matching with the experimental measurements and provides up to 9$\times$ higher accuracy than the single-scattering model. To solve the inverse problem, we devise a computationally efficient algorithm, which reduces the computation time by two orders of magnitude as compared to the state-of-the-art multiple-scattering-based technique. We demonstrate superior reconstruction accuracy in both simulations and experiments under different scattering strengths. We show that the BPM reconstruction significantly outperforms the single-scattering method in particular for deep imaging depths and high particle densities.


title: A Resourceful Coordination Approach for Multilevel Scheduling

abstract: HPC users aim to improve their execution times without particular regard for increasing system utilization. On the contrary, HPC operators favor increasing the number of executed applications per time unit and increasing system utilization. This difference in the preferences promotes the following operational model. Applications execute on exclusively-allocated computing resources for a specific time and applications are assumed to utilize the allocated resources efficiently. In many cases, this operational model is inefficient, i.e., applications may not fully utilize their allocated resources. This inefficiency results in increasing application execution time and decreasing system utilization. In this work, we propose a resourceful coordination approach (RCA) that enables the cooperation between, currently independent, batch- and application-level schedulers. RCA enables application schedulers to share their allocated but idle computing resources with other applications through the batch system. The effective system performance (ESP) benchmark is used to assess the proposed approach. The results show that RCA increased system utilization up to 12.6% and decreased system makespan by the same percent without affecting applications' performance.


title: Binary Signed-Digit Integers, the Stern Diatomic Sequence and Stern Polynomials

abstract: Stern's diatomic sequence is a well-studied and simply defined sequence with many fascinating characteristics. The binary signed-digit (BSD) representation of integers is used widely in efficient computation, coding theory and other applications. We link these two objects, showing that the number of $i$-bit binary signed-digit representations of an integer $n<2^i$ is the $(2^i-n)^\text{th}$ element in Stern's diatomic sequence. This correspondence makes the vast range of results known about the Stern diatomic sequence available for consideration in the study of binary signed-digit integers, and vice versa. Applications of this relationship discussed in this paper include a weight-distribution theorem for BSD representations, linking these representations to Stern polynomials, a recursion for the number of optimal BSD representations of an integer along with their Hamming weight, stemming from an easy recursion for the leading coefficients and degrees of Stern polynomials, and the identification of all integers having a maximal number of such representations.


title: Detectability of "Merger-nova" emission from a long-lived magnetar in short gamma-ray bursts

abstract: One possible progenitor of short gamma-ray bursts (GRBs) is thought to be from a double neutron star (NS) merger, and the remnant of such a merger may be a supramassive NS, which is supported by rigid rotation and through its survival of hundreds of seconds before collapsing into a black hole (BH). If this is the case, an optical/infrared transient (namely merger-nova) is generated from the ejected materials and it is powered by radioactive decay from $r$-process, spin-down energy from a supramassive NS, as well as the magnetic wind from a newborn BH. In this paper, we systematically search for the signature of a supramassive NS central engine by analyzing the X-ray emission of short GRBs with internal plateau observed by {\em Swift}, and we find that five candidates of short GRBs have such feature with redshift measurement. Then, we calculate the possible merger-nova emission from those candidates for given the typical model parameters by considering the above three energy sources, and compare its brightness with the sensitivity of some optical telescopes. We find that the merger-nova emission of GRB 060801 in K-, r-, and U-bands with variations of $M_{\rm ej}$ ($10^{-4}-10^{-2} M_{\odot}$), $\kappa$ ($0.1-10 ~\rm cm^{2}~g^{-1}$), and $\beta$ ($0.1-0.3$) is very difficult to detect using the Vera C. Rubin, Panoramic Survey Telescope and Rapid Response System (Pan-STARRS), the Zwicky Transient Facility, and the Roman Space Telescope (Roman), except for the case of large ejecta mass $M_{\rm ej}=10^{-2} M_{\odot}$. However, we are very hopeful to detect the merger-nova emission of GRBs 090515, 100625A, and 101219A using more sensitive instruments, such as Vera C. Rubin, Pan-STARRS, and Roman. Moreover, the merger-nova emission of GRB 160821B is bright enough to detect in our calculations, and it is also consistent with current real observations of merger-nova emission.


title: Fast Beam Training and Alignment for IRS-Assisted Millimeter Wave/Terahertz Systems

abstract: Intelligent reflecting surface (IRS) has emerged as a competitive solution to address blockage issues in millimeter wave (mmWave) and Terahertz (THz) communications due to its capability of reshaping wireless transmission environments. Nevertheless, obtaining the channel state information of IRS-assisted systems is quite challenging because of the passive characteristics of the IRS. In this paper, we consider the problem of beam training/alignment for IRS-assisted downlink mmWave/THz systems, where a multi-antenna base station (BS) with a hybrid structure serves a single-antenna user aided by IRS. By exploiting the inherent sparse structure of the BS-IRS-user cascade channel, the beam training problem is formulated as a joint sparse sensing and phaseless estimation problem, which involves devising a sparse sensing matrix and developing an efficient estimation algorithm to identify the best beam alignment from compressive phaseless measurements. Theoretical analysis reveals that the proposed method can identify the best alignment with only a modest amount of training overhead. Simulation results show that, for both line-of-sight (LOS) and NLOS scenarios, the proposed method obtains a significant performance improvement over existing state-of-art methods. Notably, it can achieve performance close to that of the exhaustive beam search scheme, while reducing the training overhead by 95%.


title: Sharp estimates of noncommutative Bochner-Riesz means on two-dimensional quantum tori

abstract: In this paper, we establish the full $L_p$ boundedness of noncommutative Bochner-Riesz means on two-dimensional quantum tori, which completely resolves an open problem raised in \cite{CXY13} in the sense of the $L_p$ convergence for two dimensions. The main ingredients are sharp estimates of noncommutative Kakeya maximal functions and geometric estimates in the plane. We make the most of noncommutative theories of maximal/square functions, together with microlocal decompositions in both proofs of sharper estimates of Kakeya maximal functions and Bochner-Riesz means.


title: Ramsey numbers of large books

abstract: A book $B_n$ is a graph which consists of $n$ triangles sharing a common edge. In 1978, Rousseau and Sheehan conjectured that the Ramsey number satisfies $r(B_m,B_n)\le 2(m+n)+c$ for some constant $c>0$. In this paper, we obtain that $r(B_m, B_n)\le 2(m+n)+o(n)$ for all $m\le n$ and $n$ large, which confirms the conjecture of Rousseau and Sheehan asymptotically. As a corollary, our result implies that a related conjecture of Faudree, Rousseau and Sheehan (1982) on strongly regular graph holds asymptotically.


title: Tell Me Why You Feel That Way: Processing Compositional Dependency for Tree-LSTM Aspect Sentiment Triplet Extraction (TASTE)

abstract: Sentiment analysis has transitioned from classifying the sentiment of an entire sentence to providing the contextual information of what targets exist in a sentence, what sentiment the individual targets have, and what the causal words responsible for that sentiment are. However, this has led to elaborate requirements being placed on the datasets needed to train neural networks on the joint triplet task of determining an entity, its sentiment, and the causal words for that sentiment. Requiring this kind of data for training systems is problematic, as they suffer from stacking subjective annotations and domain over-fitting leading to poor model generalisation when applied in new contexts. These problems are also likely to be compounded as we attempt to jointly determine additional contextual elements in the future. To mitigate these problems, we present a hybrid neural-symbolic method utilising a Dependency Tree-LSTM's compositional sentiment parse structure and complementary symbolic rules to correctly extract target-sentiment-cause triplets from sentences without the need for triplet training data. We show that this method has the potential to perform in line with state-of-the-art approaches while also simplifying the data required and providing a degree of interpretability through the Tree-LSTM.


title: Characterization of Graphs with Villainy 2

abstract: Let $f$ be an optimal proper coloring of a graph $G$ and let $c$ be a coloring of the vertices of $G$ obtained by permuting the colors on vertices in the proper coloring $f$. The villainy of $c$, written $B(c)$, is the minimum number of vertices that must be recolored to obtain a proper coloring of $G$ with the additional condition that the number of times each color is used does not change. The villainy of $G$ is defined as $B(G)=max_{c}B(c)$, over all optimal proper colorings of $G$. In this paper, we characterize graphs $G$ with $B(G)=2$.


title: Electric-dipole-induced resonance and decoherence of a dressed spin in a quantum dot

abstract: Electron spin qubit in a quantum dot has been studied extensively for scalable quantum information processing over the past two decades. Recently, high-fidelity and fast single-spin control and strong spin-photon coupling have been demonstrated using a synthetic spin-orbit coupling created by a micromagnet. Such strong electrical driving suggests a strongly coupled spin-photon system. Here we study the relaxation, pure dephasing, and electrical manipulation of a dressed-spin qubit based on a driven single electron in a quantum dot. We find that the pure dephasing of a dressed qubit due to charge noise can be suppressed substantially at a sweet spot of the dressed qubit. The relaxation at low magnetic fields exhibits non-monotonic behavior due to the energy compensation from the driving field. Moreover, the longitudinal component of the synthetic spin-orbit field could provide fast electric-dipole-induced dressed-spin resonance (EDDSR). Based on the slow dephasing and fast EDDSR, we further propose a scheme for dressed-spin-based semiconductor quantum computing.


title: Machine Learning for Vortex Induced Vibration in Turbulent Flow

abstract: Vortex induced vibration (VIV) occurs when vortex shedding frequency falls close to the natural frequency of a structure. Investigation on VIV is of great value in disaster mitigation, energy extraction and other applications. Following recent development in machine learning on VIV in laminar flow, this study extends it to the turbulent region by employing the state-of-the-art parameterised Navier-Stokes equations based physics informed neural network (PNS-PINN). Turbulent flow with Reynolds number $Re$ = $10^4$, passing through a cylinder undergoing VIV motion, was considered as an example. Within the PNS-PINN, an artificial viscosity $\nu_t$ is introduced in the Navier-Stokes equations and treated as a hidden output variable. A recently developed Navier-Stokes equations based PINN, termed NSFnets (Jin \textit{et al.}, J COMPUT PHYS 426: 109951, 2021), was also considered for comparison. Training datasets of scattered velocity and dye trace concentration snapshots, from computational fluid dynamics (CFD) simulations, were prepared for both the PNS-PINN and NSFnets. Results show that, compared with the NSFnets, the PNS-PINN is more effective in inferring and reconstructing turbulent flow under VIV circumstances. The PNS-PINN also shows the capability to deal with unsteady and multi-scale flows in VIV. Inspired by the Reynolds-Averaged Navier-Stokes (RANS) formulation, by implanting an additional artificial viscosity, the PNS-PINN is free of complex turbulence model closure, thus may be applied for more general and complex turbulent flows.


title: Active Exploration and Mapping via Iterative Covariance Regulation over Continuous $SE(3)$ Trajectories

abstract: This paper develops \emph{iterative Covariance Regulation} (iCR), a novel method for active exploration and mapping for a mobile robot equipped with on-board sensors. The problem is posed as optimal control over the $SE(3)$ pose kinematics of the robot to minimize the differential entropy of the map conditioned the potential sensor observations. We introduce a differentiable field of view formulation, and derive iCR via the gradient descent method to iteratively update an open-loop control sequence in continuous space so that the covariance of the map estimate is minimized. We demonstrate autonomous exploration and uncertainty reduction in simulated occupancy grid environments.


title: Evidences for the random singlet phase in a new honeycomb iridate SrIr$_2$O$_{6-\delta}$

abstract: Strong spin-orbital-coupling magnetic systems with the honeycomb structure can provide bond-directional interactions which may result in Kitaev quantum spin liquids and exotic anyonic excitations. However, one of the key ingredients in real materials$-$disorders$-$has been much less studied in Kitaev systems. Here we synthesized a trigonal SrIr$_2$O$_{6-\delta}$ with $\delta \approx 0.25$, which consists of two-dimensional honeycomb Ir planes with edge-sharing IrO$_6$ octahedra. First-principles computation and experimental measurements suggest that the electronic system is gapped, and there should be no magnetic moment as the Ir$^{5+}$ ion has no unpaired electrons. However, significant magnetism has been observed in the material, and it can be attributed to disorders that are most likely from oxygen vacancies. No magnetic order is found down to 0.05 K, and the low-temperature magnetic properties exhibit power-law behaviors in magnetic susceptibility and zero-field specific heat, and a single-parameter scaling of the specific heat under magnetic fields. These results provide strong evidence for the existence of the random singlet phase in SrIr$_2$O$_{6-\delta}$, which offers a different member to the family of spin-orbital entangled iridates and Kitaev materials.


title: Mapping the phase diagram of the quantum anomalous Hall and topological Hall effects in a dual-gated magnetic topological insulator heterostructure

abstract: We use magnetotransport in dual-gated magnetic topological insulator heterostructures to map out a phase diagram of the topological Hall and quantum anomalous Hall effects as a function of the chemical potential (primarily determined by the back gate voltage) and the asymmetric potential (primarily determined by the top gate voltage). A theoretical model that includes both surface states and valence band quantum well states allows the evaluation of the variation of the Dzyaloshinskii-Moriya interaction and carrier density with gate voltages. The qualitative agreement between experiment and theory provides strong evidence for the existence of a topological Hall effect in the system studied, opening up a new route for understanding and manipulating chiral magnetic spin textures in real space.


title: Compression of Far-Fields in the Fast Multipole Method via Tucker Decomposition

abstract: Tucker decomposition is proposed to reduce the memory requirement of the far-fields in the fast multipole method (FMM)-accelerated surface integral equation simulators. It is particularly used to compress the far-fields of FMM groups, which are stored in three-dimensional (3-D) arrays (or tensors). The compressed tensors are then used to perform fast tensor-vector multiplications during the aggregation and disaggregation stages of the FMM. For many practical scenarios, the proposed Tucker decomposition yields a significant reduction in the far-fields' memory requirement while dramatically accelerating the aggregation and disaggregation stages. For the electromagnetic scattering analysis of a 30{\lambda}-diameter sphere, it reduces the memory requirement of the far-fields more than 87% while it expedites the aggregation and disaggregation stages by a factor of 15.8 and 15.2, respectively, where {\lambda} is the wavelength in free space.


title: Fast and flexible: Human program induction in abstract reasoning tasks

abstract: The Abstraction and Reasoning Corpus (ARC) is a challenging program induction dataset that was recently proposed by Chollet (2019). Here, we report the first set of results collected from a behavioral study of humans solving a subset of tasks from ARC (40 out of 1000). Although this subset of tasks contains considerable variation, our results showed that humans were able to infer the underlying program and generate the correct test output for a novel test input example, with an average of 80% of tasks solved per participant, and with 65% of tasks being solved by more than 80% of participants. Additionally, we find interesting patterns of behavioral consistency and variability within the action sequences during the generation process, the natural language descriptions to describe the transformations for each task, and the errors people made. Our findings suggest that people can quickly and reliably determine the relevant features and properties of a task to compose a correct solution. Future modeling work could incorporate these findings, potentially by connecting the natural language descriptions we collected here to the underlying semantics of ARC.


title: A Cyber-Physical Perspective to Pinning-Decision for Distributed Multi-Agent Control in Microgrid against Stochastic Communication Disruptions

abstract: In this study, we propose a decision-making strategy for pinning-based distributed multi-agent (PDMA) automatic generation control (AGC) in islanded microgrids against stochastic communication disruptions. The target microgrid is construed as a cyber-physical system, wherein the physical microgrid is modeled as an inverter-interfaced autonomous grid with detailed system dynamic formulation, and the communication network topology is regarded as a cyber-system independent of its physical connection. The primal goal of the proposed method is to decide the minimum number of generators to be pinned and their identities amongst all distributed generators (DGs). The pinningdecisions are made based on complex network theories using the genetic algorithm (GA), for the purpose of synchronizing and regulating the frequencies and voltages of all generator busbars in a PDMA control structure, i.e., without resorting to a central AGC agent. Thereafter, the mapping of cyber-system topology and the pinning decision is constructed using deeplearning (DL) technique, so that the pinning-decision can be made nearly instantly upon detecting a new cyber-system topology after stochastic communication disruptions. The proposed decision-making approach is verified using a 10-generator, 38-bus microgrid through time-domain simulation for transient stability analysis.


abstract: Building agents capable of understanding language instructions is critical to effective and robust human-AI collaboration. Recent work focuses on training these agents via reinforcement learning in environments with synthetic language; however, instructions often define long-horizon, sparse-reward tasks, and learning policies requires many episodes of experience. We introduce ELLA: Exploration through Learned Language Abstraction, a reward shaping approach geared towards boosting sample efficiency in sparse reward environments by correlating high-level instructions with simpler low-level constituents. ELLA has two key elements: 1) A termination classifier that identifies when agents complete low-level instructions, and 2) A relevance classifier that correlates low-level instructions with success on high-level tasks. We learn the termination classifier offline from pairs of instructions and terminal states. Notably, in departure from prior work in language and abstraction, we learn the relevance classifier online, without relying on an explicit decomposition of high-level instructions to low-level instructions. On a suite of complex BabyAI environments with varying instruction complexities and reward sparsity, ELLA shows gains in sample efficiency relative to language-based shaping and traditional RL methods.


title: Membership of Stars in Open Clusters using Random Forest with Gaia Data

abstract: Membership of stars in open clusters is one of the most crucial parameters in studies of star clusters. Gaia opened a new window in the estimation of membership because of its unprecedented 6-D data. In the present study, we used published membership data of nine open star clusters as a training set to find new members from Gaia DR2 data using a supervised random forest model with a precision of around 90\%. The number of new members found is often double the published number. Membership probability of a larger sample of stars in clusters is a major benefit in determination of cluster parameters like distance, extinction and mass functions. We also found members in the outer regions of the cluster and found sub-structures in the clusters studied. The color magnitude diagrams are more populated and enriched by the addition of new members making their study more promising.


title: On Modeling Human Perceptions of Allocation Policies with Uncertain Outcomes

abstract: Many policies allocate harms or benefits that are uncertain in nature: they produce distributions over the population in which individuals have different probabilities of incurring harm or benefit. Comparing different policies thus involves a comparison of their corresponding probability distributions, and we observe that in many instances the policies selected in practice are hard to explain by preferences based only on the expected value of the total harm or benefit they produce. In cases where the expected value analysis is not a sufficient explanatory framework, what would be a reasonable model for societal preferences over these distributions? Here we investigate explanations based on the framework of probability weighting from the behavioral sciences, which over several decades has identified systematic biases in how people perceive probabilities. We show that probability weighting can be used to make predictions about preferences over probabilistic distributions of harm and benefit that function quite differently from expected-value analysis, and in a number of cases provide potential explanations for policy preferences that appear hard to motivate by other means. In particular, we identify optimal policies for minimizing perceived total harm and maximizing perceived total benefit that take the distorting effects of probability weighting into account, and we discuss a number of real-world policies that resemble such allocational strategies. Our analysis does not provide specific recommendations for policy choices, but is instead fundamentally interpretive in nature, seeking to describe observed phenomena in policy choices.


title: Spectrum Congruency of Multiscale Local Patches for Edge Detection

abstract: This paper proposes a novel feature called spectrum congruency for describing edges in images. The spectrum congruency is a generalization of the phase congruency, which depicts how much each Fourier components of the image are congruent in phase. Instead of using fixed bases in phase congruency, the spectrum congruency measures the congruency of the energy distribution of multiscale patches in a data-driven transform domain, which is more adaptable to the input images. Multiscale image patches are used to acquire different frequency components for modeling the local energy and amplitude. The spectrum congruency coincides nicely with human visions of perceiving features and provides a more reliable way of detecting edges. Unlike most existing differential-based multiscale edge detectors which simply combine the multiscale information, our method focuses on exploiting the correlation of the multiscale patches based on their local energy. We test our proposed method on synthetic and real images, and the results demonstrate that our approach is practical and highly robust to noise.


title: Generalized continuation Newton methods and the trust-region updating strategy for the underdetermined system

abstract: This paper considers the generalized continuation Newton method and thetrust-region updating strategy for the underdetermined system of nonlinear equations. Moreover, in order to improve its computational efficiency, the new method will not update the Jacobian matrix when the current Jacobian matrix performs well. The numerical results show that the new method is more robust and faster than the traditional optimization method such as the Levenberg-Marquardt method (a variant of trust-region methods, the built-in subroutine fsolve.m of the MATLAB R2020a environment). The computational time of the new method is about 1/8 to 1/50 of that of fsolve. Furthermore, it also proves the global convergence and the local superlinear convergence of the new method under some standard assumptions.


title: Three supercongruences for Apery numbers or Franel numbers

abstract: The Ap\'ery numbers $A_n$ and the Franel numbers $f_n$ are defined by $$A_n=\sum_{k=0}^{n}{\binom{n+k}{2k}}^2{\binom{2k}{k}}^2\ \ \ \ \ {\rm and }\ \ \ \ \ \ f_n=\sum_{k=0}^{n}{\binom{n}{k}}^3(n=0, 1, \cdots,).$$ In this paper, we prove three supercongruences for Ap\'ery numbers or Franel numbers conjectured by Z.-W. Sun. Let $p\geq 5$ be a prime and let $n\in \mathbb{Z}^{+}$. We show that \begin{align} \notag \frac{1}{n}\bigg(\sum_{k=0}^{pn-1}(2k+1)A_k-p\sum_{k=0}^{n-1}(2k+1)A_k\bigg)\equiv0\pmod{p^{4+3\nu_p(n)}} \end{align} and \begin{align}\notag \frac{1}{n^3}\bigg(\sum_{k=0}^{pn-1}(2k+1)^3A_k-p^3\sum_{k=0}^{n-1}(2k+1)^3A_k\bigg)\equiv0\pmod{p^{6+3\nu_p(n)}}, \end{align} where $\nu_p(n)$ denotes the $p$-adic order of $n$. Also, for any prime $p$ we have \begin{align} \notag \frac{1}{n^3}\bigg(\sum_{k=0}^{pn-1}(3k+2)(-1)^kf_k-p^2\sum_{k=0}^{n-1}(3k+2)(-1)^kf_k\bigg)\equiv0\pmod{p^{3}}. \end{align}


title: Thermal control across a chain of electronic nanocavities

abstract: We study a chain of alternating hot and cold electronic nanocavities -- connected to one another via resonant-tunneling quantum dots -- with the intent of achieving precise thermal control across the chain. This is accomplished by positioning the dots' energy levels such that a predetermined distribution of heat currents is realized across the chain in the steady state. The number of electrons in each cavity is conserved in the steady state which constrains the cavities' chemical potentials. We determine these chemical potentials analytically in the linear response regime where the energy differences between the dots' resonant levels and the neighboring chemical potentials are much smaller than the thermal energy. In this regime, the thermal control problem can be solved exactly, while, in the general case, thermal control can only be achieved in a relative sense, that is, when one only preassigns the ratios between different heat currents. We apply our results to two different cases: We first demonstrate that a "heat switch" can be easily realized with three coupled cavities, then we show that our linear response results can provide accurate results in situations with a large number of cavities.


title: Motional squeezing for trapped ion transport and separation

abstract: Transport, separation, and merging of trapped ion crystals are essential operations for most large-scale quantum computing architectures. In this work, we develop a theoretical framework that describes the dynamics of ions in time-varying potentials with a motional squeeze operator, followed by a motional displacement operator. Using this framework, we develop a new, general protocol for trapped ion transport, separation, and merging. We show that motional squeezing can prepare an ion wave packet to enable transfer from the ground state of one trapping potential to another. The framework and protocol are applicable if the potential is harmonic over the extent of the ion wave packets at all times. As illustrations, we discuss two specific operations: changing the strength of the confining potential for a single ion, and separating same-species ions with their mutual Coulomb force. Both of these operations are, ideally, free of residual motional excitation.


title: Towards Strengthening Deep Learning-based Side Channel Attacks with Mixup

abstract: In recent years, various deep learning techniques have been exploited in side channel attacks, with the anticipation of obtaining more appreciable attack results. Most of them concentrate on improving network architectures or putting forward novel algorithms, assuming that there are adequate profiling traces available to train an appropriate neural network. However, in practical scenarios, profiling traces are probably insufficient, which makes the network learn deficiently and compromises attack performance. In this paper, we investigate a kind of data augmentation technique, called mixup, and first propose to exploit it in deep-learning based side channel attacks, for the purpose of expanding the profiling set and facilitating the chances of mounting a successful attack. We perform Correlation Power Analysis for generated traces and original traces, and discover that there exists consistency between them regarding leakage information. Our experiments show that mixup is truly capable of enhancing attack performance especially for insufficient profiling traces. Specifically, when the size of the training set is decreased to 30% of the original set, mixup can significantly reduce acquired attacking traces. We test three mixup parameter values and conclude that generally all of them can bring about improvements. Besides, we compare three leakage models and unexpectedly find that least significant bit model, which is less frequently used in previous works, actually surpasses prevalent identity model and hamming weight model in terms of attack results.