title: Deep learning algorithm for data-driven simulation of noisy dynamical system

abstract: We present a deep learning model, DE-LSTM, for the simulation of a stochastic process with an underlying nonlinear dynamics. The deep learning model aims to approximate the probability density function of a stochastic process via numerical discretization and the underlying nonlinear dynamics is modeled by the Long Short-Term Memory (LSTM) network. It is shown that, when the numerical discretization is used, the function estimation problem can be solved by a multi-label classification problem. A penalized maximum log likelihood method is proposed to impose a smoothness condition in the prediction of the probability distribution. We show that the time evolution of the probability distribution can be computed by a high-dimensional integration of the transition probability of the LSTM internal states. A Monte Carlo algorithm to approximate the high-dimensional integration is outlined. The behavior of DE-LSTM is thoroughly investigated by using the Ornstein-Uhlenbeck process and noisy observations of nonlinear dynamical systems; Mackey-Glass time series and forced Van der Pol oscillator. It is shown that DE-LSTM makes a good prediction of the probability distribution without assuming any distributional properties of the stochastic process. For a multiple-step forecast of the Mackey-Glass time series, the prediction uncertainty, denoted by the 95\% confidence interval, first grows, then dynamically adjusts following the evolution of the system, while in the simulation of the forced Van der Pol oscillator, the prediction uncertainty does not grow in time even for a 3,000-step forecast.

categories: physics.comp-ph cs.LG physics.data-an stat.ML


title: Combining finite element and finite difference methods for isotropic elastic wave simulations in an energy-conserving manner

abstract: We consider numerical simulation of the isotropic elastic wave equations arising from seismic applications with non-trivial land topography. The more flexible finite element method is applied to the shallow region of the simulation domain to account for the topography, and combined with the more efficient finite difference method that is applied to the deep region of the simulation domain. We demonstrate that these two discretization methods, albeit starting from different formulations of the elastic wave equation, can be joined together smoothly via weakly imposed interface conditions. Discrete energy analysis is employed to derive the proper interface treatment, leading to an overall discretization that is energy-conserving. Numerical examples are presented to demonstrate the efficacy of the proposed interface treatment.


title: Chemical complexity in local diffuse and translucent clouds: ubiquitous l-C3H and CH3CN, a detection of HC3N and an upper limit on the abundance of CH2CN

abstract: We present Jansky Very Large Array observations of 20 - 37 GHz absorption lines from nearby Galactic diffuse molecular gas seen against four cosmologically-distant compact radio continuum sources. The main new observational results are that \linearC3H\ and \methCN\ are ubiqitous in the local diffuse molecular interstellar medium at \AV\ $\la 1$ while HC$_3$N was seen only toward B0415 at \AV\ $>$ 4 mag. The linear/cyclic ratio is much larger in C$_3$H than in C$_3$\HH\ and the ratio \methCN/HCN is enhanced compared to TMC-1, although not as much as toward the Horsehead Nebula. More consequentially, this work completes a long-term program assessing the abundances of small hydrocarbons (CH, \cch, linear and cyclic C$_3$H and C$_3$\HH, and \cfh\ and \cfhm) and the CN-bearing species (CN, HCN, HNC, HC$_3$N, HC$_5$N and CH$_3$CN): their systematics in diffuse molecular gas are presented in detail here. We also observed but did not strongly constrain the abundances of a few oxygen-bearing species, most prominently HNCO. We set limits on the column density of C\HH CN, such that the anion C\HH CN\m\ is only viable as a carrier of diffuse interstellar bands if the N(C\HH CN)/N(C\HH CN\m) abundance ratio is much smaller in this species than in any others for which the anion has been observed. We argue that complex organic molecules are not present in clouds meeting a reasonable definition of diffuse molecular gas, ie \AV\ $\la 1$ mag.


title: A Comprehensive Review on Privacy-Preserving Metering in Smart Grid for Billing; Operation; and Rewarding Schemes, with Two Novel Solutions

abstract: In smart grid, the Utility Provider (UP) collects users power measurements' for two main reasons: billing and operation. Billing needs coarse-grained measurements where there are no, or minimal, privacy concerns. On the other hand, operation needs fine-grained measurements which can highly affect users' privacy. Hence, users might be reluctant to participate in operational metering to protect their privacy. To overcome this issue, UP might offer rewards to allure users to report their measurements which endangers their privacy. In this paper, we survey the literature on privacy-preserving metering in smart grid. We propose a new taxonomy to categorize the literature based on whether measurements need to be attributable to users or not. This categorization is highly effective because attribution is one of the main causes of privacy issues. Our survey shows that rewarding schemes and incentive-based demand response are new research topics with limited studies on it. Hence, we propose two privacy-preserving rewarding schemes for operational metering. First, a light-weight solution that utilizes an already established link of trust i.e. Banks. It is based on the assumption that banks will not leak a client account details. This solution is based on hash chains and blind signatures to assure users anonymity with minimal overhead for the UP and the smart meter. The bank in this approach is state-less in which is not required the bank to keep communications states of users and the UP. Second, we proposed another approach that does not rely on or banks or trusted third parties. It is based on Paillier homomorphic encryption and Pedersen commitments. It assumes that the smart meters are organized in a tree structure; which is widely used implementation in the literature. Security analysis for the proposed approaches is presented including unlinkability proof for measurements to users.


title: From Hazard Analysis to Hazard Mitigation Planning: The Automated Driving Case

abstract: Vehicle safety depends on (a) the range of identified hazards and (b) the operational situations for which mitigations of these hazards are acceptably decreasing risk. Moreover, with an increasing degree of autonomy, risk ownership is likely to increase for vendors towards regulatory certification. Hence, highly automated vehicles have to be equipped with verified controllers capable of reliably identifying and mitigating hazards in all possible operational situations. To this end, available methods for the design and verification of automated vehicle controllers have to be supported by models for hazard analysis and mitigation. In this paper, we describe (1) a framework for the analysis and design of planners (i.e., high-level controllers) capable of run-time hazard identification and mitigation, (2) an incremental algorithm for constructing planning models from hazard analysis, and (3) an exemplary application to the design of a fail-operational controller based on a given control system architecture. Our approach equips the safety engineer with concepts and steps to (2a) elaborate scenarios of endangerment and (2b) design operational strategies for mitigating such scenarios.


title: On Looking for Local Expansion Invariants in Argumentation Semantics: a Preliminary Report

abstract: We study invariant local expansion operators for conflict-free and admissible sets in Abstract Argumentation Frameworks (AFs). Such operators are directly applied on AFs, and are invariant with respect to a chosen "semantics" (that is w.r.t. each of the conflict free/admissible set of arguments). Accordingly, we derive a definition of robustness for AFs in terms of the number of times such operators can be applied without producing any change in the chosen semantics.


title: Selmer groups of symmetric powers of ordinary modular Galois representations

abstract: Let $p$ be a fixed odd prime number, $\mu$ be a Hida family over the Iwasawa algebra of one variable, $\rho_{\mu}$ its Galois representation, $\mathbb{Q}_\infty/\mathbb{Q}$ the $p$-cyclotomic tower and $S$ the variable of the cyclotomic Iwasawa algebra. We compare, for $n\leq 4$ and under certain assumptions, the characteristic power series $L(S)$ of the dual of Selmer groups $\mathrm{Sel}(\mathbb{Q}_{\infty},\mathrm{Sym}^{2n}\otimes\mathrm{det}^{-n}\rho_{\mu})$ to certain congruence ideals. The case $n=1$ has been treated by H.Hida. In particular, we express the first term of the Taylor expansion at the trivial zero $S=0$ of $L(S)$ in terms of an $\mathcal{L}$-invariant and a congruence number. We conjecture the non-vanishing of this $\mathcal{L}$-invariant; this implies therefore that these Selmer groups are cotorsion. We also show that our $\mathcal{L}$-invariants coincide with Greenberg's $\mathcal{L}$-invariants calculated by R.Harron and A.Jorza.


title: Kemeny's Function for Markov Chains and Markov Renewal Processes

abstract: Extensions of Kemeny's constant, as derived for irreducible finite Markov chains in discrete time, to Markov renewal processes and Markov chains in continuous time are discussed. Three alternative Kemeny's functions and their variants are considered. Typically, they lead to a constant if and only if the mean holding times between the states in the Markov renewal process are constant. However one particular variant leads to a constant, analogous to the discrete time Markov chain result. Specifically, if the state space is finite, the weighted sum of the mean first passage times (omitting the mean return time) with the stationary probabilities associated with the continuous time semi-Markov process is a constant for any Markov renewal process. Expressions for the Kemeny's functions and the relevant constants are derived for Markov renewal processes and special cases involving continuous time Markov chains and birth and death processes.


title: Diverse Exploration for Fast and Safe Policy Improvement

abstract: We study an important yet under-addressed problem of quickly and safely improving policies in online reinforcement learning domains. As its solution, we propose a novel exploration strategy - diverse exploration (DE), which learns and deploys a diverse set of safe policies to explore the environment. We provide DE theory explaining why diversity in behavior policies enables effective exploration without sacrificing exploitation. Our empirical study shows that an online policy improvement algorithm framework implementing the DE strategy can achieve both fast policy improvement and safe online performance.


title: Deep Multimodal Learning for Emotion Recognition in Spoken Language

abstract: In this paper, we present a novel deep multimodal framework to predict human emotions based on sentence-level spoken language. Our architecture has two distinctive characteristics. First, it extracts the high-level features from both text and audio via a hybrid deep multimodal structure, which considers the spatial information from text, temporal information from audio, and high-level associations from low-level handcrafted features. Second, we fuse all features by using a three-layer deep neural network to learn the correlations across modalities and train the feature extraction and fusion modules together, allowing optimal global fine-tuning of the entire structure. We evaluated the proposed framework on the IEMOCAP dataset. Our result shows promising performance, achieving 60.4% in weighted accuracy for five emotion categories.


title: Off-Diagonal Series Expansion for Quantum Partition Functions

abstract: We derive an integral-free thermodynamic perturbation series expansion for quantum partition functions which enables an analytical term-by-term calculation of the series. The expansion is carried out around the partition function of the classical component of the Hamiltonian with the expansion parameter being the strength of the off-diagonal, or quantum, portion. To demonstrate the usefulness of the technique we analytically compute to third order the partition functions of the 1D Ising model with longitudinal and transverse fields, and the quantum 1D Heisenberg model.


title: Learning Without Mixing: Towards A Sharp Analysis of Linear System Identification

abstract: We prove that the ordinary least-squares (OLS) estimator attains nearly minimax optimal performance for the identification of linear dynamical systems from a single observed trajectory. Our upper bound relies on a generalization of Mendelson's small-ball method to dependent data, eschewing the use of standard mixing-time arguments. Our lower bounds reveal that these upper bounds match up to logarithmic factors. In particular, we capture the correct signal-to-noise behavior of the problem, showing that more unstable linear systems are easier to estimate. This behavior is qualitatively different from arguments which rely on mixing-time calculations that suggest that unstable systems are more difficult to estimate. We generalize our technique to provide bounds for a more general class of linear response time-series.


title: The Rise-Contact involution on Tamari intervals

abstract: We describe an involution on Tamari intervals and m-Tamari intervals. This involution switches two sets of statistics known as the "rises" and the "contacts" and so proves an open conjecture from Pr\'eville-Ratelle on intervals of the m-Tamari lattice.


title: Decameter Type III Bursts with Changing Frequency Drift-Rate Signs

abstract: We discuss properties of type III bursts which change sign of their drift rate from negative to positive and vice versa. Moreover such bursts may change sign of their drift rates more than once. These specific type III bursts were observed simultaneously by radio telescopes UTR-2, URAN-2 and NDA in frequency band 8-41 MHz. The negative drift rates of these bursts are close to those of usual decameter type III bursts and variate from -0.84 MHz/s to -5.56 MHz/s. The positive drift rates of specific type III bursts vary in the wider range from 0.44MHz/s to 12 MHz/s. Unlike inverted U-bursts these type III bursts still drift from the high frequencies to the low frequencies in spite of the change of the drift rates signs. Our basic explanation of the positive drift rate of these type III burst differs from the common assumption that positive drift rates of Type III bursts are connected with electron beam propagation towards the Sun. We propose that, even if electron beams move outward from the Sun, they can generate type III bursts with positive drift rates if in some regions of the solar corona the group velocities of type III radio emissions are lower than the velocities of the electron beams.


title: The left-curtain martingale coupling in the presence of atoms

abstract: Beiglb\"ock and Juillet ("On a problem of optimal transport under marginal martingale constraints") introduced the left-curtain martingale coupling of probability measures $\mu$ and $\nu$, and proved that, when the initial law $\mu$ is continuous, it is supported by the graphs of two functions. We extend the later result by constructing the generalised left-curtain martingale coupling and show that for an arbitrary starting law $\mu$ it is characterised by two appropriately defined lower and upper functions. As an application of this result we derive the model-independent upper bound of an American put option. This extends recent results of Hobson and Norgilas ("Robust bounds for the American Put") on the atom-free case.


title: Application of Multivariate Data Analysis to machine power measurements as a means of tool life Predictive Maintenance for reducing product waste

abstract: Modern manufacturing industries are increasingly looking to predictive analytics to gain decision making information from process data. This is driven by high levels of competition and a need to reduce operating costs. The presented work takes data in the form of a power measurement recorded during a medical device manufacturing process and uses multivariate data analysis (MVDA) to extract information leading to the proposal of a predictive maintenance scheduling algorithm. The proposed MVDA model was able to predict with 100 % accuracy the condition of a grinding tool.


title: A Class of Tests for Trend in Time Censored Recurrent Event Data

abstract: Statistical tests for trend in recurrent event data not following a Poisson process are generally constructed for event censored data. However, time censored data are more frequently encountered in practice. In this paper we contribute to filling an important gap in the literature on trend testing by presenting a class of statistical tests for trend in time censored recurrent event data, based on the null hypothesis of a renewal process. The class of tests is constructed by an adaption of a functional central limit theorem for renewal processes. By this approach a number of tests for time censored recurrent event data can be constructed, including among others a version of the classical Lewis-Robinson trend test and an Anderson-Darling type test. The latter test turns out to have attractive properties for general use by having good power properties against both monotonic and non-monotonic trends. Extensions to situations with several processes are considered. Properties of the tests are studied by simulations, and the approach is illustrated in two data examples.


title: Phonons and Thermal Conducting Properties of Borocarbonitride (BCN) Nanosheets

abstract: Hexagonal borocarbonitrides (BCN) are a class of 2D materials, which display excellent catalytic activity for water splitting. Here, we report analysis of thermal stability, phonons and thermal conductivity of BCN monolayers over a wide range of temperatures using classical molecular dynamics simulations. Our results show that in contrast to the case of graphene and boron nitride monolayers, the out-of-plane phonons in BCN monolayers induce an asymmetry in the phonon density of states at all temperatures. Despite possessing lower thermal conducting properties compared to graphene and BN monolayers, the BCN nanosheets do not lose thermal conductivity as much as graphene and BN in the studied temperature range of 200-1000 K, and thus, the BCN nanosheets are suitable for thermal interface device applications over a wide range of temperatures. Besides their promising role in water splitting, the above results highlight the possibility of expanding the use of BCN 2D materials in thermal management applications and thermoelectrics.


title: Embeddability on functions: order and chaos

abstract: We study the quasi-order of topological embeddability on definable functions between Polish zero-dimensional spaces. We first study the descriptive complexity of this quasi-order restricted to the space of continuous functions. Our main result is the following dichotomy: the embeddability quasi-order restricted to continuous functions from a given compact space to another is either an analytic complete quasi-order or a well-quasi-order. We then turn to the existence of maximal elements with respect to embeddability in a given Baire class. It is proved that the class of continuous functions is the only Baire class to admit a maximal element. We prove that no Baire class admits a maximal element, except for the class of continuous functions which admits a maximum element.


title: Wigner distributions for n arbitrary observables

abstract: We study a generalization of the Wigner function to arbitrary tuples of hermitian operators. We show that for any collection of hermitian operators A1...An , and any quantum state there is a unique joint distribution on R^n, with the property that the marginals of all linear combinations of the operators coincide with their quantum counterpart. In other words, we consider the inverse Radon transform of the exact quantum probability distributions of all linear combinations. We call it the Wigner distribution, because for position and momentum this property defines the standard Wigner function. We discuss the application to finite dimensional systems, establish many basic properties and illustrate these by examples. The properties include the support, the location of singularities, positivity, the behavior under symmetry groups, and informational completeness.


title: Properties of the Wigner distribution for n arbitrary operators

abstract: We study a generalization of the Wigner function to arbitrary tuples of hermitian operators, which is a distribution uniquely characterized by the property that the marginals for all linear combinations of the given operators agree with the quantum mechanical distributions. Its role as a joint quasi-probability distribution is underlined by the property that its support always lies in the set of expectation value tuples of the operators. We characterize the set of singularities and positivity, and provide some basic examples.


title: On coadjoint orbits for $p$-Sylow subgroups of finite classical groups

abstract: Kirillov's orbit theory provides a powerful tool for the investigation of irreducible unitary representations of many classes of Lie groups. In a previous paper we used a modification hereof, called monomial linearisation, to construct a monomial basis of the regular representation of $p$-Sylow subgroups $U$ of the finite classical groups of untwisted type. In this sequel to this article we determine the stabilizers of special orbit generators and show, that for the groups of Lie type ${\mathfrak{B}}_n$ and ${\mathfrak{D}}_n$ a subclass of the orbit modules decompose the $U$-modules affording the Andr\'{e}-Neto supercharacters into a direct sum of submodules. Moreover these special orbit modules are either isomorphic or have no irreducible constituent in common, and each irreducible $U$ module is up to isomorphism constituent of precisely one of these.


title: Web-Based VR Experiments Powered by the Crowd

abstract: We build on the increasing availability of Virtual Reality (VR) devices and Web technologies to conduct behavioral experiments in VR using crowdsourcing techniques. A new recruiting and validation method allows us to create a panel of eligible experiment participants recruited from Amazon Mechanical Turk. Using this panel, we ran three different crowdsourced VR experiments, each reproducing one of three VR illusions: place illusion, embodiment illusion, and plausibility illusion. Our experience and worker feedback on these experiments show that conducting Web-based VR experiments using crowdsourcing is already feasible, though some challenges---including scale---remain. Such crowdsourced VR experiments on the Web have the potential to finally support replicable VR experiments with diverse populations at a low cost.


title: Enforcing energy balance in coherently superimposed optical vortices

abstract: The generation of optical beams with multiple, mutually-coherent orbital-angular-momentum (OAM) modes using phase gratings is analyzed from the perspective of energy distribution and radial mode composition. We show that phase gratings designed with equally-weighted Laguerre-Gauss (LG) modes will generate beams with uneven energy distribution among OAM components. This unwanted outcome cannot be corrected by adjusting the width of the illuminating beam. We propose a way to design phase gratings that will produce a uniform energy distribution among the constituent OAM states after illumination, while minimizing the content of high radial modes. This method is based on a generalized definition for the LG modes that takes advantage of the freedom to select their radial scales.


title: On the subspace of the $L^p$ space, which is an annihilator of an element not belonging to the dual space

abstract: Let $E$ be a Lebesgue measurable subset of ${\mathbb R}^n$, $p\in [1,\infty)$. We consider the subspace $Y\subset L^p(E)$, which is an annihilator of the Lebesgue measurable ${{\cal L}^{n}}$-a.e. finite function $g$ that does not belong to the dual space of $L^p(E)$. It is shown that the subspace $Y$ is dense in $L^p(E)$. Moreover, the Hahn-Banach theorem's extension $\bar T_g\in [L^p(E)]^*$ of the bounded on $Y$ functional $h\mapsto \int_E g(x)h(x)\,dx$, $h\in Y$, can not be represented in the form $\bar T_g(h)= \int_E g(x)h(x)\,dx$, $h\in L^p(E)$.


title: On the integrality of factorial ratios and mirror maps

abstract: Landau has characterized the integrality of certain ratios of factorials. Delaygue has characterized the integrality of the Taylor coefficients of certain mirror maps constructed from series involving those ratios. Using the $A$-hypergeometric point of view, we express those characterizations in terms of the nonexistence of interior points in multiples of the associated lattice polytope.


title: On a dynamical approach to some prime number sequences

abstract: In this paper we show how the cross-disciplinary transfer of techniques from Dynamical Systems Theory to Number Theory can be a fruitful avenue for research. We illustrate this idea by exploring from a nonlinear and symbolic dynamics viewpoint certain patterns emerging in some residue sequences generated from the prime number sequence. We show that the sequence formed by the residues of the primes modulo $k$ are maximally chaotic and, while lacking forbidden patterns, display a non-trivial spectrum of Renyi entropies which suggest that every block of size $m>1$, while admissible, occurs with different probability. This non-uniform distribution of blocks for $m>1$ contrasts Dirichlet's theorem that guarantees equiprobability for $m=1$. We then explore in a similar fashion the sequence of prime gap residues. This sequence is again chaotic (positivity of Kolmogorov-Sinai entropy), however chaos is weaker as we find forbidden patterns for every block of size $m>1$. We relate the onset of these forbidden patterns with the divisibility properties of integers, and estimate the densities of gap block residues via Hardy-Littlewood $k$-tuple conjecture. We use this estimation to argue that the amount of admissible blocks is non-uniformly distributed, what supports the fact that the spectrum of Renyi entropies is again non-trivial in this case. We complete our analysis by applying the Chaos Game to these symbolic sequences, and comparing the IFS attractors found for the experimental sequences with appropriate null models.


title: The geometry of $k$-free hyperbolic $3$-manifolds

abstract: We investigate the geometry of closed, orientable, hyperbolic $3$-manifolds whose fundamental groups are $k$-free for a given integer $k\ge 3$. We show that any such manifold $M$ contains a point $P$ of $M$ with the following property: If $S$ is the set of elements of $\pi_1(M,P)$ represented by loops of length $<\log(2k-1)$, then for every subset $T \subset S$, we have ${\rm rank}\ T \le k-3$. This generalizes to all $k\ge3$ results proved in [6] and [10], which have been used to relate the volume of a hyperbolic manifold to its topological properties, and it strictly improves on the result obtained in [11] for $k=5$. The proof avoids the use of results about ranks of joins and intersections in free groups that were used in [10] and [11].


title: A Cut-And-Choose Mechanism to Prevent Gerrymandering

abstract: This paper presents a novel mechanism to endogenously determine the fair division of a state into electoral districts in a two-party setting. No geometric constraints are imposed on voter distributions or district shapes; instead, it is assumed that any partition of the population into districts of equal population is feasible. One party divides the map, then the other party chooses a minimum threshold level of support needed to win a district. Districts in which neither party meets this threshold are awarded randomly. Despite the inherent asymmetry, the equilibria of this mechanism always yield fair outcomes, up to integer rounding.


title: Learning to Make Predictions on Graphs with Autoencoders

abstract: We examine two fundamental tasks associated with graph representation learning: link prediction and semi-supervised node classification. We present a novel autoencoder architecture capable of learning a joint representation of both local graph structure and available node features for the multi-task learning of link prediction and node classification. Our autoencoder architecture is efficiently trained end-to-end in a single learning stage to simultaneously perform link prediction and node classification, whereas previous related methods require multiple training steps that are difficult to optimize. We provide a comprehensive empirical evaluation of our models on nine benchmark graph-structured datasets and demonstrate significant improvement over related methods for graph representation learning. Reference code and data are available at https://github.com/vuptran/graph-representation-learning


title: On $\ast $-Semi Homogeneous Domains

abstract: Let $\ast $ be a finite character star operation defined on an integral domain $D.$ Call a nonzero $\ast $-ideal $I$ of finite type a $\ast $ -homogeneous ($\ast $-homog) ideal, if $I\subsetneq D$ and $(J+K)^{\ast }\neq D$ for every pair $D\supsetneq J,K\supseteq I$ of proper $\ast $ -ideals of finite type$.$ Call an integral domain $D$ a $\ast $-Semi Homogeneous Domain ($\ast $-SHD) if every proper principal ideal $xD$ of $D$ is expressible as a $\ast $-product of finitely many $\ast $-homog ideals. We show that a $\ast $-SHD contains a family $\mathcal{F}$ of prime ideals such that (a) $D=\cap_{P\in \mathcal{F}}D_{P},$ a locally finite intersection and (b) no two members of $\mathcal{F}$ contain a common non zero prime ideal. The $\ast $-SHDs include h-local domains, independent rings of Krull type, Krull domains, UFDs etc. We show also that we can modify the definition of the $\ast $-homog ideals to get a theory of each special case of a $\ast $-SH domain.


title: Improved Selection Criteria for HII Regions, based on IRAS Sources

abstract: We present new criteria for selecting HII regions from the Infrared Astronomical Satellite (IRAS) Point Source catalogue (PSC), based on an HII region catalogue derived manually from the all-sky Wide-field Infrared Survey Explorer (WISE). The criteria are used to augment the number of HII region candidates in the Milky Way. The criteria are defined by the linear decision boundary of two samples: IRAS point sources associated with known HII regions, which serve as the HII region sample, and IRAS point sources at high Galactic latitudes, which serve as the non-HII region sample. A machine learning classifier, specifically a support vector machine (SVM), is used to determine the decision boundary. We investigate all combinations of four IRAS bands and suggest that the optimal criterion is log(F$_{\rm 60}$/F$_{\rm 12}$)$\ge$(-0.19$\times$log(F$_{\rm 100}$/F$_{\rm 25}$)+ 1.52), with detections at 60 and 100 micron. This selects 3041 HII region candidates from the IRAS PSC. We find that IRAS HII region candidates show evidence of evolution on the two-colour diagram. Merging the WISE HII catalogue with IRAS HII region candidates, we estimate a lower limit of approximately 10200 for the number of HII regions in the Milky Way.


title: The Edge-Isoperimetric Problem on Sierpinski Graphs: Final Resolution

abstract: This paper completes the project started in [10]; to solve the edge-isoperimetric problem on the (generalized and extended) Sierpinski graph, S(n,m). We prove that initial segments of lexicographic order are solutions of the EIP for all n,m.


title: Polymorphism of stable collagen fibrils

abstract: Collagen fibrils are versatile self-assembled structures that provide mechanical integrity within mammalian tissues. The radius of collagen fibrils vary widely depending on experimental conditions \textit{in vitro} or anatomical location \textit{in vivo}. Here we explore the variety of thermodynamically stable fibril configurations that are available. We use a liquid crystal model of radial collagen fibril structure with a double-twist director field. Using a numerical relaxation method we show that two dimensionless parameters, the ratio of saddle-splay to twist elastic constants $ k_{24}/K_{22}$ and the ratio of surface tension to chiral strength $\hat{\gamma} \equiv \gamma/(K_{22}q)$, largely specify both the scaled fibril radius and the associated surface twist of equilibrium fibrils. We find that collagen fibrils are the stable phase with respect to the cholesteric phase only when the reduced surface tension is small, $\hat{\gamma} \lesssim 0.2$. Within this stable regime, collagen fibrils can access a wide range of radii and associated surface twists. Remarkably, we find a maximal equilibrium surface twist of $0.33$ rad ($19^{\text{o}}$). Our results are compatible with corneal collagen fibrils, and we show how the large surface twist is needed to explain the narrow distribution of corneal fibril radii. Conversely, we show how small surface twist is required for the thermodynamic stability of tendon fibrils in the face of considerable polydispersity of radius.


title: Generalized Analysis of Elastic Wave Dispersion Asymmetries in Moving Periodic Media

abstract: This work presents a generalized physical interpretation of unconventional dispersion asymmetries associated moving elastic solids. By shifting the notion from systems with time-variant material fields to physically traveling materials, the newly adopted paradigm provides an eloquent take on the dispersion problem and, in the process, highlights discrepancies between both schemes. Equations governing the motion of an elastic rod with a prescribed moving velocity observed from a stationary reference frame are used to predict propagation patterns and asymmetries in wave velocities induced as a result of the induced linear momentum bias. Three distinct scenarios corresponding to a moving rod with a constant modulus, a spatially varying one, and one that varies in space and time are presented. These cases are utilized to extract and interpret correlations pertaining to directional velocities, dispersion patterns, as well as nature of band gaps between moving periodic media and their stationary counterparts with time-traveling material properties. A linear vertical shear transformation is derived and utilized to thoroughly neutralize the effect of the moving velocity on the resultant dispersion characteristics. Finally, dispersion contours associated with the transient response of a finite moving medium are used to validate the entirety of the presented framework.


title: Time Consistent Stopping For The Mean-Standard Deviation Problem --- The Discrete Time Case

abstract: Inspired by Strotz's consistent planning strategy, we formulate the infinite horizon mean-variance stopping problem as a subgame perfect Nash equilibrium in order to determine time consistent strategies with no regret. Equilibria among stopping times or randomized stopping times may not exist. This motivates us to consider the notion of liquidation strategies, which lets the stopping right to be divisible. We then argue that the mean-standard deviation variant of this problem makes more sense for this type of strategies in terms of time consistency. It turns out that an equilibrium liquidation strategy always exists. We then analyze whether optimal equilibrium liquidation strategies exist and whether they are unique and observe that neither may hold.


title: PIRT: A Runtime Framework to Enable Energy-Efficient Real-Time Robotic Applications on Heterogeneous Architectures

abstract: Enabling full robotic workloads with diverse behaviors on mobile systems with stringent resource and energy constraints remains a challenge. In recent years, attempts have been made to deploy single-accelerator-based computing platforms (such as GPU, DSP, or FPGA) to address this challenge, but with little success. The core problem is two-fold: firstly, different robotic tasks require different accelerators, and secondly, managing multiple accelerators simultaneously is overwhelming for developers. In this paper, we propose PIRT, the first robotic runtime framework to efficiently manage dynamic task executions on mobile systems with multiple accelerators as well as on the cloud to achieve better performance and energy savings. With PIRT, we enable a robot to simultaneously perform autonomous navigation with 25 FPS of localization, obstacle detection with 3 FPS, route planning, large map generation, and scene understanding, traveling at a max speed of 5 miles per hour, all within an 11W computing power envelope.


title: Discrete parabolic groups in ${\rm PSL}(3, \Bbb{C})$

abstract: We study and classify the purely parabolic discrete subgroups of $PSL(3,\Bbb{C})$. This includes all discrete subgroups of the Heisenberg group ${\rm Heis}(3,\Bbb{C})$. While for $PSL(2,\Bbb{C})$ every purely parabolic subgroup is Abelian and acts on $\Bbb{P}^1_\Bbb{C}$ with limit set a single point, the case of $PSL(3,\Bbb{C})$ is far more subtle and intriguing. We show that there are five families of purely parabolic discrete groups in $PSL(3,\Bbb{C})$, and some of these actually split into subfamilies. We classify all these by means of their limit set and the control group. We use first the Lie-Kolchin Theorem and Borel's fixed point theorem to show that all purely parabolic discrete groups in $PSL(3,\Bbb{C})$ are virtually triangularizable. Then we prove that purely parabolic groups in $PSL(3,\Bbb{C})$ are virtually solvable and polycyclic, hence finitely presented. We then prove a slight generalization of the Lie-Kolchin Theorem for these groups: they are either virtually unipotent or else Abelian of rank 2 and of a very special type. All the virtually unipotent ones turn out to be conjugate to subgroups of the Heisenberg group ${\rm Heis}(3,\Bbb{C})$. We classify these using the obstructor dimension introduced by Bestvina, Kapovich and Kleiner. We find that their Kulkarni limit set is either a projective line, a cone of lines with base a circle or else the whole $\Bbb{P}^2_\Bbb{C}$. We determine the relation with the Conze-Guivarc'h limit set of the action on the dual projective space $\check{\Bbb{P}}^2_\Bbb{C}$ and we show that in all cases the Kulkarni region of discontinuity is the largest open set where the group acts properly discontinuously.


title: Weighted cogrowth formula for free groups

abstract: We investigate the relationship between geometric, analytic and probabilistic indices for quotients of the Cayley graph of the free group ${\rm Cay}(F_n)$ endowed with variable edge lengths, by an arbitrary subgroup $G$ of $F_n$. Our main result, which generalizes Grigorchuk's cogrowth formula to variable edge lengths, provides a formula relating the bottom of the spectrum of weighted Laplacian on $G \backslash {\rm Cay}(F_n)$ to the Poincar\'e exponent of $G$. Our main tool is the Patterson-Sullivan theory for Cayley graphs with variable edge lengths.


title: Real-Time End-to-End Action Detection with Two-Stream Networks

abstract: Two-stream networks have been very successful for solving the problem of action detection. However, prior work using two-stream networks train both streams separately, which prevents the network from exploiting regularities between the two streams. Moreover, unlike the visual stream, the dominant forms of optical flow computation typically do not maximally exploit GPU parallelism. We present a real-time end-to-end trainable two-stream network for action detection. First, we integrate the optical flow computation in our framework by using Flownet2. Second, we apply early fusion for the two streams and train the whole pipeline jointly end-to-end. Finally, for better network initialization, we transfer from the task of action recognition to action detection by pre-training our framework using the recently released large-scale Kinetics dataset. Our experimental results show that training the pipeline jointly end-to-end with fine-tuning the optical flow for the objective of action detection improves detection performance significantly. Additionally, we observe an improvement when initializing with parameters pre-trained using Kinetics. Last, we show that by integrating the optical flow computation, our framework is more efficient, running at real-time speeds (up to 31 fps).


title: An efficient $k$-means-type algorithm for clustering datasets with incomplete records

abstract: The $k$-means algorithm is arguably the most popular nonparametric clustering method but cannot generally be applied to datasets with incomplete records. The usual practice then is to either impute missing values under an assumed missing-completely-at-random mechanism or to ignore the incomplete records, and apply the algorithm on the resulting dataset. We develop an efficient version of the $k$-means algorithm that allows for clustering in the presence of incomplete records. Our extension is called $k_m$-means and reduces to the $k$-means algorithm when all records are complete. We also provide initialization strategies for our algorithm and methods to estimate the number of groups in the dataset. Illustrations and simulations demonstrate the efficacy of our approach in a variety of settings and patterns of missing data. Our methods are also applied to the analysis of activation images obtained from a functional Magnetic Resonance Imaging experiment.

categories: stat.ML astro-ph.HE cs.LG stat.CO stat.ME


title: On the Gas Content and Efficiency of AGN Feedback in Low-redshift Quasars

abstract: The interstellar medium is crucial to understanding the physics of active galaxies and the coevolution between supermassive black holes and their host galaxies. However, direct gas measurements are limited by sensitivity and other uncertainties. Dust provides an efficient indirect probe of the total gas. We apply this technique to a large sample of quasars, whose total gas content would be prohibitively expensive to measure. We present a comprehensive study of the full (1 to 500 micron) infrared spectral energy distributions of 87 redshift <0.5 quasars selected from the Palomar-Green sample, using photometric measurements from 2MASS, WISE, and Herschel, combined with Spitzer mid-infrared (5 to 40 micron) spectra. With a newly developed Bayesian Markov Chain Monte Carlo fitting method, we decompose various overlapping contributions to the integrated spectral energy distribution, including starlight, warm dust from the torus, and cooler dust on galaxy scales. This procedure yields a robust dust mass, which we use to infer the gas mass, using a gas-to-dust ratio constrained by the host galaxy stellar mass. Most (90%) quasar hosts have gas fractions similar to those of massive, star-forming galaxies, although a minority (10%) seem genuinely gas-deficient, resembling present-day massive early-type galaxies. This result indicates that "quasar mode" feedback does not occur or is ineffective in the host galaxies of low-redshift quasars. We also find that quasars can boost the interstellar radiation field and heat dust on galactic scales. This cautions against the common practice of using the far-infrared luminosity to estimate the host galaxy star formation rate.


title: Budget Constrained Bidding by Model-free Reinforcement Learning in Display Advertising

abstract: Real-time bidding (RTB) is an important mechanism in online display advertising, where a proper bid for each page view plays an essential role for good marketing results. Budget constrained bidding is a typical scenario in RTB where the advertisers hope to maximize the total value of the winning impressions under a pre-set budget constraint. However, the optimal bidding strategy is hard to be derived due to the complexity and volatility of the auction environment. To address these challenges, in this paper, we formulate budget constrained bidding as a Markov Decision Process and propose a model-free reinforcement learning framework to resolve the optimization problem. Our analysis shows that the immediate reward from environment is misleading under a critical resource constraint. Therefore, we innovate a reward function design methodology for the reinforcement learning problems with constraints. Based on the new reward design, we employ a deep neural network to learn the appropriate reward so that the optimal policy can be learned effectively. Different from the prior model-based work, which suffers from the scalability problem, our framework is easy to be deployed in large-scale industrial applications. The experimental evaluations demonstrate the effectiveness of our framework on large-scale real datasets.


title: Conformal boundary operators, T-curvatures, and conformal fractional Laplacians of odd order

abstract: We construct continuously parametrised families of conformally invariant boundary operators on densities. These may also be viewed as conformally covariant boundary operators on functions and generalise to higher orders the first-order conformal Robin operator and an analogous third-order operator of Chang-Qing. Our families include operators of critical order on odd-dimensional boundaries. Combined with the (conformal Laplacian power) GJMS operators, a suitable selection of the boundary operators yields formally self-adjoint elliptic conformal boundary problems. Working on a conformal manifold with boundary, we show that the operators yield odd-order conformally invariant fractional Laplacian pseudo-differential operators. To do this, we use higher-order conformally invariant Dirichlet-to-Neumann constructions. We also find and construct new curvature quantities associated to our new operator families. These have links to the Branson Q-curvature and include higher-order generalisations of the mean curvature and the T-curvature of Chang-Qing. In the case of the standard conformal hemisphere, the boundary operator construction is particularly simple; the resulting operators provide an elementary construction of families of symmetry breaking intertwinors between the spherical principal series representations of the conformal group of the equator, as studied by Juhl and others. We use our constructions to shed light on some conjectures of Juhl.


title: Effects of shock and turbulence properties on electron acceleration

abstract: Using test particle simulations we study electron acceleration at collisionless shocks with a two-component model turbulent magnetic field with slab component including dissipation range. We investigate the importance of shock normal angle $\theta_{Bn}$, magnetic turbulence level $\left(b/B_0\right)^2$, and shock thickness on the acceleration efficiency of electrons. It is shown that at perpendicular shocks the electron acceleration efficiency is enhanced with the decreasing of $\left(b/B_0\right)^2$, and at $\left(b/B_0\right)^2=0.01$ the acceleration becomes significant due to strong drift electric field with long time particles staying near the shock front for shock drift acceleration (SDA). In addition, at parallel shocks the electron acceleration efficiency is increasing with the increasing of $\left(b/B_0\right)^2$, and at $\left(b/B_0\right)^2=10.0$ the acceleration is very strong due to sufficient pitch-angle scattering for first-order Fermi acceleration, as well as due to large local component of magnetic field perpendicular to shock normal angle for SDA. On the other hand, the high perpendicular shock acceleration with $\left(b/B_0\right)^2=0.01$ is stronger than the high parallel shock acceleration with ($\left(b/B_0\right)^2=10.0$), the reason might be the assumption that SDA is more efficient than first-order Fermi acceleration. Furthermore, for oblique shocks, the acceleration efficiency is small no matter the turbulence level is low or high. Moreover, for the effect of shock thickness on electron acceleration at perpendicular shocks, we show that there exists the bend-over thickness, $L_{\text{diff,b}}$. The acceleration efficiency does not change evidently if the shock thickness is much smaller than $L_{\text{diff,b}}$. However, if the shock thickness is much larger than $L_{\text{diff,b}}$, the acceleration efficiency starts to drop abruptly.


title: Quark-Meson-Coupling (QMC) model for finite nuclei, nuclear matter and beyond

abstract: The Quark-Meson-Coupling model, which self-consistently relates the dynamics of the internal quark structure of a hadron to the relativistic mean fields arising in nuclear matter, provides a natural explanation to many open questions in low energy nuclear physics, including the origin of many-body nuclear forces and their saturation, the spin-orbit interaction and properties of hadronic matter at a wide range of densities up to those occurring in the cores of neutron stars. Here we focus on four aspects of the model (i) a full comprehensive survey of the theory, including the latest developments, (ii) extensive application of the model to ground state properties of finite nuclei and hypernuclei, with a discussion of similarities and differences between the QMC and Skyrme energy density functionals, (iii) equilibrium conditions and composition of hadronic matter in cold and warm neutron stars and their comparison with the outcome of relativistic mean-field theories and, (iv) tests of the fundamental idea that hadron structure changes in-medium.


title: Missing Data Reconstruction in Remote Sensing image with a Unified Spatial-Temporal-Spectral Deep Convolutional Neural Network

abstract: Because of the internal malfunction of satellite sensors and poor atmospheric conditions such as thick cloud, the acquired remote sensing data often suffer from missing information, i.e., the data usability is greatly reduced. In this paper, a novel method of missing information reconstruction in remote sensing images is proposed. The unified spatial-temporal-spectral framework based on a deep convolutional neural network (STS-CNN) employs a unified deep convolutional neural network combined with spatial-temporal-spectral supplementary information. In addition, to address the fact that most methods can only deal with a single missing information reconstruction task, the proposed approach can solve three typical missing information reconstruction tasks: 1) dead lines in Aqua MODIS band 6; 2) the Landsat ETM+ Scan Line Corrector (SLC)-off problem; and 3) thick cloud removal. It should be noted that the proposed model can use multi-source data (spatial, spectral, and temporal) as the input of the unified framework. The results of both simulated and real-data experiments demonstrate that the proposed model exhibits high effectiveness in the three missing information reconstruction tasks listed above.


title: Do WaveNets Dream of Acoustic Waves?

abstract: Various sources have reported the WaveNet deep learning architecture being able to generate high-quality speech, but to our knowledge there haven't been studies on the interpretation or visualization of trained WaveNets. This study investigates the possibility that WaveNet understands speech by unsupervisedly learning an acoustically meaningful latent representation of the speech signals in its receptive field; we also attempt to interpret the mechanism by which the feature extraction is performed. Suggested by singular value decomposition and linear regression analysis on the activations and known acoustic features (e.g. F0), the key findings are (1) activations in the higher layers are highly correlated with spectral features; (2) WaveNet explicitly performs pitch extraction despite being trained to directly predict the next audio sample and (3) for the said feature analysis to take place, the latent signal representation is converted back and forth between baseband and wideband components.


title: Emulating topological chiral magnetic effects in artificial Weyl semimetals

abstract: We realized highly tunable Weyl semimetal-bands and subsequently emulated the topological chiral magnetic effects in superconducting quantum circuits. Driving the superconducting quantum circuits with elaborately designed microwave fields, we mapped the momentum space of a lattice to the parameter space, realizing the Hamiltonian of a Weyl semimetal. By measuring the energy spectrum, we directly imaged the Weyl points of cubic lattices, whose topological winding numbers were further determined from the Berry curvature measurement. In particular, we used an additional microwave field to produce a momentum-dependent chemical potential, from which the chiral magnetic topological current was extracted in the presence of an artificial magnetic field. This pure topological current is proportional to the magnetic field, which is in contrast to the famous Ampere's law, and may have significant impacts on topological materials and quantum devices.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.other quant-ph


title: Approximation Algorithms for D-optimal Design

abstract: Experimental design is a classical statistics problem and its aim is to estimate an unknown $m$-dimensional vector $\beta$ from linear measurements where a Gaussian noise is introduced in each measurement. For the combinatorial experimental design problem, the goal is to pick $k$ out of the given $n$ experiments so as to make the most accurate estimate of the unknown parameters, denoted as $\hat{\beta}$. In this paper, we will study one of the most robust measures of error estimation - $D$-optimality criterion, which corresponds to minimizing the volume of the confidence ellipsoid for the estimation error $\beta-\hat{\beta}$. The problem gives rise to two natural variants depending on whether repetitions of experiments are allowed or not. We first propose an approximation algorithm with a $\frac1e$-approximation for the $D$-optimal design problem with and without repetitions, giving the first constant factor approximation for the problem. We then analyze another sampling approximation algorithm and prove that it is $(1-\epsilon)$-approximation if $k\geq \frac{4m}{\epsilon}+\frac{12}{\epsilon^2}\log(\frac{1}{\epsilon})$ for any $\epsilon \in (0,1)$. Finally, for $D$-optimal design with repetitions, we study a different algorithm proposed by literature and show that it can improve this asymptotic approximation ratio.


title: Dirac-Phase Thermal Leptogenesis in the extended Type-I Seesaw Model

abstract: Motivated by the fact that the Dirac phase in the PMNS matrix is the only CP-violating parameter in the leptonic sector that can be measured in neutrino oscillation experiments, we examine the possibility that it is the dominant source of CP violation for leptogenesis caused by the out-of-equilibrium decays of heavy singlet fermions. We do so within a low-scale extended type-I seesaw model, featuring two Standard Model singlet fermions per family, in which lepton number is approximately conserved such that the heavy singlet neutrinos are pseudo-Dirac. We find that this produces a predictive model of leptogenesis. Our results show that for low-scale thermal leptogenesis, a pure inverse-seesaw scenario fails to produce the required asymmetry, even accounting for resonance effects, because wash-out processes are too efficient. Dirac-phase leptogenesis is, however, possible when the linear seesaw term is switched on, with the aid of the resonance contributions naturally present in the model. Degenerate and hierarchical spectra are considered -- both can achieve Dirac-phase leptogenesis, although the latter is more constrained. Finally, although unable to probe the parameter space of Dirac-phase leptogenesis, the contributions to unitarity violation of the PMNS matrix, collider constraints and charged-lepton flavour-violating processes are calculated and we further estimate the impact of the future experiments MEG-II and COMET for such models.


title: Universal sums of $m$-gonal numbers

abstract: In this paper we study universal quadratic polynomials which arise as sums of polygonal numbers. Specifically, we determine an asymptotic upper bound (as a function of $m$) on the size of the set $S_m\subset\mathbb{N}$ such that if a sum of $m$-gonal numbers represents $S_m$, then it represents $\mathbb{N}$.


title: Reusing Weights in Subword-aware Neural Language Models

abstract: We propose several ways of reusing subword embeddings and other weights in subword-aware neural language models. The proposed techniques do not benefit a competitive character-aware model, but some of them improve the performance of syllable- and morpheme-aware models while showing significant reductions in model sizes. We discover a simple hands-on principle: in a multi-layer input embedding model, layers should be tied consecutively bottom-up if reused at output. Our best morpheme-aware model with properly reused weights beats the competitive word-level model by a large margin across multiple languages and has 20%-87% fewer parameters.


title: LQG Control and Sensing Co-Design

abstract: We investigate a Linear-Quadratic-Gaussian (LQG) control and sensing co-design problem, where one jointly designs sensing and control policies. We focus on the realistic case where the sensing design is selected among a finite set of available sensors, where each sensor is associated with a different cost (e.g., power consumption). We consider two dual problem instances: sensing-constrained LQG control, where one maximizes control performance subject to a sensor cost budget, and minimum-sensing LQG control, where one minimizes sensor cost subject to performance constraints. We prove no polynomial time algorithm guarantees across all problem instances a constant approximation factor from the optimal. Nonetheless, we present the first polynomial time algorithms with per-instance suboptimality guarantees. To this end, we leverage a separation principle, that partially decouples the design of sensing and control. Then, we frame LQG co-design as the optimization of approximately supermodular set functions; we develop novel algorithms to solve the problems; and we prove original results on the performance of the algorithms, and establish connections between their suboptimality and control-theoretic quantities. We conclude the paper by discussing two applications, namely, sensing-constrained formation control and resource-constrained robot navigation.

categories: math.OC cs.MA cs.RO cs.SY eess.SY math.DS


title: Chiral force of guided light on an atom

abstract: We calculate the force of a near-resonant guided light field of an ultrathin optical fiber on a two-level atom. We show that, if the atomic dipole rotates in the meridional plane, the magnitude of the force of the guided light depends on the field propagation direction. The chirality of the force arises as a consequence of the directional dependencies of the Rabi frequency of the guided driving field and the spontaneous emission from the atom. This provides a unique method for controlling atomic motion in the vicinity of an ultrathin fiber.


title: Multi-Scale Spectrum Sensing in Dense Multi-Cell Cognitive Networks

abstract: Multi-scale spectrum sensing is proposed to overcome the cost of full network state information on the spectrum occupancy of primary users (PUs) in dense multi-cell cognitive networks. Secondary users (SUs) estimate the local spectrum occupancies and aggregate them hierarchically to estimate spectrum occupancy at multiple spatial scales. Thus, SUs obtain fine-grained estimates of spectrum occupancies of nearby cells, more relevant to scheduling tasks, and coarse-grained estimates of those of distant cells. An agglomerative clustering algorithm is proposed to design a cost-effective aggregation tree, matched to the structure of interference, robust to local estimation errors and delays. Given these multi-scale estimates, the SU traffic is adapted in a decentralized fashion in each cell, to optimize the trade-off among SU cell throughput, interference caused to PUs, and mutual SU interference. Numerical evaluations demonstrate a small degradation in SU cell throughput (up to 15% for a 0dB interference-to-noise ratio experienced at PUs) compared to a scheme with full network state information, using only one-third of the cost incurred in the exchange of spectrum estimates. The proposed interference-matched design is shown to significantly outperform a random tree design, by providing more relevant information for network control, and a state-of-the-art consensus-based algorithm, which does not leverage the spatio-temporal structure of interference across the network.


title: EmotionLines: An Emotion Corpus of Multi-Party Conversations

abstract: Feeling emotion is a critical characteristic to distinguish people from machines. Among all the multi-modal resources for emotion detection, textual datasets are those containing the least additional information in addition to semantics, and hence are adopted widely for testing the developed systems. However, most of the textual emotional datasets consist of emotion labels of only individual words, sentences or documents, which makes it challenging to discuss the contextual flow of emotions. In this paper, we introduce EmotionLines, the first dataset with emotions labeling on all utterances in each dialogue only based on their textual content. Dialogues in EmotionLines are collected from Friends TV scripts and private Facebook messenger dialogues. Then one of seven emotions, six Ekman's basic emotions plus the neutral emotion, is labeled on each utterance by 5 Amazon MTurkers. A total of 29,245 utterances from 2,000 dialogues are labeled in EmotionLines. We also provide several strong baselines for emotion detection models on EmotionLines in this paper.


title: On Abruptly-Changing and Slowly-Varying Multiarmed Bandit Problems

abstract: We study the non-stationary stochastic multiarmed bandit (MAB) problem and propose two generic algorithms, namely, the limited memory deterministic sequencing of exploration and exploitation (LM-DSEE) and the Sliding-Window Upper Confidence Bound# (SW-UCB#). We rigorously analyze these algorithms in abruptly-changing and slowly-varying environments and characterize their performance. We show that the expected cumulative regret for these algorithms under either of the environments is upper bounded by sublinear functions of time, i.e., the time average of the regret asymptotically converges to zero. We complement our analytic results with numerical illustrations.


title: K-stability of birationally superrigid Fano varieties

abstract: We prove that every birationally superrigid Fano variety whose alpha invariant is greater than (resp. no smaller than) $\frac{1}{2}$ is K-stable (resp. K-semistable). We also prove that the alpha invariant of a birationally superrigid Fano variety of dimension $n$ is at least $\frac{1}{n+1}$ (under mild assumptions) and that the moduli space (if exists) of birationally superrigid Fano varieties is separated.


title: Inverse Doppler Effects in Pipe Instruments

abstract: Music is older than language, and for most of human history music holds our culture together. The pipe instrument is one of the most popular musical instruments of all time. Built on the foundation of previous flute and flute-like acoustic metamaterial models, we herein report the experimental results of the inverse Doppler effects discovered in two common pipe instruments - recorder and clarinet. Our study shows that the inverse Doppler effects can be detected at all seven pitches of an ascending musical scale when there is a relative motion between a microphone (observer) and abovementioned two pipe instruments (source). The calculated effective refractive indices of these two pipe instruments are negative and varying across a set of pitches, exhibiting a desired characteristic of broadband acoustic metamaterials. This study suggests that recorder and clarinet may be the earliest man-made acoustic metamaterials known so far, offering a new explanation why pipe instruments have enjoyed wide popularity in Europe and Asia over the past hundreds and thousands years. This newly discovered phenomenon would also offer a clue into designing next-generation smart broadband double-negative acoustic metamaterials with varying refractive index.


title: A role of asymmetry in linear response of globally coupled oscillator systems

abstract: The linear response is studied in globally coupled oscillator systems including the Kuramoto model. We develop a linear response theory which can be applied to systems whose coupling functions are generic. Based on the theory, we examine the role of asymmetry introduced to the natural frequency distribution, the coupling function, or the coupling constants. A remarkable difference appears in coexistence of the divergence of susceptibility at the critical point and a nonzero phase gap between the order parameter and the applied external force. The coexistence is not allowed by the asymmetry in the natural frequency distribution but can be realized by the other two types of asymmetry. This theoretical prediction and the coupling-constant dependence of the susceptibility are numerically verified by performing simulations in $N$-body systems and in reduced systems obtained with the aid of the Ott-Antonsen ansatz.


title: Quantum improved measurement of time transfer

abstract: Accurate time transfer has become a crucial issue for future space experiments which require increasing resolution over large distances. In 2008, a scheme combining homodyne detection and mode-locked femtosecond lasers was proposed that leads to a potential timing precision reaching the yoctosecond range; with a multimode quantum frequency comb as the input field, the sub-shot noise measurement for the time transfer can further improve the timing precision. Based on this scheme and applying the multimode squeezing frequency comb that was measured to have a phase quadrature quantum noise reduction of 1.5 dB at the analyzing frequency 2MHz, the measurable timing fluctuation was reduced from a shot-noise limited value of 8.9E-23s to 7.5E-23s. To our knowledge, this is the first experimental demonstration of the time transfer measurement that achieves a precision beyond the standard quantum limit (SQL).


title: Chaotic Excitation and Tidal Damping in the GJ 876 System

abstract: The M-dwarf GJ 876 is the closest known star to harbor a multi-planetary system. With three outer planets locked in a chaotic Laplace-type resonance and an appreciably eccentric short-period Super-Earth, this system represents a unique exposition of extrasolar planetary dynamics. A key question that concerns the long-term evolution of this system, and the fate of close-in planets in general, is how the significant eccentricity of the inner-most planet is maintained against tidal circularization on timescales comparable to the age of the universe. Here, we employ stochastic secular perturbation theory and N-body simulations to show that the orbit of the inner-most planet is shaped by a delicate balance between extrinsic chaotic forcing and tidal dissipation. As such, the planet's orbital eccentricity represents an indirect measure of its tidal quality factor. Based on the system's present-day architecture, we estimate that the extrasolar Super-Earth GJ 876d has a tidal Q~10,000-100,000 - a value characteristic of solar system gas giants.


title: Enhanced PeerHunter: Detecting Peer-to-peer Botnets through Network-Flow Level Community Behavior Analysis

abstract: Peer-to-peer (P2P) botnets have become one of the major threats in network security for serving as the fundamental infrastructure for various cyber-crimes. More challenges are involved in the problem of detecting P2P botnets, despite a few work claimed to detect centralized botnets effectively. We propose Enhanced PeerHunter, a network-flow level community behavior analysis based system, to detect P2P botnets. Our system starts from a P2P network flow detection component. Then, it uses "mutual contacts" to cluster bots into communities. Finally, it uses network-flow level community behavior analysis to detect potential botnets. In the experimental evaluation, we propose two evasion attacks, where we assume the adversaries know our techniques in advance and attempt to evade our system by making the P2P bots mimic the behavior of legitimate P2P applications. Our results showed that Enhanced PeerHunter can obtain high detection rate with few false positives, and high robustness against the proposed attacks.


title: On the rigidity of rank gradient in a group of intermediate growth

abstract: We introduce and investigate the rigidity property of rank gradient in the case of the group $\mathcal G$ of intermediate growth constructed by the first author. We show that $\mathcal G$ is normally $(f,g)$-RG rigid where $f(n)=\log(n)$ and $g(n) =\log(\log(n)).$


title: Search for Axion like particles using Laue-case conversion in a single crystal

abstract: Axion Like Particles (ALPs) with a sub-keV range mass are searched by using the light-shining-through-a-wall technique. A novel system is developed in which injected X rays are converted and reconverted by the Laue-case conversion within a silicon single crystal with dual blades. The resonant ALPs' mass of the conversion is scanned by varying the X-ray injection angle to the crystal. No significant signals are observed, and 90% C. L. upper limits on the ALP-two photon coupling constant are obtained as follows, g_{a\gamma\gamma} < 4.2 \times 10^{-3} GeV^{-1} (m_a < 10 eV), g_{a\gamma\gamma} < 5.0 \times 10^{-3} GeV^{-1} (46 eV < m_a < 1020 eV). These are the most stringent laboratorial constraints on ALPs heavier than 300 eV.


title: Birational superrigidity and K-stability of Fano complete intersections of index one (with an appendix written jointly with Charlie Stibitz)

abstract: We prove that every smooth Fano complete intersection of index $1$ and codimension $r$ in $\mathbb{P}^{n+r}$ is birationally superrigid and K-stable if $n\ge 10r$. We also propose a generalization of Tian's criterion of K-stability and, as an application, prove the K-stability of the complete intersection of a quadric and a cubic in $\mathbb{P}^5$. In the appendix (written jointly with C. Stibitz), we prove the conditional birational superrigidity of Fano complete intersections of higher index in large dimension.


title: A Stochastic Lagrangian Basis for a Probabilistic Parameterization of Moisture Condensation in Eulerian Models

abstract: In this paper we describe the construction of an efficient probabilistic parameterization that could be used in a coarse-resolution numerical model in which the variation of moisture is not properly resolved. An Eulerian model using a coarse-grained field on a grid cannot properly resolve regions of saturation---in which condensation occurs---that are smaller than the grid boxes. Thus, in the absence of a parameterization scheme, either the grid box must become saturated or condensation will be underestimated. On the other hand, in a stochastic Lagrangian model of moisture transport, trajectories of parcels tagged with humidity variables are tracked and small-scale moisture variability can be retained; however, explicitly implementing such a scheme in a global model would be computationally prohibitive. One way to introduce subgrid-scale saturation into an Eulerian model is to assume the humidity within a grid box has a probability distribution. To close the problem, this distribution is conventionally determined by relating the required subgrid-scale properties of the flow to the grid-scale properties using a turbulence closure. Here, instead, we determine an assumed probability distribution by using the statistical moments from a stochastic Lagrangian version of the system. The stochastic system is governed by a Fokker--Planck equation and we use that, rather than explicitly following the moisture parcels, to determine the parameters of the assumed distribution. We are thus able to parameterize subgrid-scale condensation in an Eulerian model in a computationally efficient and theoretically well-founded way. In two idealized advection--condensation problems we show that a coarse Eulerian model with the subgrid parameterization is well able to mimic its Lagrangian counterpart.


title: An Empirical Study on README contents for JavaScript Packages

abstract: Contemporary software projects often utilize a README.md to share crucial information such as installation and usage examples related to their software. Furthermore, these files serve as an important source of updated and useful documentation for developers and prospective users of the software. Nonetheless, both novice and seasoned developers are sometimes unsure of what is required for a good README file. To understand the contents of a README, we investigate the contents of 43,900 JavaScript packages. Results show that these packages contain common content themes (i.e., usage, install and license). Furthermore, we find that application-specific packages more frequently included content themes such as options, while library-based packages more frequently included other specific content themes (i.e., install and license).


title: Globally F-regular type of moduli spaces and Verlinde formula

abstract: We prove that moduli spaces of semistable parabolic bundles and generalized parabolic sheaves (GPS) with a fixed determinant on a smooth projective curve are globally F-regular type. As an application, we prove vanishing theorems on the moduli spaces of semistable parabolic sheaves on a singular curve, which combining with Factorization theorems in [24] and [25] give two recurrence relations among dimensions of spaces of generalized theta functions. By using of these recurrence relations, we prove an explicit formula (Verlinde formula) for the dimension of spaces of generalized theta functions.


title: Boltzmann transport theory for many body localization

abstract: We investigate a many-body localization transition based on a Boltzmann transport theory. Introducing weak localization corrections into a Boltzmann equation, Hershfield and Ambegaokar re-derived the Wolfle-Vollhardt self-consistent equation for the diffusion coefficient [Phys. Rev. B {\bf 34}, 2147 (1986)]. We generalize this Boltzmann equation framework, introducing electron-electron interactions into the Hershfield-Ambegaokar Boltzmann transport theory based on the study of Zala-Narozhny-Aleiner [Phys. Rev. B {\bf 64}, 214204 (2001)]. Here, not only Altshuler-Aronov corrections but also dephasing effects are taken into account. As a result, we obtain a self-consistent equation for the diffusion coefficient in terms of the disorder strength and temperature, which extends the Wolfle-Vollhardt self-consistent equation in the presence of electron correlations. Solving our self-consistent equation numerically, we find a many-body localization insulator-metal transition, where a metallic phase appears from dephasing effects dominantly instead of renormalization effects at high temperatures. Although this mechanism is consistent with that of recent seminal papers [Ann. Phys. (N. Y). {\bf 321}, 1126 (2006); Phys. Rev. Lett. {\bf 95}, 206603 (2005)], we find that our three-dimensional metal-insulator transition belongs to the first order transition, which differs from the Anderson metal-insulator transition described by the Wolfle-Vollhardt self-consistent theory. We speculate that a bimodal distribution function for the diffusion coefficient is responsible for this first order phase transition.


title: Dispersion features of complex waves in a graphene-coated semiconductor nanowire

abstract: Dispersion features of a graphene-coated semiconductor nanowire operating in the terahertz frequency band are consistently studied in the framework of a special theory of complex waves. Detailed classification of the waveguide modes was carried out based on the analysis of characteristics of the phase and attenuation constants obtained from the complex roots of characteristic equation. With such a treatment, the waves are attributed to the group of either 'proper' or 'improper' waves, wherein their type is determined as the trapped surface waves, fast and slow leaky waves, and surface plasmons. The dispersion curves of axially symmetric TM0n and TE0n modes, as well as non-symmetric hybrid EH1n and HE1n modes were plotted and analyzed in details, and both radiative regime of leaky waves and guided regime of trapped surface waves are identified. Peculiarities of propagation of the TM modes of surface plasmons were revealed. Two sub-regions of existence of surface plasmons were found out where they appear as propagating and reactive waves. The cut-off conditions for higher order modes were correctly determined.


title: Towards end-to-end spoken language understanding

abstract: Spoken language understanding system is traditionally designed as a pipeline of a number of components. First, the audio signal is processed by an automatic speech recognizer for transcription or n-best hypotheses. With the recognition results, a natural language understanding system classifies the text to structured data as domain, intent and slots for down-streaming consumers, such as dialog system, hands-free applications. These components are usually developed and optimized independently. In this paper, we present our study on an end-to-end learning system for spoken language understanding. With this unified approach, we can infer the semantic meaning directly from audio features without the intermediate text representation. This study showed that the trained model can achieve reasonable good result and demonstrated that the model can capture the semantic attention directly from the audio features.


title: Bounds on the Zero-Error List-Decoding Capacity of the $q/(q-1)$ Channel

abstract: We consider the problem of determining the zero-error list-decoding capacity of the $q/(q-1)$ channel studied by Elias (1988). The $q/(q-1)$ channel has input and output alphabet consisting of $q$ symbols, say, $Q = \{x_1,x_2,\ldots, x_q\}$; when the channel receives an input $x \in Q$, it outputs a symbol other than $x$ itself. Let $n(m,q,\ell)$ be the smallest $n$ for which there is a code $C \subseteq Q^n$ of $m$ elements such that for every list $w_1, w_2, \ldots, w_{\ell+1}$ of distinct code-words from $C$, there is a coordinate $j \in [n]$ that satisfies $\{w_1[j], w_2[j], \ldots, w_{\ell+1}[j]\} = Q$. We show that for $\epsilon<1/6$, for all large $q$ and large enough $m$, $n(m,q, \epsilon q\ln{q}) \geq \Omega(\exp{(q^{1-6\epsilon}/8)}\log_2{m})$. The lower bound obtained by Fredman and Koml\'{o}s (1984) for perfect hashing implies that $n(m,q,q-1) = \exp(\Omega(q)) \log_2 m$; similarly, the lower bound obtained by K\"{o}rner (1986) for nearly-perfect hashing implies that $n(m,q,q) = \exp(\Omega(q)) \log_2 m$. These results show that the zero-error list-decoding capacity of the $q/(q-1)$ channel with lists of size at most $q$ is exponentially small. Extending these bounds, Chakraborty et al. (2006) showed that the capacity remains exponentially small even if the list size is allowed to be as large as $1.58q$. Our result implies that the zero-error list-decoding capacity of the $q/(q-1)$ channel with list size $\epsilon q$ for $\epsilon<1/6$ is $\exp{(\Omega(q^{1-6\epsilon}))}$. This resolves the conjecture raised by Chakraborty et al. (2006) about the zero-error list-decoding capcity of the $q/(q-1)$ channel at larger list sizes.


title: Harnessing Structures in Big Data via Guaranteed Low-Rank Matrix Estimation

abstract: Low-rank modeling plays a pivotal role in signal processing and machine learning, with applications ranging from collaborative filtering, video surveillance, medical imaging, to dimensionality reduction and adaptive filtering. Many modern high-dimensional data and interactions thereof can be modeled as lying approximately in a low-dimensional subspace or manifold, possibly with additional structures, and its proper exploitations lead to significant reduction of costs in sensing, computation and storage. In recent years, there is a plethora of progress in understanding how to exploit low-rank structures using computationally efficient procedures in a provable manner, including both convex and nonconvex approaches. On one side, convex relaxations such as nuclear norm minimization often lead to statistically optimal procedures for estimating low-rank matrices, where first-order methods are developed to address the computational challenges; on the other side, there is emerging evidence that properly designed nonconvex procedures, such as projected gradient descent, often provide globally optimal solutions with a much lower computational cost in many problems. This survey article will provide a unified overview of these recent advances on low-rank matrix estimation from incomplete measurements. Attention is paid to rigorous characterization of the performance of these algorithms, and to problems where the low-rank matrix have additional structural properties that require new algorithmic designs and theoretical analysis.


title: Using first-principles calculations to screen for fragile magnetism: Case study of LaCrGe3 and LaCrSb3

abstract: In this paper, we present a coupled experimental/theoretical investigation of pressure effect on the ferromagnetism of LaCrGe3 and LaCrSb3 compounds. The magnetic, electronic, elastic and mechanical properties of LaCrGe3 and LaCrSb3 at ambient condition are studied by first-principles density functional theory calculations. The pressure dependences of the magnetic properties of LaCrGe3 and LaCrSb3 are also investigated. The ferromagnetism in LaCrGe3 is rather fragile with a ferro- to paramagnetic transition at a relatively small pressure (around 7 GPa from our calculations, and 2 GPa in experiments). The key parameter controlling the magnetic properties of LaCrGe3 is found to be the proximity of the Cr DOS to the Fermi surface, a proximity that is strongly correlated to the distance between Cr atoms along the c-axis, suggesting that there would be a simple way to suppress magnetism in systems with one dimensional arrangement of magnetic atoms. By contrast, the ferromagnetism in LaCrSb3 is not fragile. Our calculation results are consistent with our experimental results and demonstrate the feasibility of using first-principles calculations to aid experimental explorations in screening for materials with fragile magnetism.


title: Phonon Interferometry for Measuring Quantum Decoherence

abstract: Experimental observation of the decoherence of macroscopic objects is of fundamental importance to the study of quantum collapse models and the quantum to classical transition. Optomechanics is a promising field for the study of such models because of its fine control and readout of mechanical motion. Nevertheless, it is challenging to monitor a mechanical superposition state for long enough to investigate this transition. We present a scheme for entangling two mechanical resonators in spatial superposition states such that all quantum information is stored in the mechanical resonators. The scheme is general and applies to any optomechanical system with multiple mechanical modes. By analytic and numeric modeling, we show that the scheme is resilient to experimental imperfections such as incomplete pre-cooling, faulty postselection and inefficient optomechanical coupling. This proposed procedure overcomes limitations of previously proposed schemes that have so far hindered the study of macroscopic quantum dynamics.


title: The Squared Coefficient of Variation for MMPP is Greater than Unity

abstract: Folklore often treats the Markov Modulated Poisson Process as bursty because the variance divided by the expectation of counts is greater than unity. When viewed through the lens of the inter-event process, this ideally corresponds to a squared coefficient of variation greater than unity. As this has not been proved to date, we provide a proof together with an associated stochastic order relation.


title: Novel Approaches to Accelerating the Convergence Rate of Markov Decision Process for Search Result Diversification

abstract: Recently, some studies have utilized the Markov Decision Process for diversifying (MDP-DIV) the search results in information retrieval. Though promising performances can be delivered, MDP-DIV suffers from a very slow convergence, which hinders its usability in real applications. In this paper, we aim to promote the performance of MDP-DIV by speeding up the convergence rate without much accuracy sacrifice. The slow convergence is incurred by two main reasons: the large action space and data scarcity. On the one hand, the sequential decision making at each position needs to evaluate the query-document relevance for all the candidate set, which results in a huge searching space for MDP; on the other hand, due to the data scarcity, the agent has to proceed more "trial and error" interactions with the environment. To tackle this problem, we propose MDP-DIV-kNN and MDP-DIV-NTN methods. The MDP-DIV-kNN method adopts a $k$ nearest neighbor strategy, i.e., discarding the $k$ nearest neighbors of the recently-selected action (document), to reduce the diversification searching space. The MDP-DIV-NTN employs a pre-trained diversification neural tensor network (NTN-DIV) as the evaluation model, and combines the results with MDP to produce the final ranking solution. The experiment results demonstrate that the two proposed methods indeed accelerate the convergence rate of the MDP-DIV, which is 3x faster, while the accuracies produced barely degrade, or even are better.


title: Adaptive specular reflection detection and inpainting in colonoscopy video frames

abstract: Colonoscopy video frames might be contaminated by bright spots with unsaturated values known as specular reflection. Detection and removal of such reflections could enhance the quality of colonoscopy images and facilitate diagnosis procedure. In this paper we propose a novel two-phase method for this purpose, consisting of detection and removal phases. In the detection phase, we employ both HSV and RGB color space information for segmentation of specular reflections. We first train a non-linear SVM for selecting a color space based on image statistical features extracted from each channel of the color spaces. Then, a cost function for detection of specular reflections is introduced. In the removal phase, we propose a two-step inpainting method which consists of appropriate replacement patch selection and removal of the blockiness effects. The proposed method is evaluated by testing on an available colonoscopy image database where accuracy and Dice score of 99.68% and 71.79% are achieved respectively.


title: Blow up of solutions for semilinear wave equations with noneffective damping

abstract: In this paper, we study the finite-time blow up of solutions to the following semilinear wave equation with time-dependent damping \[ \partial_t^2u-\Delta u+\frac{\mu}{1+t}\partial_tu=|u|^p \] in $\mathbb{R}_{+}\times\mathbb{R}^n$. More precisely, for $0\leq\mu\leq 2,\mu \neq1$ and $n\geq 2$, there is no global solution for $1<p<p_S(n+\mu)$, where $p_S(k)$ is the $k$-dimensional Strauss exponent and a life-span of the blow up solution will be obtained. Our work is an extension of \cite{IS}, where the authors proved a similar blow up result with a larger range of $\mu$. However, we obtain a better life-span estimate when $\mu\in(0,1)\cup(1,2)$ by using a different method.


title: Kernel Recursive ABC: Point Estimation with Intractable Likelihood

abstract: We propose a novel approach to parameter estimation for simulator-based statistical models with intractable likelihood. Our proposed method involves recursive application of kernel ABC and kernel herding to the same observed data. We provide a theoretical explanation regarding why the approach works, showing (for the population setting) that, under a certain assumption, point estimates obtained with this method converge to the true parameter, as recursion proceeds. We have conducted a variety of numerical experiments, including parameter estimation for a real-world pedestrian flow simulator, and show that in most cases our method outperforms existing approaches.


title: Local moment matching: A unified methodology for symmetric functional estimation and distribution estimation under Wasserstein distance

abstract: We present \emph{Local Moment Matching (LMM)}, a unified methodology for symmetric functional estimation and distribution estimation under Wasserstein distance. We construct an efficiently computable estimator that achieves the minimax rates in estimating the distribution up to permutation, and show that the plug-in approach of our unlabeled distribution estimator is "universal" in estimating symmetric functionals of discrete distributions. Instead of doing best polynomial approximation explicitly as in existing literature of functional estimation, the plug-in approach conducts polynomial approximation implicitly and attains the optimal sample complexity for the entropy, power sum and support size functionals.


title: Solving Linear Inverse Problems Using GAN Priors: An Algorithm with Provable Guarantees

abstract: In recent works, both sparsity-based methods as well as learning-based methods have proven to be successful in solving several challenging linear inverse problems. However, sparsity priors for natural signals and images suffer from poor discriminative capability, while learning-based methods seldom provide concrete theoretical guarantees. In this work, we advocate the idea of replacing hand-crafted priors, such as sparsity, with a Generative Adversarial Network (GAN) to solve linear inverse problems such as compressive sensing. In particular, we propose a projected gradient descent (PGD) algorithm for effective use of GAN priors for linear inverse problems, and also provide theoretical guarantees on the rate of convergence of this algorithm. Moreover, we show empirically that our algorithm demonstrates superior performance over an existing method of leveraging GANs for compressive sensing.


title: Exponentially Consistent Kernel Two-Sample Tests

abstract: Given two sets of independent samples from unknown distributions $P$ and $Q$, a two-sample test decides whether to reject the null hypothesis that $P=Q$. Recent attention has focused on kernel two-sample tests as the test statistics are easy to compute, converge fast, and have low bias with their finite sample estimates. However, there still lacks an exact characterization on the asymptotic performance of such tests, and in particular, the rate at which the type-II error probability decays to zero in the large sample limit. In this work, we establish that a class of kernel two-sample tests are exponentially consistent with Polish, locally compact Hausdorff sample space, e.g., $\mathbb R^d$. The obtained exponential decay rate is further shown to be optimal among all two-sample tests satisfying the level constraint, and is independent of particular kernels provided that they are bounded continuous and characteristic. Our results gain new insights into related issues such as fair alternative for testing and kernel selection strategy. Finally, as an application, we show that a kernel based test achieves the optimal detection for off-line change detection in the nonparametric setting.


title: Comparative study of anomalous size dependence of charged and neutral solute diffusion in water

abstract: In this work, we perform a comparative study of the size dependence of diffusion of charged and neutral solutes in water. The neutral solute in water shows a nonmonotonicity in the size dependence of diffusion. This is usually connected to the well known Levitation effect where it is found that when solute diffuses through the transient solvent cages then for attractive solute-solvent interaction and for a particular size of the solute there is a force balance which leads to the maximum in diffusion. Similar maximum in diffusion of charged solutes has also been observed and connected to Levitation effect. However, earlier studies of ionic diffusion connects this nonmonotonicity to the interplay between hard sphere repulsion and Coulombic attraction. In this work, we show that although the size dependence of both charged and neutral solutes have a nonmonotonicity, there is a stark difference in their behaviour. For charged solute with increase in attraction the maximum shifts to higher solute sizes and has a lower value whereas for neutral solute it remains at the same place and has a higher value. We show by studying the ionic and non-ionic part of the potential that for larger solutes it is the nonionic part which dominates and for smaller solutes the ionic part and the is a transition between them. As the charge on the solute increases, this transition takes place at larger solute sizes which leads to the shift in the diffusivity maxima and reduction of the peak value. We show that although the charged solutes also explore the solvent cage even before we reach the size which Levitates due to Coulombic attraction the diffusion value drops. Thus the origin of diffusivity maxima in charged and neutral solute diffusion is different.


title: Correspondence between trace ideals and birational extensions with application to the analysis of the Gorenstein property of rings

abstract: Over an arbitrary commutative ring, correspondences among three sets, the set of trace ideals, the set of stable ideals, and the set of birational extensions of the base ring, are studied. The correspondences are well-behaved, if the base ring is a Gorenstein ring of dimension one. It is shown that with one extremal exception, the surjectivity of one of the correspondences characterizes the Gorenstein property of the base ring, provided it is a Cohen-Macaulay local ring of dimension one. Over a commutative Noetherian ring, a characterization of modules in which every submodule is a trace module is given. The notion of anti-stable rings is introduced, exploring their basic properties.


title: Superintegrable systems, polynomial algebra structures and exact derivations of spectra

abstract: Superintegrable systems are a class of physical systems which possess more conserved quantities than their degrees of freedom. The study of these systems has a long history and continues to attract significant international attention. This thesis investigates finite dimensional quantum superintegrable systems with scalar potentials as well as vector potentials with monopole type interactions. We introduce new families of $N$-dimensional superintegrable Kepler-Coulomb systems with non-central terms and double singular harmonic oscillators in the Euclidean space, and new families of superintegrable Kepler, MIC-harmonic oscillator and deformed Kepler systems interacting with Yang-Coulomb monopoles in the flat and curved Taub-NUT spaces. We show their multiseparability and obtain their Schr\"{o}dinger wave functions in different coordinate systems. We show that the wave functions are given by (exceptional) orthogonal polynomials and Painlev\'{e} transcendents (of hypergeometric type). We construct higher-order algebraically independent integrals of motion of the systems via the direct and constructive approaches. These integrals form (higher-rank) polynomial algebras with structure constants involving Casimir operators of certain Lie algebras. We obtain finite dimensional unitary representations of the polynomial algebras and present the algebraic derivations for degenerate energy spectra of these systems. Finally, we present a generalized superintegrable Kepler-Coulomb model from exceptional orthogonal polynomials and obtain its energy spectrum using both the separation of variable and the algebraic methods.


title: Cegrell classes and a variational approach for the quaternionic Monge-Ampere equation

abstract: In this paper, we introduce finite energy classes of quaternionic plurisubharmonic functions of Cegrell type and study the quaternionic Monge-Ampere operator on these classes on quaternionic hyperconvex domains of Hn. We extend the domain of definition of quaternionic Monge-Ampere operator to some Cegrell classes, the functions of which are not necessarily bounded. We show that integration by parts and comparison principle are valid on some classes. Moreover, we use the variational method to solve the quaternionic Monge-Ampere equations when the right hand side is a positive mea- sure of finite energy.


title: A Game Problem for Heat Equation

abstract: In this paper, we consider a two-person game problem governed by a linear heat equation. The existence of Nash equilibrium for this problem is considered. Moreover, the bang-bang property of Nash equilibrium is discussed.


title: Pontryagin's maximum principle and second order optimality condition for optimal control problems for the nonlocal Cahn-Hilliard-Navier-Stokes systems in two dimensions

abstract: In this work, we address some optimal control problems related to the evolution of two isothermal, incompressible, immisible fluids in a two dimensional bounded domain. A distributed optimal control problem is formulated as the minimization of a suitable cost functional subject to the controlled nonlocal Cahn-Hilliard-Navier-Stokes equations. We describe the first order necessary conditions of optimality via Pontryagin minimum principle and prove second order necessary and sufficient conditions of optimality for the problem.


title: Topological structures of generalized Volterra-type integral operators

abstract: We study the generalized Volterra-type integral and composition operators acting on the classical Fock spaces. We first characterize various properties of the operators in terms of growth and integrability conditions which are simpler to apply than those already known Berezin type characterizations. Then, we apply these conditions to study the compact and Schatten $\mathcal{S}_p$ class difference topological structures of the space of the operators. In particular, we proved that the difference of two Volterra-type integral operators is compact if and only if both are compact.