title: On the comparability of Pre-trained Language Models

abstract: Recent developments in unsupervised representation learning have successfully established the concept of transfer learning in NLP. Mainly three forces are driving the improvements in this area of research: More elaborated architectures are making better use of contextual information. Instead of simply plugging in static pre-trained representations, these are learned based on surrounding context in end-to-end trainable models with more intelligently designed language modelling objectives. Along with this, larger corpora are used as resources for pre-training large language models in a self-supervised fashion which are afterwards fine-tuned on supervised tasks. Advances in parallel computing as well as in cloud computing, made it possible to train these models with growing capacities in the same or even in shorter time than previously established models. These three developments agglomerate in new state-of-the-art (SOTA) results being revealed in a higher and higher frequency. It is not always obvious where these improvements originate from, as it is not possible to completely disentangle the contributions of the three driving forces. We set ourselves to providing a clear and concise overview on several large pre-trained language models, which achieved SOTA results in the last two years, with respect to their use of new architectures and resources. We want to clarify for the reader where the differences between the models are and we furthermore attempt to gain some insight into the single contributions of lexical/computational improvements as well as of architectural changes. We explicitly do not intend to quantify these contributions, but rather see our work as an overview in order to identify potential starting points for benchmark comparisons. Furthermore, we tentatively want to point at potential possibilities for improvement in the field of open-sourcing and reproducible research.


title: Upper bounds for stabbing simplices by a line

abstract: It is known that for every dimension $d\ge 2$ and every $k<d$ there exists a constant $c_{d,k}>0$ such that for every $n$-point set $X\subset \mathbb R^d$ there exists a $k$-flat that intersects at least $c_{d,k} n^{d+1-k} - o(n^{d+1-k})$ of the $(d-k)$-dimensional simplices spanned by $X$. However, the optimal values of the constants $c_{d,k}$ are mostly unknown. The case $k=0$ (stabbing by a point) has received a great deal of attention. In this paper we focus on the case $k=1$ (stabbing by a line). Specifically, we try to determine the upper bounds yielded by two point sets, known as the "stretched grid" and the "stretched diagonal". Even though the calculations are independent of $n$, they are still very complicated, so we resort to analytical and numerical software methods. We provide strong evidence that, surprisingly, for $d=4,5,6$ the stretched grid yields better bounds than the stretched diagonal (unlike for all cases $k=0$ and for the case $(d,k)=(3,1)$, in which both point sets yield the same bound). Our experiments indicate that the stretched grid yields $c_{4,1}\leq 0.00457936$, $c_{5,1}\leq 0.000405335$, and $c_{6,1}\leq 0.0000291323$.


title: Actions of Cremona groups on CAT(0) cube complexes

abstract: For each d we construct CAT(0) cube complexes on which Cremona groups rank d act by isometries. From these actions we deduce new and old group theoretical and dynamical results about Cremona groups. In particular, we study the dynamical behaviour of the irreducible components of exceptional loci, we prove regularization theorems, we find new constraints on the degree growth for non-regularizable birational transformations, and we show that the centralizer of certain birational transformations is small.


title: Optimizing Wireless Systems Using Unsupervised and Reinforced-Unsupervised Deep Learning

abstract: Resource allocation and transceivers in wireless networks are usually designed by solving optimization problems subject to specific constraints, which can be formulated as variable or functional optimization. If the objective and constraint functions of a variable optimization problem can be derived, standard numerical algorithms can be applied for finding the optimal solution, which however incur high computational cost when the dimension of the variable is high. To reduce the on-line computational complexity, learning the optimal solution as a function of the environment's status by deep neural networks (DNNs) is an effective approach. DNNs can be trained under the supervision of optimal solutions, which however, is not applicable to the scenarios without models or for functional optimization where the optimal solutions are hard to obtain. If the objective and constraint functions are unavailable, reinforcement learning can be applied to find the solution of a functional optimization problem, which is however not tailored to optimization problems in wireless networks. In this article, we introduce unsupervised and reinforced-unsupervised learning frameworks for solving both variable and functional optimization problems without the supervision of the optimal solutions. When the mathematical model of the environment is completely known and the distribution of environment's status is known or unknown, we can invoke unsupervised learning algorithm. When the mathematical model of the environment is incomplete, we introduce reinforced-unsupervised learning algorithms that learn the model by interacting with the environment. Our simulation results confirm the applicability of these learning frameworks by taking a user association problem as an example.


title: Pre-modular fusion categories of small global dimensions

abstract: We first prove an analogue of Lagrange theorem for global dimensions of fusion categories, then we give a complete classifications of pre-modular fusion categories of integer global dimensions less than or equal to $10$.


title: Intelligent Roundabout Insertion using Deep Reinforcement Learning

abstract: An important topic in the autonomous driving research is the development of maneuver planning systems. Vehicles have to interact and negotiate with each other so that optimal choices, in terms of time and safety, are taken. For this purpose, we present a maneuver planning module able to negotiate the entering in busy roundabouts. The proposed module is based on a neural network trained to predict when and how entering the roundabout throughout the whole duration of the maneuver. Our model is trained with a novel implementation of A3C, which we will call Delayed A3C (D-A3C), in a synthetic environment where vehicles move in a realistic manner with interaction capabilities. In addition, the system is trained such that agents feature a unique tunable behavior, emulating real world scenarios where drivers have their own driving styles. Similarly, the maneuver can be performed using different aggressiveness levels, which is particularly useful to manage busy scenarios where conservative rule-based policies would result in undefined waits.


title: $\mathcal{H}_2$-norm transmission switching to improve synchronism of low-inertia power grids

abstract: This paper investigates the utilization of transmission switching to improve synchronization performance of low-inertia grids. The synchronization performance of power girds is first measured by the $\mathcal{H}_2$ norm of linearized power systems. Laplacian-based bounds and a close-form formulation of the $\mathcal{H}_2$-norm synchronization performance metric are derived to reveal the influence of network structure on synchronization performance. Furthermore, a transmission switching approach is developed by analyzing the sensitivity of the $\mathcal{H}_2$-norm metric to perturbation of network susceptance. Effectiveness of the proposed approach to improve synchronization performance is demonstrated using the SciGRID network for Germany.


title: Lovelock black p-branes with fluxes

abstract: In this paper we construct compactifications of generic, higher curvature Lovelock theories of gravity over direct product spaces of the type $\mathcal{M}_D=\mathcal{M}_d \times \mathcal{S}^p $, with $D=d+p$ and $d\ge5$, where $\mathcal{S}^p$ represents an internal, Euclidean manifold of positive constant curvature. We show that this can be accomplished by including suitable non-minimally coupled $p-1$-form fields with a field strength proportional to the volume form of the internal space. We provide explicit details of this constructions for the Einstein-Gauss-Bonnet theory in $d+2$ and $d+3$ dimensions by using one and two-form fundamental fields, and provide as well the formulae that allows to construct the same family of compactification in any Lovelock theory from dimension $d+p$ to dimension $d$. These fluxed compactifications lead to an effective Lovelock theory on the compactfied manifold, allowing therefore to find, in the Einstein-Gauss-Bonnet case, black holes in the Boulware-Deser family.


title: Polarimetric properties of asteroid 3200 Phaethon

abstract: The polarimetric observations of asteroid 3200 Phaethon, the target of international observation campaign, did not cover a proper phase angle interval to provide estimating all the attributes of the asteroid polarization curve. Based on present discrete observation data for Phaethon, its full polarimetric curves in BVRI bandpasses were reproduced. The polarimetric properties of the asteroid correspond to a notion on surface structure as thermally altered regolith particles mixed with lager rock fragments like a coarse pebble.


title: The Langlands spectral decomposition

abstract: This is a draft version of an invited article for a forthcoming book `The genesis of Langlands Program', eds. Julia Mueller and Freydoon Shahidi, which will be published by Cambridge University Press. This is a survey of Langlands spectral decomposition theorem based on the meromorphic continuation of Eisenstein series and intertwining operators that show up in their functional equations.


title: On the meaning of "quantum supremacy" experiments

abstract: The recently reported experimental results claiming "quantum supremacy" achieved by Google quantum device are critically discussed. The Google team constructed a quantum chaotic system based on Josephson junction technology which cannot be reliably simulated by the present day supercomputers. However, the similar "supremacy" can be realized for properly designed micro-mechanical devices, like periodically forced Duffing oscillator, using the available technology of quartz clocks. It is also reminded that classical and quantum chaotic systems behave in a similar way. Therefore, in this case, one should speak rather about the "analog supremacy" than "quantum supremacy" what means that even now mechanical analog computers can outperform supercomputers when the computational task can be reduced to sampling of ergodic measures generated by chaotic systems.


title: A single layer artificial neural network with engineered bacteria

abstract: The abstract mathematical rules of artificial neural network (ANN) are implemented through computation using electronic computers, photonics and in-vitro DNA computation. Here we demonstrate the physical realization of ANN in living bacterial cells. We created a single layer ANN using engineered bacteria, where a single bacterium works as an artificial neuron and demonstrated a 2-to-4 decoder and a 1-to-2 de-multiplexer for processing chemical signals. The inputs were extracellular chemical signals, which linearly combined and got processed through a non-linear log-sigmoid activation function to produce fluorescent protein outputs. The activation function was generated by synthetic genetic circuits, and for each artificial neuron, the weight and bias values were adjusted manually by engineering the molecular interactions within the bacterial neuron to represent a specific logical function. The artificial bacterial neurons were connected as ANN architectures to implement a 2-to-4 chemical decoder and a 1-to-2 chemical de-multiplexer. To our knowledge, this is the first ANN created by artificial bacterial neurons. Thus, it may open up a new direction in ANN research, where engineered biological cells can be used as ANN enabled hardware.


title: Pariser-Parr-Pople Model based Configuration-Interaction Study of Linear Optical Absorption in Lower-Symmetry Polycyclic Aromatic Hydrocarbon Molecules

abstract: The electronic and optical properties of various polycyclic aromatic hydrocarbons (PAHs) with lower symmetry, namely, benzo[ghi]perylene (C$_{22}$H$_{12}$), benzo[a]coronene (C$_{28}$H$_{14}$), naphtho[2,3a]coronene (C$_{32}$H$_{16}$), anthra[2,3a]coronene (C$_{36}$H$_{18}$), and naphtho[8,1,2-abc]coronene (C$_{30}$H$_{14}$) were investigated. For the purpose, we performed electron-correlated calculations using screened, and standard parameters in the $\pi$-electron Pariser-Parr-Pople (PPP) Hamiltonian, and the correlation effects were included, both for ground and excited states, using the multi-reference singles-doubles configuration-interaction (MRSDCI) methodology. PPP model Hamiltonian includes long-range Coulomb interactions, which increase the accuracy of our calculations. The results of our calculations predict that, with the increasing sizes of the coronene derivatives, optical spectra are red shifted, and the optical gaps decrease. In each spectrum, the first peak representing the optical gap is of moderate intensity, while the more intense peaks appear at higher energies. Our computed spectra are in good agreement with the available experimental data. For the purpose of comparison, we also performed first-principles time-dependent density-functional theory (TDDFT) calculations of the optical gaps of these molecules using Gaussian basis functions, and found that they yielded values lower than our CI results.


title: Simulation of Thermal Relaxation in Spin Chemistry Systems on a Quantum Computer Using Inherent Qubit Decoherence

abstract: Current and near term quantum computers (i.e. NISQ devices) are limited in their computational power in part due to qubit decoherence. Here we seek to take advantage of qubit decoherence as a resource in simulating the behavior of real world quantum systems, which are always subject to decoherence, with no additional computational overhead. As a first step toward this goal we simulate the thermal relaxation of quantum beats in radical ion pairs (RPs) on a quantum computer as a proof of concept of the method. We present three methods for implementing the thermal relaxation, one which explicitly applies the relaxation Kraus operators, one which combines results from two separate circuits in a classical post-processing step, and one which relies on leveraging the inherent decoherence of the qubits themselves. We use our methods to simulate two real world systems and find excellent agreement between our results, experimental data, and the theoretical prediction.


title: A subradiant optical mirror formed by a single structured atomic layer

abstract: Efficient and versatile interfaces for the interaction of light with matter are an essential cornerstone for quantum science. A fundamentally new avenue of controlling light-matter interactions has been recently proposed based on the rich interplay of photon-mediated dipole-dipole interactions in structured subwavelength arrays of quantum emitters. Here we report on the direct observation of the cooperative subradiant response of a two-dimensional (2d) square array of atoms in an optical lattice. We observe a spectral narrowing of the collective atomic response well below the quantum-limited decay of individual atoms into free space. Through spatially resolved spectroscopic measurements, we show that the array acts as an efficient mirror formed by only a single monolayer of a few hundred atoms. By tuning the atom density in the array and by changing the ordering of the particles, we are able to control the cooperative response of the array and elucidate the interplay of spatial order and dipolar interactions for the collective properties of the ensemble. Bloch oscillations of the atoms out of the array enable us to dynamically control the reflectivity of the atomic mirror. Our work demonstrates efficient optical metamaterial engineering based on structured ensembles of atoms and paves the way towards the controlled many-body physics with light and novel light-matter interfaces at the single quantum level.

categories: quant-ph cond-mat.quant-gas physics.atom-ph physics.optics


title: Temporal Central Limit Theorem for Multidimensional Adding Machine

abstract: Let $p_1,...,p_{s+1}$ be distinct primes and let $T_{p_i}$ be the von Niemann - Kakutani adding machine $(1 \leq i \leq s)$, $T_{\mathcal{P}}(\mathbf{x}) =(T_{p_1}(x_1),..., T_{p_s}(x_s))$. Let $y_i \in (0,1)$ be a $p_{s+1}$-rational $(1 \leq i \leq s)$, $\mathbf{1}_{[0,\mathbf{y})}$ the indicator function of the box $[0,y_1) \times \cdots\times [0,y_s)$. In this paper, we prove the following central limit theorem: \begin{equation} \nonumber \frac{ \sum_{k=-n}^{n-1} \mathbf{1}_{[0,\mathbf{y})}(T^k_P(\mathbf{x})) -2n y_1 y_2\dots y_s }{\mathcal{H}_N(\mathbf{x}) \log_2^{s/2} N} \; \stackrel{w}{\longrightarrow} \;\mathcal{N}(0,1), \end{equation} when $n$ is sampled uniformly from $\{ 1,...,N\}$, $\mathcal{H}_N(\mathbf{x}) \in [\upsilon_1, \upsilon_2]$ with some $\upsilon_1, \upsilon_2 >0$, for almost all $\mathbf{x} \in [0,1)^s$.


title: Fragility of quantum correlations and coherence in a multipartite photonic system

abstract: Certain quantum states are well-known to be particularly fragile in the presence of decoherence, as illustrated by Schrodinger's famous gedanken cat experiment. It has been better appreciated more recently that quantum states can be characterized in a hierarchy of quantum quantities such entanglement, quantum correlations, and quantum coherence. It has been conjectured that each of these quantities have various degrees of fragility in the presence of decoherence. Here we experimentally confirm this conjecture by preparing tripartite photonic states and subjecting them to controlled amounts of dephasing. When the dephasing is applied to all the qubits, we find that the entanglement is the most fragile quantity, followed by the quantum coherence, then mutual information. This is in agreement with the widely held expectation that multipartite quantum correlations are a highly fragile manifestation of quantumness. We also perform dephasing on one out of the three qubits on star and $ W \bar{W} $ states. Here the distribution of the correlations and coherence in the state becomes more important in relation to the dephasing location.


title: Representing graphs as the intersection of cographs and threshold graphs

abstract: A graph $G$ is said to be the intersection of graphs $G_1,G_2,\ldots,G_k$ if $V(G)=V(G_1)=V(G_2)=\cdots=V(G_k)$ and $E(G)=E(G_1)\cap E(G_2)\cap\cdots\cap E(G_k)$. For a graph $G$, $\mathrm{dim}_{COG}(G)$ (resp. $\mathrm{dim}_{TH}(G)$) denotes the minimum number of cographs (resp. threshold graphs) whose intersection gives $G$. We present several new bounds on these parameters for general graphs as well as some special classes of graphs. It is shown that for any graph $G$: (a) $\mathrm{dim}_{COG}(G)\leq\mathrm{tw}(G)+2$, (b) $\mathrm{dim}_{TH}(G)\leq\mathrm{pw}(G)+1$, and (c) $\mathrm{dim}_{TH}(G)\leq\chi(G)\cdot\mathrm{box}(G)$, where $\mathrm{tw}(G)$, $\mathrm{pw}(G)$, $\chi(G)$ and $\mathrm{box}(G)$ denote respectively the treewidth, pathwidth, chromatic number and boxicity of the graph $G$. We also derive the exact values for these parameters for cycles and show that every forest is the intersection of two cographs. These results allow us to derive improved bounds on $\mathrm{dim}_{COG}(G)$ and $\mathrm{dim}_{TH}(G)$ when $G$ belongs to some special graph classes.


title: Entropic time-energy uncertainty relations: An algebraic approach

abstract: We address entropic uncertainty relations between time and energy or, more precisely, between measurements of an observable $G$ and the displacement $r$ of the $G$-generated evolution $e^{-ir G}$. We derive lower bounds on the entropic uncertainty in two frequently considered scenarios, which can be illustrated as two different guessing games in which the role of the guessers are fixed or not. In particular, our bound for the first game improves the previous result by Coles et al.. Our derivation uses as a subroutine a recently proposed novel algebraic method, which can in general be used to derive a wider class of entropic uncertainty principles.


title: Clusters of Galaxies: Structure and Dynamics in the Last 8 Gyr

abstract: Clusters of galaxies, being dark matter dominated, have long been and still are the ideal cosmological targets to study the nature of dark matter. Constraints on the nature of dark matter comes in particular from the observational determination of the distribution of total and baryonic mass in clusters, by comparison with results from cosmological numerical simulations. I present here past and recent results on this research topic.


title: Scalability and robustness of spectral embedding: landmark diffusion is all you need

abstract: While spectral embedding is a widely applied dimension reduction technique in various fields, so far it is still challenging to make it scalable to handle ``big data''. On the other hand, the robustness property is less explored and there exists only limited theoretical results. Motivated by the need of handling such data, recently we proposed a novel spectral embedding algorithm, which we coined Robust and Scalable Embedding via Landmark Diffusion (ROSELAND). In short, we measure the affinity between two points via a set of landmarks, which is composed of a small number of points, and ``diffuse'' on the dataset via the landmark set to achieve a spectral embedding. Roseland can be viewed as a generalization of the commonly applied spectral embedding algorithm, the diffusion map (DM), in the sense that it shares various properties of DM. In this paper, we show that Roseland is not only numerically scalable, but also preserves the geometric properties via its diffusion nature under the manifold setup; that is, we theoretically explore the asymptotic behavior of Roseland under the manifold setup, including handling the U-statistics-like quantities, and provide a $L^\infty$ spectral convergence with a rate. Moreover, we offer a high dimensional noise analysis and show that Roseland is robust to noise. We also compare Roseland with other existing algorithms with numerical simulations.


title: Characterizing Reading Time on Enterprise Emails

abstract: Email is an integral part of people's work and life, enabling them to perform activities such as communicating, searching, managing tasks and storing information. Modern email clients take a step forward and help improve users' productivity by automatically creating reminders, tasks or responses. The act of reading is arguably the only activity that is in common in most -- if not all -- of the interactions that users have with their emails. In this paper, we characterize how users read their enterprise emails, and reveal the various contextual factors that impact reading time. Our approach starts with a reading time analysis based on the reading events from a major email platform, followed by a user study to provide explanations for some discoveries. We identify multiple temporal and user contextual factors that are correlated with reading time. For instance, email reading time is correlated with user devices: on desktop reading time increases through the morning and peaks at noon but on mobile it increases through the evening till midnight. The reading time is also negatively correlated with the screen size. We have established the connection between user status and reading time: users spend more time reading emails when they have fewer meetings and busy hours during the day. In addition, we find that users also reread emails across devices. Among the cross-device reading events, 76% of reread emails are first visited on mobile and then on desktop. Overall, our study is the first to characterize enterprise email reading time on a very large scale. The findings provide insights to develop better metrics and user models for understanding and improving email interactions.


title: On the behavior of the Generalized Alignment Index (GALI) method for regular motion in multidimensional Hamiltonian systems

abstract: We investigate the behavior of the Generalized Alignment Index of order $k$ (GALI$_k$) for regular orbits of multidimensional Hamiltonian systems. The GALI$_k$ is an efficient chaos indicator, which asymptotically attains positive values for regular motion when $2\leq k \leq N$, with $N$ being the dimension of the torus on which the motion occurs. By considering several regular orbits in the neighborhood of two typical simple, stable periodic orbits of the Fermi-Pasta-Ulam-Tsingou (FPUT) $\beta$ model for various values of the system's degrees of freedom, we show that the asymptotic GALI$_k$ values decrease when the index's order $k$ increases and when the orbit's energy approaches the periodic orbit's destabilization energy where the stability island vanishes, while they increase when the considered regular orbit moves further away from the periodic one for a fixed energy. In addition, performing extensive numerical simulations we show that the index's behavior does not depend on the choice of the initial deviation vectors needed for its evaluation.


title: Towards Intelligent Robotic Process Automation for BPMers

abstract: Robotic Process Automation (RPA) is a fast-emerging automation technology that sits between the fields of Business Process Management (BPM) and Artificial Intelligence (AI), and allows organizations to automate high volume routines. RPA tools are able to capture the execution of such routines previously performed by a human users on the interface of a computer system, and then emulate their enactment in place of the user by means of a software robot. Nowadays, in the BPM domain, only simple, predictable business processes involving routine work can be automated by RPA tools in situations where there is no room for interpretation, while more sophisticated work is still left to human experts. In this paper, starting from an in-depth experimentation of the RPA tools available on the market, we provide a classification framework to categorize them on the basis of some key dimensions. Then, based on this analysis, we derive four research challenges and discuss prospective approaches necessary to inject intelligence into current RPA technology, in order to achieve more widespread adoption of RPA in the BPM domain.


title: Making Sense of Reinforcement Learning and Probabilistic Inference

abstract: Reinforcement learning (RL) combines a control problem with statistical estimation: The system dynamics are not known to the agent, but can be learned through experience. A recent line of research casts `RL as inference' and suggests a particular framework to generalize the RL problem as probabilistic inference. Our paper surfaces a key shortcoming in that approach, and clarifies the sense in which RL can be coherently cast as an inference problem. In particular, an RL agent must consider the effects of its actions upon future rewards and observations: The exploration-exploitation tradeoff. In all but the most simple settings, the resulting inference is computationally intractable so that practical RL algorithms must resort to approximation. We demonstrate that the popular `RL as inference' approximation can perform poorly in even very basic problems. However, we show that with a small modification the framework does yield algorithms that can provably perform well, and we show that the resulting algorithm is equivalent to the recently proposed K-learning, which we further connect with Thompson sampling.


title: Verifying Cryptographic Security Implementations in C Using Automated Model Extraction

abstract: This thesis presents an automated method for verifying security properties of protocol implementations written in the C language. We assume that each successful run of a protocol follows the same path through the C code, justified by the fact that typical security protocols have linear structure. We then perform symbolic execution of that path to extract a model expressed in a process calculus similar to the one used by the CryptoVerif tool. The symbolic execution uses a novel algorithm that allows symbolic variables to represent bitstrings of potentially unknown length to model incoming protocol messages. The extracted models do not use pointer-addressed memory, but they may still contain low-level details concerning message formats. In the next step we replace the message formatting expressions by abstract tupling and projection operators. The properties of these operators, such as the projection operation being the inverse of the tupling operation, are typically only satisfied with respect to inputs of correct types. Therefore we typecheck the model to ensure that all type-safety constraints are satisfied. The resulting model can then be verified with CryptoVerif to obtain a computational security result directly, or with ProVerif, to obtain a computational security result by invoking a computational soundness theorem. Our method achieves high automation and does not require user input beyond what is necessary to specify the properties of the cryptographic primitives and the desired security goals. We evaluated the method on several protocol implementations, totalling over 3000 lines of code. The biggest case study was a 1000-line implementation that was independently written without verification in mind. We found several flaws that were acknowledged and fixed by the authors, and were able to verify the fixed code without any further modifications to it.


title: Quantum circuits design for evaluating transcendental functions based on a function-value binary expansion method

abstract: Quantum arithmetic in the computational basis constitutes the fundamental component of many circuit-based quantum algorithms. There exist a lot of studies about reversible implementations of algebraic functions, while research on the higher-level transcendental functions is scant. We propose to evaluate the transcendental functions based on a novel methodology, which is called qFBE (quantum Function-value Binary Expansion) method. This method transforms the evaluation of transcendental functions to the computation of algebraic functions in a simple recursive way. We present the quantum circuits for solving the logarithmic, exponential, trigonometric and inverse trigonometric functions based on the qFBE method. The efficiency of the circuits is demonstrated on a quantum virtual computing system installed on the Sunway TaihuLight supercomputer. The qFBE method provides a unified and programmed solution for the evaluation of transcendental functions, and it will be an important building block for many quantum algorithms.


title: Lattices, Spectral Spaces, and Closure Operations on Idempotent Semirings

abstract: Spectral spaces, introduced by Hochster, are topological spaces homeomorphic to the prime spectra of commutative rings. In this paper we study spectral spaces in perspective of idempotent semirings which are algebraic structures receiving a lot of attention due to its several applications to tropical geometry. We first prove that a space is spectral if and only if it is the \emph{prime $k$-spectrum} of an idempotent semiring. In fact, we enrich Hochster's theorem by constructing a subcategory of idempotent semirings which is antiequivalent to the category of spectral spaces. We further provide examples of spectral spaces arising from sets of congruence relations of semirings. In particular, we prove that the \emph{space of valuations} and the \emph{space of prime congruences} on an idempotent semiring are spectral, and there is a natural bijection of sets between the two; this shows a stark difference between rings and idempotent semirings. We then develop several aspects of commutative algebra of semirings. We mainly focus on the notion of \emph{closure operations} for semirings, and provide several examples. In particular, we introduce an \emph{integral closure operation} and a \emph{Frobenius closure operation} for idempotent semirings.


title: The boundary controllability for abstract wave equations and its applications

abstract: The paper is devoted to the exact controllability of a system of coupled abstract wave equations when the control is exerted on a part of the boundary by means of one control. We give a Kalman type condition and give a description of the attainable set.


title: A Two stage Adaptive Knowledge Transfer Evolutionary Multi-tasking Based on Population Distribution for Multi/Many-Objective Optimization

abstract: Multi-tasking optimization can usually achieve better performance than traditional single-tasking optimization through knowledge transfer between tasks. However, current multi-tasking optimization algorithms have some deficiencies. For high similarity problems, the knowledge that can accelerate the convergence rate of tasks has not been fully taken advantages of. For low similarity problems, the probability of generating negative transfer is high, which may result in optimization performance degradation. In addition, some knowledge transfer methods proposed previously do not fully consider how to deal with the situation in which the population falls into local optimum. To solve these issues, a two-stage adaptive knowledge transfer evolutionary multi-tasking optimization algorithm based on population distribution, labeled as EMT-PD, is proposed. EMT-PD can accelerate and improve the convergence performance of tasks based on the knowledge extracted from the probability model that reflects the search trend of the whole population. At the first transfer stage, an adaptive weight is used to adjust the step size of individual's search, which can reduce the impact of negative transfer. At the second stage of knowledge transfer, the individual's search range is further adjusted dynamically, which can improve the diversity of population and be beneficial for jumping out of local optimum. Experimental results on multi-tasking multi-objective optimization test suites show that EMT-PD is superior to other six state-of-the-art evolutionary multi/single-tasking algorithms. To further investigate the effectiveness of EMT-PD on many-objective optimization problems, a multi-tasking many-objective test suite is also designed in this paper. The experimental results on the new test suite also demonstrate the competitiveness of EMT-PD.


title: Hydrological time series forecasting using simple combinations: Big data testing and investigations on one-year ahead river flow predictability

abstract: Delivering useful hydrological forecasts is critical for urban and agricultural water management, hydropower generation, flood protection and management, drought mitigation and alleviation, and river basin planning and management, among others. In this work, we present and appraise a new simple and flexible methodology for hydrological time series forecasting. This methodology relies on (a) at least two individual forecasting methods and (b) the median combiner of forecasts. The appraisal is made by using a big dataset consisted of 90-year-long mean annual river flow time series from approximately 600 stations. Covering large parts of North America and Europe, these stations represent various climate and catchment characteristics, and thus can collectively support benchmarking. Five individual forecasting methods and 26 variants of the introduced methodology are applied to each time series. The application is made in one-step ahead forecasting mode. The individual methods are the last-observation benchmark, simple exponential smoothing, complex exponential smoothing, automatic autoregressive fractionally integrated moving average (ARFIMA) and Facebook's Prophet, while the 26 variants are defined by all the possible combinations (per two, three, four or five) of the five afore-mentioned methods. The new methodology is identified as well-performing in the long run, especially when more than two individual forecasting methods are combined within its framework. Moreover, the possibility of case-informed integrations of diverse hydrological forecasting methods within systematic frameworks is algorithmically investigated and discussed. The related investigations encompass linear regression analyses, which aim at finding interpretable relationships between the values of a representative forecasting performance metric and the values of selected river flow statistics...


title: Step-by-step solving schemes based on scalar auxiliary variable and invariant energy quadratization approaches for gradient flows

abstract: In this paper, we propose several novel numerical techniques to deal with nonlinear terms in gradient flows. These step-by-step solving schemes, termed 3S-SAV and 3S-IEQ schemes, are based on recently popular scalar auxiliary variable (SAV) and invariant energy quadratization (IEQ) approaches. In these constructed numerical methods, the phase function $\phi$ and auxiliary variable can be calculated step-by-step. Compared with the traditional SAV/IEQ approaches, there are many advantages for the novel 3S-SAV/3S-IEQ schemes. Firstly, we do not need the restriction of the bounded from below of the nonlinear free energy potential/density function. Secondly, the auxiliary variable combined with nonlinear function can be treated totally explicitly in the 3S-SAV/3S-IEQ approaches. Specially, for solving the discrete scheme based on IEQ approach, the linear system usually involves variable coefficients which change at each time step. However, the discrete scheme based on 3S-IEQ approach leads to linear equation with constant coefficients. Two comparative studies of traditional SAV/IEQ and 3S-SAV/3S-IEQ approaches are considered to show the accuracy and efficiency. Finally, we present various 2D numerical simulations to demonstrate the stability and accuracy.


title: Computing L1 Straight-Line Fits to Data (Part 1)

abstract: The initial remarks in this technical report are primarily for those not familiar with the properties of L1 approximation, but the remainder of the report should also interest readers who are already acquainted with the inner workings of L1 algorithms.


title: Affine Balayage of Measures and Distribution of Riesz Measures of Subharmonic Functions

abstract: We develop and use some key concepts of potential theory, such as balayage and duality between measures and their potentials, to study the distribution of masses of subharmonic functions while restrictions to their growth near the boundary of their domain of definition. They are formulated and proved in terms of the Riesz measure for a subharmonic function. In this article, applications to holomorphic functions concern the distribution of their zero sets under restrictions to growth of this functions. Auxiliary results of our article may also be of independent interest. This is, first of all, 1) theorems on gluing of subharmonic functions and on gluing a subharmonic function with Green's function; 2) an internal description of the duality between balayage of measures and their potentials; 3) the duality between the Jensen and Arens-Singer measures on the one hand and the Jensen and Arens-Singer potentials of on the other; 4) a generalization of classical Poisson-Jensen formula connecting subharmonic functions, their Riesz measures, harmonic measures, and Green's functions.


title: Existence of $W^{1,1}$ solutions to a class of variational problems with linear growth on convex domains

abstract: We consider a class of convex integral functionals composed of a term of linear growth in the gradient of the argument, and a fidelity term involving $L^2$ distance from a datum. Such functionals are known to attain their infima in the $BV$ space. Under the assumption that the domain of integration is convex, we prove that if the datum is in $W^{1,1}$, then the functional has a minimizer in $W^{1,1}$. In fact, the minimizer inherits $W^{1,p}$ regularity from the datum for any $p \in [1, +\infty]$. We also obtain a quantitative bound on the singular part of the gradient of the minimizer in the case that the datum is in $BV$. We infer analogous results for the gradient flow of the underlying functional of linear growth. We admit any convex integrand of linear growth.


title: Conformally symmetric traversable wormholes in modified teleparallel gravity

abstract: In this paper, we consider wormhole geometries in the context of teleparallel equivalent of general relativity (TEGR) as well as $f(T)$ gravity. The TEGR is an alternative geometrical formulation of Einstein's general relativity, where modified teleparallel gravity or $f(T)$ gravity has been invoked as an alternative approach for explaining an accelerated expansion of the universe. We present the analytical solutions under the assumption of spherical symmetry and the existence of a conformal Killing vectors to proceed a more systematic approach in searching for exact wormhole solutions. More preciously, the existence of a conformal symmetry places restrictions on the model. Considering the field equations with a diagonal tetrad and anisotropic distribution of the fluid, we study the properties of traversable wormholes in TEGR that violates the weak and the null energy conditions at the throat and its vicinity. In the second part, wormhole solutions are constructed in the framework of $f(T)$ gravity, where $T$ represents torsion scalar. As a consistency check, we also discuss the behavior of energy conditions with a viable power-law $f(T)$ model and the corresponding shape functions. In addition, a wide variety of solutions are deduced by considering a linear equation of state relating the density and pressure, for the isotropic and anisotropic pressure, independently of the shape functions, and various phantom wormhole geometries are explored.


title: Improved Spectral Imaging Microscopy for Cultural Heritage through Oblique Illumination

abstract: This work presents the development of a flexible microscopic chemical imaging platform for cultural heritage that utilizes wavelength-tunable oblique illumination from a point source to obtain per-pixel reflectance spectra in the VIS-NIR range. The microscope light source can be adjusted on two axes allowing for a hemisphere of possible illumination directions. The synthesis of multiple illumination angles allows for the calculation of surface normal vectors, similar to phase gradients, and axial optical sectioning. The extraction of spectral reflectance images with high spatial resolutions from these data is demonstrated through the analysis of a replica cross-section, created from known painting reference materials, as well as a sample extracted from a painting by Pablo Picasso entitled La Mis\'ereuse accroupie (1902). These case studies show the rich microscale molecular information that may be obtained using this microscope and how the instrument overcomes challenges for spectral analysis commonly encountered on works of art with complex matrices composed of both inorganic minerals and organic lakes.


title: A Framework for Democratizing AI

abstract: Machine Learning and Artificial Intelligence are considered an integral part of the Fourth Industrial Revolution. Their impact, and far-reaching consequences, while acknowledged, are yet to be comprehended. These technologies are very specialized, and few organizations and select highly trained professionals have the wherewithal, in terms of money, manpower, and might, to chart the future. However, concentration of power can lead to marginalization, causing severe inequalities. Regulatory agencies and governments across the globe are creating national policies, and laws around these technologies to protect the rights of the digital citizens, as well as to empower them. Even private, not-for-profit organizations are also contributing to democratizing the technologies by making them \emph{accessible} and \emph{affordable}. However, accessibility and affordability are all but a few of the facets of democratizing the field. Others include, but not limited to, \emph{portability}, \emph{explainability}, \emph{credibility}, \emph{fairness}, among others. As one can imagine, democratizing AI is a multi-faceted problem, and it requires advancements in science, technology and policy. At \texttt{mlsquare}, we are developing scientific tools in this space. Specifically, we introduce an opinionated, extensible, \texttt{Python} framework that provides a single point of interface to a variety of solutions in each of the categories mentioned above. We present the design details, APIs of the framework, reference implementations, road map for development, and guidelines for contributions.


title: Bounds on the size of PC and URC formulas

abstract: In this paper we investigate CNF formulas, for which the unit propagation is strong enough to derive a contradiction if the formula together with a partial assignment of the variables is unsatisfiable (unit refutation complete or URC formulas) or additionally to derive all implied literals if the formula is satisfiable (propagation complete or PC formulas). If a formula represents a function using existentially quantified auxiliary variables, it is called an encoding of the function. We prove several results on the sizes of PC and URC formulas and encodings. One of them are separations between the sizes of formulas of different types. Namely, we prove an exponential separation between the size of URC formulas and PC formulas and between the size of PC encodings using auxiliary variables and URC formulas. Besides of this, we prove that the sizes of any two irredundant PC formulas for the same function differ at most by a factor polynomial in the number of the variables and present an example of a function demonstrating that a similar statement is not true for URC formulas. One of the separations above implies that a q-Horn formula may require an exponential number of additional clauses to become a URC formula. On the other hand, for every q-Horn formula, we present a polynomial size URC encoding of the same function using auxiliary variables. This encoding is not q-Horn in general.


title: Stabilized reduced basis methods for parametrized steady Stokes and Navier-Stokes equations

abstract: It is well known in the Reduced Basis approximation of saddle point problems that the Galerkin projection on the reduced space does not guarantee the inf-sup approximation stability even if a stable high fidelity method was used to generate snapshots. For problems in computational fluid dynamics, the lack of inf-sup stability is reflected by the inability to accurately approximate the pressure field. In this context, inf-sup stability is usually recovered through the enrichment of the velocity space with suitable supremizer functions. The main goal of this work is to propose an alternative approach, which relies on the residual based stabilization techniques customarily employed in the Finite Element literature, such as Brezzi-Pitkaranta, Franca-Hughes, streamline upwind Petrov-Galerkin, Galerkin Least Square. In the spirit of \textit{offline-online} reduced basis computational splitting, two such options are proposed, namely \textit{offline-only stabilization} and \textit{offline-online stabilization}. These approaches are then compared to (and combined with) the state of the art supremizer enrichment approach. Numerical results are discussed, highlighting that the proposed methodology allows to obtain smaller reduced basis spaces (i.e., neglecting supremizer enrichment) for which a modified inf-sup stability is still preserved at the reduced order level.


title: Echoes from the Abyss: A Status Update

abstract: Gravitational wave echoes provide our most direct and surprising observational window into quantum nature of black holes. Three years ago, the first search for echoes from Planck-scale modifications of general relativity near black hole event horizons led to tentative evidence at false detection probability of 1\% arXiv:1612.00266 . The study introduced a naive phenomenological model and used the public data release by the Advanced LIGO gravitational wave observatory for the first observing run O1 (GW150914, GW151226, and LVT151012, now GW151012). Here, we provide a status update on various observational searches for echoes by independent groups, and argue that they can all be consistent if echoes are most prominent at lower frequencies and/or in binary mergers of more extreme mass ratio. We also point out that the only reported "detection" of echoes (with $>4\sigma$ confidence) at 1.0 second after the binary neutron star merger GW170817 arXiv:1803.10454 is coincident with the formation time of the black hole inferred from electromagnetic observations.


title: The D(2)-Property for some metacyclic groups

abstract: We study problems relating to the D(2)-Problem for metacyclic groups of type $G(p,p-1)$ where $p$ is an odd prime. Specifically we build on Nadim's thesis \cite{Jamil}, which showed that the $\mathbb{Z}[G(5,4)]$-module $\mathbb{Z}$ admits a diagonal resolution and a minimal representative for the third syzygy $\Omega_3(\mathbb{Z})$ is $R(2)\oplus[y-1)$. Motivated by this result, we show that the $\mathbb{Z}[G(p,p-1)]$-module $R(2)\oplus[y-1)$ is both full and straight for any odd prime $p$. Given Johnson's work on the D(2)-Problem \cite{D2}, this leads to the conclusion that $G(5,4)$ satisfies the D(2)-property, as well as providing a sufficient condition for the D(2)-property to hold for $G(p,p-1)$, namely the condition that $R(2)\oplus[y-1)$ is a minimal representative for $\Omega_3(\mathbb{Z})$ over $\mathbb{Z}[G(p,p-1)]$, which we refer to as the condition M(p). Following this result, we prove a theorem which simplifies the calculations required to show that the condition M(p) holds. Finally, we carry out these calculations in the case where $p=7$ and prove that the condition M(7) holds, which is sufficient to show that $G(7,6)$ satisfies the D(2)-property.


title: The parametric instability in the inductively coupled plasma driven by the ponderomotive current

abstract: The stability theory of the skin layer plasma of the inductive discharge is developed for the case when the electron quiver velocity in RF wave is of the order of or is larger than the electron thermal velocity. This theory is grounded on the methodology of the oscillating modes, which accounts for the oscillation motion of the electron component relative to the unmovable ions in the spatially inhomogeneous RF field of the skin layer. The theory predicts the existence the instability of the parametric type in a skin layer with the growth rate comparable with frequency. This instability stems from the coupled action of two effects caused by the electron-ion relative motion in RF field: occurrence of harmonics of the perturbed potential and their coupling due to the ponderomotive current. The instability exists in the finite interval of the ponderomotive current velocity and is absent in the uniform boundless plasma.


title: Anomalous transmission through periodic resistive sheets

abstract: This work investigates anomalous transmission effects in periodic dissipative media, which is identified as an acoustic analogue of the Borrmann effect. For this, the scattering of acoustic waves on a set of equidistant resistive sheets is considered. It is shown both theoretically and experimentally that at the Bragg frequency of the system, the transmission coefficient is significantly higher than at other frequencies. The optimal conditions are identified: one needs a large number of sheets, which induce a very narrow peak, and the resistive sheets must be very thin compared to the wavelength, which gives the highest maximal transmission. Using the transfer matrix formalism, it is shown that this effect occurs when the two eigenvalues of the transfer matrix coalesce, i.e. at an exceptional point. Exploiting this algebraic condition, it is possible to obtain similar anomalous transmission peaks in more general periodic media. In particular, the system can be tuned to show a peak at an arbitrary long wavelength.


title: Dynamics of classes of barotropic fluids in spatially curved FRW spacetimes

abstract: In this article we perform dynamical analysis of a broad class of barotropic fluids in the spatially curved Friedmann-Robertson-Walker (FRW) spacetime background without considering the cosmological constant. The first part of our study concerns the dynamics of a fluid with an unspecified barotropic equation of state (EoS) having as the only assumption the non-negativity of the fluid's energy density. After defining a new set of dimensionless variables and a new evolution parameter, we introduce the function $\Gamma$ that encodes the EoS. In this general setup several features of the system are identified: critical points, invariant subsets and the characteristics of the function $\Gamma$, along with their cosmological interpretations. The second part of our work provides two examples with specific $\Gamma$ functions. In the first example we provide a $\Gamma$ function and then we exhibit how it can be trimmed down to a specific class of EoS through physical arguments, while in the second example we discuss the quadratic EoS studied in Phys.Rev. D {\bf 74}, 023523 (2006) by comparing our approach with their analysis.


title: Decoherence-Free Rotational Degrees of Freedom for Quantum Applications

abstract: We employ spherical $t$-designs for the systematic construction of solids whose rotational degrees of freedom can be made robust to decoherence due to external fluctuating fields while simultaneously retaining their sensitivity to signals of interest. Specifically, the ratio of signal phase accumulation rate from a nearby source to the decoherence rate caused by fluctuating fields from more distant sources can be incremented to any desired level by using increasingly complex shapes. This allows for the generation of long-lived macroscopic quantum superpositions of rotational degrees of freedom and the robust generation of entanglement between two or more such solids with applications in robust quantum sensing and precision metrology as well as quantum registers.


title: Resolving the Nuclear Radio Emission from M32 with Very Large Array

abstract: The Local Group dwarf elliptical galaxy M32 hosts one of the nearest and most under-luminous super-massive black holes (SMBHs) ever known, offering a rare opportunity to study the physics of accreting SMBHs at the most quiescent state. Recent Very Large Array (VLA) observations have detected a radio source at the nucleus of M32, which is suggested to be the radio counterpart of the SMBH. To further investigate the radio properties of this nuclear source, we have conducted follow-up, high-resolution VLA observations in four epochs between 2015--2017, each with dual frequencies. At 6 GHz, the nuclear source is resolved under an angular resolution of $\sim$0\farcs4, exhibiting a coreless, slightly lopsided morphology with a detectable extent of $\sim$2.5 \arcsec ($\sim$10 parsec). No significant variability can be found among the four epochs. At 15 GHz, no significant emission can be detected within the same region, pointing to a steep intrinsic radio spectrum (with a 3\,$\sigma$ upper limit of -1.46 for the spectral index). We discuss possible scenarios for the nature of this nuclear source and conclude that a stellar origin, in particular planetary nebulae, X-ray binaries, supernova remnants or diffuse ionized gas powered by massive stars, can be ruled out.Instead, the observed radio properties can be explained by synchrotron radiation from a hypothetical wind driven by the weakly accreting SMBH.


title: Event-By-Event Fluctuation of Maximum Particle Density in Narrow Pseudo-Rapidity Interval at a Few AGeV/c

abstract: A detailed study of event by event fluctuation of maximum particle density of the produced particles in narrow pseudo-rapidity interval in terms of the scaled variance {\omega} has been carried out for 16O-AgBr, 28Si-AgBr and 32S-AgBr interactions at an incident momentum of 4.5 AGeV/c. For all the interactions the values of scaled variance are found to be greater than zero indicating the presence of strong event by event fluctuation of maximum particle density values in the multiparticle production process. The event by event fluctuations are found to decrease with the increase of pseudo-rapidity interval. Experimental analysis has been compared with the results obtained from the analysis of events simulated by the Ultra Relativistic Quantum Molecular Dynamics (UrQMD) model. UrQMD model could not replicate the experimental results.


title: Entangling non planar molecules via inversion doublet transition with negligible spontaneous emission

abstract: We analyze theoretically the entanglement between two non-planar and light identical molecules (e.g., pyramidal as $NH_3$) that present inversion doubling due to the internal spatial inversion of their nuclear conformations by tunneling. The peculiarity of this system lies in the simplicity of this type of molecular system in which two near levels can be connected by allowed electric dipole transition with considerable value of the dipole moment transition and negligible spontaneous emission because the transition is in the microwave or far-infrared range. These properties give place to entanglement states oscillating by free evolution with frequency determined by the dipole-dipole interaction and negligible spontaneous decay, which allows to consider an efficient quantum Zeno effect by frequent measurements of one of the entangled states. If the molecules are initially both in the upper (or lower) eigenstate, the system evolves under an external radiation field, which can induce oscillations of the generated entangled states, with frequency of the order of the Rabi frequency of the field. For a certain detuning, a symmetric entangled state, eigenstate of the collective system can be populated, and given its negligible spontaneous emission, could be maintained for a time only limited by external decoherence processes which could be minimized. Although the data used are those of the $NH_3$ molecule, other molecules could present the same advantageous features.


title: On arens regularity of projective tensor product of Schatten p-class operators

abstract: In this paper we discuss the Arens regularity of projective tensor product of Schatten p-class operators. We use the biregularity condition given by \"Ulger to prove that $S_p(\mathcal H)\otimes^\gamma S_q(\mathcal H)$ is not Arens regular. We further prove that $B(S_2(\mathcal H))\otimes^\gamma S_2(\mathcal H)$ is not Arens regular(with respect to usual multiplication) while it is regular with respect to Schur product. Thus we demonstrate the importance of biregularity condition given in \cite{Ulger} and the convenience of its use to prove Arens regularity or irregularity through some concrete examples.


title: Reinforcement Learning via Parametric Cost Function Approximation for Multistage Stochastic Programming

abstract: The most common approaches for solving stochastic resource allocation problems in the research literature is to either use value functions ("dynamic programming") or scenario trees ("stochastic programming") to approximate the impact of a decision now on the future. By contrast, common industry practice is to use a deterministic approximation of the future which is easier to understand and solve, but which is criticized for ignoring uncertainty. We show that a parameterized version of a deterministic lookahead can be an effective way of handling uncertainty, while enjoying the computational simplicity of a deterministic lookahead. We present the parameterized lookahead model as a form of policy for solving a stochastic base model, which is used as the basis for optimizing the parameterized policy. This approach can handle complex, high-dimensional state variables, and avoids the usual approximations associated with scenario trees. We formalize this approach and demonstrate its use in the context of a complex, nonstationary energy storage problem.


title: Conditional robustness of propagating bound states in the continuum on biperiodic structures

abstract: For a periodic structure sandwiched between two homogeneous media, a bound state in the continuum (BIC) is a guided Bloch mode with a frequency in the radiation continuum. Optical BICs have found many applications, mainly because they give rise to resonances with ultra-high quality factors. If the periodic structure has a relevant symmetry, a BIC may have a symmetry mismatch with incoming and outgoing propagating waves of the same frequency and compatible wavevectors, and is considered as protected by symmetry. Propagating BICs with nonzero Bloch wavevectors have been found on many highly symmetric periodic structures. They are not protected by symmetry in the usual sense (i.e., there is no symmetry mismatch), but some of them seem to depend on symmetry for their existence and robustness. In this paper, we show that the low-frequency propagating BICs (with only one radiation channel) on biperiodic structures with an inversion symmetry in the plane of periodicity and a reflection symmetry in the perpendicular direction are robust to symmetry-preserving structural perturbations. In other words, a propagating BIC continues its existence with a slightly different frequency and a slightly different Bloch wavevector, when the biperiodic structure is perturbed slightly preserving the inversion and reflection symmetries. Our study enhances theoretical understanding for BICs on periodic structures and provides useful guidelines for their applications.


title: HIR4: cosmology from a simulated neutral hydrogen full sky using Horizon Run 4

abstract: The distribution of cosmological neutral hydrogen will provide a new window into the large-scale structure of the Universe with the next generation of radio telescopes and surveys. The observation of this material, through 21cm line emission, will be confused by foreground emission in the same frequencies. Even after these foregrounds are removed, the reconstructed map may not exactly match the original cosmological signal, which will introduce systematic errors and offset into the measured correlations. In this paper, we simulate future surveys of neutral hydrogen using the Horizon Run 4 (HR4) cosmological N-body simulation. We generate HI intensity maps from the HR4 halo catalogue, and combine with foreground radio emission maps from the Global Sky Model, to create accurate simulations over the entire sky. We simulate the HI sky for the frequency range 700-800 MHz, matching the sensitivity of the Tianlai pathfinder. We test the accuracy of the fastICA, PCA and log-polynomial fitting foreground removal methods to recover the input cosmological angular power spectrum and measure the parameters. We show the effect of survey noise levels and beam sizes on the recovered the cosmological constraints. We find that while the reconstruction removes power from the cosmological 21cm distribution on large-scales, we can correct for this and recover the input parameters in the noise-free case. However, the effect of noise and beam size of the Tianlai pathfinder prevents accurate recovery of the cosmological parameters when using only intensity mapping information.


title: Stability of large solutions for full compressible Navier-Stokes equations in the whole spaces

abstract: The current paper is devoted to the investigation of the global-in-time stability of large solutions for the full Navier-Stokes-Fourier system in the whole space. Suppose that the density and the temperature are bounded from above uniformly in time in the Holder space $C^\alpha$ with $\alpha$ sufficiently small and in $L^\infty$ space respectively. Then we prove two results: (1). Such kind of the solution will converge to its associated equilibrium with a rate which is the same as that for the heat equation if we impose the same condition on the initial data. As a result, we obtain the propagation of positive lower bounds of the density and the temperature. (2). Such kind of the solution is stable, that is, any perturbed solution will remain close to the reference solution if initially they are close to each other. This shows that the set of the smooth and bounded solutions is open.


title: Policy Synthesis for Switched Linear Systems with Markov Decision Process Switching

abstract: We study the synthesis of mode switching protocols for a class of discrete-time switched linear systems in which the mode jumps are governed by Markov decision processes (MDPs). We call such systems MDP-JLS for brevity. Each state of the MDP corresponds to a mode in the switched system. The probabilistic state transitions in the MDP represent the mode transitions. We focus on finding a policy that selects the switching actions at each mode such that the switched system that follows these actions is guaranteed to be stable. Given a policy in the MDP, the considered MDP-JLS reduces to a Markov jump linear system (MJLS). {We consider both mean-square stability and stability with probability one. For mean-square stability, we leverage existing stability conditions for MJLSs and propose efficient semidefinite programming formulations to find a stabilizing policy in the MDP. For stability with probability one, we derive new sufficient conditions and compute a stabilizing policy using linear programming. We also extend the policy synthesis results to MDP-JLS with uncertain mode transition probabilities.


title: Communication over Quantum Channels with Parameter Estimation

abstract: Communication over a random-parameter quantum channel when the decoder is required to reconstruct the parameter sequence is considered. We study scenarios that include either strictly-causal, causal, or non-causal channel side information (CSI) available at the encoder, and also when CSI is not available. This model can be viewed as a form of quantum metrology, and as the quantum counterpart of the classical rate-and-state channel with state estimation at the decoder. Regularized formulas for the capacity-distortion regions are derived. In the special case of measurement channels, single-letter characterizations are derived for the strictly causal and causal settings. Furthermore, in the more general case of entanglement-breaking channels, a single-letter characterization is derived when CSI is not available. As a consequence, we obtain regularized formulas for the capacity of random-parameter quantum channels with CSI, generalizing previous results by Boche et al. (2016) on classical-quantum channels.


title: The double dealing of cyclin D1

abstract: The cell cycle is tightly regulated by cyclins and their catalytic moieties, the cyclin-dependent kinases (CDKs). Cyclin D1, in association with CDK4/6, acts as a mitogenic sensor and integrates extracellular mitogenic signals and cell cycle progression. When deregulated (overexpressed, accumulated, inappropriately located), cyclin D1 becomes an oncogene and is recognized as a driver of solid tumors and hemopathies. Recent studies on the oncogenic roles of cyclin D1 reported non-canonical functions dependent on the partners of cyclin D1 and its location within tumor cells or tissues. Support for these new functions was provided by various mouse models of oncogenesis. Finally, proteomic and transcriptomic data identified complex cyclin D1 networks. This review focuses on these aspects of cyclin D1 pathophysiology, which may be crucial for targeted therapy.


title: Dynamical Simulations of the First Globular Clusters

abstract: Tidally limited star clusters are started on nearly circular orbits in the dark matter sub-halos present at high redshift and evolved with an n-body code augmented with gravitational interactions in the clusters. The tidally removed stars and the remaining high redshift clusters from a redshift 8 start are more concentrated than the dark matter, as expected. However, the subset of stars from the clusters that began in the lower mass sub-halos have a distribution somewhat more extended than the dark matter halo, with a mean galactic radius of about 60 kpc inside 150 kpc. The clusters from low mass sub-halos, those with a peak circular velocity of $ 12-18$ \kms, also produce most of the population's thin stellar streams. The dependence of the stellar population distribution on sub-halo mass is not seen in simulations that start clusters at lower redshift. The half mass radii of the clusters are set by the tidal fields of the initial cluster orbits, which leads to the average half mass radius decreasing with increased redshift of formation. Starting clusters at greater than redshift 4 leads to cluster half mass radii approximately as seen in the Milky Way, with lower redshifts leading to clusters that are too large. If extremely metal poor globular clusters were preferentially formed in high redshift, low mass, dwarf galaxies, then the clusters should be spread nearly uniformly over the dark halo, along with their tidally removed stars.


title: Enhanced high-harmonic generation from chromium-doped magnesium oxide

abstract: High-order harmonic generation (HHG) from crystals offers a new source of coherent extreme ultraviolet (XUV) attosecond radiation.


title: A Comparative Study of Glottal Source Estimation Techniques

abstract: Source-tract decomposition (or glottal flow estimation) is one of the basic problems of speech processing. For this, several techniques have been proposed in the literature. However studies comparing different approaches are almost nonexistent. Besides, experiments have been systematically performed either on synthetic speech or on sustained vowels. In this study we compare three of the main representative state-of-the-art methods of glottal flow estimation: closed-phase inverse filtering, iterative and adaptive inverse filtering, and mixed-phase decomposition. These techniques are first submitted to an objective assessment test on synthetic speech signals. Their sensitivity to various factors affecting the estimation quality, as well as their robustness to noise are studied. In a second experiment, their ability to label voice quality (tensed, modal, soft) is studied on a large corpus of real connected speech. It is shown that changes of voice quality are reflected by significant modifications in glottal feature distributions. Techniques based on the mixed-phase decomposition and on a closed-phase inverse filtering process turn out to give the best results on both clean synthetic and real speech signals. On the other hand, iterative and adaptive inverse filtering is recommended in noisy environments for its high robustness.


title: Glottal Closure and Opening Instant Detection from Speech Signals

abstract: This paper proposes a new procedure to detect Glottal Closure and Opening Instants (GCIs and GOIs) directly from speech waveforms. The procedure is divided into two successive steps. First a mean-based signal is computed, and intervals where speech events are expected to occur are extracted from it. Secondly, at each interval a precise position of the speech event is assigned by locating a discontinuity in the Linear Prediction residual. The proposed method is compared to the DYPSA algorithm on the CMU ARCTIC database. A significant improvement as well as a better noise robustness are reported. Besides, results of GOI identification accuracy are promising for the glottal source characterization.


title: A Deterministic plus Stochastic Model of the Residual Signal for Improved Parametric Speech Synthesis

abstract: Speech generated by parametric synthesizers generally suffers from a typical buzziness, similar to what was encountered in old LPC-like vocoders. In order to alleviate this problem, a more suited modeling of the excitation should be adopted. For this, we hereby propose an adaptation of the Deterministic plus Stochastic Model (DSM) for the residual. In this model, the excitation is divided into two distinct spectral bands delimited by the maximum voiced frequency. The deterministic part concerns the low-frequency contents and consists of a decomposition of pitch-synchronous residual frames on an orthonormal basis obtained by Principal Component Analysis. The stochastic component is a high-pass filtered noise whose time structure is modulated by an energy-envelope, similarly to what is done in the Harmonic plus Noise Model (HNM). The proposed residual model is integrated within a HMM-based speech synthesizer and is compared to the traditional excitation through a subjective test. Results show a significative improvement for both male and female voices. In addition the proposed model requires few computational load and memory, which is essential for its integration in commercial applications.


title: Monte Carlo Cubature Construction

abstract: In numerical integration, cubature methods are effective, especially when the integrands can be well-approximated by known test functions, such as polynomials. However, the construction of cubature formulas has not generally been known, and existing examples only represent the particular domains of integrands, such as hypercubes and spheres. In this study, we show that cubature formulas can be constructed for probability measures provided that we have an i.i.d. sampler from the measure and the mean values of given test functions. Moreover, the proposed method also works as a means of data compression, even if sufficient prior information of the measure is not available.


title: Modelling the strongest silicate emission features of local type 1 AGN

abstract: We measure the 10 and $18\mu$m silicate features in a sample of 67 local ($z<0.1$) type 1 active galactic nuclei (AGN) with available {\it Spitzer} spectra dominated by non-stellar processes. We find that the $10\mu$m silicate feature peaks at $10.3^{+0.7}_{-0.9}\mu$m with a strength (Si$_{p}$ = ln f$_{p}$(spectrum)/f$_{p}$(continuum)) of $0.11^{+0.15}_{-0.36}$, while the $18\mu$m one peaks at $17.3^{+0.4}_{-0.7}\mu$m with a strength of $0.14^{+0.06}_{-0.06}$. We select from this sample sources with the strongest 10$\mu$m silicate strength ($\sigma_{Si_{10\mu m}}>0.28$, 10 objects). We carry out a detailed modeling of the IRS/{\it Spitzer} spectra by comparing several models that assume different geometries and dust composition: a smooth torus model, two clumpy torus models, a two-phase medium torus model, and a disk+outflow clumpy model. We find that the silicate features are well modeled by the clumpy model of Nenkova et al. 2008, and among all models those including outflows and complex dust composition are the best (Hoenig et al. 2017). We note that even in AGN-dominated galaxies it is usually necessary to add stellar contributions to reproduce the emission at the shortest wavelengths.


title: Generic Spectral Results for CMV Matrices with Dynamically Defined Verblunsky Coefficients

abstract: We consider CMV matrices with dynamically defined Verblunsky coefficients. These coefficients are obtained by continuous sampling along the orbits of an ergodic transformation. We investigate whether certain spectral phenomena are generic in the sense that for a fixed base transformation, the set of continuous sampling functions for which the spectral phenomenon occurs is residual. Among the phenomena we discuss are the absence of absolutely continuous spectrum and the vanishing of the Lebesgue measure of the spectrum.


title: Multi-Gradient Descent for Multi-Objective Recommender Systems

abstract: Recommender systems need to mirror the complexity of the environment they are applied in. The more we know about what might benefit the user, the more objectives the recommender system has. In addition there may be multiple stakeholders - sellers, buyers, shareholders - in addition to legal and ethical constraints. Simultaneously optimizing for a multitude of objectives, correlated and not correlated, having the same scale or not, has proven difficult so far. We introduce a stochastic multi-gradient descent approach to recommender systems (MGDRec) to solve this problem. We show that this exceeds state-of-the-art methods in traditional objective mixtures, like revenue and recall. Not only that, but through gradient normalization we can combine fundamentally different objectives, having diverse scales, into a single coherent framework. We show that uncorrelated objectives, like the proportion of quality products, can be improved alongside accuracy. Through the use of stochasticity, we avoid the pitfalls of calculating full gradients and provide a clear setting for its applicability.


title: Biometric and Physical Identifiers with Correlated Noise for Controllable Private Authentication

abstract: The problem of secret-key based authentication under privacy and storage constraints on the source sequence is considered. The identifier measurement channels during authentication are assumed to be controllable via a cost-constrained action sequence. Single-letter inner and outer bounds for the key-leakage-storage-cost regions are derived for a generalization of a classic two-terminal key agreement model with an eavesdropper that observes a sequence that is correlated with the sequences observed by the legitimate terminals. The additions to the model are that the encoder observes a noisy version of a remote source, and the noisy output and the remote source output together with an action sequence are given as inputs to the measurement channel at the decoder. Thus, correlation is introduced between the noise components on the encoder and decoder measurements. The model with a secret key generated by an encoder is extended to the randomized models, where a secret-key is embedded to the encoder. The results are relevant for several user and device authentication scenarios including physical and biometric identifiers with multiple measurements that provide diversity and multiplexing gains. To illustrate the behavior of the rate region, achievable (secret-key rate, storage-rate, cost) tuples are given for binary identifiers and measurement channels that can be represented as a mixture of binary symmetric subchannels. The gains from using an action sequence such as a large secret-key rate at a significantly small hardware cost, are illustrated to motivate the use of low-complexity transform-coding algorithms with cost-constrained actions.

categories: cs.IT cs.CR cs.MM eess.SP math.IT math.PR


title: Bubble puzzles: From fundamentals to applications

abstract: For centuries, bubbles have fascinated artists, engineers, and scientists alike. In spite of century-long research on them, new and often surprising bubble phenomena, features, and applications keep popping up. In this paper I sketch my personal scientific bubble journey, starting with single bubble sonoluminescence, continuing with sound emission and scattering of bubbles, cavitation, snapping shrimp, impact events, air entrainment, surface micro- and nanobubbles, and finally coming to effective force models for bubbles and dispersed bubbly two-phase flow. In particular, I also cover various applications of bubbles, namely in ultrasound diagnostics, drug and gene delivery, piezo-acoustic inkjet printing, immersion lithography, sonochemistry, electrolysis, catalysis, acoustic marine geophysical survey, and bubble drag reduction for naval vessels, and show how these applications crossed my way. I also try to show that good and interesting fundamental science and relevant applications are not a contradiction, but mutually stimulate each other in both directions.


title: Tur\'an problems for Edge-ordered graphs

abstract: In this paper we initiate a systematic study of the Tur\'an problem for edge-ordered graphs. A simple graph is called $\textit{edge-ordered}$, if its edges are linearly ordered. An isomorphism between edge-ordered graphs must respect the edge-order. A subgraph of an edge-ordered graph is itself an edge-ordered graph with the induced edge-order. We say that an edge-ordered graph $G$ $\textit{avoids}$ another edge-ordered graph $H$, if no subgraph of $G$ is isomorphic to $H$. The $\textit{Tur\'an number}$ of an edge-ordered graph $H$ is the maximum number of edges in an edge-ordered graph on $n$ vertices that avoids $H$. We study this problem in general, and establish an Erd\H{o}s-Stone-Simonovits-type theorem for edge-ordered graphs -- we discover that the relevant parameter for the Tur\'an number of an edge-ordered graph is its $\textit{order chromatic number}$. We establish several important properties of this parameter. We also study Tur\'an numbers of edge-ordered paths, star forests and the cycle of length four. We make strong connections to Davenport-Schinzel theory, the theory of forbidden submatrices, and show an application in Discrete Geometry.


title: Geodesics in the configuration spaces of two points in R^n

abstract: We determine explicit formulas for geodesics (in the Euclidean metric) in the configuration space of ordered pairs (x,x') of points in R^n which satisfy d(x,x')>=epsilon. We interpret this as two or three (depending on the parity of n) geodesic motion-planning rules for this configuration space. In the associated unordered configuration space, we need not prescribe that the points stay apart by epsilon. For this space, with a Euclidean metric, we show that geodesic motion-planning rules correspond to ordinary motion-planning rules on RP^{n-1}.


title: First observation of excited $\Omega_b^-$ states

abstract: We report four narrow peaks in the $\Xi_b^0K^-$ mass spectrum obtained using $pp$ collisions at center-of-mass energies of 7, 8 and 13 TeV, corresponding to a total integrated luminosity of 9 fb$^{-1}$ recorded by the LHCb experiment. Referring to these states by their mass, the mass values are \begin{align*} m(\Omega_b(6316)^-) &= 6315.64\pm0.31\pm0.07\pm0.50 {\rm MeV}, \\ m(\Omega_b(6330)^-) &= 6330.30\pm0.28\pm0.07\pm0.50 {\rm MeV}, \\ m(\Omega_b(6340)^-) &= 6339.71\pm0.26\pm0.05\pm0.50 {\rm MeV}, \\ m(\Omega_b(6350)^-) &= 6349.88\pm0.35\pm0.05\pm0.50 {\rm MeV}, \end{align*}where the uncertainties are statistical, systematic and the last is due to the knowledge of the $\Xi_b^0$ mass. The natural widths of the three lower mass states are consistent with zero, and the 90% confidence-level upper limits are determined to be ${\Gamma(\Omega_b(6316)^-)<2.8}$ MeV, ${\Gamma(\Omega_b(6330)^-)<3.1}$ MeV and ${\Gamma(\Omega_b(6340)^-)<1.5}$ MeV. The natural width of the $\Omega_b(6350)^-$ peak is $1.4^{+1.0}_{-0.8}\pm0.1$ MeV, which is 2.5$\sigma$ from zero and corresponds to an upper limit of 2.8 MeV. The peaks have local significances ranging from 3.6$\sigma$ to 7.2$\sigma$. After accounting for the look-elsewhere effect, the significances of the $\Omega_b(6316)^-$ and $\Omega_b(6330)^-$ peaks are reduced to 2.1$\sigma$ and 2.6$\sigma$ respectively, while the two higher mass peaks exceed 5$\sigma$. The observed peaks are consistent with expectations for excited $\Omega_b^-$ resonances.


title: Indirect diffusion effect in degenerate reaction-diffusion systems

abstract: In this work we study global well-posedness and large time behaviour for a typical reaction--diffusion system, which include degenerate diffusion, and whose non-linearities arise from chemical reactions. We show that there is an {\it indirect diffusion effect}, i.e. an effective diffusion for the non-diffusive species which is incurred by a combination of diffusion from diffusive species and reversible reactions between the species. Deriving new estimates for such degenerate reaction-diffusion system, we show, by applying the entropy method, that the solution converges exponentially to equilibrium, and provide explicit convergence rates and associated constants.


title: The critical behaviors and the scaling functions of a coalescence equation

abstract: We show that a coalescence equation exhibits a variety of critical behaviors, depending on the initial condition. This equation was introduced a few years ago to understand a toy model {studied by Derrida and Retaux to mimic} the depinning transition in presence of disorder. It was shown recently that this toy model exhibits the same critical behaviors as the equation studied in the present work. Here we find several families of exact solutions of this coalescence equation, in particular a family of scaling functions which are closely related to the different possible critical behaviors. These scaling functions lead to new conjectures, in particular on the shapes of the critical trees, that we have checked numerically.


title: Re-synchronization using the Hand Preceding Model for Multi-modal Fusion in Automatic Continuous Cued Speech Recognition

abstract: Cued Speech (CS) is an augmented lip reading complemented by hand coding, and it is very helpful to the deaf people. Automatic CS recognition can help communications between the deaf people and others. Due to the asynchronous nature of lips and hand movements, fusion of them in automatic CS recognition is a challenging problem. In this work, we propose a novel re-synchronization procedure for multi-modal fusion, which aligns the hand features with lips feature. It is realized by delaying hand position and hand shape with their optimal hand preceding time which is derived by investigating the temporal organizations of hand position and hand shape movements in CS. This re-synchronization procedure is incorporated into a practical continuous CS recognition system that combines convolutional neural network (CNN) with multi-stream hidden markov model (MSHMM). A significant improvement of about 4.6\% has been achieved retaining 76.6\% CS phoneme recognition correctness compared with the state-of-the-art architecture (72.04\%), which did not take into account the asynchrony of multi-modal fusion in CS. To our knowledge, this is the first work to tackle the asynchronous multi-modal fusion in the automatic continuous CS recognition.


title: Spiral Instabilities in N-body Simulations: Emergence from noise II

abstract: An earlier paper presented the potentially significant discovery that disturbances in simplified simulations of a stellar disc model that was predicted to be stable in linear theory grew to large amplitude over a long period of time. The ultimate appearance of true instabilities was attributed to non-linear scattering by a succession of collective waves excited by shot noise from the finite number of particles. The paper concluded that no finite number of particles, however large, could mimic a smooth disc. As this surprising finding has been challenged as an artifact of the numerical scheme employed, we here present a new calculation of the same model using a different grid geometry that confirms the original behaviour.


title: TrappeD: DRAM Trojan Designs for Information Leakage and Fault Injection Attacks

abstract: In this paper, we investigate the advanced circuit features such as wordline- (WL) underdrive (prevents retention failure) and overdrive (assists write) employed in the peripherals of Dynamic RAM (DRAM) memories from a security perspective. In an ideal environment, these features ensure fast and reliable read and write operations. However, an adversary can re-purpose them by inserting Trojans to deliver malicious payloads such as fault injections, Denial-of-Service (DoS), and information leakage attacks when activated by the adversary. Simulation results indicate that wordline voltage can be increased to cause retention failure and thereby launch a DoS attack in DRAM memory. Furthermore, two wordlines or bitlines can be shorted to leak information or inject faults by exploiting the DRAM's refresh operation. We demonstrate an information leakage system exploit by implementing TrappeD on RocketChip SoC.


title: Sharp Hardy-Rellich Type Inequalities Associated with Dunkl Operators

abstract: In this paper, we obtained the Dunkl analogy of classical Lp Hardy inequality for $p > N + 2\gamma$ with sharp constant $\left(\frac{p-N-2\gamma}{p}\right)^{p}$, where $2\gamma$ is the degree of weight function associated with Dunkl operators, and $L^p$ Hardy inequalities with distant function in some G-invariant domains. Moreover we proved two sharp Hardy-Rellich type inequalities for Dunkl operators.


title: A cutting-plane algorithm for the Steiner team orienteering problem

abstract: The Team Orienteering Problem (TOP) is an NP-hard routing problem in which a fleet of identical vehicles aims at collecting rewards (prizes) available at given locations, while satisfying restrictions on the travel times. In TOP, each location can be visited by at most one vehicle, and the goal is to maximize the total sum of rewards collected by the vehicles within a given time limit. In this paper, we propose a generalization of TOP, namely the Steiner Team Orienteering Problem (STOP). In STOP, we provide, additionally, a subset of mandatory locations. In this sense, STOP also aims at maximizing the total sum of rewards collected within the time limit, but, now, every mandatory location must be visited. In this work, we propose a new commodity-based formulation for STOP and use it within a cutting-plane scheme. The algorithm benefits from the compactness and strength of the proposed formulation and works by separating three families of valid inequalities, which consist of some general connectivity constraints, classical lifted cover inequalities based on dual bounds and a class of conflict cuts. To our knowledge, the last class of inequalities is also introduced in this work. A state-of-the-art branch-and-cut algorithm from the literature of TOP is adapted to STOP and used as baseline to evaluate the performance of the cutting-plane. Extensive computational experiments show the competitiveness of the new algorithm while solving several STOP and TOP instances. In particular, it is able to solve, in total, 14 more TOP instances than any other previous exact algorithm and finds eight new optimality certificates. With respect to the new STOP instances introduced in this work, our algorithm solves 30 more instances than the baseline.


title: A calculus for flows in periodic domains

abstract: We present a constructive procedure for the calculation of 2-D potential flows in periodic domains with multiple boundaries per period window. The solution requires two steps: (i) a conformal mapping from a canonical circular domain to the physical target domain, and (ii) the construction of the complex potential inside the circular domain. All singly periodic domains may be classified into three distinct types: unbounded in two directions, unbounded in one direction, and bounded. In each case, we relate the target periodic domain to a canonical circular domain via conformal mapping and present the functional form of prototypical conformal maps for each type of target domain. We then present solutions for a range of potential flow phenomena including flow singularities, moving boundaries, uniform flows, straining flows and circulatory flows. By phrasing the solutions in terms of the transcendental Schottky--Klein prime function, the ensuing solutions are valid for an arbitrary number of obstacles per period window. Moreover, our solutions are exact and do not require any asymptotic approximations.


title: A Simple Unified Spectroscopic Indicator of Stellar Luminosity: the Extended Flux Weighted Gravity-Luminosity Relationship

abstract: We show that for a wide range of stellar masses, from 0.3 to 20 Msun, and for evolutionary phases from the main sequence to the beginning of the red giant stage, the stellar flux weighted gravity, g_F ~ g/Teff^4, is tightly correlated with absolute bolometric magnitude Mbol. Such a correlation is predicted by stellar evolution theory. We confirm this relation observationally, using a sample of 445 stars with precise stellar parameters. It holds over 17 stellar magnitudes from Mbol = 9.0 mag to -8.0 mag with a scatter of 0.17 mag above Mbol = -3.0 and 0.29 mag below this value. We then test the relation with 2.2 million stars with 6.5 mag > Mbol > 0.5 mag, where 'mass-produced' but robust log g, Teff and Mbol from LAMOST DR5 and Gaia DR2 are available. We find that the same relation holds with a scatter of ~0.2 mag for single stars offering a simple spectroscopic distance estimate good to ~10 percent.


title: Modeling Information Need of Users in Search Sessions

abstract: Users issue queries to Search Engines, and try to find the desired information in the results produced. They repeat this process if their information need is not met at the first place. It is crucial to identify the important words in a query that depict the actual information need of the user and will determine the course of a search session. To this end, we propose a sequence-to-sequence based neural architecture that leverages the set of past queries issued by users, and results that were explored by them. Firstly, we employ our model for predicting the words in the current query that are important and would be retained in the next query. Additionally, as a downstream application of our model, we evaluate it on the widely popular task of next query suggestion. We show that our intuitive strategy of capturing information need can yield superior performance at these tasks on two large real-world search log datasets.


title: Meaning updating of density matrices

abstract: The DisCoCat model of natural language meaning assigns meaning to a sentence given: (i) the meanings of its words, and, (ii) its grammatical structure. The recently introduced DisCoCirc model extends this to text consisting of multiple sentences. While in DisCoCat all meanings are fixed, in DisCoCirc each sentence updates meanings of words. In this paper we explore different update mechanisms for DisCoCirc, in the case where meaning is encoded in density matrices---which come with several advantages as compared to vectors. Our starting point are two non-commutative update mechanisms, borrowing one from quantum foundations research, from Leifer and Spekkens. Unfortunately, neither of these satisfies any desirable algebraic properties, nor are internal to the meaning category. By passing to double density matrices we do get an elegant internal diagrammatic update mechanism. We also show that (commutative) spiders can be cast as an instance of the Leifer-Spekkens update mechanism. This result is of interest to quantum foundations, as it bridges the work in Categorical Quantum Mechanics (CQM) with that on conditional quantum states. Our work also underpins implementation of text-level natural language processing on quantum hardware (a.k.a. QNLP), for which exponential space-gain and quadratic speed-up have previously been identified.


title: Astrophysical Constraints on Strong Modified Gravity

abstract: We offer a discussion on the strong field regime predictions of two families of theories that deviate from General Relativity in different aspects: $f(R)$-gravity and Scalar-Tensor-Vector Gravity (STVG). We discuss astrophysical effects in models based upon both matter and vacuum solutions of such theories. In particular, we analize neutron star structure and the constraints on the parameters of the theories introduced by the latest observations. We also review black hole solutions and several astrophysical consequences of them, including accretion disks and jets. Finally, we report on the implications of the detection of various gravitational wave events for these theories.

categories: gr-qc astro-ph.CO astro-ph.GA astro-ph.HE


title: An initial condition reconstruction in Hamilton-Jacobi equations

abstract: We describe the family of initial conditions for Hamilton-Jacobi equations (HJE) corresponding to optimal control problems that can be retrieved by solving HJE backward in time.


title: The rank of the 2-class group of some fields with large degree

abstract: Let $n\geq 3$ be an integer and $d$ an odd square-free integer. We shall compute the rank of the $2$-class group of $L_{n,d}:=\mathbb{Q}(\zeta_{2^n},\sqrt{d})$, when all the prime divisors of $d$ are congruent to $\pm 3\pmod 8$ or $9\pmod{16}$.


title: Mapping the Dirac fermions in intrinsic antiferromagnetic topological insulators (MnBi$_2$Te$_4$)(Bi$_2$Te$_3$)$_n$ (n=0, 1)

abstract: Topological surface states with intrinsic magnetic ordering in the MnBi$_2$Te$_4$(Bi$_2$Te$_3$)$_n$ compounds have been predicted to host rich topological phenomena including quantized anomalous Hall effect and axion insulator state. Here we use scanning tunneling microscopy to image the surface Dirac fermions in MnBi$_2$Te$_4$ and MnBi$_4$Te$_7$. We have determined the energy dispersion and helical spin texture of the surface states through quasiparticle interference patterns far above Dirac energy, which confirms its topological nature. Approaching the Dirac point, the native defects in the MnBi$_2$Te$_4$ septuple layer give rise to resonance states which extend spatially and potentially hinder the detection of a mass gap in the spectra. Our results demonstrate that regulating defects is essential to realize exotic topological states at higher temperatures in these compounds.


title: Ultra-narrow spectral response of a hybrid plasmonic-grating sensor

abstract: We configure and analyze a nanostructured device that hybridizes grating modes and surface plasmon resonances. The model uses an effective index of refraction that considers the volume fraction of the involved materials, and the propagation depth of the plasmon through the structure. Our geometry is an extruded low-order diffraction grating made of dielectric nano-triangles. Surface plasmon resonances are excited at a metal/dielectric interface, which is separated from the analyte by a high-index dielectric layer. The optical performance of the refractometric sensor is highly competitive in sensitivity and figure of merit (FOM) because of the the ultra-narrow spectral response (below 0.1 nm). Moreover, it is operative within a wide range of the index of refraction (from 1.3 till 1.56), and also works under normal incidence conditions.