title: Using Context in Neural Machine Translation Training Objectives

abstract: We present Neural Machine Translation (NMT) training using document-level metrics with batch-level documents. Previous sequence-objective approaches to NMT training focus exclusively on sentence-level metrics like sentence BLEU which do not correspond to the desired evaluation metric, typically document BLEU. Meanwhile research into document-level NMT training focuses on data or model architecture rather than training procedure. We find that each of these lines of research has a clear space in it for the other, and propose merging them with a scheme that allows a document-level evaluation metric to be used in the NMT training objective. We first sample pseudo-documents from sentence samples. We then approximate the expected document BLEU gradient with Monte Carlo sampling for use as a cost function in Minimum Risk Training (MRT). This two-level sampling procedure gives NMT performance gains over sequence MRT and maximum-likelihood training. We demonstrate that training is more robust for document-level metrics than with sequence metrics. We further demonstrate improvements on NMT with TER and Grammatical Error Correction (GEC) using GLEU, both metrics used at the document level for evaluations.


title: Sub-surface H2S detection by a Surface Acoustic Wave passive wireless sensor interrogated with a ground penetrating radar

abstract: Long-term monitoring of organic pollutants in the soil is a major environmental challenge. We propose to meet this issue by the development of a polymer dedicated to selectively react with H2S, coating surface acoustic wave transducers designed as passive cooperative targets with the compound, and probing their response using Ground Penetrating RADAR, thus providing the capability to monitor the presence of H2S in the subsurface environment. The selectivity is brought by including lead(II) cation in a reticulated polymer matrix which can be deposited as a thin layer on a surface acoustic wave sensor. We demonstrate a signal enhancement mechanism in which water absorption magnifies the signal detection, making the sensor most sensitive to H2S in an underground environment saturated with moisture.


title: Two-Loop Corrections to the Large-Order Behavior of Correlation Functions in the One-Dimensional N-Vector Model

abstract: For a long time, the predictive limits of perturbative quantum field theory have been limited by our inability to carry out loop calculations to arbitrarily high order, which become increasingly complex as the order of perturbation theory is increased. This problem is exacerbated by the fact that perturbation series derived from loop diagram (Feynman diagram) calculations represent asymptotic (divergent) series which limits the predictive power of perturbative quantum field theory. Here, we discuss an ansatz which could overcome these limits, based on the observations that (i) for many phenomenologically relevant field theories, one can derive dispersion relations which relate the large-order growth (the asymptotic limit of "infinite loop order") with the imaginary part of arbitrary correlation functions, for negative coupling ("unstable vacuum"), and (ii) one can analyze the imaginary part for negative coupling in terms of classical field configurations (instantons). Unfortunately, the perturbation theory around instantons, which could lead to much more accurate predictions for the large-order behavior of Feynman diagrams, poses a number of technical as well as computational difficulties. Here, we study, to further the above mentioned ansatz, correlation functions in a one-dimensional (1D) field theory with a quartic self-interaction and an O(N) internal symmetry group, otherwise known as the 1D N-vector model. Our focus is on corrections to the large-order growth of perturbative coefficients, i.e., the limit of a large number of loops in the Feynman diagram expansion. We evaluate, in momentum space, the two-loop corrections for the two-point correlation function, and its derivative with respect to the momentum, as well as the two-point correlation function with a wigglet insertion. Also, we study the four-point function.


title: Nanoporous AuPt and AuPtAg alloy co-catalysts formed by dewetting-dealloying on ordered TiO2 nanotube surface lead to significantly enhanced photocatalytic H2 generation

abstract: Effective co-catalysts are of key importance for photocatalytic H2 generation from aqueous environments. An attractive co-catalyst candidate are AuPt (metastable) alloys due to the synergistic electronic and chemical interaction of the constituents in the charge transfer and H2 evolution process. Here we introduce the fabrication of AuPt alloy nanoparticles with nanoporosity (pore size of 2-5 nm) fabricated on spaced TiO2 nanotubes. By dewetting a layered AgAuPt coating, we form AuPtAg alloy nanoparticles. From these alloys, Ag can selectively be dissolved leading to the desired nanoporous AuPt alloy particles with diameter in the range of 10-70 nm deposited as a gradient on the TiO2 nanotubes. A significant enhancement of photocatalytic H2 generation is obtained compared to the same loading of monometallic or nonporous alloy. The nanoporous AuPt particles provide not only a large surface area to volume ratio (and are thus more effective) but also show the intrinsic synergy of a AuPt alloy for H2 generation.


title: Effect of Low Oxygen Annealing on Photoelectrochemical Water Splitting Properties of $\alpha$-Fe$_2$O$_3$

abstract: Photoelectrochemical (PEC) water splitting is a promising method for conversing solar energy into chemical energy stored in the form of hydrogen. Nanostructured hematite ($\alpha$-Fe$_2$O$_3$) is one of the most attractive materials for highly efficient charge carrier generation and collection due to its large specific surface area and shortening minority carrier diffusion length required to reach the surface. In the present work, PEC water splitting performance of $\alpha$-Fe$_2$O$_3$ prepared by anodization of thin iron layers on an FTO glass and subsequent annealing in low O$_2$-Ar ambient with only 0.03% O$_2$ was investigated. The key finding is that annealing the anodic nanostructures with low oxygen concentration provides a strongly enhanced PEC performance compared with classic air annealing. The photocurrent of the former at 1.5 V vs. RHE results in 1.1 mA/cm2, being 11 times higher than that of the latter. The enhancement of the PEC performance for $\alpha$-Fe$_2$O$_3$ annealed in low oxygen atmosphere can be attributed to controlled morphology, Sn doping, and introduction of oxygen vacancies, which contribute to the enhancement of the hole flux from the photogenerated site to the reactive surface and additionally lead to an enhanced hole transfer at the interface between the $\alpha$-Fe$_2$O$_3$ and the electrolyte. From the obtained results, it is evident that low oxygen annealing is a surprisingly effective method of defect engineering and optimizing $\alpha$-Fe$_2$O$_3$ electrodes for a maximized PEC water splitting performance.


title: Noble-Metal-Free Photocatalytic Hydrogen Evolution Activity: The Impact of Ball Milling Anatase Nanopowders with TiH2

abstract: In this work, we demonstrate that a well-established and facile ball milling approach using mixtures of commercial anatase nanoparticles and TiH2 introduces noble-metal-free photocatalytic H2 activity to titania. We characterize this synergistic effect in view of the nature of defects, state of hydroxylation, and investigate the effect on the energetics and kinetics of electronic states and the resulting H2 evolution performance.


title: Towards Extremely Precise Radial Velocities: I. Simulated Solar Spectra for Testing Exoplanet Detection Algorithms

abstract: Recent and upcoming stabilized spectrographs are pushing the frontier for Doppler spectroscopy to detect and characterize low-mass planets. Specifications for these instruments are so impressive that intrinsic stellar variability is expected to limit their Doppler precision for most target stars (Fischer et al. 2016). To realize their full potential, astronomers must develop new strategies for distinguishing true Doppler shifts from intrinsic stellar variability. Stellar variability due to star spots, faculae and other rotationally-linked variability are particularly concerning, as the stellar rotation period is often included in the range of potential planet orbital periods. To robustly detect and accurately characterize low-mass planets via Doppler planet surveys, the exoplanet community must develop statistical models capable of jointly modeling planetary perturbations and intrinsic stellar variability. Towards this effort, this note presents simulations of extremely high resolution, solar-like spectra created with SOAP 2.0 (arXiv:1409.3594) that includes multiple evolving star spots. We anticipate this data set will contribute to future studies developing, testing, and comparing statistical methods for measuring physical radial velocities amid contamination by stellar variability.


title: On the triple correlations of fractional parts of $n^2\alpha$

abstract: For fixed $\alpha \in [0,1]$, consider the set $S_{\alpha,N}$ of dilated squares $\alpha, 4\alpha, 9\alpha, \dots, N^2\alpha \, $ modulo $1$. Rudnick and Sarnak conjectured that for Lebesgue almost all such $\alpha$ the gap-distribution of $S_{\alpha,N}$ is consistent with the Poisson model (in the limit as $N$ tends to infinity). In this paper we prove a new estimate for the triple correlations associated to this problem, establishing an asymptotic expression for the third moment of the number of elements of $S_{\alpha,N}$ in a random interval of length $L/N$, provided that $L > N^{1/4+\varepsilon}$. The threshold of $1/4$ is substantially smaller than the threshold of $1/2$ (which is the threshold that would be given by a na\"{i}ve discrepancy estimate). Unlike the theory of pair correlations, rather little is known about triple correlations of the dilations $(\alpha a_n \, \text{mod } 1)_{n=1}^{\infty} $ for a non-lacunary sequence $(a_n)_{n=1}^{\infty} $ of increasing integers. This is partially due to the fact that second moment of the triple correlation function is difficult to control, and thus standard techniques involving variance bounds are not applicable. We circumvent this impasse by using an argument inspired by works of Rudnick--Sarnak--Zaharescu and Heath-Brown, which connects the triple correlation function to some modular counting problems. In an appendix we comment on the relationship between discrepancy and correlation functions, answering a question of Steinerberger.


title: Transcriptional profiling reveals fundamental differences in iPS-derived progenitors of endothelial cells (PECs) versus adult circulating EPCs

abstract: There are a number of different stem cell sources that have the potential to be used as therapeutics in vascular degenerative diseases. On the one hand, there are so called endothelial progenitor cells (EPCs), which are typically derived from adult blood. They carry the marker CD34, but the true nature and definition of EPCs is still controversial. On the other hand, there are embryonic precursors of endothelial cells (PECs), which also express CD34, and can be differentiated from embryonic stem cells (ESCs) or induced pluripotent stem cells (iPSCs) in vitro. In this study, it was aimed to compare these two different CD34 positive cell populations by full genome transcriptional profiling (RNAseq). To this end, we firstly optimised a PEC differentiation protocol and found that vascular endothelial growth factor (VEGF) is critical for the transition of cells from mesodermal precursors to PECs. Additionally, principal component analysis (PCA) of RNAseq data showed that blood-derived EPCs clustered far from iPS-derived PECs which illustrates these populations are fundamentally different. This data will be useful to better define these cell populations and facilitating the translation of regenerative approaches in this field as well as providing potentially novel diagnostic tools.


title: TRIPDECODER: Study Travel Time Attributes and Route Preferences of Metro Systems from Smart Card Data

abstract: In this paper, we target at recovering the exact routes taken by commuters inside a metro system that arenot captured by an Automated Fare Collection (AFC) system and hence remain unknown. We strategicallypropose two inference tasks to handle the recovering, one to infer the travel time of each travel link thatcontributes to the total duration of any trip inside a metro network and the other to infer the route preferencesbased on historical trip records and the travel time of each travel link inferred in the previous inferencetask. As these two inference tasks have interrelationship, most of existing works perform these two taskssimultaneously. However, our solutionTripDecoderadopts a totally different approach. To the best of ourknowledge,TripDecoderis the first model that points out and fully utilizes the fact that there are some tripsinside a metro system with only one practical route available. It strategically decouples these two inferencetasks by only taking those trip records with only one practical route as the input for the first inference taskof travel time and feeding the inferred travel time to the second inference task as an additional input whichnot only improves the accuracy but also effectively reduces the complexity of both inference tasks. Twocase studies have been performed based on the city-scale real trip records captured by the AFC systems inSingapore and Taipei to compare the accuracy and efficiency ofTripDecoderand its competitors. As expected,TripDecoderhas achieved the best accuracy in both datasets, and it also demonstrates its superior efficiencyand scalability.


title: Spin hydrodynamic generation in graphene

abstract: Graphene hosts an ultra-clean electronic system with electron-electron collisions being the dominant source of scattering above liquid nitrogen temperatures. In this regime, the motion of the electron fluid resembles the flow of classical liquids and gases with high viscosity. Here we show that such a viscous electron flow can cause the generation of a spin current perpendicular to the direction of flow. Combining the Navier-Stokes equations and the spin diffusion equation in the presence of the spin-vorticity coupling, we derive an expression for the spin accumulation emerging purely as a result of the viscous electron flow. We explore Poiseuille flow and Jeffery-Hamel flow and show that the spin Hall angle may exceed 0.1 over a wide range of temperatures and can be controlled by carrier density, temperature, and the geometry of sample boundaries. Our theory points to new functionality of graphene as a spin current source.


title: DeepRx: Fully Convolutional Deep Learning Receiver

abstract: Deep learning has solved many problems that are out of reach of heuristic algorithms. It has also been successfully applied in wireless communications, even though the current radio systems are well-understood and optimal algorithms exist for many tasks. While some gains have been obtained by learning individual parts of a receiver, a better approach is to jointly learn the whole receiver. This, however, often results in a challenging nonlinear problem, for which the optimal solution is infeasible to implement. To this end, we propose a deep fully convolutional neural network, DeepRx, which executes the whole receiver pipeline from frequency domain signal stream to uncoded bits in a 5G-compliant fashion. We facilitate accurate channel estimation by constructing the input of the convolutional neural network in a very specific manner using both the data and pilot symbols. Also, DeepRx outputs soft bits that are compatible with the channel coding used in 5G systems. Using 3GPP-defined channel models, we demonstrate that DeepRx outperforms traditional methods. We also show that the high performance can likely be attributed to DeepRx learning to utilize the known constellation points of the unknown data symbols, together with the local symbol distribution, for improved detection accuracy.


title: Wavelength selection by interrupted coarsening in reaction-diffusion systems

abstract: Wavelength selection in reaction--diffusion systems can be understood as a coarsening process that is interrupted by counteracting processes at certain wavelengths. We first show that coarsening in mass-conserving systems is driven by self-amplifying mass transport between neighboring high-density domains. We derive a general coarsening criterion and show that coarsening is generically uninterrupted in two-component systems that conserve mass. The theory is then generalized to study interrupted coarsening and anti-coarsening due to weakly-broken mass conservation, providing a general path to analyze wavelength selection in pattern formation far from equilibrium.


title: Learning Strong Substitutes Demand via Queries

abstract: This paper addresses the computational challenges of learning strong substitutes demand when given access to a demand (or valuation) oracle. Strong substitutes demand generalises the well-studied gross substitutes demand to a multi-unit setting. Recent work by Baldwin and Klemperer shows that any such demand can be expressed in a natural way as a finite list of weighted bid vectors. A simplified version of this bidding language has been used by the Bank of England. Assuming access to a demand oracle, we provide an algorithm that computes the unique list of weighted bid vectors corresponding to a bidder's demand preferences. In the special case where their demand can be expressed using positive bids only, we have an efficient algorithm that learns this list in linear time. We also show super-polynomial lower bounds on the query complexity of computing the list of bids in the general case where bids may be positive and negative. Our algorithms constitute the first systematic approach for bidders to construct a bid list corresponding to non-trivial demand, allowing them to participate in `product-mix' auctions.


title: Towards A Sign Language Gloss Representation Of Modern Standard Arabic

abstract: Over 5% of the world's population (466 million people) has disabling hearing loss. 4 million are children. They can be hard of hearing or deaf. Deaf people mostly have profound hearing loss. Which implies very little or no hearing. Over the world, deaf people often communicate using a sign language with gestures of both hands and facial expressions. The sign language is a full-fledged natural language with its own grammar and lexicon. Therefore, there is a need for translation models from and to sign languages. In this work, we are interested in the translation of Modern Standard Arabic(MSAr) into sign language. We generated a gloss representation from MSAr that extracts the features mandatory for the generation of animation signs. Our approach locates the most pertinent features that maintain the meaning of the input Arabic sentence.


title: Dim Silicon and the Case for Improved DVFS Policies

abstract: Due to thermal and power supply limits, modern Intel CPUs reduce their frequency when AVX2 and AVX-512 instructions are executed. As the CPUs wait for 670{\mu}s before increasing the frequency again, the performance of some heterogeneous workloads is reduced. In this paper, we describe parallels between this situation and dynamic power management as well as between the policy implemented by these CPUs and fixed-timeout device shutdown policies. We show that the policy implemented by Intel CPUs is not optimal and describe potential better policies. In particular, we present a mechanism to classify applications based on their likeliness to cause frequency reduction. Our approach takes either the resulting classification information or information provided by the application and generates hints for the DVFS policy. We show that faster frequency changes based on these hints are able to improve performance for a web server using the OpenSSL library.


title: On the Benefits of Models with Perceptually-Aligned Gradients

abstract: Adversarial robust models have been shown to learn more robust and interpretable features than standard trained models. As shown in [\cite{tsipras2018robustness}], such robust models inherit useful interpretable properties where the gradient aligns perceptually well with images, and adding a large targeted adversarial perturbation leads to an image resembling the target class. We perform experiments to show that interpretable and perceptually aligned gradients are present even in models that do not show high robustness to adversarial attacks. Specifically, we perform adversarial training with attack for different max-perturbation bound. Adversarial training with low max-perturbation bound results in models that have interpretable features with only slight drop in performance over clean samples. In this paper, we leverage models with interpretable perceptually-aligned features and show that adversarial training with low max-perturbation bound can improve the performance of models for zero-shot and weakly supervised localization tasks.


title: Positivity of direct images with a Poincar\'e type twist

abstract: We consider a holomorphic family $f:\mathcal{X} \to S$ of compact complex manifolds and a line bundle $\mathcal{L}\to \mathcal{X}$. Given that $\mathcal{L}^{-1}$ carries a singular hermitian metric that has Poincar\'e type singularities along a relative snc divisor $\mathcal{D}$, the direct image $f_*(K_{\mathcal{X}/S}\otimes \mathcal{D} \otimes \mathcal{L})$ carries a smooth hermitian metric. In case $\mathcal{L}$ is relatively positive, we give an explicit formula for its curvature. The result applies to families of log-canonically polarized pairs. Moreover we show that it improves the general positivity result of Berndtsson-P\u{a}un in a special situation of a big line bundle.


title: CW-complex Nagata Idealizations

abstract: We introduce a novel construction which allows us to identify the elements of the skeletons of a CW-complex $P(m)$ and the monomials in $m$ variables. From this, we infer that there is a bijection between finite CW-subcomplexes of $P(m)$, which are quotients of finite simplicial complexes, and some bigraded standard Artinian Gorenstein algebras, generalizing previous constructions in \cite{F:S}, \cite{CGIM} and \cite{G:Z}. We apply this to a generalization of Nagata idealization for level algebras. These algebras are standard graded Artinian algebras whose Macaulay dual generator is given explicitly as a bigraded polynomial of bidegree $(1,d)$. We consider the algebra associated to polynomials of the same type of bidegree $(d_1,d_2)$.


title: Global gyrokinetic simulations of ITG turbulence in the configuration space of the Wendelstein 7-X stellarator

abstract: We study the effect of turbulent transport in different magnetic configurations of the Weldenstein 7-X stellarator. In particular, we performed direct numerical simulations with the global gyrokinetic code GENE-3D, modeling the behavior of Ion Temperature Gradient turbulence in the Standard, High-Mirror, and Low-Mirror configurations of W7-X. We found that the Low-Mirror configuration produces more transport than both the High-Mirror and the Standard configurations. By comparison with radially local simulations, we have demonstrated the importance of performing global nonlinear simulations to predict the turbulent fluxes quantitatively.


title: An Integrated Framework for Sensing Radio Frequency Spectrum Attacks on Medical Delivery Drones

abstract: Drone susceptibility to jamming or spoofing attacks of GPS, RF, Wi-Fi, and operator signals presents a danger to future medical delivery systems. A detection framework capable of sensing attacks on drones could provide the capability for active responses. The identification of interference attacks has applicability in medical delivery, disaster zone relief, and FAA enforcement against illegal jamming activities. A gap exists in the literature for solo or swarm-based drones to identify radio frequency spectrum attacks. Any non-delivery specific function, such as attack sensing, added to a drone involves a weight increase and additional complexity; therefore, the value must exceed the disadvantages. Medical delivery, high-value cargo, and disaster zone applications could present a value proposition which overcomes the additional costs. The paper examines types of attacks against drones and describes a framework for designing an attack detection system with active response capabilities for improving the reliability of delivery and other medical applications.


title: Intriguing effects of underlying star topology in Schelling's model with blocks

abstract: We explore the intriguing effects of underlying star topological structure in the framework of Schelling's segregation model with blocks. The significant consequences exerted by the star topology are both theoretically analysed and numerically simulated with and without introducing a fraction of altruistic agents, respectively. The collective utility of the model with pure egoists alone can be optimized and the optimum stationary state is achieved with the underlying star topology of blocks. More surprisingly, once a proportion of altruists are introduced, the average utility gradually decreases as altruists' fraction increases. This presents a sharp contrast to the results in Schelling's model with lattice topology of blocks. Furthermore, an adding-link mechanism is introduced to bridge the gap between the lattice and the star topologies, and extend our analysis to more general scenarios. A novel scaling law of the average utility function are found for star topology of blocks.


title: Two-level modeling of quarantine

abstract: Continuum models of epidemics do not take into account the underlying microscopic network structure of social connections. This drawback becomes extreme during quarantine when most people dramatically decrease their number of social interactions, while others (like cashiers in grocery stores) continue maintaining hundreds of contacts per day. We formulate a two-level model of quarantine. On a microscopic level, we model a single neighborhood assuming a star-network structure. On a mesoscopic level, the neighborhoods are placed on a two-dimensional lattice with nearest neighbors interactions. The modeling results are compared with the COVID-19 data for several counties in Michigan (USA) and the phase diagram of parameters is identified.


title: Generating spin polarization from vorticity through nonlocal collisions

abstract: We derive the collision term in the Boltzmann equation using the equation of motion for the Wigner function of massive spin-1/2 particles. To next-to-lowest order in $\hbar$ it contains a nonlocal contribution, which is responsible for the conversion of orbital into spin angular momentum. In a proper choice of pseudo-gauge the antisymmetric part of the energy-momentum tensor arises solely from this nonlocal contribution. We show that the collision term vanishes only in global equilibrium and that the spin potential is then equal to the thermal vorticity. In the nonrelativistic limit, the equations of motion for the energy-momentum and spin tensors reduce to the well-known form for hydrodynamics for micropolar fluids.


title: Linear instability of charged massless scalar perturbation in regularized 4D charged Einstein-Gauss-Bonnet anti de-Sitter black holes

abstract: We study the linear instability of the charged massless scalar perturbation in regularized 4D charged Einstein-Gauss-Bonnet-AdS black holes by exploring the quasinormal modes. We find that the linear instability is triggered by superradiance. The charged massless scalar perturbation becomes more unstable when increasing the Gauss-Bonnet coupling constant or the black hole charge. Meanwhile, decreasing} the AdS radius will make the charged massless scalar perturbation} more stable. The stable region in parameter space $(\alpha,Q,\Lambda)$ is given. Moreover, we find that the charged massless scalar perturbation is more unstable for larger scalar charge. The modes of multipoles are more stable than that of the monopole.


title: Can We Learn Heuristics For Graphical Model Inference Using Reinforcement Learning?

abstract: Combinatorial optimization is frequently used in computer vision. For instance, in applications like semantic segmentation, human pose estimation and action recognition, programs are formulated for solving inference in Conditional Random Fields (CRFs) to produce a structured output that is consistent with visual features of the image. However, solving inference in CRFs is in general intractable, and approximation methods are computationally demanding and limited to unary, pairwise and hand-crafted forms of higher order potentials. In this paper, we show that we can learn program heuristics, i.e., policies, for solving inference in higher order CRFs for the task of semantic segmentation, using reinforcement learning. Our method solves inference tasks efficiently without imposing any constraints on the form of the potentials. We show compelling results on the Pascal VOC and MOTS datasets.


title: An Adaptive Enhancement Based Hybrid CNN Model for Digital Dental X-ray Positions Classification

abstract: Analysis of dental radiographs is an important part of the diagnostic process in daily clinical practice. Interpretation by an expert includes teeth detection and numbering. In this project, a novel solution based on adaptive histogram equalization and convolution neural network (CNN) is proposed, which automatically performs the task for dental x-rays. In order to improve the detection accuracy, we propose three pre-processing techniques to supplement the baseline CNN based on some prior domain knowledge. Firstly, image sharpening and median filtering are used to remove impulse noise, and the edge is enhanced to some extent. Next, adaptive histogram equalization is used to overcome the problem of excessive amplification noise of HE. Finally, a multi-CNN hybrid model is proposed to classify six different locations of dental slices. The results showed that the accuracy and specificity of the test set exceeded 90\%, and the AUC reached 0.97. In addition, four dentists were invited to manually annotate the test data set (independently) and then compare it with the labels obtained by our proposed algorithm. The results show that our method can effectively identify the X-ray location of teeth.


title: Anti-Forging Quantum Data: Cryptographic Verification of Quantum Computational Power

abstract: Quantum cloud computing is emerging as a popular model for users to experience the power of quantum computing through the internet, enabling quantum computing as a service. The question is, when the scale of the computational problems becomes out of reach of classical computers, how can users be sure that the output strings sent by the server are really from a quantum hardware? In 2008, Shepherd and Bremner proposed a cryptographic verification protocol based on a simplified circuit model called IQP (instantaneous quantum polynomial-time), which can potentially be applied to most existing quantum cloud platforms. However, the Shepherd-Bremner protocol has recently been shown to be insecure by Kahanamoku-Meyer. Here we present an extended model of IQP-based cryptographic verification protocol, where the Shepherd-Bremner construction can be regarded as a special case. This protocol not only can avoid the attack by Kahanamoku-Meyer but also provide several additional security measures for anti-forging quantum data. In particular, our protocol admits a simultaneous encoding of multiple secret strings, strengthening significantly the hardness for classical hacking. Furthermore, we provide methods for estimating the correlation functions associated with the secret strings, which are the key elements in our verification protocol.


title: The ReProVide Query-Sequence Optimization in a Hardware-Accelerated DBMS

abstract: Hardware acceleration of database query processing can be done with the help of FPGAs. In particular, they are partially reconfigurable at runtime, which allows for the runtime adaption of the hardware to a variety of queries. Reconfiguration itself, however, takes some time. As the affected area of the FPGA is not available for computations during the reconfiguration, avoiding some of the reconfigurations can improve overall performance. This paper presents optimizations based on query sequences, which reduces the impact of the reconfigurations. Knowledge of upcoming queries is used to (I) speculatively start reconfiguration already when a query is still running and (II) avoid overwriting of reconfigurable regions that will be used again in subsequent queries. We evaluate our optimizations with a calibrated model and measurements for various parameter values. Improvements in execution time of up to 28% can be obtained even with sequences of only two queries.


title: The Fractional Preferential Attachment Scale-Free Network Model

abstract: Many networks generated by nature have two generic properties: they are formed in the process of {preferential attachment} and they are scale-free. Considering these features, by interfering with mechanism of the {preferential attachment}, we propose a generalisation of the Barab\'asi--Albert model---the 'Fractional Preferential Attachment' (FPA) scale-free network model---that generates networks with time-independent degree distributions $p(k)\sim k^{-\gamma}$ with degree exponent $2<\gamma\leq3$ (where $\gamma=3$ corresponds to the typical value of the BA model). In the FPA model, the element controlling the network properties is the $f$ parameter, where $f \in (0,1\rangle$. Depending on the different values of $f$ parameter, we study the statistical properties of the numerically generated networks. We investigate the topological properties of FPA networks such as degree distribution, degree correlation (network assortativity), clustering coefficient, average node degree, network diameter, average shortest path length and features of fractality. We compare the obtained values with the results for various synthetic and real-world networks. It is found that, depending on $f$, the FPA model generates networks with parameters similar to the real-world networks. Furthermore, it is shown that $f$ parameter has a significant impact on, among others, degree distribution and degree correlation of generated networks. Therefore, the FPA scale-free network model can be an interesting alternative to existing network models. In addition, it turns out that, regardless of the value of $f$, FPA networks are not fractal.


title: The integral Chow ring of the stack of 1-pointed hyperelliptic curves

abstract: In this paper we give a complete description of the integral Chow ring of the stack $\mathscr{H}_{g,1}$ of 1-pointed hyperelliptic curves, lifting relations and generators from the Chow ring of $\mathscr{H}_g$. We also give a geometric interpretation for the generators.


title: Towards Reconfigurable Intelligent Surfaces Powered Green Wireless Networks

abstract: The adoption of reconfigurable intelligent surface (RIS) in wireless networks can enhance the spectrum- and energy-efficiency by controlling the propagation environment. Although the RIS does not consume any transmit power, the circuit power of the RIS cannot be ignored, especially when the number of reflecting elements is large. In this paper, we propose the joint design of beamforming vectors at the base station, active RIS set, and phase-shift matrices at the active RISs to minimize the network power consumption, including the RIS circuit power consumption, while taking into account each user's target data rate requirement and each reflecting element's constant modulus constraint. However, the formulated problem is a mixed-integer quadratic programming (MIQP) problem, which is NP-hard. To this end, we present an alternating optimization method, which alternately solves second order cone programming (SOCP) and MIQP problems to update the optimization variables. Specifically, the MIQP problem is further transformed into a semidefinite programming problem by applying binary relaxation and semidefinite relaxation. Finally, an efficient algorithm is developed to solve the problem. Simulation results show that the proposed algorithm significantly reduces the network power consumption and reveal the importance of taking into account the RIS circuit power consumption.


title: The Dark Photon

abstract: The dark photon is a new gauge boson whose existence has been conjectured. It is dark because it arises from a symmetry of a hypothetical dark sector comprising particles completely neutral under the Standard Model interactions. Dark though it is, this new gauge boson can be detected because of its kinetic mixing with the ordinary, visible photon. We review its physics from the theoretical and the experimental point of view. We discuss the difference between the massive and the massless case. We explain how the dark photon enters laboratory, astrophysical and cosmological observations as well as dark matter physics. We survey the current and future experimental limits on the parameters of the massless and massive dark photons together with the related bounds on milli-charged fermions.


title: On the standing waves for the X-ray free electron laser Schr\"{o}dinger equation

abstract: In this paper, we are concerned with the standing waves for the following nonlinear Schr\"{o}dinger equation $$i\partial_{t}\psi=-\Delta \psi+b^2(x_1^2+x_2^2)\psi+\frac{\lambda_1}{|x|}\psi+ \lambda_2(|\cdot|^{-1}\ast |\psi|^2)\psi- \lambda_3|\psi|^p \psi,~~~ (t,x)\in \mathbb{R}^+\times \mathbb{R}^3,$$ where $0<p<4$. We mainly study the existence and stability/instability properties of standing waves for this equation, in two cases: the first one is that no magnetic potential is involved, (i.e. $b=0$ in the equation) and the second one is that $b\neq 0$. To be precise, in the first case, by considering a minimization problem on a suitable Pohozaev manifold we prove the existence of ground states, and show further that all ground state standing waves are strongly unstable by blow-up in finite time. Moreover, by making use of the ideas of their proofs, we are able to prove the existence and instability of normalized solutions, whose proofs seem to be new, compared with the studies of normalized solutions in the existing literature. In the second case, the situation is more difficult to be treated, due to the additional term of the partial harmonic potential. We manage to prove the existence of stable standing waves for $p\in (0,4)$ and with some assumptions on the coefficients, where solutions are obtained as global minimizers if $p\in (0,\frac{4}{3}]$, and as local minimizers if $p\in [\frac{4}{3}, 4)$. In the mass-critical and supercritical cases $p\in [\frac{4}{3}, 4)$, we establish the variational characterization of the ground states on a suitable manifold which is different from the one neither of the Nehari type nor of the Pohozaev type, and then prove the existence of ground states. Finally under some assumptions on $\omega$ and $p$, we prove that the ground state standing waves are strongly unstable.


title: Point process models for sweat gland activation observed with noise

abstract: The aim of the paper is to construct spatial models for the activation of sweat glands for healthy subjects and subjects suffering from peripheral neuropathy by using videos of sweating recorded from the subjects. The sweat patterns are regarded as realizations of spatial point processes and two point process models for the sweat gland activation and two methods for inference are proposed. Several image analysis steps are needed to extract the point patterns from the videos and some incorrectly identified sweat gland locations may be present in the data. To take into account the errors we either include an error term in the point process model or use an estimation procedure that is robust with respect to the errors.


title: The cell adaptation time sets a minimum length scale for patterned substrates

abstract: The structure and dynamics of tissue cultures depend strongly on the physical and chemical properties of the underlying substrate. Inspired by previous advances in the context of inorganic materials, the use of patterned culture surfaces has been proposed as an effective way to induce space-dependent properties in cell tissues. However, cells move and diffuse and the transduction of external stimuli to biological signals is not instantaneous. Here, we show that the fidelity of patterns depends on the relation between the diffusion ($\tau_D$) and adaptation ($\tau$) times. Numerical results for the self-propelled Voronoi model reveal that the fidelity decreases with $\tau/\tau_D$, a result that is reproduced by a continuum reaction-diffusion model. We derive a minimum length scale for the patterns that depends on $\tau/\tau_D$ and can be much larger than the cell size.


title: On a class of stochastic partial differential equations with multiple invariant measures

abstract: In this work we investigate the long-time behavior, that is the existence and characterization of invariant measures as well as convergence of transition probabilities, for Markov processes obtained as the unique mild solution to stochastic partial differential equations in a Hilbert space. Contrary to the existing literature where typically uniqueness of invariant measures is studied, we focus on the case where the uniqueness of invariant measures fails to hold. Namely, using a \textit{generalized dissipativity condition} combined with a decomposition of the Hilbert space, we prove the existence of multiple limiting distributions in dependence of the initial state of the process and study the convergence of transition probabilities in the Wasserstein 2-distance. Finally, we show that these results contain L\'evy driven Ornstein-Uhlenbeck processes, the Heath-Jarrow-Morton-Musiela equation as well as stochastic partial differential equations with delay as a particular case.


title: Demystifying a Dark Art: Understanding Real-World Machine Learning Model Development

abstract: It is well-known that the process of developing machine learning (ML) workflows is a dark-art; even experts struggle to find an optimal workflow leading to a high accuracy model. Users currently rely on empirical trial-and-error to obtain their own set of battle-tested guidelines to inform their modeling decisions. In this study, we aim to demystify this dark art by understanding how people iterate on ML workflows in practice. We analyze over 475k user-generated workflows on OpenML, an open-source platform for tracking and sharing ML workflows. We find that users often adopt a manual, automated, or mixed approach when iterating on their workflows. We observe that manual approaches result in fewer wasted iterations compared to automated approaches. Yet, automated approaches often involve more preprocessing and hyperparameter options explored, resulting in higher performance overall--suggesting potential benefits for a human-in-the-loop ML system that appropriately recommends a clever combination of the two strategies.


title: On triangles with a minuscule side

abstract: Let $W\subset O(V)$ be the Weyl group of a root system $R\subset V$. If $a+b+c=0=a'+b'+c'$ with $a$, $b$ and $c$ respectively conjugated to $a'$, $b'$ and $c'$ in V , then $(a,b,c)$ is conjugated to $(a',b',c')$ in $V^3$ when each projection of $a$ to an irreducible component of $V$ is co-linear to a minuscule coweight.


title: Fluctuation-theorem and extended thermodynamics of turbulence

abstract: Turbulent flows are out-of-equilibrium because the energy supply at large scales and its dissipation by viscosity at small scales create a net transfer of energy among all scales. Here, the energy cascade is approximated by a combined contribution of a forward drift and diffusion that recover accepted phenomenological theories of turbulence. The fluctuation theorem (FT) is then shown to describe the scale-wise statistics of forward and backward energy transfer and their connection to irreversibility and entropy production. The ensuing turbulence entropy may be used to formulate an extended turbulence thermodynamics.


title: A matrix version of Dwork's congruences

abstract: In this article we give an example of a matrix version of the famous congruence for hypergeometric functions found by Dwork in 'p-adic cycles'.


title: Monitoring food structure during digestion using small-angle scattering and imaging techniques

abstract: Various studies have shown that food structure has an impact on digestion kinetics. We focus here on the effects of gastric and intestinal enzymes (in-vitro digestion) on two canola seed storage proteins, napin and cruciferin. To monitor structure effect we conducted experiments on gels of these proteins at different pHs, yielding different structures and elastic modulus. What is new is to get information on the mechanisms at the lowest scales, using imaging and radiation scattering at large facilities: Synchrotron fluorescence microscopy, X-Ray scattering, at SOLEIL synchrotron, and Small-Angle Neutron Scattering, at Laboratoire L{\'e}on Brillouin reactor. We can identify the mechanisms at each step and in two distinct scale ranges, observed simultaneously, the one of the individual protein scale and the one of the structure connectivity:-during gelation individual canola proteins are not deeply modified in comparison with their state in solution ; larger scale gel heterogeneity appears due to connectivity or aggregation-in the gastric step (up to 40 min): o at short scale (large q) we see that the proteins disintegration is much slowed down in gels than in solutions, particularly in the gastric phase; o at larger scales (low q), we see that the gel structure is also self-resistant to the action of the enzyme (pepsin).-in the intestinal step, such kinetics differences hold until major disintegration after no more than 15 min.


title: To Test Machine Comprehension, Start by Defining Comprehension

abstract: Many tasks aim to measure machine reading comprehension (MRC), often focusing on question types presumed to be difficult. Rarely, however, do task designers start by considering what systems should in fact comprehend. In this paper we make two key contributions. First, we argue that existing approaches do not adequately define comprehension; they are too unsystematic about what content is tested. Second, we present a detailed definition of comprehension -- a "Template of Understanding" -- for a widely useful class of texts, namely short narratives. We then conduct an experiment that strongly suggests existing systems are not up to the task of narrative understanding as we define it.


title: What-if I ask you to explain: Explaining the effects of perturbations in procedural text

abstract: We address the task of explaining the effects of perturbations in procedural text, an important test of process comprehension. Consider a passage describing a rabbit's life-cycle: humans can easily explain the effect on the rabbit population if a female rabbit becomes ill -- i.e., the female rabbit would not become pregnant, and as a result not have babies leading to a decrease in rabbit population. We present QUARTET, a system that constructs such explanations from paragraphs, by modeling the explanation task as a multitask learning problem. QUARTET provides better explanations (based on the sentences in the procedural text) compared to several strong baselines on a recent process comprehension benchmark. We also present a surprising secondary effect: our model also achieves a new SOTA with a 7% absolute F1 improvement on a downstream QA task. This illustrates that good explanations do not have to come at the expense of end task performance.


title: Proceedings of the 2020 Workshop on Assessing, Explaining, and Conveying Robot Proficiency for Human-Robot Teaming

abstract: This record contains the proceedings of the 2020 Workshop on Assessing, Explaining, and Conveying Robot Proficiency for Human-Robot Teaming, which was held in conjunction with the 2020 ACM/IEEE International Conference on Human-Robot Interaction (HRI). This workshop was originally scheduled to occur in Cambridge, UK on March 23, but was moved to a set of online talks due to the COVID-19 pandemic.


title: Correlation Imaging through a scattering medium: experiment and comparison with simulations of the biphoton wave function

abstract: We first extend our recent experiments of correlation imaging through scattering media to the case of a thick medium, composed of two phase scatterers placed respectively in the image and the Fourier planes of the crystal. The spatial correlations between twin photons are still detected but no more in the form of a speckle. Second, a numerical simulation of the biphoton wave function is developed and applied to our experimental situation, with a good agreement.


title: Accelerated Learning with Robustness to Adversarial Regressors

abstract: High order momentum-based parameter update algorithms have seen widespread applications in training machine learning models. Recently, connections with variational approaches have led to the derivation of new learning algorithms with accelerated learning guarantees. Such methods however, have only considered the case of static regressors. There is a significant need for parameter update algorithms which can be proven stable in the presence of adversarial time-varying regressors, as is commonplace in control theory. In this paper, we propose a new discrete time algorithm which 1) provides stability and asymptotic convergence guarantees in the presence of adversarial regressors by leveraging insights from adaptive control theory and 2) provides non-asymptotic accelerated learning guarantees leveraging insights from convex optimization. In particular, our algorithm reaches an $\epsilon$ sub-optimal point in at most $\tilde{\mathcal{O}}(1/\sqrt{\epsilon})$ iterations when regressors are constant - matching lower bounds due to Nesterov of $\Omega(1/\sqrt{\epsilon})$, up to a $\log(1/\epsilon)$ factor and provides guaranteed bounds for stability when regressors are time-varying. We provide numerical experiments for a variant of Nesterov's provably hard convex optimization problem with time-varying regressors, as well as the problem of recovering an image with a time-varying blur and noise using streaming data.


title: Overcoming information reduced data and experimentally uncertain parameters in ptychography with regularized optimization

abstract: The overdetermination of the mathematical problem underlying ptychography is reduced by a host of experimentally more desirable settings. Furthermore, reconstruction of the sample-induced phase shift is typically limited by uncertainty in the experimental parameters and finite sample thicknesses. Presented is a conjugate gradient descent algorithm, regularized optimization for ptychography (ROP), that recovers the partially known experimental parameters along with the phase shift, improves resolution by incorporating the multislice formalism to treat finite sample thicknesses, and includes regularization in the optimization process, thus achieving reliable results from noisy data with severely reduced and underdetermined information.


title: The X(3872) as a mass distribution

abstract: All existing experimental evidence of the bound state nature of the X(3872) relies on considering its decay products with a finite experimental spectral mass resolution which is typically $\Delta m \ge 2$ MeV and much larger than its alleged binding energy, $B_X =0.00(18)$MeV. On the other hand, there is a neat cancellation in the $1^{++} $ channel for the invariant $D {\bar D}^*$ mass around the threshold between the continuum and bound state contribution. We discuss the impact of this effect for X(3872) at finite temperature, in prompt production in pp collisions data with a finite $p_T$ or the lineshapes of specific production experiments of exotic states involving triangle singularities


title: The Next Generation Fornax Survey (NGFS): VII. A MUSE view of the nuclear star clusters in Fornax dwarf galaxies

abstract: Clues to the formation and evolution of Nuclear Star Clusters (NSCs) lie in their stellar populations. However, these structures are often very faint compared to their host galaxy, and spectroscopic analysis of NSCs is hampered by contamination of light from the rest of the system. With the introduction of wide-field IFU spectrographs, new techniques have been developed to model the light from different components within galaxies, making it possible to cleanly extract the spectra of the NSCs and study their properties with minimal contamination from the light of the rest of the galaxy. This work presents the analysis of the NSCs in a sample of 12 dwarf galaxies in the Fornax Cluster observed with MUSE. Analysis of the stellar populations and star-formation histories reveal that all the NSCs show evidence of multiple episodes of star formation, indicating that they have built up their mass further since their initial formation. The NSCs were found to have systematically lower metallicities than their host galaxies, which is consistent with a scenario for mass-assembly through mergers with infalling globular clusters, while the presence of younger stellar populations and gas emission in the core of two galaxies is indicative of in-situ star formation. We conclude that the NSCs in these dwarf galaxies likely originated as globular clusters that migrated to the core of the galaxy which have built up their mass mainly through mergers with other infalling clusters, with gas-inflow leading to in-situ star formation playing a secondary role.


title: Neuromorphic quantum computing

abstract: We propose that neuromorphic computing can perform quantum operations. Spiking neurons in the active or silent states are connected to the two states of Ising spins. A quantum density matrix is constructed from the expectation values and correlations of the Ising spins. As a step towards quantum computation we show for a two qubit system that quantum gates can be learned as a change of parameters for neural network dynamics. Our proposal for probabilistic computing goes beyond Markov chains, which are based on transition probabilities. Constraints on classical probability distributions relate changes made in one part of the system to other parts, similar to entangled quantum systems.


title: Fibers over infinity of Landau-Ginzburg models

abstract: We conjecture that the number of components of the fiber over infinity of Landau--Ginzburg model for a smooth Fano variety $X$ equals the dimension of the anticanonical system of $X$. We verify this conjecture for log Calabi--Yau compactifications of toric Landau--Ginzburg models for smooth Fano threefolds, complete intersections, and some toric varieties.


title: Ten Questions in Lifelog Mining and Information Recall

abstract: With the advance of science and technology, people are used to record their daily life events via writing blogs, uploading social media posts, taking photos, or filming videos. Such rich repository personal information is useful for supporting human living assistance. The main challenge is how to store and manage personal knowledge from various sources. In this position paper, we propose a research agenda on mining personal knowledge from various sources of lifelogs, personal knowledge base construction, and information recall for assisting people to recall their experiences.


title: Flow-Partitionable Signed Graphs

abstract: The NP-hard problem of correlation clustering is to partition a signed graph such that the number of conflicts between the partition and the signature of the graph is minimized. This paper studies graph signatures that allow the optimal partition to be found efficiently. We define the class of flow-partitionable signed graphs, which have the property that the standard linear programming relaxation based on so-called cycle inequalities is tight. In other words, flow-partitionable signed graphs satisfy an exact max-multiflow-min-multicut relation in the associated instances of minimum multicut. In this work we propose to characterize flow-partitionable signed graphs in terms of forbidden minors. Our initial results include two infinite classes of forbidden minors, which are sufficient if the positive subgraph is a circuit or a tree. For the general case we present another forbidden minor and point out a connection to open problems in the theory of ideal clutters.


title: Simultaneous supersingular reductions of CM elliptic curves

abstract: We study the simultaneous reductions at several supersingular primes of elliptic curves with complex multiplication. We show -- under additional congruence assumptions on the CM order -- that the reductions are surjective (and even become equidistributed) on the product of supersingular loci when the discriminant of the order becomes large. This variant of the equidistribution theorems of Duke and Cornut-Vatsal is an(other) application of the recent work of Einsiedler and Lindenstrauss on the classification of joinings of higher-rank diagonalizable actions.


title: A Solution for Large Scale Nonlinear Regression with High Rank and Degree at Constant Memory Complexity via Latent Tensor Reconstruction

abstract: This paper proposes a novel method for learning highly nonlinear, multivariate functions from examples. Our method takes advantage of the property that continuous functions can be approximated by polynomials, which in turn are representable by tensors. Hence the function learning problem is transformed into a tensor reconstruction problem, an inverse problem of the tensor decomposition. Our method incrementally builds up the unknown tensor from rank-one terms, which lets us control the complexity of the learned model and reduce the chance of overfitting. For learning the models, we present an efficient gradient-based algorithm that can be implemented in linear time in the sample size, order, rank of the tensor and the dimension of the input. In addition to regression, we present extensions to classification, multi-view learning and vector-valued output as well as a multi-layered formulation. The method can work in an online fashion via processing mini-batches of the data with constant memory complexity. Consequently, it can fit into systems equipped only with limited resources such as embedded systems or mobile phones. Our experiments demonstrate a favorable accuracy and running time compared to competing methods.


title: Open Loop In Natura Economic Planning

abstract: The debate between the optimal way of allocating societal surplus (i.e. products and services) has been raging, in one form or another, practically forever; following the collapse of the Soviet Union in 1991, the market became the only legitimate form of organisation -- there was no other alternative. Working within the tradition of Marx, Leontief, Kantorovich, Beer and Cockshott, we propose what we deem an automated planning system that aims to operate on unit level (e.g., factories and citizens), rather than on aggregate demand and sectors. We explain why it is both a viable and desirable alternative to current market conditions and position our solution within current societal structures. Our experiments show that it would be trivial to plan for up to 50K industrial goods and 5K final goods in commodity hardware.


title: Neural Networks for Quantum Inverse Problems

abstract: Quantum Inverse Problem (QIP) is the problem of estimating an unknown quantum system $\rho$ from a set of measurements, whereas the classical counterpart is the Inverse Problem of estimating a distribution from a set of observations. In this paper, we present a neural network based method for QIPs, which has been widely explored for its classical counterpart. The proposed method utilizes the quantum-ness of the QIPs and takes advantage of the computational power of neural networks to achieve higher efficiency for the quantum state estimation. We test the method on the problem of Maximum Entropy Estimation of an unknown state $\rho$ from partial information. Our method yields high fidelity, efficiency and robustness for both numerical experiments and quantum optical experiments.


title: Inverse scattering reconstruction of a three dimensional sound-soft axis-symmetric impenetrable object

abstract: In this work, we consider the problem of reconstructing the shape of a three dimensional impenetrable sound-soft axis-symmetric obstacle from measurements of the scattered field at multiple frequencies. This problem has important applications in locating and identifying obstacles with axial symmetry in general, such as, land mines. We present a two-part framework for recovering the shape of the obstacle. In part 1, we introduce an algorithm to find the axis of symmetry of the obstacle by making use of the far field pattern. In part 2, we recover the shape of the obstacle by applying the recursive linearization algorithm (RLA) with multifrequency measurements of the scattered field. In the RLA, a sequence of inverse scattering problems using increasing single frequency measurements are solved. Each of those problems is ill-posed and nonlinear. The ill-posedness is treated by using a band-limited representation for the shape of the obstacle, while the nonlinearity is dealt with by applying the damped Gauss-Newton method. When using the RLA, a large number of forward scattering problems must be solved. Hence, it is paramount to have an efficient and accurate forward problem solver. For the forward problem, we apply separation of variables in the azimuthal coordinate and Fourier decompose the resulting problem, leaving us with a sequence of decoupled simpler forward scattering problems to solve. Numerical examples for the inverse problem are presented to show the feasibility of our two-part framework in different scenarios, particularly for objects with non-smooth boundaries.

categories: math.NA cs.NA physics.comp-ph physics.geo-ph


title: Microlensed Radio Emission from Exoplanets

abstract: In this paper, we investigate the detectability of radio emission from exoplanets, especially hot Jupiters, which are magnified by gravitational microlensing. Because hot Jupiters have orbital periods much shorter than the characteristic timescale of microlensing, the magnification curve has a unique wavy feature depending on the orbital parameters. This feature is useful to identify radio emission from exoplanets and, in addition to magnification, makes it easier to detect exoplanets directly. We also estimate the expected event rate red of the detectable level of microlensed planetary radio emissions, assuming the LOFAR and the first phase of the Square Kilometre Array.


title: General neutrino interactions with sterile neutrinos in light of coherent neutrino-nucleus scattering and meson invisible decays

abstract: In this work we study the current bounds from the CE{\nu}NS process and meson invisible decays on generic neutrino interactions with sterile neutrinos in effective field theories. The interactions between quarks and left-handed SM neutrinos and/or right-handed neutrinos are first described by the low-energy effective field theory (LNEFT) between the electroweak scale and the chiral symmetry breaking scale. We complete the independent operator basis for the LNEFT up to dimension-6 by including both the lepton-number-conserving (LNC) and lepton-number-violating (LNV) operators involving right-handed neutrinos. We translate the bounds on the LNEFT Wilson coefficients from the COHERENT observation and calculate the branching fractions of light meson invisible decays. The bounds on LNEFT are then mapped onto the SM effective field theory with sterile neutrinos (SMNEFT) to constrain new physics above the electroweak scale. We find that the meson invisible decays can provide the only sensitive probe for {\tau} neutrino flavor component and s quark component in the quark-neutrino interactions involving two (one) active neutrinos and for the effective operators without any active neutrino fields. The CE{\nu}NS process places the most stringent bound on all other Wilson coefficients. By assuming one dominant Wilson coefficient at a time in SMNEFT and negligible sterile neutrino mass, the most stringent limits on the new physics scale are 2.7 - 10 TeV from corresponding dipole operator in LNEFT and 0.5 - 1.5 TeV from neutrino-quark operator in LNEFT.


title: "Can you do this?" Self-Assessment Dialogues with Autonomous Robots Before, During, and After a Mission

abstract: Autonomous robots with sophisticated capabilities can make it difficult for human instructors to assess its capabilities and proficiencies. Therefore, it is important future robots have the ability to: introspect on their capabilities and assess their task performance. Introspection allows the robot to determine what it can accomplish and self-assessment allows the robot estimate the likelihood it will accomplish at given task. We introduce a general framework for introspection and self-assessment that enables robots to have task and performance-based dialogues before, during, and after a mission. We then realize aspects of the framework in the cognitive robotic DIARC architecture, and finally show a proof-of-concept demonstration on a Nao robot showing its self-assessment capabilities before, during, and after an instructed task.


title: Rolling Polygons with Granular Material down an Incline

abstract: The present paper reports a novel behavior involving regular polygons with n sides and filled to varying degrees with granular materials. These are comprised of a set of hollow polygons produced on a 3D printer, and a single larger hollow hexagon fabricated with wooden sides and clear Plexiglas faces. Empty or full polygons stop immediately at shallow ramp angles, and roll the full length of the ramp for steep ramp angles, approaching a terminal velocity. This is consistent with results previously reported by other investigators of rolling solid polygons and partially filled cylinders. In contrast, partially filled polygons released at shallow ramp angles accelerate to a "terminal velocity," but then come to an abrupt stop. The distance traveled is reproducible and dependent on the ramp angle, number of sides and the volume fill ratio and is minimized when filled to 0.4 of its total internal volume. For larger ramp angles, the partially filled polygons again approach a "terminal velocity," but the terminal velocity is minimized, again near the fill ratio of 0.4. a simple model is introduced, but it is successful only in replicating the overall trend in velocity as a function of time for the large angle cases.


title: Robotic Self-Assessment of Competence

abstract: In robotics, one of the main challenges is that the on-board Artificial Intelligence (AI) must deal with different or unexpected environments. Such AI agents may be incompetent there, while the underlying model itself may not be aware of this (e.g., deep learning models are often overly confident). This paper proposes two methods for the online assessment of the competence of the AI model, respectively for situations when nothing is known about competence beforehand, and when there is prior knowledge about competence (in semantic form). The proposed method assesses whether the current environment is known. If not, it asks a human for feedback about its competence. If it knows the environment, it assesses its competence by generalizing from earlier experience. Results on real data show the merit of competence assessment for a robot moving through various environments in which it sometimes is competent and at other times it is not competent. We discuss the role of the human in robot's self-assessment of its competence, and the challenges to acquire complementary information from the human that reinforces the assessments.


title: An atomic Boltzmann machine capable of on-chip learning

abstract: The Boltzmann Machine (BM) is a neural network composed of stochastically firing neurons that can learn complex probability distributions by adapting the synaptic interactions between the neurons. BMs represent a very generic class of stochastic neural networks that can be used for data clustering, generative modelling and deep learning. A key drawback of software-based stochastic neural networks is the required Monte Carlo sampling, which scales intractably with the number of neurons. Here, we realize a physical implementation of a BM directly in the stochastic spin dynamics of a gated ensemble of coupled cobalt atoms on the surface of semiconducting black phosphorus. Implementing the concept of orbital memory utilizing scanning tunnelling microscopy, we demonstrate the bottom-up construction of atomic ensembles whose stochastic current noise is defined by a reconfigurable multi-well energy landscape. Exploiting the anisotropic behaviour of black phosphorus, we build ensembles of atoms with two well-separated intrinsic time scales that represent neurons and synapses. By characterizing the conditional steady-state distribution of the neurons for given synaptic configurations, we illustrate that an ensemble can represent many distinct probability distributions. By probing the intrinsic synaptic dynamics, we reveal an autonomous reorganization of the synapses in response to external electrical stimuli. This self-adaptive architecture paves the way for on-chip learning directly in atomic-scale machine learning hardware.


title: Entropy and Emergence of Topological Dynamical Systems

abstract: A topological dynamical system $(X,f)$ induces two natural systems, one is on the probability measure spaces and other one is on the hyperspace. We introduce a concept for these two spaces, which is called entropy order, and prove that it coincides with topological entropy of $(X,f)$. We also consider the entropy order of an invariant measure and a variational principle is established.


title: Computational modelling in single-cell cancer genomics: methods and future directions

abstract: Single-cell technologies have revolutionized biomedical research by enabling scalable measurement of the genome, transcriptome, and proteome of multiple systems at single-cell resolution. Now widely applied to cancer models, these assays offer new insights into tumour heterogeneity, which underlies cancer initiation, progression, and relapse. However, the large quantities of high-dimensional, noisy data produced by single-cell assays can complicate data analysis, obscuring biological signals with technical artefacts. In this review article, we outline the major challenges in analyzing single-cell cancer genomics data and survey the current computational tools available to tackle these. We further outline unsolved problems that we consider major opportunities for future methods development to help interpret the vast quantities of data being generated.


title: A holographic relation between the deconfinement temperature and gluon condensate

abstract: We derive a holographic prediction of the deconfinement temperature $T_c$ at vanishing chemical potential within a simplest AdS/QCD model with dynamical dilaton. Our analysis leads to a linear relation between $T_c^4$ and the gluon condensate. After normalizing this relation to the lattice data for $SU(3)$ pure gauge theory, the standard phenomenological value of gluon condensate from QCD sum rules leads to the prediction $T_c=156$ MeV which is in a perfect agreement with the modern lattice results and freeze-out temperature measured by the ALICE Collaboration.


title: Reaction-diffusion equations for the infinity Laplacian

abstract: We derive sharp regularity for viscosity solutions of an inhomogeneous infinity Laplace equation across the free boundary, when the right hand side does not change sign and satisfies a certain growth condition. We prove geometric regularity estimates for solutions and conclude that once the source term is comparable to a homogeneous function, then the free boundary is a porous set and hence, has zero Lebesgue measure. Additionally, we derive a Liouville type theorem. When near the origin the right hand side grows not faster than third degree homogeneous function, we show that if a non-negative viscosity solution vanishes at a point, then it has to vanish everywhere.


title: Almost Kenmotsu metric as quasi Yamabe soliton

abstract: In the present paper, we characterize a class of almost Kenmotsu manifolds admitting quasi Yamabe soliton. It is shown that if a $(k,\mu)'$-almost Kenmotsu manifold admits a quasi Yamabe soliton $(g,V,\lambda,\alpha)$ with $V$ pointwise collinear with $\xi$, then (1) $V$ is a constant multiple of $\xi$, (2) $V$ is a strict infinitesimal contact transformation and (3) $(\pounds_V h')X = 0$ for any vector field $X$. Finally an illustrative example is presented to support the result.


title: Chemical modelling of dust-gas chemistry within AGB outflows -- II. Effect of the dust-grain size distribution

abstract: AGB stars are, together with supernovae, the main contributors of stellar dust to the interstellar medium (ISM). Dust grains formed by AGB stars are thought to be large. However, as dust nucleation and growth within their outflows are still not understood, the dust-grain size distribution (GSD) is unknown. This is an important uncertainty regarding our knowledge of the chemical and physical history of interstellar dust, as AGB dust forms $\sim$ 70% of the starting point of its evolution. We expand on our chemical kinetics model, which uniquely includes a comprehensive dust-gas chemistry. The GSD is now allowed to deviate from the commonly assumed canonical Mathis et al. (1977) distribution. We find that the specific GSD can significantly influence the dust-gas chemistry within the outflow. Our results show that the level of depletion of gas-phase species depends on the average grain surface area of the GSD. Gas-phase abundance profiles and their possible depletions can be retrieved from observations of molecular emission lines when using a range of transitions. Due to degeneracies within the prescription of GSD, specific parameters cannot be retrieved, only (a lower limit to) the average grain surface area. Nonetheless, this can discriminate between dust composed of predominantly large or small grains. We show that when combined with other observables such as the spectral energy distribution and polarised light, depletion levels from molecular gas-phase abundance profiles can constrain the elusive GSD of the dust delivered to the ISM by AGB outflows.


title: Finite Volume approximation of a two-phase two fluxes degenerate Cahn-Hilliard model

abstract: We study a time implicit Finite Volume scheme for degenerate Cahn-Hilliard model proposed in [W. E and P. Palffy-Muhoray. Phys. Rev. E, 55:R3844-R3846, 1997] and studied mathematically by the authors in [C. Canc\`es, D. Matthes, and F. Nabet. Arch. Ration. Mech. Anal., 233(2):837-866, 2019]. The scheme is shown to preserve the key properties of the continuous model, namely mass conservation, positivity of the concentrations, the decay of the energy and the control of the entropy dissipation rate. This allows to establish the existence of a solution to the nonlinear algebraic system corresponding to the scheme. Further, we show thanks to compactness arguments that the approximate solution converges towards a weak solution of the continuous problems as the discretization parameters tend to $0$. Numerical results illustrate the behavior of the numerical model.


title: Second virial coefficients of light nuclear clusters and their chemical freeze-out in nuclear collisions

abstract: Here we develop a new strategy to analyze the chemical freeze-out of light (anti)nuclei produced in high energy collisions of heavy atomic nuclei within an advanced version of the hadron resonance gas model. It is based on two different, but complementary approaches to model the hard-core repulsion between the light nuclei and hadrons. The first approach is based on an approximate treatment of the equivalent hard-core radius of a roomy nuclear cluster and pions, while the second approach is rigorously derived here using a self-consistent treatment of classical excluded volumes of light (anti)nuclei and hadrons. By construction, in a hadronic medium dominated by pions, both approaches should give the same results. Employing this strategy to the analysis of hadronic and light (anti)nuclei multiplicities measured by ALICE at $\sqrt{s_{NN}} =2.76$ TeV and by STAR at $\sqrt{s_{NN}} =200$ GeV, we got rid of the existing ambiguity in the description of light (anti)nuclei data and determined the chemical freeze-out parameters of nuclei with high accuracy and confidence. At ALICE energy the nuclei are frozen prior to the hadrons at the temperature $T = 175.1^{+2.3}_{-3.9}$ MeV, while at STAR energy there is a single freeze-out of hadrons and nuclei at the temperature $T = 167.2 \pm 3.9$ MeV. We argue that the found chemical freeze-out volumes of nuclei can be considered as the volumes of quark-gluon bags that produce the nuclei at the moment of hadronization.


title: Compose Like Humans: Jointly Improving the Coherence and Novelty for Modern Chinese Poetry Generation

abstract: Chinese poetry is an important part of worldwide culture, and classical and modern sub-branches are quite different. The former is a unique genre and has strict constraints, while the latter is very flexible in length, optional to have rhymes, and similar to modern poetry in other languages. Thus, it requires more to control the coherence and improve the novelty. In this paper, we propose a generate-retrieve-then-refine paradigm to jointly improve the coherence and novelty. In the first stage, a draft is generated given keywords (i.e., topics) only. The second stage produces a "refining vector" from retrieval lines. At last, we take into consideration both the draft and the "refining vector" to generate a new poem. The draft provides future sentence-level information for a line to be generated. Meanwhile, the "refining vector" points out the direction of refinement based on impressive words detection mechanism which can learn good patterns from references and then create new ones via insertion operation. Experimental results on a collected large-scale modern Chinese poetry dataset show that our proposed approach can not only generate more coherent poems, but also improve the diversity and novelty.


title: Off-the-shelf deep learning is not enough: parsimony, Bayes and causality

abstract: Deep neural networks ("deep learning") have emerged as a technology of choice to tackle problems in natural language processing, computer vision, speech recognition and gameplay, and in just a few years has led to superhuman level performance and ushered in a new wave of "AI." Buoyed by these successes, researchers in the physical sciences have made steady progress in incorporating deep learning into their respective domains. However, such adoption brings substantial challenges that need to be recognized and confronted. Here, we discuss both opportunities and roadblocks to implementation of deep learning within materials science, focusing on the relationship between correlative nature of machine learning and causal hypothesis driven nature of physical sciences. We argue that deep learning and AI are now well positioned to revolutionize fields where causal links are known, as is the case for applications in theory. When confounding factors are frozen or change only weakly, this leaves open the pathway for effective deep learning solutions in experimental domains. Similarly, these methods offer a pathway towards understanding the physics of real-world systems, either via deriving reduced representations, deducing algorithmic complexity, or recovering generative physical models. However, extending deep learning and "AI" for models with unclear causal relationship can produce misleading and potentially incorrect results. Here, we argue the broad adoption of Bayesian methods incorporating prior knowledge, development of DL solutions with incorporated physical constraints, and ultimately adoption of causal models, offers a path forward for fundamental and applied research. Most notably, while these advances can change the way science is carried out in ways we cannot imagine, machine learning is not going to substitute science any time soon.

categories: physics.comp-ph cond-mat.dis-nn cs.LG stat.ML


title: A minimal statistical-mechanical model for multihyperuniform patterns in avian retina

abstract: Birds are known for their extremely acute sense of vision. The very peculiar structural distribution of five different types of cones in the retina underlies this exquisite ability to sample light. It was recently found that each cone population as well as their total population display a disordered pattern in which long wave-length density fluctuations vanish. This property, known as hyperuniformity is also present in perfect crystals. In situations like the avian retina in which both the global structure and that of each component display hyperuniformity, the system is said to be multi-hyperuniform. In this work, we aim at devising a minimal statistical-mechanical model that can reproduce the main features of the spatial distribution of photoreceptors in avian retina, namely the presence of disorder, multi-hyperuniformity and local hetero-coordination. This last feature is key to avoid local clustering of the same type of photoreceptors, an undesirable feature for the efficient sampling of light. For this purpose we formulate a simple model that definitively exhibits the required structural properties, namely an equimolar three-component mixture (one component to sample each primary color, red, green, and blue) of non-additive hard disks to which a long-range logarithmic repulsion is added between like particles. A Voronoi analysis of our idealized system of photoreceptors shows that the space-filling Voronoi polygons interestingly display a rather uniform area distribution, symmetrically centered around that of a regular lattice, a structural property also found in human retina. Disordered multi-hyperuniformity offers an alternative to generate photoreceptor patterns with minimal long-range concentration and density fluctuations. This is the key to overcome the difficulties in devising an efficient visual system in which crystal-like order is absent.


title: Reduced Rank Multivariate Kernel Ridge Regression

abstract: In the multivariate regression, also referred to as multi-task learning in machine learning, the goal is to recover a vector-valued function based on noisy observations. The vector-valued function is often assumed to be of low rank. Although the multivariate linear regression is extensively studied in the literature, a theoretical study on the multivariate nonlinear regression is lacking. In this paper, we study reduced rank multivariate kernel ridge regression, proposed by \cite{mukherjee2011reduced}. We prove the consistency of the function predictor and provide the convergence rate. An algorithm based on nuclear norm relaxation is proposed. A few numerical examples are presented to show the smaller mean squared prediction error comparing with the elementwise univariate kernel ridge regression.


title: A Dynamical Mean-Field Theory for Learning in Restricted Boltzmann Machines

abstract: We define a message-passing algorithm for computing magnetizations in Restricted Boltzmann machines, which are Ising models on bipartite graphs introduced as neural network models for probability distributions over spin configurations. To model nontrivial statistical dependencies between the spins' couplings, we assume that the rectangular coupling matrix is drawn from an arbitrary bi-rotation invariant random matrix ensemble. Using the dynamical functional method of statistical mechanics we exactly analyze the dynamics of the algorithm in the large system limit. We prove the global convergence of the algorithm under a stability criterion and compute asymptotic convergence rates showing excellent agreement with numerical simulations.


title: Comprehensive model and performance optimization of phase-only spatial light modulators

abstract: Several spurious effects are known to degrade the performance of phase-only spatial light modulators. We introduce a comprehensive model that takes into account the major ones: curvature of the back panel, pixel crosstalk and the internal Fabry-Perot cavity. To estimate the model parameters with high accuracy, we generate blazed grating patterns and acquire the intensity response curves of the first and second diffraction orders. The quantitative model is used to generate compensating holograms, which can produce optical modes with high fidelity.


title: Intelligent Reflecting Surface Enhanced Millimeter-Wave NOMA Systems

abstract: In this paper, a downlink intelligent reflecting surface (IRS) enhanced millimeter-wave (mmWave) non-orthogonal multiple access (NOMA) system is considered. A joint optimization problem over active beamforming, passive beamforming and power allocation is formulated. Due to the highly coupled variables, the formulated optimization problem is non-convex. To solve this problem, an alternative optimization and successive convex approximation based iterative algorithm is proposed. Numerical results illustrate that: 1) the proposed scheme offers significant sum-rate gains, which confirms the effectiveness of introducing IRS for mmWave-NOMA systems; 2) the proposed algorithm with discrete phase shifts can achieve close performance to that of continuous phase shifts.


title: Brouwer fixed point theorem as a corollary of Lawvere

abstract: It is investigated in what sense the Brouwer fixed point theorem may be viewed as a corollary of the Lawvere fixed point theorem. A suitable generalisation of the Lawvere fixed point theorem is found and a means is identified by which the Brouwer fixed point theorem can be shown to be a corollary, once an appropriate continuous surjective mapping $A' \rightarrow X^{A''}$ has been constructed for each space $X$ in a certain class of "nice" spaces for each one of which the exponential topology on $X^{A''}$ exists, and here $A'$ and $A''$ have the same carrier set and the topology on $A'$ is finer than on $A''$. It is shown that there is a certain natural way of attempting to derive Brouwer as a corollary of Lawvere which is not possible, that is there is no space $A$ for which the exponential topology on $[0,1]^{A}$ exists and there is a continuous surjection $A \rightarrow [0,1]^{A}$. We then examine the range of contexts in which phenomena like those described in the first result occur, from a broadly model-theoretic perspective, with a view towards applications for the original motivation for the problem as a problem in decision theory for AI systems, suggested by the Machine Intelligence Research Institute.


title: Temperature Driven Transformation of CsPbBr$_3$ Nanoplatelets into Mosaic Nanotiles in Solution through Self-Assembly

abstract: Two-dimensional colloidal halide perovskite nanocrystals are promising materials for light emitting applications. In addition, they can be used as components to create a variety of materials through physical and chemical transformations. Recent studies focused on nanoplatelets that are able to self-assemble and transform on solid substrates. Yet, the mechanism behind the process and the atomic arrangement of their assemblies remain unclear. Here, we present the transformation of self-assembled stacks of CsPbBr$_3$ nanoplatelets in solution, capturing the different stages of the process by keeping the solutions at room temperature and monitoring the nanocrystal morphology over a period of a few months. Using ex-situ transmission electron microscopy and surface analysis, we demonstrate that the transformation mechanism can be understood as oriented attachment, proceeding through the following steps: i) desorption of the ligands from the particles surfaces, causing the merging of nanoplatelet stacks, which first form nanobelts; ii) merging of neighboring nanobelts that form more extended nanoplates; and iii) attachment of nanobelts and nanoplates, which create objects with an atomic structure that resemble a mosaic made of broken nanotiles. We reveal that the starting nanoplatelets merge seamlessly and defect-free on an atomic scale in small and thin nanobelts. However, aged nanobelts and nanoplates, which are mainly stabilized by amine/ammonium ions, link through a bilayer of CsBr. In this case, the atomic columns of neighboring perovskite lattices shift by a half-unit-cell, forming Ruddlesden-Popper planar faults.


title: A Tight Lower Bound on Adaptively Secure Full-Information Coin Flip

abstract: In a distributed coin-flipping protocol, Blum [ACM Transactions on Computer Systems '83], the parties try to output a common (close to) uniform bit, even when some adversarially chosen parties try to bias the common output. In an adaptively secure full-information coin flip, Ben-Or and Linial [FOCS '85], the parties communicate over a broadcast channel and a computationally unbounded adversary can choose which parties to corrupt along the protocol execution. Ben-Or and Linial proved that the $n$-party majority protocol is resilient to $O(\sqrt{n})$ corruptions (ignoring poly-logarithmic factors), and conjectured this is a tight upper bound for any $n$-party protocol (of any round complexity). Their conjecture was proved to be correct for single-turn (each party sends a single message) single-bit (a message is one bit) protocols Lichtenstein, Linial and Saks [Combinatorica '89], symmetric protocols Goldwasser, Tauman Kalai and Park [ICALP '15], and recently for (arbitrary message length) single-turn protocols Tauman Kalai, Komargodski and Raz [DISC '18]. Yet, the question for many-turn protocols was left completely open. In this work we close the above gap, proving that no $n$-party protocol (of any round complexity) is resilient to $\omega(\sqrt{n})$ (adaptive) corruptions.


title: Lecture notes: Efficient approximation of kernel functions

abstract: These lecture notes endeavour to collect in one place the mathematical background required to understand the properties of kernels in general and the Random Fourier Features approximation of Rahimi and Recht (NIPS 2007) in particular. We briefly motivate the use of kernels in Machine Learning with the example of the support vector machine. We discuss positive definite and conditionally negative definite kernels in some detail. After a brief discussion of Hilbert spaces, including the Reproducing Kernel Hilbert Space construction, we present Mercer's theorem. We discuss the Random Fourier Features technique and then present, with proofs, scalar and matrix concentration results that help us estimate the error incurred by the technique. These notes are the transcription of 10 lectures given at IIT Delhi between January and April 2020.


title: Haptic Sequential Monte Carlo Localization for Quadrupedal Locomotion in Vision-Denied Scenarios

abstract: Continuous robot operation in extreme scenarios such as underground mines or sewers is difficult because exteroceptive sensors may fail due to fog, darkness, dirt or malfunction. So as to enable autonomous navigation in these kinds of situations, we have developed a type of proprioceptive localization which exploits the foot contacts made by a quadruped robot to localize against a prior map of an environment, without the help of any camera or LIDAR sensor. The proposed method enables the robot to accurately re-localize itself after making a sequence of contact events over a terrain feature. The method is based on Sequential Monte Carlo and can support both 2.5D and 3D prior map representations. We have tested the approach online and onboard the ANYmal quadruped robot in two different scenarios: the traversal of a custom built wooden terrain course and a wall probing and following task. In both scenarios, the robot is able to effectively achieve a localization match and to execute a desired pre-planned path. The method keeps the localization error down to 10cm on feature rich terrain by only using its feet, kinematic and inertial sensing.


title: Trade-offs in the Design of Blockchain of Finite-Lifetime Blocks for Edge-IoT Applications

abstract: Unlike cryptocurrency transactions in bitcoin that are stored indefinitely, the data of certain applications like IoT have finite-lifetime. In this context, one of the recent research works proposed LiTiChain - a new architecture for Blockchain of finite-lifetime blocks with applications to Edge-IoT. The novelty of LiTiChain lies in ensuring the connectivity of the chain even after the expired blocks are deleted from the chain. To provide the same level of security as conventional blockchain, in LiTiChain, some blocks are stored longer than their lifetime, which incurs additional storage cost. This paper presents two new blockchain architectures i.e. p-LiTiChain and s-LiTiChain that are variants of LiTiChain. The proposed architectures offer a degree of freedom in the design of blockchain of finite-lifetime blocks in terms of a tradeoff between storage cost, security and computational cost. With extensive simulations and analysis, it is demonstrated that the proposed architectures have the potential to decrease the additional storage cost incurred by LiTiChain to zero and improve security at the expense of computational cost.


title: The Relationship between Mid-Infrared and Sub-Millimetre Variability of Deeply Embedded Protostars

abstract: We study the relationship between the mid-infrared and sub-mm variability of deeply embedded protostars using the multi-epoch data from the Wide Infrared Survey Explorer ($WISE$/NEOWISE) and the ongoing James Clerk Maxwell Telescope (JCMT) transient survey. Our search for signs of stochastic (random) and/or secular (roughly monotonic in time) variability in a sample of 59 young stellar objects (YSOs) revealed that 35 are variable in at least one of the two surveys. This variability is dominated by secular changes. Of those objects with secular variability, 14 objects ($22\%$ of the sample) show correlated secular variability over mid-IR and sub-mm wavelengths. Variable accretion is the likely mechanism responsible for this type of variability. Fluxes of YSOs that vary in both wavelengths follow a relation of $\log_{10} F_{4.6}(t)=\eta \log_{10} F_{850}(t)$ between the mid-IR and sub-mm, with $\eta=5.53\pm0.29$. This relationship arises from the fact that sub-mm fluxes respond to the dust temperature in the larger envelope whereas the mid-IR emissivity is more directly proportional to the accretion luminosity. The exact scaling relation, however, depends on the structure of the envelope, the importance of viscous heating in the disc, and dust opacity laws.


title: A Necessary Condition on Chain Reachable Robustness of Dynamical Systems

abstract: It is ``folklore'' that the solution to a set reachability problem for a dynamical system is only noncomputable because of non-robustness reasons. A robustness condition that can be imposed on a dynamical system is the requirement of the chain reachable set to equal the closure of the reachable set. We claim that this condition necessarily imposes strong conditions on the dynamical system. For instance, if the space is connected and compact and we are computing a chain reachable robust single valued function $f$ then $f$ cannot have an unstable fixed point or unstable periodic cycle.


title: Frugal Optimization for Cost-related Hyperparameters

abstract: The increasing demand for democratizing machine learning algorithms calls for hyperparameter optimization (HPO) solutions at low cost. Many machine learning algorithms have hyperparameters which can cause a large variation in the training cost. But this effect is largely ignored in existing HPO methods, which are incapable to properly control cost during the optimization process. To address this problem, we develop a new cost-frugal HPO solution. The core of our solution is a simple but new randomized direct-search method, for which we prove a convergence rate of $O(\frac{\sqrt{d}}{\sqrt{K}})$ and an $O(d\epsilon^{-2})$-approximation guarantee on the total cost. We provide strong empirical results in comparison with state-of-the-art HPO methods on large AutoML benchmarks.


title: Single-shot X-ray Absorption Spectroscopy at X-ray Free Electron Lasers

abstract: X-ray Absorption Spectroscopy (XAS) is a widely used X-ray diagnostic method. While synchrotrons have large communities of XAS users, its use on X-Ray Free Electron Lasers (XFEL) facilities has been rather limited. At a first glance, the relatively narrow bandwidth and the highly fluctuating spectral structure of XFEL sources seem to prevent high-quality XAS measurements without accumulating over many shots. Here, we demonstrate for the first time the collection of single-shot XAS spectra on an XFEL, with error bars of only a few percent, over tens of eV. We show how this technique can be extended over wider spectral ranges towards Extended X-ray Absorption Fine Structure (EXAFS) measurements, by concatenating a few tens of single-shot measurements. Such results open indisputable perspectives for future femtosecond time resolved XAS studies, especially for transient processes that can be initiated at low repetition rate.


title: Memory Augmented Neural Model for Incremental Session-based Recommendation

abstract: Increasing concerns with privacy have stimulated interests in Session-based Recommendation (SR) using no personal data other than what is observed in the current browser session. Existing methods are evaluated in static settings which rarely occur in real-world applications. To better address the dynamic nature of SR tasks, we study an incremental SR scenario, where new items and preferences appear continuously. We show that existing neural recommenders can be used in incremental SR scenarios with small incremental updates to alleviate computation overhead and catastrophic forgetting. More importantly, we propose a general framework called Memory Augmented Neural model (MAN). MAN augments a base neural recommender with a continuously queried and updated nonparametric memory, and the predictions from the neural and the memory components are combined through another lightweight gating network. We empirically show that MAN is well-suited for the incremental SR task, and it consistently outperforms state-of-the-art neural and nonparametric methods. We analyze the results and demonstrate that it is particularly good at incrementally learning preferences on new and infrequent items.