title: A Generative-Discriminative Basis Learning Framework to Predict Clinical Severity from Resting State Functional MRI Data

abstract: We propose a matrix factorization technique that decomposes the resting state fMRI (rs-fMRI) correlation matrices for a patient population into a sparse set of representative subnetworks, as modeled by rank one outer products. The subnetworks are combined using patient specific non-negative coefficients; these coefficients are also used to model, and subsequently predict the clinical severity of a given patient via a linear regression. Our generative-discriminative framework is able to exploit the structure of rs-fMRI correlation matrices to capture group level effects, while simultaneously accounting for patient variability. We employ ten fold cross validation to demonstrate the predictive power of our model on a cohort of fifty eight patients diagnosed with Autism Spectrum Disorder. Our method outperforms classical semi-supervised frameworks, which perform dimensionality reduction on the correlation features followed by non-linear regression to predict the clinical scores.


title: Constant-Delay Enumeration for Nondeterministic Document Spanners

abstract: We consider the information extraction framework known as document spanners, and study the problem of efficiently computing the results of the extraction from an input document, where the extraction task is described as a sequential variable-set automaton (VA). We pose this problem in the setting of enumeration algorithms, where we can first run a preprocessing phase and must then produce the results with a small delay between any two consecutive results. Our goal is to have an algorithm which is tractable in combined complexity, i.e., in the sizes of the input document and the VA; while ensuring the best possible data complexity bounds in the input document size, i.e., constant delay in the document size. Several recent works at PODS'18 proposed such algorithms but with linear delay in the document size or with an exponential dependency in size of the (generally nondeterministic) input VA. In particular, Florenzano et al. suggest that our desired runtime guarantees cannot be met for general sequential VAs. We refute this and show that, given a nondeterministic sequential VA and an input document, we can enumerate the mappings of the VA on the document with the following bounds: the preprocessing is linear in the document size and polynomial in the size of the VA, and the delay is independent of the document and polynomial in the size of the VA. The resulting algorithm thus achieves tractability in combined complexity and the best possible data complexity bounds. Moreover, it is rather easy to describe, in particular for the restricted case of so-called extended VAs.


title: Linear conjugacy

abstract: We say that two elements of a group or semigroup are $\Bbbk$-linear conjugates if their images under any linear representation over $\Bbbk$ are conjugate matrices. In this paper we characterize $\Bbbk$-linear conjugacy for finite semigroups (and, in particular, for finite groups) over an arbitrary field $\Bbbk$.


title: Computer Simulation of Biological Processes at the High School

abstract: The article describes the method of using computer-learning tools during the modeling of biological processes in the high school. The author developed web pages for online processing of the results of simulation of the genetic structure of the population, which are affected by factors of change in its genetic equilibrium. It is argued that the modeling of the genetic structure of a population that is not described by the Hardy-Weinberg law allows students to formulate persistent beliefs about the causes and directions of microevolutionary changes in populations and the individual factors of the evolutionary process in general.


title: Mechanism of substrate-induced anisotropic growth of monolayer WS2 by kinetic Monte Carlo simulations

abstract: Controlled anisotropic growth of two-dimensional materials provides an approach for the synthesis of large single crystals and nanoribbons, which are promising for applications as low-dimensional semiconductors and in next-generation optoelectronic devices. In particular, the anisotropic growth of transition metal dichalcogenides induced by the substrate is of great interest due to its operability. To date, however, their substrate-induced anisotropic growth is typically driven by the optimization of experimental parameters without uncovering the fundamental mechanism. Here, the anisotropic growth of monolayer tungsten disulfide on an ST-X quartz substrate is achieved by chemical vapor deposition, and the mechanism of substrate-induced anisotropic growth is examined by kinetic Monte Carlo simulations. These results show that, besides the variation of substrate adsorption, the chalcogen to metal (C/M) ratio is a major contributor to the large growth anisotropy and the polarization of undergrowth and overgrowth; either perfect isotropy or high anisotropy can be expected when the C/M ratio equals 2.0 by properly controlling the linear relationship between gas flux and temperature.


title: Handwritten Digit Recognition by Elastic Matching

abstract: A simple model of MNIST handwritten digit recognition is presented here. The model is an adaptation of a previous theory of face recognition. It realizes translation and rotation invariance in a principled way instead of being based on extensive learning from large masses of sample data. The presented recognition rates fall short of other publications, but due to its inspectability and conceptual and numerical simplicity, our system commends itself as a basis for further development.


title: Controlling Packet Drops to Improve Freshness of information

abstract: Many systems require frequent and regular updates of a certain information. These updates have to be transferred regularly from the source to the destination. We consider scenarios in which an old packet becomes completely obsolete, in the presence of a new packet. In this context, if a new packet arrives at the source while it is transferring a packet, one needs to decide the packet to be dropped. New packet has recent information, but might require more time to transfer. Thus it is not clear as to which packet to be dis- carded, and this is the main focus of the paper. Recently introduced performance metrics, called average age of information (AAoI) and peak age of information (PAoI) of the information available at the destination, are the relevant performance measures. These type of systems do not require storage buffers, of size more than one, at the source queue. We consider single source / multiple sources regularly updating information to a single destination possibly over wireless channels to derive optimal drop policies that optimize the AAoI. We showed that the state independent (static) policies like dropping always the old packets or dropping always the new packets is optimal in many scenarios, among an appropriate set of stationary Markov policies. We consider relevant games when multiple sources compete. In many scenarios, the non-cooperative solution almost minimizes the social objective, the sum of AAoIs of all the sources.


title: Photon radiation from heavy-ion collisions in the $\sqrt{s_{NN}}=19-200$ GeV regime

abstract: We present calculations of prompt and thermal photon production in Au-Au collisions at $\sqrt{s_{NN}}=19-200$~GeV. We discuss features of the spacetime profile of the plasma relevant for electromagnetic emission. We highlight how the suppression of prompt photon production at low $\sqrt{s_{NN}}$ can provide a window to measure thermal photons in low collision energies.


title: Finite PDEs and finite ODEs are isomorphic

abstract: The standard view is that PDEs are much more complex than ODEs, but, as will be shown below, for finite derivatives this is not true. We consider the $C^*$-algebras ${\mathscr H}_{N,M}$ consisting of $N$-dimensional finite differential operators with $M\times M$-matrix-valued bounded periodic coefficients. We show that any ${\mathscr H}_{N,M}$ is $*$-isomorphic to the universal uniformly hyperfinite algebra (UHF algebra) $ \bigotimes_{n=1}^{\infty}\mathbb{C}^{n\times n}. $ This is a complete characterization of the differential algebras. In particular, for different $N,M\in\mathbb{N}$ the algebras ${\mathscr H}_{N,M}$ are topologically and algebraically isomorphic to each other. In this sense, there is no difference between multidimensional matrix valued PDEs ${\mathscr H}_{N,M}$ and one-dimensional scalar ODEs ${\mathscr H}_{1,1}$. Roughly speaking, the multidimensional world can be emulated by the one-dimensional one.


title: The DESY II Test Beam Facility

abstract: DESY Hamburg operates a test beam facility with three independent beam lines at the DESY II synchrotron. It is world-wide one of very few facilities providing test beams in the GeV range. To this end, it offers electron/positron beams with user-selectable momenta from 1-6 GeV/c. The available infrastructure for the users is unique, including a high field solenoidal magnet and permanently installed high-precision pixel beam telescopes. This publication gives a detailed description of the facility, the available infrastructure, and the simulated and measured performance.


title: Incidence of multilayers in chemically exfoliated graphene

abstract: An efficient route to synthesize macroscopic amounts of graphene is highly desired and a bulk characterization of such samples, in terms of the number of layers, is equally important. We present a Raman spectroscopy-based method to determine the distribution of the number of graphene layers in chemically exfoliated graphene. We utilize a controlled vapor-phase potassium intercalation technique and identify a lightly doped stage, where the Raman modes of undoped and doped few-layer graphene flakes coexist. The spectra can be unambiguously distinguished from alkali doped graphite, and a modeling with the distribution of the layers yields an upper limit of flake thickness of five layers with a significant single-layer graphene content. Complementary statistical AFM measurements on individual few-layer graphene flakes find a consistent distribution of the layer numbers.


title: The Wide Field Monitor onboard the eXTP mission

abstract: The eXTP (enhanced X-ray Timing and Polarimetry) mission is a major project of the Chinese Academy of Sciences (CAS) and China National Space Administration (CNSA) currently performing an extended phase A study and proposed for a launch by 2025 in a low-earth orbit. The eXTP scientific payload envisages a suite of instruments (Spectroscopy Focusing Array, Polarimetry Focusing Array, Large Area Detector and Wide Field Monitor) offering unprecedented simultaneous wide-band X-ray timing and polarimetry sensitivity. A large European consortium is contributing to the eXTP study and it is expected to provide key hardware elements, including a Wide Field Monitor (WFM). The WFM instrument for eXTP is based on the design originally proposed for the LOFT mission within the ESA context. The eXTP/WFM envisages a wide field X-ray monitor system in the 2-50 keV energy range, achieved through the technology of the large-area Silicon Drift Detectors. The WFM will consist of 3 pairs of coded mask cameras with a total combined Field of View (FoV) of 90x180 degrees at zero response and a source localization accuracy of ~1 arcmin. In this paper we provide an overview of the WFM instrument design, including new elements with respect to the earlier LOFT configuration, and anticipated performance.


title: Singular Value Decomposition of Operators on Reproducing Kernel Hilbert Spaces

abstract: Reproducing kernel Hilbert spaces (RKHSs) play an important role in many statistics and machine learning applications ranging from support vector machines to Gaussian processes and kernel embeddings of distributions. Operators acting on such spaces are, for instance, required to embed conditional probability distributions in order to implement the kernel Bayes rule and build sequential data models. It was recently shown that transfer operators such as the Perron-Frobenius or Koopman operator can also be approximated in a similar fashion using covariance and cross-covariance operators and that eigenfunctions of these operators can be obtained by solving associated matrix eigenvalue problems. The goal of this paper is to provide a solid functional analytic foundation for the eigenvalue decomposition of RKHS operators and to extend the approach to the singular value decomposition. The results are illustrated with simple guiding examples.


title: Multipath Transmission Scheduling in Millimeter Wave Cloud Radio Access Networks

abstract: Millimeter wave (mmWave) communications provide great potential for next-generation cellular networks to meet the demands of fast-growing mobile data traffic with plentiful spectrum available. However, in a mmWave cellular system, the shadowing and blockage effects lead to the intermittent connectivity, and the handovers are more frequent. This paper investigates an ``all-mmWave'' cloud radio access network (cloud-RAN), in which both the fronthaul and the radio access links operate at mmWave. To address the intermittent transmissions, we allow the mobile users (MUs) to establish multiple connections to the central unit over the remote radio heads (RRHs). Specifically, we propose a multipath transmission framework by leveraging the ``all-mmWave'' cloud-RAN architecture, which makes decisions of the RRH association and the packet transmission scheduling according to the time-varying network statistics, such that a MU experiences the minimum queueing delay and packet drops. The joint RRH association and transmission scheduling problem is formulated as a Markov decision process (MDP). Due to the problem size, a low-complexity online learning scheme is put forward, which requires no a priori statistic information of network dynamics. Simulations show that our proposed scheme outperforms the state-of-art baselines, in terms of average queue length and average packet dropping rate.


title: Self-organized Low-power IoT Networks: A Distributed Learning Approach

abstract: Enabling large-scale energy-efficient Internet-of-things (IoT) connectivity is an essential step towards realization of networked society. While legacy wide-area wireless systems are highly dependent on network-side coordination, the level of consumed energy in signaling, as well as the expected increase in the number of IoT devices, makes such centralized approaches infeasible in future. Here, we address this problem by self-coordination for IoT networks through learning from past communications. To this end, we first study low-complexity distributed learning approaches applicable in IoT communications. Then, we present a learning solution to adapt communication parameters of devices to the environment for maximizing energy efficiency and reliability in data transmissions. Furthermore, leveraging tools from stochastic geometry, we evaluate the performance of proposed distributed learning solution against the centralized coordination. Finally, we analyze the interplay amongst energy efficiency, reliability of communications against noise and interference over data channel, and reliability against adversarial interference over data and feedback channels. The simulation results indicate that compared to the state of the art approaches, both energy efficiency and reliability in IoT communications could be significantly improved using the proposed learning approach. These promising results, which are achieved using lightweight learning, make our solution favorable in many low-cost low-power IoT applications.


title: Stabilized Cat in Driven Nonlinear Cavity: A Fault-Tolerant Error Syndrome Detector

abstract: In quantum error correction, information is encoded in a high-dimensional system to protect it from the environment. A crucial step is to use natural, low-weight operations with an ancilla to extract information about errors without causing backaction on the encoded system. Essentially, ancilla errors must not propagate to the encoded system and induce errors beyond those which can be corrected. The current schemes for achieving this fault-tolerance to ancilla errors come at the cost of increased overhead requirements. An efficient way to extract error syndromes in a fault-tolerant manner is by using a single ancilla with strongly biased noise channel. Typically, however, required elementary operations can become challenging when the noise is extremely biased. We propose to overcome this shortcoming by using a bosonic-cat ancilla in a parametrically driven nonlinear cavity. Such a cat-qubit experiences only bit-flip noise and is stabilized against phase-flips. To highlight the flexibility of this approach, we illustrate the syndrome extraction process in a variety of codes such as qubit-based toric codes, bosonic cat- and Gottesman-Kitaev-Preskill (GKP) codes. Our results open a path for realizing hardware-efficient, fault-tolerant error syndrome extraction.


title: Deep Global Model Reduction Learning

abstract: In this paper, we combine deep learning concepts and some proper orthogonal decomposition (POD) model reduction methods for predicting flow in heterogeneous porous media. Nonlinear flow dynamics is studied, where the dynamics is regarded as a multi-layer network. The solution at the current time step is regarded as a multi-layer network of the solution at the initial time and input parameters. As for input, we consider various sources, which include source terms (well rates), permeability fields, and initial conditions. We consider the flow dynamics, where the solution is known at some locations and the data is integrated to the flow dynamics by modifying the reduced-order model. This approach allows modifying the reduced-order formulation of the problem. Because of the small problem size, limited observed data can be handled. We consider enriching the observed data using the computational data in deep learning networks. The basis functions of the global reduced order model are selected such that the degrees of freedom represent the solution at observation points. This way, we can avoid learning basis functions, which can also be done using neural networks. We present numerical results, where we consider channelized permeability fields, where the network is constructed for various channel configurations. Our numerical results show that one can achieve a good approximation using forward feed maps based on multi-layer networks.


title: The Coordinated Radio and Infrared Survey for High-mass Star Formation. IV: A new radio selected sample of compact Galactic Planetary Nebulae

abstract: We present a new radio-selected sample of PNe from the CORNISH survey. This is a radio continuum survey of the inner Galactic plane covering Galactic longitude, $10^\circ <l< 65^\circ$ and latitude, $|b| < 1^\circ$ with a resolution of 1.5$^{"}$ and sensitivity better than 0.4 mJy/beam. The radio regime, being unbiased by dust extinction, allows for a more complete sample selection, especially towards the Galactic mid-plane. Visual inspection of the CORNISH data, in combination with data from multi-wavelength surveys of the Galactic plane, allowed the CORNISH team to identify 169 candidate PNe. Here, we explore the use of multi-wavelength diagnostic plots and analysis to verify and classify the candidate PNe. We present the multi-wavelength properties of this new PNe sample. We find 90 new PNe, of which 12 are newly discovered and 78 are newly classified as PN. A further 47 previously suspected PNe are confirmed as such from the analysis presented here and 24 known PNe are detected. Eight sources are classified as possible PNe or other source types. Our sample includes a young sub-sample, with physical diameters < 0.12 pc, brightness temperatures (> 1000 K) and located closer than 7 kpc. Within this sample is a water-maser PN with a spectral index of $-0.55\pm 0.08$, which indicates non-thermal radio emission. Such a radio-selected sample, unaffected by extinction, will be particularly useful to compare with population synthesis models and should contribute to the understanding of the formation and evolution of PNe.


title: Characterization of atmospheric turbulence for the Large Synoptic Survey Telescope

abstract: One of the scientific goals of the Large Synoptic Survey Telescope (LSST) is to measure the evolution of dark energy by measuring subtle distortions of galaxy shapes due to weak gravitational lensing caused by the evolving dark matter distribution. Understanding the point spread function (PSF) for LSST is a crucial step to accurate measurements of weak gravitational lensing. Atmospheric contributions dominate the LSST PSF. Simulations of Kolmogorov turbulence models are commonly used to characterize and correct for these atmospheric effects. In order to validate these simulations, we compare the predicted atmospheric behavior to empirical data. The simulations are carried out in GalSim, an open-source software package for simulating images of astronomical objects and PSFs. Atmospheric simulations are run by generating large phase screens at varying altitude and evolving them over long time scales. We compare the turbulence strength and temporal behavior of atmospheres generated from simulations to those from reconstructed telemetry data from the Gemini Planet Imager (GPI). GPI captures a range of spatial frequencies by sampling the atmosphere with 18-cm subapertures. The LSST weak lensing analysis will measure correlations of galaxy ellipticity, requiring very accurate knowledge of the magnitude and correlations of PSF shape parameters. Following from the first analysis, we use simulations and sequential short exposure observations from the Differential Speckle Survey Instrument (DSSI) to study the behavior of PSF parameters - e.g., ellipticity and size - as a function of exposure time. These studies could help inform discussions of possible variable exposure times for LSST visits for example, to provide more uniform depth of visits.


title: C-V2X Security Requirements and Procedures: Survey and Research Directions

abstract: The 3rd Generation Partnership Project (3GPP) defines the first specifications for cellular-based vehicle-to-everything (C-V2X) communications in Release 14. C-V2X extends LTE's device-to-device communication modes by adding two new modes of operation for vehicular systems in coverage and out of coverage of an LTE base station, or eNB. The vehicle-to-vehicle (V2V) communication mode does not rely on the cellular infrastructure and the C-V2X devices employ a distributed and sensing-based semi-persistent scheduling to schedule their packet transmissions. As a promising alternative to dedicated short range communications, the security aspects of C-V2X need to be carefully designed and evaluated to ensure the availability and integrity of the service and data. This paper discusses possible threat scenarios, reviews the 3GPP specifications and finds that, despite the safety-critical nature of C-V2X, only few mechanisms and procedures have be specified to secure the system. We discuss emerging technologies and provide research directions to improve C-V2X system security and reliability and ensure their widespread adoption in civilian and mission-critical communication contexts.


title: Formal Verification of a Programmable Hypersurface

abstract: A metasurface is a surface that consists of artificial material, called metamaterial, with configurable electromagnetic properties. This paper presents work in progress on the design and formal verification of a programmable metasurface, the Hypersurface, as part of the requirements of the VISORSURF research program (HORIZON 2020 FET-OPEN). The Hypersurface design is concerned with the development of a network of switch controllers that are responsible for configuring the metamaterial. The design of the Hypersurface, however, has demanding requirements that need to be delivered within a context of limited resources. This paper shares the experience of a rigorous design procedure for the Hypersurface network, that involves iterations between designing a network and its protocols and the formal evaluation of each design. Formal evaluation has provided results that, so far, drive the development team in a more robust design and overall aid in reducing the cost of the Hypersurface manufacturing. This paper presents work in progress on the design and formal verification of a programmable Hypersurface as part of the requirements of the VISORSURF research programme (HORIZON 2020 FET-OPEN).


title: A bicriteria perspective on L-Penalty Approaches - A corrigendum to Siddiqui and Gabriel's L-Penalty Approach for Solving MPECs

abstract: This paper presents a corrigendum to Theorems 2 and 3 in Siddiqui S, Gabriel S (2013), An SOS1-Based Approach for Solving MPECs with a Natural Gas Market Application, Networks and Spatial Economics 13(2):205--227. In brief, we revise the claim that their L-penalty approach yields a solution satisfying complementarity for any positive value of L, in general. This becomes evident when interpreting the L-penalty method as a weighted-sum scalarization of a bicriteria optimization problem. We also elaborate further assumptions under which the L-penalty approach yields a solution satisfying complementarity.


title: Learning Plannable Representations with Causal InfoGAN

abstract: In recent years, deep generative models have been shown to 'imagine' convincing high-dimensional observations such as images, audio, and even video, learning directly from raw data. In this work, we ask how to imagine goal-directed visual plans -- a plausible sequence of observations that transition a dynamical system from its current configuration to a desired goal state, which can later be used as a reference trajectory for control. We focus on systems with high-dimensional observations, such as images, and propose an approach that naturally combines representation learning and planning. Our framework learns a generative model of sequential observations, where the generative process is induced by a transition in a low-dimensional planning model, and an additional noise. By maximizing the mutual information between the generated observations and the transition in the planning model, we obtain a low-dimensional representation that best explains the causal nature of the data. We structure the planning model to be compatible with efficient planning algorithms, and we propose several such models based on either discrete or continuous states. Finally, to generate a visual plan, we project the current and goal observations onto their respective states in the planning model, plan a trajectory, and then use the generative model to transform the trajectory to a sequence of observations. We demonstrate our method on imagining plausible visual plans of rope manipulation.


title: Imaging Quantum Spin Hall Edges in Monolayer WTe2

abstract: A two-dimensional (2D) topological insulator (TI) exhibits the quantum spin Hall (QSH) effect, in which topologically protected spin-polarized conducting channels exist at the sample edges. Experimental signatures of the QSH effect have recently been reported for the first time in an atomically thin material, monolayer WTe2. Electrical transport measurements on exfoliated samples and scanning tunneling spectroscopy on epitaxially grown monolayer islands signal the existence of edge modes with conductance approaching the quantized value. Here, we directly image the local conductivity of monolayer WTe2 devices using microwave impedance microscopy, establishing beyond doubt that conduction is indeed strongly localized to the physical edges at temperatures up to 77 K and above. The edge conductivity shows no gap as a function of gate voltage, ruling out trivial conduction due to band bending or in-gap states, and is suppressed by magnetic field as expected. Interestingly, we observe additional conducting lines and rings within most samples which can be explained by edge states following boundaries between topologically trivial and non-trivial regions. These observations will be critical for interpreting and improving the properties of devices incorporating WTe2 or other air-sensitive 2D materials. At the same time, they reveal the robustness of the QSH channels and the potential to engineer and pattern them by chemical or mechanical means in the monolayer material platform.


title: FRVM: Flexible Random Virtual IP Multiplexing in Software-Defined Networks

abstract: Network address shuffling is one of moving target defense (MTD) techniques that can invalidate the address information attackers have collected based on the current network IP configuration. We propose a software-defined networking-based MTD technique called Flexible Random Virtual IP Multiplexing, namely FRVM, which aims to defend against network reconnaissance and scanning attacks. FRVM enables a host machine to have multiple, random, time-varying virtual IP addresses, which are multiplexed to a real IP address of the host. Multiplexing or de-multiplexing event dynamically remaps all the virtual network addresses of the hosts. Therefore, at the end of a multiplexing event, FRVM aims to make the attackers lose any knowledge gained through the reconnaissance and to disturb their scanning strategy. In this work, we analyze and evaluate our proposed FRVM in terms of the attack success probability under scanning attacks and target host discovery attacks.


title: A tiling proof of Euler's pentagnal number theorem and generalizations

abstract: In two papers, Little and Sellers introduced an exciting new combinatorial method for proving partition identities which is not directly bijective. Instead, they consider various sets of weighted tilings of a $1 \times \infty$ board with squares and dominoes, and for each type of tiling they construct a generating function in two different ways, which generates a $q$-series identity. Using this method, they recover quite a few classical $q$-series identities, but Euler's Pentagonal Number Theorem is not among them. In this paper, we introduce a key parameter when constructing the generating functions of various sets of tilings which allows us to recover Euler's Pentagonal Number Theorem along with an infinite family of generalizations.


title: Exponential Objects in Categories of Generalized Uniform Hypergraphs

abstract: We construct exponential objects in categories of generalized uniform hypergraphs and use embeddings induced by nerve-realization adjunctions to show why conventional categories of graphs and hypergraphs do not have exponential objects.


title: Investigating the configurations in cross-shareholding: a joint copula-entropy approach

abstract: --- the companies populating a Stock market, along with their connections, can be effectively modeled through a directed network, where the nodes represent the companies, and the links indicate the ownership. This paper deals with this theme and discusses the concentration of a market. A cross-shareholding matrix is considered, along with two key factors: the node out-degree distribution which represents the diversification of investments in terms of the number of involved companies, and the node in-degree distribution which reports the integration of a company due to the sales of its own shares to other companies. While diversification is widely explored in the literature, integration is most present in literature on contagions. This paper captures such quantities of interest in the two frameworks and studies the stochastic dependence of diversification and integration through a copula approach. We adopt entropies as measures for assessing the concentration in the market. The main question is to assess the dependence structure leading to a better description of the data or to market polarization (minimal entropy) or market fairness (maximal entropy). In so doing, we derive information on the way in which the in- and out-degrees should be connected in order to shape the market. The question is of interest to regulators bodies, as witnessed by specific alert threshold published on the US mergers guidelines for limiting the possibility of acquisitions and the prevalence of a single company on the market. Indeed, all countries and the EU have also rules or guidelines in order to limit concentrations, in a country or across borders, respectively. The calibration of copulas and model parameters on the basis of real data serves as an illustrative application of the theoretical proposal.


title: Impact of global and local interaction on quantum spatial search on chimera graph

abstract: In the paper, we investigated the influence of local and global interaction on the efficiency of continuous-time quantum spatial search. To do so, we analyzed numerically chimera graph, which is defined as 2D grid with each node replaced by complete bipartite graph. Our investigation provides a numerical evidence that with a large number of local interactions the quantum spatial search is optimal, contrary to the case with limited number of such interactions. The result suggests that relatively large number of local interactions with the marked vertex is necessary for optimal search, which in turn would imply that poorly connected vertices are hard to be found.


title: Injectives Hulls and Projective Covers in Categories of Generalized Uniform Hypergraphs

abstract: We construct injective hulls and projective covers in categories of generalized uniform hypergraphs which generalizes the constructions in the category of quivers and the category of undirected graphs. While the constructions are not functorial, they are "sub-functorial", meaning they are subobjects of functorial injective and projective refinements.


title: General Research Framework and its Properties Analysis of Traffic Flow Evolutionary Dynamics

abstract: This paper aims to the conditions of traffic flow evolving to stability and the stability of equilibrium under demand time-varying of traffic networks. The general framework of the evolution of flow dynamics by adopting evolutionary game theory and dynamic system stability theory is proposed. The multi group and multi criteria travel choice flow evolution dynamic model is carried out.


title: Multi-Tenant Cross-Slice Resource Orchestration: A Deep Reinforcement Learning Approach

abstract: With the cellular networks becoming increasingly agile, a major challenge lies in how to support diverse services for mobile users (MUs) over a common physical network infrastructure. Network slicing is a promising solution to tailor the network to match such service requests. This paper considers a system with radio access network (RAN)-only slicing, where the physical infrastructure is split into slices providing computation and communication functionalities. A limited number of channels are auctioned across scheduling slots to MUs of multiple service providers (SPs) (i.e., the tenants). Each SP behaves selfishly to maximize the expected long-term payoff from the competition with other SPs for the orchestration of channels, which provides its MUs with the opportunities to access the computation and communication slices. This problem is modelled as a stochastic game, in which the decision makings of a SP depend on the global network dynamics as well as the joint control policy of all SPs. To approximate the Nash equilibrium solutions, we first construct an abstract stochastic game with the local conjectures of channel auction among the SPs. We then linearly decompose the per-SP Markov decision process to simplify the decision makings at a SP and derive an online scheme based on deep reinforcement learning to approach the optimal abstract control policies. Numerical experiments show significant performance gains from our scheme.


title: Deep learning the high variability and randomness inside multimode fibres

abstract: Multimode fibres (MMF) are remarkable high-capacity information channels owing to the large number of transmitting fibre modes, and have recently attracted significant renewed interest in applications such as optical communication, imaging, and optical trapping. At the same time, the optical transmitting modes inside MMFs are highly sensitive to external perturbations and environmental changes, resulting in MMF transmission channels being highly variable and random. This largely limits the practical application of MMFs and hinders the full exploitation of their information capacity. Despite great research efforts made to overcome the high variability and randomness inside MMFs, any geometric change to the MMF leads to completely different transmission matrices, which unavoidably fails at the information recovery. Here, we show the successful binary image transmission using deep learning through a single MMF, which is stationary or subject to dynamic shape variations. We found that a single convolutional neural network has excellent generalisation capability with various MMF transmission states. This deep neural network can be trained by multiple MMF transmission states to accurately predict unknown information at the other end of the MMF at any of these states, without knowing which state is present. Our results demonstrate that deep learning is a promising solution to address the variability and randomness challenge of MMF based information channels. This deep-learning approach is the starting point of developing future high-capacity MMF optical systems and devices, and is applicable to optical systems concerning other diffusing media.


title: A First Course in Linear Algebra: Study Guide for the Undergraduate Linear Algebra Course

abstract: In this book, there are five chapters: Systems of Linear Equations, Vector Spaces, Homogeneous Systems, Characteristic Equation of Matrix, and Matrix Dot Product. It has also exercises at the end of each chapter above to let students practice additional sets of problems other than examples, and they can also check their solutions to some of these exercises by looking at Answers to Odd-Numbered Exercises section at the end of this book. This book is very useful for college students who studied Calculus I, and other students who want to review some linear algebra concepts before studying a second course in linear algebra. This book is available online for free in google books and ResearchGate in PDF format under a Creative Commons license.


title: Inevitability of the Lagrangian and gauge potentials

abstract: In seeking a minimal variational formulation of Maxwell's equations, one is led naturally to the scalar and vector potentials as "adjoint" functions in a well-defined sense and to the crucial minus sign that defines the Lagrangian.


title: Reconciling the predictions of microlensing analysis with radial velocity measurements for OGLE-2011-BLG-0417

abstract: Microlensing is able to reveal multiple body systems located several kilo-parsec away from the Earth. Since it does not require the measurement of light from the lens, microlensing is sensitive to a range of objects from free-floating planets to stellar black holes. But if the lens emits enough light, the microlensing model predictions can be tested with high-resolution imaging and/or radial velocity methods. Such follow-up was done for the microlensing event OGLE-2011-BLG-0417, which was expected to be a close by ($\le$ 1 kpc), low-mass ($\sim 0.8 M_\odot$) binary star with a period $P\sim 1.4$ yr. The spectroscopic follow-up observations conducted with the VLT did not measure any variation in the radial velocity, in strong contradiction with the published microlensing model. In the present work, we remodel this event and find a simpler model in agreement with all the available measurements, including the recent GAIA DR2 parallax constraints. We also present a new way to distinguish degenerate models by using the GAIA DR2 proper motions. This work stresses the importance of thorough microlensing modeling, especially with the horizon of the {\it WFIRST} and the {\it Euclid} microlensing space missions.


title: Almost all circle polyhedra are rigid

abstract: We verify the infinitesimal inversive rigidity of almost all triangulated circle polyhedra in the Euclidean plane $\mathbb{E}^{2}$, as well as the infinitesimal inversive rigidity of tangency circle packings on the $2$-sphere $\mathbb{S}^{2}$. From this the rigidity of almost all triangulated circle polyhedra follows. The proof adapts Gluck's proof in~\cite{gluck75} of the rigidity of almost all Euclidean polyhedra to the setting of circle polyhedra, where inversive distances replace Euclidean distances and M\"obius transformations replace rigid Euclidean motions.


title: Iterative Amortized Inference

abstract: Inference models are a key component in scaling variational inference to deep latent variable models, most notably as encoder networks in variational auto-encoders (VAEs). By replacing conventional optimization-based inference with a learned model, inference is amortized over data examples and therefore more computationally efficient. However, standard inference models are restricted to direct mappings from data to approximate posterior estimates. The failure of these models to reach fully optimized approximate posterior estimates results in an amortization gap. We aim toward closing this gap by proposing iterative inference models, which learn to perform inference optimization through repeatedly encoding gradients. Our approach generalizes standard inference models in VAEs and provides insight into several empirical findings, including top-down inference techniques. We demonstrate the inference optimization capabilities of iterative inference models and show that they outperform standard inference models on several benchmark data sets of images and text.


title: Emergent Properties of Terrorist Networks, Percolation and Social Narrative

abstract: In this paper, we have initiated an attempt to develop and understand the driving mechanisms that underlie fourth-generation warfare. We have undertaken this from a perspective of endeavoring to understand the drivers of these events from a Complexity perspective by using a threshold-type percolation model. We propose to integrate this strategic level model with tactical level Big Data, behavioral, statistical projections via a fractal operational level model and to construct a hierarchical framework that allows dynamic prediction. Our initial study concentrates on this strategic level, i.e. a percolation model. Our main conclusion from this initial study is that extremist terrorist events are not solely driven by the size of a supporting population within a socio-geographical location but rather a combination of ideological factors that also depends upon the involvement of the host population. This involvement, through the social, political and psychological fabric of society, not only contributes to the active participation of terrorists within society but also directly contributes to and increases the likelihood of the occurrence of terrorist events. Our calculations demonstrate the links between Islamic extremist terrorist events, the ideologies within the Muslim and non-Muslim population that facilitates these terrorist events (such as Anti-Zionism) and anti-Semitic occurrences of violence against the Jewish population. In a future paper, we hope to extend the work undertaken to construct a predictive model and extend our calculations to other forms of terrorism such as Right Wing fundamentalist terrorist events within the USA.


title: An Approximation Algorithm for Risk-averse Submodular Optimization

abstract: We study the problem of incorporating risk while making combinatorial decisions under uncertainty. We formulate a discrete submodular maximization problem for selecting a set using Conditional-Value-at-Risk (CVaR), a risk metric commonly used in financial analysis. While CVaR has recently been used in optimization of linear cost functions in robotics, we take the first stages towards extending this to discrete submodular optimization and provide several positive results. Specifically, we propose the Sequential Greedy Algorithm that provides an approximation guarantee on finding the maxima of the CVaR cost function under a matroidal constraint. The approximation guarantee shows that the solution produced by our algorithm is within a constant factor of the optimal and an additive term that depends on the optimal. Our analysis uses the curvature of the submodular set function, and proves that the algorithm runs in polynomial time. This formulates a number of combinatorial optimization problems that appear in robotics. We use two such problems, vehicle assignment under uncertainty for mobility-on-demand and sensor selection with failures for environmental monitoring, as case studies to demonstrate the efficacy of our formulation.


title: Multi-Agent Coverage Control with Energy Depletion and Repletion

abstract: We develop a hybrid system model to describe the behavior of multiple agents cooperatively solving an optimal coverage problem under energy depletion and repletion constraints. The model captures the controlled switching of agents between coverage (when energy is depleted) and battery charging (when energy is replenished) modes. It guarantees the feasibility of the coverage problem by defining a guard function on each agent's battery level to prevent it from dying on its way to a charging station. The charging station plays the role of a centralized scheduler to solve the contention problem of agents competing for the only charging resource in the mission space. The optimal coverage problem is transformed into a parametric optimization problem to determine an optimal recharging policy. This problem is solved through the use of Infinitesimal Perturbation Analysis (IPA), with simulation results showing that a full recharging policy is optimal.


title: Measurements of the chiral magnetic effect in Pb--Pb collisions with ALICE

abstract: We present the measurement of the charge-dependent 3-particle azimuthal correlation for unidentified charged particles in Pb--Pb collisions at $\sqrt{s_{\rm NN}}$ = 5.02 TeV in ALICE. The results are compared with corresponding results from Pb--Pb collisions at $\sqrt{s_{\rm NN}}$ = 2.76 TeV. We observe no significant difference in the charge-sensitive 3-particle correlator ($\gamma_{112}$) between the two collision energies. Charged-dependent mixed-harmonic correlator ($\gamma_{132}$) is also presented and compared with the predictions from a blast-wave model incorporating local charge conservation.


title: Broad Non-Gaussian Fe XXIV Line Profiles in the Impulsive Phase of the 2017 September 10 X8.3 class Flare Observed by Hinode/EIS

abstract: We analyze the spectra of high temperature \fexxiv~lines observed by \emph{Hinode}/EIS during the impulsive phase of the X8.3--class flare on September 10, 2017. The line profiles are broad, show pronounced wings, and clearly depart from a single Gaussian shape. The lines can be well fitted with $\kappa$ distributions, with values of $\kappa$ varying between~$\approx$1.7 to 3. The regions where we observe the non-Gaussian profiles coincide with the location of high-energy ($\approx$100--300 keV) HXR sources observed by \emph{RHESSI}, suggesting the presence of particle acceleration or turbulence, also confirmed by the observations of a non-thermal microwave sources with the \emph{Expanded Owens Valley Solar Array} (EOVSA) at and above the HXR looptop source. We also investigate the effect of taking into account $\kappa$ distributions in the temperature diagnostics based on the ratio of the \fexxiii~263.76~\AA~and \fexxiv~255.1~\AA~EIS lines. We found that these lines can be formed at much higher temperatures than expected (up to log($T$\,[K])\,$\approx$\,7.8), if departures from Maxwellian distributions are taken into account. Although larger line widths are expected because of these higher formation temperatures, the observed line widths still imply non-thermal broadening in excess of ~200\,\kps. The non-thermal broadening related to HXR emission is better interpreted by turbulence rather than chromospheric evaporation.


title: Weak measurement effect on optimal estimation with lower and upper bound on relativistic metrology

abstract: We address the quantum estimation of parameters encoded into the initial state of two modes of a Dirac field described by relatively accelerated parties. By using the quantum Fisher information (QFI), we investigate how the weak measurements performed before and after the accelerating observer, affect the optimal estimation of information encoded into the weight and phase parameters of the initial state shared between the parties. Studying the QFI, associated with weight parameter $ \vartheta $, we find that the acceleration at which the optimal estimation occurs may be controlled by weak measurements. Moreover, it is shown that the post-measurement plays the role of a quantum key for manifestation of the Unruh effect. On the other hand, investigating the phase estimation optimization and assuming that there is no control over the initial state, we show that the weak measurements may be utilized to match the optimal $ \vartheta $ to its predetermined value. Moreover, in addition to determination of a lower bound on the QFI with the local quantum uncertainty, we unveil an important upper bound on the precision of phase estimation in our relativistic scenario, given by the maximal steered coherence (MSC). We also obtain a compact expression of the MSC for general X states.


abstract: First passage under restart with branching is proposed as a generalization of first passage under restart. Strong motivation to study this generalization comes from the observation that restart with branching can expedite the completion of processes that cannot be expedited with simple restart; yet a sharp and quantitative formulation of this statement is still lacking. We develop a comprehensive theory of first passage under restart with branching. This reveals that two widely applied measures of statistical dispersion---the coefficient of variation and the Gini index---come together to determine how restart with branching affects the mean completion time of an arbitrary stochastic process. The universality of this result is demonstrated and its connection to extreme value theory is also pointed out and explored.


title: Giant Electrostatic Modification of Magnetism via Electrolyte-Gate-Induced Cluster Percolation in La$_{1-x}$Sr$_x$CoO$_{3-\delta}$

abstract: Electrical control of magnetism is a long-standing goal in physics and technology, recently developed electrolyte gating techniques providing a promising route to realization. Validating a recent theoretical prediction, here we demonstrate large enhancement of electrostatic modulation of ferromagnetic order in ion-gel-gated ultrathin La$_{0.5}$Sr$_{0.5}$CoO$_{3-\delta}$ by thickness-tuning to the brink of a magnetic percolation transition. Application of only 3-4 V then drives a transition from a short-range-ordered insulator to a robust long-range ferromagnetic metal, realizing giant electrostatic Curie temperature modulation over a 150 K window. In operando polarized neutron reflectometry confirms gate-controlled ferromagnetism, also demonstrating unusually deep penetration of induced magnetization, in further agreement with theory.


title: New rotation period measurements for M dwarfs in the southern hemisphere: an abundance of slowly rotating, fully convective stars

abstract: Stellar rotation periods are valuable both for constraining models of angular momentum loss and for under- standing how magnetic features impact inferences of exoplanet parameters. Building on our previous work in the northern hemisphere, we have used long-term, ground-based photometric monitoring from the MEarth Observatory to measure 234 rotation periods for nearby, southern hemisphere M dwarfs. Notable examples include the exoplanet hosts GJ 1132, LHS 1140, and Proxima Centauri. We find excellent agreement between our data and K2 photometry for the overlapping subset. Amongst the sample of stars with the highest quality datasets, we recover periods in 66%; as the length of the dataset increases, our recovery rate approaches 100%. The longest rotation periods we detect are around 140 days, which we suggest represent the periods that are reached when M dwarfs are as old as the local thick disk (about 9 Gyr).


title: The DESI Instrument Control System: Status and Early Testing

abstract: The Dark Energy Spectroscopic Instrument (DESI) is a new instrument currently under construction for the Mayall 4-m telescope at Kitt Peak National Observatory. It will consist of a wide-field optical corrector with a 3.2 degree diameter field of view, a focal plane with 5,000 robotically controlled fiber positioners and 10 fiber-fed broad-band spectrographs. The DESI Instrument Control System (ICS) coordinates fiber positioner operations, interfaces to the Mayall telescope control system, monitors operating conditions, reads out the 30 spectrograph CCDs and provides observer support and data quality monitoring. In this article, we summarize the ICS design, review the current status of the project and present results from a multi-stage test plan that was developed to ensure the system is fully operational by the time the instrument arrives at the observatory in 2019.


title: Nilpotent structures and collapsing Ricci-flat metrics on K3 surfaces

abstract: We exhibit families of Ricci-flat Kahler metrics on K3 surfaces which collapse to an interval, with Tian-Yau and Taub-NUT metrics occurring as bubbles. There is a corresponding continuous surjective map from the K3 surface to the interval, with regular fibers diffeomorphic to either 3-tori or Heisenberg nilmanifolds.


title: Graph Compact Orthogonal Layout Algorithm

abstract: There exist many orthogonal graph drawing algorithms that minimize edge crossings or edge bends, however they produce unsatisfactory drawings in many practical cases. In this paper we present a grid-based algorithm for drawing orthogonal graphs with nodes of prescribed size. It distinguishes by creating pleasant and compact drawings in relatively small running time. The main idea is to minimize the total edge length that implicitly minimizes crossings and makes the drawing easy to comprehend. The algorithm is based on combining local and global improvements. Local improvements are moving each node to a new place and swapping of nodes. Global improvement is based on constrained quadratic programming approach that minimizes the total edge length while keeping node relative positions.


title: A Search for Halo Axions

abstract: The axion is an unusually well motivated dark matter candidate which is the Goldstone Boson associated with spontaneous breaking of the PQ symmetry of QCD. I describe an experiment to search for axions in our Galactic halo using a high Q resonant cavity coupled to ultra-low-noise receiver electronics. I discuss the analysis of the first production data and present the first results of the experiment. At 90\% confidence KSVZ axions of mass 2.9 to 3.3 micro eV are excluded as the dark matter in the halo of our Galaxy. This thesis was submitted in 1997 at MIT. It has been used as a reference in many subsequent axion experiments, and it has been suggested that it should be placed on the archive as a reference and a resource. I am complying with this request.


title: Lattice QCD and the anomalous magnetic moment of the muon

abstract: The anomalous magnetic moment of the muon, a_mu, has been measured with an overall precision of 540 ppb by the E821 experiment at BNL. Since the publication of this result in 2004 there has been a persistent tension of 3.5 standard deviations with the theoretical prediction of a_mu based on the Standard Model. The uncertainty of the latter is dominated by the effects of the strong interaction, notably the hadronic vacuum polarisation (HVP) and the hadronic light-by-light (HLbL) scattering contributions, which are commonly evaluated using a data-driven approach and hadronic models, respectively. Given that the discrepancy between theory and experiment is currently one of the most intriguing hints for a possible failure of the Standard Model, it is of paramount importance to determine both the HVP and HLbL contributions from first principles. In this review we present the status of lattice QCD calculations of the leading-order HVP and the HLbL scattering contributions, a_mu^hvp and a_mu^hlbl. After describing the formalism to express a_mu^hvp and a_mu^hlbl in terms of Euclidean correlation functions that can be computed on the lattice, we focus on the systematic effects that must be controlled to achieve a first-principles determination of the dominant strong interaction contributions to a_mu with the desired level of precision. We also present an overview of current lattice QCD results for a_mu^hvp and a_mu^hlbl, as well as related quantities such as the transition form factor for pi0 -> gamma*gamma*. While the total error of current lattice QCD estimates of a_mu^hvp has reached the few-percent level, it must be further reduced by a factor 5 to be competitive with the data-driven dispersive approach. At the same time, there has been good progress towards the determination of a_mu^hlbl with an uncertainty at the 10-15%-level.


title: Fabrication of the DESI Corrector Lenses

abstract: The Dark Energy Spectroscopic Instrument (DESI) is under construction to measure the expansion history of the Universe using the Baryon Acoustic Oscillation technique. The spectra of 35 million galaxies and quasars over 14000 square degrees will be measured during the life of the experiment. A new prime focus corrector for the KPNO Mayall telescope will deliver light to 5000 fiber optic positioners. The fibers in turn feed ten broad-band spectrographs. We describe the DESI corrector optics, a series of six fused silica and borosilicate lenses. The lens diameters range from 0.8 to 1.1 meters, and their weights 84 to 237 kg. Most lens surfaces are spherical, and two are challenging 10th-order polynomial aspheres. The lenses have been successfully polished and treated with an antireflection coating at multiple subcontractors, and are now being integrated into the DESI corrector barrel assembly at University College London. We describe the final performance of the lenses in terms of their various parameters, including surface figure, homogeneity, and others, and compare their final performance against the demanding DESI corrector requirements. Also we describe the reoptimization of the lens spacing in their corrector barrel after their final measurements are known. Finally we assess the performance of the corrector as a whole, compared to early budgeted estimates.


title: A Synchronized Stereo and Plenoptic Visual Odometry Dataset

abstract: We present a new dataset to evaluate monocular, stereo, and plenoptic camera based visual odometry algorithms. The dataset comprises a set of synchronized image sequences recorded by a micro lens array (MLA) based plenoptic camera and a stereo camera system. For this, the stereo cameras and the plenoptic camera were assembled on a common hand-held platform. All sequences are recorded in a very large loop, where beginning and end show the same scene. Therefore, the tracking accuracy of a visual odometry algorithm can be measured from the drift between beginning and end of the sequence. For both, the plenoptic camera and the stereo system, we supply full intrinsic camera models, as well as vignetting data. The dataset consists of 11 sequences which were recorded in challenging indoor and outdoor scenarios. We present, by way of example, the results achieved by state-of-the-art algorithms.


title: A Resolution of the Poisson Problem for Elastic Plates

abstract: The Poisson problem consists in finding an immersed surface $\Sigma\subset\mathbb{R}^m$ minimising Germain's elastic energy (known as Willmore energy in geometry) with prescribed boundary, boundary Gauss map and area which constitutes a non-linear model for the equilibrium state of thin, clamped elastic plates originating from the work of S. Germain and S.D. Poisson or the early XIX century. We present a solution to this problem consisting in the minimisation of the total curvature energy $E(\Sigma)=\int_\Sigma |\operatorname{I\!I}_\Sigma|^2_{g_\Sigma}\,\mathrm{d}vol_\Sigma$ ($\operatorname{I\!I}_\Sigma$ is the second fundamental form of $\Sigma$), which is variationally equivalent to the elastic energy, in the case of boundary data of class $C^{1,1}$ and when the boundary curve is simple and closed. The minimum is realised by an immersed disk, possibly with a finite number of branch points in its interior, which is of class $C^{1,\alpha}$ up to the boundary for some $0<\alpha<1$, and whose Gauss map extends to a map of class $C^{0,\alpha}$ up to the boundary.


title: Unsupervised Learning with Self-Organizing Spiking Neural Networks

abstract: We present a system comprising a hybridization of self-organized map (SOM) properties with spiking neural networks (SNNs) that retain many of the features of SOMs. Networks are trained in an unsupervised manner to learn a self-organized lattice of filters via excitatory-inhibitory interactions among populations of neurons. We develop and test various inhibition strategies, such as growing with inter-neuron distance and two distinct levels of inhibition. The quality of the unsupervised learning algorithm is evaluated using examples with known labels. Several biologically-inspired classification tools are proposed and compared, including population-level confidence rating, and n-grams using spike motif algorithm. Using the optimal choice of parameters, our approach produces improvements over state-of-art spiking neural networks.


title: Representing a point and the diagonal as zero loci in flag manifolds

abstract: The zero locus of a generic section of a vector bundle over a manifold defines a submanifold. A classical problem in geometry asks to realise a specified submanifold in this way. We study two cases; a point in a generalised flag manifold and the diagonal in the direct product of two copies of a generalised flag manifold. These cases are particularly interesting since they are related to ordinary and equivariant Schubert polynomials respectively.


title: On induced Ramsey numbers for multiple copies of graphs

abstract: We say that a graph F strongly arrows a pair of graphs (G,H) if any colouring of its edges with red and blue leads to either a red G or a blue H appearing as induced subgraphs of F. The induced Ramsey number, IR(G,H) is defined as the smallest order of a graph that strongly arrows (G,H). We consider the connection between the induced Ramsey number for a pair of two connected graphs IR(G,H) and the induced Ramsey number for multiple copies of these graphs IR(sG,tH), where xG denotes the pairwise vertex-disjoint union of x copies of G. It is easy to see that if F strongly arrow (G,H), then (s+t-1)F strongly arrows (sG, tH). This implies that IR(sG, tH) is at most (s+t-1)IR(G,H). For all known results on induced Ramsey numbers for multiple copies, the inequality above holds as equality. We show that there are infinite classes of graphs for which the inequality above is strict and moreover, IR(sG, tH) could be arbitrarily smaller than (s+t-1)IR(G,H). On the other hand, we provide further examples of classes of graphs for which the inequality above holds as equality.


title: Racets: Faceted Execution in Racket

abstract: Faceted Execution is a linguistic paradigm for dynamic information-flow control. Under faceted execution, secure program data is represented by faceted values: decision trees that encode how the data should appear to its owner (represented by a label) versus everyone else. When labels are allowed to be first-class (i.e., predicates that decide at runtime which data to reveal), faceted execution enables policy-agnostic programming: a programming style that allows privacy policies for data to be enforced independently of code that computes on that data. To date, implementations of faceted execution are relatively heavyweight: requiring either changing the language runtime or the application code (e.g., by using monads). Following Racket's languages-as-libraries approach, we present Racets: an implementation of faceted execution as a library of macros. Given Racket's highly-expressive macro system, our implementation follows relatively directly from the semantics of faceted execution. To demonstrate how Racets can be used for policy-agnostic programming, we use it to build a web-based game of Battleship. Our implementation sheds light on several interesting issues in interacting with code written without faceted execution. Our Racets implementation is open source, under development, and available online.


title: The Commissioning Instrument for the Dark Energy Spectroscopic Instrument

abstract: We describe the design of the Commissioning Instrument for the Dark Energy Spectroscopic Instrument (DESI). DESI will obtain spectra over a 3 degree field of view using the 4-meter Mayall Telescope at Kitt Peak, AZ. In order to achieve the required image quality over this field of view, a new optical corrector is being installed at the Mayall Telescope. The Commissioning Instrument is designed to characterize the image quality of the new optical system. The Commissioning Instrument has five commercial cameras; one at the center of the focal surface and four near the periphery of the field and at the cardinal directions. There are also 22 illuminated fiducials, distributed throughout the focal surface, that will be used to test the system that will map between the DESI fiber positioners and celestial coordinates. We describe how the commissioning instrument will perform commissioning tasks for the DESI project and thereby eliminate risks.


title: Incipient ferroelectricity: A route towards bulk-terminated SrTiO3

abstract: Perovskite oxides attract increasing attention due to their broad potential in many applications. Understanding their surfaces is challenging, though, because the ternary composition of the bulk allows for multiple stable surface terminations. We demonstrate a simple procedure for preparing the bulk-terminated (001) surface of SrTiO3, a prototypical cubic perovskite. Controlled application of strain on a SrTiO3 single crystal results in a flat cleavage with micrometer-size domains of SrO and TiO2. Distribution of these two terminations is dictated by ferroelectric domains induced by strain during the cleavage process. Atomically-resolved scanning tunneling microscopy/atomic force microscopy (STM/AFM) measurements reveal the presence of point defects in a well-defined concentration of (14+-2)%; Sr vacancies form at the SrO termination and complementary Sr adatoms appear at the TiO2 termination. These intrinsic defects are induced by the interplay between ferroelectricity, surface polarity, and surface charge.


title: Contrastive Video Representation Learning via Adversarial Perturbations

abstract: Adversarial perturbations are noise-like patterns that can subtly change the data, while failing an otherwise accurate classifier. In this paper, we propose to use such perturbations within a novel contrastive learning setup to build negative samples, which are then used to produce improved video representations. To this end, given a well-trained deep model for per-frame video recognition, we first generate adversarial noise adapted to this model. Positive and negative bags are produced using the original data features from the full video sequence and their perturbed counterparts, respectively. Unlike the classic contrastive learning methods, we develop a binary classification problem that learns a set of discriminative hyperplanes -- as a subspace -- that will separate the two bags from each other. This subspace is then used as a descriptor for the video, dubbed \emph{discriminative subspace pooling}. As the perturbed features belong to data classes that are likely to be confused with the original features, the discriminative subspace will characterize parts of the feature space that are more representative of the original data, and thus may provide robust video representations. To learn such descriptors, we formulate a subspace learning objective on the Stiefel manifold and resort to Riemannian optimization methods for solving it efficiently. We provide experiments on several video datasets and demonstrate state-of-the-art results.


title: Full counting statistics and large deviations in thermal 1D Bose gas

abstract: We obtain the distribution of number of atoms in an interval (full counting statistics) of Lieb-Liniger model of interacting bosons in one dimension. Our results are valid in the weakly interacting regime in a parametrically large window of temperatures and interval lengths. The obtained distribution deviates strongly from a Gaussian away from the quasi-condensate regime, and, for sufficiently short intervals, the probability of large number fluctuations is strongly enhanced.


title: On sampling from a log-concave density using kinetic Langevin diffusions

abstract: Langevin diffusion processes and their discretizations are often used for sampling from a target density. The most convenient framework for assessing the quality of such a sampling scheme corresponds to smooth and strongly log-concave densities defined on $\mathbb R^p$. The present work focuses on this framework and studies the behavior of Monte Carlo algorithms based on discretizations of the kinetic Langevin diffusion. We first prove the geometric mixing property of the kinetic Langevin diffusion with a mixing rate that is, in the overdamped regime, optimal in terms of its dependence on the condition number. We then use this result for obtaining improved guarantees of sampling using the kinetic Langevin Monte Carlo method, when the quality of sampling is measured by the Wasserstein distance. We also consider the situation where the Hessian of the log-density of the target distribution is Lipschitz-continuous. In this case, we introduce a new discretization of the kinetic Langevin diffusion and prove that this leads to a substantial improvement of the upper bound on the sampling error measured in Wasserstein distance.


title: Dark Energy Spectroscopic Instrument (DESI) Fiber Positioner Thermal and Wind Disturbance Test

abstract: The Dark Energy Spectroscopic Instrument (DESI) is under construction to measure the expansion history of the Universe using the Baryon Acoustic Oscillation technique. The spectra of 35 million galaxies and quasars over 14000 sq deg will be measured during the life of the experiment. A new prime focus corrector for the KPNO Mayall telescope will deliver light to 5000 fiber optic positioners. The fibers in turn feed ten broad-band spectrographs. To achieve this goal, it is crucial to guarantee that fiber positioners work properly under the extremes of potential operating conditions, including the full range of temperatures, high speed wind disturbance etc. Thermal testing provides valuable insight into the functionality of the fiber positioners that can be used to help mitigate poor performance at extreme temperatures and wind disturbance test provide guidance to design of ventilation system. Here, we describe the thermal and wind disturbance tests for DESI fiber positioners and how the test results helped improve the robustness of the positioners.


title: Domain Stylization: A Strong, Simple Baseline for Synthetic to Real Image Domain Adaptation

abstract: Deep neural networks have largely failed to effectively utilize synthetic data when applied to real images due to the covariate shift problem. In this paper, we show that by applying a straightforward modification to an existing photorealistic style transfer algorithm, we achieve state-of-the-art synthetic-to-real domain adaptation results. We conduct extensive experimental validations on four synthetic-to-real tasks for semantic segmentation and object detection, and show that our approach exceeds the performance of any current state-of-the-art GAN-based image translation approach as measured by segmentation and object detection metrics. Furthermore we offer a distance based analysis of our method which shows a dramatic reduction in Frechet Inception distance between the source and target domains, offering a quantitative metric that demonstrates the effectiveness of our algorithm in bridging the synthetic-to-real gap.


title: Atmospheric spectroscopy at Gale Crater on Mars

abstract: Currently, Mars is the celestial object with the biggest quantity of devices made by mankind. This fact explain the astronomical quantity of data available about this planet, which allows several studies in several lines of research. Here we present the result of a monograph in Space Geophysics, in a graduation in Geophysics, the data used were collected by the device PFS (Planetary Fourier Spectrometer) in the mission MEX (Mars Express) launched in 2006. The main aim was the verification of the existence of methane (CH 4 ) in a specific region in the atmosphere of the Red Planet. The target region, Gale Crater, is where the Rover Curiosity is right now. Therefore, the choice was because the strong evidence of liquid water in the past on this site, and because Curiosity has identified an unusual amount of methane in the local atmosphere.


title: On the Randomized Complexity of Minimizing a Convex Quadratic Function

abstract: Minimizing a convex, quadratic objective of the form $f_{\mathbf{A},\mathbf{b}}(x) := \frac{1}{2}x^\top \mathbf{A} x - \langle \mathbf{b}, x \rangle$ for $\mathbf{A} \succ 0 $ is a fundamental problem in machine learning and optimization. In this work, we prove gradient-query complexity lower bounds for minimizing convex quadratic functions which apply to both deterministic and \emph{randomized} algorithms. Specifically, for $\kappa > 1$, we exhibit a distribution over $(\mathbf{A},\mathbf{b})$ with condition number $\mathrm{cond}(\mathbf{A}) \le \kappa$, such that any \emph{randomized} algorithm requires $\Omega(\sqrt{\kappa})$ gradient queries to find a solution $\hat x$ for which $\|\hat x - \mathbf x_\star\| \le \epsilon_0\|\mathbf{x}_{\star}\|$, where $\mathbf x_{\star} = \mathbf{A}^{-1}\mathbf{b}$ is the optimal solution, and $\epsilon_0$ a small constant. Setting $\kappa =1/\epsilon$, this lower bound implies the minimax rate of $T = \Omega(\lambda_1(\mathbf{A})\|\mathbf x_\star\|^2/\sqrt{\epsilon})$ queries required to minimize an arbitrary convex quadratic function up to error $f(\hat{x}) - f(\mathbf x_\star) \le \epsilon$. Our lower bound holds for a distribution derived from classical ensembles in random matrix theory, and relies on a careful reduction from adaptively estimating a planted vector $\mathbf u$ in a deformed Wigner model. A key step in deriving sharp lower bounds is demonstrating that the optimization error $\mathbf x_\star - \hat x$ cannot align too closely with $\mathbf{u}$. To this end, we prove an upper bound on the cosine between $\mathbf x_\star - \hat x$ and $\mathbf u$ in terms of the MMSE of estimating the plant $\mathbf u$ in a deformed Wigner model. We then bound the MMSE by carefully modifying a result due to Lelarge and Miolane 2016, which rigorously establishes a general replica-symmetric formula for planted matrix models.


title: Learning from Delayed Outcomes via Proxies with Applications to Recommender Systems

abstract: Predicting delayed outcomes is an important problem in recommender systems (e.g., if customers will finish reading an ebook). We formalize the problem as an adversarial, delayed online learning problem and consider how a proxy for the delayed outcome (e.g., if customers read a third of the book in 24 hours) can help minimize regret, even though the proxy is not available when making a prediction. Motivated by our regret analysis, we propose two neural network architectures: Factored Forecaster (FF) which is ideal if the proxy is informative of the outcome in hindsight, and Residual Factored Forecaster (RFF) that is robust to a non-informative proxy. Experiments on two real-world datasets for predicting human behavior show that RFF outperforms both FF and a direct forecaster that does not make use of the proxy. Our results suggest that exploiting proxies by factorization is a promising way to mitigate the impact of long delays in human-behavior prediction tasks.


title: LAPRAN: A Scalable Laplacian Pyramid Reconstructive Adversarial Network for Flexible Compressive Sensing Reconstruction

abstract: This paper addresses the single-image compressive sensing (CS) and reconstruction problem. We propose a scalable Laplacian pyramid reconstructive adversarial network (LAPRAN) that enables high-fidelity, flexible and fast CS images reconstruction. LAPRAN progressively reconstructs an image following the concept of Laplacian pyramid through multiple stages of reconstructive adversarial networks (RANs). At each pyramid level, CS measurements are fused with a contextual latent vector to generate a high-frequency image residual. Consequently, LAPRAN can produce hierarchies of reconstructed images and each with an incremental resolution and improved quality. The scalable pyramid structure of LAPRAN enables high-fidelity CS reconstruction with a flexible resolution that is adaptive to a wide range of compression ratios (CRs), which is infeasible with existing methods. Experimental results on multiple public datasets show that LAPRAN offers an average 7.47dB and 5.98dB PSNR, and an average 57.93% and 33.20% SSIM improvement compared to model-based and data-driven baselines, respectively.


title: Shortest path queries, graph partitioning and covering problems in worst and beyond worst case settings

abstract: In this thesis, we design algorithms for several NP-hard problems in both worst and beyond worst case settings. In the first part of the thesis, we apply the traditional worst case methodology and design approximation algorithms for the Hub Labeling problem; Hub Labeling is a preprocessing technique introduced to speed up shortest path queries. Before this work, Hub Labeling had been extensively studied mainly in the beyond worst case analysis setting, and in particular on graphs with low highway dimension. In this work, we significantly improve our theoretical understanding of the problem and design (worst-case) algorithms for various classes of graphs, such as general graphs, graphs with unique shortest paths and trees, as well as provide matching inapproximability lower bounds for the problem in its most general settings. Finally, we demonstrate a connection between computing a Hub Labeling on a tree and searching for a node in a tree. In the second part of the thesis, we turn to beyond worst case analysis and extensively study the stability model introduced by Bilu and Linial in an attempt to describe real-life instances of graph partitioning and clustering problems. Informally, an instance of a combinatorial optimization problem is stable if it has a unique optimal solution that remains the unique optimum under small multiplicative perturbations of the parameters of the input. Utilizing the power of convex relaxations for stable instances, we obtain several results for problems such as Edge/Node Multiway Cut, Independent Set (and its equivalent, in terms of exact solvability, Vertex Cover), clustering problems such as $k$-center and $k$-median and the symmetric Traveling Salesman problem. We also provide strong lower bounds for certain families of algorithms for covering problems, thus exhibiting potential barriers towards the design of improved algorithms in this framework.


title: Injection Scheme with Deflecting Cavity for Ultimate Storage Ring

abstract: We suggest a new on-axis injection scheme that uses two deflecting cavities to remove the tilt of the stored beam, and to kick the injected beam into the ring. In this new injection scheme, an injected beam with a certain angle is overlaid on the stored beam position in transverse phase space through the second deflecting cavity. (Note that the injected beam has separated phase with the stored beam in longitudinal phase space). We present theoretical analysis and numerical simulations of the stored beam and injected beam with the new injection scheme.


title: Characterization of the Global Network of Optical Magnetometers to search for Exotic Physics (GNOME)

abstract: The Global Network of Optical Magnetometers to search for Exotic physics (GNOME) is a network of geographically separated, time-synchronized, optically pumped atomic magnetometers that is being used to search for correlated transient signals heralding exotic physics. The GNOME is sensitive to nuclear- and electron-spin couplings to exotic fields from astrophysical sources such as compact dark-matter objects (for example, axion stars and domain walls). Properties of the GNOME sensors such as sensitivity, bandwidth, and noise characteristics are studied in the present work, and features of the network's operation (e.g., data acquisition, format, storage, and diagnostics) are described. Characterization of the GNOME is a key prerequisite to searches for and identification of exotic physics signatures.


title: Does a robot path have clearance c?

abstract: Most path planning problems among polygonal obstacles ask to find a path that avoids the obstacles and is optimal with respect to some measure or a combination of measures, for example an $u$-to-$v$ shortest path of clearance at least $c$, where $u$ and $v$ are points in the free space and $c$ is a positive constant. In practical applications, such as emergency interventions/evacuations and medical treatment planning, a number of $u$-to-$v$ paths are suggested by experts and the question is whether such paths satisfy specific requirements, such as a given clearance from the obstacles. We address the following path query problem: Given a set $S$ of $m$ disjoint simple polygons in the plane, with a total of $n$ vertices, preprocess them so that for a query consisting of a positive constant $c$ and a simple polygonal path $\pi$ with $k$ vertices, from a point $u$ to a point $v$ in free space, where $k$ is much smaller than $n$, one can quickly decide whether $\pi$ has clearance at least $c$ (that is, there is no polygonal obstacle within distance $c$ of $\pi$). To do so, we show how to solve the following related problem: Given a set $S$ of $m$ simple polygons in $\Re^{2}$, preprocess $S$ into a data structure so that the polygon in $S$ closest to a query line segment $s$ can be reported quickly. We present an $O(t \log n)$ time, $O(t)$ space preprocessing, $O((n / \sqrt{t}) \log ^{7/2} n)$ query time solution for this problem, for any $n ^{1 + \epsilon} \leq t \leq n^{2}$. For a path with $k$ segments, this results in $O((n k / \sqrt{t}) \log ^{7/2} n)$ query time, which is a significant improvement over algorithms that can be derived from existing computational geometry methods when $k$ is small.


title: Frictional Effects on RNA Folding: Speed Limit and Kramers Turnover

abstract: We investigated frictional effects on the folding rates of a human telomerase hairpin (hTR HP) and H-type pseudoknot from the Beet Western Yellow Virus (BWYV PK) using simulations of the Three Interaction Site (TIS) model for RNA. The heat capacity from TIS model simulations, calculated using temperature replica exchange simulations, reproduces nearly quantitatively the available experimental data for the hTR HP. The corresponding results for BWYV PK serve as predictions. We calculated the folding rates ($k_\mathrm{F}$) from more than 100 folding trajectories for each value of the solvent viscosity ($\eta$) at a fixed salt concentration of 200 mM. By using the theoretical estimate ($\propto$$\sqrt{N}$ where $N$ is the number of nucleotides) for folding free energy barrier, $k_\mathrm{F}$ data for both the RNAs are quantitatively fit using one-dimensional Kramers' theory with two parameters specifying the curvatures in the unfolded basin and the barrier top. In the high-friction regime ($\eta\gtrsim10^{-5}\,\textrm{Pa\ensuremath{\cdot}s}$), for both HP and PK, $k_\mathrm{F}$s decrease as $1/\eta$ whereas in the low friction regime, $k_\mathrm{F}$ values increase as $\eta$ increases, leading to a maximum folding rate at a moderate viscosity ($\sim10^{-6}\,\textrm{Pa\ensuremath{\cdot}s}$), which is the Kramers turnover. From the fits, we find that the speed limit to RNA folding at water viscosity is between 1 and 4 $\mathrm{\mu s}$, which is in accord with our previous theoretical prediction as well as results from several single molecule experiments. Both the RNA constructs fold by parallel pathways. Surprisingly, we find that the flux through the pathways could be altered by changing solvent viscosity, a prediction that is more easily testable in RNA than in proteins.


title: Full Implementation of four-intensity Protocol for Measurement-Device-Independent Quantum Key Distribution over Asymmetric Channel

abstract: We study the the optimization of full implementation of the four-intensity decoy-state Measurement-Device-Independent Quantum Key Distribution (MDIQKD) over asymmetric and unstable quantum channel.


title: Effects of nonlocality of nuclear potentials on direct capture reactions

abstract: Calculations of the direct radiative capture reactions are made for the $^{48}$Ca$(n,\gamma)^{49}$Ca, $^7$Li$(n,\gamma)^8$Li and $^{12}$C$(p,\gamma)^{13}$N reactions with the Perey-Buck type nonlocal potentials using a potential model. Our results reproduce the experimental data reasonably well. From comparisons with results obtained by using local potentials, it is found that the cross sections of direct capture reactions may change by around 25\% due to the nonlcality of nuclear potentials.


title: Equivariant simplicial reconstruction

abstract: We introduce and analyze parallelizable algorithms to compress and accurately reconstruct finite simplicial complexes that have non-trivial automorphisms. The compressed data -- called a complex of groups -- amounts to a functor from (the poset of simplices in) the orbit space to the 2-category of groups, whose higher structure is prescribed by isomorphisms arising from conjugation. Using this functor, we show how to algorithmically recover the original complex up to equivariant simplicial isomorphism. Our algorithms are derived from generalizations (by Bridson-Haefliger, Carbone-Rips and Corson, among others) of the classical Bass-Serre theory for reconstructing group actions on trees.


title: Singularities of plane gravitational waves and their memory effects

abstract: Similar to the Schwarzschild coordinates for spherical black holes, the Baldwin, Jeffery and Rosen (BJR) coordinates for plane gravitational waves are often singular, and extensions beyond such singularities are necessary, before studying asymptotic properties of such spacetimes at the null infinity of the plane, on which the gravitational waves propagate. The latter is closely related to the studies of memory effects and soft graviton theorems. In this paper, we point out that in the BJR coordinates all the spacetimes are singular physically at the focused point $u = u_s$, except for the two cases: (1) $\alpha =1/2, \; \forall \; \chi_n$; and (2) $\alpha =1, \; \chi_i = 0\; (i = 1, 2, 3)$, where $\chi_n$ are the coefficients in the expansion $\chi \equiv \left[{\mbox{det}}\left(g_{ab}\right) \right]^{1/4} = \left(u - u_s\right)^{\alpha}\sum_{n = 0}^{\infty}\chi_n \left(u - u_s\right)^n$ with $\chi_0 \not= 0$, the constant $\alpha \in (0, 1]$ characterizes the strength of the singularities, and $g_{ab}$ denotes the reduced metric on the two-dimensional plane orthogonal to the propagation direction of the wave. Therefore, the hypersurfaces $u= u_s$ already represent the boundaries of such spacetimes, and the null infinity does not belong to them. As a result, they cannot be used to study properties of plane gravitational waves at null infinities, including memory effects and soft graviton theorems.


title: Optimization of a multipoint plastic scintillator dosimeter for high dose rate brachytherapy

abstract: Purpose: This study aims to optimize and characterize the response of a mPSD for in vivo dosimetry in HDR brachytherapy. Methods: An exhaustive analysis was carried out in order to obtain an optimized mPSD design that maximize the scintillation light collection produced by the interaction of ionizing photons. Several mPSD prototypes were built and tested in order to determine the appropriate order of scintillators relative to the photodetector, as well as their length as a function of the scintillation light emitted. Scintillators BCF-60, BCF-12 and BCF-10 constituted the mPSD sensitive volume.Each scintillator contribution to the total spectrum was determined by irradiations in the low energy range.For the best mPSD design, a numerical optimization was done in order to select the optical components that better match the light emission profile. The optimized dosimetric system was used for HDR brachytherapy dose determination. The system performance was quantified in term of signal to noise ratio and signal to background ratio. Results: It was determined that BCF-60 should be placed at the distal position, BCF-12 in the center and BCF-10 at proximal position with respect to the photodetector.This configuration allowed for optimized light transmission through the collecting fiber, avoiding inter-scintillator excitation and self-absorption effects.The optimized luminescence system allowed for signal deconvolution using a multispectral approach, extracting the dose to each element while taking into account Cerenkov stem effect.Differences between the mPSD measurements and TG-43 remain below 5%. In all measurement conditions, the system was able to properly differentiate the produced scintillation signal from the background one. Conclusions: A mPSD was constructed and optimized for HDR brachytherapy dosimetry, enabling real time dose determination, up to 6.5cm from the 192Ir source.


title: Growth rate of modulation instability driven by superregular breathers

abstract: We report an exact link between Zakharov-Gelash super-regular (SR) breathers (formed by a pair of quasi-Akhmediev breathers) with interesting different nonlinear propagation characteristics and modulation instability (MI). This shows that the absolute difference of group velocities of SR breathers coincides exactly with the linear MI growth rate. This link holds for a series of nonlinear Schr\"{o}dinger equations with infinite-order terms. For the particular case of SR breathers with opposite group velocities, the growth rate of SR breathers is consistent with that of each quasi-Akhmediev breather along the propagation direction. Numerical simulations reveal the robustness of different SR breathers generated from various non-ideal single and multiple initial excitations. Our results provide insight into the MI nature described by SR breathers and could be helpful for controllable SR breather excitations in related nonlinear systems.


title: Extreme value analysis of gut microbial alterations in colorectal cancer

abstract: Gut microbes play a key role in colorectal carcinogenesis, yet reaching a consensus on microbial signatures remains a challenge. This is in part due to a reliance on mean value estimates. We present an extreme value analysis for overcoming these limitations. By characterizing a power law fit to the relative abundances of microbes, we capture the same microbial signatures as more complex meta-analyses. Importantly, we show that our method is robust to the variations inherent in microbial community profiling and point to future directions for developing sensitive, reliable analytical methods.


title: A note on the application of the Guermond-Pasquetti mass lumping correction technique for convection-diffusion problems

abstract: We provide a careful Fourier analysis of the Guermond-Pasquetti mass lumping correction technique [Guermond J.-L., Pasquetti R. A correction technique for the dispersive effects of mass lumping for transport problems. - Computer Methods in Applied Mechanics and Engineering. - 2013. - Vol. 253. - P. 186-198] applied to pure transport and convection-diffusion problems. In particular, it is found that increasing the number of corrections reduces the accuracy for problems with diffusion; however all the corrected schemes are more accurate than the consistent Galerkin formulation in this case. For the pure transport problems the situation is the opposite. We also investigate the differences between two numerical solutions - the consistent solution and the corrected ones, and show that increasing the number of corrections makes solutions of the corrected schemes closer to the consistent solution in all cases.


title: Gravitational wave polarization from combined Earth-space detectors

abstract: In this paper, we investigate the sensitivity to additional gravitational wave polarization modes of future detectors. We first look at the upcoming Einstein Telescope and its combination with existing or planned Earth-based detectors in the case of a stochastic gravitational wave background. We then study its correlation with a possible future space-borne detector sensitive to high-frequencies, like DECIGO. Finally, we adapt those results for a single GW source and establish the sensitivity of the modes, as well as the localization on the sky.


title: Proton Acceleration in Weak Quasi-parallel Intracluster Shocks: Injection and Early Acceleration

abstract: Collisionless shocks with low sonic Mach numbers, $M_{\rm s} \lesssim 4$, are expected to accelerate cosmic ray (CR) protons via diffusive shock acceleration (DSA) in the intracluster medium (ICM). However, observational evidence for CR protons in the ICM has yet to be established. Performing particle-in-cell simulations, we study the injection of protons into DSA and the early development of a nonthermal particle population in weak shocks in high $\beta$ ($\approx 100$) plasmas. Reflection of incident protons, self-excitation of plasma waves via CR-driven instabilities, and multiple cycles of shock drift acceleration are essential to the early acceleration of CR protons in supercritical quasi-parallel shocks. We find that only in ICM shocks with $M_{\rm s} \gtrsim M_{\rm s}^*\approx 2.25$, a sufficient fraction of incoming protons are reflected by the overshoot in the shock electric potential and magnetic mirror at locally perpendicular magnetic fields, leading to efficient excitation of magnetic waves via CR streaming instabilities and the injection into the DSA process. Since a significant fraction of ICM shocks have $M_{\rm s} < M_{\rm s}^*$, CR proton acceleration in the ICM might be less efficient than previously expected. This may explain why the diffuse gamma-ray emission from galaxy clusters due to proton-proton collisions has not been detected so far.


title: Throttling positive semidefinite zero forcing propagation time on graphs

abstract: Zero forcing is a process on a graph that colors vertices blue by starting with some of the vertices blue and applying a color change rule. Throttling minimizes the sum of the size of the initial blue vertex set and the number of the time steps needed to color the graph. We study throttling for positive semidefinite zero forcing. We establish a tight lower bound on the positive semidefinite throttling number as a function of the order, maximum degree, and positive semidefinite zero forcing number of the graph, and determine the positive semidefinite throttling numbers of paths, cycles, and full binary trees. We characterize the graphs that have extreme positive semidefinite throttling numbers.


title: Efficient algorithms for robust submodular maximization under matroid constraints

abstract: In this work, we consider robust submodular maximization with matroid constraints. We give an efficient bi-criteria approximation algorithm that outputs a small family of feasible sets whose union has (nearly) optimal objective value. This algorithm theoretically performs less function calls than previous works at cost of adding more elements to the final solution. We also provide significant implementation improvements showing that our algorithm outperforms the algorithms in the existing literature. We finally assess the performance of our contributions in three real-world applications.


title: Estimating group properties in online social networks with a classifier

abstract: We consider the problem of obtaining unbiased estimates of group properties in social networks when using a classifier for node labels. Inference for this problem is complicated by two factors: the network is not known and must be crawled, and even high-performance classifiers provide biased estimates of group proportions. We propose and evaluate AdjustedWalk for addressing this problem. This is a three step procedure which entails: 1) walking the graph starting from an arbitrary node; 2) learning a classifier on the nodes in the walk; and 3) applying a post-hoc adjustment to classification labels. The walk step provides the information necessary to make inferences over the nodes and edges, while the adjustment step corrects for classifier bias in estimating group proportions. This process provides de-biased estimates at the cost of additional variance. We evaluate AdjustedWalk on four tasks: the proportion of nodes belonging to a minority group, the proportion of the minority group among high degree nodes, the proportion of within-group edges, and Coleman's homophily index. Simulated and empirical graphs show that this procedure performs well compared to optimal baselines in a variety of circumstances, while indicating that variance increases can be large for low-recall classifiers.