title: Open GOP Resolution Switching in HTTP Adaptive Streaming with VVC

abstract: The user experience in adaptive HTTP streaming relies on offering bitrate ladders with suitable operation points for all users and typically involves multiple resolutions. While open GOP coding structures are generally known to provide substantial coding efficiency benefit, their use in HTTP streaming has been precluded through lacking support of reference picture resampling (RPR) in AVC and HEVC. The newly emerging Versatile Video Coding (VVC) standard supports RPR, but only conversational scenarios were primarily investigated during the design of VVC. This paper aims at enabling usage of RPR in HTTP streaming scenarios through analysing the drift potential of VVC coding tools and presenting a constrained encoding method that avoids severe drift artefacts in resolution switching with open GOP coding in VVC. In typical live streaming configurations, the presented method achieves -8.57% BD-rate reduction compared to closed GOP coding while in a typical Video on Demand configuration, -1.89% BD-rate reduction is reported. The constraints penalty compared to regular open GOP coding is 0.65% BD-rate in the worst case. The presented method was integrated into the publicly available open source VVC encoder VVenC v0.3.


title: Inference for Generative Capsule Models

abstract: Capsule networks (see e.g. Hinton et al., 2018) aim to encode knowledge and reason about the relationship between an object and its parts. In this paper we specify a \emph{generative} model for such data, and derive a variational algorithm for inferring the transformation of each object and the assignments of observed parts to the objects. We apply this model to (i) data generated from multiple geometric objects like squares and triangles ("constellations"), and (ii) data from a parts-based model of faces. Recent work by Kosiorek et al. [2019] has used amortized inference via stacked capsule autoencoders (SCAEs) to tackle this problem -- our results show that we significantly outperform them where we can make comparisons (on the constellations data).


title: Plane Spiral OAM Mode-Group Based MIMO Communications: An Experimental Study

abstract: Spatial division multiplexing using conventional orbital angular momentum (OAM) has become a well-known physical layer transmission method over the past decade. The mode-group (MG) superposed by specific single mode plane spiral OAM (PSOAM) waves has been proved to be a flexible beamforming method to achieve the azimuthal pattern diversity, which inherits the spiral phase distribution of conventional OAM wave. Thus, it possesses both the beam directionality and vorticity. In this paper, it's the first time to show and verify novel PSOAM MG based multiple-in-multiple-out (MIMO) communication link (MG-MIMO) experimentally in a line-of-sight (LoS) scenario. A compact multi-mode PSOAM antenna is demonstrated experimentally to generate multiple independent controllable PSOAM waves, which can be used for constructing MGs. After several proof-of-principle tests, it has been verified that the beam directionality gain of MG can improve the receiving signal-to-noise (SNR) level in an actual system, meanwhile, the vorticity can provide another degree of freedom (DoF) to reduce the spatial correlation of MIMO system. Furthermore, a tentative long-distance transmission experiment operated at 10.2 GHz has been performed successfully at a distance of 50 m with a single-way spectrum efficiency of 3.7 bits/s/Hz/stream. The proposed MG-MIMO may have potential in the long-distance LoS back-haul scenario.


title: The Interplay of Variant, Size, and Task Type in Arabic Pre-trained Language Models

abstract: In this paper, we explore the effects of language variants, data sizes, and fine-tuning task types in Arabic pre-trained language models. To do so, we build three pre-trained language models across three variants of Arabic: Modern Standard Arabic (MSA), dialectal Arabic, and classical Arabic, in addition to a fourth language model which is pre-trained on a mix of the three. We also examine the importance of pre-training data size by building additional models that are pre-trained on a scaled-down set of the MSA variant. We compare our different models to each other, as well as to eight publicly available models by fine-tuning them on five NLP tasks spanning 12 datasets. Our results suggest that the variant proximity of pre-training data to fine-tuning data is more important than the pre-training data size. We exploit this insight in defining an optimized system selection model for the studied tasks.


title: Trou spectral dans les groupes simples

abstract: Nous montrons la propri\'et\'e du trou spectral pour la famille des graphes de Cayley obtenus par r\'eduction modulo $q$ d'un sous-groupe de $\mathrm{SL}_d(\mathbb{Z})$ dont l'adh\'erence de Zariski est un $\mathbb{Q}$-groupe simple. -- We show a spectral gap property for the family of Cayley graphs obtained by reduction modulo $q$ of a subgroup of $\mathrm{SL}_d(\mathbb{Z})$ whose Zariski closure is a simple $\mathbb{Q}$-group.


title: Piecewise linear processes with Poisson-modulated exponential switching times

abstract: We consider the jump telegraph process when switching intensities depend on external shocks also accompanying with jumps. The incomplete financial market model based on this process is studied. The Esscher transform, which changes only unobservable parameters, is considered in detail. The financial market model based on this transform can price switching risks as well as jump risks of the model.


title: Research Software Sustainability and Citation

abstract: Software citation contributes to achieving software sustainability in two ways: It provides an impact metric to incentivize stakeholders to make software sustainable. It also provides references to software used in research, which can be reused and adapted to become sustainable. While software citation faces a host of technical and social challenges, community initiatives have defined the principles of software citation and are working on implementing solutions.


title: Visualizing the Phase Space of the HeI_2 van der Waals Complex using Lagrangian Descriptors

abstract: In this paper we demonstrate the capability of the method of Lagrangian descriptors to unveil the phase space structures that characterize transport in high-dimensional symplectic maps. In order to illustrate its use, we apply it to a four-dimensional symplectic map model that is used in chemistry to explore the nonlinear dynamics of van der Waals complexes. The advantage of this technique is that it allows us to easily and effectively extract the invariant manifolds that determine the dynamics of the system under study by means of examining the intersections of the underlying phase space structures with low-dimensional slices. With this approach, one can perform a full computational phase space tomography from which three-dimensional representations of the higher-dimensional phase space can be systematically reconstructed. This analysis may be of much help for the visualization and understanding of the nonlinear dynamical mechanisms that take place in high-dimensional systems. In this context, we demonstrate how this tool can be used to detect whether the stable and unstable manifolds of the system intersect forming turnstile lobes that enclose a certain phase space volume, and the nature of their intersection.


title: From Modular Decomposition Trees to Rooted Median Graphs

abstract: The modular decomposition of a symmetric map $\delta\colon X\times X \to \Upsilon$ (or, equivalently, a set of symmetric binary relations, a 2-structure, or an edge-colored undirected graph) is a natural construction to capture key features of $\delta$ in labeled trees. A map $\delta$ is explained by a vertex-labeled rooted tree $(T,t)$ if the label $\delta(x,y)$ coincides with the label of the last common ancestor of $x$ and $y$ in $T$, i.e., if $\delta(x,y)=t(\mathrm{lca}(x,y))$. Only maps whose modular decomposition does not contain prime nodes, i.e., the symbolic ultrametrics, can be exaplained in this manner. Here we consider rooted median graphs as a generalization to (modular decomposition) trees to explain symmetric maps. We first show that every symmetric map can be explained by "extended" hypercubes and half-grids. We then derive a a linear-time algorithm that stepwisely resolves prime vertices in the modular decomposition tree to obtain a rooted and labeled median graph that explains a given symmetric map $\delta$. We argue that the resulting "tree-like" median graphs may be of use in phylogenetics as a model of evolutionary relationships.


title: Rapidly Varying Anisotropic Methanol (CH$_3$OH) Production in the Inner Coma of Comet 46P/Wirtanen as Revealed by the ALMA Atacama Compact Array

abstract: We report the detection of CH$_3$OH emission in comet 46P/Wirtanen on UT 2018 December 8 and 9 using the Atacama Compact Array (ACA), part of the Atacama Large Millimeter/Submillimeter Array (ALMA). These interferometric measurements of CH$_3$OH along with continuum emission from dust probed the inner coma ($<$2000 km from the nucleus) of 46P/Wirtanen approximately one week before its closest approach to Earth ($\Delta$ = 0.089 -- 0.092 au), revealing rapidly varying and anisotropic CH$_3$OH outgassing during five separate ACA executions between UT 23:57 December 7 and UT 04:55 December 9, with a clear progression in the spectral line profiles over a timescale of minutes. We present spectrally integrated flux maps, production rates, rotational temperatures, and spectral line profiles of CH$_3$OH during each ACA execution. The variations in CH$_3$OH outgassing are consistent with Wirtanen's 9 hr nucleus rotational period derived from optical and millimeter wavelength measurements and thus are likely coupled to the changing illumination of active sites on the nucleus. The consistent blue offset of the line center indicates enhanced CH$_3$OH sublimation from the sunward hemisphere of the comet, perhaps from icy grains. These results demonstrate the exceptional capabilities of the ACA for time-resolved measurements of comets such as 46P/Wirtanen.


title: Frame-independent vector-cloud neural network for nonlocal constitutive modeling on arbitrary grids

abstract: Constitutive models are widely used for modeling complex systems in science and engineering, where first-principle-based, well-resolved simulations are often prohibitively expensive. For example, in fluid dynamics, constitutive models are required to describe nonlocal, unresolved physics such as turbulence and laminar-turbulent transition. However, traditional constitutive models based on partial differential equations (PDEs) often lack robustness and are too rigid to accommodate diverse calibration datasets. We propose a frame-independent, nonlocal constitutive model based on a vector-cloud neural network that can be learned with data. The model predicts the closure variable at a point based on the flow information in its neighborhood. Such nonlocal information is represented by a group of points, each having a feature vector attached to it, and thus the input is referred to as vector cloud. The cloud is mapped to the closure variable through a frame-independent neural network, invariant both to coordinate translation and rotation and to the ordering of points in the cloud. As such, the network can deal with any number of arbitrarily arranged grid points and thus is suitable for unstructured meshes in fluid simulations. The merits of the proposed network are demonstrated for scalar transport PDEs on a family of parameterized periodic hill geometries. The vector-cloud neural network is a promising tool not only as nonlocal constitutive models and but also as general surrogate models for PDEs on irregular domains.


title: Topologically protected valley-dependent quantum photonic circuits

abstract: Topological photonics has been introduced as a powerful platform for integrated optics, since it can deal with robust light transport, and be further extended to the quantum world. Strikingly, valley-contrasting physics in topological photonic structures contributes to valley-related edge states, their unidirectional coupling, and even valley-dependent wave-division in topological junctions. Here, we design and fabricate nanophotonic topological harpoon-shaped beam splitters (HSBSs) based on $120$-deg-bending interfaces and demonstrate the first on-chip valley-dependent quantum information process. Two-photon quantum interference, namely, HongOu-Mandel (HOM) interference with a high visibility of $0.956 \pm 0.006$, is realized with our 50/50 HSBS, which is constructed by two topologically distinct domain walls. Cascading this kind of HSBS together, we also demonstrate a simple quantum photonic circuit and generation of a path-entangled state. Our work shows that the photonic valley state can be used in quantum information processing, and it is possible to realize more complex quantum circuits with valley-dependent photonic topological insulators, which provides a novel method for on-chip quantum information processing.


title: Salce's problem on cotorsion pairs is undecidable

abstract: Salce \cite{MR565595} introduced the notion of a \emph{cotorsion pair} of classes of abelian groups, and asked whether every such pair is \emph{complete} (i.e., has enough injectives and projectives). We prove that it is consistent, relative to the consistency of Vop\v{e}nka's Principle (VP), that the answer is affirmative. Combined with a previous result of Eklof-Shelah \cite{MR2031314}, this shows that Salce's Problem is independent of the ZFC axioms (modulo the consistency of VP).


title: On the Computational Efficiency of Catalyst Accelerated Coordinate Descent

abstract: This article is devoted to one particular case of using universal accelerated proximal envelopes to obtain computationally efficient accelerated versions of methods used to solve various optimization problem setups. We propose a proximally accelerated coordinate descent method that achieves the efficient algorithmic complexity of iteration and allows taking advantage of the data sparseness. It was considered an example of applying the proposed approach to optimizing a SoftMax-like function, for which the described method allowing weaken the dependence of the computational complexity on the dimension $n$ in $\mathcal{O}(\sqrt{n})$ times and, in practice, demonstrates a faster convergence in comparison with standard methods. As an example of applying the proposed approach, it was shown a variant of obtaining on its basis some efficient methods for optimizing Markov Decision Processes (MDP) in a minimax formulation with a Nesterov smoothed target functional.


title: Unsupervised Transfer Learning in Multilingual Neural Machine Translation with Cross-Lingual Word Embeddings

abstract: In this work we look into adding a new language to a multilingual NMT system in an unsupervised fashion. Under the utilization of pre-trained cross-lingual word embeddings we seek to exploit a language independent multilingual sentence representation to easily generalize to a new language. While using cross-lingual embeddings for word lookup we decode from a yet entirely unseen source language in a process we call blind decoding. Blindly decoding from Portuguese using a basesystem containing several Romance languages we achieve scores of 36.4 BLEU for Portuguese-English and 12.8 BLEU for Russian-English. In an attempt to train the mapping from the encoder sentence representation to a new target language we use our model as an autoencoder. Merely training to translate from Portuguese to Portuguese while freezing the encoder we achieve 26 BLEU on English-Portuguese, and up to 28 BLEU when adding artificial noise to the input. Lastly we explore a more practical adaptation approach through non-iterative backtranslation, exploiting our model's ability to produce high quality translations through blind decoding. This yields us up to 34.6 BLEU on English-Portuguese, attaining near parity with a model adapted on real bilingual data.


title: High-$T_c$ superconducting hydrides formed by LaH$_{24}$ and YH$_{24}$ cage structures as basic blocks

abstract: Based on recent studies regarding high-temperature (high-$T_c$) La-Y ternary hydrides (e.g., $P{\bar{1}}$-La$_2$YH$_{12}$, $Pm{\bar{3}}m$-LaYH$_{12}$, and $Pm{\bar{3}}m$-(La,Y)H$_{10}$ with a maximum $T_c \sim 253$ K), we examined the phase and structural stabilities of the (LaH$_6$)(YH$_6$)$_y$ series as high-$T_c$ ternary hydride compositions using a genetic algorithm and $\it ab$ $\it initio$ calculations. Our evaluation showed that the $Pm\bar{3}m$-LaYH$_{12}$ reported in the previous study was unstable during decomposition into $R\bar{3}c$-LaH$_{6}$ + $Im\bar{3}m$-YH$_{6}$. We also discovered new crystal structures, namely $Cmmm$-LaYH$_{12}$ ($y=1$), $R\bar{3}c$-LaYH$_{12}$ ($y=1$), $Cmmm$-LaY$_3$H$_{24}$ ($y=3$), and $R\bar{3}$-LaY$_3$H$_{24}$ ($y=3$), showing stability against such decomposition. While $R\bar{3}c$ ($y=1$) and $R\bar{3}$ ($y=3$) did not exhibit superconductivity owing to the extremely low density of states at the Fermi level, $Cmmm$ phases exhibited a $T_{c}$ of approximately 140~K at around 200~GPa owing to the extremely high electron--phonon coupling constant ($\lambda$ = 1.876 for LaYH$_{12}$). By the twice longer stacking for $Cmmm$-LaY$_3$H$_{24}$, the coupling constant increased owing to the chemical pressure of Y, leading to a slightly increased $T_{c}$.


title: Regression based thresholds in principal loading analysis

abstract: Principal loading analysis is a dimension reduction method that discards variables which have only a small distorting effect on the covariance matrix. As a special case, principal loading analysis discards variables that are not correlated with the remaining ones. In multivariate linear regression on the other hand, predictors that are neither correlated with both the remaining predictors nor with the dependent variables have a regression coefficients equal to zero. Hence, if the goal is to select a number of predictors, variables that do not correlate are discarded as it is also done in principal loading analysis. That both methods select the same variables occurs not only for the special case of zero correlation however. We contribute conditions under which both methods share the same variable selection. Further, we extend those conditions to provide a choice for the threshold in principal loading analysis which only follows recommendations based on simulation results so far.


title: The spectrum of a class of graphs derived from Grassmann graphs

abstract: Let $n,k$ be positive integers such that $n\geq 3$, $k < \frac {n}{2} $. Let $q$ be a power of a prime $p$ and $\mathbb{F}_q$ be a finite field of order $q$. Let $V(q,n)$ be a vector space of dimension $n$ over $\mathbb{F}_q$. We define the graph $S(q,n,k)$ as a graph with the vertex set $V=V_k \cup V_{k+1}$, where $V_k$ and $V_{k+1}$ are the family of subspaces in $V(q,n)$ of dimension $k$ and $k+1$ respectively, in which two vertices $v$ and $w$ are adjacent whenever $v$ is a subspace of $w$ or $w$ is a subspace of $v$. It is clear that the graph $S(q,n,k)$ is a bipartite graph. In this paper, we study some properties of this graph. In particular, we determine the spectrum of the graph $S(q,n,k)$.


title: Statistics of 700 individually studied W UMa stars

abstract: We present a statistical study of the largest bibliographic compilation of stellar and orbital parameters of W UMa stars derived by light curve synthesis with Roche models. The compilation includes nearly 700 individually investigated objects from over 450 distinct publications. Almost 70% of this sample is comprised of stars observed in the last decade that have not been considered in previous statistical studies. We estimate the ages of the cataloged stars, model the distributions of their periods, mass ratios, temperatures and other quantities, and compare them with the data from CRTS, LAMOST and Gaia archives. As only a small fraction of the sample has radial velocity curves, we examine the reliability of the photometric mass ratios in totally and partially eclipsing systems and find that totally eclipsing W UMa stars with photometric mass ratios have the same parameter distributions as those with spectroscopic mass ratios. Most of the stars with reliable parameters have mass ratios below 0.5 and orbital periods shorter than 0.5 days. Stars with longer periods and temperatures above 7000 K stand out as outliers and shouldn't be labeled as W UMa binaries. The collected data is available as an online database at https://wumacat.aob.rs.


title: ISS small-gain criteria for infinite networks with linear gain functions

abstract: This paper provides a Lyapunov-based small-gain theorem for input-to-state stability (ISS) of networks composed of infinitely many finite-dimensional systems. We model these networks on infinite-dimensional $\ell_{\infty}$-type spaces. A crucial assumption in our results is that the internal Lyapunov gains, modeling the influence of the subsystems on each other, are linear functions. Moreover, the gain operator built from the internal gains is assumed to be subadditive and homogeneous, which covers both max-type and sum-type formulations for the ISS Lyapunov functions of the subsystems. As a consequence, the small-gain condition can be formulated in terms of a generalized spectral radius of the gain operator. Through an example, we show that the small-gain condition can easily be checked if the interconnection topology of the network has some kind of symmetry. While our main result provides an ISS Lyapunov function in implication form for the overall network, an ISS Lyapunov function in a dissipative form is constructed under mild extra assumptions.


title: BYOL for Audio: Self-Supervised Learning for General-Purpose Audio Representation

abstract: Inspired by the recent progress in self-supervised learning for computer vision that generates supervision using data augmentations, we explore a new general-purpose audio representation learning approach. We propose learning general-purpose audio representation from a single audio segment without expecting relationships between different time segments of audio samples. To implement this principle, we introduce Bootstrap Your Own Latent (BYOL) for Audio (BYOL-A, pronounced "viola"), an audio self-supervised learning method based on BYOL for learning general-purpose audio representation. Unlike most previous audio self-supervised learning methods that rely on agreement of vicinity audio segments or disagreement of remote ones, BYOL-A creates contrasts in an augmented audio segment pair derived from a single audio segment. With a combination of normalization and augmentation techniques, BYOL-A achieves state-of-the-art results in various downstream tasks. Extensive ablation studies also clarified the contribution of each component and their combinations.


title: Terrain prickliness: theoretical grounds for high complexity viewsheds

abstract: An important task in terrain analysis is computing \emph{viewsheds}. A viewshed is the union of all the parts of the terrain that are visible from a given viewpoint or set of viewpoints. The complexity of a viewshed can vary significantly depending on the terrain topography and the viewpoint position. In this work we study a new topographic attribute, the \emph{prickliness}, that measures the number of local maxima in a terrain from all possible angles of view. We show that the prickliness effectively captures the potential of 2.5D TIN terrains to have high complexity viewsheds. We present optimal (for 1.5D terrains) and near-optimal (for 2.5D terrains) algorithms to compute it for TIN terrains, and efficient approximate algorithms for raster DEMs. We validate the usefulness of the prickliness attribute with experiments in a large set of real terrains.


title: Partial Meissner effect measurement by a superconducting magnetic flux lens

abstract: Magnetic flux trapping in the Meissner transition of superconducting radio frequency cavities can substantially increase dissipation which impacts cryogenic costs and necessitates expensive magnetic shielding. Recent findings point at the material preparation and the cool down dynamics at the vortex state as the main ways to counteract flux trapping. Most of the related measurements are performed on the cavity, with risk of results being impacted by the cool down specifics of each facility. We demonstrate an alternative experiment in which flux expulsion is quantified from sheet material, with samples conduction cooled in a stand-alone instrument designed to collimate expelled flux at controlled cool down conditions. A series of tests reliably and reproducibly relate the amount of expelled flux to the cooling rate, the velocity of the superconducting front and the spatial temperature gradient. The results are in line with tests performed on bare cavities and show that expulsion of trapped flux improves with the spatial temperature gradient, independent on the cooling rate. Our concept offers means to control the dynamics of the Meissner effect and can be used for material qualification prior to cavity fabrication.


title: Coverings with congruent and non-congruent hyperballs generated by doubly truncated Coxeter orthoschemes

abstract: After the investigation of the congruent and non-congruent hyperball packings related to doubly truncated Coxeter orthoscheme tilings \cite{SzJ1}, we consider the corresponding covering problems. In \cite{MSSz} the authors gave a partial classification of supergroups of some hyperbolic space groups whose fundamental domains will be integer parts of truncated tetrahedra, and determined the optimal congruent hyperball packing and covering configurations belonging to some of these classes. In this paper we compliment these results with the investigation of the non-congruent covering cases, and the remainig congruent cases. We prove, that between congruent and non-congruent hyperball coverings the thinnest belongs to the $\{7,3,7\}$ Coxeter tiling with density $\approx 1.26829$. This covering density is smaller than the conjectured lower bound density of L.~Fejes~T\'oth for coverings with balls and horoballs. We also study the local packing arrangements related to $\{u,3,7\}$ $(6< u < 7, ~ u\in \mathbb{R})$ doubly truncated orthoschemes and the corresponding hyperball coverings. We prove, that these coverings are achieved their minimum density at parameter $u\approx 6.45953$ with covering density $\approx 1.26454$ which is smaller then the above record-small density, but this hyperball arrangement related to this locally optimal covering can not be extended to the entire $\mathbb{H}^3$. Moreover we see, that in the hyperbolic plane $\mathbb{H}^2$ the universal lower bound of the congruent circle, horocycle, hypercycle covering density $\frac{\sqrt{12}}{\pi}$ can be approximated arbitrarily well also with non-congruent hypercycle coverings generated by doubly truncated Coxeter orthoschemes.


title: Unbounded solutions to a system of coupled asymmetric oscillators at resonance

abstract: We deal with the following system of coupled asymmetric oscillators \[ \begin{cases} \ddot{x}_1+a_1x_1^+-b_1x^-_1+\phi_1(x_2)=p_1(t) \\ \ddot{x}_2+a_2\,x_2^+-b_2\,x^-_2+\phi_2(x_1)=p_2(t) \end{cases} \] where $\phi_i: \mathbb{R} \to \mathbb{R}$ is locally Lipschitz continuous and bounded, $p_i: \mathbb{R} \to \mathbb{R}$ is continuous and $2\pi$-periodic and the positive real numbers $a_i, b_i$ satisfy $$ \dfrac{1}{\sqrt{a_i}}+\dfrac{1}{\sqrt{b_i}}=\dfrac{2}{n}, \quad \mbox{ for some } n \in \mathbb{N}. $$ We define a suitable function $L: \mathbb{T}^2 \to \mathbb{R}^2$, appearing as the higher-dimensional generalization of the well known resonance function used in the scalar setting, and we show how unbounded solutions to the system can be constructed whenever $L$ has zeros with a special structure. The proof relies on a careful investigation of the dynamics of the associated (four-dimensional) Poincar\'e map, in action-angle coordinates.


title: Developing and evaluating an human-automation shared control takeover strategy based on Human-in-the-loop driving simulation

abstract: The purpose of this paper is to develop a shared control takeover strategy for smooth and safety control transition from an automation driving system to the human driver and to approve its positive impacts on drivers' behavior and attitudes. A "human-in-the-loop" driving simulator experiment was conducted to evaluate the impact of the proposed shared control takeover strategy under different disengagement conditions. Results of thirty-two drivers showed shared control takeover strategy could improve safety performance at the aggregated level, especially at non-driving related disengagements. For more urgent disengagements caused by another vehicle's sudden brake, a shared control strategy enlarges individual differences. The primary reason is that some drivers had higher self-reported mental workloads in response to the shared control takeover strategy. Therefore, shared control between driver and automation can involve driver's training to avoid mental overload when developing takeover strategies.


title: Diagnosing Vulnerability of Variational Auto-Encoders to Adversarial Attacks

abstract: In this work, we explore adversarial attacks on the Variational Autoencoders (VAE). We show how to modify data point to obtain a prescribed latent code (supervised attack) or just get a drastically different code (unsupervised attack). We examine the influence of model modifications ($\beta$-VAE, NVAE) on the robustness of VAEs and suggest metrics to quantify it.


title: Improved Sensitivity of the DRIFT-IId Directional Dark Matter Experiment using Machine Learning

abstract: We demonstrate a new type of analysis for the DRIFT-IId directional dark matter detector using a machine learning algorithm called a Random Forest Classifier. The analysis labels events as signal or background based on a series of selection parameters, rather than solely applying hard cuts. The analysis efficiency is shown to be comparable to our previous result at high energy but with increased efficiency at lower energies. This leads to a projected sensitivity enhancement of one order of magnitude below a WIMP mass of 15 GeV c$^{-2}$ and a projected sensitivity limit that reaches down to a WIMP mass of 9 GeV c$^{-2}$, which is a first for a directionally sensitive dark matter detector.


title: Implementation of ACTS into sPHENIX track reconstruction

abstract: sPHENIX is a high energy nuclear physics experiment under construction at the Relativistic Heavy Ion Collider at Brookhaven National Laboratory (BNL). The primary physics goals of sPHENIX are to study the quark-gluon-plasma, as well as the partonic structure of protons and nuclei, by measuring jets, their substructure, and heavy flavor hadrons in $p$$+$$p$, $p$+Au, and Au+Au collisions. sPHENIX will collect approximately 300 PB of data over three run periods, to be analyzed using available computing resources at BNL; thus, performing track reconstruction in a timely manner is a challenge due to the high occupancy of heavy ion collision events. The sPHENIX experiment has recently implemented the A Common Tracking Software (ACTS) track reconstruction toolkit with the goal of reconstructing tracks with high efficiency and within a computational budget of 5 seconds per minimum bias event. This paper reports the performance status of ACTS as the default track fitting tool within sPHENIX, including discussion of the first implementation of a time projection chamber geometry within ACTS.


title: A Geometric analysis of the Navier-Stokes Equations

abstract: In this work we study the Naiver-Stokes equations under the presence of no gravitational forces.


title: Firms' Challenges and Social Responsibilities during Covid-19: a Twitter Analysis

abstract: The Covid-19 pandemic caused disruptive effects for individuals, firms, and societies. In this paper, we offer insights on the major issues and challenges firms are facing in the Covid-19 pandemic, as well as their concerns for Corporate Social Responsibility (CSR) themes. To do so, we investigate large Italian firms' discussion on Twitter in the first nine months of the pandemic. We downloaded all Twitter posts from 1st of March, 2020, to 17th of November, 2020 by the accounts of the largest Italian firms, i.e. those with 250 or more employees. We then built the bipartite network of accounts and hashtags and, using an entropy-based null model as a benchmark, we projected the information contained in the network into the accounts layers, identifying a network of accounts in which a link indicates a non trivial similarity in terms of their usage of hashtags. We find that the conversation is focused around 13 communities, 10 of which include Covid-19 themes. The core of the network is formed of 5 communities, which deal with environmental sustainability, digital innovation and safety. Firms' ownership type does not seem to influence the conversation. 10 communities out of 13 mention hashtags related to CSR, with the environmental and social dimensions as the prevalent ones. Interestingly enough, the social dimension seems more relevant in the communities dealing with digital innovation and safety. However, the relevance of CSR hashtags is very small at the single message level, but with some peculiarities arising in specific communities. Overall, our paper highlights the role of network methods on Twitter data as a tool which can support managers and policy makers to design their strategies and decision making, capturing firms' emerging issues and relevant themes.


title: Elko and Mass Dimension One Fermions: Editorial

abstract: This editorial presents the quantum field theoretic ambiance in which Elko and mass dimension one fermions come to exist. This may serve not only to introduce Elko, and the associated quantum field, but it may also open a door to a new class of spin one half fermions and bosons. These new particles, as it will be argued in this volume, are first-principle candidates for dark matter.


title: Hardness of Token Swapping on Trees

abstract: Given a graph where every vertex has exactly one labeled token, how can we most quickly execute a given permutation on the tokens? In (sequential) token swapping, the goal is to use the shortest possible sequence of swaps, each of which exchanges the tokens at the two endpoints of an edge of the graph. In parallel token swapping, the goal is to use the fewest rounds, each of which consists of one or more swaps on the edges of a matching. We prove that both of these problems remain NP-hard when the graph is restricted to be a tree. These token swapping problems have been studied by disparate groups of researchers in discrete mathematics, theoretical computer science, robot motion planning, game theory, and engineering. Previous work establishes NP-completeness on general graphs (for both problems); polynomial-time algorithms for simple graph classes such as cliques, stars, paths, and cycles; and constant-factor approximation algorithms in some cases. The two natural cases of sequential and parallel token swapping in trees were first studied over thirty years ago (as "sorting with a transposition tree") and over twenty-five years ago (as "routing permutations via matchings"), yet their complexities were previously unknown. We also show limitations on approximation of sequential token swapping on trees: we identify a broad class of algorithms that encompass all three known polynomial-time algorithms that achieve the best known approximation factor (which is $2$) and show that no such algorithm can achieve an approximation factor less than $2$.


title: LSTMs and Deep Residual Networks for Carbohydrate and Bolus Recommendations in Type 1 Diabetes Management

abstract: To avoid serious diabetic complications, people with type 1 diabetes must keep their blood glucose levels (BGLs) as close to normal as possible. Insulin dosages and carbohydrate consumption are important considerations in managing BGLs. Since the 1960s, models have been developed to forecast blood glucose levels based on the history of BGLs, insulin dosages, carbohydrate intake, and other physiological and lifestyle factors. Such predictions can be used to alert people of impending unsafe BGLs or to control insulin flow in an artificial pancreas. In past work, we have introduced an LSTM-based approach to blood glucose level prediction aimed at "what if" scenarios, in which people could enter foods they might eat or insulin amounts they might take and then see the effect on future BGLs. In this work, we invert the "what-if" scenario and introduce a similar architecture based on chaining two LSTMs that can be trained to make either insulin or carbohydrate recommendations aimed at reaching a desired BG level in the future. Leveraging a recent state-of-the-art model for time series forecasting, we then derive a novel architecture for the same recommendation task, in which the two LSTM chain is used as a repeating block inside a deep residual architecture. Experimental evaluations using real patient data from the OhioT1DM dataset show that the new integrated architecture compares favorably with the previous LSTM-based approach, substantially outperforming the baselines. The promising results suggest that this novel approach could potentially be of practical use to people with type 1 diabetes for self-management of BGLs.


title: Hypervector Design for Efficient Hyperdimensional Computing on Edge Devices

abstract: Hyperdimensional computing (HDC) has emerged as a new light-weight learning algorithm with smaller computation and energy requirements compared to conventional techniques. In HDC, data points are represented by high-dimensional vectors (hypervectors), which are mapped to high-dimensional space (hyperspace). Typically, a large hypervector dimension ($\geq1000$) is required to achieve accuracies comparable to conventional alternatives. However, unnecessarily large hypervectors increase hardware and energy costs, which can undermine their benefits. This paper presents a technique to minimize the hypervector dimension while maintaining the accuracy and improving the robustness of the classifier. To this end, we formulate the hypervector design as a multi-objective optimization problem for the first time in the literature. The proposed approach decreases the hypervector dimension by more than $32\times$ while maintaining or increasing the accuracy achieved by conventional HDC. Experiments on a commercial hardware platform show that the proposed approach achieves more than one order of magnitude reduction in model size, inference time, and energy consumption. We also demonstrate the trade-off between accuracy and robustness to noise and provide Pareto front solutions as a design parameter in our hypervector design.


title: Deep Transfer Learning for Infectious Disease Case Detection Using Electronic Medical Records

abstract: During an infectious disease pandemic, it is critical to share electronic medical records or models (learned from these records) across regions. Applying one region's data/model to another region often have distribution shift issues that violate the assumptions of traditional machine learning techniques. Transfer learning can be a solution. To explore the potential of deep transfer learning algorithms, we applied two data-based algorithms (domain adversarial neural networks and maximum classifier discrepancy) and model-based transfer learning algorithms to infectious disease detection tasks. We further studied well-defined synthetic scenarios where the data distribution differences between two regions are known. Our experiments show that, in the context of infectious disease classification, transfer learning may be useful when (1) the source and target are similar and the target training data is insufficient and (2) the target training data does not have labels. Model-based transfer learning works well in the first situation, in which case the performance closely matched that of the data-based transfer learning models. Still, further investigation of the domain shift in real world research data to account for the drop in performance is needed.


title: K-theory of non-archimedean rings II

abstract: We study fundamental properties of analytic $K$-theory of Tate rings such as homotopy invariance, Bass fundamental theorem, Milnor excision, and descent for admissible coverings.


title: A semi-agnostic ansatz with variable structure for quantum machine learning

abstract: Quantum machine learning -- and specifically Variational Quantum Algorithms (VQAs) -- offers a powerful, flexible paradigm for programming near-term quantum computers, with applications in chemistry, metrology, materials science, data science, and mathematics. Here, one trains an ansatz, in the form of a parameterized quantum circuit, to accomplish a task of interest. However, challenges have recently emerged suggesting that deep ansatzes are difficult to train, due to flat training landscapes caused by randomness or by hardware noise. This motivates our work, where we present a variable structure approach to build ansatzes for VQAs. Our approach, called VAns (Variable Ansatz), applies a set of rules to both grow and (crucially) remove quantum gates in an informed manner during the optimization. Consequently, VAns is ideally suited to mitigate trainability and noise-related issues by keeping the ansatz shallow. We employ VAns in the variational quantum eigensolver for condensed matter and quantum chemistry applications, in the quantum autoencoder for data compression and in unitary compilation problems showing successful results in all cases.


title: Have I been here before? Learning to Close the Loop with LiDAR Data in Graph-Based SLAM

abstract: This work presents an extension of graph-based SLAM methods to exploit the potential of 3D laser scans for loop detection. Every high-dimensional point cloud is replaced by a compact global descriptor, whereby a trained detector decides whether a loop exists. Searching for loops is performed locally in a variable space to consider the odometry drift. Since closing a wrong loop has fatal consequences, an extensive verification is performed before acceptance. The proposed algorithm is implemented as an extension of the widely used state-of-the-art library RTAB-Map, and several experiments show the improvement: During SLAM with a mobile service robot in changing indoor and outdoor campus environments, our approach improves RTAB-Map regarding total number of closed loops. Especially in the presence of significant environmental changes, which typically lead to failure, localization becomes possible by our extension. Experiments with a car in traffic (KITTI benchmark) show the general applicability of our approach. These results are comparable to the state-of-the-art LiDAR method LOAM. The developed ROS package is freely available.


title: Ordered Semiautomatic Rings with Applications to Geometry

abstract: The present work looks at semiautomatic rings with automatic addition and comparisons which are dense subrings of the real numbers and asks how these can be used to represent geometric objects such that certain operations and transformations are automatic. The underlying ring has always to be a countable dense subring of the real numbers and additions and comparisons and multiplications with constants need to be automatic. It is shown that the ring can be selected such that equilateral triangles can be represented and rotations by 30 degrees are possible, while the standard representation of the b-adic rationals does not allow this.


title: Level Theory, parts 1-3

abstract: This document comprises Level Theory, parts 1-3. PART 1. The following bare-bones story introduces the idea of a cumulative hierarchy of pure sets: 'Sets are arranged in stages. Every set is found at some stage. At any stage S: for any sets found before S, we find a set whose members are exactly those sets. We find nothing else at S.' Surprisingly, this story already guarantees that the sets are arranged in well-ordered levels, and suffices for quasi-categoricity. I show this by presenting Level Theory, a simplifiation of set theories due to Scott, Montague, Derrick, and Potter. PART 2. Potentialists think that the concept of set is importantly modal. Using tensed language as an heuristic, the following bare-bones story introduces the idea of a potential hierarchy of sets: 'Always: for any sets that existed, there is a set whose members are exactly those sets; there are no other sets.' Surprisingly, this story already guarantees well-foundedness and persistence. Moreover, if we assume that time is linear, the ensuing modal set theory is almost definitionally equivalent with non-modal set theories; specifically, with Level Theory, as developed in Part 1. PART 3. On a very natural conception of sets, every set has an absolute complement. The ordinary cumulative hierarchy dismisses this idea outright. But we can rectify this, whilst retaining classical logic. Indeed, we can develop a boolean algebra of sets arranged in well-ordered levels. I show this by presenting Boolean Level Theory, which fuses ordinary Level Theory (from Part 1) with ideas due to Thomas Forster, Alonzo Church, and Urs Oswald. BLT neatly implement Conway's games and surreal numbers; and a natural extension of BLT is definitionally equivalent with ZF.


title: Learning Word-Level Confidence For Subword End-to-End ASR

abstract: We study the problem of word-level confidence estimation in subword-based end-to-end (E2E) models for automatic speech recognition (ASR). Although prior works have proposed training auxiliary confidence models for ASR systems, they do not extend naturally to systems that operate on word-pieces (WP) as their vocabulary. In particular, ground truth WP correctness labels are needed for training confidence models, but the non-unique tokenization from word to WP causes inaccurate labels to be generated. This paper proposes and studies two confidence models of increasing complexity to solve this problem. The final model uses self-attention to directly learn word-level confidence without needing subword tokenization, and exploits full context features from multiple hypotheses to improve confidence accuracy. Experiments on Voice Search and long-tail test sets show standard metrics (e.g., NCE, AUC, RMSE) improving substantially. The proposed confidence module also enables a model selection approach to combine an on-device E2E model with a hybrid model on the server to address the rare word recognition problem for the E2E model.


title: Three-dimensional teleparallel Chern-Simons supergravity theory

abstract: In this work we present a gauge-invariant three-dimensional teleparallel supergravity theory using the Chern-Simons formalism. The present construction is based on a supersymmetric extension of a particular deformation of the Poincar\'e algebra. At the bosonic level the theory describes a non-Riemannian geometry with a non-vanishing torsion. In presence of supersymmetry, the teleparallel supergravity theory is characterized by a non-vanishing super-torsion in which the cosmological constant can be seen as a source for the torsion. We show that the teleparallel supergravity theory presented here reproduces the Poincar\'e supergravity in the vanishing cosmological limit. The extension of our results to $\mathcal{N}=p+q$ supersymmetries is also explored.


title: Searching for parity violation with the LIGO-Virgo-KAGRA network

abstract: A stochastic gravitational wave background is expected to emerge from the superposition of numerous gravitational wave sources of both astrophysical and cosmological origin. A number of cosmological models can have a parity violation, resulting in the generation of circularly polarised gravitational waves. We present a method to search for parity violation in the gravitational wave data. We first apply this method to the most recent, third, LIGO-Virgo observing run. We then investigate the constraining power of future A+ LIGO-Virgo detectors, including KAGRA to the network, for a gravitational wave background generated by early universe cosmological turbulence.


title: Positronium: an illustration of nonperturbative renormalization in a basis light-front approach

abstract: We calculate the mass spectrum and the structure of the positronium system at a strong coupling in a basis light-front approach. We start from the light-front QED Hamiltonian and retain one dynamical photon in our basis. We perform the fermion mass renormalization associated with the nonperturbative fermion self-energy correction. We present the resulting mass spectrum and wave functions for the selected low-lying states. Next, we apply this approach to QCD and calculate the heavy meson system with one dynamical gluon retained. We illustrate the obtained mass spectrum and wave functions for the selected low-lying states.


title: Variational inference with a quantum computer

abstract: Inference is the task of drawing conclusions about unobserved variables given observations of related variables. Applications range from identifying diseases from symptoms to classifying economic regimes from price movements. Unfortunately, performing exact inference is intractable in general. One alternative is variational inference, where a candidate probability distribution is optimized to approximate the posterior distribution over unobserved variables. For good approximations, a flexible and highly expressive candidate distribution is desirable. In this work, we use quantum Born machines as variational distributions over discrete variables. We apply the framework of operator variational inference to achieve this goal. In particular, we adopt two specific realizations: one with an adversarial objective and one based on the kernelized Stein discrepancy. We demonstrate the approach numerically using examples of Bayesian networks, and implement an experiment on an IBM quantum computer. Our techniques enable efficient variational inference with distributions beyond those that are efficiently representable on a classical computer.


title: The Coulomb branch of N=4 SYM and dilatonic scions in supergravity

abstract: We find a parametrically light dilaton in special confining theories in three dimensions. Their duals form what we call a scion of solutions to the supergravity associated with the large-N limit of the Coulomb branch of the N=4 Super-Yang-Mills (SYM) theory. The supergravity description contains one scalar with bulk mass that saturates the Breitenlohner-Freedman unitarity bound. The new solutions are defined within supergravity, they break supersymmetry and scale invariance, and one dimension is compactified on a shrinking circle, yet they are completely regular. An approximate dilaton appears in the spectrum of background fluctuations (or composite states in the confining theory), and becomes parametrically light along a metastable portion of the scion of new supergravity solutions, in close proximity of a tachyonic instability. A first-order phase transition separates stable backgrounds, for which the approximate dilaton is not parametrically light, from metastable and unstable backgrounds, for which the dilaton becomes parametrically light, and eventually tachyonic.


title: Mechanisms of Andreev reflection in quantum Hall graphene

abstract: We simulate a hybrid superconductor-graphene device in the quantum Hall regime to identify the origin of downstream resistance oscillations in a recent experiment [Zhao et. al. Nature Physics 16, (2020)]. In addition to the previously studied Mach-Zehnder interference between the valley-polarized edge states, we consider disorder-induced scattering, and the previously overlooked appearance of the counter-propagating states generated by the interface density mismatch. Comparing our results with the experiment, we conclude that the observed oscillations are induced by the interfacial disorder, and that lattice-matched superconductors are necessary to observe the alternative ballistic effects.


title: Phonon-trapping enhanced energy resolution in superconducting single photon detectors

abstract: A noiseless, photon counting detector, which resolves the energy of each photon, could radically change astronomy, biophysics and quantum optics. Superconducting detectors promise an intrinsic resolving power at visible wavelengths of $R=E/\delta E\approx100$ due to their low excitation energy. We study superconducting energy-resolving Microwave Kinetic Inductance Detectors (MKIDs), which hold particular promise for larger cameras. A visible/near-infrared photon absorbed in the superconductor creates a few thousand quasiparticles through several stages of electron-phonon interaction. Here we demonstrate experimentally that the resolving power of MKIDs at visible to near-infrared wavelengths is limited by the loss of hot phonons during this process. We measure the resolving power of our aluminum-based detector as a function of photon energy using four lasers with wavelengths between $1545-402$ nm. For detectors on thick SiN/Si and sapphire substrates the resolving power is limited to $10-21$ for the respective wavelengths, consistent with the loss of hot phonons. When we suspend the sensitive part of the detector on a 110 nm thick SiN membrane, the measured resolving power improves to $19-52$ respectively. The improvement is equivalent to a factor $8\pm2$ stronger phonon trapping on the membrane, which is consistent with a geometrical phonon propagation model for these hot phonons. We discuss a route towards the Fano limit by phonon engineering.


title: Non-linear effects in EMRI dynamics and their imprints on gravitational waves

abstract: The largest part of any gravitational-wave inspiral of a compact binary can be understood as a slow, adiabatic drift between the trajectories of a certain referential conservative system. In many contexts, the phase space of this conservative system is smooth and there are no "topological transitions" in the phase space, meaning that there are no sudden qualitative changes in the character of the orbital motion during the inspiral. However, in this chapter we discuss the cases where this assumption fails and non-linear and/or non-smooth transitions come into play. In integrable conservative systems under perturbation, topological transitions suddenly appear at resonances, and we sketch how to implement the passage through such regions in an inspiral model. Even though many of the developments of this chapter apply to general inspirals, we focus on a particular scenario known as the Extreme mass ratio inspiral (EMRI). An EMRI consists of a compact stellar-mass object inspiralling into a supermassive black hole. At leading order, the referential conservative system is simply geodesic motion in the field of the supermassive black hole and the rate of the drift is given by radiation reaction. In Einstein gravity the supermassive black hole field is the Kerr space-time in which the geodesic motion is integrable. However, the equations of motion can be perturbed in various ways so that prolonged resonances and chaos appear in phase space as well as the inspiral, which we demonstrate in simple physically motivated examples.


title: Duplex Contextual Relation Network for Polyp Segmentation

abstract: Polyp segmentation is of great importance in the early diagnosis and treatment of colorectal cancer. Since polyps vary in their shape, size, color, and texture, accurate polyp segmentation is very challenging. One promising way to mitigate the diversity of polyps is to model the contextual relation for each pixel such as using attention mechanism. However, previous methods only focus on learning the dependencies between the position within an individual image and ignore the contextual relation across different images. In this paper, we propose Duplex Contextual Relation Network (DCRNet) to capture both within-image and cross-image contextual relations. Specifically, we first design Interior Contextual-Relation Module to estimate the similarity between each position and all the positions within the same image. Then Exterior Contextual-Relation Module is incorporated to estimate the similarity between each position and the positions across different images. Based on the above two types of similarity, the feature at one position can be further enhanced by the contextual region embedding within and across images. To store the characteristic region embedding from all the images, a memory bank is designed and operates as a queue. Therefore, the proposed method can relate similar features even though they come from different images. We evaluate the proposed method on the EndoScene, Kvasir-SEG and the recently released large-scale PICCOLO dataset. Experimental results show that the proposed DCRNet outperforms the state-of-the-art methods in terms of the widely-used evaluation metrics.


title: Revealing and controlling nuclear dynamics following inner-shell photoionization of N2

abstract: In this work, we apply the Monte Carlo wave packet method to study the ultrafast nuclear dynamics following inner-shell photoionization of N2 exposed to an ultrashort intense X-ray pulse. The photon energy of the X-ray pulse is large enough to remove a 1s electron from the N atom in N2. The intermediate state in N+2 is highly excited so that autoionization takes place from this state to the dissociative or non-dissociative electronic states of ungerade and gerade symmetries in N++2. The possible vibrational resonances allowed by the non-dissociative states prevents a direct extraction of the nuclear kinetic release (KER) spectrum from the nuclear wave packets in N++2. Therefore, we propose a hybrid technique by combining the advantages of two energy analysis strategies to obtain the final nuclear KER spectrum of the process. A femtosecond IR probe pulse, which couples the electronic states in N++2 together, is applied to achieve a time-resolved imaging and controlling of the ultrafast dynamics that takes place during double ionization of N2. The influence of the laser parameters including the peak intensity, pulse duration and pump-probe delay, on the nuclear dynamics is also investigated.


title: Hybrid Physics and Deep Learning Model for Interpretable Vehicle State Prediction

abstract: Physical motion models offer interpretable predictions for the motion of vehicles. However, some model parameters, such as those related to aero- and hydrodynamics, are expensive to measure and are often only roughly approximated reducing prediction accuracy. Recurrent neural networks achieve high prediction accuracy at low cost, as they can use cheap measurements collected during routine operation of the vehicle, but their results are hard to interpret. To precisely predict vehicle states without expensive measurements of physical parameters, we propose a hybrid approach combining deep learning and physical motion models including a novel two-phase training procedure. We achieve interpretability by restricting the output range of the deep neural network as part of the hybrid model, which limits the uncertainty introduced by the neural network to a known quantity. We have evaluated our approach for the use case of ship and quadcopter motion. The results show that our hybrid model can improve model interpretability with no decrease in accuracy compared to existing deep learning approaches.


title: On the experiment-friendly formulation of quantum backflow

abstract: In its standard formulation, quantum backflow is a classically impossible phenomenon in which a free quantum particle in a positive-momentum state exhibits a negative probability current. Recently, Miller et al. [Quantum 5, 379 (2021)] have put forward a new, "experiment-friendly" formulation of quantum backflow that aims at extending the notion of quantum backflow to situations in which the particle's state may have both positive and negative momenta. Here, we investigate how the experiment-friendly formulation of quantum backflow compares to the standard one when applied to a free particle in a positive-momentum state. We show that the two formulations are not always compatible. We further identify a parametric regime in which the two formulations appear to be in qualitative agreement with one another.


title: Search for a viable nucleus-nucleus potential for heavy-ion nuclear reactions

abstract: We have constructed an empirical formulae for the fusion and interaction barriers using experimental values available till date. The fusion barriers so obtained have been compared with different model predictions based on the proximity, Woods-Saxon and double folding potentials along with several empirical formulas, time dependent Hartree-Fock theories, and the experimental results. The comparison allows us to find the best model, which is nothing but the present empirical formula only. Most remarkably, the fusion barrier and radius show excellent consonance with the experimental findings for the reactions meant for synthesis of the superheavy elements also. Furthermore, it is seen that substitution of the predicted fusion barrier and radius in classic Wong formula [C. Wong, Phys. Rev. Lett. {31}, 766 (1973)] for the total fusion cross sections satisfies very well with the experiments. Similarly, current interaction barrier predictions have also been compared well with a few experimental results available and Bass potential model meant for the interaction barrier predictions. Importantly, the present formulae for the fusion as well as interaction barrier will have practical implications in carrying out the physics research near the Coulomb barrier energies. Furthermore, present fusion barrier and radius provide us a good nucleus-nucleus potential useful for numerous theoretical applications.


title: Normal fluctuation in quantum ergodicity for Wigner matrices

abstract: We consider the quadratic form of a general deterministic matrix on the eigenvectors of an $N\times N$ Wigner matrix and prove that it has Gaussian fluctuation for each bulk eigenvector in the large $N$ limit. The proof is a combination of the energy method for the Dyson Brownian motion inspired by [Marcinek, Yau 2020] and our recent multi-resolvent local laws [Cipolloni, Erd\H{o}s, Schr\"oder 2020].


title: Entanglement of Classical and Quantum Short-Range Dynamics in Mean-Field Systems

abstract: The relationship between classical and quantum mechanics is usually understood via the limit $\hbar \rightarrow 0$. This is the underlying idea behind the quantization of classical objects. The apparent incompatibility of general relativity with quantum mechanics and quantum field theory has challenged for many decades this basic idea. We recently showed the emergence of classical dynamics for very general quantum lattice systems with mean-field interactions, without (complete) supression of its quantum features, in the infinite volume limit. This leads to a theoretical framework in which the classical and quantum worlds are entangled. Such an entanglement is noteworthy and is a consequence of the highly non-local character of mean-field interactions. Therefore, this phenomenon should not be restricted to systems with mean-field interactions only, but should also appear in presence of interactions that are sufficiently long-range, yielding effective, classical background fields, in the spirit of the Higgs mechanism of quantum field theory. In order to present the result in a less abstract way than in its original version, here we apply it to a concrete, physically relevant, example and discuss, by this means, various important aspects of our general approach. The model we consider is not exactly solvable and the particular results obtained are new.

categories: quant-ph math-ph math.MP physics.class-ph


title: Swarm Robots in Agriculture

abstract: Agricultural mechanization is an area of knowledge that has evolved a lot over the past century, its main actors being agricultural tractors that, in 100 years, have increased their powers by 3,300%. This evolution has resulted in an exponential increase in the field capacity of such machines. However, it has also generated negative results such as excessive consumption of fossil fuel, excessive weight on the soil, very high operating costs, and millionaire acquisition value. This paper aims to present an antiparadigmatic alternative in this area. It is proposing a swarm of small electric robotic tractors that together have the same field capacity as a large tractor with an internal combustion engine. A comparison of costs and field capacity between a 270 kW tractor and a swarm of ten swarm tractors of 24 kW each was carried out. The result demonstrated a wide advantage for the small robot team. It was also proposed the preliminary design of an electric swarm robot tractor. Finally, research challenges were suggested to operationalize such a proposal, calling on the Brazilian Robotics Research Community to elaborate a roadmap for research in the area of swarm robot for mechanized agricultural operations.


title: Intraclass clustering: an implicit learning ability that regularizes DNNs

abstract: Several works have shown that the regularization mechanisms underlying deep neural networks' generalization performances are still poorly understood. In this paper, we hypothesize that deep neural networks are regularized through their ability to extract meaningful clusters among the samples of a class. This constitutes an implicit form of regularization, as no explicit training mechanisms or supervision target such behaviour. To support our hypothesis, we design four different measures of intraclass clustering, based on the neuron- and layer-level representations of the training data. We then show that these measures constitute accurate predictors of generalization performance across variations of a large set of hyperparameters (learning rate, batch size, optimizer, weight decay, dropout rate, data augmentation, network depth and width).


title: A bottom-up quantification of flexibility potential from the thermal energy storage in electric space heating

abstract: Non-generating resources such as thermostatically controlled loads (TCLs) can arbitrage energy prices and provide balancing reserves when aggregated due to their thermal energy storage capacity. Based on a performed survey of Swedish single- and two-family dwellings with electric heating, this paper quantifies the potential of TCLs to provide reserves to the power system in Sweden. To this end, dwellings with heat pumps and direct electric heaters are modeled as thermal energy storage equivalents that can be included in a linear two-stage problem formulation. We approach the operational flexibility of the TCLs by modeling a risk-averse aggregator that controls decentralized TCLs and aims to maximize its own profit. The results show a potential of 2 GW/0.1Hz averaged over a year, and up to 6.4 GW/0.1Hz peak capacity. Based on a sensitivity analysis we derive policy implications regarding market timing and activation signal.


title: ArCode: A Tool for Supporting Comprehension andImplementation of Architectural Concerns

abstract: Integrated development environments (IDE) play an important role in supporting developers during program comprehension and completion. Many of these supportive features focus on low-level programming and debugging activities. Unfortunately, there is less support in understanding and implementing architectural concerns in the form of patterns, tactics and/or other concerns. In this paper we present ArCode, a tool designed as a plugin for a popular IDE, IntelliJ IDEA. ArCode is able to learn correct ways of using frameworks' API to implement architectural concerns such as Authentication and Authorization. Analyzing the programmer's code, this tool is able to find deviations from correct implementation and provide fix recommendations alongside with graphical demonstrations to better communicate the recommendations with the developers. We showcase how programmers can benefit from ArCode by providing an API misuse detection and API recommendation scenario for a famous Java framework, Java Authentication and Authorization (JAAS) security framework.


title: A coupled model of episodic warming, oxidation and geochemical transitions on early Mars

abstract: Reconciling the geology of Mars with models of atmospheric evolution remains a major challenge. Martian geology is characterized by past evidence for episodic surface liquid water, and geochemistry indicating a slow and intermittent transition from wetter to drier and more oxidizing surface conditions. Here we present a new model incorporating randomized injection of reducing greenhouse gases and oxidation due to hydrogen escape, to investigate the conditions responsible for these diverse observations. We find that Mars could have transitioned repeatedly from reducing (H2-rich) to oxidizing (O2-rich) atmospheric conditions in its early history. Our model predicts a generally cold early Mars, with mean annual temperatures below 240 K. If peak reducing gas release rates and background CO2 levels are high enough, it nonetheless exhibits episodic warm intervals sufficient to degrade crater walls, form valley networks and create other fluvial/lacustrine features. Our model also predicts transient buildup of atmospheric O2, which can help explain the occurrence of oxidized mineral species such as manganese oxides at Gale Crater. We suggest that the apparent Noachian--Hesperian transition from phyllosilicate deposition to sulfate deposition around 3.5 billion years ago can be explained as a combined outcome of increasing planetary oxidation, decreasing groundwater availability and a waning bolide impactor flux, which dramatically slowed the remobilization and thermochemical destruction of surface sulfates. Ultimately, rapid and repeated variations in Mars' early climate and surface chemistry would have presented both challenges and opportunities for any emergent microbial life.


title: Quasi-Helmholtz Decomposition, Gauss' Laws and Charge Conservation for Finite Element Particle-in-Cell

abstract: Development of particle in cell methods using finite element based methods (FEMs) have been a topic of renewed interest; this has largely been driven by (a) the ability of finite element methods to better model geometry, (b) better understanding of function spaces that are necessary to represent all Maxwell quantities, and (c) more recently, the fundamental rubrics that should be obeyed in space and time so as to satisfy Gauss' laws and the equation of continuity. In that vein, methods have been developed recently that satisfy these equations and are agnostic to time stepping methods. While is development is indeed a significant advance, it should be noted that implicit FEM transient solvers support an underlying null space that corresponds to a gradient of a scalar potential $\nabla \Phi(\textbf{r})$ (or $t \nabla \Phi (\textbf{r})$ in the case of wave equation solvers). While explicit schemes do not suffer from this drawback, they are only conditionally stable, time step sizes are mesh dependent, and very small. A way to overcome this bottleneck, and indeed, satisfy all four Maxwell's equation is to use a quasi-Helmholtz formulation on a tessellation. In the re-formulation presented, we strictly satisfy the equation of continuity and Gauss' laws for both the electric and magnetic flux densities. Results demonstrating the efficacy of this scheme will be presented.


title: Pinch-off dynamics to describe animal lapping

abstract: Some carnivorous mammals (e.g., cats and dogs) lap water with their tongues to drink water at high frequencies. Such a fast moving tongue creates a liquid column out of a bath which is bitten by the mouth for drinking. Presumably, the animals bite just before the pinch-off time of the water column to maximize the water intake. Otherwise, the water column falls back to the bath before being bitten. Such a pinch-off phenomenon in the liquid column can be described as the acceleration-induced (i.e., unsteady) inertia balances with the capillary force. The classical Rayleigh-Plateau instability explains the competition of the steady inertia with the capillarity, but not with the unsteady inertia. In this study, we modify the Rayleigh-Plateau instability in the presence of the fluid acceleration, and show that the most unstable wavenumber and growth rate increase with acceleration. The pinch-off time is theoretically predicted as the -1/3 power of the Bond number (i.e, a ratio of the acceleration-induced inertia to capillarity). Finally, measured pinch-off times from previous physical experiments and dog \& cat jaw-closing times are shown to be in good agreement with our theoretical pinch-off time. Therefore, our study shows that animals presumably modulate their lapping and jaw-closing time to bite down the water column before the pinch-off to maximize the water intake.


title: Multi-objective discovery of PDE systems using evolutionary approach

abstract: Usually, the systems of partial differential equations (PDEs) are discovered from observational data in the single vector equation form. However, this approach restricts the application to the real cases, where, for example, the form of the external forcing is of interest. In the paper, a multi-objective co-evolution algorithm is described. The single equations within the system and the system itself are evolved simultaneously to obtain the system. This approach allows discovering the systems with the form-independent equations. In contrast to the single vector equation, a component-wise system is more suitable for expert interpretation and, therefore, for applications. The example of the two-dimensional Navier-Stokes equation is considered.


title: Estimating the causal effect of an intervention in a time series setting: the C-ARIMA approach

abstract: The Rubin Causal Model (RCM) is a framework that allows to define the causal effect of an intervention as a contrast of potential outcomes. In recent years, several methods have been developed under the RCM to estimate causal effects in time series settings. None of these makes use of ARIMA models, which are instead very common in the econometrics literature. In this paper, we propose a novel approach, C-ARIMA, to define and estimate the causal effect of an intervention in a time series setting under the RCM. We first formalize the assumptions enabling the definition, the estimation and the attribution of the effect to the intervention; we then check the validity of the proposed method with an extensive simulation study, comparing its performance against a standard intervention analysis approach. In the empirical application, we use C-ARIMA to assess the causal effect of a permanent price reduction on supermarket sales. The CausalArima R package provides an implementation of our proposed approach.


title: Residuation for Soft Constraints: Lexicographic Orders and Approximation Techniques

abstract: Residuation theory concerns the study of partially ordered algebraic structures, most often monoids, equipped with a weak inverse for the monoidal operator. One of its area of application has been constraint programming, whose key requirement is the presence of an aggregator operator for combining preferences. Given a residuated monoid of preferences, the paper first shows how to build a new residuated monoid of (possibly infinite) tuples, which is based on the lexicographic order. Second, it introduces a variant of an approximation technique (known as Mini-bucket) that exploits the presence of the weak inverse.


title: Visibility-aware Trajectory Optimization with Application to Aerial Tracking

abstract: The visibility of targets determines performance and even success rate of various applications, such as active slam, exploration, and target tracking. Therefore, it is crucial to take the visibility of targets into explicit account in trajectory planning. In this paper, we propose a general metric for target visibility, considering observation distance and angle as well as occlusion effect. We formulate this metric into a differentiable visibility cost function, with which spatial trajectory and yaw can be jointly optimized. Furthermore, this visibility-aware trajectory optimization handles dynamic feasibility of position and yaw simultaneously. To validate that our method is practical and generic, we integrate it into a customized quadrotor tracking system. The experimental results show that our visibility-aware planner performs more robustly and observes targets better. In order to benefit related researches, we release our code to the public.


title: Practical Encrypted Computing for IoT Clients

abstract: Privacy and energy are primary concerns for sensor devices that offload compute to a potentially untrusted edge server or cloud. Homomorphic Encryption (HE) enables offload processing of encrypted data. HE offload processing retains data privacy, but is limited by the need for frequent communication between the client device and the offload server. Existing client-aided encrypted computing systems are optimized for performance on the offload server, failing to sufficiently address client costs, and precluding HE offload for low-resource (e.g., IoT) devices. We introduce Client-aided HE for Opaque Compute Offloading (CHOCO), a client-optimized system for encrypted offload processing. CHOCO introduces rotational redundancy, an algorithmic optimization to minimize computing and communication costs. We design Client-Aided HE for Opaque Compute Offloading Through Accelerated Cryptographic Operations (CHOCO-TACO), a comprehensive architectural accelerator for client-side cryptographic operations that eliminates most of their time and energy costs. Our evaluation shows that CHOCO makes client-aided HE offloading feasible for resource-constrained clients. Compared to existing encrypted computing solutions, CHOCO reduces communication cost by up to 2948x. With hardware support, client-side encryption/decryption is faster by 1094x and uses 648x less energy. In our end-to-end implementation of a large-scale DNN (VGG16), CHOCO uses 37% less energy than local (unencrypted) computation.


title: Quantum boomerang effect: beyond the standard Anderson model

abstract: It was recently shown that wavepackets with skewed momentum distribution exhibit a boomerang-like dynamics in the Anderson model due to Anderson localization: after an initial ballistic motion, they make a U-turn and eventually come back to their starting point. In this paper, we study the robustness of the quantum boomerang effect in various kinds of disordered and dynamical systems: tight-binding models with pseudo-random potentials, systems with band random Hamiltonians, and the kicked rotor. Our results show that the boomerang effect persists in models with pseudo-random potentials. It is also present in the kicked rotor, although in this case with a specific dependency on the initial state. On the other hand, we find that random hopping processes inhibit any drift motion of the wavepacket, and consequently the boomerang effect. In particular, if the random nearest-neighbor hopping amplitudes have zero average, the wavepacket remains in its initial position.


title: Shock Waves in Relativistic Anisotropic Hydrodynamics

abstract: Shock wave solutions in anisotropic relativistic hydrodynamics are considered. A new phenomenon of anisotropy-related angular deflection of the incident flow by the shock wave front is described. Patterns of velocity and momentum transformation by the shock wave front are described.


title: Monte Carlo evaluation of the continuum limit of the two-point function of the Euclidean free real scalar field subject to affine quantization

abstract: We study canonical and affine versions of the quantized covariant Euclidean free real scalar field-theory on four dimensional lattices through the Monte Carlo method. We calculate the two-point function at small values of the bare coupling constant and near the continuum limit at finite volume. Our investigation shows that affine quantization is able to give meaningful results for the two-point function for which is not available an exact analytic result and therefore numerical methods are necessary.

categories: hep-lat hep-ph hep-th physics.comp-ph quant-ph


title: ChallenCap: Monocular 3D Capture of Challenging Human Performances using Multi-Modal References

abstract: Capturing challenging human motions is critical for numerous applications, but it suffers from complex motion patterns and severe self-occlusion under the monocular setting. In this paper, we propose ChallenCap -- a template-based approach to capture challenging 3D human motions using a single RGB camera in a novel learning-and-optimization framework, with the aid of multi-modal references. We propose a hybrid motion inference stage with a generation network, which utilizes a temporal encoder-decoder to extract the motion details from the pair-wise sparse-view reference, as well as a motion discriminator to utilize the unpaired marker-based references to extract specific challenging motion characteristics in a data-driven manner. We further adopt a robust motion optimization stage to increase the tracking accuracy, by jointly utilizing the learned motion details from the supervised multi-modal references as well as the reliable motion hints from the input image reference. Extensive experiments on our new challenging motion dataset demonstrate the effectiveness and robustness of our approach to capture challenging human motions.


title: Efficient DNA-driven nanocavities for approaching quasi-deterministic strong coupling to a few fluorophores

abstract: Strong coupling between light and matter is the foundation of promising quantum photonic devices such as deterministic single photon sources, single atom lasers and photonic quantum gates, which consist of an atom and a photonic cavity. Unlike atom-based systems, a strong coupling unit based on an emitter-plasmonic nanocavity system has the potential to bring these devices to the microchip scale at ambient conditions. However, efficiently and precisely positioning a single or a few emitters into a plasmonic nanocavity is challenging. In addition, placing a strong coupling unit on a designated substrate location is a demanding task. Here, fluorophore-modified DNA strands are utilized to drive the formation of particle-on-film plasmonic nanocavities and simultaneously integrate the fluorophores into the high field region of the nanocavities. High cavity yield and fluorophore coupling yield are demonstrated. This method is then combined with e-beam lithography to position the strong coupling units on designated locations of a substrate. Furthermore, the high correlation between electronic transition of the fluorophore and the cavity resonance is observed, implying more vibrational modes may be involved. Our system makes strong coupling units more practical on the microchip scale and at ambient conditions and provides a stable platform for investigating fluorophore-plasmonic nanocavity interaction.


title: Collective vibrational strong coupling effects on molecular vibrational relaxation and energy transfer: Numerical insights via cavity molecular dynamics simulations

abstract: For a small fraction of hot CO2 molecules immersed in a liquid-phase CO2 thermal bath, classical cavity molecular dynamics simulations show that forming collective vibrational strong coupling (VSC) between the C=O asymmetric stretch of CO2 molecules and a cavity mode accelerates hot-molecule relaxation. The physical mechanism underlying this acceleration is the fact that polaritons, especially the lower polariton, can be transiently excited during the nonequilibrium process, which facilitates intermolecular vibrational energy transfer. The VSC effects on these rates (i) resonantly depend on the cavity mode detuning, (ii) cooperatively depend on molecular concentration or Rabi splitting, and (iii) collectively scale with the number of hot molecules, which is similar to Dicke's superradiance. For larger cavity volumes, due to a balance between this superradiant-like behavior and a smaller light-matter coupling, the total VSC effect on relaxation rates can scale slower than $1/N$, and the average VSC effect per molecule can remain meaningful for up to $N \sim10^4$ molecules forming VSC. Moreover, we find that the transiently excited lower polariton prefers to relax by transferring its energy to the tail of the molecular energy distribution rather than equally distributing it to all thermal molecules. Finally, we highlight the similarities of parameter dependence between the current finding with VSC catalysis observed in Fabry-Perot microcavities.


title: Giant rectification in segmented, strongly interacting, spin chains despite the presence of perturbations

abstract: In Phys. Rev. Lett. 120, 200603 (2018), a segmented XXZ spin chain with zero anisotropy in one half and a large anisotropy on the other half gave rise to a spin current rectification which is perfect in the thermodynamic limit. Here we extend the previous study to segmented chains with interacting integrable as well as non-integrable halves, considering even cases in which no ballistic transport can emerge in either half. We demonstrate that, also in this more general case, it is possible to obtain giant rectification when the two interacting half chains are sufficiently different. We also show that the mechanism causing this effect is the emergence of an energy gap in the excitation spectrum of the out-of-equilibrium insulating steady state in one of the two biases. Finally we demonstrate that in the thermodynamic limit there is no perfect rectification when each of the two half chains is interacting.


title: Spanning cycles in random directed graphs

abstract: We show that, in almost every $n$-vertex random directed graph process, a copy of every possible $n$-vertex oriented cycle will appear strictly before a directed Hamilton cycle does, except of course for the directed cycle itself. Furthermore, given an arbitrary $n$-vertex oriented cycle, we determine the sharp threshold for its appearance in the binomial random directed graph. These results confirm, in a strong form, a conjecture of Ferber and Long.


title: Knowledge Graph Question Answering using Graph-Pattern Isomorphism

abstract: Knowledge Graph Question Answering (KGQA) systems are based on machine learning algorithms, requiring thousands of question-answer pairs as training examples or natural language processing pipelines that need module fine-tuning. In this paper, we present a novel QA approach, dubbed TeBaQA. Our approach learns to answer questions based on graph isomorphisms from basic graph patterns of SPARQL queries. Learning basic graph patterns is efficient due to the small number of possible patterns. This novel paradigm reduces the amount of training data necessary to achieve state-of-the-art performance. TeBaQA also speeds up the domain adaption process by transforming the QA system development task into a much smaller and easier data compilation task. In our evaluation, TeBaQA achieves state-of-the-art performance on QALD-8 and delivers comparable results on QALD-9 and LC-QuAD v1. Additionally, we performed a fine-grained evaluation on complex queries that deal with aggregation and superlative questions as well as an ablation study, highlighting future research challenges.


title: Quasi-static limit for a hyperbolic conservation law

abstract: We study the quasi-static limit for the $L^\infty$ entropy weak solution of scalar one-dimensional hyperbolic equations with strictly concave or convex flux and time dependent boundary conditions. The quasi-stationary profile evolves with the quasi-static equation, whose entropy solution is determined by the stationary profile corresponding to the boundary data at a given time.


title: A search for cloud cores affected by shocked carbon chain chemistry in L1251

abstract: We searched for shocked carbon chain chemistry (SCCC) sources with C$_3$S abundances surpassing those of HC$_5$N towards the dark cloud L1251, using the Effelsberg telescope at K-band (18 -- 26\,GHz). L1251-1 and L1251-3 are identified as the most promising SCCC sources. The two sources harbor young stellar objects. We conducted mapping observations towards L1251-A, the western tail of L1251, at $\lambda$ $\sim$3\,mm with the PMO 13.7 m and the NRO 45 m telescopes in lines of C$_2$H, N$_2$H$^+$, CS, HCO$^+$, SO, HC$_3$N and C$^{18}$O as well as in CO 3--2 using the JCMT. The spectral data were combined with archival data including Spitzer and Herschel continuum maps for further analysis. Filamentary sub-structures labeled as F1 to F6 were extracted in L1251, with F1 being associated with L1251-A hosting L1251-1. The peak positions of dense gas traced by HCO$^+$ are misaligned relative to those of the dust clumps. Episodic outflows are common in this region. The twisted morphology of F1 and velocity distribution along L1251-A may originate from stellar feedback. SCCC in L1251-1 may have been caused by outflow activities originated from the infrared source IRS1. The signposts of ongoing SCCC and the broadened line widths of C$_3$S and C$_4$H in L1251-1 as well as the distribution of HC$_3$N are also related to outflow activities in this region. L1251-1 (IRS1) together with the previously identified SCCC source IRS3 demonstrate that L1251-A is an excellent region to study shocked carbon chain chemistry.


title: $C^{\gamma}$ well-posedness of some non-linear transport equations

abstract: Given $k:\mathbb{R}^n\setminus\{0\} \to \mathbb{R}^n$ a kernel of class $C^2$ and homogeneous of degree $1-n$, we prove existence and uniqueness of H\"older regular solutions for some non-linear transport equations with velocity fields given by convolution of the density with $k$. The Aggregation, the 3D quasi geostrophic, and the 2D Euler equations can be recovered for particular choices of $k$.


title: Shear Modulus Anomaly of Unconventional Superconductor in a Symmetry Breaking Field

abstract: Using Ginzburg-Landau formalism, we theoretically study the isothermal shear modulus anomaly of an unconventional superconductor with a multicomponent order parameter, when the superconducting transition is split by a symmetry-breaking field. Experimental signatures are proposed for both chiral and nematic superconductors. Particularly striking is the vanishing of $C_{66}$ across the lower transition to a nematic superconducting state. Our findings can guide future experiments and shed new lights on materials such as Sr$_2$RuO$_4$ and $M_x$Bi$_2$Se$_3$.


title: Auto-COP: Adaptation Generation in Context-Oriented Programming using Reinforcement Learning Options

abstract: Self-adaptive software systems continuously adapt in response to internal and external changes in their execution environment, captured as contexts. The COP paradigm posits a technique for the development of self-adaptive systems, capturing their main characteristics with specialized programming language constructs. COP adaptations are specified as independent modules composed in and out of the base system as contexts are activated and deactivated in response to sensed circumstances from the surrounding environment. However, the definition of adaptations, their contexts and associated specialized behavior, need to be specified at design time. In complex CPS this is intractable due to new unpredicted operating conditions. We propose Auto-COP, a new technique to enable generation of adaptations at run time. Auto-COP uses RL options to build action sequences, based on the previous instances of the system execution. Options are explored in interaction with the environment, and the most suitable options for each context are used to generate adaptations exploiting COP. To validate Auto-COP, we present two case studies exhibiting different system characteristics and application domains: a driving assistant and a robot delivery system. We present examples of Auto-COP code generated at run time, to illustrate the types of circumstances (contexts) requiring adaptation, and the corresponding generated adaptations for each context. We confirm that the generated adaptations exhibit correct system behavior measured by domain-specific performance metrics, while reducing the number of required execution/actuation steps by a factor of two showing that the adaptations are regularly selected by the running system as adaptive behavior is more appropriate than the execution of primitive actions.


title: ENTRUST: Argument Reframing with Language Models and Entailment

abstract: Framing involves the positive or negative presentation of an argument or issue depending on the audience and goal of the speaker (Entman 1983). Differences in lexical framing, the focus of our work, can have large effects on peoples' opinions and beliefs. To make progress towards reframing arguments for positive effects, we create a dataset and method for this task. We use a lexical resource for "connotations" to create a parallel corpus and propose a method for argument reframing that combines controllable text generation (positive connotation) with a post-decoding entailment component (same denotation). Our results show that our method is effective compared to strong baselines along the dimensions of fluency, meaning, and trustworthiness/reduction of fear.


title: Automatic Social Distance Estimation From Images: Performance Evaluation, Test Benchmark, and Algorithm

abstract: The COVID-19 virus has caused a global pandemic since March 2020. The World Health Organization (WHO) has provided guidelines on how to reduce the spread of the virus and one of the most important measures is social distancing. Maintaining a minimum of one meter distance from other people is strongly suggested to reduce the risk of infection. This has created a strong interest in monitoring the social distances either as a safety measure or to study how the measures have affected human behavior and country-wise differences in this. The need for automatic social distance estimation algorithms is evident, but there is no suitable test benchmark for such algorithms. Collecting images with measured ground-truth pair-wise distances between all the people using different camera settings is cumbersome. Furthermore, performance evaluation for social distance estimation algorithms is not straightforward and there is no widely accepted evaluation protocol. In this paper, we provide a dataset of varying images with measured pair-wise social distances under different camera positionings and focal length values. We suggest a performance evaluation protocol and provide a benchmark to easily evaluate social distance estimation algorithms. We also propose a method for automatic social distance estimation. Our method takes advantage of object detection and human pose estimation. It can be applied on any single image as long as focal length and sensor size information are known. The results on our benchmark are encouraging with 92% human detection rate and only 28.9% average error in distance estimation among the detected people.


title: Hamiltonian cycles in 2-tough $2K_2$-free graphs

abstract: A graph $G$ is called a $2K_2$-free graph if it does not contain $2K_2$ as an induced subgraph. In 2014, Broersma, Patel and Pyatkin showed that every 25-tough $2K_2$-free graph on at least three vertices is Hamiltonian. Recently, Shan improved this result by showing that 3-tough is sufficient instead of 25-tough. In this paper, we show that every 2-tough $2K_2$-free graph on at least three vertices is Hamiltonian, which was conjectured by Gao and Pasechnik.


title: A unified approach to gradient type formulas for BSDEs and some applications

abstract: In this paper we present a unified approach to establish gradient type formulas and Bismut type formulas for backward stochastic differential equations (BSDEs). This approach relies on a mix of derivative formulas with respect to the conditional probability of forward SDEs and the expression of the solution of BSDEs. Some concrete examples are given to illustrate the results. As applications, we provide representation formulas for the control solutions to McKean-Vlasov BSDEs and derive gradient estimates for related PDEs.


title: Finite-Time stabilization of linear systems with unknown control direction via Extremum Seeking

abstract: In this paper the finite-time stabilization problem is solved for a linear time-varying system with unknown control direction by exploiting a modified version of the classical extremum seeking algorithm. We propose to use a suitable oscillatory input to modify the system dynamics, at least in an average sense, so as to satisfy a Differential Linear Matrix Inequality (DLMI) condition which in turns guarantees that the system's state remains inside a prescribed time varying hyper-ellipsoid in the state space. The finite-time stability (FTS) of the averaged dynamics implies the FTS of the original system, as the distance between the original and the averaged dynamics can be made arbitrarily small by choosing a sufficiently high value of the dithering frequency used by the extremum seeking algorithm. An estimate of the necessary minimum dithering/mixing frequency is provided, and the effectiveness of the proposed finite-time stabilization approach is analysed by means of numerical examples.


title: ComPass: Proximity Aware Common Passphrase Agreement Protocol for Wi-Fi devices Using Physical Layer Security

abstract: Secure and scalable device provisioning is a notorious challenge in Wi-Fi. WPA2/WPA3 solutions take user interaction and a strong passphrase for granted. However, the often weak passphrases are subject to guessing attacks. Notably, there has been a significant rise of cyberattacks on Wi-Fi home or small office networks during the COVID-19 pandemic. This paper addresses the device provisioning problem in Wi-Fi (personal mode) and proposes ComPass protocol to supplement WPA2/WPA3. ComPass replaces the pre-installed or user-selected passphrases with automatically generated ones. For this, ComPass employs Physical Layer Security and extracts credentials from common random physical layer parameters between devices. Two major features make ComPass unique and superior compared to previous proposals: First, it employs phase information (rather than amplitude or signal strength) to generate the passphrase so that it is robust, scaleable, and impossible to guess. Our analysis showed that ComPass generated passphrases have 3 times more entropy than human generated passphrases (113-bits vs. 34-bits). Second, ComPass selects parameters such that two devices bind only within a certain proximity (less than 3m), hence providing practically useful in-build PLS-based authentiation. ComPass is available as a kernel module or as full firmware.