title: A Branch and Price Algorithm for List Coloring Problem

abstract: Coloring problems in graphs have been used to model a wide range of real applications. In particular, the List Coloring Problem generalizes the well-known Graph Coloring Problem for which many exact algorithms have been developed. In this work, we present a Branch-and-Price algorithm for the weighted version of the List Coloring Problem, based on the one developed by Mehrotra and Trick (1996) for the Graph Coloring Problem. This version considers non-negative weights associated to each color and it is required to assign a color to each vertex from predetermined lists in such a way the sum of weights of the assigned colors is minimum. Computational experiments show the good performance of our approach, being able to comfortably solve instances whose graphs have up to seventy vertices. These experiences also bring out that the hardness of the instances of the List Coloring Problem does not seem to depend only on quantitative parameters such as the size of the graph, its density, and the size of list of colors, but also on the distribution of colors present in the lists.


title: Symbols of non-archimedean elliptic pseudo-differential operators, Feller semigroups, Markov transition function and negative definite functions

abstract: In this article we prove that the heat kernel attached to the non-archimedean elliptic pseudodifferential operators determine a Feller semigroup and a uniformly stochastically continuous C_0 transition function of some strong Markov processes X with state space (Q_p)^n. We explicitly write the Feller semigroup and the Markov transition function associated with the heat kernel. Also, we show that the symbols of these pseudo-differential operators are a negative definite function and moreover, that this symbols can be represented as a combination of a positive constant, a continuous homomorphism l : (Q_p)^n to R and a non-negative, continuous quadratic form q : (Q_p)^n to R.


title: A remark on the Dixmier Conjecture

abstract: The Dixmier Conjecture says that every endomorphism of the (first) Weyl algebra $A_1$ (over a field of characteristic zero) is an automorphism, i.e., if $PQ-QP=1$ for some $P, Q \in A_1$ then $A_1 = K \langle P, Q \rangle$. The Weyl algebra $A_1$ is a $\Z$-graded algebra. We prove that the Dixmier Conjecture holds if the elements $P$ and $Q$ are sums of no more than two homogeneous elements of $A$ (there is no restriction on the total degrees of $P$ and $Q$).


title: Simulation complexity of open quantum dynamics: Connection with tensor networks

abstract: The difficulty to simulate the dynamics of open quantum systems resides in their coupling to many-body reservoirs with exponentially large Hilbert space. Applying a tensor network approach in the time domain, we demonstrate that effective small reservoirs can be defined and used for modeling open quantum dynamics. The key element of our technique is the timeline reservoir network (TRN), which contains all the information on the reservoir's characteristics, in particular, the memory effects timescale. The TRN has a one-dimensional tensor network structure, which can be effectively approximated in full analogy with the matrix product approximation of spin-chain states. We derive the sufficient bond dimension in the approximated TRN with a reduced set of physical parameters: coupling strength, reservoir correlation time, minimal timescale, and the system's number of degrees of freedom interacting with the environment. The bond dimension can be viewed as a measure of the open dynamics complexity. Simulation is based on the semigroup dynamics of the system and effective reservoir of finite dimension. We provide an illustrative example showing scope for new numerical and machine learning-based methods for open quantum systems.


title: Understanding Dwarf Galaxies in order to Understand Dark Matter

abstract: Much progress has been made in recent years by the galaxy simulation community in making realistic galaxies, mostly by more accurately capturing the effects of baryons on the structural evolution of dark matter halos at high resolutions. This progress has altered theoretical expectations for galaxy evolution within a Cold Dark Matter (CDM) model, reconciling many earlier discrepancies between theory and observations. Despite this reconciliation, CDM may not be an accurate model for our Universe. Much more work must be done to understand the predictions for galaxy formation within alternative dark matter models.


title: Using Monte Carlo Tree Search as a Demonstrator within Asynchronous Deep RL

abstract: Deep reinforcement learning (DRL) has achieved great successes in recent years with the help of novel methods and higher compute power. However, there are still several challenges to be addressed such as convergence to locally optimal policies and long training times. In this paper, firstly, we augment Asynchronous Advantage Actor-Critic (A3C) method with a novel self-supervised auxiliary task, i.e. \emph{Terminal Prediction}, measuring temporal closeness to terminal states, namely A3C-TP. Secondly, we propose a new framework where planning algorithms such as Monte Carlo tree search or other sources of (simulated) demonstrators can be integrated to asynchronous distributed DRL methods. Compared to vanilla A3C, our proposed methods both learn faster and converge to better policies on a two-player mini version of the Pommerman game.


title: Cylinder topological quantum field theory: A categorical presentation of classical field theory and its symmetries

abstract: We use geometric ideas coming from certain classic algebraic constructions to associate, to every classical field theory, a symmetric monoidal double functor from the double category of cobordisms with corners to a certain symmetric monoidal double category. We call symmetric monoidal double functors so constructed cylinder topological quantum field theories. Our initial formulation of cylinder topological quantum field theory is presented in a purely topological context. We present appropriate refinements in order to accommodate information relevant to classical field theory.


title: Plancherel formula for $\mathrm{GL}_n(F)\backslash \mathrm{GL}_n(E)$ and applications to the Ichino-Ikeda and formal degree conjectures for unitary groups

abstract: We establish an explicit Plancherel decomposition for $\mathrm{GL}_n(F)\backslash \mathrm{GL}_n(E)$ where $E/F$ is a quadratic extension of local fields of characteristic zero by making use of a local functional equation for Asai $\gamma$-factors. We also give two applications of this Plancherel formula: first to the global Ichino-Ikeda conjecture for unitary groups by completing a comparison between local relative characters that was left open by W. Zhang and secondly to the Hiraga-Ichino-Ikeda conjecture on formal degrees in the case of unitary groups.


title: Mobile Learning Game Authoring Tools: Assessment, Synthesis and Proposals

abstract: Mobile Learning Games (MLGs) show great potential for increasing engagement, creativity and authentic learning. Yet, despite their great potential for education, the use of MLGs by teachers, remains limited. This is partly due to the fact that MLGs are often designed to match a specific learning context, and thus cannot be reusable for other contexts. Therefore, researchers have recently designed various types of MLG authoring tools. However, these authoring tools are not always adapted to non-computer-scientists or non-game-designers. Hence, we propose in this paper to focus on five existing MLG authoring tools, in order to assess their features and usability with the help of five teachers, who are used to organizing educational field trips. In the second part of this paper, we present an approach for designing a MLG authoring tool, based on the lacks identified through the analysis, and tailored to the teachers' different profiles and needs.


title: The Indus Script and Economics. A Role for Indus Seals and Tablets in Rationing and Administration of Labor

abstract: The Indus script remains one of the last major undeciphered scripts of the ancient world. We focus here on Indus inscriptions on a group of miniature tablets discovered by Meadow and Kenoyer in Harappa in 1997. By drawing parallels with proto-Elamite and proto-Cuneiform inscriptions, we explore how these miniature tablets may have been used to record rations allocated to porters or laborers. We then show that similar inscriptions are found on stamp seals, leading to the potentially provocative conclusion that rather than simply indicating ownership of property, Indus seals may have been used for generating tokens, tablets and sealings for repetitive economic transactions such as rations and exchange of canonical amounts of goods, grains, animals, and labor in a barter-based economy.


title: Learning Interpretable Rules for Multi-label Classification

abstract: Multi-label classification (MLC) is a supervised learning problem in which, contrary to standard multiclass classification, an instance can be associated with several class labels simultaneously. In this chapter, we advocate a rule-based approach to multi-label classification. Rule learning algorithms are often employed when one is not only interested in accurate predictions, but also requires an interpretable theory that can be understood, analyzed, and qualitatively evaluated by domain experts. Ideally, by revealing patterns and regularities contained in the data, a rule-based theory yields new insights in the application domain. Recently, several authors have started to investigate how rule-based models can be used for modeling multi-label data. Discussing this task in detail, we highlight some of the problems that make rule learning considerably more challenging for MLC than for conventional classification. While mainly focusing on our own previous work, we also provide a short overview of related work in this area.


title: The Surreal Numbers as an Ordered Commutative Ring with an Apartness: A Development in Univalent Foundations

abstract: We define a multiplication on the surreal numbers as higher inductive-inductive types.


title: Community structures in allelopathic interaction networks: an eco-evolutionary approach

abstract: Nowadays, evidence is mounting that the race of living organisms for adaptation to the chemicals synthesized by their neighbours may drive community structures. Particularly, some bacterial infections and plant invasions disruptive of the native community rely on the release of allelochemicals that inhibit or kill sensitive strains or individuals from their own or other species. In this report, an eco-evolutionary model for community assembly through resource competition, allelophatic interactions, and evolutionary branching is presented and studied by numerical analysis. Our major findings are that stable communities with increasing biodiversity can emerge at weak allelopathic suppression, but stronger allelophaty is negatively correlated with community diversity. In the former regime the allelopathic interaction networks exhibit Gaussian degree distributions, while in the later one the network degrees are Weibull distributed.


title: Archimedean theory and $\epsilon$-factors for the Asai Rankin-Selberg integrals

abstract: In this paper, we partially complete the local Rankin-Selberg theory of Asai $L$-functions and $\epsilon$-factors as introduced by Flicker and Kable. In particular, we establish the relevant local functional equation at Archimedean places and prove the equality between Rankin-Selberg's and Langlands-Shahidi's $\epsilon$-factors at every place. Our proofs work uniformly for any characteristic zero local field and use as only input the global functional equation and a globalization result for a dense subset of tempered representations that we infer from work of Finis-Lapid-M\"uller. These results are used in another paper by the author to establish an explicit Plancherel decomposition for $\mathrm{GL}_n(F)\backslash \mathrm{GL}_n(E)$, $E/F$ a quadratic extension of local fields, with applications to the Ichino-Ikeda and formal degree conjecture for unitary groups.


title: Forward Modeling for Partial Observation Strategy Games - A StarCraft Defogger

abstract: We formulate the problem of defogging as state estimation and future state prediction from previous, partial observations in the context of real-time strategy games. We propose to employ encoder-decoder neural networks for this task, and introduce proxy tasks and baselines for evaluation to assess their ability of capturing basic game rules and high-level dynamics. By combining convolutional neural networks and recurrent networks, we exploit spatial and sequential correlations and train well-performing models on a large dataset of human games of StarCraft: Brood War. Finally, we demonstrate the relevance of our models to downstream tasks by applying them for enemy unit prediction in a state-of-the-art, rule-based StarCraft bot. We observe improvements in win rates against several strong community bots.


title: Bayesian Sequential Design Based on Dual Objectives for Accelerated Life Tests

abstract: Traditional accelerated life test plans are typically based on optimizing the C-optimality for minimizing the variance of an interested quantile of the lifetime distribution. The traditional methods rely on some specified planning values for the model parameters, which are usually unknown prior to the actual tests. The ambiguity of the specified parameters can lead to suboptimal designs for optimizing the intended reliability performance. In this paper, we propose a sequential design strategy for life test plans based on considering dual objectives. In the early stage of the sequential experiment, we suggest to allocate more design locations based on optimizing the D-optimality to quickly gain precision in the estimated model parameters. In the later stage of the experiment, we can allocate more samples based on optimizing the C-optimality to maximize the precision of the estimated quantile of the lifetime distribution. We compare the proposed sequential design strategy with existing test plans considering only a single criterion and illustrate the new method with an example on fatigue testing of polymer composites.


title: Semi-classical analysis on H-type groups

abstract: In this paper, we develop a semi-classical analysis on H-type groups. We define semi-classical pseudodifferential operators, prove the boundedness of their action on square integrable functions and develop a symbolic calculus. Then, we define the semi-classical measures of bounded families of square integrable functions which consists of a pair formed by a measure defined on the product of the group and its unitary dual, and by a field of trace class positive operators acting on the Hilbert spaces of the representations. We illustrate the theory by analyzing examples, which show in particular that this semi-classical analysis takes into account the finite-dimensioned representations of the group, even though they are negligible with respect to the Plancherel measure.


title: Classification of Conditional Measures Along Certain Invariant One-Dimensional Foliations

abstract: Let $(M,\mathcal A,\mu)$ be a probability space and $f:M\to M$ a homeomorphism preserving the Borel ergodic probability measure $\mu$. Given $\mathcal F$ a continuous one-dimensional $f$-invariant foliation of $M$ with $C^1$ leaves, we show that if $f$ preserves a continuous $\mathcal{F}$-arc length system, then we only have three possibilities for the conditional measures of $\mu$ along $\mathcal F$, namely: - they are atomic for almost every leaf, or - for almost every leaf their support is a Cantor subset of the leaf or - for almost every leaf they are equivalent to the measure $\lambda_x$ induced by the invariant arc-length system over $\mathcal F$. This trichotomy classifies, for example, the possible disintegrations of ergodic measures along foliations over which $f$ acts as an isometry, and also disintegrations of ergodic measures along the center foliation preserved by transitive partially hyperbolic diffeomorphisms with topological neutral center direction.


title: Corresponding Projections for Orphan Screening

abstract: We propose a novel transfer learning approach for orphan screening called corresponding projections. In orphan screening the learning task is to predict the binding affinities of compounds to an orphan protein, i.e., one for which no training data is available. The identification of compounds with high affinity is a central concern in medicine since it can be used for drug discovery and design. Given a set of prediction models for proteins with labelled training data and a similarity between the proteins, corresponding projections constructs a model for the orphan protein from them such that the similarity between models resembles the one between proteins. Under the assumption that the similarity resemblance holds, we derive an efficient algorithm for kernel methods. We empirically show that the approach outperforms the state-of-the-art in orphan screening.


title: Binary Decision Diagrams for Bin Packing with Minimum Color Fragmentation

abstract: Bin Packing with Minimum Color Fragmentation (BPMCF) is an extension of the Bin Packing Problem in which each item has a size and a color and the goal is to minimize the sum of the number of bins containing items of each color. In this work, we introduce BPMCF and present a decomposition strategy to solve the problem, where the assignment of items to bins is formulated as a binary decision diagram and an optimal integrated solutions is identified through a mixed-integer linear programming model. Our computational experiments show that the proposed approach greatly outperforms a direct formulation of BPMCF and that its performance is suitable for large instances of the problem.


title: Active Asteroid P/2017 S5 (ATLAS)

abstract: Observations of active asteroid P/2017 S5 when near perihelion reveal the ejection of large (0.1 to 10 mm) particles at 0.2 to 2 m/s speeds, with estimated mass-loss rates of a few kg/s. The protracted nature of the mass loss (continuous over 150 days) is compatible with a sublimation origin, meaning that this object is likely an ice-bearing main-belt comet. Equilibrium sublimation of exposed water ice covering as little as 0.1 sq. km can match the data. Observations a year after perihelion show the object in an inactive state from which we deduce a nucleus effective radius 450(+100/-60) m (albedo 0.06+/-0.02 assumed). The gravitational escape speed from a body of this size is just 0.3 m/s, comparable to the inferred ejection speed of the dust. Time-series photometry provides tentative evidence for rapid rotation (lightcurve period 1.4 hour) that may also play a role in the loss of mass and which, if real, is a likely consequence of spin-up by sublimation torques. P/2017 S5 shares both physical and orbital similarities with the split active asteroid pair P/2016 J1-A and J1-B, and all three objects are likely members of the 7 Myr old, collisionally produced, Theobalda family.


title: The effect of the filament-obstacle interaction on the force-velocity relation of a growing biopolymer

abstract: We investigate the effect of filament-obstacle interactions on the force-velocity relation of growing biopolymers, via calculations explicitly treating obstacle diffusion and stochastic addition and subtraction of subunits. We first show that the subunit on- and off-rates satisfy a rigorous thermodynamic relationship determined by the filament-obstacle interaction potential. Both the on- and off-rates depend not only on the average force on the obstacle, but also on the shape of the potential on the nanometer length scale. Basing obstacle-induced reduction of the on-rate entirely on the force overestimates the stall force when there are fluctuations in the force exerted on a filament tip. We then perform simulations and analytic calculations using the thermodynamic relationship. We find, consistent with expectations from general thermodynamic relations, that the "Brownian-Ratchet" model is an upper bound to the growth velocity and that for purely repulsive potentials the growth velocity is essentially that predicted by the Brownian-Ratchet model. For shallow potential wells of depth ~ 5k_BT, which might correspond to transient filament-membrane attachments, the zero-force velocity is a substantial fraction of the free-filament velocity. In this case, the growth velocity can depend strongly on the obstacle diffusion coefficient even when the dimensionless diffusion coefficient is large. The velocity also drops more rapidly than predicted by the Brownian-ratchet model, in some cases by as much as a factor of 50 at an opposing force of 1 pN. For deep potential wells, as might result from strong filament-membrane links, both the on- and off-rates are reduced significantly, slowing polymerization. Such potentials can sustain pulling forces while polymerizing, but only if the attractive well has a "shelf" comparable to or greater than the monomer size.


title: The Mathematics of Quantum-Enabled Applications on the D-Wave Quantum Computer

abstract: In this article we cover the canonical problem formulation necessary to program the D-Wave quantum processing unit (QPU) and discuss how such a problem is compiled onto the QPU. We also cover recent joint work solving a problem from topological data analysis on the D-Wave quantum computer. The goal of the article is to cover the above from a mathematical viewpoint accessible to a wide range of levels to introduce people to a (small) portion of the mathematics encountered in this industry.


title: Flight Recovery of MAVs with Compromised IMU

abstract: Micro Aerial Vehicles (MAVs) rely on onboard attitude and position sensors for autonomous flight. Due to their size, weight, and power (SWaP) constraints, most modern MAVs use miniaturized inertial measurement units (IMUs) to provide attitude feedback, which is critical for flight stabilization and control. However, recent adversarial attack studies have demonstrated that many commonly used IMUs are vulnerable to attacks exploiting their physical characteristics. Conventional redundancy-based approaches are not effective against such attacks because redundant IMUs have the same or similar physical vulnerabilities. In this paper, we present a novel fault-tolerant solution for IMU compromised scenarios, using separate position and heading information to restore the failed attitude states. Rather than adding more IMU alternatives for recovery, the proposed method is intended to minimize any modifications to the existing system and control program. Thus, it is particularly useful for vehicles that have tight SWaP constraints while requiring simultaneous high performance and safety demands. To execute the recovery logic properly, a robust estimator was designed for fine-grained detection and isolation of the faulty sensors. The effectiveness of the proposed approach was validated on a quadcopter MAV through both simulation and experimental flight tests.


title: Nuclear-Spin Dependent Parity Violation in Optically Trapped Polyatomic Molecules

abstract: We investigate using optically trapped linear polyatomic molecules as probes of nuclear spin-dependent parity violation. The presence of closely spaced, opposite-parity $\ell$-doublets is a general feature of such molecules, allowing parity-violation-sensitive pairs of levels to be brought to degeneracy in magnetic fields typically 100 times smaller than in diatomics. Assuming laser cooling and trapping of polyatomics at the current state-of-the-art for diatomics, we expect to measure nuclear spin-dependent parity-violating matrix elements $iW$ with 70 times better sensitivity than the current best measurements. Our scheme should allow for 10 \% measurements of $iW$ in nuclei as light as Be or as heavy as Yb, with averaging times on order the of 10 days and 1 second, respectively.


title: Selected updates on semileptonic $B$ decays and $|V_{xb}|$ determination

abstract: We summarize selected up-to-date results related to semileptonic $B$ meson decays, namely results on the exclusive determination of the parameter $|V_{cb}|$ of the CKM matrix, on the inclusive determination of $|V_{ub}|$, and on $R(D^{(*)})$.


title: One-loop lattice study of composite bilinear operators in Supersymmetric QCD

abstract: We study 4-dimensional SQCD with gauge group SU(Nc) and Nf flavors of chiral supermultiplets on the lattice. We perform extensive calculations of matrix elements and renormalization factors of composite operators in Perturbation Theory. In particular, we compute the renormalization factors of quark and squark bilinears, as well as their mixing at the quantum level with gluino and gluon bilinear operators. From these results we construct correctly renormalized composite operators, which are free of mixing effects and may be employed in non-perturbative studies of Supersymmetry. All our calculations have been performed with massive matter fields, in order to regulate the infrared singularities which are inherent in renormalizing squark bilinears. Furthermore, the quark and squark propagators are computed in momentum space with nonzero masses. This work is a feasibility study for lattice computations relevant to a number of observables, such as spectra and distribution functions of hadrons, but in the context of supersymmetric QCD, as a forerunner to lattice investigations of SUSY extensions of the Standard Model.


title: The investigation of Euler's totient function preimages

abstract: We propose a lower estimation for computing quantity of the inverses of Euler's function. We answer the question about the multiplicity of $m$ in the equation $\varphi(x) = m$ \cite{Ford}. An analytic expression for exact multiplicity of $m = {{2}^{{{2}^{n}}+a}}$, where $a\in N$, $a<{{2}^{n}}$, $\varphi(t)={{2}^{{{2}^{n}}+a}}$ was obtained. A lower bound of inverses number for arbitrary $m$ was found. New numerical metric was proposed.


title: GDPP: Learning Diverse Generations Using Determinantal Point Process

abstract: Generative models have proven to be an outstanding tool for representing high-dimensional probability distributions and generating realistic-looking images. An essential characteristic of generative models is their ability to produce multi-modal outputs. However, while training, they are often susceptible to mode collapse, that is models are limited in mapping input noise to only a few modes of the true data distribution. In this work, we draw inspiration from Determinantal Point Process (DPP) to propose an unsupervised penalty loss that alleviates mode collapse while producing higher quality samples. DPP is an elegant probabilistic measure used to model negative correlations within a subset and hence quantify its diversity. We use DPP kernel to model the diversity in real data as well as in synthetic data. Then, we devise an objective term that encourages generators to synthesize data with similar diversity to real data. In contrast to previous state-of-the-art generative models that tend to use additional trainable parameters or complex training paradigms, our method does not change the original training scheme. Embedded in an adversarial training and variational autoencoder, our Generative DPP approach shows a consistent resistance to mode-collapse on a wide variety of synthetic data and natural image datasets including MNIST, CIFAR10, and CelebA, while outperforming state-of-the-art methods for data-efficiency, generation quality, and convergence-time whereas being 5.8x faster than its closest competitor.


title: Automatic Logarithm and Associated Measures

abstract: We introduce the notion of the Automatic Logarithm $\mathcal L_{\mathcal A, \mathcal B}$ with the purpose of studying the expanding properties of Schreier graphs of action of the group generated by two finite initial Mealy automata $\mathcal A$ and $\mathcal B$ on the levels of a regular $d$-ary rooted tree $\mathcal T$, where $\mathcal A$ is level-transitive and of bounded activity. $\mathcal L_{\mathcal A, \mathcal B}$ computes the lengths of chords in this family of graphs. Formally, $\mathcal L$ is a map $\partial \mathcal T \rightarrow \mathbb{Z}_d$ from the boundary of the tree to the integer $p$-adics whose values are determined by a Moore machine. The distribution of its outputs yields a probabilistic measure $\mu$ on $\partial \mathcal T$, which in some cases can be computed by a Mealy-type machine (we then say that $\mu$ is finite-state). We provide a criterion to determine whether $\mu$ is finite-state. A number of examples illustrating the different cases with $\mathcal A$ being the adding machine is provided.


title: A Linear Formulation for Power System State Estimation including RTU and PMU Measurements

abstract: In this paper, a novel linear formulation for power system state estimation that simultaneously treats conventional and synchrophasor measurements is proposed. A linear circuit model for conventional measurements is introduced to enable a fully linear equivalent circuit representation of the power system. The estimated system state is then obtained by formulating the optimization problem to minimize the measurement errors and solving the resulting linear set of optimality conditions. To evaluate the accuracy of the proposed method, simulations are performed on several test cases of various sizes and the results are presented and discussed.


title: Stochastic Gradient MCMC with Repulsive Forces

abstract: We propose a unifying view of two different Bayesian inference algorithms, Stochastic Gradient Markov Chain Monte Carlo (SG-MCMC) and Stein Variational Gradient Descent (SVGD), leading to improved and efficient novel sampling schemes. We show that SVGD combined with a noise term can be framed as a multiple chain SG-MCMC method. Instead of treating each parallel chain independently from others, our proposed algorithm implements a repulsive force between particles, avoiding collapse and facilitating a better exploration of the parameter space. We also show how the addition of this noise term is necessary to obtain a valid SG-MCMC sampler, a significant difference with SVGD. Experiments with both synthetic distributions and real datasets illustrate the benefits of the proposed scheme.


title: Experimental demonstration of dynamical input isolation in nonadiabatically modulated photonic cavities

abstract: Modulated optical cavities have been proposed and demonstrated for applications in communications, laser frequency stabilization, microwave-to-optical conversion and frequency comb generation. However, most studies are restricted to the adiabatic regime, where either the maximum excursion of the modulation or the modulation frequency itself is below the linewidth of the cavity. Here, using a fiber ring resonator with an embedded electro-optic phase modulator, we investigate the nonadiabatic regime. By strongly driving the modulator at frequencies that are significantly smaller than the free-spectral range of the ring resonator, but well beyond the linewidth of the resonator, we experimentally observe counterintuitive behavior predicted in a recent theoretical study by Minkov et al. [APL Photonics 2, 076101 (2017)], such as the complete suppression of drop-port transmission even when the input laser wavelength is on resonance with the optical cavity. This can be understood as dynamical isolation of the cavity from the input light. We also show qualitative differences in the steady-state responses of the system between the adiabatic and nonadiabatic limits. Our experiments probe a seldom explored regime of operation that is promising for applications in integrated photonic systems with current state-of-the-art technology.


title: TF-Ranking: Scalable TensorFlow Library for Learning-to-Rank

abstract: Learning-to-Rank deals with maximizing the utility of a list of examples presented to the user, with items of higher relevance being prioritized. It has several practical applications such as large-scale search, recommender systems, document summarization and question answering. While there is widespread support for classification and regression based learning, support for learning-to-rank in deep learning has been limited. We propose TensorFlow Ranking, the first open source library for solving large-scale ranking problems in a deep learning framework. It is highly configurable and provides easy-to-use APIs to support different scoring mechanisms, loss functions and evaluation metrics in the learning-to-rank setting. Our library is developed on top of TensorFlow and can thus fully leverage the advantages of this platform. For example, it is highly scalable, both in training and in inference, and can be used to learn ranking models over massive amounts of user activity data, which can include heterogeneous dense and sparse features. We empirically demonstrate the effectiveness of our library in learning ranking functions for large-scale search and recommendation applications in Gmail and Google Drive. We also show that ranking models built using our model scale well for distributed training, without significant impact on metrics. The proposed library is available to the open source community, with the hope that it facilitates further academic research and industrial applications in the field of learning-to-rank.


title: Energy-efficient Resource Allocation for Wirelessly Powered Backscatter Communications

abstract: In this letter, we consider a wireless-powered backscatter communication (WP-BackCom) network, where the transmitter first harvests energy from a dedicated energy RF source in the sleep state, and then backscatters information and harvests energy simultaneously through a reflection coefficient. Our goal is to maximize the achievable energy efficiency of the WP-BackCom network via jointly optimizing time allocation, reflection coefficient and transmit power of the dedicated energy RF source. The optimization problem is non-convex and challenging to solve. We develop an efficient Dinkelbach-based iterative algorithm to obtain the optimal resource allocation scheme. The study shows that for each iteration, the energy-efficient WP-BackCom network is equivalent to either the network in which the transmitter always operates in the active state, or the network in which the dedicated energy RF source adopts the maximum allowed power.


title: What have we learnt from pulsations of B-type stars?

abstract: We review the main results obtained from our seismic studies of B-type main sequence pulsators, based on the ground-based, MOST, Kepler and BRITE observations. Important constraints on stellar opacities, convective overshooting and rotation are derived. In each studied case, a significant modification of the opacity profile at the depths corresponding to the temperature range $\log{T}\in (5.0-5.5)$ is indispensable to explain all pulsational properties. In particular, a huge amount of opacity (at least 200\%) at the depth of the temperature $\log T = 5.46$ (the "nickel" opacity) has to be added in early B-type stellar models to account for low frequencies which correspond to high-order g modes. The values of the overshooting parameter, $\alpha_{\rm ov}$, from our seismic studies is below 0.3. In the case of a few stars, the deeper interiors have to rotate faster to get the g-mode instability in the whole observed range.


title: Scalable Graph Learning for Anti-Money Laundering: A First Look

abstract: Organized crime inflicts human suffering on a genocidal scale: the Mexican drug cartels have murdered 150,000 people since 2006, upwards of 700,000 people per year are "exported" in a human trafficking industry enslaving an estimated 40 million people. These nefarious industries rely on sophisticated money laundering schemes to operate. Despite tremendous resources dedicated to anti-money laundering (AML) only a tiny fraction of illicit activity is prevented. The research community can help. In this brief paper, we map the structural and behavioral dynamics driving the technical challenge. We review AML methods, current and emergent. We provide a first look at scalable graph convolutional neural networks for forensic analysis of financial data, which is massive, dense, and dynamic. We report preliminary experimental results using a large synthetic graph (1M nodes, 9M edges) generated by a data simulator we created called AMLSim. We consider opportunities for high performance efficiency, in terms of computation and memory, and we share results from a simple graph compression experiment. Our results support our working hypothesis that graph deep learning for AML bears great promise in the fight against criminal financial activity.


title: Differential capacitance of ionic liquids according to lattice-gas mean-field model with nearest-neighbor interactions

abstract: The Bragg-Williams free energy is used to incorporate nearest-neighbor interactions into the lattice gas model of a solvent-free ionic liquid near a planar electrode. We calculate the differential capacitance from solutions of the mean-field consistency relation, arriving at an explicit expression in the limit of a weakly charged electrode. The two additional material parameters that appear in the theory -- the degree of nonideality and the resistance to concentration changes of each ion type -- give rise to different regimes that we identify and discuss. As the nonideality parameter, which becomes more positive for stronger nearest-neighbor attraction between like-charged ions, increases and the electrode is weakly charged, the differential capacitance is predicted to transition through a divergence and subsequently adopt negative values just before the ionic liquid becomes structurally unstable. This is associated with the spontaneous charging of an electrode at vanishing potential. The physical origin of the divergence and the negative sign of the differential capacitance is a nonmonotonic relationship between surface potential and surface charge density, which reflects the formation of layered domains alternatingly enriched in counterions and coions near the electrode. The decay length of this layered domain pattern, which can be many times larger than the ion size, is reminiscent of the recently introduced concept of "underscreening".


title: Semantic Fuzzing with Zest

abstract: Programs expecting structured inputs often consist of both a syntactic analysis stage, which parses raw input, and a semantic analysis stage, which conducts checks on the parsed input and executes the core logic of the program. Generator-based testing tools in the lineage of QuickCheck are a promising way to generate random syntactically valid test inputs for these programs. We present Zest, a technique which automatically guides QuickCheck-like randominput generators to better explore the semantic analysis stage of test programs. Zest converts random-input generators into deterministic parametric generators. We present the key insight that mutations in the untyped parameter domain map to structural mutations in the input domain. Zest leverages program feedback in the form of code coverage and input validity to perform feedback-directed parameter search. We evaluate Zest against AFL and QuickCheck on five Java programs: Maven, Ant, BCEL, Closure, and Rhino. Zest covers 1.03x-2.81x as many branches within the benchmarks semantic analysis stages as baseline techniques. Further, we find 10 new bugs in the semantic analysis stages of these benchmarks. Zest is the most effective technique in finding these bugs reliably and quickly, requiring at most 10 minutes on average to find each bug.


title: Optimal Combining and Performance Analysis for Two-Way EH Relay Systems with TDBC Protocol

abstract: In this paper, we investigate a simultaneous wireless information and power transfer (SWIPT) based two-way decode-and-forward (DF) relay network, where time switching (TS) is employed for SWIPT and time division broadcast (TDBC) is employed for two-way relaying. We focus on the design of a combining scheme that decides how the relay combines the signals received from two terminals through a power allocation ratio at the relay. We formulate an optimization problem to minimize the system outage probability and obtain the optimal power allocation ratio in closed form. For the proposed optimal combining scheme, we derive the expressions for the system outage probability and capacity. Simulation results verify our derived expressions and show that the proposed scheme achieves a higher system outage capacity than the existing schemes.


title: Sensitivity-driven adaptive sparse stochastic approximations in plasma microinstability analysis

abstract: Quantifying uncertainty in predictive simulations for real-world problems is of paramount importance - and far from trivial, mainly due to the large number of stochastic parameters and significant computational requirements. Adaptive sparse grid approximations are an established approach to overcome these challenges. However, standard adaptivity is based on global information, thus properties such as lower intrinsic stochastic dimensionality or anisotropic coupling of the input directions, which are common in practical applications, are not fully exploited. We propose a novel structure-exploiting dimension-adaptive sparse grid approximation methodology using Sobol' decompositions in each subspace to introduce a sensitivity scoring system to drive the adaptive process. By employing local sensitivity information, we explore and exploit the anisotropic coupling of the stochastic inputs as well as the lower intrinsic stochastic dimensionality. The proposed approach is generic, i.e., it can be formulated in terms of arbitrary approximation operators and point sets. In particular, we consider sparse grid interpolation and pseudo-spectral projection constructed on (L)-Leja sequences. The power and usefulness of the proposed method is demonstrated by applying it to the analysis of gyrokinetic microinstabilities in fusion plasmas, one of the key scientific problems in plasma physics and fusion research. In this context, it is shown that a 12D parameter space can be scanned very efficiently, gaining more than an order of magnitude in computational cost over the standard adaptive approach. Moreover, it allows for the uncertainty propagation and sensitivity analysis in higher-dimensional plasma microturbulence problems, which would be almost impossible to tackle with standard screening approaches.

categories: physics.comp-ph cs.CE cs.NA math.NA stat.AP stat.CO


title: Markov operators generated by symmetric measures

abstract: With view to applications, we here give an explicit correspondence between the following two: (i) the set of symmetric and positive measures $\rho$ on one hand, and (ii) a certain family of generalized Markov transition measures $P$, with their associated Markov random walk models, on the other. By a generalized Markov transition measure we mean a measurable and measure-valued function $P$ on $(V, \mathcal B)$, such that for every $x \in V , P(x; \cdot)$ is a probability measure on $(V, \mathcal B$). Hence, with the use of our correspondence (i) - (ii), we study generalized Markov transitions $P$ and path-space dynamics. Given $P$, we introduce an associated operator, also denoted by $P$ , and we analyze its spectral theoretic properties with reference to a system of precise $L^2$ spaces. Our setting is more general than that of earlier treatments of reversible Markov processes. In a potential theoretic analysis of our processes, we introduce and study an associated energy Hilbert space $\mathcal H_E$, not directly linked to the initial $L^2$-spaces. Its properties are subtle, and our applications include a study of the $P$-harmonic functions. They may be in $\mathcal H_E$, called finite-energy harmonic functions. A second reason for $\mathcal H_E$ is that it plays a key role in our introduction of a generalized Greens function. (The latter stands in relation to our present measure theoretic Laplace operator in a way that parallels more traditional settings of Greens functions from classical potential theory.) A third reason for $\mathcal H_E$ is its use in our analysis of path-space dynamics for generalized Markov transition systems.


title: On a nonlocal differential equation describing roots of polynomials under differentiation

abstract: In this work we study the nonlocal transport equation derived recently by Steinerberger when studying how the distribution of roots of a polynomial behaves under iterated differentation of the function. In particular, we study the well-posedness of the equation, establish some qualitative properties of the solution and give conditions ensuring the global existence of both weak and strong solutions. Finally, we present a link between the equation obtained by Steinerberger and a one-dimensional model of the surface quasi-geostrophic equation used by Chae, C\'ordoba, C\'ordoba and Fontelos.


title: Notes on formal deformations of quantum planes and universal enveloping algebras

abstract: In these notes, we introduce formal hom-associative deformations of the quantum planes and the universal enveloping algebras of the two-dimensional non-abelian Lie algebras. We then show that these deformations induce formal hom-Lie deformations of the corresponding Lie algebras constructed by using the commutator as bracket.


title: Heterogeneous Power-Splitting Based Two-Way DF Relaying with Non-Linear Energy Harvesting

abstract: Simultaneous wireless information and power transfer (SWIPT) has been recognized as a promising approach to improving the performance of energy constrained networks. In this paper, we investigate a SWIPT based three-step two-way decode-and-forward (DF) relay network with a non-linear energy harvester equipped at the relay. As most existing works require instantaneous channel state information (CSI) while CSI is not fully utilized when designing power splitting (PS) schemes, there exists an opportunity for enhancement by exploiting CSI for PS design. To this end, we propose a novel heterogeneous PS scheme, where the PS ratios are dynamically changed according to instantaneous channel gains. In particular, we derive the closed-form expressions of the optimal PS ratios to maximize the capacity of the investigated network and analyze the outage probability with the optimal dynamic PS ratios based on the non-linear energy harvesting (EH) model. The results provide valuable insights into the effect of various system parameters, such as transmit power of the source, source transmission rate, and source to relay distance on the performance of the investigated network. The results show that our proposed PS scheme outperforms the existing schemes.


title: NOMAD 2018 Kaggle Competition: Solving Materials Science Challenges Through Crowd Sourcing

abstract: Machine learning (ML) is increasingly used in the field of materials science, where statistical estimates of computed properties are employed to rapidly examine the chemical space for new compounds. However, a systematic comparison of several ML models for this domain has been hindered by the scarcity of appropriate datasets of materials properties, as well as the lack of thorough benchmarking studies. To address this, a public data-analytics competition was organized by the Novel Materials Discovery (NOMAD) Centre of Excellence and hosted by the on-line platform Kaggle using a dataset of $3\,000$ (Al$_x$ Ga$_y$ In$_z$)$_2$ O$_3$ compounds (with $x+y+z = 1$). The aim of this challenge was to identify the best ML model for the prediction of two key physical properties that are relevant for optoelectronic applications: the electronic band gap energy and the crystalline formation energy. In this contribution, we present a summary of the top three ML approaches of the competition including the 1st place solution based on a crystal graph representation that is new for ML of the properties of materials. The 2nd place model combined many candidate descriptors from a set of compositional, atomic environment-based, and average structural properties with the light gradient-boosting machine regression model. The 3rd place model employed the smooth overlap of atomic positions representation with a neural network. To gain insight into whether the representation or the regression model determines the overall model performance, nine ML models obtained by combining the representations and regression models of the top three approaches were compared by looking at the correlations among prediction errors. At fixed representation, the largest correlation is observed in predictions made with kernel ridge regression and neural network, reflecting a similar performance on the same test set samples.


title: Graph Node-Feature Convolution for Representation Learning

abstract: Graph convolutional network (GCN) is an emerging neural network approach. It learns new representation of a node by aggregating feature vectors of all neighbors in the aggregation process without considering whether the neighbors or features are useful or not. Recent methods have improved solutions by sampling a fixed size set of neighbors, or assigning different weights to different neighbors in the aggregation process, but features within a feature vector are still treated equally in the aggregation process. In this paper, we introduce a new convolution operation on regular size feature maps constructed from features of a fixed node bandwidth via sampling to get the first-level node representation, which is then passed to a standard GCN to learn the second-level node representation. Experiments show that our method outperforms competing methods in semi-supervised node classification tasks. Furthermore, our method opens new doors for exploring new GCN architectures, particularly deeper GCN models.


title: MAN: Moment Alignment Network for Natural Language Moment Retrieval via Iterative Graph Adjustment

abstract: This research strives for natural language moment retrieval in long, untrimmed video streams. The problem is not trivial especially when a video contains multiple moments of interests and the language describes complex temporal dependencies, which often happens in real scenarios. We identify two crucial challenges: semantic misalignment and structural misalignment. However, existing approaches treat different moments separately and do not explicitly model complex moment-wise temporal relations. In this paper, we present Moment Alignment Network (MAN), a novel framework that unifies the candidate moment encoding and temporal structural reasoning in a single-shot feed-forward network. MAN naturally assigns candidate moment representations aligned with language semantics over different temporal locations and scales. Most importantly, we propose to explicitly model moment-wise temporal relations as a structured graph and devise an iterative graph adjustment network to jointly learn the best structure in an end-to-end manner. We evaluate the proposed approach on two challenging public benchmarks DiDeMo and Charades-STA, where our MAN significantly outperforms the state-of-the-art by a large margin.


title: Lattice Landau gauge quark propagator at finite temperature

abstract: We study the Landau gauge quark propagator, at finite temperature, using quenched lattice simulations. Special focus is given to the behaviour of the momentum space form factors across the confinement-deconfinement phase transition.


title: Parametric Denotational Semantics for Extensible Language Definition and Program Analysis

abstract: We present a novel approach to construction of a formal semantics for a programming language. Our approach, using a parametric denotational semantics, allows the semantics to be easily extended to support new language features, and abstracted to define program analyses. We apply this in analysing a duck-typed, reflective, curried dynamic language. The benefits of this approach include its terseness and modularity, and the ease with which one can gradually build language features and analyses on top of a previous incarnation of a semantics.


title: Mixed Precision Quantization of ConvNets via Differentiable Neural Architecture Search

abstract: Recent work in network quantization has substantially reduced the time and space complexity of neural network inference, enabling their deployment on embedded and mobile devices with limited computational and memory resources. However, existing quantization methods often represent all weights and activations with the same precision (bit-width). In this paper, we explore a new dimension of the design space: quantizing different layers with different bit-widths. We formulate this problem as a neural architecture search problem and propose a novel differentiable neural architecture search (DNAS) framework to efficiently explore its exponential search space with gradient-based optimization. Experiments show we surpass the state-of-the-art compression of ResNet on CIFAR-10 and ImageNet. Our quantized models with 21.1x smaller model size or 103.9x lower computational cost can still outperform baseline quantized or even full precision models.


title: BlockPuzzle - A Challenge in Physical Reasoning and Generalization for Robot Learning

abstract: In this work we propose a novel task framework under which a variety of physical reasoning puzzles can be constructed using very simple rules. Under sparse reward settings, most of these tasks can be very challenging for a reinforcement learning agent to learn. We build several simple environments with this task framework in Mujoco and OpenAI gym and attempt to solve them. We are able to solve the environments by designing curricula to guide the agent in learning and using imitation learning methods to transfer knowledge from a simpler environment. This is only a first step for the task framework, and further research on how to solve the harder tasks and transfer knowledge between tasks is needed.


title: Admissible vectors and Hilbert algebras

abstract: Admissible vectors for unitary representations of locally compact groups are the basis for group-frame and covariant coherent state expansions. Main tools in the study of admissible vectors have been Plancherel and central integral decomposition, of applicability only under certain separability and semifiniteness restrictions. In this work we present a study of admissible vectors in terms of convolution Hilbert algebras valid for arbitrary unitary representations of general locally compact groups.


title: Using Column Generation to Solve Extensions to the Markowitz Model

abstract: We introduce a solution scheme for portfolio optimization problems with cardinality constraints. Typical portfolio optimization problems are extensions of the classical Markowitz mean-variance portfolio optimization model. We solve such type of problems using a method similar to column generation. In this scheme, the original problem is restricted to a subset of the assets resulting in a master convex quadratic problem. Then the dual information of the master problem is used in a sub-problem to propose more assets to consider. We also consider other extensions to the Markowitz model to diversify the portfolio selection within the given intervals for active weights.


title: On $n$-ary Generalization of BiHom-Lie Algebras and BiHom-Associative Algebras

abstract: The aim of this paper is to introduce $n$-ary BiHom-algebras, generalizing BiHom-algebras. We introduce an alternative concept of BiHom-Lie algebra called BiHom-Lie-Leibniz algebra and study various type of $n$-ary BiHom-Lie algebras and BiHom-associative algebras. We show that $n$-ary BiHom-Lie-Leibniz algebra can be represented by BiHom-Lie-Leibniz algebra through fundamental objets. Moreover, we provide some key constructions and study $n$-ary BiHom-Lie algebras induced by $(n-1)$-ary BiHom-Lie algebras.


title: Nonlinear Wave Propagation in 3D-Printed Graded Lattices of Hollow Elliptical Cylinders

abstract: We propose a 3D-printed graded lattice made of hollow elliptical cylinders (HECs) as a new way to design impact mitigation systems. We observe asymmetric dynamics in the graded HEC chains with increasing and decreasing stiffness. Specifically, the increasing stiffness chain shows an acceleration of the propagating waves, while the decreasing stiffness chain shows the opposite. From the standpoint of impact mitigation, the decreasing stiffness chain combined with the strain-softening behavior of HECs results in an order-of-magnitude improvement in force attenuation compared to the increasing stiffness chain. We extend this finding to the graded 2D arrays and demonstrate a similar trend of wave transmission efficiency contrast between the increasing and decreasing stiffness lattices. The 3D-printed HEC lattices shown in this study can lead to the development of a new type of impact mitigating and shock absorbing structures.


title: Intraday forecasts of a volatility index: Functional time series methods with dynamic updating

abstract: As a forward-looking measure of future equity market volatility, the VIX index has gained immense popularity in recent years to become a key measure of risk for market analysts and academics. We consider discrete reported intraday VIX tick values as realisations of a collection of curves observed sequentially on equally spaced and dense grids over time and utilise functional data analysis techniques to produce one-day-ahead forecasts of these curves. The proposed method facilitates the investigation of dynamic changes in the index over very short time intervals as showcased using the 15-second high-frequency VIX index values. With the help of dynamic updating techniques, our point and interval forecasts are shown to enjoy improved accuracy over conventional time series models.


title: Nebular Spectroscopy of Kepler's Brightest Supernova

abstract: We present late-time ($\sim$240-260 days after peak brightness) optical photometry and nebular (+236 and +264 days) spectroscopy of SN 2018oh, the brightest Type Ia supernova (SN Ia) observed by the Kepler telescope. The Kepler/K2 30-minute cadence observations started days before explosion and continued past peak brightness. For several days after explosion, SN 2018oh had blue "excess" flux in addition to a normal SN rise. The flux excess can be explained by the interaction between the SN and a Roche-lobe filling non-degenerate companion star. Such a scenario should also strip material from the companion star, that would emit once the SN ejecta become optically thin, imprinting relatively narrow emission features in its nebular spectrum. We search our nebular spectra for signs of this interaction, including close examination of wavelengths of hydrogen and helium transitions, finding no significant narrow emission. We place upper limits on the luminosity of these features of $2.6,\ 2.9\ \mathrm{and}\ 2.1\times10^{37}\ \mathrm{erg\ s^{-1}}$ for H$\alpha$, He I $\lambda$5875, and He I $\lambda$6678, respectively. Assuming a simple model for the amount of swept-up material, we estimate upper mass limits for hydrogen of $5.4\times10^{-4}\ \mathrm{M_{\odot}}$ and helium of $4.7\times10^{-4}\ \mathrm{M_{\odot}}$. Such stringent limits are unexpected for the companion-interaction scenario consistent with the early data. No known model can explain the excess flux, its blue color, and the lack of late-time narrow emission features.


title: Deep Factors with Gaussian Processes for Forecasting

abstract: A large collection of time series poses significant challenges for classical and neural forecasting approaches. Classical time series models fail to fit data well and to scale to large problems, but succeed at providing uncertainty estimates. The converse is true for deep neural networks. In this paper, we propose a hybrid model that incorporates the benefits of both approaches. Our new method is data-driven and scalable via a latent, global, deep component. It also handles uncertainty through a local classical Gaussian Process model. Our experiments demonstrate that our method obtains higher accuracy than state-of-the-art methods.


title: Understanding Unequal Gender Classification Accuracy from Face Images

abstract: Recent work shows unequal performance of commercial face classification services in the gender classification task across intersectional groups defined by skin type and gender. Accuracy on dark-skinned females is significantly worse than on any other group. In this paper, we conduct several analyses to try to uncover the reason for this gap. The main finding, perhaps surprisingly, is that skin type is not the driver. This conclusion is reached via stability experiments that vary an image's skin type via color-theoretic methods, namely luminance mode-shift and optimal transport. A second suspect, hair length, is also shown not to be the driver via experiments on face images cropped to exclude the hair. Finally, using contrastive post-hoc explanation techniques for neural networks, we bring forth evidence suggesting that differences in lip, eye and cheek structure across ethnicity lead to the differences. Further, lip and eye makeup are seen as strong predictors for a female face, which is a troubling propagation of a gender stereotype.


title: Kernel based method for the $k$-sample problem

abstract: In this paper we deal with the problem of testing for the equality of $k$ probability distributions defined on $(\mathcal{X},\mathcal{B})$, where $\mathcal{X}$ is a metric space and $\mathcal{B}$ is the corresponding Borel $\sigma$-field. We introduce a test statistic based on reproducing kernel Hilbert space embeddings and derive its asymptotic distribution under the null hypothesis. Simulations show that the introduced procedure outperforms known methods.


title: DVC: An End-to-end Deep Video Compression Framework

abstract: Conventional video compression approaches use the predictive coding architecture and encode the corresponding motion information and residual information. In this paper, taking advantage of both classical architecture in the conventional video compression method and the powerful non-linear representation ability of neural networks, we propose the first end-to-end video compression deep model that jointly optimizes all the components for video compression. Specifically, learning based optical flow estimation is utilized to obtain the motion information and reconstruct the current frames. Then we employ two auto-encoder style neural networks to compress the corresponding motion and residual information. All the modules are jointly learned through a single loss function, in which they collaborate with each other by considering the trade-off between reducing the number of compression bits and improving quality of the decoded video. Experimental results show that the proposed approach can outperform the widely used video coding standard H.264 in terms of PSNR and be even on par with the latest standard H.265 in terms of MS-SSIM. Code is released at https://github.com/GuoLusjtu/DVC.


title: Searching for the dead cone effects with iterative declustering of heavy-flavor jets

abstract: We present a new method to expose the dead cone effect at colliders using iterative declustering techniques. Iterative declustering allows to unwind the jet clustering and to access the subjets or branches at different depths of the jet tree. Our method consists on declustering the heavy flavour-tagged jet using Cambridge-Achen algorithm following the branch containing the heavy flavour at each step and registering the kinematics of the complementary untagged prong. The kinematics of the complementary untagged prong fill a Lund map representing the gluon radiation off the heavy flavour quark at each step of the vacuum shower. Using Pythia8 MC, we show that a simple cut on the Lund plane introduced by log($k_{T}$) $> 0$, suppresses hadronisation effects and the angular separation between the jet prongs becomes very sensitive to flavour effects. A clear suppression for heavy flavour jets relative to inclusive jets in the region of splitting angles delimited by the relation $\theta < m_{Q}/E$ is observed, where $m_{Q}$ is the mass of the heavy quark and $E$ is the energy of the radiator or splitting prong.


title: Kepler Data Validation II -- Transit Model Fitting and Multiple-Planet Search

abstract: This paper discusses the transit model fitting and multiple-planet search algorithms and performance of the Kepler Science Data Processing Pipeline, developed by the Kepler Science Operations Center (SOC). Threshold Crossing Events (TCEs), which are transit candidate events, are generated by the Transiting Planet Search (TPS) component of the pipeline and subsequently processed in the Data Validation (DV) component. The transit model is used in DV to fit TCEs in order to characterize planetary candidates and to derive parameters that are used in various diagnostic tests to classify them. After the signature associated with the TCE is removed from the light curve of the target star, the residual light curve goes through TPS again to search for additional TCEs. The iterative process of transit model fitting and multiple-planet search continues until no TCE is generated from the residual light curve or an upper limit is reached. The transit model fitting and multiple-planet search performance of the final release (9.3, January 2016) of the pipeline is demonstrated with the results of the processing of 4 years (17 quarters) of flight data from the primary Kepler Mission. The transit model fitting results are accessible from the NASA Exoplanet Archive. The final version of the SOC codebase is available through GitHub.


title: From Third Person to First Person: Dataset and Baselines for Synthesis and Retrieval

abstract: First-person (egocentric) and third person (exocentric) videos are drastically different in nature. The relationship between these two views have been studied in recent years, however, it has yet to be fully explored. In this work, we introduce two datasets (synthetic and natural/real) containing simultaneously recorded egocentric and exocentric videos. We also explore relating the two domains (egocentric and exocentric) in two aspects. First, we synthesize images in the egocentric domain from the exocentric domain using a conditional generative adversarial network (cGAN). We show that with enough training data, our network is capable of hallucinating how the world would look like from an egocentric perspective, given an exocentric video. Second, we address the cross-view retrieval problem across the two views. Given an egocentric query frame (or its momentary optical flow), we retrieve its corresponding exocentric frame (or optical flow) from a gallery set. We show that using synthetic data could be beneficial in retrieving real data. We show that performing domain adaptation from the synthetic domain to the natural/real domain, is helpful in tasks such as retrieval. We believe that the presented datasets and the proposed baselines offer new opportunities for further research in this direction. The code and dataset are publicly available.


title: True Contextuality in a Psychophysical Experiment

abstract: Recent crowdsourcing experiments have shown that true contextuality of the kind found in quantum mechanics can also be present in human behavior. In these experiments simple human choices were aggregated over large numbers of respondents, with each respondent dealing with a single context (set of questions asked). In this paper we present experimental evidence of contextuality in individual human behavior, in a psychophysical experiment with repeated presentations of visual stimuli in randomly varying contexts (arrangements of stimuli). The analysis is based on the Contextuality-by-Default (CbD) theory whose relevant aspects are reviewed in the paper. CbD allows one to detect contextuality in the presence of direct influences, i.e., when responses to the same stimuli have different distributions in different contexts. The experiment presented is also the first one in which contextuality is demonstrated for responses that are not dichotomous, with five options to choose among. CbD requires that random variables representing such responses be dichotomized before they are subjected to contextuality analysis. A theorem says that a system consisting of all possible dichotomizations of responses has to be contextual if these responses violate a certain condition, called nominal dominance. In our experiment nominal dominance was violated in all data sets, with very high statistical reliability established by bootstrapping.


title: Multi-axis atom interferometer gyroscope with a single source of atoms

abstract: Using the technique of point source atom interferometry, we characterize the sensitivity of a multi-axis gyroscope based on free-space Raman interrogation of a single source of cold atoms in a glass vacuum cell. The instrument simultaneously measures the acceleration in the direction of the Raman laser beams and the component of the rotation vector in the plane perpendicular to that direction. We characterize the sensitivities for the magnitude and direction of the rotation vector measurement, which are 0.033 $^{\circ}/\mathrm{s}$ and 0.27 $^{\circ}$ with one second averaging time, respectively. The sensitivity could be improved by increasing the Raman interrogation time, allowing the cold-atom cloud to expand further, correcting the fluctuations in the initial cloud shape, and reducing sources of technical noise. The unique ability of the PSI technique to measure the rotation vector in a plane may permit applications of atom interferometry such as tracking the precession of a rotation vector and gyrocompassing.


title: A Light Scalar in the Minimal Dilaton Model in Light of LHC Constraints

abstract: Whether an additional light scalar exists is an interesting topic beyond the Standard Model (SM), while nowadays we do not know exactly physics beyond the SM in the low mass region, e.g., the Atlas and CMS collaborations get inconsistent results at around 95 GeV in searching for light resonances in diphoton channel. Considering these, we study a light scalar in the Minimal Dilaton Model (MDM). Under the theoretical and latest experimental constraints, we sort the surviving samples into two scenarios according to the diphoton rate of the light scalar: the large-diphoton scenario (with $/SM\gtrsim0.2$) and the small-diphoton scenario (with $/SM\lesssim0.2$), which are favored by CMS and Atlas results respectively. We compare the two scenarios, check the characteristics in model parameters, scalar couplings, production and decay, and consider further distinguishing them at colliders. Finally, we get the following conclusions for the two scenarios: (i) The formal usually has small Higgs-dilaton mixing angle ($|\sin\theta_S|\lesssim0.2$) and small dilaton vacuum expectation value (VEV) $f$ ($0.5\lesssim\eta\equiv v/f\lesssim1$), and the later usually has large mixing ($|\sin\theta_S|\gtrsim0.4$) or large VEV ($\eta\equiv v/f\lesssim0.3$). (ii) The former usually predicts small $s\gamma\gamma$ coupling ($|C_{s\gamma\gamma}/SM|\lesssim0.3$) and large $sgg$ coupling ($0.6\lesssim|C_{sgg}/SM|\lesssim1.2$), while the later usually predicts small $sgg$ coupling ($|C_{sgg}/SM|\lesssim0.5$). (iii) The former can interpret the small diphoton excess by CMS at its central value, when $m_s\simeq$95GeV, $\eta\simeq0.6$ and $|\sin\theta_S|\simeq0$. (iv) The former usually predicts a negative correlation between Higgs couplings $|C_{h\gamma\gamma}/SM|$ and $|C_{hgg}/SM|$, while the later usually predicts the two couplings both smaller than 1, or $|C_{h\gamma\gamma}/SM|\lesssim0.9 \lesssim|C_{hgg}/SM|$.


title: Multi-Stream Dynamic Video Summarization

abstract: With vast amounts of video content being uploaded to the Internet every minute, video summarization becomes critical for efficient browsing, searching, and indexing of visual content. Nonetheless, the spread of social and egocentric cameras creates an abundance of sparse scenarios captured by several devices, and ultimately required to be jointly summarized. In this paper, we discuss the problem of summarizing videos recorded independently by several dynamic cameras that intermittently share the field of view. We present a robust framework that (a) identifies a diverse set of important events among moving cameras that often are not capturing the same scene, and (b) selects the most representative view(s) at each event to be included in a universal summary. Due to the lack of an applicable alternative, we collected a new multi-view egocentric dataset, Multi-Ego. Our dataset is recorded simultaneously by three cameras, covering a wide variety of real-life scenarios. The footage is annotated by multiple individuals under various summarization configurations, with a consensus analysis ensuring a reliable ground truth. We conduct extensive experiments on the compiled dataset in addition to three other standard benchmarks that show the robustness and the advantage of our approach in both supervised and unsupervised settings. Additionally, we show that our approach learns collectively from data of varied number-of-views and orthogonal to other summarization methods, deeming it scalable and generic.


title: Sunstar: A Cost-effective Multi-Server Solution for Reliable Video Delivery

abstract: In spite of much progress and many advances, cost-effective, high-quality video delivery over the internet remains elusive. To address this ongoing challenge, we propose Sunstar, a solution that leverages simultaneous downloads from multiple servers to preserve video quality. The novelty in Sunstar is not so much in its use of multiple servers but in the design of a schedule that balances improvements in video quality against increases in (peering) costs. The paper's main contributions are in elucidating the impact on the cost of various approaches towards improving video quality, including the use of multiple servers, and incorporating this understanding into the design of a scheduler capable of realizing an efficient trade-off. Our results show that Sunstar's scheduling algorithm can significantly improve performance (up to 50% in some instances) without cost impacts.


title: Auto-Grading for 3D Modeling Assignments in MOOCs

abstract: Bottlenecks such as the latency in correcting assignments and providing a grade for Massive Open Online Courses (MOOCs) could impact the levels of interest among learners. In this proposal for an auto-grading system, we present a method to simplify grading for an online course that focuses on 3D Modeling, thus addressing a critical component of the MOOC ecosystem that affects. Our approach involves a live auto-grader that is capable of attaching descriptive labels to assignments which will be deployed for evaluating submissions. This paper presents a brief overview of this auto-grading system and the reasoning behind its inception. Preliminary internal tests show that our system presents results comparable to human graders.


title: A Big Data Architecture for Log Data Storage and Analysis

abstract: We propose an architecture for analysing database connection logs across different instances of databases within an intranet comprising over 10,000 users and associated devices. Our system uses Flume agents to send notifications to a Hadoop Distributed File System for long-term storage and ElasticSearch and Kibana for short-term visualisation, effectively creating a data lake for the extraction of log data. We adopt machine learning models with an ensemble of approaches to filter and process the indicators within the data and aim to predict anomalies or outliers using feature vectors built from this log data.


title: Elliptic Operators and K-Homology

abstract: If a differential operator $D$ on a smooth Hermitian vector bundle $S$ over a compact manifold $M$ is symmetric, it is essentially self-adjoint and so admits the use of functional calculus. If $D$ is also elliptic, then the Hilbert space of square integrable sections of $S$ with the canonical left $C(M)$-action and the operator $\chi(D)$ for $\chi$ a normalizing function is a Fredholm module, and its $K$-homology class is independent of $\chi$. In this expository article, we provide a detailed proof of this fact following the outline in the book "Analytic K-homology" by Higson and Roe.


title: Fast Radio Bursts From Primordial Black Hole Binaries Coalescence

abstract: In this paper we propose the model that the coalescence of primordial black holes (PBHs) binaries with equal mass $M \sim 10^{28}$g can emit luminous gigahertz (GHz) radio transient, which may be candidate sources for the observed fast radio bursts (FRBs), if at least one black hole holds appropriate amount of net electric charge $Q$. Using a dimensionless quantity for the charge $q = Q/\sqrt{G}M$, our analyses infer that $q\sim O(10^{-4.5})$ can explain the FRBs with released energy of order $O(10^{40}) {\rm ergs}$. With the current sample of FRBs and assuming a distribution of charge $\phi(q)$ for all PBHs, we can deduce that its form is proportional to $q^{-3.0\pm0.1}$ for $q\geq 7.2\times10^{-5}$ if PBHs are sources of the observed FRBs. Furthermore, with the proposed hypothetical scenario and by estimating the local event rate of FRBs $\sim 2.6 \times 10^3 {\rm Gpc}^{-3} {\rm yr}^{-1}$, one derives a lower bound for the fraction of PBHs (at the mass of $10^{28}$g) against that of matter $f_{\rm PBH}(10^{28}{\rm g})$ $\gtrsim 10^{-5}$ needed to explain the rate. With this inspiring estimate, we expect that future observations of FRBs can help to falsify their physical origins from the PBH binaries coalescences. In the future, the gravitational waves produced by mergers of small black holes can be detected by high frequency gravitational wave detectors. We believe that this work would be a useful addition to the current literature on multimessenger astronomy and cosmology.


title: The Duality between Ideals of Multilinear Operators and Tensor Norms

abstract: We develop the duality theory between ideals of multilinear operators and tensor norms that arises from the geometric approach of $\Sigma$-operators. To this end, we introduce and develop the notions of $\Sigma$-ideals of multilinear operators and $\Sigma$-tensor norms. We establish the foundations of this theory by proving a representation theorem for maximal $\Sigma$-ideals of multilinear operators by finitely generated $\Sigma$-tensor norms and a duality theorem for $\Sigma$-tensor norms. For these notions we also develop basic theory and present concrete examples.


title: Lightweight and Optimized Sound Source Localization and Tracking Methods for Open and Closed Microphone Array Configurations

abstract: Human-robot interaction in natural settings requires filtering out the different sources of sounds from the environment. Such ability usually involves the use of microphone arrays to localize, track and separate sound sources online. Multi-microphone signal processing techniques can improve robustness to noise but the processing cost increases with the number of microphones used, limiting response time and widespread use on different types of mobile robots. Since sound source localization methods are the most expensive in terms of computing resources as they involve scanning a large 3D space, minimizing the amount of computations required would facilitate their implementation and use on robots. The robot's shape also brings constraints on the microphone array geometry and configurations. In addition, sound source localization methods usually return noisy features that need to be smoothed and filtered by tracking the sound sources. This paper presents a novel sound source localization method, called SRP-PHAT-HSDA, that scans space with coarse and fine resolution grids to reduce the number of memory lookups. A microphone directivity model is used to reduce the number of directions to scan and ignore non significant pairs of microphones. A configuration method is also introduced to automatically set parameters that are normally empirically tuned according to the shape of the microphone array. For sound source tracking, this paper presents a modified 3D Kalman (M3K) method capable of simultaneously tracking in 3D the directions of sound sources. Using a 16-microphone array and low cost hardware, results show that SRP-PHAT-HSDA and M3K perform at least as well as other sound source localization and tracking methods while using up to 4 and 30 times less computing resources respectively.


title: Explore-Exploit: A Framework for Interactive and Online Learning

abstract: Interactive user interfaces need to continuously evolve based on the interactions that a user has (or does not have) with the system. This may require constant exploration of various options that the system may have for the user and obtaining signals of user preferences on those. However, such an exploration, especially when the set of available options itself can change frequently, can lead to sub-optimal user experiences. We present Explore-Exploit: a framework designed to collect and utilize user feedback in an interactive and online setting that minimizes regressions in end-user experience. This framework provides a suite of online learning operators for various tasks such as personalization ranking, candidate selection and active learning. We demonstrate how to integrate this framework with run-time services to leverage online and interactive machine learning out-of-the-box. We also present results demonstrating the efficiencies that can be achieved using the Explore-Exploit framework.


title: Secure physical layer network coding versus secure network coding

abstract: Secure network coding realizes the secrecy of the message when the message is transmitted via noiseless network and a part of edges or a part of intermediate nodes are eavesdropped. In this framework, if the channels of the network has noise, we apply the error correction to noisy channel before applying the secure network coding. In contrast, secure physical layer network coding is a method to securely transmit a message by a combination of coding operation on nodes when the network is given as a set of noisy channels. In this paper, we give several examples of network, in which, secure physical layer network coding has advantage over secure network coding.


title: Improved phase-field-based lattice Boltzmann models with a filtered collision operator

abstract: In this study, a phase-field lattice Boltzmann model based on the Allen-Cahn equation with a filtered collision operator and high-order corrections in the equilibrium distribution functions is presented. Here we show that in addition to producing numerical results consistent with prior numerical methods, analytic solutions, and experiments with the density ratio of 1000, previous numerical deficiencies are resolved. Specifically, the new model is characterized by robustness at low viscosity, accurate prediction of shear stress at interfaces, and removal of artificial dense bubbles and rarefied droplets, etc.


title: Pre-selection of the Candidate Fields for Deep Imaging of the Epoch of Reionization with SKA1-Low

abstract: The Square Kilometre Array (SKA) will be the first low-frequency instrument with the capability to directly image the structures of the Epoch of Reionization (EoR). Indeed, deep imaging of the EoR over 5 targeted fields of 20 square degrees each has been selected as the highest priority science objective for SKA1. Aiming at preparing for this highly challenging observation, we perform an extensive pre-selection of the `quietest' and `cleanest' candidate fields in the southern sky to be suited for deep imaging of the EoR using existing catalogs and observations over a broad frequency range. The candidate fields should meet a number of strict criteria to avoid contaminations from foreground structures and sources. The candidate fields should also exhibit both the lowest average surface brightness and smallest variance to ensure uniformity and high quality deep imaging over the fields. Our selection eventually yields a sample of 7 `ideal' fields of 20 square degrees in the southern sky that could be targeted for deep imaging of the EoR. Finally, these selected fields are convolved with the synthesized beam of SKA1-low stations to ensure that the effect of sidelobes from the far field bright sources is also weak.


title: On the relation between the magnitude and exponent of OTOCs

abstract: We derive an identity relating the growth exponent of early-time OTOCs, the pre-exponential factor, and a third number called "branching time". The latter is defined within the dynamical mean-field framework, namely, in terms of the retarded kernel. This identity can be used to calculate stringy effects in the SYK and similar models, we also explicitly define "strings" in this context. As another application, we consider an SYK chain. If the coupling strength $\beta J$ is above a certain threshold and nonlinear (in the magnitude of OTOCs) effects are ignored, the exponent in the butterfly wavefront is exactly $2\pi/\beta$.


title: Possible depletion of metals into dust grains in the core of the Centaurus cluster of galaxies

abstract: We present azimuthally averaged metal abundance profiles from a full, comprehensive, and conservative re-analysis of the deep ($\sim$800 ks total net exposure) \textit{Chandra}/ACIS-S observation of the Centaurus cluster core (NGC\,4696). After carefully checking various sources of systematic uncertainties, including the choice of the spectral deprojection method, assumptions about the temperature structure of the gas, and uncertainties in the continuum modeling, we confirm the existence of a central drop in the abundances of the `reactive' elements Fe, Si, S, Mg, and Ca, within $r\lesssim$10 kpc. The same drops are also found when analyzing the \textit{XMM-Newton}/EPIC data ($\sim$150 ks). Adopting our most conservative approach, we find that, unlike the central drops seen for Fe, Si, S, Mg and Ca, the abundance of the `nonreactive' element Ar is fully consistent with showing no central drop. This is further confirmed by the significant ($>3\sigma$) central radial increase of the Ar/Fe ratio. Our results corroborate the previously proposed `dust depletion scenario' , in which central metal abundance drops are explained by the deposition of a significant fraction of centrally cooled reactive metals into dust grains present in the central regions of the Centaurus cluster. This is also supported by the previous findings that the extent of the metal abundance drops in NGC\,4696 broadly coincides with the infrared dust emission.


title: Joyal's Suspension Functor on $\Theta $ and Kan's Combinatorial Spectra

abstract: In [Joyal] where the category $\Theta$ is first defined it is noted that the dimensional shift on $\Theta$ suggests an elegant presentation of the unreduced suspension on cellular sets. In this note we prove that the reduced suspension associated to that presentation is left Quillen with respect to the Cisinski model category structure presenting the $\left(\infty,1\right)$-category of pointed spaces and enjoys the correct universal property. More, we go on to describe how, in forthcoming work, inspired by the combinatorial spectra described in [Kan], this suspension functor entails a description of spectra which echoes the weaker form of the homotopy hypothesis, we describe the development of a presentation of spectra as locally finite weak $\mathbf{Z}$-groupoids.


title: Snapshot Distillation: Teacher-Student Optimization in One Generation

abstract: Optimizing a deep neural network is a fundamental task in computer vision, yet direct training methods often suffer from over-fitting. Teacher-student optimization aims at providing complementary cues from a model trained previously, but these approaches are often considerably slow due to the pipeline of training a few generations in sequence, i.e., time complexity is increased by several times. This paper presents snapshot distillation (SD), the first framework which enables teacher-student optimization in one generation. The idea of SD is very simple: instead of borrowing supervision signals from previous generations, we extract such information from earlier epochs in the same generation, meanwhile make sure that the difference between teacher and student is sufficiently large so as to prevent under-fitting. To achieve this goal, we implement SD in a cyclic learning rate policy, in which the last snapshot of each cycle is used as the teacher for all iterations in the next cycle, and the teacher signal is smoothed to provide richer information. In standard image classification benchmarks such as CIFAR100 and ILSVRC2012, SD achieves consistent accuracy gain without heavy computational overheads. We also verify that models pre-trained with SD transfers well to object detection and semantic segmentation in the PascalVOC dataset.


title: NOTE-RCNN: NOise Tolerant Ensemble RCNN for Semi-Supervised Object Detection

abstract: The labeling cost of large number of bounding boxes is one of the main challenges for training modern object detectors. To reduce the dependence on expensive bounding box annotations, we propose a new semi-supervised object detection formulation, in which a few seed box level annotations and a large scale of image level annotations are used to train the detector. We adopt a training-mining framework, which is widely used in weakly supervised object detection tasks. However, the mining process inherently introduces various kinds of labelling noises: false negatives, false positives and inaccurate boundaries, which can be harmful for training the standard object detectors (e.g. Faster RCNN). We propose a novel NOise Tolerant Ensemble RCNN (NOTE-RCNN) object detector to handle such noisy labels. Comparing to standard Faster RCNN, it contains three highlights: an ensemble of two classification heads and a distillation head to avoid overfitting on noisy labels and improve the mining precision, masking the negative sample loss in box predictor to avoid the harm of false negative labels, and training box regression head only on seed annotations to eliminate the harm from inaccurate boundaries of mined bounding boxes. We evaluate the methods on ILSVRC 2013 and MSCOCO 2017 dataset; we observe that the detection accuracy consistently improves as we iterate between mining and training steps, and state-of-the-art performance is achieved.


title: How to Profile Privacy-Conscious Users in Recommender Systems

abstract: Matrix factorization is a popular method to build a recommender system. In such a system, existing users and items are associated to a low-dimension vector called a profile. The profiles of a user and of an item can be combined (via inner product) to predict the rating that the user would get on the item. One important issue of such a system is the so-called cold-start problem: how to allow a user to learn her profile, so that she can then get accurate recommendations? While a profile can be computed if the user is willing to rate well-chosen items and/or provide supplemental attributes or demographics (such as gender), revealing this additional information is known to allow the analyst of the recommender system to infer many more personal sensitive information. We design a protocol to allow privacy-conscious users to benefit from matrix-factorization-based recommender systems while preserving their privacy. More precisely, our protocol enables a user to learn her profile, and from that to predict ratings without the user revealing any personal information. The protocol is secure in the standard model against semi-honest adversaries.


title: Simple Confidence Intervals for MCMC Without CLTs

abstract: This short note argues that 95% confidence intervals for MCMC estimates can be obtained even without establishing a CLT, by multiplying their widths by 2.3.


title: Markov chain Monte Carlo Methods For Lattice Gaussian Sampling: Lattice Reduction and Decoding Optimization

abstract: Sampling from the lattice Gaussian distribution has emerged as an important problem in coding, decoding and cryptography. In this paper, lattice reduction technique is adopted to Gibbs sampler for lattice Gaussian sampling. Firstly, with respect to lattice Gaussian distribution, the convergence rate of systematic scan Gibbs sampling is derived and we show it is characterized by the Hirschfeld-Gebelein-R\'enyi (HGR) maximal correlation among the multivariate of being sampled. Therefore, lattice reduction is applied to formulate an equivalent lattice Gaussian distribution but with less correlated multivariate, which leads to a better Markov mixing due to the enhanced convergence rate. Then, we extend the proposed lattice-reduction-aided Gibbs sampling to lattice decoding, where the choice of the standard deviation for the sampling is fully investigated. A customized solution that suits for each specific decoding case by Euclidean distance is given, thus resulting in a better trade-off between Markov mixing and sampler decoding. Moreover, based on it, a startup mechanism is also proposed for Gibbs sampler decoding, where decoding complexity can be reduced without performance loss. Simulation results based on large-scale MIMO detection are presented to confirm the performance gain and complexity reduction.


title: Smoothing and parameter estimation by soft-adherence to governing equations

abstract: The analysis of high-dimensional dynamical systems generally requires the integration of simulation data with experimental measurements. Experimental data often has substantial amounts of measurement noise that compromises the ability to produce accurate dimensionality reduction, parameter estimation, reduced order models, and/or balanced models for control. Data assimilation attempts to overcome the deleterious effects of noise by producing a set of algorithms for state estimation from noisy and possibly incomplete measurements. Indeed, methods such as Kalman filtering and smoothing are vital tools for scientists in fields ranging from electronics to weather forecasting. In this work we develop a novel framework for smoothing data based on known or partially known nonlinear governing equations. The method yields superior results to current techniques when applied to problems with known deterministic dynamics. By exploiting the numerical time-stepping constraints of the deterministic system, an optimization formulation can readily extract the noise from the nonlinear dynamics in a principled manner. The superior performance is due in part to the fact that it optimizes global state estimates. We demonstrate the efficiency and efficacy of the method on a number of canonical examples, thus demonstrating its viability for the wide range of potential applications stated above.


title: Upper bound on the duration of quantum jumps

abstract: We present a method to estimate the time scale of quantum jumps from the time correlation of photon pairs generated from a cascade decay in an atomic system, and realize it experimentally in a cold cloud of 87Rb. Taking into account the photodetector response, we find an upper bound for the duration of a quantum jump of 21+/-11 ps.


title: Optimization of quantum well number of AlGaN/AlGaN deep-ultraviolet light-emitting diodes

abstract: In this work, performance and characteristics of AlGaN/AlGaN deep-ultraviolet light-emitting diodes (DUV LEDs) with varied number of quantum-well (QW) are investigated numerically. From our simulation, 1-QW structure give the best performance at low injection current. However, at higher injection current, 2-QWs structure give the largest power output due to its higher total radiative recombination rate and internal quantum efficiency (IQE) compared to other structures. The 2-QWs structure also has less serious efficiency droop at high current than 1-QW, which makes it an optimum structure for high-power LEDs.


title: A Flux-Balanced Fluid Model for Collisional Plasma Edge Turbulence: Numerical Simulations with Different Aspect Ratios

abstract: We investigate the drift wave -- zonal flow dynamics in a shearless slab geometry with the new flux-balanced Hasegawa-Wakatani model. As in previous Hasegawa-Wakatani models, we observe a sharp transition from a turbulence dominated regime to a zonal jet dominated regime as we decrease the plasma resistivity. However, unlike previous models, zonal structures are always present in the flux-balanced model, even for high resistivity, and strongly reduce the level of particle and vorticity flux. The more robust zonal jets also have a higher variability than in previous models, which is further enhanced when the computational domain is chosen to be elongated in the radial direction. In these cases, we observe complex multi-scale dynamics, with multiple jets interacting with one another, and intermittent bursts. We present a detailed statistical analysis which highlights how the changes in the aspect ratio of the computational domain affect the third-order statistical moments, and thus modify the turbulent dynamics.


title: Mass-deformed Yang-Mills theory in the covariant gauge and its gauge-invariant extension through the gauge-independent BEH mechanism

abstract: In this talk we consider the mass-deformed Yang-Mills theory in the covariant gauge which is obtained by just adding a gluon mass term to the Yang-Mills theory with the covariant gauge fixing term and the associated Faddeev-Popov ghost term. First, we reconfirm that the decoupling solution in the Landau gauge Yang-Mills theory is well reproduced from the mass-deformed Yang-Mills theory by taking into account loop corrections. Second, we show that the mass-deformed Yang-Mills theory is obtained as a gauge-fixed version of the gauge-invariantly extended theory which is identified with the gauge-scalar model with a single fixed-modulus scalar field in the fundamental representation of the gauge group. This equivalence is obtained as a consequence of the gauge-independent Brout-Englert-Higgs mechanism proposed recently by one of the authors. Third, we show that the reflection positivity is violated for any value of the parameters in the mass-deformed Yang-Mills theory to one-loop quantum corrections. Finally, we discuss the implications for the existence of positivity violation/restoration crossover in light of the Fradkin-Shenker continuity between Confinement-like and Higgs-like regions in a single confinement phase in the gauge-scalar model on the lattice.