title: Evolution of the N=20 and 28 Shell Gaps and 2-particle-2-hole states in the FSU Interaction

abstract: The FSU $spsdfp$ cross-shell interaction for the shell model was successfully fitted to a wide range of mostly intruder negative parity states of the $sd$ shell nuclei. This paper reports the application of the FSU interaction to systematically trace out the relative positions of the effective single-particle energies of the $0f_{7/2}$ and $1p_{3/2}$ orbitals, the evolution from normally ordered low-lying states to the "Island of Inversion" (IoI), and the behavior of a wide range of excited states with a $0f_{7/2}$ proton and neutron coupled to maximum spin of $7 \hbar$. Above a proton number of about 13 the $0f_{7/2}$ orbital lies below that of $1p_{3/2}$, which is considered normal ordering, but systematically at $Z = 10$ to $12$ the orbitals cross. The calculations reproduce well the 2p2h - 0p0h inversion in the configurations of nuclei inside the IoI, they reproduce the absolute binding energies and the transition to normal ordering as the proton number approaches that of the neutrons. The important role of $1p_{3/2}$ neutron pairs in the IoI is also demonstrated. The calculations account well for the energies of the fully aligned states with 0, 1, or 2 individual $sd$ nucleon aligned in spin with the aligned $\pi 0f_{7/2}$ - $\nu 0f_{7/2}$ pair and reproduce well their systematic variation with $A$ and number of aligned $sd$ nucleons. The results presented in this paper give hope for the predictive power of the FSU interaction for more exotic nuclei to be explored in near future.


title: Hybrid CUR-type decomposition of tensors in the Tucker format

abstract: The paper introduces a hybrid approach to the CUR-type decomposition of tensors in the Tucker format. The idea of the hybrid algorithm is to write a tensor $\mathcal{X}$ as a product of a core tensor $\mathcal{S}$, a matrix $C$ obtained by extracting mode-$k$ fibers of $\mathcal{X}$, and matrices $U_j$, $j=1,\ldots,k-1,k+1,\ldots,d$, chosen to minimize the approximation error. The approximation can easily be modified to preserve the fibers in more than one mode. The approximation error obtained this way is smaller than the one from the standard tensor CUR-type method. This difference increases as the tensor dimension increases. It also increases as the number of modes in which the original fibers are preserved decreases.


title: Spectral reciprocity via integral representations

abstract: We prove a spectral reciprocity formula for automorphic forms on $\mathrm{GL}(2)$ over a number field that is remininscent of the one found by Blomer and Khan. Our approach uses period representations of $L$-functions and the language of automorphic representations.


title: A non-perturbative analysis of spin-boson interactions using the Weyl relations

abstract: We perform a non-perturbative analysis of the dynamics of a two-level quantum system subjected to repeated interactions with a bosonic environment when these interactions are intense and localized in time. We use the Weyl relations to obtain a closed expression for the resulting state of the spin despite the non-perturbative nature of the problem. Furthermore, we study divisibility and memory effects in the dynamics and draw conclusions about the role that the quantum-mechanical features of the environment play on the dynamics of the two-level system.


title: Multiplicative partial isometries and C*-algebraic quantum groupoids

abstract: Generalizing the notion of a multiplicative unitary (in the sense of Baaj-Skandalis), which plays a fundamental role in the theory of locally compact quantum groups, we develop in this paper the notion of a multiplicative partial isometry. The axioms include the pentagon equation, but more is needed. Under suitable conditions (such as the "manageability"), it is possible to construct from it a pair of C*-algebras having the structure of a C*-algebraic quantum groupoid of separable type.


title: Multiferroic behavior confined by symmetry in EuTiO3 films

abstract: We have elucidated the spin, lattice, charge and orbital coupling mechanism underlying the multiferroic character in tensile strained EuTiO3 films. Symmetry determined by oxygen octahedral tilting shapes the hybridization between the Eu 4f and Ti 3d orbitals and this inhibits predicted Ti displacement proper ferroelectricity. Instead, phonon softening emerges at low temperatures within the pseudo-cube (110) plane, orthogonal to the anticipated ferroelectric polarization symmetry. Additionally, the magnetic anisotropy is determined by orbital distortion through hybridization between the Ti 3d and typically isotropic Eu2+ 4f. This unique scenario demonstrates the critical role symmetry plays in the coupling of order parameters defining multiferroic behaviour.


title: Adjoining roots in homotopy theory

abstract: We use a "twisted group algebra" method to constructively adjoin formal radicals $\sqrt[n]{\alpha}$, for $\alpha$ a unit in a commutative ring spectrum or an invertible object in a symmetric monoidal $\infty$-category. We show that this construction is classified by maps from Eilenberg-Mac Lane objects to the unit spectrum, the Picard spectrum, and the Brauer spectrum.


title: Atomic twin-beams and violation of a motional-state Bell inequality from a phase-fluctuating quasi-condensate source

abstract: We investigate the dynamics of atomic twin beams produced from a phase-fluctuating source, specifically a 1D Bose gas in the quasi-condensate regime, motivated by the experiment reported in Nature Physics 7, 608 (2011). A short-time analytic model is constructed, which is a modified version of the undepleted pump approximation widely used in quantum and atom optics, except that here we take into account the initial phase fluctuations of the pump source as opposed to assuming long-range phase coherence. We use this model to make quantitative and qualitative predictions of how phase-fluctuations of the source impact the two-particle correlations of scattered atom-pairs. The model is benchmarked against detailed numerical simulations using stochastic phase-space methods, and is shown to validate the intuitive notion that the broadening of momentum-space correlation functions between atoms scattered from a quasi-condensate is driven by the broadened momentum width of the source compared to a true phase coherent condensate. Finally, we combine these theoretical tools and results to investigate the effect phase fluctuations of the twin-beam source can have on a proposed demonstration of a violation of a Bell inequality, which intrinsically relies on phase-sensitive pair correlations.


title: Nested Barycentric Coordinate System as an Explicit Feature Map

abstract: We propose a new embedding method which is particularly well-suited for settings where the sample size greatly exceeds the ambient dimension. Our technique consists of partitioning the space into simplices and then embedding the data points into features corresponding to the simplices' barycentric coordinates. We then train a linear classifier in the rich feature space obtained from the simplices. The decision boundary may be highly non-linear, though it is linear within each simplex (and hence piecewise-linear overall). Further, our method can approximate any convex body. We give generalization bounds based on empirical margin and a novel hybrid sample compression technique. An extensive empirical evaluation shows that our method consistently outperforms a range of popular kernel embedding methods.


title: Aligning the Pretraining and Finetuning Objectives of Language Models

abstract: We demonstrate that explicitly aligning the pretraining objectives to the finetuning objectives in language model training significantly improves the finetuning task performance and reduces the minimum amount of finetuning examples required. The performance margin gained from objective alignment allows us to build language models with smaller sizes for tasks with less available training data. We provide empirical evidence of these claims by applying objective alignment to concept-of-interest tagging and acronym detection tasks. We found that, with objective alignment, our 768 by 3 and 512 by 3 transformer language models can reach accuracy of 83.9%/82.5% for concept-of-interest tagging and 73.8%/70.2% for acronym detection using only 200 finetuning examples per task, outperforming the 768 by 3 model pretrained without objective alignment by +4.8%/+3.4% and +9.9%/+6.3%. We name finetuning small language models in the presence of hundreds of training examples or less "Few Example learning". In practice, Few Example Learning enabled by objective alignment not only saves human labeling costs, but also makes it possible to leverage language models in more real-time applications.


title: A guide to state-space modeling of ecological time series

abstract: State-space models (SSMs) are an important modeling framework for analyzing ecological time series. These hierarchical models are commonly used to model population dynamics, animal movement, and capture-recapture data, and are now increasingly being used to model other ecological processes. SSMs are popular because they are flexible and they model the natural variation in ecological processes separately from observation error. Their flexibility allows ecologists to model continuous, count, binary, and categorical data with linear or nonlinear processes that evolve in discrete or continuous time. Modeling the two sources of stochasticity separately allows researchers to differentiate between biological variation (e.g., in birth processes) and imprecision in the sampling methodology, and generally provides better estimates of the ecological quantities of interest than if only one source of stochasticity is directly modeled. Since the introduction of SSMs, a broad range of fitting procedures have been proposed. However, the variety and complexity of these procedures can limit the ability of ecologists to formulate and fit their own SSMs. We provide the knowledge for ecologists to create SSMs that are robust to common, and often hidden, estimation problems, and the model selection and validation tools that can help them assess how well their models fit their data. In this paper, we present a review of SSMs that will provide a strong foundation to ecologists interested in learning about SSMs, introduce new tools to veteran SSM users, and highlight promising research directions for statisticians interested in ecological applications. The review is accompanied by an in-depth tutorial that demonstrates how SSMs models can be fitted and validated in R. Together, the review and tutorial present an introduction to SSMs that will help ecologists to formulate, fit, and validate their models.


title: Feasibility of satellite-to-ground continuous-variable quantum key distribution

abstract: Establishing secure communication links at a global scale is a major potential application of quantum information science but also extremely challenging for the underlying technology. While milestone experiments using satellite-to-ground links and exploiting singe-photon encoding for implementing quantum key distribution have shown recently that this goal is achievable, it is still necessary to further investigate practical solutions compatible with classical optical communication systems. Here we examine the feasibility of establishing secret keys in a satellite-to-ground downlink configuration using continuous-variable encoding, which can be implemented using standard telecommunication components certified for space environment and able to operate at high symbol rates. Considering a realistic channel model and state-of-the-art technology, and exploiting an orbit subdivision technique for mitigating fluctuations in the transmission efficiency, we find positive secret key rates for a low-Earth-orbit scenario, while finite-size effects can be a limiting factor for higher orbits. Our analysis determines regions of values for important experimental parameters where secret key exchange is possible and can be used as a guideline for experimental efforts in this direction.


title: On Throughput of Compressive Random Access for One Short Message Delivery in IoT

abstract: In this paper, we study compressive random access (CRA) with two stages for machine-type communication (MTC) in cellular Internet-of-Things (IoT). In particular, we consider the case that each user (IoT device or sensor) has only one short message (of the same length) when it is activated to send data in IoT applications. Two different CRA-based random access schemes are discussed (one is conventional and the other is new based on a simplified handshaking process). Based on the throughput analysis, we show that the CRA-based random access scheme with simplified handshaking process can outperform as its length of payload is adaptively decided depending on the number of active users. Simulation results confirm that the derived throughput expressions agree with them and can be used to design a random access system for MTC with each active device or sensor that has one short message.


title: Non arithmetic affine invariant orbifolds in Hodd(2, 2) and H(3, 1)

abstract: We classify the non arithmetic rank one affine invariant orbifolds that do not arise from Veech surfaces in H(3,1) and H^odd(2,2). We also give rigidity results on the isoperiodic leaf of non arithmetic Veech surfaces.


title: On hybrid order dimension

abstract: The notion of interval order was introduced by Norbert Wiener \cite{wie} in order to clarify the relation between the notion of an instant of time and that of a period of time. This was a problem on which Bertrand Russell \cite{rus} worked at the time. Interval orders play an important role in many areas of pure and applied mathematics, graph theory, computer science and engineering. Special cases of interval order are the semiorder and linear order. All of these notions are especially important in the study of linear-interval and linear-semiorder dimension of a binary relation. This kind of dimension, which we call {\it hybrid order dimension}, gives a common generalization of linear order and interval order (semiorder) dimension and is arguably the most important measure of ordered set complexity. In this paper, we present three main results of the theory of hybrid order dimension. More specifically, we obtain necessary and sufficient conditions for a binary relation to have an interval order (resp. linear-interval order, linear-simiorder) extension, as well as an interval order realizer of interval orders (resp. linear-interval orders, linear-simiorders). We also obtain a characterization of the interval order (resp. linear-interval order, linear-simiorder) dimension. Because a binary relation's hybrid order dimension is less than its (linear) order dimension, these results will be able to improve known results in graph theory and computer science by identifying more efficient algorithms.


title: Rational $D(q)$-quadruples

abstract: For a rational number $q$, a rational $D(q)$-$n$-tuple is a set of $n$ distinct nonzero rationals $\{a_1, a_2, \dots, a_n\}$ such that $a_ia_j+q$ is a rational square for all $1 \leqslant i < j \leqslant n$. For every $q$ we find all rational $m$ such that there exists a $D(q)$-quadruple with product $abcd=m$. We describe all such quadruples using points on a specific elliptic curve depending on $(q,m).$


title: Defending Adversarial Attacks via Semantic Feature Manipulation

abstract: Machine learning models have demonstrated vulnerability to adversarial attacks, more specifically misclassification of adversarial examples. In this paper, we propose a one-off and attack-agnostic Feature Manipulation (FM)-Defense to detect and purify adversarial examples in an interpretable and efficient manner. The intuition is that the classification result of a normal image is generally resistant to non-significant intrinsic feature changes, e.g., varying thickness of handwritten digits. In contrast, adversarial examples are sensitive to such changes since the perturbation lacks transferability. To enable manipulation of features, a combo-variational autoencoder is applied to learn disentangled latent codes that reveal semantic features. The resistance to classification change over the morphs, derived by varying and reconstructing latent codes, is used to detect suspicious inputs. Further, combo-VAE is enhanced to purify the adversarial examples with good quality by considering both class-shared and class-unique features. We empirically demonstrate the effectiveness of detection and the quality of purified instance. Our experiments on three datasets show that FM-Defense can detect nearly $100\%$ of adversarial examples produced by different state-of-the-art adversarial attacks. It achieves more than $99\%$ overall purification accuracy on the suspicious instances that close the manifold of normal examples.


title: Detecting Changes in Asset Co-Movement Using the Autoencoder Reconstruction Ratio

abstract: Detecting changes in asset co-movements is of much importance to financial practitioners, with numerous risk management benefits arising from the timely detection of breakdowns in historical correlations. In this article, we propose a real-time indicator to detect temporary increases in asset co-movements, the Autoencoder Reconstruction Ratio, which measures how well a basket of asset returns can be modelled using a lower-dimensional set of latent variables. The ARR uses a deep sparse denoising autoencoder to perform the dimensionality reduction on the returns vector, which replaces the PCA approach of the standard Absorption Ratio, and provides a better model for non-Gaussian returns. Through a systemic risk application on forecasting on the CRSP US Total Market Index, we show that lower ARR values coincide with higher volatility and larger drawdowns, indicating that increased asset co-movement does correspond with periods of market weakness. We also demonstrate that short-term (i.e. 5-min and 1-hour) predictors for realised volatility and market crashes can be improved by including additional ARR inputs.


title: Production of HD Molecules in Definite Hyperfine Substates

abstract: Polarized atomic beam sources have been in operation since many years to produce either nuclear polarized atomic hydrogen or deuterium beams. In recent experiments such a source was used to polarize both isotopes independently at the same time. By recombination of the atoms, HD molecules with all possible nuclear spin combinations can be created. Those spin isomers are useful for further applications like precision spectroscopy, as polarized targets for laser-particle acceleration, polarized fuel for fusion reactors or as an option for future measurements of electric dipole moments.


title: Crude oil price forecasting incorporating news text

abstract: Sparse and short news headlines can be arbitrary, noisy, and ambiguous, making it difficult for classic topic model LDA (latent Dirichlet allocation) designed for accommodating long text to discover knowledge from them. Nonetheless, some of the existing research about text-based crude oil forecasting employs LDA to explore topics from news headlines, resulting in a mismatch between the short text and the topic model and further affecting the forecasting performance. Exploiting advanced and appropriate methods to construct high-quality features from news headlines becomes crucial in crude oil forecasting. To tackle this issue, this paper introduces two novel indicators of topic and sentiment for the short and sparse text data. Empirical experiments show that AdaBoost.RT with our proposed text indicators, with a more comprehensive view and characterization of the short and sparse text data, outperforms the other benchmarks. Another significant merit is that our method also yields good forecasting performance when applied to other futures commodities.


title: Predicting Bank Loan Default with Extreme Gradient Boosting

abstract: Loan default prediction is one of the most important and critical problems faced by banks and other financial institutions as it has a huge effect on profit. Although many traditional methods exist for mining information about a loan application, most of these methods seem to be under-performing as there have been reported increases in the number of bad loans. In this paper, we use an Extreme Gradient Boosting algorithm called XGBoost for loan default prediction. The prediction is based on a loan data from a leading bank taking into consideration data sets from both the loan application and the demographic of the applicant. We also present important evaluation metrics such as Accuracy, Recall, precision, F1-Score and ROC area of the analysis. This paper provides an effective basis for loan credit approval in order to identify risky customers from a large number of loan applications using predictive modeling.


title: From Route Instructions to Landmark Graphs

abstract: Landmarks are central to how people navigate, but most navigation technologies do not incorporate them into their representations. We propose the landmark graph generation task (creating landmark-based spatial representations from natural language) and introduce a fully end-to-end neural approach to generate these graphs. We evaluate our models on the SAIL route instruction dataset, as well as on a small set of real-world delivery instructions that we collected, and we show that our approach yields high quality results on both our task and the related robotic navigation task.


title: A Deterministic Streaming Sketch for Ridge Regression

abstract: We provide a deterministic space-efficient algorithm for estimating ridge regression. For $n$ data points with $d$ features and a large enough regularization parameter, we provide a solution within $\varepsilon$ L$_2$ error using only $O(d/\varepsilon)$ space. This is the first $o(d^2)$ space deterministic streaming algorithm with guaranteed solution error and risk bound for this classic problem. The algorithm sketches the covariance matrix by variants of Frequent Directions, which implies it can operate in insertion-only streams and a variety of distributed data settings. In comparisons to randomized sketching algorithms on synthetic and real-world datasets, our algorithm has less empirical error using less space and similar time.


title: Compositional Abstraction-based Synthesis for Interconnected Systems: An Approximate Composition Approach

abstract: In this paper, we focus on mitigating the computational complexity in abstraction-based controller synthesis for interconnected control systems. To do so, we provide a compositional framework for the construction of abstractions for interconnected systems and a bottom-up controller synthesis scheme. In particular, we propose a notion of approximate composition which makes it possible to compute an abstraction of the global interconnected system from the abstractions (possibly of different types) of its components. Finally, by leveraging our notion of approximate composition, we propose a bottom-up approach for the synthesis of controllers enforcing decomposable safety specifications. The effectiveness of the proposed results is demonstrated using two case studies (viz., DC microgrid and traffic network) by comparing them with different abstraction and controller synthesis schemes.


title: On the impact of tides on the transit-timing fits to the TRAPPIST-1 system

abstract: Transit Timing Variations, or TTVs, can be a very efficient way of constraining masses and eccentricities of multi-planet systems. Recent measurements of the TTVs of TRAPPIST-1 led to an estimate of the masses of the planets, enabling an estimate of their densities. A recent TTV analysis using data obtained in the past two years yields a 34% and 13% increase in mass for TRAPPIST-1b and c, respectively. In most studies to date, a Newtonian N-body model is used to fit the masses of the planets, while sometimes general relativity is accounted for. Using the Posidonius N-body code, we show that in the case of the TRAPPIST-1 system, non-Newtonian effects might be also relevant to correctly model the dynamics of the system and the resulting TTVs. In particular, using standard values of the tidal Love number $k_2$ (accounting for the tidal deformation) and the fluid Love number $k_{2f}$ (accounting for the rotational flattening) leads to differences in the TTVs of TRAPPIST-1b and c similar to the differences caused by general relativity. We also show that relaxing the values of tidal Love number $k_2$ and the fluid Love number $k_{2f}$ can lead to TTVs which differ by as much as a few 10~s on a $3-4$-year timescale, which is a potentially observable level. The high values of the Love numbers needed to reach observable levels for the TTVs could be achieved for planets with a liquid ocean, which, if detected, might then be interpreted as a sign that TRAPPIST-1b and TRAPPIST-1c could have a liquid magma ocean. For TRAPPIST-1 and similar systems, the models to fit the TTVs should potentially account for general relativity, for the tidal deformation of the planets, for the rotational deformation of the planets and, to a lesser extent, for the rotational deformation of the star, which would add up to 7x2+1 = 15 additional free parameters in the case of TRAPPIST-1.


title: Existence and uniqueness for the mild solution of the stochastic heat equation with non-Lipschitz drift on an unbounded spatial domain

abstract: We prove the existence and uniqueness of the mild solution for a nonlinear stochastic heat equation defined on an unbounded spatial domain. The nonlinearity is not assumed to be globally, or even locally, Lipschitz continuous. Instead the nonlinearity is assumed to satisfy a one-sided Lipschitz condition. First, a strengthened version of the Kolmogorov continuity theorem is introduced to prove that the stochastic convolutions of the fundamental solution of the heat equation and a spatially homogeneous noise grow no faster than polynomially. Second, a deterministic mapping that maps the stochastic convolution to the solution of the stochastic heat equation is proven to be Lipschitz continuous on polynomially weighted spaces of continuous functions. These two ingredients enable the formulation of a Picard iteration scheme to prove the existence and uniqueness of the mild solution.


title: Observations on Porting In-memory KV stores to Persistent Memory

abstract: Systems that require high-throughput and fault tolerance, such as key-value stores and databases, are looking to persistent memory to combine the performance of in-memory systems with the data-consistent fault-tolerance of nonvolatile stores. Persistent memory devices provide fast bytea-ddressable access to non-volatile memory. We analyze the design space when integrating persistent memory into in-memory key value stores and quantify performance tradeoffs between throughput, latency, and and recovery time. Previous works have explored many design choices, but did not quantify the tradeoffs. We implement persistent memory support in Redis and Memcached, adapting the data structures of each to work in two modes: (1) with all data in persistent memory and (2) a hybrid mode that uses persistent memory for key/value data and non-volatile memory for indexing and metadata. Our experience reveals three actionable design principles that hold in Redis and Memcached, despite their very different implementations. We conclude that the hybrid design increases throughput and decreases latency at a minor cost in recovery time and code complexity


title: Fixed-Point Quantum Circuits for Quantum Field Theories

abstract: Renormalization group ideas and effective operators are used to efficiently determine localized unitaries for preparing the ground states of non-interacting scalar field theories on digital quantum devices. With these methods, classically computed ground states in a small spatial volume can be used to determine operators for preparing the ground state in a beyond-classical quantum register, even for interacting scalar field theories. Due to the exponential decay of correlation functions and the double exponential suppression of digitization artifacts, the derived quantum circuits are expected to be relevant already for near-term quantum devices.


title: Expansion properties of Double Standard Maps

abstract: For the family of Double Standard Maps $f_{a,b}=2x+a+\frac{b}{\pi} \sin2\pi x \quad\pmod{1}$ we investigate the structure of the space of parameters $a$ when $b=1$ and when $b\in[0,1)$. In the first case the maps have a critical point, but for a set of parameters $E_1$ of positive Lebesgue measure there is an invariant absolutely continuous measure for $f_{a,1}$. In the second case there is an open nonempty set $E_b$ of parameters for which the map $f_{a,b}$ is expanding. We show that as $b\nearrow 1$, the set $E_b$ accumulates on many points of $E_1$ in a regular way from the measure point of view.


title: Asymptotic States of Accelerated Qubits with Nonzero Background Temperature

abstract: The study of the Unruh effect naturally raises the interest for a deeper understanding of the analogy between temperature and acceleration. A recurring question is whether an accelerated frame can be distinguished from an inertial thermal bath in pure thermodynamic experiments, such problem has been approached in the literature and a consensus is yet to be fully reached. In the present work we use the open quantum system formalism to investigate the case where both acceleration and background temperature are present. We find the asymptotic state density and entanglement generation from the Markovian evolution of accelerated qubits interacting with a thermal state of the external scalar field. Our results suggest that there is a very small asymmetry on the effects of the Unruh and background temperatures. Addressing the nonzero background temperature case is of both theoretical and phenomenological interest, thus the authors hope to enrich the existing discussions on the topic.


title: A dichotomy for bounded degree graph homomorphisms with nonnegative weights

abstract: We consider the complexity of counting weighted graph homomorphisms defined by a symmetric matrix $A$. Each symmetric matrix $A$ defines a graph homomorphism function $Z_A(\cdot)$, also known as the partition function. Dyer and Greenhill [10] established a complexity dichotomy of $Z_A(\cdot)$ for symmetric $\{0, 1\}$-matrices $A$, and they further proved that its #P-hardness part also holds for bounded degree graphs. Bulatov and Grohe [4] extended the Dyer-Greenhill dichotomy to nonnegative symmetric matrices $A$. However, their hardness proof requires graphs of arbitrarily large degree, and whether the bounded degree part of the Dyer-Greenhill dichotomy can be extended has been an open problem for 15 years. We resolve this open problem and prove that for nonnegative symmetric $A$, either $Z_A(G)$ is in polynomial time for all graphs $G$, or it is #P-hard for bounded degree (and simple) graphs $G$. We further extend the complexity dichotomy to include nonnegative vertex weights. Additionally, we prove that the #P-hardness part of the dichotomy by Goldberg et al. [12] for $Z_A(\cdot)$ also holds for simple graphs, where $A$ is any real symmetric matrix.


title: Quantitative stability in the geometry of semi-discrete optimal transport

abstract: We show quantitative stability results for the geometric "cells" arising in semi-discrete optimal transport problems. Our results show two types of stability, the first is stability of the associated Laguerre cells in measure, without any connectedness or regularity assumptions on the source measure. The second is stability in Hausdorff measure, under a Poincar{\`e}-Wirtinger inequality and a regularity assumption equivalent to the Ma-Trudinger-Wang conditions of regularity in Monge-Amp{\`e}re. This last result also yields stability in the uniform norm of the dual potential functions, all three stability results come with explicit quantitative bounds. Our methods utilize a combination of graph theory, convex geometry, and Monge-Amp{\`e}re regularity theory.


title: L-functions of Certain Exponential Sums over Finite Fields

abstract: In this paper, we completely determine the slopes and weights of the L-functions of an important class of exponential sums arising from analytic number theory. Our main tools include Adolphson-Sperber's work on toric exponential sums and Wan's decomposition theorems. One consequence of our main result is a sharp estimate of these exponential sums. Another consequence is to obtain an explicit counterexample of Adolphson-Sperber's conjecture on weights of toric exponential sums.


title: Fast Stable Parameter Estimation for Linear Dynamical Systems

abstract: Dynamical systems describe the changes in processes that arise naturally from their underlying physical principles, such as the laws of motion or the conservation of mass, energy or momentum. These models facilitate a causal explanation for the drivers and impediments of the processes. But do they describe the behaviour of the observed data? And how can we quantify the models' parameters that cannot be measured directly? This paper addresses these two questions by providing a methodology for estimating the solution; and the parameters of linear dynamical systems from incomplete and noisy observations of the processes. The proposed procedure builds on the parameter cascading approach, where a linear combination of basis functions approximates the implicitly defined solution of the dynamical system. The systems' parameters are then estimated so that this approximating solution adheres to the data. By taking advantage of the linearity of the system, we have simplified the parameter cascading estimation procedure, and by developing a new iterative scheme, we achieve fast and stable computation. We illustrate our approach by obtaining a linear differential equation that represents real data from biomechanics. Comparing our approach with popular methods for estimating the parameters of linear dynamical systems, namely, the non-linear least-squares approach, simulated annealing, parameter cascading and smooth functional tempering reveals a considerable reduction in computation and an improved bias and sampling variance.


title: R\'{e}nyi Entropy Bounds on the Active Learning Cost-Performance Tradeoff

abstract: Semi-supervised classification, one of the most prominent fields in machine learning, studies how to combine the statistical knowledge of the often abundant unlabeled data with the often limited labeled data in order to maximize overall classification accuracy. In this context, the process of actively choosing the data to be labeled is referred to as active learning. In this paper, we initiate the non-asymptotic analysis of the optimal policy for semi-supervised classification with actively obtained labeled data. Considering a general Bayesian classification model, we provide the first characterization of the jointly optimal active learning and semi-supervised classification policy, in terms of the cost-performance tradeoff driven by the label query budget (number of data items to be labeled) and overall classification accuracy. Leveraging recent results on the R\'enyi Entropy, we derive tight information-theoretic bounds on such active learning cost-performance tradeoff.


title: Age of Information in Uncoordinated Unslotted Updating

abstract: Sensor sources submit updates to a monitor through an unslotted, uncoordinated, unreliable multiple access collision channel. The channel is unreliable; a collision-free transmission is received successfully at the monitor with some transmission success probability. For an infinite-user model in which the sensors collectively transmit updates as a Poisson process and each update has an independent exponential transmission time, a stochastic hybrid system (SHS) approach is used to derive the average age of information (AoI) as a function of the offered load and the transmission success probability. The analysis is then extended to evaluate the individual age of a selected source. When the number of sources and update transmission rate grow large in fixed proportion, the limiting asymptotic individual age is shown to provide an accurate individual age approximation for a small number of sources.


title: Does Nature use neutral beams for interstellar plasma heating around compact objects?

abstract: A neutral beam injection technique is employed in all major TOKAMAK facilities for heating of magnetically confined plasma. The question then arises, whether a similar mechanism might work in astrophysical objects? For instance, a hyper-Eddington galactic binary SS433 possesses baryonic jets, moving at a quarter of the speed of light, and observations revealed signs of gas cooling and recombination on sub-pc scales and equally strong signs of powerful energy deposition on much larger scales $\sim$100 pc. Here we consider a model where neutral atoms transport this energy. A sub-relativistic beam of neutral atoms penetrates the interstellar medium, these atoms gradually get ionised and deposit their energy over a region, whose longitudinal dimension is set by the "ionisation length". The channel, where the energy is deposited, expands sideways and drives a shock in the lateral direction. Once the density in the channel drops, the heating rate by the beam drops accordingly, and the region of the energy release moves along the direction of the beam. We discuss distinct features associated with this scenario and speculate that such configuration might also boost shock acceleration of the "pick-up" protons that arise due to ionisation of neutral atoms both upstream and downstream of the shock.


title: Luminous Lyman-alpha Emitters with Very Blue UV-continuum Slopes at Redshift 5.7 <= z <= 6.6

abstract: We study six luminous Lyman-alpha emitters (LAEs) with very blue rest-frame UV continua at $5.7\le z \le 6.6$. These LAEs have previous HST and Spitzer IRAC observations. Combining our newly acquired HST images, we find that their UV-continuum slopes $\beta$ are in a range of $-3.4\le \beta \le -2.6$. Unlike previous, tentative detections of $\beta \simeq -3$ in photometrically selected, low-luminosity galaxies, our LAEs are spectroscopically confirmed and luminous ($M_{\rm UV}<-20$ mag). We model their broadband spectral energy distributions (SEDs), and find that two $\beta\simeq-2.6\pm0.2$ galaxies can be well fitted with young and dust-free stellar populations. However, it becomes increasingly difficult to fit bluer galaxies. We explore further interpretations by including non-zero LyC escape fraction $f_{\rm esc}$, very low metallicities, and/or AGN contributions. Assuming $f_{\rm esc}\simeq0.2$, we achieve the bluest slopes $\beta\simeq-2.7$ when nebular emission is considered. This can nearly explain the SEDs of two galaxies with $\beta\simeq-2.8$ and --2.9 ($\sigma_{\beta}=0.15$). Larger $f_{\rm esc}$ values and very low metallicities are not favored by the strong nebular line emission (evidenced by the IRAC flux) or the observed (IRAC 1 - IRAC 2) color. Finally, we find that the $\beta\simeq-2.9$ galaxy can potentially be well explained by the combination of a very young population with a high $f_{\rm esc}$ ($\ge0.5$) and an old, dusty population. We are not able to produce two $\beta \simeq -3.4 \pm0.4$ galaxies. Future deep spectroscopic observations are needed to fully understand these galaxies.


title: Diffuse Lyman-alpha Halos around ~300 Spectroscopically Confirmed Lyman-alpha Emitters at z ~ 5.7

abstract: We report the detection of diffuse Lyman-alpha halos (LAHs) around star-forming galaxies at $z \sim 5.7$ by stacking 310 spectroscopically confirmed Lyman-alpha (LAEs). The majority of the LAEs are identified from our spectroscopic survey of galaxies at $z>5.5$. They are all located in well-studied fields with deep narrowband and broadband imaging data. We combine the LAE sample and its subsamples in the narrowband NB816 (i.e., the Lyman-alpha band) and $z$ band (i.e., the continuum band). By comparing the stacked objects with their corresponding point spread functions, we clearly detect extended LAHs around these LAEs. We perform sophisticated simulations and analyses on statistical and systematic errors, and confirm that the detected halos are not caused by errors. The scale lengths of the LAHs, when described by a double-component model, range from 1.2 to 5.3 kpc with a typical value of $\sim$2 kpc. The LAH sizes from our sample are in agreement with those of individual LAEs at the similar redshift measured by VLT/MUSE, but are relatively smaller than those of photometrically selected LAEs in previous studies. We also find that LAEs with higher Lyman-alpha luminosities, higher UV continuum luminosities or smaller Lyman-alpha equivalent widths tend to have larger LAH sizes. Our results are consistent with a scenario that LAHs originate from the scattered light of the central galaxies by H I gas in the circumgalactic medium.


title: Improved binary pulsar constraints on the parameterized post-Einsteinian framework

abstract: The parameterized post-Einsteinian formalism was developed to search for generic deviations from general relativity with gravitational waves. We here present constraints on this framework using Bayesian analysis of a set of binary pulsar observations. In particular, we use measurements of the Keplerian and post-Keplerian parameters of six different binary pulsar systems, and Markov-Chain Monte-Carlo exploration to calculate posteriors on the parameterized post-Einsteinian parameters and derive robust constraints. We find improvements of 1-2 orders of magnitude in the strength of constraints when combining all six observations, relative to what one can achieve when using only the double binary pulsar. We also find that the constraints are robust to covariances with the binary's component masses. The bounds on the parameterized post-Einsteinian framework derived here could be used as a prior in future Bayesian tests of general relativity with gravitational wave observations.


title: Stimulating Creativity with FunLines: A Case Study of Humor Generation in Headlines

abstract: Building datasets of creative text, such as humor, is quite challenging. We introduce FunLines, a competitive game where players edit news headlines to make them funny, and where they rate the funniness of headlines edited by others. FunLines makes the humor generation process fun, interactive, collaborative, rewarding and educational, keeping players engaged and providing humor data at a very low cost compared to traditional crowdsourcing approaches. FunLines offers useful performance feedback, assisting players in getting better over time at generating and assessing humor, as our analysis shows. This helps to further increase the quality of the generated dataset. We show the effectiveness of this data by training humor classification models that outperform a previous benchmark, and we release this dataset to the public.


title: Random number generation from a quantum tunneling diode

abstract: Random numbers are important in many activities, including communication, encryption, science, gambling, finance, and decision-making. There is a strong demand for a hardware random number generator that could support cryptographic applications. In this work, we propose a quantum tunneling diode as a source of true randomness achieved by applying electrical current sweeps through the device and then harnessing a time-counting unit to measure fluctuation of current flows. Our approach can be implemented with inexpensive electronics and could be integrated into systems that require random numbers such as portable communication devices.


title: Rotation-invariant Mixed Graphical Model Network for 2D Hand Pose Estimation

abstract: In this paper, we propose a new architecture named Rotation-invariant Mixed Graphical Model Network (R-MGMN) to solve the problem of 2D hand pose estimation from a monocular RGB image. By integrating a rotation net, the R-MGMN is invariant to rotations of the hand in the image. It also has a pool of graphical models, from which a combination of graphical models could be selected, conditioning on the input image. Belief propagation is performed on each graphical model separately, generating a set of marginal distributions, which are taken as the confidence maps of hand keypoint positions. Final confidence maps are obtained by aggregating these confidence maps together. We evaluate the R-MGMN on two public hand pose datasets. Experiment results show our model outperforms the state-of-the-art algorithm which is widely used in 2D hand pose estimation by a noticeable margin.


title: Unwinding the relative Tate diagonal

abstract: We show that a spectral sequence developed by Lipshitz and Treumann, for application to Heegaard Floer theory, converges to a localized form of topological Hochschild homology with coefficients. This allows us to show that the target of this spectral sequence can be identified with Hochschild homology when the topological Hochschild homology is torsion-free as a module over $\mathrm{THH}_*(\mathbb{F}_2)$, parallel to results of Mathew on degeneration of the Hodge-to-de Rham spectral sequence. To carry this out, we apply work of Nikolaus-Scholze to develop a general Tate diagonal for Hochschild-like diagrams of spectra that respect a decomposition into tensor products. This allows us to discuss the extent to which there can be a Tate diagonal for relative topological Hochschild homology.


title: Stable power operations

abstract: For any $E_\infty$ ring spectrum $E$, we show that there is an algebra $\mathrm{Pow}(E)$ of stable power operations that acts naturally on the underlying spectrum of any $E$-algebra. Further, we show that there are maps of rings $E \to \mathrm{Pow}(E) \to \mathrm{End}(E)$, where the latter determines a restriction from power operations to stable operations in the cohomology of spaces. In the case where $E$ is the mod-$p$ Eilenberg-Mac Lane spectrum, this realizes a natural quotient from Mandell's algebra of generalized Steenrod operations to the mod-$p$ Steenrod algebra. More generally, this arises as part of a classification of endomorphisms of representable functors from an $\infty$-category $\mathcal{C}$ to spectra, with particular attention to the case where $\mathcal{C}$ is an $\mathcal{O}$-monoidal $\infty$-category.


title: Inert doublet as multicomponent dark matter

abstract: In this work, we study multicomponent dark sectors comprised of a fermionic and a scalar dark matter candidate. In the scalar sector, we mostly focus on the Inert Doublet Model while in the fermionic sector we study three different models. For all of them, we investigate the impact that dark matter conversion and regular WIMP dark matter annihilating processes have on the relic abundance. We mostly recover the region between the electroweak scale and $\sim$ 550 GeV for the scalar dark matter mass, which is usually excluded in the Inert Doublet Model. We also consider current constraints from both direct detection and indirect detection experiments and include future prospects to probe the models. Additionally, we investigate constraints from collider searches on the fermionic dark matter candidates.


title: Generalized 't Hooft anomalies on non-spin manifolds

abstract: We study the mixed anomaly between the discrete chiral symmetry and general baryon-color-flavor (BCF) backgrounds in $SU(N_c)$ gauge theories with $N_f$ flavors of Dirac fermions in representations ${\cal R}_c$ of $N$-ality $n_c$, formulated on non-spin manifolds. We show how to study these theories on $\mathbb{CP}^2$ by turning on general BCF fluxes consistent with the fermion transition functions. We consider several examples in detail and argue that matching the anomaly on non-spin manifolds places stronger constraints on the infrared physics, compared to the ones on spin manifolds (e.g.~$\mathbb{T}^4$). We also show how to consistently formulate various chiral gauge theories on non-spin manifolds.


title: Fast and Safe Path-Following Control using a State-Dependent Directional Metric

abstract: This paper considers the problem of fast and safe autonomous navigation in partially known environments. Our main contribution is a control policy design based on ellipsoidal trajectory bounds obtained from a quadratic state-dependent distance metric. The ellipsoidal bounds are used to embed directional preference in the control design, leading to system behavior that is adapted to the local environment geometry, carefully considering medial obstacles while paying less attention to lateral ones. We use a virtual reference governor system to adaptively follow a desired navigation path, slowing down when system safety may be violated and speeding up otherwise. The resulting controller is able to navigate complex environments faster than common Euclidean-norm and Lyapunov-function-based designs, while retaining stability and collision avoidance guarantees.


title: Employing Non-Markovian effects to improve the performance of a quantum Otto refrigerator

abstract: The extension of quantum thermodynamics to situations that go beyond standard thermodynamic settings comprises an important and interesting aspect of its development. One such situation is the analysis of the thermodynamic consequences of structured environments that induce a non-Markovian dynamics. We study a quantum Otto refrigerator where the standard Markovian cold reservoir is replaced by a specific engineered cold reservoir which may induce a Markovian or non-Markovian dynamics on the quantum refrigerant system. The two dynamical regimes can be interchanged by varying the coupling between the refrigerant and the reservoir. An increase of non-Markovian effects will be related to an increase of the coupling strength, which in turn will make the energy stored in the interaction Hamiltonian, the interaction energy, increasingly relevant. We show how the figures of merit, the coefficient of performance and the cooling power, change for non-negligible interaction energies, discussing how neglecting this effect would lead to an overestimation of the refrigerator performance. Finally, we also consider a numerical simulation of a spin quantum refrigerator with experimentally feasible parameters to better illustrate the non-Markovian effects induced by the engineered cold reservoir. We argue that a moderate non-Markovian dynamics performs better than either a Markovian or a strong non-Markovian regime of operation.


title: Extracting dispersion curves from ambient noise correlations using deep learning

abstract: We present a machine-learning approach to classifying the phases of surface wave dispersion curves. Standard FTAN analysis of surfaces observed on an array of receivers is converted to an image, of which, each pixel is classified as fundamental mode, first overtone, or noise. We use a convolutional neural network (U-net) architecture with a supervised learning objective and incorporate transfer learning. The training is initially performed with synthetic data to learn coarse structure, followed by fine-tuning of the network using approximately 10% of the real data based on human classification. The results show that the machine classification is nearly identical to the human picked phases. Expanding the method to process multiple images at once did not improve the performance. The developed technique will faciliate automated processing of large dispersion curve datasets.


title: An Adaptation for Iterative Structured Matrix Completion

abstract: The task of predicting missing entries of a matrix, from a subset of known entries, is known as \textit{matrix completion}. In today's data-driven world, data completion is essential whether it is the main goal or a pre-processing step. Structured matrix completion includes any setting in which data is not missing uniformly at random. In recent work, a modification to the standard nuclear norm minimization (NNM) for matrix completion has been developed to take into account \emph{sparsity-based} structure in the missing entries. This notion of structure is motivated in many settings including recommender systems, where the probability that an entry is observed depends on the value of the entry. We propose adjusting an Iteratively Reweighted Least Squares (IRLS) algorithm for low-rank matrix completion to take into account sparsity-based structure in the missing entries. We also present an iterative gradient-projection-based implementation of the algorithm that can handle large-scale matrices. Finally, we present a robust array of numerical experiments on matrices of varying sizes, ranks, and level of structure. We show that our proposed method is comparable with the adjusted NNM on small-sized matrices, and often outperforms the IRLS algorithm in structured settings on matrices up to size $1000 \times 1000$.


title: Creating Stein surfaces by topological isotopy

abstract: We combine Freedman's topology with Eliashberg's holomorphic theory to construct Stein neighborhood systems in complex surfaces, and use these to study various notions of convexity and concavity. Every tame, topologically embedded 2-complex K in a complex surface, after C^0-small topological ambient isotopy, is the intersection of an uncountable nested family of Stein regular neighborhoods that are all topologically ambiently isotopic rel K, but frequently realize uncountably many diffeomorphism types. These arise from the Cantor set levels of a topological mapping cylinder. The boundaries of the neighborhoods are 3-manifolds that are only topologically embedded, but still satisfy a notion of pseudoconvexity. Such 3-manifolds share some basic properties of hypersurfaces that are strictly pseudoconvex in the usual smooth sense, but they are far more common. The complementary notion of topological pseudoconcavity is realized by uncountably many diffeomorphism types homeomorphic to R^4.


title: Minkowski weights and the Grothendieck group of a toric variety

abstract: For a fan $\Delta$, we introduce Grothendieck weights as a ring of functions from $\Delta$ to $\mathbb{Z}$ that form a K-theoretic analogue of Minkowski weights and describe the operational $K$-theory of a complete toric variety. We give an explicit balancing condition and product formula for these weights, and describe relationships with other fan-based invariants. Applications are given to vector bundles on a toric surface, and to the calculation of Euler characteristics on schon subvarieties.


title: Limits on the Stochastic Gravitational Wave Background and Prospects for Single Source Detection with GRACE Follow-On

abstract: With a reinterpretation of recent results, the GRACE Follow-On mission can be applied to gravitational wave astronomy. Existing GRACE Follow-On data constrain the stochastic gravitational wave background to $\Omega_{GW}<3.3\times10^{7}$ at 100 mHz. With a dedicated analysis, GRACE Follow-On may be able to detect the inspiral of local neutron star binaries, inspiral of subgalactic stellar-mass black hole binaries, or mergers of intermediate-mass black hole binaries within the Milky Way.


title: Perturbo: a software package for ab initio electron-phonon interactions, charge transport and ultrafast dynamics

abstract: Perturbo is a software package for first-principles calculations of charge transport and ultrafast carrier dynamics in materials. The current version focuses on electron-phonon interactions and can compute phonon-limited transport properties such as the conductivity, carrier mobility and Seebeck coefficient. It can also simulate the ultrafast nonequilibrium electron dynamics in the presence of electron-phonon scattering. Perturbo uses results from density functional theory and density functional perturbation theory calculations as input, and employs Wannier interpolation to reduce the computational cost. It supports norm-conserving and ultrasoft pseudopotentials, spin-orbit coupling, and polar electron-phonon corrections for bulk and 2D materials. Hybrid MPI plus OpenMP parallelization is implemented to enable efficient calculations on large systems (up to at least 50 atoms) using high-performance computing. Taken together, Perturbo provides efficient and broadly applicable ab initio tools to investigate electron-phonon interactions and carrier dynamics quantitatively in metals, semiconductors, insulators, and 2D materials.


title: Supervised Learning on Relational Databases with Graph Neural Networks

abstract: The majority of data scientists and machine learning practitioners use relational data in their work [State of ML and Data Science 2017, Kaggle, Inc.]. But training machine learning models on data stored in relational databases requires significant data extraction and feature engineering efforts. These efforts are not only costly, but they also destroy potentially important relational structure in the data. We introduce a method that uses Graph Neural Networks to overcome these challenges. Our proposed method outperforms state-of-the-art automatic feature engineering methods on two out of three datasets.


title: Measurability of Coulomb wavepacket scattering effects

abstract: A previous paper [J. Phys. B: At. Mol. Opt. Phys. 50, 215302 (2017)] showed that partial wave analysis becomes applicable to nonrelativistic Coulomb scattering if wavepackets are used. The scattering geometry considered was special: that of a head-on collision between the wavepacket and the centre of the potential. Our results predicted, in this case, a shadow zone of low probability for small angles around the forward direction for the description of alpha scattering from a gold foil. In this paper we generalize the results to the case of a nonzero impact parameter, a displacement of the wavepacket centre perpendicular to the average momentum direction. We predict a large flux in the forward direction from events with large impact parameters. We find a significant probability of scattering into the deviation region for impact parameters of order the spatial width of the wavepacket. Averaging over impact parameters produces predictions in excellent agreement with the Rutherford formula down to lower angles than for the zero impact parameter prediction. We consider issues that would arise in a real experiment and discuss the possibility of measuring a deviation from the Rutherford formula.


title: On the shape-dependent propulsion of nano- and microparticles by traveling ultrasound waves

abstract: Among the many types of artificial motile nano- and microparticles that have been developed in the past, colloidal particles that exhibit propulsion when they are exposed to ultrasound are particularly advantageous. Their properties, however, are still largely unexplored. For example, the dependence of the propulsion on the particle shape and the structure of the flow field generated around the particles are still unknown. In this article, we address the propulsion mechanism of ultrasound-propelled nano- and microparticles in more detail. Based on direct computational fluid dynamics simulations and focusing on traveling ultrasound waves, we study the effect of two important aspects of the particle shape on the propulsion: rounded vs. pointed and filled vs. hollow shapes. We also address the flow field generated around such particles. Our results reveal that pointedness leads to an increase of the propulsion speed, whereas it is not significantly affected by hollowness. Furthermore, we find that the flow field of ultrasound-propelled particles allows to classify them as pusher squirmers, which has far-reaching consequences for the understanding of these particles and allows us to predict that they can be used to realize active materials with a tunable viscosity that can exhibit suprafluidity and even negative viscosities. The obtained results are helpful, e.g., for future experimental work further investigating or applying ultrasound-propelled colloidal particles as well as for theoretical approaches that aim at modeling their dynamics on mesoscopic scales.

categories: cond-mat.soft cond-mat.mes-hall cond-mat.mtrl-sci physics.flu-dyn


title: Turnpike Properties in Discrete-Time Mixed-Integer Optimal Control

abstract: This note discusses properties of parametric discrete-time Mixed-Integer Optimal Control Problems (MIOCPs) as they often arise in mixed-integer NMPC. We argue that in want for a handle on similarity properties of parametric MIOCPs the classical turnpike notion from optimal control is helpful. We provide sufficient turnpike conditions based on a dissipativity notion of MIOCPs, and we show that the turnpike property allows specific and accurate guesses for the integer-valued controls. Moreover, we show how the turnpike property can be used to derive efficient node-weighted branch-and-bound schemes tailored to parametric MIOCPs. We draw upon numerical examples to illustrate our findings.


title: Few-Shot Learning as Domain Adaptation: Algorithm and Analysis

abstract: To recognize the unseen classes with only few samples, few-shot learning (FSL) uses prior knowledge learned from the seen classes. A major challenge for FSL is that the distribution of the unseen classes is different from that of those seen, resulting in poor generalization even when a model is meta-trained on the seen classes. This class-difference-caused distribution shift can be considered as a special case of domain shift. In this paper, for the first time, we propose a domain adaptation prototypical network with attention (DAPNA) to explicitly tackle such a domain shift problem in a meta-learning framework. Specifically, armed with a set transformer based attention module, we construct each episode with two sub-episodes without class overlap on the seen classes to simulate the domain shift between the seen and unseen classes. To align the feature distributions of the two sub-episodes with limited training samples, a feature transfer network is employed together with a margin disparity discrepancy (MDD) loss. Importantly, theoretical analysis is provided to give the learning bound of our DAPNA. Extensive experiments show that our DAPNA outperforms the state-of-the-art FSL alternatives, often by significant margins.


title: Robust multigrid methods for nearly incompressible elasticity using macro elements

abstract: We present a mesh-independent and parameter-robust multigrid solver for the Scott-Vogelius discretisation of the nearly incompressible linear elasticity equations on meshes with a macro element structure. The discretisation achieves exact representation of the limiting divergence constraint at moderate polynomial degree. Both the relaxation and multigrid transfer operators exploit the macro structure for robustness and efficiency. For the relaxation, we use the existence of local Fortin operators on each macro cell to construct a local space decomposition with parameter-robust convergence. For the transfer, we construct a robust prolongation operator by performing small local solves over each coarse macro cell. The necessity of both components of the algorithm is confirmed by numerical experiments.


title: Which convex polyhedra can be made by gluing regular hexagons?

abstract: Which convex 3D polyhedra can be obtained by gluing several regular hexagons edge-to-edge? It turns out that there are only 15 possible types of shapes, 5 of which are doubly-covered 2D polygons. We give examples for most of them, including all simplicial and all flat shapes, and give a characterization for the latter ones. It is open whether the remaining can be realized.


title: On hereditarily self-similar $p$-adic analytic pro-$p$ groups

abstract: A non-trivial finitely generated pro-$p$ group $G$ is said to be strongly hereditarily self-similar of index $p$ if every non-trivial finitely generated closed subgroup of $G$ admits a faithful self-similar action on a $p$-ary tree. We classify the solvable torsion-free $p$-adic analytic pro-$p$ groups of dimension less than $p$ that are strongly hereditarily self-similar of index $p$. Moreover, we show that a solvable torsion-free $p$-adic analytic pro-$p$ group of dimension less than $p$ is strongly hereditarily self-similar of index $p$ if and only if it is isomorphic to the maximal pro-$p$ Galois group of some field that contains a primitive $p$-th root of unity. As a key step for the proof of the above results, we classify the 3-dimensional solvable torsion-free $p$-adic analytic pro-$p$ groups that admit a faithful self-similar action on a $p$-ary tree, completing the classification of the 3-dimensional torsion-free $p$-adic analytic pro-$p$ groups that admit such actions.


title: Robust Boosting for Regression Problems

abstract: Gradient boosting algorithms construct a regression predictor using a linear combination of ``base learners''. Boosting also offers an approach to obtaining robust non-parametric regression estimators that are scalable to applications with many explanatory variables. The robust boosting algorithm is based on a two-stage approach, similar to what is done for robust linear regression: it first minimizes a robust residual scale estimator, and then improves it by optimizing a bounded loss function. Unlike previous robust boosting proposals this approach does not require computing an ad-hoc residual scale estimator in each boosting iteration. Since the loss functions involved in this robust boosting algorithm are typically non-convex, a reliable initialization step is required, such as an L1 regression tree, which is also fast to compute. A robust variable importance measure can also be calculated via a permutation procedure. Thorough simulation studies and several data analyses show that, when no atypical observations are present, the robust boosting approach works as well as the standard gradient boosting with a squared loss. Furthermore, when the data contain outliers, the robust boosting estimator outperforms the alternatives in terms of prediction error and variable selection accuracy.


title: A group-theoretic approach to elimination measurements of qubit sequences

abstract: Most measurements are designed to tell you which of several alternatives have occurred, but it is also possible to make measurements that eliminate possibilities and tell you an alternative that did not occur. Measurements of this type have proven useful in quantum foundations and in quantum cryptography. Here we show how group theory can be used to design such measurements. After some general considerations, we focus on the case of measurements on two-qubit states that eliminate one state. We then move on to construct measurements that eliminate two three-qubit states and four four-qubit states. A condition that constrains the construction of elimination measurements is then presented. Finally, in an appendix, we briefly consider the case of elimination measurements with failure probabilities and an elimination measurement on $n$-qubit states.


title: Design of the Inspection Process Using the GitHub Flow in Project Based Learning for Software Engineering and Its Practice

abstract: Project based learning (PBL) for software development (we call it software development PBL) has garnered attention as a practical educational method. A number of studies have reported on the introduction of social coding tools such as GitHub, in software development PBL. In education, it is important to give feedback (advice, error corrections, and so on) to learners, especially in software development PBL because almost all learners tackle practical software development from the viewpoint of technical and managerial aspects for the first time. This study regards inspection that is conducted in general software development activities as an opportunity to provide feedback and proposes the inspection process using the pull request on GitHub. By applying the proposed process to an actual software development PBL, we enable giving feedback to the accurate locations of artifacts the learners created.


title: A diagnosis of explicit symmetry breaking in the tight-binding constructions for symmetry-protected topological systems

abstract: It has been well established that for symmetry protected topological systems, the non-trivial topology prevents a real space representation using exponentially localized Wannier wavefunctions (WFs) in all directions, unless the protecting symmetry is sacrificed as an on-site transformation. This makes it challenging to determine the symmetry of various physical observables represented using such WFs. In this work, we propose a practical method for overcoming such challenges using the Kane-Mele model as a concrete example. We present a systematic procedure for diagnosing the symmetry of any observables, as well as a method for constructing symmetric operators up to arbitrary truncation accuracy.


title: Learning Fine Grained Place Embeddings with Spatial Hierarchy from Human Mobility Trajectories

abstract: Place embeddings generated from human mobility trajectories have become a popular method to understand the functionality of places. Place embeddings with high spatial resolution are desirable for many applications, however, downscaling the spatial resolution deteriorates the quality of embeddings due to data sparsity, especially in less populated areas. We address this issue by proposing a method that generates fine grained place embeddings, which leverages spatial hierarchical information according to the local density of observed data points. The effectiveness of our fine grained place embeddings are compared to baseline methods via next place prediction tasks using real world trajectory data from 3 cities in Japan. In addition, we demonstrate the value of our fine grained place embeddings for land use classification applications. We believe that our technique of incorporating spatial hierarchical information can complement and reinforce various place embedding generating methods.


title: Ternary arithmetic, factorization, and the class number one problem

abstract: Ordinary binary multiplication of natural numbers can be generalized in a non-trivial way to a ternary operation by considering discrete volumes of lattice hexagons. With this operation, a natural notion of `3-primality' -- primality with respect to ternary multiplication -- is defined, and it turns out that there are very few 3-primes. They correspond to imaginary quadratic fields $\mathbb{Q}(\sqrt{-n})$, $n>0$, with odd discriminant and whose ring of integers admits unique factorization. We also describe how to determine representations of numbers as ternary products and related algorithms for usual primality testing and integer factorization.


title: Reinforcement Learning-based Fast Charging Control Strategy for Li-ion Batteries

abstract: One of the most crucial challenges faced by the Li-ion battery community concerns the search for the minimum time charging without irreversibly damaging the cells. This can fall into solving large-scale nonlinear optimal control problems according to a battery model. Within this context, several model-based techniques have been proposed in the literature.However, the effectiveness of such strategies is significantly limited by model complexity and uncertainty. Additionally, it is difficult to track parameters related to aging and re-tune the model-based control policy. With the aim of overcoming these limitations, in this paper we propose a fast-charging strategy subject to safety constraints which relies on a model-free reinforcement learning framework. In particular, we focus on the policy gradient-based actor-critic algorithm, i.e., deep deterministic policy gradient (DDPG), in order to deal with continuous sets of actions and sets. The validity of the proposal is assessed in simulation when a reduced electrochemical model is considered as the real plant. Finally, the online adaptability of the proposed strategy in response to variations of the environment parameters is highlighted with consideration of state reduction.


title: Mitigating Query-Flooding Parameter Duplication Attack on Regression Models with High-Dimensional Gaussian Mechanism

abstract: Public intelligent services enabled by machine learning algorithms are vulnerable to model extraction attacks that can steal confidential information of the learning models through public queries. Differential privacy (DP) has been considered a promising technique to mitigate this attack. However, we find that the vulnerability persists when regression models are being protected by current DP solutions. We show that the adversary can launch a query-flooding parameter duplication (QPD) attack to infer the model information by repeated queries. To defend against the QPD attack on logistic and linear regression models, we propose a novel High-Dimensional Gaussian (HDG) mechanism to prevent unauthorized information disclosure without interrupting the intended services. In contrast to prior work, the proposed HDG mechanism will dynamically generate the privacy budget and random noise for different queries and their results to enhance the obfuscation. Besides, for the first time, HDG enables an optimal privacy budget allocation that automatically determines the minimum amount of noise to be added per user-desired privacy level on each dimension. We comprehensively evaluate the performance of HDG using real-world datasets and shows that HDG effectively mitigates the QPD attack while satisfying the privacy requirements. We also prepare to open-source the relevant codes to the community for further research.


title: Chip-scale Full-Stokes Spectropolarimeter in Silicon Photonic Circuits

abstract: Wavelength-dependent polarization state of light carries crucial information about light-matter interactions. However, its measurement is limited to bulky, energy-consuming devices, which prohibits many modern, portable applications. Here, we propose and demonstrate a chip-scale spectropolarimeter implemented using a CMOS-compatible silicon photonics technology. Four compact Vernier microresonator spectrometers are monolithically integrated with a broadband polarimeter consisting of a 2D nanophotonic antenna and a polarimetric circuit to achieve full-Stokes spectropolarimetric analysis. The proposed device offers a solid-state spectropolarimetry solution with a small footprint of 1*0.6 mm2 and low power consumption of 360 mW}. Full-Stokes spectral detection across a broad spectral range of 50 nm with a resolution of 1~nm is demonstrated in characterizing a material possessing structural chirality. The proposed device may enable a broader application of spectropolarimetry in the fields ranging from biomedical diagnostics and chemical analysis to observational astronomy.


title: Residual-Recursion Autoencoder for Shape Illustration Images

abstract: Shape illustration images (SIIs) are common and important in describing the cross-sections of industrial products. Same as MNIST, the handwritten digit images, SIIs are gray or binary and containing shapes that are surrounded by large areas of blanks. In this work, Residual-Recursion Autoencoder (RRAE) has been proposed to extract low-dimensional features from SIIs while maintaining reconstruction accuracy as high as possible. RRAE will try to reconstruct the original image several times and recursively fill the latest residual image to the reserved channel of the encoder's input before the next trial of reconstruction. As a kind of neural network training framework, RRAE can wrap over other autoencoders and increase their performance. From experiment results, the reconstruction loss is decreased by 86.47% for convolutional autoencoder with high-resolution SIIs, 10.77% for variational autoencoder and 8.06% for conditional variational autoencoder with MNIST.


title: No-Regret Prediction in Marginally Stable Systems

abstract: We consider the problem of online prediction in a marginally stable linear dynamical system subject to bounded adversarial or (non-isotropic) stochastic perturbations. This poses two challenges. Firstly, the system is in general unidentifiable, so recent and classical results on parameter recovery do not apply. Secondly, because we allow the system to be marginally stable, the state can grow polynomially with time; this causes standard regret bounds in online convex optimization to be vacuous. In spite of these challenges, we show that the online least-squares algorithm achieves sublinear regret (improvable to polylogarithmic in the stochastic setting), with polynomial dependence on the system's parameters. This requires a refined regret analysis, including a structural lemma showing the current state of the system to be a small linear combination of past states, even if the state grows polynomially. By applying our techniques to learning an autoregressive filter, we also achieve logarithmic regret in the partially observed setting under Gaussian noise, with polynomial dependence on the memory of the associated Kalman filter.


title: Source separation with weakly labelled data: An approach to computational auditory scene analysis

abstract: Source separation is the task to separate an audio recording into individual sound sources. Source separation is fundamental for computational auditory scene analysis. Previous work on source separation has focused on separating particular sound classes such as speech and music. Many of previous work require mixture and clean source pairs for training. In this work, we propose a source separation framework trained with weakly labelled data. Weakly labelled data only contains the tags of an audio clip, without the occurrence time of sound events. We first train a sound event detection system with AudioSet. The trained sound event detection system is used to detect segments that are mostly like to contain a target sound event. Then a regression is learnt from a mixture of two randomly selected segments to a target segment conditioned on the audio tagging prediction of the target segment. Our proposed system can separate 527 kinds of sound classes from AudioSet within a single system. A U-Net is adopted for the separation system and achieves an average SDR of 5.67 dB over 527 sound classes in AudioSet.


title: Hagedorn Temperature in Large $N$ Majorana Quantum Mechanics

abstract: We discuss two types of quantum mechanical models that couple large numbers of Majorana fermions and have orthogonal symmetry groups. In models of vector type, only one of the symmetry groups has a large rank. The large $N$ limit is taken keeping $gN=\lambda$ fixed, where $g$ multiplies the quartic Hamiltonian. We introduce a simple model with $O(N)\times SO(4)$ symmetry, whose energies are expressed in terms of the quadratic Casimirs of the symmetry groups. This model may be deformed so that the symmetry is $O(N)\times O(2)^2$, and the Hamiltonian reduces to that studied in arXiv:1802.10263. We find analytic expressions for the large $N$ density of states and free energy. In both vector models, the large $N$ density of states varies approximately as $e^{-|E|/\lambda}$ for a wide range of energies. This gives rise to critical behavior as the temperature approaches the Hagedorn temperature $T_{\rm H} = \lambda$. In the formal large $N$ limit, the specific heat blows up as $(T_H- T)^{-2}$, which implies that $T_H$ is the limiting temperature. However, at any finite $N$, it is possible to reach arbitrarily large temperatures. Thus, the finite $N$ effects smooth out the Hagedorn transition. We also study models of matrix type, which have two $O(N)$ symmetry groups with large rank. An example is provided by the Majorana matrix model with $O(N)^2\times O(2)$ symmetry, which was studied in arXiv:1802.10263. In contrast with the vector models, the density of states is smooth and nearly Gaussian near the middle of the spectrum.


title: Restrictions on Weil polynomials of Jacobians of hyperelliptic curves

abstract: Inspired by experimental data, this paper investigates which isogeny classes of abelian varieties defined over a finite field of odd characteristic contain the Jacobian of a hyperelliptic curve. We provide a necessary condition by demonstrating that the Weil polynomial of a hyperelliptic Jacobian must have a particular form modulo 2. For fixed ${g\geq1}$, the proportion of isogeny classes of $g$ dimensional abelian varieties defined over $\mathbb{F}_q$ which fail this condition is $1 - Q(2g + 2)/2^g$ as $q\to\infty$ ranges over odd prime powers, where $Q(n)$ denotes the number of partitions of $n$ into odd parts.


title: A Feedback Shift Correction in Predicting Conversion Rates under Delayed Feedback

abstract: In display advertising, predicting the conversion rate, that is, the probability that a user takes a predefined action on an advertiser's website, such as purchasing goods is fundamental in estimating the value of displaying the advertisement. However, there is a relatively long time delay between a click and its resultant conversion. Because of the delayed feedback, some positive instances at the training period are labeled as negative because some conversions have not yet occurred when training data are gathered. As a result, the conditional label distributions differ between the training data and the production environment. This situation is referred to as a feedback shift. We address this problem by using an importance weight approach typically used for covariate shift correction. We prove its consistency for the feedback shift. Results in both offline and online experiments show that our proposed method outperforms the existing method.


title: Newton polyhedra and good compactification theorem

abstract: A new transparent proof of the well known good compactification theorem for the complex torus $(\Bbb C^*)^n$ is presented. This theorem provides a powerful tool in enumerative geometry for subvarieties in the complex torus. The paper also contains an algorithm constructing a good compactification for a subvariety in $(\Bbb C^*)^n$ explicitly defined by a system of equations. A new theorem on a torodoidal like compactification is stated. A transparent proof of this generalization of the good compactification theorem which is similar to proofs and constructions from this paper will be presented in a forthcoming publication.


title: Understanding Car-Speak: Replacing Humans in Dealerships

abstract: A large portion of the car-buying experience in the United States involves interactions at a car dealership. At the dealership, the car-buyer relays their needs to a sales representative. However, most car-buyers are only have an abstract description of the vehicle they need. Therefore, they are only able to describe their ideal car in "car-speak". Car-speak is abstract language that pertains to a car's physical attributes. In this paper, we define car-speak. We also aim to curate a reasonable data set of car-speak language. Finally, we train several classifiers in order to classify car-speak.


title: Finite Hilbert Transform in Weighted L2 Spaces

abstract: Several new properties of weighted Hilbert transform are obtained. If mu is zero, two Plancherel-like equations and the isotropic properties are derived. For mu is real number, a coerciveness is derived and two iterative sequences are constructed to find the inversion. The proposed iterative sequences are applicable to the case of pure imaginary constant mu=i*eta with |eta|<pi/4 . For mu=0.0 and 3.0 , we present the computer simulation results by using the Chebyshev series representation of finite Hilbert transform. The results in this paper are useful to the half scan in several imaging applications.


title: Fast FPGA emulation of analog dynamics in digitally-driven systems

abstract: In this paper, we propose an architecture for FPGA emulation of mixed-signal systems that achieves high accuracy at a high throughput. We represent the analog output of a block as a superposition of step responses to changes in its analog input, and the output is evaluated only when needed by the digital subsystem. Our architecture is therefore intended for digitally-driven systems; that is, those in which the inputs of analog dynamical blocks change only on digital clock edges. We implemented a high-speed link transceiver design using the proposed architecture on a Xilinx FPGA. This design demonstrates how our approach breaks the link between simulation rate and time resolution that is characteristic of prior approaches. The emulator is flexible, allowing for the real-time adjustment of analog dynamics, clock jitter, and various design parameters. We demonstrate that our architecture achieves 1% accuracy while running 3 orders of magnitude faster than a comparable high-performance CPU simulation.


title: Truncated Hilbert Transform: Uniqueness and a Chebyshev series Expansion Approach

abstract: We derive a stronger uniqueness result if a function with compact support and its truncated Hilbert transform are known on the same interval by using the Sokhotski-Plemelj formulas. To find a function from its truncated Hilbert transform, we express them in the Chebyshev polynomial series and then suggest two methods to numerically estimate the coefficients. We present computer simulation results to show that the extrapolative procedure numerically works well.


title: Energy-aware Demand Selection and Allocation for Real-time IoT Data Trading

abstract: Personal IoT data is a new economic asset that individuals can trade to generate revenue on the emerging data marketplaces. Typically, marketplaces are centralized systems that raise concerns of privacy, single point of failure, little transparency and involve trusted intermediaries to be fair. Furthermore, the battery-operated IoT devices limit the amount of IoT data to be traded in real-time that affects buyer/seller satisfaction and hence, impacting the sustainability and usability of such a marketplace. This work proposes to utilize blockchain technology to realize a trusted and transparent decentralized marketplace for contract compliance for trading IoT data streams generated by battery-operated IoT devices in real-time. The contribution of this paper is two-fold: (1) we propose an autonomous blockchain-based marketplace equipped with essential functionalities such as agreement framework, pricing model and rating mechanism to create an effective marketplace framework without involving a mediator, (2) we propose a mechanism for selection and allocation of buyers' demands on seller's devices under quality and battery constraints. We present a proof-of-concept implementation in Ethereum to demonstrate the feasibility of the framework. We investigated the impact of buyer's demand on the battery drainage of the IoT devices under different scenarios through extensive simulations. Our results show that this approach is viable and benefits the seller and buyer for creating a sustainable marketplace model for trading IoT data in real-time from battery-powered IoT devices.


title: MAC Protocol Design Optimization Using Deep Learning

abstract: Deep learning (DL)-based solutions have recently been developed for communication protocol design. Such learning-based solutions can avoid manual efforts to tune individual protocol parameters. While these solutions look promising, they are hard to interpret due to the black-box nature of the ML techniques. To this end, we propose a novel DRL-based framework to systematically design and evaluate networking protocols. While other proposed ML-based methods mainly focus on tuning individual protocol parameters (e.g., adjusting contention window), our main contribution is to decouple a protocol into a set of parametric modules, each representing a main protocol functionality and is used as DRL input to better understand the generated protocols design optimization and analyze them in a systematic fashion. As a case study, we introduce and evaluate DeepMAC a framework in which a MAC protocol is decoupled into a set of blocks across popular flavors of 802.11 WLANs (e.g., 802.11a/b/g/n/ac). We are interested to see what blocks are selected by DeepMAC across different networking scenarios and whether DeepMAC is able to adapt to network dynamics.


title: Equivariant K-theory and tangent spaces to Schubert varieties

abstract: Tangent spaces to Schubert varieties of type A were characterized by Lakshmibai and Seshadri. This result was extended to the other classical types by Lakshmibai. We give a uniform characterization of tangent spaces to Schubert varieties in cominuscule G/P. Our results extend beyond cominuscule G/P; they describe the tangent space to any Schubert variety in G/B at a point xB, where x is a cominuscule Weyl group element in the sense of Peterson. Our results also give partial information about the tangent space to any Schubert variety at any point. Our method is to describe the tangent spaces of Kazhdan-Lusztig varieties, and then recover results for Schubert varieties. Our proof uses a relationship between weights of the tangent space of a variety with torus action, and factors of the class of the variety in torus equivariant K-theory. The proof relies on a formula for Schubert classes in equivariant K-theory due to Graham and Willems, as well as a theorem on subword complexes due to Knutson and Miller.


title: Gaze Preserving CycleGANs for Eyeglass Removal & Persistent Gaze Estimation

abstract: A driver's gaze is critical for determining their attention, state, situational awareness, and readiness to take over control from partially automated vehicles. Estimating the gaze direction is the most obvious way to gauge a driver's state under ideal conditions when limited to using non-intrusive imaging sensors. Unfortunately, the vehicular environment introduces a variety of challenges that are usually unaccounted for - harsh illumination, nighttime conditions, and reflective eyeglasses. Relying on head pose alone under such conditions can prove to be unreliable and erroneous. In this study, we offer solutions to address these problems encountered in the real world. To solve issues with lighting, we demonstrate that using an infrared camera with suitable equalization and normalization suffices. To handle eyeglasses and their corresponding artifacts, we adopt image-to-image translation using generative adversarial networks to pre-process images prior to gaze estimation. Our proposed Gaze Preserving CycleGAN (GPCycleGAN) is trained to preserve the driver's gaze while removing potential eyeglasses from face images. GPCycleGAN is based on the well-known CycleGAN approach - with the addition of a gaze classifier and a gaze consistency loss for additional supervision. Our approach exhibits improved performance, interpretability, robustness and superior qualitative results on challenging real-world datasets.


title: On Geometry of Information Flow for Causal Inference

abstract: Causal inference is perhaps one of the most fundamental concepts in science, beginning originally from the works of some of the ancient philosophers, through today, but also weaved strongly in current work from statisticians, machine learning experts, and scientists from many other fields. This paper takes the perspective of information flow, which includes the Nobel prize winning work on Granger-causality, and the recently highly popular transfer entropy, these being probabilistic in nature. Our main contribution will be to develop analysis tools that will allow a geometric interpretation of information flow as a causal inference indicated by positive transfer entropy. We will describe the effective dimensionality of an underlying manifold as projected into the outcome space that summarizes information flow. Therefore contrasting the probabilistic and geometric perspectives, we will introduce a new measure of causal inference based on the fractal correlation dimension conditionally applied to competing explanations of future forecasts, which we will write $GeoC_{y\rightarrow x}$. This avoids some of the boundedness issues that we show exist for the transfer entropy, $T_{y\rightarrow x}$. We will highlight our discussions with data developed from synthetic models of successively more complex nature: then include the H\'{e}non map example, and finally a real physiological example relating breathing and heart rate function. Keywords: Causal Inference; Transfer Entropy; Differential Entropy; Correlation Dimension; Pinsker's Inequality; Frobenius-Perron operator.


title: Forensic Scanner Identification Using Machine Learning

abstract: Due to the increasing availability and functionality of image editing tools, many forensic techniques such as digital image authentication, source identification and tamper detection are important for forensic image analysis. In this paper, we describe a machine learning based system to address the forensic analysis of scanner devices. The proposed system uses deep-learning to automatically learn the intrinsic features from various scanned images. Our experimental results show that high accuracy can be achieved for source scanner identification. The proposed system can also generate a reliability map that indicates the manipulated regions in an scanned image.


title: Temporal-adaptive Hierarchical Reinforcement Learning

abstract: Hierarchical reinforcement learning (HRL) helps address large-scale and sparse reward issues in reinforcement learning. In HRL, the policy model has an inner representation structured in levels. With this structure, the reinforcement learning task is expected to be decomposed into corresponding levels with sub-tasks, and thus the learning can be more efficient. In HRL, although it is intuitive that a high-level policy only needs to make macro decisions in a low frequency, the exact frequency is hard to be simply determined. Previous HRL approaches often employed a fixed-time skip strategy or learn a terminal condition without taking account of the context, which, however, not only requires manual adjustments but also sacrifices some decision granularity. In this paper, we propose the \emph{temporal-adaptive hierarchical policy learning} (TEMPLE) structure, which uses a temporal gate to adaptively control the high-level policy decision frequency. We train the TEMPLE structure with PPO and test its performance in a range of environments including 2-D rooms, Mujoco tasks, and Atari games. The results show that the TEMPLE structure can lead to improved performance in these environments with a sequential adaptive high-level control.


title: Minimax Value Interval for Off-Policy Evaluation and Policy Optimization

abstract: We study minimax methods for off-policy evaluation (OPE) using value functions and marginalized importance weights. Despite that they hold promises of overcoming the exponential variance in traditional importance sampling, several key problems remain: (1) They require function approximation and are generally biased. For the sake of trustworthy OPE, is there anyway to quantify the biases? (2) They are split into two styles ("weight-learning" vs "value-learning"). Can we unify them? In this paper we answer both questions positively. By slightly altering the derivation of previous methods (one from each style; Uehara et al., 2020), we unify them into a single value interval that comes with a special type of double robustness: when either the value-function or the importance-weight class is well specified, the interval is valid and its length quantifies the misspecification of the other class. Our interval also provides a unified view of and new insights to some recent methods, and we further explore the implications of our results on exploration and exploitation in off-policy policy optimization with insufficient data coverage.


title: Comparison of Decentralization in DPoS and PoW Blockchains

abstract: Decentralization is a key indicator for the evaluation of public blockchains. In the past, there have been very few studies on measuring and comparing the actual level of decentralization between Proof-of-Work (PoW) blockchains and blockchains with other consensus protocols. This paper presents a new comparison study of the level of decentralization in Bitcoin and Steem, a prominent Delegated-Proof-of-Stake (DPoS) blockchain. Our study particularly focuses on analysing the power that decides the creators of blocks in the blockchain. In Bitcoin, miners with higher computational power generate more blocks. In contrast, blocks in Steem are equally generated by witnesses while witnesses are periodically elected by stakeholders with different voting power weighted by invested stake. We analyze the process of stake-weighted election of witnesses in DPoS and measure the actual stake invested by each stakeholder in Steem. We then compute the Shannon entropy of the distribution of computational power among miners in Bitcoin and the distribution of invested stake among stakeholders in Steem. Our analyses reveal that neither Bitcoin nor Steem is dominantly better than the other with respect to decentralization. Compared with Steem, Bitcoin tends to be more decentralized among top miners but less decentralized in general. Our study is designed to provide insights into the current state of the degree of decentralization in DPoS and PoW blockchains. We believe that the methodologies and findings in this paper can facilitate future studies of decentralization in other blockchain systems employing different consensus protocols.


title: Strong cosmic censorship in the BTZ black hole

abstract: Recently it has been shown that quantum fields can be regular on the inner, Cauchy horizon of a rotating BTZ black hole, which appears to indicate a failure of strong cosmic censorship. We argue that, instead, what these results imply is that the inner horizon remains non-singular when leading-order backreaction of the quantum fields is computed, but, after next-order backreaction is accounted for, it will become singular. Then, strong cosmic censorship will be enforced in the BTZ black hole. We support our claims using a four-dimensional holographic dual of the system, which connects the instability of the inner horizon of the BTZ black hole to that of Kerr-type black holes.