title: A Runtime-Based Computational Performance Predictor for Deep Neural Network Training

abstract: Deep learning researchers and practitioners usually leverage GPUs to help train their deep neural networks (DNNs) faster. However, choosing which GPU to use is challenging both because (i) there are many options, and (ii) users grapple with competing concerns: maximizing compute performance while minimizing costs. In this work, we present a new practical technique to help users make informed and cost-efficient GPU selections: make performance predictions with the help of a GPU that the user already has. Our technique exploits the observation that, because DNN training consists of repetitive compute steps, predicting the execution time of a single iteration is usually enough to characterize the performance of an entire training process. We make predictions by scaling the execution time of each operation in a training iteration from one GPU to another using either (i) wave scaling, a technique based on a GPU's execution model, or (ii) pre-trained multilayer perceptrons. We implement our technique into a Python library called Habitat and find that it makes accurate iteration execution time predictions (with an average error of 11.8%) on ResNet-50, Inception v3, the Transformer, GNMT, and DCGAN across six different GPU architectures. Habitat supports PyTorch, is easy to use, and is open source.


title: How to Measure Cyber Resilience of an Autonomous Agent: Approaches and Challenges

abstract: Several approaches have been used to assess the performance of cyberphysical systems and their exposure to various types of risks. Such assessments have become increasingly important as autonomous attackers ramp up the frequency, duration and intensity of threats while autonomous agents have the potential to respond to cyber-attacks with unprecedented speed and scale. However, most assessment approaches have limitations with respect to measuring cyber resilience, or the ability of systems to absorb, recover from, and adapt to cyberattacks. In this paper, we provide an overview of several common approaches, discuss practical challenges and propose research directions for the development of effective cyber resilience measures.


title: Decoupling the Role of Data, Attention, and Losses in Multimodal Transformers

abstract: Recently multimodal transformer models have gained popularity because their performance on language and vision tasks suggest they learn rich visual-linguistic representations. Focusing on zero-shot image retrieval tasks, we study three important factors which can impact the quality of learned representations: pretraining data, the attention mechanism, and loss functions. By pretraining models on six datasets, we observe that dataset noise and language similarity to our downstream task are important indicators of model performance. Through architectural analysis, we learn that models with a multimodal attention mechanism can outperform deeper models with modality specific attention mechanisms. Finally, we show that successful contrastive losses used in the self-supervised learning literature do not yield similar performance gains when used in multimodal transformers


title: A note on the asymptotics for incomplete Betafunctions

abstract: We determine the asymptotic behaviour of certain incomplete Betafunctions.


title: Near-field Image Transmission and EVM Measurements in Rich Scattering Environment

abstract: In this work, we present near-field image transmission and error vector magnitude measurement in a rich scattering environment in a metal enclosure. We check the effect of loading metal enclosure on the performance of SDR based near-field communication link. We focus on the key communication receiver parameters to observe the effect of near-field link in presence of rich-scattering and in presence of loading with RF absorber cones. The near-field performance is measured by transmitting wideband OFDM-modulated packets containing image information. Our finding suggests that the performance of OFDM based wideband near-field communication improves when the metal enclosure is loaded with RF absorbers. Near-field EVM improves when the enclosure is loaded with RF absorber cones. Loading of the metal enclosure has the effect of increased coherence bandwidth. Frequency selectivity was observed in an empty enclosure which suggests coherence bandwidth less than the signal bandwidth.


title: Exact Topology of Dynamic Probability Surface of an Activated Process by Persistent Homology

abstract: To gain insight into reaction mechanism of activated processes, we introduce an exact approach for quantifying the topology of high-dimensional probability surfaces of the underlying dynamic processes. Instead of Morse indexes, we study the homology groups of a sequence of superlevel sets of the probability surface over high-dimensional configuration spaces using persistent homology. For alanine-dipeptide isomerization, a prototype of activated processes, we identify locations of probability peaks and connecting-ridges, along with measures of their global prominence. Instead of a saddle-point, the transition state ensemble (TSE) of conformations are at the most prominent probability peak after reactants/products, when proper reaction coordinates are included. Intuition-based models, even those exhibiting a double-well, fail to capture the dynamics of the activated process. Peak occurrence, prominence, and locations can be distorted upon subspace projection. While principal component analysis account for conformational variance, it inflates the complexity of the surface topology and destroy dynamic properties of the topological features. In contrast, TSE emerges naturally as the most prominent peak beyond the reactant/product basins, when projected to a subspace of minimum dimension containing the reaction coordinates. Our approach is general and can be applied to investigate the topology of high-dimensional probability surfaces of other activated process.


title: Deep Deterministic Information Bottleneck with Matrix-based Entropy Functional

abstract: We introduce the matrix-based Renyi's $\alpha$-order entropy functional to parameterize Tishby et al. information bottleneck (IB) principle with a neural network. We term our methodology Deep Deterministic Information Bottleneck (DIB), as it avoids variational inference and distribution assumption. We show that deep neural networks trained with DIB outperform the variational objective counterpart and those that are trained with other forms of regularization, in terms of generalization performance and robustness to adversarial attack.Code available at https://github.com/yuxi120407/DIB


title: Generative and Discriminative Deep Belief Network Classifiers: Comparisons Under an Approximate Computing Framework

abstract: The use of Deep Learning hardware algorithms for embedded applications is characterized by challenges such as constraints on device power consumption, availability of labeled data, and limited internet bandwidth for frequent training on cloud servers. To enable low power implementations, we consider efficient bitwidth reduction and pruning for the class of Deep Learning algorithms known as Discriminative Deep Belief Networks (DDBNs) for embedded-device classification tasks. We train DDBNs with both generative and discriminative objectives under an approximate computing framework and analyze their power-at-performance for supervised and semi-supervised applications. We also investigate the out-of-distribution performance of DDBNs when the inference data has the same class structure yet is statistically different from the training data owing to dynamic real-time operating environments. Based on our analysis, we provide novel insights and recommendations for choice of training objectives, bitwidth values, and accuracy sensitivity with respect to the amount of labeled data for implementing DDBN inference with minimum power consumption on embedded hardware platforms subject to accuracy tolerances.


title: On the maximum number of non attacking rooks on a high-dimensional simplicial chessboard

abstract: The simplicial rook graph ${\rm \mathcal{SR}}(m,n)$ is the graph whose vertices are vectors in $ \mathbb{N}^m$ such that for each vector the summation of its coordinates is $n$ and two vertices are adjacent if their corresponding vectors differ in exactly two coordinates. Martin and Wagner (Graphs Combin. (2015) 31:1589--1611) asked about the independence number of ${\rm \mathcal{SR}}(m,n)$ that is the maximum number of non attacking rooks which can be placed on a $(m-1)$-dimensional simplicial chessboard of side length $n+1$. In this work, we solve this problem and show that $\alpha({\rm \mathcal{SR}}(m,n))=\big(1-o(1)\big)\frac{\binom{n+m-1}{n}}{m}$. We also prove that for the domination number of rook graphs we have $\gamma({\rm \mathcal{SR}}(m, n))= \Theta (n^{m-2})$. Moreover we show that these graphs are Hamiltonian. The cyclic simplicial rook graph ${\rm \mathcal{CSR}}(m,n)$ is the graph whose vertices are vectors in $\mathbb{Z}^{m}_{n}$ such that for each vector the summation of its coordinates modulo $n$ is $0$ and two vertices are adjacent if their corresponding vectors differ in exactly two coordinates. In this work we determine several properties of these graphs such as independence number, chromatic number and automorphism group. Among other results, we also prove that computing the distance between two vertices of a given ${\rm \mathcal{CSR}}(m,n)$ is $ \mathbf{NP}$-hard in terms of $n$ and $m$.


title: Phase Retrieval via Polarization in Dynamical Sampling

abstract: In this paper we consider the nonlinear inverse problem of phase retrieval in the context of dynamical sampling. Where phase retrieval deals with the recovery of signals & images from phaseless measurements, dynamical sampling was introduced by Aldroubi et al in 2015 as a tool to recover diffusion fields from spatiotemporal samples. Considering finite-dimensional signals evolving in time under the action of a known matrix, our aim is to recover the signal up to global phase in a stable way from the absolute value of certain space-time measurements. First, we state necessary conditions for the dynamical system of sampling vectors to make the recovery of the unknown signal possible. The conditions deal with the spectrum of the given matrix and the initial sampling vector. Then, assuming that we have access to a specific set of further measurements related to aligned sampling vectors, we provide a feasible procedure to recover almost every signal up to global phase using polarization techniques. Moreover, we show that by adding extra conditions like full spark, the recovery of all signals is possible without exceptions.


title: Electron multiplication in nanovoids at the initial stage of nanosecond discharge in liquid water

abstract: The process of electron multiplication through the bouncing-like accelerated motion of electrons inside nanovoids formed owing to external electric fields in bulk liquid water is investigated using Monte Carlo simulations in Geant4-DNA. Our results show that the initial charge developed at the metal/liquid interface can be multiplied and expanded along the direction of the external electric field on a picosecond timescale, owing to collision-free interiors of the nanoruptures. Characteristic features of two different electron multiplication mechanisms are revealed and characterized. We find that electrons can be accelerated inside cylindrical nanoruptures while bouncing off the void/water interface. Simulations predict geometric conditions leading to charge multiplication along the void, rather than electron capture or thermalization in bulk liquid. Our results are consistent with the recent verification of the causal relation between electrostriction-induced perturbations in bulk liquid, and the subsequent formation of luminous filaments evidencing the presence of energetic electrons.


title: CODE-AE: A Coherent De-confounding Autoencoder for Predicting Patient-Specific Drug Response From Cell Line Transcriptomics

abstract: Accurate and robust prediction of patient's response to drug treatments is critical for developing precision medicine. However, it is often difficult to obtain a sufficient amount of coherent drug response data from patients directly for training a generalized machine learning model. Although the utilization of rich cell line data provides an alternative solution, it is challenging to transfer the knowledge obtained from cell lines to patients due to various confounding factors. Few existing transfer learning methods can reliably disentangle common intrinsic biological signals from confounding factors in the cell line and patient data. In this paper, we develop a Coherent Deconfounding Autoencoder (CODE-AE) that can extract both common biological signals shared by incoherent samples and private representations unique to each data set, transfer knowledge learned from cell line data to tissue data, and separate confounding factors from them. Extensive studies on multiple data sets demonstrate that CODE-AE significantly improves the accuracy and robustness over state-of-the-art methods in both predicting patient drug response and de-confounding biological signals. Thus, CODE-AE provides a useful framework to take advantage of in vitro omics data for developing generalized patient predictive models. The source code is available at https://github.com/XieResearchGroup/CODE-AE.


title: Spatial statistics of superposition of two uncorrelated speckle patterns with polarization diversity

abstract: A detailed theoretical and experimental study on the effect of the superposition of uncorrelated speckle patterns with polarization diversity on the spatial statistics of the superposed speckle pattern is presented. It is shown that depending on the mutual orientation of the polarization vectors of the constituent speckle patterns, the maximum degree of coherence (DoC) and degree of polarization (DoP) of the superposed speckle pattern changes between a maximum and minimum value in a sinusoidal fashion. Moreover, the average intensity ratio of the constituent speckle patterns is also found to be affecting these variations. A study of the change in the visibility of the two-point intensity correlation function also reveals a sinusoidal nature of the variation and its dependence on the ratio of the average intensity, which are found to be similar to the variations of the maximum DoC and DoP. A detailed study on the changes in the normalized probability density function is also performed for better understanding of the effect on the spatial statistics.


title: Derivative-free Bayesian Inversion Using Multiscale Dynamics

abstract: Inverse problems are ubiquitous because they formalize the integration of data with mathematical models. In many scientific applications the forward model is expensive to evaluate, and adjoint computations are difficult to employ; in this setting derivative-free methods which involve a small number of forward model evaluations are an attractive proposition. Ensemble Kalman based interacting particle systems (and variants such as consensus based and unscented Kalman approaches) have proven empirically successful in this context, but suffer from the fact that they cannot be systematically refined to return the true solution, except in the setting of linear forward models. In this paper, we propose a new derivative-free approach to Bayesian inversion, which may be employed for posterior sampling or for maximum a posteriori estimation, and may be systematically refined. The method relies on a fast/slow system of stochastic differential equations for the local approximation of the gradient of the log-likelihood appearing in a Langevin diffusion. Furthermore the method may be preconditioned by use of information from ensemble Kalman based methods (and variants), providing a methodology which leverages the documented advantages of those methods, whilst also being provably refineable. We define the methodology, highlighting its flexibility and many variants, provide a theoretical analysis of the proposed approach, and demonstrate its efficacy by means of numerical experiments.


title: Short Text Clustering with Transformers

abstract: Recent techniques for the task of short text clustering often rely on word embeddings as a transfer learning component. This paper shows that sentence vector representations from Transformers in conjunction with different clustering methods can be successfully applied to address the task. Furthermore, we demonstrate that the algorithm of enhancement of clustering via iterative classification can further improve initial clustering performance with different classifiers, including those based on pre-trained Transformer language models.


title: Follow the Scent: Defeating IPv6 Prefix Rotation Privacy

abstract: IPv6's large address space allows ample freedom for choosing and assigning addresses. To improve client privacy and resist IP-based tracking, standardized techniques leverage this large address space, including privacy extensions and provider prefix rotation. Ephemeral and dynamic IPv6 addresses confound not only tracking and traffic correlation attempts, but also traditional network measurements, logging, and defense mechanisms. We show that the intended anti-tracking capability of these widely deployed mechanisms is unwittingly subverted by edge routers using legacy IPv6 addressing schemes that embed unique identifiers. We develop measurement techniques that exploit these legacy devices to make tracking such moving IPv6 clients feasible by combining intelligent search space reduction with modern high-speed active probing. Via an Internet-wide measurement campaign, we discover more than 9M affected edge routers and approximately 13k /48 prefixes employing prefix rotation in hundreds of ASes worldwide. We mount a six-week campaign to characterize the size and dynamics of these deployed IPv6 rotation pools, and demonstrate via a case study the ability to remotely track client address movements over time. We responsibly disclosed our findings to equipment manufacturers, at least one of which subsequently changed their default addressing logic.


title: On the distribution of non-primitive lattice points in the plane

abstract: We improve on a result by Svetlana Jitomirskaya and Wencai Liu dealing with inhomogeneous Diophantine approximation in the coprime setting.


title: Hypoelliptic entropy dissipation for stochastic differential equations

abstract: We study the convergence analysis for general degenerate and non-reversible stochastic differential equations (SDEs). We apply the Lyapunov method to analyze the Fokker-Planck equation, in which the Lyapunov functional is chosen as a weighted relative Fisher information functional. We derive a structure condition and formulate the Lyapunov constant explicitly. We prove the exponential convergence result for the probability density function towards its invariant distribution in the $L_1$ distance. Two examples are presented: underdamped Langevin dynamics with variable diffusion matrices and three oscillator chain models with nearest-neighbor couplings.


title: Energy in Fourth Order Gravity

abstract: In this paper we make a detailed analysis of conservation principles in the context of a family of fourth-order gravitational theories generated via a quadratic Lagrangian. In particular, we focus on the associated notion of energy and start a program related to its study. We also exhibit examples of solutions which provide intuitions about this notion of energy which allows us to interpret it, and introduce several study cases where its analysis seems tractable. Finally, positive energy theorems are presented in restricted situations.


title: GraphEBM: Molecular Graph Generation with Energy-Based Models

abstract: We note that most existing approaches for molecular graph generation fail to guarantee the intrinsic property of permutation invariance, resulting in unexpected bias in generative models. In this work, we propose GraphEBM to generate molecular graphs using energy-based models. In particular, we parameterize the energy function in a permutation invariant manner, thus making GraphEBM permutation invariant. We apply Langevin dynamics to train the energy function by approximately maximizing likelihood and generate samples with low energies. Furthermore, to generate molecules with a desirable property, we propose a simple yet effective strategy, which pushes down energies with flexible degrees according to the properties of corresponding molecules. Finally, we explore the use of GraphEBM for generating molecules with multiple objectives in a compositional manner. Comprehensive experimental results on random, goal-directed, and compositional generation tasks demonstrate the effectiveness of our proposed method.


title: Maximum Number of Non-Intersecting Diagonals in Square Arrays

abstract: In this paper, we derive a formula to express the maximum number of non-intersecting diagonals of arbitrary length that can be drawn in n x n square arrays, where n is a multiple of l+1.


title: Understanding the onset of negative electronic compressibility in one- and two-band 2D electron gases: Application to LaAlO$_3$/SrTiO$_3$

abstract: We investigate the effects of two electronic bands at the negative electronic compressibility (NEC) in a two-dimensional electron gas (2DEG). We use a simple homogeneous model with Coulombic interactions and first-order multi-band coupling to examine the role of effective mass and relative permittivity in relation to the critical carrier density, where compressibility turns negative. We demonstrate that the population of a second band, along with the presence of inter-band coupling, can dramatically change the cross-over carrier density. Given the difficulty in determining and confirming multi-band electronic systems, this model provides a potential method for identifying multi-band electronic systems using precise bulk electronic properties measurements. To help illustrate this method, we apply our results to the observed NEC in the 2D electron gas at the interface of LaAlO$_3$/SrTiO$_3$ (LAO/STO) and determine that, for the known parameters of LAO/STO, the system is likely a realization of a two-band 2D electron gas. Furthermore, we provide general limits on the inter-band coupling with respect to the electronic band population.

categories: cond-mat.str-el cond-mat.mtrl-sci cond-mat.other cond-mat.stat-mech


title: Average size of Selmer group in large q limit

abstract: In this paper, we prove a function field-analogue of Poonen-Rains heuristics on the average size of $p$-Selmer group. Let $E$ be an elliptic curve defined over $\mathbb{Z}[t]$. Then $E$ is also defined over $\mathbb{F}_q$ for any $q$ of prime power. We show that for large enough $q$, the average size of the $p$-Selmer groups over the family of quadratic twists of $E$ over $\mathbb{F}_q[t]$ is equal to $p+1$ for all but finitely many primes $p$. Namely, if we twist the curve in $\mathbb{F}_q[t]$ by polynomials of fixed degree $n$ and let both $n$ and $q$ approach to infinity, then the average rank of $p$-Selmer group converges to $p+1$.


title: Boosting the Predictive Accurary of Singer Identification Using Discrete Wavelet Transform For Feature Extraction

abstract: Facing the diversity and growth of the musical field nowadays, the search for precise songs becomes more and more complex. The identity of the singer facilitates this search. In this project, we focus on the problem of identifying the singer by using different methods for feature extraction. Particularly, we introduce the Discrete Wavelet Transform (DWT) for this purpose. To the best of our knowledge, DWT has never been used this way before in the context of singer identification. This process consists of three crucial parts. First, the vocal signal is separated from the background music by using the Robust Principal Component Analysis (RPCA). Second, features from the obtained vocal signal are extracted. Here, the goal is to study the performance of the Discrete Wavelet Transform (DWT) in comparison to the Mel Frequency Cepstral Coefficient (MFCC) which is the most used technique in audio signals. Finally, we proceed with the identification of the singer where two methods have experimented: the Support Vector Machine (SVM), and the Gaussian Mixture Model (GMM). We conclude that, for a dataset of 4 singers and 200 songs, the best identification system consists of the DWT (db4) feature extraction introduced in this work combined with a linear support vector machine for identification resulting in a mean accuracy of 83.96%.


title: Bandgap optimization in combinatorial graphs with tailored ground states: Application in Quantum annealing

abstract: A mixed-integer linear programming (MILP) formulation is presented for parameter estimation of the Potts model. Two algorithms are developed; the first method estimates the parameters such that the set of ground states replicate the user-prescribed data set; the second method allows the user to prescribe the ground states multiplicity. In both instances, the optimization process ensures that the bandgap is maximized. Consequently, the model parameter efficiently describes the user data for a broad range of temperatures. This is useful in the development of energy-based graph models to be simulated on Quantum annealing hardware where the exact simulation temperature is unknown. Computationally, the memory requirement in this method grows exponentially with the graph size. Therefore, this method can only be practically applied to small graphs. Such applications include learning of small generative classifiers and spin-lattice model with energy described by Ising hamiltonian. Learning large data sets poses no extra cost to this method; however, applications involving the learning of high dimensional data are out of scope.


title: Conservation-Based Modeling and Boundary Control of Congestion with an Application to Traffic Management in Center City Philadelphia

abstract: This paper develops a conservation-based approach to model traffic dynamics and alleviate traffic congestion in a network of interconnected roads (NOIR). We generate a NOIR by using the Simulation of Urban Mobility (SUMO) software based on the real street map of Philadelphia Center City. The NOIR is then represented by a directed graph with nodes identifying distinct streets in the Center City area. By classifying the streets as inlets, outlets, and interior nodes, the model predictive control (MPC) method is applied to alleviate the network traffic congestion by optimizing the traffic inflow and outflow across the boundary of the NOIR with consideration of the inner traffic dynamics as a stochastic process. The proposed boundary control problem is defined as a quadratic programming problem with constraints imposing the feasibility of traffic coordination, and a cost function defined based on the traffic density across the NOIR.


title: Deflection of light rays by spherically symmetric black hole in dispersive medium

abstract: The influence of the medium on the gravitational deflection of light rays is widely discussed in literature for the simplest non-trivial case: cold non-magnetized plasma. In this article, we generalize these studies to the case of an arbitrary transparent dispersive medium with a given refractive index. We calculate the deflection angle of light ray moving in a general spherically symmetric metric in the presence of medium with the spherically symmetric refractive index. The equation for the radius of circular light orbits is also derived. We discuss in detail the properties of these results and various special cases. In particular, we show that multiplying the refractive index by a constant does not affect the deflection angle and radius of circular orbits. At the same time, the presence of dispersion makes the trajectories different from the case of vacuum even in spatially homogeneous medium. As one of the applications of our results, we calculate the correction to the angle of vacuum gravitational deflection for the case when a massive object is surrounded by homogeneous but dispersive medium. As another application, we present the calculation of the shadow of a black hole surrounded by medium with arbitrary refractive index. Our results can serve as a basis for studies of various plasma models beyond the cold plasma case.


title: Sparsity in Deep Learning: Pruning and growth for efficient inference and training in neural networks

abstract: The growing energy and performance costs of deep learning have driven the community to reduce the size of neural networks by selectively pruning components. Similarly to their biological counterparts, sparse networks generalize just as well, if not better than, the original dense networks. Sparsity can reduce the memory footprint of regular networks to fit mobile devices, as well as shorten training time for ever growing networks. In this paper, we survey prior work on sparsity in deep learning and provide an extensive tutorial of sparsification for both inference and training. We describe approaches to remove and add elements of neural networks, different training strategies to achieve model sparsity, and mechanisms to exploit sparsity in practice. Our work distills ideas from more than 300 research papers and provides guidance to practitioners who wish to utilize sparsity today, as well as to researchers whose goal is to push the frontier forward. We include the necessary background on mathematical methods in sparsification, describe phenomena such as early structure adaptation, the intricate relations between sparsity and the training process, and show techniques for achieving acceleration on real hardware. We also define a metric of pruned parameter efficiency that could serve as a baseline for comparison of different sparse networks. We close by speculating on how sparsity can improve future workloads and outline major open problems in the field.


title: Classical worldvolumes as generalised geodesics

abstract: It is a standard result that the integral curves of an auto-parallel vector field are geodesics which, for null and timelike vectors, are the paths of freely-falling particles in general relativity. We introduce a definition of an "auto-parallel" generalised vector field and show that it gives the analogous statements for the classical worldvolumes of strings and branes in arbitrary background field configurations. This appears to give a unified description of the worldvolume equations of strings and branes, similar to the way that generalised geometry provides a unified description of maximal supergravity theories. We present details of the cases of string worldsheets in $O(10,10)$ generalised geometry and M2 branes restricted to the four dimensions of $SL(5,\mathbb{R})\times\mathbb{R}^+$ generalised geometry. A key quantity is the infinitesimal flow of the conjugate momentum along the generalised tangent vector, which is equated to the gradient of the Hamiltonian, viewed as a function on spacetime.


title: Random walks and forbidden minors III: poly(d/{\epsilon})-time partition oracles for minor-free graph classes

abstract: Consider the family of bounded degree graphs in any minor-closed family (such as planar graphs). Let d be the degree bound and n be the number of vertices of such a graph. Graphs in these classes have hyperfinite decompositions, where, for a sufficiently small \e > 0, one removes \edn edges to get connected components of size independent of n. An important tool for sublinear algorithms and property testing for such classes is the partition oracle, introduced by the seminal work of Hassidim-Kelner-Nguyen-Onak (FOCS 2009). A partition oracle is a local procedure that gives consistent access to a hyperfinite decomposition, without any preprocessing. Given a query vertex v, the partition oracle outputs the component containing v in time independent of n. All the answers are consistent with a single hyperfinite decomposition. The partition oracle of Hassidim et al. runs in time d^poly(d/\e) per query. They pose the open problem of whether poly(d/\e)-time partition oracles exist. Levi-Ron (ICALP 2013) give a refinement of the previous approach, to get a partition oracle that runs in time d^{\log(d/\e)-per query. In this paper, we resolve this open problem and give \poly(d/\e)-time partition oracles for bounded degree graphs in any minor-closed family. Unlike the previous line of work based on combinatorial methods, we employ techniques from spectral graph theory. We build on a recent spectral graph theoretical toolkit for minor-closed graph families, introduced by the authors to develop efficient property testers. A consequence of our result is a poly(d/\e)-query tester for any monotone and additive property of minor-closed families (such as bipartite planar graphs). Our result also gives poly(d/\e)-query algorithms for additive {\e}n-approximations for problems such as maximum matching, minimum vertex cover, maximum independent set, and minimum dominating set for these graph families.


title: Some remarks on a formula for Sobolev norms due to Brezis, Van Schaftingen and Yung

abstract: We provide answers to some questions raised in a recent work by H. Brezis, J. Van Schaftingen and Po-Lam Yung concerning the Gagliardo semi-norm $|u|_{W^{s,q}}$ computed at $s = 1$, when the strong $L^q$ is replaced by weak $L^q$. In particular, we address generalization of their results for a general domain and non-smooth functions.


title: Super-R BiFeO$_3$: Epitaxial stabilization of a low-symmetry phase with giant electromechanical response

abstract: Piezoelectrics interconvert mechanical energy and electric charge and are widely used in actuators and sensors. The best performing materials are ferroelectrics at a morphotropic phase boundary (MPB), where several phases can intimately coexist. Switching between these phases by electric field produces a large electromechanical response. In the ferroelectric BiFeO$_3$, strain can be used to create an MPB-like phase mixture and thus to generate large electric field dependent strains. However, this enhanced response occurs at localized, randomly positioned regions of the film, which potentially complicates nanodevice design. Here, we use epitaxial strain and orientation engineering in tandem - anisotropic epitaxy - to craft a hitherto unavailable low-symmetry phase of BiFeO$_3$ which acts as a structural bridge between the rhombohedral-like and tetragonal-like polymorphs. Interferometric displacement sensor measurements and first-principle calculations reveal that under external electric bias, this phase undergoes a transition to the tetragonal-like polymorph, generating a piezoelectric response enhanced by over 200%, and associated giant field-induced reversible strain. These results offer a new route to engineer giant electromechanical properties in thin films, with broader perspectives for other functional oxide systems.


title: Report on Freely Representable Groups

abstract: This report is an account of freely representable groups, which are finite groups admitting linear representations whose only fixed point for a nonidentity element is the zero vector. The standard reference for such groups is Wolf (1967) where such groups are used to classify spaces of constant positive curvature. Such groups also arise in the theory of norm relations in algebraic number theory, as demonstrated recently by Biasse, Fieker, Hofmann, and Page (2020). This report aims to synthesize the information and results from these and other sources to give a continuous, self-contained development of the subject. I introduce new points of view, terminology, results, and proofs in an effort to give a coherent, detailed, self-contained, and accessible narrative.


title: Schubert polynomials and the inhomogeneous TASEP on a ring

abstract: Consider a lattice of n sites arranged around a ring, with the $n$ sites occupied by particles of weights $\{1,2,\dots,n\}$; the possible arrangements of particles in sites thus corresponds to the $n!$ permutations in $S_n$. The \emph{inhomogeneous totally asymmetric simple exclusion process} (or TASEP) is a Markov chain on the set of permutations, in which two adjacent particles of weights $i<j$ swap places at rate $x_i - y_{n+1-j}$ if the particle of weight $j$ is to the right of the particle of weight $i$. (Otherwise nothing happens.) In the case that $y_i=0$ for all $i$, the stationary distribution was conjecturally linked to Schubert polynomials by Lam-Williams, and explicit formulas for steady state probabilities were subsequently given in terms of multiline queues by Ayyer-Linusson and Arita-Mallick. In the case of general $y_i$, Cantini showed that $n$ of the $n!$ states have probabilities proportional to double Schubert polynomials. In this paper we introduce the class of \emph{evil-avoiding permutations}, which are the permutations avoiding the patterns $2413, 4132, 4213$ and $3214$. We show that there are $\frac{(2+\sqrt{2})^{n-1}+(2-\sqrt{2})^{n-1}}{2}$ evil-avoiding permutations in $S_n$, and for each evil-avoiding permutation $w$, we give an explicit formula for the steady state probability $\psi_w$ as a product of double Schubert polynomials. We also show that the Schubert polynomials that arise in these formulas are flagged Schur functions, and give a bijection in this case between multiline queues and semistandard Young tableaux.


title: Teaching Digital Signal Processing by Partial Flipping, Active Learning and Visualization

abstract: Effectiveness of teaching digital signal processing can be enhanced by reducing lecture time devoted to theory, and increasing emphasis on applications, programming aspects, visualization and intuitive understanding. An integrated approach to teaching requires instructors to simultaneously teach theory and its applications in storage and processing of audio, speech and biomedical signals. Student engagement can be enhanced by engaging students to work in groups during the class where students can solve short problems and short programming assignments or take quizzes. These approaches will increase student interest in learning the subject and student engagement.


title: A Novel Antimicrobial Electrochemical Glucose Biosensor Based on Silver-Prussian Blue Modified TiO$_2$ Nanotube Arrays

abstract: Glucose biosensors play an important role in the diagnosis and continued monitoring of the disease, diabetes mellitus. This report proposes the development of a novel enzymatic electrochemical glucose biosensor based on TiO$_2$ nanotubes modified by AgO and Prussian blue (PB) nanoparticles (NPs), which has an additional advantage of possessing antimicrobial properties for implantable biosensor applications. In this study, we developed two high performance glucose biosensors based on the immobilization of glucose oxidase (GOx) onto Prussian blue (PB) modified TiO$_2$ nanotube arrays functionalized by Au and AgO NPs. AgO-deposited TiO$_2$ nanotubes were synthesized through an electrochemical anodization process followed by Ag electroplating process in the same electrolyte. Deposition of PB particles was performed from an acidic ferricyanide solution. The surface morphology and elemental composition of the two fabricated biosensors were investigated by scanning electron microscopy (SEM) and energy-dispersive X-ray spectroscopy (EDS) which indicate the successful deposition of Au and AgO nanoparticles as well as PB nanocrystals. Cyclic voltammetry and chronoamperometry were used to investigate the performance of the modified electrochemical biosensors. The results show that the developed electrochemical biosensors display excellent properties in terms of electron transmission, low detection limit as well as high stability for the determination of glucose. Under the optimized conditions, the amperometric response shows a linear dependence on the glucose concentration to a detection limit down to 4.91 $\mu$M with sensitivity of 185.1 mA M$^{-1}$ cm$^{-2]$ in Au modified biosensor and detection limit of 58.7 $\mu$M with 29.1 mA M$^{-1}$ cm$^{-2]$ sensitivity in AgO modified biosensor.


title: Schubert puzzles and integrability II: multiplying motivic Segre classes

abstract: In Schubert Puzzles and Integrability I we proved several "puzzle rules" for computing products of Schubert classes in K-theory (and sometimes equivariant K-theory) of d-step flag varieties. The principal tool was "quantum integrability", in several variants of the Yang--Baxter equation; this let us recognize the Schubert structure constants as q->0 limits of certain matrix entries in products of R- (and other) matrices of quantized affine algebra representations. In the present work we give direct cohomological interpretations of those same matrix entries but at finite q: they compute products of "motivic Segre classes", closely related to K-theoretic Maulik--Okounkov stable classes living on the cotangent bundles of the flag varieties. Without q->0, we avoid some divergences that blocked fuller understanding of d=3,4. The puzzle computations are then explained (in cohomology onlyin this work, not K-theory) in terms of Lagrangian convolutions between Nakajima quiver varieties. More specifically, the conormal bundle to the diagonal inclusion of a flag variety factors through a quiver variety that is not a cotangent bundle, and it is on that intermediate quiver variety that the R-matrix calculation occurs.


title: Quantifying the Global Support Network for Non-State Armed Groups (NAGs)

abstract: Human history has been shaped by armed conflicts. Rather than large-scale interstate wars, low-intensity attacks have been more prevalent in the post-World War era. These attacks are often carried out by non-state armed groups (NAGs), which are supported by host states (HSs). We analyze the global bipartite network of NAG-HS support and its evolution over the period of 1945-2010. We find striking parallels to ecological networks such as mutualistic and parasitic forms of support, and a nested and modular network architecture. The nestedness emerges from preferential behaviors: highly connected players are more likely to both gain and lose connections. Long-persisting major modules are identified, reflecting both regional and trans-regional interests, which show significant turnover in their membership, contrary to the transitory ones. Revealing this architecture further enables the identification of actor's roles and provide insights for effective intervention strategies.


title: CyclingNet: Detecting cycling near misses from video streams in complex urban scenes with deep learning

abstract: Cycling is a promising sustainable mode for commuting and leisure in cities, however, the fear of getting hit or fall reduces its wide expansion as a commuting mode. In this paper, we introduce a novel method called CyclingNet for detecting cycling near misses from video streams generated by a mounted frontal camera on a bike regardless of the camera position, the conditions of the built, the visual conditions and without any restrictions on the riding behaviour. CyclingNet is a deep computer vision model based on convolutional structure embedded with self-attention bidirectional long-short term memory (LSTM) blocks that aim to understand near misses from both sequential images of scenes and their optical flows. The model is trained on scenes of both safe rides and near misses. After 42 hours of training on a single GPU, the model shows high accuracy on the training, testing and validation sets. The model is intended to be used for generating information that can draw significant conclusions regarding cycling behaviour in cities and elsewhere, which could help planners and policy-makers to better understand the requirement of safety measures when designing infrastructure or drawing policies. As for future work, the model can be pipelined with other state-of-the-art classifiers and object detectors simultaneously to understand the causality of near misses based on factors related to interactions of road-users, the built and the natural environments.


title: What is $-Q$ for a poset $Q$?

abstract: In the context of combinatorial reciprocity, it is a natural question to ask what "$-Q$" is for a poset $Q$. In a previous work, the definition "$-Q:=Q\times\mathbb{R}$ with lexicographic order" was proposed based on the notion of Euler characteristic of semialgebraic sets. In fact, by using this definition, Stanley's reciprocity for order polynomials was generalized to an equality for the Euler characteristics of certain spaces of increasing maps between posets. The purpose of this paper is to refine this result, that is, to show that these spaces are homeomorphic if the topology of $Q$ is metrizable.


title: Using Recursive KMeans and Dijkstra Algorithm to Solve CVRP

abstract: Capacitated vehicle routing problem (CVRP) is being one of the most common optimization problems in our days, considering the wide usage of routing algorithms in multiple fields such as transportation domain, food delivery, network routing, ... Capacitated vehicle routing problem is classified as an NP-Hard problem, hence normal optimization algorithm can't solve it. In our paper, we discuss a new way to solve the mentioned problem, using a recursive approach of the most known clustering algorithm "K-Means", one of the known shortest path algorithm "Dijkstra", and some mathematical operations. In this paper, we will show how to implement those methods together in order to get the nearest solution of the optimal route, since research and development are still on go, this research paper may be extended with another one, that will involve the implementational results of this thoric side.


title: An Algorithm to Warm Start Perturbed (WASP) Constrained Dynamic Programs

abstract: Receding horizon optimal control problems compute the solution at each time step to operate the system on a near-optimal path. However, in many practical cases, the boundary conditions, such as external inputs, constraint equations, or the objective function, vary only marginally from one time step to the next. In this case, recomputing the optimal solution at each time represents a significant burden for real-time applications. This paper proposes a novel algorithm to approximately solve a perturbed constrained dynamic program that significantly improves the computational burden when the objective function and the constraints are perturbed slightly. The method hinges on determining closed-form expressions for first-order perturbations in the optimal strategy and the Lagrange multipliers of the perturbed constrained dynamic programming problem are obtained. This information can be used to initialize any algorithm (such as the method of Lagrange multipliers, or the augmented Lagrangian method) to solve the perturbed dynamic programming problem with minimal computational resources.


title: Multi-Spike Solutions to the Fractional Gierer-Meinhardt System in a One-Dimensional Domain

abstract: In this paper we consider the existence and stability of multi-spike solutions to the fractional Gierer-Meinhardt model with periodic boundary conditions. In particular we rigorously prove the existence of symmetric and asymmetric two-spike solutions using a Lyapunov-Schmidt reduction. The linear stability of these two-spike solutions is then rigorously analyzed and found to be determined by the eigenvalues of a certain $2\times 2$ matrix. Our rigorous results are complemented by formal calculations of $N$-spike solutions using the method of matched asymptotic expansions. In addition, we explicitly consider examples of one- and two-spike solutions for which we numerically calculate their relevant existence and stability thresholds. By considering a one-spike solution we determine that the introduction of fractional diffusion for the activator or inhibitor will respectively destabilize or stabilize a single spike solution with respect to oscillatory instabilities. Furthermore, when considering two-spike solutions we find that the range of parameter values for which asymmetric two-spike solutions exist and for which symmetric two-spike solutions are stable with respect to competition instabilities is expanded with the introduction of fractional inhibitor diffusivity. However our calculations indicate that asymmetric two-spike solutions are always linearly unstable.


title: Impulse data models for the inverse problem of electrocardiography

abstract: The proposed method re-frames traditional inverse problems of electrocardiography into regression problems, constraining the solution space by decomposing signals with multidimensional Gaussian impulse basis functions. Impulse HSPs were generated with single Gaussian basis functions at discrete heart surface locations and projected to corresponding BSPs using a volume conductor torso model. Both BSP (inputs) and HSP (outputs) were mapped to regular 2D surface meshes and used to train a neural network. Predictive capabilities of the network were tested with unseen synthetic and experimental data. A dense full connected single hidden layer neural network was trained to map body surface impulses to heart surface Gaussian basis functions for reconstructing HSP. Synthetic pulses moving across the heart surface were predicted from the neural network with root mean squared error of $9.1\pm1.4$%. Predicted signals were robust to noise up to 20 dB and errors due to displacement and rotation of the heart within the torso were bounded and predictable. A shift of the heart 40 mm toward the spine resulted in a 4\% increase in signal feature localization error. The set of training impulse function data could be reduced and prediction error remained bounded. Recorded HSPs from in-vitro pig hearts were reliably decomposed using space-time Gaussian basis functions. Predicted HSPs for left-ventricular pacing had a mean absolute error of $10.4\pm11.4$ ms. Other pacing scenarios were analyzed with similar success. Conclusion: Impulses from Gaussian basis functions are potentially an effective and robust way to train simple neural network data models for reconstructing HSPs from decomposed BSPs. The HSPs predicted by the neural network can be used to generate activation maps that non-invasively identify features of cardiac electrical dysfunction and can guide subsequent treatment options.


title: The Friedland-Hayman inequality and Caffarelli's contraction theorem

abstract: The Friedland-Hayman inequality is a sharp inequality concerning the growth rates of homogeneous, harmonic functions with Dirichlet boundary conditions on complementary cones dividing Euclidean space into two parts. In this paper, we prove an analogous inequality in which one divides a convex cone into two parts, placing Neumann conditions on the boundary of the convex cone, and Dirichlet conditions on the interface. This analogous inequality was already proved by us jointly with Sarah Raynor. Here we present a new proof that permits us to characterize the case of equality. In keeping with the two-phase free boundary theory introduced by Alt, Caffarelli, and Friedman, such an improvement can be expected to yield further regularity in free boundary problems.


title: Interpretable Reinforcement Learning Inspired by Piaget's Theory of Cognitive Development

abstract: Endeavors for designing robots with human-level cognitive abilities have led to different categories of learning machines. According to Skinner's theory, reinforcement learning (RL) plays a key role in human intuition and cognition. Majority of the state-of-the-art methods including deep RL algorithms are strongly influenced by the connectionist viewpoint. Such algorithms can significantly benefit from theories of mind and learning in other disciplines. This paper entertains the idea that theories such as language of thought hypothesis (LOTH), script theory, and Piaget's cognitive development theory provide complementary approaches, which will enrich the RL field. Following this line of thinking, a general computational building block is proposed for Piaget's schema theory that supports the notions of productivity, systematicity, and inferential coherence as described by Fodor in contrast with the connectionism theory. Abstraction in the proposed method is completely upon the system itself and is not externally constrained by any predefined architecture. The whole process matches the Neisser's perceptual cycle model. Performed experiments on three typical control problems followed by behavioral analysis confirm the interpretability of the proposed method and its competitiveness compared to the state-of-the-art algorithms. Hence, the proposed framework can be viewed as a step towards achieving human-like cognition in artificial intelligent systems.


title: A Secure Learning Control Strategy via Dynamic Camouflaging for Unknown Dynamical Systems under Attacks

abstract: This paper presents a secure reinforcement learning (RL) based control method for unknown linear time-invariant cyber-physical systems (CPSs) that are subjected to compositional attacks such as eavesdropping and covert attack. We consider the attack scenario where the attacker learns about the dynamic model during the exploration phase of the learning conducted by the designer to learn a linear quadratic regulator (LQR), and thereafter, use such information to conduct a covert attack on the dynamic system, which we refer to as doubly learning-based control and attack (DLCA) framework. We propose a dynamic camouflaging based attack-resilient reinforcement learning (ARRL) algorithm which can learn the desired optimal controller for the dynamic system, and at the same time, can inject sufficient misinformation in the estimation of system dynamics by the attacker. The algorithm is accompanied by theoretical guarantees and extensive numerical experiments on a consensus multi-agent system and on a benchmark power grid model.


title: The problem of perfect predictors in statistical spike train models

abstract: Generalized Linear Models (GLMs) have been used extensively in statistical models of spike train data. However, the maximum likelihood estimates of the model parameters and their uncertainty, can be challenging to compute in situations where response and non-response can be separated by a single predictor or a linear combination of multiple predictors. Such situations are likely to arise in many neural systems due to properties such as refractoriness and incomplete sampling of the signals that influence spiking. In this paper, we describe multiple classes of approaches to address this problem: using an optimization algorithm with a fixed iteration limit, computing the maximum likelihood solution in the limit, Bayesian estimation, regularization, change of basis, and modifying the search parameters. We demonstrate a specific application of each of these methods to spiking data from rat somatosensory cortex and discuss the advantages and disadvantages of each. We also provide an example of a roadmap for selecting a method based on the problem's particular analysis issues and scientific goals.


title: Robust Zero Modes in Disordered Two-Dimensional Honeycomb Lattice with Kekul\'e Bond Ordering

abstract: Robustness of zero-modes of two-dimensional Dirac fermions is examined numerically for the honeycomb lattice in the presence of Kekul\'e bond ordering. The split $n=0$ Landau levels in a magnetic field as well as the zero-modes generated by topological defects in the Kekul\'e ordering are shown to exhibit anomalous robustness against disorder when the chiral symmetry is respected.


title: Revamp: Enhancing Accessible Information Seeking Experience of Online Shopping for Blind or Low Vision Users

abstract: Online shopping has become a valuable modern convenience, but blind or low vision (BLV) users still face significant challenges using it, because of: 1) inadequate image descriptions and 2) the inability to filter large amounts of information using screen readers. To address those challenges, we propose Revamp, a system that leverages customer reviews for interactive information retrieval. Revamp is a browser integration that supports review-based question-answering interactions on a reconstructed product page. From our interview, we identified four main aspects (color, logo, shape, and size) that are vital for BLV users to understand the visual appearance of a product. Based on the findings, we formulated syntactic rules to extract review snippets, which were used to generate image descriptions and responses to users' queries. Evaluations with eight BLV users showed that Revamp 1) provided useful descriptive information for understanding product appearance and 2) helped the participants locate key information efficiently.


title: Evaluation of point forecasts for extreme events using consistent scoring functions

abstract: We present a method for comparing point forecasts in a region of interest, such as the tails or centre of a variable's range. This method cannot be hedged, in contrast to conditionally selecting events to evaluate and then using a scoring function that would have been consistent (or proper) prior to event selection. Our method also gives decompositions of scoring functions that are consistent for the mean or a particular quantile or expectile. Each member of each decomposition is itself a consistent scoring function that emphasises performance over a selected region of the variable's range. The score of each member of the decomposition has a natural interpretation rooted in optimal decision theory. It is the weighted average of economic regret over user decision thresholds, where the weight emphasises those decision thresholds in the corresponding region of interest.


title: Origins of minimized lattice thermal conductivity and enhanced thermoelectric performance in WS2/WSe2 lateral superlattice

abstract: We report a configuration strategy for improving the thermoelectric (TE) performance of two-dimensional (2D) transition metal dichalcogenide (TMDC) WS2 based on the experimentally prepared WS2/WSe2 lateral superlattice (LS) crystal. On the basis of density function theory combined with Boltzmann transport equation, we show that the TE figure of merit zT of monolayer WS2 is remarkably enhanced when forming into a WS2/WSe2 LS crystal. This is primarily ascribed to the almost halved lattice thermal conductivity due to the enhanced anharmonic processes. Electronic transport properties parallel (xx) and perpendicular (yy) to the superlattice period are highly symmetric for both p- and n-doped LS owing to the nearly isotropic lifetime of charger carriers. The spin-orbital effect causes a significant split of conduction band and leads to three-fold degenerate sub-bands and high density of states (DOS), which offers opportunity to obtain the high n-type Seebeck coefficient (S). Interestingly, the separated degenerate sub-bands and upper conduction band in monolayer WS2 form a remarkable stairlike DOS, yielding a higher S. The hole carriers with much higher mobility than electrons reveal the high p-type power factor and the potential to be good p-type TE materials with optimal zT exceeds 1 at 400K in WS2/WSe2 LS.


title: Effect of Redshift Distributions of Fast Radio Bursts on Cosmological Constraints

abstract: Nowadays, fast radio bursts (FRBs) have been a promising probe for astronomy and cosmology. However, it is not easy to identify the redshifts of FRBs to date. Thus, no sufficient actual FRBs with identified redshifts can be used to study cosmology currently. In the past years, one has to use the simulated FRBs with "known" redshifts instead. To simulate an FRB, one should randomly assign a redshift to it from a given redshift distribution. But the actual redshift distribution of FRBs is still unknown so far. Therefore, many redshift distributions have been assumed in the literature. In the present work, we study the effect of various redshift distributions on cosmological constraints, while they are treated equally. We find that different redshift distributions lead to different cosmological constraining abilities from the simulated FRBs. This result emphasizes the importance to find the actual redshift distribution of FRBs, and reminds us of the possible bias in the FRB simulations due to the redshift distributions.


title: Searching for eV-mass Axion-like Particles with Cross Correlations between Line Intensity and Weak Lensing Maps

abstract: We study cross correlations between line intensity and weak lensing maps to search for axion-like particles (ALPs). Radiative decay of eV-mass ALPs can contribute to cosmic background emissions at optical and infrared wavelengths. Line intensity mapping is a unique means of measuring the background emission at a given photon frequency. If ALPs constitute the abundance of cosmic dark matter, line intensity maps can correlate with large-scale structures probed by weak gravitational lensing effects in galaxy imaging surveys. We develop a theoretical framework to predict the cross correlation. We then explore potentiality of probing ALPs with the cross correlation in upcoming galaxy-imaging and spectral surveys. Assuming SPHEREx and the Vera Rubin Observatory's Legacy Survey of Space and Time (LSST), we find that the cross correlation by the ALP decay can be greater than the astrophysical-line counterparts at wavelength of $\sim3000\, {\rm nm}$ for ALPs with a particle mass of $m_a\sim1\, \mathrm{eV}$ and a particle-to-two-photons coupling of $g_{a\gamma\gamma}\sim1\times10^{-11}\, \mathrm{GeV}^{-1}$. We also predict that a null detection of the cross correlation can place a $2\sigma$-level upper bound of $g_{a\gamma\gamma} \lower.5ex\hbox{$\; \buildrel < \over \sim \;$} 10^{-11}\, \mathrm{GeV}^{-1}$ for eV-mass ALPs, improving the current constraint by a factor of $\sim10$. We then make a forecast of expected constraints on ALP parameters in SPHEREx and LSST by Fisher analysis, providing a guideline of searching for the ALP decay with the large-scale structure data.


title: "Grip-that-there": An Investigation of Explicit and Implicit Task Allocation Techniques for Human-Robot Collaboration

abstract: In ad-hoc human-robot collaboration (HRC), humans and robots work on a task without pre-planning the robot's actions prior to execution; instead, task allocation occurs in real-time. However, prior research has largely focused on task allocations that are pre-planned - there has not been a comprehensive exploration or evaluation of techniques where task allocation is adjusted in real-time. Inspired by HCI research on territoriality and proxemics, we propose a design space of novel task allocation techniques including both explicit techniques, where the user maintains agency, and implicit techniques, where the efficiency of automation can be leveraged. The techniques were implemented and evaluated using a tabletop HRC simulation in VR. A 16-participant study, which presented variations of a collaborative block stacking task, showed that implicit techniques enable efficient task completion and task parallelization, and should be augmented with explicit mechanisms to provide users with fine-grained control.


title: Multi-Agent Reinforcement Learning with Temporal Logic Specifications

abstract: In this paper, we study the problem of learning to satisfy temporal logic specifications with a group of agents in an unknown environment, which may exhibit probabilistic behaviour. From a learning perspective these specifications provide a rich formal language with which to capture tasks or objectives, while from a logic and automated verification perspective the introduction of learning capabilities allows for practical applications in large, stochastic, unknown environments. The existing work in this area is, however, limited. Of the frameworks that consider full linear temporal logic or have correctness guarantees, all methods thus far consider only the case of a single temporal logic specification and a single agent. In order to overcome this limitation, we develop the first multi-agent reinforcement learning technique for temporal logic specifications, which is also novel in its ability to handle multiple specifications. We provide correctness and convergence guarantees for our main algorithm - ALMANAC (Automaton/Logic Multi-Agent Natural Actor-Critic) - even when using function approximation. Alongside our theoretical results, we further demonstrate the applicability of our technique via a set of preliminary experiments.


title: Neural OCR Post-Hoc Correction of Historical Corpora

abstract: Optical character recognition (OCR) is crucial for a deeper access to historical collections. OCR needs to account for orthographic variations, typefaces, or language evolution (i.e., new letters, word spellings), as the main source of character, word, or word segmentation transcription errors. For digital corpora of historical prints, the errors are further exacerbated due to low scan quality and lack of language standardization. For the task of OCR post-hoc correction, we propose a neural approach based on a combination of recurrent (RNN) and deep convolutional network (ConvNet) to correct OCR transcription errors. At character level we flexibly capture errors, and decode the corrected output based on a novel attention mechanism. Accounting for the input and output similarity, we propose a new loss function that rewards the model's correcting behavior. Evaluation on a historical book corpus in German language shows that our models are robust in capturing diverse OCR transcription errors and reduce the word error rate of 32.3% by more than 89%.


title: On solving convex min-min problems with smoothness and strong convexity in one variable group and small dimension of the other

abstract: This paper is devoted to some approaches for convex min-min problems with smoothness and strong convexity in only one of the two variable groups. It is shown that the proposed approaches, based on Vaidya's cutting plane method and Nesterov's fast gradient method, achieve the linear convergence. The outer minimization problem is solved using Vaidya's cutting plane method, and the inner problem (smooth and strongly convex) is solved using the fast gradient method. Due to the importance of machine learning applications, we also consider the case when the objective function is a sum of a large number of functions. In this case, the variance-reduced accelerated gradient algorithm is used instead of Nesterov's fast gradient method. The numerical experiments' results illustrate the advantages of the proposed procedures for logistic regression with the prior on one of the parameter groups.


title: Chiral magnetic effect in lattice models of tilted multi-Weyl semimetals

abstract: We study the chiral magnetic effect (CME) in tilted multi-Weyl Semimetals (WSM) employing a two-band lattice model. We focus on the type-II phase of mWSMs, introduced by incorporating a Lorentz symmetry violating tilt term. We add to the understanding of the CME (and anomalous Hall effect) in the type-II phase of mWSMs and near the Lifshitz transition by varying tilt. Like the elementary WSM, our results also indicate that the Berry curvature drives the CME for higher monopole charges. We find a peak in the CME at the transition point and discuss its significance using the density of states. Along the way we also examine both observables as a function of the energy separation of the Weyl points.


title: Absolutely Continuous Spectrum for CMV Matrices With Small Quasi-Periodic Verblunsky Coefficients

abstract: We consider standard and extended CMV matrices with small quasi-periodic Verblunsky coefficients and show that on their essential spectrum, all spectral measures are purely absolutely continuous. This answers a question of Barry Simon from 2005.


title: Controlling volatility of wind-solar power

abstract: The main advantage of wind and solar power plants is the power production free of CO2. Their main disadvantage is the volatility of the generated power. According to the estimates of H.-W. Sinn[1], suppressing this volatility requires pumped-storage plants with a huge capacity, several orders of magnitude larger than the present available capacity in Germany[2]. Sinn concluded that wind-solar power can be used only together with conventional power plants as backups. However, based on German power data[3] of 2019 we show that the required storage capacity can significantly be reduced, provided i) a surplus of wind-solar power plants is supplied, ii) smart meters are installed, iii) partly a different kind of wind turbines and solar panels are used in Germany. Our calculations suggest that all the electric energy, presently produced in Germany, can be obtained from wind-solar power alone. And our results let us predict that wind-solar power can be used to produce in addition the energy for transportation, warm water, space heating and in part for process heating, meaning an increase of the present electric energy production by a factor of about 5[1]. Of course, to put such a prediction on firm ground the present calculations have to be confirmed for a period of many years. And it should be kept in mind, that in any case a huge number of wind turbines and solar panels is required.


title: Stochastic Geometry Analysis of Spatial-Temporal Performance in Wireless Networks: A Tutorial

abstract: The performance of wireless networks is fundamentally limited by the aggregate interference, which depends on the spatial distributions of the interferers, channel conditions, and user traffic patterns (or queueing dynamics). These factors usually exhibit spatial and temporal correlations and thus make the performance of large-scale networks environment-dependent (i.e., dependent on network topology, locations of the blockages, etc.). The correlation can be exploited in protocol designs (e.g., spectrum-, load-, location-, energy-aware resource allocations) to provide efficient wireless services. For this, accurate system-level performance characterization and evaluation with spatio-temporal correlation are required. In this context, stochastic geometry models and random graph techniques have been used to develop analytical frameworks to capture the spatio-temporal interference correlation in large-scale wireless networks. The objective of this article is to provide a tutorial on the stochastic geometry analysis of large-scale wireless networks that captures the spatio-temporal interference correlation (and hence the signal-to-interference ratio (SIR) correlation). We first discuss the importance of spatio-temporal performance analysis, different parameters affecting the spatio-temporal correlation in the SIR, and the different performance metrics for spatio-temporal analysis. Then we describe the methodologies to characterize spatio-temporal SIR correlations for different network configurations (independent, attractive, repulsive configurations), shadowing scenarios, user locations, queueing behavior, relaying, retransmission, and mobility. We conclude by outlining future research directions in the context of spatio-temporal analysis of emerging wireless communications scenarios.


title: Tale of Seven Alerts: Enhancing Wireless Emergency Alerts (WEAs) to Reduce Cellular Network Usage During Disasters

abstract: In weather disasters, first responders access dedicated communication channels different from civilian commercial channels to facilitate rescues. However, rescues in recent disasters have increasingly involved civilian and volunteer forces, requiring civilian channels not to be overloaded with traffic. We explore seven enhancements to the wording of Wireless Emergency Alerts (WEAs) and their effectiveness in getting smartphone users to comply, including reducing frivolous mobile data consumption during critical weather disasters. We conducted a between-subjects survey (N=898), in which participants were either assigned no alert (control) or an alert framed as Basic Information, Altruism, Multimedia, Negative Feedback, Positive Feedback, Reward, or Punishment. We find that Basic Information alerts resulted in the largest reduction of multimedia and video services usage; we also find that Punishment alerts have the lowest absolute compliance. This work has implications for creating more effective WEAs and providing a better understanding of how wording can affect emergency alert compliance.


title: Deep learning based CT-to-CBCT deformable image registration for autosegmentation in head and neck adaptive radiation therapy

abstract: The purpose of this study is to develop a deep learning based method that can automatically generate segmentations on cone-beam CT (CBCT) for head and neck online adaptive radiation therapy (ART), where expert-drawn contours in planning CT (pCT) can serve as prior knowledge. Due to lots of artifacts and truncations on CBCT, we propose to utilize a learning based deformable image registration method and contour propagation to get updated contours on CBCT. Our method takes CBCT and pCT as inputs, and output deformation vector field and synthetic CT (sCT) at the same time by jointly training a CycleGAN model and 5-cascaded Voxelmorph model together.The CycleGAN serves to generate sCT from CBCT, while the 5-cascaded Voxelmorph serves to warp pCT to sCT's anatommy. The segmentation results were compared to Elastix, Voxelmorph and 5-cascaded Voxelmorph on 18 structures including left brachial plexus, right brachial plexus, brainstem, oral cavity, middle pharyngeal constrictor, superior pharyngeal constrictor, inferior pharyngeal constrictor, esophagus, nodal gross tumor volume, larynx, mandible, left masseter, right masseter, left parotid gland, right parotid gland, left submandibular gland, right submandibular gland, and spinal cord. Results show that our proposed method can achieve average Dice similarity coefficients and 95% Hausdorff distance of 0.83 and 2.01mm. As compared to other methods, our method has shown better accuracy to Voxelmorph and 5-cascaded Voxelmorph, and comparable accuracy to Elastix but much higher efficiency. The proposed method can rapidly and simultaneously generate sCT with correct CT numbers and propagate contours from pCT to CBCT for online ART re-planning.


abstract: We classify Coble surfaces with finite automorphism group in arbitrary characteristic not equal to 2. There are exactly 9 isomorphism classes of such surfaces.


title: Dark Supernova Remnants revealed by CO-line Bubbles in the W43 Molecular Complex along the 4-kpc Arm

abstract: Fine structure of the density distribution in giant molecular clouds (GMC) around W43 (G31+00+90 km/s at $\sim 5.5$ kpc) was analyzed using the FUGIN$^*$ CO-line survey at high-angular ($20''\sim 0.5$ pc) and velocity (1.3 km/s) resolutions ($^*$Four-receiver-system Unbiased Galactic Imaging survey with the Nobeyama 45-m telescope). The GMCs show highly turbulent structures, and the eddies are found to exhibit spherical bubble morphology appearing in narrow ranges of velocity channels. The bubbles are dark in radio continuum emission, unlike usual supernova remnants (SNR) or HII regions, and in infrared dust emission, unlike molecular bubbles around young stellar objects. The CO bubbles are interpreted as due to fully evolved buried SNRs in molecular clouds after rapid exhaustion of the released energy in dense molecular clouds. The CO bubbles may be a direct evidence for exciting and maintaining the turbulence in GMCs by SN origin. Search for CO bubbles as "dark SNRs" (dSNR) will have implication to estimate the supernova rate more accurately, and hence the star formation activity in the Milky Way.


title: Designing AI for Trust and Collaboration in Time-Constrained Medical Decisions: A Sociotechnical Lens

abstract: Major depressive disorder is a debilitating disease affecting 264 million people worldwide. While many antidepressant medications are available, few clinical guidelines support choosing among them. Decision support tools (DSTs) embodying machine learning models may help improve the treatment selection process, but often fail in clinical practice due to poor system integration. We use an iterative, co-design process to investigate clinicians' perceptions of using DSTs in antidepressant treatment decisions. We identify ways in which DSTs need to engage with the healthcare sociotechnical system, including clinical processes, patient preferences, resource constraints, and domain knowledge. Our results suggest that clinical DSTs should be designed as multi-user systems that support patient-provider collaboration and offer on-demand explanations that address discrepancies between predictions and current standards of care. Through this work, we demonstrate how current trends in explainable AI may be inappropriate for clinical environments and consider paths towards designing these tools for real-world medical systems.


title: Direct Measurements of Neutrino Mass

abstract: The turn of the 21st century witnessed a sudden shift in our fundamental understanding of particle physics. While the minimal Standard Model predicts that neutrino masses are exactly zero, the discovery of neutrino oscillations proved the Standard Model wrong. Neutrino oscillation measurements, however, do not shed light on the scale of neutrino masses, nor the mechanism by which those are generated. The neutrino mass scale is most directly accessed by studying the energy spectrum generated by beta decay or electron capture -- a technique dating back to Enrico Fermi's formulation of radioactive decay. In this Article, we review the methods and techniques -- both past and present -- aimed at measuring neutrino masses kinematically. We focus on recent experimental developments that have emerged in the past decade, overview the spectral refinements that are essential in the treatment of the most sensitive experiments, and give a simple yet effective protocol for estimating the sensitivity. Finally, we provide an outlook of what future experiments might be able to achieve.


title: Box Re-Ranking: Unsupervised False Positive Suppression for Domain Adaptive Pedestrian Detection

abstract: False positive is one of the most serious problems brought by agnostic domain shift in domain adaptive pedestrian detection. However, it is impossible to label each box in countless target domains. Therefore, it yields our attention to suppress false positive in each target domain in an unsupervised way. In this paper, we model an object detection task into a ranking task among positive and negative boxes innovatively, and thus transform a false positive suppression problem into a box re-ranking problem elegantly, which makes it feasible to solve without manual annotation. An attached problem during box re-ranking appears that no labeled validation data is available for cherrypicking. Considering we aim to keep the detection of true positive unchanged, we propose box number alignment, a self-supervised evaluation metric, to prevent the optimized model from capacity degeneration. Extensive experiments conducted on cross-domain pedestrian detection datasets have demonstrated the effectiveness of our proposed framework. Furthermore, the extension to two general unsupervised domain adaptive object detection benchmarks also supports our superiority to other state-of-the-arts.


title: Few-shot Learning for CT Scan based COVID-19 Diagnosis

abstract: Coronavirus disease 2019 (COVID-19) is a Public Health Emergency of International Concern infecting more than 40 million people across 188 countries and territories. Chest computed tomography (CT) imaging technique benefits from its high diagnostic accuracy and robustness, it has become an indispensable way for COVID-19 mass testing. Recently, deep learning approaches have become an effective tool for automatic screening of medical images, and it is also being considered for COVID-19 diagnosis. However, the high infection risk involved with COVID-19 leads to relative sparseness of collected labeled data limiting the performance of such methodologies. Moreover, accurately labeling CT images require expertise of radiologists making the process expensive and time-consuming. In order to tackle the above issues, we propose a supervised domain adaption based COVID-19 CT diagnostic method which can perform effectively when only a small samples of labeled CT scans are available. To compensate for the sparseness of labeled data, the proposed method utilizes a large amount of synthetic COVID-19 CT images and adjusts the networks from the source domain (synthetic data) to the target domain (real data) with a cross-domain training mechanism. Experimental results show that the proposed method achieves state-of-the-art performance on few-shot COVID-19 CT imaging based diagnostic tasks.


title: The minimum linear locality of linear codes

abstract: Locally recoverable codes (LRCs) were proposed for the recovery of data in distributed and cloud storage systems about nine years ago. A lot of progress on the study of LRCs has been made by now. However, there is a lack of general theory on the minimum linear locality of linear codes. In addition, the minimum linear locality of many known families of linear codes is not studied in the literature. Motivated by these two facts, this paper develops some general theory about the minimum linear locality of linear codes, and investigates the minimum linear locality of a number of families of linear codes, such as $q$-ary Hamming codes, $q$-ary Simplex codes, generalized Reed-Muller codes, ovoid codes, maximum arc codes, the extended hyperoval codes, and near MDS codes. Many classes of both distance-optimal and dimension-optimal LRCs are presented in this paper. The minimum linear locality of many families of linear codes are settled with the general theory developed in this paper.


title: A Photometric and Kinematic Analysis of UDG1137+16 (dw1137+16): Probing Ultra-Diffuse Galaxy Formation in a Group Environment

abstract: The dominant physical formation mechanism(s) for ultra-diffuse galaxies (UDGs) is still poorly understood. Here, we combine new, deep imaging from the Jeanne Rich Telescope with deep integral field spectroscopy from the Keck II telescope to investigate the formation of UDG1137+16 (dw1137+16). Our new analyses confirm both its environmental association with the low density UGC 6594 group, along with its large size of 3.3 kpc and status as a UDG. The new imaging reveals two distinct stellar components for UDG1137+16, indicating that a central stellar body is surrounded by an outer stellar envelope undergoing tidal interaction. Both the components have approximately similar stellar masses. From our integral field spectroscopy we measure a stellar velocity dispersion within the half-light radius (15 $\pm$ 4 $\mathrm{km\ s^{-1}}$) and find that UDG1137+16 is similar to some other UDGs in that it is likely dark matter dominated. Incorporating literature measurements, we also examine the current state of UDG observational kinematics. Placing these data on the central stellar velocity dispersion -- stellar mass relation, we suggest there is little evidence for UDG1137+16 being created through a strong tidal interaction. Finally, we investigate the constraining power current dynamical mass estimates (from stellar and globular cluster velocity dispersions) have on the total halo mass of UDGs. As most are measured within the half-light radius, they are unable to accurately constrain UDG total halo masses.


title: Deep High-Resolution Network for Low Dose X-ray CT Denoising

abstract: Low Dose Computed Tomography (LDCT) is clinically desirable due to the reduced radiation to patients. However, the quality of LDCT images is often sub-optimal because of the inevitable strong quantum noise. Inspired by their unprecedent success in computer vision, deep learning (DL)-based techniques have been used for LDCT denoising. Despite the promising noise removal ability of DL models, people have observed that the resolution of the DL-denoised images is compromised, decreasing their clinical value. Aiming at relieving this problem, in this work, we developed a more effective denoiser by introducing a high-resolution network (HRNet). Since HRNet consists of multiple branches of subnetworks to extract multiscale features which are later fused together, the quality of the generated features can be substantially enhanced, leading to improved denoising performance. Experimental results demonstrated that the introduced HRNet-based denoiser outperforms the benchmarked UNet-based denoiser in terms of superior image resolution preservation ability while comparable, if not better, noise suppression ability. Quantitative metrics in terms of root-mean-squared-errors (RMSE)/structure similarity index (SSIM) showed that the HRNet-based denoiser can improve the values from 113.80/0.550 (LDCT) to 55.24/0.745 (HRNet), in comparison to 59.87/0.712 for the UNet-based denoiser.


title: Higher $P$-symmetric Ekeland-Hofer capacities

abstract: This paper is devoted to the construction of analogues of higher Ekeland-Hofer symplectic capacities for $P$-symmetric subsets in the standard symplectic space $(\mathbb{R}^{2n},\omega_0)$, which is motivated by Long and Dong's study $P$-symmetric closed characteristics on $P$-symmetric convex bodies. We study the relationship between these capacities and other capacities, and give some computation examples. Moreover, we also define higher real symmetric Ekeland-Hofer capacities as a complement of Jin and the second named author's recent study of the real symmetric analogue about the first Ekeland-Hofer capacity.


title: RoutingGAN: Routing Age Progression and Regression with Disentangled Learning

abstract: Although impressive results have been achieved for age progression and regression, there remain two major issues in generative adversarial networks (GANs)-based methods: 1) conditional GANs (cGANs)-based methods can learn various effects between any two age groups in a single model, but are insufficient to characterize some specific patterns due to completely shared convolutions filters; and 2) GANs-based methods can, by utilizing several models to learn effects independently, learn some specific patterns, however, they are cumbersome and require age label in advance. To address these deficiencies and have the best of both worlds, this paper introduces a dropout-like method based on GAN~(RoutingGAN) to route different effects in a high-level semantic feature space. Specifically, we first disentangle the age-invariant features from the input face, and then gradually add the effects to the features by residual routers that assign the convolution filters to different age groups by dropping out the outputs of others. As a result, the proposed RoutingGAN can simultaneously learn various effects in a single model, with convolution filters being shared in part to learn some specific effects. Experimental results on two benchmarked datasets demonstrate superior performance over existing methods both qualitatively and quantitatively.


title: Elementary analysis of isolated zeroes of a polynomial system

abstract: Wooley ({\em J. Number Theory}, 1996) gave an elementary proof of a Bezout like theorem allowing one to count the number of isolated integer roots of a system of polynomial equations modulo some prime power. In this article, we adapt the proof to a slightly different setting. Specifically, we consider polynomials with coefficients from a polynomial ring $\mathbb{F}[t]$ for an arbitrary field $\mathbb{F}$ and give an upper bound on the number of isolated roots modulo $t^s$ for an arbitrary positive integer $s$. In particular, using $s=1$, we can bound the number of isolated roots of a system of polynomials over an arbitrary field $\mathbb{F}$.


title: Realizing nonadiabatic holonomic quantum computation beyond the three-level setting

abstract: Nonadiabatic holonomic quantum computation (NHQC) provides a method to implement error resilient gates and that has attracted considerable attention recently. Since it was proposed, three-level {\Lambda} systems have become the typical building block for NHQC and a number of NHQC schemes have been developed based on such systems. In this paper, we investigate the realization of NHQC beyond the standard three-level setting. The central idea of our proposal is to improve NHQC by enlarging the Hilbert space of the building block system and letting it have a bipartite graph structure in order to ensure purely holonomic evolution. Our proposal not only improves conventional qubit-based NHQC by efficiently reducing its duration, but also provides implementations of qudit-based NHQC. Therefore, our proposal provides a further development of NHQC that can contribute significantly to the physical realization of efficient quantum information processors.


title: A Finsler metric of constant Gauss curvature $K = 1$ on 2-sphere

abstract: We construct a concrete example of constant Gauss curvature $K = 1$ on the 2-sphere having all geodesics closed and of same length.


title: On Explicit Stochastic Differential Algebraic Equations

abstract: Dynamical systems that are subject to continuous uncertain fluctuations can be modelled using Stochastic Differential Equations (SDEs). Controlling such system results in solving path constrained SDEs. Broadly, these problems fall under the category of Stochastic Differential-Algebraic Equations (SDAEs). In this article, the focus is on combining ideas from the local theory of Differential-Algebraic Equations with that of Stochastic Differential Equations. The question of existence and uniqueness of the solution for SDAEs is addressed by using contraction mapping theorem in an appropriate Banach space to arrive at a sufficient condition. From the geometric point of view, a necessary condition is derived for the existence of the solution. It is observed that there exists a class of completely high index SDAEs for which there is no solution. Hence, techniques to find approximate solution of completely high index equations are presented. The techniques are illustrated with examples and numerical computations.


title: Homotopy type of the unitary group of the uniform Roe algebra on $\mathbb{Z}^n$

abstract: We study the homotopy type of the space of the unitary group $\operatorname{U}_1(C^\ast_u(|\mathbb{Z}^n|))$ of the uniform Roe algebra $C^\ast_u(|\mathbb{Z}^n|)$ of $\mathbb{Z}^n$. We show that the stabilizing map $\operatorname{U}_1(C^\ast_u(|\mathbb{Z}^n|))\to\operatorname{U}_\infty(C^\ast_u(|\mathbb{Z}^n|))$ is a homotopy equivalence. Moreover, when $n=1,2$, we determine the homotopy type of $\operatorname{U}_1(C^\ast_u(|\mathbb{Z}^n|))$, which is the product of the unitary group $\operatorname{U}_1(C^\ast(|\mathbb{Z}^n|))$ (having the homotopy type of $\operatorname{U}_\infty(\mathbb{C})$ or $\mathbb{Z}\times B\operatorname{U}_\infty(\mathbb{C})$ depending on the parity of $n$) of the Roe algebra $C^\ast(|\mathbb{Z}^n|)$ and rational Eilenberg--MacLane spaces.


title: Theory of pair density wave on a quasi-one-dimensional lattice in the Hubbard model

abstract: In this study, we examine the superconducting instability of a quasi-one-dimensional lattice in the Hubbard model based on the random-phase approximation (RPA) and the fluctuation exchange (FLEX) approximation. We find that a spin-singlet pair density wave (PDW-singlet) with a center-of-mass momentum of $2k_F$ can be stabilized when the one-dimensionality becomes prominent toward the perfect nesting of the Fermi surface. The obtained pair is a mixture of even-frequency and odd-frequency singlet ones. The dominant even-frequency component does not have nodal lines on the Fermi surface. This PDW-singlet state is more favorable as compared to RPA when self-energy correction is introduced in the FLEX approximation.


title: Neutrino-nucleon DIS from Holographic QCD: PDFs of sea and valence quarks, form factors, and structure functions of the proton

abstract: We discuss unpolarized neutrino- and anti-neutrino-nucleon deep inelastic scattering (DIS) using a chiral doublet of baryonic sources with explicit symmetry breaking, in a slice of AdS$_5$ with both a hard and soft wall. We explicitly derive the direct and transition form factors for the vector and axial-vector currents for the holographic dual of a proton and neutron. We use them to derive the s-channel structure functions for neutrino and anti-neutrino scattering on a proton and neutron in bulk. The t-channel contributions stemming from the Pomeron and Reggeon exchanges are also evaluated explicitly. The pertinent even and odd structure functions in the limit of large and small parton momentum fraction $x$ are given. The results allow for the extraction of the nonperterbative parton distribution functions carried by the sea and valence quarks both at large-x and small-x regimes. Our holographic PDF sets compare well with LHAPDF and CTEQ PDF sets in the large-x and small-x regimes in the intermediate range of $Q^2<10~\rm{GeV^2}$.


title: Threshold for a discrete-variable sensor of quantum reservoirs

abstract: Quantum sensing employs quantum resources of a sensor to attain a smaller estimation error of physical quantities than the limit constrained by classical physics. To measure a quantum reservoir, which is significant in decoherence control, a nonunitary-encoding sensing scheme becomes necessary. However, previous studies showed that the reservoir-induced degradation to quantum resources of the sensor makes the errors divergent with the increase of encoding time. We here propose a scheme to use $N$ two-level systems as the sensor to measure a quantum reservoir. A threshold, above which the shot-noise-limited sensing error saturates or even persistently decreases with the encoding time, is uncovered. Our analysis reveals that it is due to the formation of a bound state of the total sensor-reservoir system. Solving the outstanding error-divergency problem in previous studies, our result supplies an insightful guideline in realizing a sensitive measurement of quantum reservoirs.


title: The Harrington Yowlumne Narrative Corpus

abstract: Minority languages continue to lack adequate resources for their development, especially in the technological domain. Likewise, the J.P. Harrington Papers collection at the Smithsonian Institution are difficult to access in practical terms for community members and researchers due to its handwritten and disorganized format. Our current work seeks to make a portion of this publicly-available yet problematic material practically accessible for natural language processing use. Here, we present the Harrington Yowlumne Narrative Corpus, a corpus of 20 narrative texts that derive from the Tejone\~no Yowlumne community of the Tinliw rancheria in Kern County, California between 1910 and 1925. We digitally transcribe the texts and, through a Levenshtein distance-based algorithm and manual checking, we provide gold-standard aligned normalized and lemmatized text. We likewise provide POS tags for each lemmatized token via a lexicon-based deterministic approach. Altogether, the corpus contains 57,136 transcribed characters aligned with 10,719 gold standard text-normalized words.


title: Exclusion and multiplicity for stable communities in Lotka-Volterra systems

abstract: For classic Lotka-Volterra systems governing many interacting species, we establish an exclusion principle that rules out the existence of linearly asymptotically stable steady states in subcommunitites of communities that admit a stable state which is internally D-stable. This type of stability is known to be ensured, e.g., by diagonal dominance or Volterra-Lyapunov stability conditions. By consequence, the number of stable steady states of this type is bounded by Sperner's lemma on anti-chains in a poset. The number of stable steady states can nevertheless be very large if there are many groups of species that strongly inhibit outsiders but have weak interactions among themselves. By examples we also show that in general it is possible for a stable community to contain a stable subcommunity consisting of a single species. Thus a recent empirical finding to the contrary, in a study of random competitive systems by Lischke and L\"offler (Theo. Pop. Biol. 115 (2017) 24--34), does not hold without qualification.


title: Image reconstruction method for dual-isotope positron emission tomography

abstract: We developed a positron emission tomography (PET) system for multiple-isotope imaging. Our PET system, named multiple-isotope PET (MI-PET), can distinguish between different tracer nuclides using coincidence measurement of prompt gamma-rays, which are emitted after positron emission. In MI-PET imaging with a pure positron emitter and prompt-gamma emitter, because of the imperfectness of prompt gamma-ray detection, an image for a pure positron emitter taken by MI-PET is superposed by a positron-{\gamma} emitter. Therefore, in order to make isolated images of the pure positron emitter, we developed image reconstruction methods based on data subtraction specific to MI-PET. We tested two methods, subtraction between reconstructed images and subtraction between sinogram data. In both methods, normalization for position dependence of the prompt {\gamma}-ray sensitivity is required in addition to detector sensitivity normalization. For these normalizations, we performed normalization scans using cylindrical phantoms of the positron-gamma emitters Sc-44m and Na-22. A long period measurement using the activity decay of Sc-44m (Half-life 58.6 hours) elucidated that the acquisition ratio between the prompt gamma-rays coincided with PET event and pure PET event changes on the basis of object activities. Therefore, we developed a correction method that involves subtraction parameters dependent on the activities, i.e., the counting rate. From analysis of dual-tracer phantom images, data subtraction in the sinogram data with sensitivity correction gives a higher quality of isolated images for the pure positron emitter than those from image subtractions. Furthermore, from dual-isotope (F-18-FDG and Sc-44m) mouse imaging, we concluded that our developed method can be used for practical imaging of a living organism.


title: Semi-discrete and fully discrete HDG methods for Burgers' equation

abstract: This paper proposes semi-discrete and fully discrete hybridizable discontinuous Galerkin (HDG) methods for the Burgers' equation in two and three dimensions. In the spatial discretization, we use piecewise polynomials of degrees $ k \ (k \geq 1), k-1$ and $ l \ (l=k-1; k) $ to approximate the scalar function, flux variable and the interface trace of scalar function, respectively. In the full discretization method, we apply a backward Euler scheme for the temporal discretization. Optimal a priori error estimates are derived. Numerical experiments are presented to support the theoretical results.