title: Geometric renormalization unravels self-similarity of the multiscale human connectome

abstract: Structural connectivity in the brain is typically studied by reducing its observation to a single spatial resolution. However, the brain possesses a rich architecture organized over multiple scales linked to one another. We explored the multiscale organization of human connectomes using datasets of healthy subjects reconstructed at five different resolutions. We found that the structure of the human brain remains self-similar when the resolution of observation is progressively decreased by hierarchical coarse-graining of the anatomical regions. Strikingly, a geometric network model, where distances are not Euclidean, predicts the multiscale properties of connectomes, including self-similarity. The model relies on the application of a geometric renormalization protocol which decreases the resolution by coarse-graining and averaging over short similarity distances. Our results suggest that simple organizing principles underlie the multiscale architecture of human structural brain networks, where the same connectivity law dictates short- and long-range connections between different brain regions over many resolutions. The implications are varied and can be substantial for fundamental debates, such as whether the brain is working near a critical point, as well as for applications including advanced tools to simplify the digital reconstruction and simulation of the brain.


title: Analysis of Periodic Feedback Shift Registers

abstract: This paper develops methods for analyzing periodic orbits of states of linear feedback shift registers with periodic coefficients and estimating their lengths. These shift registers are among the simplest nonlinear feedback shift registers (FSRs) whose orbit lengths can be determined by feasible computation. In general such a problem for nonlinear FSRs involves infeasible computation. The dynamical systems whose model includes such FSRs are termed as Periodic Finite State systems (PFSS). This paper advances theory of such dynamical systems. Due to the finite field valued coefficients, the theory of such systems turns out to be radically different from that of linear continuous or discrete time periodic systems with real coefficients well known in literature. A special finite field version of the Floquet theory of such periodic systems is developed and the structure of trajectories of the PFSS is analyzed through that of a shift invariant linear system after Floquet transformation. The concept of extension of a dynamical system is proposed for such systems whenever the equivalent shift invariant system can be obtained over an extension field.


title: A generalized Finch-Skea class one static solution

abstract: In the present article, we discuss relativistic anisotropic solutions of the Einstein field equation for the spherically symmetric line element under the class I condition. To do so we apply the embedding class one technique using Eisland condition. Within this approach, one arrives at a particular differential equation that links the two metric components $e^{\nu}$ and $e^{\lambda}$. In order to obtain the full space-time description inside the stellar configuration we ansatz the generalized form of metric component $g_{rr}$ corresponding to the Finch-Skea solution. Once the space-time geometry is specified we obtain the complete thermodynamic description i.e. the matter density $\rho$, the radial, and tangential pressures $p_r$ and $p_t$, respectively. Graphical analysis shows that the obtained model respects the physical and mathematical requirements that all ultra-high dense collapsed structures must obey. The $M-R$ diagram suggests that the solution yields stiffer EoS as parameter $n$ increases. The $M-I$ graph is in agreement with the concepts of Bejgar et al. \cite{bej} that the mass at $I_{max}$ is lesser by few percent (for this solution $\sim 3\%$) from $M_{max}$. This suggests that the EoSs is without any strong high-density softening due to hyperonization or phase transition to an exotic state.


title: Multiverse Predictions for Habitability: Fraction of Life that Develops Intelligence

abstract: Do mass extinctions affect the development of intelligence? If so, we may expect to be in a universe that is exceptionally placid. We consider the effects of impacts, supervolcanoes, global glaciations, and nearby gamma ray bursts, and how their rates depend on fundamental constants. It is interesting that despite the very disparate nature of these processes, each occurs on timescales of 100 Myr-Gyr. We argue that this is due to a selection effect that favors both tranquil locales within our universe, as well as tranquil universes. Taking gamma ray bursts to be the sole driver of mass extinctions is disfavored in multiverse scenarios, as the rate is much lower for different values of the fundamental constants. In contrast, geological causes of extinction are very compatible with the multiverse. Various frameworks for the effects of extinctions are investigated, and the intermediate disturbance hypothesis is found to be most compatible with the multiverse.


title: Development of an Entropy-Based Feature Selection Method and Analysis of Online Reviews on Real Estate

abstract: In recent years, data posted about real estate on the Internet is currently increasing. In this study, in order to analyze user needs for real estate, we focus on "Mansion Community" which is a Japanese bulletin board system (hereinafter referred to as BBS) about Japanese real estate. In our study, extraction of keywords is performed based on the calculation of the entropy value of each word, and we used them as features in a machine learning classifier to analyze 6 million posts at "Mansion Community". As a result, we achieved a 0.69 F-measure and found that the customers are particularly concerned about the facility of apartment, access, and price of an apartment.


title: Will this Course Increase or Decrease Your GPA? Towards Grade-aware Course Recommendation

abstract: In order to help undergraduate students towards successfully completing their degrees, developing tools that can assist students during the course selection process is a significant task in the education domain. The optimal set of courses for each student should include courses that help him/her graduate in a timely fashion and for which he/she is well-prepared for so as to get a good grade in. To this end, we propose two different grade-aware course recommendation approaches to recommend to each student his/her optimal set of courses. The first approach ranks the courses by using an objective function that differentiates between courses that are expected to increase or decrease a student's GPA. The second approach combines the grades predicted by grade prediction methods with the rankings produced by course recommendation methods to improve the final course rankings. To obtain the course rankings in the first approach, we adapt two widely-used representation learning techniques to learn the optimal temporal ordering between courses. Our experiments on a large dataset obtained from the University of Minnesota that includes students from 23 different majors show that the grade-aware course recommendation methods can do better on recommending more courses in which the students are expected to perform well and recommending fewer courses in which they are expected not to perform well in than grade-unaware course recommendation methods.


title: Feature-based factorized Bilinear Similarity Model for Cold-Start Top-n Item Recommendation

abstract: Recommending new items to existing users has remained a challenging problem due to absence of user's past preferences for these items. The user personalized non-collaborative methods based on item features can be used to address this item cold-start problem. These methods rely on similarities between the target item and user's previous preferred items. While computing similarities based on item features, these methods overlook the interactions among the features of the items and consider them independently. Modeling interactions among features can be helpful as some features, when considered together, provide a stronger signal on the relevance of an item when compared to case where features are considered independently. To address this important issue, in this work we introduce the Feature-based factorized Bilinear Similarity Model (FBSM), which learns factorized bilinear similarity model for TOP-n recommendation of new items, given the information about items preferred by users in past as well as the features of these items. We carry out extensive empirical evaluations on benchmark datasets, and we find that the proposed FBSM approach improves upon traditional non-collaborative methods in terms of recommendation performance. Moreover, the proposed approach also learns insightful interactions among item features from data, which lead to deep understanding on how these interactions contribute to personalized recommendation.


title: Adaptive Matrix Completion for the Users and the Items in Tail

abstract: Recommender systems are widely used to recommend the most appealing items to users. These recommendations can be generated by applying collaborative filtering methods. The low-rank matrix completion method is the state-of-the-art collaborative filtering method. In this work, we show that the skewed distribution of ratings in the user-item rating matrix of real-world datasets affects the accuracy of matrix-completion-based approaches. Also, we show that the number of ratings that an item or a user has positively correlates with the ability of low-rank matrix-completion-based approaches to predict the ratings for the item or the user accurately. Furthermore, we use these insights to develop four matrix completion-based approaches, i.e., Frequency Adaptive Rating Prediction (FARP), Truncated Matrix Factorization (TMF), Truncated Matrix Factorization with Dropout (TMF + Dropout) and Inverse Frequency Weighted Matrix Factorization (IFWMF), that outperforms traditional matrix-completion-based approaches for the users and the items with few ratings in the user-item rating matrix.


title: Investigating Academic Major Differences in perception of Computer Self-efficacy and Intention toward E-learning Adoption in China

abstract: Recognizing the underlying relationship between e-learning practice and the institutional environments hosted in, the Chinese educational practice on branching high school students into science, technology, engineering, and mathematics (STEM) and non-STEM academic major groups before being admitted into universities or colleges is examined. By extending the well-established Technology Acceptance Model (TAM) with computer self-efficacy, this study aims to examine the difference in perceptions and behaviours on e-learning adoption from the STEM and non-STEM students. The results revealed that STEM score of computer self-efficacy, perceived ease of use and behavioural intention to use e-learning are all greater than non-STEM.


title: On inverse submonoids of the monoid of almost monotone injective co-finite partial selfmaps of positive integers

abstract: In this paper we study submonoids of the monoid $\mathscr{I}_\infty^{\,\Rsh\!\!\!\nearrow}(\mathbb{N})$ of almost monotone injective co-finite partial selfmaps of positive integers $\mathbb{N}$. Let $\mathscr{I}_\infty^{\!\nearrow}(\mathbb{N})$ be a submonoid of $\mathscr{I}_\infty^{\,\Rsh\!\!\!\nearrow}(\mathbb{N})$ which consists of cofinite monotone partial bijections of $\mathbb{N}$ and $\mathscr{C}_{\mathbb{N}}$ be a subsemigroup $\mathscr{I}_\infty^{\,\Rsh\!\!\!\nearrow}(\mathbb{N})$ which is generated by the partial shift $n\mapsto n+1$ and its inverse partial map. We show that every automorphism of a full inverse subsemigroup of $\mathscr{I}_\infty^{\!\nearrow}(\mathbb{N})$ which contains the semigroup $\mathscr{C}_{\mathbb{N}}$ is the identity map. We construct a submonoid $\mathbf{I}\mathbb{N}_\infty^{[\underline{1}]}$ of $\mathscr{I}_\infty^{\,\Rsh\!\!\!\nearrow}(\mathbb{N})$ with the following property: if $S$ is an inverse submonoid of $\mathscr{I}_\infty^{\,\Rsh\!\!\!\nearrow}(\mathbb{N})$ such that $S$ contains $\mathbf{I}\mathbb{N}_\infty^{[\underline{1}]}$ as a submonoid, then every non-identity congruence $\mathfrak{C}$ on $S$ is a group congruence. We show that if $S$ is an inverse submonoid of $\mathscr{I}_\infty^{\,\Rsh\!\!\!\nearrow}(\mathbb{N})$ such that $S$ contains $\mathscr{C}_{\mathbb{N}}$ as a submonoid then $S$ is simple and the quotient semigroup $S/\mathfrak{C}_{\mathbf{mg}}$, where $\mathfrak{C}_{\mathbf{mg}}$ is minimum group congruence on $S$, is isomorphic to the additive group of integers. Also, we study topologizations of inverse submonoids of $\mathscr{I}_\infty^{\,\Rsh\!\!\!\nearrow}(\mathbb{N})$ which contain $\mathscr{C}_{\mathbb{N}}$ and embeddings of such semigroups into compact-like topological semigroups.


title: Robustness Verification of Support Vector Machines

abstract: We study the problem of formally verifying the robustness to adversarial examples of support vector machines (SVMs), a major machine learning model for classification and regression tasks. Following a recent stream of works on formal robustness verification of (deep) neural networks, our approach relies on a sound abstract version of a given SVM classifier to be used for checking its robustness. This methodology is parametric on a given numerical abstraction of real values and, analogously to the case of neural networks, needs neither abstract least upper bounds nor widening operators on this abstraction. The standard interval domain provides a simple instantiation of our abstraction technique, which is enhanced with the domain of reduced affine forms, which is an efficient abstraction of the zonotope abstract domain. This robustness verification technique has been fully implemented and experimentally evaluated on SVMs based on linear and nonlinear (polynomial and radial basis function) kernels, which have been trained on the popular MNIST dataset of images and on the recent and more challenging Fashion-MNIST dataset. The experimental results of our prototype SVM robustness verifier appear to be encouraging: this automated verification is fast, scalable and shows significantly high percentages of provable robustness on the test set of MNIST, in particular compared to the analogous provable robustness of neural networks.


title: Large Time Behavior of Exchange-driven Growth

abstract: Exchange-driven growth (EDG) is a process in which pairs of clusters interact by exchanging single unit with a rate given by a kernel $K(j,k)$. Despite EDG model's common use in the applied sciences, its rigorous mathematical treatment is very recent. In this article we study the large time behaviour of EDG equations. We show two sets of results depending on the properties of the kernel $(i)$ $K(j,k)=b_{j}a_{k}$ and $(ii)$ $K(j,k)=ja_{k}+b_{j} +\varepsilon\beta_{j}\alpha_{k}$. For type I kernels, under the detailed balance assumption, we show that the system admits equilibrium solutions up to a critical mass $\rho_{s}$ above which there is no equilibrium. We prove that if the system has an initial mass above $\rho_{s}$ then the solutions converge to critical equilibrium distribution in a weak sense while strong convergence can be shown when initial mass is below $\rho_{s}$. For type II kernels, we make no assumption of detailed balance and equilibrium is obtained via a contraction property. We provide two separate results depending on the monotonicity of the kernel or smallness of the total mass. For the first case we show exponential convergence in the number of clusters norm and for the second we prove exponential convergence in the total mass norm.


title: The $k$-path coloring problem in graphs with bounded treewidth: an application in integrated circuit manufacturing

abstract: In this paper, we investigate the $k$-path coloring problem, a variant of vertex coloring arising in the context of integrated circuit manufacturing. In this setting, typical industrial instances exhibit a `tree-like' structure. We exploit this property to design an efficient algorithm for our industrial problem: (i) on the methodological side, we show that the $k$-path coloring problem can be solved in polynomial time on graphs with bounded treewidth and we devise a simple polytime dynamic programming algorithm in this case (not relying on Courcelle's celebrated theorem); and (ii) on the empirical side, we provide computational evidences that the corresponding algorithm could be suitable for practice, by testing our algorithm on true instances obtained from an on-going collaboration with Mentor Graphics. We finally compare this approach with integer programming on some pseudo-industrial instances. It suggests that dynamic programming cannot compete with integer programming when the tree-width is greater than three. While all our industrial instances exhibit such a small tree-width, this is not for granted that all future instances will also do, and this tend to advocate for integer programming approaches.


title: Versatile Graphene-Based Platform for Robust Nanobiohybrid Interfaces

abstract: Technologically useful and robust graphene-based interfaces for devices require the introduction of highly selective, stable, and covalently bonded functionalities on the graphene surface, whilst essentially retaining the electronic properties of the pristine layer. This work demonstrates that highly controlled, ultrahigh vacuum covalent chemical functionalization of graphene sheets with a thiol-terminated molecule provides a robust and tunable platform for the development of hybrid nanostructures in different environments. We employ this facile strategy to covalently couple two representative systems of broad interest: metal nanoparticles, via S-metal bonds, and thiol-modified DNA aptamers, via disulfide bridges. Both systems, which have been characterized by a multi-technique approach, remain firmly anchored to the graphene surface even after several washing cycles. Atomic force microscopy images demonstrate that the conjugated aptamer retains the functionality required to recognize a target protein. This methodology opens a new route to the integration of high-quality graphene layers into diverse technological platforms, including plasmonics, optoelectronics, or biosensing. With respect to the latter, the viability of a thiol-functionalized chemical vapor deposition graphene-based solution-gated field-effect transistor array was assessed.


title: Dynamic inference in probabilistic graphical models

abstract: Probabilistic graphical models, such as Markov random fields (MRFs), are useful for describing high-dimensional distributions in terms of local dependence structures. The probabilistic inference is a fundamental problem related to graphical models, and sampling is a main approach for the problem. In this paper, we study probabilistic inference problems when the graphical model itself is changing dynamically with time. Such dynamic inference problems arise naturally in today's application, e.g.~multivariate time-series data analysis and practical learning procedures. We give a dynamic algorithm for sampling-based probabilistic inferences in MRFs, where each dynamic update can change the underlying graph and all parameters of the MRF simultaneously, as long as the total amount of changes is bounded. More precisely, suppose that the MRF has $n$ variables and polylogarithmic-bounded maximum degree, and $N(n)$ independent samples are sufficient for the inference for a polynomial function $N(\cdot)$. Our algorithm dynamically maintains an answer to the inference problem using $\widetilde{O}(n N(n))$ space cost, and $\widetilde{O}(N(n) + n)$ incremental time cost upon each update to the MRF, as long as the well-known Dobrushin-Shlosman condition is satisfied by the MRFs. Compared to the static case, which requires $\Omega(n N(n))$ time cost for redrawing all $N(n)$ samples whenever the MRF changes, our dynamic algorithm gives a $\widetilde\Omega(\min\{n, N(n)\})$-factor speedup. Our approach relies on a novel dynamic sampling technique, which transforms local Markov chains (a.k.a. single-site dynamics) to dynamic sampling algorithms, and an "algorithmic Lipschitz" condition that we establish for sampling from graphical models, namely, when the MRF changes by a small difference, samples can be modified to reflect the new distribution, with cost proportional to the difference on MRF.


title: Noise-disturbance relation and the Galois connection of quantum measurements

abstract: The relation between noise and disturbance is investigated within the general framework of Galois connections. Within this framework, we introduce the notion of leak of information, mathematically defined as one of the two closure maps arising from the observable-channel compatibility relation. We provide a physical interpretation for it, and we give a comparison with the analogous closure maps associated with joint measurability and simulability for quantum observables.


title: Photoacoustic monitoring of blood oxygenation during neurosurgical interventions

abstract: Multispectral photoacoustic (PA) imaging is a prime modality to monitor hemodynamics and changes in blood oxygenation (sO2). Although sO2 changes can be an indicator of brain activity both in normal and in pathological conditions, PA imaging of the brain has mainly focused on small animal models with lissencephalic brains. Therefore, the purpose of this work was to investigate the usefulness of multispectral PA imaging in assessing sO2 in a gyrencephalic brain. To this end, we continuously imaged a porcine brain as part of an open neurosurgical intervention with a handheld PA and ultrasonic (US) imaging system in vivo. Throughout the experiment, we varied respiratory oxygen and continuously measured arterial blood gases. The arterial blood oxygenation (SaO2) values derived by the blood gas analyzer were used as a reference to compare the performance of linear spectral unmixing algorithms in this scenario. According to our experiment, PA imaging can be used to monitor sO2 in the porcine cerebral cortex. While linear spectral unmixing algorithms are well-suited for detecting changes in oxygenation, there are limits with respect to the accurate quantification of sO2, especially in depth. Overall, we conclude that multispectral PA imaging can potentially be a valuable tool for change detection of sO2 in the cerebral cortex of a gyrencephalic brain. The spectral unmixing algorithms investigated in this work will be made publicly available as part of the open-source software platform Medical Imaging Interaction Toolkit (MITK).


title: Improving the complexity of Parys' recursive algorithm

abstract: Parys has recently proposed a quasi-polynomial version of Zielonka's recursive algorithm for solving parity games. In this brief note we suggest a variation of his algorithm that improves the complexity to meet the state-of-the-art complexity of broadly $2^{O((\log n)(\log c))}$, while providing polynomial bounds when the number of colours is logarithmic.


title: Decoherence of nonrelativistic bosonic quantum fields

abstract: We present a generic Markovian master equation inducing the gradual classicalization of a bosonic quantum field. It leads to the decoherence of quantum superpositions of field configurations, while leaving the Ehrenfest equations for both the field and the mode-variables invariant. We characterize the classicalization analytically and numerically, and show that the semiclassical field dynamics is described by a linear Boltzmann equation in the functional phase space of field configurations.


title: A Benchmarking Study to Evaluate Apache Spark on Large-Scale Supercomputers

abstract: As dataset sizes increase, data analysis tasks in high performance computing (HPC) are increasingly dependent on sophisticated dataflows and out-of-core methods for efficient system utilization. In addition, as HPC systems grow, memory access and data sharing are becoming performance bottlenecks. Cloud computing employs a data processing paradigm typically built on a loosely connected group of low-cost computing nodes without relying upon shared storage and/or memory. Apache Spark is a popular engine for large-scale data analysis in the cloud, which we have successfully deployed via job submission scripts on production clusters. In this paper, we describe common parallel analysis dataflows for both Message Passing Interface (MPI) and cloud based applications. We developed an effective benchmark to measure the performance characteristics of these tasks using both types of systems, specifically comparing MPI/C-based analyses with Spark. The benchmark is a data processing pipeline representative of a typical analytics framework implemented using map-reduce. In the case of Spark, we also consider whether language plays a role by writing tests using both Python and Scala, a language built on the Java Virtual Machine (JVM). We include performance results from two large systems at Argonne National Laboratory including Theta, a Cray XC40 supercomputer on which our experiments run with 65,536 cores (1024 nodes with 64 cores each). The results of our experiments are discussed in the context of their applicability to future HPC architectures. Beyond understanding performance, our work demonstrates that technologies such as Spark, while typically aimed at multi-tenant cloud-based environments, show promise for data analysis needs in a traditional clustering/supercomputing environment.


title: On-Surface Hydrogen-Induced Covalent Coupling of Polycyclic Aromatic Hydrocarbons via a Superhydrogenated Intermediate

abstract: The activation and subsequent covalent coupling of polycyclic aromatic hydrocarbons (PAHs) are of great interest in fields like chemistry, energy, biology, or health, among others. However, this is not a trivial process. So far, it is based on the use of catalysts that drive and increase the efficiency of the reaction. Here, we report on an unprecedented method in which the dehydrogenation and covalent coupling is thermally activated in the presence of atomic hydrogen and a surface. This mechanism, which requires of the superhydrogenation of the PAHs, has been characterized by high-resolution scanning tunnelling microscopy (STM) and rationalized by density functional theory (DFT) calculations. This work opens a door toward the formation of covalent, PAH-based, macromolecular nanostructures on low-reactive surfaces, thus facilitating its applicability.


title: Gravitational-wave amplitudes for compact binaries in eccentric orbits at the third post-Newtonian order: Tail contributions and post-adiabatic corrections

abstract: We compute the tail contributions to the gravitational-wave mode amplitudes for compact binaries in eccentric orbits at the third post-Newtonian order of general relativity. We combine them with the already available instantaneous pieces and include the post-adiabatic corrections required to fully account for the effects of radiation-reaction forces on the motion. We compare the resulting waveform in the small eccentricity limit to the circular one, finding perfect agreement.


title: Producing Corpora of Medieval and Premodern Occitan

abstract: At a time when the quantity of - more or less freely - available data is increasing significantly, thanks to digital corpora, editions or libraries, the development of data mining tools or deep learning methods allows researchers to build a corpus of study tailored for their research, to enrich their data and to exploit them.Open optical character recognition (OCR) tools can be adapted to old prints, incunabula or even manuscripts, with usable results, allowing the rapid creation of textual corpora. The alternation of training and correction phases makes it possible to improve the quality of the results by rapidly accumulating raw text data. These can then be structured, for example in XML/TEI, and enriched.The enrichment of the texts with graphic or linguistic annotations can also be automated. These processes, known to linguists and functional for modern languages, present difficulties for languages such as Medieval Occitan, due in part to the absence of big enough lemmatized corpora. Suggestions for the creation of tools adapted to the considerable spelling variation of ancient languages will be presented, as well as experiments for the lemmatization of Medieval and Premodern Occitan.These techniques open the way for many exploitations. The much desired increase in the amount of available quality texts and data makes it possible to improve digital philology methods, if everyone takes the trouble to make their data freely available online and reusable.By exposing different technical solutions and some micro-analyses as examples, this paper aims to show part of what digital philology can offer to researchers in the Occitan domain, while recalling the ethical issues on which such practices are based.


title: Think Again Networks and the Delta Loss

abstract: This short paper introduces an abstraction called Think Again Networks (ThinkNet) which can be applied to any state-dependent function (such as a recurrent neural network).


title: A population of high-velocity absorption-line systems residing in the Local Group

abstract: Aims. We aim to investigate the ionisation conditions and distances of Galactic high-velocity clouds (HVCs) in the Galactic halo and beyond in the direction of the Local Group (LG) barycentre and anti-barycentre, by studying spectral data of 29 extragalactic background sources obtained with Cosmic Origins Spectropgraph (COS) installed on the Hubble Space Telescope (HST). Methods. We model column-densities of low, intermediate, and high ions, such as Si II, C II, Si III, Si IV, and C IV and use this to construct a set of Cloudy ionisation models. Results. In total, we found 69 high-velocity absorption components along the 29 lines of sight. The ones in the direction of the LG barycentre span the entire range of studied velocities, 100 \lesssim |v_{LSR}|\lesssim 400 km s^-1, while the anti-barycentre sample has velocities up to about 300 km s^-1. For 49 components, we infer the gas densities. In the direction of the LG barycentre, the gas densities exhibit a large range between log n_H=-3.96 to -2.55, while in the anti-barycentre direction the densities are systematically higher, log n_H>-3.25. The barycentre absorbers can be split into two groups based on their density: a high density group with log n_H>-3.54, which can be affected by the Milky Way radiation field, and a low density group (log n_H \leq -3.54). The latter has very low thermal pressures of P/k<7.3 K cm^-3. Conclusions. Our study shows that part of the absorbers in the LG barycentre direction trace gas at very low gas densities and thermal pressures. Such properties indicate that these absorbers are located beyond the virial radius of the Milky Way. Our study also confirms results from earlier, single-sightline studies, suggesting the presence of a metal-enriched intragroup medium filling the LG near its barycentre.


title: A certifying extraction with time bounds from Coq to call-by-value $\lambda$-calculus

abstract: We provide a plugin extracting Coq functions of simple polymorphic types to the (untyped) call-by-value $\lambda$-calculus L. The plugin is implemented in the MetaCoq framework and entirely written in Coq. We provide Ltac tactics to automatically verify the extracted terms w.r.t a logical relation connecting Coq functions with correct extractions and time bounds, essentially performing a certifying translation and running time validation. We provide three case studies: A universal L-term obtained as extraction from the Coq definition of a step-indexed self-interpreter for \L, a many-reduction from solvability of Diophantine equations to the halting problem of L, and a polynomial-time simulation of Turing machines in L.


title: Resolving the radio loud/radio quiet dichotomy without thick disks

abstract: Observations of radio loud active galaxies in the XMM-Newton archive by Mehdipour & Costantini show a strong anti-correlation between the column density of the ionized wind and the radio loudness parameter, providing evidence that jets may thrive in thin disks. This is in contrast with decades of analytic and numerical work suggesting jet formation is contingent on the presence of an inner, geometrically thick disk structure, which serves to both collimate and accelerate the jet. Thick disks emerge in radiatively inefficient disks which are associated with sub-Eddington as well as super-Eddington accretion regimes yet we show that the inverse correlation between winds and jets survives where it should not, namely in a luminosity regime normally attributed to radio quiet active galaxies which are modeled with thin disks. This along with other lines of evidence argues against thick disks as the foundation behind the radio loud/radio quiet dichotomy, opening up the possibility that jetted versus non jetted black holes may be understood within the context of radiatively efficient thin disk accretion.


title: Simultaneous Feature Aggregating and Hashing for Compact Binary Code Learning

abstract: Representing images by compact hash codes is an attractive approach for large-scale content-based image retrieval. In most state-of-the-art hashing-based image retrieval systems, for each image, local descriptors are first aggregated as a global representation vector. This global vector is then subjected to a hashing function to generate a binary hash code. In previous works, the aggregating and the hashing processes are designed independently. Hence these frameworks may generate suboptimal hash codes. In this paper, we first propose a novel unsupervised hashing framework in which feature aggregating and hashing are designed simultaneously and optimized jointly. Specifically, our joint optimization generates aggregated representations that can be better reconstructed by some binary codes. This leads to more discriminative binary hash codes and improved retrieval accuracy. In addition, the proposed method is flexible. It can be extended for supervised hashing. When the data label is available, the framework can be adapted to learn binary codes which minimize the reconstruction loss w.r.t. label vectors. Furthermore, we also propose a fast version of the state-of-the-art hashing method Binary Autoencoder to be used in our proposed frameworks. Extensive experiments on benchmark datasets under various settings show that the proposed methods outperform state-of-the-art unsupervised and supervised hashing methods.


title: On the structure of split regular Hom-Lie Rinehart algebras

abstract: The aim of this paper is to study the structures of split regular Hom-Lie Rinehart algebras. Let $(L,A)$ be a split regular Hom-Lie Rinehart algebra. We first show that $L$ is of the form $L=U+\sum_{[\gamma]\in\Gamma/\thicksim}I_{[\gamma]}$ with $U$ a vector space complement in $H$ and $I_{[\gamma]}$ are well described ideals of $L $ satisfying $I_{[\gamma]},I_{[\delta]}=0$ if $I_{[\gamma]}\neq I_{[\delta]}$. Also, we discuss the weight spaces and decompositions of $A$ and present the relation between the decompositions of $L$ and $A$. Finally, we consider the structures of tight split regular Hom-Lie Rinehart algebras.


title: Generating Prime Numbers -- A Fast New Method

abstract: Bertrand's Postulate ensures existence of prime $p$ between $n$ and $2n$, $n$ an integer $\geq 2$ and the sieve of Eratosthenes, a very simple ancient algorithm, generates all prime numbers up to any given limit. Combining the above two, in this paper, we provide a simple fast moving algorithm to generate prime numbers up to any given limit. We also discuss Riemann zeta function related to generating of prime numbers.


title: Uniform minimum risk equivariant estimates for moment condition models

abstract: We consider semiparametric moment condition models invariant to transformation groups. The parameter of interest is estimated by minimum empirical divergence approach, introduced by Broniatowski and Keziou (2012). It is shown that the minimum empirical divergence estimates, including the empirical likelihood one, are equivariants. The minimum risk equivariant estimate is then identied to be any one of the minimum empirical divergence estimates minus its expectation conditionally to maximal invariant statistic of the considered group of transformations. An asymptotic approximation to the conditional expectation, is obtained, using the result of Jureckov{\'a} and Picek (2009).


title: Direct $CP$ violation for $\bar{B}_s^0 \to \phi {\pi^+}{\pi^-}$ in Perturbative QCD

abstract: In perturbative QCD approach, we study the direct $CP$ violation in the decay of $\bar{B}_s^0\to\rho(\omega )\phi\to {\pi^+}{\pi^-}\phi$ via isospin symmetry breaking. An interesting mechanism involving the charge symmetry violating between $\rho$ and $\omega$ is applied to enlarge the $CP$ violating asymmetry. We find that the $CP$ violation can be enhanced by the $\rho-\omega$ mixing mechanism when the invariant masses of the $\pi^+\pi^-$ pairs are in the vicinity of the $\omega$ resonance. For the decay process of $\bar{B}^0_{s}\to\rho(\omega )\phi\to{\pi^+}{\pi^-}\phi$, the maximum $CP$ violation can reach $5.98\%$. The possibility of detecting the $CP$ violation is also presented.


title: Density Functional Methods for the Magnetism of Transition Metals: SCAN in Relation to Other Functionals

abstract: We report tests of various density functionals for ferromagnetic, Fe, Co and Ni with a focus on characterizing the behavior of the so-called strongly constrained and appropriately normed (SCAN) functional. It is found that SCAN is closer in behavior to functionals that yield localized behavior, such as hybrid functionals, than other semilocal functionals that are tested. The results are understood in terms of a tendency to differentiate orbitals, favoring integer occupation, which is necessary for a correct description of atomic systems, but inappropriate for the open shell metallic ferromagnetic metals studied here.


title: Scattering for the mass super-critical perturbations of the mass critical nonlinear Schr\"odinger equations

abstract: We consider the Cauchy problem for the nonlinear Schr\"odinger equation with double nonlinearities with opposite sign, with one term is mass-critical and the other term is mass-supercritical and energy-subcritical, which includes the famous two-dimensional cubic-quintic nonlinear Schr\"odinger equaton. We prove global wellposedness and scattering in $H^1(\mathbb{R}^d)$ below the threshold for non-radial data when $1 \le d \le 4$.


title: AlphaClean: Automatic Generation of Data Cleaning Pipelines

abstract: The analyst effort in data cleaning is gradually shifting away from the design of hand-written scripts to building and tuning complex pipelines of automated data cleaning libraries. Hyper-parameter tuning for data cleaning is very different than hyper-parameter tuning for machine learning since the pipeline components and objective functions have structure that tuning algorithms can exploit. This paper proposes a framework, called AlphaClean, that rethinks parameter tuning for data cleaning pipelines. AlphaClean provides users with a rich library to define data quality measures with weighted sums of SQL aggregate queries. AlphaClean applies generate-then-search framework where each pipelined cleaning operator contributes candidate transformations to a shared pool. Asynchronously, in separate threads, a search algorithm sequences them into cleaning pipelines that maximize the user-defined quality measures. This architecture allows AlphaClean to apply a number of optimizations including incremental evaluation of the quality measures and learning dynamic pruning rules to reduce the search space. Our experiments on real and synthetic benchmarks suggest that AlphaClean finds solutions of up-to 9x higher quality than naively applying state-of-the-art parameter tuning methods, is significantly more robust to straggling data cleaning methods and redundancy in the data cleaning library, and can incorporate state-of-the-art cleaning systems such as HoloClean as cleaning operators.


title: Structural Invertibility and Optimal Sensor Node Placement for Error and Input Reconstruction in Dynamic Systems

abstract: Despite recent progress in our understanding of complex dynamic networks, it remains challenging to devisesufficiently accurate models to observe, control or predict the state of real systems in biology, economics or other fields. A largely overlooked fact is that these systems are typically open and receive unknown inputs from their environment. A further fundamental obstacle are structural model errors caused by insufficient or inaccurate knowledge about the quantitative interactions in the real system. Here, we show that unknown inputs to open systems and model errors can be treated under the common framework of invertibility, which is a requirement for reconstructing these disturbances from output measurements. By exploiting the fact that invertibility can be decided from the influence graph of the system, we analyse the relationship between structural network properties and invertibility under different realistic scenarios. We show that sparsely connected scale free networks are the most difficult to invert. We introduce a new sensor node placement algorithm to select a minimum set of measurement positions in the network required for invertibility. This algorithm facilitates optimal experimental design for the reconstruction of inputs or model errors from output measurements. Our results have both fundamental and practical implications for nonlinear systems analysis, modelling and design.


title: Evaluating Recurrent Neural Network Explanations

abstract: Recently, several methods have been proposed to explain the predictions of recurrent neural networks (RNNs), in particular of LSTMs. The goal of these methods is to understand the network's decisions by assigning to each input variable, e.g., a word, a relevance indicating to which extent it contributed to a particular prediction. In previous works, some of these methods were not yet compared to one another, or were evaluated only qualitatively. We close this gap by systematically and quantitatively comparing these methods in different settings, namely (1) a toy arithmetic task which we use as a sanity check, (2) a five-class sentiment prediction of movie reviews, and besides (3) we explore the usefulness of word relevances to build sentence-level representations. Lastly, using the method that performed best in our experiments, we show how specific linguistic phenomena such as the negation in sentiment analysis reflect in terms of relevance patterns, and how the relevance visualization can help to understand the misclassification of individual samples.


title: Online Learning Algorithms for Quaternion ARMA Model

abstract: In this paper, we address the problem of adaptive learning for autoregressive moving average (ARMA) model in the quaternion domain. By transforming the original learning problem into a full information optimization task without explicit noise terms, and then solving the optimization problem using the gradient descent and the Newton analogues, we obtain two online learning algorithms for the quaternion ARMA. Furthermore, regret bound analysis accounting for the specific properties of quaternion algebra is presented, which proves that the performance of the online algorithms asymptotically approaches that of the best quaternion ARMA model in hindsight.


title: ASIME 2018 White Paper. In-Space Utilisation of Asteroids: Asteroid Composition -- Answers to Questions from the Asteroid Miners

abstract: In keeping with the Luxembourg government's initiative to support the future use of space resources, ASIME 2018 was held in Belval, Luxembourg on April 16-17, 2018. The goal of ASIME 2018: Asteroid Intersections with Mine Engineering, was to focus on asteroid composition for advancing the asteroid in-space resource utilisation domain. What do we know about asteroid composition from remote-sensing observations? What are the potential caveats in the interpretation of Earth-based spectral observations? What are the next steps to improve our knowledge on asteroid composition by means of ground-based and space-based observations and asteroid rendez-vous and sample return missions? How can asteroid mining companies use this knowledge? ASIME 2018 was a two-day workshop of almost 70 scientists and engineers in the context of the engineering needs of space missions with in-space asteroid utilisation. The 21 Questions from the asteroid mining companies were sorted into the four asteroid science themes: 1) Potential Targets, 2) Asteroid-Meteorite Links, 3) In-Situ Measurements and 4) Laboratory Measurements. The Answers to those Questions were provided by the scientists with their conference presentations and collected by A. Graps or edited directly into an open-access collaborative Google document or inserted by A. Graps using additional reference materials. During the ASIME 2018, first day and second day Wrap-Ups, the answers to the questions were discussed further. New readers to the asteroid mining topic may find the Conversation boxes and the Mission Design discussions especially interesting.


title: Super-resolution microscopy via ptychographic structured modulation of a diffuser

abstract: We report a new coherent imaging technique, termed ptychographic structured modulation (PSM), for quantitative super-resolution microscopy. In this technique, we place a thin diffuser (i.e., a scattering lens) in between the sample and the objective lens to modulate the complex light waves from the object. The otherwise inaccessible high-resolution object information can thus be encoded into the captured images. We then employ a ptychographic phase retrieval process to jointly recover the exit wavefront of the complex object and the unknown diffuser profile. Unlike the illumination-based super-resolution approach, the recovered image of our approach depends upon how the complex wavefront exits the sample - not enters it. Therefore, the sample thickness becomes irrelevant during reconstruction. After recovery, we can propagate the super-resolution complex wavefront to any position along the optical axis. We validate our approach using a resolution target, a quantitative phase target, a two-layer sample, and a thick PDMS sample. We demonstrate a 4.5-fold resolution gain over the diffraction limit. We also show that a 4-fold resolution gain can be achieved with as few as ~30 images. The reported approach may provide a quantitative super-resolution strategy for coherent light, X-ray, and electron imaging.


title: Optimal C^{1,\apha} regularity for degenerate fully nonlinear elliptic equations with Neumann boundary condition

abstract: In the present paper, we study sharp C^{1;\alpha} regularity results with boundary Neumann condition for viscosity solutions for a class of degenerate fully non-linear elliptic equations with Neumann boundary conditions.


title: DeepFreak: Learning Crystallography Diffraction Patterns with Automated Machine Learning

abstract: Serial crystallography is the field of science that studies the structure and properties of crystals via diffraction patterns. In this paper, we introduce a new serial crystallography dataset comprised of real and synthetic images; the synthetic images are generated through the use of a simulator that is both scalable and accurate. The resulting dataset is called DiffraNet, and it is composed of 25,457 512x512 grayscale labeled images. We explore several computer vision approaches for classification on DiffraNet such as standard feature extraction algorithms associated with Random Forests and Support Vector Machines but also an end-to-end CNN topology dubbed DeepFreak tailored to work on this new dataset. All implementations are publicly available and have been fine-tuned using off-the-shelf AutoML optimization tools for a fair comparison. Our best model achieves 98.5% accuracy on synthetic images and 94.51% accuracy on real images. We believe that the DiffraNet dataset and its classification methods will have in the long term a positive impact in accelerating discoveries in many disciplines, including chemistry, geology, biology, materials science, metallurgy, and physics.


title: Galactic dynamics and long-range quantum gravity

abstract: We explore in a systematic way the possibility that long-range quantum gravity effects could play a role at galactic scales and could be responsible for the phenomenology commonly attributed to dark matter. We argue that the presence of baryonic matter breaks the scale symmetry of the de Sitter (dS) spacetime generating an IR scale $r_0$, corresponding to the scale at which the typical dark matter effects we observe in galaxies arise. It also generates a huge number of bosonic excitations with wavelength larger than the size of the cosmological horizon and in thermal equilibrium with dS spacetime. We show that for $r\gtrsim r_0$ these excitations produce a new component for the radial acceleration of stars in galaxies which leads to the result found by McGaugh {\sl et al.} by fitting a large amount of observational data and with the MOND theory. We also propose a generalized thermal equivalence principle and use it to give another independent derivation of our result. Finally, we show that our result can be also derived as the weak field limit of Einstein's general relativity sourced by an anisotropic fluid.

categories: gr-qc astro-ph.CO cond-mat.other cond-mat.supr-con hep-th


title: Non-Local Annihilation of Weyl Fermions in Correlated Systems

abstract: Weyl semimetals (WSMs) are characterized by topologically stable pairs of nodal points in the band structure, that typically originate from splitting a degenerate Dirac point by breaking symmetries such as time reversal or inversion symmetry. Within the independent electron approximation, the transition between an insulating state and a WSM requires the local creation or annihilation of one or several pairs of Weyl nodes in reciprocal space. Here, we show that strong electron-electron interactions may qualitatively change this scenario. In particular, we reveal that the transition to a Weyl semi-metallic phase can become discontinuous, and, quite remarkably, pairs of Weyl nodes with a finite distance in momentum space suddenly appear or disappear in the spectral function. We associate this behavior to the buildup of strong many-body correlations in the topologically non-trivial regions, manifesting in dynamical fluctuations in the orbital channel. We also highlight the impact of electronic correlations on the Fermi arcs.


title: The coupling between inertial and rotational eigenmodes in planets with liquid cores

abstract: The Earth is a rapidly rotating body. The centrifugal pull makes its shape resemble a flattened ellipsoid and Coriolis forces support waves in its fluid core, known as inertial waves. These waves can lead to global oscillations, or modes, of the fluid. Periodic variations of the Earth's rotation axis (nutations) can lead to an exchange of angular momentum between the mantle and the fluid core and excite these inertial modes. In addition to viscous torques that exist regardless of the shape of the boundaries, the small flattening of the core-mantle boundary (CMB) allows inertial modes to exert pressure torques on the mantle. These torques effectively couple the rigid-body dynamics of the Earth with the fluid dynamics of the fluid core. Here we present the first high resolution numerical model that solves simultaneously the rigid body dynamics of the mantle and the Navier-Stokes equation for the liquid core. This method takes naturally into account dissipative processes in the fluid that are ignored in current nutation models. We find that the Free Core Nutation (FCN) mode, mostly a toroidal fluid flow if the mantle has a large moment of inertia, enters into resonance with nearby modes if the mantle's moment of inertia is reduced. These mode interactions seem to be completely analogous to the ones discovered by Schmitt (2006) in a uniformly rotating ellipsoid with varying flattening.


title: Copy mechanism and tailored training for character-based data-to-text generation

abstract: In the last few years, many different methods have been focusing on using deep recurrent neural networks for natural language generation. The most widely used sequence-to-sequence neural methods are word-based: as such, they need a pre-processing step called delexicalization (conversely, relexicalization) to deal with uncommon or unknown words. These forms of processing, however, give rise to models that depend on the vocabulary used and are not completely neural. In this work, we present an end-to-end sequence-to-sequence model with attention mechanism which reads and generates at a character level, no longer requiring delexicalization, tokenization, nor even lowercasing. Moreover, since characters constitute the common "building blocks" of every text, it also allows a more general approach to text generation, enabling the possibility to exploit transfer learning for training. These skills are obtained thanks to two major features: (i) the possibility to alternate between the standard generation mechanism and a copy one, which allows to directly copy input facts to produce outputs, and (ii) the use of an original training pipeline that further improves the quality of the generated texts. We also introduce a new dataset called E2E+, designed to highlight the copying capabilities of character-based models, that is a modified version of the well-known E2E dataset used in the E2E Challenge. We tested our model according to five broadly accepted metrics (including the widely used BLEU), showing that it yields competitive performance with respect to both character-based and word-based approaches.


title: Quantum Tomography by Regularized Linear Regression

abstract: In this paper, we study extended linear regression approaches for quantum state tomography based on regularization techniques. For unknown quantum states represented by density matrices, performing measurements under certain basis yields random outcomes, from which a classical linear regression model can be established. First of all, for complete or over-complete measurement bases, we show that the empirical data can be utilized for the construction of a weighted least squares estimate (LSE) for quantum tomography. Taking into consideration the trace-one condition, a constrained weighted LSE can be explicitly computed, being the optimal unbiased estimation among all linear estimators. Next, for general measurement bases, we show that $\ell_2$-regularization with proper regularization gain provides even lower mean-square error under a cost in bias. The regularization parameter is tuned by two estimators in terms of a risk characterization. Finally, a concise and unified formula is established for the regularization parameter with complete measurement basis under an equivalent regression model, which proves that the proposed tuning estimators are asymptotically optimal as the number of samples grows to infinity under the risk metric. Additionally, numerical examples are provided to validate the established results.


title: X-ray transients from the accretion-induced collapse of white dwarfs

abstract: The accretion-induced collapse (AIC) of a white dwarf in a binary with a nondegenerate companion can sometimes lead to the formation of a rapidly rotating and highly magnetized neutron star (NS). The spin-down of this NS can drive a powerful pulsar wind (PW) and bring out some detectable multi-wavelength emissions. On the one hand, the PW can evaporate the companion in a few days to form a torus surrounding the NS. Then, due to the blockage of the PW by the torus, a reverse shock can be formed in the wind to generate intense hard X-rays. This emission component disappears in a few weeks' time, after the torus is broken down at its inner boundary and scoured into a very thin disk. On the other hand, the interaction between the PW with an AIC ejecta can lead to a termination shock of the wind, which can produce a long-lasting soft X-ray emission component. In any case, the high-energy emissions from deep inside the system can be detected only after the AIC ejecta becomes transparent for X-rays. Meanwhile, by absorbing the X-rays, the AIC ejecta can be heated effectively and generate a fast-evolving and luminous ultraviolet (UV)/optical transient. Therefore, the predicted hard and soft X-ray emissions, associated by an UV/optical transient, provide a clear observational signature for identifying AIC events in current and future observations (e.g., AT 2018cow).


title: Polarization of kilonova emission from a black hole-neutron star merger

abstract: A multi-messenger, black hole (BH) - neutron star (NS) merger event still remains to be detected. The tidal (dynamical) ejecta from such an event, thought to produce a kinonova, is concentrated in the equatorial plane and occupies only part of the whole azimuthal angle. In addition, recent simulations suggest that the outflow or wind from the post-merger remnant disk, presumably anisotropic, can be a major ejecta component responsible for a kilonova. For any ejecta whose photosphere shape deviates from the spherical symmetry, the electron scattering at the photosphere causes a net polarization in the kilonova light. Recent observational and theoretical polarization studies have been focused to the NS-NS merger kilonova AT2017gfo. We extend those work to the case of a BH-NS merger kilonova. We show that the degree of polarization at the first $\sim 1$ hr can be up to $\sim$ 3\% if a small amount ($10^{-4} M_{\odot}$) of free neutrons have survived in the fastest component of the dynamical ejecta, whose beta-decay causes a precursor in the kilonova light. The polarization degree can be $\sim$ 0.6\% if free neutrons survived in the fastest component of the disk wind. Future polarization detection of a kilonova will constrain the morphology and composition of the dominant ejecta component, therefore help to identify the nature of the merger.


title: Astro2020 Science White Paper: Populations of Black Holes in Binaries

abstract: Black holes in binary star systems are vital for understanding the process of pr oducing gravitational wave sources, understanding how supernovae work, and for p roviding fossil evidence for the high mass stars from earlier in the Universe. At the present time, sample sizes of these objects, and especially of black hole s in binaries, are quite limited. Furthermore, more precise measurements of the binary parameters are needed, as well. With improvements primarily in X-ray an d radio astronomy capabilities, it should be possible to build much larger sampl es of much better measured black hole binaries.


title: Fast Inversion of Solar Ca II Spectra in Non-Local Thermodynamic Equilibrium

abstract: Present day solar imaging spectrometers typically yield a few hundred million spectra in one hour of observing time. This number will increase by an order of magnitude for future instruments with larger 4k x 4k sensors as planned to be used for the upcoming DKIST solar telescope. A fast quantitative analysis of such huge data volumes can be done by comparing the observations to an archive of pre-calculated synthetic spectra to infer the thermodynamic properties of the atmosphere. To analyze intensity spectra of the Ca II IR line at 854 nm in the solar atmosphere, we generated an archive with 2,000,000 spectra under the assumption of non-local thermodynamic equilibrium (NLTE) with the NICOLE code (Socas-Navarro et al, 2015). We tested its performance by inverting 60 spectral scans of Ca II IR at 854 nm in the magnetically quiet Sun with 700,000 profiles each. Based on the inversion results obtained using the full archive, we construct a smaller archive by keeping only the about 70,000 archive profiles that were actually used. We can reproduce the observed intensity spectra to within a few percent using either the full or the small archive. For spectra with 30 wavelength points, this NLTE inversion approach takes 0.02 (0.35) s per profile to obtain a temperature stratification when using the small (full) archive, i.e., it can invert a single spectral scan in about 4 (68) hrs. The code is able to simultaneously deal with an arbitrary number of spectral lines. This makes it a promising tool for deriving thermodynamic properties of the solar atmosphere from current or future solar high-resolution observations of photospheric and chromospheric lines.


title: Higher order superintegrability, Painlev\'e transcendents and representations of polynomial algebras

abstract: In recent years, progress toward the classification of superintegrable systems with higher order integrals of motion has been made. In particular, a complete classification of all exotic potentials with a third or a fourth order integrals, and allowing separation of variables in Cartesian coordinates. All doubly exotic potentials with a fifth order integral have also been completely classified. It has been demonstrated how the Chazy class of third order differential equations plays an important role in solving determining equations. Moreover, taking advantage of various operator algebras defined as Abelian, Heisenberg, Conformal and Ladder case of operator algebras, we re-derived these models. These new techniques also provided further examples of superintegrable Hamiltonian with integrals of arbitrary order. It has been conjectured that all quantum superintegrable potentials that do not satisfy any linear equation satisfy nonlinear equations having the Painlev\'e property. In addition, it has been discovered that their integrals naturally generate finitely generated polynomial algebras and the representations can be exploited to calculate the energy spectrum. For certain very interesting cases associated with exceptional orthogonal polynomials, these algebraic structures do not allow to calculate the full spectrum and degeneracies. It has been demonstrated that alternative sets of integrals which can be build and used to provide a complete solution. This this allow to make another conjecture i.e. that higher order superintegrable systems can be solved algebraically, they require alternative set of integrals than the one provided by a direct approach.


title: Astro2020 Science White Paper: Compact Stellar Jets

abstract: This paper outlines the importance of understanding jets from compact binaries for the problem of understanding the broader phenomenology of jet production. Because X-ray binaries are nearby and bright, have well-measured system parameters, and vary by factors of $\sim 10^6$ on $\sim$ year timescales, they provide a unique opportunity to understand how various aspects of the jet physics change in response to changes in the accretion flow, giving the possibility of looking for trends within individual systems and testing their universality with other systems, rather than trying to interpret large samples of objects on a statistical basis.


title: Nanoscale magnetophotonics

abstract: This Perspective surveys the state-of-the-art and future prospects of science and technology employing the nanoconfined light (nanophotonics and nanoplasmonics) in combination with magnetism. We denote this field broadly as nanoscale magnetophotonics. We include a general introduction to the field and describe the emerging magneto-optical effects in magnetoplasmonic and magnetophotonic nanostructures supporting localized and propagating plasmons. Special attention is given to magnetoplasmonic crystals with transverse magnetization and the associated nanophotonic non-reciprocal effects, and to magneto-optical effects in periodic arrays of nanostructures. We give also an overview of the applications of these systems in biological and chemical sensing, as well as in light polarization and phase control. We further review the area of nonlinear magnetophotonics, the semiconductor spin-plasmonics, and the general principles and applications of opto-magnetism and nano-optical ultrafast control of magnetism and spintronics.


title: Improved population operators for multi-state nonadiabatic dynamics with the mixed quantum-classical mapping approach

abstract: The mapping approach addresses the mismatch between the continuous nuclear phase space and discrete electronic states by creating an extended, fully continuous phase space using a set of harmonic oscillators to encode the populations and coherences of the electronic states. Existing quasiclassical dynamics methods based on mapping, such as the linearised semiclassical initial value representation (LSC-IVR) and Poisson bracket mapping equation (PBME) approaches, have been shown to fail in predicting the correct relaxation of electronic-state populations following an initial excitation. Here we generalise our recently published modification to the standard quasiclassical approximation for simulating quantum correlation functions. We show that the electronic-state population operator in any system can be exactly rewritten as a sum of a traceless operator and the identity operator. We show that by treating the latter at a quantum level instead of using the mapping approach, the accuracy of traditional quasiclassical dynamics methods can be drastically improved, without changes to their underlying equations of motion. We demonstrate this approach for the seven-state Frenkel-Exciton model of the Fenna-Matthews-Olson light harvesting complex, showing that our modification significantly improves the accuracy of traditional mapping approaches when compared to numerically exact quantum results.


title: Active nematic-isotropic interfaces in channels

abstract: We use numerical simulations to investigate the hydrodynamic behavior of the interface between nematic (N) and isotropic (I) phases of a confined active liquid crystal. At low activities, a stable interface with constant shape and velocity is observed separating the two phases. For nematics in homeotropic channels, the velocity of the interface at the NI transition increases from zero (i) linearly with the activity for contractile systems and (ii) quadratically for extensile ones. Interestingly, the nematic phase expands for contractile systems while it contracts for extensile ones, as a result of the active forces at the interface. Since both activity and temperature affect the stability of the nematic, for active nematics in the stable regime the temperature can be tuned to observe static interfaces, providing an operational definition for the coexistence of active nematic and isotropic phases. At higher activities, beyond the stable regime, an interfacial instability is observed for extensile nematics. In this regime defects are nucleated at the interface and move away from it. The dynamics of these defects is regular and persists asymptotically for a finite range of activities. We used an improved hybrid model of finite differences and lattice Boltzmann method with multi-relaxation-time collision operator, the accuracy of which allowed us to characterize the dynamics of the distinct interfacial regimes.


title: Quantum process tomography via optimal design of experiments

abstract: Quantum process tomography --- a primitive in many quantum information processing tasks --- can be cast within the framework of the theory of design of experiment (DoE), a branch of classical statistics that deals with the relationship between inputs and outputs of an experimental setup. Such a link potentially gives access to the many ideas of the rich subject of classical DoE for use in quantum problems. The classical techniques from DoE cannot, however, be directly applied to the quantum process tomography due to the basic structural differences between the classical and quantum estimation problems. Here, we properly formulate quantum process tomography as a DoE problem, and examine several examples to illustrate the link and the methods. In particular, we discuss the common issue of nuisance parameters, and point out interesting features in the quantum problem absent in the usual classical setting.


title: Volume and Homology for Hyperbolic 3-Orbifolds

abstract: Let ${\mathfrak M}$ be a closed, orientable, hyperbolic 3-orbifold such that $\pi_1({\mathfrak M})$ contains no hyperbolic triangle group. We show that strict upper bounds of 0.07625, 0.1525 and 0.22875 for ${\rm vol}\ {\mathfrak M}$ imply respective upper bounds of 23, 43 and 79 for $\dim H_1({\mathfrak M};{\mathbb F}_2 )$. Stronger results hold if we assume that the singular set $\Sigma$ is a link; specifically, under this assumption, strict upper bounds of 0.305, 0.4575, 0.61, 0.7625 and 0.915 for ${\rm vol}\ {\mathfrak M}$ imply respective upper bounds of 7, 13, 14, 28 and 29 for ${\rm dim}\ H_1({\mathfrak M};{\mathbb F}_2 )$. Irreducibility assumptions on the underlying manifold $|{\mathfrak M}|$ of ${\mathfrak M}$, and of the underlying manifolds of certain coverings of ${\mathfrak M}$, also give stronger results. The upper bounds on $\dim H_1({\mathfrak M};{\mathbb F}_2 )$ for an orbifold ${\mathfrak M}$ whose volume is subject to a suitable upper bound are deduced from upper bounds on ${\rm dim}\ H_1(|{\mathfrak M}|;{\mathbb F}_2 )$ for an orbifold ${\mathfrak M}$ whose volume is subject to a suitable upper bound.


title: Explainable Software for Cyber-Physical Systems (ES4CPS): Report from the GI Dagstuhl Seminar 19023, January 06-11 2019, Schloss Dagstuhl

abstract: This report documents the program and results of the GI-Dagstuhl Seminar 19023 on Explainable Software for Cyber-Physical Systems (ES4CPS). The seminar was concerned with the challenge that for future Cyber-Physical Systems (CPS), it will become increasingly relevant to explain their behavior (past, current, and future behavior, why a certain action was taken, how a certain goal can be achieved, etc.) to users, engineers, and other stakeholders. In order to increase the explainability of CPS and their engineering tools, fundamental, interdisciplinary research is required; solutions from multiple disciplines within software engineering, systems engineering, and related fields have to be applied, combined, and researched further. The goal of this seminar was to serve as a starting point for an interdisciplinary coordination of research activities targeting ES4CPS and an incubator of a new research community around this topic.


title: TOI-216b and TOI-216c: Two warm, large exoplanets in or slightly wide of the 2:1 orbital resonance

abstract: Warm, large exoplanets with 10-100 day orbital periods pose a major challenge to our understanding of how planetary systems form and evolve. Although high eccentricity tidal migration has been invoked to explain their proximity to their host stars, a handful reside in or near orbital resonance with nearby planets, suggesting a gentler history of in situ formation or disk migration. Here we confirm and characterize a pair of warm, large exoplanets discovered by the TESS Mission orbiting K-dwarf TOI-216. Our analysis includes additional transits and transit exclusion windows observed via ground-based follow-up. We find two families of solutions, one corresponding to a sub-Saturn-mass planet accompanied by a Neptune-mass planet and the other to a Jupiter in resonance with a sub-Saturn-mass planet. We prefer the second solution based on the orbital period ratio, the planet radii, the lower free eccentricities, and libration of the 2:1 resonant argument, but cannot rule out the first. The free eccentricities and mutual inclination are compatible with stirring by other, undetected planets in the system, particularly for the second solution. We discuss prospects for better constraints on the planets' properties and orbits through follow-up, including transits observed from the ground.


title: Stability of pulse-like earthquake ruptures

abstract: Pulse-like ruptures arise spontaneously in many elastodynamic rupture simulations and seem to be the dominant rupture mode along crustal faults. Pulse-like ruptures propagating under steady-state conditions can be efficiently analysed theoretically, but it remains unclear how they can arise and how they evolve if perturbed. Using thermal pressurisation as a representative constitutive law, we conduct elastodynamic simulations of pulse-like ruptures and determine the spatio-temporal evolution of slip, slip rate and pulse width perturbations induced by infinitesimal perturbations in background stress. These simulations indicate that steady-state pulses driven by thermal pressurisation are unstable. If the initial stress perturbation is negative, ruptures stop; conversely, if the perturbation is positive, ruptures grow and transition to either self-similar pulses (at low background stress) or expanding cracks (at elevated background stress). Based on a dynamic dislocation model, we develop an elastodynamic equation of motion for slip pulses, and demonstrate that steady-state slip pulses are unstable if their accrued slip $b$ is a decreasing function of the uniform background stress $\tau_\mathrm{b}$. This condition is satisfied by slip pulses driven by thermal pressurisation. The equation of motion also predicts quantitatively the growth rate of perturbations, and provides a generic tool to analyse the propagation of slip pulses. The unstable character of steady-state slip pulses implies that this rupture mode is a key one determining the minimum stress conditions for sustainable ruptures along faults, i.e., their ``strength''. Furthermore, slip pulse instabilities can produce a remarkable complexity of rupture dynamics, even under uniform background stress conditions and material properties.


title: Regularity of the density of states of Random Schr\"odinger Operators

abstract: In this paper we solve a long standing open problem for Random Schr\"odinger operators on $L^2(\mathbb{R}^d)$ with i.i.d single site random potentials. We allow a large class of free operators, including magnetic potential, however our method of proof works only for the case when the random potentials satisfy a complete covering condition. We require that the supports of the random potentials cover $\mathbb{R}^d$ and the bump functions that appear in the random potentials form a partition of unity. For such models, we show that the Density of States (DOS) is $m$ times differentiable in the part of the spectrum where exponential localization is valid, if the single site distribution has compact support and has H\"older continuous $m+1$ st derivative. The required H\"older continuity depends on the fractional moment bounds satisfied by appropriate operator kernels. Our proof of the Random Schr\"odinger operator case is an extensions of our proof for Anderson type models on $\ell^2(\mathbb{G})$, $\mathbb{G}$ a countable set, with the property that the cardinality of the set of points at distance $N$ from any fixed point grows at some rate in $N^\alpha, \alpha >0$. This condition rules out the Bethe lattice, where our method of proof works but the degree of smoothness also depends on the localization length, a result we do not present here. Even for these models the random potentials need to satisfy a complete covering condition. The Anderson model on the lattice for which regularity results were known earlier also satisfies the complete covering condition.


title: Spectrum of the Yellow Symbiotic Star LT Delphini before, during, and after the 2017 Outburst

abstract: LT Del is a yellow symbiotic system that consists of a bright K3-type giant and a hot subdwarf with a temperature of about 10$^5$ K. We present the results of our spectroscopic observations of LT Del over the period 2010-2018. In 2017 the star experienced a second low-amplitude ($\Delta V\sim0.^{m}7$) outburst in the history of its studies. The emission spectrum of the star represented in the optical range by hydrogen, neutral and ionized helium lines underwent significant changes in the outburst. The fluxes in the HI and HeI emission lines increased by a factor of 5-6, the HeII $\lambda$4686 line grew by a factor of 10. According to our estimates, in the 2017 outburst, the temperature of the exciting star rose to $T_{\text{hot}}\sim$130~000 K, while during the first 1994 outburst the change in temperature was insignificant. This suggests cool and hot outbursts of LT Del by analogy with similar events of another yellow symbiotic star, AG Dra.


title: Some partial differential equations and conformal surfaces of the 4-dimensional Minkowski space

abstract: This paper introduces a complex representation for spacelike surfaces in the Lorentz-Minkowski space $L^4$, based in two complex valued functions which can be assumed to be holomorphic or anti-holomorphic. When the immersion is contained in quadrics of $L^4$, the representation then allows us to obtain interesting partial differential equations with holomorphic or anti-holomorphic parameters, within which we find the partial Riccati Equation. Using then theory of holomorphic complex functions we construct explicitly new local solutions for those PDEs together with its associated geometric solutions. So, several explicit examples are given. As geometric consequence, through of our approach we characterize all conformal totally umbilical spacelike immersions into $L^4$, and in addition, we also show that for each conformal immersion in $L^4$ which satisfies the partial Riccati equation there exists a Bryant immersion in $H^3$, both immersions being congruent by a translation vector.


title: Predicting Student Performance in an Educational Game Using a Hidden Markov Model

abstract: Contributions: Prior studies on education have mostly followed the model of the cross sectional study, namely, examining the pretest and the posttest scores. This paper shows that students' knowledge throughout the intervention can be estimated by time series analysis using a hidden Markov model. Background: Analyzing time series and the interaction between the students and the game data can result in valuable information that cannot be gained by only cross sectional studies of the exams. Research Questions: Can a hidden Markov model be used to analyze the educational games? Can a hidden Markov model be used to make a prediction of the students' performance? Methodology: The study was conducted on (N=854) students who played the Save Patch game. Students were divided into class 1 and class 2. Class 1 students are those who scored lower in the test than class 2 students. The analysis is done by choosing various features of the game as the observations. Findings: The state trajectories can predict the students' performance accurately for both class 1 and class 2.


title: Sparse Neural Attentive Knowledge-based Models for Grade Prediction

abstract: Grade prediction for future courses not yet taken by students is important as it can help them and their advisers during the process of course selection as well as for designing personalized degree plans and modifying them based on their performance. One of the successful approaches for accurately predicting a student's grades in future courses is Cumulative Knowledge-based Regression Models (CKRM). CKRM learns shallow linear models that predict a student's grades as the similarity between his/her knowledge state and the target course. A student's knowledge state is built by linearly accumulating the learned provided knowledge components of the courses he/she has taken in the past, weighted by his/her grades in them. However, not all the prior courses contribute equally to the target course. In this paper, we propose a novel Neural Attentive Knowledge-based model (NAK) that learns the importance of each historical course in predicting the grade of a target course. Compared to CKRM and other competing approaches, our experiments on a large real-world dataset consisting of $\sim$1.5 grades show the effectiveness of the proposed NAK model in accurately predicting the students' grades. Moreover, the attention weights learned by the model can be helpful in better designing their degree plans.


title: Group connectivity in COSMOS: a tracer of mass assembly history

abstract: Cosmic filaments are the channel through which galaxy groups assemble their mass. Cosmic connectivity, namely the number of filaments connected to a given group, is therefore expected to be an important ingredient in shaping group properties. The local connectivity is measured in COSMOS around X-Ray detected groups between redshift 0.5 and 1.2. To this end, large-scale filaments are extracted using the accurate photometric redshifts of the COSMOS2015 catalogue in two-dimensional slices of thickness 120 comoving Mpc centred on the group's redshift. The link between connectivity, group mass and the properties of the brightest group galaxy (BGG) is investigated. The same measurement is carried out on mocks extracted from the lightcone of the hydrodynamical simulation Horizon-AGN in order to control systematics. More massive groups are on average more connected. At fixed group mass in low-mass groups, BGG mass is slightly enhanced at high connectivity, while in high mass groups BGG mass is lower at higher connectivity. Groups with a star-forming BGG have on average a lower connectivity at given mass. From the analysis of the Horizon-AGN simulation, we postulate that different connectivities trace different paths of group mass assembly: at high group mass, groups with higher connectivity are more likely to have grown through a recent major merger, which might be in turn the reason for the quenching of the BGG. Future large-field photometric surveys, such as Euclid and LSST, will be able to confirm and extend these results by probing a wider mass range and a larger variety of environment.


title: Approximation of Riemannian Distances and Applications to Distance-Based Learning on Manifolds

abstract: Several important algorithms for machine learning and data analysis use pairwise distances as input. On Riemannian manifolds these distances may be prohibitively costly to compute, in particular for large datasets. To tackle this problem, we propose a distance approximation which requires only a linear number of geodesic boundary value problems to be solved. The approximation is constructed by fitting a two-dimensional model space with constant curvature to each pair of samples. We demonstrate the usefulness of our approach in the context of shape analysis on landmarks spaces.


title: Preferential attachment without vertex growth: emergence of the giant component

abstract: We study the following preferential attachment variant of the classical Erdos-Renyi random graph process. Starting with an empty graph on n vertices, new edges are added one-by-one, and each time an edge is chosen with probability roughly proportional to the product of the current degrees of its endpoints (note that the vertex set is fixed). We determine the asymptotic size of the giant component in the supercritical phase, confirming a conjecture of Pittel from 2010. Our proof uses a simple method: we condition on the vertex degrees (of a multigraph variant), and use known results for the configuration model.

categories: math.PR cond-mat.stat-mech cs.SI math.CO physics.soc-ph


title: Confinement of wave-function in Fractal geometry, a detection using DFT

abstract: Fractals are self-repeating patterns which have dimensions given by fractions rather than integers. While the dimension of a system unambiguously defines its properties, a fractional dimensional system can exhibit interesting properties. The recent work on confinement of the electronic wavefunction in fractal dimensions by creating artificial lattice has given rise to new possibilities of designing artificial lattice. In this study, we demonstrate that the first principle methods can be effectively employed to investigate, design and characterize electrons in Hausdorff dimension. We apply the method to study the molecular graphene and Lieb lattices which lead to fractal lattices based on these fractals. We construct the hexaflake and Vicsek fractals by adsorption of CO molecules on Cu(111) surface. This opens up the possibility of using high throughput techniques for screening and discovering such lattices from currently known crystals or developing them altogether.


title: On all things star-free

abstract: We investigate the star-free closure, which associates to a class of languages its closure under Boolean operations and marked concatenation. We prove that the star-free closure of any finite class and of any class of groups languages with decidable separation (plus mild additional properties) has decidable separation. We actually show decidability of a stronger property, called covering. This generalizes many results on the subject in a unified framework. A key ingredient is that star-free closure coincides with another closure operator where Kleene stars are also allowed in restricted contexts.


title: Unifying Part Detection and Association for Recurrent Multi-Person Pose Estimation

abstract: We propose a joint model of human joint detection and association for 2D multi-person pose estimation (MPPE). The approach unifies training of joint detection and association without a need for further processing or sophisticated heuristics in order to associate the joints with people individually. The approach consists of two stages, where in the first stage joint detection heatmaps and association features are extracted, and in the second stage, whose input are the extracted features of the first stage, we introduce a recurrent neural network (RNN) which predicts the heatmaps of a single person's joints in each iteration. In addition, the network learns a stopping criterion in order to halt once it has identified all individuals in the image. This approach allowed us to eliminate several heuristic assumptions and parameters needed for association which do not necessarily hold true. Additionally, such an end-to-end approach allows the final objective to be known and directly optimized over during training. We evaluated our model on the challenging MSCOCO dataset and obtained an improvement over the baseline, particularly in challenging scenes with occlusions.


title: Self-Organizing Quantum Networks

abstract: As the inevitable development trend of quantum key distribution, quantum networks have attracted extensive attention, and many prototypes have been deployed over recent years. Existing quantum networks based on optical fibers or quantum satellites can realize the metro and even global communications. However, for some application scenarios that require emergency or temporary communications, such networks cannot meet the requirements of rapid deployment, low cost, and high mobility. To solve this problem, we introduce an important concept of classical networks, i.e., self-organization, to quantum networks, and give two simple network prototypes based on acquisition, tracking, and pointing systems. In these networks, the users only need to deploy the network nodes, which will rapidly, automatically, and adaptively organize and mange a quantum network. Our method expands the application scope of quantum networks, and gives a new approach for the design and implementation of quantum networks. It also provides users with a low-cost access network solution, and can be used to fundamentally solve the security problem of classical self-organizing networks.


title: Logarithmic Accuracy of Angular-Ordered Parton Showers

abstract: We study the logarithmic accuracy of angular-ordered parton showers by considering the singular limits of multiple emission matrix elements. This allows us to consider different choices for the evolution variable and propose a new choice which has both the correct logarithmic behaviour and improved performance away from the singular regions. In particular the description of $e^+e^-$ event shapes in the non-logarithmic region is significantly improved.


title: Foliation by free boundary constant mean curvature leaves

abstract: Let $M$ be a Riemannian manifold of dimension $n+1$ with smooth boundary and $p\in \partial M$. We prove that there exists a smooth foliation around $p$ whose leaves are submanifolds of dimension $n$, constant mean curvature and its arrive perpendicular to the boundary of M, provided that $p$ is a nondegenerate critical point of the mean curvature function of $\partial M$.


title: A note on unitary Cayley graphs of matrix algebras

abstract: Dariush Kiani et al.\cite{kiani2015unitary} claim to have found the unitary Cayley graph $Cay(M_{n}(F),GL_{n}(F))$ of matrix algebras over finite field $F$ is strongly regular only when $n=2$, but they have only considered two special cases, namely when $n = 2$ and $3$ and have failed to cover the general cases. In this paper, we prove that the unitary Cayley graph of matrix algebras over finite field $F$ is strongly regular if and only if $n=2$.


title: On stability of small solitons of the 1--D NLS with a trapping delta potential

abstract: We consider a Nonlinear Schr\"odinger Equation with a very general non linear term and with a trapping $\delta $ potential on the line. We then discuss the asymptotic behavior of all its small solutions, generalizing a recent result by Masaki et al. We give also a result of dispersion in the case of defocusing equations with a non--trapping delta potential.


title: On the regularity of Ricci flows coming out of metric spaces

abstract: We consider smooth, not necessarily complete, Ricci flows, $(M,g(t))_{t\in (0,T)}$ with ${\mathrm{Ric}}(g(t)) \geq -1$ and $| {\mathrm{Rm}} (g(t))| \leq c/t$ for all $t\in (0 ,T)$ coming out of metric spaces $(M,d_0)$ in the sense that $(M,d(g(t)), x_0) \to (M,d_0, x_0)$ as $t\searrow 0$ in the pointed Gromov-Hausdorff sense. In the case that $B_{g(t)}(x_0,1) \Subset M$ for all $t\in (0,T)$ and $d_0$ is generated by a smooth Riemannian metric in distance coordinates, we show using Ricci-harmonic map heat flow, that there is a corresponding smooth solution $\tilde g(t)_{t\in (0,T)}$ to the $\delta$-Ricci-DeTurck flow on an Euclidean ball ${\mathbb B}_{r}(p_0) \subset {\mathbb R}^n$, which can be extended to a smooth solution defined for $t \in [0,T)$. We further show, that this implies that the original solution $g$ can be extended to a smooth solution on $B_{d_0}(x_0,r/2)$ for $t\in [0,T)$, in view of the method of Hamilton.


title: On the Dependence between Functions of Quantile and Dispersion Estimators

abstract: In this paper, we derive the joint asymptotic distributions of functions of quantile estimators (the non-parametric sample quantile and the parametric location-scale quantile estimator) with functions of measure of dispersion estimators (the sample variance, sample mean absolute deviation, sample median absolute deviation) - assuming an underlying identically and independently distributed sample. We also discuss the conditions required by the use of such estimators. Further, we show that these results can be extended to any higher order absolute central sample moment as measure of dispersion. Aware of the difference in speed of convergence of the two quantile estimators, we compare the impact of the choice of the quantile estimator (and measure of dispersion) on the asymptotic correlations. Then we prove a scaling law for the asymptotic dependence of quantile estimators with measure of dispersion estimators. Finally, we show a good finite sample performance of the asymptotics in simulations for elliptical distributions. All the results should constitute an important and useful complement in the statistical literature as those estimators are either of standard use in statistics and application fields, or should become as such because of weaker conditions in the asymptotic theorems.


title: Tunable axion plasma haloscopes

abstract: We propose a new strategy to search for dark matter axions using tunable cryogenic plasmas. Unlike current experiments, which repair the mismatch between axion and photon masses by breaking translational invariance (cavity and dielectric haloscopes), a plasma haloscope enables resonant conversion by matching the axion mass to a plasma frequency. A key advantage is that the plasma frequency is unrelated to the physical size of the device, allowing large conversion volumes. We identify wire metamaterials as a promising candidate plasma, wherein the plasma frequency can be tuned by varying the interwire spacing. For realistic experimental sizes we estimate competitive sensitivity for axion masses $35-400\,\mu$eV, at least.


title: Topological lasers generating and multiplexing topological light

abstract: Vortices are topologically stable singularities at the center of a swirl of energy. Optical vortices are conventionally formed using diffractive optics or by bespoke optical elements. We report room temperature integrated lasers directly generating and multiplexing coherent beams carrying arbitrarily large orbital angular momenta (OAM). The OAM beams are created using two-dimensional topological-rings formed by circular boundaries between topologically distinct photonic materials that naturally radiate vortices in the third dimension. We also demonstrate the planar multiplexing of OAM beams using concentric lasers. Our experimental demonstration reveals a subtle connection between topological matter and topological light and provides opportunities in microscopy, metrology, high-capacity communications, and quantum information processing.


title: AutoEncoders for Training Compact Deep Learning RF Classifiers for Wireless Protocols

abstract: We show that compact fully connected (FC) deep learning networks trained to classify wireless protocols using a hierarchy of multiple denoising autoencoders (AEs) outperform reference FC networks trained in a typical way, i.e., with a stochastic gradient based optimization of a given FC architecture. Not only is the complexity of such FC network, measured in number of trainable parameters and scalar multiplications, much lower than the reference FC and residual models, its accuracy also outperforms both models for nearly all tested SNR values (0 dB to 50dB). Such AE-trained networks are suited for in-situ protocol inference performed by simple mobile devices based on noisy signal measurements. Training is based on the data transmitted by real devices, and collected in a controlled environment, and systematically augmented by a policy-based data synthesis process by adding to the signal any subset of impairments commonly seen in a wireless receiver.


title: Learning to Prune: Speeding up Repeated Computations

abstract: It is common to encounter situations where one must solve a sequence of similar computational problems. Running a standard algorithm with worst-case runtime guarantees on each instance will fail to take advantage of valuable structure shared across the problem instances. For example, when a commuter drives from work to home, there are typically only a handful of routes that will ever be the shortest path. A naive algorithm that does not exploit this common structure may spend most of its time checking roads that will never be in the shortest path. More generally, we can often ignore large swaths of the search space that will likely never contain an optimal solution. We present an algorithm that learns to maximally prune the search space on repeated computations, thereby reducing runtime while provably outputting the correct solution each period with high probability. Our algorithm employs a simple explore-exploit technique resembling those used in online algorithms, though our setting is quite different. We prove that, with respect to our model of pruning search spaces, our approach is optimal up to constant factors. Finally, we illustrate the applicability of our model and algorithm to three classic problems: shortest-path routing, string search, and linear programming. We present experiments confirming that our simple algorithm is effective at significantly reducing the runtime of solving repeated computations.


title: Simulating Execution Time of Tensor Programs using Graph Neural Networks

abstract: Optimizing the execution time of tensor program, e.g., a convolution, involves finding its optimal configuration. Searching the configuration space exhaustively is typically infeasible in practice. In line with recent research using TVM, we propose to learn a surrogate model to overcome this issue. The model is trained on an acyclic graph called an abstract syntax tree, and utilizes a graph convolutional network to exploit structure in the graph. We claim that a learnable graph-based data processing is a strong competitor to heuristic-based feature extraction. We present a new dataset of graphs corresponding to configurations and their execution time for various tensor programs. We provide baselines for a runtime prediction task.


title: Semiclassical bounds for spectra of biharmonic operators

abstract: We provide complementary semiclassical bounds for the Riesz means $R_1(z)$ of the eigenvalues of various biharmonic operators, with a second term in the expected power of $z$. The method we discuss makes use of the averaged variational principle (AVP), and yields two-sided bounds for individual eigenvalues, which are semiclassically sharp. The AVP also yields comparisons with Riesz means of different operators, in particular Laplacians.


title: Collisions of solitary waves in condensates beyond mean-field theory

abstract: Bright solitary waves in a Bose-Einstein condensate contain thousands of identical atoms held together despite their only weakly attractive contact interactions. They nonetheless behave like a compound object, staying whole in collisions, with their collision properties strongly affected by inter-soliton quantum coherence. We show that separate solitary waves decohere due to phase diffusion, dependent on their effective ambient temperature, after which their initial mean-field relative phases are no longer well defined or relevant for collisions. In this situation, collisions occur predominantly repulsively and can no longer be described within mean field theory. When considering the time-scales involved in recent solitary wave experiments where non-equilibrium phenomena play an important role, these features could explain the predominantly repulsive collision dynamics observed in most condensate soliton train experiments.