title: Direct frequency comb saturation spectroscopy with an ultradense tooth spacing of 100 Hz

abstract: Electro-optic frequency combs with tooth spacings as low as 100 Hz were employed to probe electromagnetically induced transparency (EIT) and hyperfine pumping in rubidium and potassium vapor cells. From the potassium EIT transition we were able to determine the ground state hyperfine splitting with a fit uncertainty of 8 Hz. Importantly, because of the mutual coherence between the control and probe beams, which originate from a single laser, features with linewidths several orders-of-magnitude narrower than the laser linewidth could be observed in a multiplexed fashion. This approach removes the need for slow scanning of either a single laser or a traditional mode-locked-laser-based optical frequency comb.


title: Convergence Rates of First and Higher Order Dynamics for Solving Linear Ill-posed Problems

abstract: Recently, there has been a great interest in analysing dynamical flows, where the stationary limit is the minimiser of a convex energy. Particular flows of great interest have been continuous limits of Nesterov's algorithm and the Fast Iterative Shrinkage-Thresholding Algorithm (FISTA), respectively. In this paper we approach the solutions of linear ill-posed problems by dynamical flows. Because the squared norm of the residuum of a linear operator equation is a convex functional, the theoretical results from convex analysis for energy minimising flows are applicable. We prove that the proposed flows for minimising the residuum of a linear operator equation are optimal regularisation methods and that they provide optimal convergence rates for the regularised solutions. In particular we show that in comparison to convex analysis results the rates can be significantly higher, which is possible by constraining the investigations to the particular convex energy functional, which is the squared norm of the residuum.


title: Courant-sharp Robin eigenvalues for the square and other planar domains

abstract: This paper is devoted to the determination of the cases where there is equality in Courant's nodal domain theorem in the case of a Robin boundary condition. For the square, we partially extend the results that were obtained by Pleijel, B\'erard--Helffer, Helffer--Persson--Sundqvist for the Dirichlet and Neumann problems. After proving some general results that hold for any value of the Robin parameter $h$, we focus on the case when $h$ is large. We hope to come back to the analysis when $h$ is small in a second paper. We also obtain some semi-stability results for the number of nodal domains of a Robin eigenfunction of a domain with $C^{2,\alpha}$ boundary ($\alpha >0$) as $h$ large varies.


title: Self-consistent formulations for stochastic nonlinear neuronal dynamics

abstract: Neural dynamics is often investigated with tools from bifurcation theory. However, many neuron models are stochastic, mimicking fluctuations in the input from unknown parts of the brain or the spiking nature of signals. Noise changes the dynamics with respect to the deterministic model; in particular bifurcation theory cannot be applied. We formulate stochastic neuronal dynamics in the Martin-Siggia-Rose de Dominicis-Janssen (MSRDJ) formalism and present the fluctuation expansion of the effective action and the functional renormalization group (fRG) as two systematic ways to incorporate corrections to the mean dynamics and time-dependent statistics due to fluctuations in the presence of nonlinear neuronal gain. To formulate self-consistency equations, we derive a fundamental link between the effective action in the Onsager-Machlup(OM) formalism, which allows the study of phase transitions, and the MSRDJ effective action, which is computationally advantageous. These results in particular allow the derivation of an OM effective action for systems with non-Gaussian noise. This approach naturally leads to effective deterministic equations for the first moment of the stochastic system; they explain how nonlinearities and noise cooperate to produce memory effects. Moreover, the MSRDJ formulation yields an effective linear system that has identical power spectra and linear response. Starting from the better known loopwise approximation, we then discuss the use of the fRG as a method to obtain self-consistency beyond the mean. We present a new efficient truncation scheme for the hierarchy of flow equations for the vertex functions by adapting the Blaizot, M\'endez and Wschebor approximation from the derivative expansion to the vertex expansion. The methods are presented by means of the simplest possible example of a stochastic differential equation that has generic features of neuronal dynamics.


title: Illuminating Stealth Scenarios at the LHC

abstract: Several ideas exist how the stringent mass limits from LHC on new coloured particles can be avoided. One idea are the so-called `stealth' scenarios in which missing transversal energy (MET) is avoided due a peculiar mass configuration. It is usually assumed that the cascade decay of the dominantly-produced coloured particle finishes in a two-body decay, where this mass configuration leads to a very small amount of MET. We discuss here the potential impact of other decay channels, either loop-induced or via off-shell mediators. It is shown that those channels already become important even for moderate branching ratios of 10%. Larger branching ratios in particular into a photon can completely wash out all benefits of the stealth setup. We discuss this in a model-independent form, but also at the simplest SUSY stealth scenario which can be realised in the NMSSM.


title: Generalized multiscale finite element method for a strain-limiting nonlinear elasticity model

abstract: In this paper, we consider multiscale methods for nonlinear elasticity. In particular, we investigate the Generalized Multiscale Finite Element Method (GMsFEM) for a strain-limiting elasticity problem. Being a special case of the naturally implicit constitutive theory of nonlinear elasticity, strain-limiting relation has presented an interesting class of material bodies, for which strains remain bounded (even infinitesimal) while stresses can become arbitrarily large. The nonlinearity and material heterogeneities can create multiscale features in the solution, and multiscale methods are therefore necessary. To handle the resulting nonlinear monotone quasilinear elliptic equation, we use linearization based on the Picard iteration. We consider two types of basis functions, offline and online basis functions, following the general framework of GMsFEM. The offline basis functions depend nonlinearly on the solution. Thus, we design an indicator function and we will recompute the offline basis functions when the indicator function predicts that the material property has significant change during the iterations. On the other hand, we will use the residual based online basis functions to reduce the error substantially when updating basis functions is necessary. Our numerical results show that the above combination of offline and online basis functions is able to give accurate solutions with only a few basis functions per each coarse region and updating basis functions in selected iterations.


title: ISW in $\Lambda$CDM or something else?

abstract: We investigate a correlation between the Planck's CMB temperature map and statistics based on the space density of quasars in the SDSS catalogue. It is shown that the amplitude of the positive correlation imposes a lower limit on the amplitude of the Integrated Sachs-Wolfe (ISW) effect independent of the quasar bias factor. Implications of this constraint for the ISW effect in the LambdaCDM model are examined. Strength of the correlation indicates that the rms of temperature fluctuations associated with the quasars distributed between 1500 and 3000 Mpc likely exceeds 11-12 {\mu}K. The signal seems to be related to an overall space distribution of quasars rather than to a few exceptionally dominant structures like supervoids. Although, the present estimates are subject to sizable uncertainties, the signal apparently exceeds the model predictions of the ISW effect for the standard LambdaCDM cosmology. This conclusion is consistent with several other investigations that also claim some disparity between the observed ISW signal and the theoretical predictions.


title: Infinitely Generated Gorenstein Tilting Modules

abstract: The theory of finitely generated relative (co)tilting modules has been established in the 1980s by Auslander and Solberg, and infinitely generated relative tilting modules have recently been studied by many authors in the context of Gorenstein homological algebra. In this work, we build on the theory of infinitely generated Gorenstein tilting modules by developing "Gorenstein tilting approximations" and employing these approximations to study Gorenstein tilting classes and their associated relative cotorsion pairs. As applications of our results, we discuss the problem of existence of complements to partial Gorenstein tilting modules as well as some connections between Gorenstein tilting modules and finitistic dimension conjectures.


title: Thermal optimization of Curzon-Ahlborn heat engines operating under some generalized efficient power regimes

abstract: In order to establish better performance compromises between the process functionals of a heat engine, in the context of finite time thermodynamics (FTT), we propose some generalizations for the well known Efficient Power function through certain variables called <<Generalization Parameters>>. These generalization proposals show advantages in the characterization of operation modes for an endoreversible heat engine model. In particular, with introduce the k-Efficient Power regime. For this objective function we find the performance of the operation of some power plants through the parameter k. Likewise, for plants that operate in a low efficiency zone, within a configuration space, the k parameter allow us to generate conditions for these plants to operate inside of a high efficiency and low dissipation zone.


title: A Hybrid Genetic Algorithm for the Traveling Salesman Problem with Drone

abstract: This paper addresses the Traveling Salesman Problem with Drone (TSP-D), in which a truck and drone are used to deliver parcels to customers. The objective of this problem is to either minimize the total operational cost (min-cost TSP-D) or minimize the completion time for the truck and drone (min-time TSP-D). This problem has gained a lot of attention in the last few years since it is matched with the recent trends in a new delivery method among logistics companies. To solve the TSP-D, we propose a hybrid genetic search with dynamic population management and adaptive diversity control based on a split algorithm, problem-tailored crossover and local search operators, a new restore method to advance the convergence and an adaptive penalization mechanism to dynamically balance the search between feasible/infeasible solutions. The computational results show that the proposed algorithm outperforms existing methods in terms of solution quality and improves best known solutions found in the literature. Moreover, various analyses on the impacts of crossover choice and heuristic components have been conducted to analysis further their sensitivity to the performance of our method.


title: Determinants of cyclization-decyclization kinetics of short DNA with sticky ends

abstract: Cyclization of DNA with sticky ends is commonly used to construct DNA minicircles and to measure DNA bendability. The cyclization probability of short DNA (< 150 bp) has a strong length dependence, but how it depends on the rotational positioning of the sticky ends around the helical axis is less clear. To shed light upon the determinants of the cyclization probability of short DNA, we measured cyclization and decyclization rates of ~100-bp DNA with sticky ends over two helical periods using single-molecule Fluorescence Resonance Energy Transfer (FRET). The cyclization rate increases monotonically with length, indicating no excess twisting, while the decyclization rate oscillates with length, higher at half-integer helical turns and lower at integer helical turns. The oscillation profile is kinetically and thermodynamically consistent with a three-state cyclization model in which sticky-ended short DNA first bends into a torsionally-relaxed teardrop, and subsequently transitions to a more stable loop upon terminal base stacking. We also show that the looping probability density (the J factor) extracted from this study is in good agreement with the worm-like chain model near 100 bp. For shorter DNA, we discuss various experimental factors that prevent an accurate measurement of the J factor.


title: A local search $4/3$-approximation algorithm for the minimum $3$-path partition problem

abstract: Given a graph $G = (V, E)$, the $3$-path partition problem is to find a minimum collection of vertex-disjoint paths each of order at most $3$ to cover all the vertices of $V$. It is different from but closely related to the well-known $3$-set cover problem. The best known approximation algorithm for the $3$-path partition problem was proposed recently and has a ratio $13/9$. Here we present a local search algorithm and show, by an amortized analysis, that it is a $4/3$-approximation. This ratio matches up to the best approximation ratio for the $3$-set cover problem.


title: Compatibility Conditions for Discrete Planar Structure

abstract: Compatibility conditions are investigated for planar network structures consisting of nodes and connecting bars; these conditions restrict the elongations of bars and are analogous to the compatibility conditions of deformation in continuum mechanics. The requirement that the deformations remain planar imposes compatibility. Compatibility for structures with prescribed lengths and its linearization is considered. For triangulated structures, compatibility is expressed as a polynomial equation in the lengths of edges of the star domain surrounding each interior node. The continuum limits of the conditions coincide with those in the continuum problems. The compatibility equations may be summed along a closed curve to give conditions analogous to Gauss-Bonnet integral formula. There are rigid trusses without compatibility conditions in contrast to continuous materials. The compatibility equations around a hole involve the edges in the neighborhood surrounding the hole. The number of compatibility conditions is the number of bars that may be removed from a structure while keeping it rigid; this number measures the structural resilience. An asymptotic density of compatibility conditions is analyzed.


title: What Is One Grain of Sand in the Desert? Analyzing Individual Neurons in Deep NLP Models

abstract: Despite the remarkable evolution of deep neural networks in natural language processing (NLP), their interpretability remains a challenge. Previous work largely focused on what these models learn at the representation level. We break this analysis down further and study individual dimensions (neurons) in the vector representation learned by end-to-end neural models in NLP tasks. We propose two methods: Linguistic Correlation Analysis, based on a supervised method to extract the most relevant neurons with respect to an extrinsic task, and Cross-model Correlation Analysis, an unsupervised method to extract salient neurons w.r.t. the model itself. We evaluate the effectiveness of our techniques by ablating the identified neurons and reevaluating the network's performance for two tasks: neural machine translation (NMT) and neural language modeling (NLM). We further present a comprehensive analysis of neurons with the aim to address the following questions: i) how localized or distributed are different linguistic properties in the models? ii) are certain neurons exclusive to some properties and not others? iii) is the information more or less distributed in NMT vs. NLM? and iv) how important are the neurons identified through the linguistic correlation method to the overall task? Our code is publicly available as part of the NeuroX toolkit (Dalvi et al. 2019).


title: Beam break-up current limit in multi-turn ERLs and CBETA

abstract: This paper uses theory and simulation of the Beam Break-Up instability (BBU) for multi-turn ERLs to determine and to optimize the current limit of the Cornell Brookhaven Energy-Recovery-Linac Test Accelerator (CBETA). Currently under construction at Cornell University's Wilson Laboratory, the primary structures of CBETA for beam recirculation include the Main Linac Cryomodule and the Fixed Field Alternating Gradient beamline. As the electron bunches pass through the MLC cavities, Higher Order Modes (HOMs) are excited. The recirculating bunches return to the cavities to further excite HOMs, and this feedback loop can give rise to BBU. We will first explain how BBU effect is simulated using the tracking software BMAD, and check the agreement with the BBU theory for the most instructive cases. We then present simulation results on how BBU limits the maximum achievable current of CBETA with different HOM spectra in the cavities. Lastly we investigate ways to improve the threshold current of CBETA.


title: A Complexity Reduction Method for Successive Cancellation List Decoding

abstract: This brief introduces a hardware complexity reduction method for successive cancellation list (SCL) decoders. Specifically, we propose to use a sorting scheme so that L paths with smallest path metrics are also sorted according to their path indexes for path pruning. We prove that such sorting scheme reduces the input number of multiplexers in any hardware implementation of SCL decoding from L to (L/2+1) without any changes in the decoding latency. We also propose sorter architectures for the proposed sorting method. Field programmable gate array (FPGA) implementations show that the proposed method achieves significant gain in hardware consumptions of SCL decoder implementations, especially for large list sizes and block lengths.


title: Cavity cooling of a levitated nanosphere by coherent scattering

abstract: We report three-dimensional cooling of a levitated nanoparticle inside an optical cavity. The cooling mechanism is provided by cavity-enhanced coherent scattering off an optical tweezer. The observed 3D dynamics and cooling rates are as theoretically expected from the presence of both linear and quadratic terms in the interaction between the particle motion and the cavity field. By achieving nanometer-level control over the particle location we optimize the position-dependent coupling and demonstrate axial cooling by two orders of magnitude at background pressures as high as $6\times10^{-2}$ mbar. We also estimate a significant ($> 40$ dB) suppression of laser phase noise, and hence of residual heating, which is a specific feature of the coherent scattering scheme. The observed performance implies that quantum ground state cavity cooling of levitated nanoparticles can be achieved for background pressures below $10^{-7}$ mbar.


title: NeuroX: A Toolkit for Analyzing Individual Neurons in Neural Networks

abstract: We present a toolkit to facilitate the interpretation and understanding of neural network models. The toolkit provides several methods to identify salient neurons with respect to the model itself or an external task. A user can visualize selected neurons, ablate them to measure their effect on the model accuracy, and manipulate them to control the behavior of the model at the test time. Such an analysis has a potential to serve as a springboard in various research directions, such as understanding the model, better architectural choices, model distillation and controlling data biases.


title: $\alpha_s(\mu)$ from $M_{\chi_{0c(0b)}}-M_{\eta_{c(b)}}$@N2LO

abstract: This note complements and clarifies the results obtained in the original paper {\it QCD Parameters Correlations from Heavy Quarkonia} [1] where, here, we present a more detailed discussion of the \alpha_s-results obtained @ N2LO at two different subtraction scales \mu=2.85 and 9.50 GeV from the (pseudo)scalar heavy quarkonia mass-spliitings M_{\chi_{0c(0b)}}-M_{\eta_{c(b)}}. We obtain from the M_{\chi_{0c}}-M_{\eta_{c}} sum rule: \alpha_s(2.85)=0.262(9) --> \alpha_s(M_\tau)=0.318(15) --> \alpha_s(M_Z)=0.1183(19)(3) and from the M_{\chi_{0b}}-M_{\eta_{b}} one: \alpha_s(9.50)=0.180(8) --> \alpha_s(M_\tau)=0.312(27) --> \alpha_s(M_Z)=0.1175(32)(3), in complete agreement with the world average: \alpha_s(M_Z)=0.1181(11).


title: Network structure of cascading neural systems predicts stimulus propagation and recovery

abstract: Many neural systems display cascading behavior characterized by uninterrupted sequences of neuronal firing. This gap precludes an understanding of how variations in network structure manifest in neural dynamics and either support or impinge upon information processing. Here, we develop a theoretical understanding of how network structure supports information processing through network dynamics, and we validate our theory with empirical data. Using a generalized spiking model and mathematical tools from linear systems theory, network control theory, and information theory, we show how network structure can be designed to temporally extend the propagation and recovery of certain stimulus patterns. Moreover, we observe cycles as structural and dynamic motifs that are prevalent in such networks. Broadly, our results demonstrate how cascading neural networks could contribute to cognitive faculties that require lasting activation of neuronal patterns, such as working memory or attention.


title: The case for emulating insect brains using anatomical "wiring diagrams" equipped with biophysical models of neuronal activity

abstract: Developing whole-brain emulation (WBE) technology would provide immense benefits across neuroscience, biomedicine, artificial intelligence, and robotics. At this time, constructing a simulated human brain lacks feasibility due to limited experimental data and limited computational resources. However, I suggest that progress towards this goal might be accelerated by working towards an intermediate objective, namely insect brain emulation (IBE). More specifically, this would entail creating biologically realistic simulations of entire insect nervous systems along with more approximate simulations of non-neuronal insect physiology to make "virtual insects." I argue that this could be realistically achievable within the next 20 years. I propose that developing emulations of insect brains will galvanize the global community of scientists, businesspeople, and policymakers towards pursuing the loftier goal of emulating the human brain. By demonstrating that WBE is possible via IBE, simulating mammalian brains and eventually the human brain may no longer be viewed as too radically ambitious to deserve substantial funding and resources. Furthermore, IBE will facilitate dramatic advances in cognitive neuroscience, artificial intelligence, and robotics through studies performed using virtual insects.


title: On the Structure of Finite Groups Associated to Regular Non-Centralizer Graph

abstract: The non-centralizer graph of a finite group $G$ is the simple graph $\Upsilon_G$ whose vertices are the elements of $G$ with two vertices $x$ and $y$ are adjacent if their centralizers are distinct. The induced subgroup of $\Upsilon_G$ associated with the vertex set $G\setminus Z(G)$ is called the induced non-centralizer graph of $G$. The notions of non-centralizer and induced non-centralizer graphs were introduced by Tolue in \cite{to15}. A finite group is called regular (resp. induced regular) if its non-centralizer graph (resp. induced non-centralizer graph) is regular. In this paper we study the structure of regular groups as well as induced regular groups. Among the many obtained results, we prove that if a group $G$ is regular (resp. induced regular) then $G/Z(G)$ as an elementary $2-$group (resp. $p-$group).


title: Globular cluster systems as tracers of the evolutionary history in NGC 3258 and NGC 3268

abstract: We present a new photometric study of NGC 3258 and NGC 3268 globular cluster systems (GCSs), using images in filters $B,C,V,R,I$ and $z'$, obtained from four different telescopes. The wide spatial coverage allow us to estimate the whole extension of both GCSs more precisely than in previous works, and new values for the richness of GCs subpopulations. We find differences in the azimuthal distribution between blue (metal-poor) and red (metal-rich) globular clusters (GCs), and confirm that radial profiles flatten towards the centre of the galaxies. In both cases we detected a radial gradient in the colour peak of blue GCs which might be related to the construction of the GCSs. We analyse the similarities and differences in both GCSs, in the context of the posible evolutionary histories of the host galaxies. We also obtain photometric metallicities for a large number of GC candidates around NGC 3258, by applying multicolour-metallicity relations. These results confirm the bimodal metallicity distribution.


title: Baryonic susceptibilities, quark-diquark models, and quark-hadron duality at finite temperature

abstract: Fluctuations of conserved charges such as baryon number, electric charge and strangeness may provide a test for completeness of states in lattice QCD for three light flavors. We elaborate on the idea that the corresponding susceptibilities can be saturated with excited baryonic states with an underlying quark-diquark structure with a linearly confining interaction. Using Polyakov-loop correlators we show that in the static limit, the quark-diquark potential coincides with the quark-antiquark potential in marked agreement with recent lattice studies. We thus study in a quark-diquark model the baryonic fluctuations of electric charge, baryon number and strangeness: $\chi_{BQ}$, $\chi_{BB}$ and $\chi_{BS}$; by considering a realization of the hadron resonance gas model in the light flavor sector of QCD. These results have been obtained by using the baryon spectrum computed within a relativistic quark-diquark model, leading to an overall good agreement with the spectrum obtained with other quark models and with lattice data for the fluctuations.


title: Wireless Software Synchronization of Multiple Distributed Cameras

abstract: We present a method for precisely time-synchronizing the capture of image sequences from a collection of smartphone cameras connected over WiFi. Our method is entirely software-based, has only modest hardware requirements, and achieves an accuracy of less than 250 microseconds on unmodified commodity hardware. It does not use image content and synchronizes cameras prior to capture. The algorithm operates in two stages. In the first stage, we designate one device as the leader and synchronize each client device's clock to it by estimating network delay. Once clocks are synchronized, the second stage initiates continuous image streaming, estimates the relative phase of image timestamps between each client and the leader, and shifts the streams into alignment. We quantitatively validate our results on a multi-camera rig imaging a high-precision LED array and qualitatively demonstrate significant improvements to multi-view stereo depth estimation and stitching of dynamic scenes. We release as open source 'libsoftwaresync', an Android implementation of our system, to inspire new types of collective capture applications.


title: Sign tests for weak principal directions

abstract: We consider inference on the first principal direction of a $p$-variate elliptical distribution. We do so in challenging double asymptotic scenarios for which this direction eventually fails to be identifiable. In order to achieve robustness not only with respect to such weak identifiability but also with respect to heavy tails, we focus on sign-based statistical procedures, that is, on procedures that involve the observations only through their direction from the center of the distribution. We actually consider the generic problem of testing the null hypothesis that the first principal direction coincides with a given direction of $\mathbb{R}^p$. We first focus on weak identifiability setups involving single spikes (that is, involving spectra for which the smallest eigenvalue has multiplicity $p-1$). We show that, irrespective of the degree of weak identifiability, such setups offer local alternatives for which the corresponding sequence of statistical experiments converges in the Le Cam sense. Interestingly, the limiting experiments depend on the degree of weak identifiability. We exploit this convergence result to build optimal sign tests for the problem considered. In classical asymptotic scenarios where the spectrum is fixed, these tests are shown to be asymptotically equivalent to the sign-based likelihood ratio tests available in the literature. Unlike the latter, however, the proposed sign tests are robust to arbitrarily weak identifiability. We show that our tests meet the asymptotic level constraint irrespective of the structure of the spectrum, hence also in possibly multi-spike setups. We fully characterize the non-null asymptotic distributions of the corresponding test statistics under weak identifiability, which allows us to quantify the corresponding local asymptotic powers.


title: Achievement of Ultra-High Quality Factor in Prototype Cryomodule for LCLS-II

abstract: Quality factor is a primary cost driver for high energy, continuous wave (CW) SRF linacs like the LCLS-II X-ray free electron laser currently under construction. Taking this into account, several innovations were introduced in the LCLS-II cryomodule design to push substantially beyond the previous state-of-the-art quality factor achieved in operation. This includes the first ever implementation of the nitrogen doping cavity treatment, the capability to provide high mass flow cooldown to improve expulsion of magnetic flux based on recent R&D, high performance magnetic shielding, and other critical subcomponents. To evaluate the implementation of these new cryomodule features, two prototype cryomodules were produced. In this paper, we present results from the prototype cryomodule assembled at Fermilab, which achieved unprecedented cavity quality factors of 3.0e10 at a nominal cryomodule voltage. We overview cavity performance, procedures to achieve ambient magnetic field < 5 mG at the cavity wall, and the successful demonstration of high mass flow cooldown in a cryomodule. The cavity performance under various cool down conditions are presented as well to show the impact of flux expulsion on Q0.


title: Synthetic gauge fields for phonon transport in a nano-optomechanical system

abstract: Gauge fields play important roles in condensed matter, explaining for example nonreciprocal and topological transport phenomena. Establishing gauge potentials for phonon transport in nanomechanical systems would bring quantum Hall physics to a new domain, which offers broad applications in sensing and signal processing, and is naturally associated with strong nonlinearities and thermodynamics. In this work, we demonstrate a magnetic gauge field for nanomechanical vibrations in a scalable, on-chip optomechanical system. We exploit multimode optomechanical interactions, which provide a useful resource for the necessary breaking of time-reversal symmetry. In a dynamically modulated nanophotonic system, we observe how radiation pressure forces mediate phonon transport between resonators of different frequencies, with a high rate and a characteristic nonreciprocal phase mimicking the Aharonov-Bohm effect. We show that the introduced scheme does not require high-quality cavities, such that it can be straightforwardly extended to explore topological acoustic phases in many-mode systems resilient to realistic disorder.


title: The tropical Cayley-Menger variety

abstract: The Cayley-Menger variety is the Zariski closure of the set of vectors specifying the pairwise squared distances between $n$ points in $\mathbb{R}^d$. This variety is fundamental to algebraic approaches in rigidity theory. We study the tropicalization of the Cayley-Menger variety. In particular, when $d = 2$, we show that it is the Minkowski sum of the set of ultrametrics on $n$ leaves with itself, and we describe its polyhedral structure. We then give a new, tropical, proof of Laman's theorem.


title: Role of the spectator system in electromagnetic effects

abstract: The electromagnetic effects on charged pion ($\pi^+,\pi^-$) spectra provide new, independent information on the space-time evolution of the ultrarelativistic heavy ion collision. The spectator life time and its excitation energy may also be of importance for the understanding of the space-time evolution of the participant zone. This paper gives an overview of our coordinated effort to understand the interplay between electromagnetic phenomena and processes related to the fragmentation of the spectator system at forward rapidity in peripheral $Pb$+$Pb$ collisions at top CERN SPS energies. Our study includes on one hand the experimental analysis of electromagnetic effects and corresponding phenomenological Monte Carlo simulations, and on the other hand dedicated theoretical calculations based on the Abrasion-Ablation model ABRABLA and the 4D Langevin approach.


title: Fast post-hoc method for updating moments of large datasets

abstract: Moments of large datasets utilise the mean of the dataset; consequently, updating the dataset traditionally requires one to update the mean, which then requires one to recalculate the moment. This means that metrics such as the standard deviation, $R^2$ correlation, and other statistics have to be `refreshed' for dataset updates, requiring large data storage and taking long times to process. Here, a method is shown for updating moments that only requires the previous moments (which are computationally cheaper to store), and the new data to be appended. This leads to a dramatic decrease in data storage requirements, and significant computational speed-up for large datasets or low-order moments (n $\lesssim$ 10).


title: Another approach to volume of matroid polytopes

abstract: We present a new algorithm for computing the volume of an arbitrary matroid base polytope. We provide two applications of this approach: a relation between the volume of the base polytope of a matroid $\M$ and its relaxation $\M'$, and a formula for the volume of an arbitrary sparse paving matroid base polytope.


title: Jet suppression in non-conformal plasma using AdS/CFT

abstract: In this paper, we study suppression of light quark in strongly coupled non-conformal plasmas using the AdS/CFT correspondence. The well-known falling string profile in the bulk is considered as light quark moving through the plasma. The maximum distance which string with energy E can travel before falling through the horizon is interpreted as thermalization distance of light quark in the hot-strongly coupled plasma. Our numerical results show that the thermalization distance of light quark increases by increasing deviation from conformal invariance. The relation between this distance and the energy of quark and the temperature of the plasma is analyzed numerically. The jet quenching parameter is also calculated in the non-conformal backgrounds and it is found that the jet quenching parameter is generally decreased by increasing the non-conformality. Our results are compared with the results of N = 4 SYM theory and also some available experimental data.


title: Multi-Frame Super-Resolution Reconstruction with Applications to Medical Imaging

abstract: The optical resolution of a digital camera is one of its most crucial parameters with broad relevance for consumer electronics, surveillance systems, remote sensing, or medical imaging. However, resolution is physically limited by the optics and sensor characteristics. In addition, practical and economic reasons often stipulate the use of out-dated or low-cost hardware. Super-resolution is a class of retrospective techniques that aims at high-resolution imagery by means of software. Multi-frame algorithms approach this task by fusing multiple low-resolution frames to reconstruct high-resolution images. This work covers novel super-resolution methods along with new applications in medical imaging.


title: Human-AI Learning Performance in Multi-Armed Bandits

abstract: People frequently face challenging decision-making problems in which outcomes are uncertain or unknown. Artificial intelligence (AI) algorithms exist that can outperform humans at learning such tasks. Thus, there is an opportunity for AI agents to assist people in learning these tasks more effectively. In this work, we use a multi-armed bandit as a controlled setting in which to explore this direction. We pair humans with a selection of agents and observe how well each human-agent team performs. We find that team performance can beat both human and agent performance in isolation. Interestingly, we also find that an agent's performance in isolation does not necessarily correlate with the human-agent team's performance. A drop in agent performance can lead to a disproportionately large drop in team performance, or in some settings can even improve team performance. Pairing a human with an agent that performs slightly better than them can make them perform much better, while pairing them with an agent that performs the same can make them them perform much worse. Further, our results suggest that people have different exploration strategies and might perform better with agents that match their strategy. Overall, optimizing human-agent team performance requires going beyond optimizing agent performance, to understanding how the agent's suggestions will influence human decision-making.


title: Character polynomials for two rows and hook partitions

abstract: Representation theory of the symmetric group $\mathfrak{S}_n$ has a very distinctive combinatorial flavor. The conjugacy classes as well as the irreducible characters are indexed by integer partitions $\lambda \vdash n$. We introduce class functions on $\mathfrak{S}_n$ that count the number of certain tilings of Young diagrams. The counting interpretation gives a uniform expression of these class functions in the ring of character polynomials, as defined by \cite{murnaghanfirst}. A modern treatment of character polynomials is given in \cite{orellana-zabrocki}. We prove a relation between these combinatorial class functions in the (virtual) character ring. From this relation, we were able to prove Goupil's generating function identity \cite{goupil}, which can then be used to derive Rosas' formula \cite{rosas} for Kronecker coefficients of hook shape partitions and two row partitions.


title: Forking, Imaginaries and other features of ACFG

abstract: We study the generic theory of algebraically closed fields of fixed positive characteristic with a predicate for an additive subgroup, called $\mathrm{ACFG}$. This theory was introduced recently as a new example of $\mathrm{NSOP}_1$ non simple theory. In this paper we describe more features of $\mathrm{ACFG}$, such as imaginaries. We also study various independence relations in $\mathrm{ACFG}$, such as Kim-independence or forking independence, and describe interactions between them.


title: Harmonic maps and shift-invariant subspaces

abstract: We investigate in detail the connection between harmonic maps from Riemann surfaces into the unitary group $\U(n)$ and their Grassmannian models: these are families of shift-invariant subspaces of $L^2(S^1,\C^n)$. With the help of operator-theoretic methods we derive a criterion for finiteness of the uniton number which has a large number of applications discussed in the paper.


title: A Fuzzy Community-Based Recommender System Using PageRank

abstract: Recommendation systems are widely used by different user service providers specially those who have interactions with the large community of users. This paper introduces a recommender system based on community detection. The recommendation is provided using the local and global similarities between users. The local information is obtained from communities, and the global ones are based on the ratings. Here, a new fuzzy community detection using the personalized PageRank metaphor is introduced. The fuzzy membership values of the users to the communities are utilized to define a similarity measure. The method is evaluated by using two well-known datasets: MovieLens and FilmTrust. The results show that our method outperforms recent recommender systems.


title: Droplets capped with an elastic film can be round, elliptical, or nearly square

abstract: We present experiments which show that the partial wetting of droplets capped by taut elastic films is highly tunable. Adjusting the tension allows the contact angle and droplet morphology to be controlled. By exploiting these elastic boundaries, droplets can be made elliptical, with an adjustable aspect ratio, and can even be transformed into a nearly square shape. This system can be used to create tunable liquid lenses, and moreover, presents a unique approach to liquid patterning.


title: Directed topological complexity

abstract: It has been observed that the very important motion planning problem of robotics mathematically speaking boils down to the problem of finding a section to the path-space fibration, raising the notion of topological complexity, as introduced by M. Farber. The above notion fits the motion planning problem of robotics when there are no constraints on the actual control that can be applied to the physical apparatus. In many applications, however, a physical apparatus may have constrained controls, leading to constraints on its potential future dynamics. In this paper we adapt the notion of topological complexity to the case of directed topological spaces, which encompass such controlled systems, and also systems which appear in concurrency theory. We study its first properties, make calculations for some interesting classes of spaces, and show applications to a form of directed homotopy equivalence.


title: Technology-Enabled Disinformation: Summary, Lessons, and Recommendations

abstract: Technology is increasingly used -- unintentionally (misinformation) or intentionally (disinformation) -- to spread false information at scale, with potentially broad-reaching societal effects. For example, technology enables increasingly realistic false images and videos, and hyper-personal targeting means different people may see different versions of reality. This report is the culmination of a PhD-level special topics course (https://courses.cs.washington.edu/courses/cse599b/18au/) in Computer Science & Engineering at the University of Washington's Paul G. Allen School in the fall of 2018. The goals of this course were to study (1) how technologies and today's technical platforms enable and support the creation and spread of such mis- and disinformation, as well as (2) how technical approaches could be used to mitigate these issues. In this report, we summarize the space of technology-enabled mis- and disinformation based on our investigations, and then surface our lessons and recommendations for technologists, researchers, platform designers, policymakers, and users.


title: Revisiting the Gelman-Rubin Diagnostic

abstract: Gelman and Rubin's (1992) convergence diagnostic is one of the most popular methods for terminating a Markov chain Monte Carlo (MCMC) sampler. Since the seminal paper, researchers have developed sophisticated methods for estimating variance of Monte Carlo averages. We show that these estimators find immediate use in the Gelman-Rubin statistic, a connection not previously established in the literature. We incorporate these estimators to upgrade both the univariate and multivariate Gelman-Rubin statistics, leading to improved stability in MCMC termination time. An immediate advantage is that our new Gelman-Rubin statistic can be calculated for a single chain. In addition, we establish a one-to-one relationship between the Gelman-Rubin statistic and effective sample size. Leveraging this relationship, we develop a principled termination criterion for the Gelman-Rubin statistic. Finally, we demonstrate the utility of our improved diagnostic via examples.


title: Poverty, Income Inequality and Growth in Bangladesh: Revisited Karl-Marx

abstract: This study tries to find the relationship among poverty inequality and growth. The major finding of this study is poverty has reduced significantly from 2000 to 2016, which is more than 100 percent but in recent time poverty reduction has slowed down. Slower and unequal household consumption growth makes sloth the rate of poverty reduction. Average annual consumption fell from 1.8 percent to 1.4 percent from 2010 to 2016 and poorer households experienced slower consumption growth compared to richer households.


title: Numerical attoclock on atomic and molecular hydrogen

abstract: Numerical attoclock is a theoretical model of attosecond angular streaking driven by a very short, nearly a single oscillation, circularly polarized laser pulse. The reading of such an attoclock is readily obtained from a numerical solution of the time-dependent Schr\"odinger equation as well as a semi-classical trajectory simulation. By making comparison of the two approaches, we highlight the essential physics behind the attoclock measurements. In addition, we analyze the predictions of the Keldysh-Rutherford model of the attoclock [Phys. Rev. Lett. 121, 123201 (2018)]. In molecular hydrogen, we highlight a strong dependence of the width of the attoclock angular peak on the molecular orientation and attribute it to the two-center electron interference. This effect is further exemplified in the weakly bound neon dimer.


title: Correlated Anomaly Detection from Large Streaming Data

abstract: Correlated anomaly detection (CAD) from streaming data is a type of group anomaly detection and an essential task in useful real-time data mining applications like botnet detection, financial event detection, industrial process monitor, etc. The primary approach for this type of detection in previous researches is based on principal score (PS) of divided batches or sliding windows by computing top eigenvalues of the correlation matrix, e.g. the Lanczos algorithm. However, this paper brings up the phenomenon of principal score degeneration for large data set, and then mathematically and practically prove current PS-based methods are likely to fail for CAD on large-scale streaming data even if the number of correlated anomalies grows with the data size at a reasonable rate; in reality, anomalies tend to be the minority of the data, and this issue can be more serious. We propose a framework with two novel randomized algorithms rPS and gPS for better detection of correlated anomalies from large streaming data of various correlation strength. The experiment shows high and balanced recall and estimated accuracy of our framework for anomaly detection from a large server log data set and a U.S. stock daily price data set in comparison to direct principal score evaluation and some other recent group anomaly detection algorithms. Moreover, our techniques significantly improve the computation efficiency and scalability for principal score calculation.


title: Regularity of Boltzmann equation with external fields in convex domains of diffuse reflection

abstract: We consider the Boltzmann equation with external fields in strictly convex domains with diffuse reflection boundary condition. As long as the normal derivative of external fields satisfy some sign condition on the boundary (1.8) we construct classical $C^1$ solutions away from the grazing set. As a consequence we construct solutions of Vlasov-Poisson-Boltzmann system having bounded derivatives away from the grazing set (weighted $W^{1,\infty}$ estimate). In particular this improves the recent regularity estimate of such system in weighted $W^{1,p}$ space for $p<6$ in [1].


title: Branching Rules For Splint Root Systems

abstract: A root system is splint if it is a decomposition into a union of two root systems. Examples of such root systems arise naturally in studying embeddings of reductive Lie subalgebras into simple Lie algebras. Given a splint root system, one can try to understand its branching rule. In this paper we discuss methods to understand such branching rules, and give precise formulas for specific cases, including the restriction functor from the exceptional Lie algebra $\mathfrak{g}_2$ to $\mathfrak{sl}_3$.


title: Decay of the Local Energy for the Charged Klein-Gordon Equation in the Exterior De Sitter-Reissner-Nordstr\"om Spacetime

abstract: We show decay of the local energy of solutions of the charged Klein-Gordon equation in the exterior De Sitter-Reissner-Nordstr\"om spacetime by means of a resonance expansion of the local propagator.


title: Products of groups and class sizes of $\pi$-elements

abstract: We provide structural criteria for some finite factorised groups $G = AB$ when the conjugacy class sizes in $G$ of certain $\pi$-elements in $A\cup B$ are either $\pi$-numbers or $\pi'$-numbers, for a set of primes $\pi$. In particular, we extend for products of groups some earlier results.


title: Derived categories of centrally-symmetric smooth toric Fano varieties

abstract: We exhibit full exceptional collections of vector bundles on any smooth, Fano arithmetic toric variety whose split fan is centrally symmetric.


title: Population Growth and Economic Development in Bangladesh: Revisited Malthus

abstract: Bangladesh is the 2nd largest growing country in the world in 2016 with 7.1% GDP growth. This study undertakes an econometric analysis to examine the relationship between population growth and economic development. This result indicates population growth adversely related to per capita GDP growth, which means rapid population growth is a real problem for the development of Bangladesh.


title: Hopf-Galois module structure of tamely ramified radical extensions of prime degree

abstract: Let $ K $ be a number field and let $ L/K $ be a tamely ramified radical extension of prime degree $ p $. If $ K $ contains a primitive $ p^{th} $ root of unity then $ L/K $ is a cyclic Kummer extension; in this case the group algebra $ K[G] $ (with $ G=\mbox{Gal}(L/K) $) gives the unique Hopf-Galois structure on $ L/K $, the ring of algebraic integers $ \mathfrak{O}_L $ is locally free over $ \mathfrak{O}_{K}[G] $ by Noether's theorem, and G\'{o}mez Ayala has determined a criterion for $ \mathfrak{O}_L $ to be a free $ \mathfrak{O}_{K}[G] $-module. If $ K $ does not contain a primitive $ p^{th} $ root of unity then $ L/K $ is a separable, but non-normal, extension, which again admits a unique Hopf-Galois structure. Under the assumption that $ p $ is unramified in $ K $, we show that $ \mathfrak{O}_L $ is locally free over its associated order in this Hopf-Galois structure and determine a criterion for it to be free. We find that the conditions that appear in this criterion are identical to those appearing in G\'{o}mez Ayala's criterion for the normal case.


title: Multi-Step Prediction of Occupancy Grid Maps with Recurrent Neural Networks

abstract: We investigate the multi-step prediction of the drivable space, represented by Occupancy Grid Maps (OGMs), for autonomous vehicles. Our motivation is that accurate multi-step prediction of the drivable space can efficiently improve path planning and navigation resulting in safe, comfortable and optimum paths in autonomous driving. We train a variety of Recurrent Neural Network (RNN) based architectures on the OGM sequences from the KITTI dataset. The results demonstrate significant improvement of the prediction accuracy using our proposed difference learning method, incorporating motion related features, over the state of the art. We remove the egomotion from the OGM sequences by transforming them into a common frame. Although in the transformed sequences the KITTI dataset is heavily biased toward static objects, by learning the difference between subsequent OGMs, our proposed method provides accurate prediction over both the static and moving objects.


title: Tuple domination on graphs with the consecutive-zeros property

abstract: The $k$-tuple domination problem, for a fixed positive integer $k$, is to find a minimum sized vertex subset such that every vertex in the graph is dominated by at least $k$ vertices in this set. The $k$-tuple domination is NP-hard even for chordal graphs. For the class of circular-arc graphs, its complexity remains open for $k\geq 2$. A $0,1$-matrix has the consecutive 0's property (C0P) for columns if there is a permutation of its rows that places the 0's consecutively in every column. Due to A. Tucker, graphs whose augmented adjancency matrix has the C0P for columns are circular-arc. In this work we study the $k$-tuple domination problem on graphs $G$ whose augmented adjacency matrix has the C0P for columns, for $ 2\leq k\leq |U|+3$, where $U$ is the set of universal vertices of $G$. From an algorithmic point of view, this takes linear time.


title: Many Average Partial Effects: with An Application to Text Regression

abstract: We study estimation, pointwise and simultaneous inference, and confidence intervals for many average partial effects of lasso Logit. Focusing on high-dimensional, cluster-sampling environments, we propose a new average partial effect estimator and explore its asymptotic properties. Practical penalty choices compatible with our asymptotic theory are also provided. The proposed estimator allow for valid inference without requiring oracle property. We provide easy-to-implement algorithms for cluster-robust high-dimensional hypothesis testing and construction of simultaneously valid confidence intervals using a multiplier cluster bootstrap. We apply the proposed algorithms to the text regression model of Wu (2018) to examine the presence of gendered language on the internet.


title: Guaranteed Performance of Nonlinear Attitude Filters on the Special Orthogonal Group SO(3)

abstract: This paper proposes two novel nonlinear attitude filters evolved directly on the Special Orthogonal Group SO(3) able to ensure prescribed measures of transient and steady-state performance. The tracking performance of the normalized Euclidean distance of attitude error is trapped to initially start within a large set and converge systematically and asymptotically to the origin from almost any initial condition. The convergence rate is guaranteed to be less than the prescribed value and the steady-state error does not exceed a predefined small value. The first filter uses a set of vectorial measurements with the need for attitude reconstruction. The second filter instead uses only a rate gyroscope measurement and two or more vectorial measurements. These filters provide good attitude estimates with superior convergence properties and can be applied to measurements obtained from low cost inertial measurement units (IMUs). Simulation results illustrate the robustness and effectiveness of the proposed attitude filters with guaranteed performance considering high level of uncertainty in angular velocity along with body-frame vector measurements. Keywords: Attitude, estimate, estimator, observer, filter, nonlinear deterministic attitude filter, special orthogonal group, Euler angles, angle-axis, Rodrigues vector, mapping, parameterization, prescribed performance, representation, robust, Multiplicative Extended Kalman Filter, KF, EKF, MEKF, asymptotic stability, almost global asymptotic, noise, rotational matrix, identity, origin, orientation, body frame, inertial frame, rigid body, three dimensional, 3D, space, micro electromechanical systems, sensor, MEMS, roll, pitch, yaw, UAVs, QUAV, SVD, fixed, moving, vehicles, robot, robotic system, spacecraft, submarine, underwater vehicle, passive complementary filter, explicit complementary filter, autonomous, comparative study, SO(3).


title: On rotationally invariant integrable and superintegrable classical systems in magnetic fields with non-subgroup type integrals

abstract: The aim of the present article is to construct quadratically integrable three dimensional systems in non-vanishing magnetic fields which possess so-called non-subgroup type integrals. The presence of such integrals means that the system possesses a pair of integrals of motion in involution which are (at most) quadratic in momenta and whose leading order terms, that are necessarily elements of the enveloping algebra of the Euclidean algebra, are not quadratic Casimir operators of a chain of its subalgebras. By imposing in addition that one of the integrals has the leading order term $L_z^2$ we can consider three such commuting pairs: circular parabolic, oblate spheroidal and prolate spheroidal. We find all possible integrable systems possessing such structure of commuting integrals and describe their Hamiltonians and their integrals. We show that our assumptions imply the existence of a first order integral $L_z $, i.e. rotational invariance, of all such systems. As a consequence, the Hamilton--Jacobi equation of each of these systems with magnetic field separates in the corresponding coordinate system, as it is known to be the case for all quadratically integrable systems without magnetic field, and in contrast with the subgroup type, i.e. Cartesian, spherical and cylindrical, cases, with magnetic fields. We also look for superintegrable systems within the circular parabolic integrable class. Assuming the additional integral to be first order we demonstrate that only previously known systems exist. However, for a particular second order ansatz for the sought integral ($L^2+\ldots$) we find a minimally quadratically superintegrable system. It is not quadratically maximally superintegrable but appears to possess bounded closed trajectories, hinting at hypothetical higher order superintegrability.


title: Towards resilient machine learning for ransomware detection

abstract: There has been a surge of interest in using machine learning (ML) to automatically detect malware through their dynamic behaviors. These approaches have achieved significant improvement in detection rates and lower false positive rates at large scale compared with traditional malware analysis methods. ML in threat detection has demonstrated to be a good cop to guard platform security. However it is imperative to evaluate - is ML-powered security resilient enough? In this paper, we juxtapose the resiliency and trustworthiness of ML algorithms for security, via a case study of evaluating the resiliency of ransomware detection via the generative adversarial network (GAN). In this case study, we propose to use GAN to automatically produce dynamic features that exhibit generalized malicious behaviors that can reduce the efficacy of black-box ransomware classifiers. We examine the quality of the GAN-generated samples by comparing the statistical similarity of these samples to real ransomware and benign software. Further we investigate the latent subspace where the GAN-generated samples lie and explore reasons why such samples cause a certain class of ransomware classifiers to degrade in performance. Our focus is to emphasize necessary defense improvement in ML-based approaches for ransomware detection before deployment in the wild. Our results and discoveries should pose relevant questions for defenders such as how ML models can be made more resilient for robust enforcement of security objectives.


title: Transfer of mass and momentum at rough and porous surfaces

abstract: The surface texture of materials plays a critical role in wettability, turbulence and transport phenomena. In order to design surfaces for these applications, it is desirable to characterise non-smooth and porous materials by their ability to exchange mass and momentum with flowing fluids. While the underlying physics of the tangential (slip) velocity at a fluid-solid interface is well understood, the importance and treatment of normal (transpiration) velocity and normal stress is unclear. We show that, when slip velocity varies at an interface above the texture, a non-zero transpiration velocity arises from mass conservation. The ability of a given surface texture to accommodate for a normal velocity of this kind is quantified by a transpiration length. We further demonstrate that normal momentum transfer gives rise to a pressure jump. For a porous material, the pressure jump can be characterised by so called resistance coefficients. By solving five Stokes problems, the introduced measures of slip, transpiration and resistance can be determined for any anisotropic non-smooth surface consisting of regularly repeating geometric patterns. The proposed conditions are a subset of effective boundary conditions derived from formal multi-scale expansion. We validate and demonstrate the physical significance of the effective conditions on two canonical problems -- a lid-driven cavity and a turbulent channel flow, both with non-smooth bottom surfaces.


title: The role of particle, energy and momentum losses in 1D simulations of divertor detachment

abstract: A new 1D divertor plasma code, SD1D, has been used to examine the role of recombination, radiation, and momentum exchange in detachment. Neither momentum or power losses by themselves are found to be sufficient to produce a reduction in target ion flux in detachment (flux rollover); radiative power losses are required to a) limit and reduce the ionization source and b) access low-target temperature, T_target, conditions for volumetric momentum losses. Recombination is found to play little role at flux rollover, but as T_target drops to temperatures around 1eV, it becomes a strong ion sink. In the case where radiative losses are dominated by hydrogen, the detachment threshold is identified as a minimum gradient of the energy cost per ionisation with respect to T_target. This is also linked to thresholds in T_target and in the ratio of upstream pressure to power flux. A system of determining the detached condition is developed such that the divertor solution at a given T_target (or lack of one) is determined by the simultaneous solution of two equations for target ion current - one dependent on power losses and the other on momentum. Depending on the detailed momentum and power loss dependence on temperature there are regions of T_target where there is no solution and the plasma 'jumps' from high to low T_target states. The novel analysis methods developed here provide an intuitive way to understand complex detachment phenomena, and can potentially be used to predict how changes in the seeding impurity used or recycling aspects of the divertor can be utilised to modify the development of detachment.


title: Wavelet-Fourier CORSING techniques for multi-dimensional advection-diffusion-reaction equations

abstract: We present and analyze a novel wavelet-Fourier technique for the numerical treatment of multidimensional advection-diffusion-reaction equations based on the CORSING (COmpRessed SolvING) paradigm. Combining the Petrov-Galerkin technique with the compressed sensing approach, the proposed method is able to approximate the largest coefficients of the solution with respect to a biorthogonal wavelet basis. Namely, we assemble a compressed discretization based on randomized subsampling of the Fourier test space and we employ sparse recovery techniques to approximate the solution to the PDE. In this paper, we provide the first rigorous recovery error bounds and effective recipes for the implementation of the CORSING technique in the multi-dimensional setting. Our theoretical analysis relies on new estimates for the local a-coherence, which measures interferences between wavelet and Fourier basis functions with respect to the metric induced by the PDE operator. The stability and robustness of the proposed scheme is shown by numerical illustrations in the one-, two-, and three-dimensional case.


title: Derandomized Distributed Multi-resource Allocation with Little Communication Overhead

abstract: We study a class of distributed optimization problems for multiple shared resource allocation in Internet-connected devices. We propose a derandomized version of an existing stochastic additive-increase and multiplicative-decrease (AIMD) algorithm. The proposed solution uses one bit feedback signal for each resource between the system and the Internet-connected devices and does not require inter-device communication. Additionally, the Internet-connected devices do not compromise their privacy and the solution does not dependent on the number of participating devices. In the system, each Internet-connected device has private cost functions which are strictly convex, twice continuously differentiable and increasing. We show empirically that the long-term average allocations of multiple shared resources converge to optimal allocations and the system achieves minimum social cost. Furthermore, we show that the proposed derandomized AIMD algorithm converges faster than the stochastic AIMD algorithm and both the approaches provide approximately same solutions.


title: He white dwarfs with large H contamination: Convective mixing or accretion?

abstract: White dwarfs are compact objects with atmospheres containing mainly light elements, hydrogen or helium. Because of their surface high gravitational field, heavy elements diffuse downwards in a very short timescale compared to the evolutionary timescale, leaving the lightest ones on the top of the envelope. This results in the main classification of white dwarfs as hydrogen rich or helium rich. But many helium rich white dwarfs show also the presence of hydrogen traces in their atmosphere, whose origin is still unsettled. Here we study, by means of full evolutionary calculations, the case for a representative model of the "He-H-Z" white dwarfs, a sub-group of helium rich white dwarfs showing both heavy elements and a large amount of hydrogen in their atmosphere. We find it impossible to explain its hydrogen atmospheric content by the convective mixing of a primordial hydrogen present in the star. We conclude that the most likely explanation is the accretion of hydrogen rich material, presumably water-bearing, coming from a debris disk.


title: HATS-71b: A giant planet transiting an M3 dwarf star in TESS Sector 1

abstract: We report the discovery of HATS-71b, a transiting gas giant planet on a P = 3.7955 day orbit around a G = 15.35 mag M3 dwarf star. HATS-71 is the coolest M dwarf star known to host a hot Jupiter. The loss of light during transits is 4.7%, more than any other confirmed transiting planet system. The planet was identified as a candidate by the ground-based HATSouth transit survey. It was confirmed using ground-based photometry, spectroscopy, and imaging, as well as space-based photometry from the NASA TESS mission (TIC 234523599). Combining all of these data, and utilizing Gaia DR2, we find that the planet has a radius of $1.080 \pm 0.016 R_J$ and mass of $0.45 \pm 0.24 M_J$ (95% confidence upper limit of $0.81 M_J$ ), while the star has a mass of $0.569 \pm^{0.042}_{0.069}\,M_\odot$ and a radius of $0.5161\pm^{0.0053}_{0.0099}\,R_\odot$. The Gaia DR2 data show that HATS-71 lies near the binary main sequence in the Hertzsprung-Russell diagram, suggesting that there may be an unresolved stellar binary companion. All of the available data is well fitted by a model in which there is a secondary star of mass $0.24 M_\odot$, although we caution that at present there is no direct spectroscopic or imaging evidence for such a companion. Even if there does exist such a stellar companion, the radius and mass of the planet would be only marginally different from the values we have calculated under the assumption that the star is single.


title: An Enhanced Initial Margin Methodology to Manage Warehoused Credit Risk

abstract: The use of CVA to cover credit risk is widely spread, but has its limitations. Namely, dealers face the problem of the illiquidity of instruments used for hedging it, hence forced to warehouse credit risk. As a result, dealers tend to offer a limited OTC derivatives market to highly risky counterparties. Consequently, those highly risky entities rarely have access to hedging services precisely when they need them most. In this paper we propose a method to overcome this limitation. We propose to extend the CVA risk-neutral framework to compute an initial margin (IM) specific to each counterparty, which depends on the credit quality of the entity at stake, transforming the effective credit rating of a given netting set to AAA, regardless of the credit rating of the counterparty. By transforming CVA requirement into IM ones, as proposed in this paper, an institution could rely on the existing mechanisms for posting and calling of IM, hence ensuring the operational viability of this new form of managing warehoused risk. The main difference with the currently standard framework is the creation of a Specific Initial Margin, that depends in the credit rating of the counterparty and the characteristics of the netting set in question. In this paper we propose a methodology for such transformation in a sound manner, and hence this method overcomes some of the limitations of the CVA framework.


title: Functional Sequential Treatment Allocation

abstract: Consider a setting in which a policy maker assigns subjects to treatments, observing each outcome before the next subject arrives. Initially, it is unknown which treatment is best, but the sequential nature of the problem permits learning about the effectiveness of the treatments. While the multi-armed-bandit literature has shed much light on the situation when the policy maker compares the effectiveness of the treatments through their mean, much less is known about other targets. This is restrictive, because a cautious decision maker may prefer to target a robust location measure such as a quantile or a trimmed mean. Furthermore, socio-economic decision making often requires targeting purpose specific characteristics of the outcome distribution, such as its inherent degree of inequality, welfare or poverty. In the present paper we introduce and study sequential learning algorithms when the distributional characteristic of interest is a general functional of the outcome distribution. Minimax expected regret optimality results are obtained within the subclass of explore-then-commit policies, and for the unrestricted class of all policies.


title: Metastability and Multiscale Extinction Time on a Finite System of Interacting Stochastic Chains

abstract: We studied metastability and extinction time of a finite system with a large number of interacting components in discrete time by means of analytical and numerical investigation. The system is markovian with respect to the potential profile of the components, which are subject to leakage and gain effects simultaneously. We show that the only invariant measure is the null configuration, that the system ceases activity almost surely in a finite time and that extinction time presents a cutoff behavior. Moreover, there is a critical parameter determined by leakage and gain below which the extinction time does not depend on the system size. Above such critical ratio, the extinction time depends on the number of components and the system tends to stabilize around a unique metastable state. Furthermore, the extinction time presents infinitely many scales with respect to the system size.


title: Quantifying the Security of Recognition Passwords: Gestures and Signatures

abstract: Gesture and signature passwords are two-dimensional figures created by drawing on the surface of a touchscreen with one or more fingers. Prior results about their security have used resilience to either shoulder surfing, a human observation attack, or dictionary attacks. These evaluations restrict generalizability since the results are: non-comparable to other password systems (e.g. PINs), harder to reproduce, and attacker-dependent. Strong statements about the security of a password system use an analysis of the statistical distribution of the password space, which models a best-case attacker who guesses passwords in order of most likely to least likely. Estimating the distribution of recognition passwords is challenging because many different trials need to map to one password. In this paper, we solve this difficult problem by: (1) representing a recognition password of continuous data as a discrete alphabet set, and (2) estimating the password distribution through modeling the unseen passwords. We use Symbolic Aggregate approXimation (SAX) to represent time series data as symbols and develop Markov chains to model recognition passwords. We use a partial guessing metric, which demonstrates how many guesses an attacker needs to crack a percentage of the entire space, to compare the security of the distributions for gestures, signatures, and Android unlock patterns. We found the lower bounds of the partial guessing metric of gestures and signatures are much higher than the upper bound of the partial guessing metric of Android unlock patterns.


title: Correct by construction

abstract: Matrix code allows one to discover algorithms and to render them in code that is both compilable and is correct by construction. In this way the difficulty of verifying existing code is avoided. The method is especially important for logically dense code and when precision programming is called for. The paper explains both these concepts. Logically dense code is explained by means of the partition stage of the Quicksort algorithm. Precision programming is explained by means of fast exponentiation.


title: Thermodynamically Driven Assemblies and Liquid-liquid Phase Separations in Biology

abstract: The sustenance of life depends on the high degree of organization that prevails through different levels of living organisms, from subcellular structures such as biomolecular complexes and organelles to tissues and organs. The physical origin of such organization is not fully understood, and even though it is clear that cells and organisms cannot maintain their integrity without consuming energy, there is growing evidence that individual assembly processes can be thermodynamically driven and occur spontaneously due to changes in thermodynamic variables such as intermolecular interactions and concentration. Understanding the phase separation \emph{in vivo} requires a multidisciplinary approach, integrating the theory and physics of phase separation with experimental and computational techniques. This paper aims at providing a brief overview of the physics of phase separation and its biological implications, with a particular focus on the assembly of membraneless organelles. We discuss the underlying physical principles of phase separation from its thermodynamics to its kinetics. We also overview the wide range of methods utilized for experimental verification and characterization of phase separation of membraneless organelles, as well as the utility of molecular simulations rooted in thermodynamics and statistical physics in understanding the governing principles of thermodynamically driven biological self-assembly processes.


title: Algorithmic aspects of immersibility and embeddability

abstract: We analyze an algorithmic question about immersion theory: for which $m$, $n$, and $CAT=\mathbf{Diff}$ or $\mathbf{PL}$ is the question of whether an $m$-dimensional $CAT$-manifold is immersible in $\mathbb{R}^n$ decidable? As a corollary, we show that the smooth embeddability of an $m$-manifold with boundary in $\mathbb{R}^n$ is undecidable when $n-m$ is even and $11m \geq 10n+1$.


title: Mesoscopic population equations for spiking neural networks with synaptic short-term plasticity

abstract: Coarse-graining microscopic models of biological neural networks to obtain mesoscopic models of neural activities is an essential step towards multi-scale models of the brain. Here, we extend a recent theory for mesoscopic population dynamics with static synapses to the case of dynamic synapses exhibiting short-term plasticity (STP). Under the assumption that spike arrivals at synapses have Poisson statistics, we derive analytically stochastic mean-field dynamics for the effective synaptic coupling between finite-size populations undergoing Tsodyks-Markram STP. The novel mean-field equations account for both finite number of synapses and correlations between the neurotransmitter release probability and the fraction of available synaptic resources. Comparisons with Monte Carlo simulations of the microscopic model show that in both feedforward and recurrent networks the mesoscopic mean-field model accurately reproduces stochastic realizations of the total synaptic input into a postsynaptic neuron and accounts for stochastic switches between Up and Down states as well as for population spikes. The extended mesoscopic population theory of spiking neural networks with STP may be useful for a systematic reduction of detailed biophysical models of cortical microcircuits to efficient and mathematically tractable mean-field models.


title: ROSETTA/OSIRIS observations of the 67P nucleus during the April 2016 flyby: high-resolution spectrophotometry

abstract: In April 2016, the Rosetta spacecraft performed a low-altitude low-phase-angle flyby over the Imhotep-Khepry transition of 67P/Churyumov-Gerasimenko's nucleus. The OSIRIS/Narrow-Angle-Camera (NAC) acquired 112 images with mainly 3 broadband filters in the visible at a resolution of up to 0.53 m/px and for phase angles between 0.095{\deg} and 62{\deg}. Using those images, we have investigated the morphological and spectrophotometrical properties of this area. We assembled the images into coregistered color cubes. Using a 3D shape model, we produced the illumination conditions and georeference for each image. We projected the observations on a map to investigate its geomorphology. Observations were photometrically corrected using the Lommel-Seeliger disk law. Spectrophotometric analyses were performed on the coregistered color cubes. These data were used to estimate the local phase reddening. This region of the nucleus hosts numerous and varied types of terrains and features. We observe an association between a feature's nature, its reflectance, and its spectral slope. Fine material deposits exhibit an average reflectance and spectral slope, while terrains with diamictons, consolidated material, degraded outcrops, or features such as somber boulders, present a lower-than-average reflectance and higher-than-average spectral slope. Bright surfaces present here a spectral behavior consistent with terrains enriched in water-ice. We find a phase-reddening slope of 0.064{\pm}0.001{\%}/100nm/{\deg} at 2.7 au outbound, similarly to the one obtained at 2.3 au inbound during the February 2015 flyby. Identified as the source region of multiple jets and a host of water-ice material, the Imhotep-Khepry transition appeared in April 2016, close to the frost line, to further harbor several potential locations with exposed water-ice material among its numerous different morphological terrain units.


title: Optimized Energy Aware 5G Network Function Virtualization

abstract: In this paper, network function virtualization (NFV) is identified as a promising key technology that can contribute to energy-efficiency improvement in 5G networks. an optical network supported architecture is proposed and investigated in this work to provide the wired infrastructure needed in 5G networks and to support NFV towards an energy efficient 5G networks. In this architecture the mobile core network functions as well as baseband function are virtualized and provided as VMs. the impact of the total number of active users in the network, backhaul/fronthaul configurations and VM inter-traffic are investigated. A mixed integer linear programming (MILP) optimising model is developed with the objective of minimising the total power consumption by optimizing the VMs location and VMs servers' utilisation. The MILP model results show that virtualization can result in up to 38% (average 34) energy saving. The results also reveal how the total number of active users affects the baseband VMs optimal distribution whilst the core network VMs distribution is affected mainly by the inter-traffic between the VMs. For real-time implementation, two heuristics are developed an Energy Efficient NFV without CNVMs inter-traffic (EENFVnoITr) heuristic and an Energy Efficient NFV with CNVMs inter-traffic (EENFVwithITr) heuristic, both produce comparable results to the optimal MILP results


title: Elimination of Thermomechanical Noise in Piezoelectric Optomechanical Crystals

abstract: Mechanical modes are a potentially useful resource for quantum information applications, such as quantum-level wavelength transducers, due to their ability to interact with electromagnetic radiation across the spectrum. A significant challenge for wavelength transducers is thermomechanical noise in the mechanical mode, which pollutes the transduced signal with thermal states. In this paper, we eliminate thermomechanical noise in the GHz-frequency mechanical breathing mode of a piezoelectric optomechanical crystal using cryogenic cooling in a dilution refrigerator. We optically measure an average thermal occupancy of the mechanical mode of only $0.7\pm0.4 ~ \mathrm{phonons}$, providing a path towards low-noise microwave-to-optical conversion in the quantum regime.


title: Controlling Organization and Forces in Active Matter Through Optically-Defined Boundaries

abstract: Living systems are capable of locomotion, reconfiguration, and replication. To perform these tasks, cells spatiotemporally coordinate the interactions of force-generating, "active" molecules that create and manipulate non-equilibrium structures and force fields that span up to millimeter length scales [1-3]. Experimental active matter systems of biological or synthetic molecules are capable of spontaneously organizing into structures [4,5] and generating global flows [6-9]. However, these experimental systems lack the spatiotemporal control found in cells, limiting their utility for studying non-equilibrium phenomena and bioinspired engineering. Here, we uncover non-equilibrium phenomena and principles by optically controlling structures and fluid flow in an engineered system of active biomolecules. Our engineered system consists of purified microtubules and light-activatable motor proteins that crosslink and organize microtubules into distinct structures upon illumination. We develop basic operations, defined as sets of light patterns, to create, move, and merge microtubule structures. By composing these basic operations, we are able to create microtubule networks that span several hundred microns in length and contract at speeds up to an order of magnitude faster than the speed of an individual motor. We manipulate these contractile networks to generate and sculpt persistent fluid flows. The principles of boundary-mediated control we uncover may be used to study emergent cellular structures and forces and to develop programmable active matter devices.


title: Living IoT: A Flying Wireless Platform on Live Insects

abstract: Sensor networks with devices capable of moving could enable applications ranging from precision irrigation to environmental sensing. Using mechanical drones to move sensors, however, severely limits operation time since flight time is limited by the energy density of current battery technology. We explore an alternative, biology-based solution: integrate sensing, computing and communication functionalities onto live flying insects to create a mobile IoT platform. Such an approach takes advantage of these tiny, highly efficient biological insects which are ubiquitous in many outdoor ecosystems, to essentially provide mobility for free. Doing so however requires addressing key technical challenges of power, size, weight and self-localization in order for the insects to perform location-dependent sensing operations as they carry our IoT payload through the environment. We develop and deploy our platform on bumblebees which includes backscatter communication, low-power self-localization hardware, sensors, and a power source. We show that our platform is capable of sensing, backscattering data at 1 kbps when the insects are back at the hive, and localizing itself up to distances of 80 m from the access points, all within a total weight budget of 102 mg.


title: Effects of strain on electronic and magnetic properties of Co/WS$_2$ junction: a density functional and Monte Carlo study

abstract: In this work, density functional computations and Monte Carlo simulations are performed to investigate structural, electronic, magnetic, and thermodynamic properties of Co/WS$_2$ junction, a semiconductor WS$_2$ monolayer covered by a ferromagnetic cobalt monolayer. In addition to a conventional semilocal exchange-correlation functional, three nonlocal functional, including the novel ACBN0 scheme, are applied to obtain reliable electronic and magnetic properties. It is argued that the ACBN0 scheme, is very efficient for first principles description of the Co/WS$_2$ junction. The obtained electronic structures evidence a trustworthy half-metallic gap in the majority spin channel of the lowest energy configuration of the junction, promising for spintronic applications. The obtained magnetic thermodynamics properties from Monte Carlo simulations predict a Curie temperature of about 110\,K, which is far small for device applications of this junction. The electronic and magnetic properties of the system are calculated under various compressive and tensile strains and it is shown that a tensile strain of about 4\% may effectively improve thermal stability of half-metallic ferromagnetism in the Co/WS$_2$ junction.


title: Exploiting Problem Structure in Combinatorial Landscapes: A Case Study on Pure Mathematics Application

abstract: In this paper, we present a method using AI techniques to solve a case of pure mathematics applications for finding narrow admissible tuples. The original problem is formulated into a combinatorial optimization problem. In particular, we show how to exploit the local search structure to formulate the problem landscape for dramatic reductions in search space and for non-trivial elimination in search barriers, and then to realize intelligent search strategies for effectively escaping from local minima. Experimental results demonstrate that the proposed method is able to efficiently find best known solutions. This research sheds light on exploiting the local problem structure for an efficient search in combinatorial landscapes as an application of AI to a new problem domain.


title: Packing functions and graphs with perfect closed neighbourhood matrices

abstract: In this work we consider a straightforward linear programming formulation of the recently introduced $\{k\}$-packing function problem in graphs, for each fixed value of the positive integer number $k$. We analyse a special relation between the case $ k = 1$ and $ k \geq 2$ and give a sufficient condition for optimality ---the perfection--- of the closed neighbourhood matrix $N[G]$ of the input graph $G$. We begin a structural study of graphs satisfying this condition. In particular, we look for a characterization of graphs that have perfect closed neighbourhood matrices which involves the property of being a clique-node matrix of a perfect graph. We present a necessary and sufficient condition for a graph to have a clique-node closed neighbourhood matrix. Finally, we study the perfection of the graph of maximal cliques associated to $N[G]$.


title: Physical Cryptographic Signatures for Absentee Ballots

abstract: Physical signature verification on absentee ballots became a major flashpoint in the 2018 midterm elections in the United States, especially in states like Georgia, Florida, and Arizona, where close election margins resulted in heightened attention to the counting of absentee ballots. As vote-by-mail solutions are becoming more prevalent across the U.S., these issues are sure to continue affecting elections in the United States. Signature verification is an inexact science; often times guidelines can vary widely from jurisdiction to jurisdiction. In this paper we provide a cryptographic remedy to this solution that is usable, secure, and easily integrated into existing election infrastructure.


title: Distributed sequential method for analyzing massive data

abstract: To analyse a very large data set containing lengthy variables, we adopt a sequential estimation idea and propose a parallel divide-and-conquer method. We conduct several conventional sequential estimation procedures separately, and properly integrate their results while maintaining the desired statistical properties. Additionally, using a criterion from the statistical experiment design, we adopt an adaptive sample selection, together with an adaptive shrinkage estimation method, to simultaneously accelerate the estimation procedure and identify the effective variables. We confirm the cogency of our methods through theoretical justifications and numerical results derived from synthesized data sets. We then apply the proposed method to three real data sets, including those pertaining to appliance energy use and particulate matter concentration.


title: Diamagnetic field states in cosmological plasmas

abstract: Using a generally covariant Electro-Vortic (magnetofluid) formalism for relativistic plasmas, the dynamical evolution of a generalized vorticity (a combination of the magnetic and kinematic parts) is studied in a cosmological context. We derive macroscopic vorticity and magnetic field structures that can emerge in spatial equilibrium configurations of the relativistic plasma. These fields, however, evolve in time. These magnetic and velocity fields fields are self-consistently sustained in a diamagnetic state in the expanding Universe, and do not require an external seed for their existence. In particular, we explore a special class of magnetic/velocity field structures supported by a plasma in which the generalized vorticity vanishes. We derive a highly interesting characteristic of such "superconductor--like" fields in a cosmological plasmas in the radiation--era in early Universe. In that case, the fields grow proportional to the scale factor, establishing a deep connection between the expanding universe and the primordial magnetic fields.


title: Coherence Temperature in the Diluted Periodic Anderson Model

abstract: The Kondo and Periodic Anderson Model (PAM) are known to provide a microscopic picture of many of the fundamental properties of heavy fermion materials and, more generally, a variety of strong correlation phenomena in $4f$ and $5f$ systems. In this paper, we apply the Determinant Quantum Monte Carlo (DQMC) method to include disorder in the PAM, specifically the removal of a fraction $x$ of the localized orbitals. We determine the evolution of the coherence temperature $T^*$, where the local moments and conduction electrons become entwined in a heavy fermion fluid, with $x$ and with the hybridization $V$ between localized and conduction orbitals. We recover several of the principal observed trends in $T^*$ of doped heavy fermions, and also show that, within this theoretical framework, the calculated Nuclear Magnetic Resonance (NMR) relaxation rate tracks the experimentally measured behavior in pure and doped CeCoIn$_5$. Our results contribute to important issues in the interpretation of local probes of disordered, strongly correlated systems.


title: Image Embedding of PMU Data for Deep Learning towards Transient Disturbance Classification

abstract: This paper presents a study on power grid disturbance classification by Deep Learning (DL). A real synchrophasor set composing of three different types of disturbance events from the Frequency Monitoring Network (FNET) is used. An image embedding technique called Gramian Angular Field is applied to transform each time series of event data to a two-dimensional image for learning. Two main DL algorithms, i.e. CNN (Convolutional Neural Network) and RNN (Recurrent Neural Network) are tested and compared with two widely used data mining tools, the Support Vector Machine and Decision Tree. The test results demonstrate the superiority of the both DL algorithms over other methods in the application of power system transient disturbance classification.


title: Quantum query complexity of symmetric oracle problems

abstract: We study the query complexity of quantum learning problems in which the oracles form a group $G$ of unitary matrices. In the simplest case, one wishes to identify the oracle, and we find a description of the optimal success probability of a $t$-query quantum algorithm in terms of group characters. As an application, we show that $\Omega(n)$ queries are required to identify a random permutation in $S_n$. More generally, suppose $H$ is a fixed subgroup of the group $G$ of oracles, and given access to an oracle sampled uniformly from $G$, we want to learn which coset of $H$ the oracle belongs to. We call this problem coset identification and it generalizes a number of well-known quantum algorithms including the Bernstein-Vazirani problem, the van Dam problem and finite field polynomial interpolation. We provide character-theoretic formulas for the optimal success probability achieved by a $t$-query algorithm for this problem. One application involves the Heisenberg group and provides a family of problems depending on $n$ which require $n+1$ queries classically and only $1$ query quantumly.


title: Laser Amplification in Strongly-Magnetized Plasma

abstract: We consider backscattering of laser pulses in strongly-magnetized plasma mediated by kinetic magnetohydrodynamic waves. Magnetized low-frequency scattering, which can occur when the external magnetic field is neither perpendicular nor parallel to the laser propagation direction, provides an instability growth rate higher than Raman scattering and a frequency downshift comparable to Brillouin scattering. In addition to the high growth rate, which allows smaller plasmas, and the 0.1-2\% frequency downshift, which permits a wide range of pump sources, MLF scattering is an ideal candidate for amplification because the process supports an extremely large bandwidth, which particle-in-cell simulations show produces ultrashort durations. Under some conditions, MLF scattering also becomes the dominant spontaneous backscatter instability, with implications for magnetized laser-confinement experiments.


title: Dynamic Graph Representation Learning via Self-Attention Networks

abstract: Learning latent representations of nodes in graphs is an important and ubiquitous task with widespread applications such as link prediction, node classification, and graph visualization. Previous methods on graph representation learning mainly focus on static graphs, however, many real-world graphs are dynamic and evolve over time. In this paper, we present Dynamic Self-Attention Network (DySAT), a novel neural architecture that operates on dynamic graphs and learns node representations that capture both structural properties and temporal evolutionary patterns. Specifically, DySAT computes node representations by jointly employing self-attention layers along two dimensions: structural neighborhood and temporal dynamics. We conduct link prediction experiments on two classes of graphs: communication networks and bipartite rating networks. Our experimental results show that DySAT has a significant performance gain over several different state-of-the-art graph embedding baselines.


title: Dissociable neural representations of adversarially perturbed images in convolutional neural networks and the human brain

abstract: Despite the remarkable similarities between convolutional neural networks (CNN) and the human brain, CNNs still fall behind humans in many visual tasks, indicating that there still exist considerable differences between the two systems. Here, we leverage adversarial noise (AN) and adversarial interference (AI) images to quantify the consistency between neural representations and perceptual outcomes in the two systems. Humans can successfully recognize AI images as corresponding categories but perceive AN images as meaningless noise. In contrast, CNNs can correctly recognize AN images but mistakenly classify AI images into wrong categories with surprisingly high confidence. We use functional magnetic resonance imaging to measure brain activity evoked by regular and adversarial images in the human brain, and compare it to the activity of artificial neurons in a prototypical CNN-AlexNet. In the human brain, we find that the representational similarity between regular and adversarial images largely echoes their perceptual similarity in all early visual areas. In AlexNet, however, the neural representations of adversarial images are inconsistent with network outputs in all intermediate processing layers, providing no neural foundations for perceptual similarity. Furthermore, we show that voxel-encoding models trained on regular images can successfully generalize to the neural responses to AI images but not AN images. These remarkable differences between the human brain and AlexNet in the representation-perception relation suggest that future CNNs should emulate both behavior and the internal neural presentations of the human brain.


title: Search for chargino and neutralino production in final states with a Higgs boson and missing transverse momentum at $\sqrt{s} = 13$ TeV with the ATLAS detector

abstract: A search is conducted for the electroweak pair production of a chargino and a neutralino $pp \rightarrow \tilde\chi^\pm_1 \tilde\chi^0_2$, where the chargino decays into the lightest neutralino and a $W$ boson, $\tilde\chi^\pm_1 \rightarrow \tilde\chi^0_1 W^{\pm}$, while the neutralino decays into the lightest neutralino and a Standard Model-like 125 GeV Higgs boson, $\tilde\chi^0_2 \rightarrow \tilde\chi^0_1 h$. Fully hadronic, semileptonic, diphoton, and multilepton (electrons, muons) final states with missing transverse momentum are considered in this search. Higgs bosons in the final state are identified by either two jets originating from bottom quarks ($h \rightarrow b\bar{b}$), two photons ($h \rightarrow \gamma\gamma$), or leptons from the decay modes $h \rightarrow WW$, $h \rightarrow ZZ$ or $h \rightarrow \tau \tau$. The analysis is based on 36.1 fb$^{-1}$ of $\sqrt{s} = 13$ TeV proton-proton collision data recorded by the ATLAS detector at the Large Hadron Collider. Observations are consistent with the Standard Model expectations, and 95% confidence-level limits of up to 680 GeV in $\tilde\chi^\pm_1/\tilde\chi^0_2$ mass are set in the context of a simplified supersymmetric model.