title: SMERC: Social media event response clustering using textual and temporal information

abstract: Tweet clustering for event detection is a powerful modern method to automate the real-time detection of events. In this work we present a new tweet clustering approach, using a probabilistic approach to incorporate temporal information. By analysing the distribution of time gaps between tweets we show that the gaps between pairs of related tweets exhibit exponential decay, whereas the gaps between unrelated tweets are approximately uniform. Guided by this insight, we use probabilistic arguments to estimate the likelihood that a pair of tweets are related, and build an improved clustering method. Our method Social Media Event Response Clustering (SMERC) creates clusters of tweets based on their tendency to be related to a single event. We evaluate our method at three levels: through traditional event prediction from tweet clustering, by measuring the improvement in quality of clusters created, and also comparing the clustering precision and recall with other methods. By applying SMERC to tweets collected during a number of sporting events, we demonstrate that incorporating temporal information leads to state of the art clustering performance.


title: Analysis of Dirac Point in the Organic Conductor $\alpha$-(BEDT-TTF)$_2$I$_3$

abstract: The Dirac electron in the organic conductor $\alpha$-(BEDT-TTF)$_2$I$_3$ under pressure is analyzed using a tight-binding model with nearest-neighbor transfer energies and four molecules per unit cell. By noting that the Dirac point between the first and second energy bands emerges or merges followed by the level crossing at a time-reversal invariant momentum (TRIM), an effective Hamiltonian is derived on the basis of these two wave functions at the TRIM, which have different parities associated with an inversion symmetry around the inversion center. We demonstrate that the Dirac point is determined by an intersection of two kinds of lines originating from the Hamiltonian described by symmetric and antisymmetric functions around the TRIM. The present method quantitatively gives a reasonable location of the Dirac point of $\alpha$-(BEDT-TTF)$_2$I$_3$ in a wide pressure range.


title: PanJoin: A Partition-based Adaptive Stream Join

abstract: In stream processing, stream join is one of the critical sources of performance bottlenecks. The sliding-window-based stream join provides a precise result but consumes considerable computational resources. The current solutions lack support for the join predicates on large windows. These algorithms and their hardware accelerators are either limited to equi-join or use a nested loop join to process all the requests. In this paper, we present a new algorithm called PanJoin which has high throughput on large windows and supports both equi-join and non-equi-join. PanJoin implements three new data structures to reduce computations during the probing phase of stream join. We also implement the most hardware-friendly data structure, called BI-Sort, on FPGA. Our evaluation shows that PanJoin outperforms several recently proposed stream join methods by more than 1000x, and it also adapts well to highly skewed data.


title: Multiple-paths $SLE_\kappa$ in multiply connected domains

abstract: We define multiple-paths Schramm-Loewner evolution ($SLE_\kappa$) in multiply connected domains when $\kappa\leq 4$ and prove that in annuli, the partition function is smooth. Moreover, we give up-to-constant estimates for the partition function of bi-chordal annulus $SLE_\kappa$ measure and we establish a connection between this measure and two-sided $SLE_\kappa$ in the unit disk.


title: Shall I Compare Thee to a Machine-Written Sonnet? An Approach to Algorithmic Sonnet Generation

abstract: We provide an approach for generating beautiful poetry. Our sonnet-generation algorithm includes several novel elements that improve over the state of the art, leading to metrical, rhyming poetry with many human-like qualities. These novel elements include in-line punctuation, part of speech restrictions, and more appropriate training corpora. Our work is the winner of the 2018 PoetiX Literary Turing Test Award for computer-generated poetry.


title: Five Non-Fritzsch Texture Zeros for Quarks Mass Matrices in the Standard Model

abstract: In the Standard Model, we obtain a non-Fritzsch like configuration with five texture zeros for the quark mass matrices. This matrix generates the quark masses, the inner angles of the CKM unitary triangle, and the CP-violating phase in the quark sector. This work can be applied to the PMNS matrix in the lepton sector, by assuming Dirac masses for the neutrinos, where non-trivial predictions for the neutrino masses and mixing angles are expected.


title: The first passage time density of Brownian motion and the heat equation with Dirichlet boundary condition in time dependent domains

abstract: In [4], it is proved that we can have a continuous first-passage-time density function of one dimensional standard Brownian motion when the boundary is H\"older continuous with exponent greater than 1/2. For the purpose of extending [4] into multidimensional domains, we show that there exists a continuous first-passage-time density function of standard $d$-dimensional Brownian motion in moving boundaries in $\mathbb{R}^{d}$, $d\geq 2$, under a $C^{3}$-diffeomorphism. Similarly as in [4], by using a property of local time of standard $d$-dimensional Brownian motion and the heat equation with Dirichlet boundary condition, we find a sufficient condition for the existence of the continuous density function.


title: A decay estimate for the eigenvalues of the Neumann-Poincar\'{e} operator in two dimensions using the Grunsky coefficients

abstract: We investigate the decay property of the eigenvalues of the Neumann-Poincar\'{e} operator in two dimensions. As is well-known, this operator admits only a sequence of eigenvalues that accumulates to zero as its spectrum for a bounded domain having $C^{1,\alpha}$ boundary with $\alpha\in (0,1)$. In this paper, we show that the eigenvalue $\lambda_k$'s of the Neumann-Poincar\'{e} operator ordered by size satisfy that $|\lambda_k| = O(k^{-p-\alpha+1/2})$ for an arbitrary simply connected domain having $C^{1+p,\alpha}$ boundary with $p\geq 0,~ \alpha\in(0,1)$ and $p+\alpha>\frac{1}{2}$.


title: Inverse Kinematics and Sensitivity Minimization of an n-Stack Stewart Platform

abstract: An autonomous system is presented to solve the problem of in space assembly, which can be used to further the NASA goal of deep space exploration. Of particular interest is the assembly of large truss structures, which requires precise and dexterous movement in a changing environment. A prototype of an autonomous manipulator called "Assemblers" was fabricated from an aggregation of Stewart Platform robots for the purpose of researching autonomous in space assembly capabilities. The forward kinematics for an Assembler is described by the set of translations and rotation angles for each component Stewart Platform, from which the position and orientation of the end effector are simple to calculate. However, selecting inverse kinematic poses, defined by the translations and rotation angles, for the Assembler requires coordination between each Stewart Platform and is an underconstrained non-linear optimization problem. For assembly tasks, it is ideal that the pose selected has the least sensitivity to disturbances possible. A method of sensitivity reduction is proposed by minimizing the Frobenius Norm (FN) of the Jacobian for the forward kinematics. The effectiveness of the FN method will be demonstrated through a Monte Carlo simulation method to model random motion internal to the structure.


title: Private Model Compression via Knowledge Distillation

abstract: The soaring demand for intelligent mobile applications calls for deploying powerful deep neural networks (DNNs) on mobile devices. However, the outstanding performance of DNNs notoriously relies on increasingly complex models, which in turn is associated with an increase in computational expense far surpassing mobile devices' capacity. What is worse, app service providers need to collect and utilize a large volume of users' data, which contain sensitive information, to build the sophisticated DNN models. Directly deploying these models on public mobile devices presents prohibitive privacy risk. To benefit from the on-device deep learning without the capacity and privacy concerns, we design a private model compression framework RONA. Following the knowledge distillation paradigm, we jointly use hint learning, distillation learning, and self learning to train a compact and fast neural network. The knowledge distilled from the cumbersome model is adaptively bounded and carefully perturbed to enforce differential privacy. We further propose an elegant query sample selection method to reduce the number of queries and control the privacy loss. A series of empirical evaluations as well as the implementation on an Android mobile device show that RONA can not only compress cumbersome models efficiently but also provide a strong privacy guarantee. For example, on SVHN, when a meaningful $(9.83,10^{-6})$-differential privacy is guaranteed, the compact model trained by RONA can obtain 20$\times$ compression ratio and 19$\times$ speed-up with merely 0.97% accuracy loss.


title: Regularized Zero-Variance Control Variates

abstract: Zero-variance control variates (ZV-CV) are a post-processing method to reduce the variance of Monte Carlo estimators of expectations using the derivatives of the log target. Once the derivatives are available, the only additional computational effort lies in solving a linear regression problem. Significant variance reductions have been achieved with this method in low dimensional examples, but the number of covariates in the regression rapidly increases with the dimension of the target. In this paper, we present compelling empirical evidence that the use of penalized regression techniques in the selection of high-dimensional control variates provides performance gains over the classical least squares method. Another type of regularization based on using subsets of derivatives, or a priori regularization as we refer to it in this paper, is also proposed to reduce computational and storage requirements. Several examples showing the utility and limitations of regularized ZV-CV for Bayesian inference are given. The methods proposed in this paper are accessible through the R package ZVCV.


title: Losing Connection:the Modal Logic of Definable Link Deletion

abstract: In this article, we start with a two-player game that models communication under adverse circumstances in everyday life and study it from the perspective of a modal logic of graphs, where links can be deleted locally according to definitions available to the adversarial player. We first introduce a new language, semantics, and some typical validities. We then formulate a new type of first-order translation for this modal logic and prove its correctness. Then, a novel notion of bisimulation is proposed which leads to a characterization theorem for the logic as a fragment of first-order logic, and a further investigation is made of its expressive power against hybrid modal languages. Next, we discuss how to axiomatize this logic of link deletion, using dynamic-epistemic logics as a contrast. Finally, we show that our new modal logic lacks both the tree model property and the finite model property, and that its satisfiability problem is undecidable.


title: Multifractal spectra of Moran measures without local dimension

abstract: A measure without local dimension is a measure such that local dimension does not exist for any point in its support. In this paper, we construct such a class of Moran measures and study their lower and upper local dimensions. We show that the related "free energy" function ($L^q$-spectrum) does not exist. Nevertheless, we can obtain the full Hausdroff and packing dimension spectra for level sets defined by lower and upper local dimensions. They can be viewed as a generalized multifractal formalism.


title: Learning from Binary Multiway Data: Probabilistic Tensor Decomposition and its Statistical Optimality

abstract: We consider the problem of decomposing a higher-order tensor with binary entries. Such data problems arise frequently in applications such as neuroimaging, recommendation system, topic modeling, and sensor network localization. We propose a multilinear Bernoulli model, develop a rank-constrained likelihood-based estimation method, and obtain the theoretical accuracy guarantees. In contrast to continuous-valued problems, the binary tensor problem exhibits an interesting phase transition phenomenon according to the signal-to-noise ratio. The error bound for the parameter tensor estimation is established, and we show that the obtained rate is minimax optimal under the considered model. Furthermore, we develop an alternating optimization algorithm with convergence guarantees. The efficacy of our approach is demonstrated through both simulations and analyses of multiple data sets on the tasks of tensor completion and clustering.


title: Task Graph Transformations for Latency Tolerance

abstract: The Integrative Model for Parallelism (IMP) derives a task graph from a higher level description of parallel algorithms. In this note we show how task graph transformations can be used to achieve latency tolerance in the program execution. We give a formal derivation of the graph transformation, and show through simulation how latency tolerant algorithms can be faster than the naive execution in a strong scaling scenario.


title: Theoretical Analysis of Functionally Graded Piezoelectric Thick-walled Cylinder Subjected to Mechanical and Electric Loadings

abstract: In this paper, the theoretical analysis for a hollow thick-walled functionally graded piezoelectric cylinder subjected to electric and mechanical loads are developed. The cylinder consists of two materials (PZT4 and PVDF) and the volume fraction of PZT4 is given in the three variable parameters power law form. By using the Voigt method and the assumption of a uniform strain field within the two linear elastic constituents, the complex hypergeometric differential equation of the radial displacement is obtained. Then the solutions of the radial displacement, the stresses, and the electric potential are derived and solved. The method in this paper is more suitable for actual engineering gradient piezoelectric materials, and the volume fraction function can cover more complicated situations. Finally, the influence of the parameter n in volume fraction on the mechanical behaviors are investigated, and the difference between the circumferential and radial stresses is discussed to reduce the stress concentration in the functionally graded piezoelectric cylinder.


title: The Eclipsing $\delta$ Scuti Star EPIC 245932119

abstract: We present the physical properties of EPIC 245932119 ($K_{\rm p}$ = $+$9.82) exhibiting both eclipses and pulsations from the {\it K{\rm 2}} photometry. The binary modeling indicates that the eclipsing system is in detached or semi-detached configurations with a mass ratio of 0.283 or 0.245, respectively, and that its light-curve parameters are almost unaffected by pulsations. Multiple frequency analyses were performed for the light residuals in the outside-primary eclipsing phase after subtracting the binarity effects from the observed data. We detected 35 frequencies with signal to noise amplitude ratios larger than 4.0 in two regions of 0.62$-$6.28 day$^{-1}$ and 19.36$-$24.07 day$^{-1}$. Among these, it is possible that some high signals close to the Nyquist limit $f_{\rm Ny}$ may be reflections of real pulsation frequencies (2$f_{\rm Ny}-f_i$). All frequencies ($f_8$, $f_9$, $f_{14}$, $f_{18}$, $f_{24}$, $f_{32}$) in the lower frequency region are orbital harmonics, and three high frequencies ($f_{19}$, $f_{20}$, $f_{22}$) appear to be sidelobes split from the main frequency of $f_1$ = 22.77503 day$^{-1}$. Most of them are thought to be alias effects caused by the orbital frequency. For the 26 other frequencies, the pulsation periods and pulsation constants are in the ranges of 0.041$-$0.052 days and 0.013$-$0.016 days, respectively. These values and the position in the Hertzsprung-Russell diagram reveal that the primary component is a $\delta$ Sct pulsator. The observational properties of EPIC 245932119 are in good agreement with those for eclipsing binaries with $\delta$ Sct-type pulsating components.


title: Global stability of prey-taxis-Navier-Stokes system

abstract: In this paper, we are concerned with the following prey-taxis system with fluid surrounding describing by the incompressible Navier-Stokes equations in a bounded domain with smooth boundary. We show that it has global classical solutions and give decay properties of these solutions.


title: Transits of the QCD Critical Point

abstract: We analyze the evolution of hydrodynamic fluctuations in a heavy ion collision as the system passes close to the QCD critical point. We introduce two small dimensionless parameters $\lambda$ and $\Delta_s$ to characterize the evolution. $\lambda$ compares the microscopic relaxation time (away from the critical point) to the expansion rate $\lambda \equiv \tau_0/\tau_Q$, and $\Delta_s$ compares the baryon to entropy ratio, $n/s$, to its critical value, $\Delta_s\equiv (n/s - n_c/s_c)/(n_c/s_c)$. We determine how the evolution of critical hydrodynamic fluctuations depends parametrically on $\lambda$ and $\Delta_s$. Finally, we use this parametric reasoning to estimate the critical fluctuations and correlation length for a heavy ion collision, and to give guidance to the experimental search for the QCD critical point.


title: A Unified Model for Opinion Target Extraction and Target Sentiment Prediction

abstract: Target-based sentiment analysis involves opinion target extraction and target sentiment classification. However, most of the existing works usually studied one of these two sub-tasks alone, which hinders their practical use. This paper aims to solve the complete task of target-based sentiment analysis in an end-to-end fashion, and presents a novel unified model which applies a unified tagging scheme. Our framework involves two stacked recurrent neural networks: The upper one predicts the unified tags to produce the final output results of the primary target-based sentiment analysis; The lower one performs an auxiliary target boundary prediction aiming at guiding the upper network to improve the performance of the primary task. To explore the inter-task dependency, we propose to explicitly model the constrained transitions from target boundaries to target sentiment polarities. We also propose to maintain the sentiment consistency within an opinion target via a gate mechanism which models the relation between the features for the current word and the previous word. We conduct extensive experiments on three benchmark datasets and our framework achieves consistently superior results.


title: Toward Human-Centered Simulation Modeling for Critical Infrastructure Disaster Recovery Planning

abstract: Critical infrastructure is vulnerable to a broad range of hazards. Timely and effective recovery of critical infrastructure after extreme events is crucial. However, critical infrastructure disaster recovery planning is complicated and involves both domain- and user-centered characteristics and complexities. Recovery planning currently uses few quantitative computer-based tools and instead largely relies on expert judgment. Simulation modeling can simplify domain-centered complexities but not the human factors. Conversely, human-centered design places end-users at the center of design. We discuss the benefits of combining simulation modeling with human-centered design and refer it as human-centered simulation modeling. Human-centered simulation modeling has the capability to make recovery planning simpler and more understandable for critical infrastructure and emergency management experts and other recovery planning decision-makers.


title: Obstructions for Symplectic Lie Algebroids

abstract: Several types of generically-nondegenerate Poisson structures can be effectively studied as symplectic structures on naturally associated Lie algebroids. Relevant examples of this phenomenon include log-, elliptic, $b^k$-, scattering and elliptic-log Poisson structures. In this paper we discuss topological obstructions to the existence of such Poisson structures, obtained through the characteristic classes of their associated symplectic Lie algebroids. In particular we obtain the full obstructions for surfaces to carry such Poisson structures.


title: Domain Agnostic Real-Valued Specificity Prediction

abstract: Sentence specificity quantifies the level of detail in a sentence, characterizing the organization of information in discourse. While this information is useful for many downstream applications, specificity prediction systems predict very coarse labels (binary or ternary) and are trained on and tailored toward specific domains (e.g., news). The goal of this work is to generalize specificity prediction to domains where no labeled data is available and output more nuanced real-valued specificity ratings. We present an unsupervised domain adaptation system for sentence specificity prediction, specifically designed to output real-valued estimates from binary training labels. To calibrate the values of these predictions appropriately, we regularize the posterior distribution of the labels towards a reference distribution. We show that our framework generalizes well to three different domains with 50%~68% mean absolute error reduction than the current state-of-the-art system trained for news sentence specificity. We also demonstrate the potential of our work in improving the quality and informativeness of dialogue generation systems.


title: Fundamentals of Gaussian CM Sequences

abstract: Markov processes are widely used in modeling random phenomena/problems. However, they may not be adequate in some cases where more general processes are needed. The conditionally Markov (CM) process is a generalization of the Markov process based on conditioning. There are several classes of CM processes (one of them is the class of reciprocal processes), which provide more capability (than Markov) for modeling random phenomena. Reciprocal processes have been used in many different applications (e.g., image processing, intent inference, intelligent systems). In this paper, nonsingular Gaussian (NG) CM sequences are studied, characterized, and their dynamic models are presented. The presented results provide effective tools for studying reciprocal sequences from the CM viewpoint, which is different from that of the literature. Also, the presented models and characterizations serve as a basis for application of CM sequences, e.g., in motion trajectory modeling with destination information.


title: Parallel Stochastic Asynchronous Coordinate Descent: Tight Bounds on the Possible Parallelism

abstract: Several works have shown linear speedup is achieved by an asynchronous parallel implementation of stochastic coordinate descent so long as there is not too much parallelism. More specifically, it is known that if all updates are of similar duration, then linear speedup is possible with up to $\Theta(\sqrt n L_{\max}/L_{\overline{\mathrm{res}}})$ processors, where $L_{\max}$ and $L_{\overline{\mathrm{res}}}$ are suitable Lipschitz parameters. This paper shows the bound is tight for almost all possible values of these parameters.


title: Suppression of the Spectral Cross Talk of Optogenetic Switching by Stimulated Depletion Quenching. Theoretical Analysis

abstract: Optogenetics is a rapidly growing field of biotechnology, potentially allowing a deeper understanding and control of complex biological networks. The major challenge is the multiplexed control of several optogenetic components in the presence of significant spectral cross talk. We propose and demonstrate through simulations a new control approach of Stimulated Depletion Quenching. This approach is applied to the phytochrome Cph8 bidirectional optogenetic switch, and the results show significant improvement of its dynamic range.


title: Stress in a polymer brush

abstract: We study the stress distribution in a polymer brush material over a range of graft densities using molecular dynamics (MD) simulations and theory. Flexible polymer chains are treated as beads connected by nonlinear springs governed by a modified finitely extensible nonlinear elastic (FENE) potential in MD simulations. Simulations confirmed the quartic variation of the normal stress parallel to the substrate, within the bulk of the brush, as predicted in our previous work, for low graft densities. However, in the high graft density regime, the Gaussian chain elasticity assumption is violated by finite extensibility effects (force-extension divergence) and the restriction to binary interaction among monomers is insufficient. This motivated us to extend a semi-analytical strong stretching mean field theory (SST) for polymer brushes, based on Langevin chains and a modified Carnahan-Starling equation of state to model monomer interactions. Our extended theory elucidates the stress and monomer density profiles obtained from MD simulations, as well as reproduces Gaussian chain results for small graft densities. A good agreement is observed between predictions of MD and Langevin chain SST for monomer density profile, end density profile and stress profile in high graft density regime, without fitting parameters (virial coefficients). Quantitative comparisons of MD results with various available theories suggest that excluded volume correlations may be important.


title: A General Method for Amortizing Variational Filtering

abstract: We introduce the variational filtering EM algorithm, a simple, general-purpose method for performing variational inference in dynamical latent variable models using information from only past and present variables, i.e. filtering. The algorithm is derived from the variational objective in the filtering setting and consists of an optimization procedure at each time step. By performing each inference optimization procedure with an iterative amortized inference model, we obtain a computationally efficient implementation of the algorithm, which we call amortized variational filtering. We present experiments demonstrating that this general-purpose method improves performance across several deep dynamical latent variable models.


title: Stability enhancement by induced synchronization using transient uncoupling in certain coupled chaotic systems

abstract: In this work, we report the enhanced stability of induced synchronization observed through transient uncoupling in a class of unidirectionally coupled identical chaotic systems. The phenomenon of transient uncoupling implies the clipping of the chaotic attractor of the driven system in a drive-driven scenario and making the coupling strength active over the clipped regions. The {\emph{Master Stability Function}} (MSF) is used to determine the stability of the synchronized states for a finite clipping fraction in unidirectionally coupled chaotic systems subjected to transient uncoupling for fixed values of coupling strength. The effectiveness of transient uncoupling is observed through the existence of negative regions in the MSF spectrum for larger values of coupling strength. Further the two-parameter bifurcation diagram indicating the regions of stable synchronization for different values of clipping fraction and coupling strength has been obtained. The effect of the symmetry of chaotic attractors in enhancing the stability of synchronized states of coupled chaotic systems subjected to transient uncoupling is studied.


title: Single-Photon Rydberg Excitation and Trap-Loss Spectroscopy of Cold Cesium Atoms in a Magneto-Optical Trap by Using of a 319-nm Ultra-Violet Laser System

abstract: We demonstrate the single-photon Rydberg excitation of cesium atoms in a magneto-optical trap (MOT). We excite atoms directly from ${{6S}_{1/2}}$ ground state to ${{nP}_{3/2}}(n=70-100)$ Rydberg state with a narrow-linewidth 319 nm ultra-violet laser. The detection of Rydberg states is performed by monitoring the reduction of fluorescence signal of the MOT as partial population on ${{6S}_{1/2}} (F = 4)$ ground state are transferred to Rydberg state. We clearly observe Autler-Townes doublet in the trap-loss spectra due to the cooling lights. Utilizing the large electric polarizibility of Rydberg atoms, we observe Stark splitting in the Autler-Townes doublet induced by background DC electric fields. We investigate the dependence of Stark shift on electric fields by theoretical analysis, and then infer the DC electric field from the measured Stark splitting. We find that there is a 44.8(4) mV/cm DC electric field in the vicinity of the cold ensemble. It indicates that high-lying Rydberg atoms can be used as sensors for DC electric fields.


title: Design and simulation of a low dark current metal/silicon/metal integrated plasmonic detector

abstract: Silicon-based waveguide plasmon detectors have a great research interest because of CMOS compatibility and integration capability with other plasmonic integrated circuits. In this paper, a balanced metal-semiconductor-metal (MSM) integrated plasmonic detector is proposed to isolate the output from dark current and made it suitable for low noise applications. Performance characteristics of the new device are numerically simulated. In a specific bias point (V = 3 V), the output current is estimated to be about 31.8 {\mu}A and responsivity is 0.1288 A/W for a device with 2 {\mu}m2 area. Simulation results for this balanced Plasmon detector demonstrate considerable dark current reduction compared with unbalanced plasmon detectors. Our estimated theoretical I-V characteristic, fits appropriately with experimental curve results reported before.


title: A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples

abstract: We enumerate all circulant good matrices with odd orders divisible by 3 up to order 70. As a consequence of this we find a previously overlooked set of good matrices of order 27 and a new set of good matrices of order 57. We also find that circulant good matrices do not exist in the orders 51, 63, and 69, thereby finding three new counterexamples to the conjecture that such matrices exist in all odd orders. Additionally, we prove a new relationship between the entries of good matrices and exploit this relationship in our enumeration algorithm. Our method applies the SAT+CAS paradigm of combining computer algebra functionality with modern SAT solvers to efficiently search large spaces which are specified by both algebraic and logical constraints.


title: A Local Regret in Nonconvex Online Learning

abstract: We consider an online learning process to forecast a sequence of outcomes for nonconvex models. A typical measure to evaluate online learning algorithms is regret but such standard definition of regret is intractable for nonconvex models even in offline settings. Hence, gradient based definition of regrets are common for both offline and online nonconvex problems. Recently, a notion of local gradient based regret was introduced. Inspired by the concept of calibration and a local gradient based regret, we introduce another definition of regret and we discuss why our definition is more interpretable for forecasting problems. We also provide bound analysis for our regret under certain assumptions.


title: Treating Wavefront Measurement Error in Estimation of Non-Common Path Aberration for Direct Imaging of Exoplanets

abstract: One of the major difficulties limiting ground-based direct imaging of exoplanets with adaptive optics is quasi-static speckles in the science camera (SC) that obscure the planetary image. These speckles are caused by aberrations, called non-common path aberrations (NCPA), that are not corrected in the adaptive optics loop, and all attempts to subtract them in post-processing have been problematic. The method of Frazin (2013) (F13) uses simultaneous millisecond telemetry from wavefront sensor (WFS) and the SC to estimate the both the NCPA and the exoplanet image in a self-consistent manner. Rodack et al. (2018) proposed correcting for the NCPA in real-time while on-sky using the F13 estimation method, and called this procedure the "Real-Time Frazin Algorithm." The original regression model underlying the F13 method did not account for uncertainty in the WFS measurements, and this cannot be done with standard statistical methodology since these uncertainties manifest themselves in the independent variables (i.e., they cannot be treated as another source of noise in the SC data). Further, simulations show that simply using the noisy wavefront measurements without accounting for their uncertainties leads to estimates of the NCPA with unacceptably large bias. Here, the source of this bias is explained in terms of an "errors in variables" statistical model. Then, the method of F13 is generalized to account for WFS measurement error using a new sequential estimation technique that treats the nonlinear coupling between NCPA, WFS measurements and the error covariance of the WFS measurements. This new technique keeps a running estimate of the NCPA, the exoplanet image and their joint covariance matrix. The sequential implementation of the method should make it computationally efficient enough to be suitable for on-sky correction of the NCPA as well as off-line analysis.


title: Exploring RNN-Transducer for Chinese Speech Recognition

abstract: End-to-end approaches have drawn much attention recently for significantly simplifying the construction of an automatic speech recognition (ASR) system. RNN transducer (RNN-T) is one of the popular end-to-end methods. Previous studies have shown that RNN-T is difficult to train and a very complex training process is needed for a reasonable performance. In this paper, we explore RNN-T for a Chinese large vocabulary continuous speech recognition (LVCSR) task and aim to simplify the training process while maintaining performance. First, a new strategy of learning rate decay is proposed to accelerate the model convergence. Second, we find that adding convolutional layers at the beginning of the network and using ordered data can discard the pre-training process of the encoder without loss of performance. Besides, we design experiments to find a balance among the usage of GPU memory, training circle and model performance. Finally, we achieve 16.9% character error rate (CER) on our test set which is 2% absolute improvement from a strong BLSTM CE system with language model trained on the same text corpus.


title: Estimating Oscillatory Integrals of Convolution Type in $\mathbb{R}^d$

abstract: In this paper, we prove an $L^2-L^2-L^2$ decay estimate for a trilinear oscillatory integral of convolution type in $\mathbb{R}^d,$ which recovers the earlier result of Li (2013) when $d=1.$ We discuss the sharpness of our result in the $d=2$ case. Our main hypothesis has close connections to the property of simple nondegeneracy studied by Christ, Li, Tao and Thiele (2005).


title: High order exceptional points in ultracold Bose gases

abstract: We show that arbitrarily high-order exceptional points (EPs) can be achieved in a repulsively interacting two-species Bose gas in one dimension. By exactly solving the non-Hermitian two-boson problem, we demonstrate the existence of third-order EPs when the system is driven across the parity-time symmetry breaking transition. We further address the fourth-order EPs with three bosons and generalize the results to $N$-body system, where the EP order can be as high as $N+1$. Physically, such high order originates from the intrinsic ferromagnetic correlation in spinor bosons, which renders the entire system collectively behave as a single huge spin. Moreover, we show how to create ultra-sensitive spectral response around EPs via an interaction anisotropy in different spin channels. Our work puts forward the possibility of atomic sensors made from highly controllable ultracold gases.


title: Balancing Relevance and Diversity in Online Bipartite Matching via Submodularity

abstract: In bipartite matching problems, vertices on one side of a bipartite graph are paired with those on the other. In its online variant, one side of the graph is available offline, while the vertices on the other side arrive online. When a vertex arrives, an irrevocable and immediate decision should be made by the algorithm; either match it to an available vertex or drop it. Examples of such problems include matching workers to firms, advertisers to keywords, organs to patients, and so on. Much of the literature focuses on maximizing the total relevance---modeled via total weight---of the matching. However, in many real-world problems, it is also important to consider contributions of diversity: hiring a diverse pool of candidates, displaying a relevant but diverse set of ads, and so on. In this paper, we propose the Online Submodular Bipartite Matching (\osbm) problem, where the goal is to maximize a submodular function $f$ over the set of matched edges. This objective is general enough to capture the notion of both diversity (\emph{e.g.,} a weighted coverage function) and relevance (\emph{e.g.,} the traditional linear function)---as well as many other natural objective functions occurring in practice (\emph{e.g.,} limited total budget in advertising settings). We propose novel algorithms that have provable guarantees and are essentially optimal when restricted to various special cases. We also run experiments on real-world and synthetic datasets to validate our algorithms.


title: Ultra-dense LEO: Integrating Terrestrial-Satellite Networks into 5G and Beyond for Data Offloading

abstract: In this paper, we propose a terrestrial-satellite network (TSN) architecture to integrate the ultra-dense low earth orbit (LEO) networks and the terrestrial networks to achieve efficient data offloading. In TSN, each ground user can access the network over C-band via a macro cell, a traditional small cell, or a LEO-backhauled small cell (LSC). Each LSC is then scheduled to upload the received data via multiple satellites over Ka-band. We aim to maximize the sum data rate and the number of accessed users while satisfying the varying backhaul capacity constraints jointly determined by the LEO satellite based backhaul links. The optimization problem is then decomposed into two closely connected subproblems and solved by our proposed matching algorithms. Simulation results show that the integrated network significantly outperforms the non-integrated ones in terms of the sum data rate. The influence of the traffic load and LEO constellation on the system performance is also discussed.


title: Effect of the chiral phase transition on axion mass and self-coupling

abstract: We compute the effect of the chiral phase transition of QCD on the axion mass and self-coupling; the coupling of the axion to the quarks at finite temperature is described within the Nambu-Jona-Lasinio model. We find that the axion mass decreases with temperature, following the response of the topological susceptibility, in agreement with previous results obtained within chiral perturbation theory at low and intermediate temperatures. As expected, the comparison with lattice data shows that chiral perturbation theory fails to reproduce the topological susceptibility around the chiral critical temperature, while the Nambu$-$Jona-Lasinio model offers a better qualitative agreement with these data, hence a more reliable estimate of the temperature dependence of the axion mass in the presence of a hot quark medium. We complete our study by computing the temperature dependence of the self-coupling of the axion, finding that this coupling decreases at and above the phase transition. The model used in our work as well as the results presented here pave the way to the computation of the in-medium effects of hot and/or dense quark-gluon plasma on the axion properties.


title: Hydrodynamic and Solid Mechanics Analysis of Capillary Force-Induced Mold Deformation in Sub-10 nm UV Nanoimprint Lithography

abstract: A model has been developed to study the dynamic filling process and to investigate the capillary force-induced deformation of nanostructures on the imprint mold during ultraviolet nanoimprint lithography (UV-NIL) down to sub-10 nm resolution. The dynamic behavior of resist filling with varied physical parameters was investigated by a hydrodynamic model. The capillary force-induced deformation of mold structures was modeled using beam bending mechanics for both wetting and non-wetting mold structures. Theoretically calculated results were cross-validated with finite-element simulations using two-phase flow and solid mechanics methods. Based on the theoretical analysis, a general parameter of critical aspect ratio for design of imprint mold for UV-NIL is developed. The investigation of capillary force-induced deformation in UV-NIL helps to deepen the understanding of dynamic mechanism of resist filling and structural deformation at sub-10 nm scale and enable optimization for high-fidelity UV-NIL.


title: Triadic Social Structure Facilitates Backing for Crowdfunding Projects

abstract: Crowdfunding is a new funding method through which founders request small amounts of funding from a large number of people through an online platform. Crowdfunding facilitates a new type of social capital and exhibits a unique form of social dynamics, thus attracting the interest of sociologists and other social scientists. Previous studies have focused on social relationships in crowdfunding such as direct reciprocity and consider how they contribute to the success of funding. The social structure of crowdfunding, however, involves more complex social relationships and it may contribute to the success of a new venture or project in many ways. In this study, we focus on a specific type of triadic social structure, the buddy relation, which can be described as a relationship through which project founder x, who previously backed another founder z's project, receives financial backing from the other backers of z's project. We found that the buddy relation occurs significantly more often than randomly, concluding that this structure facilitates the gathering of financial backing and may contribute to the success of a crowdfunded project.


title: Neuroimaging Modality Fusion in Alzheimer's Classification Using Convolutional Neural Networks

abstract: Automated methods for Alzheimer's disease (AD) classification have the potential for great clinical benefits and may provide insight for combating the disease. Machine learning, and more specifically deep neural networks, have been shown to have great efficacy in this domain. These algorithms often use neurological imaging data such as MRI and PET, but a comprehensive and balanced comparison of these modalities has not been performed. In order to accurately determine the relative strength of each imaging variant, this work performs a comparison study in the context of Alzheimer's dementia classification using the Alzheimer's Disease Neuroimaging Initiative (ADNI) dataset. Furthermore, this work analyzes the benefits of using both modalities in a fusion setting and discusses how these data types may be leveraged in future AD studies using deep learning.


title: Interpreting Models by Allowing to Ask

abstract: Questions convey information about the questioner, namely what one does not know. In this paper, we propose a novel approach to allow a learning agent to ask what it considers as tricky to predict, in the course of producing a final output. By analyzing when and what it asks, we can make our model more transparent and interpretable. We first develop this idea to propose a general framework of deep neural networks that can ask questions, which we call asking networks. A specific architecture and training process for an asking network is proposed for the task of colorization, which is an exemplar one-to-many task and thus a task where asking questions is helpful in performing the task accurately. Our results show that the model learns to generate meaningful questions, asks difficult questions first, and utilizes the provided hint more efficiently than baseline models. We conclude that the proposed asking framework makes the learning agent reveal its weaknesses, which poses a promising new direction in developing interpretable and interactive models.


title: Towards the topological recursion for double Hurwitz numbers

abstract: Single Hurwitz numbers enumerate branched covers of the Riemann sphere with specified genus, prescribed ramification over infinity, and simple branching elsewhere. They exhibit a remarkably rich structure. In particular, they arise as intersection numbers on moduli spaces of curves and are governed by the topological recursion of Chekhov, Eynard and Orantin. Double Hurwitz numbers are defined analogously, but with prescribed ramification over both zero and infinity. Goulden, Jackson and Vakil have conjectured that double Hurwitz numbers also arise as intersection numbers on moduli spaces. In this paper, we repackage double Hurwitz numbers as enumerations of branched covers weighted by certain monomials and conjecture that they are governed by the topological recursion. Evidence is provided in the form of the associated quantum curve and low genus calculations. We furthermore reduce the conjecture to a weaker one, concerning a certain polynomial structure of double Hurwitz numbers. Via the topological recursion framework, our main conjecture should lead to a direct connection to enumerative geometry, thus shedding light on the aforementioned conjecture of Goulden, Jackson and Vakil.


title: Theory of light-activated catalytic Janus particles

abstract: We study the dynamics of active Janus particles that self-propel in solution by light-activated catalytic decomposition of chemical "fuel." We develop an analytical model of a photo-active self-phoretic particle that accounts for "self-shadowing" of the light by the opaque catalytic face of the particle. We find that self-shadowing can drive "phototaxis" (rotation of the catalytic cap towards the light source) or "anti-phototaxis," depending on the properties of the particle. Incorporating the effect of thermal noise, we show that the distribution of particle orientations is captured by a Boltzmann distribution with a nonequilibrium effective potential. Furthermore, the mean vertical velocity of phototactic (anti-phototactic) particles exhibits a superlinear (sublinear) dependence on intensity. Overall, our findings show that photo-active particles exhibit a rich "tactic" response to light, which could be harnessed to program complex three-dimensional trajectories.


title: Gluck twists along 2-knots with periodic monodromy

abstract: The union of singular orbits of an effective locally smooth circle action on the 4-sphere consists of two 2-knots, $K$ and $K^{\prime}$, intersecting at two points transversely. Each of $K$ and $K^{\prime}$ is called a branched twist spin. A twist spun knot is an example of a branched twist spin. The Gluck twists along branched twist spins are studied by Fintushel, Gordon and Pao. In this paper, we determine the 2-knot obtained from $K$ by the Gluck twist along $K^{\prime}$. As an application, we give infinitely many pairs of inequivalent branched twist spins whose complements are homeomorphic.


title: A Variational Inference based Detection Method for Repetition Coded Generalized Spatial Modulation

abstract: In this paper, we consider a simple coding scheme for spatial modulation (SM), where the same set of active transmit antennas is repeatedly used over consecutive multiple transmissions. Based on a Gaussian approximation, an approximate maximum likelihood (ML) detection problem is formulated to detect the indices of active transmit antennas. We show that the solution to the approximate ML detection problem can achieve a full coding gain. Furthermore, we develop a low-complexity iterative algorithm to solve the problem with low complexity based on a well-known machine learning approach, i.e., variational inference. Simulation results show that the proposed algorithm can have a near ML performance. A salient feature of the proposed algorithm is that its complexity is independent of the number of active transmit antennas, whereas an exhaustive search for the ML problem requires a complexity that grows exponentially with the number of active transmit antennas.


title: Dimension Engineering of Narrow Bandgap Semiconductor InAs Nanostructures in Wafer-Scale

abstract: Here, we demonstrate an approach that provides a precise control of the dimension of InAs from one-dimensional nanowires to wafer-scale free-standing two-dimensional nanosheets, which have a high degree of crystallinity and outstanding electrical and optical properties, using molecular-beam epitaxy by controlling catalyst alloy segregation. In our approach, two-dimensional InAs nanosheets can be obtained directly from one-dimensional InAs nanowires by silver-indium alloy segregation, which is much easier than all previously reported method, such as traditional buffering technique and select area epitaxial growth. Detailed transmission electron microscopy investigations provide a solid evidence that the catalyst alloy segregation is the origination of the InAs dimensional transformation from one-dimensional nanowires to two-dimensional nanosheets, and even to three-dimensional complex crosses. Using this method, we find that the wafer-scale free-standing InAs nanosheets can be grown on various substrates including Si, MgO, sapphire and GaAs etc. The InAs nanosheets grown at high temperature are pure phase single crystals and have a high electron mobility and a long time-resolved THz kinetics lifetime. Our work will open up a conceptually new and general technology route toward the effective controlling the dimension of the low-dimensional III-V semiconductors. It may also enable the low-cost fabrication of free-standing nanosheet-based devices on an industrial scale.


title: A note on the Schr\"odinger smoothing effect

abstract: The Kato-Yajima smoothing estimate is a smoothing weighted $L^2$ estimate with a singular power weight for the Schr\"odinger propagator. The weight has been generalized relatively recently to Morrey-Campanato weights. In this paper we make this generalization more sharp in terms of the so-called Kerman-Sawyer weights. Our result is based on a more sharpened Fourier restriction estimate in a weighted $L^2$ space. Obtained results are also extended to the fractional Schr\"odinger propagator.


title: Topological Area Graph Generation and its Application to Path Planning

abstract: Representing a scanned map of the real environment as a topological structure is an important research in robotics. %is currently an important research. Since topological representations of maps save a huge amount of map storage space and online computing time, they are widely used in fields such as path planning, map matching, and semantic mapping. We propose a novel topological map representation, the Area Graph, in which the vertices represent areas and edges represent passages. The Area Graph is developed from a pruned Voronoi Graph, the Topology Graph. The paper also presents path planning as one application for the Area Graph. For that, we derive a so-called Passage Graph from the Area Graph. Because our algorithm segments the map as a set of areas, the first experiment compares the results of the Area Graph with that of state-of-the-art segmentation approaches, which proved that our method effectively prevented over-segmentation. Then the second experiment shows the superiority of our method over the traditional A* planning algorithm.


title: Experimental Observation of a Dusty Plasma Crystal in the Cathode Sheath of a DC Glow Discharge Plasma

abstract: Dusty plasma crystals have traditionally been observed and studied in radio frequency (RF) discharge plasmas and their formation in a DC glow discharge plasma remains experimentally challenging. We report the first ever observation of a stable dusty plasma Coulomb crystal in the cathode sheath region of a DC glow discharge plasma. The observations are made in the DPEx device where crystals of mono-disperse Melamine Formaldehyde grains are produced in the background of an Argon plasma. The crystalline nature of the structure is confirmed through a host of measurements that includes the radial pair correlation function, Voronoi diagram, Delaunay Triangulation, the structural order parameter, the dust temperature and the Coulomb coupling parameter. The special features of the DPEx device that permit such a crystal formation are delineated and some principal physical features of the crystal discussed.


title: Parametric Shortest Paths in Planar Graphs

abstract: We construct a family of planar graphs $\{G_n\}_{n\geq 4}$, where $G_n$ has $n$ vertices including a source vertex $s$ and a sink vertex $t$, and edge weights that change linearly with a parameter $\lambda$ such that, as $\lambda$ varies in $(-\infty,+\infty)$, the piece-wise linear cost of the shortest path from $s$ to $t$ has $n^{\Omega(\log n)}$ pieces. This shows that lower bounds obtained earlier by Carstensen (1983) and Mulmuley \& Shah (2001) for general graphs also hold for planar graphs, thereby refuting a conjecture of Nikolova (2009). Gusfield (1980) and Dean (2009) showed that the number of pieces for every $n$-vertex graph with linear edge weights is $n^{\log n + O(1)}$. We generalize this result in two ways. (i) If the edge weights vary as a polynomial of degree at most $d$, then the number of pieces is $n^{\log n + (\alpha(n)+O(1))^d}$, where $\alpha(n)$ is the slow growing inverse Ackermann function. (ii) If the edge weights are linear forms of three parameters, then the number of pieces, appropriately defined for $\mathbb{R}^3$, is $n^{(\log n)^2+O(\log n)}$.


title: Programs as the Language of Science

abstract: Currently it is widely accepted that the language of science is mathematics. This book explores an alternative idea where the future of science is based on the language of algorithms and programs. How such a language can actually be implemented in the sciences is outlined in some detail. We start by constructing a simple formal system where statements are represented as programs and inference is based on computability as opposed to the classical notion of truth value assignments. The focus is on theories where the intrinsic properties and dynamic state of real world objects can be defined in terms of information and subject to laws based on simple deterministic rules and finite state arithmetic. Such models, it is argued, not only offer alternative simulation tools, as opposed to those based on discrete approximations of conventional continuum theories, but in themselves can be regarded as a language that describes the physical laws at a fundamental level. This book does not examine any specific application in detail but rather attempts to lay down a foundation for the validation of such theories by employing the inference scheme based on computability logic.


title: Nonlinear stability of Minkowski spacetime in Nonlocal Gravity

abstract: We prove that the Minkowski spacetime is stable at nonlinear level and to all perturbative orders in the gravitational perturbation in a general class of nonlocal gravitational theories that are unitary and finite at quantum level.


title: Exploiting temporal and depth information for multi-frame face anti-spoofing

abstract: Face anti-spoofing is significant to the security of face recognition systems. Previous works on depth supervised learning have proved the effectiveness for face anti-spoofing. Nevertheless, they only considered the depth as an auxiliary supervision in the single frame. Different from these methods, we develop a new method to estimate depth information from multiple RGB frames and propose a depth-supervised architecture which can efficiently encodes spatiotemporal information for presentation attack detection. It includes two novel modules: optical flow guided feature block (OFFB) and convolution gated recurrent units (ConvGRU) module, which are designed to extract short-term and long-term motion to discriminate living and spoofing faces. Extensive experiments demonstrate that the proposed approach achieves state-of-the-art results on four benchmark datasets, namely OULU-NPU, SiW, CASIA-MFSD, and Replay-Attack.


title: Automorphism groups of the holomorphic vertex operator algebras associated with Niemeier lattices and the $-1$-isometries

abstract: In this article, we determine the automorphism groups of $14$ holomorphic vertex operator algebras of central charge $24$ obtained by applying the $\mathbb{Z}_2$-orbifold construction to the Niemeier lattice vertex operator algebras and lifts of the $-1$-isometries.


title: Experimental proof of the reciprocal relation between spin Peltier and spin Seebeck effects in a bulk YIG/Pt bilayer

abstract: We verify for the first time the reciprocal relation between the spin Peltier and spin Seebeck effects in a bulk YIG/Pt bilayer. Both experiments are performed on the same YIG/Pt device by a setup able to accurately determine heat currents and to separate the spin Peltier heat from the Joule heat background. The sample-specific value for the characteristics of both effects measured on the present YIG/Pt bilayer is $(6.2 \pm 0.4)\times 10^{-3} \,\, \mbox{KA$^{-1}$}$. In the paper we also discuss the relation of both effects with the intrinsic and extrinsic parameters of YIG and Pt and we envisage possible strategies to optimize spin Peltier refrigeration.


title: Modeling Local Dependence in Natural Language with Multi-channel Recurrent Neural Networks

abstract: Recurrent Neural Networks (RNNs) have been widely used in processing natural language tasks and achieve huge success. Traditional RNNs usually treat each token in a sentence uniformly and equally. However, this may miss the rich semantic structure information of a sentence, which is useful for understanding natural languages. Since semantic structures such as word dependence patterns are not parameterized, it is a challenge to capture and leverage structure information. In this paper, we propose an improved variant of RNN, Multi-Channel RNN (MC-RNN), to dynamically capture and leverage local semantic structure information. Concretely, MC-RNN contains multiple channels, each of which represents a local dependence pattern at a time. An attention mechanism is introduced to combine these patterns at each step, according to the semantic information. Then we parameterize structure information by adaptively selecting the most appropriate connection structures among channels. In this way, diverse local structures and dependence patterns in sentences can be well captured by MC-RNN. To verify the effectiveness of MC-RNN, we conduct extensive experiments on typical natural language processing tasks, including neural machine translation, abstractive summarization, and language modeling. Experimental results on these tasks all show significant improvements of MC-RNN over current top systems.


title: Strain Effects on Phase Transitions in Transition Metal Dichalcogenides

abstract: We perform density functional theory calculation to investigate the structural and electronic properties of various two-dimensional transition metal dichalcogenides, MX$_2$ (M$=$Ti, V, Cr, Zr, Nb, Mo, Hf, Ta, or W, and X$=$S or Se), and their strain-induced phase transitions. We evaluate the relative stability and the activation barrier between the octahedral-$T$ and the trigonal-$H$ phases of each MX$_2$. It is found that the equilibrium and phase transition characteristics of MX$_2$ can be classified by the group to which its metal element M belongs in the periodic table. MX$_2$ with M in the group 4 (Ti, Zr, or Hf), forms an octahedral-$T$ phase, while that with an M in the group 6 (Cr, Mo, or W) does a trigonal-\textit{H} phase. On the other hand, MX$_2$ with M in the group 5 (V, Nb, Ta), which is in-between the groups 4 and 6, may form either phase with a similar stability. It is also found that their electronic structures are strongly correlated to the structural configurations: mostly metallic in the $T$ phase, while semiconducting in the $H$ phase, although there are some exceptions. We also explore the effects of an applied stress and find for some MX$_2$ materials that the resultant strain, either tensile or compressive, may induce a structural phase transition by reducing the transition energy barrier, which is, in some cases, accompanied by its metal-insulator transition.


title: Affine Lie algebras and tensor categories

abstract: We review briefly the existing vertex-operator-algebraic constructions of various tensor category structures on module categories for affine Lie algebras. We discuss the results first conjectured in the work of Moore and Seiberg that led us to the construction of the modular tensor category structure in the positive integral level case. Then we review the existing constructions and results in the following three cases: (i) the level plus the dual Coxeter number is not a nonnegative rational number, (ii) the level is a positive integer and (iii) the level is an admissible number. We also present several open problems.


title: Fundamental Limits of Exact Support Recovery in High Dimensions

abstract: We study the support recovery problem for a high-dimensional signal observed with additive noise. With suitable parametrization of the signal sparsity and magnitude of its non-zero components, we characterize a phase-transition phenomenon akin to the signal detection problem studied by Ingster in 1998. Specifically, if the signal magnitude is above the so-called strong classification boundary, we show that several classes of well-known procedures achieve asymptotically perfect support recovery as the dimension goes to infinity. This is so, for a very broad class of error distributions with light, rapidly varying tails which may have arbitrary dependence. Conversely, if the signal is below the boundary, then for a very broad class of error dependence structures, no thresholding estimators (including ones with data-dependent thresholds) can achieve perfect support recovery. The proofs of these results exploit a certain concentration of maxima phenomenon known as relative stability. We provide a complete characterization of the relative stability phenomenon for Gaussian triangular arrays in terms their correlation structure. The proof uses classic Sudakov-Fernique and Slepian lemma arguments along with a curious application of Ramsey's coloring theorem. We note that our study of the strong classification boundary is in a finer, point-wise, rather than minimax, sense. We also establish the Bayes optimality and sub-optimality of thresholding procedures. Consequently, we obtain a minimax-type characterization of the strong classification boundary for errors with log-concave densities.


title: In-medium masses and magnetic moments of decuplet baryons

abstract: The magnetic moments of baryon decuplet are studied in vacuum as well as in the symmetric nuclear matter at finite temperature using a chiral SU(3) quark mean field model approach. The contributions coming from the valence quarks, quark sea and the orbital angular momentum of the quark sea have been considered to calculate magnetic moment of decuplet baryons. The decuplet baryon masses decrease, whereas, the magnetic moments increase significantly with the rise of baryonic density of the symmetric nuclear medium. This is because of the reason that constituent quark magnetic moment and the quark spin polarizations show considerable variation in the nuclear medium especially in the low temperature and baryonic density regime. The increase is however quantitatively less as compared to the case of octet baryon members.


title: Decoherence-free propagation and ramification of a solitary pulse

abstract: Using a microscopic master equation to account for the environmental effects, we compute the decoherence culminated during the propagation of a microwave pulse of arbitrary shape through a superconducting qubit. It is shown that the qubit decoherence vanishes and the pulse shape remains absorption-free when the latter adopts a soliton shape with $n\pi$ area. Otherwise, the environmental feedback decelerates the velocity of the soliton envelop and induces an monotonic increase of phase in the microwave. A pulse of non-$n\pi$ area thus ramifies into a transparent part that travels decoherence-free at incident velocity and a slowing part that decays through space. The ramification explains the environmental origin of pulse splitting observed in self-induced transparency.


title: Consecutive positive integers with the same number of divisors

abstract: We establish new upper bounds for the length of runs of consecutive positive integers each with exactly $k$ divisors, where $k$ is a given positive integer of some special forms. Also we have found exact values of the maximum possible runs for some fixed values of $k$. In addition, we exhibit the run of 11 consecutive positive integers each with exactly 36 divisors, the run of 13 consecutive positive integers each with exactly 12 divisors, the run of 17 consecutive positive integers each with exactly 24 divisors, and the run of 17 consecutive positive integers each with exactly 48 divisors.


title: An upper order bound of the invariant manifold in Lax pairs of a nonlinear evolution partial differential equation

abstract: In \cite{hab-2016,hab-2017}, Habibullin \emph{et.al} proposed an approach to construct Lax pairs of a nonlinear integrable partial differential equation (PDE), where one is the linearized equation of the studied PDE and the other is the invariant manifold of the linearized equation. In this paper, we show that the invariant manifold is the characteristic of a generalized conditional symmetry of the system composed of the studied PDE and its linearized PDE. Then we give an upper order bound of the invariant manifold which provides a theoretical basis for a complete classification of such type of invariant manifold. Moreover, we suggest a modified method to construct Lax pair of the KdV equation which can not be obtained by the original method in \cite{hab-2016,hab-2017}.


title: Main parameters of SppC-based "linac-ring eA" and "ring-ring muA" colliders

abstract: Concerning future lepton-nucleus colliders, International Linear Collider (ILC) and Plasma Wake Field Accelerator-Linear Collider (PWFA-LC) electrons in order of 0.5 TeV and 5 TeV, respectively, colliding with Super proton-proton Collider (SppC)'s 3075 TeV lead ions, are considered as "linac-ring eA" options. In addition, 1.5 TeV option of the Muon Collider (MC) vs 3075 TeV lead ions of the SppC is also taken into account as a "ring-ring muA" collider. Luminosity values of the SppC-based eA and muA colliders are estimated. 3075 TeV lead parameters for 100 km-circumference option of the SppC are taken into account to optimize luminosities of electron-nucleus and muon-nucleus collisions, keeping beam-beam effects and disruption in mind. It is shown that luminosities of order of 10^30 cm^-2s^-1 can be achieved by moderate upgrades of lepton and nucleus beam parameters.


title: Multi-unit Bilateral Trade

abstract: We characterise the set of dominant strategy incentive compatible (DSIC), strongly budget balanced (SBB), and ex-post individually rational (IR) mechanisms for the multi-unit bilateral trade setting. In such a setting there is a single buyer and a single seller who holds a finite number k of identical items. The mechanism has to decide how many units of the item are transferred from the seller to the buyer and how much money is transferred from the buyer to the seller. We consider two classes of valuation functions for the buyer and seller: Valuations that are increasing in the number of units in possession, and the more specific class of valuations that are increasing and submodular. Furthermore, we present some approximation results about the performance of certain such mechanisms, in terms of social welfare: For increasing submodular valuation functions, we show the existence of a deterministic 2-approximation mechanism and a randomised e/(1-e) approximation mechanism, matching the best known bounds for the single-item setting.


title: Sensitivity Analysis of a Stationary Point Set Map under Total Perturbations. Part 2: Robinson Stability

abstract: In Part 1 of this paper, we have estimated the Fr\'echet coderivative and the Mordukhovich coderivative of the stationary point set map of a smooth parametric optimization problem with one smooth functional constraint under total perturbations. From these estimates, necessary and sufficient conditions for the local Lipschitz-like property of the map have been obtained. In this part, we establish sufficient conditions for the Robinson stability of the stationary point set map. This allows us to revisit and extend several stability theorems in indefinite quadratic programming. A comparison of our results with the ones which can be obtained via another approach is also given.


title: Blowing up linear categories, refinements, and homological projective duality with base locus

abstract: In this paper, we first introduce geometric operations for linear categories, and as a consequence generalize Orlov's blow up formula [O04] to possibly singular local complete intersection centres. Second, we introduce refined blowing up of linear category along base--locus, and show that this operation is dual to taking linear section. Finally, as an application we produce examples of Calabi--Yau manifolds which admits Calabi--Yau categories fibrations over projective spaces.


title: On the Cauchy problem of the Boltzmann equation with a very soft potential

abstract: The Cauchy problem for the Boltzmann equation with soft potential, in the framework of small perturbation of an equilibrium state, has been studied in many spaces. The method of strongly continuous semigroup has been applied by Caflisch\cite{Caflisch1980a} and Ukai-Asano\cite{Ukai1982} for the case of soft potential, where they obtained the $L^\infty$ solution without requiring any velocity deviation. By generalizing the estimate on linearized collision operator $L$ to the case of very soft potential, we obtain a similar global existence result for $\gamma\in[0,d)$. For soft potential, the spectrum structure of the linearized Boltzmann operator couldn't give spectral gap, so we use the method of integration by parts and consider a weighted velocity space in order to obtain algebraic decay in time.


title: Community Exploration: From Offline Optimization to Online Learning

abstract: We introduce the community exploration problem that has many real-world applications such as online advertising. In the problem, an explorer allocates limited budget to explore communities so as to maximize the number of members he could meet. We provide a systematic study of the community exploration problem, from offline optimization to online learning. For the offline setting where the sizes of communities are known, we prove that the greedy methods for both of non-adaptive exploration and adaptive exploration are optimal. For the online setting where the sizes of communities are not known and need to be learned from the multi-round explorations, we propose an `upper confidence' like algorithm that achieves the logarithmic regret bounds. By combining the feedback from different rounds, we can achieve a constant regret bound.


title: Categorical duality between joins and intersections

abstract: Classically, the projective duality between joins of varieties and the intersections of varieties only holds in good cases. In this paper, we show that categorically, the duality between joins and intersections holds in the framework of homological projective duality (HPD) [K07], as long as the intersections have expected dimensions. This result together with its various applications provide further evidences for the proposal of homological projective geometry of Kuznetsov and Perry [KP18]. When the varieties are inside disjoint linear subspaces, our approach also provides a new proof of the main result "formation of categorical joins commutes with HPD" of [KP18]. We also introduce the concept of an $n$-HPD category, and study its properties and connections with joins and HPDs.


title: Global existence, blowup phenomena, and asymptotic behavior for quasilinear Schr\"{o}dinger equations

abstract: In this paper, we deal with the Cauchy problem of the quasilinear Schr\"{o}dinger equation \begin{equation*} \left\{ \begin{array}{lll} iu_t=\Delta u+2uh'(|u|^2)\Delta h(|u|^2)+F(|u|^2)u \quad {\rm for} \ x\in \mathbb{R}^N, \ t>0\\ u(x,0)=u_0(x),\quad x\in \mathbb{R}^N. \end{array}\right. \end{equation*} Here $h(s)$ and $F(s)$ are some real-valued functions, with various choices for models from mathematical physics. We examine the interplay between the quasilinear effect of $h$ and nonlinear effect of $F$ for the global existence and blowup phenomena. We provide sufficient conditions on the blowup in finite time and global existence of the solution. In some cases, we can deduce the watershed from these conditions. In the focusing case, we construct the sharp threshold for the blowup in finite time and global existence of the solution and lower bound for blowup rate of the blowup solution. Moreover, we establish the pseudo-conformal conservation law and some asymptotic behavior results on the global solution.


title: Multiscale Information Storage of Linear Long-Range Correlated Stochastic Processes

abstract: Information storage, reflecting the capability of a dynamical system to keep predictable information during its evolution over time, is a key element of intrinsic distributed computation, useful for the description of the dynamical complexity of several physical and biological processes. Here we introduce a parametric framework which allows to compute information storage across multiple time scales in stochastic processes displaying both short-term dynamics and long-range correlations (LRC). The framework exploits the theory of state space models to provide the multiscale representation of linear fractionally integrated autoregressive (ARFI) processes, from which information storage is computed at any given time scale relating the process variance to the prediction error variance. This enables the theoretical assessment and a computationally reliable quantification of a complexity measure which incorporates the effects of LRC together with that of short-term dynamics. The proposed measure is first assessed in simulated ARFI processes reproducing different types of autoregressive (AR) dynamics and different degrees of LRC, studying both the theoretical values and the finite sample performance. We find that LRC alter substantially the complexity of ARFI processes even at short time scales, and that reliable estimation of complexity can be achieved at longer time scales only when LRC are properly modeled. Then, we assess multiscale information storage in physiological time series measured in humans during resting state and postural stress, revealing unprecedented responses to stress of the complexity of heart period and systolic arterial pressure variability, which are related to the different role played by LRC in the two conditions.


title: M Equilibrium: A theory of beliefs and choices in games

abstract: We introduce a set-valued solution concept, M equilibrium, to capture empirical regularities from over half a century of game-theory experiments. We show M equilibrium serves as a meta theory for various models that hitherto were considered unrelated. M equilibrium is empirically robust and, despite being set-valued, falsifiable. We report results from a series of experiments comparing M equilibrium to leading behavioral-game-theory models and demonstrate its virtues in predicting observed choices and stated beliefs. Data from experimental games with a unique pure-strategy Nash equilibrium and multiple M equilibria exhibit coordination problems that could not be anticipated through the lens of existing models.


title: A quasilinear Schr\"{o}dinger equation with Hartree type nonlinearity

abstract: In this paper, we deal with the Cauchy problem of the quasilinear Sch\"{o}dinger equation \begin{equation*} \left\{ \begin{array}{lll} iu_t=\Delta u+2uh'(|u|^2)\Delta h(|u|^2)+(W(x)\ast|u|^2)u,\ x\in \mathbb{R}^N,\ t>0\\ u(x,0)=u_0(x),\quad x\in \mathbb{R}^N. \end{array}\right. \end{equation*} Here $h(s)$ and $W(x)$ are some real valued functions. Our focus is to investigate how the interplay between the potential $W(x)$ and the quasilinear presence $h(s)$ affects the blowup in finite time and global existence of the solution. In a special, we can obtain the watershed condition on $W(x)$ in the following sense: If $W(x)\in L^1(\mathbb{R}^N)\cap \{L^q(\mathbb{R}^N)+L^{\infty}(\mathbb{R}^N)\} $, then exist $q_c$ and $q_s$ such that the solution is global existence for any initial data in the energy space when $q>q_c$ and the solution maybe blow up in finite time for some initial data when $q_s<q<q_c$, and for $q=q_c$ whether the solution is global existence or not depend on the initial data.


title: Amplitude-Aware Lossy Compression for Quantum Circuit Simulation

abstract: Classical simulation of quantum circuits is crucial for evaluating and validating the design of new quantum algorithms. However, the number of quantum state amplitudes increases exponentially with the number of qubits, leading to the exponential growth of the memory requirement for the simulations. In this paper, we present a new data reduction technique to reduce the memory requirement of quantum circuit simulations. We apply our amplitude-aware lossy compression technique to the quantum state amplitude vector to trade the computation time and fidelity for memory space. The experimental results show that our simulator only needs 1/16 of the original memory requirement to simulate Quantum Fourier Transform circuits with 99.95% fidelity. The reduction amount of memory requirement suggests that we could increase 4 qubits in the quantum circuit simulation comparing to the simulation without our technique. Additionally, for some specific circuits, like Grover's search, we could increase the simulation size by 18 qubits.


title: Co-Representation Learning For Classification and Novel Class Detection via Deep Networks

abstract: One of the key challenges of performing label prediction over a data stream concerns with the emergence of instances belonging to unobserved class labels over time. Previously, this problem has been addressed by detecting such instances and using them for appropriate classifier adaptation. The fundamental aspect of a novel-class detection strategy relies on the ability of comparison among observed instances to discriminate them into known and unknown classes. Therefore, studies in the past have proposed various metrics suitable for comparison over the observed feature space. Unfortunately, these similarity measures fail to reliably identify distinct regions in observed feature spaces useful for class discrimination and novel-class detection, especially in streams containing high-dimensional data instances such as images and texts. In this paper, we address this key challenge by proposing a semi-supervised multi-task learning framework called \sysname{} which aims to intrinsically search for a latent space suitable for detecting labels of instances from both known and unknown classes. We empirically measure the performance of \sysname{} over multiple real-world image and text datasets and demonstrate its superiority by comparing its performance with existing semi-supervised methods.


title: Spectral Efficiency Analysis in Presence of Correlated Gamma-Lognormal Desired and Interfering Signals

abstract: Spectral efficiency analysis in presence of correlated interfering signals is very important in modern generation wireless networks where there is aggressive frequency reuse with a dense deployment of access points. However, most works available in literature either address the effect of correlated interfering signals or include interferer activity, but not both. Further, available literature has also addressed the effect of large-scale fading (shadowing and distance-dependent path loss) only, however, has fallen short of including the composite effect of the line of sight and non-line of sight small-scale fading. The correlation of desired signals with interfering signals due to shadowing has also not been considered in existing literature. In this work, we present a comprehensive analytical signal to interference power ratio evaluation framework addressing all the above mentioned important components to the model in a holistic manner. In this analysis, we extend and apply the Moment Generating Function-matching method to such systems so that correlation and activity of lognormal random variables can be included with high accuracy. We compare the analytical results against realistic channel model based extensive Monte-Carlo simulation for mmWave and sub-6 GHz in both indoor and outdoor scenarios. the performance of the model is depicted in terms of mean, alpha-percentile outage spectral efficiency and Kullback-Leibler divergence and Kolmogorov-Smirnov distance.


title: Evening out the spin and charge parity to increase T$_c$ in unconventional superconductor Sr_{2}RuO_{4}

abstract: Unconventional superconductivity in Sr$_{2}$RuO$_{4}$ has been intensively studied for decades. The origin and nature of the pairing continues to be widely debated, in particular, the possibility of a triplet origin of Cooper pairs. However, complexity of Sr$_{2}$RuO$_{4}$ with multiple low-energy scales, involving subtle interplay among spin, charge and orbital degrees of freedom, calls for advanced theoretical approaches which treat on equal footing all electronic effects. Here we develop a novel approach, a detailed \emph{ab initio} theory, coupling quasiparticle self-consistent \emph{GW} approximation with dynamical mean field theory (DMFT), including both local and non-local correlations. We report that the superconducting instability has multiple triplet and singlet components. In the unstrained case the triplet eigenvalues are larger than the singlets. Under uniaxial strain, the triplet eigenvalues drop rapidly and the singlet components increase. This is concomitant with our observation of spin and charge fluctuations shifting closer to wave-vectors favoring singlet pairing in the Brillouin zone. We identify a complex mechanism where charge fluctuations and spin fluctuations co-operate in the even-parity channel under strain leading to increment in $T_c$, thus proposing a novel mechanism for pushing the frontier of $T_c$ in unconventional `triplet' superconductors.


title: Sensitivity Analysis of a Stationary Point Set Map under Total Perturbations. Part 1: Lipschitzian Stability

abstract: By applying some theorems of Levy and Mordukhovich (Math Program 99: 311--327, 2004) and other related results, we estimate the Fr\'echet coderivative and the Mordukhovich coderivative of the stationary point set map of a smooth parametric optimization problem with one smooth functional constraint under total perturbations. From the obtained formulas we derive necessary and sufficient conditions for the local Lipschitz-like property of the stationary point set map. This leads us to new insights into the preceding deep investigations of Levy and Mordukhovich in the above-cited paper and of Qui (J Optim Theory Appl 161: 398--429, 2014; J Glob Optim 65: 615--635, 2016).


title: Hate Speech Detection from Code-mixed Hindi-English Tweets Using Deep Learning Models

abstract: This paper reports an increment to the state-of-the-art in hate speech detection for English-Hindi code-mixed tweets. We compare three typical deep learning models using domain-specific embeddings. On experimenting with a benchmark dataset of English-Hindi code-mixed tweets, we observe that using domain-specific embeddings results in an improved representation of target groups, and an improved F-score.


title: A Liouville theorem for superlinear heat equations on Riemannian manifolds

abstract: We study the triviality of the solutions of weighted superlinear heat equations on Riemannian manifolds with nonnegative Ricci tensor. We prove a Liouville--type theorem for solutions bounded from below with nonnegative initial data, under an integral growth condition on the weight.


title: Application of Faster R-CNN model on Human Running Pattern Recognition

abstract: The advance algorithms like Faster Regional Convolutional Neural Network (Faster R-CNN) models are suitable to identify classified moving objects, due to the efficiency in learning the training dataset superior than ordinary CNN algorithms and the higher accuracy of labeling correct classes in the validation and testing dataset. This research examined and compared the three R-CNN type algorithms in object recognition to show the superior efficiency and accuracy of Faster R-CNN model on classifying human running patterns. Then it described the effect of Faster R-CNN in detecting different types of running patterns exhibited by a single individual or multiple individuals by conducting a dataset fitting experiment. In this study, the Faster R-CNN algorithm is implemented directly from the version released by Ross Girshick.


title: Fast HARQ over Finite Blocklength Codes: A Technique for Low-Latency Reliable Communication

abstract: This paper studies the performance of delay-constrained hybrid automatic repeat request HARQ protocols. Particularly, we propose a fast HARQ protocol where, to increase the end-to-end throughput, some HARQ feedback signals and successive message decodings are omitted. Considering quasi-static channels and a bursty communication model, we derive closed-form expressions for the message decoding probabilities as well as the throughput, the expected delay and the error probability of the HARQ setups. The analysis is based on recent results on the achievable rates of finite-length codes and shows the effect of the codeword length on the system performance. Moreover, we evaluate the effect of various parameters such as imperfect channel estimation and hardware on the system performance. As demonstrated, the proposed fast HARQ protocol reduces the packet transmission delay considerably, compared to state-of-the-art HARQ schemes. For example, with typical message decoding delay profiles and a maximum of 2,...,5 transmission rounds, the proposed fast HARQ protocol can improve the expected delay, compared to standard HARQ, by 27, 42, 52 and 60%, respectively, independently of the code rate/fading model.


title: $\Omega_c$ excited states with heavy-quark spin symmetry

abstract: We study the $C=1$, $S=-2$, $I=0$ sector, where five excited $\Omega_c$ states have been recently observed by the LHCb Collaboration. We start from a recently developed unitarized baryon-meson model that takes, as bare baryon-meson interaction, an extended Weinberg-Tomozawa kernel consistent with both chiral and heavy-quark spin symmetries. This ${\rm SU(6)} \times {\rm HQSS}$ scheme leads to a successful description of the observed lowest-lying odd parity charmed $\Lambda_c$(2595) and $\Lambda_c$(2625) states, and bottomed $\Lambda_b$(5912) and $\Lambda_b$(5920) resonances. Within this model, five odd-parity $\Omega_c$ states are dynamically generated, but with masses below 3 GeV, not allowing for an identification with the observed LHCb resonances. We revise this model and explore two different scenarios for the renormalization scheme, that is, using a modified common energy scale to perform the subtractions or utilizing a common ultraviolet cutoff to render finite the ultraviolet divergent loop functions in all channels. In both cases, we show that some (at least three) of the dynamically generated states can be identified with the experimental $\Omega_c$, while having odd parity and $J=1/2$ or $J=3/2$. Two of these states turn out to be part of the same ${\rm SU(6)} \times {\rm HQSS}$ multiplets as the charmed and bottomed $\Lambda$ baryons.


title: User Demand Based Precoding for G.fast DSL Systems

abstract: It can be observed that the achievable rate region of a G.fast DSL system is no longer rectangular, as it is the case for vectored VDSL systems, due to stronger crosstalk couplings at high frequencies. Therefore, alternative operating points that are not optimal in a sum-rate sense may be utilized to adapt the system performance to the users' actual demands. To this end, we propose a new precoding scheme based on defining a subset of prioritized users, where we optimize the sum-rate of the prioritized users under a minimum rate guarantee for the remaining users. We present a solution based on Lagrangian duality theory and propose a well-performing one-step heuristic solution. By means of simulations, we show that significant rate gains for the prioritized users can be obtained by the proposed precoding scheme.


title: An adaptive reduced basis ANOVA method for high-dimensional Bayesian inverse problems

abstract: In Bayesian inverse problems sampling the posterior distribution is often a challenging task when the underlying models are computationally intensive. To this end, surrogates or reduced models are often used to accelerate the computation. However, in many practical problems, the parameter of interest can be of high dimensionality, which renders standard model reduction techniques infeasible. In this paper, we present an approach that employs the ANOVA decomposition method to reduce the model with respect to the unknown parameters, and the reduced basis method to reduce the model with respect to the physical parameters. Moreover, we provide an adaptive scheme within the MCMC iterations, to perform the ANOVA decomposition with respect to the posterior distribution. With numerical examples, we demonstrate that the proposed model reduction method can significantly reduce the computational cost of Bayesian inverse problems, without sacrificing much accuracy.


title: A Load Balance Strategy for Hybrid Particle-Mesh Methods

abstract: We present a load balancing strategy for hybrid particle-mesh methods that is based on domain decomposition and element-local time measurement. This new strategy is compared to our previous approach, which assumes a constant weighting factor for each particle to determine the computational load. The timer-based load balancing is applied to a plasma expansion simulation. The performance of the new algorithm is compared to results presented in the past and a significant improvement in terms of computational efficiency is shown.


title: Glide-symmetric magnetic topological crystalline insulators with inversion symmetry

abstract: It is known that three-dimensional magnetic systems with glide symmetry can be characterized by a $Z_2$ topological invariant together with the Chern number associated with the normal vector of the glide plane, and they are expressed in terms of integrals of the Berry curvature. In the present paper, we study the fate of this topological invariant when inversion symmetry is added while time-reversal symmetry is not enforced. There are two ways to add inversion symmetry, leading to space groups No.~13 and No.~14. In space group No.~13, we find that the glide-$Z_2$ invariant is expressed solely from the irreducible representations at high-symmetry points in $k$-space. It constitutes the $\mathbb{Z}_2\times \mathbb{Z}_2$ symmetry-based indicator for this space group, together with another $\mathbb{Z}_2$ representing the Chern number modulo 2. In space group No.~14, we find that the symmetry-based indicator $\mathbb{Z}_2$ is given by a combination of the glide-$Z_2$ invariant and the Chern number. Thus, in space group No.~14, from the irreducible representations at high-symmetry points we can only know possible combinations of the glide-$Z_2$ invariant and the Chern number, but in order to know each value of these topological numbers, we should calculate integrals of the Berry curvature. Finally, we show that in both cases, the symmetry-based indicator $\mathbb{Z}_4$ for inversion symmetric systems leading to the higher-order topological insulators is directly related with the glide-$Z_2$ invariant and the Chern number. As an independent approach to these results, we also construct all invariants from the layer construction for these space groups, and we show complete agreement with the above results for the topological invariants constructed from $k$-space topology.


title: Garbage In, Reward Out: Bootstrapping Exploration in Multi-Armed Bandits

abstract: We propose a bandit algorithm that explores by randomizing its history of rewards. Specifically, it pulls the arm with the highest mean reward in a non-parametric bootstrap sample of its history with pseudo rewards. We design the pseudo rewards such that the bootstrap mean is optimistic with a sufficiently high probability. We call our algorithm Giro, which stands for garbage in, reward out. We analyze Giro in a Bernoulli bandit and derive a $O(K \Delta^{-1} \log n)$ bound on its $n$-round regret, where $\Delta$ is the difference in the expected rewards of the optimal and the best suboptimal arms, and $K$ is the number of arms. The main advantage of our exploration design is that it easily generalizes to structured problems. To show this, we propose contextual Giro with an arbitrary reward generalization model. We evaluate Giro and its contextual variant on multiple synthetic and real-world problems, and observe that it performs well.


title: On the Throughput of Large-but-Finite MIMO Networks using Schedulers

abstract: This paper studies the sum throughput of the {multi-user} multiple-input-single-output (MISO) networks in the cases with large but finite number of transmit antennas and users. Considering continuous and bursty communication scenarios with different users' data request probabilities, we derive quasi-closed-form expressions for the maximum achievable throughput of the networks using optimal schedulers. The results are obtained in various cases with different levels of interference cancellation. Also, we develop an efficient scheduling scheme using genetic algorithms (GAs), and evaluate the effect of different parameters, such as channel/precoding models, number of antennas/users, scheduling costs and power amplifiers' efficiency, on the system performance. Finally, we use the recent results on the achievable rates of finite block-length codes to analyze the system performance in the cases with short packets. As demonstrated, the proposed GA-based scheduler reaches (almost) the same throughput as in the exhaustive search-based optimal scheduler, with substantially less implementation complexity. Moreover, the power amplifiers' inefficiency and the scheduling delay affect the performance of the scheduling-based systems significantly.


title: Protection Placement for State Estimation Measurement Data Integrity

abstract: In this paper a protection placement problem for power network measurement system data integrity is considered. The placement problem is motivated from the data secure power network design applications in [Dan and Sandberg 2010]. The problem is shown to be NP-hard and an integer linear programming formulation is provided based on the topological observability condition by [Krumpholz, Clements and Davis 1980]. The incorporation of the observability condition requires a graph connectivity constraint which is found to be most effectively described by the Miller-Tucker-Zemlin (MTZ) conditions. For a specialization without line power flow measurements, the protection placement problem can be modeled by a domination type integer linear program much easier to solve than the general formulation requiring graph connectivity. Numerical studies with IEEE benchmark and other large power systems with more than 2000 buses indicate that using the proposed formulations, the protection placement problem can be solved in negligible amount of time in realistic application settings.


title: Recurrent Multi-Graph Neural Networks for Travel Cost Prediction

abstract: Origin-destination (OD) matrices are often used in urban planning, where a city is partitioned into regions and an element (i, j) in an OD matrix records the cost (e.g., travel time, fuel consumption, or travel speed) from region i to region j. In this paper, we partition a day into multiple intervals, e.g., 96 15-min intervals and each interval is associated with an OD matrix which represents the costs in the interval; and we consider sparse and stochastic OD matrices, where the elements represent stochastic but not deterministic costs and some elements are missing due to lack of data between two regions. We solve the sparse, stochastic OD matrix forecasting problem. Given a sequence of historical OD matrices that are sparse, we aim at predicting future OD matrices with no empty elements. We propose a generic learning framework to solve the problem by dealing with sparse matrices via matrix factorization and two graph convolutional neural networks and capturing temporal dynamics via recurrent neural network. Empirical studies using two taxi datasets from different countries verify the effectiveness of the proposed framework.


title: Enhancing nanomechanical squeezing by atomic interactions in a hybrid atom-optomechanical system

abstract: In a hybrid atom-optomechanical system, the optical coupling of a mechanical mode of a nanomembrane in an optical cavity with a distant interacting atom gas permits highly non-classical quantum many-body states. We show that the mechanical mode can be squeezed by the back-action of internal excitations of the atoms in the gas. A Bogoliubov approach reveals that these internal excitations form a fluctuating environment of quasi-particle excitations for the mechanical mode with a gaped spectral density. Nanomechanical squeezing arises due to quasi-particle excitations in the interacting atom gas when the mechanical frequency is close to resonance with the internal atomic transitions. Interestingly, nanomechanical squeezing is enhanced by atom-atom interactions.