title: Diplomat: A conversational agent framework for goal-oriented group discussion

abstract: Recent work in human-computer interaction has explored the use of conversational agents as facilitators for group goal-oriented discussions. Inspired by this work and by the apparent lack of tooling available to support it, we created Diplomat, a Python-based framework for building conversational agent facilitators. Diplomat is designed to support simple specification of agent functionality as well as customizable integration with online chat services. We document a preliminary user study we conducted to help inform the design of Diplomat. We also describe the architecture, capabilities, and limitations of our tool, which we have shared on GitHub.


title: A very early origin of isotopically distinct nitrogen in inner Solar System protoplanets

abstract: Understanding the origin of life-essential volatiles like N in the Solar System and beyond is critical to evaluate the potential habitability of rocky planets. Whether the inner Solar System planets accreted these volatiles from their inception or had an exogenous delivery from the outer Solar System is, however, not well understood. Using previously published data of nucleosynthetic anomalies of Ni, Mo, W and Ru in iron meteorites along with their 15N-14N ratios, here we show that the earliest formed protoplanets in the inner and outer protoplanetary disk accreted isotopically distinct N. While the Sun and Jupiter captured N from nebular gas, concomitantly growing protoplanets in the inner and outer disk possibly sourced their N from organics and/or dust - with each reservoir having a different N isotopic composition. A distinct N isotopic signature of the inner Solar System protoplanets coupled with their rapid accretion suggests that non-nebular, isotopically processed N was ubiquitous in their growth zone at 0-0.3 Myr after the formation of CAIs. Because 15N-14N ratio of the bulk silicate Earth falls between that of inner and outer Solar System reservoirs, we infer that N in the present-day rocky planets represents a mixture of both inner and outer Solar System material.


title: A Unified Power-Setpoint Tracking Algorithm for Utility-Scale PV Systems with Power Reserves and Fast Frequency Response Capabilities

abstract: This paper presents a fast power-setpoint tracking algorithm to enable utility-scale photovoltaic (PV) systems to provide high quality grid services such as power reserves and fast frequency response. The algorithm unites maximum power-point estimation (MPPE) with flexible power-point tracking (FPPT) control to improve the performance of both algorithms, achieving fast and accurate PV power-setpoint tracking even under rapid solar irradiance changes. The MPPE is developed using a real-time, nonlinear curve-fitting approach based on the Levenberg-Marquardt algorithm. A modified adaptive FPPT based on the Perturb and Observe technique is developed for the power-setpoint tracking. By using MPPE to decouple the impact of irradiance changes on the measured PV output power, we develop a fast convergence technique for tracking power-reference changes within three FPPT iterations. Furthermore, to limit the maximum output power ripple, a new design is introduced for the steady-state voltage step size of the adaptive FPPT. The proposed algorithm is implemented on a testbed consisting of a 500 kVA three-phase, single-stage, utility-scale PV system on the OPAL-RT eMEGASIM platform. Results show that the proposed method outperforms the state-of-the-art.


title: Dirac procedure and the Hamiltonian formalism for cosmological perturbations in a Bianchi I universe

abstract: We apply the Dirac procedure for constrained systems to the Arnowitt-Deser-Misner formalism linearized around the Bianchi I universe. We discuss and employ basic concepts such as Dirac observables, Dirac brackets, gauge-fixing conditions, reduced phase space, physical Hamiltonian, canonical isomorphism between different gauge-fixing surfaces and spacetime reconstruction. We relate this approach to the gauge-fixing procedure for non-perturbative canonical relativity. We discuss the issue of propagating a basis for the scalar-vector-tensor decomposition as, in an anisotropic universe, the wavefronts of plane waves undergo a nontrivial evolution. We show that the definition of a gravitational wave as a traceless-transverse mode of the metric perturbation needs to be revised. Moreover there exist coordinate systems in which a polarization mode of the gravitational wave is given entirely in terms of a scalar metric perturbation. We first develop the formalism for the universe with a single scalar field and then extend it to the multi-field case. The obtained fully canonical formalism will serve as a starting point for a complete quantization of the cosmological perturbations and the cosmological background.


title: Multi-version Tensor Completion for Time-delayed Spatio-temporal Data

abstract: Real-world spatio-temporal data is often incomplete or inaccurate due to various data loading delays. For example, a location-disease-time tensor of case counts can have multiple delayed updates of recent temporal slices for some locations or diseases. Recovering such missing or noisy (under-reported) elements of the input tensor can be viewed as a generalized tensor completion problem. Existing tensor completion methods usually assume that i) missing elements are randomly distributed and ii) noise for each tensor element is i.i.d. zero-mean. Both assumptions can be violated for spatio-temporal tensor data. We often observe multiple versions of the input tensor with different under-reporting noise levels. The amount of noise can be time- or location-dependent as more updates are progressively introduced to the tensor. We model such dynamic data as a multi-version tensor with an extra tensor mode capturing the data updates. We propose a low-rank tensor model to predict the updates over time. We demonstrate that our method can accurately predict the ground-truth values of many real-world tensors. We obtain up to 27.2% lower root mean-squared-error compared to the best baseline method. Finally, we extend our method to track the tensor data over time, leading to significant computational savings.


title: Physical characteristics of glasma from the earliest stage of relativistic heavy ion collisions

abstract: We present analytic results that describe the gluon field, or glasma, at very early times after a collision of relativistic heavy ions at proper time $\tau=0$. We use a Colour Glass Condensate approach, and perform an expansion in $\tau$. The full details of our method are described in our previous paper [1]. In this paper we present an analysis of various physical quantities that can be obtained from the energy-momentum tensor. We show that the expansion to order $\tau^6$ can be trusted to about $\tau=0.05$ fm. For times small enough that the expansion converges, the transverse and longitudinal pressures move towards their equilibrium values of one third of the energy density. The Fourier coefficients of the azimuthal flow are larger than expected, which contradicts the usual assumption that anisotropy is mostly generated during the hydrodynamic evolution of the plasma. We find a significant correlation between the elliptic flow coefficient and the eccentricity, which indicates that the spatial asymmetry introduced by the initial geometry is effectively transmitted to the azimuthal distribution of the gluon momentum field, even at very early times. This result is interesting because correlations of this kind are characteristic of the onset of hydrodynamic behaviour. We show that the angular momentum of the glasma is orders of magnitude smaller than the angular momentum of the initial system of ions colliding with non-zero impact parameter. This indicates that most of the angular momentum carried by the valence quarks is not transmitted to the glasma, and contradicts the picture of a rapidly rotating initial glasma state that has been proposed by several authors, but agrees with the current lack of experimental evidence for a significant polarization effect of the hyperons and vector mesons produced in heavy ion collisions at the highest accessible energies.


title: Comparing interpretability and explainability for feature selection

abstract: A common approach for feature selection is to examine the variable importance scores for a machine learning model, as a way to understand which features are the most relevant for making predictions. Given the significance of feature selection, it is crucial for the calculated importance scores to reflect reality. Falsely overestimating the importance of irrelevant features can lead to false discoveries, while underestimating importance of relevant features may lead us to discard important features, resulting in poor model performance. Additionally, black-box models like XGBoost provide state-of-the art predictive performance, but cannot be easily understood by humans, and thus we rely on variable importance scores or methods for explainability like SHAP to offer insight into their behavior. In this paper, we investigate the performance of variable importance as a feature selection method across various black-box and interpretable machine learning methods. We compare the ability of CART, Optimal Trees, XGBoost and SHAP to correctly identify the relevant subset of variables across a number of experiments. The results show that regardless of whether we use the native variable importance method or SHAP, XGBoost fails to clearly distinguish between relevant and irrelevant features. On the other hand, the interpretable methods are able to correctly and efficiently identify irrelevant features, and thus offer significantly better performance for feature selection.


title: On Ohm's law in reduced plasma fluid models

abstract: Drift-reduced MHD models are widely used to study magnetised plasma phenomena, in particular for magnetically confined fusion applications, as well as in solar and astrophysical research. This letter discusses the choice of Ohm's law in these models, the resulting dispersion relations for the dynamics parallel to the magnetic field, and the implications for numerical simulations. We find that if electron pressure is included in Ohm's law, then both electromagnetic and finite electron mass effects must also be included in order to obtain physical dispersion relations. A simple modification to the plasma vorticity is also found which improves handling of low density regions, of particular relevance to the simulation of the boundary region of magnetised plasmas.


title: Neuro-Symbolic Artificial Intelligence: Current Trends

abstract: Neuro-Symbolic Artificial Intelligence -- the combination of symbolic methods with methods that are based on artificial neural networks -- has a long-standing history. In this article, we provide a structured overview of current trends, by means of categorizing recent publications from key conferences. The article is meant to serve as a convenient starting point for research on the general topic.


title: Nitrogenated CQD decorated ZnO nanorods towards rapid photodegradation of rhodamine B: a combined experimental and theoretical approach

abstract: In this work, hybridization of nonmetal nitrogen-doped carbon dots (NCQDs) with ZnO nanorods (NRs) is utilized towards better photocatalytic degradation of rhodamine B under ultraviolet (UV) irradiation. The structural characterization is confirmed by XRD, XPS, FTIR and HRTEM measurements, while, optical properties have been investigated using UV-visible absorbance spectroscopy and photoluminescence study. The dye degradation using ZnO NR is recorded as ~69%, while the performance of ZnO/NCQD climbs up to ~90%, after nine minutes of UV irradiation. Furthermore, the reusability test suggests better stability of ZnO/NCQD than bare ZnO under photocorrosion. The cyclic voltammetry study confirms that the photoinduced electron-hole pairs originate from the heterojunction established between the interfaces of NCQD and ZnO. An insight on the photocatalytic excellence of ZnO/NCQD system is drawn from the density functional theory study. This indicates that appropriate band alignment of the heterostructure constituents is the key factor in this experimental attempt towards environment remedy.


title: The DEVIL is in the Details: A Diagnostic Evaluation Benchmark for Video Inpainting

abstract: Quantitative evaluation has increased dramatically among recent video inpainting work, but the video and mask content used to gauge performance has received relatively little attention. Although attributes such as camera and background scene motion inherently change the difficulty of the task and affect methods differently, existing evaluation schemes fail to control for them, thereby providing minimal insight into inpainting failure modes. To address this gap, we propose the Diagnostic Evaluation of Video Inpainting on Landscapes (DEVIL) benchmark, which consists of two contributions: (i) a novel dataset of videos and masks labeled according to several key inpainting failure modes, and (ii) an evaluation scheme that samples slices of the dataset characterized by a fixed content attribute, and scores performance on each slice according to reconstruction, realism, and temporal consistency quality. By revealing systematic changes in performance induced by particular characteristics of the input content, our challenging benchmark enables more insightful analysis into video inpainting methods and serves as an invaluable diagnostic tool for the field. Our code and data are available at https://github.com/MichiganCOG/devil .


title: The overfullness of graphs with small minimum degree and large maximum degree

abstract: Given a simple graph $G$, denote by $\Delta(G)$, $\delta(G)$, and $\chi'(G)$ the maximum degree, the minimum degree, and the chromatic index of $G$, respectively. We say $G$ is \emph{$\Delta$-critical} if $\chi'(G)=\Delta(G)+1$ and $\chi'(H)\le \Delta(G)$ for every proper subgraph $H$ of $G$; and $G$ is \emph{overfull} if $|E(G)|>\Delta \lfloor |V(G)|/2 \rfloor$. Since a maximum matching in $G$ can have size at most $\lfloor |V(G)|/2 \rfloor$, it follows that $\chi'(G) = \Delta(G) +1$ if $G$ is overfull. Conversely, let $G$ be a $\Delta$-critical graph. The well known overfull conjecture of Chetwynd and Hilton asserts that $G$ is overfull provided $\Delta(G) > |V(G)|/3$. In this paper, we show that any $\Delta$-critical graph $G$ is overfull if $\Delta(G) - 7\delta(G)/4\ge(3|V(G)|-17)/4$.


title: Coupling from the Past for the Stochastic Simulation of Chemical Reaction Networks

abstract: Chemical reaction networks (CRNs) are fundamental computational models used to study the behavior of chemical reactions in well-mixed solutions. They have been used extensively to model a broad range of biological systems, and are primarily used when the more traditional model of deterministic continuous mass action kinetics is invalid due to small molecular counts. We present a perfect sampling algorithm to draw error-free samples from the stationary distributions of stochastic models for coupled, linear chemical reaction networks. The state spaces of such networks are given by all permissible combinations of molecular counts for each chemical species, and thereby grow exponentially with the numbers of species in the network. To avoid simulations involving large numbers of states, we propose a subset of chemical species such that coupling of paths started from these states guarantee coupling of paths started from all states in the state space and we show for the well-known Reversible Michaelis-Menten model that the subset does in fact guarantee perfect draws from the stationary distribution of interest. We compare solutions computed in two ways with this algorithm to those found analytically using the chemical master equation and we compare the distribution of coupling times for the two simulation approaches.


title: Robust Inference on Income Inequality: $t$-Statistic Based Approaches

abstract: Empirical analyses on income and wealth inequality and those in other fields in economics and finance often face the difficulty that the data is heterogeneous, heavy-tailed or correlated in some unknown fashion. The paper focuses on applications of the recently developed \textit{t}-statistic based robust inference approaches in the analysis of inequality measures and their comparisons under the above problems. Following the approaches, in particular, a robust large sample test on equality of two parameters of interest (e.g., a test of equality of inequality measures in two regions or countries considered) is conducted as follows: The data in the two samples dealt with is partitioned into fixed numbers $q_1, q_2\ge 2$ (e.g., $q_1=q_2=2, 4, 8$) of groups, the parameters (inequality measures dealt with) are estimated for each group, and inference is based on a standard two-sample $t-$test with the resulting $q_1, q_2$ group estimators. Robust $t-$statistic approaches result in valid inference under general conditions that group estimators of parameters (e.g., inequality measures) considered are asymptotically independent, unbiased and Gaussian of possibly different variances, or weakly converge, at an arbitrary rate, to independent scale mixtures of normal random variables. These conditions are typically satisfied in empirical applications even under pronounced heavy-tailedness and heterogeneity and possible dependence in observations. The methods dealt with in the paper complement and compare favorably with other inference approaches available in the literature. The use of robust inference approaches is illustrated by an empirical analysis of income inequality measures and their comparisons across different regions in Russia.


title: Efficient Solution Strategy for Chance-Constrained Optimal Power Flow based on FAST and Data-driven Convexification

abstract: The uncertainty of multiple power loads and renewable energy generations (PLREG) in power systems increases the complexity of power flow analysis for decision-makers. The chance-constrained method can be applied to model the optimization problems of power flow under uncertainty. This paper develops a novel solution approach for chance-constrained AC optimal power flow (CCACOPF) problem based on the data-driven convexification of power flow and a fast algorithm for scenario technique (FAST). This method is computationally effective for mainly two reasons. First, the original nonconvex AC power flow (ACPF) constraints are approximated by a set of learning-based quadratic convex ones. Second, FAST is an advanced scenario-based solution method (SSM) that doesn't rely on the pre-assumed probability distribution, using far less scenarios than the conventional SSM. Eventually, the CCACOPF is converted into a computationally tractable convex optimization problem. The simulation results on IEEE test cases indicate that 1) the proposed solution method can outperform the conventional SSM in computational efficiency, 2) the data-driven convexification of power flow is effective in approximating original complex AC power flow.


title: Constraining Mach's principle with high precision astrometry

abstract: The analyses of high precision astrometric surveys, such as Gaia, implicitly assume a modern version of Mach's Principle: the local inertial frame of our Solar System should be non-rotating in the frame of distant quasars. On the contrary, Einstein's General Relativity allows a rotating universe. Thus, relaxing the assumption of Mach's Principle will allow placing a constraint on a class of rotating cosmologies by comparing high precision astrometry of quasars with well-measured solar system orbits. Constraining global rotation will test General Relativity, inflation, and the isotropy of cosmological initial conditions.


title: SmartOil: Blockchain and smart contract-based oil supply chain management

abstract: The traditional oil supply chain suffers from various shortcomings regarding crude oil extraction, processing, distribution, environmental pollution, and traceability. It offers an only a forward flow of products with almost no security and tracking process. In time, the system will lag behind due to the limitations in quality inspection, fraudulent information, and monopolistic behavior of supply chain entities. Inclusion of counterfeiting products and opaqueness of the system urge renovation in this sector. The recent evolution of Industry 4.0 leads to the alternation in the supply chain introducing the smart supply chain. Technological advancement can now reshape the infrastructure of the supply chain for the future. In this paper, we suggest a conceptual framework utilizing Blockchain and Smart Contract to monitor the overall oil supply chain. Blockchain is a groundbreaking technology to monitor and support the security building of a decentralized type supply chain over a peer-to-peer network. The use of the Internet of Things (IoT), especially sensors, opens broader window to track the global supply chain in real-time. We construct a methodology to support reverse traceability for each participant of the supply chain. The functions and characteristics of Blockchain and Smart Contract are defined. Implementation of Smart Contracts has also been shown with detailed analysis. We further describe the challenges of implementing such a system and validate our framework's adaptability in the real world. The paper concludes with future research scope to mitigate the restrictions of data management and maintenance with advanced working prototypes and agile systems achieving greater traceability and transparency.


title: On measures induced by forcing names for ultrafilters

abstract: We study the interplay between properties of measures on a Boolean algebra A and forcing names for ultrafilters on A. We show that several well known measure theoretic properties of Boolean algebras (such as supporting a strictly positive measure or carrying only separable measures) have quite natural characterizations in the forcing language. We show some applications of this approach. In particular, we reprove a theorem of Kunen saying that in the classical random model there are no towers of height $\omega_2$.


title: One-loop electroweak radiative corrections to charged lepton pair production in photon-photon collisions

abstract: We provide high-precision predictions for muon-pair and tau-pair productions in a photon-photon collision by considering a complete set of one-loop-level scattering amplitudes, i.e., electroweak (EW) corrections together with soft and hard QED radiation. Accordingly, we present a detailed numerical discussion with particular emphasis on the pure QED corrections as well as genuinely weak corrections. The effects of angular and initial beam polarisation distributions on production rates are also discussed. An improvement is observed by a factor of two with oppositely polarized photons. Our results indicate that the one-loop EW radiative corrections enhance the Born cross section and the total relative correction is typically about ten percent for both production channels. It appears that the full EW corrections to $\gamma \gamma \to \ell^- \ell^+$ are required to match a percent level accuracy.


title: An Encoding Approach for Stable Change Point Detection

abstract: Without imposing prior distributional knowledge underlying multivariate time series of interest, we propose a nonparametric change-point detection approach to estimate the number of change points and their locations along the temporal axis. We develop a structural subsampling procedure such that the observations are encoded into multiple sequences of Bernoulli variables. A maximum likelihood approach in conjunction with a newly developed searching algorithm is implemented to detect change points on each Bernoulli process separately. Then, aggregation statistics are proposed to collectively synthesize change-point results from all individual univariate time series into consistent and stable location estimations. We also study a weighting strategy to measure the degree of relevance for different subsampled groups. Simulation studies are conducted and shown that the proposed change-point methodology for multivariate time series has favorable performance comparing with currently popular nonparametric methods under various settings with different degrees of complexity. Real data analyses are finally performed on categorical, ordinal, and continuous time series taken from fields of genetics, climate, and finance.


title: Privacy amplification and decoupling without smoothing

abstract: We prove an achievability result for privacy amplification and decoupling in terms of the sandwiched R\'enyi entropy of order $\alpha \in (1,2]$; this extends previous results which worked for $\alpha=2$. The fact that this proof works for $\alpha$ close to 1 means that we can bypass the smooth min-entropy in the many applications where the bound comes from the fully quantum AEP or entropy accumulation, and carry out the whole proof using the R\'enyi entropy, thereby easily obtaining an error exponent for the final task. This effectively replaces smoothing, which is a difficult high-dimensional optimization problem, by an optimization problem over a single real parameter $\alpha$.


title: Electrotactile feedback applications for hand and arm interactions: A systematic review, meta-analysis, and future directions

abstract: Haptic feedback is critical in a broad range of human-machine/computer-interaction applications. However, the high cost and low portability/wearability of haptic devices remain unresolved issues, severely limiting the adoption of this otherwise promising technology. Electrotactile interfaces have the advantage of being more portable and wearable due to their reduced actuators' size, as well as their lower power consumption and manufacturing cost. The applications of electrotactile feedback have been explored in human-computer interaction and human-machine-interaction for facilitating hand-based interactions in applications such as prosthetics, virtual reality, robotic teleoperation, surface haptics, portable devices, and rehabilitation. This paper presents a technological overview of electrotactile feedback, as well a systematic review and meta-analysis of its applications for hand-based interactions. We discuss the different electrotactile systems according to the type of application. We also discuss over a quantitative congregation of the findings, to offer a high-level overview into the state-of-art and suggest future directions. Electrotactile feedback systems showed increased portability/wearability, and they were successful in rendering and/or augmenting most tactile sensations, eliciting perceptual processes, and improving performance in many scenarios. However, knowledge gaps (e.g., embodiment), technical (e.g., recurrent calibration, electrodes' durability) and methodological (e.g., sample size) drawbacks were detected, which should be addressed in future studies.


title: Terahertz transitions in finite carbon chains

abstract: We predict an optical effect associated with systems which exhibit topologically protected states separated by a finite distance. We develop a tight-binding model to calculate the optical selection rules in linear chains of atoms of different lengths, and show the crucial importance of edge states. For long enough molecules the interband transitions involving these edge states are in the highly sought-after THz frequency range. Although we have specifically considered finite carbon chains terminated by gold nanoparticles, the main results of our work can be generalized to various systems which exhibit topologically protected states separated by a finite distance.


title: Unsupervised Representation Learning from Pathology Images with Multi-directional Contrastive Predictive Coding

abstract: Digital pathology tasks have benefited greatly from modern deep learning algorithms. However, their need for large quantities of annotated data has been identified as a key challenge. This need for data can be countered by using unsupervised learning in situations where data are abundant but access to annotations is limited. Feature representations learned from unannotated data using contrastive predictive coding (CPC) have been shown to enable classifiers to obtain state of the art performance from relatively small amounts of annotated computer vision data. We present a modification to the CPC framework for use with digital pathology patches. This is achieved by introducing an alternative mask for building the latent context and using a multi-directional PixelCNN autoregressor. To demonstrate our proposed method we learn feature representations from the Patch Camelyon histology dataset. We show that our proposed modification can yield improved deep classification of histology patches.


title: Nova LMC 2009a as observed with XMM-Newton, compared with other novae

abstract: We examine four high resolution reflection grating spectrometers (RGS) spectra of the February 2009 outburst of the luminous recurrent nova LMC 2009a. They were very complex and rich in intricate absorption and emission features. The continuum was consistent with a dominant component originating in the atmosphere of a shell burning white dwarf (WD) with peak effective temperature between 810,000 K and a million K, and mass in the 1.2-1.4 M$_\odot$ range. A moderate blue shift of the absorption features of a few hundred km s$^{-1}$ can be explained with a residual nova wind depleting the WD surface at a rate of about 10$^{-8}$ M$_\odot$ yr$^{-1}$. The emission spectrum seems to be due to both photoionization and shock ionization in the ejecta. The supersoft X-ray flux was irregularly variable on time scales of hours, with decreasing amplitude of the variability. We find that both the period and the amplitude of another, already known 33.3 s modulation, varied within timescales of hours. We compared N LMC 2009a with other Magellanic Clouds novae, including 4 serendipitously discovered as supersoft X-ray sources (SSS) among 13 observed within 16 years after the eruption. The new detected targets were much less luminous than expected: we suggest that they were partially obscured by the accretion disk. Lack of SSS detections in the Magellanic Clouds novae more than 5.5 years after the eruption constrains the average duration of the nuclear burning phase.


title: Return-based Scaling: Yet Another Normalisation Trick for Deep RL

abstract: Scaling issues are mundane yet irritating for practitioners of reinforcement learning. Error scales vary across domains, tasks, and stages of learning; sometimes by many orders of magnitude. This can be detrimental to learning speed and stability, create interference between learning tasks, and necessitate substantial tuning. We revisit this topic for agents based on temporal-difference learning, sketch out some desiderata and investigate scenarios where simple fixes fall short. The mechanism we propose requires neither tuning, clipping, nor adaptation. We validate its effectiveness and robustness on the suite of Atari games. Our scaling method turns out to be particularly helpful at mitigating interference, when training a shared neural network on multiple targets that differ in reward scale or discounting.


title: Few-Shot Learning by Integrating Spatial and Frequency Representation

abstract: Human beings can recognize new objects with only a few labeled examples, however, few-shot learning remains a challenging problem for machine learning systems. Most previous algorithms in few-shot learning only utilize spatial information of the images. In this paper, we propose to integrate the frequency information into the learning model to boost the discrimination ability of the system. We employ Discrete Cosine Transformation (DCT) to generate the frequency representation, then, integrate the features from both the spatial domain and frequency domain for classification. The proposed strategy and its effectiveness are validated with different backbones, datasets, and algorithms. Extensive experiments demonstrate that the frequency information is complementary to the spatial representations in few-shot classification. The classification accuracy is boosted significantly by integrating features from both the spatial and frequency domains in different few-shot learning tasks.


title: Isotropic Topological Second-Order Spatial Differentiator Operating in Transmission Mode

abstract: Differentiation has widespread applications, particularly in image processing for edge detection. Significant advances have been made in using nanophotonic structures and metamaterials to perform such operations. In particular, a recent work demonstrated a topological differentiator in which the transfer function exhibits a topological charge, making the differentiation operation robust to variation of operating conditions. The demonstrated topological differentiator, however, operates in the reflection mode at off-normal incidence and is difficult to integrate into compact imaging systems. In this work, we design a topological differentiator that operates isotropically in transmission mode at normal incidence. The device exhibits an optical transfer function with a symmetry-protected, topological charge of $\pm 2$ and performs second-order differentiation. Our work points to the potential of harnessing topological concepts for optical computing applications.


title: On Compressed Sensing of Binary Signals for the Unsourced Random Access Channel

abstract: Motivated by applications in unsourced random access, this paper develops a novel scheme for the problem of compressed sensing of binary signals. In this problem, the goal is to design a sensing matrix $A$ and a recovery algorithm, such that the sparse binary vector $\mathbf{x}$ can be recovered reliably from the measurements $\mathbf{y}=A\mathbf{x}+\sigma\mathbf{z}$, where $\mathbf{z}$ is additive white Gaussian noise. We propose to design $A$ as a parity check matrix of a low-density parity-check code (LDPC), and to recover $\mathbf{x}$ from the measurements $\mathbf{y}$ using a Markov chain Monte Carlo algorithm, which runs relatively fast due to the sparse structure of $A$. The performance of our scheme is comparable to state-of-the-art schemes, which use dense sensing matrices, while enjoying the advantages of using a sparse sensing matrix.


title: Unconditional bound-preserving and energy-dissipating finite-volume schemes for the Cahn-Hilliard equation

abstract: We propose finite-volume schemes for the Cahn-Hilliard equation which unconditionally and discretely preserve the boundedness of the phase field and the dissipation of the free energy. Our numerical framework is applicable to a variety of free-energy potentials, including Ginzburg-Landau and Flory-Huggins, to general wetting boundary conditions, and to degenerate mobilities. Its central thrust is the upwind methodology, which we combine with a semi-implicit formulation for the free-energy terms based on the classical convex-splitting approach. The extension of the schemes to an arbitrary number of dimensions is straightforward thanks to their dimensionally split nature, which allows to efficiently solve higher-dimensional problems with a simple parallelisation. The numerical schemes are validated and tested through a variety of examples, in different dimensions, and with various contact angles between droplets and substrates.


title: Frank-Wolfe Methods in Probability Space

abstract: We introduce a new class of Frank-Wolfe algorithms for minimizing differentiable functionals over probability measures. This framework can be shown to encompass a diverse range of tasks in areas such as artificial intelligence, reinforcement learning, and optimization. Concrete computational complexities for these algorithms are established and demonstrate that these methods enjoy convergence in regimes that go beyond convexity and require minimal regularity of the underlying functional. Novel techniques used to obtain these results also lead to the development of new complexity bounds and duality theorems for a family of distributionally robust optimization problems. The performance of our method is demonstrated on several nonparametric estimation problems.


title: Video Frame Interpolation via Structure-Motion based Iterative Fusion

abstract: Video Frame Interpolation synthesizes non-existent images between adjacent frames, with the aim of providing a smooth and consistent visual experience. Two approaches for solving this challenging task are optical flow based and kernel-based methods. In existing works, optical flow based methods can provide accurate point-to-point motion description, however, they lack constraints on object structure. On the contrary, kernel-based methods focus on structural alignment, which relies on semantic and apparent features, but tends to blur results. Based on these observations, we propose a structure-motion based iterative fusion method. The framework is an end-to-end learnable structure with two stages. First, interpolated frames are synthesized by structure-based and motion-based learning branches respectively, then, an iterative refinement module is established via spatial and temporal feature integration. Inspired by the observation that audiences have different visual preferences on foreground and background objects, we for the first time propose to use saliency masks in the evaluation processes of the task of video frame interpolation. Experimental results on three typical benchmarks show that the proposed method achieves superior performance on all evaluation metrics over the state-of-the-art methods, even when our models are trained with only one-tenth of the data other methods use.


title: Strengthening magnesium by design: integrating alloying and dynamic processing

abstract: Magnesium (Mg) has the lowest density of all structural metals and has excellent potential for wide use in structural applications. While pure Mg has inferior mechanical properties; the addition of further elements at various concentrations has produced alloys with enhanced mechanical performance and corrosion resistance. An important consequence of adding such elements is that the saturated Mg matrix can locally decompose to form solute clusters and intermetallic particles, often referred to as precipitates. Controlling the shape, number density, volume fraction, and spatial distribution of solute clusters and precipitates significantly impacts the alloy's plastic response. Conversely, plastic deformation during thermomechanical processing can dramatically impact solute clustering and precipitation. In this paper, we first discuss how solute atoms, solute clusters, and precipitates can improve the mechanical properties of Mg alloys. We do so by primarily comparing three alloy systems: Mg-Al, Mg-Zn, and Mg-Y-based alloys. In the second part, we provide strategies for optimizing such microstructures by controlling nucleation and growth of solute clusters and precipitates during thermomechanical processing. In the third part, we briefly highlight how one can enable inverse design of Mg alloys by a more robust Integrated Computational Materials Design (ICMD) approach.


title: Is Electromagnetic Field Momentum Due to the Flow of Field Energy?

abstract: Conservation laws that are based on the divergence of a second-rank four-tensor are fundamentally different from conservation laws based on the divergence of a four-vector. This article investigates the consequences of this difference for understanding the relation between electromagnetic field momentum and the flow of electromagnetic field energy. Momentum and energy conservation require electromagnetic field momentum and energy to be treated as physically real, even in static fields. This motivates the conjecture that field momentum might be due to the flow of a relativistic mass density (energy density divided by the square of the speed of light). This article investigates the velocity of such flow and finds a conflict between two different definitions of it. This investigation is careful to respect the transformation rules of special relativity. The paper demonstrates that the consensus definition of the flow velocity of electromagnetic energy is inconsistent with the transformation rules of special relativity, and hence is incorrect. A correct flow velocity is then derived which is completely consistent with those transformation rules. The conclusion is that these conflicting definitions of flow velocity cannot be resolved in a way that is consistent with special relativity and that also allows electromagnetic field momentum to be the result of energy flow. Though real, field momentum cannot be explained as the flow of field energy. As a byproduct of the study, it is also shown that there is a comoving system in which the electromagnetic energy-momentum tensor is reduced to a simple diagonal form, with two of its diagonal elements equal to the energy density and the other two diagonal elements equal to plus and minus a single parameter derived from the electromagnetic field values, a result that places constraints on possible fluid models of electromagnetism.


title: Multilevel Monte Carlo simulation for VIX options in the rough Bergomi model

abstract: We consider the pricing of VIX options in the rough Bergomi model. In this setting, the VIX random variable is defined by the one-dimensional integral of the exponential of a Gaussian process with correlated increments, hence approximate samples of the VIX can be constructed via discretization of the integral and simulation of a correlated Gaussian vector. A Monte-Carlo estimator of VIX options based on a rectangle discretization scheme and exact Gaussian sampling via the Cholesky method has a computational complexity of order $\mathcal{O}(\varepsilon^{-4})$ when the mean-squared error is set to $\varepsilon^2$. We demonstrate that this cost can be reduced to $\mathcal{O}(\varepsilon^{-2} \log^2(\varepsilon))$ combining the scheme above with the multilevel method, and further reduced to the asymptotically optimal cost $\mathcal{O}(\varepsilon^{-2})$ when using a trapezoidal discretization. We provide numerical experiments highlighting the efficiency of the multilevel approach in the pricing of VIX options in such a rough forward variance setting.


title: Single particle properties of the 2D Hubbard model for real frequencies at weak coupling: Breakdown of the Dyson series for partial self-energy expansions

abstract: We generate the perturbative expansion of the single-particle Green's function and related self-energy for a half-filled single-band Hubbard model on a square lattice. We invoke algorithmic Matsubara integration to evaluate single-particle quantities for real and Matsubara frequencies and verify results through comparison to existing data on the Matsubara axis. With low order expansions at weak-coupling we observe a number of outcomes expected at higher orders: the opening of a gap, pseudogap behavior, and Fermi-surface reconstruction. Based on low-order perturbations we consider the phase diagram that arises from truncated expansions of the self-energy and Green's function and their relation via the Dyson equation. From Matsubara axis data we observe insulating behavior in direct expansions of the Green's function, while the same order of truncation of the self-energy produces metallic behavior. This observation is supported by additional calculations for real frequencies. We attribute this difference to the order in which diagrams are implicitly summed in the Dyson series. By separating the reducible and irreducible contributions at each order we show that the reducible diagrams implicitly summed in the Dyson equation lead to incorrect physics in the half-filled Hubbard model. Our observations for this particular case lead us to question the utility of the Dyson equation for any problem that shows a disparity between reducible and irreducible contributions to the expansion of the Green's function.


title: Computational Simulation and Analysis of Major Control Parameters of Time-Dependent PV/T Collectors

abstract: In order to improve performance of photovoltaic/thermal (or PV/T for simplicity) collectors, this paper firstly validated a previous computational thermal model and then introduced an improved computational thermal model to investigate the effects of the major control parameters on the thermal performance of PV/T collectors, including solar cell temperature, back surface temperature, and outlet water temperature. Besides, a computational electrical model of PV/T system was also introduced to elaborate the relationship of voltage, current and power of a PV module (MSX60 polycrystalline solar cell) used in an experiment in the literature. Simulation results agree with the experimental data very well. The effects of the time-steps from 1 hour to minute, which is closed to the real time, were also reported. At last, several suggestions to improve the efficiency of PV/T system were illustrated.


title: A rough SABR formula

abstract: Following an approach originally suggested by Balland in the context of the SABR model, we derive an ODE that is satisfied by normalized volatility smiles for short maturities under a rough volatility extension of the SABR model that extends also the rough Bergomi model. We solve this ODE numerically and further present a very accurate approximation to the numerical solution that we dub the rough SABR formula.


title: Real-time Ionospheric Imaging of S4 Scintillation from Limited Data with Parallel Kalman Filters and Smoothness

abstract: In this paper, we propose a Bayesian framework to create two dimensional ionospheric images of high spatio-temporal resolution to monitor ionospheric irregularities as measured by the S4 index. Here, we recast the standard Bayesian recursive filtering for a linear Gaussian state-space model, also referred to as the Kalman filter, first by augmenting the (pierce point) observation model with connectivity information stemming from the insight and assumptions/standard modeling about the spatial distribution of the scintillation activity on the ionospheric shell at 350 km altitude. Thus, we achieve to handle the limited spatio-temporal observations. Then, by introducing a set of Kalman filters running in parallel, we mitigate the uncertainty related to a tuning parameter of the proposed augmented model. The output images are a weighted average of the state estimates of the individual filters. We demonstrate our approach by rendering two dimensional real-time ionospheric images of S4 amplitude scintillation at 350 km over South America with temporal resolution of one minute. Furthermore, we employ extra S4 data that was not used in producing these ionospheric images, to check and verify the ability of our images to predict this extra data in particular ionospheric pierce points. Our results show that in areas with a network of ground receivers with a relatively good coverage (e.g. within a couple of kilometers distance) the produced images can provide reliable real-time results. Our proposed algorithmic framework can be readily used to visualize real-time ionospheric images taking as inputs the available scintillation data provided from freely available web-servers.


title: The Summary Loop: Learning to Write Abstractive Summaries Without Examples

abstract: This work presents a new approach to unsupervised abstractive summarization based on maximizing a combination of coverage and fluency for a given length constraint. It introduces a novel method that encourages the inclusion of key terms from the original document into the summary: key terms are masked out of the original document and must be filled in by a coverage model using the current generated summary. A novel unsupervised training procedure leverages this coverage model along with a fluency model to generate and score summaries. When tested on popular news summarization datasets, the method outperforms previous unsupervised methods by more than 2 R-1 points, and approaches results of competitive supervised methods. Our model attains higher levels of abstraction with copied passages roughly two times shorter than prior work, and learns to compress and merge sentences without supervision.


title: A dichotomy for countable unions of smooth Borel equivalence relations

abstract: We show that if an equivalence relation $E$ on a Polish space is a countable union of smooth Borel subequivalence relations, then there is either a Borel reduction of $E$ to a countable Borel equivalence relation on a Polish space or a continuous embedding of $\mathbb{E}_1$ into $E$. We also establish related results concerning countable unions of more general Borel equivalence relations.


title: A Langevinized Ensemble Kalman Filter for Large-Scale Static and Dynamic Learning

abstract: The Ensemble Kalman Filter (EnKF) has achieved great successes in data assimilation in atmospheric and oceanic sciences, but its failure in convergence to the right filtering distribution precludes its use for uncertainty quantification. We reformulate the EnKF under the framework of Langevin dynamics, which leads to a new particle filtering algorithm, the so-called Langevinized EnKF. The Langevinized EnKF inherits the forecast-analysis procedure from the EnKF and the use of mini-batch data from the stochastic gradient Langevin-type algorithms, which make it scalable with respect to both the dimension and sample size. We prove that the Langevinized EnKF converges to the right filtering distribution in Wasserstein distance under the big data scenario that the dynamic system consists of a large number of stages and has a large number of samples observed at each stage. We reformulate the Bayesian inverse problem as a dynamic state estimation problem based on the techniques of subsampling and Langevin diffusion process. We illustrate the performance of the Langevinized EnKF using a variety of examples, including the Lorenz-96 model, high-dimensional variable selection, Bayesian deep learning, and Long Short Term Memory (LSTM) network learning with dynamic data.


title: A Hermite Method with a Discontinuity Sensor for Hamilton-Jacobi Equations

abstract: We present a Hermite interpolation based partial differential equation solver for Hamilton-Jacobi equations. Many Hamilton-Jacobi equations have a nonlinear dependency on the gradient, which gives rise to discontinuities in the derivatives of the solution, resulting in kinks. We built our solver with two goals in mind: 1) high order accuracy in smooth regions and 2) sharp resolution of kinks. To achieve this, we use Hermite interpolation with a smoothness sensor. The degrees-of freedom of Hermite methods are tensor-product Taylor polynomials of degree $m$ in each coordinate direction. The method uses $(m+1)^d$ degrees of freedom per node in $d$-dimensions and achieves an order of accuracy $(2m+1)$ when the solution is smooth. To obtain sharp resolution of kinks, we sense the smoothness of the solution on each cell at each timestep. If the solution is smooth, we march the interpolant forward in time with no modifications. When our method encounters a cell over which the solution is not smooth, it introduces artificial viscosity locally while proceeding normally in smooth regions. We show through numerical experiments that the solver sharply captures kinks once the solution losses continuity in the derivative while achieving $2m+1$ order accuracy in smooth regions.


title: On Assessing the Quantum Advantage for MaxCut Provided by Quantum Neural Network Ans\"atze

abstract: In this thesis we expand upon the results that led to the paper of Lee et al., arXiv:2105.01114 (2021). In particular, we give more details on the oracular formulation of variational quantum algorithms, and the relationship between properties of Ans\"atze and the strength of their corresponding oracles. Furthermore, having identified the importance of noncommutativity in parameterized quantum circuits (PQCs) as likely being crucial to achieving a quantum advantage, we compare this notion to similar properties in classical neural networks such as nonlinearity, based on the perspective of the recent moniker for PQCs as quantum neural networks. While this thesis includes much of the figures and content from the aforementioned paper, it should be considered mainly as a self-contained collection of supplementary materials.


title: Rearrangement on Lattices with Pick-n-Swaps: Optimality Structures and Efficient Algorithms

abstract: We study a class of rearrangement problems under a novel pick-n-swap prehensile manipulation model, in which a robotic manipulator, capable of carrying an item and making item swaps, is tasked to sort items stored in lattices of variable dimensions in a time-optimal manner. We systematically analyze the intrinsic optimality structure, which is fairly rich and intriguing, under different levels of item distinguishability (fully labeled, where each item has a unique label, or partially labeled, where multiple items may be of the same type) and different lattice dimensions. Focusing on the most practical setting of one and two dimensions, we develop low polynomial time cycle-following-based algorithms that optimally perform rearrangements on 1D lattices under both fully- and partially-labeled settings. On the other hand, we show that rearrangement on 2D and higher-dimensional lattices become computationally intractable to optimally solve. Despite their NP-hardness, we prove that efficient cycle-following-based algorithms remain optimal in the asymptotic sense for 2D fully- and partially-labeled settings, in expectation, using the interesting fact that random permutations induce only a small number of cycles. We further improve these algorithms to provide $1.x$-optimality when the number of items is small. Simulation studies corroborate the effectiveness of our algorithms. The implementation of the algorithms from the paper can be found at github.com/arc-l/lattice-rearrangement.


title: Time-dependent forces between a swift electron and a small nanoparticle within the dipole approximation

abstract: In this paper we calculate the time-dependent forces between a swift electron traveling at constant velocity and a metallic nanoparticle made of either aluminum or gold. We consider that the nanoparticle responds as an electric point dipole and we use classical electrodynamics to calculate the force on both the nanoparticle and the electron. The values for the velocity of the electron and the radius of the nanoparticle were chosen in accordance with electron microscopy observations, and the impact parameter was selected to fulfill the constraints imposed by the dipole approximation. We found that there are times when the force on the nanoparticle is attractive and others when it is repulsive, and show that this is due to the delayed electromagnetic response of the nanoparticle. To establish the limits of validity of our approach, we calculate the total linear momentum transfer to the nanoparticle, and compare it with results obtained, in frequency space, using the full multipole expansion of the fields induced on the nanoparticle, considering the effects of electromagnetic radiation.


title: Normalized Laplacian spectra of central vertex join and central edge join of graphs

abstract: In this paper, we compute normalized Laplacian spectra of central graph of a regular graph, central vertex join and central edge join of two regular graphs. Also, we determine their Kemeny's constant and degree Kirchhoff index.


title: Characterization of Gromov-type geodesics

abstract: The collection $\mathcal{M}$ of all isometry classes of compact metric spaces endowed with the Gromov-Hausdorff distance $d_\mathcal{GH}$ is known to be a geodesic space. However, there is no known structural characterization of geodesics in $\mathcal{M}$. In this paper we provide two such characterizations. We first prove that every Gromov-Hausdorff geodesic is in fact a geodesic in the Hausdorff hyperspace of some compact metric space, which we call a Hausdorff geodesic. Inspired by this characterization, we further elucidate a structural connection between Hausdorff geodesics and Wasserstein geodesics: every Hausdorff geodesic is equivalent to a so-called Hausdorff displacement interpolation. This equivalence allows us to establish that every Gromov-Hausdorff geodesic is dynamic, a notion which we develop in analogy with dynamic optimal couplings in the theory of optimal transport. Besides geodesics in $\mathcal{M}$, we also study geodesics on the collection $\mathcal{M}^w$ of isomorphism classes of compact metric measure spaces. Sturm constructed a family of Gromov-type distances on $\mathcal{M}^w$, which we denote $d_{\mathcal{GW},{p}}^\mathrm{S}$ (for $p\in[1,\infty)$), and proved that $(\mathcal{M}^w,d_{\mathcal{GW},{p}}^\mathrm{S})$ is also a geodesic space. We are interested in $d_{\mathcal{GW},{p}}^\mathrm{S}$ geodesics which are (essentially) Wasserstein geodesics. We prove the set of such geodesics is dense in the set of all $d_{\mathcal{GW},{p}}^\mathrm{S}$ geodesics and identify a rich class of such geodesics.


title: Bayesian Inverse Uncertainty Quantification of a MOOSE-based Melt Pool Model for Additive Manufacturing Using Experimental Data

abstract: Additive manufacturing (AM) technology is being increasingly adopted in a wide variety of application areas due to its ability to rapidly produce, prototype, and customize designs. AM techniques afford significant opportunities in regard to nuclear materials, including an accelerated fabrication process and reduced cost. High-fidelity modeling and simulation (M\&S) of AM processes is being developed in Idaho National Laboratory (INL)'s Multiphysics Object-Oriented Simulation Environment (MOOSE) to support AM process optimization and provide a fundamental understanding of the various physical interactions involved. In this paper, we employ Bayesian inverse uncertainty quantification (UQ) to quantify the input uncertainties in a MOOSE-based melt pool model for AM. Inverse UQ is the process of inversely quantifying the input uncertainties while keeping model predictions consistent with the measurement data. The inverse UQ process takes into account uncertainties from the model, code, and data while simultaneously characterizing the uncertain distributions in the input parameters--rather than merely providing best-fit point estimates. We employ measurement data on melt pool geometry (lengths and depths) to quantify the uncertainties in several melt pool model parameters. Simulation results using the posterior uncertainties have shown improved agreement with experimental data, as compared to those using the prior nominal values. The resulting parameter uncertainties can be used to replace expert opinions in future uncertainty, sensitivity, and validation studies.


title: A Stronger Lower Bound on Parametric Minimum Spanning Trees

abstract: We prove that, for an undirected graph with $n$ vertices and $m$ edges, each labeled with a linear function of a parameter $\lambda$, the number of different minimum spanning trees obtained as the parameter varies can be $\Omega(m\log n)$.


title: Treewidth via Spined Categories (extended abstract)

abstract: Treewidth is a well-known graph invariant with multiple interesting applications in combinatorics. On the practical side, many NP-complete problems are polynomial-time (sometimes even linear-time) solvable on graphs of bounded treewidth. On the theoretical side, treewidth played an essential role in the proof of the celebrated Robertson-Seymour graph minor theorem. While defining treewidth-like invariants on graphs and treewidth analogues on other sorts of combinatorial objects (incl. hypergraphs, digraphs) has been a fruitful avenue of research, a direct, categorial description capturing multiple treewidth-like invariants is yet to emerge. Here we report on our recent work on spined categories (arXiv:2104.01841): categories equipped with extra structure that permits the definition of a functorial analogue of treewidth, the triangulation functor. The usual notion of treewidth is recovered as a special case, the triangulation functor of a spined category with graphs as objects and graph monomorphisms as arrows. The usual notion of treewidth for hypergraphs arises as the triangulation functor of a similar category of hypergraphs.


title: Estimation of population size based on capture recapture designs and evaluation of the estimation reliability

abstract: We propose a modern method to estimate population size based on capture-recapture designs of K samples. The observed data is formulated as a sample of n i.i.d. K-dimensional vectors of binary indicators, where the k-th component of each vector indicates the subject being caught by the k-th sample, such that only subjects with nonzero capture vectors are observed. The target quantity is the unconditional probability of the vector being nonzero across both observed and unobserved subjects. We cover models assuming a single constraint (identification assumption) on the K-dimensional distribution such that the target quantity is identified and the statistical model is unrestricted. We present solutions for linear and non-linear constraints commonly assumed to identify capture-recapture models, including no K-way interaction in linear and log-linear models, independence or conditional independence. We demonstrate that the choice of constraint has a dramatic impact on the value of the estimand, showing that it is crucial that the constraint is known to hold by design. For the commonly assumed constraint of no K-way interaction in a log-linear model, the statistical target parameter is only defined when each of the $2^K - 1$ observable capture patterns is present, and therefore suffers from the curse of dimensionality. We propose a targeted MLE based on undersmoothed lasso model to smooth across the cells while targeting the fit towards the single valued target parameter of interest. For each identification assumption, we provide simulated inference and confidence intervals to assess the performance on the estimator under correct and incorrect identifying assumptions. We apply the proposed method, alongside existing estimators, to estimate prevalence of a parasitic infection using multi-source surveillance data from a region in southwestern China, under the four identification assumptions.


title: The Feldman-Moore, Glimm-Effros, and Lusin-Novikov theorems over quotients

abstract: We establish generalizations of the Feldman-Moore theorem, the Glimm-Effros dichotomy, and the Lusin-Novikov uniformization theorem from Polish spaces to their quotients by Borel orbit equivalence relations.


title: Maximizing the Value of Enterprise Human-Computer Interaction Standards: Strategies and Applications

abstract: Human factors/ergonomics (HFE) standards are not only a useful reference for experienced HFE practitioners but can also provide guidance for organizations that are inexperienced in HFE design practice. HFE standards can give credibility to the value of introducing user centered methods. As computing technologies advance, knowledge of HFE has spread to the computing related work, and the field of human-computer interaction (HCI) has grown rapidly. Accordingly, HCI standards have evolved for guiding practice. There is great deal of literature concerned with the development and practice of international standards (e.g., International Organization for Standardization/ISO) and national (e.g., The American National Standards Institute/ANSI) HFE or HCI standards, but little on the practice of HCI standards at lower levels, such as at the level of enterprise. This chapter will focus on the practice of HCI standards there. It intends to assess the challenges of enterprise HCI standards from strategy, development, and governance perspectives. Specifically, we discuss the practices at Intel Corporation, a high-tech enterprise environment.


title: Super-statistics and quantum entanglement in the isotropic spin-1/2 XX dimmer from a non-additive thermodynamics perspective

abstract: In this paper, the impact of temperature fluctuations in the entanglement of two qubits described by a spin-1/2 XX model is studied. To describe the out-of-equilibrium situation, super-statistics is used with fluctuations given by a $\chi^2$ distribution function, and its free parameters are chosen in such a way that resembles the non-additive Tsallis thermodynamics. In order to preserve the Legendre structure of the thermal functions, particular energy constraints are imposed on the density operator and the internal energy. Analytical results are obtained using an additional set of constraints after a parametrization of the physical temperature. We show that the well-known parametrization may lead to undesirable values of the physical temperature so that by analyzing the entropy as a function of energy, the correct values are found. The quantum entanglement is obtained from the Concurrence and is compared with the case when the Tsallis restrictions are not imposed on the density operator.


title: Identity Concealment Games: How I Learned to Stop Revealing and Love the Coincidences

abstract: In an adversarial environment, a hostile player performing a task may behave like a non-hostile one in order not to reveal its identity to an opponent. To model such a scenario, we define identity concealment games: zero-sum stochastic reachability games with a zero-sum objective of identity concealment. To measure the identity concealment of the player, we introduce the notion of an average player. The average player's policy represents the expected behavior of a non-hostile player. We show that there exists an equilibrium policy pair for every identity concealment game and give the optimality equations to synthesize an equilibrium policy pair. If the player's opponent follows a non-equilibrium policy, the player can hide its identity better. For this reason, we study how the hostile player may learn the opponent's policy. Since learning via exploration policies would quickly reveal the hostile player's identity to the opponent, we consider the problem of learning a near-optimal policy for the hostile player using the game runs collected under the average player's policy. Consequently, we propose an algorithm that provably learns a near-optimal policy and give an upper bound on the number of sample runs to be collected.


title: Entropy production given constraints on the energy functions

abstract: We consider the problem of driving a finite-state classical system from some initial distribution $p$ to some final distribution $p'$ with vanishing entropy production (EP), under the constraint that the driving protocols can only use some limited set of energy functions $\mathcal{E}$. Assuming no other constraints on the driving protocol, we derive a simple condition that guarantees that such a transformation can be carried out, which is stated in terms of the smallest probabilities in $\{p,p'\}$ and a graph-theoretic property defined in terms of $\mathcal{E}$. Our results imply that a surprisingly small amount of control over the energy function is sufficient (in particular, any transformation $p\to p'$ can be carried out as soon as one can control some one-dimensional parameter of the energy function, e.g., the energy of a single state). We also derive a lower bound on the EP under more general constraints on the transition rates, which is formulated in terms of a convex optimization problem.


title: Strong single-photon optomechanical coupling in a hybrid quantum system

abstract: Engineering strong single-photon optomechanical couplings is crucial for optomechanical systems. Here, we propose a hybrid quantum system consisting of a nanobeam (phonons) coupled to a spin ensemble and a cavity (photons) to overcome it. Utilizing the critical property of the lower-branch polariton (LBP) formed by the ensemble-phonon interaction, the LBP-cavity coupling can be greatly enhanced by three orders magnitude of the original one, while the upper-branch polariton (UBP)-cavity coupling is fully suppressed. Our proposal breaks through the condition of the coupling strength less than the critical value in previous schemes using two harmonic oscillators. Also, strong Kerr effect can be induced in our proposal. This shows our proposed approach can be used to study quantum nonlinear and nonclassical effects in weakly coupled optomechanical systems.


title: Fundamental Diagrams of Commercial Adaptive Cruise Control: Worldwide Experimental Evidence

abstract: Experimental measurements on commercial adaptive cruise control (ACC) vehicles \RoundTwo{are} becoming increasingly available from around the world, providing an unprecedented opportunity to study the traffic flow characteristics that arise from this technology. This paper adds new experimental evidence to this knowledge base and presents a comprehensive empirical study on the ACC equilibrium behaviors via the resulting fundamental diagrams. We find that like human-driven vehicles, ACC systems display a linear equilibrium spacing-speed relationship (within the range of available data) but the key parameters of these relationships can differ significantly from human-driven traffic depending on input settings: At the minimum headway setting, equilibrium capacities in excess of 3500 vehicles per hour are observed, together with an extremely fast equilibrium wave speed of 100 kilometers per hour on average. These fast waves are unfamiliar to human drivers, and may pose a safety risk. The results also suggest that ACC jam spacing can be much larger than in human traffic, which reduces the network storage capacity.


title: Accuracy-Privacy Trade-off in Deep Ensemble: A Membership Inference Perspective

abstract: Deep ensemble learning has been shown to improve accuracy by training multiple neural networks and averaging their outputs. Ensemble learning has also been suggested to defend against membership inference attacks that undermine privacy. In this paper, we empirically demonstrate a trade-off between these two goals, namely accuracy and privacy (in terms of membership inference attacks), in deep ensembles. Using a wide range of datasets and model architectures, we show that the effectiveness of membership inference attacks increases when ensembling improves accuracy. We analyze the impact of various factors in deep ensembles and demonstrate the root cause of the trade-off. Then, we evaluate common defenses against membership inference attacks based on regularization and differential privacy. We show that while these defenses can mitigate the effectiveness of membership inference attacks, they simultaneously degrade ensemble accuracy. We illustrate similar trade-off in more advanced and state-of-the-art ensembling techniques, such as snapshot ensembles and diversified ensemble networks. Finally, we propose a simple yet effective defense for deep ensembles to break the trade-off and, consequently, improve the accuracy and privacy, simultaneously.


title: Current State and Future Directions for Learning in Biological Recurrent Neural Networks: A Perspective Piece

abstract: We provide a brief review of the common assumptions about biological learning with findings from experimental neuroscience and contrast them with the efficiency of gradient-based learning in recurrent neural networks. The key issues discussed in this review include: synaptic plasticity, neural circuits, theory-experiment divide, and objective functions. We conclude with recommendations for both theoretical and experimental neuroscientists when designing new studies that could help bring clarity to these issues.


title: On the probability of generating a primitive matrix

abstract: Given a $k\times n$ integer primitive matrix $\bf{A}$ (i.e., a matrix can be extended to an $n\times n$ unimodular matrix over the integers) with the maximal absolute value of entries $\|\bf{A}\|$ bounded by {an integer} $\lambda$ from above, we study the probability that the $m\times n$ matrix extended from $\bf{A}$ by appending other $m-k$ row vectors of dimension $n$ with entries chosen randomly and independently from the uniform distribution over $\{0, 1,\ldots, \lambda-1\}$ is still primitive. We present a complete and rigorous proof of a lower bound on the probability, which is at least a constant for fixed $m$ in the range $[k+1, n-4]$. As an application, we prove that there exists a fast Las Vegas algorithm that completes a $k\times n$ primitive matrix $\bf{A}$ to an $n\times n$ unimodular matrix within expected $\tilde{O}(n^{\omega}\log \|\bf{A}\|)$ bit operations, where $\tilde{O}$ is big-$O$ but without log factors, $\omega$ is the exponent on the arithmetic operations of matrix multiplication.


title: Hardware-Efficient Microwave-Activated Tunable Coupling Between Superconducting Qubits

abstract: Generating high-fidelity, tunable entanglement between qubits is crucial for realizing gate-based quantum computation. In superconducting circuits, tunable interactions are often implemented using flux-tunable qubits or coupling elements, adding control complexity and noise sources. Here, we realize a tunable $ZZ$ interaction between two transmon qubits with fixed frequencies and fixed coupling, induced by driving both transmons off-resonantly. We show tunable coupling over one order of magnitude larger than the static coupling, and change the sign of the interaction, enabling cancellation of the idle coupling. Further, this interaction is amenable to large quantum processors: the drive frequency can be flexibly chosen to avoid spurious transitions, and because both transmons are driven, it is resilient to microwave crosstalk. We apply this interaction to implement a controlled phase (CZ) gate with a gate fidelity of $99.43(1)\%$ as measured by cycle benchmarking, and we find the fidelity is limited by incoherent errors.


title: A Statistical Model for Melody Reduction

abstract: A commonly-cited reason for the poor performance of automatic chord estimation (ACE) systems within music information retrieval (MIR) is that non-chord tones (i.e., notes outside the supporting harmony) contribute to error during the labeling process. Despite the prevalence of machine learning approaches in MIR, there are cases where alternative approaches provide a simpler alternative while allowing for insights into musicological practices. In this project, we present a statistical model for predicting chord tones based on music theory rules. Our model is currently focused on predicting chord tones in classical music, since composition in this style is highly constrained, theoretically making the placement of chord tones highly predictable. Indeed, music theorists have labeling systems for every variety of non-chord tone, primarily classified by the note's metric position and intervals of approach and departure. Using metric position, duration, and melodic intervals as predictors, we build a statistical model for predicting chord tones using the TAVERN dataset. While our probabilistic approach is similar to other efforts in the domain of automatic harmonic analysis, our focus is on melodic reduction rather than predicting harmony. However, we hope to pursue applications for ACE in the future. Finally, we implement our melody reduction model using an existing symbolic visualization tool, to assist with melody reduction and non-chord tone identification for computational musicology researchers and music theorists.


title: A note on the zeros of Jensen polynomials

abstract: A recent result of Griffin, Ono, Rolen and Zagier on Jensen polynomials related with the Riemann zeta function is improved.


title: Probing Strong Coupling between a Microwave Cavity and a Spin Ensemble with Raman Heterodyne Spectroscopy

abstract: Raman heterodyne spectroscopy is a powerful tool for characterizing the energy and dynamics of spins. The technique uses an optical pump to transfer coherence from a spin transition to an optical transition where the coherent emission is more easily detected. Here Raman heterodyne spectroscopy is used to probe an isotopically purified ensemble of erbium dopants, in a yttrium orthosilicate (Y$_2$SiO$_5$) crystal coupled to a microwave cavity. Because the erbium electron spin transition is strongly coupled to the microwave cavity, we observed Raman heterodyne signals at the resonant frequencies of the hybrid spin-cavity modes (polaritons) rather than the bare erbium spin transition frequency. Using the coupled system, we made saturation recovery measurements of the ground state spin relaxation time T$_1$ = 10$\pm$3 seconds, and also observed Raman heterodyne signals using an excited state spin transition. We discuss the implications of these results for efforts towards converting microwave quantum states to optical quantum states.


title: On discrete gradient vector fields and Laplacians of simplicial complexes

abstract: Discrete Morse theory, a cell complex-analog to smooth Morse theory, has been developed over the past few decades since its original formulation by Robin Forman in 1998. In particular, discrete gradient vector fields on simplicial complexes capture important features of discrete Morse functions. We prove that the characteristic polynomials of the Laplacian matrices of a simplicial complex are generating functions for discrete gradient vector fields of discrete Morse functions when the complex is either a graph or a triangulation of an orientable manifold. Furthermore, we provide a full characterization of the correspondence between rooted forests in higher dimensions and discrete gradient vector fields.


title: Co-Factorization Model for Collaborative Filtering with Session-based Data

abstract: Matrix factorization (MF) is a common method for collaborative filtering. MF represents user preferences and item attributes by latent factors. Despite that MF is a powerful method, it suffers from not be able to identifying strong associations of closely related items. In this work, we propose a method for matrix factorization that can reflect the localized relationships between strong related items into the latent representations of items. We do it by combine two worlds: MF for collaborative filtering and item2vec for item-embedding. The proposed method is able to exploit item-item relations. Our experiments on several datasets demonstrates a better performance with the previous work.


title: Disorder effects in topological insulator nanowires

abstract: Three-dimensional topological insulator (TI) nanowires with quantized surface subband spectra are studied as a main component of Majorana bound states (MBS) devices. However, such wires are known to have large concentration $N \sim 10^{19}$ cm$^{-3}$ of Coulomb impurities. It is believed that a MBS device can function only if the amplitude of long-range fluctuations of the random Coulomb potential $\Gamma$ is smaller than the subband gap $\Delta$. Here we calculate $\Gamma$ for recently experimentally studied large-dielectric-constant (Bi$_{1-x}$Sb$_x$)$_2$Te$_{3}$ wires in a small-dielectric-constant environment (no superconductor). We show that provided by such a dielectric-constant contrast, the confinement of electric field of impurities within the wire allows more distant impurities to contribute into $\Gamma$, leading to $\Gamma \sim 3\Delta$. We also calculate a TI wire resistance as a function of the Fermi level and carrier concentration due to scattering on Coulomb and neutral impurities, and do not find observable discrete subband-spectrum related oscillations at $N \gtrsim 10^{18}$ cm$^{-3}$.


title: News Headline Grouping as a Challenging NLU Task

abstract: Recent progress in Natural Language Understanding (NLU) has seen the latest models outperform human performance on many standard tasks. These impressive results have led the community to introspect on dataset limitations, and iterate on more nuanced challenges. In this paper, we introduce the task of HeadLine Grouping (HLG) and a corresponding dataset (HLGD) consisting of 20,056 pairs of news headlines, each labeled with a binary judgement as to whether the pair belongs within the same group. On HLGD, human annotators achieve high performance of around 0.9 F-1, while current state-of-the art Transformer models only reach 0.75 F-1, opening the path for further improvements. We further propose a novel unsupervised Headline Generator Swap model for the task of HeadLine Grouping that achieves within 3 F-1 of the best supervised model. Finally, we analyze high-performing models with consistency tests, and find that models are not consistent in their predictions, revealing modeling limits of current architectures.


title: What's The Latest? A Question-driven News Chatbot

abstract: This work describes an automatic news chatbot that draws content from a diverse set of news articles and creates conversations with a user about the news. Key components of the system include the automatic organization of news articles into topical chatrooms, integration of automatically generated questions into the conversation, and a novel method for choosing which questions to present which avoids repetitive suggestions. We describe the algorithmic framework and present the results of a usability study that shows that news readers using the system successfully engage in multi-turn conversations about specific news stories.


title: Quantum Encryption with Certified Deletion, Revisited: Public Key, Attribute-Based, and Classical Communication

abstract: Broadbent and Islam (TCC '20) proposed a quantum cryptographic primitive called quantum encryption with certified deletion. In this primitive, a receiver in possession of a quantum ciphertext can generate a classical certificate that the encrypted message is deleted. Although their construction is information-theoretically secure, it is limited to the setting of one-time symmetric key encryption (SKE), where a sender and receiver have to share a common key in advance and the key can be used only once. Moreover, the sender has to generate a quantum state and send it to the receiver over a quantum channel in their construction. Although deletion certificates are privately verifiable, which means a verification key for a certificate has to be kept secret, in the definition by Broadbent and Islam, we can also consider public verifiability. In this work, we present various constructions of encryption with certified deletion. - Quantum communication case: We achieve (reusable-key) public key encryption (PKE) and attribute-based encryption (ABE) with certified deletion. Our PKE scheme with certified deletion is constructed assuming the existence of IND-CPA secure PKE, and our ABE scheme with certified deletion is constructed assuming the existence of indistinguishability obfuscation and one-way function. These two schemes are privately verifiable. - Classical communication case: We also achieve PKE with certified deletion that uses only classical communication. We give two schemes, a privately verifiable one and a publicly verifiable one. The former is constructed assuming the LWE assumption in the quantum random oracle model. The latter is constructed assuming the existence of one-shot signatures and extractable witness encryption.


title: Superradiation of Dirac particles in KN black hole

abstract: In this article, we process the approximate wave function of the Dirac particle outside the horizon of the KN ds black hole to effective potential V, and then derive V (including real and imaginary parts). We know that fermions cannot produce superradiation, but we can prove that Dirac particles in the KN black hole background can have a special solution through a certain operation, forming a Cooper pair, thus producing superradiation.We deal with the real and imaginary parts separately. When V (real part or imaginary part) has a maximum value, there may be a potential barrier outside the field of view to have a chance to produce superradiation.


title: Bayesian Model Averaging for Data Driven Decision Making when Causality is Partially Known

abstract: Probabilistic machine learning models are often insufficient to help with decisions on interventions because those models find correlations - not causal relationships. If observational data is only available and experimentation are infeasible, the correct approach to study the impact of an intervention is to invoke Pearl's causality framework. Even that framework assumes that the underlying causal graph is known, which is seldom the case in practice. When the causal structure is not known, one may use out-of-the-box algorithms to find causal dependencies from observational data. However, there exists no method that also accounts for the decision-maker's prior knowledge when developing the causal structure either. The objective of this paper is to develop rational approaches for making decisions from observational data in the presence of causal graph uncertainty and prior knowledge from the decision-maker. We use ensemble methods like Bayesian Model Averaging (BMA) to infer set of causal graphs that can represent the data generation process. We provide decisions by computing the expected value and risk of potential interventions explicitly. We demonstrate our approach by applying them in different example contexts.


title: Parsec-scale Properties of eight Fanaroff-Riley Type 0 Radio Galaxies

abstract: We report the high-resolution radio observations of eight Fanaroff-Riley type 0 radio galaxies (FR 0s), selected from the published FR 0 sample. These observations were carried out with the Very Long Baseline Array (VLBA) and European VLBI Network (EVN) at frequencies of 5 and 8 GHz with a highest resolution of 0.6 mas. All eight sources show compact structures on projected physical sizes of 0.3-10 parsec. Six sources show a two-sided structure and two sources show a one-sided jet structure. J1025+1022 shows an X-shaped jet structure, which could result from a reorientation of the jet axis due to a restart of the central engine or a projection of a highly curved inner jet, but more studies are needed to examine these scenarios. Proper motions for 22 jet components of the eight sources are determined to be between -0.08 c and 0.51 c. Although most of the sources exhibit flat spectra, other observed characteristics, such as, low-amplitude flux density variations, low jet proper motion speeds, and symmetric two-sided jet structures, tend to support that the pc-scale FR 0 jets are mildly relativistic with lower bulk Lorentz factors and larger viewing angles.


title: Charged particle scattering in dipolarized magnetotail

abstract: The Earth's magnetotail is characterized by stretched magnetic field lines. Energetic particles are effectively scattered due to the field-line curvature, which then leads to isotropization of energetic particle distributions and particle precipitation to the Earth's atmosphere. Measurements of these precipitation at low-altitude spacecraft are thus often used to remotely probe the magnetotail current sheet configuration. This configuration may include spatially localized maxima of the curvature radius at equator (due to localized humps of the equatorial magnetic field magnitude) that reduce the energetic particle scattering and precipitation. Therefore, the measured precipitation patterns are related to the spatial distribution of the equatorial curvature radius that is determined by the magnetotail current sheet configuration. In this study, we show that, contrary to previous thoughts, the magnetic field line configuration with the localized curvature radius maximum can actually enhance the scattering and subsequent precipitation. The spatially localized magnetic field dipolarization (magnetic field humps) can significantly curve magnetic field lines far from the equator and create off-equatorial minima in the curvature radius. Scattering of energetic particles in these off-equatorial regions alters the scattering (and precipitation) patterns, which has not been studied yet. We discuss our results in the context of remote-sensing the magnetotail current sheet configuration with low-altitude spacecraft measurements.


title: Sound, Precise, and Fast Abstract Interpretation with Tristate Numbers

abstract: Extended Berkeley Packet Filter (BPF) is a language and run-time system that allows non-superusers to extend the Linux and Windows operating systems by downloading user code into the kernel. To ensure that user code is safe to run in kernel context, BPF relies on a static analyzer that proves properties about the code, such as bounded memory access and the absence of operations that crash. The BPF static analyzer checks safety using abstract interpretation with several abstract domains. Among these, the domain of tnums (tristate numbers) is a key domain used to reason about the bitwise uncertainty in program values. This paper formally specifies the tnum abstract domain and its arithmetic operators. We provide the first proofs of soundness and optimality of the abstract arithmetic operators for tnum addition and subtraction used in the BPF analyzer. Further, we describe a novel sound algorithm for multiplication of tnums that is more precise and efficient (runs 33% faster on average) than the Linux kernel's algorithm. Our tnum multiplication is now merged in the Linux kernel.


title: A Curious Use of Extra Dimension in Classical Mechanics

abstract: Extra dimensions can be utilized to simplify problems in classical mechanics, offering new insights. Here we show a simple example of how the motion of a test particle under the influence of an inverse-quadratic potential in 1D is equivalent to that of another test particle moving freely in 2D Euclidean space and 3D Minkowskian space.


title: Homogeneous vector bundles and $G$-equivariant convolutional neural networks

abstract: $G$-equivariant convolutional neural networks (GCNNs) is a geometric deep learning model for data defined on a homogeneous $G$-space $\mathcal{M}$. GCNNs are designed to respect the global symmetry in $\mathcal{M}$, thereby facilitating learning. In this paper, we analyze GCNNs on homogeneous spaces $\mathcal{M} = G/K$ in the case of unimodular Lie groups $G$ and compact subgroups $K \leq G$. We demonstrate that homogeneous vector bundles is the natural setting for GCNNs. We also use reproducing kernel Hilbert spaces to obtain a precise criterion for expressing $G$-equivariant layers as convolutional layers. This criterion is then rephrased as a bandwidth criterion, leading to even stronger results for some groups.


title: Stable finite difference methods for Kirchhoff-Love plates on overlapping grids

abstract: In this work, we propose and develop efficient and accurate numerical methods for solving the Kirchhoff-Love plate model in domains with complex geometries. The algorithms proposed here employ curvilinear finite-difference methods for spatial discretization of the governing PDEs on general composite overlapping grids. The coupling of different components of the composite overlapping grid is through numerical interpolations. However, interpolations introduce perturbation to the finite-difference discretization, which causes numerical instability for time-stepping schemes used to advance the resulted semi-discrete system. To address the instability, we propose to add a fourth-order hyper-dissipation to the spatially discretized system to stabilize its time integration; this additional dissipation term captures the essential upwinding effect of the original upwind scheme. The investigation of strategies for incorporating the upwind dissipation term into several time-stepping schemes (both explicit and implicit) leads to the development of four novel algorithms. For each algorithm, formulas for determining a stable time step and a sufficient dissipation coefficient on curvilinear grids are derived by performing a local Fourier analysis. Quadratic eigenvalue problems for a simplified model plate in 1D domain are considered to reveal the weak instability due to the presence of interpolating equations in the spatial discretization. This model problem is further investigated for the stabilization effects of the proposed algorithms. Carefully designed numerical experiments are carried out to validate the accuracy and stability of the proposed algorithms, followed by two benchmark problems to demonstrate the capability and efficiency of our approach for solving realistic applications. Results that concern the performance of the proposed algorithms are also presented.


title: Multiorbital edge and corner states in black phosphorene

abstract: We theoretically study emergent edge/corner localized states in monolayer black phosphorene. Using the tight-binding model based on the density functional theory, we find that the multi-orbital band structure due to the non-planar puckered geometry plays an essential role in the formation of the boundary localized modes. In particular, we demonstrate that edge states emerge at a boundary along an arbitrary crystallographic direction, and it can be understood from the fact that the Wannier orbitals associated with $3p_x$, $3p_y$, $3p_z$ orbitals occupy all the bond centers of phosphorene. At a corner where two edges intersect, we show that multiple corner-localized states appear due to hybridization of higher-order topological corner state and the edge states nearby. These characteristic properties of the edge and corner states can be intuitively explained by a simple topologically-equivalent model where all the bond angles are deformed to $90^{\circ}$.


title: Structure Guided Lane Detection

abstract: Recently, lane detection has made great progress with the rapid development of deep neural networks and autonomous driving. However, there exist three mainly problems including characterizing lanes, modeling the structural relationship between scenes and lanes, and supporting more attributes (e.g., instance and type) of lanes. In this paper, we propose a novel structure guided framework to solve these problems simultaneously. In the framework, we first introduce a new lane representation to characterize each instance. Then a topdown vanishing point guided anchoring mechanism is proposed to produce intensive anchors, which efficiently capture various lanes. Next, multi-level structural constraints are used to improve the perception of lanes. In the process, pixel-level perception with binary segmentation is introduced to promote features around anchors and restore lane details from bottom up, a lane-level relation is put forward to model structures (i.e., parallel) around lanes, and an image-level attention is used to adaptively attend different regions of the image from the perspective of scenes. With the help of structural guidance, anchors are effectively classified and regressed to obtain precise locations and shapes. Extensive experiments on public benchmark datasets show that the proposed approach outperforms state-of-the-art methods with 117 FPS on a single GPU.


title: Optimal Prediction using Learning and Shape Optimization

abstract: This paper investigates the problem of optimal predictor design for distributed parameter systems using neural networks and shape optimization. Sensors with various shapes are placed on the domain of the distributed parameter system. Data provided by these sensors are fed into a re-constructor to generate a full state of the system. After that, a trained neural-network predictor produces a prediction of the state at future time steps. The cost of prediction is defined as the weighted sensor area plus the squared norm of the prediction error. The location and shape of a sensor influences the prediction cost as well as the predictor performance. With the aid of the gradient of the network with respect to its inputs, an outer optimization layer is augmented to find optimized locations and shapes of the sensors. Simulation results show good agreement between the predicted and the true states as well as a significant reduction in cost by sensors with optimized locations and shapes.


title: Stephan Prantner's Sunspot Observations during the Dalton Minimum

abstract: In addition to regular Schwabe cycles (~ 11 years), solar activity also shows longer periods of enhanced or reduced activity. Of these, reconstructions of the Dalton Minimum provide controversial sunspot group numbers and limited sunspot positions, partially due to limited source record accessibility. We analysed Stephan Prantner's sunspot observations from 1804--1844, the values of which had only been known through estimates despite their notable chronological coverage during the Dalton Minimum. We identified his original manuscript in Stiftsarchiv Wilten, near Innsbruck, Austria. We reviewed his biography (1782--1873) and located his observational sites at Wilten and Waidring, which housed the principal telescopes for his early and late observations: a 3.5-inch astronomical telescope and a Reichenbach 4-feet achromatic erecting telescope, respectively. We identified 215 days of datable sunspot observations, which are twice as much data as his estimated data in the existing database (= 115 days). Prantner counted up to 7--9 sunspot groups per day and measured sunspot positions, which show their distributions in both solar hemispheres. These results strikingly emphasise the difference between the Dalton Minimum and the Maunder Minimum as well as the similarity between the Dalton Minimum and the modern solar cycles.


title: On structure of topological entropy for tree-shift of finite type

abstract: This paper deals with the topological entropy for hom Markov shifts $\mathcal{T}_M$ on $d$-tree. If $M$ is a reducible adjacency matrix with $q$ irreducible components $M_1, \cdots, M_q$, we show that $h(\mathcal{T}_{M})=\max_{1\leq i\leq q}h(\mathcal{T}_{M_{i}})$ fails generally, and present a case study with full characterization in terms of the equality. Though that it is likely the sets $\{h(\mathcal{T}_{M}):M\text{ is binary and irreducible}\}$ and $\{h(\mathcal{T}_{X}):X\text{ is a one-sided shift}\}$ are not coincident, we show the two sets share the common closure. Despite the fact that such closure is proved to contain the interval $[d \log 2, \infty)$, numerical experiments suggest its complement contain open intervals.