title: Quantitative results on continuity of the spectral factorization mapping

abstract: The spectral factorization mapping $F\to F^+$ puts a positive definite integrable matrix function $F$ having an integrable logarithm of the determinant in correspondence with an outer analytic matrix function $F^+$ such that $F = F^+(F^+)^*$ almost everywhere. The main question addressed here is to what extent $\|F^+ - G^+\|_{H_2}$ is controlled by $\|F-G\|_{L_1}$ and $\|\log \det F - \log\det G\|_{L_1}$.


title: Modeling Nearly Spherical Pure-bulge Galaxies with a Stellar Mass-to-Light Ratio Gradient under the $\Lambda$CDM and MOND Paradigms: I. Methodology, Dynamical Stellar Mass, and Fundamental Mass Plane

abstract: We carry out spherical Jeans modeling of nearly round pure-bulge galaxies selected from the ATLAS$^{\rm 3D}$ sample. Our modeling allows for gradients in the stellar mass-to-light ratio ($M_\star/L$) through analytic prescriptions parameterized with a `gradient strength' $K$ introduced to accommodate any viable gradient. We use a generalized Osipkov-Merritt model for the velocity dispersion (VD) anisotropy. We produce Monte Carlo sets of models based on the stellar VD profiles under both the $\Lambda$CDM and MOND paradigms. Here, we describe the galaxy data, the empirical inputs, and the modeling procedures of obtaining the Monte Carlo sets. We then present the projected dynamical stellar mass, $M_{\rm \star e}$, within the effective radius $R_{\rm e}$, and the fundamental mass plane (FMP) as a function of $K$. We find the scaling of the $K$-dependent mass with respect to the ATLAS$^{\rm 3D}$ reported mass as: $\log_{10} \left[M_{\star{\rm e}}(K)/M_{\star{\rm e}}^{\rm A3D} \right] = a' + b' K$ with $a'=-0.019\pm 0.012$ and $b'=-0.18\pm 0.02$ ($\Lambda$CDM), or $a'=-0.023\pm 0.014$ and $b'=-0.23\pm 0.03$ (MOND), for $0\le K < 1.5$. The FMP has coefficients consistent with the virial expectation and only the zero-point scales with $K$. The median value of $K$ for the ATLAS$^{\rm 3D}$ galaxies is $\langle K\rangle =0.53^{+0.05}_{-0.04}$. We perform a similar analysis of the much larger SDSS DR7 spectroscopic sample. In this case, only the VD within a single aperture is available, so we impose the additional requirement that the VD slope be similar to that in the ATLAS$^{\rm 3D}$ galaxies. Our analysis of the SDSS galaxies suggests a positive correlation of $K$ with stellar mass.


title: Spectroscopic Constraints on UV Metal Line Emission at z~6-9: The Nature of Lyman-alpha Emitting Galaxies in the Reionization-Era

abstract: Recent studies have revealed intense UV metal emission lines in a modest sample of z>7 Lyman-alpha emitters, indicating a hard ionizing spectrum is present. If such high ionization features are shown to be common, it may indicate that extreme radiation fields play a role in regulating the visibility of Lyman-alpha in the reionization era. Here we present deep near-infrared spectra of seven galaxies with Lyman-alpha emission at 5.4<z<8.7 (including a newly-confirmed lensed galaxy at z=6.031) and three bright z>7 photometric targets. In nine sources we do not detect UV metal lines. However in the z=8.683 galaxy EGSY8p7, we detect a 4.6 sigma emission line in the narrow spectral window expected for NV 1243. The feature is unresolved (FWHM<90 km/s) and is likely nebular in origin. A deep H-band spectrum of EGSY8p7 reveals non-detections of CIV, He II, and OIII]. The presence of NV requires a substantial flux of photons above 77 eV, pointing to a hard ionizing spectrum powered by an AGN or fast radiative shocks. Regardless of its origin, the intense radiation field of EGSY8p7 may aid the transmission of Lyman-alpha through what is likely a partially neutral IGM. With this new detection, five of thirteen known Lyman-alpha emitters at z>7 have now been shown to have intense UV line emission, suggesting that extreme radiation fields are commonplace among the Lyman-alpha population. Future observations with JWST will eventually clarify the origin of these features and explain their role in the visibility of Lyman-alpha in the reionization era.


title: Quasi-linear Transport in a Sheared Flow Field

abstract: The evolution of a passive scalar field is considered for a slowly varying stratified medium, which is convected in an incompressible sheared flow with many overlapping static flux islands. Within the quasilinear/random phase approximation, a multiple scale expansion is made. Due to the rapid spatial variation of the temperature, the "ensemble" averaged/ slowly varying part of the solution is not described by the arithmetic average of the oscillatory evolution equation. The standard Markovian and continuum approximations are shown to be invalid. For times of order $N$, where there are $O(N^2)$ excited modes, most of the time dependent perturbation phase mixes away and the fluid reaches a new saturated state with small time oscillations about the temperature. This saturated state has smaller resonance layers, (corresponding to magnetic islands) than those that occur in the isolated resonant perturbation case. Thus the quasilinear response to the resonant interactions reduces the effective size of the perturbations. The temperature gradient of the saturated state vanishes at all the excited resonance surfaces but has a nonzero average. Thus either the quasi-linear approximation ceases to be valid on long time scales, or the fluid remains essentially in this modified equilibrium and does not evolve diffusively. Thus collisionless, driftless fast particles will not be lost rapidly in equilibria with many small islands.


title: Data-driven Coordination of Distributed Energy Resources for Active Power Provision

abstract: In this paper, we propose a framework for coordinating distributed energy resources (DERs) connected to a power distribution system, the model of which is not completely known, so that they collectively provide a specified amount of active power to the bulk power system as quantified by the power exchange between both systems at the bus interconnecting them, while respecting distribution line capacity limits. The proposed framework consists of (i) a linear time-varying input-output (IO) system model that represents the relation between the DER active power injections (inputs), and the total active power exchanged between the distribution and bulk power systems (output); (ii) an estimator that aims to estimate the IO model parameters, and (iii) a controller that determines the optimal DER active power injections so the power exchanged between both systems equals to the specified amount at a minimum generating cost. We formulate the estimation problem as a quadratic program with box constraints and solve it using the projected gradient descent algorithm. To resolve the potential issue of collinearity in the measurements used by the estimator, we introduce random perturbations in the DER active power injections during the estimation process. Using the estimated IO model, the optimal DER coordination problem to be solved by the controller can be formulated as a convex optimization problem, which can be solved easily. The effectiveness of the framework is validated via numerical simulations using the IEEE 123-bus distribution test feeder.


title: MadDM v.3.0: a Comprehensive Tool for Dark Matter Studies

abstract: We present MadDM v.3.0, a numerical tool to compute particle dark matter observables in generic new physics models. The new version features a comprehensive and automated framework for dark matter searches at the interface of collider physics, astrophysics and cosmology and is deployed as a plugin of the MadGraph5_aMC@NLO platform, inheriting most of its features. With respect to the previous version, MadDM v.3.0 can now provide predictions for indirect dark matter signatures in astrophysical environments, such as the annihilation cross section at present time and the energy spectra of prompt photons, cosmic rays and neutrinos resulting from dark matter annihilation. MadDM indirect detection features support both $2\to2$ and $2 \to n$ dark matter annihilation processes. In addition, the ability to compare theoretical predictions with experimental constraints is extended by including the Fermi-LAT likelihood for gamma-ray constraints from dwarf spheroidal galaxies and by providing an interface with the nested sampling algorithm PyMultinNest to perform high dimensional parameter scans efficiently. We validate the code for a wide set of dark matter models by comparing the results from MadDM v.3.0 to existing tools and results in the literature.


title: An Ice Structuring Mechanism for Zirconium Acetate

abstract: The control of ice nucleation and growth is critical in many natural and engineering situations. Yet, very few compounds are able to interact directly with the surface of ice crystals. Ice-structuring proteins, found in certain fishes, plants and insects, bind to the surface of ice, thereby controlling their growth. We recently revealed the ice-structuring properties of zirconium acetate which are similar to those of ice-structuring proteins. Being a salt, and therefore different from the proteins having ice-structuring properties, its ice-structuring mechanism remains unelucidated. Here we investigate this ice-structuring mechanism through the role of the concentration of zirconium acetate and of the ice crystal growth velocity. We then explore other compounds presenting similar functional groups (acetate, hydroxyl, or carboxylic groups). Based on these results, we propose that zirconium acetate adopts a hydroxy-bridged polymer structure which can bind to the surface of the ice crystals through hydrogen bonding, thereby slowing down ice crystal growth.


title: Dynamics of the freezing front during the solidification of a colloidal alumina aqueous suspension: in situ X-ray radiography, tomography and modeling

abstract: Ice templating of colloidal suspension is gaining interest in material science because it offers the possibility to shape advanced materials, and in particular porous ceramics. Recent investigations on this peculiar process show that a correlation between the morphology of the frozen suspension and the velocity of the freezing front do exist. The dynamics of the freezing front of a colloidal suspension of alumina is investigated in the present study by experimental tests, finite element numerical analysis and theoretical analytical calculations. The experimental tests are carried out by in situ X-ray radiography (investigation of the dynamics of the freezing front) and tomography (investigation of the resulting morphology of the frozen suspension). The finite element model is a continuous properties model; it is used for investigating the dynamics and the shape of the freezing front. The analytical model is based on the two-phase Stefan problem. We propose a solution for the dynamics of the solidification front based on the calculation of the diffusivity as a function of the particle fraction and local temperature.


title: Conditional End-to-End Audio Transforms

abstract: We present an end-to-end method for transforming audio from one style to another. For the case of speech, by conditioning on speaker identities, we can train a single model to transform words spoken by multiple people into multiple target voices. For the case of music, we can specify musical instruments and achieve the same result. Architecturally, our method is a fully-differentiable sequence-to-sequence model based on convolutional and hierarchical recurrent neural networks. It is designed to capture long-term acoustic dependencies, requires minimal post-processing, and produces realistic audio transforms. Ablation studies confirm that our model can separate speaker and instrument properties from acoustic content at different receptive fields. Empirically, our method achieves competitive performance on community-standard datasets.


title: Convex Hull, IP and European Electricity Pricing in a European Power Exchanges setting with efficient computation of Convex Hull Prices

abstract: This paper introduces a computationally efficient comparative approach to classical pricing rules for day-ahead electricity markets, namely Convex Hull Pricing, IP Pricing and European-like market rules, in a Power Exchange setting with non-convex demand bids. These demand bids can, for example, be useful to large industrial consumers, and extend demand block orders in use by European Power Exchanges. For this purpose, we show that Convex Hull Prices can be efficiently computed using continuous relaxations for bidding products involving start-up costs, minimum power output levels and ramp constraints, or analogous versions on the demand side. Relying on existing efficient algorithmic approaches to handle European-like market rules for such bidding products, we provide comparative numerical experiments using realistic data, which, together with stylized examples, elucidates the relative merits of each pricing rule from economic and computational perspectives. The motivation for this work is the prospective need for mid-term evolution of day-ahead markets in Europe and in the US, as well as the importance of day-ahead price signals, since these (spot) prices are used as reference prices for many power derivatives. The datasets, models and algorithms programmed in Julia/JuMP are provided in an online Git repository.


title: Gaussian graphical models reveal inter-modal and inter-regional conditional dependencies of brain alterations in Alzheimer's disease

abstract: Alzheimer's disease (AD) is characterized by a sequence of pathological changes, which are commonly assessed in vivo using MRI and PET. Currently, the most approaches to analyze statistical associations between brain regions rely on Pearson correlation. However, these are prone to spurious correlations arising from uninformative shared variance. Notably, there are no appropriate multivariate statistical models available that can easily integrate dozens of variables derived from such data, being able to use the additional information provided from the combination of data sources. Gaussian graphical models (GGMs) can estimate the conditional dependency from given data, which is expected to reflect the underlying causal relationships. We applied GGMs to assess multimodal regional brain alterations in AD. We obtained data from N=972 subjects from the Alzheimer's Disease Neuroimaging Initiative. The mean amyloid load (AV45-PET), glucose metabolism (FDG-PET), and gray matter volume (MRI) were calculated. GGMs were estimated using a Bayesian framework for the combined multimodal data to obtain conditional dependency networks. Conditional dependency matrices were much sparser (10% density) than Pearson correlation matrices (50% density). Within modalities, conditional dependency networks yielded clusters connecting anatomically adjacent regions. For associations between different modalities, only few region-specific connections remained. Graph-theoretical network statistics were significantly altered between groups, with a biphasic u-shape trajectory. GGMs removed shared variance among multimodal measures of regional brain alterations in MCI and AD, and yielded sparser matrices compared to Pearson correlation networks. Therefore, GGMs may be used as alternative to thresholding-approaches typically applied to correlation networks to obtain the most informative relations between variables.


title: Real-Time Grasp Planning for Multi-Fingered Hands by Finger Splitting

abstract: Grasp planning for multi-fingered hands is computationally expensive due to the joint-contact coupling, surface nonlinearities and high dimensionality, thus is generally not affordable for real-time implementations. Traditional planning methods by optimization, sampling or learning work well in planning for parallel grippers but remain challenging for multi-fingered hands. This paper proposes a strategy called finger splitting, to plan precision grasps for multi-fingered hands starting from optimal parallel grasps. The finger splitting is optimized by a dual-stage iterative optimization including a contact point optimization (CPO) and a palm pose optimization (PPO), to gradually split fingers and adjust both the contact points and the palm pose. The dual-stage optimization is able to consider both the object grasp quality and hand manipulability, address the nonlinearities and coupling, and achieve efficient convergence within one second. Simulation results demonstrate the effectiveness of the proposed approach. The simulation video is available at: http://me.berkeley.edu/\%7Eyongxiangfan/IROS2018/fingersplit.html


title: Non-Hermitian coherent states for finite-dimensional systems

abstract: We introduce Gilmore-Perelomov coherent states for non-unitary representations of non-compact groups, and discuss the main similarities and differences with respect to ordinary unitary Gilmore-Perelomov coherent states. The example of coherent states for the non-unitary finite dimensional representations of $SU(1,1)$ is considered and they are used to describe the propagation of light in coupled PT-symmetric optical devices.


title: Irreducibility of Lagrangian Quot schemes over an algebraic curve

abstract: Let $C$ be a complex projective smooth curve and $W$ a symplectic vector bundle of rank $2n$ over $C$. The Lagrangian Quot scheme $LQ_{-e}(W)$ parameterizes subsheaves of rank $n$ and degree $-e$ which are isotropic with respect to the symplectic form. We prove that $LQ_{-e}(W)$ is irreducible and generically smooth of the expected dimension for all large $e$, and that a generic element is saturated and stable.


title: Spontaneous and Stimulated Radiative emission of Modulated Free-Electron Quantum wavepackets - Semiclassical Analysis

abstract: Here we present a semiclassical analysis of spontaneous and stimulated radiative emission from unmodulated and optically-modulated electron quantum wavepackets. We show that the radiative emission/absorption and corresponding deceleration/acceleration of the wavepackets depend on the controllable 'history-dependent' wavepacket size. The characteristics of the radiative interaction when a wavepacket of size (duration) is short relative to the radiation wavelength, are close to the predictions of the classical point-particle modeling. On the other hand, in the long-sized wavepacket limit, the interaction is quantum-mechanical, and it diminishes exponentially at high frequency. We exemplify these effects through the scheme of Smith-Purcell radiation, and demonstrate that if the wavepacket is optically-modulated and periodically-bunched, it exhibits finite radiative emission at harmonics of the modulation frequency beyond the limit of high-frequency cutoff. Besides, the radiation analysis is further extended to the cases of superradiant emission from a beam of phase-correlated modulated electron wavepackets. This wavepacket-dependent emission process shows the radiative features of classical-to-quantum transition, indicates a way for measuring the quantum electron wavepacket size and suggests a new direction for exploring light-matter interaction.


title: Transition between algebraic and $\mathbb{Z}_2$ quantum spin liquids at large $N$

abstract: We present a field theory description of a quantum phase transition in two spatial dimensions between a $U(1)$ algebraic spin liquid with $N$ flavors of gapless two-component Dirac fermionic spinons and a gapped $\mathbb{Z}_2$ spin liquid. This transition is driven by spinon pairing and concomitant Higgsing of the emergent $U(1)$ gauge field. For sufficiently large $N$ we find a quantum critical point with non-Gaussian exponents that is stable against instanton proliferation. We compute critical exponents using either $1/N$ or $\epsilon$ expansions, and give estimates of the critical value of $N$ below which the quantum critical point disappears.


title: An efficient high dimensional quantum Schur transform

abstract: The Schur transform is a unitary operator that block diagonalizes the action of the symmetric and unitary groups on an $n$ fold tensor product $V^{\otimes n}$ of a vector space $V$ of dimension $d$. Bacon, Chuang and Harrow \cite{BCH07} gave a quantum algorithm for this transform that is polynomial in $n$, $d$ and $\log\epsilon^{-1}$, where $\epsilon$ is the precision. In a footnote in Harrow's thesis \cite{H05}, a brief description of how to make the algorithm of \cite{BCH07} polynomial in $\log d$ is given using the unitary group representation theory (however, this has not been explained in detail anywhere. In this article, we present a quantum algorithm for the Schur transform that is polynomial in $n$, $\log d$ and $\log\epsilon^{-1}$ using a different approach. Specifically, we build this transform using the representation theory of the symmetric group and in this sense our technique can be considered a "dual" algorithm to \cite{BCH07}. A novel feature of our algorithm is that we construct the quantum Fourier transform over the so called \emph{permutation modules}, which could have other applications.


title: On normalizing discrete Morse functions

abstract: We present a way to normalize a combinatorial Morse function into an integer-valued canonical representative of the set of discrete Morse functions inducing a given gradient field.


title: Understanding Autoencoders with Information Theoretic Concepts

abstract: Despite their great success in practical applications, there is still a lack of theoretical and systematic methods to analyze deep neural networks. In this paper, we illustrate an advanced information theoretic methodology to understand the dynamics of learning and the design of autoencoders, a special type of deep learning architectures that resembles a communication channel. By generalizing the information plane to any cost function, and inspecting the roles and dynamics of different layers using layer-wise information quantities, we emphasize the role that mutual information plays in quantifying learning from data. We further suggest and also experimentally validate, for mean square error training, three fundamental properties regarding the layer-wise flow of information and intrinsic dimensionality of the bottleneck layer, using respectively the data processing inequality and the identification of a bifurcation point in the information plane that is controlled by the given data. Our observations have a direct impact on the optimal design of autoencoders, the design of alternative feedforward training methods, and even in the problem of generalization.


title: Dimensionally Correct Power Law Scaling Expressions for L-mode Confinement

abstract: Confinement scalings of divertor and radiofrequency heated discharges are shown to differ significantly from the standard neutral beam heated limiter scaling. The random coefficient two stage regression algorithm is applied to a neutral beam heated limiter subset of the ITER L mode database as well as a combined dataset. We find a scaling similar to Goldston scaling for the NB limiter dataset and a scaling similar to ITER89P for the combined dataset. Various missing value algorithms are examined for the missing $B_t$ scalings. We assume that global confinement can be approximately described a power law scaling. After the second stage, the constraint of collisional Maxwell Vlasov similarity is tested and imposed. When the constraint of collisional Maxwell Vlasov similarity is imposed, the C.I.T. uncertainty is significantly reduced while the I.T.E.R. uncertainty is slightly reduced.


title: Elements of Finite Order in the Group of Formal Power Series Under Composition

abstract: We consider formal power series $f(z) = \omega z + a_2z^2 + \ldots \ (\omega \neq 0)$, with coefficients in a field of characteristic $0$. These form a group under the operation of composition (= substitution). We prove (Theorem 1) that every element $f(z)$ of finite order is conjugate to its linear term $\ell_\omega(z) = \omega z$, and we characterize those elements which conjugate $f(z)$ to $\omega z$. Then we investigate the construction of elements of order $n$ and prove (Theorem 2) that, given a primitive $n$'th root of unity $\omega$ and an arbitrary sequence $\{a_k\}_{k\neq nj+1}$ there is a unique sequence $\{a_{nj + 1}\}_{j=1}^\infty$ such that the series $f(z) = \omega z + a_2z^2 + a_3z^3 + \ldots$ has order $n$. Sections 1 - 5 give an exposition of this classical subject, written for the 2005 - 2006 Morgan State University Combinatorics Seminar. We do not claim priority for these results in this classical field, though perhaps the proof of Theorem 2 is new. We have now (2018) added Section 6 which gives references to valuable articles in the literature and historical comments which, however incomplete, we hope will give proper credit to those who have preceded this note and be helpful and of interest to the reader.


title: Class Subset Selection for Transfer Learning using Submodularity

abstract: In recent years, it is common practice to extract fully-connected layer (fc) features that were learned while performing image classification on a source dataset, such as ImageNet, and apply them generally to a wide range of other tasks. The general usefulness of some large training datasets for transfer learning is not yet well understood, and raises a number of questions. For example, in the context of transfer learning, what is the role of a specific class in the source dataset, and how is the transferability of fc features affected when they are trained using various subsets of the set of all classes in the source dataset? In this paper, we address the question of how to select an optimal subset of the set of classes, subject to a budget constraint, that will more likely generate good features for other tasks. To accomplish this, we use a submodular set function to model the accuracy achievable on a new task when the features have been learned on a given subset of classes of the source dataset. An optimal subset is identified as the set that maximizes this submodular function. The maximization can be accomplished using an efficient greedy algorithm that comes with guarantees on the optimality of the solution. We empirically validate our submodular model by successfully identifying subsets of classes that produce good features for new tasks.


title: Strain Engineering of the Intrinsic Spin Hall Conductivity in a SrTiO$_3$ Quantum Well

abstract: The intrinsic spin Hall conductivity of a two-dimensional gas confined to SrTiO$_3$, such as occurs at an LaAlO$_3$/SrTiO$_3$ interface, is calculated from the Kubo formula. The effect of strain in the [001] (normal to the quantum well direction) and the [111] direction is incorporated into a full tight-binding Hamiltonian. We show that the spin-charge conversion ratio can be significantly altered through strain and gate voltage by tuning the chemical potential. Strain direction is also a significant factor in the spin Hall response as this direction affects the alignment of the conduction bands.


title: Visual Robot Task Planning

abstract: Prospection, the act of predicting the consequences of many possible futures, is intrinsic to human planning and action, and may even be at the root of consciousness. Surprisingly, this idea has been explored comparatively little in robotics. In this work, we propose a neural network architecture and associated planning algorithm that (1) learns a representation of the world useful for generating prospective futures after the application of high-level actions, (2) uses this generative model to simulate the result of sequences of high-level actions in a variety of environments, and (3) uses this same representation to evaluate these actions and perform tree search to find a sequence of high-level actions in a new environment. Models are trained via imitation learning on a variety of domains, including navigation, pick-and-place, and a surgical robotics task. Our approach allows us to visualize intermediate motion goals and learn to plan complex activity from visual information.


title: Random Coefficient H-mode Confinement Scalings

abstract: The random coefficient two-stage regression algorithm with the collisional Maxwell-Vlasov constraint is applied to the ITER H-mode confinement database. The data violate the collisional Maxwell-Vlasov constraint at the 10-30% significance level, probably owing to radiation losses. The dimensionally constrained scaling, $\tau_E = 0.07192 M^{1/2}$ $(R/a)^{-0.221} R^{1.568} \kappa^{.3} I_p^{.904} B_t^{.201} \bar{n}^{0.106} P^{-0.493}$, is similar to ITER89P with a slightly stronger size dependence.


title: Learning Beyond Human Expertise with Generative Models for Dental Restorations

abstract: Computer vision has advanced significantly that many discriminative approaches such as object recognition are now widely used in real applications. We present another exciting development that utilizes generative models for the mass customization of medical products such as dental crowns. In the dental industry, it takes a technician years of training to design synthetic crowns that restore the function and integrity of missing teeth. Each crown must be customized to individual patients, and it requires human expertise in a time-consuming and labor-intensive process, even with computer-assisted design software. We develop a fully automatic approach that learns not only from human designs of dental crowns, but also from natural spatial profiles between opposing teeth. The latter is hard to account for by technicians but important for proper biting and chewing functions. Built upon a Generative Adversar-ial Network architecture (GAN), our deep learning model predicts the customized crown-filled depth scan from the crown-missing depth scan and opposing depth scan. We propose to incorporate additional space constraints and statistical compatibility into learning. Our automatic designs exceed human technicians' standards for good morphology and functionality, and our algorithm is being tested for production use.


title: Attentive Interaction Model: Modeling Changes in View in Argumentation

abstract: We present a neural architecture for modeling argumentative dialogue that explicitly models the interplay between an Opinion Holder's (OH's) reasoning and a challenger's argument, with the goal of predicting if the argument successfully changes the OH's view. The model has two components: (1) vulnerable region detection, an attention model that identifies parts of the OH's reasoning that are amenable to change, and (2) interaction encoding, which identifies the relationship between the content of the OH's reasoning and that of the challenger's argument. Based on evaluation on discussions from the Change My View forum on Reddit, the two components work together to predict an OH's change in view, outperforming several baselines. A posthoc analysis suggests that sentences picked out by the attention model are addressed more frequently by successful arguments than by unsuccessful ones.


title: Influence of hydrodynamic interactions on stratification in drying mixtures

abstract: Nonequilibrium molecular dynamics simulations are used to investigate the influence of hydrodynamic interactions on vertical segregation (stratification) in drying mixtures of long and short polymer chains. In agreement with previous computer simulations and theoretical modeling, the short polymers stratify on top of the long polymers at the top of the drying film when hydrodynamic interactions between polymers are neglected. However, no stratification occurs at the same drying conditions when hydrodynamic interactions are incorporated through an explicit solvent model. Our analysis demonstrates that models lacking hydrodynamic interactions do not faithfully represent stratification in drying mixtures, in agreement with recent analysis of an idealized model for diffusiophoresis, and must be incorporated into such models in future.


title: Looking for the left sneutrino LSP with displaced-vertex searches

abstract: We analyze a displaced dilepton signal expected at the LHC for a tau left sneutrino as the lightest supersymmetric particle with a mass in the range $45$-$100$ GeV. The sneutrinos are pair produced via a virtual $W$, $Z$ or $\gamma$ in the $s$ channel and, given the large value of the tau Yukawa coupling, their decays into two dileptons or a dilepton plus missing transverse energy from neutrinos can be significant. The discussion is carried out in the $\mu \nu$SSM, where the presence of $R$-parity violating couplings involving right-handed neutrinos solves the $\mu$ problem and can reproduce the neutrino data. To probe the tau left sneutrinos we compare the predictions of the $\mu \nu$SSM with the ATLAS search for long-lived particles using displaced lepton pairs in $pp$ collisions at $\sqrt s= 8$ TeV, allowing us to constrain the parameter space of the model. We also consider an optimization of the trigger requirements used in existing displaced-vertex searches by means of a High Level Trigger that exploits tracker information. This optimization is generically useful for a light metastable particle decaying into soft charged leptons. The constraints on the sneutrino turn out to be more stringent. We finally discuss the prospects for the $13$ TeV LHC searches as well as further potential optimizations.


title: Lewis Carroll and the Red Hot Potato: a graph theoretic approach to a linear algebraic identity

abstract: The Lewis Carroll Identity expresses the determinant of a matrix in terms of subdeterminants obtained by deleting one row and column or a pair of rows and columns. Using the matrix tree theorem, we can convert this into an equivalent identity involving sums over pairs of forests. Unlike the Lewis Carroll Identity, the Forest Identity involves no minus signs. In 2011, Vlasev and Yeats suggested that such a Forest Identity could be proven using edge transfers similar to Zeilberger's 1997 matrix proof. However, until now, such an algorithm has not yet been developed. In this paper, we provide this edge transfer algorithm and a bijective proof for both the Lewis Carroll Identity and Forest Identity. This bijection is implemented by the Red Hot Potato algorithm, so called because the way edges get tossed back and forth between the two forests is reminiscent of the children's game of hot potato.


title: Engineering a Simplified 0-Bit Consistent Weighted Sampling

abstract: The Min-Hashing approach to sketching has become an important tool in data analysis, information retrial, and classification. To apply it to real-valued datasets, the ICWS algorithm has become a seminal approach that is widely used, and provides state-of-the-art performance for this problem space. However, ICWS suffers a computational burden as the sketch size K increases. We develop a new Simplified approach to the ICWS algorithm, that enables us to obtain over 20x speedups compared to the standard algorithm. The veracity of our approach is demonstrated empirically on multiple datasets and scenarios, showing that our new Simplified CWS obtains the same quality of results while being an order of magnitude faster.


title: Value of the Cosmological Constant in Emergent Quantum Gravity

abstract: It is suggested that the exact value of the cosmological constant could be derived from first principles, based on entanglement of the Standard Model field vacuum with emergent holographic quantum geometry. For the observed value of the cosmological constant, geometrical information is shown to agree closely with the spatial information density of the QCD vacuum, estimated in a free-field approximation. The comparison is motivated by a model of exotic rotational fluctuations in the inertial frame that can be precisely tested in laboratory experiments. Cosmic acceleration in this model is always positive, but fluctuates with characteristic coherence length $\approx 100$km and bandwidth $\approx 3000$ Hz.


title: Temperate super-Earths/mini-Neptunes around M/K dwarfs Consist of 2 Populations Distinguished by Their Atmospheres

abstract: Studies of the atmospheres of hot Jupiters reveal a diversity of atmospheric composition and haze properties. Similar studies on individual smaller, temperate planets are rare due to the inherent difficulty of the observations and also to the average faintness of their host stars. To investigate their ensemble atmospheric properties, we construct a sample of 28 similar planets, all possess equilibrium temperature within 300-500K, have similar size (1-3 R_e), and orbit early M dwarfs and late K dwarfs with effective temperatures within a few hundred Kelvin of one another. In addition, NASA's Kepler/K2 and Spitzer missions gathered transit observations of each planet, producing an uniform transit data set both in wavelength and coarse planetary type. With the transits measured in Kepler's broad optical bandpass and Spitzer's 4.5 micron wavelength bandpass, we measure the transmission spectral slope, alpha, for the entire sample. While this measurement is too uncertain in nearly all cases to infer the properties of any individual planet, the distribution of alpha among several dozen similar planets encodes a key trend. We find that the distribution of alpha is not well-described by a single Gaussian distribution. Rather, a ratio of the Bayesian evidences between the likeliest 1-component and 2-component Gaussian models favors the latter by a ratio of 100:1. One Gaussian is centered around an average alpha=-1.3, indicating hazy/cloudy atmospheres or bare cores with atmosphere evaporated. A smaller but significant second population (20+\-10% of all) is necessary to model significantly higher alpha values, which indicate atmospheres with potentially detectable molecular features. We conclude that the atmospheres of small and temperate planets are far from uniformly flat, and that a subset are particularly favorable for follow-up observation from space-based platforms like HST and JWST.


title: Growth of Thin Oxidation-Resistive Crystalline Si Nanostructures on Graphene

abstract: We report the growth of Si nanostructures, either as thin films or nanoparticles, on graphene substrates. The Si nanostructures are shown to be single crystalline, air stable and oxidation resistive, as indicated by the observation of a single crystalline Si Raman mode at around 520 cm-1, a STM image of an ordered surface structure under ambient condition, and a Schottky junction with graphite. Ultra-thin silicon regions exhibit silicene-like behavior, including a Raman mode at around 550 cm-1, a triangular lattice structure in STM that has distinctly different lattice spacing from that of either graphene or thicker Si, and metallic conductivity of up to 500 times higher than that of graphite. This work suggests a bottom-up approach to forming a Si nanostructure array on a large scale patterned graphene substrate for fabricating nanoscale Si electronic devices.


title: Generation of complete test sets

abstract: We use testing to check if a combinational circuit N always evaluates to 0. The usual point of view is that to prove that N always evaluates to 0 one has to check the value of N for all 2^|X| input assignments where X is the set of input variables of N. We use the notion of a Stable Set of Assignments (SSA) to show that one can build a complete test set (i.e. a test set proving that N always evaluates to 0) that consists of less than 2^|X| tests. Given an unsatisfiable CNF formula H(W), an SSA of H is a set of assignments to W proving unsatisfiability of H. A trivial SSA is the set of all 2^|W| assignments to W. Importantly, real-life formulas can have SSAs that are much smaller than 2^|W|. Generating a complete test set for N using only the machinery of SSAs is inefficient. We describe a much faster algorithm that combines computation of SSAs with resolution derivation and produces a complete test set for a "projection" of N on a subset of variables of N. We give experimental results and describe potential applications of this algorithm.


title: Experimental demonstration of correlated flux scaling in photoconductivity and photoluminescence of lead-halide perovskites

abstract: Lead-halide perovskites attracted attention as materials for high-efficiency solar cells and light emitting applications. Among their attributes are solution processability, high absorbance in the visible spectral range and defect tolerance, as manifested in long photocarrier lifetimes and diffusion lengths. The microscopic origin of photophysical properties of perovskites is, however, still unclear and under debate. Here, we have observed an interesting universal scaling behavior in a series of (hybrid and all-inorganic) perovskite single crystals investigated via simultaneous measurements of the Hall effect, photoconductivity and photoluminescence. A clear correlation between photoconductivity and photoluminescence as functions of the incident photon flux is observed. While photoconductivity exhibits a crossover in the power-law dependence between power exponents 1 and 1/2, photoluminescence exhibits a crossover between power exponents 2 and 3/2. This correlation is found in all the studied compounds irrespective of the cation type (organic or inorganic) or crystallographic phases. We propose phenomenological microscopic mechanisms that explain these interesting non-trivial power exponents and crossovers between them in this broad class of lead-halide perovskites.


title: Thermoelectric Scanning Gate Interferometry on a Quantum Point Contact

abstract: We introduce a new scanning probe technique derived from scanning gate microscopy (SGM) in order to investigate thermoelectric transport in two-dimensional semiconductor devices. The thermoelectric scanning gate Microscopy (TSGM) consists in measuring the thermoelectric voltage induced by a temperature difference across a device, while scanning a polarized tip that locally changes the potential landscape. We apply this technique to perform interferometry of the thermoelectric transport in a quantum point contact (QPC). We observe an interference pattern both in SGM and TSGM images, and evidence large differences between the two signals in the low density regime of the QPC. In particular, a large phase jump appears in the interference fringes recorded by TSGM, which is not visible in SGM. We discuss this difference of sensitivity using a microscopic model of the experiment, based on the contribution from a resonant level inside or close to the QPC. This work demonstrates that combining scanning gate microscopy with thermoelectric measurements offers new information as compared to SGM, and provides a direct access to the derivative of the device transmission with respect to energy, both in amplitude and in phase.


title: Relation algebras and groups

abstract: Generalizing results of J\'onsson and Tarski, Maddux introduced the notion of a pair-dense relation algebra and proved that every pair-dense relation algebra is representable. The notion of a pair below the identity element is readily definable within the equational framework of relation algebras. The notion of a triple, a quadruple, or more generally, an element of size (or measure) n>2 is not definable within this framework, and therefore it seems at first glance that Maddux's theorem cannot be generalized. It turns out, however, that a very far-reaching generalization of Maddux's result is possible if one is willing to go outside of the equational framework of relation algebras, and work instead within the framework of the first-order theory. In the present paper, we define the notion of an atom below the identity element in a relation algebra having measure n for an arbitrary cardinal number n>0, and we define a relation algebra to be measurable if it's identity element is the sum of atoms each of which has some (finite or infinite) measure. The main purpose of the present paper is to construct a large class of new examples of group relation algebras using systems of groups and corresponding systems of quotient isomorphisms (instead of the classic example of using a single group and forming its complex algebra), and to prove that each of these algebras is an example of a measurable set relation algebra. In a subsequent paper, the class of examples will be greatly expanded by adding a third ingredient to the mix, namely systems of "shifting" cosets. The expanded class of examples---called coset relation algebras---will be large enough to prove a representation theorem saying that every atomic, measurable relation algebra is essentially isomorphic to a coset relation algebra.


title: Operator representations of sequences and dynamical sampling

abstract: This paper is a contribution to the theory of dynamical sampling. Our purpose is twofold. We first consider representations of sequences in a Hilbert space in terms of iterated actions of a bounded linear operator. This generalizes recent results about operator representations of frames, and is motivated by the fact that only very special frames have such a representation. As our second contribution we give a new proof of a construction of a special class of frames that are proved by Aldroubi et al. to be representable via a bounded operator. Our proof is based on a single result by Shapiro \& Shields and standard frame theory, and our hope is that it eventually can help to provide more general classes of frames with such a representation.


title: On global dynamics of the Maxwell-Klein-Gordon equations

abstract: On the three dimensional Euclidean space, for data with finite energy, it is well-known that the Maxwell-Klein-Gordon equations admit global solutions. However, the asymptotic behaviours of the solutions for the data with non-vanishing charge and arbitrary large size are unknown. It is conjectured that the solutions disperse as linear waves and enjoy the so-called peeling properties for pointwise estimates. We provide a gauge independent proof of the conjecture.


title: Learning General Purpose Distributed Sentence Representations via Large Scale Multi-task Learning

abstract: A lot of the recent success in natural language processing (NLP) has been driven by distributed vector representations of words trained on large amounts of text in an unsupervised manner. These representations are typically used as general purpose features for words across a range of NLP problems. However, extending this success to learning representations of sequences of words, such as sentences, remains an open problem. Recent work has explored unsupervised as well as supervised learning techniques with different training objectives to learn general purpose fixed-length sentence representations. In this work, we present a simple, effective multi-task learning framework for sentence representations that combines the inductive biases of diverse training objectives in a single model. We train this model on several data sources with multiple training objectives on over 100 million sentences. Extensive experiments demonstrate that sharing a single recurrent sentence encoder across weakly related tasks leads to consistent improvements over previous methods. We present substantial improvements in the context of transfer learning and low-resource settings using our learned general-purpose representations.


title: Fundamental group of $AF$-algebras with finite dimensional trace space

abstract: We consider the realization of fundamental groups of $AF$-algebras in a certain class. We find the fundametal groups of $AF$-algebras with finite dimensional trace space which is not realizable as a fundamental group of von Neumann algebras.


title: On the growth of the support of positive vorticity for 2D Euler equation in an infinite cylinder

abstract: We consider the incompressible 2D Euler equation in an infinite cylinder $\mathbb{R}\times \mathbb{T}$ in the case when the initial vorticity is non-negative, bounded, and compactly supported. We study $d(t)$, the diameter of the support of vorticity, and prove that it allows the following bound: $d(t)\leq Ct^{1/3}\log^2 t$ when $t\rightarrow\infty$.


title: A simple framework for modelling the dependence of bulk Comptonization by turbulence on accretion disc parameters

abstract: Warm Comptonization models for the soft X-ray excess in AGN do not self-consistently explain the relationship between the Comptonizing medium and the underlying accretion disc. Because of this, they cannot directly connect the fitted Comptonization temperatures and optical depths to accretion disc parameters. Since bulk velocities exceed thermal velocities in highly radiation pressure dominated discs, in these systems bulk Comptonization by turbulence may provide a physical basis in the disc itself for warm Comptonization models. We model the dependence of bulk Comptonization on fundamental accretion disc parameters, such as mass, luminosity, radius, spin, inner boundary condition, and $\alpha$. In addition to constraining warm Comptonization models, our model can help distinguish contributions from bulk Comptonization to the soft X-ray excess from those due to other physical mechanisms, such as absorption and reflection. By linking the time variability of bulk Comptonization to fluctuations in the disc vertical structure due to magnetorotational instability (MRI) turbulence, our results show that observations of the soft X-ray excess can be used to study disc turbulence in the radiation pressure dominated regime. Because our model connects bulk Comptonization to one dimensional vertical structure temperature profiles in a physically intuitive way, it will be useful for understanding this effect in future simulations run in new regimes.


title: Dark Matter Distribution Induced by a Cosmic String Wake in the Nonlinear Regime

abstract: We study the distribution of dark matter in the nonlinear regime in a model in which the primordial fluctuations include, in addition to the dominant primordial Gaussian fluctuations generated by the standard $\Lambda CDM$ cosmological model, the effects of a cosmic string wake set up at the time of equal matter and radiation, making use of cosmological $N$-body simulations. At early times the string wake leads to a planar overdensity of dark matter. We study how this non-Gaussian pattern of a cosmic string wake evolves in the presence of the Gaussian perturbations, making use of wavelet and ridgelet-like statistics specifically designed to extract string wake signals. At late times the Gaussian fluctuations disrupt the string wake. We find that for a string tension of $G \mu = 10^{-7}$, a value just below the current observational limit, the effects of a string wake can be identified in the dark matter distribution, using the current level of the statistical analysis, down to a redshift of $z = 10$.


title: Characterizing Interconnections and Linguistic Patterns in Twitter

abstract: Social media is considered a democratic space in which people connect and interact with each other regardless of their gender, race, or any other demographic aspect. Despite numerous efforts that explore demographic aspects in social media, it is still unclear whether social media perpetuates old inequalities from the offline world. In this dissertation, we attempt to identify gender and race of Twitter users located in the United States using advanced image processing algorithms from Face++. We investigate how different demographic groups connect with each other and differentiate them regarding linguistic styles and also their interests. We quantify to what extent one group follows and interacts with each other and the extent to which these connections and interactions reflect in inequalities in Twitter. We also extract linguistic features from six categories (affective attributes, cognitive attributes, lexical density and awareness, temporal references, social and personal concerns, and interpersonal focus) in order to identify the similarities and the differences in the messages they share in Twitter. Furthermore, we extract the absolute ranking difference of top phrases between demographic groups. As a dimension of diversity, we use the topics of interest that we retrieve from each user. Our analysis shows that users identified as white and male tend to attain higher positions, in terms of the number of followers and number of times in another user's lists, in Twitter. There are clear differences in the way of writing across different demographic groups in both gender and race domains as well as in the topic of interest. We hope our effort can stimulate the development of new theories of demographic information in the online space. Finally, we developed a Web-based system that leverages the demographic aspects of users to provide transparency to the Twitter trending topics system.


title: A metric discrepancy results for geometric progression with ratio $3/2$

abstract: We prove the law of the iterated logarithm for discrepancies of the sequence $\{(3/2)^kx\}$.


title: HCAP: A History-Based Capability System for IoT Devices

abstract: Permissions are highly sensitive in Internet-of-Things (IoT) applications, as IoT devices collect our personal data and control the safety of our environment. Rather than simply granting permissions, further constraints shall be imposed on permission usage so as to realize the Principle of Least Privilege. Since IoT devices are physically embedded, they are often accessed in a particular sequence based on their relative physical positions. Monitoring if such sequencing constraints are honoured when IoT devices are accessed provides a means to fence off malicious accesses. This paper proposes a history-based capability system, HCAP, for enforcing permission sequencing constraints in a distributed authorization environment. We formally establish the security guarantees of HCAP, and empirically evaluate its performance.


title: Some results on a class of functional optimization problems

abstract: We first describe a general class of optimization problems that describe many natural, economic, and statistical phenomena. After noting the existence of a conserved quantity in a transformed coordinate system, we outline several instances of these problems in statistical physics, facility allocation, and machine learning. A dynamic description and statement of a partial inverse problem follow. When attempting to optimize the state of a system governed by the generalized equipartitioning principle, it is vital to understand the nature of the governing probability distribution. We show that optimiziation for the incorrect probability distribution can have catastrophic results, e.g., infinite expected cost, and describe a method for continuous Bayesian update of the posterior predictive distribution when it is stationary. We also introduce and prove convergence properties of a time-dependent nonparametric kernel density estimate (KDE) for use in predicting distributions over paths. Finally, we extend the theory to the case of networks, in which an event probability density is defined over nodes and edges and a system resource is to be partitioning among the nodes and edges as well. We close by giving an example of the theory's application by considering a model of risk propagation on a power grid.


title: SENSEI: First Direct-Detection Constraints on sub-GeV Dark Matter from a Surface Run

abstract: The Sub-Electron-Noise Skipper CCD Experimental Instrument (SENSEI) uses the recently developed Skipper-CCD technology to search for electron recoils from the interaction of sub-GeV dark matter particles with electrons in silicon. We report first results from a prototype SENSEI detector, which collected 0.019 gram-days of commissioning data above ground at Fermi National Accelerator Laboratory. These commissioning data are sufficient to set new direct-detection constraints for dark matter particles with masses between ~500 keV and 4 MeV. Moreover, since these data were taken on the surface, they disfavor previously allowed strongly interacting dark matter particles with masses between ~500 keV and a few hundred MeV. We discuss the implications of these data for several dark matter candidates, including one model proposed to explain the anomalously large 21-cm signal observed by the EDGES Collaboration. SENSEI is the first experiment dedicated to the search for electron recoils from dark matter, and these results demonstrate the power of the Skipper-CCD technology for dark matter searches.


title: FIT{\it spec}: a new algorithm for the automated fit of synthetic stellar spectra for OB stars

abstract: In this paper we describe the FIT\textit{spec} code, a data mining tool for the automatic fitting of synthetic stellar spectra. The program uses a database of 27\,000 {\sc cmfgen} models of stellar atmospheres arranged in a six-dimensional (6D) space, where each dimension corresponds to one model parameter. From these models a library of 2\,835\,000 synthetic spectra were generated covering the ultraviolet, optical, and infrared region of the electromagnetic spectrum. Using FIT\textit{spec} we adjust the effective temperature and the surface gravity. From the 6D array we also get the luminosity, the metallicity, and three parameters for the stellar wind: the terminal velocity ($v_\infty$), the $\beta$ exponent of the velocity law, and the clumping filling factor ($F_{\rm cl}$). Finally, the projected rotational velocity ($v\cdot\sin i$) can be obtained from the library of stellar spectra. Validation of the algorithm was performed by analyzing the spectra of a sample of eight O-type stars taken from the {\sc iacob} spectroscopic survey of Northern Galactic OB stars. The spectral lines used for the adjustment of the analyzed stars are reproduced with good accuracy. In particular, the effective temperatures calculated with the FIT\textit{spec} are in good agreement with those derived from spectral type and other calibrations for the same stars. The stellar luminosities and projected rotational velocities are also in good agreement with previous quantitative spectroscopic analyses in the literature. An important advantage of FIT\textit{spec} over traditional codes is that the time required for spectral analyses is reduced from months to a few hours.


title: FloorNet: A Unified Framework for Floorplan Reconstruction from 3D Scans

abstract: The ultimate goal of this indoor mapping research is to automatically reconstruct a floorplan simply by walking through a house with a smartphone in a pocket. This paper tackles this problem by proposing FloorNet, a novel deep neural architecture. The challenge lies in the processing of RGBD streams spanning a large 3D space. FloorNet effectively processes the data through three neural network branches: 1) PointNet with 3D points, exploiting the 3D information; 2) CNN with a 2D point density image in a top-down view, enhancing the local spatial reasoning; and 3) CNN with RGB images, utilizing the full image information. FloorNet exchanges intermediate features across the branches to exploit the best of all the architectures. We have created a benchmark for floorplan reconstruction by acquiring RGBD video streams for 155 residential houses or apartments with Google Tango phones and annotating complete floorplan information. Our qualitative and quantitative evaluations demonstrate that the fusion of three branches effectively improves the reconstruction quality. We hope that the paper together with the benchmark will be an important step towards solving a challenging vector-graphics reconstruction problem. Code and data are available at https://github.com/art-programmer/FloorNet.


title: Bulk Comptonization by Turbulence in Black Hole Accretion Discs

abstract: Radiation pressure dominated accretion discs may have turbulent velocities that exceed the electron thermal velocities. Bulk Comptonization by the turbulence may therefore dominate over thermal Comptonization in determining the emergent spectrum. We discuss how to self-consistently resolve and interpret this effect in calculations of spectra of radiation MHD simulations. In particular, we show that this effect is dominated by radiation viscous dissipation and can be treated as thermal Comptonization with an equivalent temperature. We investigate whether bulk Comptonization may provide a physical basis for warm Comptonization models of the soft X-ray excess in AGN. We characterize our results with temperatures and optical depths to make contact with other models of this component. We show that bulk Comptonization shifts the Wien tail to higher energy and lowers the gas temperature, broadening the spectrum. More generally, we model the dependence of this effect on a wide range of fundamental accretion disc parameters, such as mass, luminosity, radius, spin, inner boundary condition, and alpha. Because our model connects bulk Comptonization to one dimensional vertical structure temperature profiles in a physically intuitive way, it will be useful for understanding this effect in future simulations run in new regimes. We also develop a global Monte Carlo code to study this effect in global radiation MHD simulations. This code can be used more broadly to compare global simulations with observed systems, and in particular to investigate whether magnetically dominated discs can explain why observed high Eddington accretion discs appear to be thermally stable.


title: Iterative Learning with Open-set Noisy Labels

abstract: Large-scale datasets possessing clean label annotations are crucial for training Convolutional Neural Networks (CNNs). However, labeling large-scale data can be very costly and error-prone, and even high-quality datasets are likely to contain noisy (incorrect) labels. Existing works usually employ a closed-set assumption, whereby the samples associated with noisy labels possess a true class contained within the set of known classes in the training data. However, such an assumption is too restrictive for many applications, since samples associated with noisy labels might in fact possess a true class that is not present in the training data. We refer to this more complex scenario as the \textbf{open-set noisy label} problem and show that it is nontrivial in order to make accurate predictions. To address this problem, we propose a novel iterative learning framework for training CNNs on datasets with open-set noisy labels. Our approach detects noisy labels and learns deep discriminative features in an iterative fashion. To benefit from the noisy label detection, we design a Siamese network to encourage clean labels and noisy labels to be dissimilar. A reweighting module is also applied to simultaneously emphasize the learning from clean labels and reduce the effect caused by noisy labels. Experiments on CIFAR-10, ImageNet and real-world noisy (web-search) datasets demonstrate that our proposed model can robustly train CNNs in the presence of a high proportion of open-set as well as closed-set noisy labels.


title: Time-domain theory of atomic photoionization

abstract: We present a combined numerical and theoretical study of atomic photoionization in the time domain. We show how a photoelectron wave packet rapidly changes its shape after being emitted, from a complex multi-peak structure to eventually a relatively simple single-peak structure. This time-domain shape evolution provides information beyond the time-dependent average position of the wave packet, which has been used to retrieve the Wigner time delay. For few-cycle laser pulses, the asymptotic velocity of the photoelectron can be different from long-pulse-based expectations due to non-negligible changes of the dipole matrix element within the spectra of the laser pulses.


title: Decorated marked surfaces III: The derived category of a decorated marked surface

abstract: We study the Ginzburg dg algebra $\Gamma_\mathbf{T}$ associated to the quiver with potential arising from a triangulation $\mathbf{T}$ of a decorated marked surface $\mathbf{S}_\bigtriangleup$, in the sense of Qiu. We show that there is a canonical way to identify all finite dimensional derived categories $\mathcal{D}_{fd}(\Gamma_\mathbf{T})$, denoted by $\mathcal{D}_{fd}(\mathbf{S}_\bigtriangleup)$. As an application, we show that the spherical twist group $\operatorname{ST}(\mathbf{S}_\bigtriangleup)$ associated to $\mathcal{D}_{fd}(\mathbf{S}_\bigtriangleup)$ acts faithfully on its space of stability conditions.


title: Prediction of Stable Ground-State Uranium Nitrides at Ambient and High Pressures

abstract: Uranium nitrides have been the subject of intense research owing to their potential applications as advanced nuclear fuels. However, the phase diagram of the U-N system at low temperature and high pressure still remains unclear. In this paper, we explore extensively the phase diagram of the U-N system up to 150 GPa based on first-principles swarm structure searches. The phase diagrams of the experimentally known stoichiometries like U2N3 and UN2 are refined. At zero temperature and pressure, the experimentally observed CaF2-type UN2 is found to transform into another new I41/amd-type UN2, which is related to the dynamical instability originated from Peierls mechanism. Two new stable high-pressure phases of U2N3 and UN2 are identified for the first time. Besides, several new chemical stoichiometries (UN4, UN3, U3N5 and U2N) are found to have stability fields on the U-N phase diagram. The pressure-induced phase transitions for the U-N system are further investigated. The peculiar structural features such as N2-dimers, planar SO3-like N(N)3 units, non-coplarnar zigzag N4 units, and zigzag U chains are found in U-N compounds under pressure. Our results on the structure exploring provide a better understanding of the structural characteristics and physical properties of uranium nitrides under pressure.


title: A proportional hazards model for interval-censored data subject to instantaneous failures

abstract: The proportional hazards (PH) model is arguably one of the most popular models used to analyze time to event data arising from clinical trials and longitudinal studies, among many others. In many such studies, the event time of interest is not directly observed but is known relative to periodic examination times; i.e., practitioners observe either current status or interval-censored data. The analysis of data of this structure is often fraught with many difficulties. Further exacerbating this issue, in some such studies the observed data also consists of instantaneous failures; i.e., the event times for several study units coincide exactly with the time at which the study begins. In light of these difficulties, this work focuses on developing a mixture model, under the PH assumptions, which can be used to analyze interval-censored data subject to instantaneous failures. To allow for modeling flexibility, two methods of estimating the unknown cumulative baseline hazard function are proposed; a fully parametric and a monotone spline representation are considered. Through a novel data augmentation procedure involving latent Poisson random variables, an expectation-maximization (EM) algorithm was developed to complete model fitting. The resulting EM algorithm is easy to implement and is computationally efficient. Moreover, through extensive simulation studies the proposed approach is shown to provide both reliable estimation and inference.


title: Adversarial Attacks and Defences Competition

abstract: To accelerate research on adversarial examples and robustness of machine learning classifiers, Google Brain organized a NIPS 2017 competition that encouraged researchers to develop new methods to generate adversarial examples as well as to develop new ways to defend against them. In this chapter, we describe the structure and organization of the competition and the solutions developed by several of the top-placing teams.


title: Numerical simulation of a temporary repository of radioactive material

abstract: The use of computer simulations techniques is an advantageous tool in order to evaluate and select the most appropriated site for radionuclides confinement. Modelling different scenarios allow to take decisions about which is the most safety place for the final repository. In this work, a bidimensional numerical simulation model for the analysis of dispersion of contaminants trough a saturated porous media using finite element method (FEM), was applied to study the transport of radioisotopes in a temporary nuclear repository localized in the Vadose Zone at Pe\~na Blanca, M\'exico. The 2D model used consider the Darcy's law for calculating the velocity field, which is the input data for in a second computation to solve the mass transport equation. Taking into account radionuclides decay the transport of long lived U-series daughters such as ${}^{238}\!\text{U}$, ${}^{234}\!\text{U}$, and ${}^{230}\!\text{Th}$ is evaluated. The model was validated using experimental data reported in the literature obtaining good agreement between the numerical results and the available experimental data. The simulations show preferential routes that the contaminant plume follows over time. The radionuclide flow is highly irregular and it is influenced by failures in the area and its interactions in the fluid-solid matrix. The resulting radionuclide concentration distribution is as expected. The most important result of this work is the development of a validated model to describe the migration of radionuclides in saturated porous media with some fractures.


title: Graph Convolutional Neural Networks via Scattering

abstract: We generalize the scattering transform to graphs and consequently construct a convolutional neural network on graphs. We show that under certain conditions, any feature generated by such a network is approximately invariant to permutations and stable to graph manipulations. Numerical results demonstrate competitive performance on relevant datasets.


title: Bidirectional Attentive Fusion with Context Gating for Dense Video Captioning

abstract: Dense video captioning is a newly emerging task that aims at both localizing and describing all events in a video. We identify and tackle two challenges on this task, namely, (1) how to utilize both past and future contexts for accurate event proposal predictions, and (2) how to construct informative input to the decoder for generating natural event descriptions. First, previous works predominantly generate temporal event proposals in the forward direction, which neglects future video context. We propose a bidirectional proposal method that effectively exploits both past and future contexts to make proposal predictions. Second, different events ending at (nearly) the same time are indistinguishable in the previous works, resulting in the same captions. We solve this problem by representing each event with an attentive fusion of hidden states from the proposal module and video contents (e.g., C3D features). We further propose a novel context gating mechanism to balance the contributions from the current event and its surrounding contexts dynamically. We empirically show that our attentively fused event representation is superior to the proposal hidden states or video contents alone. By coupling proposal and captioning modules into one unified framework, our model outperforms the state-of-the-arts on the ActivityNet Captions dataset with a relative gain of over 100% (Meteor score increases from 4.82 to 9.65).


title: Fast Fencing

abstract: We consider very natural "fence enclosure" problems studied by Capoyleas, Rote, and Woeginger and Arkin, Khuller, and Mitchell in the early 90s. Given a set $S$ of $n$ points in the plane, we aim at finding a set of closed curves such that (1) each point is enclosed by a curve and (2) the total length of the curves is minimized. We consider two main variants. In the first variant, we pay a unit cost per curve in addition to the total length of the curves. An equivalent formulation of this version is that we have to enclose $n$ unit disks, paying only the total length of the enclosing curves. In the other variant, we are allowed to use at most $k$ closed curves and pay no cost per curve. For the variant with at most $k$ closed curves, we present an algorithm that is polynomial in both $n$ and $k$. For the variant with unit cost per curve, or unit disks, we present a near-linear time algorithm. Capoyleas, Rote, and Woeginger solved the problem with at most $k$ curves in $n^{O(k)}$ time. Arkin, Khuller, and Mitchell used this to solve the unit cost per curve version in exponential time. At the time, they conjectured that the problem with $k$ curves is NP-hard for general $k$. Our polynomial time algorithm refutes this unless P equals NP.


title: Collaborative targeted inference from continuously indexed nuisance parameter estimators

abstract: We wish to infer the value of a parameter at a law from which we sample independent observations. The parameter is smooth and we can define two variation-independent features of the law, its $Q$- and $G$-components, such that estimating them consistently at a fast enough product of rates allows to build a confidence interval (CI) with a given asymptotic level from a plain targeted minimum loss estimator (TMLE). Say that the above product is not fast enough and the algorithm for the $G$-component is fine-tuned by a real-valued $h$. A plain TMLE with an $h$ chosen by cross-validation would typically not yield a CI. We construct a collaborative TMLE (C-TMLE) and show under mild conditions that, if there exists an oracle $h$ that makes a bulky remainder term asymptotically Gaussian, then the C-TMLE yields a CI. We illustrate our findings with the inference of the average treatment effect. We conduct a simulation study where the $G$-component is estimated by the LASSO and $h$ is the bound on the coefficients' norms. It sheds light on small sample properties, in the face of low- to high-dimensional baseline covariates, and possibly positivity violation.


title: A LiDAR Point Cloud Generator: from a Virtual World to Autonomous Driving

abstract: 3D LiDAR scanners are playing an increasingly important role in autonomous driving as they can generate depth information of the environment. However, creating large 3D LiDAR point cloud datasets with point-level labels requires a significant amount of manual annotation. This jeopardizes the efficient development of supervised deep learning algorithms which are often data-hungry. We present a framework to rapidly create point clouds with accurate point-level labels from a computer game. The framework supports data collection from both auto-driving scenes and user-configured scenes. Point clouds from auto-driving scenes can be used as training data for deep learning algorithms, while point clouds from user-configured scenes can be used to systematically test the vulnerability of a neural network, and use the falsifying examples to make the neural network more robust through retraining. In addition, the scene images can be captured simultaneously in order for sensor fusion tasks, with a method proposed to do automatic calibration between the point clouds and captured scene images. We show a significant improvement in accuracy (+9%) in point cloud segmentation by augmenting the training dataset with the generated synthesized data. Our experiments also show by testing and retraining the network using point clouds from user-configured scenes, the weakness/blind spots of the neural network can be fixed.


title: Learning Disentangled Joint Continuous and Discrete Representations

abstract: We present a framework for learning disentangled and interpretable jointly continuous and discrete representations in an unsupervised manner. By augmenting the continuous latent distribution of variational autoencoders with a relaxed discrete distribution and controlling the amount of information encoded in each latent unit, we show how continuous and categorical factors of variation can be discovered automatically from data. Experiments show that the framework disentangles continuous and discrete generative factors on various datasets and outperforms current disentangling methods when a discrete generative factor is prominent.


title: Visual Question Reasoning on General Dependency Tree

abstract: The collaborative reasoning for understanding each image-question pair is very critical but under-explored for an interpretable Visual Question Answering (VQA) system. Although very recent works also tried the explicit compositional processes to assemble multiple sub-tasks embedded in the questions, their models heavily rely on the annotations or hand-crafted rules to obtain valid reasoning layout, leading to either heavy labor or poor performance on composition reasoning. In this paper, to enable global context reasoning for better aligning image and language domains in diverse and unrestricted cases, we propose a novel reasoning network called Adversarial Composition Modular Network (ACMN). This network comprises of two collaborative modules: i) an adversarial attention module to exploit the local visual evidence for each word parsed from the question; ii) a residual composition module to compose the previously mined evidence. Given a dependency parse tree for each question, the adversarial attention module progressively discovers salient regions of one word by densely combining regions of child word nodes in an adversarial manner. Then residual composition module merges the hidden representations of an arbitrary number of children through sum pooling and residual connection. Our ACMN is thus capable of building an interpretable VQA system that gradually dives the image cues following a question-driven reasoning route and makes global reasoning by incorporating the learned knowledge of all attention modules in a principled manner. Experiments on relational datasets demonstrate the superiority of our ACMN and visualization results show the explainable capability of our reasoning system.


title: On Equivalence and Computational Efficiency of the Major Relaxation Methods for Minimum Ellipsoid Containing the Intersection of Ellipsoids

abstract: This paper investigates the problem on the minimum ellipsoid containing the intersection of multiple ellipsoids, which has been extensively applied to information science, target tracking and data fusion etc. There are three major relaxation methods involving SDP relaxation, S-procedure relaxation and bounding ellipsoid relaxation, which are derived by different ideas or viewpoints. However, it is unclear for the interrelationships among these methods. This paper reveals the equivalence among the three relaxation methods by three stages. Firstly, the SDP relaxation method can be equivalently simplified to a decoupled SDP relaxation method. Secondly, the equivalence between the SDP relaxation method and the S-procedure relaxation method can be obtained by rigorous analysis. Thirdly, we establish the equivalence between the decoupled SDP relaxation method and the bounding ellipsoid relaxation method. Therefore, the three relaxation methods are unified through the decoupled SDP relaxation method. By analysis of the computational complexity, the decoupled SDP relaxation method has the least computational burden among the three methods. The above results are helpful for the research of set-membership filter and distributed estimation fusion. Finally, the performance of each method is evaluated by some typical numerical examples in information fusion and filtering.


title: Evolution of complexity following a quantum quench in free field theory

abstract: Using a recent proposal of circuit complexity in quantum field theories introduced by Jefferson and Myers, we compute the time evolution of the complexity following a smooth mass quench characterized by a time scale $\delta t$ in a free scalar field theory. We show that the dynamics has two distinct phases, namely an early regime of approximately linear evolution followed by a saturation phase characterized by oscillations around a mean value. The behavior is similar to previous conjectures for the complexity growth in chaotic and holographic systems, although here we have found that the complexity may grow or decrease depending on whether the quench increases or decreases the mass, and also that the time scale for saturation of the complexity is of order $\delta t$ (not parametrically larger).


title: Learning tensors from partial binary measurements

abstract: In this paper we generalize the 1-bit matrix completion problem to higher order tensors. We prove that when $r=O(1)$ a bounded rank-$r$, order-$d$ tensor $T$ in $\mathbb{R}^{N} \times \mathbb{R}^{N} \times \cdots \times \mathbb{R}^{N}$ can be estimated efficiently by only $m=O(Nd)$ binary measurements by regularizing its max-qnorm and M-norm as surrogates for its rank. We prove that similar to the matrix case, i.e., when $d=2$, the sample complexity of recovering a low-rank tensor from 1-bit measurements of a subset of its entries is the same as recovering it from unquantized measurements. Moreover, we show the advantage of using 1-bit tensor completion over matricization both theoretically and numerically. Specifically, we show how the 1-bit measurement model can be used for context-aware recommender systems.


title: QDEE: Question Difficulty and Expertise Estimation in Community Question Answering Sites

abstract: In this paper, we present a framework for Question Difficulty and Expertise Estimation (QDEE) in Community Question Answering sites (CQAs) such as Yahoo! Answers and Stack Overflow, which tackles a fundamental challenge in crowdsourcing: how to appropriately route and assign questions to users with the suitable expertise. This problem domain has been the subject of much research and includes both language-agnostic as well as language conscious solutions. We bring to bear a key language-agnostic insight: that users gain expertise and therefore tend to ask as well as answer more difficult questions over time. We use this insight within the popular competition (directed) graph model to estimate question difficulty and user expertise by identifying key hierarchical structure within said model. An important and novel contribution here is the application of "social agony" to this problem domain. Difficulty levels of newly posted questions (the cold-start problem) are estimated by using our QDEE framework and additional textual features. We also propose a model to route newly posted questions to appropriate users based on the difficulty level of the question and the expertise of the user. Extensive experiments on real world CQAs such as Yahoo! Answers and Stack Overflow data demonstrate the improved efficacy of our approach over contemporary state-of-the-art models. The QDEE framework also allows us to characterize user expertise in novel ways by identifying interesting patterns and roles played by different users in such CQAs.


title: Quantization of Hamiltonian loop group spaces

abstract: We prove a Fredholm property for spin-c Dirac operators $\mathsf{D}$ on non-compact manifolds satisfying a certain condition with respect to the action of a semi-direct product group $K\ltimes \Gamma$, with $K$ compact and $\Gamma$ discrete. We apply this result to an example coming from the theory of Hamiltonian loop group spaces. In this context we prove that a certain index pairing $[\mathcal{X}] \cap [\mathsf{D}]$ yields an element of the formal completion $R^{-\infty}(T)$ of the representation ring of a maximal torus $T \subset G$; the resulting element has an additional antisymmetry property under the action of the affine Weyl group, indicating $[\mathcal{X}] \cap [\mathsf{D}]$ corresponds to an element of the ring of projective positive energy representations of the loop group.


title: Magnifying the ATLAS Stealth Stop Splinter: Impact of Spin Correlations and Finite Widths

abstract: In this paper, we recast a "stealth stop" search in the notoriously difficult region of the stop-neutralino Simplified Model parameter space for which $m(\tilde{t}) - m(\tilde{\chi}) \simeq m_t$. The properties of the final state are nearly identical for tops and stops, while the rate for stop pair production is $\mathcal{O}(10\%)$ of that for $t\bar{t}$. Stop searches away from this stealth region have left behind a "splinter" of open parameter space when $m(\tilde{t}) \simeq m_t$. Removing this splinter requires surgical precision: the ATLAS constraint on stop pair production reinterpreted here treats the signal as a contaminant to the measurement of the top pair production cross section using data from $\sqrt{s} = 7 \text{ TeV}$ and $8 \text{ TeV}$ in a correlated way to control for some systematic errors. ATLAS fixed $m(\tilde{t}) \simeq m_t$ and $m(\tilde{\chi})= 1 \text{ GeV}$, implying that a careful recasting of these results into the full $m(\tilde{t}) - m(\tilde{\chi})$ plane is warranted. We find that the parameter space with $m(\tilde{\chi})\lesssim 55 \text{ GeV}$ is excluded for $m(\tilde{t}) \simeq m_t$ --- although this search does cover new parameter space, it is unable to fully pull the splinter. Along the way, we review a variety of interesting physical issues in detail: (i) when the two-body width is a good approximation; (ii) what the impact on the total rate from taking the narrow width is a good approximation; (iii) how the production rate is affected when the wrong widths are used; (iv) what role the spin correlations play in the limits. In addition, we provide a guide to using MadGraph for implementing the full production including finite width and spin correlation effects, and we survey a variety of pitfalls one might encounter.


title: Compare and Contrast: Learning Prominent Visual Differences

abstract: Relative attribute models can compare images in terms of all detected properties or attributes, exhaustively predicting which image is fancier, more natural, and so on without any regard to ordering. However, when humans compare images, certain differences will naturally stick out and come to mind first. These most noticeable differences, or prominent differences, are likely to be described first. In addition, many differences, although present, may not be mentioned at all. In this work, we introduce and model prominent differences, a rich new functionality for comparing images. We collect instance-level annotations of most noticeable differences, and build a model trained on relative attribute features that predicts prominent differences for unseen pairs. We test our model on the challenging UT-Zap50K shoes and LFW10 faces datasets, and outperform an array of baseline methods. We then demonstrate how our prominence model improves two vision tasks, image search and description generation, enabling more natural communication between people and vision systems.


title: Tagging like Humans: Diverse and Distinct Image Annotation

abstract: In this work we propose a new automatic image annotation model, dubbed {\bf diverse and distinct image annotation} (D2IA). The generative model D2IA is inspired by the ensemble of human annotations, which create semantically relevant, yet distinct and diverse tags. In D2IA, we generate a relevant and distinct tag subset, in which the tags are relevant to the image contents and semantically distinct to each other, using sequential sampling from a determinantal point process (DPP) model. Multiple such tag subsets that cover diverse semantic aspects or diverse semantic levels of the image contents are generated by randomly perturbing the DPP sampling process. We leverage a generative adversarial network (GAN) model to train D2IA. Extensive experiments including quantitative and qualitative comparisons, as well as human subject studies, on two benchmark datasets demonstrate that the proposed model can produce more diverse and distinct tags than the state-of-the-arts.


title: A Survey of Techniques for Improving Security of GPUs

abstract: Graphics processing unit (GPU), although a powerful performance-booster, also has many security vulnerabilities. Due to these, the GPU can act as a safe-haven for stealthy malware and the weakest `link' in the security `chain'. In this paper, we present a survey of techniques for analyzing and improving GPU security. We classify the works on key attributes to highlight their similarities and differences. More than informing users and researchers about GPU security techniques, this survey aims to increase their awareness about GPU security vulnerabilities and potential countermeasures.


title: Continuous Circadian Phase Estimation Using Adaptive Notch Filter

abstract: Actigraphy has been widely used for the analysis of circadian rhythm. Current practice applies regression analysis to data from multiple days to estimate the circadian phase. This paper presents a filtering method for online processing of biometric data to estimate the circadian phase. We apply the proposed method on actigraphy data of fruit flies (Drosophila melanogaster).


title: Magnetic Phase Dependence of the Anomalous Hall Effect in Mn$_3$Sn Single Crystals

abstract: Thermodynamic and transport properties are reported on single crystals of the hexagonal antiferromagnet Mn$_3$Sn grown by the Sn flux technique. Magnetization measurements reveal two magnetic phase transitions at $T_1$ = 275 K and $T_2$ = 200 K, below the antiferromagnetic phase transition at $T_N$ $\approx$ 420 K. The Hall conductivity in zero magnetic field is suppressed dramatically from 4.7 $\Omega^{-1}$cm$^{-1}$ to near zero below $T_1$, coincident with the vanishing of the weak ferromagnetic moment. This illustrates that the large anomalous Hall effect (AHE) arising from the Berry curvature can be switched on and off by a subtle change in the symmetry of the magnetic structure near room temperature.


title: Multi-label Learning with Missing Labels using Mixed Dependency Graphs

abstract: This work focuses on the problem of multi-label learning with missing labels (MLML), which aims to label each test instance with multiple class labels given training instances that have an incomplete/partial set of these labels. The key point to handle missing labels is propagating the label information from provided labels to missing labels, through a dependency graph that each label of each instance is treated as a node. We build this graph by utilizing different types of label dependencies. Specifically, the instance-level similarity is served as undirected edges to connect the label nodes across different instances and the semantic label hierarchy is used as directed edges to connect different classes. This base graph is referred to as the mixed dependency graph, as it includes both undirected and directed edges. Furthermore, we present another two types of label dependencies to connect the label nodes across different classes. One is the class co-occurrence, which is also encoded as undirected edges. Combining with the base graph, we obtain a new mixed graph, called MG-CO (mixed graph with co-occurrence). The other is the sparse and low rank decomposition of the whole label matrix, to embed high-order dependencies over all labels. Combining with the base graph, the new mixed graph is called as MG-SL (mixed graph with sparse and low rank decomposition). Based on MG-CO and MG-SL, we propose two convex transductive formulations of the MLML problem, denoted as MLMG-CO and MLMG-SL, respectively. Two important applications, including image annotation and tag based image retrieval, can be jointly handled using our proposed methods. Experiments on benchmark datasets show that our methods give significant improvements in performance and robustness to missing labels over the state-of-the-art methods.


title: Quantitative Evaluation of Style Transfer

abstract: Style transfer methods produce a transferred image which is a rendering of a content image in the manner of a style image. There is a rich literature of variant methods. However, evaluation procedures are qualitative, mostly involving user studies. We describe a novel quantitative evaluation procedure. One plots effectiveness (a measure of the extent to which the style was transferred) against coherence (a measure of the extent to which the transferred image decomposes into objects in the same way that the content image does) to obtain an EC plot. We construct EC plots comparing a number of recent style transfer methods. Most methods control within-layer gram matrices, but we also investigate a method that controls cross-layer gram matrices. These EC plots reveal a number of intriguing properties of recent style transfer methods. The style used has a strong effect on the outcome, for all methods. Using large style weights does not necessarily improve effectiveness, and can produce worse results. Cross-layer gram matrices easily beat all other methods, but some styles remain difficult for all methods. Ensemble methods show real promise. It is likely that, for current methods, each style requires a different choice of weights to obtain the best results, so that automated weight setting methods are desirable. Finally, we show evidence comparing our EC evaluations to human evaluations.


title: Generic Description of Well-Scoped, Well-Typed Syntaxes

abstract: We adapt the technique of type-generic programming via descriptions pointing into a universe to the domain of typed languages with binders and variables, implementing a notion of "syntax-generic programming" in a dependently typed programming language. We present an Agda library implementation of type-preserving renaming and substitution (including proofs about their behaviour) "once and for all" over all applicable languages using our technique.


title: Low-loss Airy Surface Plasmon Polaritons

abstract: We propose a scheme to obtain a low-loss propagation of Airy surface plasmon polaritons (SPPs) along the interface between a dielectric and a negative-index metamaterial (NIMM). We show that, by using the transverse-magnetic mode and the related destructive interference effect between electric and magnetic absorption responses, the propagation loss of the Airy SPPs can be largely suppressed when the optical frequency is close to the lossless point of the NIMM. As a result, the Airy SPPs obtained in our scheme can propagate more than 6-time long distance than that in conventional dielectric-metal interfaces.


title: Fast-Responding Property of Electromagnetically Induced Transparency in Rydberg Atoms

abstract: We investigate the transient optical response property of an electromagnetically induced transparency (EIT) in a cold Rydberg atomic gas. We show that both the transient behavior and the steady-state EIT spectrum of the system depend strongly on Rydberg interaction. Especially, the response speed of the Rydberg-EIT can be five-times faster (and even higher) than the conventional EIT without the Rydberg interaction. For comparison, two different theoretical approaches (i.e. two-atom model and many-atom model) are considered, revealing that Rydberg blockade effect plays a significant role for increasing the response speed of the Rydberg-EIT. The fast-responding Rydberg-EIT by using the strong, tunable Rydberg interaction uncovered here is not only helpful for enhancing the understanding of the many-body dynamics of Rydberg atoms but also useful for practical applications in quantum information processing by using Rydberg atoms.


title: Variational collision avoidance problems on Riemannian manifolds

abstract: In this article we introduce a variational approach to collision avoidance of multiple agents evolving on a Riemannian manifold and derive necessary conditions for extremals. The problem consists of finding non-intersecting trajectories of a given number of agents, among a set of admissible curves, to reach a specified configuration, based on minimizing an energy functional that depends on the velocity, covariant acceleration and an artificial potential function used to prevent collision among the agents. The results are validated through numerical experiments on the manifolds $\mathbb{R}^{2}$ and $S^2$.


title: Derivative-free superiorization with component-wise perturbations

abstract: Superiorization reduces, not necessarily minimizes, the value of a target function while seeking constraints-compatibility. This is done by taking a solely feasibility-seeking algorithm, analyzing its perturbations resilience, and proactively perturbing its iterates accordingly to steer them toward a feasible point with reduced value of the target function. When the perturbation steps are computationally efficient, this enables generation of a superior result with essentially the same computational cost as that of the original feasibility-seeking algorithm. In this work, we refine previous formulations of the superiorization method to create a more general framework, enabling target function reduction steps that do not require partial derivatives of the target function. In perturbations that use partial derivatives the step-sizes in the perturbation phase of the superiorization method are chosen independently from the choice of the nonascent directions. This is no longer true when component-wise perturbations are employed. In that case, the step-sizes must be linked to the choice of the nonascent direction in every step. Besides presenting and validating these notions, we give a computational demonstration of superiorization with component-wise perturbations for a problem of computerized tomography image reconstruction.


title: Link prediction via linear optimization

abstract: Link prediction is an elemental challenge in network science, which has already found applications in guiding laboratorial experiments, digging out drug targets, recommending friends in social networks, probing mechanisms in network evolution, and so on. With a simple assumption that the likelihood of the existence of a link between two nodes can be unfolded by a linear summation of neighboring nodes' contributions, we obtain the analytical solution of the optimal likelihood matrix, which shows remarkably better performance in predicting missing links than the state-of-the-art algorithms for not only simple networks, but also weighted and directed networks. To our surprise, even some degenerated local similarity indices from the solution outperform well-known local indices, which largely refines our knowledge, for example, the direct count of the number of 3-hop paths between two nodes more accurately predicts missing links than the number of 2-hop paths (i.e., the number of common neighbors), while in the previous studies, as indicated by the local path index and Katz index, the statistics on longer paths are always considered to be complementary to but less important than those on shorter paths.