title: Unique continuation from a generalized impedance edge-corner for Maxwell's system and applications to inverse problems

abstract: We consider the time-harmonic Maxwell system in a domain with a generalized impedance edge-corner, namely the presence of two generalized impedance planes that intersect at an edge. The impedance parameter can be $0, \infty$ or a finite non-identically vanishing variable function. We establish an accurate relationship between the vanishing order of the solutions to the Maxwell system and the dihedral angle of the edge-corner. In particular, if the angle is irrational, the vanishing order is infinity, i.e. strong unique continuation holds from the edge-corner. The establishment of those new quantitative results involve a highly intricate and subtle algebraic argument. The unique continuation study is strongly motivated by our study of a longstanding inverse electromagnetic scattering problem. As a significant application, we derive several novel unique identifiability results in determining a polyhedral obstacle as well as it surface impedance by a single far-field measurement. We also discuss another potential and interesting application of our result in the inverse scattering theory related to the information encoding.


title: Spatially resolved determination of the electronic density and temperature by a visible spectrotomography diagnostic in a linear magnetized plasma

abstract: In this work, a non-intrusive, spatially resolved, spectro-tomographic optical diagnostic of the electronic density and temperature on the linear plasma column Mistral is presented. Coupling of spectroscopy and tomography technique gives access to the local plasma light emission at different wavelengths (visible and near IR) in an argon plasma. Taking advantage of the symmetry of the Mistral experiment, the diagnostic results are validated and the plasma is found to correspond to a corona equilibrium state. With the use of another spectrometer and a Langmuir probe, we propose a non-intrusive method to determine the electronic density and temperature of each pixel of the tomographic images of the plasma. The obtained results are in good agreement with the Langmuir probe ones.


title: $k$-arrangements, statistics and patterns

abstract: The $k$-arrangements are permutations whose fixed points are $k$-colored. We prove enumerative results related to statistics and patterns on $k$-arrangements, confirming several conjectures by Blitvi\'c and Steingr\'imsson. In particular, one of their conjectures regarding the equdistribution of the number of descents over the derangement form and the permutation form of $k$-arrangements is strengthened in two interesting ways. Moreover, as one application of the so-called Decrease Value Theorem, we calculate the generating function for a symmetric pair of Eulerian statistics over permutations arising in our study.


title: Lectures: From quantum mechanics to the Standard Model

abstract: The goal of these lectures is to introduce readers with a basic knowledge of undergraduate physics (specifically non-relativistic quantum mechanics, special relativity, and electromagnetism) to the `current theory of everything': the Standard Model of particle of physics. By the end of the course, readers should be able to make predictions for simple processes at the Large Hadron Collider, such as decay rates of the Higgs boson. Some discussion of the ongoing search for physics beyond the Standard Model is also included. Based on lectures given at the Universities of Cambridge (UK) and Canterbury (New Zealand).


title: Impact of Geo-distribution and Mining Pools on Blockchains: A Study of Ethereum

abstract: Given the large adoption and economical impact of permissionless blockchains, the complexity of the underlying systems and the adversarial environment in which they operate, it is fundamental to properly study and understand the emergent behavior and properties of these systems. We describe our experience on a detailed, one-month study of the Ethereum network from several geographically dispersed observation points. We leverage multiple geographic vantage points to assess the key pillars of Ethereum, namely geographical dispersion, network efficiency, blockchain efficiency and security, and the impact of mining pools. Among other new findings, we identify previously undocumented forms of selfish behavior and show that the prevalence of powerful mining pools exacerbates the geographical impact on block propagation delays. Furthermore, we provide a set of open measurement and processing tools, as well as the data set of the collected measurements, in order to promote further research on understanding permissionless blockchains.


title: Double exceptional links in a three-dimensional dissipative cold atomic gas

abstract: We explore the topological properties of non-Hermitian nodal-link semimetals with dissipative cold atoms in a three-dimensional optical lattice. We construct a two-band continuum model in three dimensions with a spin-dependent gain and loss, where the exceptional points in the energy spectrum can comprise a double Hopf link. The topology of the bulk band is characterized by a winding number defined for a one-dimensional loop in the momentum space and a topological transition of the nodal structures emerges as the change of the non-Hermiticity strength. A non-Bloch theory is built to describe the corresponding lattice model which has anomalous bulk-boundary correspondence. Furthermore, we propose that the model can be realized using ultracold fermionic atoms in an optical lattice and the exceptional nodal links as well as the topological properties can be detected by measuring the atomic spin textures.


title: Stability of the isotropic pressure condition

abstract: We investigate the conditions for the (in)stability of the isotropic pressure condition in collapsing spherically symmetric, dissipative fluid distributions. It is found that dissipative fluxes, and/or energy density inhomogeneities and/or the appearance of shear in the fluid flow, force any initially isotropic configuration to abandon such a condition, generating anisotropy in the pressure. To reinforce this conclusion we also present some arguments concerning the axially symmetric case. The consequences ensuing our results are analyzed.


title: Symmetric gradient Sobolev spaces endowed with rearrangement-invariant norms

abstract: A unified approach to embedding theorems for Sobolev type spaces of vector-valued functions, defined via their symmetric gradient, is proposed. The Sobolev spaces in question are built upon general rearrangement-invariant norms. Optimal target spaces in the relevant embeddings are determined within the class of all rearrangement-invariant spaces. In particular, all symmetric gradient Sobolev embeddings into rearrangementinvariant target spaces are shown to be equivalent to the corresponding embeddings for the full gradient built upon the same spaces. A sharp condition for embeddings into spaces of uniformly continuous functions, and their optimal targets, are also exhibited. By contrast, these embeddings may be weaker than the corresponding ones for the full gradient. Related results, of independent interest in the theory symmetric gradient Sobolev spaces, are established. They include global approximation and extension theorems under minimal assumptions on the domain. A formula for the K-functional, which is pivotal for our method based on reduction to one-dimensional inequalities, is provided as well. The case of symmetric gradient Orlicz-Sobolev spaces, of use in mathematical models in continuum mechanics driven by nonlinearities of non-power type, is especially focused.


title: Fluid-structure interaction with $H(\text{div})$-conforming finite elements

abstract: In this paper a novel application of the (high-order) $H(\text{div})$-conforming Hybrid Discontinuous Galerkin finite element method for monolithic fluid-structure interaction (FSI) is presented. The Arbitrary Lagrangian Eulerian (ALE) description is derived for $H(\text{div})$-conforming finite elements including the Piola transformation, yielding exact divergence free fluid velocity solutions. The arising method is demonstrated by means of the benchmark problems proposed by Turek and Hron [50]. With hp-refinement strategies singularities and boundary layers are overcome leading to optimal spatial convergence rates.


title: RUPER-LB: Load balancing embarrasingly parallel applications in unpredictable cloud environments

abstract: The suitability of cloud computing has been studied by several authors to run scientific applications. However, the unpredictable performance fluctuations in these environments hinders the migration of scientific applications to cloud providers. To mitigate these effects, this work presents RUPER-LB, a load balancer for loosely-coupled iterative parallel applications that runs on infrastructures with disparate computing capabilities. The results obtained with a real world simulation software, show the suitability of RUPER-LB to adapt this kind of applications to execution environments with variable performance and highlight the convenience of its adoption.


title: A generalized Gelfand pair attached to 3-step nilpotent Lie group

abstract: Let N be a nilpotent Lie group and K a compact subgroup of the automorphism group Aut(N) of N. It is well-known that if (KnN,N) is a Gelfand pair then N is at most 2-step nilpotent Lie group. The notion of Gelfand pair was generalized when K is a non-compact group. In this work, we give an example of a 3-step nilpotent Lie group and a non-compact subgroup K of Aut(N) such that (K nN,N) is a generalized Gelfand pair.


title: Function Spaces via Fractional Poisson Kernel on Carnot Groups and Applications

abstract: We provide a new characterization of homogeneous Besov and Sobolev spaces in Carnot groups using the fractional heat kernel and Poisson kernel. We apply our results to study commutators involving fractional powers of the sub-Laplacian.


title: Adaptive Smoothing Path Integral Control

abstract: In Path Integral control problems a representation of an optimally controlled dynamical system can be formally computed and serve as a guidepost to learn a parametrized policy. The Path Integral Cross-Entropy (PICE) method tries to exploit this, but is hampered by poor sample efficiency. We propose a model-free algorithm called ASPIC (Adaptive Smoothing of Path Integral Control) that applies an inf-convolution to the cost function to speedup convergence of policy optimization. We identify PICE as the infinite smoothing limit of such technique and show that the sample efficiency problems that PICE suffers disappear for finite levels of smoothing. For zero smoothing this method becomes a greedy optimization of the cost, which is the standard approach in current reinforcement learning. We show analytically and empirically that intermediate levels of smoothing are optimal, which renders the new method superior to both PICE and direct cost-optimization.


title: The pyramid operator

abstract: This paper gives a concept of an integral operator defined on a manifold $M$ consisting of triple of points in $\mathbb{R}^{d}$ making up a regular $3$-simplex with the origin. The boundedness of such operator is investigated. The boundedness region contains more than the Banach range - a fact that mirrors the spherical $L^{p}$-improving estimate. The purpose of this paper is two-fold: one is to investigate into an integral operator over a manifold created from high-dimensional regular simplices, two is to start a maximal operator theory for such integral operator.


title: On efficiency and localisation for the torsion function

abstract: We consider the torsion function for the Dirichlet Laplacian $-\Delta$, and for the Schr\"odinger operator $- \Delta + V$ on an open set $\Omega\subset \R^m$ of finite Lebesgue measure $0<|\Omega|<\infty$ with a real-valued, non-negative, measurable potential $V.$ We investigate the efficiency and the phenomenon of localisation for the torsion function, and their interplay with the geometry of the first Dirichlet eigenfunction.


title: Tight focal spots using azimuthally polarised light from a Fresnel cone

abstract: When focusing a light beam at high numerical aperture, the resulting electric field profile in the focal plane depends on the transverse polarisation profile, as interference between different parts of the beam needs to be taken into account. It is well known that radial polarised light produces a longitudinal polarisation component and can be focused below the conventional diffraction limit for homogeneously polarised light, and azimuthally polarised light that carries one unit of angular momentum can achieve even tighter focal spots. This is of interest for example for enhancing resolution in scanning microscopy. There are numerous ways to generate such polarisation structures, however, setups can be expensive and usually rely on birefringent components, hence prohibiting broadband operation. We have recently demonstrated a passive, low-cost technique using a simple glass cone (Fresnel cone) to generate beams with structured polarisation. We show here that the polarisation structure generated by Fresnel cones focuses better than radial polarised light at all numerical apertures. Furthermore, we investigate in detail the application of polarised light structures for two-photon microscopy. Specifically we demonstrate a method that allows us to generate the desired polarisation structure at the back aperture of the microscope by pre-compensating any detrimental phase shifts using a combination of waveplates.


title: Towards segmentation and spatial alignment of the human embryonic brain using deep learning for atlas-based registration

abstract: We propose an unsupervised deep learning method for atlas based registration to achieve segmentation and spatial alignment of the embryonic brain in a single framework. Our approach consists of two sequential networks with a specifically designed loss function to address the challenges in 3D first trimester ultrasound. The first part learns the affine transformation and the second part learns the voxelwise nonrigid deformation between the target image and the atlas. We trained this network end-to-end and validated it against a ground truth on synthetic datasets designed to resemble the challenges present in 3D first trimester ultrasound. The method was tested on a dataset of human embryonic ultrasound volumes acquired at 9 weeks gestational age, which showed alignment of the brain in some cases and gave insight in open challenges for the proposed method. We conclude that our method is a promising approach towards fully automated spatial alignment and segmentation of embryonic brains in 3D ultrasound.


title: Progressive growing of self-organized hierarchical representations for exploration

abstract: Designing agent that can autonomously discover and learn a diversity of structures and skills in unknown changing environments is key for lifelong machine learning. A central challenge is how to learn incrementally representations in order to progressively build a map of the discovered structures and re-use it to further explore. To address this challenge, we identify and target several key functionalities. First, we aim to build lasting representations and avoid catastrophic forgetting throughout the exploration process. Secondly we aim to learn a diversity of representations allowing to discover a "diversity of diversity" of structures (and associated skills) in complex high-dimensional environments. Thirdly, we target representations that can structure the agent discoveries in a coarse-to-fine manner. Finally, we target the reuse of such representations to drive exploration toward an "interesting" type of diversity, for instance leveraging human guidance. Current approaches in state representation learning rely generally on monolithic architectures which do not enable all these functionalities. Therefore, we present a novel technique to progressively construct a Hierarchy of Observation Latent Models for Exploration Stratification, called HOLMES. This technique couples the use of a dynamic modular model architecture for representation learning with intrinsically-motivated goal exploration processes (IMGEPs). The paper shows results in the domain of automated discovery of diverse self-organized patterns, considering as testbed the experimental framework from Reinke et al. (2019).


title: Towards Hate Speech Detection at Large via Deep Generative Modeling

abstract: Hate speech detection is a critical problem in social media platforms, being often accused for enabling the spread of hatred and igniting physical violence. Hate speech detection requires overwhelming resources including high-performance computing for online posts and tweets monitoring as well as thousands of human experts for daily screening of suspected posts or tweets. Recently, Deep Learning (DL)-based solutions have been proposed for automatic detection of hate speech, using modest-sized training datasets of few thousands of hate speech sequences. While these methods perform well on the specific datasets, their ability to detect new hate speech sequences is limited and has not been investigated. Being a data-driven approach, it is well known that DL surpasses other methods whenever a scale-up in train dataset size and diversity is achieved. Therefore, we first present a dataset of 1 million realistic hate and non-hate sequences, produced by a deep generative language model. We further utilize the generated dataset to train a well-studied DL-based hate speech detector, and demonstrate consistent and significant performance improvements across five public hate speech datasets. Therefore, the proposed solution enables high sensitivity detection of a very large variety of hate speech sequences, paving the way to a fully automatic solution.


title: Nonparametric regression for locally stationary random fields under stochastic sampling design

abstract: In this study, we develop an asymptotic theory of nonparametric regression for locally stationary random fields (LSRFs) $\{{\bf X}_{{\bf s}, A_{n}}: {\bf s} \in R_{n} \}$ in $\mathbb{R}^{p}$ observed at irregularly spaced locations in $R_{n} =[0,A_{n}]^{d} \subset \mathbb{R}^{d}$. We first derive the uniform convergence rate of general kernel estimators, followed by the asymptotic normality of an estimator for the mean function of the model. Moreover, we consider additive models to avoid the curse of dimensionality arising from the dependence of the convergence rate of estimators on the number of covariates. Subsequently, we derive the uniform convergence rate and joint asymptotic normality of the estimators for additive functions. We also introduce approximately $m_{n}$-dependent RFs to provide examples of LSRFs. We find that these RFs include a wide class of L\'evy-driven moving average RFs.


title: Growth-fragmentation process embedded in a planar Brownian excursion

abstract: The aim of this paper is to present a self-similar growth-fragmentation process linked to a Brownian excursion in the upper half-plane $\mathbb{H}$, obtained by cutting the excursion at horizontal levels. We prove that the associated growth-fragmentation is related to one of the growth-fragmentation processes introduced by Bertoin, Budd, Curien and Kortchemski.


title: Counting Schur Rings over Cyclic Groups of Semi-prime Order

abstract: In this paper, we continue the enumeration of Schur rings over cyclic groups. Cyclic groups of semiprime order $pq$, where $p$ and $q$ are distinct primes, are considered. Additionally, cyclic groups of order $4p$ are considered.


title: Deterministic Quantum Mechanics: the Mathematical Equations

abstract: Without wasting time and effort on philosophical justifications and implications, we write down the conditions for the Hamiltonian of a quantum system for rendering it mathematically equivalent to a deterministic system. These are the equations to be considered. Special attention is given to the notion of 'locality'. Various examples are worked out, followed by a systematic procedure to generate classical evolution laws and quantum Hamiltonians that are exactly equivalent. What is new here is that we consider interactions, keeping them as general as we can. The quantum systems found, form a dense set if we limit ourselves to sufficiently low energy states. The class is discrete, just because the set of deterministic models containing a finite number of classical states, is discrete. In contrast with earlier suspicions, the gravitational force turns out not to be needed for this; it suffices that the classical system act at a time scale much smaller than the inverse of the maximum scattering energies considered.


title: Experimental setup for studying an ultracold mixture of trapped Yb$^+$-$^6$Li

abstract: We describe and characterize an experimental apparatus that has been used to study interactions between ultracold lithium atoms and ytterbium ions. The preparation of ultracold clouds of Li atoms is described as well as their subsequent transport and overlap with Yb$^+$ ions trapped in a Paul trap. We show how the kinetic energy of the ion after interacting with the atoms can be obtained by laser spectroscopy. From analyzing the dynamics of the ion in the absence of atoms, we conclude that background heating, due to electric field noise, limits attainable buffer gas cooling temperatures. We suspect that this effect can be mitigated by noise reduction and by increasing the density of the Li gas, in order to improve its cooling power. Imperfections in the Paul trap lead to so-called excess micromotion, which poses another limitation to the buffer gas cooling. We describe in detail how we measure and subsequently minimize excess micromotion in our setup. We measure the effect of excess micromotion on attainable ion temperatures after buffer gas cooling and compare this to molecular dynamics simulations which describe the observed data very well.


title: BIOMRC: A Dataset for Biomedical Machine Reading Comprehension

abstract: We introduce BIOMRC, a large-scale cloze-style biomedical MRC dataset. Care was taken to reduce noise, compared to the previous BIOREAD dataset of Pappas et al. (2018). Experiments show that simple heuristics do not perform well on the new dataset, and that two neural MRC models that had been tested on BIOREAD perform much better on BIOMRC, indicating that the new dataset is indeed less noisy or at least that its task is more feasible. Non-expert human performance is also higher on the new dataset compared to BIOREAD, and biomedical experts perform even better. We also introduce a new BERT-based MRC model, the best version of which substantially outperforms all other methods tested, reaching or surpassing the accuracy of biomedical experts in some experiments. We make the new dataset available in three different sizes, also releasing our code, and providing a leaderboard.


title: SueNes: A Weakly Supervised Approach to Evaluating Single-Document Summarization via Negative Sampling

abstract: Canonical automatic summary evaluation metrics, such as ROUGE, focus on lexical similarity which cannot well capture semantics nor linguistic quality and require a reference summary which is costly to obtain. Recently, there have been a growing number of efforts to alleviate either or both of the two drawbacks. In this paper, we present a proof-of-concept study to a weakly supervised summary evaluation approach without the presence of reference summaries. Massive data in existing summarization datasets are transformed for training by pairing documents with corrupted reference summaries. In cross-domain tests, our strategy outperforms baselines with promising improvements, and show a great advantage in gauging linguistic qualities over all metrics.


title: Thermally-Driven Disc Winds as a Mechanism for X-ray Irradiation Heating in Black Hole X-ray Binaries: The Case Study of GX339-4

abstract: X-ray irradiation heating of accretion discs in black hole X-ray binaries (BHXBs) plays a key role in regulating their outburst cycles. However, despite decades of theoretical and observational efforts, the physical mechanism(s) responsible for irradiating these discs remains largely unknown. We have built an observationally-based methodology to estimate the strength of irradiation of BHXB discs by combining multiwavelength X-ray and optical/IR data throughout transient outbursts. We apply this to $\sim15$ yrs of activity in the Galactic BHXB GX339$-$4. Our findings suggest that the irradiation heating required by the optical data is large in this system. Direct illumination of the outer disc does not produce sufficient irradiation, but this should also produce a thermal-radiative wind which adds to the irradiation heating by scattering flux down onto the disc. However, analytic estimates of X-ray illumination from scattering in the wind is still not sufficient to produce the observed heating, even in combination with direct illumination. Either the analytic thermal-radiative wind models are underestimating the effect of the wind, or there are additional scattering mechanisms at work, such as magnetically-driven outflows, acting to increase the optical/IR flux. While wind-driven irradiation is likely a common feature among long-period BHXBs, fully understanding the driving mechanism(s) behind such a wind will require radiation-hydrodynamic simulations.


title: Test of Eigenstate Thermalization Hypothesis Based on Local Random Matrix Theory

abstract: We verify that the eigenstate thermalization hypothesis (ETH) holds universally for locally interacting quantum many-body systems. Introducing random-matrix ensembles with interactions, we numerically obtain a distribution of maximum fluctuations of eigenstate expectation values for different realizations of the interactions. This distribution, which cannot be obtained from the conventional random matrix theory involving nonlocal correlations, demonstrates that an overwhelming majority of pairs of local Hamiltonians and observables satisfy the ETH with exponentially small fluctuations. The ergodicity of our random matrix ensembles breaks down due to locality.


title: Visualising COVID-19 Research

abstract: The world has seen in 2020 an unprecedented global outbreak of SARS-CoV-2, a new strain of coronavirus, causing the COVID-19 pandemic, and radically changing our lives and work conditions. Many scientists are working tirelessly to find a treatment and a possible vaccine. Furthermore, governments, scientific institutions and companies are acting quickly to make resources available, including funds and the opening of large-volume data repositories, to accelerate innovation and discovery aimed at solving this pandemic. In this paper, we develop a novel automated theme-based visualisation method, combining advanced data modelling of large corpora, information mapping and trend analysis, to provide a top-down and bottom-up browsing and search interface for quick discovery of topics and research resources. We apply this method on two recently released publications datasets (Dimensions' COVID-19 dataset and the Allen Institute for AI's CORD-19). The results reveal intriguing information including increased efforts in topics such as social distancing; cross-domain initiatives (e.g. mental health and education); evolving research in medical topics; and the unfolding trajectory of the virus in different territories through publications. The results also demonstrate the need to quickly and automatically enable search and browsing of large corpora. We believe our methodology will improve future large volume visualisation and discovery systems but also hope our visualisation interfaces will currently aid scientists, researchers, and the general public to tackle the numerous issues in the fight against the COVID-19 pandemic.


title: Constraints of the Low-x Structure of Protons and Nuclei

abstract: I review recent developments in the study of the low-x partonic content of protons and nuclei, with a focus on the latter, as one expects possible deviations from linear QCD evolution to be most pronounced in that case. I give examples of recent theoretical descriptions of HERA measurements with a focus on the role of BFKL evolution. I then concentrate on the status and assumptions of nuclear PDFs and the possibility to use forward particle production at the LHC as further constraint, in particular measurements of open charm and the potential of electromagnetic probes.


title: Super-Resolution Domain Adaptation Networks for Semantic Segmentation via Pixel and Output Level Aligning

abstract: Recently, Unsupervised Domain Adaptation (UDA) has attracted increasing attention to address the domain shift problem in the semantic segmentation task. Although previous UDA methods have achieved promising performance, they still suffer from the distribution gaps between source and target domains, especially the resolution discrepany in the remote sensing images. To address this problem, this paper designs a novel end-to-end semantic segmentation network, namely Super-Resolution Domain Adaptation Network (SRDA-Net). SRDA-Net can simultaneously achieve the super-resolution task and the domain adaptation task, thus satisfying the requirement of semantic segmentation for remote sensing images which usually involve various resolution images. The proposed SRDA-Net includes three parts: a Super-Resolution and Segmentation (SRS) model which focuses on recovering high-resolution image and predicting segmentation map, a Pixel-level Domain Classifier (PDC) for determining which domain the pixel belongs to, and an Output-space Domain Classifier (ODC) for distinguishing which domain the pixel contribution is from. By jointly optimizing SRS with two classifiers, the proposed method can not only eliminates the resolution difference between source and target domains, but also improve the performance of the semantic segmentation task. Experimental results on two remote sensing datasets with different resolutions demonstrate that SRDA-Net performs favorably against some state-of-the-art methods in terms of accuracy and visual quality. Code and models are available at https://github.com/tangzhenjie/SRDA-Net.


title: Sanskrit Segmentation Revisited

abstract: Computationally analyzing Sanskrit texts requires proper segmentation in the initial stages. There have been various tools developed for Sanskrit text segmentation. Of these, G\'erard Huet's Reader in the Sanskrit Heritage Engine analyzes the input text and segments it based on the word parameters - phases like iic, ifc, Pr, Subst, etc., and sandhi (or transition) that takes place at the end of a word with the initial part of the next word. And it enlists all the possible solutions differentiating them with the help of the phases. The phases and their analyses have their use in the domain of sentential parsers. In segmentation, though, they are not used beyond deciding whether the words formed with the phases are morphologically valid. This paper tries to modify the above segmenter by ignoring the phase details (except for a few cases), and also proposes a probability function to prioritize the list of solutions to bring up the most valid solutions at the top.


title: Exact lower and upper bounds on the incomplete gamma function

abstract: Lower and upper bounds $B_a(x)$ on the incomplete gamma function $\Gamma(a,x)$ are given for all real $a$ and all real $x>0$. These bounds $B_a(x)$ are exact in the sense that $B_a(x)\underset{x\downarrow0}\sim\Gamma(a,x)$ and $B_a(x)\underset{x\to\infty}\sim\Gamma(a,x)$. Moreover, the relative errors of these bounds are rather small for other values of $x$, away from $0$ and $\infty$.


title: Construction of the cosmological model with periodically distributed inhomogeneities with growing amplitude

abstract: We construct an approximate solution to the cosmological perturbation theory around Einstein-de Sitter background up to the fourth-order perturbations. This could be done with the help of the specific symmetry condition imposed on the metric, from which follows, that the model density forms an infinite, cubic lattice. We show that the perturbative solution obtained this way can be interpreted as the exact solution to the Einstein equations for a dust-like energy-momentum tensor. In our model, it seems that physical quantities averaged over a large scales overlap with the respective Einstein-de Sitter prediction, while local observables could differ significantly from their background counterparts. As an example, we analyze in details a behaviour of the local and the global measurements of the Hubble constant, which is important in the context of a current Hubble tension problem.


title: Which bills are lobbied? Predicting and interpreting lobbying activity in the US

abstract: Using lobbying data from OpenSecrets.org, we offer several experiments applying machine learning techniques to predict if a piece of legislation (US bill) has been subjected to lobbying activities or not. We also investigate the influence of the intensity of the lobbying activity on how discernible a lobbied bill is from one that was not subject to lobbying. We compare the performance of a number of different models (logistic regression, random forest, CNN and LSTM) and text embedding representations (BOW, TF-IDF, GloVe, Law2Vec). We report results of above 0.85% ROC AUC scores, and 78% accuracy. Model performance significantly improves (95% ROC AUC, and 88% accuracy) when bills with higher lobbying intensity are looked at. We also propose a method that could be used for unlabelled data. Through this we show that there is a considerably large number of previously unlabelled US bills where our predictions suggest that some lobbying activity took place. We believe our method could potentially contribute to the enforcement of the US Lobbying Disclosure Act (LDA) by indicating the bills that were likely to have been affected by lobbying but were not filed as such.


title: The Forest Fire Model: The subtleties of criticality and scale invariance

abstract: Amongst the numerous models introduced with SOC, the Forest Fire Model (FFM) is particularly attractive for its close relationship to stochastic spreading, which is central to the study of systems as diverse as epidemics, rumours, or indeed, fires. However, since its introduction, the nature of the model's scale invariance has been controversial, and the lack of scaling observed in many studies diminished its theoretical attractiveness. In this study, we analyse the behaviour of the tree density, the average cluster size and the largest cluster and show that the model could be of high practical relevance for the activation dynamics seen in brain and rain studies. From this perspective, its peculiar scaling properties should be regarded as an asset rather than a limitation.


title: The Application of the Filtered Backprojection Algorithm to Solar Rotational Tomography

abstract: Solar rotational tomography (SRT) is an important method to reconstruct the physical parameters of the three-dimensional solar corona. Here we propose an approach to apply the filtered backprojection (FBP) algorithm to the SRT. The FBP algorithm is generally not suitable for SRT due to the several issues with solar extreme ultraviolet (EUV) observations, in particular a problem caused by missing data because of the unobserved back side of corona hidden behind the Sun. We developed a method to generate a modified sinogram which resolves the blocking problem. The modified sinogram is generated by combining the EUV data at two opposite sites observed by the Atmospheric Imaging Assembly (AIA) onboard the Solar Dynamics Observatory (SDO). We generated the modified sinogram for about one month in 2019 February and reconstructed the three-dimensional corona under the static state assumption. In order to obtain the physical parameters of the corona, we employed a DEM inversion method. We tested the performance of the FBP algorithm with the modified sinogram by comparing the reconstructed data with the observed EUV image, electron density models, previous studies of electron temperature, and an observed coronagraph image. The results illustrate that the FBP algorithm reasonably reconstructs the bright regions and the coronal holes, and can reproduce their physical parameters. The main advantage of the FBP algorithm is that it is easy to understand and computationally efficient. Thus, it enables us to easily probe the inhomogeneous coronal electron density and temperature distribution of the solar corona.


title: Almost sure asymptotics for Riemannian random waves

abstract: We consider the Riemannian random wave model of Gaussian linear combinations of Laplace eigenfunctions on a general compact Riemannian manifold. With probability one with respect to the Gaussian coefficients, we establish that, both for large band and monochromatic models, the process properly rescaled and evaluated at an independently and uniformly chosen point $X$ on the manifold, converges in distribution under the sole randomness of $X$ towards an universal Gaussian field as the frequency tends to infinity. This result extends the celebrated central limit Theorem of Salem--Zygmund for trigonometric polynomials series to the more general framework of compact Riemannian manifolds. We then deduce from the above convergence the almost-sure asymptotics of the nodal volume associated with the random wave. To the best of our knowledge, in the real Riemannian case, these asymptotics were only known in expectation and not in the almost sure sense due to the lack of sufficiently accurate variance estimates. This in particular addresses a question of S. Zelditch regarding the almost sure equidistribution of nodal volume.


title: Multivariate non-Gaussian models for financial applications

abstract: In this paper we consider several continuous-time multivariate non-Gaussian models applied to finance and proposed in the literature in the last years. We study the models focusing on the parsimony of the number of parameters, the properties of the dependence structure, and the computational tractability. For each model we analyze the main features, we provide the characteristic function, the marginal moments up to order four, the covariances and the correlations. Thus, we describe how to calibrate them on the time-series of log-returns with a view toward practical applications and possible numerical issues. To empirically compare these models, we conduct an analysis on a five-dimensional series of stock index log-returns.


title: Information Content of Hierarchical n-Point Polytope Functions for Quantifying and Reconstructing Disordered Systems

abstract: Disordered systems are ubiquitous in physical, biological and material sciences. Examples include liquid and glassy states of condensed matter, colloids, granular materials, porous media, composites, alloys, packings of cells in avian retina and tumor spheroids, to name but a few. A comprehensive understanding of such disordered systems requires, as the first step, systematic quantification, modeling and representation of the underlying complex configurations and microstructure, which is generally very challenging to achieve. Recently, we introduce a set of hierarchical statistical microstructural descriptors, i.e., the n-point polytope functions Pn, which are derived from the standard n-point correlation functions Sn, and successively include higher-order n-point statistics of the morphological features of interest in a concise, explainable, and expressive manner. Here we investigate the information content of the Pn functions via optimization-based realization rendering. This is achieved by successively incorporating higher order Pn functions up to n = 8 and quantitatively assessing the accuracy of the reconstructed systems via un-constrained statistical morphological descriptors (e.g., the lineal-path function). We examine a wide spectrum of representative random systems with distinct geometrical and topological features. We find that generally, successively incorporating higher order Pn functions, and thus, the higher-order morphological information encoded in these descriptors, leads to superior accuracy of the reconstructions. However, incorporating more Pn functions into the reconstruction also significantly increases the complexity and roughness of the associated energy landscape for the underlying stochastic optimization, making it difficult to convergence numerically.


title: On the Global Convergence Rates of Softmax Policy Gradient Methods

abstract: We make three contributions toward better understanding policy gradient methods in the tabular setting. First, we show that with the true gradient, policy gradient with a softmax parametrization converges at a $O(1/t)$ rate, with constants depending on the problem and initialization. This result significantly expands the recent asymptotic convergence results. The analysis relies on two findings: that the softmax policy gradient satisfies a \L{}ojasiewicz inequality, and the minimum probability of an optimal action during optimization can be bounded in terms of its initial value. Second, we analyze entropy regularized policy gradient and show that it enjoys a significantly faster linear convergence rate $O(e^{-c \cdot t})$ toward softmax optimal policy $(c > 0)$. This result resolves an open question in the recent literature. Finally, combining the above two results and additional new $\Omega(1/t)$ lower bound results, we explain how entropy regularization improves policy optimization, even with the true gradient, from the perspective of convergence rate. The separation of rates is further explained using the notion of non-uniform \L{}ojasiewicz degree. These results provide a theoretical understanding of the impact of entropy and corroborate existing empirical studies.


title: Measuring Gaussian rigidity using curved substrates

abstract: The Gaussian (saddle splay) rigidity of fluid membranes controls their equilibrium topology but is notoriously difficult to measure. In lipid mixtures, typical of living cells, linear interfaces separate liquid ordered (LO) from liquid disordered (LD) bilayer phases at subcritical temperatures. Here we consider such membranes supported by curved supports that thereby control the membrane curvatures. We show how spectral analysis of the fluctuations of the LO-LD interface provides a novel way of measuring the difference in Gaussian rigidity between the two phases. We provide a number of conditions for such interface fluctuations to be both experimentally measurable and sufficiently sensitive to the value of the Gaussian rigidity, whilst remaining in the perturbative regime of our analysis.


title: A CNN-LSTM Quantifier for Single Access Point CSI Indoor Localization

abstract: This paper proposes a combined network structure between convolutional neural network (CNN) and long-short term memory (LSTM) quantifier for WiFi fingerprinting indoor localization. In contrast to conventional methods that utilize only spatial data with classification models, our CNN-LSTM network extracts both space and time features of the received channel state information (CSI) from a single router. Furthermore, the proposed network builds a quantification model rather than a limited classification model as in most of the literature work, which enables the estimation of testing points that are not identical to the reference points. We analyze the instability of CSI and demonstrate a mitigation solution using a comprehensive filter and normalization scheme. The localization accuracy is investigated through extensive on-site experiments with several mobile devices including mobile phone (Nexus 5) and laptop (Intel 5300 NIC) on hundreds of testing locations. Using only a single WiFi router, our structure achieves an average localization error of 2.5~m with $\mathrm{80\%}$ of the errors under 4~m, which outperforms the other reported algorithms by approximately $\mathrm{50\%}$ under the same test environment.


title: Totally umbilical submanifolds in pseudo-Riemannian space forms

abstract: A totally umbilical submanifold in pseudo-Riemannian manifolds is a fundamental notion, which is characterized by the condition that the second fundamental form is proportional to the metric. It is also a generalization of the notion of a totally geodesic submanifold. In this paper, we classify congruent classes of full totally umbilical submanifolds in non-flat pseudo-Riemannian space forms, and consider their moduli spaces. As a consequence, we show that some moduli spaces of isometric immersions between space forms which one of the same constant curvature are non-Hausdorff.


title: The zeroth law of thermodynamics in special relativity

abstract: We critically revisit the definition of thermal equilibrium, in its operational formulation, provided by standard thermodynamics. We show that it refers to experimental conditions which break the covariance of the theory at a fundamental level and that, therefore, it cannot be applied to the case of moving bodies. We propose an extension of this definition which is manifestly covariant and can be applied to the study of isolated systems in special relativity. The zeroth law of thermodynamics is, then, proven to establish an equivalence relation among bodies which have not only the same temperature, but also the same center of mass four-velocity.


title: Fluxes, Twisted tori, Monodromy and $U(1)$ Supermembranes

abstract: We show that the $D=11$ Supermembrane theory (M2-brane) compactified on a $M_9 \times T^2$ target space, with constant fluxes $C_{\pm}$ naturally incorporates the geometrical structure of a twisted torus. We extend the M2-brane theory to a formulation on a twisted torus bundle. It is consistently fibered over the world volume of the M2-brane. It can also be interpreted as a torus bundle with a nontrivial $U(1)$ connection associated to the fluxes. The structure group $G$ is the area preserving diffeomorphisms. The torus bundle is defined in terms of the monodromy associated to the isotopy classes of symplectomorphisms with $\pi_{0} (G) = SL(2,Z)$, and classified by the coinvariants of the subgroups of $SL(2,Z)$. The spectrum of the theory is purely discrete since the constant flux induces a central charge on the supersymmetric algebra and a modification on the Hamiltonian which renders the spectrum discrete with finite multiplicity. The theory is invariant under symplectomorphisms connected and non connected to the identity, a result relevant to guaranteed the U-dual invariance of the theory. The Hamiltonian of the theory exhibits interesting new $U(1)$ gauge and global symmetries on the worldvolume induced by the symplectomorphim transformations. We construct explicitly the supersymmetric algebra with nontrivial central charges. We show that the zero modes decouple from the nonzero ones. The nonzero mode algebra corresponds to a massive superalgebra that preserves either $1/2$ or $1/4$ of the original supersymmetry depending on the state considered.


title: Implicit Regularization in Deep Learning May Not Be Explainable by Norms

abstract: Mathematically characterizing the implicit regularization induced by gradient-based optimization is a longstanding pursuit in the theory of deep learning. A widespread hope is that a characterization based on minimization of norms may apply, and a standard test-bed for studying this prospect is matrix factorization (matrix completion via linear neural networks). It is an open question whether norms can explain the implicit regularization in matrix factorization. The current paper resolves this open question in the negative, by proving that there exist natural matrix factorization problems on which the implicit regularization drives all norms (and quasi-norms) towards infinity. Our results suggest that, rather than perceiving the implicit regularization via norms, a potentially more useful interpretation is minimization of rank. We demonstrate empirically that this interpretation extends to a certain class of non-linear neural networks, and hypothesize that it may be key to explaining generalization in deep learning.


title: Addressing the issue of mass conservation error and the connected problem of Carbuncle formation

abstract: We study mass conservation errors (momentum density spike) and the related phenomenon of post shock oscillations in numerical solutions of compressible Euler equations. These phenomena and their causes have been reported in literature [34, 1]. In this paper, first, we compare the mass conservation and post shock oscillation errors obtained using combinations of different numerical methods (Finite Volume, Finite Difference with WENO and DG with simple WENO limiter) and upwind flux functions (ROE, AUSM+-up, and others) for moving shocks, modelled using one-dimensional Euler equations. Next, the mass conservation error is quantified for stationary shocks modelled using one-dimensional, quasi-one-dimensional and two-dimensional Euler equations. It is shown that using a fine mesh or refining mesh near shocks using multiple over set meshes lead to mitigation of the mass conservation error. This is demonstrated using the problem of flow through a variable area duct modelled using quasi-one-dimensional Euler equations. The link between mass conservation error and carbuncle formation is shown and preliminary results indicating that the carbuncle can be cured using multiple overset meshes are also shown.


title: White Paper on Business of 6G

abstract: Developing products, services and vertical applications for the future digitized society in the 6G era requires a multidisciplinary approach and a re-definition of how we create, deliver and consume network resources, data and services for both communications and sensing purposes. This development will change and disrupt the traditional business models and ecosystem roles of digital service providers, as well as open the market for key stakeholders in the 6G era like digital service operators, cloud operators and resource brokers. White paper discusses unprecedented opportunities of enabling and empowering multiple stakeholders to have a more active participation in the future 6G ecosystem via novel sustainable open ecosystemic business models with flexible integration of long tail services with tailored performance attributes. This research adopts a qualitative scenario planning method and portrays three scenario themes resulting in a total of 12 scenarios for the futures of the 6G business. By focusing on key trends, their interactions, and irreducible uncertainties, scenario building generates perspectives for the futures within which alternative 6G business strategies were developed and assessed for a traditional incumbent mobile network operator and a novel 6G digital service provider stemming from redefined sustainable economics. Value-capture in the 6G era requires understanding the dynamics of platforms and ecosystems. Results indicate that, to reach some of the preferred futures, we should pay attention to the privacy and security issues related to business and regulation needs; public/governmental, corporate, community and user(s) perspectives to and aims of governance; ecosystem configuration related to users, decentralized business models and platforms; user empowerment; and the role of location-specificity of services.


title: Dyslexia and Dysgraphia prediction: A new machine learning approach

abstract: Learning disabilities like dysgraphia, dyslexia, dyspraxia, etc. interfere with academic achievements but have also long terms consequences beyond the academic time. It is widely admitted that between 5% to 10% of the world population is subject to this kind of disabilities. For assessing such disabilities in early childhood, children have to solve a battery of tests. Human experts score these tests, and decide whether the children require specific education strategy on the basis of their marks. The assessment can be lengthy, costly and emotionally painful. In this paper, we investigate how Artificial Intelligence can help in automating this assessment. Gathering a dataset of handwritten text pictures and audio recordings, both from standard children and from dyslexic and/or dysgraphic children, we apply machine learning techniques for classification in order to analyze the differences between dyslexic/dysgraphic and standard readers/writers and to build a model. The model is trained on simple features obtained by analysing the pictures and the audio files. Our preliminary implementation shows relatively high performances on the dataset we have used. This suggests the possibility to screen dyslexia and dysgraphia via non-invasive methods in an accurate way as soon as enough data are available.


title: FaR-GAN for One-Shot Face Reenactment

abstract: Animating a static face image with target facial expressions and movements is important in the area of image editing and movie production. This face reenactment process is challenging due to the complex geometry and movement of human faces. Previous work usually requires a large set of images from the same person to model the appearance. In this paper, we present a one-shot face reenactment model, FaR-GAN, that takes only one face image of any given source identity and a target expression as input, and then produces a face image of the same source identity but with the target expression. The proposed method makes no assumptions about the source identity, facial expression, head pose, or even image background. We evaluate our method on the VoxCeleb1 dataset and show that our method is able to generate a higher quality face image than the compared methods.


title: Symmetries Created by Random Interactions- Ultimacy of "More Is Different"

abstract: The dominance (preponderance) of the 0+ ground state for random interactions is shown to be a consequence of certain random interactions with chaotic features. These random interactions, called chaotic random interactions, impart a symmetry property to the ground-state wave function: an isotropy under an appropriate transformation, such as zero angular momentum for rotation. Under this mechanism, the ground-state parity and isospin can also be predicted in such a manner that positive parity is favored over negative parity and the isospin T = 0 is favored over higher isospins. As chaotic random interaction is a limit with no particular dynamics at the level of two interacting particles, this realization of isotropic symmetry in the ground state can be considered as the ultimate case of many-body correlations. A possible relation to the isotropy of the early universe is mentioned.


title: Strong Blue Asymmetry in H{\alpha} line as a Preflare Activity

abstract: Chromospheric activities prior to solar flares provide important clues to solar flare initiation, but are as yet poorly understood. We report a significant and rapid H$\alpha$ line broadening before the solar flare SOL2011-09-29T18:08, that was detected using the unprecedented high-resolution H$\alpha$ imaging spectroscopy with the Fast Imaging Solar Spectrograph (FISS) installed on the 1.6 m New Solar Telescope (NST) at Big Bear Solar Observatory.The strong H$\alpha$ broadening extends as a blue excursion up to -4.5 A and as a red excursion up to 2.0 A, which implies a mixture of velocities in the range of -130 km/s to 38 km/s by applying the cloud model, comparable to the highest chromospheric motions reported before. The H$\alpha$ blueshifted broadening lasts for about 4 minutes, and is temporally and spatially correlated with the start of a rising filament, which is later associated with the main phase of the flare as detected by the Atmosphere Imaging Assembly (AIA) onboard Solar Dynamics Observatory (SDO). The potential importance of this H$\alpha$ blueshifted broadening as a preflare chromospheric activity is briefly discussed within the context of the two-step eruption model.


title: Intrinsic decoherence effects on measurement-induced nonlocality

abstract: By considering an exactly solvable model of a two interacting spin-1/2 qubits described by the Heisenberg anisotropic interaction in the presence of intrinsic decoherence, we study the dynamics of entanglement quantified by the concurrence and measurement-induced nonlocality (MIN) based on Hilbert-Schmidt norm and trace distance with different initial conditions. We highlight the relationship between the entanglement and MIN for the pure initial state. For an initial separable state, it is found that the robustness and the generation of the quantum correlations depend on the physical parameters. While considering the entangled state as an initial state, the results show that despite the phase decoherence all the correlations reach their steady state values after exhibiting some oscillations. Finally, we show that the existence of quantum correlation captured by MIN in the unentangled state.


title: Data-driven detection of multi-messenger transients

abstract: The primary challenge in the study of explosive astrophysical transients is their detection and characterisation using multiple messengers. For this purpose, we have developed a new data-driven discovery framework, based on deep learning. We demonstrate its use for searches involving neutrinos, optical supernovae, and gamma rays. We show that we can match or substantially improve upon the performance of state-of-the-art techniques, while significantly minimising the dependence on modelling and on instrument characterisation. Particularly, our approach is intended for near- and real-time analyses, which are essential for effective follow-up of detections. Our algorithm is designed to combine a range of instruments and types of input data, representing different messengers, physical regimes, and temporal scales. The methodology is optimised for agnostic searches of unexpected phenomena, and has the potential to substantially enhance their discovery prospects.


title: Application of a screened Coulomb potential in fitting the DAV star HS 0507+0434B

abstract: We use \texttt{WDEC} to evolve grids of DAV star models adopting the element diffusion scheme with pure and screened Coulomb potential effect. The core compositions are thermonuclear burning results which are derived from \texttt{MESA}. \texttt{MESA} yields composition profiles that the version of WDEC used in this work could not accommodate (most notably the presence of helium in the core of the model). According to the theory of rotational splitting, Fu et al. identified 6 triplets for a DAV star HS 0507+0434B based on 206\,h photometric data. The grids of DAV star models are used to fit the 6 reliable $m$ = 0 modes. When adopting the screened Coulomb potential, we obtain a best fitting model of log($M_{\rm He}/M_{\rm *}$) = -3.0, log($M_{\rm H}/M_{\rm *}$) = -6.1, $T_{\rm eff}$ = 11790\,K, $M_{\rm *}$ = 0.625\,$M_{\odot}$, log$g$ = 8.066, and $\sigma_{RMS}$ = 2.08\,s. Compared with adopting the pure Coulomb potential, the value of $\sigma_{RMS}$ is improved by 34\%. The study may provide a new method for the research of mode trapping properties.


title: General quantum-mechanical solution for twisted electrons in a uniform magnetic field

abstract: A theory of twisted (and other structured) paraxial electrons in a uniform magnetic field is developed. The obtained general quantum-mechanical solution of the relativistic paraxial equation contains the commonly accepted result as a specific case of unstructured electron waves. In the weak-field limit, our solution (unlike the existing theory) is consistent with the well-known equation for free twisted electron beams. The observable effect of a different behavior of relativistic Laguerre-Gauss beams with opposite directions of the orbital angular momentum penetrating from the free space into a magnetic field is predicted. Distinguishing features of the quantization of the velocity and the effective mass of structured electrons in the uniform magnetic field are analyzed.


title: Dense-Caption Matching and Frame-Selection Gating for Temporal Localization in VideoQA

abstract: Videos convey rich information. Dynamic spatio-temporal relationships between people/objects, and diverse multimodal events are present in a video clip. Hence, it is important to develop automated models that can accurately extract such information from videos. Answering questions on videos is one of the tasks which can evaluate such AI abilities. In this paper, we propose a video question answering model which effectively integrates multi-modal input sources and finds the temporally relevant information to answer questions. Specifically, we first employ dense image captions to help identify objects and their detailed salient regions and actions, and hence give the model useful extra information (in explicit textual format to allow easier matching) for answering questions. Moreover, our model is also comprised of dual-level attention (word/object and frame level), multi-head self/cross-integration for different sources (video and dense captions), and gates which pass more relevant information to the classifier. Finally, we also cast the frame selection problem as a multi-label classification task and introduce two loss functions, In-andOut Frame Score Margin (IOFSM) and Balanced Binary Cross-Entropy (BBCE), to better supervise the model with human importance annotations. We evaluate our model on the challenging TVQA dataset, where each of our model components provides significant gains, and our overall model outperforms the state-of-the-art by a large margin (74.09% versus 70.52%). We also present several word, object, and frame level visualization studies. Our code is publicly available at: https://github.com/hyounghk/VideoQADenseCapFrameGate-ACL2020


title: High Performance and Portable Convolution Operators for ARM-based Multicore Processors

abstract: The considerable impact of Convolutional Neural Networks on many Artificial Intelligence tasks has led to the development of various high performance algorithms for the convolution operator present in this type of networks. One of these approaches leverages the \imcol transform followed by a general matrix multiplication (GEMM) in order to take advantage of the highly optimized realizations of the GEMM kernel in many linear algebra libraries. The main problems of this approach are 1) the large memory workspace required to host the intermediate matrices generated by the IM2COL transform; and 2) the time to perform the IM2COL transform, which is not negligible for complex neural networks. This paper presents a portable high performance convolution algorithm based on the BLIS realization of the GEMM kernel that avoids the use of the intermediate memory by taking advantage of the BLIS structure. In addition, the proposed algorithm eliminates the cost of the explicit IM2COL transform, while maintaining the portability and performance of the underlying realization of GEMM in BLIS.


title: Bisimilarity in fresh-register automata

abstract: Register automata are a basic model of computation over infinite alphabets. Fresh-register automata extend register automata with the capability to generate fresh symbols in order to model computational scenarios involving name creation. This paper investigates the complexity of the bisimilarity problem for classes of register and fresh-register automata. We examine all main disciplines that have appeared in the literature: general register assignments; assignments where duplicate register values are disallowed; and assignments without duplicates in which registers cannot be empty. In the general case, we show that the problem is EXPTIME-complete. However, the absence of duplicate values in registers enables us to identify inherent symmetries inside the associated bisimulation relations, which can be used to establish a polynomial bound on the depth of Attacker-winning strategies. Furthermore, they enable a highly succinct representation of the corresponding bisimulations. By exploiting results from group theory and computational group theory, we can then show solvability in PSPACE and NP respectively for the latter two register disciplines. In each case, we find that freshness does not affect the complexity class of the problem. The results allow us to close a complexity gap for language equivalence of deterministic register automata. We show that deterministic language inequivalence for the no-duplicates fragment is NP-complete, which disproves an old conjecture of Sakamoto. Finally, we discover that, unlike in the finite-alphabet case, the addition of pushdown store makes bisimilarity undecidable, even in the case of visibly pushdown storage.


title: Bayesian deep learning for dark energy

abstract: In this work we discuss basic ideas on how to structure and study the Bayesian methods for standard models of dark energy and how to implement them in the architecture of deep learning processes.


title: Crackovid: Optimizing Group Testing

abstract: We study the problem usually referred to as group testing in the context of COVID-19. Given $n$ samples taken from patients, how should we select mixtures of samples to be tested, so as to maximize information and minimize the number of tests? We consider both adaptive and non-adaptive strategies, and take a Bayesian approach with a prior both for infection of patients and test errors. We start by proposing a mathematically principled objective, grounded in information theory. We then optimize non-adaptive optimization strategies using genetic algorithms, and leverage the mathematical framework of adaptive sub-modularity to obtain theoretical guarantees for the greedy-adaptive method.


title: Shape-preserving beam transmission through non-Hermitian disordered lattices

abstract: We investigate the propagation of Gaussian beams through optical waveguide lattices characterized by correlated non-Hermitian disorder. In the framework of coupled mode theory, we demonstrate how the imaginary part of the refractive index needs to be adjusted to achieve perfect beam transmission, despite the presence of disorder. Remarkably, the effects of both diagonal and off-diagonal disorder in the waveguides and their couplings can be efficiently eliminated by our non-Hermitian design. Waveguide arrays thus provide an ideal platform for the experimental realization of non-Hermitian phenomena in the context of discrete photonics.


title: High-order parametric generation of coherent XUV radiation

abstract: We observe a new regime of coherent XUV radiation generation in noble gases induced by femtosecond pulses at very high intensities. This XUV emission has both a reduced divergence and spectral width as compared to high-order harmonic generation (HHG). It is not emitted at a moderate intensity of the driving pulses where only high-order harmonics are generated. At high driving intensities, the additional XUV comb appears near all harmonic orders and even exceeds the HHG signal on the axis. The peaks are observed in several gases and their frequencies do not depend on the driving intensity or gas pressure. We analyze the divergence, spectral width and spectral shift of this XUV emission. We show that these specific features are well explained by high-order parametric generation (HPG) involving multiphoton absorption and combined emission of an idler THz radiation and an XUV beam with remarkably smooth spatial and spectral characteristics.


title: Quantum speed limit for thermal states

abstract: Quantum speed limits are rigorous estimates on how fast a state of a quantum system can depart from the initial state in the course of quantum evolution. Most known quantum speed limits, including the celebrated Mandelstam-Tamm and Margolus-Levitin ones, are general bounds applicable to arbitrary initial states. However, when applied to mixed states of many-body systems, they, as a rule, dramatically overestimate the speed of quantum evolution and fail to provide meaningful bounds in the thermodynamic limit. Here we derive a quantum speed limit for a closed system initially prepared in a thermal state and evolving under a time-dependent Hamiltonian. This quantum speed limit exploits the structure of the thermal state and, in particular, explicitly depends on the temperature. In a broad class of many-body setups it proves to be drastically stronger than general quantum speed limits.

categories: quant-ph cond-mat.stat-mech math-ph math.MP


title: Robustly Learning any Clusterable Mixture of Gaussians

abstract: We study the efficient learnability of high-dimensional Gaussian mixtures in the outlier-robust setting, where a small constant fraction of the data is adversarially corrupted. We resolve the polynomial learnability of this problem when the components are pairwise separated in total variation distance. Specifically, we provide an algorithm that, for any constant number of components $k$, runs in polynomial time and learns the components of an $\epsilon$-corrupted $k$-mixture within information theoretically near-optimal error of $\tilde{O}(\epsilon)$, under the assumption that the overlap between any pair of components $P_i, P_j$ (i.e., the quantity $1-TV(P_i, P_j)$) is bounded by $\mathrm{poly}(\epsilon)$. Our separation condition is the qualitatively weakest assumption under which accurate clustering of the samples is possible. In particular, it allows for components with arbitrary covariances and for components with identical means, as long as their covariances differ sufficiently. Ours is the first polynomial time algorithm for this problem, even for $k=2$. Our algorithm follows the Sum-of-Squares based proofs to algorithms approach. Our main technical contribution is a new robust identifiability proof of clusters from a Gaussian mixture, which can be captured by the constant-degree Sum of Squares proof system. The key ingredients of this proof are a novel use of SoS-certifiable anti-concentration and a new characterization of pairs of Gaussians with small (dimension-independent) overlap in terms of their parameter distance.


title: Control Barrier Functions for Sampled-Data Systems with Input Delays

abstract: This paper considers the general problem of transitioning theoretically safe controllers to hardware. Concretely, we explore the application of control barrier functions (CBFs) to sampled-data systems: systems that evolve continuously but whose control actions are computed in discrete time-steps. While this model formulation is less commonly used than its continuous counterpart, it more accurately models the reality of most control systems in practice, making the safety guarantees more impactful. In this context, we prove robust set invariance with respect to zero-order hold controllers as well as state uncertainty, without the need to explicitly compute any control invariant sets. It is then shown that this formulation can be exploited to address input delays in this system, with the result being CBF constraints that are affine in the input. The results are demonstrated in a high-fidelity simulation of an unstable Segway robotic system in real-time.


title: Time Space Optimal Algorithm for Computing Separators in Bounded Genus Graphs

abstract: A graph separator is a subset of vertices of a graph whose removal divides the graph into small components. Computing small graph separators for various classes of graphs is an important computational task. In this paper, we present a polynomial time algorithm that uses $O(g^{1/2}n^{1/2}\log n)$-space to find an $O(g^{1/2}n^{1/2})$-sized separator of a graph having $n$ vertices and embedded on a surface of genus $g$.


title: The Unstoppable Rise of Computational Linguistics in Deep Learning

abstract: In this paper, we trace the history of neural networks applied to natural language understanding tasks, and identify key contributions which the nature of language has made to the development of neural network architectures. We focus on the importance of variable binding and its instantiation in attention-based models, and argue that Transformer is not a sequence model but an induced-structure model. This perspective leads to predictions of the challenges facing research in deep learning architectures for natural language understanding.


title: Designing a Color Filter via Optimization of Vora-Value for Making a Camera more Colorimetric

abstract: The Luther condition states that if the spectral sensitivity responses of a camera are a linear transform from the color matching functions of the human visual system, the camera is colorimetric. Previous work proposed to solve for a filter which, when placed in front of a camera, results in sensitivities that best satisfy the Luther condition. By construction, the prior art solves for a filter for a given set of human visual sensitivities, e.g. the XYZ color matching functions or the cone response functions. However, depending on the target spectral sensitivity set, a different optimal filter is found. This paper begins with the observation that the cone fundamentals, XYZ color matching functions or any linear combination thereof span the same 3-dimensional subspace. Thus, we set out to solve for a filter that makes the vector space spanned by the filtered camera sensitivities as similar as possible to the space spanned by human vision sensors. We argue that the Vora-Value is a suitable way to measure subspace similarity and we develop an optimization method for finding a filter that maximizes the Vora-Value measure. Experiments demonstrate that our new optimization leads to filtered camera sensitivities which have a significantly higher Vora-Value compared with antecedent methods.


title: Deep Learning Convective Flow Using Conditional Generative Adversarial Networks

abstract: We developed a general deep learning framework, FluidGAN, capable of learning and predicting time-dependent convective flow coupled with energy transport. FluidGAN is thoroughly data-driven with high speed and accuracy and satisfies the physics of fluid without any prior knowledge of underlying fluid and energy transport physics. FluidGAN also learns the coupling between velocity, pressure, and temperature fields. Our framework helps understand deterministic multiphysics phenomena where the underlying physical model is complex or unknown.


title: Multiple Attentional Pyramid Networks for Chinese Herbal Recognition

abstract: Chinese herbs play a critical role in Traditional Chinese Medicine. Due to different recognition granularity, they can be recognized accurately only by professionals with much experience. It is expected that they can be recognized automatically using new techniques like machine learning. However, there is no Chinese herbal image dataset available. Simultaneously, there is no machine learning method which can deal with Chinese herbal image recognition well. Therefore, this paper begins with building a new standard Chinese-Herbs dataset. Subsequently, a new Attentional Pyramid Networks (APN) for Chinese herbal recognition is proposed, where both novel competitive attention and spatial collaborative attention are proposed and then applied. APN can adaptively model Chinese herbal images with different feature scales. Finally, a new framework for Chinese herbal recognition is proposed as a new application of APN. Experiments are conducted on our constructed dataset and validate the effectiveness of our methods.


title: On the subvarieties with nonsingular real loci of a real algebraic variety

abstract: Let $X$ be a smooth projective real algebraic variety. We give new positive and negative results on the problem of approximating a submanifold of the real locus of $X$ by real loci of subvarieties of $X$, as well as on the problem of determining the subgroups of the Chow groups of $X$ generated by subvarieties with nonsingular real loci, or with empty real loci.


title: Order-indeterminant event-based maps for learning a beat

abstract: The process by which humans synchronize to a musical beat is believed to occur through error-correction where an individual's estimates of the period and phase of the beat time are iteratively adjusted to align with an external stimuli. Mathematically, error-correction can be described using a two-dimensional map where convergence to a fixed point corresponds to synchronizing to the beat. In this paper, we show how a neural system, called a beat generator, learns to adapt its oscillatory behaviour through error-correction to synchronize to an external periodic signal. We construct a two-dimensional event-based map which iteratively adjusts an internal parameter of the beat generator to speed up or slow down its oscillatory behaviour to bring it into synchrony with the periodic stimulus. The map is novel in that the order of events defining the map are not a priori known. Instead, the type of error-correction adjustment made at each iterate of the map is determined by a sequence of expected events. The map possesses a rich repertoire of dynamics, including periodic solutions and chaotic orbits.


title: A new class of discontinuous solar wind solutions

abstract: A new class of one-dimensional solar wind models is developed within the general polytropic, single-fluid hydrodynamic framework. The particular case of quasi-adiabatic radial expansion with a localized heating source is considered. We consider analytical solutions with continuous Mach number over the entire radial domain while allowing for jumps in the flow velocity, density, and temperature, provided that there exists an external source of energy in the vicinity of the critical point which supports such jumps in physical quantities. This is substantially distinct from both the standard Parker solar wind model and the original nozzle solutions, where such discontinuous solutions are not permissible. We obtain novel sample analytic solutions of the governing equations corresponding to both slow and fast wind.

categories: astro-ph.SR astro-ph.EP physics.comp-ph physics.flu-dyn physics.space-ph


title: Nature does not play dice at the Planck scale

abstract: We start from classical general relativity coupled to matter fields. Each configuration variable and its conjugate momentum, as also space-time points, are raised to the status of matrices [equivalently operators]. These matrices obey a deterministic Lagrangian dynamics at the Planck scale. By coarse-graining this matrix dynamics over time intervals much larger than Planck time, one derives quantum theory as a low energy emergent approximation. If a sufficiently large number of degrees of freedom get entangled, spontaneous localisation takes place, leading to the emergence of classical space-time geometry and a classical universe. In our theory, dark energy is shown to be a large-scale quantum gravitational phenomenon. Quantum indeterminism is not fundamental, but results from our not probing physics at the Planck scale.


title: Finite-Blocklength and Error-Exponent Analyses for LDPC Codes in Point-to-Point and Multiple Access Communication

abstract: This paper applies error-exponent and dispersion-style analyses to derive finite-blocklength achievability bounds for low-density parity-check (LDPC) codes over the point-to-point channel (PPC) and multiple access channel (MAC). The error-exponent analysis applies Gallager's error exponent to bound achievable symmetrical and asymmetrical rates in the MAC. The dispersion-style analysis begins with a generalization of the random coding union (RCU) bound from random code ensembles with i.i.d. codewords to random code ensembles in which codewords may be statistically dependent; this generalization is useful since the codewords of random linear codes such as random LDPC codes are dependent. Application of the RCU bound yields improved finite-blocklength error bounds and asymptotic achievability results for i.i.d. random codes and new finite-blocklength error bounds and achievability results for LDPC codes. For discrete, memoryless channels, these results show that LDPC codes achieve first- and second-order performance that is optimal for the PPC and identical to the best-prior results for the MAC.


title: Waveguide cavity optomagnonics for broadband multimode microwave-to-optics conversion

abstract: Cavity optomagnonics has emerged as a promising platform for studying coherent photon-spin interactions as well as tunable microwave-to-optical conversion. However, current implementation of cavity optomagnonics in ferrimagnetic crystals remains orders of magnitude larger in volume than state-of-the-art cavity optomechanical devices, resulting in very limited magneto-optical interaction strength. Here, we demonstrate a cavity optomagnonic device based on integrated waveguides and its application for microwave-to-optical conversion. By designing a ferrimagnetic rib waveguide to support multiple magnon modes with maximal mode overlap to the optical field, we realize a high magneto-optical cooperativity which is three orders of magnitude higher compared to previous records obtained on polished YIG spheres. Furthermore, we achieve tunable conversion of microwave photons at around 8.45 GHz to 1550 nm light with a broad conversion bandwidth as large as 16.1 MHz. The unique features of the system point to novel applications at the crossroad between quantum optics and magnonics.


title: An Interpolation from Sol to Hyperbolic Space

abstract: We study a one-parameter family of nonisomorphic solvable Lie groups, which, when equipped with canonical left-invariant metrics, $$ds^2=e^{-2z}dx^2+e^{2\alpha z}dy^2+dz^2$$ becomes an interpolation from a model of the Sol geometry to a model of Hyperbolic Space, with a stop at $\mathbb{H}^2\times \mathbb{R}$. These Lie groups are also Bianchi groups of Type VI with orthogonal coordinates. As a continuation of joint work with Richard Schwartz on Sol, we primarily analyze those Lie groups in our interpolation with some positive sectional curvature. Our main result is a characterization of the cut locus at the identity of the group that maximizes scalar curvature.


title: Local Fiber Orientation from X-ray Region-of-Interest Computed Tomography of large Fiber Reinforced Composite Components

abstract: The local fiber orientation is a micro-structural feature crucial for the mechanical properties of parts made from fiber reinforced polymers. It can be determined from micro-computed tomography data and subsequent quantitative analysis of the resulting 3D images. However, although being by nature non-destructive, this method so far has required to cut samples of a few millimeter edge length in order to achieve the high lateral resolution needed for the analysis. Here, we report on the successful combination of region-of-interest scanning with structure texture orientation analysis rendering the above described approach truly non-destructive. Several regions of interest in a large bearing part from the automotive industry made of fiber reinforced polymer are scanned and analyzed. Differences of these regions with respect to local fiber orientation are quantified. Moreover, consistency of the analysis based on scans at varying lateral resolutions is proved. Finally, measured and numerically simulated orientation tensors are compared for one of the regions.


title: Impossibility of Quantum Virtual Black-Box Obfuscation of Classical Circuits

abstract: Virtual black-box obfuscation is a strong cryptographic primitive: it encrypts a circuit while maintaining its full input/output functionality. A remarkable result by Barak et al. (Crypto 2001) shows that a general obfuscator that obfuscates classical circuits into classical circuits cannot exist. A promising direction that circumvents this impossibility result is to obfuscate classical circuits into quantum states, which would potentially be better capable of hiding information about the obfuscated circuit. We show that, under the assumption that learning-with-errors (LWE) is hard for quantum computers, this quantum variant of virtual black-box obfuscation of classical circuits is generally impossible. On the way, we show that under the presence of dependent classical auxiliary input, even the small class of classical point functions cannot be quantum virtual black-box obfuscated.


title: Conformal Lagrangians from the (formal) near boundary analysis of AdS gauge fields

abstract: A simple generating procedure for Lagrangians of conformal gauge fields of mixed-symmetry type is presented. The construction originates from the analysis of the near-boundary behaviour of the associated AdS gauge fields using the ambient space approach to leading boundary values. Manifestly ambient form of the Lagrangian is also obtained. As an illustration we apply the procedure to the simplest mixed-symmetry conformal gauge field, described by the two-row Young diagram, and derive the explicit component form of the respective Lagrangian.


title: ODVICE: An Ontology-Driven Visual Analytic Tool for Interactive Cohort Extraction

abstract: Increased availability of electronic health records (EHR) has enabled researchers to study various medical questions. Cohort selection for the hypothesis under investigation is one of the main consideration for EHR analysis. For uncommon diseases, cohorts extracted from EHRs contain very limited number of records - hampering the robustness of any analysis. Data augmentation methods have been successfully applied in other domains to address this issue mainly using simulated records. In this paper, we present ODVICE, a data augmentation framework that leverages the medical concept ontology to systematically augment records using a novel ontologically guided Monte-Carlo graph spanning algorithm. The tool allows end users to specify a small set of interactive controls to control the augmentation process. We analyze the importance of ODVICE by conducting studies on MIMIC-III dataset for two learning tasks. Our results demonstrate the predictive performance of ODVICE augmented cohorts, showing ~30% improvement in area under the curve (AUC) over the non-augmented dataset and other data augmentation strategies.


title: Spin current injection at magnetic insulator/superconductor interfaces

abstract: Opposite to the common idea of a magnetic order requirement to obtain spin current propagation, materials with no magnetic ordering have also been revealed to be efficient spin conductors. In this work, we investigate the spin current injection at the interface between a magnetic insulator and a superconductor. We are mainly interested in the paramagnetic insulator/superconductor interface however, our model also describes the ferromagnetic phase. We used the Schwinger bosonic formalism to describe the magnetic insulator and standard BCS theory was applied to treat the superconductor layer. In the normal-metal limit, our results are in agreement with the expected ones. For example, we found the correct spin current behavior $I\approx T^{3/2}$ at low temperature. In addition, our model shows a pronounced peak in the spin current injection at temperatures close to the superconductor transition temperature due to the superconducting quasiparticle coherence. The role of magnetic fields in the spin current injection is also investigated.


title: Fundamentals of Computing

abstract: These are notes for the course CS-172 I first taught in the Fall 1986 at UC Berkeley and subsequently at Boston University. The goal was to introduce the undergraduates to basic concepts of Theory of Computation and to provoke their interest in further study. Model-dependent effects were systematically ignored. Concrete computational problems were considered only as illustrations of general principles. The notes are skeletal: they do have (terse) proofs, but exercises, references, intuitive comments, examples are missing or inadequate. The notes can be used for designing a course or by students who want to refresh the known material or are bright and have access to an instructor for questions. Each subsection takes about a week of the course.


title: On Embeddings in Relational Databases

abstract: We address the problem of learning a distributed representation of entities in a relational database using a low-dimensional embedding. Low-dimensional embeddings aim to encapsulate a concise vector representation for an underlying dataset with minimum loss of information. Embeddings across entities in a relational database have been less explored due to the intricate data relations and representation complexity involved. Relational databases are an inter-weaved collection of relations that not only model relationships between entities but also record complex domain-specific quantitative and temporal attributes of data defining complex relationships among entities. Recent methods for learning an embedding constitute of a naive approach to consider complete denormalization of the database by materializing the full join of all tables and representing as a knowledge graph. This popular approach has certain limitations as it fails to capture the inter-row relationships and additional semantics encoded in the relational databases. In this paper we demonstrate; a better methodology for learning representations by exploiting the underlying semantics of columns in a table while using the relation joins and the latent inter-row relationships. Empirical results over a real-world database with evaluations on similarity join and table completion tasks support our proposition.


title: Geometric considerations around the Littlewood conjecture

abstract: In this paper we adopt a geometric point of view regarding a famous conjecture due to Littlewood in diophantine approximation of real numbers. Following the spirit of the geometric theory of continued fractions, we give a sufficient condition for the conjecture to hold. An advantage of our method is that it is effective, in the sense that we know how to construct the eventual solution.


title: Dimensional lower bounds for contact surfaces of Cheeger sets

abstract: We carry on an analysis of the size of the contact surface of a Cheeger set $E$ with the boundary of its ambient space $\Omega$. We show that this size is strongly related to the regularity of $\partial \Omega$ by providing bounds on the Hausdorff dimension of $\partial E\cap \partial\Omega$. In particular we show that, if $\partial \Omega$ has $C^{1,\alpha}$ regularity then $\mathcal{H}^{d-2+\alpha}(\partial E\cap \partial\Omega)>0$. This shows that a sufficient condition to ensure that $\mathcal{H}^{d-1}(\partial E\cap \partial \Omega)>0$ is that $\partial \Omega$ has $C^{1,1}$ regularity. Since the Hausdorff bounds can be inferred in dependence of the regularity of $\partial E$ as well, we obtain that $\Omega$ convex, which yields $\partial E\in C^{1,1}$, is also a sufficient condition. Finally, we construct examples showing that such bounds are optimal in dimension $d=2$.


title: On the Virasoro six-point identity block and chaos

abstract: We study six-point correlation functions in two dimensional conformal field theory, where the six operators are grouped in pairs with equal conformal dimension. Assuming large central charge $c$ and a sparse spectrum, the leading contribution to this correlation function is the six-point Virasoro identity block - corresponding to each distinct pair of operators fusing into the identity and its descendants. We call this the star channel. One particular term in the star channel identity block is the stress tensor $SL(2,\mathbb{R})$ (global) block, for which we derive an explicit expression. In the holographic context, this object corresponds to a direct measure of nonlinear effects in pure gravity. We calculate additional terms in the star channel identity block that contribute at the same order at large $c$ as the global block using the novel theory of reparametrizations, which extends the shadow operator formalism in a natural way. We investigate these blocks' relevance to quantum chaos in the form of six-point scrambling in an out-of time ordered correlator. Interestingly, the global block does not contribute to the scrambling mode of this correlator, implying that, to leading order, six-point scrambling is insensitive to the three-point graviton coupling in the bulk dual. Finally, we compare our findings with a different OPE channel, called the comb channel, and find the same result for the chaos exponent in this decomposition.


title: Testing Positive Semi-Definiteness via Random Submatrices

abstract: We study the problem of testing whether a matrix $\mathbf{A} \in \mathbb{R}^{n \times n}$ with bounded entries ($\|\mathbf{A}\|_\infty \leq 1$) is positive semi-definite (PSD), or $\epsilon$-far in Euclidean distance from the PSD cone, meaning that $\min_{\mathbf{B} \succeq 0} \|\mathbf{A} - \mathbf{B}\|_F^2 > \epsilon n^2$, where $\mathbf{B} \succeq 0$ denotes that $\mathbf{B}$ is PSD. Our main algorithmic contribution is a non-adaptive tester which distinguishes between these cases using only $\tilde{O}(1/\epsilon^4)$ queries to the entries of $\mathbf{A}$. If instead of the Euclidean norm we considered the distance in spectral norm, we obtain the "$\ell_\infty$-gap problem", where $\mathbf{A}$ is either PSD or satisfies $\min_{\mathbf{B}\succeq 0} \|\mathbf{A}- \mathbf{B}\|_2 > \epsilon n$. For this related problem, we give a $\tilde{O}(1/\epsilon^2)$ query tester, which we show is optimal up to $\log(1/\epsilon)$ factors. Our testers randomly sample a collection of principal submatrices and check whether these submatrices are PSD. Consequentially, our algorithms achieve one-sided error: whenever they output that $\mathbf{A}$ is not PSD, they return a certificate that $\mathbf{A}$ has negative eigenvalues. We complement our upper bound for PSD testing with Euclidean norm distance by giving a $\tilde{\Omega}(1/\epsilon^2)$ lower bound for any non-adaptive algorithm. Our lower bound construction is general, and can be used to derive lower bounds for a number of spectral testing problems. As an example of the applicability of our construction, we obtain a new $\tilde{\Omega}(1/\epsilon^4)$ sampling lower bound for testing the Schatten-$1$ norm with a $\epsilon n^{1.5}$ gap, extending a result of Balcan, Li, Woodruff, and Zhang [SODA'19]. In addition, it yields new sampling lower bounds for estimating the Ky-Fan Norm, and the cost of the best rank-$k$ approximation.


title: Direct Imaging, Three-dimensional Interaction Spectroscopy, and Friction Anisotropy of Atomic-scale Ripples on MoS$_{2}$

abstract: Theory predicts that two-dimensional (2D) materials may only exist in the presence of out-ofplane deformations on atomic length scales, frequently referred to as ripples. While such ripples can be detected via electron microscopy, their direct observation via surface-based techniques and characterization in terms of interaction forces and energies remain limited, preventing an unambiguous study of their effect on mechanical characteristics, including but not limited to friction anisotropy. Here, we employ high-resolution atomic force microscopy to demonstrate the presence of atomic-scale ripples on supported samples of few-layer molybdenum disulfide (MoS$_{2}$). Three-dimensional force / energy spectroscopy is utilized to study the effect of ripples on the interaction landscape. Friction force microscopy reveals multiple symmetries for friction anisotropy, explained by studying rippled sample areas as a function of scan size. Our experiments contribute to the continuing development of a rigorous understanding of the nanoscale mechanics of 2D materials.


title: Conceptual understanding through efficient inverse-design of quantum optical experiments

abstract: One crucial question within artificial intelligence research is how this technology can be used to discover new scientific concepts and ideas. We present Theseus, an explainable AI algorithm that can contribute to science at a conceptual level. This work entails four significant contributions. (i) We introduce an interpretable representation of quantum optical experiments amenable to algorithmic use. (ii) We develop an inverse-design approach for new quantum experiments, which is orders of magnitudes faster than the best previous methods. (iii) We solve several crucial open questions in quantum optics, which is expected to advance photonic technology. Finally, and most importantly, (iv) the interpretable representation and drastic speedup produce solutions that a human scientist can interpret outright to discover new scientific concepts. We anticipate that Theseus will become an essential tool in quantum optics and photonic hardware, with potential applicability to other quantum physical disciplines.


title: Pika parsing: reformulating packrat parsing as a dynamic programming algorithm solves the left recursion and error recovery problems

abstract: A recursive descent parser is built from a set of mutually-recursive functions, where each function directly implements one of the nonterminals of a grammar. A packrat parser uses memoization to reduce the time complexity for recursive descent parsing from exponential to linear in the length of the input. Recursive descent parsers are extremely simple to write, but suffer from two significant problems: (i) left-recursive grammars cause the parser to get stuck in infinite recursion, and (ii) it can be difficult or impossible to optimally recover the parse state and continue parsing after a syntax error. Both problems are solved by the pika parser, a novel reformulation of packrat parsing as a dynamic programming algorithm, which requires parsing the input in reverse: bottom-up and right to left, rather than top-down and left to right. This reversed parsing order enables pika parsers to handle grammars that use either direct or indirect left recursion to achieve left associativity, simplifying grammar writing, and also enables optimal recovery from syntax errors, which is a crucial property for IDEs and compilers. Pika parsing maintains the linear-time performance characteristics of packrat parsing as a function of input length. The pika parser was benchmarked against the widely-used Parboiled2 and ANTLR4 parsing libraries. The pika parser performed significantly better than the other parsers for an expression grammar, although for a complex grammar implementing the Java language specification, a large constant performance impact was incurred per input character. Therefore, if performance is important, pika parsing is best applied to simple to moderate-sized grammars, or to very large inputs, if other parsing alternatives do not scale linearly in the length of the input. Several new insights into precedence, associativity, and left recursion are presented.