title: Controlling conditional expectations by zero-determinant strategies

abstract: Zero-determinant strategies are memory-one strategies in repeated games which unilaterally enforce linear relations between expected payoffs of players. Recently, the concept of zero-determinant strategies was extended to the class of memory-$n$ strategies with $n\geq 1$, which enables more complicated control of payoffs by one player. However, what we can do by memory-$n$ zero-determinant strategies is still not clear. Here, we show that memory-$n$ zero-determinant strategies in repeated games can be used to control conditional expectations of payoffs. Equivalently, they can be used to control expected payoffs in biased ensembles, where a history of action profiles with large value of bias function is more weighted. Controlling conditional expectations of payoffs is useful for strengthening zero-determinant strategies, because players can choose conditions in such a way that only unfavorable action profiles to one player are contained in the conditions. We provide several examples of memory-$n$ zero-determinant strategies in the repeated prisoner's dilemma game. We also explain that a deformed version of zero-determinant strategies is easily extended to the memory-$n$ case.


title: Artificial Intelligence ordered 3D vertex importance

abstract: Ranking vertices of multidimensional networks is crucial in many areas of research, including selecting and determining the importance of decisions. Some decisions are significantly more important than others, and their weight categorization is also imortant. This paper defines a completely new method for determining the weight decisions using artificial intelligence for importance ranking of three-dimensional network vertices, improving the existing Ordered Statistics Vertex Extraction and Tracking Algorithm (OSVETA) based on modulation of quantized indices (QIM) and error correction codes. The technique we propose in this paper offers significant improvements the efficiency of determination the importance of network vertices in relation to statistical OSVETA criteria, replacing heuristic methods with methods of precise prediction of modern neural networks. The new artificial intelligence technique enables a significantly better definition of the 3D meshes and a better assessment of their topological features. The new method contributions result in a greater precision in defining stable vertices, significantly reducing the probability of deleting mesh vertices.


title: Uniqueness and Ulam-Hyers-Mittag-Leffler stability results for the delayed fractional multi-terms differential equation involving the $\Phi$--Caputo fractional Derivative

abstract: The principal aim of the present paper is to establish the uniqueness and Ulam-Hyers Mittag-Leffler (UHML) stability of solutions for a new class of multi-terms fractional time-delay differential equations in the context of the $\Phi$-Caputo fractional derivative. To achieve this purpose, the generalized Laplace transform method alongside facet with properties of the Mittag-Leffler functions (M-LFs), are utilized to give a new representation formula of the solutions for the aforementioned problem. Besides that, the uniqueness of the solutions of the considered problem is also proved by applying the well-known Banach contraction principle coupled with the $\Phi$-fractional Bielecki-type norm. While the $\Phi$-fractional Gronwall type inequality and the Picard operator (PO) technique combined with abstract Gronwall lemma are used to prove the UHML stability results for the proposed problem. Lastly, an example is offered to assure the validity of the obtained theoretical results.


title: Circuit Complexity From Cosmological Islands

abstract: Recently in various theoretical works, path-breaking progress has been made in recovering the well-known Page Curve of an evaporating black hole with Quantum Extremal Islands, proposed to solve the long-standing black hole information loss problem related to the unitarity issue. Motivated by this concept, in this paper, we study cosmological circuit complexity in the presence (or absence) of Quantum Extremal Islands in the negative (or positive) Cosmological Constant with radiation in the background of Friedmann-Lema$\hat{i}$tre-Robertson-Walker (FLRW) space-time i.e the presence and absence of islands in anti-de Sitter and the de Sitter spacetime having SO(2, 3) and SO(1, 4) isometries respectively. Without using any explicit details of any gravity model, we study the behaviour of the circuit complexity function with respect to the dynamical cosmological solution for the scale factors for the above-mentioned two situations in FLRW space-time using squeezed state formalism. By studying the cosmological circuit complexity, Out-of-Time Ordered Correlators, and entanglement entropy of the modes of the squeezed state, in different parameter spaces, we conclude the non-universality of these measures. Their remarkably different features in the different parameter spaces suggest their dependence on the parameters of the model under consideration.

categories: hep-th cond-mat.dis-nn gr-qc nlin.CD quant-ph


title: AdvExpander: Generating Natural Language Adversarial Examples by Expanding Text

abstract: Adversarial examples are vital to expose the vulnerability of machine learning models. Despite the success of the most popular substitution-based methods which substitutes some characters or words in the original examples, only substitution is insufficient to uncover all robustness issues of models. In this paper, we present AdvExpander, a method that crafts new adversarial examples by expanding text, which is complementary to previous substitution-based methods. We first utilize linguistic rules to determine which constituents to expand and what types of modifiers to expand with. We then expand each constituent by inserting an adversarial modifier searched from a CVAE-based generative model which is pre-trained on a large scale corpus. To search adversarial modifiers, we directly search adversarial latent codes in the latent space without tuning the pre-trained parameters. To ensure that our adversarial examples are label-preserving for text matching, we also constrain the modifications with a heuristic rule. Experiments on three classification tasks verify the effectiveness of AdvExpander and the validity of our adversarial examples. AdvExpander crafts a new type of adversarial examples by text expansion, thereby promising to reveal new robustness issues.


title: Periodically refreshed baths to simulate open quantum many-body dynamics

abstract: Obtaining dynamics of an interacting quantum many-body system connected to multiple baths initially at different, finite, temperatures and chemical potentials is a challenging problem. This is due to a combination of the prevalence of strong correlations in the system, the infinite nature of the baths and the long time to reach steady state. In this work we develop a general formalism that allows access to the full non-Markovian dynamics of such open quantum many-body systems up to the non-equilibrium steady state (NESS), provided its uniqueness. Specifically, we show how finite-time evolution in presence of finite-sized baths, whose opportune size is determined by their original spectral density, can be recursively used to faithfully reconstruct the exact dynamics without requiring any small parameter. Such a reconstruction is possible even in parameter regimes which would otherwise be inaccessible by current state-of-the-art techniques. We specifically demonstrate this by obtaining the full numerically exact non-Markovian dynamics of interacting fermionic chains in two terminal set-ups with finite temperature and voltage biases, a problem which previously remained outstanding despite its relevance in a wide range of contexts, for example, quantum heat engines and refrigerators.


title: Multiple Rings in the Shadow of Extremely Compact Objects

abstract: The Event Horizon Telescope's image of the M87 black hole provides an exciting opportunity to study black hole physics. Since a black hole's event horizon absorbs all electromagnetic waves, it is difficult to actively probe the horizon's existence. However, with the help of a family of extremely compact, horizon-less objects, named gravastars", whose external space-times nearly identical to those of black holes, one can test the absence of event horizons: absences of additional features that arise due to the existence of the gravastar, or its surface, can be used as quantitative evidence for black holes. We apply Gralla et al.'s approach to studying black hole images to study the images of two types of gravastars: transparent ones and reflective ones. In both cases, the transmission of rays through gravastars, or their reflections on their surfaces, lead to more rings in their images. For simple emission models, where the redshifted emissivity of the disk is peaked at a particular radius r-peak, the position of a series of rings can be related in a simple manner to light ray propagation: a ring shows up around impact parameter b whenever rays incident from infinity at b intersects the disk at r-peak. We show that additional rings will appear in the images of transparent and reflective gravastars. In particular, one of the additional rings for the reflective gravastar is due to the prompt reflection of light on the gravastar surface and appears to be well separated from the others. This can be a robust feature, which may be reliably used to constrain the reflectivity of the black hole's horizon.


title: A Note on Bell's Theorem Logical Consistency

abstract: Counterfactual definiteness is supposed to underlie the Bell theorem. An old controversy exists among those who reject the theorem implications by rejecting counterfactual definiteness and those who claim that, since it is a direct consequence of locality, it cannot be independently rejected. We propose a different approach for solving this contentious issue by realizing that counterfactual definiteness is an unnecessary and inconsistent assumption. Counterfactual definiteness is not equivalent to realism or determinism neither it follows from locality. It merely reduces to an incongruent application of counterfactual reasoning. Being incompatible with falsifiability, it constitutes an unjustified assumption that goes against the scientific method's rigor. Correct formulations of the Bell theorem's bases show it is absent either as a fundamental hypothesis or as a consequence of something else. Most importantly, we present a coherent Bell inequality derivation carefully devised to show explicitly and convincingly the absence of incompatible experiments or counterfactual reasoning. Thus, even admitting that counterfactual definiteness could be a consistent assumption, the necessary conclusion is that it is irrelevant for the inequality formulation and can be safely ignored when discussing Bell's inequality philosophical and physical implications.


title: Computational interference microscopy enabled by deep learning

abstract: Quantitative phase imaging (QPI) has been widely applied in characterizing cells and tissues. Spatial light interference microscopy (SLIM) is a highly sensitive QPI method, due to its partially coherent illumination and common path interferometry geometry. However, its acquisition rate is limited because of the four-frame phase-shifting scheme. On the other hand, off-axis methods like diffraction phase microscopy (DPM), allows for single-shot QPI. However, the laser-based DPM system is plagued by spatial noise due to speckles and multiple reflections. In a parallel development, deep learning was proven valuable in the field of bioimaging, especially due to its ability to translate one form of contrast into another. Here, we propose using deep learning to produce synthetic, SLIM-quality, high-sensitivity phase maps from DPM, single-shot images as input. We used an inverted microscope with its two ports connected to the DPM and SLIM modules, such that we have access to the two types of images on the same field of view. We constructed a deep learning model based on U-net and trained on over 1,000 pairs of DPM and SLIM images. The model learned to remove the speckles in laser DPM and overcame the background phase noise in both the test set and new data. Furthermore, we implemented the neural network inference into the live acquisition software, which now allows a DPM user to observe in real-time an extremely low-noise phase image. We demonstrated this principle of computational interference microscopy (CIM) imaging using blood smears, as they contain both erythrocytes and leukocytes, in static and dynamic conditions.


title: Determinant of a Sum of Certain Kronecker Products

abstract: We compute the determinant of $\sum_{n=1}^{N} \vec{A}^{(n)} \otimes \vec{B}^{(n)}$, where $\vec{A}^{(n)}$ is square and ${\vec{B}^{(n)}=\vec{x}^{(n)}{\vec{y}^{(n)}}^T}$ where $\vec{x}^{(n)}$ and $\vec{y}^{(n)}$ have length $N$.


title: Quantum refrigerators in finite-time cycle duration

abstract: We derive cooling rate and coefficient of performance as well as their variances for a quantum Otto engine proceeding in finite-time cycle period. This machine consists of two driven strokes, where the system isolated from the heat reservoir undergoes finite-time unitary transformation, and two isochoric steps, where the finite-time system-bath interaction durations take the system away from the equilibrium even at the respective ends of the two stages. We explicitly calculate the statistics of cooling rate and coefficient of performance for the machine operating with an analytically solvable two-level system. We clarify the role of finite-time durations of four processes on the machine performance. We show that there is the trade-off between the performance parameter and its corresponding variance, thereby indicating that the cooling rate or coefficient of performance can be enhanced, but at the cost of increasing the corresponding fluctuations.


title: Space of chord diagrams on spherical curves

abstract: In this paper, we give a definition of $\mathbb{Z}$-valued functions from the ambient isotopy classes of spherical/plane curves derived from chord diagrams, denoted by $\sum_i \alpha_i x_i$. Then, we introduce certain elements of the free $\mathbb{Z}$-module generated by the chord diagrams with at most $l$ chords, called relators of Type (I) ((SII), (WII), (SIII), or (WIII), resp.), and introduce another function $\sum_i \alpha_i \tilde{x}_i$ derived from $\sum_i \alpha_i x_i$. The main result (Theorem~1) shows that if $\sum_i \alpha_i \tilde{x}_i$ vanishes for the relators of Type (I) ((SII), (WII), (SIII), or (WIII), resp.), then $\sum_i \alpha_i x_i$ is invariant under the Reidemeister move of type RI (strong RII, weak RII, strong RIII, or weak RIII, resp.) that is defined in [Ito-Takimura (2013), J. Knot Theory Ramifications].


title: Self-Dual Forms in Supergeometry I: The Chiral Boson

abstract: Recent results of A. Sen on quantum field theory models with self-dual field strengths use string field theory as a starting point. In the present work, we show that combining string field theory and supergeometry we can provide a constructive method for all these models, for any superspace representation and for any given background. The analysis is based on the new concept of pseudoform, emerging in supergeometry, which opens a new page in quantum field theory and, in particular, in supergravity. The present work deals with an explicit example, the case of the chiral boson multiplet in d=2.


title: Time Aggregation Techniques Applied to a Capacity Expansion Model for Real-Life Sector Coupled Energy Systems

abstract: Simulating energy systems is vital for energy planning to understand the effects of fluctuating renewable energy sources and integration of multiple energy sectors. Capacity expansion is a powerful tool for energy analysts and consists of simulating energy systems with the option of investing in new energy sources. In this paper, we apply clustering based aggregation techniques from the literature to very different real-life sector coupled energy systems. We systematically compare the aggregation techniques with respect to solution quality and simulation time. Furthermore, we propose two new clustering approaches with promising results. We show that the aggregation techniques result in consistent solution time savings between 75% and 90%. Also, the quality of the aggregated solutions is generally very good. To the best of our knowledge, we are the first to analyze and conclude that a weighted representation of clusters is beneficial. Furthermore, to the best of our knowledge, we are the first to recommend a clustering technique with good performance across very different energy systems: the k-means with Euclidean distance measure, clustering days and with weighted selection, where the median, maximum and minimum elements from clusters are selected. A deeper analysis of the results reveal that the aggregation techniques excel when the investment decisions correlate well with the overall behavior of the energy system. We propose future research directions to remedy when this is not the case.


title: How to design a 2D active grid for dynamic inflow modulation

abstract: Wind turbines operate under constantly changing turbulent inflow conditions. In the rotating system, wind gusts lead to variations in the angle of attack at local blade segments resulting in dynamic effects such as dynamic stall. Such highly non-linear effects are known to produce a significant overshoot in the lift and thus an increase in loads acting on the wind turbine, leading to long-term fatigue. To better understand these effects, it is essential to perform experiments under defined conditions on 2D airfoil segments in the wind tunnel. In this study, a so-called 2D active grid is presented which allows to generate local inflow conditions with defined fluctuations of the angle of incidence (AoI) in wind tunnel experiments. The focus of the investigations is on sinusoidal variations of AoI with high amplitudes generated by different grid configurations. By changing the AoI dynamic phenomena can be induced without the need to move the object under investigation. Inertial effects during force measurements and a changing shadow casting due to a moving airfoil in particle image velocimetry measurements do not appear. Additional variations in the longitudinal velocity component are another aspect in the presented work. Such longitudinal gusts can be combined with AoI variations in arbitrary phase. This can be used to mimic various inflow situations such as yaw or tower shadow effects on wind turbines.


title: Building Energy Consumption Models Based On Smartphone User's Usage Patterns

abstract: The increasing usage of smartphones in everyday tasks has been motivated many studies on energy consumption characterization aiming to improve smartphone devices' effectiveness and increase user usage time. In this scenario, it is essential to study mechanisms capable of characterizing user usage patterns, so smartphones' components can be adapted to promote the best user experience with lower energy consumption. The goal of this study is to build an energy consumption model based on user usage patterns aiming to provide the best accurate model to be used by application developers and automated optimization. To develop the energy consumption models, we established a method to identify the components with the most influence in the smartphone's energy consumption and identify the states of each influential device. Besides that, we established a method to prove the robustness of the models constructed using inaccurate hardware and a strategy to assess the accuracy of the model built. After training and testing each strategy to model the energy consumption based on the user's usage and perform the Nemenyi test, we demonstrated that it is possible to get a Mean Absolute Error of 158.57mW when the smartphone's average power is 1970.1mW. Some studies show that the leading smartphone's workload is the user. Based on this fact, we developed an automatic model building methodology that is capable of analyzing the user's usage data and build smart models that can estimate the smartphone's energy consumption based on the user's usage pattern. With the automatic model building methodology, we can adopt strategies to minimize the usage of components that drain the battery.


title: Pointing Error Compensation For Inter-Satellite Communication Using Multi-Plane Light Conversion Spatial Demultiplexer

abstract: In this work, we study the effect of beam deviation angle at the reception side and calculate the theoretical demultiplexed collected energy for up to 15 modes, investigating the influence of the ratio between incoming beam size and fundamental HG mode's waist. We show this approach greatly enhances the collection efficiency, tolerating tip-tilt error of more than 3 times compared to a Gaussian beam alone. We also show that, depending on wait size, a trade-off between collection efficiency at small angles and maximum acceptance angle can be achieved.


title: Space, Matter and Interactions in a Quantum Early Universe. Part II : Superalgebras and Vertex Algebras

abstract: In our investigation on quantum gravity, we introduce an infinite dimensional complex Lie algebra $\textbf{${\mathfrak g}_{\mathsf u}$}$ that extends $\mathbf{e_9}$. It is defined through a symmetric Cartan matrix of a rank 12 Borcherds algebra. We turn $\textbf{${\mathfrak g}_{\mathsf u}$}$ into a Lie superalgebra $\textbf{$\mathfrak {sg}_{\mathsf u}$}$ with no superpartners, in order to comply with the Pauli exclusion principle. There is a natural action of the Poincar\'e group on $\textbf{$\mathfrak {sg}_{\mathsf u}$}$, which is an automorphism in the massive sector. We introduce a mechanism for scattering that includes decays as particular {\it resonant scattering}. Finally, we complete the model by merging the local $\textbf{$\mathfrak {sg}_{\mathsf u}$}$ into a vertex-type algebra.


title: Reduced-Rank Tensor-on-Tensor Regression and Tensor-variate Analysis of Variance

abstract: Fitting regression models with many multivariate responses and covariates can be challenging, but such responses and covariates sometimes have tensor-variate structure. We extend the classical multivariate regression model to exploit such structure in two ways: first, we impose four types of low-rank tensor formats on the regression coefficients. Second, we model the errors using the tensor-variate normal distribution that imposes a Kronecker separable format on the covariance matrix. We obtain maximum likelihood estimators via block-relaxation algorithms and derive their computational complexity and asymptotic distributions. Our regression framework enables us to formulate tensor-variate analysis of variance (TANOVA) methodology. This methodology, when applied in a one-way TANOVA layout, enables us to identify cerebral regions significantly associated with the interaction of suicide attempters or non-attemptor ideators and positive-, negative- or death-connoting words in a functional Magnetic Resonance Imaging study. Another application uses three-way TANOVA on the Labeled Faces in the Wild image dataset to distinguish facial characteristics related to ethnic origin, age group and gender.

categories: stat.ME math.ST physics.data-an stat.CO stat.ML stat.TH


title: Hierarchical Decentralized Reference Governor using Dynamic Constraint Tightening for Constrained Cascade Systems

abstract: This paper proposes a hierarchical decentralized reference governor for constrained cascade systems. The reference governor (RG) approach is reformulated in terms of receding horizon strategy such that a locally receding horizon optimization is obtained for each subsystem with a pre-established prediction horizon. The algorithm guarantees that not only the nominal overall closed-loop system without any constraint is recoverable but also the state and control constraints are satisfied in transient conditions. Also, considering unfeasible reference signals, the output of any subsystem goes locally to the nearest feasible value. The proposed dynamic constraint tightening strategy uses a receding horizon to reduce the conservatism of conventional robust RGs. Moreover, a decentralized implementation of the algorithms used to compute tightened constraints and output admissible sets is introduced that allow to deal with large scale systems. Furthermore, a set of dynamic constraints are presented to preserve recursive feasibility of distributed optimization problem. Feasibility, stability, convergence, and robust constraint satisfaction of the proposed algorithm are also demonstrated. The proposed approach is verified by simulating a system composed of three cascade jacketed continuous stirred tank reactors.


title: A Benchmark Arabic Dataset for Commonsense Explanation

abstract: Language comprehension and commonsense knowledge validation by machines are challenging tasks that are still under researched and evaluated for Arabic text. In this paper, we present a benchmark Arabic dataset for commonsense explanation. The dataset consists of Arabic sentences that does not make sense along with three choices to select among them the one that explains why the sentence is false. Furthermore, this paper presents baseline results to assist and encourage the future evaluation of research in this field. The dataset is distributed under the Creative Commons CC-BY-SA 4.0 license and can be found on GitHub


title: LiveMap: Real-Time Dynamic Map in Automotive Edge Computing

abstract: Autonomous driving needs various line-of-sight sensors to perceive surroundings that could be impaired under diverse environment uncertainties such as visual occlusion and extreme weather. To improve driving safety, we explore to wirelessly share perception information among connected vehicles within automotive edge computing networks. Sharing massive perception data in real time, however, is challenging under dynamic networking conditions and varying computation workloads. In this paper, we propose LiveMap, a real-time dynamic map, that detects, matches, and tracks objects on the road with crowdsourcing data from connected vehicles in sub-second. We develop the data plane of LiveMap that efficiently processes individual vehicle data with object detection, projection, feature extraction, object matching, and effectively integrates objects from multiple vehicles with object combination. We design the control plane of LiveMap that allows adaptive offloading of vehicle computations, and develop an intelligent vehicle scheduling and offloading algorithm to reduce the offloading latency of vehicles based on deep reinforcement learning (DRL) techniques. We implement LiveMap on a small-scale testbed and develop a large-scale network simulator. We evaluate the performance of LiveMap with both experiments and simulations, and the results show LiveMap reduces 34.1% average latency than the baseline solution.


title: Data Storage in the Decentralized World: Blockchain and Derivatives

abstract: We have entered an era where the importance of decentralized solutions has become more obvious. Blockchain technology and its derivatives are distributed ledger technologies that keep the registry of data between peers of a network. This ledger is secured within a successive over looping cryptographic chain. The accomplishment of the Bitcoin cryptocurrency proved that blockchain technology and its derivatives could be used to eliminate intermediaries and provide security for cyberspace. However, there are some challenges in the implementation of blockchain technology. This chapter first explains the concept of blockchain technology and the data that we can store therein. The main advantage of blockchain is the security services that it provides. This section continues by describing these services.. The challenges of blockchain; blockchain anomalies, energy consumption, speed, scalability, interoperability, privacy and cryptology in the age of quantum computing are described. Selected solutions for these challenges are given. Remarkable derivatives of blockchain, which use different solutions (directed acyclic graph, distributed hash table, gossip consensus protocol) to solve some of these challenges are described. Then the data storage in blockchain and evolving data solutions are explained. The comparison of decentralized solutions with the lcentralized database systems is given. A multi-platform interoperable scalable architecture (MPISA) is proposed. In the conclusion we include the evolution assumptions of data storage in a decentralized world.


title: Observation of a sudden cessation of a very-high-energy gamma-ray flare in PKS 1510-089 with H.E.S.S. and MAGIC in May 2016

abstract: The flat spectrum radio quasar (FSRQ) PKS 1510-089 is known for its complex multiwavelength behavior, and is one of only a few FSRQs detected at very high energy (VHE, $E>100\,$GeV) $\gamma$-rays. VHE $\gamma$-ray observations with H.E.S.S. and MAGIC during late May and early June 2016 resulted in the detection of an unprecedented flare, which reveals for the first time VHE $\gamma$-ray intranight variability in this source. While a common variability timescale of $1.5\,$hr is found, there is a significant deviation near the end of the flare with a timescale of $\sim 20\,$min marking the cessation of the event. The peak flux is nearly two orders of magnitude above the low-level emission. For the first time, curvature is detected in the VHE $\gamma$-ray spectrum of PKS 1510-089, which is fully explained through absorption by the extragalactic background light. Optical R-band observations with ATOM reveal a counterpart of the $\gamma$-ray flare, even though the detailed flux evolution differs from the VHE ightcurve. Interestingly, a steep flux decrease is observed at the same time as the cessation of the VHE flare. In the high energy (HE, $E>100\,$MeV) $\gamma$-ray band only a moderate flux increase is observed with Fermi-LAT, while the HE $\gamma$-ray spectrum significantly hardens up to a photon index of 1.6. A search for broad-line region (BLR) absorption features in the $\gamma$-ray spectrum indicates that the emission region is located outside of the BLR. Radio VLBI observations reveal a fast moving knot interacting with a standing jet feature around the time of the flare. As the standing feature is located $\sim 50\,$pc from the black hole, the emission region of the flare may have been located at a significant distance from the black hole. If this correlation is indeed true, VHE $\gamma$ rays have been produced far down the jet where turbulent plasma crosses a standing shock.


title: New results from the DANSS experiment

abstract: We present new preliminary DANSS results based on 3.5 million Inverse Beta Decay (IBD) events collected at 3 distances (10.9 m, 11.9 m, and 12.9 m) from the detector center to the reactor core center. The detector position is changed typically 3 times a week. Therefore many systematic uncertainties are canceled out. A new analysis that uses information about relative IBD counting rates in addition to changes in positron energy spectra shapes is employed. The excluded area covers a very interesting range of the sterile neutrino parameters up to $\sin^2 2\theta_{ee} < 0.008$ in the most sensitive region. No statistically significant evidence for sterile neutrinos is observed. The significance of the best-fit point in the 4$\nu$ case is 1.5$\sigma$


title: Atomic transitions for adaptive optics

abstract: This paper reviews atoms and ions in the upper atmosphere, including the mesospheric metals Na, Fe, Mg$^+$, Si$^+$, Ca$^+$, K and also non-metallic species N, N$^+$, O, H, considering their potential for astronomical adaptive optics. Na and Fe are the best candidates for the creation of polychromatic laser guide stars, with the strongest returns coming from transitions that can be reached by excitation at two wavelengths. Ca$^+$ and Si$^+$ have strong visible-light transitions, but require short wavelengths, beyond the atmospheric cutoff, for excitation from the ground state. Atomic O, N and N$^+$ have strong transitions and high abundances in the mesosphere. The product of column density and cross section for these species can be as high as $10^5$ for O and several hundred for N and N$^+$, making them potential candidates for amplified spontaneous emission. However they require vacuum-ultraviolet wavelengths for excitation.


title: Invariance and Strict Invariance for Nonlinear Evolution Problems with Applications

abstract: Sufficient conditions for the invariance of evolution problems governed by perturbations of (possibly nonlinear) $m$-accretive operators are provided. The conditions for the invariance with respect to sublevel sets of a constraint functional are expressed in terms of the Dini derivative of that functional, outside the considered sublevel set in directions determined by the governing $m$-accretive operator. An approach for non-reflexive Banach spaces is developed and some result improving a recent paper [P. Cannarsa, G. Da Prato, H. Frankowska, Invariance of quasi-dissipative systems in Banach spaces. J. Math. Anal. App. 457 (2018), 1173-1187] is presented. Applications to nonlinear obstacle problems and age-structured population models are presented in spaces of continuous functions where advantages of that approach are taken. Moreover, some new abstract criteria for the so-called strict invariance are derived and their direct applications to problems with barriers are shown.


title: An Experimental Study of the Transferability of Spectral Graph Networks

abstract: Spectral graph convolutional networks are generalizations of standard convolutional networks for graph-structured data using the Laplacian operator. A common misconception is the instability of spectral filters, i.e. the impossibility to transfer spectral filters between graphs of variable size and topology. This misbelief has limited the development of spectral networks for multi-graph tasks in favor of spatial graph networks. However, recent works have proved the stability of spectral filters under graph perturbation. Our work complements and emphasizes further the high quality of spectral transferability by benchmarking spectral graph networks on tasks involving graphs of different size and connectivity. Numerical experiments exhibit favorable performance on graph regression, graph classification, and node classification problems on two graph benchmarks. The implementation of our experiments is available on GitHub for reproducibility.


title: Carbon-Doped Sulfur Hydrides as Room-Temperature Superconductors at 270 GPa

abstract: To understand the most-recent experiment on room-temperature superconductivity in carbonaceous sulfur hydride (CSH) systems under high pressure, we have performed extensive stoichiometry and structure searches of ternary CSH compounds using generic evolutionary algorithms. Judged from the formation enthalpy of different CSH compounds, our studies conclude that certain levels of carbon doping (~5%-6%) in sulfur hydride (H$_3$S) in its R3m and phases gives rise to the most-stable structure (second to the H$_3$S itself) among the various CSH systems found. The replacement of a small amount of sulfur atoms by carbon in compounds like C$_1$S$_{15}$H$_{48}$ and C$_1$S$_{17}$H$_{54}$ results in a stronger electron-phonon coupling and a higher averaged phonon frequency that increases with pressure, thereby leading to room-temperature superconductivity at ~270 GPa. The calculated superconducting transition temperature T$_c$ of C$_1$S$_{15}$H$_{48}$ and C$_1$S$_{17}$H$_{54}$ as a function of pressure shows reasonably good agreement with experimental measurements. Before transition to superconducting states at ~80 GPa, the CSH system is predicted to have a stoichiometry of C$_2$S$_2$H$_{10}$ with a stable structure of P1 symmetry, which is supported by the direct comparison of its Raman spectrum with experiment.


title: Spacecraft Collision Risk Assessment with Probabilistic Programming

abstract: Over 34,000 objects bigger than 10 cm in length are known to orbit Earth. Among them, only a small percentage are active satellites, while the rest of the population is made of dead satellites, rocket bodies, and debris that pose a collision threat to operational spacecraft. Furthermore, the predicted growth of the space sector and the planned launch of megaconstellations will add even more complexity, therefore causing the collision risk and the burden on space operators to increase. Managing this complex framework with internationally agreed methods is pivotal and urgent. In this context, we build a novel physics-based probabilistic generative model for synthetically generating conjunction data messages, calibrated using real data. By conditioning on observations, we use the model to obtain posterior distributions via Bayesian inference. We show that the probabilistic programming approach to conjunction assessment can help in making predictions and in finding the parameters that explain the observed data in conjunction data messages, thus shedding more light on key variables and orbital characteristics that more likely lead to conjunction events. Moreover, our technique enables the generation of physically accurate synthetic datasets of collisions, answering a fundamental need of the space and machine learning communities working in this area.


title: Collision Avoidance and Liveness of Multi-agent Systems with CBF-based Controllers

abstract: In this paper we consider multi-agent navigation with collision avoidance using Control Barrier Functions (CBF). In the case of non-communicating agents, we consider trade-offs between level of safety guarantee and liveness - the ability to reach destination in short time without large detours or gridlock. We compare several CBF-based driving policies against the benchmark established by the Centralized controller that requires communication. One of the policies (CCS2) being compared is new and straddles the space between policies with only local control available and a more complex Predictor-Corrector for Collision Avoidance (PCCA) policy that adjusts local copies of everyone's control actions based on observed behavior. The paper establishes feasibility for the Centralized, PCCA and CCS2 policies. Monte Carlo simulations show that decentralized, host-only control policies lack liveness compared to the ones that use all the control inputs in calculations and that the PCCA policy performs equally well as the Centralized, even though it is decentralized.


title: Matching in size: How market impact depends on the concentration of trading

abstract: We show that filling an order with a large number of distinct counterparts incurs additional market impact, as opposed to filling the order with a small number of counterparts. For best execution, therefore, it may be beneficial to opportunistically fill orders with as few counterparts as possible in Large-in-scale (LIS) venues. This article introduces the concept of concentrated trading, a situation that occurs when a large fraction of buying or selling in a given time period is done by one or a few traders, for example when executing a large order. Using London Stock Exchange data, we show that concentrated trading suffers price impact in addition to impact caused by (smart) order routing. However, when matched with similarly concentrated counterparts on the other side of the market, the impact is greatly reduced. This suggests that exposing an order on LIS venues is expected to result in execution performance improvement.


title: A Tool for Custom Construction of QMC and RQMC Point Sets

abstract: We present LatNet Builder, a software tool to find good parameters for lattice rules, polynomial lattice rules, and digital nets in base 2, for quasi-Monte Carlo (QMC) and randomized quasi-Monte Carlo (RQMC) sampling over the $s$-dimensional unit hypercube. The selection criteria are figures of merit that give different weights to different subsets of coordinates. They are upper bounds on the worst-case error (for QMC) or variance (for RQMC) for integrands rescaled to have a norm of at most one in certain Hilbert spaces of functions. We summarize what are the various Hilbert spaces, discrepancies, types of weights, figures of merit, types of constructions, and search methods supported by LatNet Builder. We briefly discuss its organization and we provide simple illustrations of what it can do.


title: Generative Neural Samplers for the Quantum Heisenberg Chain

abstract: Generative neural samplers offer a complementary approach to Monte Carlo methods for problems in statistical physics and quantum field theory. This work tests the ability of generative neural samplers to estimate observables for real-world low-dimensional spin systems. It maps out how autoregressive models can sample configurations of a quantum Heisenberg chain via a classical approximation based on the Suzuki-Trotter transformation. We present results for energy, specific heat and susceptibility for the isotropic XXX and the anisotropic XY chain that are in good agreement with Monte Carlo results within the same approximation scheme.


title: Rational hypergeometric identities

abstract: A special singular limit $\omega_1/\omega_2\to 1$ is considered for the Faddeev modular quantum dilogarithm (hyperbolic gamma function) and the corresponding hyperbolic integrals. It brings a new class of hypergeometric identities associated with bilateral sums of Mellin-Barnes type integrals of particular Pochhammer symbol products.


title: A benchmark of initial state models for heavy-ion collisions at $\sqrt{s_{_{\rm NN}}}=$ 27 and 62 GeV

abstract: Description of relativistic heavy-ion collisions at the energies of RHIC Beam Energy Scan program with fluid dynamic approach poses several challenges, one of which being a complex geometry and a longer duration of the pre-hydrodynamic stage. Therefore, existing fluid dynamic models for heavy-ion collisions at the RHIC Beam Energy Scan energies rely on rather complex initial states, such as UrQMD cascade or multi-fluid dynamics. In this study, we show that functionally simpler, non-dynamical initial states can be employed for the fluid dynamical simulations of Au-Au collisions at $\mbox{$\sqrt{s_{_{\rm NN}}}$}=27$ and 62.4~GeV. We adapt the initial states based on Monte Carlo Glauber model (GLISSANDO 2) and $\sqrt{T_A T_B}$ ansatz based on reduced thickness (T$_{\rm R}$ENTo $p=0$), extended into the longitudinal direction and finite baryon density. We find that both initial states, when coupled to a 3D event-by-event viscous fluid dynamic + cascade model, result in an overall fair reproduction of basic experimental data: pseudorapidity distributions, transverse momentum spectra and elliptic flow, at both collision energies. This is a rather surprising, given that the $\sqrt{T_A T_B}$ ansatz is functionally similar to the EKRT and IP-Glasma models, which are successful at much larger energies and rely on a partonic picture of the initial state.


title: ReINTEL Challenge 2020: A Multimodal Ensemble Model for Detecting Unreliable Information on Vietnamese SNS

abstract: In this paper, we present our methods for unrealiable information identification task at VLSP 2020 ReINTEL Challenge. The task is to classify a piece of information into reliable or unreliable category. We propose a novel multimodal ensemble model which combines two multimodal models to solve the task. In each multimodal model, we combined feature representations acquired from three different data types: texts, images, and metadata. Multimodal features are derived from three neural networks and fused for classification. Experimental results showed that our proposed multimodal ensemble model improved against single models in term of ROC AUC score. We obtained 0.9445 AUC score on the private test of the challenge.


title: Gate-Based Circuit Designs For Quantum Adder Inspired Quantum Random Walks on Superconducting Qubits

abstract: Quantum Random Walks, which have drawn much attention over the past few decades for their distinctly non-classical behavior, is a promising subfield within Quantum Computing. Theoretical framework and applications for these walks have seen many great mathematical advances, with experimental demonstrations now catching up. In this study, we examine the viability of implementing Coin Quantum Random Walks using a Quantum Adder based Shift Operator, with quantum circuit designs specifically for superconducting qubits. We focus on the strengths and weaknesses of these walks, particularly circuit depth, gate count, connectivity requirements, and scalability. We propose and analyze a novel approach to implementing boundary conditions for these walks, demonstrating the technique explicitly in one and two dimensions. And finally, we present several fidelity results from running our circuits on IBM's quantum volume 32 `Toronto' chip, showcasing the extent to which these NISQ devices can currently handle quantum walks.


title: Complete quantum coherent control of ultracold molecular collisions

abstract: We show that quantum interference-based coherent control is a highly efficient tool for tuning ultracold molecular collision dynamics, and is free from the limitations of commonly used methods that rely on external electromagnetic fields. By varying {the relative populations and} phases of an initial coherent superpositions of degenerate molecular states, we demonstrate complete coherent control over integral scattering cross sections in the ultracold $s$-wave regime of both the initial and final collision channels. The proposed control methodology is applied to ultracold O$_2$~+~O$_2$ collisions, showing extensive control over $s$-wave spin-exchange cross sections and product branching ratios over many orders of magnitude.


title: On the physical origin of enhanced turbulent-dispersion of inertial particles in boundary layer flows

abstract: One of the most enigmatic science question concerning inertial particle transport by a turbulent boundary layer flow is the value of the turbulent Schmidt number as the ratio of particle diffusivity and turbulent eddy viscosity. Using direct acoustic measurement of turbulent particle flux profile, and two-phase flow turbulence-resolving numerical simulation, it is demonstrated that turbulent dispersion of particles is reduced rather than enhanced when predicted with existing literature model. The explanation lies in the misleading assumption of settling velocity in quiescent water to estimate the turbulent particle diffusivity while direct measurements and simulations of turbulent particle flux support the occurrence of settling retardation.


title: Understood in Translation, Transformers for Domain Understanding

abstract: Knowledge acquisition is the essential first step of any Knowledge Graph (KG) application. This knowledge can be extracted from a given corpus (KG generation process) or specified from an existing KG (KG specification process). Focusing on domain specific solutions, knowledge acquisition is a labor intensive task usually orchestrated and supervised by subject matter experts. Specifically, the domain of interest is usually manually defined and then the needed generation or extraction tools are utilized to produce the KG. Herein, we propose a supervised machine learning method, based on Transformers, for domain definition of a corpus. We argue why such automated definition of the domain's structure is beneficial both in terms of construction time and quality of the generated graph. The proposed method is extensively validated on three public datasets (WebNLG, NYT and DocRED) by comparing it with two reference methods based on CNNs and RNNs models. The evaluation shows the efficiency of our model in this task. Focusing on scientific document understanding, we present a new health domain dataset based on publications extracted from PubMed and we successfully utilize our method on this. Lastly, we demonstrate how this work lays the foundation for fully automated and unsupervised KG generation.


title: Inhomogeneous superconductivity in LuxZr1-xB12 dodecaborides with dynamic charge stripes

abstract: We have studied the normal and superconductive state characteristics (resistivity, Hall coefficient, heat capacity and magnetization) of model strongly correlated electronic systems LuxZr1-xB12 with cooperative Jahn-Teller instability of the boron rigid cage and with dynamic charge stripes. It was found that these metals are s-wave dirty limit superconductors with a small mean free path of charge carriers l = 5 - 140 A and with a Cooper pair size changing non-monotonously in the range 450 - 4000 A. The parent ZrB12 and LuB12 borides are type-I superconductors, and Zr to Lu substitution induces a type-I - type-II phase transition providing a variation of the Ginzburg-Landau-Maki parameter in the limits 0.65 < kappa1,2 < 6. We argue in favor of the two-band scenario of superconductivity in LuxZr1-xB12 with gap values Delta_1 ~ 14 K and Delta_2 ~ 6 - 8 K, with pairing corresponding to strong coupling limit (lambda_e-ph ~ 1) in the upper band, and to weak coupling (lambda_e-ph ~ 0.1 - 0.4) in the lower one. A pseudogap Delta_ps-gap ~ 60 - 110 K is observed in LuxZr1-xB12 above Tc. We discuss also the possibility of anisotropic single-band superconductivity with stripe-induced both pair-breaking and anisotropy, and analyze the origin of unique enhanced surface superconductivity detected in these model compounds.


title: Rayleigh-Taylor instability during impact cratering experiments

abstract: When a liquid drop strikes a deep pool of a second liquid, an impact crater opens while the liquid of the drop decelerates and spreads on the surface of the crater. If the density of the drop is larger than the surrounding, the interface between the drop liquid layer and its surrounding becomes unstable, producing mushroom-shaped plumes growing radially outward. We interpret this instability as a spherical Rayleigh-Taylor instability associated with the deceleration of the interface between the drop and its surrounding, which significantly exceeds the ambient vertical gravity. We investigate experimentally how changing the density contrast and the impact Froude number affects the instability and the resulting mixing layer. Using backlighting and planar laser-induced fluorescence methods, the position of the air-liquid interface, the thickness of the mixing layer, and an estimate of the instability wavelength are obtained. First, the evolution of the mean crater radius is derived from an energy conservation model. The observed mixing layer dynamics is then explained by a model involving a competition between the geometrical expansion of the crater tending to decrease its thickness, and mixing produced by the Rayleigh-Taylor instability tending to increase its thickness. The estimated instability wavelength is finally compared to an approximate linear stability analysis of a radially accelerated fluid sphere into a less dense fluid. Mixing properties of this impact-related instability have geophysical implications regarding the differentiation of terrestrial planets, in particular by estimating the mass of magma ocean silicates that equilibrates with the metal core of the impacting planetesimals.


title: Time-dependent high-contrast subwavelength resonators

abstract: In the field of metamaterials, many intriguing phenomena arise from having a structure which is periodic in space. In time-dependent structures, conceptually similar properties can arise, which nevertheless have fundamentally different physical implications. In this work, we study time-dependent systems in the context of subwavelength metamaterials. The main result is a capacitance matrix characterization of the band structure, which generalizes previous recent work on static subwavelength metamaterials. This characterization provides both theoretical insight and efficient numerical methods to compute the dispersion relationship of time-dependent structures. We exemplify this in several structures exhibiting interesting wave manipulation properties.


title: An Empirical Study of Using Pre-trained BERT Models for Vietnamese Relation Extraction Task at VLSP 2020

abstract: In this paper, we present an empirical study of using pre-trained BERT models for the relation extraction task at the VLSP 2020 Evaluation Campaign. We applied two state-of-the-art BERT-based models: R-BERT and BERT model with entity starts. For each model, we compared two pre-trained BERT models: FPTAI/vibert and NlpHUST/vibert4news. We found that NlpHUST/vibert4news model significantly outperforms FPTAI/vibert for the Vietnamese relation extraction task. Finally, we proposed an ensemble model that combines R-BERT and BERT with entity starts. Our proposed ensemble model slightly improved against two single models on the development data and the test data provided by the task organizers.


title: Infinitesimal Zariski closures of positive representations

abstract: We classify the (semi-simple parts of the) Lie algebra of the Zariski closure of a discrete subgroup of a split simple real-algebraic Lie group, whose limit sets are minimal and such that the limit set in the space of full flags contains a positive triple of flags (as in Lusztig). We then apply our result to obtain a new proof of Guichard's classification of Zariski closures of Hitchin representations into $PSL_d(\mathbb{R}).$


title: N-body simulations of dark matter with frequent self-interactions

abstract: Self-interacting dark matter (SIDM) models have the potential to solve the small-scale problems that arise in the cold dark matter paradigm. Simulations are a powerful tool for studying SIDM in the context of astrophysics, but it is numerically challenging to study differential cross-sections that favour small-angle scattering, as in light-mediator models. Here, we present a novel approach to model frequent scattering based on an effective drag force, which we have implemented into the N-body code gadget-3. In a range of test problems, we demonstrate that our implementation accurately models frequent scattering. Our implementation can be used to study differences between SIDM models that predict rare and frequent scattering. We simulate core formation in isolated dark matter haloes, as well as major mergers of galaxy clusters and find that SIDM models with rare and frequent interactions make different predictions. In particular, frequent interactions are able to produce larger offsets between the distribution of galaxies and dark matter in equal-mass mergers.


title: Adversarially Robust Estimate and Risk Analysis in Linear Regression

abstract: Adversarially robust learning aims to design algorithms that are robust to small adversarial perturbations on input variables. Beyond the existing studies on the predictive performance to adversarial samples, our goal is to understand statistical properties of adversarially robust estimates and analyze adversarial risk in the setup of linear regression models. By discovering the statistical minimax rate of convergence of adversarially robust estimators, we emphasize the importance of incorporating model information, e.g., sparsity, in adversarially robust learning. Further, we reveal an explicit connection of adversarial and standard estimates, and propose a straightforward two-stage adversarial learning framework, which facilitates to utilize model structure information to improve adversarial robustness. In theory, the consistency of the adversarially robust estimator is proven and its Bahadur representation is also developed for the statistical inference purpose. The proposed estimator converges in a sharp rate under either low-dimensional or sparse scenario. Moreover, our theory confirms two phenomena in adversarially robust learning: adversarial robustness hurts generalization, and unlabeled data help improve the generalization. In the end, we conduct numerical simulations to verify our theory.


title: The Smirnov class for de Branges--Rovnyak spaces

abstract: Using an explicit construction, we show that the de Branges-Rovnyak spaces $\mathscr{H}(b)$, corresponding to rational $b$, are contained in their associated Smirnov classes.


title: The Merchant: Avoiding Payment Channel Depletion through Incentives

abstract: Payment channels networks drastically increase the throughput and hence scalability of blockchains by performing transactions \emph{off-chain}. In an off-chain payment, parties deposit coins in a channel and then perform transactions without invoking the global consensus mechanism of the blockchain. However, the transaction value is limited by the capacity of the channel, i.e., the amount of funds available on a channel. These funds decrease when a transaction is sent and increase when a transaction is received on the channel. Recent research indicates that there is an imbalance between sending and receiving transactions, which leads to channel depletion in the sense that one of these operations becomes impossible over time due to the lack of available funds. We incentivize the balanced use of payment channels through fees. Whereas the current fee model depends solely on the transaction value, our fee policies encourage transactions that have a positive effect on the balance in a channel and discourage those that have a negative effect. This paper first defines necessary properties of fee strategies. Then, it introduces two novel fees strategies that provably satisfy all necessary properties. Our extensive simulation study reveals that these incentives increase the effectiveness of payments by $8\%$ to $19\%$.


title: Subcubic Algorithms for Gomory-Hu Tree in Unweighted Graphs

abstract: Every undirected graph $G$ has a (weighted) cut-equivalent tree $T$, commonly named after Gomory and Hu who discovered it in 1961. Both $T$ and $G$ have the same node set, and for every node pair $s,t$, the minimum $(s,t)$-cut in $T$ is also an exact minimum $(s,t)$-cut in $G$. We give the first subcubic-time algorithm that constructs such a tree for a simple graph $G$ (unweighted with no parallel edges). Its time complexity is $\tilde{O}(n^{2.5})$, for $n=|V(G)|$; previously, only $\tilde{O}(n^3)$ was known, except for restricted cases like sparse graphs. Consequently, we obtain the first algorithm for All-Pairs Max-Flow in simple graphs that breaks the cubic-time barrier. Gomory and Hu compute this tree using $n-1$ queries to (single-pair) Max-Flow; the new algorithm can be viewed as a fine-grained reduction to $\tilde{O}(\sqrt{n})$ Max-Flow computations on $n$-node graphs.


title: ROBY: Evaluating the Robustness of a Deep Model by its Decision Boundaries

abstract: With the successful application of deep learning models in many real-world tasks, the model robustness becomes more and more critical. Often, we evaluate the robustness of the deep models by attacking them with purposely generated adversarial samples, which is computationally costly and dependent on the specific attackers and the model types. This work proposes a generic evaluation metric ROBY, a novel attack-independent robustness measure based on the model's decision boundaries. Independent of adversarial samples, ROBY uses the inter-class and intra-class statistic features to capture the features of the model's decision boundaries. We experimented on ten state-of-the-art deep models and showed that ROBY matches the robustness gold standard of attack success rate (ASR) by a strong first-order generic attacker. with only 1% of time cost. To the best of our knowledge, ROBY is the first lightweight attack-independent robustness evaluation metric that can be applied to a wide range of deep models. The code of ROBY is open sourced at https://github.com/baaaad/ROBY-Evaluating-the-Robustness-of-a-Deep-Model-by-its-Decision-Boundaries.


title: Temporal Bilinear Encoding Network of Audio-Visual Features at Low Sampling Rates

abstract: Current deep learning based video classification architectures are typically trained end-to-end on large volumes of data and require extensive computational resources. This paper aims to exploit audio-visual information in video classification with a 1 frame per second sampling rate. We propose Temporal Bilinear Encoding Networks (TBEN) for encoding both audio and visual long range temporal information using bilinear pooling and demonstrate bilinear pooling is better than average pooling on the temporal dimension for videos with low sampling rate. We also embed the label hierarchy in TBEN to further improve the robustness of the classifier. Experiments on the FGA240 fine-grained classification dataset using TBEN achieve a new state-of-the-art (hit@1=47.95%). We also exploit the possibility of incorporating TBEN with multiple decoupled modalities like visual semantic and motion features: experiments on UCF101 sampled at 1 FPS achieve close to state-of-the-art accuracy (hit@1=91.03%) while requiring significantly less computational resources than competing approaches for both training and prediction.


title: Schr\"{o}dinger's problem with cats: measurements and states in the Groupoid Picture of Quantum Mechanics

abstract: Schr\"{o}dinger's famous Gedankenexperiment involving a cat is used as a motivation to discuss the evolution of states of the composition of classical and quantum systems in the groupoid formalism for physical theories introduced recently. It is shown that the notion of classical system, in the sense of Birkhoff and von Neumann, is equivalent, in the case of systems with a countable number of outputs, to a totally disconnected groupoid with Abelian von Neumann algebra. In accordance with Raggio's theorem, the impossibility of evolving the product state of a composite system made up of a classical and a quantum one into an entangled state by means of a unitary evolution which is internal to the composite system itself is proved in the groupoid formalism.


title: Trying Bilinear Pooling in Video-QA

abstract: Bilinear pooling (BLP) refers to a family of operations recently developed for fusing features from different modalities predominantly developed for VQA models. A bilinear (outer-product) expansion is thought to encourage models to learn interactions between two feature spaces and has experimentally outperformed `simpler' vector operations (concatenation and element-wise-addition/multiplication) on VQA benchmarks. Successive BLP techniques have yielded higher performance with lower computational expense and are often implemented alongside attention mechanisms. However, despite significant progress in VQA, BLP methods have not been widely applied to more recently explored video question answering (video-QA) tasks. In this paper, we begin to bridge this research gap by applying BLP techniques to various video-QA benchmarks, namely: TVQA, TGIF-QA, Ego-VQA and MSVD-QA. We share our results on the TVQA baseline model, and the recently proposed heterogeneous-memory-enchanced multimodal attention (HME) model. Our experiments include both simply replacing feature concatenation in the existing models with BLP, and a modified version of the TVQA baseline to accommodate BLP we name the `dual-stream' model. We find that our relatively simple integration of BLP does not increase, and mostly harms, performance on these video-QA benchmarks. Using recently proposed theoretical multimodal fusion taxonomies, we offer insight into why BLP-driven performance gain for video-QA benchmarks may be more difficult to achieve than in earlier VQA models. We suggest a few additional `best-practices' to consider when applying BLP to video-QA. We stress that video-QA models should carefully consider where the complex representational potential from BLP is actually needed to avoid computational expense on `redundant' fusion.


title: Non-thermal Production of PNGB Dark Matter and Inflation

abstract: A pseudo Nambu-Goldstone boson (pNGB) is a natural candidate of dark matter in that it avoids the severe direct detection bounds. We show in this paper that the pNGB has another different and interesting face with a higher symmetry breaking scale. Such large symmetry breaking is motivated by various physics beyond the standard model. In this case, the pNGB interaction is suppressed due to the Nambu-Goldstone property and the freeze-out production does not work even with sufficiently large portal coupling. We then study the pNGB dark matter relic abundance from the out-of-equilibrium production via feeble Higgs portal coupling. Further, a possibility is pursued the symmetry breaking scalar in the pNGB model plays the role of inflaton. The inflaton and dark matter are unified in a single field and the pNGB production from inflaton decay is inevitable. For these non-thermally produced relic abundance of pNGB dark matter and successful inflation, we find that the dark matter mass should be less than a few GeV in the wide range of the reheating temperature and the inflaton mass.


title: Locally Self-adjoint Extensions of Nonlinear Smooth Operators and Abstract Boundary Conditions

abstract: In a real Hilbert spaces H a smooth operator F is studied, whose derivative at each point of its domain is a symmetric operator. In terms of abstract boundary conditions locally self-adjoint extensions of this operator are described. We use some concepts and facts from symplectic differential geometry.


title: Superfluid dynamics in neutron star crusts: the Iordanskii force and chemical gauge covariance

abstract: We present a geometrical derivation of the relativistic dynamics of the superfluid inner crust of a neutron star. The resulting model is analogous to the Hall-Vinen-Bekarevich-Khalatnikov hydrodynamics for a single-component superfluid at finite temperature, but particular attention should be paid to the fact that some fraction of the neutrons are locked to the motion of the protons in nuclei. This gives rise to an ambiguity in the definition of the two currents (the normal and the superfluid one) on which the model is built, a problem that manifests itself as a chemical gauge freedom of the theory. To ensure chemical gauge covariance of the hydrodynamic model, the phenomenological equation of motion for a quantized vortex should contain an extra transverse force, that is the relativistic version of the Iordanskii force discussed in the context of superfluid Helium. Hence, we extend the mutual friction model of Langlois et al. (1998) to account for the possible presence of this Iordanskii-like force. Furthermore, we propose that a better understanding of the (still not completely settled) controversy around the presence of the Iordanskii force in superfluid Helium, as well as in neutron stars, may be achieved by considering that the different incompatible results present in the literature pertain to two, opposite, dynamical regimes of the fluid system.

categories: astro-ph.HE cond-mat.quant-gas gr-qc physics.flu-dyn


title: HateXplain: A Benchmark Dataset for Explainable Hate Speech Detection

abstract: Hate speech is a challenging issue plaguing the online social media. While better models for hate speech detection are continuously being developed, there is little research on the bias and interpretability aspects of hate speech. In this paper, we introduce HateXplain, the first benchmark hate speech dataset covering multiple aspects of the issue. Each post in our dataset is annotated from three different perspectives: the basic, commonly used 3-class classification (i.e., hate, offensive or normal), the target community (i.e., the community that has been the victim of hate speech/offensive speech in the post), and the rationales, i.e., the portions of the post on which their labelling decision (as hate, offensive or normal) is based. We utilize existing state-of-the-art models and observe that even models that perform very well in classification do not score high on explainability metrics like model plausibility and faithfulness. We also observe that models, which utilize the human rationales for training, perform better in reducing unintended bias towards target communities. We have made our code and dataset public at https://github.com/punyajoy/HateXplain


title: Building Data for Stacky Covers

abstract: We define stacky building data for stacky covers in the spirit of Pardini and give an equivalence of (2,1)-categories between the category of stacky covers and the category of stacky building data. We show that every stacky cover is a flat root stack in the sense of Olsson and Borne--Vistoli and give an intrinsic description of it as a root stack using stacky building data. When the base scheme S is defined over a field, we give a criterion for when a birational building datum comes from a tamely ramified cover for a finite abelian group scheme, generalizing a result of Biswas--Borne.


title: Broadband Modelling of Orphan Gamma Ray Flares

abstract: Blazars, a class of highly variable active galactic nuclei, sometimes exhibit Orphan $\gamma$-ray flares. These flares having high flux only in $\gamma$-ray energies do not show significant variations in flux at lower energies. We study the temporal and spectral profile of these Orphan $\gamma$-ray flares in detail from three $\gamma-ray$ bright blazars, 3C 273, PKS 1510-089 and 3C 279 and also their simultaneous broadband emissions. We find that the variability timescales of the Orphan $\gamma$-ray flares were $(0.96\pm0.28)$ days, $(3.12\pm2.40)$ hr and $(2.16\pm0.72)$ hr, for 3C 273, PKS 1510-089 and 3C 279, respectively. The broadband spectral energy distributions (SEDs) during these flares have been modelled with a leptonic model from two emission regions. This model suggests that Orphan $\gamma$-ray flares might have originated from inverse Compton scattering of relativistic electrons by the seed photons from the broad-line region or dusty torus, which is the first region. While the second broader region, lying further down the jet, could be responsible for X-ray and radio emissions. The possible locations of these emission regions in the jets of the three sources have been estimated from SED modelling.


title: Patterns of resemblance and Bachmann-Howard fixed points

abstract: Timothy Carlson's patterns of resemblance employ the notion of $\Sigma_1$-elementarity to describe large computable ordinals. It has been conjectured that a relativization of these patterns to dilators leads to an equivalence with $\Pi^1_1$-comprehension (Question 27 of A. Montalb\'an's "Open questions in reverse mathematics", Bull. Symb. Log. 17(3)2011, 431-454). In the present paper we prove this conjecture. The crucial direction (towards $\Pi^1_1$-comprehension) is reduced to a previous result of the author, which is concerned with relativizations of the Bachmann-Howard ordinal.


title: Low-Cost Compact Theft-Detection System using MPU-6050 and Blynk IoT Platform

abstract: The system explained in this paper provides a compact smart surveillance system. Recent years have seen the Internet of Things (IoT) dominating in various fields of applications. With devices getting smarter and insurgence of 5G technology, the connectivity of people with devices is increasing. Smarter surveillance systems are more reliable and accessible. A gyroscope is a MEM sensor which detects angular disturbances. The principle is to detect opening or knockdown of the door physically or by a gas cutter. The system is connected to the user via Wi-Fi using ESP8266. Being a system with a low form factor, this system can be implemented on doors, shops, cars, etc. An alarm system is included in the system to alert the neighbors as well as to send a notification to the user via Blynk mobile application. The proposed system is a portable smart home solution for theft detection. The code for this system is available here: https://github.com/atharvakarnik/TheftDetectionMPU.git


title: Improving 3D convolutional neural network comprehensibility via interactive visualization of relevance maps: Evaluation in Alzheimer's disease

abstract: Background: Although convolutional neural networks (CNN) achieve high diagnostic accuracy for detecting Alzheimer's disease (AD) dementia based on magnetic resonance imaging (MRI) scans, they are not yet applied in clinical routine. One important reason for this is a lack of model comprehensibility. Recently developed visualization methods for deriving CNN relevance maps may help to fill this gap. We investigated whether models with higher accuracy also rely more on discriminative brain regions predefined by prior knowledge. Methods: We trained a CNN for the detection of AD in N=663 T1-weighted MRI scans of patients with dementia and amnestic mild cognitive impairment (MCI) and verified the accuracy of the models via cross-validation and in three independent samples including N=1655 cases. We evaluated the association of relevance scores and hippocampus volume to validate the clinical utility of this approach. To improve model comprehensibility, we implemented an interactive visualization of 3D CNN relevance maps. Results: Across three independent datasets, group separation showed high accuracy for AD dementia vs. controls (AUC$\geq$0.92) and moderate accuracy for MCI vs. controls (AUC$\approx$0.75). Relevance maps indicated that hippocampal atrophy was considered as the most informative factor for AD detection, with additional contributions from atrophy in other cortical and subcortical regions. Relevance scores within the hippocampus were highly correlated with hippocampal volumes (Pearson's r$\approx$-0.86, p<0.001). Conclusion: The relevance maps highlighted atrophy in regions that we had hypothesized a priori. This strengthens the comprehensibility of the CNN models, which were trained in a purely data-driven manner based on the scans and diagnosis labels.


title: Twelve years of SAMtools and BCFtools

abstract: Background SAMtools and BCFtools are widely used programs for processing and analysing high-throughput sequencing data. Findings The first version appeared online twelve years ago and has been maintained and further developed ever since, with many new features and improvements added over the years. The SAMtools and BCFtools packages represent a unique collection of tools that have been used in numerous other software projects and countless genomic pipelines. Conclusion Both SAMtools and BCFtools are freely available on GitHub under the permissive MIT licence, free for both non-commercial and commercial use. Both packages have been installed over a million times via Bioconda. The source code and documentation are available from http://www.htslib.org.


title: Boosting Monocular Depth Estimation with Lightweight 3D Point Fusion

abstract: In this paper, we propose enhancing monocular depth estimation by adding 3D points as depth guidance. Unlike existing depth completion methods, our approach performs well on extremely sparse and unevenly distributed point clouds, which makes it agnostic to the source of the 3D points. We achieve this by introducing a novel multi-scale 3D point fusion network that is both lightweight and efficient. We demonstrate its versatility on two different depth estimation problems where the 3D points have been acquired with conventional structure-from-motion and LiDAR. In both cases, our network performs on par with state-of-the-art depth completion methods and achieves significantly higher accuracy when only a small number of points is used while being more compact in terms of the number of parameters. We show that our method outperforms some contemporary deep learning based multi-view stereo and structure-from-motion methods both in accuracy and in compactness.


title: A Prognostic, One-Equation Model of Meso-Scale Eddy Momentum Fluxes

abstract: We present a prognostic, one-equation model for eddy-mean flow interactions to parameterize the divergence of the Eliassen-Palm flux tensor (EPFT) that arises from thickness-weighted averaging (TWA) the hydrostatic Boussinesq equations. The TWA system of equations does not invoke approximations beyond those for which the hydrostatic Boussinesq equations are valid, constituting a mathematically consistent framework with clear physical interpretations. This model is intended for the adiabatic interior of zonally symmetric flows, in the absence of topographic features, where terms corresponding to eddy interfacial form drag in the EPFT dominate forces. We model eddy interfacial form drag terms for vertical flux of horizontal momentum using the gradient hypothesis, as the product of an eddy viscosity and the vertical gradient of horizontal momentum. We use mixing length theory to relate viscosity to an eddy length scale and an eddy velocity, which is proportional to the eddy energy in the TWA system. The eddy length scale is modeled as the first Rossby radius of deformation, which we calculate as a function of the mean flow. We use a prognostic equation for vertically integrated eddy energy at each horizontal location, which we derive from the TWA framework, and then simplify to the flows of interest by ignoring transport, redistribution and diabatic terms. The prognostic vertically integrated eddy energy is projected onto the water column using the eigenvalue of the first baroclinic mode to obtain the eddy energy at each vertical position. The eddy viscosity has horizontal as well as vertical structure. We diagnosed the model equations in an eddy resolving numerical simulation of a zonally re-entrant channel representative of the Southern Ocean. We have implemented the model parameterization in an ocean model and tested it to simulate a parameterized simulation of this flow.


title: Longitudinal Z-Boson Polarization and the Higgs Boson Production Cross Section at the Large Hadron Collider

abstract: Charged lepton pairs are produced copiously in high-energy hadron collisions via electroweak gauge boson exchange, and are one of the most precisely measured final states in proton-proton collisions at the Large Hadron Collider (LHC). We propose that measurements of lepton angular distributions can be used to improve the accuracy of theoretical predictions for Higgs boson production cross sections at the LHC. To this end, we exploit the sensitivity of the lepton angular coefficient associated with the longitudinal Z-boson polarization to the parton density function (PDF) for gluons resolved from the incoming protons, in order to constrain the Higgs boson cross section from gluon fusion processes. By a detailed numerical analysis using the open-source platform xFitter, we find that high-statistics determinations of the longitudinally polarized angular coefficient at the LHC Run III and high-luminosity HL-LHC improve the PDF systematic uncertainties of the Higgs boson cross section predictions by 50% over a broad range of Higgs boson rapidities.


title: Arrangement of level sets of quadratic constraints and its relation to nonconvex quadratic optimization problems

abstract: We study a special class of non-convex quadratic programs subject to two (possibly indefinite) quadratic constraints when the level sets of the constraint functions are {\it not} arranged {\it alternatively.} It is shown in the paper that this class of problems admit strong duality following a tight SDP relaxation, without assuming primal or dual Slater conditions. Our results cover Ye and Zhang's development in 2003 and the generalized trust region subproblems (GTRS) as special cases. Through the novel geometric view and some simple examples, we can explain why the problem becomes very hard when the level sets of the constraints are indeed arranged alternatively.


title: Artificial Neural Networks to Impute Rounded Zeros in Compositional Data

abstract: Methods of deep learning have become increasingly popular in recent years, but they have not arrived in compositional data analysis. Imputation methods for compositional data are typically applied on additive, centered or isometric log-ratio representations of the data. Generally, methods for compositional data analysis can only be applied to observed positive entries in a data matrix. Therefore one tries to impute missing values or measurements that were below a detection limit. In this paper, a new method for imputing rounded zeros based on artificial neural networks is shown and compared with conventional methods. We are also interested in the question whether for ANNs, a representation of the data in log-ratios for imputation purposes, is relevant. It can be shown, that ANNs are competitive or even performing better when imputing rounded zeros of data sets with moderate size. They deliver better results when data sets are big. Also, we can see that log-ratio transformations within the artificial neural network imputation procedure nevertheless help to improve the results. This proves that the theory of compositional data analysis and the fulfillment of all properties of compositional data analysis is still very important in the age of deep learning.


title: The Danger of Reverse-Engineering of Automated Judicial Decision-Making Systems

abstract: In this paper we discuss the implications of using machine learning for judicial decision-making in situations where human rights may be infringed. We argue that the use of such tools in these situations should be limited due to inherent status quo bias and dangers of reverse-engineering. We discuss that these issues already exist in the judicial systems without using machine learning tools, but how introducing them might exacerbate them.


title: Concentration for nodal component count of Gaussian Laplace eigenfunctions

abstract: We study nodal component count of the following Gaussian Laplace eigenfunctions: monochromatic random waves (MRW) on $\mathbb{R}^2$, arithmetic random waves (ARW) on $\mathbb{T}^2$ and random spherical harmonics (RSH) on $\mathbb{S}^2$. Exponential concentration for nodal component count of RSH on $\mathbb{S}^2$ and ARW on $\mathbb{T}^2$ were established by Nazarov-Sodin and Rozenshein respectively. We prove exponential concentration for nodal component count in the following three cases: MRW on growing Euclidean balls in $\mathbb{R}^2$; RSH and ARW on geodesic balls, in $\mathbb{S}^2$ and $\mathbb{T}^2$ respectively, whose radius is slightly larger than the wavelength scale.


title: An enumerative formula for the spherical cap discrepancy

abstract: The spherical cap discrepancy is a widely used measure for how uniformly a sample of points on the sphere is distributed. Being hard to compute, this discrepancy measure is typically replaced by some lower or upper estimates when designing optimal sampling schemes for the uniform distribution on the sphere. In this paper, we provide a fully explicit, easy to implement enumerative formula for the spherical cap discrepancy. Not surprisingly, this formula is of combinatorial nature and, thus, its application is limited to spheres of small dimension and moderate sample sizes. Nonetheless, it may serve as a useful calibrating tool for testing the efficiency of sampling schemes and its explicit character might be useful also to establish necessary optimality conditions when minimizing the discrepancy with respect to a sample of given size.


title: Analytic Integration of the Newton Potential over Cuboids and an Application to Fast Multipole Methods

abstract: We present simplified formulae for the analytic integration of the Newton potential of polynomials over boxes in two- and three-dimensional space. These are implemented in an easy-to-use C++ library that allows computations in arbitrary precision arithmetic which is also documented here. We describe how these results can be combined with fast multipole methods for general, non-polynomial data.


title: The water abundance in Jupiter's equatorial zone

abstract: Oxygen is the most common element after hydrogen and helium in Jupiter's atmosphere, and may have been the primary condensable (as water ice) in the protoplanetary disk. Prior to the Juno mission, in situ measurements of Jupiter's water abundance were obtained from the Galileo Probe, which dropped into a meteorologically anomalous site. The findings of the Galileo Probe were inconclusive because the concentration of water was still increasing when the probe died. Here, we initially report on the water abundance in the equatorial region, from 0 to 4 degrees north latitude, based on 1.25 to 22 GHz data from Juno Microwave radiometer probing approximately 0.7 to 30 bars pressure. Because Juno discovered the deep atmosphere to be surprisingly variable as a function of latitude, it remains to confirm whether the equatorial abundance represents Jupiter's global water abundance. The water abundance at the equatorial region is inferred to be $2.5_{-1.6}^{+2.2}\times10^3$ ppm, or $2.7_{-1.7}^{+2.4}$ times the protosolar oxygen elemental ratio to H (1$\sigma$ uncertainties). If reflective of the global water abundance, the result suggests that the planetesimals formed Jupiter are unlikely to be water-rich clathrate hydrates.


title: Dorado and its member galaxies II. A UVIT picture of the NGC 1533 substructure

abstract: Dorado is a nearby (17.69 Mpc) strongly evolving galaxy group in the Southern Hemisphere. We are investigating the star formation in this group. This paper provides a FUV imaging of NGC 1533, IC 2038 and IC 2039, which form a substructure, south west of the Dorado group barycentre. FUV CaF2-1 UVIT-Astrosat images enrich our knowledge of the system provided by GALEX. In conjunction with deep optical wide-field, narrow-band Halpha and 21-cm radio images we search for signatures of the interaction mechanisms looking in the FUV morphologies and derive the star formation rate. The shape of the FUV luminosity profile suggests the presence of a disk in all three galaxies. FUV emission is detected out to the optical size for IC 2038, and in compact structures corresponding to Halpha and HII bright features in NGC 1533. A faint FUV emission, without an optical counterpart, reminiscent of the HI structure that surrounds the outskirts of NGC 1533 and extends up to IC 2038/2039, is revealed above the local background noise.


title: Results on Competitiveness of Online Shortest Remaining Processing Time(SRPT) Scheduling with Special Classes of Inputs

abstract: Shortest Remaining Processing Time (SRPT) is a well known preemptive scheduling algorithm for uniprocessor and multiprocessor systems. SRPT finds applications in the emerging areas such as scheduling of client's requests that are submitted to a web server for accessing static web pages, managing the access requests to files in multiuser database systems and routing of packets across several links as per bandwidth availability in data communications. SRPT has been proved to be optimal for the settings, where the objective is to minimize the mean response time of a list of jobs. According to our knowledge, there is less attention on the study of online SRPT with respect to the minimization of makespan as a performance criterion. In this paper, we study the SRPT algorithm for online scheduling in multiprocessor systems with makespan minimization as an objective. We obtain improved constant competitiveness results for algorithm SRPT for special classes of online job sequences based on practical real life applications.


title: On Separation of level sets for a pair of quadratic functions

abstract: Given a quadratic function $f(x)=x^TAx+2a^Tx+a_0,$ it is possible that its level set $\{x\in\mathbb{R}^n: f(x)=0\}$ has two connected components and thus can be separated by the level set $\{x\in\mathbb{R}^n: g(x)=0\}$ of another quadratic function $g(x)=x^TBx+2b^Tx+b_0.$ It turns out that the separation property of such kind has great implication in quadratic optimization problems and thus deserves careful studies. In this paper, we characterize the separation property analytically by necessary and sufficient conditions as a new tool to solving optimization problems.


title: Learning Contextual Representations for Semantic Parsing with Generation-Augmented Pre-Training

abstract: Most recently, there has been significant interest in learning contextual representations for various NLP tasks, by leveraging large scale text corpora to train large neural language models with self-supervised learning objectives, such as Masked Language Model (MLM). However, based on a pilot study, we observe three issues of existing general-purpose language models when they are applied to text-to-SQL semantic parsers: fail to detect column mentions in the utterances, fail to infer column mentions from cell values, and fail to compose complex SQL queries. To mitigate these issues, we present a model pre-training framework, Generation-Augmented Pre-training (GAP), that jointly learns representations of natural language utterances and table schemas by leveraging generation models to generate pre-train data. GAP MODEL is trained on 2M utterance-schema pairs and 30K utterance-schema-SQL triples, whose utterances are produced by generative models. Based on experimental results, neural semantic parsers that leverage GAP MODEL as a representation encoder obtain new state-of-the-art results on both SPIDER and CRITERIA-TO-SQL benchmarks.


title: Combined subleading high-energy logarithms and NLO accuracy for W production in association with multiple jets

abstract: Large logarithmic corrections in $\hat s/p_t^2$ lead to substantial variations in the perturbative predictions for inclusive $W$-plus-dijet processes at the Large Hadron Collider. This instability can be cured by summing the leading-logarithmic contributions in $\hat s/p_t^2$ to all orders in $\alpha_s$. As expected though, leading logarithmic accuracy is insufficient to guarantee a suitable description in regions of phase space away from the high energy limit. We present (i) the first calculation of all partonic channels contributing at next-to-leading logarithmic order in $W$-boson production in association with at least two jets, and (ii) bin-by-bin matching to next-to-leading fixed-order accuracy. This new perturbative input is implemented in \emph{High Energy Jets}, and systematically improves the description of available experimental data in regions of phase space which are formally subleading with respect to $\hat s/p_t^2$.


title: Multi-characteristic Subject Selection from Biased Datasets

abstract: Subject selection plays a critical role in experimental studies, especially ones with human subjects. Anecdotal evidence suggests that many such studies, done at or near university campus settings suffer from selection bias, i.e., the too-many-college-kids-as-subjects problem. Unfortunately, traditional sampling techniques, when applied over biased data, will typically return biased results. In this paper, we tackle the problem of multi-characteristic subject selection from biased datasets. We present a constrained optimization-based method that finds the best possible sampling fractions for the different population subgroups, based on the desired sampling fractions provided by the researcher running the subject selection.We perform an extensive experimental study, using a variety of real datasets. Our results show that our proposed method outperforms the baselines for all problem variations by up to 90%.


title: Binding of thermalized and active membrane curvature-inducing proteins

abstract: Membrane phase behavior induced by the binding of curvature-inducing proteins is studied by a combination of analytical and numerical approaches. In thermal equilibrium under the detailed balance between binding and unbinding, the membrane exhibits three phases: an unbound uniform flat phase (U), a bound uniform flat phase (B), and a separated/corrugated phase (SC). In the SC phase, the bound proteins form hexagonally-ordered bowl-shaped domains. The transitions between the U and SC phases and between the B and SC phases are second order and first order, respectively. At a small spontaneous curvature of the protein or high surface tension, the transition between B and SC phases becomes continuous. Moreover, a first-order transition between the U and B phases is found at zero spontaneous curvature driven by the Casimir-like interactions between rigid proteins. Furthermore, nonequilibrium dynamics is investigated by the addition of active binding and unbinding at a constant rate. The active binding and unbinding processes alter the stability of the SC phase.


title: Towards Formally Verified Compilation of Tag-Based Policy Enforcement

abstract: Hardware-assisted reference monitoring is receiving increasing attention as a way to improve the security of existing software. One example is the PIPE architecture extension, which attaches metadata tags to register and memory values and executes tag-based rules at each machine instruction to enforce a software-defined security policy. To use PIPE effectively, engineers should be able to write security policies in terms of source-level concepts like functions, local variables, and structured control operators, which are not visible at machine level. It is the job of the compiler to generate PIPE-aware machine code that enforces these source-level policies. The compiler thus becomes part of the monitored system's trusted computing base -- and hence a prime candidate for verification. To formalize compiler correctness in this setting, we extend the source language semantics with its own form of user-specified tag-based monitoring, and show that the compiler preserves that monitoring behavior. The challenges of compilation include mapping source-level monitoring policies to instruction-level tag rules, preserving fail-stop behaviors, and satisfying the surprisingly complex preconditions for conventional optimizations. In this paper, we describe the design and verification of Tagine, a small prototype compiler that translates a simple tagged WHILE language to a tagged register transfer language and performs simple optimizations. Tagine is based on the RTLgen and Deadcode phases of the CompCert compiler, and hence is written and verified in Coq. This work is a first step toward verification of a full-scale compiler for a realistic tagged source language.


title: GDPR-inspired IoT Ontology enabling Semantic Interoperability, Federation of Deployments and Privacy-Preserving Applications

abstract: Testing and experimentation are crucial for promoting innovation and building systems that can evolve to meet high levels of service quality. IoT data that belong to users and from which their personal information can be inferred are frequently shared in the background of IoT systems with third parties for experimentation and building quality services. This data sharing raises privacy concerns especially since in most cases the data are gathered and shared without the user's knowledge or explicit consent or for different purposes than the one for which the data were initially gathered. With the introduction of GDPR, IoT systems and experimentation platforms that federate data from different deployments, testbeds and data providers must be privacy-preserving. The wide adoption of IoT applications in scenarios ranging from smart cities to Industry 4.0 has raised concerns with respect to the privacy of users' data collected using IoT devices. Many experimental smart city applications are also using crowdsourcing data. Inspired by the GDPR requirements, we propose an IoT ontology built using available standards that enhances privacy, enables semantic interoperability between IoT deployments and supports the development of privacy-preserving experimental IoT applications. On top, we propose recommendations on how to efficiently use the ontology within IoT testbed and federating platforms. Our ontology is validated for different quality assessment criteria using standard validation tools. We focus on "experimentation" without loss of generality, because it covers scenarios from both research and industry, that are directly linked with innovation.


title: Kernel Methods for Unobserved Confounding: Negative Controls, Proxies, and Instruments

abstract: Negative control is a strategy for learning the causal relationship between treatment and outcome in the presence of unmeasured confounding. The treatment effect can nonetheless be identified if two auxiliary variables are available: a negative control treatment (which has no effect on the actual outcome), and a negative control outcome (which is not affected by the actual treatment). These auxiliary variables can also be viewed as proxies for a traditional set of control variables, and they bear resemblance to instrumental variables. I propose a family of algorithms based on kernel ridge regression for learning nonparametric treatment effects with negative controls. Examples include dose response curves, dose response curves with distribution shift, and heterogeneous treatment effects. Data may be discrete or continuous, and low, high, or infinite dimensional. I prove uniform consistency and provide finite sample rates of convergence. I estimate the dose response curve of cigarette smoking on infant birth weight adjusting for unobserved confounding due to household income, using a data set of singleton births in the state of Pennsylvania between 1989 and 1991.


title: Diffusion Limits at Small Times for Coalescent Processes with Mutation and Selection

abstract: The Ancestral Selection Graph (ASG) is an important genealogical process which extends the well-known Kingman coalescent to incorporate natural selection. We show that the number of lineages of the ASG with and without mutation is asymptotic to $2/t$ as $t\to 0$, in agreement with the limiting behaviour of the Kingman coalescent. We couple these processes on the same probability space using a Poisson random measure construction that allows us to precisely compare their hitting times. These comparisons enable us to characterise the speed of coming down from infinity of the ASG as well as its fluctuations in a functional central limit theorem. This extends similar results for the Kingman coalescent.