title: Large-Scale Spectrum Allocation for Cellular Networks via Sparse Optimization

abstract: This paper studies joint spectrum allocation and user association in large heterogeneous cellular networks. The objective is to maximize some network utility function based on given traffic statistics collected over a slow timescale, conceived to be seconds to minutes. A key challenge is scalability: interference across cells creates dependencies across the entire network, making the optimization problem computationally challenging as the size of the network becomes large. A suboptimal solution is presented, which performs well in networks consisting of one hundred access points (APs) serving several hundred user devices. This is achieved by optimizing over local overlapping neighborhoods, defined by interference conditions, and by exploiting the sparsity of a globally optimal solution. Specifically, with a total of $k$ user devices in the entire network, it suffices to divide the spectrum into $k$ segments, where each segment is mapped to a particular set, or pattern, of active APs within each local neighborhood. The problem is then to find a mapping of segments to patterns, and to optimize the widths of the segments. A convex relaxation is proposed for this, which relies on a re-weighted $\ell_1$ approximation of an $\ell_0$ constraint, and is used to enforce the mapping of a unique pattern to each spectrum segment. A distributed implementation based on alternating direction method of multipliers (ADMM) is also proposed. Numerical comparisons with benchmark schemes show that the proposed method achieves a substantial increase in achievable throughput and/or reduction in the average packet delay.


title: Probabilism for Stochastic Theories

abstract: I defend an analog of probabilism that characterizes rationally coherent estimates for chances. Specifically, I demonstrate the following accuracy-dominance result for stochastic theories in the C*-algebraic framework: supposing an assignment of chance values is possible if and only if it is given by a pure state on a given algebra, your estimates for chances avoid accuracy-dominance if and only if they are given by a state on that algebra. When your estimates avoid accuracy-dominance (roughly: when you cannot guarantee that other estimates would be more accurate), I say that they are sufficiently coherent. In formal epistemology and quantum foundations, the notion of rational coherence that gets more attention requires that you never allow for a sure loss (or 'Dutch book') in a given sort of betting game; I call this notion full coherence. I characterize when these two notions of rational coherence align, and I show that there is a quantum state giving estimates that are sufficiently coherent, but not fully coherent.


title: SEGA: Variance Reduction via Gradient Sketching

abstract: We propose a randomized first order optimization method--SEGA (SkEtched GrAdient method)-- which progressively throughout its iterations builds a variance-reduced estimate of the gradient from random linear measurements (sketches) of the gradient obtained from an oracle. In each iteration, SEGA updates the current estimate of the gradient through a sketch-and-project operation using the information provided by the latest sketch, and this is subsequently used to compute an unbiased estimate of the true gradient through a random relaxation procedure. This unbiased estimate is then used to perform a gradient step. Unlike standard subspace descent methods, such as coordinate descent, SEGA can be used for optimization problems with a non-separable proximal term. We provide a general convergence analysis and prove linear convergence for strongly convex objectives. In the special case of coordinate sketches, SEGA can be enhanced with various techniques such as importance sampling, minibatching and acceleration, and its rate is up to a small constant factor identical to the best-known rate of coordinate descent.


title: LDW-SCSA: Logistic Dynamic Weight based Sine Cosine Search Algorithm for Numerical Functions Optimization

abstract: Particle swarm optimization (PSO) and Sine Cosine algorithm (SCA) have been widely used optimization methods but these methods have some disadvantages such as trapped local optimum point. In order to solve this problem and obtain more successful results than others, a novel logistic dynamic weight based sine cosine search algorithm (LDW-SCSA) is presented in this paper. In the LDW-SCSA method, logistic map is used as dynamic weight generator. Logistic map is one of the famous and widely used chaotic map in the literature. Search process of SCA is modified in the LDW-SCSA. To evaluate performance of the LDW-SCSA, the widely used numerical benchmark functions were utilized as test suite and other swarm optimization methods were used to obtain the comparison results. Superior performances of the LDW-SCSA are proved success of this method.


title: SHOMA at Parseme Shared Task on Automatic Identification of VMWEs: Neural Multiword Expression Tagging with High Generalisation

abstract: This paper presents a language-independent deep learning architecture adapted to the task of multiword expression (MWE) identification. We employ a neural architecture comprising of convolutional and recurrent layers with the addition of an optional CRF layer at the top. This system participated in the open track of the Parseme shared task on automatic identification of verbal MWEs due to the use of pre-trained wikipedia word embeddings. It outperformed all participating systems in both open and closed tracks with the overall macro-average MWE-based F1 score of 58.09 averaged among all languages. A particular strength of the system is its superior performance on unseen data entries.


title: Variance Reduction in Monte Carlo Counterfactual Regret Minimization (VR-MCCFR) for Extensive Form Games using Baselines

abstract: Learning strategies for imperfect information games from samples of interaction is a challenging problem. A common method for this setting, Monte Carlo Counterfactual Regret Minimization (MCCFR), can have slow long-term convergence rates due to high variance. In this paper, we introduce a variance reduction technique (VR-MCCFR) that applies to any sampling variant of MCCFR. Using this technique, per-iteration estimated values and updates are reformulated as a function of sampled values and state-action baselines, similar to their use in policy gradient reinforcement learning. The new formulation allows estimates to be bootstrapped from other estimates within the same episode, propagating the benefits of baselines along the sampled trajectory; the estimates remain unbiased even when bootstrapping from other estimates. Finally, we show that given a perfect baseline, the variance of the value estimates can be reduced to zero. Experimental evaluation shows that VR-MCCFR brings an order of magnitude speedup, while the empirical variance decreases by three orders of magnitude. The decreased variance allows for the first time CFR+ to be used with sampling, increasing the speedup to two orders of magnitude.


title: The NANOGrav 12.5-Year Data Set: The Frequency Dependence of Pulse Jitter in Precision Millisecond Pulsars

abstract: Low-frequency gravitational-wave experiments require the highest timing precision from an array of the most stable millisecond pulsars. Several known sources of noise on short timescales in single radio-pulsar observations are well described by a simple model of three components: template-fitting from a finite signal-to-noise ratio, pulse phase/amplitude jitter from single-pulse stochasticity, and scintillation errors from short-timescale interstellar scattering variations. Currently template-fitting errors dominate, but as radio telescopes push towards higher signal-to-noise ratios, jitter becomes the next dominant term for most millisecond pulsars. Understanding the statistics of jitter becomes crucial for properly characterizing arrival-time uncertainties. We characterize the radio-frequency dependence of jitter using data on 48 pulsars in the North American Nanohertz Observatory for Gravitational Waves (NANOGrav) timing program. We detect significant jitter in 43 of the pulsars and test several functional forms for its frequency dependence; we find significant frequency dependence for 30 pulsars. We find moderate correlations of rms jitter with pulse width (R = 0.62) and number of profile components (R = 0.40); the single-pulse rms jitter is typically ~1% of pulse phase. The average frequency dependence for all pulsars using a power-law model has index -0.42. We investigate the jitter variations for the interpulse of PSR~B1937+21 and find no significant deviations from the main pulse rms jitter. We also test the time-variation of jitter in two pulsars and find that systematics likely bias the results for high-precision pulsars. Pulsar timing array analyses must properly model jitter as a significant component of the noise within the detector.


title: Correspondence scrolls

abstract: This paper initiates the study of a class of schemes that we call correspondence scrolls, which includes the rational normal scrolls and linearly embedded projective bundle of decomposable bundles, as well as degenerate K3 surfaces, Calabi-Yau 3-folds, and many other examples.


title: Active Inverse Reward Design

abstract: Designers of AI agents often iterate on the reward function in a trial-and-error process until they get the desired behavior, but this only guarantees good behavior in the training environment. We propose structuring this process as a series of queries asking the user to compare between different reward functions. Thus we can actively select queries for maximum informativeness about the true reward. In contrast to approaches asking the designer for optimal behavior, this allows us to gather additional information by eliciting preferences between suboptimal behaviors. After each query, we need to update the posterior over the true reward function from observing the proxy reward function chosen by the designer. The recently proposed Inverse Reward Design (IRD) enables this. Our approach substantially outperforms IRD in test environments. In particular, it can query the designer about interpretable, linear reward functions and still infer non-linear ones.


title: Division by 2 on odd degree hyperelliptic curves and their jacobians

abstract: Let $K$ be an algebraically closed field of characteristic different from 2, $g$ a positive integer, $f(x)$ a degree $(2g+1)$ polynomial with coefficients in $K$ and without multiple roots, $C:y^2=f(x)$ the corresponding genus $g$ hyperelliptic curve over K, and $J$ the jacobian of $C$. We identify $C$ with the image of its canonical embedding into $J$ (the infinite point of $C$ goes to the identity element of $J$). It is well known that for each $\mathfrak{b} \in J(K)$ there are exactly $2^{2g}$ elements $\mathfrak{a} \in J(K)$ such that $2\mathfrak{a}=\mathfrak{b}$. M. Stoll constructed an algorithm that provides Mumford representations of all such $\mathfrak{a}$, in terms of the Mumford representation of $\mathfrak{b}$. The aim of this paper is to give explicit formulas for Mumford representations of all such $\mathfrak{a}$, when $\mathfrak{b}\in J(K)$ is given by $P=(a,b) \in C(K)\subset J(K)$ in terms of coordinates $a,b$. We also prove that if $g>1$ then $C(K)$ does not contain torsion points with order between $3$ and $2g$.


title: Analysis of the Generalization Error: Empirical Risk Minimization over Deep Artificial Neural Networks Overcomes the Curse of Dimensionality in the Numerical Approximation of Black-Scholes Partial Differential Equations

abstract: The development of new classification and regression algorithms based on empirical risk minimization (ERM) over deep neural network hypothesis classes, coined deep learning, revolutionized the area of artificial intelligence, machine learning, and data analysis. In particular, these methods have been applied to the numerical solution of high-dimensional partial differential equations with great success. Recent simulations indicate that deep learning-based algorithms are capable of overcoming the curse of dimensionality for the numerical solution of Kolmogorov equations, which are widely used in models from engineering, finance, and the natural sciences. The present paper considers under which conditions ERM over a deep neural network hypothesis class approximates the solution of a $d$-dimensional Kolmogorov equation with affine drift and diffusion coefficients and typical initial values arising from problems in computational finance up to error $\varepsilon$. We establish that, with high probability over draws of training samples, such an approximation can be achieved with both the size of the hypothesis class and the number of training samples scaling only polynomially in $d$ and $\varepsilon^{-1}$. It can be concluded that ERM over deep neural network hypothesis classes overcomes the curse of dimensionality for the numerical solution of linear Kolmogorov equations with affine coefficients.


title: The Curse of Concentration in Robust Learning: Evasion and Poisoning Attacks from Concentration of Measure

abstract: Many modern machine learning classifiers are shown to be vulnerable to adversarial perturbations of the instances. Despite a massive amount of work focusing on making classifiers robust, the task seems quite challenging. In this work, through a theoretical study, we investigate the adversarial risk and robustness of classifiers and draw a connection to the well-known phenomenon of concentration of measure in metric measure spaces. We show that if the metric probability space of the test instance is concentrated, any classifier with some initial constant error is inherently vulnerable to adversarial perturbations. One class of concentrated metric probability spaces are the so-called Levy families that include many natural distributions. In this special case, our attacks only need to perturb the test instance by at most $O(\sqrt n)$ to make it misclassified, where $n$ is the data dimension. Using our general result about Levy instance spaces, we first recover as special case some of the previously proved results about the existence of adversarial examples. However, many more Levy families are known (e.g., product distribution under the Hamming distance) for which we immediately obtain new attacks that find adversarial examples of distance $O(\sqrt n)$. Finally, we show that concentration of measure for product spaces implies the existence of forms of "poisoning" attacks in which the adversary tampers with the training data with the goal of degrading the classifier. In particular, we show that for any learning algorithm that uses $m$ training examples, there is an adversary who can increase the probability of any "bad property" (e.g., failing on a particular test instance) that initially happens with non-negligible probability to $\approx 1$ by substituting only $\tilde{O}(\sqrt m)$ of the examples with other (still correctly labeled) examples.


title: Size-waiting-time correlations in pulsar glitches

abstract: Few statistically compelling correlations are found in pulsar timing data between the size of a rotational glitch and the time to the preceding glitch (backward waiting time) or the succeeding glitch (forward waiting time), except for a strong correlation between sizes and forward waiting times in PSR J0537-6910. This situation is counterintuitive, if glitches are threshold-triggered events, as in standard theories (e.g. starquakes, superfluid vortex avalanches). Here it is shown that the lack of correlation emerges naturally, when a threshold trigger is combined with secular stellar braking slower than a critical, calculable rate. The Pearson and Spearman correlation coefficients are computed and interpreted within the framework of a state-dependent Poisson process. Specific, falsifiable predictions are made regarding what objects currently targeted by long-term timing campaigns should develop strong size-waiting-time correlations, as more data are collected in the future.


title: Linear inviscid damping for the $\beta$-plane equation

abstract: In this paper, we study the linear inviscid damping for the linearized $\beta$-plane equation around shear flows. We develop a new method to give the explicit decay rate of the velocity for a class of monotone shear flows. This method is based on the space-time estimate and the vector field method in sprit of the wave equation. For general shear flows including the Sinus flow, we also prove the linear damping by establishing the limiting absorption principle, which is based on the compactness method introduced by Wei-Zhang-Zhao in \cite{WZZ2}. The main difficulty is that the Rayleigh-Kuo equation has more singular points due to the Coriolis effects so that the compactness argument becomes more involved and delicate.


title: Multi-agent online learning in time-varying games

abstract: We examine the long-run behavior of multi-agent online learning in games that evolve over time. Specifically, we focus on a wide class of policies based on mirror descent, and we show that the induced sequence of play (a) converges to Nash equilibrium in time-varying games that stabilize in the long run to a strictly monotone limit; and (b) it stays asymptotically close to the evolving equilibrium of the sequence of stage games (assuming they are strongly monotone). Our results apply to both gradient-based and payoff-based feedback - i.e., the "bandit feedback" case where players only get to observe the payoffs of their chosen actions.


title: A Partial Residue Categorization of the Magic Square of Squares

abstract: It is unknown at present whether a magic square of squared integers exists. Such an object is defined to be a 3 by 3 grid of 9 distinct integer squares, such that the entries of each row, column, and two main diagonals sum to the same total. We give a categorization of the residue of the magic square of squares for primes dividing the central entry. The categorization leads to a magic square of square solution over a finite field and, lastly, some conjectures are made regarding the existence of certain residues.


title: A case for deep learning in semantics

abstract: Pater's target article builds a persuasive case for establishing stronger ties between theoretical linguistics and connectionism (deep learning). This commentary extends his arguments to semantics, focusing in particular on issues of learning, compositionality, and lexical meaning.


title: Mobile Collaborative Spectrum Sensing for Heterogeneous Networks: A Bayesian Machine Learning Approach

abstract: Spectrum sensing in a large-scale heterogeneous network is very challenging as it usually requires a large number of static secondary users (SUs) to obtain the global spectrum states. To tackle this problem, in this paper, we propose a new framework based on Bayesian machine learning. We exploit the mobility of multiple SUs to simultaneously collect spectrum sensing data, and cooperatively derive the global spectrum states. We first develop a novel non-parametric Bayesian learning model, referred to as beta process sticky hidden Markov model (BP-SHMM), to capture the spatial-temporal correlation in the collected spectrum data, where SHMM models the latent statistical correlation within each mobile SU's time series data, while BP realizes the cooperation among multiple SUs. Bayesian inference is then carried out to automatically infer the heterogeneous spectrum states. Based on the inference results, we also develop a new algorithm with a refinement mechanism to predict the spectrum availability, which enables a newly joining SU to immediately access the unoccupied frequency band without sensing. Simulation results show that the proposed framework can significantly improve spectrum sensing performance compared with the existing spectrum sensing techniques.


title: Rectangle Coincidences and Sweepouts

abstract: We prove an integral formula for continuous paths of rectangles inscribed in a piecewise smooth loop. We then use this integral formula to show that (with a very mild genericity hypothesis) the number of rectangle coincidences, informally described as the number of inscribed rectangles minus the number of isometry classes of inscribed rectangles, grows linearly with the number of positively oriented extremal chords -- a.k.a. diameters -- of the polygon


title: Deuterons at LHC: "snowballs in hell" via hydrodynamics and hadronic afterburner

abstract: The deuteron yield in Pb+Pb collisions at $\sqrt{s_{NN}} = 2.76$ TeV is consistent with thermal production at a freeze-out temperature of $T = 155$ MeV. The existence of deuterons with binding energy of 2.2 MeV at this temperature was described as "snowballs in hell". We provide a microscopic explanation of this phenomenon, utilizing relativistic hydrodynamics and switching to a hadronic afterburner at the above mentioned temperature of $T = 155$ MeV. The measured deuteron $p_T$-spectra and coalescence parameter $B_2(p_T)$ are reproduced without free parameters, only by implementing experimentally known cross-sections of deuteron reactions with hadrons, most importantly $\pi d \leftrightarrow \pi n p$.


title: Cryptocurrencies, Mainstream Asset Classes and Risk Factors - A Study of Connectedness

abstract: We investigate connectedness within and across two major groups or assets: i) five popular cryptocurrencies, and ii) six major asset classes plus two commonly employed risk factors. Granger-causality tests uncover six direct channels of causality from the elements of the mainstream assets/risk factors group to digital assets. On the other hand there are two statistically significant causal links going in the other direction. In order to provide some perspective on the magnitude of the uncovered linkages we supplement the analysis by estimating networks from forecast error variance decompositions. The estimated connectedness within the groups is relatively large, whereas the linkages across the two groups are small in comparison. Namely, less than 2.2 percent of future uncertainty of any cryptocurrency is sourced from all non-crypto assets combined, while the joint contribution of all digital assets to non-crypto uncertainty does not exceed 1.5 percent.


title: Sample Complexity of Nonparametric Semi-Supervised Learning

abstract: We study the sample complexity of semi-supervised learning (SSL) and introduce new assumptions based on the mismatch between a mixture model learned from unlabeled data and the true mixture model induced by the (unknown) class conditional distributions. Under these assumptions, we establish an $\Omega(K\log K)$ labeled sample complexity bound without imposing parametric assumptions, where $K$ is the number of classes. Our results suggest that even in nonparametric settings it is possible to learn a near-optimal classifier using only a few labeled samples. Unlike previous theoretical work which focuses on binary classification, we consider general multiclass classification ($K>2$), which requires solving a difficult permutation learning problem. This permutation defines a classifier whose classification error is controlled by the Wasserstein distance between mixing measures, and we provide finite-sample results characterizing the behaviour of the excess risk of this classifier. Finally, we describe three algorithms for computing these estimators based on a connection to bipartite graph matching, and perform experiments to illustrate the superiority of the MLE over the majority vote estimator.


title: Constraining the population of intermediate mass black holes by gamma-ray data of the Fornax cluster

abstract: Recent studies of merging black holes suggest that the cosmological mass fraction of primordial black holes (PBHs) is not completely negligible. The mass of a PBH can be as massive as an intermediate mass black hole (IMBH). In this article, we assume that dark matter particles are thermal relic particles and they can self-annihilate. The dark matter around an IMBH may have formed a density spike so that the rate of dark matter annihilation would be greatly enhanced. Using the gamma-ray data of the Fornax cluster and assuming merging events in the cluster are not important, we show that the amount of IMBHs (including PBHs) is very sub-dominant compared with the amount of baryons and dark matter. The upper limit on the IMBH-to-baryon ratio is $\sim 7\times 10^{-4}$ for $m_{\rm DM} \le 10$ TeV.


title: Online Convex Optimization for Sequential Decision Processes and Extensive-Form Games

abstract: Regret minimization is a powerful tool for solving large-scale extensive-form games. State-of-the-art methods rely on minimizing regret locally at each decision point. In this work we derive a new framework for regret minimization on sequential decision problems and extensive-form games with general compact convex sets at each decision point and general convex losses, as opposed to prior work which has been for simplex decision points and linear losses. We call our framework laminar regret decomposition. It generalizes the CFR algorithm to this more general setting. Furthermore, our framework enables a new proof of CFR even in the known setting, which is derived from a perspective of decomposing polytope regret, thereby leading to an arguably simpler interpretation of the algorithm. Our generalization to convex compact sets and convex losses allows us to develop new algorithms for several problems: regularized sequential decision making, regularized Nash equilibria in extensive-form games, and computing approximate extensive-form perfect equilibria. Our generalization also leads to the first regret-minimization algorithm for computing reduced-normal-form quantal response equilibria based on minimizing local regrets. Experiments show that our framework leads to algorithms that scale at a rate comparable to the fastest variants of counterfactual regret minimization for computing Nash equilibrium, and therefore our approach leads to the first algorithm for computing quantal response equilibria in extremely large games. Finally we show that our framework enables a new kind of scalable opponent exploitation approach.


title: Topological Superconductivity in a Phase-Controlled Josephson Junction

abstract: Topological superconductors can support localized Majorana states at their boundaries. These quasi-particle excitations have non-Abelian statistics that can be used to encode and manipulate quantum information in a topologically protected manner. While signatures of Majorana bound states have been observed in one-dimensional systems, there is an ongoing effort to find alternative platforms that do not require fine-tuning of parameters and can be easily scalable to large numbers of states. Here we present a novel experimental approach towards a two-dimensional architecture. Using a Josephson junction made of HgTe quantum well coupled to thin-film aluminum, we are able to tune between a trivial and a topological superconducting state by controlling the phase difference $\phi$ across the junction and applying an in-plane magnetic field. We determine the topological state of the induced superconductor by measuring the tunneling conductance at the edge of the junction. At low magnetic fields, we observe a minimum in the tunneling spectra near zero bias, consistent with a trivial superconductor. However, as the magnetic field increases, the tunneling conductance develops a zero-bias peak which persists over a range of $\phi$ that expands systematically with increasing magnetic fields. Our observations are consistent with theoretical predictions for this system and with full quantum mechanical numerical simulations performed on model systems with similar dimensions and parameters. Our work establishes this system as a promising platform for realizing topological superconductivity and for creating and manipulating Majorana modes and will therefore open new avenues for probing topological superconducting phases in two-dimensional systems.


title: An Optimization-Based Generative Model of Power Laws Using a New Information Theory Based Metric

abstract: In this paper, we propose an optimization-based mechanism to explain power law distributions, where the function that the optimization process is seeking to optimize is derived mathematically, then the behavior and interpretation of this function are analyzed. The derived function shows some similarity to the entropy function in representing order and randomness; however, it also represents the energy, where the optimization process is seeking to maximize the number of elements at the tail of the distribution constrained by the total amount of the energy. The results show a matching between the output of the optimization process and the power law distribution.


title: Systematics and symmetry in molecular phylogenetic modelling: perspectives from physics

abstract: The aim of this review is to present and analyze the probabilistic models of mathematical phylogenetics which have been intensively used in recent years in biology as the cornerstone of attempts to infer and reconstruct the ancestral relationships between species. We outline the development of theoretical phylogenetics, from the earliest studies based on morphological characters, through to the use of molecular data in a wide variety of forms. We bring the lens of mathematical physics to bear on the formulation of theoretical models, focussing on the applicability of many methods from the toolkit of that tradition -- techniques of groups and representations to guide model specification and to exploit the multilinear setting of the models in the presence of underlying symmetries; extensions to coalgebraic properties of the generators associated to rate matrices underlying the models, in relation to the graphical structures (trees and networks) which form the search space for inferring evolutionary trees. Aspects presented, include relating model classes to relevant matrix Lie algebras, as well as manipulations with group characters to enumerate various natural polynomial invariants, for identifying robust, low-parameter quantities for use in inference. Above all, we wish to emphasize the many features of multipartite entanglement which are shared between descriptions of quantum states on the physics side, and the multi-way tensor probability arrays arising in phylogenetics. In some instances, well-known objects such as the Cayley hyperdeterminant (the `tangle') can be directly imported into the formalism -- for models with binary character traits, and triplets of taxa. In other cases new objects appear, such as the remarkable quintic `squangle' invariants for quartet tree discrimination and DNA data, with their own unique interpretation in the phylogenetic modeling context.


title: Resolvent of the generator of the $C_0$-group with non-basis family of eigenvectors and sharpness of the XYZ theorem

abstract: The paper presents an explicit form of the resolvent for the class of generators of $C_0$-groups with purely imaginary eigenvalues, clustering at $i\infty$, and complete minimal non-basis family of eigenvectors, constructed recently by the authors in~\cite{Sklyar3}. The growth properties of the resolvent are described. The discrete Hardy inequality serves as the cornerstone for the proofs of the corresponding results. Moreover, it is shown that the main result on the Riesz basis property for invariant subspaces of the generator of the $C_0$-group, obtained a decade ago by G.Q.~Xu, S.P.~Yung and H.~Zwart in~\cite{Xu},~\cite{Zwart}, is sharp.


title: Polar Dust, Nuclear Obscuration and IR SED Diversity in Type-1 AGNs

abstract: Despite the hypothesized similar face-on viewing angles, the infrared emission of type-1 AGNs has diverse spectral energy distribution (SED) shapes that deviate substantially from the well-characterized quasar templates. Motivated by the commonly-seen UV-optical obscuration and the discovery of parsec-scale mid-IR polar dust emission in some nearby AGNs, we develop semi-empirical SED libraries for reddened type-1 AGNs built on the quasar intrinsic templates, assuming low-level extinction caused by an extended distribution of large dust grains. We demonstrate that this model can reproduce the nuclear UV-to-IR SED and the strong mid-IR polar dust emission of NGC 3783, the type-1 AGN with the most relevant and robust observational constraints. In addition, we compile 64 low-$z$ Seyfert-1 nuclei with negligible mid-IR star formation contamination and satisfactorily fit the individual IR SEDs as well as the composite UV to mid-IR composite SEDs. Given the success of these fits, we characterize the possible infrared SED of AGN polar dust emission and utilize a simple but effective strategy to infer its prevalence among type-1 AGNs. The SEDs of high-$z$ peculiar AGNs, including the extremely red quasars, mid-IR warm-excess AGNs, and hot dust-obscured galaxies, can be also reproduced by our model. These results indicate that the IR SEDs of most AGNs, regardless of redshift or luminosity, arise from similar circumnuclear torus properties but differ mainly due to the optical depths of extended obscuring dust components.


title: Fluctuation-induced Distributed Resonances in Oscillatory Networks

abstract: Self-organized network dynamics prevails for systems across physics, biology and engineering. How external signals generate distributed responses in networked systems fundamentally underlies their function, yet is far from fully understood. Here we analyze the dynamic response patterns of oscillatory networks to fluctuating input signals. We disentangle the impact of the signal distribution across the network, the signals' frequency contents and the network topology. We analytically derive qualitatively different dynamic response patterns and find three frequency regimes: homogeneous responses at low frequencies, topology-dependent resonances at intermediate frequencies, and localized responses at high frequencies. The theory faithfully predicts the network-wide collective responses to regular and irregular, localized and distributed simulated signals, as well as to real input signals to power grids recorded from renewable-energy supplies. These results not only provide general insights into the formation of dynamic response patterns in networked systems but also suggest regime- and topology-specific design principles underlying network function.


title: Sensitivity of the frog model to initial conditions

abstract: The frog model is an interacting particle system on a graph. Active particles perform independent simple random walks, while sleeping particles remain inert until visited by an active particle. Some number of sleeping particles are placed at each site sampled independently from a certain distribution, and then one particle is activated to begin the process. We show that the recurrence or transience of the model is sensitive not just to the expectation but to the entire distribution. This is in contrast to closely related models like branching random walk and activated random walk.


title: Stabilization of regime-switching processes by feedback control based on discrete time observations II: state-dependent case

abstract: This work investigates the almost sure stabilization of a class of regime-switching systems based on discrete-time observations of both continuous and discrete components. It develops Shao's work [SIAM J. Control Optim., 55(2017), pp. 724--740] in two aspects: first, to provide sufficient conditions for almost sure stability in lieu of moment stability; second, to investigate a class of state-dependent regime-switching processes instead of state-independent ones. To realize these developments, we establish an estimation of the exponential functional of Markov chains based on the spectral theory of linear operator. Moreover, through constructing order-preserving coupling processes based on Skorokhod's representation of jumping process, we realize the control from up and below of the evolution of state-dependent switching process by state-independent Markov chains.


title: Efficient Counterfactual Learning from Bandit Feedback

abstract: What is the most statistically efficient way to do off-policy evaluation and optimization with batch data from bandit feedback? For log data generated by contextual bandit algorithms, we consider offline estimators for the expected reward from a counterfactual policy. Our estimators are shown to have lowest variance in a wide class of estimators, achieving variance reduction relative to standard estimators. We then apply our estimators to improve advertisement design by a major advertisement company. Consistent with the theoretical result, our estimators allow us to improve on the existing bandit algorithm with more statistical confidence compared to a state-of-the-art benchmark.


title: Connected door spaces and topological solutions of equations

abstract: The connected door space is an enigmatic topological space in which every proper nonempty subset is either open or closed, but not both. This paper provides an elementary proof of the classification theorem of connected door spaces. More importantly, we show that connected door topologies can be viewed as solutions of the valuation $f(A)+f(B)=f(A\cup B)+f(A\cap B)$ and the equation $f(A)+f(B)=f(A\cup B)$, respectively. In addition, some special solutions, which can be regarded as a union of connected door spaces, are provided.


title: Unified low-energy effective Hamiltonian and the band topology of $p$-block square-net layer derivatives

abstract: In recent years, low-dimensional materials with tetragonal $P4/nmm$ (orthorhombic $Pnma$) space group having square-net (chain-like) substructure of $p$-block elements have been studied extensively. By using a first-principles calculation and a two-sites $\otimes$ two-orbitals tight-binding model, we construct the unified low-energy effective Hamiltonian and the $\mathbb{Z}_{2}$ topological phase diagram for such materials with different filling factors. Near the chemical potential, we show that the staggered arrangement of ions at 2c (4c) site yields the virtual hopping that have the same form with the second nearest-neighbor hopping between the square-net (chain-like) ions. We show that this hybridization and low-symmetry of the chain-like structure protects the quantum spin Hall insulator phase. Finally, the second order spin-orbit coupling on top of the atomic spin-orbit coupling is considered to clarify the origin of the non-zero Berry phase signals reported in recent quantum oscillation experiments.


title: Kilonova emission from black hole-neutron star mergers: observational signatures of anisotropic mass ejection

abstract: The gravitational wave event GW170817 associated with the short gamma-ray burst (GRB) 170817A confirms that binary neutron star (BNS) mergers are one of the origins of short GRBs. The associated kilonova emission, radioactively powered by nucleosynthesized heavy elements, was also detected. Black hole-neutron star (BH-NS) mergers have been argued to be another promising origin candidate of short GRBs and kilonovae. Numerical simulations show that the ejecta in BH-NS mergers is geometrically much more anisotropic than the BNS merger case. In this paper, we investigate observational signatures of kilonova emission from the anisotropic ejecta in BH-NS mergers. We find that a bump appears on the bolometric luminosity light curve due to the inhomogeneous mass distribution in the latitudinal direction. The decay slope of the single-band light curve becomes flatter and the spectrum also deviates from a single-temperature blackbody radiation spectrum due to the gradient in the velocity distribution of the ejecta. Future detection or non-detection of such signatures would be useful to test the mass ejection geometry in BH-NS mergers.


title: Weak convergence of path-dependent SDEs with irregular coefficients

abstract: In this paper we develop via Girsanov's transformation a perturbation argument to investigate weak convergence of Euler-Maruyama (EM) scheme for path-dependent SDEs with H\"older continuous drifts. This approach is available to other scenarios, e.g., truncated EM schemes for non-degenerate SDEs with finite memory or infinite memory. Also, such trick can be applied to study weak convergence of truncated EM scheme for a range of stochastic Hamiltonian systems with irregular coefficients and with memory, which are typical degenerate dynamical systems. Moreover, the weak convergence of path-dependent SDEs under integrability condition is investigated by establishing, via the dimension-free Harnack inequality, exponential integrability of irregular drifts w.r.t. the invariant probability measure constructed explicitly in advance.


title: FKN theorem for the multislice, with applications

abstract: The Friedgut-Kalai-Naor (FKN) theorem states that if $f$ is a Boolean function on the Boolean cube which is close to degree 1, then $f$ is close to a dictator, a function depending on a single coordinate. The author has extended the theorem to the slice, the subset of the Boolean cube consisting of all vectors with fixed Hamming weight. We extend the theorem further, to the multislice, a multicoloured version of the slice. As an application, we prove a stability version of the edge-isoperimetric inequality for settings of parameters in which the optimal set is a dictator.


title: Approximation and Estimation for High-Dimensional Deep Learning Networks

abstract: It has been experimentally observed in recent years that multi-layer artificial neural networks have a surprising ability to generalize, even when trained with far more parameters than observations. Is there a theoretical basis for this? The best available bounds on their metric entropy and associated complexity measures are essentially linear in the number of parameters, which is inadequate to explain this phenomenon. Here we examine the statistical risk (mean squared predictive error) of multi-layer networks with $\ell^1$-type controls on their parameters and with ramp activation functions (also called lower-rectified linear units). In this setting, the risk is shown to be upper bounded by $[(L^3 \log d)/n]^{1/2}$, where $d$ is the input dimension to each layer, $L$ is the number of layers, and $n$ is the sample size. In this way, the input dimension can be much larger than the sample size and the estimator can still be accurate, provided the target function has such $\ell^1$ controls and that the sample size is at least moderately large compared to $L^3\log d$. The heart of the analysis is the development of a sampling strategy that demonstrates the accuracy of a sparse covering of deep ramp networks. Lower bounds show that the identified risk is close to being optimal.


title: Possible dwarf nova on the Digitized Sky Survey plates

abstract: I report the discovery of a new bright variable star in the constellation Scorpius. It is most likely star OGLE BUL-SC23 396060 with position (J2000.0): RA 17:57:59.75, DEC -31:38:07.4. Magnitude range is 14.4 (B) - 21.7 (V). It is visible in the possible outburst on two digitized Palomar Sky Survey photographic plates, which were made 60 years ago. This object was registered as a variable star in the AAVSO VSX under the name of Romanov V1 and with UG: variability type.


title: Squeezed back-to-back correlations of $K^+$$K^-$ in d+Au collisions at $\sqrt{s_{NN}}=200$ GeV and Au+Au collisions at $\sqrt{s_{NN}}=62.4$ GeV

abstract: We investigate the squeezed back-to-back correlations (BBC) of $K^+$$K^-$, caused by the mass modification of the particle in the dense medium formed in d+Au collisions at $\sqrt{s_{NN}}=200$ GeV and Au+Au collisions at $\sqrt{s_{NN}}=62.4$ GeV. Considering some kaons may be not affected by the medium, we further study the BBC functions of $K^+$$K^-$ when parts of all kaons have a mass-shift. Our results indicate that the BBC functions of $K^+$$K^-$ can be observed when only about 10$\%$ of all kaons have a mass-shift in d+Au collisions at $\sqrt{s_{NN}}=200$ GeV and the peripheral collisions of Au+Au at $\sqrt{s_{NN}}=62.4$ GeV. Since the BBC function is caused by the mass-shift due to the interaction between the particle and the medium, the successful detection of the BBC function indirectly marks that the dense medium has formed in these collision systems. We suggest to measure the BBC function of $K^+$$K^-$ experimentally in d+Au collisions at $\sqrt{s_{NN}}=200$ GeV and peripheral collisions of Au+Au at $\sqrt{s_{NN}}=62.4$ GeV.


title: Parameterized Games and Parameterized Automata

abstract: We introduce a way to parameterize automata and games on finite graphs with natural numbers. The parameters are accessed essentially by allowing counting down from the parameter value to 0 and branching depending on whether 0 has been reached. The main technical result is that in games, a player can win for some values of the parameters at all, if she can win for some values below an exponential bound. For many winning conditions, this implies decidability of any statements about a player being able to win with arbitrary quantification over the parameter values. While the result seems broadly applicable, a specific motivation comes from the study of chains of strategies in games. Chains of games were recently suggested as a means to define a rationality notion based on dominance that works well with quantitative games by Bassett, Jecker, P., Raskin and Van den Boogard. From the main result of this paper, we obtain generalizations of their decidability results with much simpler proofs. As both a core technical notion in the proof of the main result, and as a notion of potential independent interest, we look at boolean functions defined via graph game forms. Graph game forms have properties akin to monotone circuits, albeit are more concise. We raise some open questions regarding how concise they are exactly, which have a flavour similar to circuit complexity. Answers to these questions could improve the bounds in the main theorem.


title: Classical Proofs as Parallel Programs

abstract: We introduce a first proofs-as-parallel-programs correspondence for classical logic. We define a parallel and more powerful extension of the simply typed lambda calculus corresponding to an analytic natural deduction based on the excluded middle law. The resulting functional language features a natural higher-order communication mechanism between processes, which also supports broadcasting. The normalization procedure makes use of reductions that implement novel techniques for handling and transmitting process closures.


title: A Simplicial Complex Model for Dynamic Epistemic Logic to study Distributed Task Computability

abstract: The usual epistemic model S5n for a multi-agent system is based on a Kripke frame, which is a graph whose edges are labeled with agents that do not distinguish between two states. We propose to uncover the higher dimensional information implicit in this structure, by considering a dual, simplicial complex model. We use dynamic epistemic logic (DEL) to study how an epistemic simplicial complex model changes after a set of agents communicate with each other. We concentrate on an action model that represents the so called immediate snapshot communication patterns of asynchronous agents, because it is central to distributed computability (but our setting works for other communication patterns). There are topological invariants preserved from the initial epistemic complex to the one after the action model is applied, which determine the knowledge that the agents gain after communication. Finally, we describe how a distributed task specification can be modeled as a DEL action model, and show that the topological invariants determine whether the task is solvable. We thus provide a bridge between DEL and the topological theory of distributed computability, which studies task solvability in a shared memory or message passing architecture.


title: A Magnetically-Triggered Soft Capsule for On-Demand Mucus Collection

abstract: In this work, we present a soft capsule for mucus collection in human intestine for diagnostic purpose, with reduced risk of tissue damage compared with other biopsy methods. The capsule implements passive locomotion and the sampling process is triggered by magnetic field using a permanent magnet, which is placed on the skin above the region of interest (ROI). The capsule contains a soft vacuum chamber which is sealed with wax. When magnetic field and mucus are present simultaneously, the circuit inside the capsule will be closed and nichrome wire will start to generate heat to melt the wax, and mucus will be collected into the vacuum chamber due to air pressure. Experiments on heating capability of nichrome wire, mucus collection and reliability of the capsule are conducted to validate this design.


title: A Comparison of BDD-Based Parity Game Solvers

abstract: Parity games are two player games with omega-winning conditions, played on finite graphs. Such games play an important role in verification, satisfiability and synthesis. It is therefore important to identify algorithms that can efficiently deal with large games that arise from such applications. In this paper, we describe our experiments with BDD-based implementations of four parity game solving algorithms, viz. Zielonka's recursive algorithm, the more recent Priority Promotion algorithm, the Fixpoint-Iteration algorithm and the automata based APT algorithm. We compare their performance on several types of random games and on a number of cases taken from the Keiren benchmark set.


title: Tester versus Bug: A Generic Framework for Model-Based Testing via Games

abstract: We propose a generic game-based approach for test case generation. We set up a game between the tester and the System Under Test, in such a way that test cases correspond to game strategies, and the conformance relation ioco corresponds to alternating refinement. We show that different test assumptions from the literature can be easily incorporated, by slightly varying the moves in the games and their outcomes. In this way, our framework allows a wide plethora of game-theoretic techniques to be deployed for model based testing.


title: Parameterized Verification of Coverability in Well-Structured Broadcast Networks

abstract: Parameterized verification of coverability in broadcast networks with finite state processes has been studied for different types of models and topologies. In this paper, we attempt to develop a theory of broadcast networks in which the processes can be well-structured transition systems. The resulting formalism is called well-structured broadcast networks. We give an algorithm to decide coverability of well-structured broadcast networks when reconfiguration of links between nodes is allowed. Further, for various types of communication topologies, we also prove the decidability of coverability in the static case as well. We do this by showing that for these types of static communication topologies, the broadcast network itself is a well-structured transition system, hence proving the decidability of coverability in the broadcast network.


title: Temporal Logic and Model Checking for Operator Precedence Languages

abstract: In the last decades much research effort has been devoted to extending the success of model checking from the traditional field of finite state machines and various versions of temporal logics to suitable subclasses of context-free languages and appropriate extensions of temporal logics. To the best of our knowledge such attempts only covered structured languages, i.e. languages whose structure is immediately "visible" in their sentences, such as tree-languages or visibly pushdown ones. In this paper we present a new temporal logic suitable to express and automatically verify properties of operator precedence languages. This "historical" language family has been recently proved to enjoy fundamental algebraic and logic properties that make it suitable for model checking applications yet breaking the barrier of visible-structure languages (in fact the original motivation of its inventor Floyd was just to support efficient parsing, i.e. building the "hidden syntax tree" of language sentences). We prove that our logic is at least as expressive as analogous logics defined for visible pushdown languages yet covering a much more powerful family; we design a procedure that, given a formula in our logic builds an automaton recognizing the sentences satisfying the formula, whose size is at most exponential in the length of the formula.


title: One-Pass and Tree-Shaped Tableau Systems for TPTL and TPTLb+Past

abstract: In this paper, we propose a novel one-pass and tree-shaped tableau method for Timed Propositional Temporal Logic and for a bounded variant of its extension with past operators. Timed Propositional Temporal Logic (TPTL) is a real-time temporal logic, with an EXPSPACE-complete satisfiability problem, which has been successfully applied to the verification of real-time systems. In contrast to LTL, adding past operators to TPTL makes the satisfiability problem for the resulting logic (TPTL+P) non-elementary. In this paper, we devise a one-pass and tree-shaped tableau for both TPTL and bounded TPTL+P (TPTLb+P), a syntactic restriction introduced to encode timeline-based planning problems, which recovers the EXPSPACE-complete complexity. The tableau systems for TPTL and TPTLb+P are presented in a unified way, being very similar to each other, providing a common skeleton that is then specialised to each logic. In doing that, we characterise the semantics of TPTLb+P in terms of a purely syntactic fragment of TPTL+P, giving a translation that embeds the former into the latter. Soundness and completeness of the system are proved fully. In particular, we give a greatly simplified model-theoretic completeness proof, which sidesteps the complex combinatorial argument used by known proofs for the one-pass and tree-shaped tableau systems for LTL and LTL+P.


title: Enhanced pseudocapacitance from finely ordered pristine alpha-MnO2 nanorods at favourably high current density using redox additive

abstract: A flexible technique is developed using hydrochloric acid to modify the redox reaction between potassium permanganate and sodium nitrite in order to grow ultrafine alpha-MnO2 nanorods, hydrothermally. The nanorods grown were 10-40 nm diameters in range. Not any crack, fissure, imperfection or dislocation is observed in the nanorods suggesting it to be finely ordered. Structure, phase and purity of as developed nanorods were determined using X-ray diffraction (XRD), Fourier transform infrared spectroscopy (FTIR) and Energy-dispersive X-ray spectroscopy. Peseudocapacitance of alpha-MnO2 nanorods was tested using a three electrode system. Considerably very high pseudocapacitance value of 643.5 F/g at 15 A/g current density was calculated from the galvanostatic discharge current measurement. Also excellent cyclability is observed with high retention of 90.5% after 4000 cycles. Highly uniform and confined morphology of the nanorods helps smooth the electron dynamics between electrode/electrolyte interfaces resulting in superior performance. Most importantly, the use of potassium ferricyanide as redox additive to KOH electrolyte was proved to be quite effective as it provides extra redox couple [Fe(CN)6]3n/[Fe(CN)6]4n which helps in further smoothening of electron transition thereby resulting in considerably superior pseudocapacitive performance.


title: Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground

abstract: In this paper, we address complexity issues for timeline-based planning over dense temporal domains. The planning problem is modeled by means of a set of independent, but interacting, components, each one represented by a number of state variables, whose behavior over time (timelines) is governed by a set of temporal constraints (synchronization rules). While the temporal domain is usually assumed to be discrete, here we consider the dense case. Dense timeline-based planning has been recently shown to be undecidable in the general case; decidability (NP-completeness) can be recovered by restricting to purely existential synchronization rules (trigger-less rules). In this paper, we investigate the unexplored area of intermediate cases in between these two extremes. We first show that decidability and non-primitive recursive-hardness can be proved by admitting synchronization rules with a trigger, but forcing them to suitably check constraints only in the future with respect to the trigger (future simple rules). More "tractable" results can be obtained by additionally constraining the form of intervals in future simple rules: EXPSPACE-completeness is guaranteed by avoiding singular intervals, PSPACE-completeness by admitting only intervals of the forms [0,a] and [b,$\infty$[.


title: On Computing the Measures of First-Order Definable Sets of Trees

abstract: We consider the problem of computing the measure of a regular language of infinite binary trees. While the general case remains unsolved, we show that the measure of a language defined by a first-order formula with no descendant relation or by a Boolean combination of conjunctive queries (with descendant relation) is rational and computable. Additionally, we provide an example of a first-order formula that uses descendant relation and defines a language of infinite trees having an irrational measure.


title: Maximum Pairwise Bayes Factors for Covariance Structure Testing

abstract: Hypothesis testing of structure in covariance matrices is of significant importance, but faces great challenges in high-dimensional settings. Although consistent frequentist one-sample covariance tests have been proposed, there is a lack of simple, computationally scalable, and theoretically sound Bayesian testing methods for large covariance matrices. Motivated by this gap and by the need for tests that are powerful against sparse alternatives, we propose a novel testing framework based on the maximum pairwise Bayes factor. Our initial focus is on one-sample covariance testing; the proposed test can {\it optimally} distinguish null and alternative hypotheses in a frequentist asymptotic sense. We then propose diagonal tests and a scalable covariance graph selection procedure that are shown to be consistent. A simulation study evaluates the proposed approach relative to competitors. We illustrate advantages of our graph selection method on a gene expression data set.


title: On Finding a First-Order Sentence Consistent with a Sample of Strings

abstract: We investigate the following problem: given a sample of classified strings, find a first-order sentence of minimal quantifier rank that is consistent with the sample. We represent strings as successor string structures, that is, finite structures with unary predicates to denote symbols in an alphabet, and a successor relation. We use results of the Ehrenfeucht-Fra\"iss\'e game over successor string structures in order to design an algorithm to find such sentence. We use conditions characterizing the winning strategies for the Spoiler on successor strings structures in order to define formulas which distinguish two strings. Our algorithm returns a boolean combination of such formulas.


title: Multi-weighted Markov Decision Processes with Reachability Objectives

abstract: In this paper, we are interested in the synthesis of schedulers in double-weighted Markov decision processes, which satisfy both a percentile constraint over a weighted reachability condition, and a quantitative constraint on the expected value of a random variable defined using a weighted reachability condition. This problem is inspired by the modelization of an electric-vehicle charging problem. We study the cartography of the problem, when one parameter varies, and show how a partial cartography can be obtained via two sequences of opimization problems. We discuss completeness and feasability of the method.


title: Regular omega-Languages with an Informative Right Congruence

abstract: A regular language is almost fully characterized by its right congruence relation. Indeed, a regular language can always be recognized by a DFA isomorphic to the automaton corresponding to its right congruence, henceforth the Rightcon automaton. The same does not hold for regular omega-languages. The right congruence of a regular omega-language is not informative enough; many regular omega-languages have a trivial right congruence, and in general it is not always possible to define an omega-automaton recognizing a given language that is isomorphic to the rightcon automaton. The class of weak regular omega-languages does have an informative right congruence. That is, any weak regular omega-language can always be recognized by a deterministic B\"uchi automaton that is isomorphic to the rightcon automaton. Weak regular omega-languages reside in the lower levels of the expressiveness hierarchy of regular omega-languages. Are there more expressive sub-classes of regular omega languages that have an informative right congruence? Can we fully characterize the class of languages with a trivial right congruence? In this paper we try to place some additional pieces of this big puzzle.


title: Hairy binary black holes in Einstein-Maxwell-dilaton theory and their effective-one-body description

abstract: In General Relativity and many modified theories of gravity, isolated black holes (BHs) cannot source massless scalar fields. Einstein-Maxwell-dilaton (EMd) theory is an exception: through couplings both to electromagnetism and (non-minimally) to gravity, a massless scalar field can be generated by an electrically charged BH. In this work, we analytically model the dynamics of binaries comprised of such scalar-charged ("hairy") BHs. While BHs are not expected to have substantial electric charge within the Standard Model of particle physics, nearly-extremally charged BHs could occur in models of minicharged dark matter and dark photons. We begin by studying the test-body limit for a binary BH in EMd theory, and we argue that only very compact binaries of nearly-extremally charged BHs can manifest non-perturbative phenomena similar to those found in certain scalar-tensor theories. Then, we use the post-Newtonian approximation to study the dynamics of binary BHs with arbitrary mass ratios. We derive the equations governing the conservative and dissipative sectors of the dynamics at next-to-leading order, use our results to compute the Fourier-domain gravitational waveform in the stationary-phase approximation, and compute the number of useful cycles measurable by the Advanced LIGO detector. Finally, we construct two effective-one-body (EOB) Hamiltonians for binary BHs in EMd theory: one that reproduces the exact test-body limit and another whose construction more closely resembles similar models in General Relativity, and thus could be more easily integrated into existing EOB waveform models used in the data analysis of gravitational-wave events by the LIGO and Virgo collaborations.


title: Cloud Index Tracking: Enabling Predictable Costs in Cloud Spot Markets

abstract: Cloud spot markets rent VMs for a variable price that is typically much lower than the price of on-demand VMs, which makes them attractive for a wide range of large-scale applications. However, applications that run on spot VMs suffer from cost uncertainty, since spot prices fluctuate, in part, based on supply, demand, or both. The difficulty in predicting spot prices affects users and applications: the former cannot effectively plan their IT expenditures, while the latter cannot infer the availability and performance of spot VMs, which are a function of their variable price. To address the problem, we use properties of cloud infrastructure and workloads to show that prices become more stable and predictable as they are aggregated together. We leverage this observation to define an aggregate index price for spot VMs that serves as a reference for what users should expect to pay. We show that, even when the spot prices for individual VMs are volatile, the index price remains stable and predictable. We then introduce cloud index tracking: a migration policy that tracks the index price to ensure applications running on spot VMs incur a predictable cost by migrating to a new spot VM if the current VM's price significantly deviates from the index price.


title: Two-Dimensional Photogalvanic Spin-Battery

abstract: Pure spin-current is of central importance in spintronics. Here we propose a two-dimensional (2D) spin-battery system that delivers pure spin-current without an accompanying charge-current to the outside world at zero bias. The principle of the spin-battery roots in the photogalvanic effect (PGE), and the system has good operational stability against structural perturbation, photon energy and other materials detail. The device principle is numerically implemented in the 2D material phosphorene as an example, and first principles calculations give excellent qualitative agreement with the PGE physics. The 2D spin-battery is interesting as it is both a device that generates pure spin-currents, also an energy source that harvests photons. Given the versatile operational space, the spin-battery should be experimentally feasible.


title: Depth-bounding is effective: Improvements and evaluation of unsupervised PCFG induction

abstract: There have been several recent attempts to improve the accuracy of grammar induction systems by bounding the recursive complexity of the induction model (Ponvert et al., 2011; Noji and Johnson, 2016; Shain et al., 2016; Jin et al., 2018). Modern depth-bounded grammar inducers have been shown to be more accurate than early unbounded PCFG inducers, but this technique has never been compared against unbounded induction within the same system, in part because most previous depth-bounding models are built around sequence models, the complexity of which grows exponentially with the maximum allowed depth. The present work instead applies depth bounds within a chart-based Bayesian PCFG inducer (Johnson et al., 2007b), where bounding can be switched on and off, and then samples trees with and without bounding. Results show that depth-bounding is indeed significantly effective in limiting the search space of the inducer and thereby increasing the accuracy of the resulting parsing model. Moreover, parsing results on English, Chinese and German show that this bounded model with a new inference technique is able to produce parse trees more accurately than or competitively with state-of-the-art constituency-based grammar induction models.


title: Certified Adversarial Robustness with Additive Noise

abstract: The existence of adversarial data examples has drawn significant attention in the deep-learning community; such data are seemingly minimally perturbed relative to the original data, but lead to very different outputs from a deep-learning algorithm. Although a significant body of work on developing defensive models has been considered, most such models are heuristic and are often vulnerable to adaptive attacks. Defensive methods that provide theoretical robustness guarantees have been studied intensively, yet most fail to obtain non-trivial robustness when a large-scale model and data are present. To address these limitations, we introduce a framework that is scalable and provides certified bounds on the norm of the input manipulation for constructing adversarial examples. We establish a connection between robustness against adversarial perturbation and additive random noise, and propose a training strategy that can significantly improve the certified bounds. Our evaluation on MNIST, CIFAR-10 and ImageNet suggests that the proposed method is scalable to complicated models and large data sets, while providing competitive robustness to state-of-the-art provable defense methods.


title: Distance, Energy, and Variability of Quasar Outflows: Two HST/COS epochs of LBQS 1206+1052

abstract: We analyze new HST/COS spectra for two quasar absorption outflows seen in the quasi-stellar object LBQS 1206+1052. These data cover, for the first time, absorption troughs from $S_{IV}$, $Si_{II}$, and $P_V$. From the ratio of the $S_{IV}$* to $S_{IV}$ column densities, we measure the electron number density of the higher-velocity ($-1400$ km s$^{-1}$, v1400) outflow to be log($n_e$) = $4.23^{+0.09}_{-0.09}$ cm$^{-3}$ and constrain the lower-velocity ($-730$ km s$^{-1}$, v700) outflow to log($n_e$) $>$ $5.3$ cm$^{-3}$. The $n_e$ associated with the higher-velocity outflow is an order of magnitude larger than reported in prior work. We find that the previous measurement was unreliable since it was based on density-sensitive absorption troughs that were likely saturated. Using photoionization models, we determine the best $\chi^2$-minimization fit for the ionization parameter and hydrogen column density of the higher-velocity outflow: log($U_H$) = $-1.73^{+0.21}_{-0.12}$ and log($N_H$) = $21.03^{+0.25}_{-0.15}$ cm$^{-2}$, respectively. We calculate from $U_H$ and $n_e$ a distance of $500^{+100}_{-110}$ pc from the central source to the outflow. Using an SED attenuated by the v700 outflow yields a two-phase photoionization solution for the v1400 outflow, separated by a $\Delta U \approxeq 0.7$. Otherwise, the resultant distance, mass flux, and kinetic luminosity are similar to the unattenuated case. However, the attenuated analysis has significant uncertainties due to a lack of constraints on the v700 outflow in 2017.


title: Impact of electrodes on the extraction of shift current from a ferroelectric semiconductor SbSI

abstract: Noncentrosymmetric bulk crystals generate photocurrent without any bias voltage. One of the dominant mechanisms, shift current, comes from a quantum interference of electron wave functions being distinct from classical current caused by electrons' drift or diffusion. The dissipation-less nature of shift current, however, has not been fully verified presumably due to the premature understanding on the role of electrodes. Here we show that the photocurrent dramatically enhances by choosing electrodes with large work function for a $p$-type ferroelectric semiconductor SbSI. An optimized device shows a nearly constant zero-bias photocurrent despite significant variation in photocarrier mobility dependent on temperature, which could be a clear hallmark for the dissipation-less nature of shift current. Distinct from conventional photovoltaic devices, the shift current generator operates as a majority carrier device. The present study provides fundamental design principles for energy-harvesting and photo-detecting devices with novel architectures optimal for the shift current photovoltaic effect.


title: Schauder estimates for equations with cone metrics, II

abstract: This is the continuation of our paper \cite{GS}, to study the linear theory for equations with conical singularities. We derive interior Schauder estimates for linear elliptic and parabolic equations with a background K\"ahler metric of conical singularities along a divisor of simple normal crossings. As an application, we prove the short-time existence of the conical K\"ahler-Ricci flow with conical singularities along a divisor with simple normal crossings.


title: Mixed-ADC/DAC Multipair Massive MIMO Relaying Systems: Performance Analysis and Power Optimization

abstract: High power consumption and expensive hardware are two bottlenecks for practical massive multiple-input multiple-output (mMIMO) systems. One promising solution is to employ low-resolution analog-to-digital converters (ADCs) and digital-to-analog converters (DACs). In this paper, we consider a general multipair mMIMO relaying system with a mixed-ADC/DAC architecture, in which some antennas are connected to low-resolution ADCs/DACs, while the rest of the antennas are connected to high-resolution ADCs/DACs. Leveraging on the additive quantization noise model, both exact and approximate closed-form expressions for the achievable rate are derived. It is shown that the achievable rate can approach the unquantized one by using only 2-3 bits of resolutions. Moreover, a power scaling law is presented to reveal that the transmit power can be scaled down inversely proportional to the number of antennas at the relay. We further propose an efficient power allocation scheme by solving a complementary geometric programming problem. In addition, a trade-off between the achievable rate and power consumption for different numbers of low-resolution ADCs/DACs is investigated by deriving the energy efficiency. Our results reveal that the large antenna array can be exploited to enable the mixed-ADC/DAC architecture, which significantly reduces the power consumption and hardware cost for practical mMIMO systems.


title: A Deep Reinforced Sequence-to-Set Model for Multi-Label Text Classification

abstract: Multi-label text classification (MLTC) aims to assign multiple labels to each sample in the dataset. The labels usually have internal correlations. However, traditional methods tend to ignore the correlations between labels. In order to capture the correlations between labels, the sequence-to-sequence (Seq2Seq) model views the MLTC task as a sequence generation problem, which achieves excellent performance on this task. However, the Seq2Seq model is not suitable for the MLTC task in essence. The reason is that it requires humans to predefine the order of the output labels, while some of the output labels in the MLTC task are essentially an unordered set rather than an ordered sequence. This conflicts with the strict requirement of the Seq2Seq model for the label order. In this paper, we propose a novel sequence-to-set framework utilizing deep reinforcement learning, which not only captures the correlations between labels, but also reduces the dependence on the label order. Extensive experimental results show that our proposed method outperforms the competitive baselines by a large margin.


title: Memristive LSTM network hardware architecture for time-series predictive modeling problem

abstract: Analysis of time-series data allows to identify long-term trends and make predictions that can help to improve our lives. With the rapid development of artificial neural networks, long short-term memory (LSTM) recurrent neural network (RNN) configuration is found to be capable in dealing with time-series forecasting problems where data points are time-dependent and possess seasonality trends. Gated structure of LSTM cell and flexibility in network topology (one-to-many, many-to-one, etc.) allows to model systems with multiple input variables and control several parameters such as the size of the look-back window to make a prediction and number of time steps to be predicted. These make LSTM attractive tool over conventional methods such as autoregression models, the simple average, moving average, naive approach, ARIMA, Holt's linear trend method, Holt's Winter seasonal method, and others. In this paper, we propose a hardware implementation of LSTM network architecture for time-series forecasting problem. All simulations were performed using TSMC 0.18um CMOS technology and HP memristor model.


title: Linear programs for entanglement and key distribution in the quantum internet

abstract: Quantum networks will allow to implement communication tasks beyond the reach of their classical counterparts. A pressing and necessary issue for the design of quantum network protocols is the quantification of the rates at which these tasks can be performed. Here, we propose a simple recipe that yields efficiently computable lower and upper bounds on the maximum achievable rates. For this we make use of the max-flow min-cut theorem and its generalization to multi-commodity flows to obtain linear programs. We exemplify our recipe deriving the linear programs for bipartite settings, settings where multiple pairs of users obtain entanglement in parallel as well as multipartite settings, covering almost all known situations. We also make use of a generalization of the concept of paths between user pairs in a network to Steiner trees spanning a group of users wishing to establish Greenberger-Horne-Zeilinger states.


title: Torque of guided light on an atom near an optical nanofiber

abstract: We calculate analytically and numerically the axial orbital and spin torques of guided light on a two-level atom near an optical nanofiber. We show that the generation of these torques is governed by the angular momentum conservation law in the Minkowski formulation. The orbital torque on the atom near the fiber has a contribution from the average recoil of spontaneously emitted photons. Photon angular momentum and atomic spin angular momentum can be converted into atomic orbital angular momentum. The orbital and spin angular momenta of the guided field are not transferred separately to the orbital and spin angular momenta of the atom.


title: Comparison of Sobol' sequences in financial applications

abstract: Sobol' sequences are widely used for quasi-Monte Carlo methods that arise in financial applications. Sobol' sequences have parameter values called direction numbers, which are freely chosen by the user, so there are several implementations of Sobol' sequence generators. The aim of this paper is to provide a comparative study of (non-commercial) high-dimensional Sobol' sequences by calculating financial models. Additionally, we implement the Niederreiter sequence (in base 2) with a slight modification, that is, we reorder the rows of the generating matrices, and analyze and compare it with the Sobol' sequences.


title: Stack-Sorting Preimages of Permutation Classes

abstract: We extend and generalize many of the enumerative results concerning West's stack-sorting map $s$. First, we prove a useful theorem that allows one to efficiently compute $|s^{-1}(\pi)|$ for any permutation $\pi$, answering a question of Bousquet-M\'elou. We then enumerate permutations in various sets of the form $s^{-1}(\text{Av}(\tau^{(1)},\ldots,\tau^{(r)}))$, where $\text{Av}(\tau^{(1)},\ldots,\tau^{(r)})$ is the set of permutations avoiding the patterns $\tau^{(1)},\ldots,\tau^{(r)}$. These preimage sets often turn out to be permutation classes themselves, so the current paper represents a new approach, based on the theory of valid hook configurations, for solving classical enumerative problems. In one case, we solve a problem previously posed by Bruner. We are often able to refine our counts by enumerating these permutations according to their number of descents or peaks. Our investigation not only provides several new combinatorial interpretations and identities involving known sequences, but also paves the way for several new enumerative problems.


title: Approaching the adiabatic timescale with machine-learning

abstract: The control and manipulation of quantum systems without excitation is challenging, due to the complexities in fully modeling such systems accurately and the difficulties in controlling these inherently fragile systems experimentally. For example, while protocols to decompress Bose-Einstein condensates (BEC) faster than the adiabatic timescale (without excitation or loss) have been well developed theoretically, experimental implementations of these protocols have yet to reach speeds faster than the adiabatic timescale. In this work, we experimentally demonstrate an alternative approach based on a machine learning algorithm which makes progress towards this goal. The algorithm is given control of the coupled decompression and transport of a metastable helium condensate, with its performance determined after each experimental iteration by measuring the excitations of the resultant BEC. After each iteration the algorithm adjusts its internal model of the system to create an improved control output for the next iteration. Given sufficient control over the decompression, the algorithm converges to a novel solution that sets the current speed record in relation to the adiabatic timescale, beating out other experimental realizations based on theoretical approaches. This method presents a feasible approach for implementing fast state preparations or transformations in other quantum systems, without requiring a solution to a theoretical model of the system. Implications for fundamental physics and cooling are discussed.


title: LensKit for Python: Next-Generation Software for Recommender System Experiments

abstract: LensKit is an open-source toolkit for building, researching, and learning about recommender systems. First released in 2010 as a Java framework, it has supported diverse published research, small-scale production deployments, and education in both MOOC and traditional classroom settings. In this paper, I present the next generation of the LensKit project, re-envisioning the original tool's objectives as flexible Python package for supporting recommender systems research and development. LensKit for Python (LKPY) enables researchers and students to build robust, flexible, and reproducible experiments that make use of the large and growing PyData and Scientific Python ecosystem, including scikit-learn, TensorFlow, and PyTorch. To that end, it provides classical collaborative filtering implementations, recommender system evaluation metrics, data preparation routines, and tools for efficiently batch running recommendation algorithms, all usable in any combination with each other or with other Python software. This paper describes the design goals, use cases, and capabilities of LKPY, contextualized in a reflection on the successes and failures of the original LensKit for Java software.


title: M-convex Function Minimization Under L1-Distance Constraint

abstract: In this paper we consider a new problem of minimizing an M-convex function under L1-distance constraint (MML1); the constraint is given by an upper bound for L1-distance between a feasible solution and a given "center." This is motivated by a nonlinear integer programming problem for re-allocation of dock capacity in a bike sharing system discussed by Freund et al. (2017). The main aim of this paper is to better understand the combinatorial structure of the dock re-allocation problem through the connection with M-convexity, and show its polynomial-time solvability using this connection. For this, we first show that the dock re-allocation problem can be reformulated in the form of (MML1). We then present a pseudo-polynomial-time algorithm for (MML1) based on steepest descent approach. We also propose two polynomial-time algorithms for (MML1) by replacing the L1-distance constraint with a simple linear constraint. Finally, we apply the results for (MML1) to the dock re-allocation problem to obtain a pseudo-polynomial-time steepest descent algorithm and also polynomial-time algorithms for this problem. The proposed algorithm is based on a proximity-scaling algorithm for a relaxation of the dock re-allocation problem, which is of interest in its own right.


title: Monitoring data quality for telehealth systems in the presence of missing data

abstract: Background: All-in-one station-based health monitoring devices are implemented in elder homes in Hong Kong to support the monitoring of vital signs of the elderly. During a pilot study, it was discovered that the systolic blood pressure was incorrectly measured during multiple weeks. A real-time solution was needed to identify future data quality issues as soon as possible. Methods: Control charts are an effective tool for real-time monitoring and signaling issues (changes) in data. In this study, as in other healthcare applications, many observations are missing. Few methods are available for monitoring data with missing observations. A data quality monitoring method is developed to signal issues with the accuracy of the collected data quickly. This method has the ability to deal with missing observations. A Hotelling's T-squared control chart is selected as the basis for our proposed method. Findings: The proposed method is retrospectively validated on a case study with a known measurement error in the systolic blood pressure measurements. The method is able to adequately detect this data quality problem. The proposed method was integrated into a personalized telehealth monitoring system and prospectively implemented in a second case study. It was found that the proposed scheme supports the control of data quality. Conclusions: Data quality is an important issue and control charts are useful for real-time monitoring of data quality. However, these charts must be adjusted to account for missing data that often occur in healthcare context.


title: Chiral phase transition within the linear sigma model in the Tsallis nonextensive statistics based on density operator

abstract: We studied the chiral phase transition for small $|1-q|$ within the Tsallis nonextensive statistics of the entropic parameter $q$, where the quantity $|1-q|$ is the measure of the deviation from the Boltzmann-Gibbs statistics. We adopted the normalized $q$-expectation value in this study. We applied the free particle approximation and the massless approximation in the calculations of the expectation values. We estimated the critical physical temperature, and obtained the chiral condensate, the sigma mass, and the pion mass, as functions of the physical temperature $T_{\mathrm{ph}}$ for various $q$. We found the following facts. The $q$-dependence of the critical physical temperature is $1/\sqrt{q}$. The chiral condensate at $q$ is smaller than that at $q'$ for $q>q'$. The $q$-dependence of the pion mass and that of the sigma mass reflect the $q$-dependence of the condensate. The pion mass at $q$ is heavier than that at $q'$ for $q>q'$. The sigma mass at $q$ is heavier than that at $q'$ for $q>q'$ at high physical temperature, while the sigma mass at $q$ is lighter than that at $q'$ for $q>q'$ at low physical temperature. The quantities which are functions of the physical temperature $T_{\mathrm{ph}}$ and the entropic parameter $q$ are described by only the effective physical temperature defined as $\sqrt{q} T_{\mathrm{ph}}$ under the approximations.


title: Large Fermi-arc and robust Weyl semimetal phase in Ag$_2$S

abstract: Three-dimensional Dirac and Weyl semimetals have attracted widespread interest in condensed matter physics and material science. Here, based on first-principles calculations and symmetry analysis, we report that Ag$_2$S with P2$_1$2$_1$2$_1$ symmetry is a topological Dirac semimetal in the absence of spin-orbit coupling (SOC). Every Dirac points are composed of two Weyl points with the same chirality overlapping in the momentum space. After taking the SOC into consideration, each Dirac point is split into two Weyl points. The Weyl points with the opposite chirality are far from each other in the momentum space. Therefore, the Weyl pairs are not easy to annihilate and robust in the Ag$_2$S compound, which also lead to long Fermi-arcs on material surface. The robustness of the Weyl points against the strain is discussed.


title: Interplay between charge, magnetic and superconducting order in a Kondo lattice with an attractive Hubbard interaction

abstract: We investigate the competition between superconductivity, charge-ordering, magnetic-ordering, and the Kondo effect in a heavy fermion $s$-wave superconductor described by a Kondo lattice model with an attractive on-site Hubbard interaction. The model is solved using the real-space dynamical mean field theory. For this purpose, we develop a numerical renormalization group (NRG) framework in Nambu space, which is used to solve the superconducting impurity problem. This extended NRG scheme also allows for SU(2) spin symmetry broken solutions, enabling us to examine the competition or cooperation between $s$-wave superconductivity and incommensurate spin-density waves (SDWs). At half filling, we find an intriguing phase where the magnetic ordering of the $f$-electrons lifts the degeneracy between the charge density wave (CDW) state and the superconducting state, leading to a strong suppression of superconductivity. In addition, the system may also become a half metal in this parameter regime. Away from half filling, the CDWs vanish and are replaced by superconductivity combined with incommensurate SDWs up to moderate Kondo couplings to the $f$-electrons. We find that both CDWs as well as superconductivity enhance magnetic ordering due to the suppression of Kondo screening.


title: Morphological analysis of ultra fine {\alpha}-MnO2 nanowires under different reaction conditions

abstract: A simple hydrothermal method was developed for the synthesis of ultra fine single-crystal {\alpha}-MnO2 nanowires by only using potassium permanganate and sodium nitrite in acidic solution, without any seed or template. Detailed analysis of the obtained nanowires was done using X-ray diffraction (XRD), Fourier transform infrared spectroscopy (FTIR) and high resolution transmission electron microscopy (HRTEM) measurements. The as-prepared {\alpha}-MnO2 nanowires have the average diameter of 10-40nm and a length up to 0.1 to 2{\mu}m. Moreover, the effects of reaction temperature, time and reactant molar ratios on the morphology of the final product were studied in detail using field emission scanning electron microscopy (FESEM) measurements.


title: Greedy Search with Probabilistic N-gram Matching for Neural Machine Translation

abstract: Neural machine translation (NMT) models are usually trained with the word-level loss using the teacher forcing algorithm, which not only evaluates the translation improperly but also suffers from exposure bias. Sequence-level training under the reinforcement framework can mitigate the problems of the word-level loss, but its performance is unstable due to the high variance of the gradient estimation. On these grounds, we present a method with a differentiable sequence-level training objective based on probabilistic n-gram matching which can avoid the reinforcement framework. In addition, this method performs greedy search in the training which uses the predicted words as context just as at inference to alleviate the problem of exposure bias. Experiment results on the NIST Chinese-to-English translation tasks show that our method significantly outperforms the reinforcement-based algorithms and achieves an improvement of 1.5 BLEU points on average over a strong baseline system.


title: On Privacy of Quantized Sensor Measurements through Additive Noise

abstract: We study the problem of maximizing privacy of quantized sensor measurements by adding random variables. In particular, we consider the setting where information about the state of a process is obtained using noisy sensor measurements. This information is quantized and sent to a remote station through an unsecured communication network. It is desired to keep the state of the process private; however, because the network is not secure, adversaries might have access to sensor information, which could be used to estimate the process state. To avoid an accurate state estimation, we add random numbers to the quantized sensor measurements and send the sum to the remote station instead. The distribution of these random variables is designed to minimize the mutual information between the sum and the quantized sensor measurements for a desired level of distortion -- how different the sum and the quantized sensor measurements are allowed to be. Simulations are presented to illustrate our results.


title: The error term in the prime number theorem

abstract: We make explicit a theorem of Pintz concerning the error term in the prime number theorem. This gives an improved version of the prime number theorem with error term roughly square-root of that which was previously known. We apply this to a long-standing problem concerning an inequality studied by Ramanujan.


title: A Linear Approach to Fault Analysis and Intervention in Boolean Systems

abstract: The mutations of a complex systemic disease like cancer can be modeled as stuck-at faults in the Boolean system paradigm. For a class of multiple faults, the fault identification is exceptionally significant under the incomplete access of all the underlying proteins of the system. A comprehensive linear framework has been developed in this manuscript to identify the class of faults under a set of homeostatic input conditions. An algorithm is developed to design new reporters to improve the observability. The other aspect of this manuscript lies in controlling the manifestation of the mutations, which is the essential objective of systems medicine research. The primary goal is to synthesize a cocktail of drug molecules (combination therapy) from a set of existing targeted drugs. The controllability results are included in this paper to understand the problem formally. An improvement of controllability algorithm is discussed to design new target drugs if the available drugs fail to accommodate the underlying fault set. The results are presented for Boolean maps and Boolean control networks. Biological examples are given to highlight the relevant results.


title: Local Representation and Construction of Beltrami Fields

abstract: A Beltrami field is an eigenvector of the curl operator. Beltrami fields describe steady flows in fluid dynamics and force free magnetic fields in plasma turbulence. By application of the Lie-Darboux theorem of differential geoemtry, we prove a local representation theorem for Beltrami fields. We find that, locally, a Beltrami field has a standard form amenable to an Arnold-Beltrami-Childress flow with two of the parameters set to zero. Furthermore, a Beltrami flow admits two local invariants, a coordinate representing the physical plane of the flow, and an angular momentum-like quantity in the direction across the plane. As a consequence of the theorem, we derive a method to construct Beltrami fields with given proportionality factor. This method, based on the solution of the eikonal equation, guarantees the existence of Beltrami fields for any orthogonal coordinate system such that at least two scale factors are equal. We construct several solenoidal and non-solenoidal Beltrami fields with both homogeneous and inhomogeneous proportionality factors.


title: Tracking by Animation: Unsupervised Learning of Multi-Object Attentive Trackers

abstract: Online Multi-Object Tracking (MOT) from videos is a challenging computer vision task which has been extensively studied for decades. Most of the existing MOT algorithms are based on the Tracking-by-Detection (TBD) paradigm combined with popular machine learning approaches which largely reduce the human effort to tune algorithm parameters. However, the commonly used supervised learning approaches require the labeled data (e.g., bounding boxes), which is expensive for videos. Also, the TBD framework is usually suboptimal since it is not end-to-end, i.e., it considers the task as detection and tracking, but not jointly. To achieve both label-free and end-to-end learning of MOT, we propose a Tracking-by-Animation framework, where a differentiable neural model first tracks objects from input frames and then animates these objects into reconstructed frames. Learning is then driven by the reconstruction error through backpropagation. We further propose a Reprioritized Attentive Tracking to improve the robustness of data association. Experiments conducted on both synthetic and real video datasets show the potential of the proposed model. Our project page is publicly available at: https://github.com/zhen-he/tracking-by-animation


title: The geometry of a positively curved Zoll surface of revolution

abstract: In this paper, we study the geometry of the manifolds of geodesics of a Zoll surface of positive Gauss curvature, show how these metrics induce Finsler metrics of constant flag curvature and give some explicit constructions.


title: Bulk-Boundary Correspondence in a Non-Hermitian System in One Dimension with Chiral-Inversion Symmetry

abstract: Asymmetric coupling amplitudes effectively create an imaginary gauge field, which induces a non-Hermitian Aharonov-Bohm (AB) effect. Nonzero imaginary magnetic flux invalidates the bulk-boundary correspondence and leads to a topological phase transition. However, the way of non-Hermiticity appearance may alter the system topology. By alternatively introducing the non-Hermiticity under symmetry to prevent nonzero imaginary magnetic flux, the bulk-boundary correspondence recovers and every bulk state becomes extended; the bulk topology of Bloch Hamiltonian predicts the (non)existence of edge states and topological phase transition. These are elucidated in a non-Hermitian Su-Schrieffer-Heeger model, where chiral-inversion symmetry ensures the vanishing of imaginary magnetic flux. The average value of Pauli matrices under the eigenstate of chiral-inversion symmetric Bloch Hamiltonian defines a vector field, the vorticity of topological defects in the vector field is a topological invariant. Our findings are applicable in other non-Hermitian systems. We first uncover the roles played by non-Hermitian AB effect and chiral-inversion symmetry for the breakdown and recovery of bulk-boundary correspondence, and develop new insights for understanding non-Hermitian topological phases of matter.


title: Deep MR Image Super-Resolution Using Structural Priors

abstract: High resolution magnetic resonance (MR) images are desired for accurate diagnostics. In practice, image resolution is restricted by factors like hardware, cost and processing constraints. Recently, deep learning methods have been shown to produce compelling state of the art results for image super-resolution. Paying particular attention to desired hi-resolution MR image structure, we propose a new regularized network that exploits image priors, namely a low-rank structure and a sharpness prior to enhance deep MR image superresolution. Our contributions are then incorporating these priors in an analytically tractable fashion in the learning of a convolutional neural network (CNN) that accomplishes the super-resolution task. This is particularly challenging for the low rank prior, since the rank is not a differentiable function of the image matrix (and hence the network parameters), an issue we address by pursuing differentiable approximations of the rank. Sharpness is emphasized by the variance of the Laplacian which we show can be implemented by a fixed {\em feedback} layer at the output of the network. Experiments performed on two publicly available MR brain image databases exhibit promising results particularly when training imagery is limited.