title: Quadratic forms connected with Fourier coefficients of holomorphic and Maass cusp forms

abstract: In this work we prove a prime number type theorem involving the normalised Fourier coefficients of holomorphic and Maass cusp forms, using the classical circle method. A key point is in a recent paper of Fouvry and Ganguly, based on Hoffstein-Ramakrishnan's result about the non-existence of the Siegel zeros for $GL(2)$ $L$-functions, which allows us to improve preceding estimates.


title: A Deep Learning Mechanism for Efficient Information Dissemination in Vehicular Floating Content

abstract: Handling the tremendous amount of network data, produced by the explosive growth of mobile traffic volume, is becoming of main priority to achieve desired performance targets efficiently. Opportunistic communication such as FloatingContent (FC), can be used to offload part of the cellular traffic volume to vehicular-to-vehicular communication (V2V), leaving the infrastructure the task of coordinating the communication. Existing FC dimensioning approaches have limitations, mainly due to unrealistic assumptions and on a coarse partitioning of users, which results in over-dimensioning. Shaping the opportunistic communication area is a crucial task to achieve desired application performance efficiently. In this work, we propose a solution for this open challenge. In particular, the broadcasting areas called Anchor Zone (AZ), are selected via a deep learning approach to minimize communication resources achieving desired message availability. No assumption required to fit the classifier in both synthetic and real mobility. A numerical study is made to validate the effectiveness and efficiency of the proposed method. The predicted AZ configuration can achieve an accuracy of 89.7%within 98% of confidence level. By cause of the learning approach, the method performs even better in real scenarios, saving up to 27% of resources compared to previous work analytically modelled


title: A note on the zeros of generalized Hurwitz zeta functions

abstract: Given a function $f(n)$ periodic of period $q\geq 1$ and an irrational number $0<\alpha\leq 1$, Chatterjee and Gun proved that the series $F(s,f,\alpha)=\sum_{n=0}^{\infty}\frac{f(n)}{(n+\alpha)^s}$ has infinitely many zeros for $\sigma>1$ when $\alpha$ is transcendental and $F(s,f,\alpha)$ has a pole at $s=1$, or when $\alpha$ is algebraic irrational and $c=\frac{\max{f(n)}}{\min{f(n)}}<1.15$. In this note, we prove that the result holds in full generality.


title: Notes on asymptotics of sample eigenstructure for spiked covariance models with non-Gaussian data

abstract: These expository notes serve as a reference for an accompanying post Morales-Jimenez et al. [2018]. In the spiked covariance model, we develop results on asymptotic normality of sample leading eigenvalues and certain projections of the corresponding sample eigenvectors. The results parallel those of Paul [2007], but are given using the non-Gaussian model of Bai and Yao [2008]. The results are not new, and citations are given, but proofs are collected and organized as a point of departure for Morales-Jimenez et al. [2018].


title: Enumeration of $S$-omino towers and row-convex $k$-omino towers

abstract: We first enumerate a generalization of domino towers that was proposed by Tricia M. Brown (J. Integer Seq. 20 (2017)), which we call S-omino towers. We establish equations that the generating function must satisfy and then apply the Lagrange inversion formula to find a closed formula for the number of towers. We also show a connection to generalized Dyck paths and provide an explicit bijection. Finally, we consider the set of row-convex k-omino towers, introduced by Brown, and calculate an exact generating function.


title: Isolated zeros in the spectral function as signature of a quantum continuum

abstract: We study the observable properties of quantum systems which involve a quantum continuum as a subpart. We show in a very general way that in any system, which consists of at least two isolated states coupled to a continuum, the spectral function of one of the states exhibits an isolated zero at the energy of the other state. Several examples of quantum systems exhibiting such isolated zeros are discussed. Although very general, this phenomenon can be particularly useful as an indirect detection tool for the continuum spectrum in the lab realizations of quantum critical behavior.


title: A localization method in Hamiltonian graph theory

abstract: The classical global criteria for the existence of Hamilton cycles only apply to graphs with large edge density and small diameter. In a series of papers Asratian and Khachatryan developed local criteria for the existence of Hamilton cycles in finite connected graphs, which are analogues of the classical global criteria due to Dirac (1952), Ore (1960), Jung (1978), and Nash-Williams (1971). The idea was to show that the global concept of Hamiltonicity can, under rather general conditions, be captured by local phenomena, using the structure of balls of small radii. (The ball of radius $r$ centered at a vertex $u$ is a subgraph of $G$ induced by the set of vertices whose distances from $u$ do not exceed $r$.) Such results are called localization theorems and present a possibility to extend known classes of finite Hamiltonian graphs. In this paper we formulate a general approach for finding localization theorems and use this approach to formulate local analogues of well-known results of Bauer et al. (1989), Bondy (1980), H\"aggkvist and Nicoghossian (1981), and Moon and Moser (1963). Finally we extend two of our results to infinite locally finite graphs and show that they guarantee the existence of Hamiltonian curves, introduced by K\"undgen, Li and Thomassen (2017).


title: Unitary evolution to a state with a fixed mean number of particles

abstract: In the framework of finite-dimensional Fock space models, for a predefined fixed mean number of particles $\bar{n}_{k}$, it is shown that there is a ``large'' multi-dimensional subspace $s_{\bar{n}_{k}}$ of initial pure states, in the space $S$ of all pure states, unitarily evolving to a subspace $S_{\bar{n}_{k}}$ of final pure states which yield $\bar{n}_{k}$. As an example, in particular it follows that the blackbody form of the mean number of particles $\bar{n}_{k}$ does not by itself contradict unitarity of black hole evaporation.


title: Thermodynamics of adiabatic melting of solid $^4 \mathrm{He}$ in liquid $^3 \mathrm{He}$

abstract: In the cooling concept by adiabatic melting, solid $^{4}$He is converted to liquid and mixed with $^{3}$He to produce cooling power directly in the liquid phase. This method overcomes the thermal boundary resistance that conventionally limits the lowest available temperatures in the helium fluids, and hence makes it possible to reach for the temperatures significantly below 100 $\mu$K. In this paper we focus on the thermodynamics of the melting process, and examine the factors affecting the lowest temperatures achievable. We show that the amount of $^{3}$He-$^{4}$He mixture in the initial state, before the melting, can substantially lift the final temperature, as its normal Fermi fluid entropy will remain relatively large compared to the entropy of superfluid $^{3}$He. We present the collection of formulas and parameters in order to work out the thermodynamics of the process at very low temperatures, study the heat capacity and entropy of the system with different liquid $^{3}$He, mixture, and solid $^{4}$He contents, and use them to estimate the lowest temperatures achievable by the melting process, as well as compare our calculations to the experimental saturated $^{3}$He-$^{4}$He mixture crystallization pressure data. Realistic expectations in the execution of the actual experiment are considered. Further, we study the cooling power of the process, and find the coefficient connecting the melting rate of solid $^{4}$He to the dilution rate of $^{3}He$.


title: A Map Equation with Metadata: Varying the Role of Attributes in Community Detection

abstract: Much of the community detection literature studies structural communities, communities defined solely by the connectivity patterns of the network. Often, networks contain additional metadata which can inform community detection such as the grade and gender of students in a high school social network. In this work, we introduce a tuning parameter to the content map equation that allows users of the Infomap community detection algorithm to control the metadata's relative importance for identifying network structure. On synthetic networks, we show that our algorithm can overcome the structural detectability limit when the metadata is well-aligned with community structure. On real-world networks, we show how our algorithm can achieve greater mutual information with the metadata at a cost in the traditional map equation. Our tuning parameter, like the focusing knob of a microscope, allows users to "zoom in" and "zoom out" on communities with varying levels of focus on the metadata.

categories: cs.SI physics.data-an physics.soc-ph stat.ML


title: On the ill-posedness of the 5th-order Gardner equation

abstract: We present ill-posedness results for the initial value problem (IVP) of the 5th-order Gardner equation. We use new breather solutions discovered for this higher order Gardner equation to measure the regularity of the Cauchy problem in Sobolev spaces $H^s$. We find the sharp Sobolev index under which the local well-posedness of the problem is lost, meaning that the dependence of 5th order Gardner solutions upon initial data fails to be continuous.


title: The GALAH Survey: Lithium-strong KM dwarfs

abstract: Identifying and characterizing young stars in the Solar neighbourhood is essential to find and describe planets in the early stages of their evolution. This work seeks to identify nearby young stars showing a Lithium 6707.78$\,\AA$ absorption line in the GALAH survey. A robust, data-driven approach is used to search for corresponding templates in the pool of 434,215 measured dwarf spectra in the survey. It enables a model-free search for best-matching spectral templates for all stars, including M dwarfs with strong molecular absorption bands. 3147 stars have been found to have measurable Lithium: 1408 G and 892 K0-K5 dwarfs (EW(Li)$>$0.1$\,$\AA), 335 K5-K9 ($>$0.07$\,$\AA) and 512 M0$\sim$M4 dwarfs ($>$0.05$\,$\AA). Stars with such Lithium features are used to investigate the possibility of searching for young stars above the main sequence based merely on their parallaxes and broad-band photometry. Selection of young stars above the main sequence is highly effective for M dwarfs, moderately effective for K dwarfs and ineffective for G dwarfs. Using a combination of the Lithium information and the complete 6D kinematics from Gaia and GALAH, 305 new candidate moving group members have been found, 123 of which belong to the Scorpius-Centaurus association, 36 to the Pleiades and 25 to the Hyades clusters.


title: Entropy in Quantum Information Theory -- Communication and Cryptography

abstract: In this Thesis, several results in quantum information theory are collected, most of which use entropy as the main mathematical tool. *While a direct generalization of the Shannon entropy to density matrices, the von Neumann entropy behaves differently. A long-standing open question is, whether there are quantum analogues of unconstrained non-Shannon type inequalities. Here, a new constrained non-von-Neumann type inequality is proven, a step towards a conjectured unconstrained inequality by Linden and Winter. *IID quantum state merging can be optimally achieved using the decoupling technique. The one-shot results by Berta et al. and Anshu at al., however, had to bring in additional mathematical machinery. We introduce a natural generalized decoupling paradigm, catalytic decoupling, that can reproduce the aforementioned results when used analogously to the application of standard decoupling in the asymptotic case. *Port based teleportation, a variant of standard quantum teleportation protocol, cannot be implemented perfectly. We prove several lower bounds on the necessary number of output ports N to achieve port based teleportation for given error and input dimension, showing that N diverges uniformly in the dimension of the teleported quantum system, for vanishing error. As a byproduct, a new lower bound for the size of the program register for an approximate universal programmable quantum processor is derived. *In the last part, we give a new definition for information-theoretic quantum non-malleability, strengthening the previous definition by Ambainis et al. We show that quantum non-malleability implies secrecy, analogous to quantum authentication. Furthermore, non-malleable encryption schemes can be used as a primitive to build authenticating encryption schemes. We also show that the strong notion of authentication recently proposed by Garg et al. can be fulfilled using 2-designs.


title: Variational Semi-supervised Aspect-term Sentiment Analysis via Transformer

abstract: Aspect-term sentiment analysis (ATSA) is a longstanding challenge in natural language understanding. It requires fine-grained semantical reasoning about a target entity appeared in the text. As manual annotation over the aspects is laborious and time-consuming, the amount of labeled data is limited for supervised learning. This paper proposes a semi-supervised method for the ATSA problem by using the Variational Autoencoder based on Transformer (VAET), which models the latent distribution via variational inference. By disentangling the latent representation into the aspect-specific sentiment and the lexical context, our method induces the underlying sentiment prediction for the unlabeled data, which then benefits the ATSA classifier. Our method is classifier agnostic, i.e., the classifier is an independent module and various advanced supervised models can be integrated. Experimental results are obtained on the SemEval 2014 task 4 and show that our method is effective with four classical classifiers. The proposed method outperforms two general semisupervised methods and achieves state-of-the-art performance.


title: UAVid: A Semantic Segmentation Dataset for UAV Imagery

abstract: Semantic segmentation has been one of the leading research interests in computer vision recently. It serves as a perception foundation for many fields, such as robotics and autonomous driving. The fast development of semantic segmentation attributes enormously to the large scale datasets, especially for the deep learning related methods. There already exist several semantic segmentation datasets for comparison among semantic segmentation methods in complex urban scenes, such as the Cityscapes and CamVid datasets, where the side views of the objects are captured with a camera mounted on the driving car. There also exist semantic labeling datasets for the airborne images and the satellite images, where the top views of the objects are captured. However, only a few datasets capture urban scenes from an oblique Unmanned Aerial Vehicle (UAV) perspective, where both of the top view and the side view of the objects can be observed, providing more information for object recognition. In this paper, we introduce our UAVid dataset, a new high-resolution UAV semantic segmentation dataset as a complement, which brings new challenges, including large scale variation, moving object recognition and temporal consistency preservation. Our UAV dataset consists of 30 video sequences capturing 4K high-resolution images in slanted views. In total, 300 images have been densely labeled with 8 classes for the semantic labeling task. We have provided several deep learning baseline methods with pre-training, among which the proposed Multi-Scale-Dilation net performs the best via multi-scale feature extraction. Our UAVid website and the labeling tool have been published https://uavid.nl/.


title: A recursively feasible and convergent Sequential Convex Programming procedure to solve non-convex problems with linear equality constraints

abstract: A computationally efficient method to solve non-convex programming problems with linear equality constraints is presented. The proposed method is based on a recursively feasible and descending sequential convex programming procedure proven to converge to a locally optimal solution. Assuming that the first convex problem in the sequence is feasible, these properties are obtained by convexifying the non-convex cost and inequality constraints with inner-convex approximations. Additionally, a computationally efficient method is introduced to obtain inner-convex approximations based on Taylor series expansions. These Taylor-based inner-convex approximations provide the overall algorithm with a quadratic rate of convergence. The proposed method is capable of solving problems of practical interest in real-time. This is illustrated with a numerical simulation of an aerial vehicle trajectory optimization problem on commercial-of-the-shelf embedded computers.


title: Graphene oxide upregulates the homeostatic functions of primary astrocytes and modulates astrocyte-to-neuron communication

abstract: Graphene-based materials are the focus of intense research efforts to devise novel theranostic strategies for targeting the central nervous system. In this work, we have investigated the consequences of long-term exposure of primary rat astrocytes to pristine graphene (GR) and graphene oxide (GO) flakes. We demonstrate that GR/GO interfere with a variety of intracellular processes as a result of their internalization through the endo-lysosomal pathway. Graphene-exposed astrocytes acquire a more differentiated morphological phenotype associated with extensive cytoskeletal rearrangements. Profound functional alterations are induced by GO internalization, including the upregulation of inward-rectifying K+ channels and of Na+-dependent glutamate uptake, which are linked to the astrocyte capacity to control the extracellular homeostasis. Interestingly, GO-pretreated astrocytes promote the functional maturation of co-cultured primary neurons by inducing an increase in intrinsic excitability and in the density of GABAergic synapses. The results indicate that graphene nanomaterials profoundly affect astrocyte physiology in vitro, with consequences for neuronal network activity. This work supports the view that GO-based materials could be of great interest to address pathologies of the central nervous system associated to astrocyte dysfunctions.


title: A simple analysis of the mixed-state information metric in AdS$_3$/CFT$_2$

abstract: We compute the quantum information metrics of a thermal CFT on $\mathbb R^{1,1}$ perturbed by the scalar primary operators of conformal dimension $\Delta=3,4,5,6$. In particular, we assume that the Hamiltonian of the mixed state commutes with each other and the temperature is fixed. Under these conditions, the evaluation is analogous to the pure state case. We also apply the method of [arXiv:1607.06519] to calculate the mixed state information metric for the scalar primary operator with conformal dimension $\Delta=4$ holographically. We find an exact agreement between the two results in our approach.


title: Exact Kohn-Sham Density Functional Theory on a Lattice

abstract: We formulate a set of equations that facilitate an exact numerical solution of the Kohn-Sham potential for a finite Hubbard chain with nearest neighbour hopping and arbitrary site potentials. The approach relies on a mapping of the non-interacting Kohn-Sham ground state wave function onto the exact interacting system wavefunction and two interconnected self-consistent cycles. The self-consistent cycles are performed within the framework of the Kohn-Sham non-interacting system without any direct reference to the interacting system. The first self-consistent cycle updates the mapping of the non-interacting wavefunction onto the interacting wavefunction based on a trial input density, while the second self-consistent cycle updates the Kohn-Sham potential to yield the trial density. At the solution point, the exact density, the exact Kohn-Sham potential, the density functional correlation energy and the exact interacting system ground state energy are available.


title: Type-directed Bounding of Collections in Reactive Programs

abstract: Our aim is to statically verify that in a given reactive program, the length of collection variables does not grow beyond a given bound. We propose a scalable type-based technique that checks that each collection variable has a given refinement type that specifies constraints about its length. A novel feature of our refinement types is that the refinements can refer to AST counters that track how many times an AST node has been executed. This feature enables type refinements to track limited flow-sensitive information. We generate verification conditions that ensure that the AST counters are used consistently, and that the types imply the given bound. The verification conditions are discharged by an off-the-shelf SMT solver. Experimental results demonstrate that our technique is scalable, and effective at verifying reactive programs with respect to requirements on length of collections.


title: On the effect of Ti on Oxidation Behaviour of a Polycrystalline Nickel-based Superalloy

abstract: Titanium is commonly added to nickel superalloys but has a well-documented detrimental effect on oxidation resistance. The present work constitutes the first atomistic-scale quantitative measurements of grain boundary and bulk compositions in the oxide scale of a current generation polycrystalline nickel superalloy performed through atom probe tomography. Titanium was found to be particularly detrimental to oxide scale growth through grain boundary diffusion.


title: Numerical radius parallelism of Hilbert space operators

abstract: In this paper, we introduce a new type of parallelism for bounded linear operators on a Hilbert space $\big(\mathscr{H}, \langle \cdot ,\cdot \rangle\big)$ based on numerical radius. More precisely, we consider operators $T$ and $S$ which satisfy $\omega(T + \lambda S) = \omega(T)+\omega(S)$ for some complex unit $\lambda$. We show that $T \parallel_{\omega} S$ if and only if there exists a sequence of unit vectors $\{x_n\}$ in $\mathscr{H}$ such that \begin{align*} \lim_{n\rightarrow\infty} \big|\langle Tx_n, x_n\rangle\langle Sx_n, x_n\rangle\big| = \omega(T)\omega(S). \end{align*} We then apply it to give some applications.


title: The Role of Data in Model Building and Prediction: A Survey Through Examples

abstract: The goal of Science is to understand phenomena and systems in order to predict their development and gain control over them. In the scientific process of knowledge elaboration, a crucial role is played by models which, in the language of quantitative sciences, mean abstract mathematical or algorithmical representations. This short review discusses a few key examples from Physics, taken from dynamical systems theory, biophysics, and statistical mechanics, representing three paradigmatic procedures to build models and predictions from available data. In the case of dynamical systems we show how predictions can be obtained in a virtually model-free framework using the methods of analogues, and we briefly discuss other approaches based on machine learning methods. In cases where the complexity of systems is challenging, like in biophysics, we stress the necessity to include part of the empirical knowledge in the models to gain the minimal amount of realism. Finally, we consider many body systems where many (temporal or spatial) scales are at play and show how to derive from data a dimensional reduction in terms of a Langevin dynamics for their slow components.


title: State-resolved coarse-grain cross sections for rovibrational excitation and dissociation of nitrogen based on ab initio data for the N2-N system

abstract: In this paper, we present a method to generate state-resolved reaction cross sections in analytical form for rovibrational energy excitation and dissociation of a molecular gas. The method is applied to an ab initio database for the N2-N system devel- oped at NASA Ames Research Center. The detailed information on N2 +N collisions contained in this database has been reduced by adapting a Uniform RoVibrational- Collisional bin model originally developed for rate coefficients. Using a 10-bin system as an example, a comparison is made between two sets of coarse-grain cross sections, obtained by analytical inversion and direct binning respectively. The analytical in- version approach is especially powerful, because it manages to compress the entire set of rovibrational-level-specific data from the Ames database into a much smaller set of numerical parameters, sufficient to reconstruct all coarse-grain cross sections for any particular N2 +N-collision pair. As a result of this approach, the computational cost in in large-scale Direct Simulation Monte Carlo (DSMC) flow simulations is sig- nificantly reduced, both in terms of memory requirements and execution time. The intended application is the simulation of high-temperature gas-dynamics phenomena in shock-heated flows via the DSMC method. Such conditions are typically encoun- tered in high-altitude, high-speed atmospheric entry, or in shock-tube experiments. Using this coarse-grain model together with ab initio rate data will enable more accu- rate modeling nonequilibrium phenomena, such as vibrationally-favored dissociation, an effect that is not well-captured by the conventional models prevalent in DSMC (i.e. Larsen-Borgnakke and Total Collision Energy).


title: Surface states in topological semimetal slab geometries

abstract: Weyl semimetals are topological materials with protected Weyl nodes in the band structure. In these materials the surface states form open curves at the Fermi surface, Fermi arcs in Weyl semimetals and drumhead states of nodal-line semimetals. In this work we solve analitically the wave function of the surface states in a generic continuous model describing Weyl and nodal-line type I-II semimetals within a slab geometry. Depending on the values of the parameters, different types of Fermi arcs and drumhead states appear. When the mass terms are dominant with respect to the Fermi velocity in the Hamiltonian the decay of the surface states become oscillatory. This property has important consequences in the stability of surface states in a slab geometry This exact solution can be used for a better understanding of the behaviour of Fermi Arcs in real materials and their influence in transport and optical properties. We use these solutions to study the Joint Density of States at the surface which can be used to interpret quasi-particle interference data in scanning tunnneling microscope experiments. We show that oscillatory decay can be distinguish from simple exponential decay of the surface states in these experiments.


title: Suppression of axial growth by boron incorporation in GaAs nanowires grown by self-catalyzed molecular beam epitaxy

abstract: The addition of boron to GaAs nanowires grown by self-catalyzed molecular beam epitaxy was found to have a strong effect on the nanowire morphology, with axial growth greatly reduced as the nominal boron concentration was increased. Transmission electron microscopy measurements show that the Ga catalyst droplet was unintentionally consumed during growth. Concurrent radial growth, a rough surface morphology and tapering of nanowires grown under boron flux suggest that this droplet consumption is due to reduced Ga adatom diffusion on the nanowire sidewalls in the presence of boron. Modelling of the nanowire growth puts the diffusion length of Ga adatoms under boron flux at around 700-1000nm. Analyses of the nanowire surfaces show regions of high boron concentration, indicating the surfactant nature of boron in GaAs.


title: Bridge trisections in rational surfaces

abstract: We study smooth isotopy classes of complex curves in complex surfaces from the perspective of the theory of bridge trisections, with a special focus on curves in $\mathbb{CP}^2$ and $\mathbb{CP}^1\times\mathbb{CP}^1$. We are especially interested in bridge trisections and trisections that are as simple as possible, which we call "efficient". We show that any curve in $\mathbb{CP}^2$ or $\mathbb{CP}^1\times\mathbb{CP}^1$ admits an efficient bridge trisection. Because bridge trisections and trisections are nicely related via branched covering operations, we are able to give many examples of complex surfaces that admit efficient trisections. Among these are hypersurfaces in $\mathbb{CP}^3$, the elliptic surfaces $E(n)$, the Horikawa surfaces $H(n)$, and complete intersections of hypersurfaces in $\mathbb{CP}^N$. As a corollary, we observe that, in many cases, manifolds that are homeomorphic but not diffeomorphic have the same trisection genus, which is consistent with the conjecture that trisection genus is additive under connected sum. We give many trisection diagrams to illustrate our examples.


title: Modelling, Simulation and Parameter Identification of Active Pollution Reduction with Photovoltaic Asphalt

abstract: We develop and implement a numerical model to simulate the effect of photovoltaic asphalt on reducing the concentration of nitrogen monoxide due to the presence of heavy traffic in an urban environment. The contributions in this paper are threefold: we model and simulate the spread and breakdown of pollution in an urban environment, we provide a parameter estimation process that can be used to find missing parameters, and finally, we train and compare this simulation with different data sets. We analyze the results and provide an outlook on further research.


title: Optimal conditions for spatial adiabatic passage of a Bose-Einstein condensate

abstract: We investigate spatial adiabatic passage of a Bose-Einstein condensate in a triple well potential within the three-mode approximation. By rewriting the dynamics in the so-called time-dependent dark/dressed basis, we analytically derive the optimal conditions for the non-linear parameter and the on-site energies of each well to achieve a highly efficient condensate transport. We show that the non-linearity yields a high-efficiency plateau for the condensate transport as a function of the on-site energy difference between the outermost wells, favoring the robustness of the transport. We also analyze the case of different non-linearities in each well, which, for certain parameter values, leads to an increase of the width of this plateau.


title: Evolving Graphs with Semantic Neutral Drift

abstract: We introduce the concept of Semantic Neutral Drift (SND) for genetic programming (GP), where we exploit equivalence laws to design semantics preserving mutations guaranteed to preserve individuals' fitness scores. A number of digital circuit benchmark problems have been implemented with rule-based graph programs and empirically evaluated, demonstrating quantitative improvements in evolutionary performance. Analysis reveals that the benefits of the designed SND reside in more complex processes than simple growth of individuals, and that there are circumstances where it is beneficial to choose otherwise detrimental parameters for a GP system if that facilitates the inclusion of SND.


title: Boundary of the Range of a random walk and the F\"olner property

abstract: The range process $R_n$ of a random walk is the collection of sites visited by the random walk up to time $n$. In this work we deal with the question of whether the range process of a random walk or the range process of a cocycle over an ergodic transformation is almost surely a F\"olner sequence and show the following results: % (a) The size of the inner boundary $|\partial R_n|$ of the range of recurrent aperiodic random walks on $\mathbb{Z}^2$ with finite variance and aperiodic random walks in $\mathbb{Z}$ in the standard domain of attraction of the Cauchy distribution, divided by $\frac{n}{\log^2(n)}$, converges to a constant almost surely. % (b) We establish a formula for the F\"olner asymptotic of transient cocycles over an ergodic probability preserving transformation and use it to show that for transient random walk on groups which are not virtually cyclic, for almost every path, the range is not a F\"olner sequence. % (c) For aperiodic random walks in the domain of attraction of symmetric $\alpha$- stable distributions with $1<\alpha\leq 2$, we prove a sharp polynomial upper bound for the decay at infinity of $|\partial R_n|/|R_n|$. This last result shows that the range process of these random walks is almost surely a F\"olner sequence.


title: Building and Querying Semantic Layers for Web Archives (Extended Version)

abstract: Web archiving is the process of collecting portions of the Web to ensure that the information is preserved for future exploitation. However, despite the increasing number of web archives worldwide, the absence of efficient and meaningful exploration methods still remains a major hurdle in the way of turning them into a usable and useful information source. In this paper, we focus on this problem and propose an RDF/S model and a distributed framework for building semantic profiles ("layers") that describe semantic information about the contents of web archives. A semantic layer allows describing metadata information about the archived documents, annotating them with useful semantic information (like entities, concepts and events), and publishing all this data on the Web as Linked Data. Such structured repositories offer advanced query and integration capabilities, and make web archives directly exploitable by other systems and tools. To demonstrate their query capabilities, we build and query semantic layers for three different types of web archives. An experimental evaluation showed that a semantic layer can answer information needs that existing keyword-based systems are not able to sufficiently satisfy.


title: Boson Peak decouples from elasticity in glasses with low connectivity

abstract: We perform molecular-dynamics simulations of the vibrational and the elasto-plastic properties of polymeric glasses and crystals and corresponding atomic systems. We evidence that the elastic scaling of the density of states in the low-frequency boson peak (BP) region is different in crystals and glasses. Also, we see that the BP of the polymeric glass is nearly coincident with the one of the atomic glasses, thus revealing that the former - differently from elasticity - is controlled by non-bonding interactions only. Our results suggest that the interpretation of the BP in terms of macroscopic elasticity, discussed in highly connected systems, does not hold for systems with low connectivity.


title: Indefinite causal order enables perfect quantum communication with zero capacity channels

abstract: Quantum mechanics is compatible with scenarios where the relative order between two events can be indefinite. Here we show that two independent instances of a noisy process can behave as a perfect quantum communication channel when used in a coherent superposition of two alternative orders. This phenomenon occurs even if the original process has zero capacity to transmit quantum information. In contrast, perfect quantum communication does not occur when the message is sent directly from the sender to the receiver through a superposition of alternative paths, with an independent noise process acting on each path. The possibility of perfect quantum communication through independent noisy channels highlights a fundamental difference between the superposition of orders in time and the superposition of paths in space.


title: Proportional fairness in wireless powered CSMA/CA based IoT networks

abstract: This paper considers the deployment of a hybrid wireless data/power access point in an 802.11-based wireless powered IoT network. The proportionally fair allocation of throughputs across IoT nodes is considered under the constraints of energy neutrality and CPU capability for each device. The joint optimization of wireless powering and data communication resources takes the CSMA/CA random channel access features, e.g. the backoff procedure, collisions, protocol overhead into account. Numerical results show that the optimized solution can effectively balance individual throughput across nodes, and meanwhile proportionally maximize the overall sum throughput under energy constraints.


title: Classification of unitary vertex subalgebras and conformal subnets for rank-one lattice chiral CFT models

abstract: We provide a complete classification of unitary subalgebras of even rank-one lattice vertex operator algebras. As a consequence of the correspondence between vertex operator algebras and conformal nets, we also obtain a complete classification of conformal subnets of even rank-one lattice conformal nets.


title: Distilling with Performance Enhanced Students

abstract: The task of accelerating large neural networks on general purpose hardware has, in recent years, prompted the use of channel pruning to reduce network size. However, the efficacy of pruning based approaches has since been called into question. In this paper, we turn to distillation for model compression---specifically, attention transfer---and develop a simple method for discovering performance enhanced student networks. We combine channel saliency metrics with empirical observations of runtime performance to design more accurate networks for a given latency budget. We apply our methodology to residual and densely-connected networks, and show that we are able to find resource-efficient student networks on different hardware platforms while maintaining very high accuracy. These performance-enhanced student networks achieve up to 10% boosts in top-1 ImageNet accuracy over their channel-pruned counterparts for the same inference time.


title: The coset and stability rings

abstract: We show that if $G$ is a discrete Abelian group and $A \subset G$ has $\|1_A\|_{B(G)} \leq M$ then $A$ is $O(\exp(\pi M))$-stable in the sense of Terry and Wolf.


title: Contact-Implicit Trajectory Optimization Based on a Variable Smooth Contact Model and Successive Convexification

abstract: In this paper, we propose a contact-implicit trajectory optimization (CITO) method based on a variable smooth contact model (VSCM) and successive convexification (SCvx). The VSCM facilitates the convergence of gradient-based optimization without compromising physical fidelity. On the other hand, the proposed SCvx-based approach combines the advantages of direct and shooting methods for CITO. For evaluations, we consider non-prehensile manipulation tasks. The proposed method is compared to a version based on iterative linear quadratic regulator (iLQR) on a planar example. The results demonstrate that both methods can find physically-consistent motions that complete the tasks without a meaningful initial guess owing to the VSCM. The proposed SCvx-based method outperforms the iLQR-based method in terms of convergence, computation time, and the quality of motions found. Finally, the proposed SCvx-based method is tested on a standard robot platform and shown to perform efficiently for a real-world application.


title: Metallurgical processes in AlSi alloy improved by WC nanoparticles

abstract: The influence of a modifier based on WC nanoparticles was investigated using bulk Al in a real industrial process using a commercial AlSi hypoeutectic alloy. The modifier was prepared by hot extrusion approach. Its influence was investigated on Al and on commercial Al A356 alloy. The mechanical properties of the Al A356 alloy modified with WC nanoparticles was determined after T6 heat treatment and compared with an unmodified specimen of the same alloy. The results obtained in the modified Al A356 alloy reveal unusual behavior of the mechanical properties, where the elongation of the alloys improved by 32% 64%, while the tensile and the yield strengths remained unchanged. This behavior was attributed to a grain size strengthening mechanism, where strengthening occurs due to the high concentration of grain boundaries, which prevent the dislocations motions in the metal lattice.


title: Preserving Both Privacy and Utility in Network Trace Anonymization

abstract: As network security monitoring grows more sophisticated, there is an increasing need for outsourcing such tasks to third-party analysts. However, organizations are usually reluctant to share their network traces due to privacy concerns over sensitive information, e.g., network and system configuration, which may potentially be exploited for attacks. In cases where data owners are convinced to share their network traces, the data are typically subjected to certain anonymization techniques, e.g., CryptoPAn, which replaces real IP addresses with prefix-preserving pseudonyms. However, most such techniques either are vulnerable to adversaries with prior knowledge about some network flows in the traces, or require heavy data sanitization or perturbation, both of which may result in a significant loss of data utility. In this paper, we aim to preserve both privacy and utility through shifting the trade-off from between privacy and utility to between privacy and computational cost. The key idea is for the analysts to generate and analyze multiple anonymized views of the original network traces; those views are designed to be sufficiently indistinguishable even to adversaries armed with prior knowledge, which preserves the privacy, whereas one of the views will yield true analysis results privately retrieved by the data owner, which preserves the utility. We present the general approach and instantiate it based on CryptoPAn. We formally analyze the privacy of our solution and experimentally evaluate it using real network traces provided by a major ISP. The results show that our approach can significantly reduce the level of information leakage (e.g., less than 1\% of the information leaked by CryptoPAn) with comparable utility.


title: Deep Neural Networks for Choice Analysis: A Statistical Learning Theory Perspective

abstract: While researchers increasingly use deep neural networks (DNN) to analyze individual choices, overfitting and interpretability issues remain as obstacles in theory and practice. By using statistical learning theory, this study presents a framework to examine the tradeoff between estimation and approximation errors, and between prediction and interpretation losses. It operationalizes the DNN interpretability in the choice analysis by formulating the metrics of interpretation loss as the difference between true and estimated choice probability functions. This study also uses the statistical learning theory to upper bound the estimation error of both prediction and interpretation losses in DNN, shedding light on why DNN does not have the overfitting issue. Three scenarios are then simulated to compare DNN to binary logit model (BNL). We found that DNN outperforms BNL in terms of both prediction and interpretation for most of the scenarios, and larger sample size unleashes the predictive power of DNN but not BNL. DNN is also used to analyze the choice of trip purposes and travel modes based on the National Household Travel Survey 2017 (NHTS2017) dataset. These experiments indicate that DNN can be used for choice analysis beyond the current practice of demand forecasting because it has the inherent utility interpretation, the flexibility of accommodating various information formats, and the power of automatically learning utility specification. DNN is both more predictive and interpretable than BNL unless the modelers have complete knowledge about the choice task, and the sample size is small. Overall, statistical learning theory can be a foundation for future studies in the non-asymptotic data regime or using high-dimensional statistical models in choice analysis, and the experiments show the feasibility and effectiveness of DNN for its wide applications to policy and behavioral analysis.


title: Approximate Minimum-Weight Matching with Outliers under Translation

abstract: Our goal is to compare two planar point sets by finding subsets of a given size such that a minimum-weight matching between them has the smallest weight. This can be done by a translation of one set that minimizes the weight of the matching. We give efficient algorithms (a) for finding approximately optimal matchings, when the cost of a matching is the $L_p$-norm of the tuple of the Euclidean distances between the pairs of matched points, for any $p\in [1,\infty]$, and (b)~for constructing small-size approximate minimization (or matching) diagrams: partitions of the translation space into regions, together with an approximate optimal matching for each region.


title: Broadband Tunable THz Absorption with Singular Graphene Metasurfaces

abstract: By exploiting singular spatial modulations of the graphene conductivity, we design a broadband, tunable THz absorber whose efficiency approaches the theoretical upper bound for a wide absorption band with a fractional bandwidth of 185\%. Strong field enhancement is exhibited by the modes of this extended structure, which is able to excite a wealth of high order surface plasmons, enabling deeply subwavelength focussing of incident THz radiation. Previous studies have shown that the conductivity can be modulated at GHz frequencies, which might lead to the development of efficient high speed broadband switching by an atomically thin layer.


title: Software Rejuvenation for Secure Tracking Control

abstract: Software rejuvenation protects cyber-physical systems (CSPs) against cyber attacks on the run-time code by periodically refreshing the system with an uncorrupted software image. The system is vulnerable to attacks when it is communicating with other agents. Security is guaranteed during the software refresh and re-initialization by turning off all communication. Although the effectiveness of software rejuvenation has been demonstrated for some simple systems, many problems need to be addressed to make it viable for real applications. This paper expands the scope of CPS applications for which software rejuvenation can be implemented by introducing architectural and algorithmic features to support trajectory tracking. Following each software refresh, while communication is still off, a safety controller is executed to assure the system state is within a sufficiently small neighborhood of the current point on the reference trajectory. Communication is then re-established and the reference trajectory tracking control is resumed. A protected, verified hypervisor manages the software rejuvenation sequence and delivers trusted reference trajectory points, which may be received from untrusted communication, but are verified using an authentication process. We present the approach to designing the tracking and safety controllers and timing parameters and demonstrate the secure tracking control for a 6 DOF quadrotor using the PX4 jMAVSim quadrotor simulator. The concluding section discusses directions for further research.


title: Learning Negotiating Behavior Between Cars in Intersections using Deep Q-Learning

abstract: This paper concerns automated vehicles negotiating with other vehicles, typically human driven, in crossings with the goal to find a decision algorithm by learning typical behaviors of other vehicles. The vehicle observes distance and speed of vehicles on the intersecting road and use a policy that adapts its speed along its pre-defined trajectory to pass the crossing efficiently. Deep Q-learning is used on simulated traffic with different predefined driver behaviors and intentions. The results show a policy that is able to cross the intersection avoiding collision with other vehicles 98% of the time, while at the same time not being too passive. Moreover, inferring information over time is important to distinguish between different intentions and is shown by comparing the collision rate between a Deep Recurrent Q-Network at 0.85% and a Deep Q-learning at 1.75%.


title: Multi-type branching processes with time dependent branching rates

abstract: Under mild non-degeneracy assumptions on branching rates in each generation, we provide a criterion for almost-sure extinction of a multi-type branching process with time-dependent branching rates. We also provide a criterion for the total number of particles (conditioned on survival and divided by the expectation of the resulting random variable) to approach an exponential random variable as time goes to infinity.


title: Bricks for the mixed high-order virtual element method: projectors and differential operators

abstract: We present the essential instruments to deal with Virtual Element Method (VEM) for the resolution of partial differential equations in mixed form. Functional spaces, degrees of freedom, projectors and differential operators are described emphasizing how to build them in a virtual element framework and for a general approximation order. To achieve this goal, it was necessary to make a deep analysis on polynomial spaces and decompositions. Finally, we exploit such `briks' to construct virtual element approximations of Stokes, Darcy and Navier-Stokes problems and we provide a series of examples to numerically verify the theoretical behavior of high-order VEM.


title: Magnetostriction studies up to megagauss fields using fiber Bragg grating technique

abstract: We here report magnetostriction measurements under pulsed megagauss fields using a high-speed 100 MHz strain monitoring system devised using fiber Bragg grating (FBG) technique with optical filter method. The optical filter method is a detection scheme of the strain of FBG, where the changing Bragg wavelength of the FBG reflection is converted to the intensity of reflected light to enable the 100 MHz measurement. In order to show the usefulness and reliability of the method, we report the measurements for solid oxygen, spin-controlled crystal, and volborthite, a deformed Kagom\'{e} quantum spin lattice, using static magnetic fields up to 7 T and non-destructive millisecond pulse magnets up to 50 T. Then, we show the application of the method for the magnetostriction measurements of CaV$_{4}$O$_{9}$, a two-dimensional antiferromagnet with spin-halves, and LaCoO$_{3}$, an anomalous spin-crossover oxide, in the megagauss fields.


title: The persistence of the Chekanov-Eliashberg algebra

abstract: We apply the barcodes of persistent homology theory to the Chekanov-Eliashberg algebra of a Legendrian submanifold to deduce displacement energy bounds for arbitrary Legendrians. We do not require the full Chekanov-Eliashberg algebra to admit an augmentation as we linearize the algebra only below a certain action level. As an application we show that it is not possible to $C^0$-approximate a stabilized Legendrian by a Legendrian that admits an augmentation.


title: Galaxy Cluster Mass Estimates in the Presence of Substructure

abstract: We develop and implement a model to analyze the internal kinematics of galaxy clusters that may contain subpopulations of galaxies that do not independently trace the cluster potential. The model allows for substructures within the cluster environment, disentangles cluster members from contaminating foreground and background galaxies, and includes an overall cluster rotation term as part of the cluster kinematics. We estimate the cluster velocity dispersion and/or mass while marginalizing over uncertainties in all of the above complexities. In a first application to our published data for Abell 267 (A267), we find no evidence for cluster rotation but we identify up to five distinct galaxy subpopulations. We use these results to explore the sensitivity of inferred cluster properties to the treatment of substructure. Compared to a model that assumes no substructure, our substructure model reduces the dynamical mass of A267 by $\sim 20\%$ and shifts the cluster mean velocity by $\sim 100$ km s$^{-1}$, approximately doubling the offset with respect to the velocity of A267's brightest cluster galaxy. Embedding the spherical Jeans equation within this framework, we infer for A267 a dark matter halo of mass $M_{200}=6.77\pm1.06\times10^{14}M_\odot/h$, concentration $\log_{10}c_{200}=0.61\pm0.39$, consistent with the mass-concentration relation found in cosmological simulations.


title: Equation of state of fluid methane from first principles with machine learning potentials

abstract: The predictive simulation of molecular liquids requires models that are not only accurate, but computationally efficient enough to handle the large systems and long time scales required for reliable prediction of macroscopic properties. We present a new approach to the systematic approximation of the first-principles potential energy surface (PES) of molecular liquids using the GAP (Gaussian Approximation Potential) framework. The approach allows us to create potentials at several different levels of accuracy in reproducing the true PES, which allows us to test the level of quantum chemistry that is necessary to accurately predict its macroscopic properties. We test the approach by building potentials for liquid methane (CH$_4$), which is difficult to model from first principles because its behavior is dominated by weak dispersion interactions with a significant many-body component. We find that an accurate, consistent prediction of its bulk density across a wide range of temperature and pressure requires not only many-body dispersion, but also quantum nuclear effects to be modeled accurately.


title: High Strain Rate Behaviour of Nano-quasicrystalline Al93Fe3Cr2Ti2 Alloy and Composites

abstract: In the present work, we demonstrate for the first time the outstanding dynamic mechanical properties of nano-quasicrystalline Al93Fe3Cr2Ti2 at.% alloy and composites. Unlike most crystalline aluminium-based alloys, this alloy and composites exhibit substantial strain rate sensitivity and retain much of their ductility at high rates of strain. This opens new pathways for use in safety-critical materials where impact resistance is required.


title: Radiation Damage and Thermal Recovery of Perovskite Superconductor Yttrium Barium Copper Oxide

abstract: High temperature superconducting materials are being considered to generate the magnetic fields required for the confinement of plasma in fusion reactors. The present study aims to assess the microstructural degradation resulting from ion implantation at room temperature under two implantation conditions in Yttrium Barium Copper Oxide (YBCO) tapes. Xray Diffraction (XRD) and high resolution characterisation techniques including Atom Probe Tomography (APT) and Transmission Electron Microscopy (TEM) analyses were used to correlate alterations in superconducting behaviour measured using a Magnetic Properties Measurement System (MPMS) to amorphization and recovery caused by ion implantation. TEM analysis was performed to depth profile the degree of crystallinity (or lack thereof) on irradiated samples. SRIM predicted the damage depth at 900 nm below the sample surface of the 2 MeV Xe implanted sample and 450 nm beneath the surface of the 0.6 MeV Xe implanted sample. 2 MeV Xe implantation caused the superconducting temperature to decrease by 10 K and the critical current density to display a 10 fold reduction. Post irradiation heat treatments up to 600C caused recrystallisation of the irradiated layer, but also oxygen loss and alterations in grain size. The recrystallised grain orientation was random in TEM lamellae, however, bulk samples re-grew along the original crystal orientation provided that some of the original material was not amorphized (ie if they nucleated on crystalline YBCO). This is extremely promising for the thermal recovery of tokamak components.


title: Statistical properties of shear deformation of granular media and analogies with natural seismic processes

abstract: In this paper, the process of shear deformation of the medium formed by the cubic grains is investigated experimentally. It is demonstrated that the deformation process is intermittent and accompanied by the radiation of acoustic perturbations. These perturbations obey statistical laws that are inherent in natural seismic processes: the frequency-energy scaling relation (the Gutenberg-Richter law) and the generalized Omori law for temporal decay of aftershocks. The weak perturbations influence on the process of shear deformation is studied for the mono-dispersed medium. During the granular medium stimulation by weak periodic signals, the existence of a critical frequency providing the smallest number of critical events in the granular medium is identified. We also developed the algorithm providing smaller stresses inside the granular massif by means of external perturbations during shear deformation. Taking into account the statistical similarity between shear and seismic processes, these results open prospects for the ability to affect the natural seismic processes.


title: Weyl bound for $\rm GL(2)$ in $t$-aspect via a trivial delta method

abstract: We use a `trivial' delta method to prove the Weyl bound in $t$-aspect for the $\rm L$-function of a holomorphic or a Hecke-Maass cusp form of arbitrary level and nebentypus. In particular, this extends the results of Meurman and Jutila for the $t$-aspect Weyl bound, and the recent result of Booker, Milinovich and Ng to Hecke cusp forms of arbitrary level and nebentypus.


title: Topological Transport of Vorticity in Heisenberg Magnets

abstract: We study a robust topological transport carried by vortices in a thin film of an easy-plane ferromagnetic insulator between two metal contacts. A vortex, which is a nonlocal topological spin texture in two-dimensional magnets, exhibits some beneficial features as compared to skyrmions, which are local topological defects. In particular, the total topological charge carried by vorticity is robust against local fluctuations of the spin order-parameter magnitude. We show that an electric current in one of the magnetized metal contacts can pump vortices into the insulating bulk. Diffusion and nonlocal Coulomb-like interaction between these vortices will establish a steady-state vortex flow. Vortices leaving the bulk produce an electromotive force at another contact, which is related to the current-induced vorticity pumping by the Onsager reciprocity. The voltage signal decays algebraically with the separation between two contacts, similarly to a superfluid spin transport. Finally, the vorticity and closely related skyrmion type topological hydrodynamics are generalized to arbitrary dimensions, in terms of nonsingular order-parameter vector fields.


title: Frustration of signed networks: How does it affect the thermodynamic properties of a system?

abstract: Signed networks with positive and negative interaction are widely observed in the real systems. The negative links would induce frustration, then affect global properties of the system. Based on previous studies, frustration of signed networks is investigated and quantified. Frustrations of $\pm J$ (Edwards-Anderson) Ising model with a concentration $p$ of negative bonds, constructed on different networks, such as triangular lattice, square lattice and random regular networks (RRN) with connectivity $k=6$ are estimated by theoretical and numerical approaches. Based on the quantitative measurement of frustration, its effects on phase transitions characterized by order parameter $q_{EA}$ are studied. The relationship of critical temperature $T_c$ with the quantified frustration $\mu$ is given by mean-field theory. It shows that $T_c$ decreases linearly with frustration $\mu$ . The theory is checked by numerical estimations, such as the Metropolis algorithm and Replica Symmetric Population Dynamics Algorithm. The numerical estimates are consistent well with the mean-field prediction.


title: Noisy Blackbox Optimization with Multi-Fidelity Queries: A Tree Search Approach

abstract: We study the problem of black-box optimization of a noisy function in the presence of low-cost approximations or fidelities, which is motivated by problems like hyper-parameter tuning. In hyper-parameter tuning evaluating the black-box function at a point involves training a learning algorithm on a large data-set at a particular hyper-parameter and evaluating the validation error. Even a single such evaluation can be prohibitively expensive. Therefore, it is beneficial to use low-cost approximations, like training the learning algorithm on a sub-sampled version of the whole data-set. These low-cost approximations/fidelities can however provide a biased and noisy estimate of the function value. In this work, we incorporate the multi-fidelity setup in the powerful framework of noisy black-box optimization through tree-like hierarchical partitions. We propose a multi-fidelity bandit based tree-search algorithm for the problem and provide simple regret bounds for our algorithm. Finally, we validate the performance of our algorithm on real and synthetic datasets, where it outperforms several benchmarks.


title: Double scaling limit of N=2 chiral correlators with Maldacena-Wilson loop

abstract: We consider $\mathcal N=2$ conformal QCD in four dimensions and the one-point correlator of a class of chiral primaries with the circular $\frac{1}{2}$-BPS Maldacena-Wilson loop. We analyze a recently introduced double scaling limit where the gauge coupling is weak while the R-charge of the chiral primary $\Phi$ is large. In particular, we consider the case $\Phi=(\text{tr}\varphi^{2})^{n}$ , where $\varphi$ is the complex scalar in the vector multiplet. The correlator defines a non-trivial scaling function at fixed $\kappa = n\,g_{\rm YM}^{2}$ and large $n$ that may be studied by localization. For any gauge group $SU(N)$ we provide the analytic expression of the first correction $\sim \zeta(3)\,\kappa^{2}$ and prove its universality. In the $SU(2)$ and $SU(3)$ theories we compute the scaling functions at order $\mathcal O(\kappa^{6})$. Remarkably, in the $SU(2)$ case the scaling function is equal to an analogous quantity describing the chiral 2-point functions $\langle\Phi\overline\Phi\rangle$ in the same large R-charge limit. We conjecture that this $SU(2)$ scaling function is computed at all-orders by a $\mathcal N=4$ SYM expectation value of a matrix model object characterizing the one-loop contribution to the 4-sphere partition function. The conjecture provides an explicit series expansion for the scaling function and is checked at order $\mathcal O(\kappa^{10})$ by showing agreement with the available data in the sector of chiral 2-point functions.


title: Design of Software Rejuvenation for CPS Security Using Invariant Sets

abstract: Software rejuvenation has been proposed as a strategy to protect cyber-physical systems (CSPs) against unanticipated and undetectable cyber attacks. The basic idea is to refresh the system periodically with a secure and trusted copy of the online software so as to eliminate all effects of malicious modifications to the run-time code and data. Following each software refresh a safety controller assures the CPS is driven to a safe state before returning to the mission control mode when the CPS is again vulnerable attacks. This paper considers software rejuvenation design from a control-theoretic perspective. Invariant sets for the Lyapunov function for the safety controller are used to derive bounds on the time that the CPS can operate in mission control mode before the software must be refreshed and the maximum time the safety controller will require to bring the CPS to a safe operating state. With these results it can be guaranteed that the CPS will remain safe under cyber attacks against the run-time system and will be able to execute missions successfully if the attacks are not persistent. The general approach is illustrated using simulation of the nonlinear dynamics of a quadrotor system. The concluding section discusses directions for further research.


title: Precipitation Nowcasting: Leveraging bidirectional LSTM and 1D CNN

abstract: Short-term rainfall forecasting, also known as precipitation nowcasting has become a potentially fundamental technology impacting significant real-world applications ranging from flight safety, rainstorm alerts to farm irrigation timings. Since weather forecasting involves identifying the underlying structure in a huge amount of data, deep-learning based precipitation nowcasting has intuitively outperformed the traditional linear extrapolation methods. Our research work intends to utilize the recent advances in deep learning to nowcasting, a multi-variable time series forecasting problem. Specifically, we leverage a bidirectional LSTM (Long Short-Term Memory) neural network architecture which remarkably captures the temporal features and long-term dependencies from historical data. To further our studies, we compare the bidirectional LSTM network with 1D CNN model to prove the capabilities of sequence models over feed-forward neural architectures in forecasting related problems.


title: A re-classification of Cepheids in the Gaia Data Release 2

abstract: Classical Cepheids are the most important primary indicators for the extragalactic distance scale. Establishing the precise zero points of their Period-Luminosity and Period-Wesenheit (PL/PW) relations has profound consequences on the estimate of $\rm H_0$. Type II Cepheids are also important distance indicator and tracers of old stellar populations. The recent Data Release 2 (DR2) of the {\it Gaia} Spacecraft includes photometry and parallaxes for thousands of classical and type II cepheids. We aim at reviewing the classification of {\it Gaia} DR2 Cepheids and to derive precise PL/PW for Magellanic Cloud (MCs) and Galactic Cepheids. Information from the literature and the {\it Gaia} astrometry and photometry are adopted to assign DR2 Galactic Cepheids to the classes: Classical, Anomalous and Type II Cepheids. We re-classify the DR2 Galactic Cepheids and derive new precise PL/PW relations in the {\it Gaia} passbands for the MCs and Milky Way Cepheids. We investigated for the first time the dependence on metallicity of the $PW$ relation for Classical Cepheids in the {\it Gaia} bands, finding non-conclusive results. According to our analysis, the zero point of the {\it Gaia} DR2 parallaxes as estimated from Classical and Type II Cepheids seems to be likely underestimated by $\sim$0.07 mas, in full agreement with recent literature. The next {\it Gaia} data releases are expected to fix this zero point offset to eventually allow a determination of $\rm H_0$ to less than 1\%.


title: Free-carrier dynamics in Au$_{2}$Pb probed by optical conductivity measurements

abstract: We measured the optical reflectivity of the Dirac material Au$_{2}$Pb in a broad frequency range (30 - 48 000 cm$^{-1}$) for temperatures between 9 and 300 K. The optical conductivity, computed from the reflectivity, is dominated by free-carrier contributions from topologically trivial bulk bands at all temperatures. The temperature-independent total plasma frequency of these carriers is 3.9 $\pm$ 0.2 eV. Overall, optical response of Au$_{2}$Pb is typically metallic with no signs of localization and bad-metal behavior.


title: Statistical modeling of rates and trends in Holocene relative sea level

abstract: Characterizing the spatio-temporal variability of relative sea level (RSL) and estimating local, regional, and global RSL trends requires statistical analysis of RSL data. Formal statistical treatments, needed to account for the spatially and temporally sparse distribution of data and for geochronological and elevational uncertainties, have advanced considerably over the last decade. Time-series models have adopted more flexible and physically-informed specifications with more rigorous quantification of uncertainties. Spatio-temporal models have evolved from simple regional averaging to frameworks that more richly represent the correlation structure of RSL across space and time. More complex statistical approaches enable rigorous quantification of spatial and temporal variability, the combination of geographically disparate data, and the separation of the RSL field into various components associated with different driving processes. We review the range of statistical modeling and analysis choices used in the literature, reformulating them for ease of comparison in a common hierarchical statistical framework. The hierarchical framework separates each model into different levels, clearly partitioning measurement and inferential uncertainty from process variability. Placing models in a hierarchical framework enables us to highlight both the similarities and differences among modeling and analysis choices. We illustrate the implications of some modeling and analysis choices currently used in the literature by comparing the results of their application to common datasets within a hierarchical framework. In light of the complex patterns of spatial and temporal variability exhibited by RSL, we recommend non-parametric approaches for modeling temporal and spatio-temporal RSL.


title: Forecasting Individualized Disease Trajectories using Interpretable Deep Learning

abstract: Disease progression models are instrumental in predicting individual-level health trajectories and understanding disease dynamics. Existing models are capable of providing either accurate predictions of patients prognoses or clinically interpretable representations of disease pathophysiology, but not both. In this paper, we develop the phased attentive state space (PASS) model of disease progression, a deep probabilistic model that captures complex representations for disease progression while maintaining clinical interpretability. Unlike Markovian state space models which assume memoryless dynamics, PASS uses an attention mechanism to induce "memoryful" state transitions, whereby repeatedly updated attention weights are used to focus on past state realizations that best predict future states. This gives rise to complex, non-stationary state dynamics that remain interpretable through the generated attention weights, which designate the relationships between the realized state variables for individual patients. PASS uses phased LSTM units (with time gates controlled by parametrized oscillations) to generate the attention weights in continuous time, which enables handling irregularly-sampled and potentially missing medical observations. Experiments on data from a realworld cohort of patients show that PASS successfully balances the tradeoff between accuracy and interpretability: it demonstrates superior predictive accuracy and learns insightful individual-level representations of disease progression.


title: Dirac parameters and topological phase diagram of Pb1-xSnxSe from magneto-spectroscopy

abstract: Pb1-xSnxSe hosts 3D massive Dirac fermions across the entire composition range for which the crystal structure is cubic. In this work, we present a comprehensive experimental mapping of the 3D band structure parameters of Pb1-xSnxSe as a function of composition and temperature. We cover a parameter space spanning the band inversion that yields its topological crystalline insulator phase. A non-closure of the energy gap is evidenced in the vicinity of this phase transition. Using magnetooptical Landau level spectroscopy, we determine the energy gap, Dirac velocity, anisotropy factor and topological character of Pb1-xSnxSe epilayers grown by molecular beam epitaxy on BaF2 (111). Our results are evidence that Pb1-xSnxSe is a model system to study topological phases and the nature of the phase transition.


title: On metric structures of normed gyrogroups

abstract: In this article, we indicate that the open unit ball in $n$-dimensional Euclidean space $\mathbb{R}^n$ admits norm-like functions compatible with the Poincar\'e and Beltrami$-$Klein metrics. This leads to the notion of a normed gyrogroup, similar to that of a normed group in the literature. We then examine topological and geometric structures of normed gyrogroups. In particular, we prove that the normed gyrogroups are homogeneous and form left invariant metric spaces and derive a version of the Mazur$-$Ulam theorem. We also give certain sufficient conditions, involving the right-gyrotranslation inequality and Klee's condition, for a normed gyrogroup to be a topological gyrogroup.


title: Reducing mod p complex representations of finite reductive groups

abstract: We state a conjecture on the reduction modulo the defining characteristic of a unipotent representation of a finite reductive group.


title: Dissipation of Alfv\'en Waves in Relativistic Magnetospheres of Magnetars

abstract: Magnetar flares excite strong Alfv\'{e}n waves in the magnetosphere of the neutron star. The wave energy can (1) dissipate in the magnetosphere, (2) convert to "fast modes" and possibly escape, and (3) penetrate the neutron star crust and dissipate there. We examine and compare the three options. Particularly challenging are nonlinear interactions between strong waves, which develop a cascade to small dissipative scales. This process can be studied in the framework of force-free electrodynamics (FFE). We perform three-dimensional FFE simulations to investigate Alfv\'{e}n wave dissipation, how long it takes, and how it depends on the initial wave amplitude on the driving scale. In the simulations, we launch two large Alfv\'{e}n wave packets that keep bouncing on closed magnetic field lines and collide repeatedly until the full turbulence spectrum develops. Besides dissipation due to the turbulent cascade, we find that in some simulations spurious energy losses occur immediately in the first collisions. This effect occurs in special cases where the FFE description breaks. It is explained with a simple one-dimensional model, which we examine in both FFE and full magnetohydrodynamic settings. We find that magnetospheric dissipation through nonlinear wave interactions is relatively slow and more energy is drained into the neutron star. The wave energy deposited into the star is promptly dissipated through plastic crustal flows induced at the bottom of the liquid ocean, and a fraction of the generated heat is radiated from the stellar surface.


title: Size-Luminosity Scaling Relations of Local and Distant Star Forming Regions

abstract: We investigate star forming scaling relations using Bayesian inference on a comprehensive data sample of low- (z<0.1) and high-redshift (1<z<5) star forming regions. This full data set spans a wide range of host galaxy stellar mass ($M_{*} \sim10^6-10^{11} M_{\odot}$) and clump star formation rates (SFR $ \sim10^{-5}-10^2 M_\odot yr^{-1}$). We fit the power-law relationship between the size (r$_{H\alpha}$) and luminosity (L$_{H\alpha}$) of the star forming clumps using the Bayesian statistical modeling tool Stan that makes use of Markov Chain Monte Carlo (MCMC) sampling techniques. Trends in the scaling relationship are explored for the full sample and subsets based on redshift and selection effects between samples. In our investigation we find no evidence of redshift evolution of the size-luminosity scaling relationship, nor a difference in slope between lensed and unlensed data. There is evidence of a break in the scaling relationship between high and low star formation rate surface density ($\Sigma_{SFR}$) clumps. The size-luminosity power law fit results are L$_{H\alpha}\sim$ r$_{H\alpha}^{2.8}$ and L$_{H\alpha}\sim$ r$_{H\alpha}^{1.7}$ for low and high $\Sigma_{SFR}$ clumps, respectively. We present a model where star forming clumps form at locations of gravitational instability and produce an ionized region represented by the Str\"{o}mgren radius. A radius smaller than the scale height of the disk results in a scaling relationship of $L \propto r^3$ (high $\Sigma_{SFR}$ clumps), and a scaling of $L \propto r^2$ (low $\Sigma_{SFR}$ clumps) if the radius is larger than the disk scale height.


title: Posterior Convergence of Gaussian and General Stochastic Process Regression Under Possible Misspecifications

abstract: In this article, we investigate posterior convergence in nonparametric regression models where the unknown regression function is modeled by some appropriate stochastic process. In this regard, we consider two setups. The first setup is based on Gaussian processes, where the covariates are either random or non-random and the noise may be either normally or double-exponentially distributed. In the second setup, we assume that the underlying regression function is modeled by some reasonably smooth, but unspecified stochastic process satisfying reasonable conditions. The distribution of the noise is also left unspecified, but assumed to be thick-tailed. As in the previous studies regarding the same problems, we do not assume that the truth lies in the postulated parameter space, thus explicitly allowing the possibilities of misspecification. We exploit the general results of Shalizi (2009) for our purpose and establish not only posterior consistency, but also the rates at which the posterior probabilities converge, which turns out to be the Kullback-Leibler divergence rate. We also investigate the more familiar posterior convergence rates. Interestingly, we show that the posterior predictive distribution can accurately approximate the best possible predictive distribution in the sense that the Hellinger distance, as well as the total variation distance between the two distributions can tend to zero, in spite of misspecifications.


title: Improving OpenCL Performance by Specializing Compiler Phase Selection and Ordering

abstract: Automatic compiler phase selection/ordering has traditionally been focused on CPUs and, to a lesser extent, FPGAs. We present experiments regarding compiler phase ordering specialization of OpenCL kernels targeting a GPU. We use iterative exploration to specialize LLVM phase orders on 15 OpenCL benchmarks to an NVIDIA GPU. We analyze the generated NVIDIA PTX code for the various versions to identify the main causes of the most significant improvements and present results of a set of experiments that demonstrate the importance of using specific phase orders. Using specialized compiler phase orders, we were able to achieve geometric mean improvements of 1.54x (up to 5.48x) and 1.65x (up to 5.7x) over PTX generated by the NVIDIA CUDA compiler from CUDA versions of the same kernels, and over execution of the OpenCL kernels compiled from source with the NVIDIA OpenCL driver, respectively. We also evaluate the use of code-features in the OpenCL kernels. More specifically, we evaluate an approach that achieves geometric mean improvements of 1.49x and 1.56x over the same OpenCL baseline, by using the compiler sequences of the 1 or 3 most similar benchmarks, respectively.


title: Communities as Well Separated Subgraphs With Cohesive Cores: Identification of Core-Periphery Structures in Link Communities

abstract: Communities in networks are commonly considered as highly cohesive subgraphs which are well separated from the rest of the network. However, cohesion and separation often cannot be maximized at the same time, which is why a compromise is sought by some methods. When a compromise is not suitable for the problem to be solved it might be advantageous to separate the two criteria. In this paper, we explore such an approach by defining communities as well separated subgraphs which can have one or more cohesive cores surrounded by peripheries. We apply this idea to link communities and present an algorithm for constructing hierarchical core-periphery structures in link communities and first test results.


title: Sleep-like slow oscillations improve visual classification through synaptic homeostasis and memory association in a thalamo-cortical model

abstract: The occurrence of sleep passed through the evolutionary sieve and is widespread in animal species. Sleep is known to be beneficial to cognitive and mnemonic tasks, while chronic sleep deprivation is detrimental. Despite the importance of the phenomenon, a complete understanding of its functions and underlying mechanisms is still lacking. In this paper, we show interesting effects of deep-sleep-like slow oscillation activity on a simplified thalamo-cortical model which is trained to encode, retrieve and classify images of handwritten digits. During slow oscillations, spike-timing-dependent-plasticity (STDP) produces a differential homeostatic process. It is characterized by both a specific unsupervised enhancement of connections among groups of neurons associated to instances of the same class (digit) and a simultaneous down-regulation of stronger synapses created by the training. This hierarchical organization of post-sleep internal representations favours higher performances in retrieval and classification tasks. The mechanism is based on the interaction between top-down cortico-thalamic predictions and bottom-up thalamo-cortical projections during deep-sleep-like slow oscillations. Indeed, when learned patterns are replayed during sleep, cortico-thalamo-cortical connections favour the activation of other neurons coding for similar thalamic inputs, promoting their association. Such mechanism hints at possible applications to artificial learning systems.


title: Multi-Multi-View Learning: Multilingual and Multi-Representation Entity Typing

abstract: Knowledge bases (KBs) are paramount in NLP. We employ multiview learning for increasing accuracy and coverage of entity type information in KBs. We rely on two metaviews: language and representation. For language, we consider high-resource and low-resource languages from Wikipedia. For representation, we consider representations based on the context distribution of the entity (i.e., on its embedding), on the entity's name (i.e., on its surface form) and on its description in Wikipedia. The two metaviews language and representation can be freely combined: each pair of language and representation (e.g., German embedding, English description, Spanish name) is a distinct view. Our experiments on entity typing with fine-grained classes demonstrate the effectiveness of multiview learning. We release MVET, a large multiview - and, in particular, multilingual - entity typing dataset we created. Mono- and multilingual fine-grained entity typing systems can be evaluated on this dataset.


title: A stochastic sewing lemma and applications

abstract: We introduce a stochastic version of Gubinelli's sewing lemma, providing a sufficient condition for the convergence in moments of some random Riemann sums. Compared with the deterministic sewing lemma, adaptiveness is required and the regularity restriction is improved by a half. The limiting process exhibits a Doob-Meyer-type decomposition. Relations with It\^o calculus are established. To illustrate further potential applications, we use the stochastic sewing lemma in studying stochastic differential equations driven by Brownian motions or fractional Brownian motions with irregulardrifts.


title: Infinitely many periodic solutions for a class of fractional Kirchhoff problems

abstract: We prove the existence of infinitely many nontrivial weak periodic solutions for a class of fractional Kirchhoff problems driven by a relativistic Schr\"odinger operator with periodic boundary conditions and involving different types of nonlinearities.


title: Wigner phase of photonic helicity states in the spacetime of the Earth

abstract: We study relativistic effects on polarised photons that travel in a curved spacetime. As a concrete application, we consider photons in the gravitational field of the Earth, on a closed path that starts at a terrestial laboratory, is reflected at one or more satellites, and finally returns to the laboratory. We find that the photons acquire a non-trivial Wigner phase already when the gravitational field is static, such as the Schwarzschild spacetime, where previous studies have found a trivial Wigner phase for closed photon paths. A gauge-invariant description of this nontrivial Wigner phase remains an open question, to be resolved before the formalism can provide predictions for experiments.


title: Derived representation theory of Lie algebras and stable homotopy categorification of $sl_k$

abstract: We set up foundations of representation theory over $S$, the sphere spectrum, which is the `initial ring' of stable homotopy theory. In particular, we treat $S$-Lie algebras and their representations, characters, $gl_n(S)$-Verma modules and their duals, Harish-Chandra pairs and Zuckermann functors. As an application, we construct a Khovanov $sl_k$-stable homotopy type with a large prime hypothesis, which is a new link invariant, using a stable homotopy analogue of the method of J.Sussan.


title: Charging the Johannsen-Psaltis spacetime

abstract: In this paper we develop the charged version of the spacetime proposed by Johannsen and Psaltis. Rotation is introduced in the deformed Reissner-Nordstr\"om spacetime by complex coordinate transformation. The event horizon and Killing horizon are studied. Killing horizons are represented graphically also. The analysis of the determinant of the metric shows that the spacetime does not have Lorentz violating regions. Similarly, from the study of the closed time-like curves, we see that no such curves exist outside the central body. Expressions for the energy and angular momentum for a particle on the equatorial plane are determined. Location of the circular photon orbits and innermost stable circular orbits is also computed.


title: Hamilton-Jacobi Formulation of the Thermodynamics of Einstein-Born-Infeld-AdS Black Holes

abstract: A Hamilton-Jacobi formalism for thermodynamics was formulated by Rajeev [Ann. Phys. 323, 2265 (2008)] based on the contact structure of the odd dimensional thermodynamic phase space. This allows one to derive the equations of state of a family of substances by solving a Hamilton-Jacobi equation (HJE). In the same work it was applied to chargeless non-rotating black holes, and the use of Born-Infeld electromagnetism was proposed to apply it to charged black holes as well. This paper fulfills this suggestion by deriving the HJE for charged non-rotating black holes using Born-Infeld theory and a negative cosmological constant. The most general solution of this HJE is found. It is shown that there exists solutions which are distinct from the equations of state of the Einstein-Born-Infeld-AdS black hole. The meaning of these solutions is discussed.


title: Variational Quantum State Diagonalization

abstract: Variational hybrid quantum-classical algorithms are promising candidates for near-term implementation on quantum computers. In these algorithms, a quantum computer evaluates the cost of a gate sequence (with speedup over classical cost evaluation), and a classical computer uses this information to adjust the parameters of the gate sequence. Here we present such an algorithm for quantum state diagonalization. State diagonalization has applications in condensed matter physics (e.g., entanglement spectroscopy) as well as in machine learning (e.g., principal component analysis). For a quantum state $\rho$ and gate sequence $U$, our cost function quantifies how far $ U\rho U^{\dagger}$ is from being diagonal. We introduce novel short-depth quantum circuits to quantify our cost. Minimizing this cost returns a gate sequence that approximately diagonalizes $\rho$. One can then read out approximations of the largest eigenvalues, and the associated eigenvectors, of $\rho$. As a proof-of-principle, we implement our algorithm on Rigetti's quantum computer to diagonalize one-qubit states and on a simulator to find the entanglement spectrum of the Heisenberg model ground state.


title: Fourier transforms of indicator functions, lattice point discrepancy, and the stability of integrals

abstract: We prove sharp estimates for Fourier transforms of indicator functions of bounded open sets in ${\mathbb R}^n$ with real analytic boundary, as well as nontrivial lattice point discrepancy results. Both will be derived from estimates on Fourier transforms of hypersurface measures. Relations with maximal averages are discussed, connecting two conjectures of Iosevich and Sawyer from [ISa1]. We also prove a theorem concerning the stability under function perturbations of the growth rate of a real analytic function near a zero. This result is sharp in an appropriate sense. It implies a corresponding stability result for the local integrablity of negative powers of a real analytic function near a zero.


title: On a remarkable example of F. Almgren and H. Federer in the global theory of minimizing geodesics

abstract: We present an exposition of a remarkable example attributed to Frederick Almgren Jr. in \cite[Section 5.11]{Federer74} to illustrate the need of certain definitions in the calculus of variations. The Almgren-Federer example, besides its intended goal of illustrating subtle aspects of geometric measure theory, is also a problem in the theory of geodesics. Hence, we wrote an exposition of the beautiful ideas of Almgren and Federer from the point of view of geodesics. In the language of geodesics, Almgren-Federer example constructs metrics in $\mathbb{S}^1\times \mathbb{S}^2$, with the property that none of the Tonelli geodesics (geodesics which minimize the length in a homotopy class) are Class-A minimizers in the sense of Morse (any finite length segment in the universal cover minimizes the length between the end points; this is also sometimes given other names). In other words, even if a curve is a minimizer of length among all the curves homotopic to it, by repeating it enough times, we get a closed curve which does not minimize in its homotopy class. In that respect, the example is more dramatic than a better known example due to Hedlund of a metric in $\mathbb{T}^3$ for which only 3 Tonelli minimizers (and their multiples) are Class-A minimizers. For dynamics, the example also illustrates different definitions of `integrable' and clarifies the relation between minimization and hyperbolicity and its interaction with topology.


title: Auxiliary master equation for nonequilibrium dual-fermion approach

abstract: We introduce auxiliary quantum master equation - dual fermion approach (QME-DF) and argue that it presents a convenient way to describe steady-states of correlated impurity systems. The combined scheme yields an expansion around a reference much closer to the true nonequilibrium state than in the original dual fermion formulation. In steady-state situations, the scheme is numerically cheaper and allows to avoid long time propagation of previous considerations. Anderson impurity is used as a test model. The QME-DF simulations are compared with numerically exact tdDMRG results.


title: Neighbourhood Consensus Networks

abstract: We address the problem of finding reliable dense correspondences between a pair of images. This is a challenging task due to strong appearance differences between the corresponding scene elements and ambiguities generated by repetitive patterns. The contributions of this work are threefold. First, inspired by the classic idea of disambiguating feature matches using semi-local constraints, we develop an end-to-end trainable convolutional neural network architecture that identifies sets of spatially consistent matches by analyzing neighbourhood consensus patterns in the 4D space of all possible correspondences between a pair of images without the need for a global geometric model. Second, we demonstrate that the model can be trained effectively from weak supervision in the form of matching and non-matching image pairs without the need for costly manual annotation of point to point correspondences. Third, we show the proposed neighbourhood consensus network can be applied to a range of matching tasks including both category- and instance-level matching, obtaining the state-of-the-art results on the PF Pascal dataset and the InLoc indoor visual localization benchmark.


title: Maturing Satellite Kinematics into a Competitive Probe of the Galaxy-Halo Connection

abstract: The kinematics of satellite galaxies moving in a dark matter halo are a direct probe of the underlying gravitational potential. Thus, the phase-space distributions of satellites represent a powerful tool to determine the galaxy-halo connection from observations. By stacking the signal of a large number of satellite galaxies this potential can be unlocked even for haloes hosting a few satellites on average. In this work, we test the impact of various modelling assumptions on constraints derived from analysing satellite phase-space distributions in the non-linear, 1-halo regime. We discuss their potential to explain the discrepancy between average halo masses derived from satellite kinematics and gravitational lensing previously reported. Furthermore, we develop an updated, more robust analysis to extract constraints on the galaxy-halo relation from satellite properties in spectroscopic galaxy surveys such as the SDSS. We test the accuracy of this approach using a large number of realistic mock catalogues. Furthermore, we find that constraints derived from such an analysis are complementary and competitive with respect to the commonly used galaxy clustering and galaxy-galaxy lensing observables.


title: On convex hulls and pseudoconvex domains generated by $q$-plurisubharmonic functions, part III

abstract: We characterise in this work the $q$-plurisubharmonic functions in terms of the theory of viscosity solutions. We show that an upper semicontinuous function is $q$-plurisubharmonic if and only if its complex Hessian has at most $q$ strictly negative eigenvalues in the viscosity sense. This characterisation is then used to prove that the supremum convolution of a (strictly) $q$-plurisubharmonic function is again (strictly) $q$-plurisubharmonic on a maybe different set of definition. Finally, we use the supremum convolution to deduce a new characterisation for the $q$-pseudoconvex subsets in $\mathbb{C}^n$.


title: Between-Ride Routing for Private Transportation Services

abstract: Spurred by the growth of transportation network companies and increasing data capabilities, vehicle routing and ride-matching algorithms can improve the efficiency of private transportation services. However, existing routing solutions do not address where drivers should travel after dropping off a passenger and before receiving the next passenger ride request, i.e., during the between-ride period. We address this problem by developing an efficient algorithm to find the optimal policy for drivers between rides in order to maximize driver profits. We model the road network as a graph, and we show that the between-ride routing problem is equivalent to a stochastic shortest path problem, an infinite dynamic program with no discounting. We prove under reasonable assumptions that an optimal routing policy exists that avoids cycles; policies of this type can be efficiently found. We present an iterative approach to find an optimal routing policy. Our approach can account for various factors, including the frequency of passenger ride requests at different locations, traffic conditions, and surge pricing. We demonstrate the effectiveness of the approach by implementing it on road network data from Boston and New York City.


title: Pathway Histogram Analysis of Trajectories: A general strategy for quantification of molecular mechanisms

abstract: A key overall goal of biomolecular simulations is the characterization of "mechanism" -- the pathways through configuration space of processes such as conformational transitions and binding. Some amount of heterogeneity is intrinsic to the ensemble of pathways, in direct analogy to thermal configurational ensembles. Quantification of that heterogeneity is essential to a complete understanding of mechanism. We propose a general approach for characterizing path ensembles based on mapping individual trajectories into pathway classes whose populations and uncertainties can be analyzed as an ordinary histogram, providing a quantitative "fingerprint" of mechanism. In contrast to prior flux-based analyses used for discrete-state models, stochastic deviations from average behavior are explicitly included via direct classification of trajectories. The histogram approach, furthermore, is applicable to analysis of continuous trajectories. It enables straightforward comparison between ensembles produced by different methods or under different conditions. To implement the formulation, we develop approaches for classifying trajectories, including a clustering-based approach suitable for both continuous-space (e.g., molecular dynamics) or discrete-state (e.g., Markov state model) trajectories, as well as a "fundamental sequence" approach tailored for discrete-state trajectories but also applicable to continuous trajectories through a mapping process. We apply the pathway histogram analysis to a toy model and an extremely long atomistic molecular dynamics trajectory of protein folding.


title: Betti numbers of Shimura curves and arithmetic three--orbifolds

abstract: We show that asymptotically the first Betti number, or the arithmetic genus, of a Shimura curve satisfies the Gauss--Bonnet equality. We also show that the first Betti number of a congruence hyperbolic 3--orbifold asymptotically vanishes relatively to hyperbolic volume.


title: Non-Hermitian Optics

abstract: Non-Hermitian optics, mostly known as 'Parity-time symmetric optics', is considered as one of the frontiers areas of research in optical sciences at present. This area is largely inspired by the so-called non-Hermitian quantum physics. While the non-Hermitian quantum mechanics is yet to be accepted widely, parity-time symmetric optics is already a craze among physicists with many experimental results and demonstrations to its support. In this article, keeping under graduate students in mind, in particular, we are giving a brief introduction to this promising area of research in physics.