title: Dissecting Energy Consumption of NB-IoT Devices Empirically

abstract: 3GPP has recently introduced NB-IoT, a new mobile communication standard offering a robust and energy efficient connectivity option to the rapidly expanding market of Internet of Things (IoT) devices. To unleash its full potential, end-devices are expected to work in a plug and play fashion, with zero or minimal parameters configuration, still exhibiting excellent energy efficiency. We perform the most comprehensive set of empirical measurements with commercial IoT devices and different operators to date, quantifying the impact of several parameters to energy consumption. Our campaign proves that parameters setting does impact energy consumption, so proper configuration is necessary. We shed light on this aspect by first illustrating how the nominal standard operational modes map into real current consumption patterns of NB-IoT devices. Further, we investigate which device reported metadata metrics better reflect performance and implement an algorithm to automatically identify device state in current time series logs. Then, we provide a measurement-driven analysis of the energy consumption and network performance of two popular NB-IoT boards under different parameter configurations and with two major western European operators. We observed that energy consumption is mostly affected by the paging interval in Connected state, set by the base station. However, not all operators correctly implement such settings. Furthermore, under the default configuration, energy consumption in not strongly affected by packet size nor by signal quality, unless it is extremely bad. Our observations indicate that simple modifications to the default parameters settings can yield great energy savings.


title: Non-maximal sensitivity to synchronism in periodic elementary cellular automata: exact asymptotic measures

abstract: In [11] and [13] the authors showed that elementary cellular automata rules 0, 3, 8, 12, 15, 28, 32, 34, 44, 51, 60, 128, 136, 140, 160, 162, 170, 200 and 204 (and their conjugation, reflection, reflected-conjugation) are not maximum sensitive to synchronism, i.e. they do not have a different dynamics for each (non-equivalent) block-sequential update schedule (defined as ordered partitions of cell positions). In this work we present exact measurements of the sensitivity to synchronism for these rules, as functions of the size. These exhibit a surprising variety of values and associated proof methods, such as the special pairs of rule 128, and the connection to the bissection of Lucas numbers of rule 8.


title: Millimeter-Wave Huygens' Transmit-Arrays based on Coupled Metallic Resonators

abstract: A novel Huygens' transmit-array is proposed based on a coupled-resonator approach where two identical elliptical metallic patches with an elliptical hole separated by a dielectric substrate has been used to demonstrate millimeter-wave (mm-Wave) beam-forming for linear polarization. The proposed structure is simple and compatible with standard Printed Circuit Board (PCB) processes and utilizes a single dielectric substrate only. It is shown that by engineering the geometrical dimensions of the resonator, its electric (even-mode) and magnetic (odd-mode) resonances are excited in a balanced manner to achieve zero back-scattering in a large bandwidth. This operation principle of the proposed Huygens' cell is explained in details using both an insightful equivalent circuit model, as well as full-wave eigenmode analysis. Next, the proposed Huygens' cell is placed on top of a high gain 2D slot-array antenna, in its near-field, to engineer its aperture field distribution, where the resulting Huygens' transmit-array acts as a broadband phase plate. Several transmit-array prototypes designed around the 60 GHz frequency band are demonstrated and experimentally characterized in both their near and far-fields, to achieve difference pattern generation, beam expansion and beam steering as application examples, in addition to a uniform surface demonstrating its low-loss performance. Further discussions related to the unit cell size vs frequency bandwidth trade-offs and future extension to handling circular polarization are finally provided.


title: The Road to 6G: Ten Physical Layer Challenges for Communications Engineers

abstract: While the deployment of 5G cellular systems will continue well in to the next decade, much interest is already being generated towards technologies that will underlie its successor, 6G. Undeniably, 5G will have transformative impact on the way we live and communicate, yet, it is still far away from supporting the Internet-of-Everything (IoE), where upwards of a million devices per $\textrm{km}^3$ (both terrestrial and aerial) will require ubiquitous, reliable, low-latency connectivity. This article looks at some of the fundamental problems that pertain to key physical layer enablers for 6G. This includes highlighting challenges related to intelligent reflecting surfaces, cell-free massive MIMO and THz communications. Our analysis covers theoretical modeling challenges, hardware implementation issues and scalability among others. The article concludes by delineating the critical role of signal processing in the new era for wireless communications.


title: Latin Hypercubes and Cellular Automata

abstract: Latin squares and hypercubes are combinatorial designs with several applications in statistics, cryptography and coding theory. In this paper, we generalize a construction of Latin squares based on bipermutive cellular automata (CA) to the case of Latin hypercubes of dimension $k>2$. In particular, we prove that linear bipermutive CA (LBCA) yielding Latin hypercubes of dimension $k>2$ are defined by sequences of invertible Toeplitz matrices with partially overlapping coefficients, which can be described by a specific kind of regular de Bruijn graph induced by the support of the determinant function. Further, we derive the number of $k$-dimensional Latin hypercubes generated by LBCA by counting the number of paths of length $k-3$ on this de Bruijn graph.


title: Hiring Fairly in the Age of Algorithms

abstract: Widespread developments in automation have reduced the need for human input. However, despite the increased power of machine learning, in many contexts these programs make decisions that are problematic. Biases within data and opaque models have amplified human prejudices, giving rise to such tools as Amazon's (now defunct) experimental hiring algorithm, which was found to consistently downgrade resumes when the word "women's" was added before an activity. This article critically surveys the existing legal and technological landscape surrounding algorithmic hiring. We argue that the negative impact of hiring algorithms can be mitigated by greater transparency from the employers to the public, which would enable civil advocate groups to hold employers accountable, as well as allow the U.S. Department of Justice to litigate. Our main contribution is a framework for automated hiring transparency, algorithmic transparency reports, which employers using automated hiring software would be required to publish by law. We also explain how existing regulations in employment and trade secret law can be extended by the Equal Employment Opportunity Commission and Congress to accommodate these reports.


title: Fingerprints of the Strong Interaction between Monolayer MoS2 and Gold

abstract: Gold-mediated exfoliation of MoS2 has attracted considerable interest in the recent years. A strong interaction between MoS2 and Au facilitates preferential production of centimeter-sized monolayer MoS2 with near-unity yield and provides a heterostructure system noteworthy from a fundamental standpoint. However, little is known about the detailed nature of the MoS2-Au interaction and its evolution with the MoS2 thickness. Here, we identify specific vibrational and binding energy fingerprints of such strong interaction using Raman and X-ray photoelectron spectroscopy, which indicate substantial strain and charge-transfer in monolayer MoS2. Near-field tip-enhanced Raman spectroscopy reveals heterogeneity of the MoS2-Au interaction at the nanoscale, reflecting the spatial non-conformity between the two materials. Far-field micro-Raman spectroscopy shows that this interaction is strongly affected by the roughness and cleanliness of the underlying Au. Our results elucidate the nature of the strong MoS2-Au interaction and provide guidance for strain and charge doping engineering of MoS2.


title: Atmospheric stability and collapse on tidally locked rocky planets

abstract: Over large timescales, a terrestrial planet may be driven towards spin-orbit synchronous rotation by tidal forces. In this particular configuration, the planet exhibits permanent dayside and nightside, which may induce strong day-night temperature gradients. The nightside temperature depends on the efficiency of the day-night heat redistribution and determines the stability of the atmosphere against collapse. To better constrain the atmospheric stability, climate, and surface conditions of rocky planets located in the habitable zone of their host star, it is thus crucial to understand the complex mechanism of heat redistribution. Building on early works and assuming dry thermodynamics, we developed a hierarchy of analytic models taking into account the coupling between radiative transfer, dayside convection, and large-scale atmospheric circulation in the case of slowly rotating planets. There are two types of these models: a zero-dimensional two-layer approach and a two-column radiative-convective-subsiding-upwelling (RCSU) model. They yield analytical solutions and scaling laws characterising the dependence of the collapse pressure on physical features, which are compared to the results obtained by early works using 3D global climate models (GCMs). The analytical theory captures (i) the dependence of temperatures on atmospheric opacities and scattering in the shortwave and in the longwave, (ii) the behaviour of the collapse pressure observed in GCM simulations at low stellar fluxes that are due to the non-linear dependence of the atmospheric opacity on the longwave optical depth at the planet's surface, (iii) the increase of stability generated by dayside sensible heating, and (iv) the decrease of stability induced by the increase of the planet size.


title: A 5G NR based System Architecture for Real-Time Control with Batteryless RFID Sensors

abstract: The fifth-generation wireless networking (5G) technologies have been developed to meet various time-critical use cases with ultra-reliable, low-latency and massive machine-type communications which are indispensable for tactile Internet applications. Recent advancements in very low-cost and batteryless radio-frequency identification (RFID) sensors have given promises of deploying a massive amount of such sensors for real-time sensing and control applications on a 5G New Radio (NR) network. However, the system design and performance of such applications have not been well studied. This paper proposes a novel system architecture for the representative batteryless RFID touch sensors in generic real-time control applications in a 5G NR mmWave environment. We will discuss the solution using edge computing nodes on the 5G NR base station to the implementation of the proposed system architecture. The real-time performance evaluation with the comparison of the Long-Term Evolution (LTE) networks has shown the effectiveness of the proposed system architecture.


title: Transfer-Learning-Aware Neuro-Evolution for Diseases Detection in Chest X-Ray Images

abstract: The neural network needs excessive costs of time because of the complexity of architecture when trained on images. Transfer learning and fine-tuning can help improve time and cost efficiency when training a neural network. Yet, Transfer learning and fine-tuning needs a lot of experiment to try with. Therefore, a method to find the best architecture for transfer learning and fine-tuning is needed. To overcome this problem, neuro-evolution using a genetic algorithm can be used to find the best architecture for transfer learning. To check the performance of this study, dataset ChestX-Ray 14 and DenseNet-121 as a base neural network model are used. This study used the AUC score, differences in execution time for training, and McNemar's test to the significance test. In terms of result, this study got a 5% difference in the AUC score, 3 % faster in terms of execution time, and significance in most of the disease detection. Finally, this study gives a concrete summary of how neuro-evolution transfer learning can help in terms of transfer learning and fine-tuning.


title: On the profinite rigidity of triangle groups

abstract: We prove that certain Fuchsian triangle groups are profinitely rigid in the absolute sense, i.e. each is distinguished from all other finitely generated, residually finite groups by its set of finite quotients. We also develop a method based on character varieties that can be used to distinguish between the profinite completions of certain groups.


title: Qubit Mapping Based on Subgraph Isomorphism and Filtered Depth-Limited Search

abstract: Mapping logical quantum circuits to Noisy Intermediate-Scale Quantum (NISQ) devices is a challenging problem which has attracted rapidly increasing interests from both quantum and classical computing communities. This paper proposes an efficient method by (i) selecting an initial mapping that takes into consideration the similarity between the architecture graph of the given NISQ device and a graph induced by the input logical circuit; and (ii) searching, in a filtered and depth-limited way, a most useful SWAP combination that makes executable as many as possible two-qubit gates in the logical circuit. The proposed circuit transformation algorithm can significantly decrease the number of auxiliary two-qubit gates required to be added to the logical circuit, especially when it has a large number of two-qubit gates. For an extensive benchmark set of 131 circuits and IBM's current premium Q system, viz., IBM Q Tokyo, our algorithm needs, in average, 0.4346 extra two-qubit gates per input two-qubit gate, while the corresponding figures for three state-of-the-art algorithms are 0.6047, 0.8154, and 1.0067 respectively.


title: Detection of sub-degree fluctuations of the local cellmembrane slope using optical tweezers

abstract: Normal thermal fluctuations of the cell membrane have been studied extensively using high resolution microscopy and focused light, particularly at the peripheral regions of a cell. We use a single probe particle attached non-specifically to the cell-membrane to determine that the power spectral density is proportional to (frequency)^(-1.66) in the range of 5 Hz to 1 kHz. We also use a new technique to simultaneously ascertain the slope fluctuations of the membrane by relying upon the determination of pitch motion of the birefringent probe particle trapped in linearly polarized optical tweezers. In the process, we also develop the technique to identify pitch rotation to a high resolu-tion using optical tweezers. We find that the power spectrum of slope fluctuations is proportional to 1/(frequency), which we also explain theoretically. We find that we can extract parameters like bending rigidity directly from the coefficient of the power spectrum particularly at high frequencies,instead of being convoluted with other parameters, thereby improving the accuracy of estimation.We anticipate this technique for determination of the pitch angle in spherical particles to high resolution as a starting point for many interesting studies using the optical tweezers


title: A Study of Blockchain Oracles

abstract: The limitation with smart contracts is that they cannot access external data which might be required to control the execution of business logic. Oracles can be used to provide external data to smart contracts. An oracle is an interface that delivers data from external data outside the blockchain to a smart contract to consume. Oracle can deliver different types of data depending on the industry and requirements. In this paper, we study and describe the widely used blockchain oracles. Then, we elaborate on his potential role, technical architecture, and design patterns. Finally, we discuss the human oracle and his key role in solving the truth problem by reaching a consensus about a certain inquiry and tasks.


title: From Understanding Genetic Drift to a Smart-Restart Parameter-less Compact Genetic Algorithm

abstract: One of the key difficulties in using estimation-of-distribution algorithms is choosing the population size(s) appropriately: Too small values lead to genetic drift, which can cause enormous difficulties. In the regime with no genetic drift, however, often the runtime is roughly proportional to the population size, which renders large population sizes inefficient. Based on a recent quantitative analysis which population sizes lead to genetic drift, we propose a parameter-less version of the compact genetic algorithm that automatically finds a suitable population size without spending too much time in situations unfavorable due to genetic drift. We prove a mathematical runtime guarantee for this algorithm and conduct an extensive experimental analysis on four classic benchmark problems both without and with additive centered Gaussian posterior noise. The former shows that under a natural assumption, our algorithm has a performance very similar to the one obtainable from the best problem-specific population size. The latter confirms that missing the right population size in the original cGA can be detrimental and that previous theory-based suggestions for the population size can be far away from the right values; it also shows that our algorithm as well as a previously proposed parameter-less variant of the cGA based on parallel runs avoid such pitfalls. Comparing the two parameter-less approaches, ours profits from its ability to abort runs which are likely to be stuck in a genetic drift situation.


title: Examples of diffeomorphic complete intersections with different Hodge numbers

abstract: In this paper, we give three pairs of complex 3-dim complete intersections and a pair of complex 5-dim complete intersections, and every pair of them is diffeomorphic but with different Hodge numbers. Moreover, the diffeomorphic complex 3-dim complete intersections have different Chern mumbers $c_1^3, c_1c_2$.


title: Standardisation of practices in Open Source Hardware

abstract: Standardisation is an important component in the maturation of any field of technology. It contributes to the formation of a recognisable identity and enables interactions with a wider community. This article reviews past and current standardisation initiatives in the field of Open Source Hardware (OSH). While early initiatives focused on aspects such as licencing, intellectual property and documentation formats, recent efforts extend to ways for users to exercise their rights under open licences and to keep OSH projects discoverable and accessible online. We specifically introduce two standards that are currently being released and call for early users and contributors, the DIN SPEC 3105 and the Open Know How Manifest Specification. Finally, we reflect on challenges around standardisation in the community and relevant areas for future development such as an open tool chain, modularity and hardware specific interface standards.


title: Nonlocal KdV Equations

abstract: Writing the Hirota-Satsuma (HS) system of equations in a symmetrical form we find its local and new nonlocal reductions. It turns out that all reductions of the HS system are Korteweg-de Vries (KdV), complex KdV, and new nonlocal KdV equations. We obtain one-soliton solutions of these KdV equations by using the method of Hirota bilinearization.


title: Effect of chemical and hydrostatic pressure on the coupled magnetostructural transition of Ni-Mn-In Heusler alloys

abstract: Ni-Mn-In magnetic shape-memory Heusler alloys exhibit generally a large thermal hysteresis at their first-order martensitic phase transition which hinder a technological application in magnetic refrigeration. By optimizing the Cu content in Ni$_2$Cu$_x$Mn$_{1.4-x}$In$_{0.6}$, we obtained a thermal hysteresis of the martensitic phase transition in Ni$_{2}$Cu$_{0.2}$Mn$_{1.2}$In$_{0.6}$ of only 6 K. We can explain this very small hysteresis by an almost perfect habit plane at the interface of martensite and austenite phases. Application of hydrostatic pressure does not reduce the hysteresis further, but shifts the martensitic transition close to room temperature. The isothermal entropy change does not depend on warming or cooling protocols and is pressure independent. Experiments in pulsed-magnetic fields on Ni$_{2}$Cu$_{0.2}$Mn$_{1.2}$In$_{0.6}$ find a reversible magnetocaloric effect with a maximum adiabatic temperature change of -13 K.


title: The dimensional Brunn-Minkowski inequality in Gauss space

abstract: Let $\gamma_n$ be the standard Gaussian measure on $\mathbb{R}^n$. We prove that for every symmetric convex sets $K,L$ in $\mathbb{R}^n$ and every $\lambda\in(0,1)$, $$\gamma_n(\lambda K+(1-\lambda)L)^{\frac{1}{n}} \geq \lambda \gamma_n(K)^{\frac{1}{n}}+(1-\lambda)\gamma_n(L)^{\frac{1}{n}},$$ thus settling a problem raised by Gardner and Zvavitch (2010). This is the Gaussian analogue of the classical Brunn-Minkowski inequality for the Lebesgue measure. We also show that, for a fixed $\lambda\in(0,1)$, equality is attained if and only if $K=L$.


title: Tur\'an and Ramsey-type results for unavoidable subgraphs

abstract: We study Tur\'an and Ramsey-type problems on edge-colored graphs. An edge-colored graph is called {\em $\varepsilon$-balanced} if each color class contains at least an $\varepsilon$-proportion of its edges. Given a family $\mathcal{F}$ of edge-colored graphs, the Ramsey function $R(\varepsilon, \mathcal{F})$ is the smallest $n$ for which any $\varepsilon$-balanced $K_n$ must contain a copy of an $F\in\mathcal{F}$, and the Tur\'an function $\mathrm{ex}(\varepsilon, n, \mathcal{F})$ is the maximum number of edges in an $n$-vertex $\varepsilon$-balanced graph which avoids all of $\mathcal{F}$. In this paper, we consider this Tur\'an function for several classes of edge-colored graphs, we show that the Ramsey function is linear for bounded degree graphs, and we prove a theorem that gives a relationship between the two parameters.


title: A posteriori error analysis of a local adaptive discontinuous Galerkin method for convection-diffusion-reaction equations

abstract: We introduce a local adaptive discontinuous Galerkin method for convection-diffusion-reaction equations. The proposed method is based on a coarse grid and iteratively improves the solution's accuracy by solving local elliptic problems in refined subdomains. For purely diffusion problems, we already proved that this scheme converges under minimal regularity assumptions [A. Abdulle and G.Rosilho de Souza, ESAIM: M2AN, 53(4):1269--1303, 2019]. In this paper, we provide an algorithm for the automatic identification of the local elliptic problems' subdomains employing a flux reconstruction strategy. Reliable error estimators are derived for the local adaptive method. Numerical comparisons with a classical nonlocal adaptive algorithm illustrate the efficiency of the method.


title: Cohomology rings of finite-dimensional pointed Hopf algebras over abelian groups

abstract: We show that the cohomology ring of a finite-dimensional complex pointed Hopf algebra with an abelian group of group-like elements is finitely generated. Our strategy has three major steps. We first reduce the problem to the finite generation of cohomology of finite dimensional Nichols algebras of diagonal type. For the Nichols algebras we do a detailed analysis of cohomology via the Anick resolution reducing the problem further to specific combinatorial properties. Finally, to check these properties we turn to the classification of Nichols algebras of diagonal type due to Heckenberger. In this paper we complete the verification of these combinatorial properties for major parametric families, including Nichols algebras of Cartan and super types and develop all the theoretical foundations necessary for the case-by-case analysis. The remaining discrete families are addressed in a separate publication. As an application of the main theorem we deduce finite generation of cohomology for other classes of finite-dimensional Hopf algebras, including basic Hopf algebras with abelian groups of characters and finite quotients of quantum groups at roots of one.


title: Provable Overlapping Community Detection in Weighted Graphs

abstract: Community detection is a widely-studied unsupervised learning problem in which the task is to group similar entities together based on observed pairwise entity interactions. This problem has applications in diverse domains such as social network analysis and computational biology. There is a significant amount of literature studying this problem under the assumption that the communities do not overlap. When the communities are allowed to overlap, often a pure nodes assumption is made, i.e. each community has a node that belongs exclusively to that community. This assumption, however, may not always be satisfied in practice. In this paper, we provide a provable method to detect overlapping communities in weighted graphs without explicitly making the pure nodes assumption. Moreover, contrary to most existing algorithms, our approach is based on convex optimization, for which many useful theoretical properties are already known. We demonstrate the success of our algorithm on artificial and real-world datasets.


title: An algorithmic framework for colouring locally sparse graphs

abstract: We develop an algorithmic framework for graph colouring that reduces the problem to verifying a local probabilistic property of the independent sets. With this we give, for any fixed $k\ge 3$ and $\varepsilon>0$, a randomised polynomial-time algorithm for colouring graphs of maximum degree $\Delta$ in which each vertex is contained in at most $t$ copies of a cycle of length $k$, where $1/2\le t\le \Delta^\frac{2\varepsilon}{1+2\varepsilon}/(\log\Delta)^2$, with $\lfloor(1+\varepsilon)\Delta/\log(\Delta/\sqrt t)\rfloor$ colours. This generalises and improves upon several notable results including those of Kim (1995) and Alon, Krivelevich and Sudakov (1999), and more recent ones of Molloy (2019) and Achlioptas, Iliopoulos and Sinclair (2019). This bound on the chromatic number is tight up to an asymptotic factor $2$ and it coincides with a famous algorithmic barrier to colouring random graphs.


title: $L^p$-estimates of extensions of holomorphic functions defined on a non-reduced subvariety

abstract: Let $D$ be a strictly pseudoconvex domain in $\C^N$ and $X$ a pure-dimensional non-reduced subvariety that behaves well at $\partial D$. We provide $L^p$-estimates of extensions of holomorphic functions defined on $X$.


title: Dynamic wetting and heat transfer during droplet impact on heated bi-phobic wettability-patterned surfaces

abstract: This paper reports the dynamic wetting behavior and heat transfer characteristics for impinging droplets on heated bi-phobic surfaces (superhydrophobic matrix with hydrophobic spots). A non-patterned superhydrophobic and a sticky hydrophobic surface acted as control wettability surfaces. As expected, differences in wetting and heat transfer dynamics were noticeable for all surfaces, with the most pronounced variation during the receding phase. During spreading, inertia from the impact dominated the droplet dynamics and heat transfer was dominated by convection at the contact line and internal flow. As contact line velocities decreased over time, evaporative cooling at the contact line gained importance, especially for the bi-phobic surfaces, where liquid remained trapped on the hydrophobic spots during receding. These satellite droplets increased the contact area and contact line length, and assisted heat transfer and substrate cooling after lift-off of the main droplet. Compared with the hydrophobic surface, the contribution of the contact line heat transfer increased by 17 to 27% on the bi-phobic surfaces, depending on the location of impact relative to the hydrophobic spots. Nonetheless, the bi-phobic surfaces had a lower total thermal energy transfer. However, compared with the plain superhydrophobic surface, heat transfer was enhanced by 33% to 46% by patterning the surface. Depending on the application, a trade-off exists between the different surfaces: the sticky hydrophobic surface provides the best cooling efficiency, yet is prone to flooding, whereas the superhydrophobic surface repels the liquid, but has poor cooling efficiency. The bi-phobic surfaces provide a middle path with reasonable cooling effectiveness and low flooding probability.


title: Theory of Domain-Wall Magnetoresistance in Metallic Antiferromagnets

abstract: We develop a theory to compute the domain-wall magnetoresistance (DWMR) in antiferromagnetic (AFM) metals with different spin structures. In the diffusive transport regime, the DWMR can be either {\it negative} or positive depending on the domain-wall orientation and spin structure. In contrast, when the transport is in the ballistic regime, the DWMR is always positive, and the magnitude depends on the width and orientation of the domain wall. Our results pave the way of using electrical measurements for probing the internal spin structure in antiferromagnetic metals.


title: Bootstrapped model learning and error correction for planning with uncertainty in model-based RL

abstract: Having access to a forward model enables the use of planning algorithms such as Monte Carlo Tree Search and Rolling Horizon Evolution. Where a model is unavailable, a natural aim is to learn a model that reflects accurately the dynamics of the environment. In many situations it might not be possible and minimal glitches in the model may lead to poor performance and failure. This paper explores the problem of model misspecification through uncertainty-aware reinforcement learning agents. We propose a bootstrapped multi-headed neural network that learns the distribution of future states and rewards. We experiment with a number of schemes to extract the most likely predictions. Moreover, we also introduce a global error correction filter that applies high-level constraints guided by the context provided through the predictive distribution. We illustrate our approach on Minipacman. The evaluation demonstrates that when dealing with imperfect models, our methods exhibit increased performance and stability, both in terms of model accuracy and in its use within a planning algorithm.


title: Balancing Wildfire Risk and Power Outages through Optimized Power Shut-Offs

abstract: Electric grid faults can cause catastrophic wildfires, particularly in regions with high winds and low humidity. In real-time operations, electric utilities are often left with few options for wildfire risk mitigation, leading to use of disruptive measures such as proactive de-energization of equipment, frequently referred to as public safety power shut-offs. Such power shut-offs have significant impacts on customers, who experience power cuts in an attempt to protect them from fires. This work proposes the optimal power shut-off problem, an optimization model to support short-term operational decision making in the context of extreme wildfire risk. Specifically, the model optimizes grid operations to maximize the amount of power that can be delivered, while proactively minimizing the risk of wildfire ignitions by selectively de-energizing components in the grid. This is the first optimization model to consider how preventive wildfire risk measures impact both wildfire risk \emph{and} power systems reliability at a short-term, operational time-frame. The effectiveness of the method is demonstrated on an augmented version of the RTS-GMLC test case, located in Southern California, and compared against two approaches based on simple risk thresholds. The proposed optimization-based model reduces both wildfire risk and lost load shed relative to the benchmarks.


title: Massively parallel ultrafast random bit generation with a chip-scale laser

abstract: Random numbers are widely used for information security, cryptography, stochastic modeling, and quantum simulations. Key technical challenges for physical random number generation are speed and scalability. We demonstrate a method for ultrafast generation of hundreds of random bit streams in parallel with a single laser diode. Spatio-temporal interference of many lasing modes in a specially designed cavity is introduced as a scheme for greatly accelerated random bit generation. Spontaneous emission, caused by quantum fluctuations, produces stochastic noise that makes the bit streams unpredictable. We achieve a total bit rate of 250 terabits per second with off-line post-processing, which is more than two orders of magnitude higher than the current post-processing record. Our approach is robust, compact, and energy efficient with potential applications in secure communication and high-performance computation.


title: Special cycles on unitary Shimura curves at ramified primes

abstract: In this paper, we study special cycles on the Kr\"amer model of $\mathrm{U}(1,1)(F/F_0)$-Rapoport-Zink spaces where $F/F_0$ is a ramified quadratic extension of $p$-adic number fields with the assumption that the $2$-dimensional hermitian space of special quasi-homomorphisms is anisotropic. We write down the decomposition of these special cycles and prove a version of Kudla-Rapoport conjecture in this case. We then apply the local results to compute the intersection numbers of special cycles on unitary Shimura curves and relate these intersection numbers to Fourier coefficients of central derivatives of certain Eisenstein series.


title: PALM: Pre-training an Autoencoding&Autoregressive Language Model for Context-conditioned Generation

abstract: Self-supervised pre-training, such as BERT, MASS and BART, has emerged as a powerful technique for natural language understanding and generation. Existing pre-training techniques employ autoencoding and/or autoregressive objectives to train Transformer-based models by recovering original word tokens from corrupted text with some masked tokens. The training goals of existing techniques are often inconsistent with the goals of many language generation tasks, such as generative question answering and conversational response generation, for producing new text given context. This work presents PALM with a novel scheme that jointly pre-trains an autoencoding and autoregressive language model on a large unlabeled corpus, specifically designed for generating new text conditioned on context. The new scheme alleviates the mismatch introduced by the existing denoising scheme between pre-training and fine-tuning where generation is more than reconstructing original text. An extensive set of experiments show that PALM achieves new state-of-the-art results on a variety of language generation benchmarks covering generative question answering (Rank 1 on the official MARCO leaderboard), abstractive summarization on CNN/DailyMail as well as Gigaword, question generation on SQuAD, and conversational response generation on Cornell Movie Dialogues.


title: Residual-driven Fuzzy C-Means Clustering for Image Segmentation

abstract: Due to its inferior characteristics, an observed (noisy) image's direct use gives rise to poor segmentation results. Intuitively, using its noise-free image can favorably impact image segmentation. Hence, the accurate estimation of the residual between observed and noise-free images is an important task. To do so, we elaborate on residual-driven Fuzzy C-Means (FCM) for image segmentation, which is the first approach that realizes accurate residual estimation and leads noise-free image to participate in clustering. We propose a residual-driven FCM framework by integrating into FCM a residual-related fidelity term derived from the distribution of different types of noise. Built on this framework, we present a weighted $\ell_{2}$-norm fidelity term by weighting mixed noise distribution, thus resulting in a universal residual-driven FCM algorithm in presence of mixed or unknown noise. Besides, with the constraint of spatial information, the residual estimation becomes more reliable than that only considering an observed image itself. Supporting experiments on synthetic, medical, and real-world images are conducted. The results demonstrate the superior effectiveness and efficiency of the proposed algorithm over existing FCM-related algorithms.


title: Radar-assisted Predictive Beamforming for Vehicle-to-Infrastructure Links

abstract: In this paper, we propose a radar-assisted predictive beamforming design for vehicle-to-infrastructure (V2I) communication by relying on the joint sensing and communication functionalities at road side units (RSUs). We present a novel extended Kalman filtering (EKF) framework to track and predict kinematic parameters of the vehicle. By exploiting the radar functionality of the RSU we show that the communication beam tracking overheads can be drastically reduced. Numerical results have demonstrated that the proposed radar-assisted approach significantly outperforms the communication-only feedback based technique in both the angle tracking and the downlink communication.


title: On Linear Optimization over Wasserstein Balls

abstract: Wasserstein balls, which contain all probability measures within a pre-specified Wasserstein distance to a reference measure, have recently enjoyed wide popularity in the distributionally robust optimization and machine learning communities to formulate and solve data-driven optimization problems with rigorous statistical guarantees. In this technical note we prove that the Wasserstein ball is weakly compact under mild conditions, and we offer necessary and sufficient conditions for the existence of optimal solutions. We also characterize the sparsity of solutions if the Wasserstein ball is centred at a discrete reference measure. In comparison with the existing literature, which has proved similar results under different conditions, our proofs are self-contained and shorter, yet mathematically rigorous, and our necessary and sufficient conditions for the existence of optimal solutions are easily verifiable in practice.


title: High Codimension Mean Curvature Flow with Surgery

abstract: We give a proof of the existence of the mean curvature flow with surgery in high codimension for suitably pinched second fundamental form. As an application we show that pinched high codimension submanifolds are diffeomorphic to $\mathbb{S}^{n}$ or a finite connected sum of $\mathbb{S}^{n-1}\times \mathbb{S}^1$.


title: Prospects for the Use of Laboratory Sources for X-ray Reflectometry of Thin Films on a Liquid Surface

abstract: The authors present a review of the systematic studies of the structure of macroscopically planar thin films at the air-liquid interface (water, alkali solution and silica hydrosol). A common feature of the considered works is the application of a model-independent approach to the analysis of X-ray reflectometry data, which does not require a priori assumptions about the structure of the object under study. It is shown that the experimental results obtained with the laboratory source in some cases are qualitatively on par with the results of those obtained with the use of synchrotron radiation source. The reproducibility of the effect of spontaneous ordering in films of amphiphilic organic molecules (phospholipids) at the surface of the colloidal solution of silica nanoparticles is demonstrated. The possibility of influencing the kinetics of the in situ formation of a phospholipid film by enriching the liquid substrate with alkali metal ions is also discussed.


title: A recurrent cycle consistency loss for progressive face-to-face synthesis

abstract: This paper addresses a major flaw of the cycle consistency loss when used to preserve the input appearance in the face-to-face synthesis domain. In particular, we show that the images generated by a network trained using this loss conceal a noise that hinders their use for further tasks. To overcome this limitation, we propose a ''recurrent cycle consistency loss" which for different sequences of target attributes minimises the distance between the output images, independent of any intermediate step. We empirically validate not only that our loss enables the re-use of generated images, but that it also improves their quality. In addition, we propose the very first network that covers the task of unconstrained landmark-guided face-to-face synthesis. Contrary to previous works, our proposed approach enables the transfer of a particular set of input features to a large span of poses and expressions, whereby the target landmarks become the ground-truth points. We then evaluate the consistency of our proposed approach to synthesise faces at the target landmarks. To the best of our knowledge, we are the first to propose a loss to overcome the limitation of the cycle consistency loss, and the first to propose an ''in-the-wild'' landmark guided synthesis approach. Code and models for this paper can be found in https://github.com/ESanchezLozano/GANnotation


title: Mobile impurity in a Bose-Einstein condensate and the orthogonality catastrophe

abstract: We analyze the properties of an impurity in a dilute Bose-Einstein condensate (BEC). First the quasiparticle residue of a static impurity in an ideal BEC is shown to vanish with increasing particle number as a stretched exponential, leading to a bosonic orthogonality catastrophe. Then we introduce a variational ansatz, which recovers this exact result and describes the macroscopic dressing of the impurity including its back-action onto the BEC as well as boson-boson repulsion beyond the Bogoliubov approximation. This ansatz predicts that the orthogonality catastrophe also occurs for mobile impurities, whenever the BEC becomes ideal. Finally, we show that our ansatz agrees well with experimental results.


title: On minimal degree of transitive permutation groups with stabiliser being a $2$-group

abstract: The minimal degree of a permutation group $G$ is defined as the minimal number of non-fixed points of a non-trivial element of $G$. In this paper we show that if $G$ is a transitive permutation group of degree $n$ having no non-trivial normal $2$-subgroups such that the stabiliser of a point is a $2$-group, then the minimal degree of $G$ is at least $\frac{2}{3}n$. The proof depends on the classification of finite simple groups.


title: A new phenomenological definition of entropy and application to black holes

abstract: Typically, the entropy of an isolated system in equilibrium is calculated by counting the number of accessible microstates, or in more general cases by using the Gibbs formula. In irreversible processes entropy spontaneously increases and this is understood from statistical arguments. We propose a new measure of entropy based on the level of irreversibility of a process. This formulation agrees in first approximation with the usual methods of calculating entropy and can be readily applied in the case of a black hole in the semiclassical regime.


title: Crossed products of dual operator spaces and a characterization of groups with the approximation property

abstract: Let $ G $ be a locally compact group. We study the categories of $ L^{\infty}(G) $-comodules and $ L(G) $-comodules in the setting of dual operator spaces and the associated crossed products. It is proved that every $ L^{\infty}(G) $-comodule is non-degenerate and saturated, whereas every $ L(G) $-comodule is non-degenerate if and only if every $ L(G) $-comodule is saturated if and only if $ G $ has the approximation property in the sense of Haagerup and Kraus [14]. This allows us to extend known results from the duality theory of crossed products of von Neumann algebras (such as Takesaki-duality and the Digernes-Takesaki theorem) to the recent theory of crossed products of dual operator spaces. As applications, we obtain a characterization of groups with the approximation property in terms of the related crossed products improving a recent result of Crann and Neufang [9] and we generalize a theorem of Anoussis, Katavolos and Todorov [2] providing a less technical proof of it. Furthermore, this approach provides an answer to a question raised by the authors in [2].


title: Energy Efficient and Delay Aware Vehicular Edge Cloud

abstract: Vehicular Edge Clouds (VECs) is a new distributed processing paradigm that exploits the revolution in the processing capabilities of vehicles to offer energy efficient services and improved QoS. In this paper we tackle the problem of processing allocation in a cloud-fog-VEC architecture by developing a joint optimization Mixed Integer Linear Programming (MILP) model to minimize power consumption, propagation delay, and queuing delay. The results show that while VEC processing can reduce the power consumption and propagation delay, VEC processing can increase the queuing delay because of the low data rate connectivity between the vehicles and the data source nodes.


title: Musical Features for Automatic Music Transcription Evaluation

abstract: This technical report gives a detailed, formal description of the features introduced in the paper: Adrien Ycart, Lele Liu, Emmanouil Benetos and Marcus T. Pearce. "Investigating the Perceptual Validity of Evaluation Metrics for Automatic Piano Music Transcription", Transactions of the International Society for Music Information Retrieval (TISMIR), Accepted, 2020.


title: New congruences involving Ap\'ery-like numbers

abstract: In this paper we present many congruences for several Ap\'ery-like sequences.


title: Bias in Multimodal AI: Testbed for Fair Automatic Recruitment

abstract: The presence of decision-making algorithms in society is rapidly increasing nowadays, while concerns about their transparency and the possibility of these algorithms becoming new sources of discrimination are arising. In fact, many relevant automated systems have been shown to make decisions based on sensitive information or discriminate certain social groups (e.g. certain biometric systems for person recognition). With the aim of studying how current multimodal algorithms based on heterogeneous sources of information are affected by sensitive elements and inner biases in the data, we propose a fictitious automated recruitment testbed: FairCVtest. We train automatic recruitment algorithms using a set of multimodal synthetic profiles consciously scored with gender and racial biases. FairCVtest shows the capacity of the Artificial Intelligence (AI) behind such recruitment tool to extract sensitive information from unstructured data, and exploit it in combination to data biases in undesirable (unfair) ways. Finally, we present a list of recent works developing techniques capable of removing sensitive information from the decision-making process of deep learning architectures. We have used one of these algorithms (SensitiveNets) to experiment discrimination-aware learning for the elimination of sensitive information in our multimodal AI framework. Our methodology and results show how to generate fairer AI-based tools in general, and in particular fairer automated recruitment systems.


title: Channel Feedback for Reconfigurable Intelligent Surface Assisted Wireless Communications

abstract: Reconfigurable intelligent surface (RIS) has received widespread attention owing to the superiority of changing the wireless propagation environment intelligently. Channel feedback is essential in frequency division duplex (FDD) RIS-assisted wireless communications, since the downlink channel state information (CSI) needs to be acquired by the base station (BS) from the user equipment (UE) for the joint beamforming at the BS and the RIS. In this paper, we exploit the single-structured sparsity of RIS channel, which means that the sparse angular-domain channels of different users share the same structured sparsity only in the column dimension, but not in the row dimension. Based on this characteristic, we propose a dimension reduced channel feedback scheme with the low overhead. Specifically, the downlink CSI can be expressed with the structured information and unstructured information. The structured information of the multi-user channels can be fed back to the BS only by one user according to the single-structured sparsity, then the unstructured information can be fed back with a fairly low overhead by different users, respectively. Moreover, by utilizing the angle coherence time, the per-user overhead can be reduced further, while the near-optimal performance can still be guaranteed. Simulation results show that, the proposed scheme can reduce the channel feedback overhead by 80% compared to the conventional method.


title: Sampling Rates for $\ell^1$-Synthesis

abstract: This work investigates the problem of signal recovery from undersampled noisy sub-Gaussian measurements under the assumption of a synthesis-based sparsity model. Solving the $\ell^1$-synthesis basis pursuit allows for a simultaneous estimation of a coefficient representation as well as the sought-for signal. However, due to linear dependencies within redundant dictionary atoms it might be impossible to identify a specific representation vector, although the actual signal is still successfully recovered. The present manuscript studies both estimation problems from a non-uniform, signal-dependent perspective. By utilizing recent results on the convex geometry of linear inverse problems, the sampling rates describing the phase transitions of each formulation are identified. In both cases, they are given by the conic Gaussian mean width of an $\ell^1$-descent cone that is linearly transformed by the dictionary. In general, this expression does not allow a simple calculation by following the polarity-based approach commonly found in the literature. Hence, two upper bounds involving the sparsity of coefficient representations are provided: The first one is based on a local condition number and the second one on a geometric analysis that makes use of the thinness of high-dimensional polyhedral cones with not too many generators. It is furthermore revealed that both recovery problems can differ dramatically with respect to robustness to measurement noise -- a fact that seems to have gone unnoticed in most of the related literature. All insights are carefully undermined by numerical simulations.


title: Trust-based user-interface design for human-automation systems

abstract: We present a method for dynamics-driven, user-interface design for a human-automation system via sensor selection. We define the user-interface to be the output of a MIMO LTI system, and formulate the design problem as one of selecting an output matrix from a given set of candidate output matrices. Sufficient conditions for situation awareness are captured as additional constraints on the selection of the output matrix. These constraints depend upon the level of trust the human has in the automation. We show that the resulting user-interface design problem is a combinatorial, set-cardinality minimization problem with set function constraints. We propose tractable algorithms to compute optimal or sub-optimal solutions with suboptimality bounds. Our approaches exploit monotonicity and submodularity present in the design problem, and rely on constraint programming and submodular maximization. We apply this method to the IEEE 118-bus, to construct correct-by-design interfaces under various operating scenarios.


title: Analysis of Stochastic Gradient Descent in Continuous Time

abstract: Stochastic gradient descent is an optimisation method that combines classical gradient descent with random subsampling within the target functional. In this work, we introduce the stochastic gradient process as a continuous-time representation of stochastic gradient descent. The stochastic gradient process is a dynamical system that is coupled with a continuous-time Markov process living on a finite state space. The dynamical system -- a gradient flow -- represents the gradient descent part, the process on the finite state space represents the random subsampling. Processes of this type are, for instance, used to model clonal populations in fluctuating environments. After introducing it, we study theoretical properties of the stochastic gradient process: We show that it converges weakly to the gradient flow with respect to the full target function, as the learning rate approaches zero. We give conditions under which the stochastic gradient process with constant learning rate is exponentially ergodic in the Wasserstein sense. Then we study the case, where the learning rate goes to zero sufficiently slowly and the single target functions are strongly convex. In this case, the process converges weakly to the point mass concentrated in the global minimum of the full target function; indicating consistency of the method. We conclude after a discussion of discretisation strategies for the stochastic gradient process and numerical experiments.


title: Mechanisms of skyrmion collapse revealed by sub-nm maps of the transition rate

abstract: Magnetic skyrmions are key candidates for novel memory, logic, and neuromorphic computing. An essential property is their topological protection caused by the whirling spin texture as described by a robust integer winding number. However, the realization on an atomic lattice leaves a loophole for switching the winding number via concerted rotation of individual spins. Hence, understanding the unwinding microscopically is key to enhance skyrmion stability. Here, we use spin polarized scanning tunneling microscopy to probe skyrmion annihilation by individual hot electrons and obtain maps of the transition rate on the nanometer scale. By applying an in-plane magnetic field, we tune the collapse rate by up to four orders of magnitude. In comparison with first-principles based atomistic spin simulations, the experiments demonstrate a radial symmetric collapse at zero in-plane magnetic field and a transition to the recently predicted chimera collapse at finite in-plane field. Our work opens the route to design criteria for skyrmion switches and improved skyrmion stability.


title: Interpretable Probabilistic Password Strength Meters via Deep Learning

abstract: Probabilistic password strength meters have been proved to be the most accurate tools to measure password strength. Unfortunately, by construction, they are limited to solely produce an opaque security estimation that fails to fully support the user during the password composition. In the present work, we move the first steps towards cracking the intelligibility barrier of this compelling class of meters. We show that probabilistic password meters inherently own the capability of describing the latent relation occurring between password strength and password structure. In our approach, the security contribution of each character composing a password is disentangled and used to provide explicit fine-grained feedback for the user. Furthermore, unlike existing heuristic constructions, our method is free from any human bias, and, more importantly, its feedback has a probabilistic interpretation. In our contribution: (1) we formulate interpretable probabilistic password strength meters; (2) we describe how they can be implemented via an efficient and lightweight deep learning framework suitable for client-side operability.


title: SPECTER: Document-level Representation Learning using Citation-informed Transformers

abstract: Representation learning is a critical ingredient for natural language processing systems. Recent Transformer language models like BERT learn powerful textual representations, but these models are targeted towards token- and sentence-level training objectives and do not leverage information on inter-document relatedness, which limits their document-level representation power. For applications on scientific documents, such as classification and recommendation, the embeddings power strong performance on end tasks. We propose SPECTER, a new method to generate document-level embedding of scientific documents based on pretraining a Transformer language model on a powerful signal of document-level relatedness: the citation graph. Unlike existing pretrained language models, SPECTER can be easily applied to downstream applications without task-specific fine-tuning. Additionally, to encourage further research on document-level models, we introduce SciDocs, a new evaluation benchmark consisting of seven document-level tasks ranging from citation prediction, to document classification and recommendation. We show that SPECTER outperforms a variety of competitive baselines on the benchmark.


title: Topology and Wilson lines: global aspects of the double copy

abstract: The Kerr-Schild double copy relates exact solutions of gauge and gravity theories. In all previous examples, the gravity solution is associated with an abelian-like gauge theory object, which linearises the Yang-Mills equations. This appears to be at odds with the double copy for scattering amplitudes, in which the non-abelian nature of the gauge theory plays a crucial role. Furthermore, it is not yet clear whether or not global properties of classical fields - such as non-trivial topology - can be matched between gauge and gravity theories. In this paper, we clarify these issues by explicitly demonstrating how magnetic monopoles associated with arbitrary gauge groups can be double copied to the same solution (the pure NUT metric) in gravity. We further describe how to match up topological information on both sides of the double copy correspondence, independently of the nature of the gauge group. This information is neatly expressed in terms of Wilson line operators, and we argue through specific examples that they provide a useful bridge between the classical double copy and the BCJ double copy for scattering amplitudes.


title: Construction of the Moduli Space of Higgs Bundles using Analytic Methods

abstract: It is a folklore theorem that the Kuranishi slice method can be used to construct the moduli space of semistable Higgs bundles on a closed Riemann surface as a complex space. The purpose of this paper is to provide a proof in detail. We also give a direct proof that the moduli space is locally modeled on an affine GIT quotient of a quadratic cone by a complex reductive group.


title: Online Information Search During COVID-19

abstract: Public information search data from sources such as Google Trends affords researchers a perspective on what society does not know, or what society wants to find out prompted by, or in response to, developments in societal communication and news media events. In times of crisis, online public information search thus offers a window into the most urgent concerns of, and demands by society. By extension, such data offers a window into upcoming, and currently pressing demands on businesses, policymakers and researchers. This research note aims to illustrate some of these themes with a visual-based overview of the current COVID-19 / Coronavirus crisis.


title: Sequential Control of Boolean Networks with Temporary and Permanent Perturbations

abstract: Direct cell reprogramming makes it feasible to reprogram abundant somatic cells into desired cells. It has great potential for regenerative medicine and tissue engineering. In this work, we study the control of biological networks, modelled as Boolean networks, to identify control paths driving the dynamics of the network from a source attractor (undesired cells) to the target attractor (desired cells). Instead of achieving control in one step, we develop attractor-based sequential temporary and permanent control methods (AST and ASP) to identify a sequence of interventions that can alter the dynamics in a stepwise manner. To improve their feasibility, both AST and ASP only use biologically observable attractors as intermediates. They can find the shortest sequential paths and guarantee 100% reachability of the target attractor. We apply the two methods to several real-life biological networks and compare their performance with the attractor-based sequential instantaneous control (ASI). The results demonstrate that AST and ASP have the ability to identify a richer set of control paths with fewer perturbations than ASI, which will greatly facilitate practical applications.


title: The Flux Distribution of Sgr A*

abstract: The Galactic Center black hole Sagittarius A* is a variable NIR source that exhibits bright flux excursions called flares. The low-flux density turnover of the flux distribution is below the sensitivity of current single-aperture telescopes. We use the unprecedented resolution of the GRAVITY instrument at the VLTI. Our light curves are unconfused, overcoming the confusion limit of previous photometric studies. We analyze the light curves using standard statistical methods and obtain the flux distribution. We find that the flux distribution of SgrA* turns over at a median flux density of (1.1\pm0.3)mJy. We measure the percentiles of the flux distribution and use them to constrain the NIR K-band SED. Furthermore, we find that the flux distribution is intrinsically right-skewed to higher flux density in log space. Flux densities below 0.1mJy are hardly ever observed. In consequence, a single powerlaw or lognormal distribution does not suffice to describe the observed flux distribution in its entirety. However, if one takes into account a power law component at high flux densities, a lognormal distribution can describe the lower end of the observed flux distribution. We confirm the RMS-flux relation for Sgr~A* and find it to be linear for all flux densities in our observation. We conclude that Sgr~A* has two states: the bulk of the emission is generated in a lognormal process with a well-defined median flux density and this quiescent emission is supplemented by sporadic flares that create the observed power law extension of the flux distribution.


title: Detection of Topology via Entanglement Oscillations

abstract: We introduce a characterization of topological order based on bulk oscillations of the entanglement entropy and the definition of an `entanglement gap', showing that it is generally applicable to pure and disordered quantum systems. Using exact diagonalization and the strong disorder renormalization group method, we demonstrate that this approach gives results in agreement with the use of traditional topological invariants, especially in cases where topological order is known to persist in the presence of off-diagonal bond disorder. The entanglement gap is then used to analyze classes of quantum systems with alternating bond types, allowing us to construct their topological phase diagrams. The validity of these phase diagrams is verified in limiting cases of dominant bond types, where the solution is known.


title: Detection of the Schwarzschild precession in the orbit of the star S2 near the Galactic centre massive black hole

abstract: The star S2 orbiting the compact radio source Sgr A* is a precision probe of the gravitational field around the closest massive black hole (candidate). Over the last 2.7 decades we have monitored the star's radial velocity and motion on the sky, mainly with the SINFONI and NACO adaptive optics (AO) instruments on the ESO VLT, and since 2017, with the four-telescope interferometric beam combiner instrument GRAVITY. In this paper we report the first detection of the General Relativity (GR) Schwarzschild Precession (SP) in S2's orbit. Owing to its highly elliptical orbit (e = 0.88), S2's SP is mainly a kink between the pre-and post-pericentre directions of motion ~ +- 1 year around pericentre passage, relative to the corresponding Kepler orbit. The superb 2017-2019 astrometry of GRAVITY defines the pericentre passage and outgoing direction. The incoming direction is anchored by 118 NACO-AO measurements of S2's position in the infrared reference frame, with an additional 75 direct measurements of the S2-Sgr A* separation during bright states ('flares') of Sgr A*. Our 14-parameter model fits for the distance, central mass, the position and motion of the reference frame of the AO astrometry relative to the mass, the six parameters of the orbit, as well as a dimensionless parameter f_SP for the SP (f_SP = 0 for Newton and 1 for GR). From data up to the end of 2019 we robustly detect the SP of S2, del phi = 12' per orbital period. From posterior fitting and MCMC Bayesian analysis with different weighting schemes and bootstrapping we find f_SP = 1.10 +- 0.19. The S2 data are fully consistent with GR. Any extended mass inside S2's orbit cannot exceed ~ 0.1% of the central mass. Any compact third mass inside the central arcsecond must be less than about 1000 M_sun.


title: Nuclear $p_\perp$-broadening of Drell-Yan and quarkonium production from SPS to LHC

abstract: The nuclear $p_\perp$-broadening of Drell-Yan and quarkonium ($J/\psi$, $\Upsilon$) production in $\pi$A and pA collisions is investigated. The world data follow a simple scaling from SPS to LHC energies, once the process-dependent color factors are properly taken into account, which allows for the extraction of the transport coefficient in cold nuclear matter. We find that $\hat{q}(x)\propto x^{-\alpha}$ with $\alpha=0.25$-$0.30$. The magnitude of the transport coefficient at $x=10^{-2}$ is $\hat{q}_0=0.051$ GeV$^2$/fm and $\hat{q}_0=0.075$ GeV$^2$/fm, whether $Q\bar{Q}$ pairs are assumed to be produced as color octet or color singlet states, respectively. The relation between nuclear broadening data and the (CT14) gluon density is also investigated.


title: Existence issues for a large class of degenerate elliptic equations with nonlinear Hamiltonians

abstract: We give sufficient conditions for the existence and uniqueness, in bounded uniformly convex domains $\Omega$, of solutions of degenerate elliptic equations depending also on the nonlinear gradient term $H$, in term of the size of $\Omega$, of the forcing term $f$ and of $H$. The results apply to a wide class of equations, having as principal part significant examples, e.g. linear degenerate operators, weighted partial trace operators and the homogeneous Monge-Amp\`ere operator.


title: Optimal Bidding Strategies for Online Ad Auctions with Overlapping Targeting Criteria

abstract: We analyze the problem of how to optimally bid for ad spaces in online ad auctions. For this we consider the general case of multiple ad campaigns with overlapping targeting criteria. In our analysis we first characterize the structure of an optimal bidding strategy. In particular, we show that an optimal bidding strategies decomposes the problem into disjoint sets of campaigns and targeting groups. In addition, we show that pure bidding strategies that use only a single bid value for each campaign are not optimal when the supply curves are not continuous. For this case, we derive a lower-bound on the optimal cost of any bidding strategy, as well as mixed bidding strategies that either achieve the lower-bound, or can get arbitrarily close to it.


title: Cauchy-Stieltjes kernels families and free multiplicative convolution

abstract: In this paper, we determine the effect of the free multiplicative convolution on the pseudo-variance function of a Cauchy-Stieltjes kernel family. We then use the machinery of variance functions to establish some limit theorems related to this type of convolution and involving the free additive convolution and the boolean additive convolution.


title: Two-way covert quantum communication in the microwave regime

abstract: Quantum communication addresses the problem of exchanging information across macroscopic distances by employing encryption techniques based on quantum mechanical laws. Here, we advance a new paradigm for secure quantum communication by combining backscattering concepts with covert communication in the microwave regime. Our protocol allows communication between Alice, who uses only discrete phase modulations, and Bob, who has access to cryogenic microwave technology. Using notions of quantum channel discrimination and quantum metrology, we find the ultimate bounds for the receiver performance, proving that quantum correlations can enhance the SNR by up to $6$ dB. These bounds rule out any quantum illumination advantage when the source is strongly amplified, and show that a relevant gain is possible only in the low photon-number regime. We show how the protocol can be used for covert communication, where the carrier signal is indistinguishable from the thermal noise in the environment. We complement our information-theoretic results with a feasible experimental proposal in a circuit-QED platform. This work makes a decisive step toward implementing secure quantum communication concepts in the previously uncharted $1$-$10$ GHz frequency range, in the scenario when the disposable power of one party is severely constrained.


title: A Transductive Approach for Video Object Segmentation

abstract: Semi-supervised video object segmentation aims to separate a target object from a video sequence, given the mask in the first frame. Most of current prevailing methods utilize information from additional modules trained in other domains like optical flow and instance segmentation, and as a result they do not compete with other methods on common ground. To address this issue, we propose a simple yet strong transductive method, in which additional modules, datasets, and dedicated architectural designs are not needed. Our method takes a label propagation approach where pixel labels are passed forward based on feature similarity in an embedding space. Different from other propagation methods, ours diffuses temporal information in a holistic manner which take accounts of long-term object appearance. In addition, our method requires few additional computational overhead, and runs at a fast $\sim$37 fps speed. Our single model with a vanilla ResNet50 backbone achieves an overall score of 72.3 on the DAVIS 2017 validation set and 63.1 on the test set. This simple yet high performing and efficient method can serve as a solid baseline that facilitates future research. Code and models are available at \url{https://github.com/microsoft/transductive-vos.pytorch}.


title: Effective Removal of Operational Log Messages: an Application to Model Inference

abstract: Model inference aims to extract accurate models from the execution logs of software systems. However, in reality, logs may contain some "noise" that could deteriorate the performance of model inference. One form of noise can commonly be found in system logs that contain not only transactional messages---logging the functional behavior of the system---but also operational messages---recording the operational state of the system (e.g., a periodic heartbeat to keep track of the memory usage). In low-quality logs, transactional and operational messages are randomly interleaved, leading to the erroneous inclusion of operational behaviors into a system model, that ideally should only reflect the functional behavior of the system. It is therefore important to remove operational messages in the logs before inferring models. In this paper, we propose LogCleaner, a novel technique for removing operational logs messages. LogCleaner first performs a periodicity analysis to filter out periodic messages, and then it performs a dependency analysis to calculate the degree of dependency for all log messages and to remove operational messages based on their dependencies. The experimental results on two proprietary and 11 publicly available log datasets show that LogCleaner, on average, can accurately remove 98% of the operational messages and preserve 81% of the transactional messages. Furthermore, using logs pre-processed with LogCleaner decreases the execution time of model inference (with a speed-up ranging from 1.5 to 946.7 depending on the characteristics of the system) and significantly improves the accuracy of the inferred models, by increasing their ability to accept correct system behaviors (+43.8 pp on average, with pp=percentage points) and to reject incorrect system behaviors (+15.0 pp on average).


title: Aperiodic electro-optic time lens for spectral manipulation of single-photon pulses

abstract: Electro-optic time lenses are promising experimental components for photonic spectral-temporal processing of quantum information. We report a stable method to realize an electro-optic time lens, which relies on the amplification of an electronic response of a fast photodiode. The method does not require a repetitive clock and may be applied to aperiodic optical signals. We experimentally demonstrate the approach using single-photon pulses and directly verify its aperiodicity. The approach will enable construction of complex electro-optic temporal optical systems.


title: Orientation and accretion in a representative sample of active galactic nuclei

abstract: We highlight a representative sample of active galactic nuclei selected independent of orientation. The defining characteristic of the selection is sophisticated matching between the $0.1<z<0.6$ Sloan Digital Sky Survey quasars from the Seventh Data Release to the Westerbork Northern Sky Survey at 325 MHz and the subsequent application of a total radio luminosity cut. The resulting sample is complete down to the limiting luminosity and unbiased by orientation. Compared to orientation samples in the literature this approach yields less bias with redshift, relatively more lobe-dominated sources including those with radio lobes and no visible core, and a distribution of radio core dominance that is consistent with expectations from a uniform distribution of inclinations with solid angle. We measure properties of the optical spectra, and use the sample to investigate the orientation dependence of the velocity width of the broad H$\beta$ emission line. We recover the known orientation dependence, but the sharp envelope of previous studies where only edge-on sources display the broadest lines, is absent. Scatter in this diagram is not attributable solely to black hole mass, Eddington ratio, or contamination in the sample from compact steep spectrum sources. A physical framework for quasar beaming and a disk-like broad-line region can describe the representative sample when it is expanded to include additional parameters, in particular jet properties and the broad-line region velocity field. These points serve to illustrate the critical role of sample selection in the interpretation of observable properties as indicators of physical parameters of quasar central engines.


title: Resilience in multi-robot multi-target tracking with unknown number of targets through reconfiguration

abstract: We address the problem of maintaining resource availability in a networked multi-robot team performing distributed tracking of unknown number of targets in an environment of interest. Based on our model, robots are equipped with sensing and computational resources enabling them to cooperatively track a set of targets in an environment using a distributed Probability Hypothesis Density (PHD) filter. We use the trace of a robot's sensor measurement noise covariance matrix to quantify its sensing quality. While executing the tracking task, if a robot experiences sensor quality degradation, then robot team's communication network is reconfigured such that the robot with the faulty sensor may share information with other robots to improve the team's target tracking ability without enforcing a large change in the number of active communication links. A central system which monitors the team executes all the network reconfiguration computations. We consider two different PHD fusion methods in this paper and propose four different Mixed Integer Semi-Definite Programming (MISDP) formulations (two formulations for each PHD fusion method) to accomplish our objective. All four MISDP formulations are validated in simulation.


title: Embracing Companion Technologies

abstract: As an increasing number of interactive devices offer human-like assistance, there is a growing need to understand the human experience of interactive agents. When interactive artefacts with human-like features become intertwined in our everyday experience, we need to make sure that they assume the right roles and contribute to our wellbeing. In this theoretical exploration, we propose a reframing of our understanding of interactions with everyday technologies by proposing the metaphor of digital companions. We employ the theory in the philosophy of empathy to propose a framework for understanding how users develop relationships with digital agents. The experiential framework for companion technologies provides connections between the users' psychological needs and companion-like features of interactive systems. Our work provides a theoretical basis for rethinking the user experience of everyday artefacts with a humanistic mindset and poses future challenges for HCI.


title: MMS SITL Ground Loop: Automating the burst data selection process

abstract: Global-scale energy flow throughout Earth's magnetosphere (MSP) is catalyzed by processes that occur at Earth's magnetopause (MP). Magnetic reconnection is one process responsible for solar wind entry into and global convection within the MSP, and the MP location, orientation, and motion have an impact on the dynamics. Statistical studies that focus on these and other MP phenomena and characteristics inherently require MP identification in their event search criteria, a task that can be automated using machine learning. We introduce a Long-Short Term Memory (LSTM) Recurrent Neural Network model to detect MP crossings and assist studies of energy transfer into the MSP. As its first application, the LSTM has been implemented into the operational data stream of the Magnetospheric Multiscale (MMS) mission. MMS focuses on the electron diffusion region of reconnection, where electron dynamics break magnetic field lines and plasma is energized. MMS employs automated burst triggers onboard the spacecraft and a Scientist-in-the-Loop (SITL) on the ground to select intervals likely to contain diffusion regions. Only low-resolution data is available to the SITL, which is insufficient to resolve electron dynamics. A strategy for the SITL, then, is to select all MP crossings. Of all 219 SITL selections classified as MP crossings during the first five months of model operations, the model predicted 166 (76%) of them, and of all 360 model predictions, 257 (71%) were selected by the SITL. Most predictions that were not classified as MP crossings by the SITL were still MP-like; the intervals contained mixed magnetosheath and magnetospheric plasmas. The LSTM model and its predictions are public to ease the burden of arduous event searches involving the MP, including those for EDRs. For MMS, this helps free up mission operation costs by consolidating manual classification processes into automated routines.


title: Zero-Shot Compositional Policy Learning via Language Grounding

abstract: Despite recent breakthroughs in reinforcement learning (RL) and imitation learning (IL), existing algorithms fail to generalize beyond the training environments. In reality, humans can adapt to new tasks quickly by leveraging prior knowledge about the world such as language descriptions. To facilitate the research on language-guided agents with domain adaption, we propose a novel zero-shot compositional policy learning task, where the environments are characterized as a composition of different attributes. Since there are no public environments supporting this study, we introduce a new research platform BabyAI++ in which the dynamics of environments are disentangled from visual appearance. At each episode, BabyAI++ provides varied vision-dynamics combinations along with corresponding descriptive texts. To evaluate the adaption capability of learned agents, a set of vision-dynamics pairings are held-out for testing on BabyAI++. Unsurprisingly, we find that current language-guided RL/IL techniques overfit to the training environments and suffer from a huge performance drop when facing unseen combinations. In response, we propose a multi-modal fusion method with an attention mechanism to perform visual language-grounding. Extensive experiments show strong evidence that language grounding is able to improve the generalization of agents across environments with varied dynamics.


title: Vector distributions with very large symmetries via rational normal curves

abstract: We construct a sequence of rank 3 distributions on $n$-dimensional manifolds for any $n\geq 7$ such that the dimension of their symmetry group grows exponentially in $n$ (more precisely it is equal to $\operatorname{Fib}_{n-1}+n+2$, where $\operatorname{Fib}_n$ is the $n$-th Fibonacci number, starting with $\operatorname{Fib}_1=\operatorname{Fib}_2=1$) and such that the maximal order of weighted jet needed to determine these symmetries grows quadratically in $n$. These examples are in sharp contrast with the parabolic geometries where the dimension of a symmetry group grows polynomially with respect to the dimension of the ambient manifold and the corresponding maximal order of weighted jet space is equal to the degree of nonholonomy of the underlying distribution plus $1$. Our models are closely related to the geometry of certain curves of symplectic flags and of the rational normal curves.


title: Entities as Experts: Sparse Memory Access with Entity Supervision

abstract: We focus on the problem of capturing declarative knowledge about entities in the learned parameters of a language model. We introduce a new model - Entities as Experts (EAE) - that can access distinct memories of the entities mentioned in a piece of text. Unlike previous efforts to integrate entity knowledge into sequence models, EAE's entity representations are learned directly from text. We show that EAE's learned representations capture sufficient knowledge to answer TriviaQA questions such as "Which Dr. Who villain has been played by Roger Delgado, Anthony Ainley, Eric Roberts?", outperforming an encoder-generator Transformer model with 10x the parameters. According to the LAMA knowledge probes, EAE contains more factual knowledge than a similarly sized BERT, as well as previous approaches that integrate external sources of entity knowledge. Because EAE associates parameters with specific entities, it only needs to access a fraction of its parameters at inference time, and we show that the correct identification and representation of entities is essential to EAE's performance.


title: Implementing Software Resiliency in HPX for Extreme Scale Computing

abstract: Exceptions and errors occurring within mission critical applications due to hardware failures have a high cost. With the emerging Next Generation Platforms (NGPs), the rate of hardware failures will invariably increase. Therefore, designing our applications to be resilient is a critical concern in order to retain the reliability of results while meeting the constraints on power budgets. In this paper, we implement software resilience in HPX, an Asynchronous Many-Task Runtime system. We implement two resiliency APIs that we expose to the application developers, namely task replication and task replay. Task replication repeats a task n-times and executes them asynchronously. Task replay will reschedule a task up to n-times until a valid output is returned. Furthermore, we introduce an API that allows the application to verify the returned result with a user provided predicate. We test the APIs with both artificial workloads and a dataflow based stencil application. We demonstrate that only minor overheads are incurred when utilizing these resiliency features for work loads where the task size is greater than 200 $\mu$s. We also show that most of the added execution time arises from the replay or replication of the tasks themselves and not by the implementation of the APIs.


title: Heat transport bounds for a truncated model of Rayleigh-B\'enard convection via polynomial optimization

abstract: Upper bounds on time-averaged heat transport are obtained for an eight-mode Galerkin truncation of Rayleigh's 1916 model of natural thermal convection. Bounds for the ODE model---an extension of Lorenz's three-ODE system---are derived by constructing auxiliary functions that satisfy sufficient conditions wherein certain polynomial expressions must be nonnegative. Such conditions are enforced by requiring the polynomial expressions to admit sum-of-squares representations, allowing the resulting bounds to be minimized using semidefinite programming. Sharp or nearly sharp bounds on mean heat transport are computed numerically for numerous values of the model parameters: the Rayleigh and Prandtl numbers and the domain aspect ratio. In all cases where the Rayleigh number is small enough for the ODE model to be quantitatively close to the PDE model, mean heat transport is maximized by steady states. In some cases at larger Rayleigh number, time-periodic states maximize heat transport in the truncated model. Analytical parameter-dependent bounds are derived using quadratic auxiliary functions, and they are sharp for sufficiently small Rayleigh numbers.


title: A quantum system with a non-Hermitian Hamiltonian

abstract: The relevance in Physics of non-Hermitian operators with real eigenvalues is being widely recognized not only in quantum mechanics but also in other areas, such as quantum optics, quantum fluid dynamics and quantum field theory. %stochastic processesand so on. In this note, a quantum system described by a non-Hermitian Hamiltonian, which is constituted by two types of interacting bosons, is investigated. The real eigenvalues of the Hamiltonian are explicitly determined, as well as complete biorthogonal sets of eigenfunctions of the Hamiltonian and its adjoint. The diagonal representation of $H$ is obtained using pseudo-bosonic operators.


title: Teaching Quantum Computing to High School Students

abstract: Quantum computing is a growing field at the intersection of physics and computer science. The goal of this article is to highlight a successfully trialled quantum computing course for high school students between the ages of 15 and 18 years old. This course bridges the gap between popular science articles and advanced undergraduate textbooks. Conceptual ideas in the text are reinforced with active learning techniques, such as interactive problem sets and simulation-based labs at various levels. The course is freely available for use and download under the Creative Commons "Attribution- NonCommercial-ShareAlike 4.0 International" license.


title: Interpreting neural network models of residual scalar flux

abstract: We show that in addition to providing effective and competitive closures, when analysed in terms of dynamics and physically-relevant diagnostics, artificial neural networks (ANNs) can be both interpretable and provide useful insights in the on-going task of developing and improving turbulence closures. In the context of large-eddy simulations (LES) of a passive scalar in homogeneous isotropic turbulence, exact subfilter fluxes obtained by filtering direct numerical simulations (DNS) are used both to train deep ANN models as a function of filtered variables, and to optimise the coefficients of a turbulent Prandtl number LES closure. \textit{A-priori} analysis of the subfilter scalar variance transfer rate demonstrates that learnt ANN models out-perform optimised turbulent Prandtl number closures and Clark-type gradient models. Next, \textit{a-posteriori} solutions are obtained with each model over several integral timescales. These experiments reveal, with single- and multi-point diagnostics, that ANN models temporally track exact resolved scalar variance with greater accuracy compared to other subfilter flux models for a given filter length scale. Finally, we interpret the artificial neural networks statistically with differential sensitivity analysis to show that the ANN models feature dynamics reminiscent of so-called "mixed models", where mixed models are understood as comprising both a structural and functional component. Besides enabling enhanced-accuracy LES of passive scalars henceforth, we anticipate this work to contribute to utilising neural network models as a tool in interpretability, robustness and model discovery.


title: Why integral equations should be used instead of differential equations to describe the dynamics of epidemics

abstract: It is of vital importance to understand and track the dynamics of rapidly unfolding epidemics. The health and economic consequences of the current COVID-19 pandemic provide a poignant case. Here we point out that since they are based on differential equations, the most widely used models of epidemic spread are plagued by an approximation that is not justified in the case of the current COVID-19 pandemic. Taking the example of data from New York City, we show that currently used models significantly underestimate the initial basic reproduction number ($R_0$). The correct description, based on integral equations, can be implemented in most of the reported models and it much more accurately accounts for the dynamics of the epidemic after sharp changes in $R_0$ due to restrictive public congregation measures. It also provides a novel way to determine the incubation period, and most importantly, as we demonstrate for several countries, this method allows an accurate monitoring of $R_0$ and thus a fine-tuning of any restrictive measures. Integral equation based models do not only provide the conceptually correct description, they also have more predictive power than differential equation based models, therefore we do not see any reason for using the latter.


title: Using Player's Body-Orientation to Model Pass Feasibility in Soccer

abstract: Given a monocular video of a soccer match, this paper presents a computational model to estimate the most feasible pass at any given time. The method leverages offensive player's orientation (plus their location) and opponents' spatial configuration to compute the feasibility of pass events within players of the same team. Orientation data is gathered from body pose estimations that are properly projected onto the 2D game field; moreover, a geometrical solution is provided, through the definition of a feasibility measure, to determine which players are better oriented towards each other. Once analyzed more than 6000 pass events, results show that, by including orientation as a feasibility measure, a robust computational model can be built, reaching more than 0.7 Top-3 accuracy. Finally, the combination of the orientation feasibility measure with the recently introduced Expected Possession Value metric is studied; promising results are obtained, thus showing that existing models can be refined by using orientation as a key feature. These models could help both coaches and analysts to have a better understanding of the game and to improve the players' decision-making process.


title: On Box-Cox Transformation for Image Normality and Pattern Classification

abstract: A unique member of the power transformation family is known as the Box-Cox transformation. The latter can be seen as a mathematical operation that leads to finding the optimum lambda ({\lambda}) value that maximizes the log-likelihood function to transform a data to a normal distribution and to reduce heteroscedasticity. In data analytics, a normality assumption underlies a variety of statistical test models. This technique, however, is best known in statistical analysis to handle one-dimensional data. Herein, this paper revolves around the utility of such a tool as a pre-processing step to transform two-dimensional data, namely, digital images and to study its effect. Moreover, to reduce time complexity, it suffices to estimate the parameter lambda in real-time for large two-dimensional matrices by merely considering their probability density function as a statistical inference of the underlying data distribution. We compare the effect of this light-weight Box-Cox transformation with well-established state-of-the-art low light image enhancement techniques. We also demonstrate the effectiveness of our approach through several test-bed data sets for generic improvement of visual appearance of images and for ameliorating the performance of a colour pattern classification algorithm as an example application. Results with and without the proposed approach, are compared using the AlexNet (transfer deep learning) pretrained model. To the best of our knowledge, this is the first time that the Box-Cox transformation is extended to digital images by exploiting histogram transformation.


title: Dark Experience for General Continual Learning: a Strong, Simple Baseline

abstract: Continual Learning has inspired a plethora of approaches and evaluation settings; however, the majority of them overlooks the properties of a practical scenario, where the data stream cannot be shaped as a sequence of tasks and offline training is not viable. We work towards General Continual Learning (GCL), where task boundaries blur and the domain and class distributions shift either gradually or suddenly. We address it through mixing rehearsal with knowledge distillation and regularization; our simple baseline, Dark Experience Replay, matches the network's logits sampled throughout the optimization trajectory, thus promoting consistency with its past. By conducting an extensive analysis on both standard benchmarks and a novel GCL evaluation setting (MNIST-360), we show that such a seemingly simple baseline outperforms consolidated approaches and leverages limited resources. We further explore the generalization capabilities of our objective, showing its regularization being beneficial beyond mere performance.


title: The direct and inverse problem for sub-diffusion equations with a generalized impedance subregion

abstract: In this paper, we consider the direct and inverse problem for time-fractional diffusion in a domain with an impenetrable subregion. Here we assume that on the boundary of the subregion the solution satisfies a generalized impedance boundary condition. This boundary condition is given by a second order spacial differential operator imposed on the boundary. A generalized impedance boundary condition can be used to model corrosion and delimitation. The well-posedness for the direct problem is established where the Laplace Transform is used to study the time dependent boundary value problem. The inverse impedance problem of determining the parameters from the Cauchy data is also studied provided the boundary of the subregion is known. The uniqueness of recovering the boundary parameters from the Neumann to Dirichlet mapping is proven.


title: Toward Trustworthy AI Development: Mechanisms for Supporting Verifiable Claims

abstract: With the recent wave of progress in artificial intelligence (AI) has come a growing awareness of the large-scale impacts of AI systems, and recognition that existing regulations and norms in industry and academia are insufficient to ensure responsible AI development. In order for AI developers to earn trust from system users, customers, civil society, governments, and other stakeholders that they are building AI responsibly, they will need to make verifiable claims to which they can be held accountable. Those outside of a given organization also need effective means of scrutinizing such claims. This report suggests various steps that different stakeholders can take to improve the verifiability of claims made about AI systems and their associated development processes, with a focus on providing evidence about the safety, security, fairness, and privacy protection of AI systems. We analyze ten mechanisms for this purpose--spanning institutions, software, and hardware--and make recommendations aimed at implementing, exploring, or improving those mechanisms.


title: Enumerating minimal dominating sets in the (in)comparability graphs of bounded dimension posets

abstract: Enumerating minimal transversals in a hypergraph is a notoriously hard problem. It can be reduced to enumerating minimal dominating sets in a graph, in fact even to enumerating minimal dominating sets in an incomparability graph. We provide an output-polynomial time algorithm for incomparability graphs whose underlying posets have bounded dimension. Through a different proof technique, we also provide an output-polynomial algorithm for their complements, i.e., for comparability graphs of bounded dimension posets. Our algorithm for incomparability graphs is based on flashlight search and relies on the geometrical representation of incomparability graphs with bounded dimension, as given by Golumbic et al. in 1983. It runs with polynomial delay and only needs polynomial space. Our algorithm for comparability graphs is based on the flipping method introduced by Golovach et al. in 2015. It performs in incremental-polynomial time and requires exponential space. In addition, we show how to improve the flipping method so that it requires only polynomial space. Since the flipping method is a key tool for the best known algorithms enumerating minimal dominating sets in a number of graph classes, this yields direct improvements on the state of the art.