title: Fractional quantum Hall effect from frustration-free Hamiltonians

abstract: We show that there is an emergent lattice description for the continuous fractional quantum Hall (FQH) systems, with a generalised set of few-body coherent states. In particular, model Hamiltonians of the FQH effect are equivalent to the real space von Neumann lattice of local projection operators imposed on a continuous system in the thermodynamic limit. It can be analytically derived that tuning local one-body potentials in such lattices amounts to the tuning of individual two or few-body pseudopotentials. For some cases, we can realise pure few-body pseudopotentials important for stabilising exotic non-Abelian topological phases. This new approach can thus potentially lead to experimental realisation of coveted non-Abelian quantum fluids including the Moore-Read state and the Fibonacci state. The reformulation of the FQHE as a sum of local projections opens up new path for rigorously proving the incompressibility of microscopic Hamiltonians in the thermodynamic limit.


title: Characterization of the C-RED 2: A High Frame Rate Near-Infrared Camera

abstract: A new wave of precision radial velocity instruments will open the door to exploring the populations of companions of low mass stars. The Palomar Radial Velocity Instrument (PARVI) will be optimized to detect radial velocity signals of cool K and M stars with an instrument precision floor of 30 cm/s. PARVI will operate in the $\lambda = 1.2-1.8$ $\rm{\mu m}$ wavelength range with a spectral resolution of $\lambda/\Delta\lambda$ $\sim$100,000. It will operate on the Palomar 5.1 m Hale telescope and use Palomar's PALM-3000 adaptive optics system, single-mode fibers, and an H band laser frequency comb to probe and characterize the population of planets around cool, red stars. In this work we describe the performance of the PARVI guide camera: a C-RED 2 from First Light Advanced Imagery. The C-RED 2 will be used in a tip-tilt loop which requires fast readout at low noise levels to eliminate any residual guide errors and ensure the target starlight stays centered on the fiber. At -40$^{\circ}$ C and a frame rate of 400 FPS in non-destructive read mode, the C-RED 2 has a combined dark and background current of 493 $e^-$/s. Using up-the-ramp sampling we are able to reduce the read noise to 21.2 e$^-$. With the C-RED 2, PARVI will be able to guide using targets as faint as 14.6 H magnitude.


title: On $\omega$-Strongly Measurable Cardinals

abstract: We prove several consistency results concerning the notion of $\omega$-strongly measurable cardinal in HOD. In particular, we show that is it consistent, relative to a large cardinal hypothesis weaker than $o(\kappa) = \kappa$, that every successor of a regular cardinal is $\omega$-strongly measurable in HOD.


title: Option prices in stochastic volatility models

abstract: In the first part of this thesis, we focus on American options in the Heston model. We first give an analytical characterization of the value function of an American option as the unique solution of the associated (degenerate) parabolic obstacle problem. Our approach is based on variational inequalities in suitable weighted Sobolev spaces. We also investigate the properties of the American value function. We prove that, under suitable assumptions on the payoff, the value function is nondecreasing with respect to the volatility variable. Then, we focus on an American put option and we extend some results which are well known in the Black and Scholes world. In particular, we prove the strict convexity of the value function in the continuation region, some properties of the free boundary function, the Early Exercise Price formula and a weak form of the smooth fit principle. In the second part, we deal with the numerical computation of European and American option prices in jump-diffusion stochastic volatility models. We first focus on the Bates-Hull-White model. We consider a backward hybrid algorithm which uses a Markov chain approximation (a "multiple jumps" tree) in the direction of the volatility and the interest rate and a (deterministic) finite-difference approach in order to handle the underlying asset price process. We also provide a simulation scheme to be used for Monte Carlo evaluations. Numerical results show the reliability and efficiency of the methods. Finally, we analyse the rate of convergence of the hybrid algorithm applied to general jump-diffusion models. We study first-order weak convergence of Markov chains to diffusions under quite general assumptions. Then, we prove the convergence of the algorithm, by studying the stability and the consistency of the hybrid scheme, in a sense that allows us to exploit the probabilistic features of the Markov chain approximation.


title: Asymptotic invariants of generic initial ideals

abstract: Generic initial ideals (gins in short) were systematically introduced by Galligo in 1974 under the name of Grauert invariants since they appeared apparently first in works of Grauert and Hironaka. Ever since they are of interest in commutative algebra and indirectly in algebraic geometry. Recently Mayes in a series of articles associated to gins geometric objects called limiting shapes. The construction resembles that of Okunkov bodies but there are some differences as well. This work is motivated by Mayes articles and explores the connections between gins, limiting shapes and some asymptotic invariants of homogeneous ideals, e.g. asymptotic regularity, Waldschmidt constant and some new invariants, which seem relevant from geometric point of view. In this note we generalize Mayes ideas to graded families of ideals. We work out, sometimes surprising, properties of defined objects and invariants. For example we establish the existence of limiting shapes in dimension 2 which are polygons with an arbitrary high number of edges and vertices with irrational coordinates.


title: Long-span language modeling for speech recognition

abstract: We explore neural language modeling for speech recognition where the context spans multiple sentences. Rather than encode history beyond the current sentence using a cache of words or document-level features, we focus our study on the ability of LSTM and Transformer language models to implicitly learn to carry over context across sentence boundaries. We introduce a new architecture that incorporates an attention mechanism into LSTM to combine the benefits of recurrent and attention architectures. We conduct language modeling and speech recognition experiments on the publicly available LibriSpeech corpus. We show that conventional training on a paragraph-level corpus results in significant reductions in perplexity compared to training on a sentence-level corpus. We also describe speech recognition experiments using long-span language models in second-pass re-ranking, and provide insights into the ability of such models to take advantage of context beyond the current sentence.


title: Outlier Prediction and Training Set Modification to Reduce Catastrophic Outlier Redshift Estimates in Large-Scale Surveys

abstract: We present results of using individual galaxies' probability distribution over redshift as a method of identifying potential catastrophic outliers in empirical photometric redshift estimation. In the course of developing this approach we develop a method of modification of the redshift distribution of training sets to improve both the baseline accuracy of high redshift (z>1.5) estimation as well as catastrophic outlier mitigation. We demonstrate these using two real test data sets and one simulated test data set spanning a wide redshift range (0<z<4). Results presented here inform an example `prescription' that can be applied as a realistic photometric redshift estimation scenario for a hypothetical large-scale survey. We find that with appropriate optimization, we can identify a significant percentage (>30%) of catastrophic outlier galaxies while simultaneously incorrectly flagging only a small percentage (<7% and in many cases <3%) of non-outlier galaxies as catastrophic outliers. We find also that our training set redshift distribution modification results in a significant (>10) percentage point decrease of outlier galaxies for z>1.5 with only a small (<3) percentage point increase of outlier galaxies for z<1.5 compared to the unmodified training set. In addition, we find that this modification can in some cases cause a significant (~20) percentage point decrease of galaxies which are non-outliers but which have been incorrectly identified as outliers, while in other cases cause only a small (<1) percentage increase in this metric.


title: Double-Slit Interferometer Measurements at SPEAR3

abstract: The resolution of a conventional telescope used to image visible-light synchrotron radiation is often limited by diffraction effects. To improve resolution, the double-slit interferometer method was developed at KEK and has since become popular around the world. Based on the Van Cittert-Zernike theorem relating transverse source profile to transverse spatial coherence, the particle beam size can be inferred by recording fringe contrast as a function of interferometer slit separation. In this paper, we describe the SPEAR3 double-slit interferometer, develop a theoretical framework for the interferometer and provide experimental results. Of note the double-slit system is 'rotated' about the beam axis to map the dependence of photon beam coherence on angle.


title: Reinforcement-Learning-Based Variational Quantum Circuits Optimization for Combinatorial Problems

abstract: Quantum computing exploits basic quantum phenomena such as state superposition and entanglement to perform computations. The Quantum Approximate Optimization Algorithm (QAOA) is arguably one of the leading quantum algorithms that can outperform classical state-of-the-art methods in the near term. QAOA is a hybrid quantum-classical algorithm that combines a parameterized quantum state evolution with a classical optimization routine to approximately solve combinatorial problems. The quality of the solution obtained by QAOA within a fixed budget of calls to the quantum computer depends on the performance of the classical optimization routine used to optimize the variational parameters. In this work, we propose an approach based on reinforcement learning (RL) to train a policy network that can be used to quickly find high-quality variational parameters for unseen combinatorial problem instances. The RL agent is trained on small problem instances which can be simulated on a classical computer, yet the learned RL policy is generalizable and can be used to efficiently solve larger instances. Extensive simulations using the IBM Qiskit Aer quantum circuit simulator demonstrate that our trained RL policy can reduce the optimality gap by a factor up to 8.61 compared with other off-the-shelf optimizers tested.


title: Factorization length distribution for affine semigroups II: asymptotic behavior for numerical semigroups with arbitrarily many generators

abstract: For numerical semigroups with a specified list of (not necessarily minimal) generators, we obtain explicit asymptotic expressions, and in some cases quasipolynomial/quasirational representations, for all major factorization length statistics. This involves a variety of tools that are not standard in the subject, such as algebraic combinatorics (Schur polynomials), probability theory (weak convergence of measures, characteristic functions), and harmonic analysis (Fourier transforms of distributions). We provide instructive examples which demonstrate the power and generality of our techniques. We also highlight unexpected consequences in the theory of homogeneous symmetric functions.


title: A Fast Macromodeling Approach to Efficiently Simulate Inhomogeneous Electromagnetic Surfaces

abstract: The full-wave simulation of complex electromagnetic surfaces such as reflectarrays and metasurfaces is a challenging problem. In this paper, we present a macromodeling approach to efficiently simulate complex electromagnetic surfaces composed of PEC traces, possibly with fine features, on a finite-sized multilayer dielectric substrate. In our approach, we enclose each element of the structure with a fictitious surface. By applying the equivalence principle on each surface, we derive a macromodel for each element of the array. This macromodel consists of a linear operator that relates the equivalent electric and magnetic current densities introduced on the fictitious surface. Mutual coupling between the elements of the structure is captured by the equivalent current densities in a fully accurate way. The crux of the proposed technique is to solve for equivalent current densities on the fictitious surface instead of directly solving for the actual current densities on the original scatterer. When simulating complex surfaces, this approach leads to fewer unknowns and better conditioning. We also propose a rigorous acceleration algorithm based on the fast Fourier transform to simulate electrically large surfaces. Numerical results demonstrate that the proposed approach is significantly faster and requires less memory than commercial solvers based on the surface integral equation method, while giving accurate results.


title: Online Replanning in Belief Space for Partially Observable Task and Motion Problems

abstract: To solve multi-step manipulation tasks in the real world, an autonomous robot must take actions to observe its environment and react to unexpected observations. This may require opening a drawer to observe its contents or moving an object out of the way to examine the space behind it. Upon receiving a new observation, the robot must update its belief about the world and compute a new plan of action. In this work, we present an online planning and execution system for robots faced with these challenges. We perform deterministic cost-sensitive planning in the space of hybrid belief states to select likely-to-succeed observation actions and continuous control actions. After execution and observation, we replan using our new state estimate. We initially enforce that planner reuses the structure of the unexecuted tail of the last plan. This both improves planning efficiency and ensures that the overall policy does not undo its progress towards achieving the goal. Our approach is able to efficiently solve partially observable problems both in simulation and in a real-world kitchen.


title: Chaotic attractors from border-collision bifurcations: stable border fixed points and determinant-based Lyapunov exponent bounds

abstract: The collision of a fixed point with a switching manifold (or border) in a piecewise-smooth map can create many different types of invariant sets. This paper explores two techniques that, combined, establish a chaotic attractor is created in a border-collision bifurcation in $\mathbb{R}^d$ $(d \ge 1)$. First, asymptotic stability of the fixed point at the bifurcation is characterised and shown to imply a local attractor is created. Second, a lower bound on the maximal Lyapunov exponent is obtained from the determinants of the one-sided Jacobian matrices associated with the fixed point. Special care is taken to accommodate points whose forward orbits intersect the switching manifold as such intersections can have a stabilising effect. The results are applied to the two-dimensional border-collision normal form focusing on parameter values for which the map is piecewise area-expanding.


title: The Normalization and Slope of the Dark Matter (Sub-)Halo Mass Function on Sub-Galactic Scales

abstract: Simulations of cold dark matter make robust predictions about the slope and normalization of the dark matter halo and subhalo mass functions on small scales. Recent observational advances utilizing strong gravitational lensing have demonstrated the ability of this technique to place constraints on these quantities on subgalactic scales corresponding to dark matter halo masses of $10^6$--$10^9\mathrm{M}_\odot$. On these scales the physics of baryons, which make up around 17% of the matter content of the Universe but which are not included in pure dark matter N-body simulations, are expected to affect the growth of structure and the collapse of dark matter halos. In this work we develop a semi-analytic model to predict the amplitude and slope of the dark matter halo and subhalo mass functions on subgalactic scales in the presence of baryons. We find that the halo mass function is suppressed by up to 25%, and the slope is modified, ranging from $-1.916$ to $-1.868$ in this mass range. These results are consistent with current measurements, but differ sufficiently from the expectations for a dark matter only universe that it may be testable in the near future.


title: Supervised Initialization of LSTM Networks for Fundamental Frequency Detection in Noisy Speech Signals

abstract: Fundamental frequency is one of the most important parameters of human speech, of importance for the classification of accent, gender, speaking styles, speaker identification, age, among others. The proper detection of this parameter remains as an important challenge for severely degraded signals. In previous references for detecting fundamental frequency in noisy speech using deep learning, the networks, such as Long Short-term Memory (LSTM) has been initialized with random weights, and then trained following a back-propagation through time algorithm. In this work, a proposal for a more efficient initialization, based on a supervised training using an Auto-associative network, is presented. This initialization is a better starting point for the detection of fundamental frequency in noisy speech. The advantages of this initialization are noticeable using objective measures for the accuracy of the detection and for the training of the networks, under the presence of additive white noise at different signal-to-noise levels.


title: Convergent numerical method for a linearized travel time tomography problem with incomplete data

abstract: We propose a new numerical method to solve the linearized problem of travel time tomography with incomplete data. Our method is based on the technique of the truncation of the Fourier series with respect to a special basis of L2. This way we derive a boundary value problem for a system of coupled partial diffeerential equations (PDEs) of the first order. This system is solved by the quasi-reversibility method. Hence, the spatially dependent Fourier coefficients of the solution to the linearized Eikonal equation are obtained. The convergence of this method is established. Numerical results for highly noisy data are presented.


title: Update on the improved lattice calculation of direct CP-violation in K decays

abstract: We discuss the status of the RBC & UKQCD collaboration's lattice determination of $\epsilon'$, the measure of direct CP-violation in kaon decays, focusing in particular on recent developments in statistical techniques for estimating standard errors and goodness-of-fit metrics for large amounts of data that have correlations both in the temporal coordinate and also in molecular dynamics time. A key result is the formulation of a technique for determining the null distribution of a fit using a bootstrap method that is free from the usual assumptions of independence, large-$n$ and/or normal data, that can for instance be applied to compute p-values even for uncorrelated fits.


title: ContamiNet: Detecting Contamination in Municipal Solid Waste

abstract: Leveraging over 30,000 images each with up to 89 labels collected by Recology---an integrated resource recovery company with both residential and commercial trash, recycling and composting services---the authors develop ContamiNet, a convolutional neural network, to identify contaminating material in residential recycling and compost bins. When training the model on a subset of labels that meet a minimum frequency threshold, ContamiNet preforms almost as well human experts in detecting contamination (0.86 versus 0.88 AUC). Recology is actively piloting ContamiNet in their daily municipal solid waste (MSW) collection to identify contaminants in recycling and compost bins to subsequently inform and educate customers about best sorting practices.


title: Regularization of Limited Memory Quasi-Newton Methods for Large-Scale Nonconvex Minimization

abstract: This paper deals with regularized Newton methods, a flexible class of unconstrained optimization algorithms that is competitive with line search and trust region methods and potentially combines attractive elements of both. The particular focus is on combining regularization with limited memory quasi-Newton methods by exploiting the special structure of limited memory algorithms. Global convergence of regularization methods is shown under mild assumptions and the details of regularized limited memory quasi-Newton updates are discussed including their compact representations. Numerical results using all large-scale test problems from the CUTEst collection indicate that our regularized version of L-BFGS is competitive with state-of-the-art line search and trust-region L-BFGS algorithms and previous attempts at combining L-BFGS with regularization, while potentially outperforming some of them, especially when nonmonotonicity is involved.


title: Modulation of oculomotor control during reading of mirrored and inverted texts

abstract: The interplay between cognitive and oculomotor processes during reading can be explored when the spatial layout of text deviates from the typical display. In this study, we investigate various eye-movement measures during reading of text with experimentally manipulated layout (word-wise and letter-wise mirrored-reversed text as well as inverted and scrambled text). While typical findings (e.g., longer mean fixation times, shorter mean saccades lengths) in reading manipulated texts compared to normal texts were reported in earlier work, little is known about changes of oculomotor targeting observed in within-word landing positions under the above text layouts. Here we carry out precise analyses of landing positions and find substantial changes in the so-called launch-site effect in addition to the expected overall slow-down of reading performance. Specifically, during reading of our manipulated text conditions with reversed letter order (against overall reading direction), we find a reduced launch-site effect, while in all other manipulated text conditions, we observe an increased launch-site effect. Our results clearly indicate that the oculomotor system is highly adaptive when confronted with unusual reading conditions.


title: Chemical Reactions-based Detection Mechanism for Molecular Communications

abstract: In molecular communications, the direct detection of signaling molecules may be challenging due to a lack of suitable sensors and interference in the environment. Motivated by research in molecular biology, we investigate an indirect detection mechanism using chemical reactions between the signaling molecules and a molecular probe to produce an easy-to-measure product at the receiver. We consider two implementations of the proposed detection mechanism, i.e., unrestricted probe movement and probes restricted to a volume around the receiver. The reaction-diffusion equations describing the concentrations of the reactant and product molecules in the system are non-linear and coupled, and cannot be solved in closed form. Therefore, we develop an efficient iterative algorithm by discretizing the time variable and solving for the space variables of the equations in each time step. Our results show that the concentrations of the product molecules and the signalling molecules share a similar characteristic over time, i.e., a single peak and a long tail. The peak and tail values of the product molecule concentration can be controlled by choosing probes with suitable parameters. By carefully choosing the molecular probe and optimizing the decision threshold, the BER can be improved significantly and outperform that of a direct detection system.


title: Achieving Differential Privacy in Vertically Partitioned Multiparty Learning

abstract: Preserving differential privacy has been well studied under centralized setting. However, it's very challenging to preserve differential privacy under multiparty setting, especially for the vertically partitioned case. In this work, we propose a new framework for differential privacy preserving multiparty learning in the vertically partitioned setting. Our core idea is based on the functional mechanism that achieves differential privacy of the released model by adding noise to the objective function. We show the server can simply dissect the objective function into single-party and cross-party sub-functions, and allocate computation and perturbation of their polynomial coefficients to local parties. Our method needs only one round of noise addition and secure aggregation. The released model in our framework achieves the same utility as applying the functional mechanism in the centralized setting. Evaluation on real-world and synthetic datasets for linear and logistic regressions shows the effectiveness of our proposed method.


title: Recurrence Extraction for Functional Programs through Call-by-Push-Value (Extended Version)

abstract: The main way of analyzing the complexity of a program is that of extracting and solving a recurrence that expresses its running time in terms of the size of its input. We develop a method that automatically extracts such recurrences from the syntax of higher-order recursive functional programs. The resulting recurrences, which are programs in a call-by-name language with recursion, explicitly compute the running time in terms of the size of the input. In order to achieve this in a uniform way that covers both call-by-name and call-by-value evaluation strategies, we use Call-by-Push-Value (CBPV) as an intermediate language. Finally, we use domain theory to develop a denotational cost semantics for the resulting recurrences.


title: Detailed Model of the Growth of Fluffy Dust Aggregates in a Protoplanetary Disk: Effects of Nebular Conditions

abstract: Coagulation of dust aggregates plays an important role in the formation of planets and is of key importance to the evolution of protoplanetary disks (PPDs). Characteristics of dust, such as the diversity of particle size, porosity, charge, and the manner in which dust couples to turbulent gas, affect the collision outcome and the rate of dust growth. Here we present a numerical model of the evolution of the dust population within a PPD which incorporates all of these effects. The probability that any two particles collide depends on the particle charge, cross-sectional area and their relative velocity. The actual collision outcome is determined by a detailed collision model which takes into account the aggregate morphology, trajectory, orientation, and electrostatic forces acting between charged grains. The data obtained in this research reveal the characteristics of dust populations in different environments at the end of the hit-and-stick growth, which establishes the foundation for the onset of the next growth stage where bouncing, mass transfer and fragmentation become important. For a given level of turbulence, neutral and weakly charged particles collide more frequently and grow faster than highly charged particles. However, highly charged particles grow to a larger size before reaching the bouncing barrier, and exhibit a "Runaway" growth, in which a few large particles grow quickly by accreting smaller particles while the rest of the population grows very slowly. In general, highly charged aggregates have a more compact structure and are comprised of larger monomers than neutral/weakly charged aggregates. The differences in the particle structure/composition not only affect the threshold velocities for bouncing and fragmentation, but also change the scattering and absorption opacity of dust, influencing the appearance of PPDs.


title: Group graded endomorphism algebras and Morita equivalences

abstract: We prove a group graded Morita equivalences version of the "butterfly theorem" on character triples. This gives a method to construct an equivalence between block extensions from another related equivalence.


title: New Limits on the Low-frequency Radio Transient Sky Using 31 hr of All-sky Data with the OVRO-LWA

abstract: We present the results of the first transient survey from the Owens Valley Radio Observatory Long Wavelength Array (OVRO-LWA) using 31 hr of data, in which we place the most constraining limits on the instantaneous transient surface density at timescales of 13 s to a few minutes and at frequencies below 100 MHz. The OVRO-LWA is a dipole array that images the entire viewable hemisphere with 58 MHz of bandwidth from 27 to 84 MHz at 13 s cadence. No transients are detected above a 6.5$\sigma$ flux density limit of 10.5 Jy, implying an upper limit to the transient surface density of $2.5\times10^{-8}$ deg$^{-2}$ at the shortest timescales probed, which is orders of magnitude deeper than has been achieved at sub-100 MHz frequencies and comparable flux densities to date. The nondetection of transients in the OVRO-LWA survey, particularly at minutes-long timescales, allows us to place further constraints on the rate of the potential population of transients uncovered by Stewart et al. (2016). From their transient rate, we expect a detection of $8.4^{+31.8}_{-8.0}$ events, and the probability of our null detection is $1.9^{+644}_{-1.9}\times10^{-3}$, ruling out a transient rate $>1.4\times10^{-4} \text{days}^{-1} \text{deg}^{-2}$ with 95% confidence at a flux density limit of 18.1 Jy, under the assumption of a flat spectrum and wide bandwidth. We discuss the implications of our nondetection for this population and further constraints that can be made on the source spectral index, intrinsic emission bandwidth, and resulting luminosity distribution.


title: A simplified and improved approach to tensor network operators in two dimensions

abstract: Matrix product states (MPS) and matrix product operators (MPOs) are one dimensional tensor networks that underlie the modern density matrix renormalization group (DMRG) algorithm. The use of MPOs accounts for the high level of generality and wide range of applicability of DMRG. However, current algorithms for two dimensional (2D) tensor network states, known as projected entangled-pair states (PEPS), rarely employ the associated 2D tensor network operators, projected entangled-pair operators (PEPOs), due to their computational cost and conceptual complexity. To lower these two barriers, we describe how to reformulate a PEPO into a set of tensor network operators that resemble MPOs by considering the different sets of local operators that are generated from sequential bipartitions of the 2D system. The expectation value of a PEPO can then be evaluated on-the-fly using only the action of MPOs and generalized MPOs at each step of the approximate contraction of the 2D tensor network. This technique allows for the simpler construction and more efficient energy evaluation of 2D Hamiltonians that contain finite-range interactions, and provides an improved strategy to encode long-range interactions that is orders of magnitude more accurate and efficient than existing schemes.


title: A Twist on Broken U(3)xU(3) Supersymmetry

abstract: What symmetry breaking would be required for gauginos from a supersymmetric theory to behave like left-handed quarks of the Standard Model? Starting with a supersymmetric SU(3)xSU(3)xU(1)xU(1) gauge theory, the 18 adjoint-representation gauginos are replaced with 2 families of 9 gauginos in the (3,3*) representation of the group. After this explicit breaking of supersymmetry, two-loop quadratic divergences still cancel at a unification scale. Coupling constant unification is supported by deriving the theory from an SU(3)xSU(3)xSU(3)xSU(3) Grand Unified Theory (GUT). Sin^2 of the Weinberg angle for the GUT is 1/4 rather than 3/8, leading to a lower unification scale than usually contemplated, ~10^9 GeV. After spontaneous gauge symmetry breaking to SU(3)xSU(2)xU(1), the theory reproduces the main features of the Standard Model for two families of quarks and leptons, with gauginos playing the role of left-handed quarks and sleptons playing the role of the Higgs boson. An extension to the theory is sketched that incorporates the third family of quarks and leptons.


title: Rate-Regularization and Generalization in VAEs

abstract: Variational autoencoders optimize an objective that combines a reconstruction loss (the distortion) and a KL term (the rate). The rate is an upper bound on the mutual information, which is often interpreted as a regularizer that controls the degree of compression. We here examine whether inclusion of the rate also acts as an inductive bias that improves generalization. We perform rate-distortion analyses that control the strength of the rate term, the network capacity, and the difficulty of the generalization problem. Decreasing the strength of the rate paradoxically improves generalization in most settings, and reducing the mutual information typically leads to underfitting. Moreover, we show that generalization continues to improve even after the mutual information saturates, indicating that the gap on the bound (i.e. the KL divergence relative to the inference marginal) affects generalization. This suggests that the standard Gaussian prior is not an inductive bias that typically aids generalization, prompting work to understand what choices of priors improve generalization in VAEs.


title: Formation probabilities and statistics of observables as defect problems in the free fermions and the quantum spin chains

abstract: We show that the computation of formation probabilities (FP) in the configuration basis and the full counting statistics (FCS) of observables in the quadratic fermionic Hamiltonians are equivalent to the calculation of emptiness formation probability (EFP) in the Hamiltonian with a defect. In particular, we first show that the FP of finding a particular configuration in the ground state is equivalent to the EFP of the ground state of the quadratic Hamiltonian with a defect. Then, we show that the probability of finding a particular value for any quadratic observable is equivalent to a FP problem and ultimately leads to the calculation of EFP in the ground state of a Hamiltonian with a defect. We provide new exact determinant formulas for the FP in the generic quadratic fermionic Hamiltonians. As applications of our formalism we study the statistics of the number of particles and kinks. Our conclusions can be extended also to the quantum spin chains that can be mapped to the free fermions via Jordan-Wigner (J-W) transformation. In particular, we provide an exact solution to the problem of the transverse field XY chain with a staggered line defect. We also study the distribution of magnetization and kinks in the transverse field XY chain and show how the dual nature of these quantities manifest itself in the distributions.


title: Sharp lower bound for the first eigenvalue of the Weighted $p$-Laplacian II

abstract: Combined with our previous work \cite{LW19eigenvalue}, we prove sharp lower bound estimates for the first nonzero eigenvalue of the weighted $p$-Laplacian with $1< p< \infty$ on a compact Bakry-\'Emery manifold $(M^n,g,f)$, without boundary or with a convex boundary and Neumann boundary condition, satisfying $\text{Ric}+\nabla^2 f \geq \kappa \, g$ for some $\kappa \in \mathbb{R}$.


title: Adaptive Probabilistic Vehicle Trajectory Prediction Through Physically Feasible Bayesian Recurrent Neural Network

abstract: Probabilistic vehicle trajectory prediction is essential for robust safety of autonomous driving. Current methods for long-term trajectory prediction cannot guarantee the physical feasibility of predicted distribution. Moreover, their models cannot adapt to the driving policy of the predicted target human driver. In this work, we propose to overcome these two shortcomings by a Bayesian recurrent neural network model consisting of Bayesian-neural-network-based policy model and known physical model of the scenario. Bayesian neural network can ensemble complicated output distribution, enabling rich family of trajectory distribution. The embedded physical model ensures feasibility of the distribution. Moreover, the adopted gradient-based training method allows direct optimization for better performance in long prediction horizon. Furthermore, a particle-filter-based parameter adaptation algorithm is designed to adapt the policy Bayesian neural network to the predicted target online. Effectiveness of the proposed methods is verified with a toy example with multi-modal stochastic feedback gain and naturalistic car following data.


title: The Compositional Diversity of Low-Mass Exoplanets

abstract: Low-mass planets have an extraordinarily diverse range of bulk compositions, from primarily rocky worlds to those with deep gaseous atmospheres. As techniques for measuring the masses of exoplanets are advancing the field towards the terrestrial regime, from ultra-short orbital periods to Venus-like distances, we identify the bounds on planet compositions, where sizes and incident fluxes inform bulk planet properties. In some cases, measurement precisions of planet masses and sizes are approaching the theoretical uncertainties in planet models. An emerging picture explains aspects of the diversity of low-mass planets although some problems remain; do extreme low density low-mass planets challenge models of atmospheric mass loss? Are planet sizes strictly separated by bulk composition? Why do some stellar characterizations differ between observational techniques? As the TESS mission begins, low-mass exoplanets around the nearest stars will soon be discovered and characterized with unprecedented precision, permitting more detailed planetary modeling and atmospheric characterization of low mass exoplanets than ever before.


title: Effects of Electron Correlations and Chemical Pressures on Superconductivity of $\beta^{\prime\prime}$-type Organic Compounds

abstract: We investigate low-temperature electronic states of the series of organic conductors $\beta^{\prime\prime}$-(BEDT-TTF)$_4$[(H$_3$O)M(C$_2$O$_4$)$_3$]G, where BEDT-TTF is bis(ethylenedithio)tetrathiafulvalene, and M and G represent trivalent metal ions and guest organic molecules, respectively. Our structural analyses reveal that the replacement of M and G give rise to systematic change in the cell parameters, especially in the $b$-axis length, which has positive correlation with the superconducting transition temperature $T_{\rm c}$. Analyses of temperature and magnetic field dependences of the electrical resistance including the Shubnikov-de Haas oscillations elucidates that the variation of charge disproportionation, effective mass and the number of itinerant carriers, can be systematically explained by the change of the $b$-axis length. The changes of the transfer integrals induced by stretching/compressing the $b$-axis are confirmed by the band calculation. We discuss that electron correlations in quarter-filled electronic bands lead to charge disproportionation and the possibility of a novel pairing mechanism of superconductivity mediated by charge degrees of freedom.


title: WISE2150-7520AB: A very low mass, wide co-moving brown dwarf system discovered through the citizen science project Backyard Worlds: Planet 9

abstract: We report the discovery of WISE2150-7520AB (W2150AB): a widely separated (~ 341 AU) very low mass L1 + T8 co-moving system. The system consists of the previously known L1 primary 2MASS J21501592-7520367 and a newly discovered T8 secondary found at position 21:50:18.99 -75:20:54.6 (MJD=57947) using Wide-field Infrared Survey Explorer (WISE) data via the Backyard Worlds: Planet 9 citizen science project. We present Spitzer ch1 and ch2 photometry (ch1-ch2= 1.41 +/-0.04 mag) of the secondary and FIRE prism spectra of both components. The sources show no peculiar spectral or photometric signatures indicating that each component is likely field age. Using all observed data and the Gaia DR2 parallax of 41.3593 +/- 0.2799 mas for W2150A we deduce fundamental parameters of log(Lbol/Lsun)=-3.69 +/- 0.01, Teff=2118 +/- 62 K, and an estimated mass=72 +/- 12 MJup for the L1 and log(Lbol/Lsun)=-5.64 +/- 0.02, Teff=719 +/- 61 K, and an estimated mass=34 +/- 22 MJup for the T8. At a physical separation of ~341 AU this system has Ebin = 10^41 erg making it the lowest binding energy system of any pair with Mtot < 0.1 Msun not associated with a young cluster. It is equivalent in estimated mass ratio, Ebin, and physical separation to the ~ 2 Myr M7.25 + M8.25 binary brown dwarf 2MASS J11011926-7732383AB (2M1101AB) found in the Chameleon star forming region. W2150AB is the widest companion system yet observed in the field where the primary is an L dwarf or later.


title: Observation of Reactor Antineutrino Disappearance Using Delayed Neutron Capture on Hydrogen at RENO

abstract: The Reactor Experiment for Neutrino Oscillation (RENO) experiment has been taking data using two identical liquid scintillator detectors of 44.5 tons since August 2011. The experiment has observed the disappearance of reactor neutrinos in their interactions with free protons, followed by neutron capture on hydrogen. Based on 1500 live days of data taken with 16.8 GW$_{th}$ reactors at the Hanbit Nuclear Power Plant in Korea, the near (far) detector observes 567690 (90747) electron antineutrino candidate events with a delayed neutron capture on hydrogen. This provides an independent measurement of $\theta_{13}$ and a consistency check on the validity of the result from n-Gd data. Furthermore, it provides an important cross-check on the systematic uncertainties of the n-Gd measurement. Based on a rate-only analysis, we obtain sin$^{2}$2$\theta _{13}$= 0.087 $\pm$ 0.008 (stat.) $\pm$ 0.014 (syst.).


title: A clustered Gaussian process model for computer experiments

abstract: A Gaussian process has been one of the important approaches for emulating computer simulations. However, the stationarity assumption for a Gaussian process and the intractability for large-scale dataset limit its availability in practice. In this article, we propose a clustered Gaussian process model which segments the input data into multiple clusters, in each of which a Gaussian process model is performed. The stochastic expectation-maximization is employed to efficiently fit the model. In our simulations as well as a real application to solar irradiance emulation, our proposed method had smaller mean square errors than its main competitors, with competitive computation time, and provides valuable insights from data by discovering the clusters. An R package for the proposed methodology is provided in an open repository.


title: Matchings in 1-planar graphs with large minimum degree

abstract: In 1979, Nishizeki and Baybars showed that every planar graph with minimum degree 3 has a matching of size $\frac{n}{3}+c$ (where the constant $c$ depends on the connectivity), and even better bounds hold for planar graphs with minimum degree 4 and 5. In this paper, we investigate similar matching-bounds for {\em 1-planar} graphs, i.e., graphs that can be drawn such that every edge has at most one crossing. We show that every 1-planar graph with minimum degree 3 has a matching of size at least $\frac{1}{7}n+\frac{12}{7}$, and this is tight for some graphs. We provide similar bounds for 1-planar graphs with minimum degree 4 and 5, while the case of minimum degree 6 and 7 remains open.


title: The Once and Present Standard Model of Elementary Particle Physics

abstract: There are many theories that have resided these last fifty years within the hazy mist we have been calling the Standard Model (SM) of elementary particles. An attempt is made here to construct a coherent description of the SM today, because only precisely articulated theories can be targeted for annihilation, corroboration, and alteration. To this end it is useful to categorize the facts, mysteries and myths that together build a single conception of the SM. For example, it is argued that constructing a myth for how neutrinos obtain mass is useful for progress. We also advocate for interpreting the cosmological constant, dark matter, baryogenesis, and inflation as four "mysteries of the cosmos" that are indeterminate regarding new particles or interactions, despite a multitude of available particle explanations. Some history of the ever-changing SM is also presented to remind us that today's SM is not our parents' SM, nor will it likely be our children's SM.


title: Maxwell's derivation of the Lorentz force from Faraday's law

abstract: In a brief but brilliant derivation that can be found in Maxwell's Treatise and traced back to his 1861 and 1865 papers, he derives the force on a moving electric charge subject to electromagnetic fields from his mathematical expression of Faraday's law for a moving circuit. Maxwell's derivation in his Treatise of this force, which is usually referred to today as the Lorentz force, is given in detail in the present paper using Maxwell's same procedure but with more modern notation.


title: White-Box Target Attack for EEG-Based BCI Regression Problems

abstract: Machine learning has achieved great success in many applications, including electroencephalogram (EEG) based brain-computer interfaces (BCIs). Unfortunately, many machine learning models are vulnerable to adversarial examples, which are crafted by adding deliberately designed perturbations to the original inputs. Many adversarial attack approaches for classification problems have been proposed, but few have considered target adversarial attacks for regression problems. This paper proposes two such approaches. More specifically, we consider white-box target attacks for regression problems, where we know all information about the regression model to be attacked, and want to design small perturbations to change the regression output by a pre-determined amount. Experiments on two BCI regression problems verified that both approaches are effective. Moreover, adversarial examples generated from both approaches are also transferable, which means that we can use adversarial examples generated from one known regression model to attack an unknown regression model, i.e., to perform black-box attacks. To our knowledge, this is the first study on adversarial attacks for EEG-based BCI regression problems, which calls for more attention on the security of BCI systems.


title: Global Organization of Three-Dimensional, Volume-Preserving Flows: Constraints, Degenerate Points, and Lagrangian Structure

abstract: Global organization of 3-dimensional (3D) Lagrangian chaotic transport is difficult to infer without extensive computation. For 3D time-periodic flows with one invariant we show how constraints on deformation that arise from volume-preservation and periodic lines result in resonant degenerate points that periodically have zero net deformation. These points organize all Lagrangian transport in such flows through coordination of lower-order and higher-order periodic lines and prefigure unique transport structures that arise after perturbation and breaking of the invariant. Degenerate points of periodic lines and the extended 3D structures associated with them are easily identified through the trace of the deformation tensor calculated along periodic lines. These results reveal the importance of degenerate points in understanding transport in one-invariant fluid flows.


title: Measurement-Induced Boolean Dynamics for Open Quantum Networks

abstract: In this paper, we study the recursion of measurement outcomes for open quantum networks under sequential measurements. Open quantum networks are networked quantum subsystems (e.g., qubits) with the state evolutions described by a continuous Lindblad master equation. When measurements are performed sequentially along such continuous dynamics, the quantum network states undergo random jumps and the corresponding measurement outcomes can be described by a vector of probabilistic Boolean variables. The induced recursion of the Boolean vectors forms a probabilistic Boolean network. First of all, we show that the state transition of the induced Boolean networks can be explicitly represented through realification of the master equation. Next, when the open quantum dynamics is relaxing in the sense that it possesses a unique equilibrium as a global attractor, structural properties including absorbing states, reducibility, and periodicity for the induced Boolean network are direct consequences of the relaxing property. Particularly, we show that generically, relaxing quantum dynamics leads to irreducible and aperiodic chains for the measurement outcomes. Finally, we show that for quantum consensus networks as a type of non-relaxing open quantum network dynamics, the communication classes of the measurement-induced Boolean networks are encoded in the quantum Laplacian of the underlying interaction graph.


title: Wave turbulence on the surface of a fluid in a high-gravity environment

abstract: We report on the observation of gravity-capillary wave turbulence on the surface of a fluid in a high-gravity environment. By using a large-diameter centrifuge, the effective gravity acceleration is tuned up to 20 times the Earth gravity. The transition frequency between the gravity and capillary regimes is thus increased up to one decade as predicted theoretically. A frequency power-law wave spectrum is observed in each regime and is found to be independent of the gravity level and of the wave steepness. While the timescale separation required by weak turbulence is well verified experimentally regardless of the gravity level, the nonlinear and dissipation timescales are found to be independent of the scale, as a result of the finite size effects of the system (large-scale container modes) that are not taken currently into account theoretically.


title: XPipe: Efficient Pipeline Model Parallelism for Multi-GPU DNN Training

abstract: We propose XPipe, an efficient asynchronous pipeline model parallelism approach for multi-GPU DNN training. XPipe is designed to use multiple GPUs to concurrently and continuously train different parts of a DNN model. To improve GPU utilization and achieve high throughput, it splits a mini-batch into a set of micro-batches. It allows the overlapping of the pipelines of multiple micro-batches, including those belonging to different mini-batches. Most importantly, the novel weight prediction strategy adopted by XPipe enables it to effectively address the weight inconsistency and staleness issues incurred by the asynchronous pipeline parallelism. As a result, XPipe incorporates the advantages of both synchronous and asynchronous pipeline model parallelism approaches. Concretely, it can achieve very comparable (even slightly better) model accuracy as its synchronous counterpart while obtaining higher throughput than it. Experimental results show that XPipe outperforms other state-of-the-art synchronous and asynchronous model parallelism approaches.


title: Review of deformation theory I: Concrete formulas for deformations of algebraic structures

abstract: In this review article, first we give the concrete formulas of representations and cohomologies of associative algebras, Lie algebras, pre-Lie algebras, Leibniz algebras and 3-Lie algebras and some of their strong homotopy analogues. Then we recall the graded Lie algebras and graded associative algebras that characterize these algebraic structures as Maurer-Cartan elements. The corresponding Maurer-Cartan element equips the graded Lie or associative algebra with a differential. Then the deformations of the given algebraic structures are characterized as the Maurer-Cartan elements of the resulting differential graded Lie or associative algebras. We also recall the relation between the cohomologies and the differential graded Lie and associative algebras that control the deformations.


title: Chemical Properties of the Local Galactic Disk and Halo. I. Fundamental Properties of 1,544 Nearby, High Proper-Motion M dwarfs and subdwarfs

abstract: Large numbers of low-to-medium resolution spectra of M-type dwarf stars from both the local Galactic disk and halo are available from various surveys. In order to fully exploit these data, we develop a template-fit method using a set of empirically assembled M dwarf/subdwarf classification templates, based on the measurements of the TiO and CaH molecular bands, to classify M dwarfs/subdwarfs by spectral type and metallicity class. We further present a pipeline to automatically determine the effective temperature, metallicity ([M/H]), alpha-element to iron abundance ratio ([alpha/Fe]), and surface gravity of M dwarfs/subdwarfs using the latest version of BT-Settl model atmospheres. We apply these methods to a set of low-to-medium resolution optical spectra of 1,544 high proper-motion (> 0.4"/yr) M dwarfs/subdwarfs. Our metallicity estimates appear to be consistent with the expected color-magnitude variation of stars relative to atmospheric composition, as our sample shows a clear stratification with respect to metallicity in the Gaia H-R diagram. Furthermore, the measured chemical parameters of the two components in 48 binary systems are in a good agreement with each other, which suggest a precision of 0.22 dex in [M/H], 0.08 dex in [alpha/Fe], and 0.16 dex in the combined index [alpha/Fe]+[M/H]. There is also a good consistency between metallicity class, obtained from the empirical classification templates, and the index [alpha/Fe]+[M/H] (~ [alpha/H]), obtained from model-fitting, which means that the more easily measured metallicity class can be used as a relatively reliable indicator of absolute alpha-element abundance, [alpha/H], in low-mass stars. Finally, we examine the distribution of our stars in the [alpha/Fe] vs. [M/H] diagram, which shows evidence of clustering in chemical abundance makeup, suggestive of discrete populations among the local disk and halo stars.


title: Teleportation of a Schr\"odinger's-Cat State via Satellite-based Quantum Communications

abstract: The Schr\"odinger's-cat state is created from the macroscopic superposition of coherent states and is well-known to be a useful resource for quantum information processing protocols. In order to extend such protocols to a global scale, we study the continuous variable (CV) teleportation of the cat state via a satellite in low-Earth-orbit. Past studies have shown that the quantum character of the cat state can be preserved after CV teleportation, even when taking into account the detector efficiency. However, the channel transmission loss has not been taken into consideration. Traditionally, optical fibers with fixed attenuation are used as teleportation channels. Our results show that in such a setup, the quantum character of the cat state is lost after 5dB of channel loss. We then investigate the free-space channel between the Earth and a satellite, where the loss is caused by atmospheric turbulence. For a down-link channel of less than 500km and 30dB of loss, we find that the teleported state preserves higher fidelity relative to a fixed attenuation channel. The results in this work will be important for deployments over Earth-Satellite channels of protocols dependent on cat-state qubits.


title: Probing exciton/exciton interactions with entangled photons: theory

abstract: Quantum entangled photons provide a sensitive probe of many-body interactions and offer an unique experimental portal for quantifying many-body correlations in a material system. In this paper, we present a theoretical demonstration of how photon-photon entanglement can be generated via interactions between coupled qubits. Here we develop a model for the scattering of an entangled pair of photons from a molecular dimer. We develop a diagrammatic theory for the scattering matrix and show that one can correlate the von Neumann entropy of the outgoing bi-photon wave function to exciton exchange and repulsion interactions. We conclude by discussing possible experimental scenarios for realizing these ideas.


title: Fairing of Discrete Planar Curves by Discrete Euler's Elasticae

abstract: After characterizing the integrable discrete analogue of the Euler's elastica, we focus our attention on the problem of approximating a given discrete planar curve by an appropriate discrete Euler's elastica. We carry out the fairing process via a $L^2\!$-distance minimization to avoid the numerical instabilities. The optimization problem is solved via a gradient-driven optimization method (IPOPT). This problem is non-convex and the result strongly depends on the initial guess, so that we use a discrete analogue of the algorithm provided by Brander et al., which gives an initial guess to the optimization method.


title: Item Response Theory based Ensemble in Machine Learning

abstract: In this article, we propose a novel probabilistic framework to improve the accuracy of a weighted majority voting algorithm. In order to assign higher weights to the classifiers which can correctly classify hard-to-classify instances, we introduce the Item Response Theory (IRT) framework to evaluate the samples' difficulty and classifiers' ability simultaneously. Three models are created with different assumptions suitable for different cases. When making an inference, we keep a balance between the accuracy and complexity. In our experiment, all the base models are constructed by single trees via bootstrap. To explain the models, we illustrate how the IRT ensemble model constructs the classifying boundary. We also compare their performance with other widely used methods and show that our model performs well on 19 datasets.


title: Effect of boundary layer losses on 2D detonation cellular structures

abstract: We evaluate the effect of boundary layer losses on two-dimensional H2/O2/Ar cellular detonations obtained in narrow channels. The experiments provide the details of the cellular structure and the detonation speed deficits from the ideal CJ speed. We model the effect of the boundary layer losses by incorporating the flow divergence in the third dimension due to the negative boundary layer displacement thickness, modeled using Mirels' theory. The cellular structures obtained numerically with the resulting quasi-2D formulation of the reactive Euler equations with two-step chain-branching chemistry are found in excellent agreement with experiment, both in terms of cell dynamics and velocity deficits, provided the boundary layer constant of Mirels is modified by a factor of 2. A significant increase in the cell size is found with increasing velocity deficit. This is found to be very well captured by the induction zone increase in slower detonations due to the lower temperatures in the induction zone.


title: Entropic c-functions in $T{\bar T}, J{\bar T}, T{\bar J}$ deformations

abstract: We study the holographic entanglement entropy of an interval in a quantum field theory obtained by deforming a holographic two-dimensional conformal field theory via a general linear combination of irrelevant operators that are closely related to, but nonetheless distinct from, $T{\bar T}, \ J{\bar T}$ and $T{\bar J}$, and compute the Casin-Huerta entropic $c$-function. We find that the entropic $c$-function is ultraviolet regulator independent, and along the renormalization group upflow towards the ultraviolet, it is non-decreasing. We show that the entropic $c$-function exhibits a power law divergence as the interval length approaches a minimum finite value determined in terms of the deformation parameters. We also find for a particular combination of the deformation parameters a square root correction of the entanglement entropy area law.


title: Tropical varieties associated to ideal triangulations: The Whitehead link complement

abstract: This paper illustrates a computational approach to Culler-Morgan-Shalen theory using ideal triangulations, spun-normal surfaces and tropical geometry. Certain affine algebraic sets associated to the Whitehead link complement as well as their logarithmic limit sets are computed. The projective solution space of spun-normal surface theory is related to the space of incompressible surfaces and to the unit ball of the Thurston norm. It is shown that all boundary curves of the Whitehead link complement are strongly detected by its character variety. The specific results obtained can be used to study the geometry and topology of the Whitehead link complement and its Dehn surgeries. The methods can be applied to any cusped hyperbolic 3--manifold of finite volume.


title: Identifying Hidden Buyers in Darknet Markets via Dirichlet Hawkes Process

abstract: The darknet markets are notorious black markets in cyberspace, which involve selling or brokering drugs, weapons, stolen credit cards, and other illicit goods. To combat illicit transactions in the cyberspace, it is important to analyze the behaviors of participants in darknet markets. Currently, many studies focus on studying the behavior of vendors. However, there is no much work on analyzing buyers. The key challenge is that the buyers are anonymized in darknet markets. For most of the darknet markets, We only observe the first and last digits of a buyer's ID, such as ``a**b''. To tackle this challenge, we propose a hidden buyer identification model, called UNMIX, which can group the transactions from one hidden buyer into one cluster given a transaction sequence from an anonymized ID. UNMIX is able to model the temporal dynamics information as well as the product, comment, and vendor information associated with each transaction. As a result, the transactions with similar patterns in terms of time and content group together as the subsequence from one hidden buyer. Experiments on the data collected from three real-world darknet markets demonstrate the effectiveness of our approach measured by various clustering metrics. Case studies on real transaction sequences explicitly show that our approach can group transactions with similar patterns into the same clusters.


title: Constrained Sampling-based Trajectory Optimization using Stochastic Approximation

abstract: We propose a sampling-based trajectory optimization methodology for constrained problems. We extend recent works on stochastic search to deal with box control constraints,as well as nonlinear state constraints for discrete dynamical systems. Regarding the former, our strategy is to optimize over truncated parameterized distributions on control inputs. Furthermore, we show how non-smooth penalty functions can be incorporated into our framework to handle state constraints. Simulations on cartpole and quadcopter show that our approach outperforms previous methods on constrained sampling-based optimization, in terms of quality of solutions and convergence speed.


title: Calculation of electron-ion temperature equilibration rates and friction coefficients in plasmas and liquid metals using quantum molecular dynamics

abstract: We discuss a method to calculate with quantum molecular dynamics simulations the rate of energy exchanges between electrons and ions in two-temperature plasmas, liquid metals and hot solids. Promising results from this method were recently reported for various materials and physical conditions [J. Simoni and J. Daligault, Phys. Rev. Lett. 122, 205001 (2019)]. Like other ab-initio calculations, the approach offers a very useful comparison with the experimental measurements and permits an extension into conditions not covered by the experiments. The energy relaxation rate is related to the friction coefficients felt by individual ions due to their non-adiabatic interactions with electrons. Each coefficient satisfies a Kubo relation given by the time integral of the autocorrelation function of the interaction force between an ion and the electrons. These Kubo relations are evaluated using the output of quantum molecular dynamics calculations in which electrons are treated in the framework of finite-temperature density functional theory. The calculation presents difficulties that are unlike those encountered with the Kubo formulas for the electrical and thermal conductivities. In particular, the widely used Kubo-Greenwood approximation is inapplicable here. Indeed, the friction coefficients and the energy relaxation rate diverge in this approximation since it does not properly account for the electronic screening of electron-ion interactions. The inclusion of screening effects considerably complicates the calculations. We discuss the physically-motivated approximations we applied to deal with these complications in order to investigate a widest range of materials and physical conditions.


title: SimpleShot: Revisiting Nearest-Neighbor Classification for Few-Shot Learning

abstract: Few-shot learners aim to recognize new object classes based on a small number of labeled training examples. To prevent overfitting, state-of-the-art few-shot learners use meta-learning on convolutional-network features and perform classification using a nearest-neighbor classifier. This paper studies the accuracy of nearest-neighbor baselines without meta-learning. Surprisingly, we find simple feature transformations suffice to obtain competitive few-shot learning accuracies. For example, we find that a nearest-neighbor classifier used in combination with mean-subtraction and L2-normalization outperforms prior results in three out of five settings on the miniImageNet dataset.


title: Weak Scaling of DSA Preconditioning of Transport Sweeps using HYPRE

abstract: This report summarizes the weak scaling performance of the diffusion-synthetic acceleration (DSA) of transport sweeps in PDT (a massively parallel deterministic transport solver developed at Texas A\&M University). It provides an assessment of the cost of the DSA based on the modified symmetric interior-penalty discontinuous Galerkin discretization and solved by the AMG-preconditioned conjugate gradient method provided by the HYPRE/BoomerAMG library, relative to the transport sweeps. Different parallel partitionings (``hybrid-KBA'', volumetric), per-core workload (512/4k cells per core) and number of discrete directions (128 to 2k) are compared and a set of optimized HYPRE/BoomerAMG parameters is selected that leads to best overall performance of the transport+DSA solution at scale.


title: Building the National Radio Recordings Database: A Big Data Approach to Documenting Audio Heritage

abstract: This paper traces strategies used by the Radio Preservation Task Force of the Library of Congress's National Recording Preservation Board to develop a publicly searchable database documenting extant radio materials held by collecting institutions throughout the country. Having aggregated metadata on 2,500 unique collections to date, the project has encountered a series of logistical challenges that are not only technical in nature but also institutional and social, raising critical issues involving organizational structure, political representation, and the ethics of data access. As the project continues to expand and evolve, lessons from its early development offer valuable reminders of the human judgment, hidden labor, and interpersonal relations required for successful big data work.


title: Parity conjecture for abelian surfaces

abstract: Assuming finiteness of the Tate--Shafarevich group, we prove that the Birch--Swinnerton-Dyer conjecture correctly predicts the parity of the rank of semistable principally polarised abelian surfaces. If the surface in question is the Jacobian of a curve, we require that the curve has good ordinary reduction at 2-adic places.


title: Mode-Multiplexed Full-Field Reconstruction Using Direct and Phase Retrieval Detection

abstract: We realize mode-multiplexed full-field reconstruction over six spatial and polarization modes after 30-km multimode fiber transmission using intensity-only measurements without any optical carrier or local oscillator at the receiver or transmitter. The receiver's capabilities to cope with modal dispersion and mode dependent loss are experimentally demonstrated.


title: Model-Augmented Estimation of Conditional Mutual Information for Feature Selection

abstract: Markov blanket feature selection, while theoretically optimal, is generally challenging to implement. This is due to the shortcomings of existing approaches to conditional independence (CI) testing, which tend to struggle either with the curse of dimensionality or computational complexity. We propose a novel two-step approach which facilitates Markov blanket feature selection in high dimensions. First, neural networks are used to map features to low-dimensional representations. In the second step, CI testing is performed by applying the $k$-NN conditional mutual information estimator to the learned feature maps. The mappings are designed to ensure that mapped samples both preserve information and share similar information about the target variable if and only if they are close in Euclidean distance. We show that these properties boost the performance of the $k$-NN estimator in the second step. The performance of the proposed method is evaluated on both synthetic and real data.


title: Fast Stochastic Peer Selection in Proof-of-Stake Protocols

abstract: The problem of peer selection, which randomly selects a peer from a set, is commonplace in Proof-of-Stake (PoS) protocols. In PoS, peers are chosen randomly with probability proportional to the amount of stake that they possess. This paper presents an approach that relates PoS peer selection to Roulette-wheel selection, which is frequently used in genetic and evolutionary algorithms or complex network modelling. In particular, we introduce the use of stochastic acceptance algorithm [6] for fast peer selection. The roulette-wheel selection algorithm [6] achieves O(1) complexity based on stochastic acceptance, whereas searching based algorithms may take O(N ) or O(logN ) complexity in a network of N peers.


title: Structured Cospans

abstract: One goal of applied category theory is to better understand networks appearing throughout science and engineering. Here we introduce "structured cospans" as a way to study networks with inputs and outputs. Given a functor $L \colon \mathsf{A} \to \mathsf{X}$, a structured cospan is a diagram in $\mathsf{X}$ of the form $L(a) \rightarrow x \leftarrow L(b)$. If $\mathsf{A}$ and $\mathsf{X}$ have finite colimits and $L$ is a left adjoint, we obtain a symmetric monoidal category whose objects are those of $\mathsf{A}$ and whose morphisms are isomorphism classes of structured cospans. This is a hypergraph category. However, it arises from a more fundamental structure: a symmetric monoidal double category where the horizontal 1-cells are structured cospans. We show how structured cospans solve certain problems in the closely related formalism of "decorated cospans", and explain how they work in some examples: electrical circuits, Petri nets, and chemical reaction networks.


title: Scheme Macros for Non-linear Pattern Matching with Backtracking for Non-free Data Types

abstract: Pattern matching is an important feature of programming languages for data abstraction. Many pattern-matching extensions have been proposed and implemented for extending the range of data types to which pattern matching is applicable. Among them, the pattern-matching system proposed by Egi and Nishiwaki features practical pattern matching for non-free data types by providing an extensible non-linear pattern-matching facility with backtracking. However, they implemented their proposal only in an interpreter of the Egison programming language, and a method for compiling pattern-matching expressions of Egison was not discussed. This paper proposes a method for translating a program that contains pattern-matching expressions of Egison to a program that contains only the existing syntax constructs of functional programming languages. This method is based on the three key ideas: (i) transformation of a matcher to a function that takes a pattern and a target, and returns lists of triples of a pattern, a matcher, and a target; (ii) compilation of match-all to application of the map function; (iii) transformation of a value pattern to a function that takes an intermediate pattern-matching result and returns a value. This paper shows the proposed method works by showing Scheme macros that provide the users the pattern-matching facility of Egison. This paper also presents benchmark results that show Egison pattern-matching embedded in Gauche Scheme is faster than the original Egison interpreter.


title: ATLAS data quality operations and performance for 2015-2018 data-taking

abstract: The ATLAS detector at the Large Hadron Collider reads out particle collision data from over 100 million electronic channels at a rate of approximately $100$ kHz, with a recording rate for physics events of approximately 1 kHz. Before being certified for physics analysis at computer centres worldwide, the data must be scrutinised to ensure they are clean from any hardware or software related issues that may compromise their integrity. Prompt identification of these issues permits fast action to investigate, correct and potentially prevent future such problems that could render the data unusable. This is achieved through the monitoring of detector-level quantities and reconstructed collision event characteristics at key stages of the data processing chain. This paper presents the monitoring and assessment procedures in place at ATLAS during 2015-2018 data-taking. Through the continuous improvement of operational procedures, ATLAS achieved a high data quality efficiency, with 95.6% of the recorded proton-proton collision data collected at $\sqrt{s}=13$ TeV certified for physics analysis.


title: Machine learning dynamical phase transitions in complex networks

abstract: In recent years, machine learning has been adopted to complex networks, but most existing works concern about the structural properties. To use machine learning to detect phase transitions and accurately identify the critical transition point associated with dynamical processes on complex networks thus stands out as an open and significant problem. Here we develop a framework combining supervised and unsupervised learning, incorporating proper sampling of training data set. In particular, using epidemic spreading dynamics on complex networks as a paradigmatic setting, we start from supervised learning alone and identify situations that degrade the performance. To overcome the difficulties leads to the idea of exploiting confusion scheme, effectively a combination of supervised and unsupervised learning. We demonstrate that the scheme performs well for identifying phase transitions associated with spreading dynamics on homogeneous networks, but the performance deteriorates for heterogeneous networks. To strive to meet this challenge leads to the realization that sampling the training data set is necessary for heterogeneous networks, and we test two sampling methods: one based on the hub nodes together with their neighbors and another based on k-core of the network. The end result is a general machine learning framework for detecting phase transition and accurately identifying the critical transition point, which is robust, computationally efficient, and universally applicable to complex networks of arbitrary size and topology. Extensive tests using synthetic and empirical networks verify the virtues of the articulated framework, opening the door to exploiting machine learning for understanding, detection, prediction, and control of complex dynamical systems in general.


title: Interference and Efficient Transmission Range via V2V Communication at Roads Traffic Intersections

abstract: Vehicle-to-Vehicle (V2V) communication technology has dramatically promoted many promising applications to enhance traffic safety, mobility, and sustainability. However, However, we still lack the understanding of some fundamental properties of V2V technology under urban traffic conditions, such as interference at traffic intersections. Motivated by this view, this study develops the mathematical formulations to capture the worst-case interference at traffic intersections, considering the macroscopic traffic flow conditions and critical road geometric features including intersection diameter D, and intersection angle {\alpha}. Built upon these formulations, we develop a mathematical model to approximate a conservative transmission range to sustain the successful V2V transmission at a traffic intersection. Our experiments illustrate that the proposed analytical formulations can provide accurate approximations for the interference and the corresponding transmission range at orthogonal (non-orthogonal) traffic intersections under various traffic congestion levels. Furthermore, this study conducted other experiments to understand how intersection geometric features (such as (D, {\alpha})) impact V2V communication at traffic intersections. The results illustrate that severer interference and smaller transmission range occur at a smaller intersection (with smaller diameter D) under heavy traffic congestion level. And the orthogonal intersection gives critical thresholds (such as severest interference and minimum transmission range) under all different traffic conditions, which help in understanding the V2V communication performance at an urban traffic intersection. These findings will potentially help to develop efficient MAC algorithms adaptive to urban traffic conditions, and further support various ITS applications using V2V communication. interference and transmission range.


title: A long-lived capacitively shunted flux qubit embedded in a 3D cavity

abstract: We report the experimental realization of a 3D capacitively-shunt superconducting flux qubit with long coherence times. At the optimal flux bias point, the qubit demonstrates energy relaxation times in the 60-90 $\mu$s range, and Hahn-echo coherence time of about 80 $\mu$s which can be further improved by dynamical decoupling. Qubit energy relaxation can be attributed to quasiparticle tunneling, while qubit dephasing is caused by flux noise away from the optimal point. Our results show that 3D c-shunt flux qubits demonstrate improved performance over other types of flux qubits which is advantageous for applications such as quantum magnetometry and spin sensing.


title: Robust Design of Deep Neural Networks against Adversarial Attacks based on Lyapunov Theory

abstract: Deep neural networks (DNNs) are vulnerable to subtle adversarial perturbations applied to the input. These adversarial perturbations, though imperceptible, can easily mislead the DNN. In this work, we take a control theoretic approach to the problem of robustness in DNNs. We treat each individual layer of the DNN as a nonlinear dynamical system and use Lyapunov theory to prove stability and robustness locally. We then proceed to prove stability and robustness globally for the entire DNN. We develop empirically tight bounds on the response of the output layer, or any hidden layer, to adversarial perturbations added to the input, or the input of hidden layers. Recent works have proposed spectral norm regularization as a solution for improving robustness against l2 adversarial attacks. Our results give new insights into how spectral norm regularization can mitigate the adversarial effects. Finally, we evaluate the power of our approach on a variety of data sets and network architectures and against some of the well-known adversarial attacks.


title: Improving the efficiency of $G_0W_0$ calculations with approximate spectral decompositions of dielectric matrices

abstract: Recently it was shown that the calculation of quasiparticle energies using the $G_0W_0$ approximation can be performed without computing explicitly any virtual electronic states, by expanding the Green function and screened Coulomb interaction in terms of the eigenstates of the static dielectric matrix. Avoiding the evaluation of virtual electronic states leads to improved efficiency and ease of convergence of $G_0W_0$ calculations. Here we propose a further improvement of the efficiency of these calculations, based on an approximation of density-density response functions of molecules and solids. The approximation relies on the calculation of a subset of eigenvectors of the dielectric matrix using the kinetic operator instead of the full Hamiltonian, and it does not lead to any substantial loss of accuracy for the quasiparticle energies. The computational savings introduced by this approximation depend on the system, and they become more substantial as the number of electrons increases.


title: RuleVis: Constructing Patterns and Rules for Rule-Based Models

abstract: We introduce RuleVis, a web-based application for defining and editing "correct-by-construction" executable rules that model biochemical functionality, which can be used to simulate the behavior of protein-protein interaction networks and other complex systems. Rule-based models involve emergent effects based on the interactions between rules, which can vary considerably with regard to the scale of a model, requiring the user to inspect and edit individual rules. RuleVis bridges the graph rewriting and systems biology research communities by providing an external visual representation of salient patterns that experts can use to determine the appropriate level of detail for a particular modeling context. We describe the visualization and interaction features available in RuleVisand provide a detailed example demonstrating how RuleVis can be used to reason about intracellular interactions.


title: Small Angle and Non-Monotonic Behavior of the Thermal Conductivity in Twisted Bilayer Graphene

abstract: Nothing is known about the thermal conductivity in twisted bilayer graphene (TBG) at small twist angles, and how it approaches its aligned value as the twist angle approaches 0 degrees. To provide insight into these questions, we perform large scale non-equilibrium molecular dynamics calculations on commensurate TBG structures with angles down to 1.87 degrees. The results show a smooth, non-monotonic behavior of the thermal conductivity with respect to the commensurate lattice constant. As the commensurate lattice constant increases, the thermal conductivity initially decreases by 50%, and then it returns to 90% of its aligned value as the angle is reduced to 1.89 degrees. These same qualitative trends are followed by the trends in the shear elastic constant, the wrinkling intensity, and the out-of-plane ZA2 phonon frequency. The picture that emerges of the physical mechanism governing the thermal conductivity is that misorientation reduces the shear elastic constant; the reduced shear elastic constant enables greater wrinkling; and the greater wrinkling reduces the thermal conductivity. The small-angle behavior of the thermal conductivity raises the question of how do response functions approach their aligned values as the twist angle approaches 0 degrees. Is the approach gradual, discontinuous, or a combination of the two?


title: Optically enriched and guided dynamics of active skyrmions

abstract: Light provides a powerful means of controlling physical behavior of materials but is rarely used to power and guide active matter systems. We demonstrate optical control of liquid crystalline topological solitons dubbed "skyrmions", which recently emerged as highly reconfigurable inanimate active particles capable of exhibiting emergent collective behaviors like schooling. Because of a chiral nematic liquid crystal's natural tendency to twist and its facile response to electric fields and light, it serves as a testbed for dynamic control of skyrmions and other active particles. Using ambient-intensity unstructured light, we demonstrate large-scale multifaceted reconfigurations and unjamming of collective skyrmion motions powered by oscillating electric fields and guided by optically-induced obstacles and patterned illumination.


title: A Syntax-aware Multi-task Learning Framework for Chinese Semantic Role Labeling

abstract: Semantic role labeling (SRL) aims to identify the predicate-argument structure of a sentence. Inspired by the strong correlation between syntax and semantics, previous works pay much attention to improve SRL performance on exploiting syntactic knowledge, achieving significant results. Pipeline methods based on automatic syntactic trees and multi-task learning (MTL) approaches using standard syntactic trees are two common research orientations. In this paper, we adopt a simple unified span-based model for both span-based and word-based Chinese SRL as a strong baseline. Besides, we present a MTL framework that includes the basic SRL module and a dependency parser module. Different from the commonly used hard parameter sharing strategy in MTL, the main idea is to extract implicit syntactic representations from the dependency parser as external inputs for the basic SRL model. Experiments on the benchmarks of Chinese Proposition Bank 1.0 and CoNLL-2009 Chinese datasets show that our proposed framework can effectively improve the performance over the strong baselines. With the external BERT representations, our framework achieves new state-of-the-art 87.54 and 88.5 F1 scores on the two test data of the two benchmarks, respectively. In-depth analysis are conducted to gain more insights on the proposed framework and the effectiveness of syntax.


title: Bright gamma-ray flares observed in GRB131108A

abstract: GRB 131108A is a bright long Gamma-Ray Burst (GRB) detected by the Large Area Telescope and the Gamma-ray Burst Monitor on board the Fermi Gamma-ray Space Telescope. Dedicated temporal and spectral analyses reveal three $\gamma$-ray flares dominating above 100 MeV, which are not directly related to the prompt emission in the GBM band (10 keV - 10 MeV). The high-energy light curve of GRB 131108A (100 MeV - 10 GeV) shows an unusual evolution: a steep decay, followed by three flares with an underlying emission, and then a long-lasting decay phase. The detailed analysis of the $\gamma$-ray flares finds that the three flares are 6 - 20 times brighter than the underlying emission and are similar to each other. The fluence of each flare, (1.6 $\sim$ 2.0) $\times$ 10$^{-6}$ erg cm$^{-2}$, is comparable to that of emission during the steep decay phase, 1.7 $\times$ 10$^{-6}$ erg cm$^{-2}$. The total fluence from three $\gamma$-ray flares is 5.3 $\times$ 10$^{-6}$ erg cm$^{-2}$. The three $\gamma$-ray flares show properties similar to the usual X-ray flares that are sharp flux increases, occurring in $\sim$ 50\% of afterglows, in some cases well after the prompt emission. Also, the temporal and spectral indices during the early steep decay phase and the decaying phase of each flare show the consistency with a relation of the curvature effect ($\alpha$ = 2 + $\beta$), which is the first observational evidence of the high-latitude emission in the GeV energy band.


title: Framing Effects on Privacy Concerns about a Home Telepresence Robot

abstract: Privacy-sensitive robotics is an emerging area of HRI research. Judgments about privacy would seem to be context-dependent, but none of the promising work on contextual "frames" has focused on privacy concerns. This work studies the impact of contextual "frames" on local users' privacy judgments in a home telepresence setting. Our methodology consists of using an online questionnaire to collect responses to animated videos of a telepresence robot after framing people with an introductory paragraph. The results of four studies indicate a large effect of manipulating the robot operator's identity between a stranger and a close confidante. It also appears that this framing effect persists throughout several videos. These findings serve to caution HRI researchers that a change in frame could cause their results to fail to replicate or generalize. We also recommend that robots be designed to encourage or discourage certain frames.


title: Connecting First and Second Order Recurrent Networks with Deterministic Finite Automata

abstract: We propose an approach that connects recurrent networks with different orders of hidden interaction with regular grammars of different levels of complexity. We argue that the correspondence between recurrent networks and formal computational models gives understanding to the analysis of the complicated behaviors of recurrent networks. We introduce an entropy value that categorizes all regular grammars into three classes with different levels of complexity, and show that several existing recurrent networks match grammars from either all or partial classes. As such, the differences between regular grammars reveal the different properties of these models. We also provide a unification of all investigated recurrent networks. Our evaluation shows that the unified recurrent network has improved performance in learning grammars, and demonstrates comparable performance on a real-world dataset with more complicated models.


title: Survey of Period Variations of Superhumps in SU UMa-Type Dwarf Novae. X: The Tenth Year (2017)

abstract: Continuing the project described by Kato et al. (2009, PASJ, 61, S395, arXiv/0905.1757), we collected times of superhump maxima for 102 SU UMa-type dwarf novae observed mainly during the 2017 season and characterized these objects. WZ Sge-type stars identified in this study are PT And, ASASSN-17ei, ASASSN-17el, ASASSN-17es, ASASSN-17fn, ASASSN-17fz, ASASSN-17hw, ASASSN-17kd, ASASSN-17la, PNV J20205397+2508145 and TCP J00332502-3518565. We obtained new mass ratios for 7 objects using growing superhumps (stage A). ASASSN-17gf is an EI Psc-type object below the period minimum. CRTS J080941.3+171528 and DDE 51 are objects in the period gap and both showed long-lasting phase of stage A superhumps. We also summarized the recent advances in understanding of SU UMa-type and WZ Sge-type dwarf novae.


title: LAC-Nav: Collision-Free Mutiagent Navigation Based on The Local Action Cells

abstract: Collision avoidance is one of the most primary requirement in the decentralized multiagent navigations: while the agents are moving towards their own targets, attentions should be paid to avoid the collisions with the others. In this paper, we introduce the concept of local action cell, which provides for each agent a set of velocities that are safe to perform. Based on the realtime updated local action cells, we propose the LAC-Nav approach to navigate the agent with the properly selected velocity; and furthermore, we coupled the local action cell with an adaptive learning framework, in which the effect of selections are evaluated and used as the references for making decisions in the following updates. Through the experiments for three commonly considered scenarios, we demonstrated the efficiency of the proposed approaches, with the comparison to several widely studied strategies.


title: Orientational order parameters for arbitrary quantum systems

abstract: The concept of quantum-mechanical nematic order, which is important in systems such as superconductors, is based on an analogy to classical liquid crystals, where order parameters are obtained through orientational expansions. We generalize this method to quantum mechanics based on an expansion of Wigner functions. This provides a unified framework applicable to arbitrary quantum systems. The formalism is demonstrated for the cases of Fermi liquids and spin systems. Moreover, we derive new order parameters for molecular systems, which cannot be properly described with the usual nematic tensors.


title: Explanation for why the Early Universe was Stable and Dominated by the Standard Model

abstract: The Standard Model (SM) possesses an instability at high scales that would be catastrophic during or just after inflation, and yet no new physics has been seen to alter this. Furthermore, modern developments in quantum gravity suggest that the SM degrees of freedom are not unique; that a typical low energy effective theory should include a large assortment of hidden sector degrees of freedom. It is therefore puzzling that cosmological constraints from BBN and CMB reveal that the early universe was almost entirely dominated by the SM, when the inflaton $\phi$ could have decayed into many sectors. In this work we propose the following explanation for all of this: we allow the lowest dimension operators with natural coefficients between the inflaton and both the Higgs and hidden sectors. Such hidden sectors are assumed to be entirely natural; this means all unprotected masses are pushed up to high scales and project out of the spectrum, while only massless (or protected) degrees of freedom remain, and so the inflaton can only reheat these sectors through higher dimension (and suppressed) operators. On the other hand, the SM possesses a special feature: it includes a light Higgs $H$, presumably for life to exist, and hence it allows a super-renormalizable coupling to the inflaton $\phi H^\dagger H$, which allows rapid decay into the SM. We show that this naturally (i) removes the instability in the Higgs potential both during and after inflation due to a tree-level effect that increases the value of the Higgs self-coupling from the IR to the UV when one passes the inflaton mass, (ii) explains why the SM is dominant in the early universe, (iii) allows dark matter to form in hidden sector/s through subsequent dynamics (or axions, etc), (iv) allows for high reheating and baryogenesis, and (v) accounts for why there so far has been no direct detection of dark matter or new physics beyond the SM.


title: Probing Genuine Multipartite Entanglement in Large Systems

abstract: We introduce a new kind of Entanglement Witness which is appropriate for studying genuine multipartite entanglement in large systems. The witness operator has a form that fits naturally to quantum states represented by tensor networks. It opens up novel routes for investigating properties of condensed matter systems, and gives a new perspective to understand many-body quantum correlations. We illustrate the potential of this new operator with a GHZ state, and apply the method to a transverse Ising model with the well-known approach of Matrix Product States and Matrix Product Operators for a hundred spins.


title: Throughput Prediction of Asynchronous SGD in TensorFlow

abstract: Modern machine learning frameworks can train neural networks using multiple nodes in parallel, each computing parameter updates with stochastic gradient descent (SGD) and sharing them asynchronously through a central parameter server. Due to communication overhead and bottlenecks, the total throughput of SGD updates in a cluster scales sublinearly, saturating as the number of nodes increases. In this paper, we present a solution to predicting training throughput from profiling traces collected from a single-node configuration. Our approach is able to model the interaction of multiple nodes and the scheduling of concurrent transmissions between the parameter server and each node. By accounting for the dependencies between received parts and pending computations, we predict overlaps between computation and communication and generate synthetic execution traces for configurations with multiple nodes. We validate our approach on TensorFlow training jobs for popular image classification neural networks, on AWS and on our in-house cluster, using nodes equipped with GPUs or only with CPUs. We also investigate the effects of data transmission policies used in TensorFlow and the accuracy of our approach when combined with optimizations of the transmission schedule.


title: Predicting Landslides Using Locally Aligned Convolutional Neural Networks

abstract: Landslides, movement of soil and rock under the influence of gravity, are common phenomena that cause significant human and economic losses every year. Experts use heterogeneous features such as slope, elevation, land cover, lithology, rock age, and rock family to predict landslides. To work with such features, we adapted convolutional neural networks to consider relative spatial information for the prediction task. Traditional filters in these networks either have a fixed orientation or are rotationally invariant. Intuitively, the filters should orient uphill, but there is not enough data to learn the concept of uphill; instead, it can be provided as prior knowledge. We propose a model called Locally Aligned Convolutional Neural Network, LACNN, that follows the ground surface at multiple scales to predict possible landslide occurrence for a single point. To validate our method, we created a standardized dataset of georeferenced images consisting of the heterogeneous features as inputs, and compared our method to several baselines, including linear regression, a neural network, and a convolutional network, using log-likelihood error and Receiver Operating Characteristic curves on the test set. Our model achieves 2-7% improvement in terms of accuracy and 2-15% boost in terms of log likelihood compared to the other proposed baselines.


title: Building Conflict Uncertainty into Electricity Planning: A South Sudan Case Study

abstract: This paper explores electricity planning strategies in South Sudan under future conflict uncertainty. A stochastic energy system optimization model that explicitly considers the possibility of armed conflict leading to electric power generator damage is presented. Strategies that hedge against future conflict have the greatest economic value in moderate conflict-related damage scenarios by avoiding expensive near-term investments in infrastructure that may be subsequently damaged. Model results show that solar photovoltaics can play a critical role in South Sudan's future electric power system. In addition to mitigating greenhouse gas emissions and increasing access to electricity, this analysis suggests that solar can be used to hedge against economic losses incurred by conflict. While this analysis focuses on South Sudan, the analytical framework can be applied to other conflict-prone countries.