title: Extension of the synchrotron radiation of electrons to very high energies in clumpy environments

abstract: The synchrotron cooling of relativistic electrons is one of the most effective radiation mechanisms in astrophysics. It not only accompanies the process of particle acceleration but also has feedback on the formation of the energy distribution of the parent electrons. The radiative cooling time of electrons decreases with energy as $t_{\rm syn} \propto 1/E$; correspondingly the overall radiation efficiency increases with energy. On the other hand, this effect strictly limits the maximum energy of individual photons. Even in the so-called extreme accelerators, where the acceleration proceeds at the highest possible rate, $t_{\rm acc}^{-1} = eBc/E$, allowed in an ideal magnetohydrodynamic plasma, the synchrotron radiation cannot extend well beyond the characteristic energy determined by the electron mass and the fine-structure constant: $h \nu^{\rm max} \sim m_e c^2/\alpha \sim 70 \rm\,MeV$. In this paper, we propose a model in which the formation of synchrotron radiation takes place in compact magnetic blobs located inside the particle accelerator and develop a formalism for calculations of synchrotron radiation emerging from such systems. We demonstrate that for certain combinations of parameters characterizing the accelerator and the magnetic blobs, the synchrotron radiation can extend beyond this limit by a several orders of magnitude. This scenario requires a weak magnetization of the particle accelerator, and an efficient conversion of gas internal energy into magnetic energy in sufficiently small blobs. The required size of the blobs is constrained by the magnetic mirroring effect, that can prevent particle penetration into the regions of strong magnetic field under certain conditions.


title: The natural selection of good science

abstract: Scientists in some fields are concerned that many, or even most, published results are false. A high rate of false positives might arise accidentally, from shoddy research practices. Or it might be the inevitable result of institutional incentives that reward publication irrespective of veracity. Recent models and discussion of scientific culture predict selection for false-positive publications, as research labs that publish more positive findings out-compete more diligent labs. There is widespread debate about how scientific practices should be modified to avoid this degeneration. Some analyses suggest that "bad science" will persist even when labs are incentivized to undertake replication studies, and penalized for publications that later fail to replicate. Here we develop a framework for modelling the cultural evolution of research practices that allows labs to expend effort on theory - enabling them, at a cost, to focus on hypotheses that are more likely to be true on theoretical grounds. Theory restores the evolution of high effort in laboratory practice, and it suppresses false-positive publications to a technical minimum, even in the absence of replication. In fact, the mere ability choose between two sets of hypotheses - one with greater chance of being correct than the other - promotes better science than can be achieved by having effortless access to the better set of hypotheses. Combining theory and replication can have a synergistic effect in promoting good scientific methodology and reducing the rate of false-positive publications. Based on our analysis we propose four simple rules to promote good science in the face of pressure to publish.


title: Intrinsic entropy for generalized quasimetric semilattices

abstract: We introduce the notion of intrinsic semilattice entropy $\widetilde h$ in the category $\mathcal L_{qm}$ of generalized quasimetric semilattices and contractive homomorphisms. By using appropriate categories $\mathfrak X$ and functors $F:\mathfrak X\to\mathcal L_{qm}$ we find specific known entropies $\widetilde h_\mathfrak X$ on $\mathfrak X$ as intrinsic functorial entropies, that is, as $\widetilde h_\mathfrak X=\widetilde h\circ F$. These entropies are the intrinsic algebraic entropy, the algebraic and the topological entropies for locally linearly compact vector spaces, the topological entropy for locally compact totally disconnected groups and the algebraic entropy for locally compact compactly covered abelian groups.


title: Continuum and thermodynamic limits for a simple random-exchange model

abstract: We discuss various limits of a simple random exchange model that can be used for the distribution of wealth. We start from a discrete state space - discrete time version of this model and, under suitable scaling, we show its functional convergence to a continuous space - discrete time model. Then, we show a thermodynamic limit of the empirical distribution to the solution of a kinetic equation of Boltzmann type. We solve this equation and we show that the solutions coincide with the appropriate limits of the invariant measure for the Markov chain. In this way we complete Boltzmann's program of deriving kinetic equations from random dynamics for this simple model. Three families of invariant measures for the mean field limit are discovered and we show that only two of those families can be obtained as limits of the discrete system and the third is extraneous. Finally, we cast our results in the framework of integer partitions and strengthen some results already available in the literature.


title: Unmixedness of some weighted oriented graphs

abstract: Let $D=(G,\mathcal{O},w)$ be a weighted oriented graph whose edge ideal is $I(D)$. In this paper, we characterize the unmixed property of $I(D)$ for each one of the following cases: $G$ is an $SCQ$ graph; $G$ is a chordal graph; $G$ is a simplicial graph; $G$ is a perfect graph; $G$ has no $4$- or $5$-cycles; $G$ is a graph without $3$- and $5$-cycles; and ${\rm girth}(G)\geqslant 5$.


title: Essential enhancements in Abelian networks: continuity and uniform strict monotonicity

abstract: We prove that in wide generality the critical curve of the activated random walk model is a continuous function of the deactivation rate, and we provide a bound on its slope which is uniform with respect to the choice of the graph. Moreover, we derive strict monotonicity properties for the probability of a wide class of `increasing' events,extending previous results of Rolla and Sidoravicius (2012). Our proof method is of independent interest and can be viewed as a reformulation of the `essential enhancements' technique -- which was introduced for percolation -- in the framework of Abelian networks.


title: Higher-order Quantum Spin Hall Effect of Light

abstract: Band topology and related spin (or pseudo-spin) physics of photons provide us with a new dimension for manipulating light, which is potentially useful for information communication and data storage. Especially, the quantum spin Hall effect of light, where electromagnetic waves propagate along surfaces of samples with strong spin-momentum locking, paves the way for achieving topologically protected photonic spin transport. Recently, the conventional bulk-edge correspondence of the band topology has been extended to higher-order cases that enables the explorations of topological states with codimensions larger than 1 such as hinge and corner states. Here, for the first time, we demonstrate a higherorder quantum spin Hall effect of light by utilizing an all-dielectric C6v-symmetric photonic crystal. We observe corner states with opposite pseudospin polarizations at different corners owing to nontrivial higher-order topology and finite spin-spin coupling. By applying the spin-polarized excitation sources, we can selectively excite the corner states at different spatial positions through spin-momentum-locked decaying edge states, resembling the quantum spin Hall effect in a higher-order manner. Our work which breaks the barriers between the spin photonics and higher-order topology opens the frontiers for studying lower-dimensional spinful classical surface waves and supports explorations in robust communications.


title: Microuidics control the ballistic energy of thermocavitation liquid jets for needle-free injections

abstract: Illuminating a water solution with a focused continuous wave laser produces a strong local heating of the liquid that leads to the nucleation of bubbles, also known as thermocavitation. During the growth of the bubble, the surrounding liquid is expelled from the constraining microfluidic channel through a nozzle, creating a jet. The characteristics of the resulting liquid jet was imaged using ultra-fast imaging techniques. Here, we provide a phenomenological description of the jet shapes and velocities, and compare them with a Boundary Integral numerical model. We define the parameter regime, varying jet speed, taper geometry and liquid volume, for optimal printing, injection and spray applications. These results are important for the design of energy-efficient needle-free jet injectors based on microfluidic thermocavitation.


title: Toward equipping Artificial Moral Agents with multiple ethical theories

abstract: Artificial Moral Agents (AMA's) is a field in computer science with the purpose of creating autonomous machines that can make moral decisions akin to how humans do. Researchers have proposed theoretical means of creating such machines, while philosophers have made arguments as to how these machines ought to behave, or whether they should even exist. Of the currently theorised AMA's, all research and design has been done with either none or at most one specified normative ethical theory as basis. This is problematic because it narrows down the AMA's functional ability and versatility which in turn causes moral outcomes that a limited number of people agree with (thereby undermining an AMA's ability to be moral in a human sense). As solution we design a three-layer model for general normative ethical theories that can be used to serialise the ethical views of people and businesses for an AMA to use during reasoning. Four specific ethical norms (Kantianism, divine command theory, utilitarianism, and egoism) were modelled and evaluated as proof of concept for normative modelling. Furthermore, all models were serialised to XML/XSD as proof of support for computerisation.


title: A Multiplicative Version of the Lindley Recursion

abstract: This paper presents an analysis of the stochastic recursion $W_{i+1} = [V_iW_i+Y_i]^+$ that can be interpreted as an autoregressive process of order 1, reflected at 0. We start our exposition by a discussion of the model's stability condition. Writing $Y_i=B_i-A_i$, for independent sequences of non-negative i.i.d.\ random variables $\{A_i\}_{i\in N_0}$ and $\{B_i\}_{i\in N_0}$, and assuming $\{V_i\}_{i\in N_0}$ is an i.i.d. sequence as well (independent of $\{A_i\}_{i\in N_0}$ and $\{B_i\}_{i\in N_0}$), we then consider three special cases: (i) $V_i$ attains negative values only and $B_i$ has a rational LST, (ii) $V_i$ equals a positive value $a$ with certain probability $p\in (0,1)$ and is negative otherwise, and both $A_i$ and $B_i$ have a rational LST, (iii) $V_i$ is uniformly distributed on $[0,1]$, and $A_i$ is exponentially distributed. In all three cases we derive transient and stationary results, where the transient results are in terms of the transform at a geometrically distributed epoch.


title: Buffered Asynchronous SGD for Byzantine Learning

abstract: Distributed learning has become a hot research topic due to its wide application in clusterbased large-scale learning, federated learning, edge computing and so on. Most traditional distributed learning methods typically assume no failure or attack. However, many unexpected cases, such as communication failure and even malicious attack, may happen in real applications. Hence, Byzantine learning (BL), which refers to distributed learning with failure or attack, has recently attracted much attention. Most existing BL methods are synchronous, which are impractical in some applications due to heterogeneous or offline workers. In these cases, asynchronous BL (ABL) is usually preferred. In this paper, we propose a novel method, called buffered asynchronous stochastic gradient descent (BASGD), for ABL. To the best of our knowledge, BASGD is the first ABL method that can resist non-omniscient attacks without storing any instances on server. Furthermore, we also propose an improved variant of BASGD, called BASGD with momentum (BASGDm), by introducing momentum into BASGD. BASGDm can resist both non-omniscient and omniscient attacks. Compared with those methods which need to store instances on server, BASGD and BASGDm have a wider scope of application. Both BASGD and BASGDm are compatible with various aggregation rules. Moreover, both BASGD and BASGDm are proved to be convergent and be able to resist failure or attack. Empirical results show that our methods significantly outperform existing ABL baselines when there exists failure or attack on workers.


title: ETH-Tight Algorithms for Long Path and Cycle on Unit Disk Graphs

abstract: We present an algorithm for the extensively studied Long Path and Long Cycle problems on unit disk graphs that runs in time $2^{O(\sqrt{k})}(n+m)$. Under the Exponential Time Hypothesis, Long Path and Long Cycle on unit disk graphs cannot be solved in time $2^{o(\sqrt{k})}(n+m)^{O(1)}$ [de Berg et al., STOC 2018], hence our algorithm is optimal. Besides the $2^{O(\sqrt{k})}(n+m)^{O(1)}$-time algorithm for the (arguably) much simpler Vertex Cover problem by de Berg et al. [STOC 2018] (which easily follows from the existence of a $2k$-vertex kernel for the problem), this is the only known ETH-optimal fixed-parameter tractable algorithm on UDGs. Previously, Long Path and Long Cycle on unit disk graphs were only known to be solvable in time $2^{O(\sqrt{k}\log k)}(n+m)$. This algorithm involved the introduction of a new type of a tree decomposition, entailing the design of a very tedious dynamic programming procedure. Our algorithm is substantially simpler: we completely avoid the use of this new type of tree decomposition. Instead, we use a marking procedure to reduce the problem to (a weighted version of) itself on a standard tree decomposition of width $O(\sqrt{k})$.


title: Quantum test of the Universality of Free Fall using rubidium and potassium

abstract: We report on an improved test of the Universality of Free Fall using a rubidium-potassium dual-species matter wave interferometer. We describe our apparatus and detail challenges and solutions relevant when operating a potassium interferometer, as well as systematic effects affecting our measurement. Our determination of the E\"otv\"os ratio yields $\eta_{\,\text{Rb,K}}=-1.9\times10^{-7}$ with a combined standard uncertainty of $\sigma_\eta=3.2\times10^{-7}$.


title: Repr\'esentations de r\'eflexion de groupes de Coxeter Cinqui\`eme partie: La repr\'esentation $R$ est r\'eductible. Cas particulier du rang $3$

abstract: In this fith part, (with the notations of the preceding parts) we make the following hypothesis: $(W,S)$ is a Coxeter system, irreducible, $2$-spherical and $S$ is of cardinality $3$. Let $R:W\to GL(M)$ be a reducible reflection representation of $W$. Let $G:= Im\,R$. Each sub-space of $M$ $(\neq M)$ stabilize by $G$ is contained in $C_{M}(G)$. Let $M':=M/C_{M}(G)$ and $N(G):=\{g|g\in G,g\, \text{acts trivially on}\,M'\}$. We call $N(G)$ the translation sub-group of $G$. One of the goals of this part is to study $M'$ and $N(G)$. In particular it is shown that $N(G)$ is an $\mathcal{O}G-module$.


title: Gravitational-wave research as an emerging field in the Max Planck Society. The long roots of GEO600 and of the Albert Einstein Institute

abstract: On the occasion of the 50th anniversary since the beginning of the search for gravitational waves at the Max Planck Society, and in coincidence with the 25th anniversary of the foundation of the Albert Einstein Institute, we explore the interplay between the renaissance of general relativity and the advent of relativistic astrophysics following the German early involvement in gravitational-wave research, to the point when gravitational-wave detection became established by the appearance of full-scale detectors and international collaborations. On the background of the spectacular astrophysical discoveries of the 1960s and the growing role of relativistic astrophysics, Ludwig Biermann and his collaborators at the Max Planck Institute for Astrophysics in Munich became deeply involved in research related to such new horizons. At the end of the 1960s, Joseph Weber's announcements claiming detection of gravitational waves sparked the decisive entry of this group into the field, in parallel with the appointment of the renowned relativist Juergen Ehlers. The Munich area group of Max Planck institutes provided the fertile ground for acquiring a leading position in the 1970s, facilitating the experimental transition from resonant bars towards laser interferometry and its innovation at increasingly large scales, eventually moving to a dedicated site in Hannover in the early 1990s. The Hannover group emphasized perfecting experimental systems at pilot scales, and never developed a full-sized detector, rather joining the LIGO Scientific Collaboration at the end of the century. In parallel, the Max Planck Institute for Gravitational Physics (Albert Einstein Institute) had been founded in Potsdam, and both sites, in Hannover and Potsdam, became a unified entity in the early 2000s and were central contributors to the first detection of gravitational waves in 2015.


title: Large highly connected subgraphs in graphs with linear average degree

abstract: In 1972 Mader proved that every graph with average degree at least $4k$ has a $(k+1)$-connected subgraph with more than $2k$ vertices. We improve this bound by showing that the constant $4$ can be replaced by $3+\frac{1}{3}$; this bound is sharp.


title: Always Look on the Bright Side of the Field: Merging Pose and Contextual Data to Estimate Orientation of Soccer Players

abstract: Although orientation has proven to be a key skill of soccer players in order to succeed in a broad spectrum of plays, body orientation is a yet-little-explored area in sports analytics' research. Despite being an inherently ambiguous concept, player orientation can be defined as the projection (2D) of the normal vector placed in the center of the upper-torso of players (3D). This research presents a novel technique to obtain player orientation from monocular video recordings by mapping pose parts (shoulders and hips) in a 2D field by combining OpenPose with a super-resolution network, and merging the obtained estimation with contextual information (ball position). Results have been validated with players-held EPTS devices, obtaining a median error of 27 degrees/player. Moreover, three novel types of orientation maps are proposed in order to make raw orientation data easy to visualize and understand, thus allowing further analysis at team- or player-level.


title: Path homology as a stronger analogue of cyclomatic complexity

abstract: Cyclomatic complexity is an incompletely specified but mathematically principled software metric that can be usefully applied to both source and binary code. We consider the application of path homology as a stronger analogue of cyclomatic complexity. We have implemented an algorithm to compute path homology in arbitrary dimension and applied it to several classes of relevant flow graphs, including randomly generated flow graphs representing structured and unstructured control flow. We also compared path homology and cyclomatic complexity on a set of disassembled binaries obtained from the grep utility. There exist control flow graphs realizable at the assembly level with nontrivial path homology in arbitrary dimension. We exhibit several classes of examples in this vein while also experimentally demonstrating that path homology gives identicial results to cyclomatic complexity for at least one detailed notion of structured control flow. We also experimentally demonstrate that the two notions differ on disassembled binaries, and we highlight an example of extreme disagreement. Path homology empirically generalizes cyclomatic complexity for an elementary notion of structured code and appears to identify more structurally relevant features of control flow in general. Path homology therefore has the potential to substantially improve upon cyclomatic complexity.


title: Broadband coherent optical memory based on electromagnetically induced transparency

abstract: Quantum memories, devices that can store and retrieve photonic quantum states on demand, are essential components for scalable quantum technologies. It is desirable to push the memory towards the broadband regime in order to increase the data rate. Here, we present a theoretical and experimental study on the broadband optical memory based on electromagnetically-induced-transparency (EIT) protocol. We first provide a theoretical analysis on the issues and requirements to achieve a broadband EIT memory. We then present our experimental efforts on EIT memory in cold atoms towards the broadband or short-pulse regime. A storage efficiency of ~ 80 % with a pulse duration of 30 ns (corresponding to a bandwidth of 14.7 MHz) is realized. Limited by the available intensity of the control beam, we could not conduct an optimal storage for the even shorter pulses but still obtain an efficiency of larger than 50 % with a pulse duration of 14 ns (31.4 MHz). The achieved time-bandwidth-product at the efficiency of 50 % is 1267.


title: A Self-Supervised Learning Approach to Rapid Path Planning for Car-Like Vehicles Maneuvering in Urban Environment

abstract: An efficient path planner for autonomous car-like vehicles should handle the strong kinematic constraints, particularly in confined spaces commonly encountered while maneuvering in city traffic, and should enable rapid planning, as the city traffic scenarios are highly dynamic. State-of-the-art planning algorithms handle such difficult cases at high computational cost, often yielding non-deterministic results. However, feasible local paths can be quickly generated leveraging the past planning experience gained in the same or similar environment. While learning through supervised training is problematic for real traffic scenarios, we introduce in this paper a novel neural network-based method for path planning, which employs a gradient-based self-supervised learning algorithm to predict feasible paths. This approach strongly exploits the experience gained in the past and rapidly yields feasible maneuver plans for car-like vehicles with limited steering-angle. The effectiveness of such an approach has been confirmed by computational experiments.


title: Chaotic Synchronization of memristive neurons: Lyapunov function versus Hamilton function

abstract: We study the dynamical behaviors of this improved memristive neuron model by changing external harmonic current and the magnetic gain parameters. The model shows rich dynamics including periodic and chaotic spiking and bursting, and remarkably, chaotic super-bursting, which has greater information encoding potentials than a standard bursting activity. Based on Krasovskii-Lyapunov stability theory, the sufficient conditions (on the synaptic strengths and magnetic gain parameters) for the chaotic synchronization of the improved model are obtained. Based on Helmholtz's theorem, the Hamilton function of the corresponding error dynamical system is also obtained. It is shown that the time variation of this Hamilton function along trajectories can play the role of the time variation of the Lyapunov function - in determining the asymptotic stability of the synchronization manifold. Numerical computations indicate that as the synaptic strengths and the magnetic gain parameters change, the time variation of the Hamilton function is always non-zero (i.e., a relatively large positive or negative value) only when the time variation of the Lyapunov function is positive, and zero (or vanishingly small) only when the time variation of the Lyapunov function is also zero. This clearly therefore paves an alternative way to determine the asymptotic stability of synchronization manifolds, and can be particularly useful for systems whose Lyapunov function is difficult to construct, but whose Hamilton function corresponding to the dynamic error system is easier to calculate.


title: Constraints on non-Newtonian gravity and axionlike particles from measuring the Casimir force in nanometer separation range

abstract: We obtain constraints on the Yukawa-type corrections to Newton's gravitational law and on the coupling constant of axionlike particles to nucleons following from the experiment on measuring the Casimir force between an Au-coated microsphere and a silicon carbide plate. For this purpose, both the Yukawa-type force and the force due to two-axion exchange between nucleons are calculated in the experimental configuration. In the interaction range of Yukawa force exceeding 1 nm and for axion masses above 17.8 eV, the obtained constraints are much stronger than those found previously from measuring the lateral Casimir force between sinusoidally corrugated surfaces. These results are compared with the results of other laboratory experiments on constraining non-Newtonian gravity and axionlike particles in the relevant interaction ranges.


title: Identifying Carbon as the Source of Visible Single Photon Emission from Hexagonal Boron Nitride

abstract: Single photon emitters (SPEs) in hexagonal boron nitride (hBN) have garnered significant attention over the last few years due to their superior optical properties. However, despite the vast range of experimental results and theoretical calculations, the defect structure responsible for the observed emission has remained elusive. Here, by controlling the incorporation of impurities into hBN and by comparing various synthesis methods, we provide direct evidence that the visible SPEs are carbon related. Room temperature optically detected magnetic resonance (ODMR) is demonstrated on ensembles of these defects. We also perform ion implantation experiments and confirm that only carbon implantation creates SPEs in the visible spectral range. Computational analysis of hundreds of potential carbon-based defect transitions suggest that the emission results from the negatively charged VBCN- defect, which experiences long-range out-of-plane deformations and is environmentally sensitive. Our results resolve a long-standing debate about the origin of single emitters at the visible range in hBN and will be key to deterministic engineering of these defects for quantum photonic devices.


title: A new application of Crapper's exact solution to waves in constant vorticity flows

abstract: In 1957 Crapper found an exact solution for capillary waves propagating at the surface of an irrotational flow of infinite depth. Here we provide conclusive analytical and numerical evidence that a Crapper wave makes the profile of a periodic traveling wave propagating, in the absence of the effects of gravity and surface tension, in a constant vorticity flow. This is achieved by constructing a Stokes expansion up to the third order in a small amplitude parameter and by numerically computing large amplitude waves.


title: DriverMHG: A Multi-Modal Dataset for Dynamic Recognition of Driver Micro Hand Gestures and a Real-Time Recognition Framework

abstract: The use of hand gestures provides a natural alternative to cumbersome interface devices for Human-Computer Interaction (HCI) systems. However, real-time recognition of dynamic micro hand gestures from video streams is challenging for in-vehicle scenarios since (i) the gestures should be performed naturally without distracting the driver, (ii) micro hand gestures occur within very short time intervals at spatially constrained areas, (iii) the performed gesture should be recognized only once, and (iv) the entire architecture should be designed lightweight as it will be deployed to an embedded system. In this work, we propose an HCI system for dynamic recognition of driver micro hand gestures, which can have a crucial impact in automotive sector especially for safety related issues. For this purpose, we initially collected a dataset named Driver Micro Hand Gestures (DriverMHG), which consists of RGB, depth and infrared modalities. The challenges for dynamic recognition of micro hand gestures have been addressed by proposing a lightweight convolutional neural network (CNN) based architecture which operates online efficiently with a sliding window approach. For the CNN model, several 3-dimensional resource efficient networks are applied and their performances are analyzed. Online recognition of gestures has been performed with 3D-MobileNetV2, which provided the best offline accuracy among the applied networks with similar computational complexities. The final architecture is deployed on a driver simulator operating in real-time. We make DriverMHG dataset and our source code publicly available.


title: Bayesian Neural Networks With Maximum Mean Discrepancy Regularization

abstract: Bayesian Neural Networks (BNNs) are trained to optimize an entire distribution over their weights instead of a single set, having significant advantages in terms of, e.g., interpretability, multi-task learning, and calibration. Because of the intractability of the resulting optimization problem, most BNNs are either sampled through Monte Carlo methods, or trained by minimizing a suitable Evidence Lower BOund (ELBO) on a variational approximation. In this paper, we propose a variant of the latter, wherein we replace the Kullback-Leibler divergence in the ELBO term with a Maximum Mean Discrepancy (MMD) estimator, inspired by recent work in variational inference. After motivating our proposal based on the properties of the MMD term, we proceed to show a number of empirical advantages of the proposed formulation over the state-of-the-art. In particular, our BNNs achieve higher accuracy on multiple benchmarks, including several image classification tasks. In addition, they are more robust to the selection of a prior over the weights, and they are better calibrated. As a second contribution, we provide a new formulation for estimating the uncertainty on a given prediction, showing it performs in a more robust fashion against adversarial attacks and the injection of noise over their inputs, compared to more classical criteria such as the differential entropy.


title: Evaluating Temporal Queries Over Video Feeds

abstract: Recent advances in Computer Vision and Deep Learning made possible the efficient extraction of a schema from frames of streaming video. As such, a stream of objects and their associated classes along with unique object identifiers derived via object tracking can be generated, providing unique objects as they are captured across frames. In this paper we initiate a study of temporal queries involving objects and their co-occurrences in video feeds. For example, queries that identify video segments during which the same two red cars and the same two humans appear jointly for five minutes are of interest to many applications ranging from law enforcement to security and safety. We take the first step and define such queries in a way that they incorporate certain physical aspects of video capture such as object occlusion. We present an architecture consisting of three layers, namely object detection/tracking, intermediate data generation and query evaluation. We propose two techniques,MFS and SSG, to organize all detected objects in the intermediate data generation layer, which effectively, given the queries, minimizes the number of objects and frames that have to be considered during query evaluation. We also introduce an algorithm called State Traversal (ST) that processes incoming frames against the SSG and efficiently prunes objects and frames unrelated to query evaluation, while maintaining all states required for succinct query evaluation. We present the results of a thorough experimental evaluation utilizing both real and synthetic data establishing the trade-offs between MFS and SSG. We stress various parameters of interest in our evaluation and demonstrate that the proposed query evaluation methodology coupled with the proposed algorithms is capable to evaluate temporal queries over video feeds efficiently, achieving orders of magnitude performance benefits.


title: Investigating Social Haptic Illusions for Tactile Stroking (SHIFTS)

abstract: A common and effective form of social touch is stroking on the forearm. We seek to replicate this stroking sensation using haptic illusions. This work compares two methods that provide sequential discrete stimulation: sequential normal indentation and sequential lateral skin-slip using discrete actuators. Our goals are to understand which form of stimulation more effectively creates a continuous stroking sensation, and how many discrete contact points are needed. We performed a study with 20 participants in which they rated sensations from the haptic devices on continuity and pleasantness. We found that lateral skin-slip created a more continuous sensation, and decreasing the number of contact points decreased the continuity. These results inform the design of future wearable haptic devices and the creation of haptic signals for effective social communication.


title: A Groupoid Proof of the Lefschetz fixed point formula

abstract: The purpose of this article is to present a "Groupoid proof" to the Lefschetz fixed point formula for elliptic complexes. We shall define a "relative version" of tangent groupoid, describe the corresponding pseudodifferential calculi and explain the relation with the Lefschetz fixed point formula.


title: The Development of Wearable Polymer-Based Sensors: Perspectives

abstract: The development of smart polymer materials is reviewed and illustrated. Important examples of these polymers include conducting polymers, ionic gels, stimulus-response be used polymers, liquid crystalline polymers and piezoelectric materials, which have desirable properties for use in wearable sensors. This review outlines the mode of action in these types of smart polymers systems for utilisation as wearable sensors. Categories of wearable sensors are considered as tattoo-like designs, patch-like, textile-based, and contact lens-based sensors. The advantages and disadvantages of each sensor types are considered together with information on the typical performance. The research gap linking smart polymer materials to wearable sensors with integrated power systems is highlighted. Smart polymer systems may be used as part of a holistic approach to improve wearable devices and accelerate the integration of wearable sensors and power systems, particularly in health care.


title: Grothendieck rings of towers of twisted generalized Weyl algebras

abstract: Twisted generalized Weyl algebras (TGWAs) $A(R,\sigma,t)$ are defined over a base ring $R$ by parameters $\sigma$ and $t$, where $\sigma$ is an $n$-tuple of automorphisms, and $t$ is an $n$-tuple of elements in the center of $R$. We show that, for fixed $R$ and $\sigma$, there is a natural algebra map $A(R,\sigma,tt')\to A(R,\sigma,t)\otimes_R A(R,\sigma,t')$. This gives a tensor product operation on modules, inducing a ring structure on the direct sum (over all $t$) of the Grothendieck groups of the categories of weight modules for $A(R,\sigma,t)$. We give presentations of these Grothendieck rings for $n=1,2$, when $R=\mathbb{C}[z]$. As a consequence, for $n=1$, any indecomposable module for a TGWA can be written as a tensor product of indecomposable modules over the usual Weyl algebra. In particular, any finite-dimensional simple module over $\mathfrak{sl}_2$ is a tensor product of two Weyl algebra modules.


title: Score Engineered Logistic Regression

abstract: In several FICO studies logistic regression has been shown to be a very competitive technology for developing unrestricted scoring models, especially for performance metrics like ROC area. Application of logistic regression has been hampered by the lack of software to handle complex score engineering such as shape and pattern constraints. The purpose of this paper is to develop a sequential quadratic programming algorithm for score engineered logistic regression. This approach is based on a simple Taylor series expansion of minus log likelihood, which is locally quadratic. and fits in with the method that applies quadratic programming to B-Splines.


title: Low field transport calculations in 2-dimensional electron gas in $\mathrm{\beta\mbox{-}(Al_{x}Ga_{1-x})_{2}O_{3}/Ga_{2}O_{3}}$ heterostructures

abstract: $\mathrm{\beta}$-Gallium oxide ($\mathrm{\beta\mbox{-}Ga_{2}O_{3}}$) is an emerging widebandgap semiconductor for potential application in power and RF electronics applications. Initial theoretical calculation on a 2-dimensional electron gas (2DEG) in $\mathrm{\beta\mbox{-}(Al_{x}Ga_{1-x})_{2}O_{3}/Ga_{2}O_{3}}$ heterostructures show the promise for high speed transistors. However, the experimental results do not get close to the predicted mobility values. In this work, We perform more comprehensive calculations to study the low field 2DEG transport properties in the $\mathrm{\beta\mbox{-}(Al_{x}Ga_{1-x})_{2}O_{3}/Ga_{2}O_{3}}$ heterostructure. A self-consistent Poisson-Schrodinger simulation of heterostructure is used to obtain the subband energies and wavefunctions. The electronic structure, assuming confinement in a particular direction, and the phonon dispersion is calculated based on first principle methods under DFT and DFPT framework. Phonon confinement is not considered for the sake of simplicity. The different scattering mechanisms that are included in the calculation are phonon (polar and non-polar), remote impurity, alloy and interface-roughness. We include the full dynamic screening polar optical phonon screening. We report the temperature dependent low-field electron mobility.


title: Tune modulation effects in the High Luminosity Large Hadron Collider

abstract: Several transverse noise sources, such as power supply ripples, can potentially act as an important limiting mechanism for the luminosity production of the Large Hadron Collider (LHC) and its future High-Luminosity upgrade (HL-LHC). In the presence of non-linearities, depending on the spectral components of the power supply noise and the nature of the source, such a mechanism can increase the diffusion of the particles in the distribution through the excitation of sideband resonances in the vicinity of the ones driven by the lattice non-linearities. For the HL-LHC, due to the reduction of the beam size in the Interaction Points (IP) of the high luminosity experiments (IP1 and 5), increased sensitivity to noise effects is anticipated for the quadrupoles of the inner triplets. The modulation that may arise from the power supply ripples will be combined with the tune modulation that intrinsically emerges from the coupling of the transverse and longitudinal plane for off-momentum particles through chromaticity. To this end, the aim of this paper is to study the impact of tune modulation effects on the transverse beam motion resulting from the interplay between quadrupolar power supply ripples and synchro-betatron coupling. A power supply noise threshold for acceptable performance is estimated with single-particle tracking simulations by investigating the impact of different modulation frequencies and amplitudes on the Dynamic Aperture. The excitation of sideband resonances due to the modulation is demonstrated with frequency maps and the higher sensitivity to specific modulation frequencies is explained. Finally, a power supply noise spectrum consisting of several tones is considered in the simulations to determine whether the presence of power supply ripples in the quadrupoles of the inner triplet will limit the luminosity production in the HL-LHC era.


title: A surface finite element method for computational modelling of cell blebbing

abstract: Cell blebs are protrusions of the cell membrane and can be instrumental for cell migration. We derive a continuum model for the mechanical and geometrical aspects of the onset of blebbing in terms of a force balance. It is abstract and flexible in that it allows for amending force contributions related to membrane tension or the presence of linker molecules between membrane and cell cortex. The deforming membrane and all forces are expressed by means of a parametrisation over a stationary reference surface. A variational formulation is presented and analysed for well-posedness. For this purpose, we derive a semi-discrete scheme based on the surface finite element method. We provide a convergence result and estimates of the error due to the spatial discretisation. Furthermore, we present a computational framework where specific models can be implemented and later on conveniently amended if desired, using a domain specific language implemented in Python. While the high level program control can be done within the Python scripting environment, the actual computationally expensive step of evolving the solution over time is carried out by binding to an efficient software backend. Cell membrane geometries given in terms of a parametrisation or obtained from image data can be accounted for. A couple of numerical simulation results illustrate the approach.


title: Exact solution of a cluster model with next-nearest-neighbor interaction

abstract: A one-dimensional cluster model with next-nearest-neighbor interactions and two additional composite interactions is solved; the free energy is obtained and a correlation function is derived exactly. The model is diagonalized by a transformation obtained automatically from its interactions, which is an algebraic generalization of the Jordan-Wigner transformation. The gapless condition is expressed as a condition on the roots of a cubic equation, and the phase diagram is obtained exactly. We find that the distribution of roots for this algebraic equation determines the existence of long-range order, and we again obtain the ground-state phase diagram. We also derive the central charges of the corresponding conformal field theory. Finally, we note that our results are universally valid for an infinite number of solvable spin chains whose interactions obey the same algebraic relations.


title: Piecewise Linear Valued Constraint Satisfaction Problems with Fixed Number of Variables

abstract: Many combinatorial optimisation problems can be modelled as valued constraint satisfaction problems. In this paper, we present a polynomial-time algorithm solving the valued constraint satisfaction problem for a fixed number of variables and for piecewise linear cost functions. Our algorithm finds the infimum of a piecewise linear function and decides whether it is a proper minimum.


title: Almost-Matching-Exactly for Treatment Effect Estimation under Network Interference

abstract: We propose a matching method that recovers direct treatment effects from randomized experiments where units are connected in an observed network, and units that share edges can potentially influence each others' outcomes. Traditional treatment effect estimators for randomized experiments are biased and error prone in this setting. Our method matches units almost exactly on counts of unique subgraphs within their neighborhood graphs. The matches that we construct are interpretable and high-quality. Our method can be extended easily to accommodate additional unit-level covariate information. We show empirically that our method performs better than other existing methodologies for this problem, while producing meaningful, interpretable results.


title: Distribution Constraints: The Chase for Distributed Data

abstract: This paper introduces a declarative framework to specify and reason about distributions of data over computing nodes in a distributed setting. More specifically, it proposes distribution constraints which are tuple and equality generating dependencies (tgds and egds) extended with node variables ranging over computing nodes. In particular, they can express co-partitioning constraints and constraints about range-based data distributions by using comparison atoms. The main technical contribution is the study of the implication problem of distribution constraints. While implication is undecidable in general, relevant fragments of so-called data-full constraints are exhibited for which the corresponding implication problems are complete for EXPTIME, PSPACE and NP. These results yield bounds on deciding parallel-correctness for conjunctive queries in the presence of distribution constraints.


title: Invariance of the Fredholm Index and Spectrum of Non-Smooth Pseudodifferential Operators

abstract: In this paper we show the invariance of the Fredholm index of non-smooth pseudodifferential operators with coefficients in H\"older spaces. By means of this invariance we improve previous spectral invariance results for non-smooth pseudodifferential operators $P$ with coefficients in H\"older spaces. For this purpose we approximate $P$ with smooth pseudodifferential operators and use a spectral invariance result of smooth pseudodifferential operators. Then we get the spectral invariance result in analogy to a proof of the spectral invariance result for non-smooth differential operators by Rabier.


title: Microscopic description of the self-conjugate $^{108}$Xe and $^{104}$Te $\alpha$-decay chain

abstract: A microscopic calculation of half-lives for the recently observed $^{108}$Xe $\to$ $^{104}$Te $\to$ $^{100}$Sn $\alpha$-decay chain is performed using a self-consistent framework based on energy density functionals. The relativistic density functional DD-PC1 and a separable pairing interaction of finite range are used to compute axially-symmetric deformation energy surfaces of $^{104}$Te and $^{108}$Xe as functions of quadrupole, octupole and hexadecupole collective coordinates. Dynamic least-action paths are determined that trace the $\alpha$-particle emission from the equilibrium deformation to the point of scission. The calculated half-lives: 197 ns for $^{104}$Te and 50 $\mu$s for $^{108}$Xe, are compared to recent experimental values of the half-lives of superallowed $\alpha$-decay of $^{104}$Te: $< 18$ ns, and $^{108}$Xe: 58$^{+106}_{-23}$ $\mu$s.


title: Quantifying polaronic effects on charge-carrier scattering and mobility in lead--halide perovskites

abstract: The formation of polarons due to the interaction between charge carriers and the crystal lattice has been proposed to have wide-ranging effects on charge carrier dynamics in lead--halide perovskites (LHPs). The hypothesis underlying many of those proposals is that charge carriers are "protected" from scattering by their incorporation into polarons. We test that hypothesis by deriving expressions for the rates of scattering of polarons by polar-optical and acoustic phonons, and ionised impurities, which we compute for electrons in the LHPs MAPbI$_{3}$ , MAPbBr$_{3}$ and CsPbI$_{3}$. We then use the ensemble Monte Carlo method to compute electron-polaron distribution functions which satisfy a Boltzmann equation incorporating the same three scattering mechanisms. By carrying out analogous calculations for band electrons and comparing their results to those for polarons, we conclude that polaron formation impacts charge-carrier scattering rates and mobilities to a limited degree in LHPs, contrary to claims in the recent literature.


title: Searching for Fast Neutrino Flavor Conversion Modes in Core-collapse Supernova Simulations

abstract: Neutrinos propagating in dense neutrino media such as those in core-collapse supernovae can experience fast flavor conversions on scales much shorter than those expected in vacuum. It is believed that a necessary condition for the occurrence of fast modes is that the angular distributions of $\nu_e$ and $\bar\nu_e$ cross each other. However, most of the state-of-the-art supernova simulations do not provide such detailed angular information and instead, consider only a few moments of neutrino angular distributions. We here propose an efficient method to use these available few moments to search for fast modes in supernova simulations. Our method, which is based on searching for crossings in the angular distributions, can work with any number of moments provided by the simulation though a larger number of crossings can be captured when higher moments are available.


title: YouTube Recommendations and Effects on Sharing Across Online Social Platforms

abstract: In January 2019, YouTube announced it would exclude potentially harmful content from video recommendations but allow such videos to remain on the platform. While this step intends to reduce YouTube's role in propagating such content, continued availability of these videos in other online spaces makes it unclear whether this compromise actually reduces their spread. To assess this impact, we apply interrupted time series models to measure whether different types of YouTube sharing in Twitter and Reddit changed significantly in the eight months around YouTube's announcement. We evaluate video sharing across three curated sets of potentially harmful, anti-social content: a set of conspiracy videos that have been shown to experience reduced recommendations in YouTube, a larger set of videos posted by conspiracy-oriented channels, and a set of videos posted by alternative influence network (AIN) channels. As a control, we also evaluate effects on video sharing in a dataset of videos from mainstream news channels. Results show conspiracy-labeled and AIN videos that have evidence of YouTube's de-recommendation experience a significant decreasing trend in sharing on both Twitter and Reddit. For videos from conspiracy-oriented channels, however, we see no significant effect in Twitter but find a significant increase in the level of conspiracy-channel sharing in Reddit. For mainstream news sharing, we actually see an increase in trend on both platforms, suggesting YouTube's suppressing particular content types has a targeted effect. This work finds evidence that reducing exposure to anti-social videos within YouTube, without deletion, has potential pro-social, cross-platform effects. At the same time, increases in the level of conspiracy-channel sharing raise concerns about content producers' responses to these changes, and platform transparency is needed to evaluate these effects further.


title: Graphing Website Relationships for Risk Prediction: Identifying Derived Threats to Users Based on Known Indicators

abstract: The hypothesis for the study was that the relationship based on referrer links and the number of hops to a malicious site could indicate the risk to another website. We chose Receiver Operating Characteristics (ROC) analysis as the method of comparing true positive and false positive rates for captured web traffic to test the predictive capabilities of our model. Known threat indicators were used as designators, and the Neo4j graph database was leveraged to map the relationships between other websites based on referring links. Using the referring traffic, we mapped user visits across websites with a known relationship to track the rate at which users progressed from a non-malicious website to a known threat. The results were grouped by the hop distance from the known threat to calculate the predictive rate. The results of the model produced true positive rates between 58.59% and 63.45% and false positive rates between 7.42% to 37.50%, respectively. The true and false positive rates suggest an improved performance based on the closer proximity from the known threat, while an increased referring distance from the threat resulted in higher rates of false positives.


title: Core-collapse Supernova Explosions Driven by the Hadron-quark Phase Transition as a Rare $r$-process Site

abstract: Supernova explosions of massive stars are one of the primary sites for the production of the elements in the universe. Up to now, stars with zero-age main-sequence masses in the range of 35--50~$M_\odot$ had mostly been representing the failed supernova explosion branch. In contrast, it has been demonstrated recently that the appearance of exotic phases of hot and dense matter, associated with a sufficiently strong phase transition from nuclear matter to the quark-gluon plasma at high baryon density, can trigger supernova explosions of such massive supergiant. Here, we present the first results obtained from an extensive nucleosynthesis analysis for material being ejected from the surface of the newly born proto-neutron star of such supernova explosions. These ejecta contain an early neutron-rich component and a late-time high-entropy neutrino-driven wind. The nucleosynthesis robustly overcomes the production of nuclei associated with the second $r$-process peak, at nuclear mass number $A\simeq 130$, and proceeds beyond the formation of the third peak ($A\simeq 195$) to the actinides. These yields may account for metal-poor star observations concerning $r$-process elements such as strontium and europium in the Galaxy at low metalicity, while the actinide yields suggests that this source may be a candidate contributing to the abundances of radioactive $^{244}$Pu measured in deep-sea sediments on Earth.


title: Differential Privacy at Risk: Bridging Randomness and Privacy Budget

abstract: The calibration of noise for a privacy-preserving mechanism depends on the sensitivity of the query and the prescribed privacy level. A data steward must make the non-trivial choice of a privacy level that balances the requirements of users and the monetary constraints of the business entity. We analyse roles of the sources of randomness, namely the explicit randomness induced by the noise distribution and the implicit randomness induced by the data-generation distribution, that are involved in the design of a privacy-preserving mechanism. The finer analysis enables us to provide stronger privacy guarantees with quantifiable risks. Thus, we propose privacy at risk that is a probabilistic calibration of privacy-preserving mechanisms. We provide a composition theorem that leverages privacy at risk. We instantiate the probabilistic calibration for the Laplace mechanism by providing analytical results. We also propose a cost model that bridges the gap between the privacy level and the compensation budget estimated by a GDPR compliant business entity. The convexity of the proposed cost model leads to a unique fine-tuning of privacy level that minimises the compensation budget. We show its effectiveness by illustrating a realistic scenario that avoids overestimation of the compensation budget by using privacy at risk for the Laplace mechanism. We quantitatively show that composition using the cost optimal privacy at risk provides stronger privacy guarantee than the classical advanced composition.

categories: cs.CR cs.DS cs.LG math.ST stat.ML stat.TH


title: Semisimple symmetric contact spaces

abstract: We classify contact manifolds $(M,\mathcal D)$ which are homogeneous under a connected semisimple Lie group $G$, and symmetric in the sense that there exists a contactomorphism of $(M,\mathcal D)$ normalizing $G$, fixing a point $o$ in $M$ and restricting to minus identity along $\mathcal D_o$.


title: Cartolabe: A Web-Based Scalable Visualization of Large Document Collections

abstract: We describe CARTOLABE, a web-based multi-scale system for visualizing and exploring large textual corpora based on topics, introducing a novel mechanism for the progressive visualization of filtering queries. Initially designed to represent and navigate through scientific publications in different disciplines, CARTOLABE has evolved to become a generic framework and accommodate various corpora, ranging from Wikipedia (4.5M entries) to the French National Debate (4.3M entries). CARTOLABE is made of two modules: the first relies on Natural Language Processing methods, converting a corpus and its entities (documents, authors, concepts) into high-dimensional vectors, computing their projection on the 2D plane, and extracting meaningful labels for regions of the plane. The second module is a web-based visualization, displaying tiles computed from the multidimensional projection of the corpus using the U MAP projection method. This visualization module aims at enabling users with no expertise in visualization and data analysis to get an overview of their corpus, and to interact with it: exploring, querying, filtering, panning and zooming on regions of semantic interest. Three use cases are discussed to illustrate CARTOLABE's versatility and ability to bring large scale textual corpus visualization and exploration to a wide audience.


title: Topological Differential Testing

abstract: We introduce topological differential testing (TDT), an approach to extracting the consensus behavior of a set of programs on a corpus of inputs. TDT uses the topological notion of a simplicial complex (and implicitly draws on richer topological notions such as sheaves and persistence) to determine inputs that cause inconsistent behavior and in turn reveal \emph{de facto} input specifications. We gently introduce TDT with a toy example before detailing its application to understanding the PDF file format from the behavior of various parsers. Finally, we discuss theoretical details and other possible applications.


title: Hilbert-Poincar\'{e} series of parity binomial edge ideals and permanental ideals of complete graph

abstract: We give an explicit formula for the Hilbert-Poincar\'{e} series of the parity binomial edge ideal of a complete graph $K_{n}$ or equivalently for the ideal generated by all $2\times 2$-permanents of a $2\times n$-matrix. It follows that the depth and Castelnuovo-Mumford regularity of these ideals are independent of $n$.


title: Hyper-Differential Sensitivity Analysis for Inverse Problems Constrained by Partial Differential Equations

abstract: High fidelity models used in many science and engineering applications couple multiple physical states and parameters. Inverse problems arise when a model parameter cannot be determined directly, but rather is estimated using (typically sparse and noisy) measurements of the states. The data is usually not sufficient to simultaneously inform all of the parameters. Consequently, the governing model typically contains parameters which are uncertain but must be specified for a complete model characterization necessary to invert for the parameters of interest. We refer to the combination of the additional model parameters (those which are not inverted for) and the measured data states as the "complementary parameters". We seek to quantify the relative importance of these complementary parameters to the solution of the inverse problem. To address this, we present a framework based on hyper-differential sensitivity analysis (HDSA). HDSA computes the derivative of the solution of an inverse problem with respect to complementary parameters. We present a mathematical framework for HDSA in large-scale PDE-constrained inverse problems and show how HDSA can be interpreted to give insight about the inverse problem. We demonstrate the effectiveness of the method on an inverse problem by estimating a permeability field, using pressure and concentration measurements, in a porous medium flow application with uncertainty in the boundary conditions, source injection, and diffusion coefficient.


title: Decomposing a matrix into two submatrices with extremely small operator norm

abstract: We give sufficient conditions on a matrix A ensuring the existence of a partition of this matrix into two submatrices with extremely small norm of the image of any vector. Under some weak conditions on a matrix A we obtain a partition of A with the extremely small $(1,q)$-norm of submatrices.


title: The effect of periodic spatial perturbations on the emission rates of quantum dots near graphene platforms

abstract: Quenching of fluorescence (FL) at the vicinity of conductive surfaces, and in particular, near a 2-D graphene layer has become an important biochemical sensing tool. The quenching is attributed to fast non-radiative energy transfer between a chromophore and the lossy conductor. Increased emission rate is also observed when the chromophore is coupled to a resonator. Here we combine the two effects in order to control the emission lifetime of the chromophore. In our case, the resonator was defined by an array of nano-holes in the oxide substrate underneath a graphene surface guide. We demonstrated an emission rate change by more than 50% as the sample was azimuthally rotated with respect to the polarization of the excitation laser. Such control over the emission life-time could be used to control resonance energy transfer (RET) between two chromophores.


title: Plug & Play Convolutional Regression Tracker for Video Object Detection

abstract: Video object detection targets to simultaneously localize the bounding boxes of the objects and identify their classes in a given video. One challenge for video object detection is to consistently detect all objects across the whole video. As the appearance of objects may deteriorate in some frames, features or detections from the other frames are commonly used to enhance the prediction. In this paper, we propose a Plug & Play scale-adaptive convolutional regression tracker for the video object detection task, which could be easily and compatibly implanted into the current state-of-the-art detection networks. As the tracker reuses the features from the detector, it is a very light-weighted increment to the detection network. The whole network performs at the speed close to a standard object detector. With our new video object detection pipeline design, image object detectors can be easily turned into efficient video object detectors without modifying any parameters. The performance is evaluated on the large-scale ImageNet VID dataset. Our Plug & Play design improves mAP score for the image detector by around 5% with only little speed drop.


title: Benchmarking Graph Neural Networks

abstract: In the last few years, graph neural networks (GNNs) have become the standard toolkit for analyzing and learning from data on graphs. This emerging field has witnessed an extensive growth of promising techniques that have been applied with success to computer science, mathematics, biology, physics and chemistry. But for any successful field to become mainstream and reliable, benchmarks must be developed to quantify progress. This led us in March 2020 to release a benchmark framework that i) comprises of a diverse collection of mathematical and real-world graphs, ii) enables fair model comparison with the same parameter budget to identify key architectures, iii) has an open-source, easy-to-use and reproducible code infrastructure, and iv) is flexible for researchers to experiment with new theoretical ideas. As of December 2022, the GitHub repository has reached 2,000 stars and 380 forks, which demonstrates the utility of the proposed open-source framework through the wide usage by the GNN community. In this paper, we present an updated version of our benchmark with a concise presentation of the aforementioned framework characteristics, an additional medium-sized molecular dataset AQSOL, similar to the popular ZINC, but with a real-world measured chemical target, and discuss how this framework can be leveraged to explore new GNN designs and insights. As a proof of value of our benchmark, we study the case of graph positional encoding (PE) in GNNs, which was introduced with this benchmark and has since spurred interest of exploring more powerful PE for Transformers and GNNs in a robust experimental setting.


title: Analytical determination of the structure and nuclear abundances of the outer crust of a cold nonaccreted neutron star

abstract: A very fast iterative method is presented to calculate the internal constitution of the outer crust of a cold nonaccreted neutron star, making use of very accurate analytical formulas for the transition pressures between adjacent crustal layers and their density. In addition to the composition of the different crustal layers, their depth and their baryonic mass content can be simultaneously estimated using an approximate solution of Einstein's general relativistic equations. The overall computing time is drastically reduced compared to the traditional approach, thus opening the door to large-scale statistical studies and sensitivity analyses.


title: The UV surface habitability of Proxima b: first experiments revealing probable life survival to stellar flares

abstract: We use a new interdisciplinary approach to study the UV surface habitability of Proxima $b$ under quiescent and flaring stellar conditions. We assumed planetary atmospheric compositions based on CO$_2$ and N$_2$ and surface pressures from 100 to 5000 mbar. Our results show that the combination of these atmospheric compositions and pressures provide enough shielding from the most damaging UV wavelengths, expanding the "UV-protective" planetary atmospheric compositions beyond ozone. Additionally, we show that the UV radiation reaching the surface of Proxima $b$ during quiescent conditions would be negligible from the biological point of view, even without an atmosphere. Given that high UV fluxes could challenge the existence of life, then, we experimentally tested the effect that flares would have on microorganisms in a "worst-case scenario" (no UV-shielding). Our results show the impact that a typical flare and a superflare would have on life: when microorganisms receive very high fluences of UVC, such as those expected to reach the surface of Proxima $b$ after a typical flare or a superflare, a fraction of the population is able to survive. Our study suggests that life could cope with highly UV irradiated environments in exoplanets under conditions that cannot be found on Earth.


title: Magnetic WKB constructions on surfaces

abstract: This article is devoted to the description of the eigenvalues and eigenfunctions of the magnetic Laplacian in the semiclassical limit via the complex WKB method. Under the assumption that the magnetic field has a unique and non-degenerate minimum, we construct the local complex WKB approximations for eigenfunctions on a general surface. Furthermore, in the case of the Euclidean plane, with a radially symmetric magnetic field, the eigenfunctions are approximated in an exponentially weighted space.


title: Stochastic Calibration of Radio Interferometers

abstract: With ever increasing data rates produced by modern radio telescopes like LOFAR and future telescopes like the SKA, many data processing steps are overwhelmed by the amount of data that needs to be handled using limited compute resources. Calibration is one such operation that dominates the overall data processing computational cost, nonetheless, it is an essential operation to reach many science goals. Calibration algorithms do exist that scale well with the number of stations of an array and the number of directions being calibrated. However, the remaining bottleneck is the raw data volume, which scales with the number of baselines, and which is proportional to the square of the number of stations. We propose a 'stochastic' calibration strategy where we only read in a mini-batch of data for obtaining calibration solutions, as opposed to reading the full batch of data being calibrated. Nonetheless, we obtain solutions that are valid for the full batch of data. Normally, data need to be averaged before calibration is performed to accommodate the data in size-limited compute memory. Stochastic calibration overcomes the need for data averaging before any calibration can be performed, and offers many advantages including: enabling the mitigation of faint radio frequency interference; better removal of strong celestial sources from the data; and better detection and spatial localization of fast radio transients.


title: Probabilistic performance estimators for computational chemistry methods: Systematic Improvement Probability and Ranking Probability Matrix. I. Theory

abstract: The comparison of benchmark error sets is an essential tool for the evaluation of theories in computational chemistry. The standard ranking of methods by their Mean Unsigned Error is unsatisfactory for several reasons linked to the non-normality of the error distributions and the presence of underlying trends. Complementary statistics have recently been proposed to palliate such deficiencies, such as quantiles of the absolute errors distribution or the mean prediction uncertainty. We introduce here a new score, the systematic improvement probability (SIP), based on the direct system-wise comparison of absolute errors. Independently of the chosen scoring rule, the uncertainty of the statistics due to the incompleteness of the benchmark data sets is also generally overlooked. However, this uncertainty is essential to appreciate the robustness of rankings. In the present article, we develop two indicators based on robust statistics to address this problem: P_{inv}, the inversion probability between two values of a statistic, and \mathbf{P}_{r}, the ranking probability matrix. We demonstrate also the essential contribution of the correlations between error sets in these scores comparisons.


title: The restriction of polynomial modules for the Virasoro algebra to $\mathfrak{sl}_2 ( \cc )$

abstract: The Lie algebra $sl_2 ( \mathbb{C} )$ may be regarded in a natural way as a subalgebra of the infinite-dimensional Virasoro Lie algebra, and this suggests there may be connections between the representation theory of the two algebras. In this paper, we explore the restriction to $sl_2 ( \mathbb{C} )$ of certain induced modules for the Virasoro algebra. Specifically, we consider Virasoro modules induced from so-called polynomial subalgebras, and we show that the restriction of these modules results in twisted versions of familiar modules such as Verma modules and Whittaker modules.


title: The exploration of the Adjacent Possible explains the emergence and evolution of social networks

abstract: The interactions among human beings represent the backbone of our societies. How people interact, establish new connections, and allocate their activities among these links can reveal a lot of our social organization. Despite focused attention by very diverse scientific communities, we still lack a first-principles modeling framework able to account for the birth and evolution of social networks. Here, we tackle this problem by looking at social interactions as a way to explore a very peculiar space, namely the adjacent possible space, i.e., the set of individuals we can meet at any given point in time during our lifetime. We leverage on a recent mathematical formalization of the adjacent possible space to propose a first-principles theory of social exploration based on simple microscopic rules defining how people get in touch and interact. The new theory predicts both microscopic and macroscopic features of social networks. The most striking feature captured on the microscopic side is the probability for an individual, with already $k$ connections, to acquire a new acquaintance. On the macroscopic side, the model reproduces the main static and dynamic features of social networks: the broad distribution of degree and activities, the average clustering coefficient and the innovation rate at the global and local level. The theory is born out in three diverse real-world social networks: the network of mentions between Twitter users, the network of co-authorship of the American Physical Society and a mobile-phone-call network.


title: Image Reconstruction for Multi-frequency Electromagnetic Tomography based on Multiple Measurement Vector Model

abstract: Imaging the bio-impedance distribution of a biological sample can provide understandings about the sample's electrical properties which is an important indicator of physiological status. This paper presents a multi-frequency electromagnetic tomography (mfEMT) technique for biomedical imaging. The system consists of 8 channels of gradiometer coils with adjustable sensitivity and excitation frequency. To exploit the frequency correlation among each measurement, we reconstruct multiple frequency data simultaneously based on the Multiple Measurement Vector (MMV) model. The MMV problem is solved by using a sparse Bayesian learning method that is especially effective for sparse distribution. Both simulations and experiments have been conducted to verify the performance of the method. Results show that by taking advantage of multiple measurements, the proposed method is more robust to noisy data for ill-posed problems compared to the commonly used single measurement vector model.


title: Uniform Array with Broadband Beamforming for Arbitrary Beam Patterns

abstract: Broadband beamforming is a technique to obtain the signal with a wide range of frequencies. It maintains the signal integrity and spatial selectivity over frequencies. This is important in several applications such as microphone array, sonar array or radar where the operation range of the signal is several octaves. Using uniform array for broadband beamforming is the old topic but there is no available design method for the arbitrary beam patterns, except the optimization methods. In this paper, we present a new method based on geometry translation and coordinate transformation to design broadband beamformer for arbitrary beam patterns. The new method uses less computation time than the optimization methods and it could help to find a better configuration of the array such as fewer sensors, smaller size.


title: Fiedler Regularization: Learning Neural Networks with Graph Sparsity

abstract: We introduce a novel regularization approach for deep learning that incorporates and respects the underlying graphical structure of the neural network. Existing regularization methods often focus on dropping/penalizing weights in a global manner that ignores the connectivity structure of the neural network. We propose to use the Fiedler value of the neural network's underlying graph as a tool for regularization. We provide theoretical support for this approach via spectral graph theory. We list several useful properties of the Fiedler value that makes it suitable in regularization. We provide an approximate, variational approach for fast computation in practical training of neural networks. We provide bounds on such approximations. We provide an alternative but equivalent formulation of this framework in the form of a structurally weighted L1 penalty, thus linking our approach to sparsity induction. We performed experiments on datasets that compare Fiedler regularization with traditional regularization methods such as dropout and weight decay. Results demonstrate the efficacy of Fiedler regularization.


title: Quiver CFT at strong coupling

abstract: The circular Wilson loop in the two-node quiver CFT is computed at large-N and strong 't Hooft coupling by solving the localization matrix model.


title: Machine learning spectral indicators of topology

abstract: Topological materials discovery has emerged as an important frontier in condensed matter physics. While theoretical classification frameworks have been used to identify thousands of candidate topological materials, experimental determination of materials' topology often poses significant technical challenges. X-ray absorption spectroscopy (XAS) is a widely-used materials characterization technique sensitive to atoms' local symmetry and chemical bonding, which are intimately linked to band topology by the theory of topological quantum chemistry (TQC). Moreover, as a local structural probe, XAS is known to have high quantitative agreement between experiment and calculation, suggesting that insights from computational spectra can effectively inform experiments. In this work, we leverage computed X-ray absorption near-edge structure (XANES) spectra of more than 10,000 inorganic materials to train a neural network (NN) classifier that predicts topological class directly from XANES signatures, achieving F$_1$ scores of 89% and 93% for topological and trivial classes, respectively. Additionally, we obtain consistent classifications using corresponding experimental and computational XANES spectra for a small number of measured compounds. Given the simplicity of the XAS setup and its compatibility with multimodal sample environments, the proposed machine learning-augmented XAS topological indicator has the potential to discover broader categories of topological materials, such as non-cleavable compounds and amorphous materials, and may further inform field-driven phenomena in situ, such as magnetic field-driven topological phase transitions.


title: Regularity results for a penalized boundary obstacle problem

abstract: In this paper we are concerned with a two-penalty boundary obstacle problem of interest in thermics, fluid dynamics and electricity. Specifically, we prove existence, uniqueness and optimal regularity of the solutions, and we establish structural properties of the free boundary.


title: Everything About You: A Multimodal Approach towards Friendship Inference in Online Social Networks

abstract: Most previous works in privacy of Online Social Networks (OSN) focus on a restricted scenario of using one type of information to infer another type of information or using only static profile data such as username, profile picture or home location. However the multimedia footprints of users has become extremely diverse nowadays. In reality, an adversary would exploit all types of information obtainable over time, to achieve its goal. In this paper, we analyse OSN privacy by jointly exploiting longterm multimodal information. We focus in particular on inference of social relationships. We consider five popular components of posts shared by users, namely images, hashtags, captions, geo-locations and published friendships. Large scale evaluation on a real-world OSN dataset shows that while our monomodal attacks achieve strong predictions, our multimodal attack leads to a stronger performance with AUC (area under the ROC curve) above 0.9. Our results highlight the need for multimodal obfuscation approaches towards protecting privacy in an era where multimedia footprints of users get increasingly diverse.


title: Generating Higher-Fidelity Synthetic Datasets with Privacy Guarantees

abstract: This paper considers the problem of enhancing user privacy in common machine learning development tasks, such as data annotation and inspection, by substituting the real data with samples form a generative adversarial network. We propose employing Bayesian differential privacy as the means to achieve a rigorous theoretical guarantee while providing a better privacy-utility trade-off. We demonstrate experimentally that our approach produces higher-fidelity samples, compared to prior work, allowing to (1) detect more subtle data errors and biases, and (2) reduce the need for real data labelling by achieving high accuracy when training directly on artificial samples.


title: Multi-frequency Electromagnetic Tomography for Acute Stroke Detection Using Frequency Constrained Sparse Bayesian Learning

abstract: Imaging the bio-impedance distribution of the brain can provide initial diagnosis of acute stroke. This paper presents a compact and non-radiative tomographic modality, i.e. multi-frequency Electromagnetic Tomography (mfEMT), for the initial diagnosis of acute stroke. The mfEMT system consists of 12 channels of gradiometer coils with adjustable sensitivity and excitation frequency. To solve the image reconstruction problem of mfEMT, we propose an enhanced Frequency-Constrained Sparse Bayesian Learning (FC-SBL) to simultaneously reconstruct the conductivity distribution at all frequencies. Based on the Multiple Measurement Vector (MMV) model in the Sparse Bayesian Learning (SBL) framework, FC-SBL can recover the underlying distribution pattern of conductivity among multiple images by exploiting the frequency constraint information. A realistic 3D head model was established to simulate stroke detection scenarios, showing the capability of mfEMT to penetrate the highly resistive skull and improved image quality with FC-SBL. Both simulations and experiments showed that the proposed FC-SBL method is robust to noisy data for image reconstruction problems of mfEMT compared to the single measurement vector model, which is promising to detect acute strokes in the brain region with enhanced spatial resolution and in a baseline-free manner.


title: Priestley-style duality for filter-distributive congruential logics

abstract: We first present a Priestley-style dualitiy for the classes of algebras that are the algebraic counterpart of some congruential, finitary and filter-distributive logic with theorems. Then we analyze which properties of the dual spaces correspond to properties that the logic might enjoy, like the deduction theorem or the existence of a disjunction.


title: Robust Policy Search for Robot Navigation with Stochastic Meta-Policies

abstract: Bayesian optimization is an efficient nonlinear optimization method where the queries are carefully selected to gather information about the optimum location. Thus, in the context of policy search, it has been called active policy search. The main ingredients of Bayesian optimization for sample efficiency are the probabilistic surrogate model and the optimal decision heuristics. In this work, we exploit those to provide robustness to different issues for policy search algorithms. We combine several methods and show how their interaction works better than the sum of the parts. First, to deal with input noise and provide a safe and repeatable policy we use an improved version of unscented Bayesian optimization. Then, to deal with mismodeling errors and improve exploration we use stochastic meta-policies for query selection and an adaptive kernel. We compare the proposed algorithm with previous results in several optimization benchmarks and robot tasks, such as pushing objects with a robot arm, or path finding with a rover.


title: From the Hartree to the Vlasov dynamics: conditional strong convergence

abstract: We review the recent results [45, 46] concerning the semiclassical limit from the Hartree dynamics to the Vlasov equation with singular potentials and extend them to the case of more general radial interactions. We prove that, at positive temperature, the Hartree dynamics converges in trace norm to the Vlasov one, for a particular class of initial states.


title: Score Engineered Robust Least Squares Regression

abstract: In other FICO Technical Papers, I have shown how to fit Generalized Additive Models (GAM) with shape constraints using quadratic programming applied to B-Spline component functions. In this paper, I extend the method to Robust Least Squares Regression.


title: Control of Systems with Infinitely Many Unstable Modes and Strongly Stabilizing Controllers Achieving a Desired Sensitivity

abstract: In this paper we consider a class of linear time invariant systems with infinitely many unstable modes. By using the parameterization of all stabilizing controllers, we show that H-infinity controllers for such systems can be computed using the techniques developed earlier for infinite dimensional plants with finitely many unstable modes. We illustrate connections between the problem solved here and an indirect method for strongly stabilizing H-infinity controller design for systems with time delays.


title: Signatures of associative memory behavior in a multi-mode spin-boson model

abstract: Spin-boson models can describe a variety of physical systems, such as atoms in a cavity or vibrating ion chains. In equilibrium these systems often feature a radical change in their behavior when switching from weak to strong spin-boson interaction. This usually manifests in a transition from a "dark" to a "superradiant" phase. However, understanding the out-of-equilibrium physics of these models is extremely challenging, and even more so for strong spin-boson coupling. Here we show that non-equilibrium strongly interacting spin-boson systems can mimic some fundamental properties of an associative memory - a system which permits the recognition of patterns, such as letters of an alphabet. Patterns are encoded in the couplings between spins and bosons, and we discuss the dynamics of the spins from the perspective of pattern retrieval in associative memory models. We identify two phases, a "paramagnetic" and a "ferromagnetic" one, and a crossover behavior between these regimes. The "ferromagnetic" phase is reminiscent of pattern retrieval. We highlight similarities and differences with the thermal dynamics of a Hopfield associative memory and show that indeed elements of "machine learning behavior" emerge in strongly coupled spin-boson systems.


title: Eco-Vehicular Edge Networks for Connected Transportation: A Distributed Multi-Agent Reinforcement Learning Approach

abstract: This paper introduces an energy-efficient, software-defined vehicular edge network for the growing intelligent connected transportation system. A joint user-centric virtual cell formation and resource allocation problem is investigated to bring eco-solutions at the edge. This joint problem aims to combat against the power-hungry edge nodes while maintaining assured reliability and data rate. More specifically, by prioritizing the downlink communication of dynamic eco-routing, highly mobile autonomous vehicles are served with multiple low-powered access points (APs) simultaneously for ubiquitous connectivity and guaranteed reliability of the network. The formulated optimization is exceptionally troublesome to solve within a polynomial time, due to its complicated combinatorial structure. Hence, a distributed multi-agent reinforcement learning (D-MARL) algorithm is proposed for eco-vehicular edges, where multiple agents cooperatively learn to receive the best reward. First, the algorithm segments the centralized action space into multiple smaller groups. Based on the model-free distributed Q learner, each edge agent takes its actions from the respective group. Also, in each learning state, a software-defined controller chooses the global best action from individual bests of the distributed agents. Numerical results validate that our learning solution achieves near-optimal performances within a small number of training episodes as compared with existing baselines.


title: The STEM-ECR Dataset: Grounding Scientific Entity References in STEM Scholarly Content to Authoritative Encyclopedic and Lexicographic Sources

abstract: We introduce the STEM (Science, Technology, Engineering, and Medicine) Dataset for Scientific Entity Extraction, Classification, and Resolution, version 1.0 (STEM-ECR v1.0). The STEM-ECR v1.0 dataset has been developed to provide a benchmark for the evaluation of scientific entity extraction, classification, and resolution tasks in a domain-independent fashion. It comprises abstracts in 10 STEM disciplines that were found to be the most prolific ones on a major publishing platform. We describe the creation of such a multidisciplinary corpus and highlight the obtained findings in terms of the following features: 1) a generic conceptual formalism for scientific entities in a multidisciplinary scientific context; 2) the feasibility of the domain-independent human annotation of scientific entities under such a generic formalism; 3) a performance benchmark obtainable for automatic extraction of multidisciplinary scientific entities using BERT-based neural models; 4) a delineated 3-step entity resolution procedure for human annotation of the scientific entities via encyclopedic entity linking and lexicographic word sense disambiguation; and 5) human evaluations of Babelfy returned encyclopedic links and lexicographic senses for our entities. Our findings cumulatively indicate that human annotation and automatic learning of multidisciplinary scientific concepts as well as their semantic disambiguation in a wide-ranging setting as STEM is reasonable.


title: Generalized Bott-Cattaneo-Rossi invariants in terms of Alexander polynomials

abstract: The Bott-Cattaneo-Rossi invariant $(Z_k)_{k\in \mathbb N\setminus\{0,1\}}$ is an invariant of long knots $\mathbb R^n\hookrightarrow\mathbb R^{n+2}$ for odd $n$, which reads as a combination of integrals over configuration spaces. In this article, we compute such integrals and prove explicit formulas for (generalized) $Z_k$ in terms of Alexander polynomials, or in terms of linking numbers of some cycles of a hypersurface bounded by the knot. Our formulas, which hold for all null-homologous long knots in homology $\mathbb R^{n+2}$ at least when $n\equiv 1\mod 4$, conversely express the Reidemeister torsion of the knot complement in terms of $(Z_k)_{k\in\mathbb N\setminus\{0,1\}}$. Our formula extends to the even-dimensional case, where $Z_k$ will be proved to be well-defined in an upcoming article.


title: Learning and Solving Regular Decision Processes

abstract: Regular Decision Processes (RDPs) are a recently introduced model that extends MDPs with non-Markovian dynamics and rewards. The non-Markovian behavior is restricted to depend on regular properties of the history. These can be specified using regular expressions or formulas in linear dynamic logic over finite traces. Fully specified RDPs can be solved by compiling them into an appropriate MDP. Learning RDPs from data is a challenging problem that has yet to be addressed, on which we focus in this paper. Our approach rests on a new representation for RDPs using Mealy Machines that emit a distribution and an expected reward for each state-action pair. Building on this representation, we combine automata learning techniques with history clustering to learn such a Mealy machine and solve it by adapting MCTS to it. We empirically evaluate this approach, demonstrating its feasibility.


title: Demonstrating NISQ Era Challenges in Algorithm Design on IBM's 20 Qubit Quantum Computer

abstract: As superconducting qubits continue to advance technologically, the realization of quantum algorithms from theoretical abstraction to physical implementation requires knowledge of both quantum circuit construction as well as hardware limitations. In this study we present results from experiments run on IBM's 20-qubit `Poughkeepsie' architecture, with the goal of demonstrating various qubit qualities and challenges that arise in designing quantum algorithms. These include experimentally measuring $T_1$ and $T_2$ coherence times, gate fidelities, sequential CNOT gates, techniques for handling ancilla qubits, and finally CCNOT and QFT$^{\dagger}$ circuits implemented on several different qubit geometries. Our results demonstrate various techniques for improving quantum circuits which must compensate for limited connectivity, either through the use of SWAP gates or additional ancilla qubits.


title: On the Probability of Erasure for MIMO-OFDM

abstract: Detecting the presence of a valid signal is an important task of a telecommunication receiver. When the receiver is unable to detect the presence of a valid signal, due to noise and fading, it is referred to as an erasure. This work deals with the probability of erasure computation for orthogonal frequency division multiplexed (OFDM) signals used by multiple input multiple output (MIMO) systems. The theoretical results are validated by computer simulations. OFDM is widely used in present day wireless communication systems due to its ability to mitigate intersymbol interference (ISI) caused by frequency selective fading channels. MIMO systems offer the advantage of spatial multiplexing, resulting in increased bit-rate, which is the main requirement of the recent wireless standards like 5G and beyond.


title: Detecting entanglement by the mean value of spin on a quantum computer

abstract: We implement a protocol to determine the degree of entanglement between a qubit and the rest of the system on a quantum computer. The protocol is based on results obtained in paper [Frydryszak et al. (2017)]. This protocol is tested on a 5-qubit superconducting quantum processor called ibmq-ourense provided by the IBM company. We determine the values of entanglement of the Schr\"odinger cat and the Werner states prepared on this device and compare them with the theoretical ones. In addition, a protocol for determining the entanglement of rank-2 mixed states is proposed. We apply this protocol to the mixed state which consists of two Bell states prepared on the ibmq-ourense quantum device.


title: A rapid change in X-ray variability and a jet ejection in the black hole transient MAXI J1820+070

abstract: We present Neutron Star Interior Composition Explorer X-ray and Arcminute Microkelvin Imager Large Array radio observations of a rapid hard-to-soft state transition in the black hole X-ray transient MAXI J1820+070. During the transition from the hard state to the soft state a switch between two particular types of quasiperiodic oscillations (QPOs) was seen in the X-ray power density spectra, from type-C to type-B, along with a drop in the strength of the broadband X-ray variability and a brief flare in the 7-12 keV band. Soon after this switch (~1.5-2.5 hr) a strong radio flare was observed that corresponded to the launch of superluminal ejecta. Although hints of a connection between QPO transitions and radio flares have been seen in other black hole X-ray transients, our observations constitute the strongest observational evidence to date for a link between the appearance of type-B QPOs and the launch of discrete jet ejections.


title: Semiparametric Nonlinear Bipartite Graph Representation Learning with Provable Guarantees

abstract: Graph representation learning is a ubiquitous task in machine learning where the goal is to embed each vertex into a low-dimensional vector space. We consider the bipartite graph and formalize its representation learning problem as a statistical estimation problem of parameters in a semiparametric exponential family distribution. The bipartite graph is assumed to be generated by a semiparametric exponential family distribution, whose parametric component is given by the proximity of outputs of two one-layer neural networks, while nonparametric (nuisance) component is the base measure. Neural networks take high-dimensional features as inputs and output embedding vectors. In this setting, the representation learning problem is equivalent to recovering the weight matrices. The main challenges of estimation arise from the nonlinearity of activation functions and the nonparametric nuisance component of the distribution. To overcome these challenges, we propose a pseudo-likelihood objective based on the rank-order decomposition technique and focus on its local geometry. We show that the proposed objective is strongly convex in a neighborhood around the ground truth, so that a gradient descent-based method achieves linear convergence rate. Moreover, we prove that the sample complexity of the problem is linear in dimensions (up to logarithmic factors), which is consistent with parametric Gaussian models. However, our estimator is robust to any model misspecification within the exponential family, which is validated in extensive experiments.


title: Dipole Subtraction vs. Phase Space Slicing in NLO NRQCD Heavy-Quarkonium Production Calculations

abstract: We compare two approaches to evaluate cross sections of heavy-quarkonium production at next-to-leading order in nonrelativistic QCD involving $S$- and $P$-wave Fock states: the customary approach based on phase space slicing and the approach based on dipole subtraction recently elaborated by us. We find reasonable agreement between the numerical results of the two implementations, but the dipole subtraction implementation outperforms the phase space slicing one both with regard to accuracy and speed.


title: Lie conformal superalgebras and duality of modules over linearly compact Lie superalgebras

abstract: We construct a duality functor on the category of continuous representations of linearly compact Lie superalgebras, using representation theory of Lie conformal superalgebras. We compute the dual representations of the generalized Verma modules.


title: Asymptotics for sliding blocks estimators of rare events

abstract: Drees and Rootz\'en (2010) have established limit theorems for a general class of empirical processes of statistics that are useful for the extreme value analysis of time series, but do not apply to statistics of sliding blocks, including so-called runs estimators. We generalize these results to empirical processes which cover both the class considered by Drees and Rootz\'en (2010) and processes of sliding blocks statistics. Using this approach, one can analyze different types of statistics in a unified framework. We show that statistics based on sliding blocks are asymptotically normal with an asymptotic variance which, under rather mild conditions, is smaller than or equal to the asymptotic variance of the corresponding estimator based on disjoint blocks. Finally, the general theory is applied to three well-known estimators of the extremal index. It turns out that they all have the same limit distribution, a fact which has so far been overlooked in the literature.


title: A priori error estimates for finite element approximations of regularized level set flows in higher norms

abstract: This paper proves error estimates for $H^2$ conforming finite elements for equations which model the flow of surfaces by different powers of the mean curvature (this includes mean curvature flow). for an adapted scheme originally proposed in [17] for the inverse mean curvature flow. The scheme is based on a known regularization procedure and produces different kinds of errors, a regularization error, a finite element discretization error for the regularized problems and a full error. While in the literature and own previous work different aspects of the aforementioned error types are treated, here, we solely and for the first time focus on the finite element discretization error in the $W^{2,\mu}$ norm for the regularized equation analyzing also the dependencies from the regularization parameter.