title: A giant disparity and a dynamical phase transition in large deviations of the time-averaged size of stochastic populations

abstract: We study large deviations of the time-averaged size of stochastic populations described by a continuous-time Markov jump process. When the expected population size $N$ in the steady state is large, the large deviation function (LDF) of the time-averaged population size can be evaluated by using a WKB (after Wentzel, Kramers and Brillouin) method, applied directly to the master equation for the Markov process. For a class of models that we identify, the direct WKB method predicts a giant disparity between the probabilities of observing an unusually small and an unusually large values of the time-averaged population size. The disparity results from a qualitative change in the "optimal" trajectory of the underlying classical mechanics problem. The direct WKB method also predicts, in the limit of $N\to \infty$, a singularity of the LDF, which can be interpreted as a second-order dynamical phase transition. The transition is smoothed at finite $N$, but the giant disparity remains. The smoothing effect is captured by the van-Kampen system size expansion of the exact master equation near the attracting fixed point of the underlying deterministic model. We describe the giant disparity at finite $N$ by developing a different variant of WKB method, which is applied in conjunction with the Donsker-Varadhan large-deviation formalism and involves subleading-order calculations in $1/N$.


title: Experimental and molecular dynamics study of the ionic conductivity in aqueous LiCl electrolytes

abstract: Lithium chloride LiCl is widely used as a prototype system to study the strongly dissociated 1-1 electrolyte solution. Here, we combined experimental measurements and classical molecular dynamics simulations to study the ion conduction in this system. Ionic conductivities were reported at both 20$^\circ$C and 50$^\circ$C from experiments and compared to results from molecular dynamics simulations. The main finding of this work is that transference numbers of Li$^+$ and Cl$^-$ become comparable at high concentration. This phenomenon is independent of the force fields employed in the simulation and may be resulted from the ion-specific concentration dependence of mobility.


title: Floquet Spinor Bose Gases

abstract: We introduce a Floquet spinor Bose-Einstein condensate induced by a periodically driven quadratic Zeeman coupling whose frequency is larger than any other energy scales. By examining a spin-1 system available in ultracold atomic gases, we demonstrate that such an external driving field has great effect on the condensate through emergence of a unique spin-exchange interaction. We uncover that the ferromagnetic condensate has several unconventional stationary states and thus exhibits rich continuous phase transitions. On the other hand, the antiferromagnetic condensate is found to possess a nontrivial metastable region, which supports unusual elementary excitations and hysteresis phenomena.


title: Imitation Learning from Imperfect Demonstration

abstract: Imitation learning (IL) aims to learn an optimal policy from demonstrations. However, such demonstrations are often imperfect since collecting optimal ones is costly. To effectively learn from imperfect demonstrations, we propose a novel approach that utilizes confidence scores, which describe the quality of demonstrations. More specifically, we propose two confidence-based IL methods, namely two-step importance weighting IL (2IWIL) and generative adversarial IL with imperfect demonstration and confidence (IC-GAIL). We show that confidence scores given only to a small portion of sub-optimal demonstrations significantly improve the performance of IL both theoretically and empirically.


title: Moving Deep Learning into Web Browser: How Far Can We Go?

abstract: Recently, several JavaScript-based deep learning frameworks have emerged, making it possible to perform deep learning tasks directly in browsers. However, little is known on what and how well we can do with these frameworks for deep learning in browsers. To bridge the knowledge gap, in this paper, we conduct the first empirical study of deep learning in browsers. We survey 7 most popular JavaScript-based deep learning frameworks, investigating to what extent deep learning tasks have been supported in browsers so far. Then we measure the performance of different frameworks when running different deep learning tasks. Finally, we dig out the performance gap between deep learning in browsers and on native platforms by comparing the performance of TensorFlow.js and TensorFlow in Python. Our findings could help application developers, deep-learning framework vendors and browser vendors to improve the efficiency of deep learning in browsers.


title: Cloud-based Queuing Model for Tactile Internet in Next Generation of RAN

abstract: Ultra-low latency is the most important requirement of the Tactile Internet (TI), which is one of the proposed services for the next-generation wireless network (NGWN), e.g., fifth generation (5G) network. In this paper, a new queuing model for the TI is proposed for the cloud radio access network (CRAN) architecture of the NGWN by applying power domain non-orthogonal multiple access (PD-NOMA) technology. In this model, we consider both the radio remote head (RRH) and baseband processing unit (BBU) queuing delays for each end-to-end (E2E) connection between a pair of tactile users. In our setup, to minimize the transmit power of users subject to guaranteeing an acceptable delay of users, and fronthaul and access constraints, we formulate a resource allocation (RA) problem. Furthermore, we dynamically set the fronthaul and access links to minimize the total transmit power. Given that the proposed RA problem is highly non-convex, in order to solve it, we utilize diverse transformation techniques such as successive convex approximation (SCA) and difference of two convex functions (DC). Numerical results show that by dynamic adjustment of the access and fronthaul delays, transmit power reduces in comparison with the fixed approach per each connection. Also, energy efficiency of orthogonal frequency division multiple access (OFDMA) and PD-NOMA are compared for our setup.


title: Direct reduction of multiloop multiscale scattering amplitudes

abstract: We propose an alternative approach based on series representation to directly reduce multi-loop multi-scale scattering amplitude into set of freely chosen master integrals. And this approach avoid complicated calculations of inverse matrix and dimension shift for tensor reduction calculation. During this procedure we further utilize the Feynman parameterization to calculate the coefficients of series representation and obtain the form factors. Conventional methodologies are used only for scalar vacuum bubble integrals to finalize the result in series representation form. Finally, we elaborate our approach by presenting the reduction of a typical two-loop amplitude for W boson production.


title: Improving the measurement of the Higgs boson-gluon coupling using convolutional neural networks at $e^+e^-$ colliders

abstract: In this paper we propose to use convolutional neural networks (CNNs) to improve the precision measurement of the Higgs boson-gluon effective coupling at lepton colliders. The CNN is employed to recognize the Higgs boson and a $Z$ boson associated production process, with the Higgs boson decaying to a gluon pair and the $Z$ boson decaying to a lepton pair at the center-of-mass energy 250 GeV and integrated luminosity 5 ab$^{-1}$. By using CNNs, the uncertainty of the effective coupling measurement can be decreased from $1.94\%$ to about $1.28\%$ using the PYTHIA data and from $1.82\%$ to about $1.22\%$ using the HERWIG data in the Monte Carlo simulation. Moreover, the performance of CNNs using different final state constituents shows that the energy distributions of the leading and subleading jets constituents play a major role in the identification and the optimal uncertainty of effective coupling using CNNs is reduced by about $35\%$ compared to that using conventional method.


title: On the (In)fidelity and Sensitivity for Explanations

abstract: We consider objective evaluation measures of saliency explanations for complex black-box machine learning models. We propose simple robust variants of two notions that have been considered in recent literature: (in)fidelity, and sensitivity. We analyze optimal explanations with respect to both these measures, and while the optimal explanation for sensitivity is a vacuous constant explanation, the optimal explanation for infidelity is a novel combination of two popular explanation methods. By varying the perturbation distribution that defines infidelity, we obtain novel explanations by optimizing infidelity, which we show to out-perform existing explanations in both quantitative and qualitative measurements. Another salient question given these measures is how to modify any given explanation to have better values with respect to these measures. We propose a simple modification based on lowering sensitivity, and moreover show that when done appropriately, we could simultaneously improve both sensitivity as well as fidelity.


title: Quantum Zeno effect generalized

abstract: The quantum Zeno effect, in its original form, uses frequent projective measurements to freeze the evolution of a quantum system that is initially governed by a fixed Hamiltonian. We generalize this effect simultaneously in three directions by allowing open system dynamics, time-dependent evolution equations and general quantum operations in place of projective measurements. More precisely, we study Markovian master equations with bounded generators whose time dependence is Lipschitz continuous. Under a spectral gap condition on the quantum operation, we show how frequent measurements again freeze the evolution outside an invariant subspace. Inside this space the evolution is described by a modified master equation.


title: NeuralSampler: Euclidean Point Cloud Auto-Encoder and Sampler

abstract: Most algorithms that rely on deep learning-based approaches to generate 3D point sets can only produce clouds containing fixed number of points. Furthermore, they typically require large networks parameterized by many weights, which makes them hard to train. In this paper, we propose an auto-encoder architecture that can both encode and decode clouds of arbitrary size and demonstrate its effectiveness at upsampling sparse point clouds. Interestingly, we can do so using less than half as many parameters as state-of-the-art architectures while still delivering better performance. We will make our code base fully available.


title: Existence of pseudo-heavy fibers of moment maps

abstract: In the present paper, we introduce the notion of pseudo-heaviness of closed subsets of closed symplectic manifolds and prove the existence of pseudo-heavy fibers of moment maps. In particular, we generalize Entov and Polterovich's theorem, which ensures the existence of non-displaceable fibers, and provide a partial answer to a problem posed by them, which asks the existence of heavy fibers. Moreover, we apply our results to prove that some generalized coupled angular momenta have more than two non-displaceable fibers.


title: A network model of immigration: Enclave formation vs. cultural integration

abstract: Successfully integrating newcomers into native communities has become a key issue for policy makers, as the growing number of migrants has brought cultural diversity, new skills, and at times, societal tensions to receiving countries. We develop an agent-based network model to study interacting "hosts" and "guests" and identify the conditions under which cooperative/integrated or uncooperative/segregated societies arise. Players are assumed to seek socioeconomic prosperity through game theoretic rules that shift network links, and cultural acceptance through opinion dynamics. We find that the main predictor of integration under given initial conditions is the timescale associated with cultural adjustment relative to social link remodeling, for both guests and hosts. Fast cultural adjustment results in cooperation and the establishment of host-guest connections that are sustained over long times. Conversely, fast social link remodeling leads to the irreversible formation of isolated enclaves, as migrants and natives optimize their socioeconomic gains through in-group connections. We discuss how migrant population sizes and increasing socioeconomic rewards for host-guest interactions, through governmental incentives or by admitting migrants with highly desirable skills, may affect the overall immigrant experience.


title: Analytic regularity for a singularly perturbed reaction-convection-diffusion boundary value problem with two small parameters

abstract: We consider a second order, two-point, singularly perturbed boundary value problem, of reaction-convection-diffusion type with two small parameters, and we obtain regularity results for its solution. First we establish classical differentiability bounds that are explicit in the order of differentiation and the singular perturbation parameters. Next, for small values of these parameters we show that the solution can be decomposed into a smooth part, boundary layers at the two endpoints and a negligible remainder. Derivative estimates are obtained for each component of the solution, which again are explicit in the differentiation order and the singular perturbation parameters.


title: Enhancing sensitivity to rotations with quantum solitonic currents

abstract: Quantum mechanics is characterized by quantum coherence and entanglement. After having discovered how these fundamental concepts govern physical reality, scientists have been devoting intense efforts to harness them to shape future science and technology. This is a highly nontrivial task because most often quantum coherence and entanglement are difficult to access. Here, we demonstrate the enhancement of the sensitivity of a quantum many-body system with specific coherence and entanglement properties. Our physical system is made of strongly correlated attracting neutral bosons flowing in a ring-shaped potential of mesoscopic size. Because of attractive interactions, quantum analogs of bright solitons are formed. As a genuine quantum-many-body feature, we demonstrate that angular momentum fractionalization occurs. As a consequence, the matter-wave current in our system can react to very small changes of rotation or other artificial gauge fields. We work out a protocol to entangle such quantum solitonic currents, allowing them to operate rotation sensors and gyroscopes to Heisenberg-limited sensitivity.


title: Interplay of non-Hermitian skin effects and Anderson localization in non-reciprocal quasiperiodic lattices

abstract: Non-Hermiticity from non-reciprocal hoppings has been shown recently to demonstrate the non-Hermitian skin effect (NHSE) under open boundary conditions (OBCs). Here we study the interplay of this effect and the Anderson localization in a \textit{non-reciprocal} quasiperiodic lattice, dubbed non-reciprocal Aubry-Andr\'{e} model, and a \textit{rescaled} transition point is exactly proved. The non-reciprocity can induce not only the NHSE, but also the asymmetry in localized states with two Lyapunov exponents for both sides. Meanwhile, this transition is also topological, characterized by a winding number associated with the complex eigenenergies under periodic boundary conditions (PBCs), establishing a \textit{bulk-bulk} correspondence. This interplay can be realized by an elaborately designed electronic circuit with only linear passive RLC devices instead of elusive non-reciprocal ones, where the transport of a continuous wave undergoes a transition between insulating and amplifying. This initiative scheme can be immediately applied in experiments to other non-reciprocal models, and will definitely inspires the study of interplay of NHSEs and more other quantum/topological phenomena.


title: Approximation of Wasserstein distance with Transshipment

abstract: An algorithm for approximating the p-Wasserstein distance between histograms defined on unstructured discrete grids is presented. It is based on the computation of a barycenter constrained to be supported on a low dimensional subspace, which corresponds to a transshipment problem. A multi-scale strategy is also considered. The method provides sparse transport matrices and can be applied to large scale and non structured data.


title: SGD: General Analysis and Improved Rates

abstract: We propose a general yet simple theorem describing the convergence of SGD under the arbitrary sampling paradigm. Our theorem describes the convergence of an infinite array of variants of SGD, each of which is associated with a specific probability law governing the data selection rule used to form mini-batches. This is the first time such an analysis is performed, and most of our variants of SGD were never explicitly considered in the literature before. Our analysis relies on the recently introduced notion of expected smoothness and does not rely on a uniform bound on the variance of the stochastic gradients. By specializing our theorem to different mini-batching strategies, such as sampling with replacement and independent sampling, we derive exact expressions for the stepsize as a function of the mini-batch size. With this we can also determine the mini-batch size that optimizes the total complexity, and show explicitly that as the variance of the stochastic gradient evaluated at the minimum grows, so does the optimal mini-batch size. For zero variance, the optimal mini-batch size is one. Moreover, we prove insightful stepsize-switching rules which describe when one should switch from a constant to a decreasing stepsize regime.


title: Monocular Depth Estimation: A Survey

abstract: Monocular depth estimation is often described as an ill-posed and inherently ambiguous problem. Estimating depth from 2D images is a crucial step in scene reconstruction, 3Dobject recognition, segmentation, and detection. The problem can be framed as: given a single RGB image as input, predict a dense depth map for each pixel. This problem is worsened by the fact that most scenes have large texture and structural variations, object occlusions, and rich geometric detailing. All these factors contribute to difficulty in accurate depth estimation. In this paper, we review five papers that attempt to solve the depth estimation problem with various techniques including supervised, weakly-supervised, and unsupervised learning techniques. We then compare these papers and understand the improvements made over one another. Finally, we explore potential improvements that can aid to better solve this problem.


title: Spatio-temporal Action Recognition: A Survey

abstract: The task of action recognition or action detection involves analyzing videos and determining what action or motion is being performed. The primary subject of these videos are predominantly humans performing some action. However, this requirement can be relaxed to generalize over other subjects such as animals or robots. The applications can range from anywhere between human-computer inter-action to automated video editing proposals. When we consider spatiotemporal action recognition, we deal with action localization. This task not only involves determining what action is being performed but also when and where itis being performed in said video. This paper aims to survey the plethora of approaches and algorithms attempted to solve this task, give a comprehensive comparison between them, explore various datasets available for the problem, and determine the most promising approaches.


title: Linear eigenvalue statistics of random matrices with a variance profile

abstract: We give an upper bound on the total variation distance between the linear eigenvalue statistic, properly scaled and centred, of a random matrix with a variance profile and the standard Gaussian random variable. The second order Poincar\'e inequality type result is used to establish the bound. Using this bound we prove Central limit theorem for linear eigenvalue statistics of random matrices with different kind of variance profiles. We re-establish some existing results on fluctuations of linear eigenvalue statistics of some well known random matrix ensembles by choosing appropriate variance profiles.


title: Calculation of elements of spin groups using method of averaging in Clifford's geometric algebra

abstract: We present a method of computing elements of spin groups in the case of arbitrary dimension. This method generalizes Hestenes method for the case of dimension 4. We use the method of averaging in Clifford's geometric algebra previously proposed by the author. We present explicit formulas for elements of spin group that correspond to the elements of orthogonal groups as two-sheeted covering. These formulas allow us to compute rotors, which connect two different frames related by a rotation in geometric algebra of arbitrary dimension.


title: Multiple periodic solutions for one-sided sublinear systems: A refinement of the Poincar\'{e}-Birkhoff approach

abstract: In this paper we prove the existence of multiple periodic solutions (harmonic and subharmonic) for a class of planar Hamiltonian systems which include the case of the second order scalar ODE $x'' + a(t)g(x) = 0$ with $g$ satisfying a one-sided condition of sublinear type. We consider the classical approach based on the Poincar\'{e}-Birkhoff fixed point theorem as well as some refinements on the side of the theory of bend-twist maps and topological horseshoes. The case of complex dynamics is investigated, too.


title: 3D Contouring for Breast Tumor in Sonography

abstract: Malignant and benign breast tumors present differently in their shape and size on sonography. Morphological information provided by tumor contours are important in clinical diagnosis. However, ultrasound images contain noises and tissue texture; clinical diagnosis thus highly depends on the experience of physicians. The manual way to sketch three-dimensional (3D) contours of breast tumor is a time-consuming and complicate task. If automatic contouring could provide a precise breast tumor contour that might assist physicians in making an accurate diagnosis. This study presents an efficient method for automatically contouring breast tumors in 3D sonography. The proposed method utilizes an efficient segmentation procedure, i.e. level-set method (LSM), to automatic detect contours of breast tumors. This study evaluates 20 cases comprising ten benign and ten malignant tumors. The results of computer simulation reveal that the proposed 3D segmentation method provides robust contouring for breast tumor on ultrasound images. This approach consistently obtains contours similar to those obtained by manual contouring of the breast tumor and can save much of the time required to sketch precise contours.


title: Field-tunable quantum disordered ground state in the triangular lattice antiferromagnet NaYbO$_2$

abstract: Antiferromagnetically coupled S=1/2 spins on an isotropic triangular lattice is the paradigm of frustrated quantum magnetism, but structurally ideal realizations are rare. Here we investigate NaYbO$_2$, which hosts an ideal triangular lattice of $J_{eff}=1/2$ moments with no inherent site disorder. No signatures of conventional magnetic order appear down to 50 mK, strongly suggesting a quantum spin liquid ground state. We observe a two-peak specific heat and a nearly quadratic temperature dependence in accord with expectations for a two-dimensional Dirac spin liquid. Application of a magnetic field strongly perturbs the quantum disordered ground state and induces a clear transition into a collinear ordered state consistent with a long-predicted up-up-down structure for a triangular lattice XXZ Hamiltonian driven by quantum fluctuations. The observation of spin liquid signatures in zero field and quantum-induced ordering in intermediate fields in the same compound demonstrate an intrinsically quantum disordered ground state. We conclude that NaYbO$_2$ is a model, versatile platform for exploring spin liquid physics with full tunability of field and temperature.


title: CRAQL: A Composable Language for Querying Source Code

abstract: This paper describes the design and implementation of CRAQL (Composable Repository Analysis and Query Language), a new query language for source code. The growth of source code mining and its applications suggest the need for a query language that can fully utilize and correlate across the unique structure and metadata of parsed source code. CRAQL is built on an underlying abstraction analogous to the underpinnings of SQL, but aimed at parsed source code. Thus, while SQL queries' inputs and outputs are sets of tuples, CRAQL queries' inputs and outputs are sets of abstract syntax trees (ASTs). This abstraction makes CRAQL queries composable (the output of one query can become the input to another) and improves the power of the language by allowing for querying of the tree structure and metadata, as well as raw text. Furthermore, the abstraction enables tree-specific language optimizations and allows CRAQL to be easily applied to any language that is parsable into ASTs. These attributes, along with a familiar syntax similar to SQL, allow complex queries to be expressed in a compact, straightforward manner. Questions such as "find the longest series of statements without any loops," "find methods that are never called," "find getters (0-parameter methods with a single statement that returns a member variable)," or "find the percentage of variables declared at the top of a block" all translate to simple, understandable queries in CRAQL. In this paper we describe the language, its features and capabilities. We compare CRAQL to other languages for querying source code and find that it has potential advantages in clarity and compactness. We discuss the features and optimizations added to support searching parse tree collections effectively and efficiently. Finally, we summarize the application of the language to millions of Java source files, the details of which are in a companion paper.


title: Atomic H over plane: effective potential and level reconstruction

abstract: The behavior of atomic H in a semi-bounded space $z \geq 0$ with the condition of "not going through" the boundary (the surface $z=0$) for the electronic wavefunction (WF) is considered. It is shown that in a wide range of "not going through" condition parameters the effective atomic potential, treated as a function of the distance $h$ from H to the boundary plane, reveals a well pronounced minimum at certain finite but non-zero $h$, which describes the mode of "soaring" of the atom above the plane. In particular cases of Dirichlet and Neumann conditions the analysis of the soaring effect is based on the exact analytical solutions of the problem in terms of generalized spheroidal Coulomb functions. For $h$ varying between the regions $h \gg a_B$ and $h \ll a_B$ both the deformation of the electronic WF and the atomic state are studied in detail. In particular, for the Dirichlet condition the lowest $1s$ atomic state transforms into $2p$-level with quantum numbers $210$, the first excited ones $2s$ --- into $3p$ with numbers $310$, $2p$ with $m=0$ --- into $4f$ with numbers $430$, etc. At the same time, for Neumann condition the whole picture of the levels transmutation changes drastically. For a more general case of Robin (third type) condition the variational estimates, based on special type trial functions, as well as the direct numerical tools, realized by pertinent modification of the finite element method, are used. By means of the latter it is also shown that in the case of a sufficiently large positive affinity of the atom to the boundary plane a significant reconstruction of the lowest levels takes place, including the change of both the asymptotics and the general dependence on $h$.


title: Improved Lower Bound for Difference Bases

abstract: A difference basis with respect to $n$ is a subset $A \subseteq \mathbb{Z}$ such that $A - A \supseteq \{1, \ldots, n\}$. R\'{e}dei and R\'{e}nyi showed that the minimum size of a difference basis with respect to $n$ is $(c+o(1))\sqrt{n}$ for some positive constant $c$. The best previously known lower bound on $c$ is $c \geqslant 1.5602\ldots$, which was obtained by Leech using a version of an earlier argument due to R\'{e}dei and R\'{e}nyi. In this note we use Fourier-analytic tools to show that the Leech--R\'{e}dei--R\'{e}nyi lower bound is not sharp.


title: Singular Ramsey and Tur\'an numbers

abstract: We say that a subgraph $F$ of a graph $G$ is singular if the degrees $d_G(v)$ are all equal or all distinct for the vertices $v\in V(F)$. The singular Ramsey number Rs$(F)$ is the smallest positive integer $n$ such that, for every $m\geq n$, in every edge 2-coloring of $K_m$, at least one of the color classes contains $F$ as a singular subgraph. In a similar flavor, the singular Tur\'an number Ts$(n,F)$ is defined as the maximum number of edges in a graph of order $n$, which does not contain $F$ as a singular subgraph. In this paper we initiate the study of these extremal problems. We develop methods to estimate Rs$(F)$ and Ts$(n,F)$, present tight asymptotic bounds and exact results.


title: An Information-Theoretic Explanation for the Adversarial Fragility of AI Classifiers

abstract: We present a simple hypothesis about a compression property of artificial intelligence (AI) classifiers and present theoretical arguments to show that this hypothesis successfully accounts for the observed fragility of AI classifiers to small adversarial perturbations. We also propose a new method for detecting when small input perturbations cause classifier errors, and show theoretical guarantees for the performance of this detection method. We present experimental results with a voice recognition system to demonstrate this method. The ideas in this paper are motivated by a simple analogy between AI classifiers and the standard Shannon model of a communication system.


title: Exodromy for stacks

abstract: In this short note we extend the Exodromy Theorem of arXiv:1807.03281 to a large class of stacks and higher stacks. We accomplish this by extending the Galois category construction to simplicial schemes. We also deduce that the nerve of the Galois category of a simplicial scheme is equivalent to its \'etale topological type in the sense of Friedlander.


title: Disentangling and Learning Robust Representations with Natural Clustering

abstract: Learning representations that disentangle the underlying factors of variability in data is an intuitive way to achieve generalization in deep models. In this work, we address the scenario where generative factors present a multimodal distribution due to the existence of class distinction in the data. We propose N-VAE, a model which is capable of separating factors of variation which are exclusive to certain classes from factors that are shared among classes. This model implements an explicitly compositional latent variable structure by defining a class-conditioned latent space and a shared latent space. We show its usefulness for detecting and disentangling class-dependent generative factors as well as its capacity to generate artificial samples which contain characteristics unseen in the training data.


title: Reducible contributions to quantum electrodynamics in external fields

abstract: We consider one-particle reducible (1PR) contributions to QED and scalar QED processes in external fields, at one-loop and two-loop order. We investigate three cases in detail: constant crossed fields, constant magnetic fields, and plane waves. We find that 1PR tadpole contributions in plane waves and constant crossed fields are non-zero, but contribute only divergences to be renormalised away. In constant magnetic fields, on the other hand, tadpole contributions give physical corrections to processes at one-loop and beyond. Our calculations are exact in the external fields and we give strong and weak field expansions in the magnetic case.


title: Secrecy Outage Analysis of Non-Orthogonal Spectrum Sharing for Heterogeneous Cellular Networks

abstract: In this paper, we investigate physical-layer security for a heterogeneous cellular network consisting of a macro cell and a small cell in the presence of a passive eavesdropper that intends to tap both the macro-cell and small-cell transmissions. Both the orthogonal spectrum sharing (OSS) and non-orthogonal spectrum sharing (NOSS) are considered for the heterogeneous cellular network. The OSS allows the macro cell and small cell to access a given spectrum band in an orthogonal manner, whereas the NOSS enables them to access the same spectrum simultaneously and mutual interference exits. As a consequence, we present two NOSS schemes, namely the interference-limited NOSS (IL-NOSS) and interference-canceled NOSS (IC-NOSS), where the mutual interference is constrained below a tolerable level in the IL-NOSS through power control and the IC-NOSS scheme exploits a specially-designed signal for canceling out the interference received a legitimate cellular user while confusing the passive eavesdropper. We derive closed-form expressions for an overall secrecy outage probability of the OSS, IL-NOSS, and IC-NOSS schemes, which take into account the transmission secrecy of both the macro cell and small cell. We further characterize the secrecy diversity of OSS, IL-NOSS and IC-NOSS schemes through an asymptotic secrecy outage analysis in the high signal-to-noise ratio region. It is shown that the OSS and IL-NOSS methods obtain the same secrecy diversity gain of zero only, and a higher secrecy diversity gain of one is achieved by the IC-NOSS scheme. Additionally, numerical results demonstrate that the IC-NOSS scheme significantly performs better than the OSS and IL-NOSS methods in terms of the overall secrecy outage probability.


title: Double-Auction Mechanisms for Resource Trading Markets

abstract: We consider a double-auction mechanism, which was recently proposed in the context of rate allocation in mobile data-offloading markets. Network operators (users) derive benefit from offloading their traffic to third party WiFi or femtocell networks (link-suppliers). Link-suppliers experience costs for the additional capacity that they provide. Users and link-suppliers (collectively referred to as agents) have their pay-offs and cost functions as private knowledge. A network-manager decomposes the problem into a network problem and agent problems. The surrogate pay-offs and cost functions are modulated by the agents' bids. Agents' payoffs and costs are then determined by the allocations and prices set by the network-manager. Under this design, so long as the agents do not anticipate the effect of their actions on the prices set by the network-manager (i.e., price-taking agents), a competitive equilibrium exists as a solution to the network and agent problems, and this equilibrium optimizes the sum utility of all agents. However, this design fails when the agents are all strategic (price-anticipating). Specifically, the presence of a strategic link-supplier drives the system to an undesirable equilibrium with zero participation resulting in an efficiency loss of 100%. This is in stark contrast to an earlier setting where the users alone are strategic but the link-supplier is not - the efficiency loss is known to be at most 34%. The paper then proposes a Stackelberg game modification where the efficiency loss can be characterized in terms of the link-supplier's cost function when the users' pay-off functions are linear. Specifically, when the link-supplier's cost function is quadratic, the worst case efficiency loss is 25%. Further, the loss in efficiency improves for polynomial cost functions of higher degree.


title: The Robust Kernel Association Test

abstract: Testing the association between SNP effects and a response is a common task. Such tests are often carried out through kernel machine methods based on least squares, such as the Sequence Kernel Association Test (SKAT). However, these least squares procedures assume a normally distributed response, which is often violated. Other robust procedures such as the Quantile Regression Kernel Machine (QRKM) restrict choice of loss function and only allow inference on conditional quantiles. We propose a general and robust kernel association test with flexible choice of loss function, no distributional assumptions, and has SKAT and QRKM as special cases. We evaluate our proposed robust association test (RobKAT) across various data distributions through simulation study. When errors are normally distributed, RobKAT controls type I error and shows comparable power to SKAT. In all other distributional settings investigated, our robust test has similar or greater power than SKAT. Finally, we apply our robust kernel association test on data from the CATIE clinical trial to detect associations between selected genes on chromosome 6, including the Major Histocompatibility Complex (MHC) region, and neurotrophic herpesvirus antibody levels in schizophrenia patients. RobKAT detected significant association with four SNP-sets (HST1H2BJ, MHC, POM12L2, and SLC17A1), three of which were undetected by SKAT.


title: On two isomorphic Lie algebroids for Feedback Linearization

abstract: Two Lie algebroids are presented that are linked to the construction of the linearizing output of an affine in the input nonlinear system. The algorithmic construction of the linearizing output proceeds inductively, and each stage has two structures, namely a codimension one foliation defined through an integrable 1-form $\omega$ , and a transversal vectorfield $g$ to the foliation. Each integral manifold of the vectorfield $g$ defines an equivalence class of points. Due to transversality, a leaf of the foliation is chosen to represent these equivalence classes. A Lie groupoid is defined with its base given as the particular chosen leaf and with the product induced by the pseudogroup of diffeomorphisms that preserve equivalence classes generated by the integral manifolds of g. Two Lie algebroids associated with this groupoid are then defined. The theory is illustrated with an example using polynomial automorphisms as particular cases of diffeomorphisms and shows the relation with the Jacobian conjecture.


title: Information-Theoretic Understanding of Population Risk Improvement with Model Compression

abstract: We show that model compression can improve the population risk of a pre-trained model, by studying the tradeoff between the decrease in the generalization error and the increase in the empirical risk with model compression. We first prove that model compression reduces an information-theoretic bound on the generalization error; this allows for an interpretation of model compression as a regularization technique to avoid overfitting. We then characterize the increase in empirical risk with model compression using rate distortion theory. These results imply that the population risk could be improved by model compression if the decrease in generalization error exceeds the increase in empirical risk. We show through a linear regression example that such a decrease in population risk due to model compression is indeed possible. Our theoretical results further suggest that the Hessian-weighted $K$-means clustering compression approach can be improved by regularizing the distance between the clustering centers. We provide experiments with neural networks to support our theoretical assertions.


title: A note on the physical meaning of gradient constitutive relations

abstract: Gradient plasticity theory proposed initially by Aifantis and co-workers has proven very useful in problems dealing with material heterogeneity and material instabilities. Although it has been used successfully in many applications by many authors, still some open questions remain unanswered. The modest goal of the present short note is to provide some thoughts on these open questions, providing a new interpretation of the gradient terms leading to a successful interpretation of both extrinsic and intrinsic size effect phenomena.


title: Subspace arrangements, graph rigidity and derandomization through submodular optimization

abstract: This paper presents a deterministic, strongly polynomial time algorithm for computing the matrix rank for a class of symbolic matrices (whose entries are polynomials over a field). This class was introduced, in a different language, by Lov\'asz [Lov] in his study of flats in matroids, and proved a duality theorem putting this problem in $NP \cap coNP$. As such, our result is another demonstration where ``good characterization'' in the sense of Edmonds leads to an efficient algorithm. In a different paper Lov\'asz [Lov79] proved that all such symbolic rank problems have efficient probabilistic algorithms, namely are in $BPP$. As such, our algorithm may be interpreted as a derandomization result, in the long sequence special cases of the PIT (Polynomial Identity Testing) problem. Finally, Lov\'asz and Yemini [LoYe] showed how the same problem generalizes the graph rigidity problem in two dimensions. As such, our algorithm may be seen as a generalization of the well-known deterministic algorithm for the latter problem. There are two somewhat unusual technical features in this paper. The first is the translation of Lov\'asz' flats problem into a symbolic rank one. The second is the use of submodular optimization for derandomization. We hope that the tools developed for both will be useful for related problems, in particular for better understanding of graph rigidity in higher dimensions.


title: Identification of Smart Jammers: Learning based Approaches Using Wavelet Representation

abstract: Smart jammer nodes can disrupt communication between a transmitter and a receiver in a wireless network, and they leave traces that are undetectable to classical jammer identification techniques, hidden in the time-frequency plane. These traces cannot be effectively identified through the use of the classical Fourier transform based time-frequency transformation (TFT) techniques with a fixed resolution. Inspired by the adaptive resolution property provided by the wavelet transforms, in this paper, we propose a jammer identification methodology that includes a pre-processing step to obtain a multi-resolution image, followed by the use of a classifier. Support vector machine (SVM) and deep convolutional neural network (DCNN) architectures are investigated as classifiers to automatically extract the features of the transformed signals and to classify them. Three different jamming attacks are considered, the barrage jamming that targets the complete transmission bandwidth, the synchronization signal jamming attack that targets synchronization signals and the reference signal jamming attack that targets the reference signals in an LTE downlink transmission scenario. The performance of the proposed approach is compared with the classical Fourier transform based TFT techniques, demonstrating the efficacy of the proposed approach in the presence of smart jammers.


title: Degraded Historical Documents Images Binarization Using a Combination of Enhanced Techniques

abstract: Document image binarization is the initial step and a crucial in many document analysis and recognition scheme. In fact, it is still a relevant research subject and a fundamental challenge due to its importance and influence. This paper provides an original multi-phases system that hybridizes various efficient image thresholding methods in order to get the best binarization output. First, to improve contrast in particularly defective images, the application of CLAHE algorithm is suggested and justified. We then use a cooperative technique to segment image into two separated classes. At the end, a special transformation is applied for the purpose of removing scattered noise and of correcting characters forms. Experimentations demonstrate the precision and the robustness of our framework applied on historical degraded documents images within three benchmarks compared to other noted methods.


title: Blowing-up solutions of the axisymmetric Euler equations for an incompressible fluid

abstract: A 1934 paper by Leray posed the question of the regularity of solutions of the dynamical equations for incompressible inviscid fluids with smooth initial data. Since there has been many attempts to answer this question. Leray examined the possibility of self-similar solutions becoming singular in finite time at a definite space-time location. We reexamine this question in the light of a thorough analysis of the equations for the self-similar solution in axisymmetric geometries with a dependence on a logarithm of time besides the one due to the transformation to self-similar variables.


title: Fair Division of Indivisible Goods Among Strategic Agents

abstract: We study fair division of indivisible goods in a single-parameter environment. In particular, we develop truthful social welfare maximizing mechanisms for fairly allocating indivisible goods. Our fairness guarantees are in terms of solution concepts which are tailored to address allocation of indivisible goods and, hence, provide an appropriate framework for fair division of goods. This work specifically considers fairness in terms of envy freeness up to one good (EF1), maximin share guarantee (MMS), and Nash social welfare (NSW). Our first result shows that (in a single-parameter environment) the problem of maximizing welfare, subject to the constraint that the allocation of the indivisible goods is EF1, admits a polynomial-time, 1/2-approximate, truthful auction. We further prove that this problem is NP-Hard and, hence, an approximation is warranted. This hardness result also complements prior works which show that an arbitrary EF1 allocation can be computed efficiently. We also establish a bi-criteria approximation guarantee for the problem of maximizing social welfare under MMS constraints. In particular, we develop a truthful auction which efficiently finds an allocation wherein each agent gets a bundle of value at least $\left(1/2 - \varepsilon \right)$ times her maximin share and the welfare of the computed allocation is at least the optimal, here $\varepsilon >0$ is a fixed constant. We complement this result by showing that maximizing welfare is computationally hard even if one aims to only satisfy the MMS constraint approximately.


title: Impact of ion dynamics on laser-driven electron acceleration and gamma-ray emission in structured targets at ultra-high laser intensities

abstract: We examine the impact of the ion dynamics on laser-driven electron acceleration in an initially empty channel irradiated by an ultra-high intensity laser pulse with $I > 10^{22}$ W/cm$^2$. The negative charge of the accelerated electrons inside the channel generates a quasi-static transverse electric field that causes gradual ion expansion into the channel. Once the ions fill the channel, the pinching force from the quasi-static magnetic field generated by the accelerated electrons becomes uncompensated due to the reduction of the quasi-static transverse electric field. As a result there are two distinct populations of accelerated electrons: those that accelerate ahead of the expanding ion front while moving predominantly forward and those that accelerate in the presence of the ions in the channel while performing strong transverse oscillations. The ions diminish the role of the longitudinal laser electric field, making the transverse electric field the dominant contributor to the electron energy. The ion expansion also has a profound impact on the gamma-ray emission, causing it to become volumetrically distributed while reducing the total emitted energy. We formulate a criterion for the laser pulse duration that must be satisfied in order to minimize the undesired effect from the ions and to allow the electrons to remain highly collimated. \textcolor{black}{We demonstrate the predictive capability of this criterion by applying it to assess the impact of a given pre-pulse on ion expansion. Our results provide a} guideline for future experiments at multi-PW laser facilities with ultra-high intensities.


title: The Cause of a Pulsar Glitch

abstract: In this paper we present a new mechanism for rationalizing, explaining and predicting pulsar glitches. Our new mechanism is based upon the concepts of type II superconductivity and the Bradlow bound.


title: Strong regularity

abstract: This is an introduction of a book called "strong regularity", to appear at Ast\'erisque, containing: 1) Yoccoz' proof of Jakobson theorem www.college-de-france.fr/media/jean-christophe-yoccoz/UPL7416254474776698194_Jakobson_jcy.pdf 2) Berger's proof of the abundance of non-uniformly hyperbolic H\'enon like endomorphisms arxiv.org/abs/0903.1473 It gives an overview of the main examples and conjectures of non-uniformly hyperbolic set for low dimensional dynamical systems. It compares the proofs of parameter selections based on the concept of binding with those based on the one of strong regularity.


title: History of Long-Baseline Accelerator Neutrino Experiments

abstract: I will discuss the six previous and present long-baseline neutrino experiments: two first-generation general experiments, K2K and MINOS, two specialized experiments, OPERA and ICARUS, and two second-generation general experiments, T2K and NOvA. The motivations for and goals of each experiment, the reasons for the choices that each experiment made, and the outcomes will be discussed.


title: Finding Conformal and Isometric Immersions of Surfaces

abstract: We introduce a family of variational functionals for spinor fields on a compact Riemann surface $M$ that can be used to find close-to-conformal immersions of $M$ into $\mathbb{R}^3$ in a prescribed regular homotopy class. Numerical experiments indicate that, by taking suitable limits, minimization of these functionals can also yield piecewise smooth isometric immersions of a prescribed Riemannian metric on $M$.


title: Integral points on varieties defined by matrix factorization into elementary matrices

abstract: Let ${\mathcal O}$ be the ring of $S$-integers in a number field $K$. For $A\in\rm{SL}_{2}(\mathcal{O})$ and $k\geq 1$, we define matrix-factorization varieties $V_k(A)$ over ${\mathcal O}$ which parametrize factoring $A$ into a product of $k$ elementary matrices; the equations defining $V_k(A)$ are written in terms of Euler's continuant polynomials. We show that the $V_k(A)$ are rational $(k-3)$-folds with an inductive fibration structure. We combine this geometric structure with arithmetic results to study the Zariski closure of the ${\mathcal O}$-points of $V_k(A)$. We prove that for $k\geq 4$ the ${\mathcal O}$-points on $V_k(A)$ are Zariski dense if $V_{k}(A)({\mathcal O})\neq\emptyset$ assuming the group of units ${\mathcal O}^{\times}$ is infinite. This shows that if $A$ can be written as a product of $k\geq 4$ elementary matrices, then this can be done in infinitely many ways in the strongest sense possible. This can then be combined with results on factoring into elementary matrices for ${\rm SL}_{2}({\mathcal O})$. One result is that for $k\geq 9$ the ${\mathcal O}$-points on $V_{k}(A)$ are Zariski dense if ${\mathcal O}^{\times}$ is infinite.


title: Parameterized Complexity of Safe Set

abstract: In this paper we study the problem of finding a small safe set $S$ in a graph $G$, i.e. a non-empty set of vertices such that no connected component of $G[S]$ is adjacent to a larger component in $G - S$. We enhance our understanding of the problem from the viewpoint of parameterized complexity by showing that (1) the problem is W[2]-hard when parameterized by the pathwidth $pw$ and cannot be solved in time $n^{o(pw)}$ unless the ETH is false, (2) it admits no polynomial kernel parameterized by the vertex cover number $vc$ unless $\mathrm{PH} = \Sigma^{\mathrm{p}}_{3}$, but (3) it is fixed-parameter tractable (FPT) when parameterized by the neighborhood diversity $nd$, and (4) it can be solved in time $n^{f(cw)}$ for some double exponential function $f$ where $cw$ is the clique-width. We also present (5) a faster FPT algorithm when parameterized by solution size.


title: When Nilpotence Implies Normality of Bounded Linear Operators

abstract: In this paper, we give conditions forcing nilpotent matrices (and bounded linear operators in general) to be null or equivalently to be normal. Therefore, a non-zero operator having e.g. a positive real part is never nilpotent. The case of quasinilpotence is also considered.


title: Sequential Refinement Solver using Space-Time Domain Decomposition for Non-linear Multiphase Flow Problems

abstract: Convergence failure and slow convergence rate are among the biggest challenges with solving the system of non-linear equations numerically. While using strictly small time steps sizes and unconditionally stable fully implicit scheme mitigate the problem, the computational load becomes enormous. We introduce a sequential local refinement scheme in space-time domain that improves convergence rate and prevents convergence failure while not restricting to small time step, thus boosting computational efficiency. We rely on the non-linear two-phase flow model. The algorithm starts by solving the coarsest mesh. Then regions with certain features such as saturation front is refined to the finest resolution sequentially. Such process prevents convergence failure. After each refinement, the solution from the previous mesh is used to estimate initial guess of the current mesh for faster convergence. Numerical results are presented to confirm accuracy of our algorithm as compared to the traditional fine time step approach. We also observe 5 times speedup in the runtime by using our algorithm.


title: 99% of Distributed Optimization is a Waste of Time: The Issue and How to Fix it

abstract: Many popular distributed optimization methods for training machine learning models fit the following template: a local gradient estimate is computed independently by each worker, then communicated to a master, which subsequently performs averaging. The average is broadcast back to the workers, which use it to perform a gradient-type step to update the local version of the model. It is also well known that many such methods, including SGD, SAGA, and accelerated SGD for over-parameterized models, do not scale well with the number of parallel workers. In this paper we observe that the above template is fundamentally inefficient in that too much data is unnecessarily communicated by the workers, which slows down the overall system. We propose a fix based on a new update-sparsification method we develop in this work, which we suggest be used on top of existing methods. Namely, we develop a new variant of parallel block coordinate descent based on independent sparsification of the local gradient estimates before communication. We demonstrate that with only $m/n$ blocks sent by each of $n$ workers, where $m$ is the total number of parameter blocks, the theoretical iteration complexity of the underlying distributed methods is essentially unaffected. As an illustration, this means that when $n=100$ parallel workers are used, the communication of $99\%$ blocks is redundant, and hence a waste of time. Our theoretical claims are supported through extensive numerical experiments which demonstrate an almost perfect match with our theory on a number of synthetic and real datasets.


title: Three-Body Dispersive Scattering

abstract: We study the spectral and scattering theory of three body dispersive systems, which include a massless particle and a two body non-relativistic pair, along with two body short interactions among the three particles. We prove local decay estimates and propagation estimates, which are then used to prove asymptotic completeness for all non-threshold negative energies of the system. By adding (trace class) non-particle-conserving interactions, this models ionization processes as well. In particular, if the massless particle is interacting only through the non-particle-number conserving interactions, no ionization is possible if the total energy of the system is negative, as predicted by the formal analysis of the photo-electric effect.


title: Numerical Solution of Fractional Control Problems via Fractional Differential Transformation

abstract: In the paper we deal with linear fractional control problems with constant delays in the state. Single-order systems with fractional derivative in Caputo sense of orders between 0 and 1 are considered. The aim is to introduce a new algorithm convenient for numerical approximation of a solution of the studied problem. The method consists of the fractional differential transformation in combination with general methods of steps. The original system is transformed to a system of recurrence relations. Approximation of the solution is given in the form of truncated fractional power series. The choice of order of the fractional power series is discussed and the order is determined in relation to the order of the system. An application on a two-dimensional fractional system is shown. Exact solution is found for the first two intervals of the method of steps. The result for Caputo derivative of order 1 coincides with the solution of first-order system with classical derivative. We conclude that the algorithm is applicable, efficient and gives reliable results.


title: Sheaf Quantization of Lagrangians and Floer cohomology

abstract: Given an exact Lagrangian submanifold $L$ in $T^*N$, we want to construct a complex of sheaves in the derived category of sheaves on $N\times {\mathbb R} $, such that its singular support, $SS({\mathcal F}^\bullet_L)$, is equal to $\widehat L$, the cone constructed over $L$. Its existence was stated in \cite{Viterbo-ISTST} in 2011, with a sketch of proof, which however contained a gap (fixed here by the rectification). A complete proof was shortly after provided by Guillermou (\cite{Guillermou}) by a completely different method, in particular Guillermou's method does not use Floer theory. The proof provided here is, as originally planned, based on Floer homology. Besides the construction of the complex of sheaves, we prove that the filtered versions of sheaf cohomology of the quantization and of Floer cohomology coincide, that is $FH^*(N\times ]-\infty, \lambda [, {\mathcal F}^\bullet_L)\simeq FH^*(L;0_N;\lambda)$, and so do their product structures.


title: $\mathrm{K}$-theory and homotopies of twists on ample groupoids

abstract: This paper investigates the $\mathrm{K}$-theory of twisted groupoid $\mathrm{C}^*$-algebras. It is shown that a homotopy of twists on an ample groupoid satisfying the Baum-Connes conjecture with coefficients gives rise to an isomorphism between the $\mathrm{K}$-theory groups of the respective twisted groupoid $\mathrm{C}^*$-algebras. The results are also interpreted in an inverse semigroup setting and applied to generalized Renault-Deaconu groupoids and $P$-graph algebras.


title: Functional reduction of Feynman integrals

abstract: A method for reducing Feynman integrals, depending on several kinematic variables and masses, to a combination of integrals with fewer variables is proposed. The method is based on iterative application of functional equations proposed by the author. The reduction of the one-loop scalar triangle and box integrals with massless internal propagators to simpler integrals is described in detail. The triangle integral depending on three variables is represented as a sum over three integrals depending on two variables. By solving the dimensional recurrence relations for these integrals, an analytic expression in terms of the $_2F_1$ Gauss hypergeometric function and the logarithmic function was derived. By using the functional equations, the one-loop box integral with massless internal propagators, which depends on six kinematic variables, was expressed as a sum of 12 terms. These terms are proportional to the same integral depending only on three variables different for each term. For this integral with three variables, an analytic result in terms of the $F_1$ Appell and $_2F_1$ Gauss hypergeometric functions was derived by solving the recurrence relation with respect to the spacetime dimension $d$. The reduction equations for the box integral with some kinematic variables equal to zero are considered.


title: On the Friedlander-Nadirashvili invariants of surfaces

abstract: Let $M$ be a closed smooth manifold. In 1999, L. Friedlander and N. Nadirashvili introduced a new differential invariant $I_1(M)$ using the first normalized nonzero eigenvalue of the Lalpace-Beltrami operator $\Delta_g$ of a Riemannian metric $g$. They defined it taking the supremum of this quantity over all Riemannian metrics in each conformal class, and then taking the infimum over all conformal classes. By analogy we use $k$-th eigenvalues of $\Delta_g$ to define the invariants $I_k(M)$ indexed by positive integers $k$. In the present paper the values of these invariants on surfaces are investigated. We show that $I_k(M)=I_k(\mathbb{S}^2)$ unless $M$ is a non-orientable surface of even genus. For orientable surfaces and $k=1$ this was earlier shown by R. Petrides. In fact L. Friedlander and N. Nadirashvili suggested that $I_1(M)=I_1(\mathbb{S}^2)$ for any surface $M$ different from $\mathbb{RP}^2$. We show that, surprisingly enough, this is not true for non-orientable surfaces of even genus, for such surfaces one has $I_k(M)>I_k(\mathbb{S}^2)$. We also discuss the connection between the Friedlander-Nadirashvili invariants and the theory of cobordisms, and conjecture that $I_k(M)$ is a cobordism invariant.


title: Promoting Diversity for End-to-End Conversation Response Generation

abstract: We present our work on Track 2 in the Dialog System Technology Challenges 7 (DSTC7). The DSTC7-Track 2 aims to evaluate the response generation of fully data-driven conversation models in knowledge-grounded settings, which provides the contextual-relevant factual texts. The Sequenceto-Sequence models have been widely used for end-to-end generative conversation modelling and achieved impressive results. However, they tend to output dull and repeated responses in previous studies. Our work aims to promote the diversity for end-to-end conversation response generation, which follows a two-stage pipeline: 1) Generate multiple responses. At this stage, two different models are proposed, i.e., a variational generative (VariGen) model and a retrieval based (Retrieval) model. 2) Rank and return the most related response by training a topic coherence discrimination (TCD) model for the ranking process. According to the official evaluation results, our proposed Retrieval and VariGen systems ranked first and second respectively on objective diversity metrics, i.e., Entropy, among all participant systems. And the VariGen system ranked second on NIST and METEOR metrics.


title: First Double Chooz $\mathbf{\theta_{13}}$ Measurement via Total Neutron Capture Detection

abstract: The establishment of the neutrino oscillations phenomenon as a solution to both solar and atmospheric neutrino anomalies had two consequences: a new oscillation mode, labelled $\mathbf{\theta_{13}}$, and the possibility to observe CP violation, if $\mathbf{\theta_{13}}$ was sizeable. CP violation implies that neutrino oscillations behave differently for neutrinos and anti-neutrinos -- a rare fundamental phenomenon key for our understanding of the Universe. The experimental demonstration of $\mathbf{\theta_{13}}$ has aided the completion of a quest lasting half a century. The best $\mathbf{\theta_{13}}$ knowledge is today inferred from high-precision reactor neutrino disappearance. The Double Chooz (DC) experiment has played a pioneering role in this channel by providing the first positive evidence, in 2011, in combination with the T2K experiment appearance data. The establishment of $\mathbf{\theta_{13}}$ awaited the Daya Bay experiment's observation in 2012; confirmed soon after by the RENO experiment. Today's best knowledge on $\mathbf{\theta_{13}}$ from reactor experiments is a key input to many neutrino experiments. Here DC reports its first multi-detector $\mathbf{\theta_{13}}$ measurement exploiting several unprecedented techniques for a major precision improvement.


title: Computational search for ultrasmall and fast skyrmions in the Inverse Heusler family

abstract: Skyrmions are magnetic excitations that are potentially ultrasmall and topologically protected, making them interesting for high-density all-electronic ultrafast storage applications. While recent experiments have confirmed the existence of various types of skyrmions, their typical sizes are much larger than traditional domain walls, except at very low temperature. In this work, we explore the optimal material parameters for hosting ultra-small, fast, and room temperature stable skyrmions. As concrete examples, we explore potential candidates from the inverse Heusler family. Using first-principles calculations of structural and magnetic properties, we identify several promising ferrimagnetic inverse Heusler half-metal/near half-metals and analyze their phase space for size and metastability.


title: Open Source Face Recognition Performance Evaluation Package

abstract: Biometrics-related research has been accelerated significantly by deep learning technology. However, there are limited open-source resources to help researchers evaluate their deep learning-based biometrics algorithms efficiently, especially for the face recognition tasks. In this work, we design and implement a light-weight, maintainable, scalable, generalizable, and extendable face recognition evaluation toolbox named FaRE that supports both online and offline evaluation to provide feedback to algorithm development and accelerate biometrics-related research. FaRE consists of a set of evaluation metric functions and provides various APIs for commonly-used face recognition datasets including LFW, CFP, UHDB31, and IJB-series datasets, which can be easily extended to include other customized datasets. The package and the pre-trained baseline models will be released for public academic research use after obtaining university approval.


title: The Stormy Life of Galaxy Clusters: astro version

abstract: Galaxy clusters form from the infall of dark and baryonic matter at the intersection of cosmic filaments. Most of the baryons are in the form of a hot, magnetized, intracluster plasma detected through its X-ray thermal bremsstrahlung emission. This plasma is tightly coupled to a second, cosmic ray plasma, detected through its synchrotron radio emission. Together, the properties of these plasmas encode the history of the cluster's formation and provide a snapshot of the ongoing cluster evolution. This article provides an overview for the more general astrophysical and space plasma community of the dynamical processes revealed by the diffuse plasma emissions.


title: Positive random walks and an identity for half-space SPDEs

abstract: The purpose of this article is threefold. First, we introduce a new type of boundary condition for the multiplicative-noise stochastic heat equation on the half space. This is essentially a Dirichlet boundary condition but with a nontrivial normalization near the boundary which leads to inhomogeneous transition densities (roughly, those of a Brownian \textit{meander}) within the associated chaos series. Secondly, we prove a new convergence result of the directed-polymer partition function in an octant to the multiplicative stochastic heat equation with this type of boundary condition, which in turn involves a detailed analysis of the aforementioned inhomogeneous Markov process. Thirdly, as a corollary, we prove a surprising equality-in-distribution for multiplicative-noise stochastic heat equations on the half space with \textit{different} boundary conditions. This identity may be seen as a precursor for proving Gaussian fluctuation behavior of supercritical half-space KPZ at the origin.


title: ADMM-SOFTMAX : An ADMM Approach for Multinomial Logistic Regression

abstract: We present ADMM-Softmax, an alternating direction method of multipliers (ADMM) for solving multinomial logistic regression (MLR) problems. Our method is geared toward supervised classification tasks with many examples and features. It decouples the nonlinear optimization problem in MLR into three steps that can be solved efficiently. In particular, each iteration of ADMM-Softmax consists of a linear least-squares problem, a set of independent small-scale smooth, convex problems, and a trivial dual variable update. Solution of the least-squares problem can be be accelerated by pre-computing a factorization or preconditioner, and the separability in the smooth, convex problem can be easily parallelized across examples. For two image classification problems, we demonstrate that ADMM-Softmax leads to improved generalization compared to a Newton-Krylov, a quasi Newton, and a stochastic gradient descent method.


title: Bias in Bios: A Case Study of Semantic Representation Bias in a High-Stakes Setting

abstract: We present a large-scale study of gender bias in occupation classification, a task where the use of machine learning may lead to negative outcomes on peoples' lives. We analyze the potential allocation harms that can result from semantic representation bias. To do so, we study the impact on occupation classification of including explicit gender indicators---such as first names and pronouns---in different semantic representations of online biographies. Additionally, we quantify the bias that remains when these indicators are "scrubbed," and describe proxy behavior that occurs in the absence of explicit gender indicators. As we demonstrate, differences in true positive rates between genders are correlated with existing gender imbalances in occupations, which may compound these imbalances.


title: Bayesian Inference-enabled Precise Optical Wavelength Estimation using Transition Metal Dichalcogenide Thin Films

abstract: Despite its ability to draw precise inferences from large and complex datasets, the use of data analytics in the field of condensed matter and materials sciences -- where vast quantities of complex metrology data are regularly generated -- has remained surprisingly limited. Specifically, such approaches could dramatically reduce the engineering complexities of devices that directly exploit the physical properties of materials. Here, we present a cyber-physical system for accurately estimating the wavelength of any monochromatic light in the range of 325-1100nm, by applying Bayesian inference on the optical transmittance data from a few low-cost, easy-to-fabricate thin film "filters" of layered transition metal dichalcogenides (TMDs) such as MoS2 and WS2. Wavelengths of tested monochromatic light could be estimated with only 1% estimation error over 99% of the stated spectral range, with lowest error values reaching as low as a few ten parts per million (ppm) in a system with only eleven filters. By step-wise elimination of filters with the least contribution toward accuracy, mean estimation accuracy of 99% could be obtained even in a two-filter system. Furthermore, we provide a statistical approach for selecting the best "filter" material for any intended spectral range based on the spectral variation of transmittance within the desired range of wavelengths. And finally, we demonstrate that calibrating the data-driven models for the filters from time to time overcomes the minor drifts in their transmittance values, which allows using the same filters indefinitely. This work not only enables the development of simple cyber-physical photodetectors with high accuracy color-estimation, but also provides a framework for developing similar cyber-physical systems with drastically reduced complexity.


title: On Learning Invariant Representation for Domain Adaptation

abstract: Due to the ability of deep neural nets to learn rich representations, recent advances in unsupervised domain adaptation have focused on learning domain-invariant features that achieve a small error on the source domain. The hope is that the learnt representation, together with the hypothesis learnt from the source domain, can generalize to the target domain. In this paper, we first construct a simple counterexample showing that, contrary to common belief, the above conditions are not sufficient to guarantee successful domain adaptation. In particular, the counterexample exhibits \emph{conditional shift}: the class-conditional distributions of input features change between source and target domains. To give a sufficient condition for domain adaptation, we propose a natural and interpretable generalization upper bound that explicitly takes into account the aforementioned shift. Moreover, we shed new light on the problem by proving an information-theoretic lower bound on the joint error of \emph{any} domain adaptation method that attempts to learn invariant representations. Our result characterizes a fundamental tradeoff between learning invariant representations and achieving small joint error on both domains when the marginal label distributions differ from source to target. Finally, we conduct experiments on real-world datasets that corroborate our theoretical findings. We believe these insights are helpful in guiding the future design of domain adaptation and representation learning algorithms.


title: A generalised G\u{a}vru\c{t}a stability of cohomological equations in nonquasianalytic Carleman classes

abstract: In this paper we introduce the notion of generalized Gavr\`uta stability of functional equations in order to study, in the framework of a nonquasianalytic Carleman class, the stability of a class of cohomological equations.


title: Off-Policy Deep Reinforcement Learning by Bootstrapping the Covariate Shift

abstract: In this paper we revisit the method of off-policy corrections for reinforcement learning (COP-TD) pioneered by Hallak et al. (2017). Under this method, online updates to the value function are reweighted to avoid divergence issues typical of off-policy learning. While Hallak et al.'s solution is appealing, it cannot easily be transferred to nonlinear function approximation. First, it requires a projection step onto the probability simplex; second, even though the operator describing the expected behavior of the off-policy learning algorithm is convergent, it is not known to be a contraction mapping, and hence, may be more unstable in practice. We address these two issues by introducing a discount factor into COP-TD. We analyze the behavior of discounted COP-TD and find it better behaved from a theoretical perspective. We also propose an alternative soft normalization penalty that can be minimized online and obviates the need for an explicit projection step. We complement our analysis with an empirical evaluation of the two techniques in an off-policy setting on the game Pong from the Atari domain where we find discounted COP-TD to be better behaved in practice than the soft normalization penalty. Finally, we perform a more extensive evaluation of discounted COP-TD in 5 games of the Atari domain, where we find performance gains for our approach.


title: Log-minor distributions and an application to estimating mean subsystem entropy

abstract: A common task in physics, information theory, and other fields is the analysis of properties of subsystems of a given system. Given the covariance matrix $M$ of a system of $n$ coupled variables, the covariance matrices of the subsystems are principal submatrices of $M$. The rapid growth with $n$ of the set of principal submatrices makes it impractical to exhaustively study each submatrix for even modestly-sized systems. It is therefore of great interest to derive methods for approximating the distributions of important submatrix properties for a given matrix. Motivated by the importance of differential entropy as a systemic measure of disorder, we study the distribution of log-determinants of principal $k\times k$ submatrices when the covariance matrix has bounded condition number. We derive upper bounds for the right tail and the variance of the distribution of minors, and we use these in turn to derive upper bounds on the standard error of the sample mean of subsystem entropy. Our results demonstrate that, despite the rapid growth of the set of subsystems with $n$, the number of samples that are needed to bound the sampling error is asymptotically independent of $n$. Instead, it is sufficient to increase the number of samples in linear proportion to $k$ to achieve a desired sampling accuracy.


title: Three dimensional two-band Floquet topological insulator with $Z_2$ index

abstract: We present a class of three dimensional (3D) two-band Floquet topological insulators constructed from two-dimensional Floquet topological insulators with a $Z$ topological index. It is shown that the 3D two-band Floquet topological insulator has a $Z_2$ topological index, whose value can be obtained by numerical calculations or by using a relation to the winding number. The classification of the 3D $Z_2$ Floquet topological insulator, however, cannot be attributed to the stable homotopy groups. Thus, it is an example outside the proposed K-theory classifications of Floquet topological insulators. We also analyze the edge modes of the 3D $Z_2$ Floquet topological insulator and find the parity of the number of edge modes reflects the bulk $Z_2$ index.


title: Learning Transformation Synchronization

abstract: Reconstructing the 3D model of a physical object typically requires us to align the depth scans obtained from different camera poses into the same coordinate system. Solutions to this global alignment problem usually proceed in two steps. The first step estimates relative transformations between pairs of scans using an off-the-shelf technique. Due to limited information presented between pairs of scans, the resulting relative transformations are generally noisy. The second step then jointly optimizes the relative transformations among all input depth scans. A natural constraint used in this step is the cycle-consistency constraint, which allows us to prune incorrect relative transformations by detecting inconsistent cycles. The performance of such approaches, however, heavily relies on the quality of the input relative transformations. Instead of merely using the relative transformations as the input to perform transformation synchronization, we propose to use a neural network to learn the weights associated with each relative transformation. Our approach alternates between transformation synchronization using weighted relative transformations and predicting new weights of the input relative transformations using a neural network. We demonstrate the usefulness of this approach across a wide range of datasets.


title: Discretized sum-product for large sets

abstract: Let $A\subset [1, 2]$ be a $(\delta, \sigma)$-set with measure $|A|=\delta^{1-\sigma}$ in the sense of Katz and Tao. For $\sigma\in (1/2, 1)$ we show that $$ |A+A|+|AA|\gtrapprox \delta^{-c}|A|, $$ for $c=\frac{(1-\sigma)(2\sigma-1)}{6\sigma+4}$. This improves the bound of Guth, Katz, and Zahl for large $\sigma$.


title: Correlation effects on ground-state properties of ternary Heusler alloys: first-principles study

abstract: The strongly constrained and appropriately normed (SCAN) semi-local functional for exchange-correlation is deployed to study the ground-state properties of ternary Heusler alloys transforming martensitically. The calculations are performed for ferromagnetic, ferrimagnetic, and antiferromagnetic phases. Comparisons between SCAN and generalized gradient approximation (GGA) are discussed. We find that SCAN yields smaller lattice parameters and higher magnetic moments compared to the GGA corresponding values for both austenite and martensite phases. Furthermore, in the case of ferromagnetic and non-magnetic Heusler compounds, GGA and SCAN display similar trends in the total energy as a function of lattice constant and tetragonal ratio. However, for some ferrimagnetic Mn-rich Heusler compounds, different magnetic ground states are found within GGA and SCAN.


title: Three notions of dimension for triangulated categories

abstract: In this note we discuss three notions of dimension for triangulated categories: Rouquier dimension, diagonal dimension and Serre dimension. We prove some basic properties of these dimensions, compare them and discuss open problems.


title: A deep learning-based method for prostate segmentation in T2-weighted magnetic resonance imaging

abstract: We propose a novel automatic method for accurate segmentation of the prostate in T2-weighted magnetic resonance imaging (MRI). Our method is based on convolutional neural networks (CNNs). Because of the large variability in the shape, size, and appearance of the prostate and the scarcity of annotated training data, we suggest training two separate CNNs. A global CNN will determine a prostate bounding box, which is then resampled and sent to a local CNN for accurate delineation of the prostate boundary. This way, the local CNN can effectively learn to segment the fine details that distinguish the prostate from the surrounding tissue using the small amount of available training data. To fully exploit the training data, we synthesize additional data by deforming the training images and segmentations using a learned shape model. We apply the proposed method on the PROMISE12 challenge dataset and achieve state of the art results. Our proposed method generates accurate, smooth, and artifact-free segmentations. On the test images, we achieve an average Dice score of 90.6 with a small standard deviation of 2.2, which is superior to all previous methods. Our two-step segmentation approach and data augmentation strategy may be highly effective in segmentation of other organs from small amounts of annotated medical images.


title: Dynamical effects of multiple impacts: Large impacts on a Mars-like planet

abstract: The earliest stage of the evolution of a fully assembled planet is profoundly affected by a number of basin-forming impacts large enough to change the dynamics of its deeper interior. These impacts are in some cases quite closely spaced and follow one another in short time intervals, so that their effects interact and result in behavior that may differ from a simple sum of the effects of two individual and isolated impacts. We use two-dimensional models of mantle convection in a Mars-like planet and a simple parameterized representation of the principal effects of impacts to study some of the dynamical effects and interactions of multiple large impacts. In models of only two impacts, we confirm that the dynamical effects of the impacts reinforce each other the closer they are in space and time but that the effects do not always correspond to straightforward superpositions of those of single, isolated impacts. In models with multiple (4-8) impacts with variable sizes, distances, and frequencies, the global response of the mantle is as variable as the impact sequences in the short term, but in the long term the different evolutionary paths converge for several indicator variables such as the mean flow velocity, temperature, or heat flow. Nonetheless, beyond a certain impact frequency and energy, lithospheric instabilities triggered by large impacts occur on a global scale, reinvigorate mantle dynamics for long time spans, and entail a late stage of melt production in addition to the initial melting stage that is not observed in one- or two-impact models. After one or several very large impacts, some lithospheric material may founder and sink to the core-mantle boundary, and if enough of it accumulates there, it enhances the heat flux out of the core for several hundred millions of years, with possible effects on dynamo activity.


title: On Achieving High Accuracy in Quantum Chemical Calculations of 3d Transition Metal Systems: A Comparison of Auxiliary-Field Quantum Monte Carlo with Coupled Cluster, Density Functional Theory, and Experiment for Diatomic Molecules

abstract: The bond dissociation energies of a set of 44 3d transition metal-containing diatomics are computed with phaseless auxiliary-field quantum Monte Carlo (ph-AFQMC) utilizing a correlated sampling technique. We investigate molecules with H, N, O, F, Cl, and S ligands, including those in the 3dMLBE20 database first compiled by Truhlar and co-workers with calculated and experimental values that have since been revised by various groups. In order to make a direct comparison of the accuracy of our ph-AFQMC calculations with previously published results from 10 DFT functionals, CCSD(T), and icMR-CCSD(T), we establish an objective selection protocol which utilizes the most recent experimental results except for a few cases with well-specified discrepancies. With the remaining set of 41 molecules, we find that ph-AFQMC gives robust agreement with experiment superior to that of all other methods, with a mean absolute error (MAE) of 1.4(4) kcal/mol and maximum error of 3(3) kcal/mol (parenthesis account for reported experimental uncertainties and the statistical errors of our ph-AFQMC calculations). In comparison, CCSD(T) and B97, the best performing DFT functional considered here, have MAEs of 2.8 and 3.7 kcal/mol, respectively, and maximum errors in excess of 17 kcal/mol for both methods. While a larger and more diverse data set would be required to demonstrate that ph-AFQMC is truly a benchmark method for transition metal systems, our results indicate that the method has tremendous potential, exhibiting unprecedented consistency and accuracy compared to other approximate quantum chemical approaches.


title: Deconstructing Generative Adversarial Networks

abstract: We deconstruct the performance of GANs into three components: 1. Formulation: we propose a perturbation view of the population target of GANs. Building on this interpretation, we show that GANs can be viewed as a generalization of the robust statistics framework, and propose a novel GAN architecture, termed as Cascade GANs, to provably recover meaningful low-dimensional generator approximations when the real distribution is high-dimensional and corrupted by outliers. 2. Generalization: given a population target of GANs, we design a systematic principle, projection under admissible distance, to design GANs to meet the population requirement using finite samples. We implement our principle in three cases to achieve polynomial and sometimes near-optimal sample complexities: (1) learning an arbitrary generator under an arbitrary pseudonorm; (2) learning a Gaussian location family under TV distance, where we utilize our principle provide a new proof for the optimality of Tukey median viewed as GANs; (3) learning a low-dimensional Gaussian approximation of a high-dimensional arbitrary distribution under Wasserstein distance. We demonstrate a fundamental trade-off in the approximation error and statistical error in GANs, and show how to apply our principle with empirical samples to predict how many samples are sufficient for GANs in order not to suffer from the discriminator winning problem. 3. Optimization: we demonstrate alternating gradient descent is provably not locally asymptotically stable in optimizing the GAN formulation of PCA. We diagnose the problem as the minimax duality gap being non-zero, and propose a new GAN architecture whose duality gap is zero, where the value of the game is equal to the previous minimax value (not the maximin value). We prove the new GAN architecture is globally asymptotically stable in optimization under alternating gradient descent.


title: Supercritical Water Gasification: Practical Design Strategies and Operational Challenges for Lab-Scale, Continuous Flow Reactors

abstract: Optimizing an industrial-scale supercritical water gasification process requires detailed knowledge of chemical reaction pathways, rates, and product yields. Laboratory-scale reactors are employed to develop this knowledge base. The rationale behind designs and component selection of continuous flow, laboratory-scale supercritical water gasification reactors is analyzed. Some design challenges have standard solutions, such as pressurization and preheating, but issues with solid precipitation and feedstock pretreatment still present open questions. Strategies for reactant mixing must be evaluated on a system-by-system basis, depending on feedstock and experimental goals, as mixing can affect product yields, char formation, and reaction pathways. In-situ Raman spectroscopic monitoring of reaction chemistry promises to further fundamental knowledge of gasification and decrease experimentation time. High-temperature, high-pressure spectroscopy in supercritical water conditions is performed, however, long-term operation flow cell operation is challenging. Comparison of Raman spectra for decomposition of formic acid in the supercritical region and cold section of the reactor demonstrates the difficulty in performing quantitative spectroscopy in the hot zone. Future designs and optimization of SCWG reactors should consider well-established solutions for pressurization, heating, and process monitoring, and effective strategies for mixing and solids handling for long-term reactor operation and data collection.


title: Optimal Verification of Two-Qubit Pure States

abstract: In a recent work [Phys. Rev. Lett. 120, 170502 (2018)], Pallister et al. proposed an optimal strategy to verify non-maximally entangled two-qubit pure states under the constraint that the accessible measurements being locally projective and non-adaptive. Their nice result leads naturally to the question: What is the optimal strategy among general LOCC measurements? In this Letter, we answer this problem completely for two-qubit pure states. To be specific, we give the optimal strategy for each of the following available classes of measurements: (i) local operations and one-way classical communication (one-way LOCC) measurements; (ii) local operations and two-way classical communication (two-way LOCC) measurements; and (iii) separable measurements. Surprisingly, our results reveal that for the two-qubit pure state verification problem, two-way LOCC measurements remarkably outperforms one-way LOCC measurements and has the same power as the separable measurements.


title: Most white dwarfs with detectable dust discs show infrared variability

abstract: Archival data from the WISE satellite reveals infrared flux variations of tens of per cent around numerous dusty white dwarfs. Data spanning more than seven years reveal more than half of known systems are varying in the 3.4 micron band, while the 4.6 micron data are challenging to interpret due to lower signal-to-noise. The sparsely-sampled data limit interpretation, but the heterogeneous light curves suggest each source may be idiosyncratic, where there maybe competing processes operating on different time-scales. Collisions are likely driving the observed decays in flux, and this finding suggests that dust production is operating more often than indicated by previous observations. The observed variation is at odds with the canonical flat disc model in isolation, and underscores the need for infrared monitoring of these evolved planetary systems to inform the next generation of theoretical models.


title: Tangled String for Multi-Scale Explanation of Contextual Shifts in Stock Market

abstract: The original research question here is given by marketers in general, i.e., how to explain the changes in the desired timescale of the market. Tangled String, a sequence visualization tool based on the metaphor where contexts in a sequence are compared to tangled pills in a string, is here extended and diverted to detecting stocks that trigger changes in the market and to explaining the scenario of contextual shifts in the market. Here, the sequential data on the stocks of top 10 weekly increase rates in the First Section of the Tokyo Stock Exchange for 12 years are visualized by Tangled String. The changing in the prices of stocks is a mixture of various timescales and can be explained in the time-scale set as desired by using TS. Also, it is found that the change points found by TS coincided by high precision with the real changes in each stock price. As TS has been created from the data-driven innovation platform called Innovators Marketplace on Data Jackets and is extended to satisfy data users, this paper is as evidence of the contribution of the market of data to data-driven innovations.


title: Bayesian Active Learning for Collaborative Task Specification Using Equivalence Regions

abstract: Specifying complex task behaviours while ensuring good robot performance may be difficult for untrained users. We study a framework for users to specify rules for acceptable behaviour in a shared environment such as industrial facilities. As non-expert users might have little intuition about how their specification impacts the robot's performance, we design a learning system that interacts with the user to find an optimal solution. Using active preference learning, we iteratively show alternative paths that the robot could take on an interface. From the user feedback ranking the alternatives, we learn about the weights that users place on each part of their specification. We extend the user model from our previous work to a discrete Bayesian learning model and introduce a greedy algorithm for proposing alternative that operates on the notion of equivalence regions of user weights. We prove that with this algorithm the revision active learning process converges on the user-optimal path. In simulations on realistic industrial environments, we demonstrate the convergence and robustness of our approach.


title: $N$-hypercontractivity and similarity of Cowen-Douglas operators

abstract: When the backward shift operator on a weighted space $H^2_w=\{f=\sum_{j=0} ^{\infty} a_jz^j : \sum_{j=0}^{\infty} |a_j|^2w_j < \infty\}$ is an $n$-hypercontraction, we prove that the weights must satisfy the inequality $$\frac{w_{j+1}}{w_j} \leq {\frac{1+j}{n+j}}.$$ As an application of this result, it is shown that such an operator cannot be subnormal. We also give an example to illustrate the important role that the $n$-hypercontractivity assumption plays in determining the similarity of Cowen-Douglas operators in terms of the curvatures of their eigenvector bundles.


title: Separable Effects for Causal Inference in the Presence of Competing Events

abstract: In time-to-event settings, the presence of competing events complicates the definition of causal effects. Here we propose the new separable effects to study the causal effect of a treatment on an event of interest. The separable direct effect is the treatment effect on the event of interest not mediated by its effect on the competing event. The separable indirect effect is the treatment effect on the event of interest only through its effect on the competing event. Similar to Robins and Richardson's extended graphical approach for mediation analysis, the separable effects can only be identified under the assumption that the treatment can be decomposed into two distinct components that exert their effects through distinct causal pathways. Unlike existing definitions of causal effects in the presence of competing events, our estimands do not require cross-world contrasts or hypothetical interventions to prevent death. As an illustration, we apply our approach to a randomized clinical trial on estrogen therapy in individuals with prostate cancer.


title: An End-to-End Solution for Effectively Demoting Watermarked Images in Image Search

abstract: We propose an end-to-end solution, from watermark feature generation to metric design, for effectively demoting watermarked images surfed by a real world image search engine. We use a few fundamental techniques to obtain effective watermark features of images in the image search index, and utilize the signals in a commercial search engine to improve the image search quality. We collect a diverse and large set (about 1M) of images with human labels indicating whether the image contains visible watermark. We train a few deep convolutional neural networks to extract watermark information from the raw images. The deep CNN classifiers we trained can achieve high accuracy on the watermark test data set. We also analyze the images based on their domains to get watermark information from a domain-based watermark classifier. We design a new novel hybrid metric which includes the relevance, image attractiveness and watermark information all together. We demonstrate that using these watermark signals together with the new metric in image search ranker can significantly demote the watermarked images during the online image ranking.


title: Do users talk about the software in my product? Analyzing user reviews on IoT products

abstract: Consumer product reviews are an invaluable source of data because they contain a wide range of information that could help requirement engineers to meet user needs. Recent studies have shown that tweets about software applications and reviews on App Stores contain useful information, which enable a more responsive software requirements elicitation. However, all of these studies' subjects are merely software applications. Information on system software, such as embedded software, operating systems, and firmware, are overlooked, unless reviews of a product using them are investigated. Challenges in investigating these reviews could come from the fact that there is a huge volume of data available, as well as the fact that reviews of such products are diverse in nature, meaning that they may contain information mostly on hardware components or broadly on the product as a whole. Motivated by these observations, we conduct an exploratory study using a dataset of 7198 review sentences from 6 Internet of Things (IoT) products. Our qualitative analysis demonstrates that a sufficient quantity of software related information exists in these reviews. In addition, we investigate the performance of two supervised machine learning techniques (Support Vector Machines and Convolutional Neural Networks) for classification of information contained in the reviews. Our results suggest that, with a certain setup, these two techniques can be used to classify the information automatically with high precision and recall.