title: Convexity of tableau sets for type A Demazure characters (key polynomials), parabolic Catalan numbers

abstract: This is the first of three papers that develop structures which are counted by a "parabolic" generalization of Catalan numbers. Fix a subset R of {1,..,n-1}. Consider the ordered partitions of {1,..,n} whose block sizes are determined by R. These are the "inverses" of (parabolic) multipermutations whose multiplicities are determined by R. The standard forms of the ordered partitions are refered to as "R-permutations". The notion of 312-avoidance is extended from permutations to R-permutations. Let lambda be a partition of N such that the set of column lengths in its shape is R or R union {n}. Fix an R-permutation pi. The type A Demazure character (key polynomial) in x_1, .., x_n that is indexed by lambda and pi can be described as the sum of the weight monomials for some of the semistandard Young tableau of shape lambda that are used to describe the Schur function indexed by lambda. Descriptions of these "Demazure" tableaux developed by the authors in earlier papers are used to prove that the set of these tableaux is convex in Z^N if and only if pi is R-312-avoiding if and only if the tableau set is the entire principal ideal generated by the key of pi. These papers were inspired by results of Reiner and Shimozono and by Postnikov and Stanley concerning coincidences between Demazure characters and flagged Schur functions. This convexity result is used in the next paper to deepen those results from the level of polynomials to the level of tableau sets. The R-parabolic Catalan number is defined to be the number of R-312-avoiding permutations. These special R-permutations are reformulated as "R-rightmost clump deleting" chains of subsets of {1,..,n} and as "gapless R-tuples"; the latter n-tuples arise in multiple contexts in these papers.


title: The Square Root Velocity Framework for Curves in a Homogeneous Space

abstract: In this paper we study the shape space of curves with values in a homogeneous space $M = G/K$, where $G$ is a Lie group and $K$ is a compact Lie subgroup. We generalize the square root velocity framework to obtain a reparametrization invariant metric on the space of curves in $M$. By identifying curves in $M$ with their horizontal lifts in $G$, geodesics then can be computed. We can also mod out by reparametrizations and by rigid motions of $M$. In each of these quotient spaces, we can compute Karcher means, geodesics, and perform principal component analysis. We present numerical examples including the analysis of a set of hurricane paths.


title: The mean field equation for the Kuramoto model on graph sequences with non-Lipschitz limit

abstract: The Kuramoto model (KM) of coupled phase oscillators on graphs provides the most influential framework for studying collective dynamics and synchronization. It exhibits a rich repertoire of dynamical regimes. Since the work of Strogatz and Mirollo, the mean field equation derived in the limit as the number of oscillators in the KM goes to infinity, has been the key to understanding a number of interesting effects, including the onset of synchronization and chimera states. In this work, we study the mathematical basis of the mean field equation as an approximation of the discrete KM. Specifically, we extend the Neunzert's method of rigorous justification of the mean field equation to cover interacting dynamical systems on graphs. We then apply it to the KM on convergent graph sequences with non-Lipschitz limit. This family of graphs includes many graphs that are of interest in applications, e.g., nearest-neighbor and small-world graphs.


title: The Vehicle Routing Problem with Service Level Constraints

abstract: We consider a vehicle routing problem which seeks to minimize cost subject to service level constraints on several groups of deliveries. This problem captures some essential challenges faced by a logistics provider which operates transportation services for a limited number of partners and should respect contractual obligations on service levels. The problem also generalizes several important classes of vehicle routing problems with profits. To solve it, we propose a compact mathematical formulation, a branch-and-price algorithm, and a hybrid genetic algorithm with population management, which relies on problem-tailored solution representation, crossover and local search operators, as well as an adaptive penalization mechanism establishing a good balance between service levels and costs. Our computational experiments show that the proposed heuristic returns very high-quality solutions for this difficult problem, matches all optimal solutions found for small and medium-scale benchmark instances, and improves upon existing algorithms for two important special cases: the vehicle routing problem with private fleet and common carrier, and the capacitated profitable tour problem. The branch-and-price algorithm also produces new optimal solutions for all three problems.


title: Adaptive timestepping for pathwise stability and positivity of strongly discretised nonlinear stochastic differential equations

abstract: We consider the use of adaptive timestepping to allow a strong explicit Euler-Maruyama discretisation to reproduce dynamical properties of a class of nonlinear stochastic differential equations with a unique equilibrium solution and non-negative, non-globally Lipschitz coefficients. Solutions of such equations may display a tendency towards explosive growth, countered by a sufficiently intense and nonlinear diffusion. We construct an adaptive timestepping strategy which closely reproduces the a.s. asymptotic stability and instability of the equilibrium, and which can ensure the positivity of solutions with arbitrarily high probability. Our analysis adapts the derivation of a discrete form of the It\^o formula from Appleby et al (2009) in order to deal with the lack of independence of the Wiener increments introduced by the adaptivity of the mesh. We also use results on the convergence of certain martingales and semi-martingales which influence the construction of our adaptive timestepping scheme in a way proposed by Liu & Mao (2017).


title: Unphysical poles and dispersion relations for M\"obius domain-wall fermions in free field theory at finite $L_s$

abstract: We find that the quark propagator constructed from the domain-wall fermion operator has $L_s-1$ extra poles as well as the pole that realizes the physical quark in the continuum limit. We show the energy-momentum dispersion relation for the physical and unphysical poles of M\"obius domain-wall fermions in free field theory at finite $L_s$. The dependence of extra pole energies on the M\"obius parameter $b-c$ and on the domain-wall height $M_5$ is investigated. Our result suggests that small values of $b-c$ set a large lower bound on the unphysical pole masses and the contribution of these poles could be suppressed well by calculating with small $b-c$.


title: Decoupling Learning Rules from Representations

abstract: In the artificial intelligence field, learning often corresponds to changing the parameters of a parameterized function. A learning rule is an algorithm or mathematical expression that specifies precisely how the parameters should be changed. When creating an artificial intelligence system, we must make two decisions: what representation should be used (i.e., what parameterized function should be used) and what learning rule should be used to search through the resulting set of representable functions. Using most learning rules, these two decisions are coupled in a subtle (and often unintentional) way. That is, using the same learning rule with two different representations that can represent the same sets of functions can result in two different outcomes. After arguing that this coupling is undesirable, particularly when using artificial neural networks, we present a method for partially decoupling these two decisions for a broad class of learning rules that span unsupervised learning, reinforcement learning, and supervised learning.


title: Quantum Correlations in Multipartite Quantum Systems

abstract: We review some concepts and properties of quantum correlations, in particular multipartite measures, geometric measures and monogamy relations. We also discuss the relation between classical and total correlations


title: Big Data, Data Science, and Civil Rights

abstract: Advances in data analytics bring with them civil rights implications. Data-driven and algorithmic decision making increasingly determine how businesses target advertisements to consumers, how police departments monitor individuals or groups, how banks decide who gets a loan and who does not, how employers hire, how colleges and universities make admissions and financial aid decisions, and much more. As data-driven decisions increasingly affect every corner of our lives, there is an urgent need to ensure they do not become instruments of discrimination, barriers to equality, threats to social justice, and sources of unfairness. In this paper, we argue for a concrete research agenda aimed at addressing these concerns, comprising five areas of emphasis: (i) Determining if models and modeling procedures exhibit objectionable bias; (ii) Building awareness of fairness into machine learning methods; (iii) Improving the transparency and control of data- and model-driven decision making; (iv) Looking beyond the algorithm(s) for sources of bias and unfairness-in the myriad human decisions made during the problem formulation and modeling process; and (v) Supporting the cross-disciplinary scholarship necessary to do all of that well.


title: Min-Max Regret Scheduling To Minimize the Total Weight of Late Jobs With Interval Uncertainty

abstract: We study the single machine scheduling problem with the objective to minimize the total weight of late jobs. It is assumed that the processing times of jobs are not exactly known at the time when a complete schedule must be dispatched. Instead, only interval bounds for these parameters are given. In contrast to the stochastic optimization approach, we consider the problem of finding a robust schedule, which minimizes the maximum regret of a solution. Heuristic algorithm based on mixed-integer linear programming is presented and examined through computational experiments.


title: How is quantum information localized in gravity?

abstract: A notion of localization of information within quantum subsystems plays a key role in describing the physics of quantum systems, and in particular is a prerequisite for discussing important concepts such as entanglement and information transfer. While subsystems can be readily defined for finite quantum systems and in local quantum field theory, a corresponding definition for gravitational systems is significantly complicated by the apparent nonlocality arising due to gauge invariance, enforced by the constraints. A related question is whether "soft hair" encodes otherwise localized information, and the question of such localization also remains an important puzzle for proposals that gravity emerges from another structure such as a boundary field theory as in AdS/CFT. This paper describes different approaches to defining local subsystem structure, and shows that at least classically, perturbative gravity has localized subsystems based on a split structure, generalizing the split property of quantum field theory. This, and related arguments for QED, give simple explanations that in these theories there is localized information that is independent of fields outside a region, in particular so that there is no role for "soft hair" in encoding such information. Additional subtleties appear in quantum gravity. We argue that localized information exists in perturbative quantum gravity in the presence of global symmetries, but that nonperturbative dynamics is likely tied to a modification of such structure.


title: LEOS-assisted Inter-GEOS Communication via Distributed-storage Coding

abstract: We consider a space communication network consisting of Geosynchronous Earth Orbit satellites (GEOSs) and Low Earth Orbit satellites (LEOSs). In case of no direct communication link between two GEOSs, the data exchange between them is through relay by the LEOSs. In particular, the source GEOS sends coded data to multiple LEOSs based on the distributed storage framework. The destination GEOS then retrieves certain amount of data from each LEOS for data reconstruction. For the GEOS-LEOS downlink, a regenerating-code-based transmission scheme is optimized to guarantee data reconstructability, where the transmission power allocation to the LEOSs is proposed to minimize the total transmission energy. We also consider the power allocation to minimize the total transmission time given the total transmission energy. For the LEOS-GEOS uplink, a flexible partial-downloading coding transmission scheme is proposed to guarantee data reconstructability, where the joint uploaded-data size and power allocations are proposed to minimize the total transmission energy or the total transmission time. Extensive simulation results are presented to evaluate the proposed algorithms and show that regenerating code can achieve lower transmission energy and shorter transmission time for data regeneration than conventional maximum-distance separable (MDS) code.


title: Burning Circulant Graphs

abstract: In this paper we study the graph parameter of burning number, introduced by Bonato, Janssen, and Roshanbin (2014). We are particular interested in determining the burning number of Circulant graphs. In this paper, we find upper and lower bounds on the burning number of classes of circulant graphs of degree at most four. The burning number is found exactly for a family of circulant graphs of degree three, and two specific families of circulant graphs of degree four. Finally, we given upper and lower bounds on the burning number of families of circulant graphs of higher degree.


title: Graph Reconstruction in the Congested Clique

abstract: The congested clique model is a message-passing model of distributed computation where the underlying communication network is the complete graph of $n$ nodes. In this paper we consider the situation where the joint input to the nodes is an $n$-node labeled graph $G$, i.e., the local input received by each node is the indicator function of its neighborhood in $G$. Nodes execute an algorithm, communicating with each other in synchronous rounds and their goal is to compute some function that depends on $G$. In every round, each of the $n$ nodes may send up to $n-1$ different $b$-bit messages through each of its $n-1$ communication links. We denote by $R$ the number of rounds of the algorithm. The product $Rb$, that is, the total number of bits received by a node through one link, is the cost of the algorithm. The most difficult problem we could attempt to solve is the reconstruction problem, where nodes are asked to recover all the edges of the input graph $G$. Formally, given a class of graphs $\mathcal G$, the problem is defined as follows: if $G \notin {\mathcal G}$, then every node must reject; on the other hand, if $G \in {\mathcal G}$, then every node must end up, after the $R$ rounds, knowing all the edges of $G$. It is not difficult to see that the cost $Rb$ of any algorithm that solves this problem (even with public coins) is at least $\Omega(\log|\mathcal{G}_n|/n)$, where $\mathcal{G}_n$ is the subclass of all $n$-node labeled graphs in $\mathcal G$. In this paper we prove that previous bound is tight and that it is possible to achieve it with only $R=2$ rounds. More precisely, we exhibit (i) a one-round algorithm that achieves this bound for hereditary graph classes; and (ii) a two-round algorithm that achieves this bound for arbitrary graph classes.


title: Constant Query Time $(1 + \epsilon)$-Approximate Distance Oracle for Planar Graphs

abstract: We give a $(1+\epsilon)$-approximate distance oracle with $O(1)$ query time for an undirected planar graph $G$ with $n$ vertices and non-negative edge lengths. For $\epsilon>0$ and any two vertices $u$ and $v$ in $G$, our oracle gives a distance $\tilde{d}(u,v)$ with stretch $(1+\epsilon)$ in $O(1)$ time. The oracle has size $O(n\log n ((\log n)/\epsilon+f(\epsilon)))$ and pre-processing time $O(n\log n((\log^3 n)/\epsilon^2+f(\epsilon)))$, where $f(\epsilon)=2^{O(1/\epsilon)}$. This is the first $(1+\epsilon)$-approximate distance oracle with $O(1)$ query time independent of $\epsilon$ and the size and pre-processing time nearly linear in $n$, and improves the query time $O(1/\epsilon)$ of previous $(1+\epsilon)$-approximate distance oracle with size nearly linear in $n$.


title: Complete colorings of planar graphs

abstract: In this paper, we study the achromatic and the pseudoachromatic numbers of planar and outerplanar graphs as well as planar graphs of girth 4 and graphs embedded on a surface. We give asymptotically tight results and lower bounds for maximal embedded graphs.


title: Capillary fluctuations of surface steps: An atomistic simulation study for the model Cu(111) system

abstract: Molecular dynamics (MD) simulations are employed to investigate the capillary fluctuations of steps on the surface of a model metal system. The fluctuation spectrum, characterized by the wave number ($k$) dependence of the mean squared capillary-wave amplitudes and associated relaxation times, is calculated for $\left<110\right>$ and $\left<112\right>$ steps on the $\{111\}$ surface of elemental copper near the melting temperature of the classical potential model considered. Step stiffnesses are derived from the MD results, yielding values from the largest system sizes of $(37\pm1) \, \mathrm{meV}/\mathring{\mathrm{A}}$ for the different line orientations, implying that the stiffness is isotropic within the statistical precision of the calculations. The fluctuation lifetimes are found to vary by approximately four orders of magnitude over the range of wave numbers investigated, displaying a $k$ dependence consistent with kinetics governed by step-edge mediated diffusion. The values for step stiffness derived from these simulations are compared to step free energies for the same system and temperature obtained in a recent MD-based thermodynamic-integration (TI) study [Freitas, Frolov, and Asta, Phys. Rev. B 95, 155444 (2017)]. Results from the capillary-fluctuation analysis and TI calculations yield statistically significant differences that are discussed within the framework of statistical-mechanical theories for configurational contributions to step free energies.


title: Construction of an approximate solution of the Wigner equation by uniformization of WKB functions

abstract: In this thesis, we construct an approximate series solution of the Wigner equation in terms of Airy functions, which are semiclassically concentrated on certain Lagrangian curves in two-dimensional phase space. These curves are defined by the eigenvalues and the Hamiltonian function of the associated one-dimensional Schr\"odinger operator, and they play a crucial role in the quantum interference mechanism in phase space. We assume that the potential of the Schr\"odinger operator is a single potential well, such that the spectrum is discrete. The construction starts from an eigenfunction series expansion of the solution, which is derived here for first time in a systematic way, by combining the elementary technique of separation of variables with involved spectral results for the Moyal star exponential operator. The eigenfunctions of the Wigner equation are the Wigner transforms of the Schr\"odinger eigenfunctions, and they are approximated in terms of Airy functions by a uniform stationary phase approximation of the Wigner transforms of the WKB expansions of the Schr\"odinger eigenfunctions. The approximation of the eigenfunction series is an approximated solution of the Wigner equation, which by projection onto the configuration space provides an approximate wave amplitude, free of turning point singularities. It is generally expected that, the derived wave amplitude is bounded, and correctly scaled, even on caustics, since only finite terms of the approximate terms are significant for WKB initial wave functions with finite energy. The details of the calculations are presented for the simple potential of the harmonic oscillator, in order to be able to check our approximations analytically. But, the same construction can be applied to any potential well, which behaves like the harmonic oscillator near the bottom of the well.


title: Unsupervised Adaptive Re-identification in Open World Dynamic Camera Networks

abstract: Person re-identification is an open and challenging problem in computer vision. Existing approaches have concentrated on either designing the best feature representation or learning optimal matching metrics in a static setting where the number of cameras are fixed in a network. Most approaches have neglected the dynamic and open world nature of the re-identification problem, where a new camera may be temporarily inserted into an existing system to get additional information. To address such a novel and very practical problem, we propose an unsupervised adaptation scheme for re-identification models in a dynamic camera network. First, we formulate a domain perceptive re-identification method based on geodesic flow kernel that can effectively find the best source camera (already installed) to adapt with a newly introduced target camera, without requiring a very expensive training phase. Second, we introduce a transitive inference algorithm for re-identification that can exploit the information from best source camera to improve the accuracy across other camera pairs in a network of multiple cameras. Extensive experiments on four benchmark datasets demonstrate that the proposed approach significantly outperforms the state-of-the-art unsupervised learning based alternatives whilst being extremely efficient to compute.


title: DBSCAN: Optimal Rates For Density Based Clustering

abstract: We study the problem of optimal estimation of the density cluster tree under various assumptions on the underlying density. Building up from the seminal work of Chaudhuri et al. [2014], we formulate a new notion of clustering consistency which is better suited to smooth densities, and derive minimax rates of consistency for cluster tree estimation for Holder smooth densities of arbitrary degree \alpha. We present a computationally efficient, rate optimal cluster tree estimator based on a straightforward extension of the popular density-based clustering algorithm DBSCAN by Ester et al. [1996]. The procedure relies on a kernel density estimator with an appropriate choice of the kernel and bandwidth to produce a sequence of nested random geometric graphs whose connected components form a hierarchy of clusters. The resulting optimal rates for cluster tree estimation depend on the degree of smoothness of the underlying density and, interestingly, match minimax rates for density estimation under the supremum norm. Our results complement and extend the analysis of the DBSCAN algorithm in Sriperumbudur and Steinwart [2012]. Finally, we consider level set estimation and cluster consistency for densities with jump discontinuities, where the sizes of the jumps and the distance among clusters are allowed to vanish as the sample size increases. We demonstrate that our DBSCAN-based algorithm remains minimax rate optimal in this setting as well.


title: Collaborative Summarization of Topic-Related Videos

abstract: Large collections of videos are grouped into clusters by a topic keyword, such as Eiffel Tower or Surfing, with many important visual concepts repeating across them. Such a topically close set of videos have mutual influence on each other, which could be used to summarize one of them by exploiting information from others in the set. We build on this intuition to develop a novel approach to extract a summary that simultaneously captures both important particularities arising in the given video, as well as, generalities identified from the set of videos. The topic-related videos provide visual context to identify the important parts of the video being summarized. We achieve this by developing a collaborative sparse optimization method which can be efficiently solved by a half-quadratic minimization algorithm. Our work builds upon the idea of collaborative techniques from information retrieval and natural language processing, which typically use the attributes of other similar objects to predict the attribute of a given object. Experiments on two challenging and diverse datasets well demonstrate the efficacy of our approach over state-of-the-art methods.


title: Reducing complexity of multiagent systems with symmetry breaking: an application to opinion dynamics with polls

abstract: In this paper we investigate the possibility of reducing the complexity of a system composed of a large number of interacting agents, whose dynamics feature a symmetry breaking. We consider first order stochastic differential equations describing the behavior of the system at the particle (i.e., Lagrangian) level and we get its continuous (i.e., Eulerian) counterpart via a kinetic description. However, the resulting continuous model alone fails to describe adequately the evolution of the system, due to the loss of granularity which prevents it from reproducing the symmetry breaking of the particle system. By suitably coupling the two models we are able to reduce considerably the necessary number of particles while still keeping the symmetry breaking and some of its large-scale statistical properties. We describe such a multiscale technique in the context of opinion dynamics, where the symmetry breaking is induced by the results of some opinion polls reported by the media.


title: A Model of Comprehensive Unification

abstract: Comprehensive - that is, gauge and family - unification using spinors has many attractive features, but it has been challenged to explain chirality. Here, by combining an orbifold construction with more traditional ideas, we address that difficulty. Our candidate model features three chiral families and leads to an acceptable result for quantitative unification of couplings. A potential target for accelerator and astronomical searches emerges.


title: Higher-order moving mesh methods for PDE-constrained shape optimization

abstract: We present a new approach to discretizing shape optimization problems that generalizes standard moving mesh methods to higher-order mesh deformations and that is naturally compatible with higher-order finite element discretizations of PDE-constraints. This shape optimization method is based on discretized deformation diffeomorphisms and allows for arbitrarily high resolution of shapes with arbitrary smoothness. Numerical experiments show that it allows the solution of PDE-constrained shape optimization problems to high accuracy.


title: Constraints from Ly-$\alpha$ forests on non-thermal dark matter including resonantly-produced sterile neutrinos

abstract: We use BOSS DR9 quasars to constrain 2 cases of dark matter models: cold-plus-warm (C+WDM) where the warm component is a thermal relic, and sterile neutrinos resonantly produced in the presence of a lepton asymmetry (RPSN). We establish constraints on the relic mass m_x and its relative abundance $F=\Omega_{wdm}/\Omega_{dm}$ using a suite of hydrodynamical simulations in 28 C+WDM configurations. We find that the 3 sigma bounds approximately follow F ~ $0.35 (keV/m_x)^{-1.37}$ from BOSS alone. We also establish constraints on sterile neutrino mass and mixing angle by producing the non-linear flux power spectrum of 8 RPSN models, where the input linear power spectrum is computed directly from the particles distribution functions. We find values of lepton asymmetries for which sterile neutrinos as light as 6.5 keV (resp. 3.5 keV) are consistent with BOSS at the 2 sigma (resp. 3sigma) level. These limits tighten by close to a factor of 2 for lepton asymmetries departing from those yielding the coolest distribution functions. Our Ly-a forest bounds can be strengthened if we include higher-resolution data from XQ-100, HIRES and MIKE. At these smaller scales, the flux power spectrum exhibits a suppression that can be due to Doppler broadening, IGM pressure smoothing or free-streaming of WDM particles. In the current work, we show that if one extrapolates temperatures from lower redshifts via broken power laws in T_0 and gamma, then our 3 sigma C+WDM bounds strengthen to F~ $0.20 (keV/m_x)^{-1.37}$, and the lightest RPSN consistent with our extended data set have masses of 7.0 keV at the 3 sigma level. Using dedicated hydrodynamical simulations, we show that a 7 keV sterile neutrino produced in a lepton asymmetry $L = 8 \times 10^{-6}$ is consistent at 1.9 sigma (resp. 3.1 sigma) with BOSS (resp. BOSS + higher-resolution), for the thermal history models tested in this work.


title: Upper Limits on Gravitational Waves from Scorpius X-1 from a Model-Based Cross-Correlation Search in Advanced LIGO Data

abstract: We present the results of a semicoherent search for continuous gravitational waves from the low-mass X-ray binary Scorpius X-1, using data from the first Advanced LIGO observing run. The search method uses details of the modelled, parametrized continuous signal to combine coherently data separated by less than a specified coherence time, which can be adjusted to trade off sensitivity against computational cost. A search was conducted over the frequency range from 25 Hz to 2000 Hz, spanning the current observationally-constrained range of the binary orbital parameters. No significant detection candidates were found, and frequency-dependent upper limits were set using a combination of sensitivity estimates and simulated signal injections. The most stringent upper limit was set at 175 Hz, with comparable limits set across the most sensitive frequency range from 100 Hz to 200 Hz. At this frequency, the 95 pct upper limit on signal amplitude h0 is 2.3e-25 marginalized over the unknown inclination angle of the neutron star's spin, and 8.03e-26 assuming the best orientation (which results in circularly polarized gravitational waves). These limits are a factor of 3-4 stronger than those set by other analyses of the same data, and a factor of about 7 stronger than the best upper limits set using initial LIGO data. In the vicinity of 100 Hz, the limits are a factor of between 1.2 and 3.5 above the predictions of the torque balance model, depending on inclination angle, if the most likely inclination angle of 44 degrees is assumed, they are within a factor of 1.7.


title: Divisor-sum fibers

abstract: Let $s(\cdot)$ denote the sum-of-proper-divisors function, that is, $s(n) = \sum_{d\mid n,~d<n}d$. Erd\H{o}s-Granville-Pomerance-Spiro conjectured that for any set $\mathcal{A}$ of asymptotic density zero, the preimage set $s^{-1}(\mathcal{A})$ also has density zero. We prove a weak form of this conjecture: If $\epsilon(x)$ is any function tending to $0$ as $x\to\infty$, and $\mathcal{A}$ is a set of integers of cardinality at most $x^{\frac12+\epsilon(x)}$, then the number of integers $n\le x$ with $s(n) \in \mathcal{A}$ is $o(x)$, as $x\to\infty$. In particular, the EGPS conjecture holds for infinite sets with counting function $O(x^{\frac12 + \epsilon(x)})$. We also disprove a hypothesis from the same paper of EGPS by showing that for any positive numbers $\alpha$ and $\epsilon$, there are integers $n$ with arbitrarily many $s$-preimages lying between $\alpha(1-\epsilon)n$ and $\alpha(1+\epsilon)n$. Finally, we make some remarks on solutions $n$ to congruences of the form $\sigma(n) \equiv a\pmod{n}$, proposing a modification of a conjecture appearing in recent work of the first two authors. We also improve a previous upper bound for the number of solutions $n \leq x$, making it uniform in $a$.


title: Multi-View Surveillance Video Summarization via Joint Embedding and Sparse Optimization

abstract: Most traditional video summarization methods are designed to generate effective summaries for single-view videos, and thus they cannot fully exploit the complicated intra and inter-view correlations in summarizing multi-view videos in a camera network. In this paper, with the aim of summarizing multi-view videos, we introduce a novel unsupervised framework via joint embedding and sparse representative selection. The objective function is two-fold. The first is to capture the multi-view correlations via an embedding, which helps in extracting a diverse set of representatives. The second is to use a `2;1- norm to model the sparsity while selecting representative shots for the summary. We propose to jointly optimize both of the objectives, such that embedding can not only characterize the correlations, but also indicate the requirements of sparse representative selection. We present an efficient alternating algorithm based on half-quadratic minimization to solve the proposed non-smooth and non-convex objective with convergence analysis. A key advantage of the proposed approach with respect to the state-of-the-art is that it can summarize multi-view videos without assuming any prior correspondences/alignment between them, e.g., uncalibrated camera networks. Rigorous experiments on several multi-view datasets demonstrate that our approach clearly outperforms the state-of-the-art methods.


title: Off The Beaten Lane: AI Challenges In MOBAs Beyond Player Control

abstract: MOBAs represent a huge segment of online gaming and are growing as both an eSport and a casual genre. The natural starting point for AI researchers interested in MOBAs is to develop an AI to play the game better than a human - but MOBAs have many more challenges besides adversarial AI. In this paper we introduce the reader to the wider context of MOBA culture, propose a range of challenges faced by the community today, and posit concrete AI projects that can be undertaken to begin solving them.


title: Diversity-aware Multi-Video Summarization

abstract: Most video summarization approaches have focused on extracting a summary from a single video; we propose an unsupervised framework for summarizing a collection of videos. We observe that each video in the collection may contain some information that other videos do not have, and thus exploring the underlying complementarity could be beneficial in creating a diverse informative summary. We develop a novel diversity-aware sparse optimization method for multi-video summarization by exploring the complementarity within the videos. Our approach extracts a multi-video summary which is both interesting and representative in describing the whole video collection. To efficiently solve our optimization problem, we develop an alternating minimization algorithm that minimizes the overall objective function with respect to one video at a time while fixing the other videos. Moreover, we introduce a new benchmark dataset, Tour20, that contains 140 videos with multiple human created summaries, which were acquired in a controlled experiment. Finally, by extensive experiments on the new Tour20 dataset and several other multi-view datasets, we show that the proposed approach clearly outperforms the state-of-the-art methods on the two problems-topic-oriented video summarization and multi-view video summarization in a camera network.


title: Cantor series expansions of rational numbers

abstract: This survey is devoted to necessary and suffcient conditions for a rational number to be representable by a Cantor series. Necessary and suffcient conditions are formulated for the case of an arbitrary sequence $(q_k)$.


title: QCD predictions for the azimuthal asymmetry in charm leptoproduction for the COMPASS kinematics

abstract: We present the QCD predictions for the azimuthal $\cos 2\varphi$ asymmetry in charm leptoproduction for the kinematics of the COMPASS experiment at CERN. The asymmetry is predicted to be large, about 15%. The radiative corrections to the QCD predictions for the $\cos 2\varphi$ distribution are estimated to be small, less than 10%. Our calculations show that the azimuthal asymmetry in charm production is well defined in pQCD: it is stable both perturbatively and parametrically, and practically insensitive to theoretical uncertainties in the input parameters. We analyze the nonperturbative contributions to the $\cos 2\varphi$ distribution due to the gluon transverse motion in the target and the $c$-quark fragmentation. Because of the $c$-quark low mass, the nonperturbative contributions are expected to be sizable, about (30--40)%. We conclude that extraction of the azimuthal asymmetries from available COMPASS data will provide valuable information about the transverse momentum dependent distribution of the gluon in the proton and the $c$-quark hadronization mechanism. Finally, we discuss the $\cos 2\varphi$ asymmetry as a probe of the gluonic analogue of the Boer-Mulders function, $h_{1}^{\perp g}$, describing the linear polarization of gluons inside unpolarized proton.


title: Lower bounds on the Noether number

abstract: The best known method to give a lower bound for the Noether number of a given finite group is to use the fact that it is greater than or equal to the Noether number of any of the subgroups or factor groups. The results of the present paper show in particular that these inequalities are strict for proper subgroups or factor groups. This is established by studying the algebra of coinvariants of a representation induced from a representation of a subgroup.


title: Heavy Quarks in Turbulent QCD Plasmas

abstract: The quark-gluon plasma, which is produced at an early stage of ultrarelativistic heavy-ion collisions, is expected to be initially strongly populated with chromodynamic fields. We address the question how heavy quarks interact with such a turbulent plasma in comparison with an equilibrated one of the same energy density. For this purpose we derive a Fokker-Planck transport equation of heavy quarks embedded in a plasma of light quarks and gluons. We first discuss the equilibrium plasma and then the turbulent one applying the same approach, where the heavy quarks interact not with the plasma constituents but rather with the long wavelength classical fields. We first consider the three schematic models of isotropic trubulent plasma and then the simplified model of glasma with the chromodynamic fields only along the beam direction. The momentum broadening and collisional energy loss of a test heavy quark are computed and compared to those of equilibrium plasma of the same energy density.


title: Techniques for Accurate Parallax Measurements for 6.7-GHz Methanol Masers

abstract: The BeSSeL Survey is mapping the spiral structure of the Milky Way by measuring trigonometric parallaxes of hundreds of maser sources associated with high-mass star formation. While parallax techniques for water masers at high frequency (22 GHz) have been well documented, recent observations of methanol masers at lower frequency (6.7 GHz) have revealed astrometric issues associated with signal propagation through the ionosphere that could significantly limit parallax accuracy. These problems displayed as a "parallax gradient" on the sky when measured against different background quasars. We present an analysis method in which we generate position data relative to an "artificial quasar" at the target maser position at each epoch. Fitting parallax to these data can significantly mitigate the problems and improve parallax accuracy.


title: Measurement-Adaptive Sparse Image Sampling and Recovery

abstract: This paper presents an adaptive and intelligent sparse model for digital image sampling and recovery. In the proposed sampler, we adaptively determine the number of required samples for retrieving image based on space-frequency-gradient information content of image patches. By leveraging texture in space, sparsity locations in DCT domain, and directional decomposition of gradients, the sampler structure consists of a combination of uniform, random, and nonuniform sampling strategies. For reconstruction, we model the recovery problem as a two-state cellular automaton to iteratively restore image with scalable windows from generation to generation. We demonstrate the recovery algorithm quickly converges after a few generations for an image with arbitrary degree of texture. For a given number of measurements, extensive experiments on standard image-sets, infra-red, and mega-pixel range imaging devices show that the proposed measurement matrix considerably increases the overall recovery performance, or equivalently decreases the number of sampled pixels for a specific recovery quality compared to random sampling matrix and Gaussian linear combinations employed by the state-of-the-art compressive sensing methods. In practice, the proposed measurement-adaptive sampling/recovery framework includes various applications from intelligent compressive imaging-based acquisition devices to computer vision and graphics, and image processing technology. Simulation codes are available online for reproduction purposes.


title: Universality of low-energy Rashba scattering

abstract: We investigate the scattering of a quantum particle with a two-dimensional (2D) Rashba spin-orbit coupled dispersion off of circularly symmetric potentials. As the energy of the particle approaches the bottom of the lowest spin-split band, i.e., the van Hove singularity, earlier work has shown that scattering off of an infinite circular barrier exhibits a number of features unusual from the point of view of conventional 2D scattering theory: the low-energy S-matrix is independent of the range of the potential, all partial waves contribute equally, the differential cross section becomes increasingly anisotropic and 1D-like, and the total cross section exhibits quantized plateaus. Via a nonperturbative determination of the T-matrix and an optical theorem which we prove here, we show that this behavior is universal for Rashba scattering off of any circularly symmetric, spin independent, finite-range potential. This is relevant both for impurity scattering in the noninteracting limit as well as for short-range two-particle scattering in the interacting problem.


title: Complexity analysis of second-order line-search algorithms for smooth nonconvex optimization

abstract: There has been much recent interest in finding unconstrained local minima of smooth functions, due in part of the prevalence of such problems in machine learning and robust statistics. A particular focus is algorithms with good complexity guarantees. Second-order Newton-type methods that make use of regularization and trust regions have been analyzed from such a perspective. More recent proposals, based chiefly on first-order methodology, have also been shown to enjoy optimal iteration complexity rates, while providing additional guarantees on computational cost. In this paper, we present an algorithm with favorable complexity properties that differs in two significant ways from other recently proposed methods. First, it is based on line searches only: Each step involves computation of a search direction, followed by a backtracking line search along that direction. Second, its analysis is rather straightforward, relying for the most part on the standard technique for demonstrating sufficient decrease in the objective from backtracking. In the latter part of the paper, we consider inexact computation of the search directions, using iterative methods in linear algebra: the conjugate gradient and Lanczos methods. We derive modified convergence and complexity results for these more practical methods.


title: A characterization of $Q$-polynomial distance-regular graphs using the intersection numbers

abstract: We consider a primitive distance-regular graph $\Gamma$ with diameter at least $3$. We use the intersection numbers of $\Gamma$ to find a positive semidefinite matrix $G$ with integer entries. We show that $G$ has determinant zero if and only if $\Gamma$ is $Q$-polynomial.


title: A criterion for metanilpotency of a finite group

abstract: We prove that the $k$th term of the lower central series of a finite group $G$ is nilpotent if and only if $|ab|=|a||b|$ for any $\gamma_k$-commutators $a,b\in G$ of coprime orders.


title: Symmetry breaking and restoration in the Ginzburg-Landau model of nematic liquid crystals

abstract: In this paper we study qualitative properties of global minimizers of the Ginzburg-Landau energy which describes light-matter interaction in the theory of nematic liquid crystals near the Friedrichs transition. This model is depends on two parameters: $\epsilon>0$ which is small and represents the coherence scale of the system and $a\geq 0$ which represents the intensity of the applied laser light. In particular we are interested in the phenomenon of symmetry breaking as $a$ and $\epsilon$ vary. We show that when $a=0$ the global minimizer is radially symmetric and unique and that its symmetry is instantly broken as $a>0$ and then restored for sufficiently large values of $a$. Symmetry breaking is associated with the presence of a new type of topological defect which we named the shadow vortex. The symmetry breaking scenario is a rigorous confirmation of experimental and numerical results obtained in our earlier work.


title: Explanation of low efficiency droop in semipolar $(20\bar 2\bar 1)$ InGaN/GaN LEDs through evaluation of carrier recombination coefficients

abstract: We report the carrier dynamics and recombination coefficients in single-quantum-well semipolar $(20\bar 2\bar 1)$ InGaN/GaN light-emitting diodes emitting at 440 nm with 93% peak internal quantum efficiency. The differential carrier lifetime is analyzed for various injection current densities from 5 $A/cm^2$ to 10 $kA/cm^2$, and the corresponding carrier densities are obtained. The coupling of internal quantum efficiency and differential carrier lifetime vs injected carrier density ($n$) enables the separation of the radiative and nonradiative recombination lifetimes and the extraction of the Shockley-Read-Hall (SRH) nonradiative ($A$), radiative ($B$), and Auger ($C$) recombination coefficients and their $n$-dependency considering the saturation of the SRH recombination rate and phase-space filling. The results indicate a three to four-fold higher $A$ and a nearly two-fold higher $B_0$ for this semipolar orientation compared to that of $c$-plane reported using a similar approach [A. David and M. J. Grundmann, Appl. Phys. Lett. 96, 103504 (2010)]. In addition, the carrier density in semipolar $(20\bar 2\bar 1)$ is found to be lower than the carrier density in $c$-plane for a given current density, which is important for suppressing efficiency droop. The semipolar LED also shows a two-fold lower $C_0$ compared to $c$-plane, which is consistent with the lower relative efficiency droop for the semipolar LED (57% vs. 69%). The lower carrier density, higher $B_0$ coefficient, and lower $C_0$ (Auger) coefficient are directly responsible for the high efficiency and low efficiency droop reported in semipolar $(20\bar 2\bar 1)$ LEDs.


title: Verifying cross-Kerr induced number squeezing: a case study

abstract: We analyze an experimental method for creating interesting nonclassical states by processing the entanglement generated when two large coherent states interact in a cross-Kerr medium. We specifically investigate the effects of loss and noise in every mode of the experiment, as well as the effect of "binning" the post-selection outcomes. Even with these imperfections, we find an optimal set of currently-achievable parameters which would allow a proof-of-principle demonstration of number squeezing in states with large mean photon number. We discuss other useful states which can be generated with the same experimental tools, including a class of states which contain coherent superpositions of differing photon numbers, e.g. good approximations to the state $\frac{1}{\sqrt{2}} (|0\rangle+|20\rangle)$. Finally, we suggest one possible application of this state in the field of optomechanics.


title: Experimental study of optimal measurements for quantum state tomography

abstract: Quantum tomography is a critically important tool to evaluate quantum hardware, making it essential to develop optimized measurement strategies that are both accurate and efficient. We compare a variety of strategies using nearly pure test states. Those that are informationally complete for all states are found to be accurate and reliable even in the presence of errors in the measurements themselves, while those designed to be complete only for pure states are far more efficient but highly sensitive to such errors. Our results highlight the unavoidable tradeoffs inherent to quantum tomography.


title: Introduction to Big Bang Nucleosynthesis and Modern Cosmology

abstract: Primordial nucleosynthesis remains as one of the pillars of modern cosmology. It is the testing ground upon which many cosmological models must ultimately rest. It is our only probe of the universe during the important radiation-dominated epoch in the first few minutes of cosmic expansion. This chapter reviews the basic equations of space-time, cosmology, and big bang nucleosynthesis. We also summarize the current state of observational constraints on primordial abundances along with the key nuclear reactions and their uncertainties. We summarize which nuclear measurements are most crucial during the big bang. We also review various cosmological models and their constraints. In particular, we analyze the constraints that big bang nucleosynthesis places upon the possible time variation of fundamental constants, along with constraints on the nature and origin of dark matter and dark energy, long-lived supersymmetric particles, gravity waves, and the primordial magnetic field.


title: Optimal Portfolio under Fast Mean-reverting Fractional Stochastic Environment

abstract: Empirical studies indicate the existence of long range dependence in the volatility of the underlying asset. This feature can be captured by modeling its return and volatility using functions of a stationary fractional Ornstein--Uhlenbeck (fOU) process with Hurst index $H \in (\frac{1}{2}, 1)$. In this paper, we analyze the nonlinear optimal portfolio allocation problem under this model and in the regime where the fOU process is fast mean-reverting. We first consider the case of power utility, and rigorously give first order approximations of the value and the optimal strategy by a martingale distortion transformation. We also establish the asymptotic optimality in all admissible controls of a zeroth order trading strategy. Then, we extend the discussions to general utility functions using the epsilon-martingale decomposition technique, and we obtain similar asymptotic optimality results within a specific family of admissible strategies.


title: Polarization dynamics in twisted fiber amplifiers: a non-Hermitian nonlinear dimer model

abstract: We study continuous-wave light propagation through a twisted birefringent single-mode fiber amplifier with saturable nonlinearity. The corresponding coupled-mode system is isomorphic to a non-Hermitian nonlinear dimer, and gives rise to analytic polarization-mode dynamics. It provides an optical simulation of the semi-classical non-Hermitian Bose-Hubbard model, and suggests its use for the design of polarization circulators and filters, as well as sources of polarized light.


title: Solving Configuration Optimization Problem with Multiple Hard Constraints: An Enhanced Multi-Objective Simulated Annealing Approach

abstract: This research concerns a type of configuration optimization problems frequently encountered in engineering design and manufacturing, where the envelope volume in space occupied by a number of components needs to be minimized along with other objectives such as minimizing connective lines between the components under various constraints. Since in practical applications the objectives and constraints are usually complex, the formulation of computationally tractable optimization becomes difficult. Moreover, unlike conventional multi-objective optimization problems, such configuration problems usually comes with a number of demanding constraints that are hard to satisfy, which results in the critical challenge of balancing solution feasibility with optimality. In this research, we first present the mathematical formulation for a representative problem of configuration optimization with multiple hard constraints, and then develop two versions of an enhanced multi-objective simulated annealing approach, referred to as MOSA/R, to solve this problem. To facilitate the optimization computationally, in MOSA/R, a versatile re-seed scheme that allows biased search while avoiding pre-mature convergence is designed. Our case study indicates that the new algorithm yields significantly improved performance towards both constrained benchmark tests and constrained configuration optimization problem. The configuration optimization framework developed can benefit both existing design/manufacturing practices and future additive manufacturing.


title: Deep Learning for Isotropic Super-Resolution from Non-Isotropic 3D Electron Microscopy

abstract: The most sophisticated existing methods to generate 3D isotropic super-resolution (SR) from non-isotropic electron microscopy (EM) are based on learned dictionaries. Unfortunately, none of the existing methods generate practically satisfying results. For 2D natural images, recently developed super-resolution methods that use deep learning have been shown to significantly outperform the previous state of the art. We have adapted one of the most successful architectures (FSRCNN) for 3D super-resolution, and compared its performance to a 3D U-Net architecture that has not been used previously to generate super-resolution. We trained both architectures on artificially downscaled isotropic ground truth from focused ion beam milling scanning EM (FIB-SEM) and tested the performance for various hyperparameter settings. Our results indicate that both architectures can successfully generate 3D isotropic super-resolution from non-isotropic EM, with the U-Net performing consistently better. We propose several promising directions for practical application.


title: Review on Effects of Long-lived Negatively Charged Massive Particles on Big Bang Nucleosynthesis

abstract: We review important reactions in the big bang nucleosynthesis (BBN) model involving a long-lived negatively charged massive particle, $X^-$, which is much heavier than nucleons. This model can explain the observed $^7$Li abundances of metal-poor stars, and predicts a primordial $^9$Be abundance that is larger than the standard BBN prediction. In the BBN epoch, nuclei recombine with the $X^-$ particle. Because of the heavy $X^-$ mass, the atomic size of bound states $A_X$ is as small as the nuclear size. The nonresonant recombination rates are then dominated by the $d$-wave $\rightarrow$ 2P transition for $^7$Li and $^{7,9}$Be. The $^7$Be destruction occurs via a recombination with the $X^-$ followed by a proton capture, and the primordial $^7$Li abundance is reduced. Also, the $^9$Be production occurs via the recombination of $^7$Li and $X^-$ followed by deuteron capture. The initial abundance and the lifetime of the $X^-$ particles are constrained from a BBN reaction network calculation. We estimate that the derived parameter region for the $^7$Li reduction is allowed in supersymmetric or Kaluza-Klein (KK) models. We find that either the selectron, smuon, KK electron or KK muon could be candidates for the $X^-$ with $m_X\sim {\mathcal O}(1)$ TeV, while the stau and KK tau cannot.


title: A Focal Any-Angle Path-finding Algorithm Based on A* on Visibility Graphs

abstract: In this research, we investigate the subject of path-finding. A pruned version of visibility graph based on Candidate Vertices is formulated, followed by a new visibility check technique. Such combination enables us to quickly identify the useful vertices and thus find the optimal path more efficiently. The algorithm proposed is demonstrated on various path-finding cases. The performance of the new technique on visibility graphs is compared to the traditional A* on Grids, Theta* and A* on Visibility Graphs in terms of path length, number of nodes evaluated, as well as computational time. The key algorithmic contribution is that the new approach combines the merits of grid-based method and visibility graph-based method and thus yields better overall performance.


title: From atomistic model to the Peierls-Nabarro model with $\gamma$-surface for dislocations

abstract: The Peierls-Nabarro (PN) model for dislocations is a hybrid model that incorporates the atomistic information of the dislocation core structure into the continuum theory. In this paper, we study the convergence from a full atomistic model to the PN model with $\gamma$-surface for the dislocation in a bilayer system (e.g. bilayer graphene). We prove that the displacement field of and the total energy of the dislocation solution of the PN model are asymptotically close to those of the full atomistic model. Our work can be considered as a generalization of the analysis of the convergence from atomistic model to Cauchy-Born rule for crystals without defects in the literature.


title: Rethinking Skip-thought: A Neighborhood based Approach

abstract: We study the skip-thought model with neighborhood information as weak supervision. More specifically, we propose a skip-thought neighbor model to consider the adjacent sentences as a neighborhood. We train our skip-thought neighbor model on a large corpus with continuous sentences, and then evaluate the trained model on 7 tasks, which include semantic relatedness, paraphrase detection, and classification benchmarks. Both quantitative comparison and qualitative investigation are conducted. We empirically show that, our skip-thought neighbor model performs as well as the skip-thought model on evaluation tasks. In addition, we found that, incorporating an autoencoder path in our model didn't aid our model to perform better, while it hurts the performance of the skip-thought model.


title: AMPS: An Augmented Matrix Formulation for Principal Submatrix Updates with Application to Power Grids

abstract: We present AMPS, an augmented matrix approach to update the solution to a linear system of equations when the matrix is modified by a few elements within a principal submatrix. This problem arises in the dynamic security analysis of a power grid, where operators need to perform N - k contingency analysis, i.e., determine the state of the system when exactly k links from N fail. Our algorithms augment the matrix to account for the changes in it, and then compute the solution to the augmented system without refactoring the modified matrix. We provide two algorithms, a direct method, and a hybrid direct-iterative method for solving the augmented system. We also exploit the sparsity of the matrices and vectors to accelerate the overall computation. We analyze the time complexity of both algorithms, and show that it is bounded by the number of nonzeros in a subset of the columns of the Cholesky factor that are selected by the nonzeros in the sparse right-hand-side vector. Our algorithms are compared on three power grids with PARDISO, a parallel direct solver, and CHOLMOD, a direct solver with the ability to modify the Cholesky factors of the matrix. We show that our augmented algorithms outperform PARDISO (by two orders of magnitude), and CHOLMOD (by a factor of up to 5). Further, our algorithms scale better than CHOLMOD as the number of elements updated increases. The solutions are computed with high accuracy. Our algorithms are capable of computing N - k contingency analysis on a 778 thousand bus grid, updating a solution with k = 20 elements in 16 milliseconds on an Intel Xeon processor.


title: Trimming and Improving Skip-thought Vectors

abstract: The skip-thought model has been proven to be effective at learning sentence representations and capturing sentence semantics. In this paper, we propose a suite of techniques to trim and improve it. First, we validate a hypothesis that, given a current sentence, inferring the previous and inferring the next sentence provide similar supervision power, therefore only one decoder for predicting the next sentence is preserved in our trimmed skip-thought model. Second, we present a connection layer between encoder and decoder to help the model to generalize better on semantic relatedness tasks. Third, we found that a good word embedding initialization is also essential for learning better sentence representations. We train our model unsupervised on a large corpus with contiguous sentences, and then evaluate the trained model on 7 supervised tasks, which includes semantic relatedness, paraphrase detection, and text classification benchmarks. We empirically show that, our proposed model is a faster, lighter-weight and equally powerful alternative to the original skip-thought model.


title: An Expectation-Maximization Algorithm for the Fractal Inverse Problem

abstract: We present an Expectation-Maximization algorithm for the fractal inverse problem: the problem of fitting a fractal model to data. In our setting the fractals are Iterated Function Systems (IFS), with similitudes as the family of transformations. The data is a point cloud in ${\mathbb R}^H$ with arbitrary dimension $H$. Each IFS defines a probability distribution on ${\mathbb R}^H$, so that the fractal inverse problem can be cast as a problem of parameter estimation. We show that the algorithm reconstructs well-known fractals from data, with the model converging to high precision parameters. We also show the utility of the model as an approximation for datasources outside the IFS model class.


title: Length-scale cascade and spread rate of atomizing planar liquid jets

abstract: The primary breakup of a planar liquid jet is explored via direct numerical simulation (DNS) of the incompressible Navier-Stokes equation with level-set and volume-of-fluid interface capturing methods. PDFs of the local radius of curvature and the local cross-flow displacement of the liquid-gas interface are evaluated over wide ranges of the Reynolds number ($Re$), Weber number ($We$), density ratio and viscosity ratio. The temporal cascade of liquid-structure length scales and the spread rate of the liquid jet during primary atomization are analyzed. The formation rate of different surface structures, e.g. lobes, ligaments and droplets, are compared for different flow conditions and are explained in terms of the vortex dynamics in each atomization domain that we identified recently. With increasing $We$, the average radius of curvature of the surface decreases, the number of small droplets increases, and the cascade and the surface area growth occur at faster rates. The spray angle is mainly affected by $Re$ and density ratio, and is larger at higher $We$, at higher density ratios, and also at lower $Re$. The change in the spray spread rate versus $Re$ is attributed to the angle of ligaments stretching from the jet core, which increases as $Re$ decreases. Gas viscosity has negligible effect on both the droplet-size distribution and the spray angle. Increasing the wavelength-to-sheet-thickness ratio, however, increases the spray angle and the structure cascade rate, while decreasing the droplet size. The smallest length scale is determined more by surface tension and liquid inertia than by the liquid viscosity, while gas inertia and liquid surface tension are the key parameters in determining the spray angle.


title: Adaptive Interference Removal for Un-coordinated Radar/Communication Co-existence

abstract: Most existing approaches to co-existing communication/radar systems assume that the radar and communication systems are coordinated, i.e., they share information, such as relative position, transmitted waveforms and channel state. In this paper, we consider an un-coordinated scenario where a communication receiver is to operate in the presence of a number of radars, of which only a sub-set may be active, which poses the problem of estimating the active waveforms and the relevant parameters thereof, so as to cancel them prior to demodulation. Two algorithms are proposed for such a joint waveform estimation/data demodulation problem, both exploiting sparsity of a proper representation of the interference and of the vector containing the errors of the data block, so as to implement an iterative joint interference removal/data demodulation process. The former algorithm is based on classical on-grid compressed sensing (CS), while the latter forces an atomic norm (AN) constraint: in both cases the radar parameters and the communication demodulation errors can be estimated by solving a convex problem. We also propose a way to improve the efficiency of the AN-based algorithm. The performance of these algorithms are demonstrated through extensive simulations, taking into account a variety of conditions concerning both the interferers and the respective channel states.


title: Covariantly functorial wrapped Floer theory on Liouville sectors

abstract: We introduce a class of Liouville manifolds with boundary which we call Liouville sectors. We define the wrapped Fukaya category, symplectic cohomology, and the open-closed map for Liouville sectors, and we show that these invariants are covariantly functorial with respect to inclusions of Liouville sectors. From this foundational setup, a local-to-global principle for Abouzaid's generation criterion follows.


title: The web of federal crimes in Brazil: topology, weaknesses, and control

abstract: Law enforcement and intelligence agencies worldwide struggle to find effective ways to fight and control organized crime. However, illegal networks operate outside the law and much of the data collected is classified. Therefore, little is known about criminal networks structure, topological weaknesses, and control. In this contribution we present a unique criminal network of federal crimes in Brazil. We study its structure, its response to different attack strategies, and its controllability. Surprisingly, the network composed of multiple crimes of federal jurisdiction has a giant component, enclosing more than a half of all its edges. This component shows some typical social network characteristics, such as small-worldness and high clustering coefficient, however it is much "darker" than common social networks, having low levels of edge density and network efficiency. On the other side, it has a very high modularity value, $Q=0.96$. Comparing multiple attack strategies, we show that it is possible to disrupt the giant component of the network by removing only $2\%$ of its edges or nodes, according to a module-based prescription, precisely due to its high modularity. Finally, we show that the component is controllable, in the sense of the exact network control theory, by getting access to $20\%$ of the driver nodes.


title: Visual Search at eBay

abstract: In this paper, we propose a novel end-to-end approach for scalable visual search infrastructure. We discuss the challenges we faced for a massive volatile inventory like at eBay and present our solution to overcome those. We harness the availability of large image collection of eBay listings and state-of-the-art deep learning techniques to perform visual search at scale. Supervised approach for optimized search limited to top predicted categories and also for compact binary signature are key to scale up without compromising accuracy and precision. Both use a common deep neural network requiring only a single forward inference. The system architecture is presented with in-depth discussions of its basic components and optimizations for a trade-off between search relevance and latency. This solution is currently deployed in a distributed cloud infrastructure and fuels visual search in eBay ShopBot and Close5. We show benchmark on ImageNet dataset on which our approach is faster and more accurate than several unsupervised baselines. We share our learnings with the hope that visual search becomes a first class citizen for all large scale search engines rather than an afterthought.


title: Hydrodynamic Photoevaporation of Protoplanetary Disks with Consistent Thermochemistry

abstract: Photoevaporation is an important dispersal mechanism for protoplanetary disks. We conduct hydrodynamic simulations coupled with ray-tracing radiative transfer and consistent thermochemistry to study photoevaporative winds driven by ultraviolet and X-ray radiation from the host star. Most models have a three-layer structure: a cold midplane, warm intermediate layer, and hot wind, the last having typical speeds $\sim 30~\mathrm{km\ s}^{-1}$ and mass-loss rates $\sim 10^{-9}~M_\odot~\mathrm{yr}^{-1}$ when driven primarily by ionizing UV radiation. Observable molecules including CO, OH and H2O re-form in the intermediate layer and survive at relatively high wind temperatures due to reactions being out of equilibrium. Mass-loss rates are sensitive to the intensity of radiation in energy bands that interact directly with hydrogen. Comparison with previous works shows that mass loss rates are also sensitive to the treatment of both the hydrodynamics and the thermochemistry. Divergent results concerning the efficiency of X-ray photoevaporation are traced in part to differing assumptions about dust and other coolants.


title: Functional principal variance component testing for a genetic association study of HIV progression

abstract: HIV-1C is the most prevalent subtype of HIV-1 and accounts for over half of HIV-1 infections worldwide. Host genetic influence of HIV infection has been previously studied in HIV-1B, but little attention has been paid to the more prevalent subtype C. To understand the role of host genetics in HIV-1C disease progression, we perform a study to assess the association between longitudinally collected measures of disease and more than 100,000 genetic markers located on chromosome 6. The most common approach to analyzing longitudinal data in this context is linear mixed effects models, which may be overly simplistic in this case. On the other hand, existing non-parametric methods may suffer from low power due to high degrees of freedom (DF) and may be computationally infeasible at the large scale. We propose a functional principal variance component (FPVC) testing framework which captures the nonlinearity in the CD4 and viral load with potentially low DF and is fast enough to carry out thousands or millions of times. The FPVC testing unfolds in two stages. In the first stage, we summarize the markers of disease progression according to their major patterns of variation via functional principal components analysis (FPCA). In the second stage, we employ a simple working model and variance component testing to examine the association between the summaries of disease progression and a set of single nucleotide polymorphisms. We supplement this analysis with simulation results which indicate that FPVC testing can offer large power gains over the standard linear mixed effects model.


title: Growth Diagrams and Minuscule Polygon Configurations in the Affine Grassmannian

abstract: We define affine growth diagrams consisting of $GL_m$ dominant weights that label the vertices of a staircase-shaped grid. These are also called cylindrical growth diagrams as defined by Speyer and White in the case of partitions. The weights labelling each adjacent pair of vertices differ by a vertical strip and the weights around each unit square satisfy a local condition that appeared in van Leeuwen's work on the Littelmann path model for crystals. We prove two main results. For a sequence of minuscule weights $\vec\lambda=(\lambda^1,\ldots,\lambda^n)$ let Poly$(\vec\lambda)$ denote the configuration space of $n$-tuples of points $(g_1,\ldots,g_n)$ in the affine Grassmannian such that the weight-valued distances satisfy $d(g_i,g_{i+1})=\lambda^i$. This is the convolution variety arising in the geometric Satake correspondence. We show that for a generic point $(g_1,\ldots,g_n)$ of a component the distances $d(g_i,g_j)$ form an affine growth diagram and that this gives a bijection between components of Poly$(\vec\lambda)$ and affine growth diagrams of type $\vec\lambda$. The main tool used in the proof is the Knutson--Tao hive. In the second part, we give a purely combinatorial construction of affine growth diagrams from natural number entries by applying Greene's theorem to certain subrectangles of the staircase. From this construction it follows that affine growth diagrams contain the classical Fomin growth diagrams and realize the RS-correspondence when $\vec\lambda=(\omega_1,\ldots,\omega_1,\omega_1^*,\ldots,\omega_1^*)$.


title: Stability Theory of Stochastic Models in Opinion Dynamics

abstract: We consider a certain class of nonlinear maps that preserve the probability simplex, i.e., stochastic maps, that are inspired by the DeGroot-Friedkin model of belief/opinion propagation over influence networks. The corresponding dynamical models describe the evolution of the probability distribution of interacting species. Such models where the probability transition mechanism depends nonlinearly on the current state are often referred to as {\em nonlinear Markov chains}. In this paper we develop stability results and study the behavior of representative opinion models. The stability certificates are based on the contractivity of the nonlinear evolution in the $\ell_1$-metric. We apply the theory to two types of opinion models where the adaptation of the transition probabilities to the current state is exponential and linear, respectively--both of these can display a wide range of behaviors. We discuss continuous-time and other generalizations.


title: Gravitational Radiation Assisted Capture

abstract: It is shown that gravitational radiation can bind two initially unbound bodies; no third body is needed. Such captured bodies will almost always inspiral and merge due to further gravitational radiation on cosmologically negligible time scales (e.g., @ 5 years for GW150914). The capture cross-section $\sigma$ for such "capture and inspiraling" is far larger, for initial relative speed of the two objects $v_\infty\ll c$, than that $\sigma_{d}$ for "direct capture": $\sigma\propto\left(c / v_\infty\right)^{18/7}$, while $\sigma_{d}\propto\left(c / v_\infty\right)^2$. Implications of these results for black hole binary mergers, and giant black holes at galactic centers, are discussed.


title: Deep Adaptive Feature Embedding with Local Sample Distributions for Person Re-identification

abstract: Person re-identification (re-id) aims to match pedestrians observed by disjoint camera views. It attracts increasing attention in computer vision due to its importance to surveillance system. To combat the major challenge of cross-view visual variations, deep embedding approaches are proposed by learning a compact feature space from images such that the Euclidean distances correspond to their cross-view similarity metric. However, the global Euclidean distance cannot faithfully characterize the ideal similarity in a complex visual feature space because features of pedestrian images exhibit unknown distributions due to large variations in poses, illumination and occlusion. Moreover, intra-personal training samples within a local range are robust to guide deep embedding against uncontrolled variations, which however, cannot be captured by a global Euclidean distance. In this paper, we study the problem of person re-id by proposing a novel sampling to mine suitable \textit{positives} (i.e. intra-class) within a local range to improve the deep embedding in the context of large intra-class variations. Our method is capable of learning a deep similarity metric adaptive to local sample structure by minimizing each sample's local distances while propagating through the relationship between samples to attain the whole intra-class minimization. To this end, a novel objective function is proposed to jointly optimize similarity metric learning, local positive mining and robust deep embedding. This yields local discriminations by selecting local-ranged positive samples, and the learned features are robust to dramatic intra-class variations. Experiments on benchmarks show state-of-the-art results achieved by our method.


title: Toeplitz Inverse Covariance-Based Clustering of Multivariate Time Series Data

abstract: Subsequence clustering of multivariate time series is a useful tool for discovering repeated patterns in temporal data. Once these patterns have been discovered, seemingly complicated datasets can be interpreted as a temporal sequence of only a small number of states, or clusters. For example, raw sensor data from a fitness-tracking application can be expressed as a timeline of a select few actions (i.e., walking, sitting, running). However, discovering these patterns is challenging because it requires simultaneous segmentation and clustering of the time series. Furthermore, interpreting the resulting clusters is difficult, especially when the data is high-dimensional. Here we propose a new method of model-based clustering, which we call Toeplitz Inverse Covariance-based Clustering (TICC). Each cluster in the TICC method is defined by a correlation network, or Markov random field (MRF), characterizing the interdependencies between different observations in a typical subsequence of that cluster. Based on this graphical representation, TICC simultaneously segments and clusters the time series data. We solve the TICC problem through alternating minimization, using a variation of the expectation maximization (EM) algorithm. We derive closed-form solutions to efficiently solve the two resulting subproblems in a scalable way, through dynamic programming and the alternating direction method of multipliers (ADMM), respectively. We validate our approach by comparing TICC to several state-of-the-art baselines in a series of synthetic experiments, and we then demonstrate on an automobile sensor dataset how TICC can be used to learn interpretable clusters in real-world scenarios.


title: LazyPIM: Efficient Support for Cache Coherence in Processing-in-Memory Architectures

abstract: Processing-in-memory (PIM) architectures have seen an increase in popularity recently, as the high internal bandwidth available within 3D-stacked memory provides greater incentive to move some computation into the logic layer of the memory. To maintain program correctness, the portions of a program that are executed in memory must remain coherent with the portions of the program that continue to execute within the processor. Unfortunately, PIM architectures cannot use traditional approaches to cache coherence due to the high off-chip traffic consumed by coherence messages, which, as we illustrate in this work, can undo the benefits of PIM execution for many data-intensive applications. We propose LazyPIM, a new hardware cache coherence mechanism designed specifically for PIM. Prior approaches for coherence in PIM are ill-suited to applications that share a large amount of data between the processor and the PIM logic. LazyPIM uses a combination of speculative cache coherence and compressed coherence signatures to greatly reduce the overhead of keeping PIM coherent with the processor, even when a large amount of sharing exists.We find that LazyPIM improves average performance across a range of data-intensive PIM applications by 19.6%, reduces off-chip traffic by 30.9%, and reduces energy consumption by 18.0%, over the best prior approaches to PIM coherence.


title: A compactness theorem for four-dimensional shrinking gradient Ricci solitons

abstract: Haslhofer and M\"uller proved a compactness Theorem for four-dimensional shrinking gradient Ricci solitons, with the only assumption being that the entropy is uniformly bounded from below. However, the limit in their result could possibly be an orbifold Ricci shrinker. In this paper we prove a compactness theorem for noncompact four-dimensional shrinking gradient Ricci solitons with a topological restriction and a noncollapsing assumption, that is, we consider Ricci shrinkers that can be embedded in a closed four-manifold with vanishing second homology group over every field and are strongly $\kappa$-noncollapsed with respect to a universal $\kappa$. In particular, we do not need any curvature assumption and the limit is still a smooth nonflat shrinking gradient Ricci soliton.


title: Ambient constructions for Sasakian $\eta$-Einstein manifolds

abstract: The theory of ambient spaces is useful to define CR invariant objects, such as CR invariant powers of the sub-Laplacian, the $P$-prime operators, and $Q$-prime curvature. However in general, it is difficult to write down these objects in terms of the Tanaka-Webster connection. In this paper, we give those explicit formulas for CR manifolds satisfying an Einstein condition, called Sasakian $\eta$-Einstein manifolds. As an application, we study properties of the first and the second variation of the total $Q$-prime curvature at Sasakian $\eta$-Einstein manifolds.


title: Manipulating the direction of Einstein-Podolsky-Rosen steering

abstract: Einstein-Podolsky-Rosen (EPR) steering exhibits an inherent asymmetric feature that differs from both entanglement and Bell nonlocality, which leads to one-way EPR steering. Although this one-way EPR steering phenomenon has been experimentally observed, the schemes to manipulate the direction of EPR steering have not been investigated thoroughly. In this paper, we propose and experimentally demonstrate three schemes to manipulate the direction of EPR steering, either by varying the noise on one party of a two-mode squeezed state (TMSS) or transmitting the TMSS in a noisy channel. The dependence of the direction of EPR steering on the noise and transmission efficiency in the quantum channel is analyzed. The experimental results show that the direction of EPR steering of the TMSS can be changed in the presented schemes. Our work is helpful in understanding the fundamental asymmetry of quantum nonlocality and has potential applications in future asymmetric quantum information processing.


title: From partition identities to a combinatorial approach to explicit Satake inversion

abstract: In this paper, we provide combinatorial proofs for certain partition identities which arise naturally in the context of Langlands' beyond endoscopy proposal. These partition identities motivate an explicit plethysm expansion of $\mathrm{Sym}^j(\mathrm{Sym}^kV)$ for $\mathrm{GL}_2$ in the case $k=3$. We compute the plethysm explicitly for the cases $k=3, 4$. Moreover, we use these expansions to explicitly compute the basic function attached to the symmetric power $L$-function of $\mathrm{GL}_2$ for these two cases.


title: IJIT: An API for Boolean Program Analysis with Just-in-Time Translation (Extended Technical Report)

abstract: Exploration algorithms for explicit-state transition systems are a core back-end technology in program verification. They can be applied to programs by generating the transition system on the fly, avoiding an expensive up-front translation. An on-the-fly strategy requires significant modifications to the implementation, into a form that stores states directly as valuations of program variables. Performed manually on a per-algorithm basis, such modifications are laborious and error-prone. In this paper we present the IJIT Application Programming Interface (API), which allows users to automatically transform a given transition system exploration algorithm to one that operates on Boolean programs. The API converts system states temporarily to program states just in time for expansion via image computations, forward or backward. Using our API, we have effortlessly extended various non-trivial (e.g. infinite-state) model checking algorithms to operate on multi-threaded Boolean programs. We demonstrate the ease of use of the API, and present a case study on the impact of the just-in-time translation on these algorithms.


title: Microlocal analysis of a spindle transform

abstract: An analysis of the stability of the spindle transform, introduced in ("Three dimensional Compton scattering tomography" arXiv:1704.03378 [math.FA]), is presented. We do this via a microlocal approach and show that the normal operator for the spindle transform is a type of paired Lagrangian operator with "blowdown--blowdown" singularities analogous to that of a limited data synthetic aperture radar (SAR) problem studied by Felea et. al. ("Microlocal analysis of SAR imaging of a dynamic reflectivity function" SIAM 2013). We find that the normal operator for the spindle transform belongs to a class of distibutions $I^{p,l}(\Delta\cup\widetilde{\Delta},\Lambda)$ studied by Felea and Marhuenda ("Microlocal analysis of SAR imaging of a dynamic reflectivity function" SIAM 2013 and "Microlocal analysis of some isospectral deformations" Trans. Amer. Math.), where $\widetilde{\Delta}$ is reflection through the origin, and $\Lambda$ is associated to a rotation artefact. Later, we derive a filter to reduce the strength of the image artefact and show that it is of convolution type. We also provide simulated reconstructions to show the artefacts produced by $\Lambda$ and show how the filter we derived can be applied to reduce the strength of the artefact.


title: Critical Height of the Torus Instability in Two-Ribbon Solar Flares

abstract: We studied the background field for 60 two-ribbon flares of M-and-above classes during 2011--2015. These flares are categorized into two groups, i.e., \emph{eruptive} and \emph{confined} flares, based on whether a flare is associated with a coronal mass ejection or not. The background field of source active regions is approximated by a potential field extrapolated from the $B_z$ component of vector magnetograms provided by the Helioseismic and Magnetic Imager. We calculated the decay index $n$ of the background field above the flaring polarity inversion line, and defined a critical height $h_\mathrm{crit}$ corresponding to the theoretical threshold ($n_\mathrm{crit}=1.5$) of the torus instability. We found that $h_\mathrm{crit}$ is approximately half of the distance between the centroids of opposite polarities in active regions, and that the distribution of $h_\mathrm{crit}$ is bimodal: it is significantly higher for confined flares than for eruptive ones. The decay index increases monotonously with increasing height for 86\% (84\%) of the eruptive (confined) flares but displays a saddle-like profile for the rest 14\% (16\%), which are found exclusively in active regions of multipolar field configuration. Moreover, $n$ at the saddle bottom is significantly smaller in confined flares than that in eruptive ones. These results highlight the critical role of background field in regulating the eruptive behavior of two-ribbon flares.


title: Bio-Inspired Multi-Layer Spiking Neural Network Extracts Discriminative Features from Speech Signals

abstract: Spiking neural networks (SNNs) enable power-efficient implementations due to their sparse, spike-based coding scheme. This paper develops a bio-inspired SNN that uses unsupervised learning to extract discriminative features from speech signals, which can subsequently be used in a classifier. The architecture consists of a spiking convolutional/pooling layer followed by a fully connected spiking layer for feature discovery. The convolutional layer of leaky, integrate-and-fire (LIF) neurons represents primary acoustic features. The fully connected layer is equipped with a probabilistic spike-timing-dependent plasticity learning rule. This layer represents the discriminative features through probabilistic, LIF neurons. To assess the discriminative power of the learned features, they are used in a hidden Markov model (HMM) for spoken digit recognition. The experimental results show performance above 96% that compares favorably with popular statistical feature extraction methods. Our results provide a novel demonstration of unsupervised feature acquisition in an SNN.


title: Attribute Based Administration of Role Based Access Control : A Detailed Description

abstract: Administrative Role Based Access Control (ARBAC) models deal with how to manage user-role assignments (URA), permission-role assignments (PRA), and role-role assignments (RRA). A wide variety of approaches has been proposed in the literature for URA, PRA, and RRA. In this paper, we propose attribute-based administrative models that unify many prior approaches for URA and PRA. The motivating factor is that attributes of various RBAC entities such as admin users, regular users and permissions can be used to administer URA and PRA in a highly flexible manner. We develop an attribute-based URA model called AURA and an attribute-based PRA model called ARPA. We demonstrate that AURA and ARPA can express and unify many prior URA and PRA models.


title: Negative magnetoresistance due to conductivity fluctuations in films of the topological semimetal Cd3As2

abstract: Recently discovered Dirac and Weyl semimetals display unusual magnetoresistance phenomena, including a large, non-saturating, linear transverse magnetoresistance and a negative longitudinal magnetoresistance. The latter is often considered as evidence of fermions having a defined chirality. Classical mechanisms, due to disorder or non-uniform current injection, can however, also produce negative longitudinal magnetoresistance. Here, we report on magnetotransport measurements performed on epitaxial thin films of Cd3As2, a three-dimensional Dirac semimetal. Quasi-linear positive transverse magnetoresistance and negative longitudinal magnetoresistance are observed. By evaluating films of different thickness and by correlating the temperature dependence of the carrier density and mobility with the magnetoresistance characteristics, we demonstrate that both the quasi-linear positive and the negative magnetoresistance are caused by conductivity fluctuations. Chiral anomaly is not needed to explain the observed features.


title: Modeling CMB Lensing Cross Correlations with {\sc CLEFT}

abstract: A new generation of surveys will soon map large fractions of sky to ever greater depths and their science goals can be enhanced by exploiting cross correlations between them. In this paper we study cross correlations between the lensing of the CMB and biased tracers of large-scale structure at high $z$. We motivate the need for more sophisticated bias models for modeling increasingly biased tracers at these redshifts and propose the use of perturbation theories, specifically Convolution Lagrangian Effective Field Theory ({\sc CLEFT}). Since such signals reside at large scales and redshifts, they can be well described by perturbative approaches. We compare our model with the current approach of using scale independent bias coupled with fitting functions for non-linear matter power spectra, showing that the latter will not be sufficient for upcoming surveys. We illustrate our ideas by estimating $\sigma_8$ from the auto- and cross-spectra of mock surveys, finding that {\sc CLEFT} returns accurate and unbiased results at high $z$. We discuss uncertainties due to the redshift distribution of the tracers, and several avenues for future development.


title: Gaussian unitary ensemble with boundary spectrum singularity and $\sigma$-form of the Painlev\'{e} II equation

abstract: We consider the Gaussian unitary ensemble perturbed by a Fisher-Hartwig singularity simultaneously of both root type and jump type. In the critical regime where the singularity approaches the soft edge, namely, the edge of the support of the equilibrium measure for the Gaussian weight, the asymptotics of the Hankel determinant and the recurrence coefficients, for the orthogonal polynomials associated with the perturbed Gaussian weight, are obtained and expressed in terms of a family of smooth solutions to the Painlev\'{e} XXXIV equation and the $\sigma$-form of the Painlev\'{e} II equation. In addition, we further obtain the double scaling limit of the distribution of the largest eigenvalue in a thinning procedure of the conditioning Gaussian unitary ensemble, and the double scaling limit of the correlation kernel for the critical perturbed Gaussian unitary ensemble. The asymptotic properties of the Painlev\'{e} XXXIV functions and the $\sigma$-form of the Painlev\'{e} II equation are also studied.


title: Recovery Guarantees for One-hidden-layer Neural Networks

abstract: In this paper, we consider regression problems with one-hidden-layer neural networks (1NNs). We distill some properties of activation functions that lead to $\mathit{local~strong~convexity}$ in the neighborhood of the ground-truth parameters for the 1NN squared-loss objective. Most popular nonlinear activation functions satisfy the distilled properties, including rectified linear units (ReLUs), leaky ReLUs, squared ReLUs and sigmoids. For activation functions that are also smooth, we show $\mathit{local~linear~convergence}$ guarantees of gradient descent under a resampling rule. For homogeneous activations, we show tensor methods are able to initialize the parameters to fall into the local strong convexity region. As a result, tensor initialization followed by gradient descent is guaranteed to recover the ground truth with sample complexity $ d \cdot \log(1/\epsilon) \cdot \mathrm{poly}(k,\lambda )$ and computational complexity $n\cdot d \cdot \mathrm{poly}(k,\lambda) $ for smooth homogeneous activations with high probability, where $d$ is the dimension of the input, $k$ ($k\leq d$) is the number of hidden nodes, $\lambda$ is a conditioning property of the ground-truth parameter matrix between the input layer and the hidden layer, $\epsilon$ is the targeted precision and $n$ is the number of samples. To the best of our knowledge, this is the first work that provides recovery guarantees for 1NNs with both sample complexity and computational complexity $\mathit{linear}$ in the input dimension and $\mathit{logarithmic}$ in the precision.


title: Swapping of Gaussian Einstein-Podolsky-Rosen steering

abstract: Einstein-Podolsky-Rosen (EPR) steering is a quantum mechanical phenomenon that allows one party to steer the state of a distant party by exploiting their shared entanglement. It has potential applications in secure quantum communication. In this paper, we present two swapping schemes of Gaussian EPR steering, single-channel and dual-channel schemes, by the technique of entanglement swapping. Two space-separated independent EPR steering states without a direct interaction present EPR steering after deterministic swapping. By comparing the EPR steering of the single-channel and dual-channel schemes, we show that the transmission distance of the single-channel scheme is much longer than that of the symmetric dual-channel scheme. Different from entanglement swapping, one-way EPR steering is presented after swapping over lossy channels. The most interesting thing is that the change of the EPR steering direction is observed in the dual-channel scheme. We also show that excess noise in a quantum channel will shorten the transmission distance of the swapping, even leading to the sudden death of EPR steering. The presented schemes provide a technical reference for remote quantum communications with EPR steering.


title: Parameterized Algorithms for Power-Efficiently Connecting Wireless Sensor Networks: Theory and Experiments

abstract: We study an NP-hard problem motivated by energy-efficiently maintaining the connectivity of a symmetric wireless communication network: Given an edge-weighted $n$-vertex graph, find a connected spanning subgraph of minimum cost, where the cost is determined by letting each vertex pay the most expensive edge incident to it in the subgraph. On the negative side, we show that $o(\log n)$-approximating the difference $d$ between the optimal solution cost and a natural lower bound is NP-hard and that, under the Exponential Time Hypothesis, there are no exact algorithms running in $2^{o(n)}$ time or in $f(d)\cdot n^{O(1)}$ time for any computable function $f$. Moreover, we show that the special case of connecting $c$ network components with minimum additional cost generally cannot be polynomial-time reduced to instances of size $c^{O(1)}$ unless the polynomial-time hierarchy collapses. On the positive side, we provide an algorithm that reconnects $O(\log n)$ connected components with minimum additional cost in polynomial time. These algorithms are motivated by application scenarios of monitoring areas or where an existing sensor network may fall apart into several connected components due to sensor faults. In experiments, the algorithm outperforms CPLEX with known ILP formulations when $n$ is sufficiently large compared to $c$.


title: Serverless Computing: Current Trends and Open Problems

abstract: Serverless computing has emerged as a new compelling paradigm for the deployment of applications and services. It represents an evolution of cloud programming models, abstractions, and platforms, and is a testament to the maturity and wide adoption of cloud technologies. In this chapter, we survey existing serverless platforms from industry, academia, and open source projects, identify key characteristics and use cases, and describe technical challenges and open problems.


title: Dynamics of Content Quality in Collaborative Knowledge Production

abstract: We explore the dynamics of user performance in collaborative knowledge production by studying the quality of answers to questions posted on Stack Exchange. We propose four indicators of answer quality: answer length, the number of code lines and hyperlinks to external web content it contains, and whether it is accepted by the asker as the most helpful answer to the question. Analyzing millions of answers posted over the period from 2008 to 2014, we uncover regular short-term and long-term changes in quality. In the short-term, quality deteriorates over the course of a single session, with each successive answer becoming shorter, with fewer code lines and links, and less likely to be accepted. In contrast, performance improves over the long-term, with more experienced users producing higher quality answers. These trends are not a consequence of data heterogeneity, but rather have a behavioral origin. Our findings highlight the complex interplay between short-term deterioration in performance, potentially due to mental fatigue or attention depletion, and long-term performance improvement due to learning and skill acquisition, and its impact on the quality of user-generated content.