title: Fast Object Segmentation Learning with Kernel-based Methods for Robotics

abstract: Object segmentation is a key component in the visual system of a robot that performs tasks like grasping and object manipulation, especially in presence of occlusions. Like many other computer vision tasks, the adoption of deep architectures has made available algorithms that perform this task with remarkable performance. However, adoption of such algorithms in robotics is hampered by the fact that training requires large amount of computing time and it cannot be performed on-line. In this work, we propose a novel architecture for object segmentation, that overcomes this problem and provides comparable performance in a fraction of the time required by the state-of-the-art methods. Our approach is based on a pre-trained Mask R-CNN, in which various layers have been replaced with a set of classifiers and regressors that are re-trained for a new task. We employ an efficient Kernel-based method that allows for fast training on large scale problems. Our approach is validated on the YCB-Video dataset which is widely adopted in the computer vision and robotics community, demonstrating that we can achieve and even surpass performance of the state-of-the-art, with a significant reduction (${\sim}6\times$) of the training time. The code to reproduce the experiments is publicly available on GitHub.


title: The Choquard logarithmic equation involving fractional Laplacian operator and a nonlinearity with exponential critical growth

abstract: In the present work we investigate the existence and multiplicity of nontrivial solutions for the Choquard Logarithmic equation $(-\Delta)^{\frac{1}{2}} u + au + \lambda (\ln|\cdot|\ast |u|^{2})u = f(u) \textrm{ in } \mathbb{R}$, for $ a>0 $, $ \lambda >0 $ and a nonlinearity $f$ with exponential critical growth. We prove the existence of a nontrivial solution at the mountain pass level and a nontrivial ground state solution under exponential critical and subcritical growth. Morever, when $ f $ has subcritical growth we guarantee the existence of infinitely many solutions, via genus theory.


title: SurFree: a fast surrogate-free black-box attack

abstract: Machine learning classifiers are critically prone to evasion attacks. Adversarial examples are slightly modified inputs that are then misclassified, while remaining perceptively close to their originals. Last couple of years have witnessed a striking decrease in the amount of queries a black box attack submits to the target classifier, in order to forge adversarials. This particularly concerns the black-box score-based setup, where the attacker has access to top predicted probabilites: the amount of queries went from to millions of to less than a thousand. This paper presents SurFree, a geometrical approach that achieves a similar drastic reduction in the amount of queries in the hardest setup: black box decision-based attacks (only the top-1 label is available). We first highlight that the most recent attacks in that setup, HSJA, QEBA and GeoDA all perform costly gradient surrogate estimations. SurFree proposes to bypass these, by instead focusing on careful trials along diverse directions, guided by precise indications of geometrical properties of the classifier decision boundaries. We motivate this geometric approach before performing a head-to-head comparison with previous attacks with the amount of queries as a first class citizen. We exhibit a faster distortion decay under low query amounts (few hundreds to a thousand), while remaining competitive at higher query budgets.


title: Inverse design of dissipative quantum steady-states with implicit differentiation

abstract: Inverse design of a property that depends on the steady-state of an open quantum system is commonly done by grid-search type of methods. In this paper we present a new methodology that allows us to compute the gradient of the steady-state of an open quantum system with respect to any parameter of the Hamiltonian using the implicit differentiation theorem. As an example, we present a simulation of a spin-boson model where the steady-state solution is obtained using Redfield theory.


title: The Ka-Band High Power Klystron Amplifier Design Program of INFN

abstract: In the framework of the Compact Light XLS project, a short ultra-high gradient linearizer working on the third harmonic of the main LINAC frequency is requested. Increasing gradients and reducing dimensions are requirements for XLS and all next generation linear accelerators. Actually, ultra-compact normal conducting accelerating structures, operating in the Ka-band regime ranging from 100 to 150 MV/m are required to achieve ultra-high gradients for research, industrial and medical applications. To fulfill these strong requirements, the R$\&$D of a proper Ka-band klystron with RF power output and a high efficiency is mandatory. This contribution reports the design of a possible klystron amplifier tube that provides and output signal at 36 GHz to feed the phase space linearizer, while receiving at the input, a low level signal oscillating at 12 GHz; which is the LINAC frequency. The proposed structure reaches an efficiency of 42$\%$ and a 20 MW RF power output. This contribution discusses also the high-power DC gun, the beam focusing channel and the RF beam dynamics.


title: Flavor violation at LHC in events with two opposite sign leptons and a $b$-jet

abstract: Hints of flavor violation at both charged and neutral current decays of mesons have been observed in experiments such as LHCb, Belle, and BaBar. The anomalies in the result can be addressed in the effective field theory (EFT) framework. The effective operators predict different beyond standard model (BSM) signatures and the four point interaction vertices can be probed at Large Hadron Collider (LHC). In this context, the discovery projection of two opposite sign leptons and a $b$-jet signature is studied in this paper at 13 TeV LHC.


title: Logarithmic Quantization based Symbolic Abstractions for Nonlinear Control Systems

abstract: This paper studies symbolic abstractions for nonlinear control systems using logarithmic quantization. With a logarithmic quantizer, we approximate the state and input sets, and then construct a novel discrete abstraction for nonlinear control systems. A feedback refinement relation between the constructed discrete abstraction and the original system is established. Using the constructed discrete abstraction, the safety controller synthesis problem is studied. With the discrete abstraction and the abstract specification, the existence of a safety controller is investigated, and the algorithm is proposed to compute the abstract controller. Finally, a numerical example is given to illustrate the obtained results.


title: KPZ-type fluctuation exponents for interacting diffusions in equilibrium

abstract: We consider systems of $N$ diffusions in equilibrium interacting through a potential $V$. We study a "height function" which for the special choice $V(x) = \e^{-x}$, coincides with the partition function of a stationary semidiscrete polymer, also known as the (stationary) O'Connell-Yor polymer. For a general class of smooth convex potentials (generalizing the O'Connell-Yor case), we obtain the order of fluctuations of the height function by proving matching upper and lower bounds for the variance of order $N^{2/3}$, the expected scaling for models lying in the KPZ universality class. The models we study are not expected to be integrable and our methods are analytic and non-perturbative, making no use of explicit formulas or any results for the O'Connell-Yor polymer.


title: Laser control of ultracold molecule formation: The case of RbSr

abstract: We have studied the formation of ultracold RbSr molecules with laser pulses. After discussing the advantages of the Mott insulator phase for the control with pulses, we present two classes of strategies. The first class involves two electronic states. Two extensions of stimulated Raman adiabatic passage (STIRAP) for multi-level transitions are used : alternating STIRAP (A-STIRAP) and straddle STIRAP (S-STIRAP). Both transfer dynamics are modeled and compared. The second class of strategies involves only the electronic ground state and uses infrared (IR)/TeraHertz (THz) pulses. The chemical bond is first created by the application of a THz chirped pulse or $\pi$-pulse. Subsequently, the molecules are transferred to their ro-vibrational ground state using IR pulses. For this last step, different optimized pulse sequences through optimal control techniques, have been studied. The relative merits of these strategies in terms of efficiency and robustness are discussed within the experimental feasibility criteria of present laser technology.


title: A Machine Learning Approach to Correcting Atmospheric Seeing in Solar Flare Observations

abstract: Current post-processing techniques for the correction of atmospheric seeing in solar observations -- such as Speckle interferometry and Phase Diversity methods -- have limitations when it comes to their reconstructive capabilities of solar flare observations. This, combined with the sporadic nature of flares meaning observers cannot wait until seeing conditions are optimal before taking measurements, means that many ground-based solar flare observations are marred with bad seeing. To combat this, we propose a method for dedicated flare seeing correction based on training a deep neural network to learn to correct artificial seeing from flare observations taken during good seeing conditions. This model uses transfer learning, a novel technique in solar physics, to help learn these corrections. Transfer learning is when another network already trained on similar data is used to influence the learning of the new network. Once trained, the model has been applied to two flare datasets: one from AR12157 on 2014/09/06 and one from AR12673 on 2017/09/06. The results show good corrections to images with bad seeing with a relative error assigned to the estimate based on the performance of the model. Further discussion takes place of improvements to the robustness of the error on these estimates.


title: Learning Multiscale Convolutional Dictionaries for Image Reconstruction

abstract: Convolutional neural networks (CNNs) have been tremendously successful in solving imaging inverse problems. To understand their success, an effective strategy is to construct simpler and mathematically more tractable convolutional sparse coding (CSC) models that share essential ingredients with CNNs. Existing CSC methods, however, underperform leading CNNs in challenging inverse problems. We hypothesize that the performance gap may be attributed in part to how they process images at different spatial scales: While many CNNs use multiscale feature representations, existing CSC models mostly rely on single-scale dictionaries. To close the performance gap, we thus propose a multiscale convolutional dictionary structure. The proposed dictionary structure is derived from the U-Net, arguably the most versatile and widely used CNN for image-to-image learning problems. We show that incorporating the proposed multiscale dictionary in an otherwise standard CSC framework yields performance competitive with state-of-the-art CNNs across a range of challenging inverse problems including CT and MRI reconstruction. Our work thus demonstrates the effectiveness and scalability of the multiscale CSC approach in solving challenging inverse problems.


title: Dynamic Quantization based Symbolic Abstractions for Nonlinear Control Systems

abstract: This paper studies the construction of dynamic symbolic abstractions for nonlinear control systems via dynamic quantization. Since computational complexity is a fundamental problem in the use of discrete abstractions, a dynamic quantizer with a time-varying quantization parameter is first applied to deal with this problem. Due to the dynamic quantizer, a dynamic approximation approach is proposed for the state and input sets. Based on the dynamic approximation, dynamic symbolic abstractions are constructed for nonlinear control systems, and an approximate bisimulation relation is guaranteed for the original system and the constructed dynamic symbolic abstraction. Finally, the obtained results are illustrated through a numerical example from path planning of mobile robots.


title: Redundant relationships in multiplex food sharing networks increase food security in a nutritionally precarious environment

abstract: Specialization is a hallmark of humans. Specialization in the real world (with imperfectly sorted partners, imperfectly calibrated supply and demand, and high failure risk) requires redundancy in relationships, which prevents specialists from going hungry when some of their partners fail to capture highly variable food items and derive the most value when dividing surplus harvests. The burgeoning field of multilayer network analysis offers tools to test for the effect of redundant relationships in food sharing networks on hunger. We derive measures that include progressively more network structure: measures without any network structure, those that only include information about individuals, and those that include all information about individuals and domains. We test for the effects of these measures in a sample of horticulturalists living in the savannahs of the Guyana Shield, a nutritionally precarious environment. Having redundant relationships is associated with a lower incidence of reported skipped meals. This provides evidence that redundancy in food sharing networks may mitigate risk associated with the foraging strategies necessary to support a large-brained, generalist omnivore. This result has consequences for broader debates in the field of human evolution such as why humans live in groups with low relatedness.


title: Phase retrieval with Bregman divergences: Application to audio signal recovery

abstract: Phase retrieval aims to recover a signal from magnitude or power spectra measurements. It is often addressed by considering a minimization problem involving a quadratic cost function. We propose a different formulation based on Bregman divergences, which encompass divergences that are appropriate for audio signal processing applications. We derive a fast gradient algorithm to solve this problem.


title: The first AI simulation of a black hole

abstract: We report the results from our ongoing pilot investigation of the use of deep learning techniques for forecasting the state of turbulent flows onto black holes. Deep neural networks seem to learn well black hole accretion physics and evolve the accretion flow orders of magnitude faster than traditional numerical solvers, while maintaining a reasonable accuracy for a long time.


title: Attention-Based Learning on Molecular Ensembles

abstract: The three-dimensional shape and conformation of small-molecule ligands are critical for biomolecular recognition, yet encoding 3D geometry has not improved ligand-based virtual screening approaches. We describe an end-to-end deep learning approach that operates directly on small-molecule conformational ensembles and identifies key conformational poses of small-molecules. Our networks leverage two levels of representation learning: 1) individual conformers are first encoded as spatial graphs using a graph neural network, and 2) sampled conformational ensembles are represented as sets using an attention mechanism to aggregate over individual instances. We demonstrate the feasibility of this approach on a simple task based on bidentate coordination of biaryl ligands, and show how attention-based pooling can elucidate key conformational poses in tasks based on molecular geometry. This work illustrates how set-based learning approaches may be further developed for small molecule-based virtual screening.


title: Long-range fluctuation-induced forces in driven electrolytes

abstract: We study the stochastic dynamics of an electrolyte driven by a uniform external electric field and show that it exhibits generic scale invariance despite the presence of Debye screening. The resulting long-range correlations give rise to a Casimir-like fluctuation-induced force between neutral boundaries that confine the ions; this force is controlled by the external electric field, and it can be both attractive and repulsive with similar boundary conditions, unlike other long-range fluctuation-induced forces. This work highlights the importance of nonequilibrium correlations in electrolytes and shows how they can be used to tune interactions between uncharged biological or synthetic structures at large separations.

categories: cond-mat.soft cond-mat.stat-mech physics.bio-ph physics.chem-ph


title: Square-free reducts of words

abstract: A \emph{square} is a finite non-empty word consisting of two identical adjacent blocks. A word is \emph{square-free} if it does not contain a square as a factor. In any finite word one may delete the repeated block of a square, obtaining thereby a shorter word. By repeating this process, a square-free word is eventually reached, which we call a \emph{reduct} of the original word. How many different reducts a single word may have? It is not hard to prove that any binary word has exactly one reduct. We prove that there exist ternary words with arbitrarily many reducts. Moreover, the function counting the maximum number of reducts a ternary word of length $n$ may have grows exponentially. We also prove that over four letters, there exist words with any given number of reducts, which does not seem to be the case for ternary words. Finally, we demonstrate that the set of all finite ternary words splits into finitely many classes of \emph{related} words (one may get from one word to the other by a sequence of square reductions and factor duplications). A few open questions are posed concerning some structures on words defined with the use of the square reduction.


title: Quantum algorithms for matrix scaling and matrix balancing

abstract: Matrix scaling and matrix balancing are two basic linear-algebraic problems with a wide variety of applications, such as approximating the permanent, and pre-conditioning linear systems to make them more numerically stable. We study the power and limitations of quantum algorithms for these problems. We provide quantum implementations of two classical (in both senses of the word) methods: Sinkhorn's algorithm for matrix scaling and Osborne's algorithm for matrix balancing. Using amplitude estimation as our main tool, our quantum implementations both run in time $\tilde O(\sqrt{mn}/\varepsilon^4)$ for scaling or balancing an $n \times n$ matrix (given by an oracle) with $m$ non-zero entries to within $\ell_1$-error $\varepsilon$. Their classical analogs use time $\tilde O(m/\varepsilon^2)$, and every classical algorithm for scaling or balancing with small constant $\varepsilon$ requires $\Omega(m)$ queries to the entries of the input matrix. We thus achieve a polynomial speed-up in terms of $n$, at the expense of a worse polynomial dependence on the obtained $\ell_1$-error $\varepsilon$. We emphasize that even for constant $\varepsilon$ these problems are already non-trivial (and relevant in applications). Along the way, we extend the classical analysis of Sinkhorn's and Osborne's algorithm to allow for errors in the computation of marginals. We also adapt an improved analysis of Sinkhorn's algorithm for entrywise-positive matrices to the $\ell_1$-setting, leading to an $\tilde O(n^{1.5}/\varepsilon^3)$-time quantum algorithm for $\varepsilon$-$\ell_1$-scaling in this case. We also prove a lower bound, showing that our quantum algorithm for matrix scaling is essentially optimal for constant $\varepsilon$: every quantum algorithm for matrix scaling that achieves a constant $\ell_1$-error with respect to uniform marginals needs to make at least $\Omega(\sqrt{mn})$ queries.


title: Symbolic Abstractions for Nonlinear Control Systems via Feedback Refinement Relation

abstract: This paper studies the construction of symbolic abstractions for nonlinear control systems via feedback refinement relation. Both the delay-free and time-delay cases are addressed. For the delay-free case, to reduce the computational complexity, we propose a new approximation approach for the state and input sets based on a static quantizer, and then a novel symbolic model is constructed such that the original system and the symbolic model satisfy the feedback refinement relation. For the time-delay case, both static and dynamic quantizers are combined to approximate the state and input sets. This leads to a novel dynamic symbolic model for time-delay control systems, and a feedback refinement relation is established between the original system and the symbolic model. Finally, a numerical example is presented to illustrate the obtained results.


title: An inertial Tseng's extragradient method for solving multi-valued variational inequalities with one projection

abstract: In this paper, we introduce an inertial Tseng's extragradient method for solving multi-valued variational inequalits, in which only one projection is needed at each iterate. We also obtain the strong convergence results of the proposed algorithm, provided that the multi-valued mapping is continuous and pseudomonotone with nonempty compact convex values. Moreover, numerical simulation results illustrate the efficiency of our method when compared to existing methods.


title: Computational Model of Motion Sickness Describing the Effects of Learning Exogenous Motion Dynamics

abstract: The existing computational models used to estimate motion sickness are incapable of describing the fact that the predictability of motion patterns affects motion sickness. Therefore, the present study proposes a computational model to describe the effect of the predictability of dynamics or the pattern of motion stimuli on motion sickness. In the proposed model, a submodel, in which a recursive Gaussian process regression is used to represent human features of online learning and future prediction of motion dynamics, is combined with a conventional model of motion sickness based on an observer theory. A simulation experiment was conducted in which the proposed model predicted motion sickness caused by a 900 s horizontal movement. The movement was composed of a 9 m repetitive back-and-forth movement pattern with a pause. Regarding the motion condition, the direction and timing of the motion were varied as follows: a) Predictable motion (M_P): the direction of the motion and duration of the pause were set to 8 s; b) Motion with unpredicted direction (M_dU): the pause duration was fixed as in (P), but the motion direction was randomly determined; c) Motion with unpredicted timing (M_tU): the motion direction was fixed as in (M_P), but the pause duration was randomly selected from 4 to 12 s. The results obtained using the proposed model demonstrated that the predicted motion sickness incidence for (M_P) was smaller than those for (M_dU) and (M_tU). This tendency agrees with the sickness patterns observed in a previous experimental study in which the human participants were subject to motion conditions similar to those used in our simulations. Moreover, no significant differences were found in the predicted motion sickness incidences at different conditions when the conventional model was used.


title: MaaSSim -- agent-based two-sided mobility platform simulator

abstract: Two-sided mobility platforms, such as Uber and Lyft, widely emerged in the urban mobility landscape, bringing disruptive changes to transportation systems worldwide. This calls for a simulation framework where researchers from various and across disciplines may introduce models aimed at representing the dynamics of platform-driven urban mobility systems. In this work, we present MaaSSim, an agent-based simulator reproducing the transport system used by two kind of agents: (i) travellers, requesting to travel from their origin to destination at a given time, and (ii) drivers supplying their travel needs by offering them rides. An intermediate agent, the platform, allows demand to be matched with supply. Agents are decision makers, specifically, travellers may decide which mode they use or reject an incoming offer. Similarly, drivers may opt-out from the system or reject incoming requests. All of the above behaviours are modelled through user-defined modules, representing agents' taste variations (heterogeneity), their previous experiences (learning) and available information (system control). MaaSSim is an open-source library available at a public repository github.com/RafalKucharskiPK/MaaSSim, along with a set of tutorials and reproducible use-case scenarios.


title: Cylindric partitions and some new $A_2$ Rogers-Ramanujan identities

abstract: We study the generating functions for cylindric partitions with profile $(c_1,c_2,c_3)$ for all $c_1,c_2,c_3$ such that $c_1+c_2+c_3=5$. This allows us to discover and prove seven new $A_2$ Rogers-Ramanujan identities modulo $8$ with quadruple sums, related with work of Andrews, Schilling, and Warnaar.


title: All You Need is a Good Functional Prior for Bayesian Deep Learning

abstract: The Bayesian treatment of neural networks dictates that a prior distribution is specified over their weight and bias parameters. This poses a challenge because modern neural networks are characterized by a large number of parameters, and the choice of these priors has an uncontrolled effect on the induced functional prior, which is the distribution of the functions obtained by sampling the parameters from their prior distribution. We argue that this is a hugely limiting aspect of Bayesian deep learning, and this work tackles this limitation in a practical and effective way. Our proposal is to reason in terms of functional priors, which are easier to elicit, and to "tune" the priors of neural network parameters in a way that they reflect such functional priors. Gaussian processes offer a rigorous framework to define prior distributions over functions, and we propose a novel and robust framework to match their prior with the functional prior of neural networks based on the minimization of their Wasserstein distance. We provide vast experimental evidence that coupling these priors with scalable Markov chain Monte Carlo sampling offers systematically large performance improvements over alternative choices of priors and state-of-the-art approximate Bayesian deep learning approaches. We consider this work a considerable step in the direction of making the long-standing challenge of carrying out a fully Bayesian treatment of neural networks, including convolutional neural networks, a concrete possibility.


title: $p$-band stability of ultracold atom gas in anharmonic optical lattice potential with large energy scales

abstract: Using an optical potential with subwavelength resolution in the form of sharp $\delta$-like peaks, new potential landscapes are created with increased anharmonicity in placement of lattice band energies and more favorable energy scales. In particular, this makes the ultracold atom p-band gas more stable. The article outlines the details of the construction and discusses the p-band stability in canonical cosine optical lattice potential, double well potential, and a combination of a classical cosine potential with dark state peaked potential.


title: Learning sparse structures for physics-inspired compressed sensing

abstract: In underwater acoustics, shallow water environments act as modal dispersive waveguides when considering low-frequency sources. In this context, propagating signals can be described as a sum of few modal components, each of them propagating according to its own wavenumber. Estimating these wavenumbers is of key interest to understand the propagating environment as well as the emitting source. To solve this problem, we proposed recently a Bayesian approach exploiting a sparsity-inforcing prior. When dealing with broadband sources, this model can be further improved by integrating the particular dependence linking the wavenumbers from one frequency to the other. In this contribution, we propose to resort to a new approach relying on a restricted Boltzmann machine, exploited as a generic structured sparsity-inforcing model. This model, derived from deep Bayesian networks, can indeed be efficiently learned on physically realistic simulated data using well-known and proven algorithms.


title: External Electromagnetic Wave Excitation of a PreSynaptic Neuron Based on LIF model

abstract: Interaction of electromagnetic (EM) waves with human tissue has been a longstanding research topic for electrical and biomedical engineers. However, few numbers of publications discuss the impacts of external EM-waves on neural stimulation and communication through the nervous system. In fact, complex biological neural channels are a main barrier for intact and comprehensive analyses in this area. One of the everpresent challenges in neural communication responses is dependency of vesicle release probability on the input spiking pattern. In this regard, this study sheds light on consequences of changing the frequency of external EM-wave excitation on the post-synaptic neuron's spiking rate. It is assumed that the penetration depth of the wave in brain does not cover the postsynaptic neuron. Consequently, we model neurotransmission of a bipartite chemical synapse. In addition, the way that external stimulation affects neurotransmission is examined. Unlike multiple frequency component EM-waves, the monochromatic incident wave does not face frequency shift and distortion in dispersive media. In this manner, a single frequency signal is added as external current in the modified leaky integrated-andfire (LIF) model. The results demonstrate existence of a node equilibrium point in the first order dynamical system of LIF model. A fold bifurcation (for presupposed LIF model values) occurs when the external excitation frequency is near 200 Hz. The outcomes provided in this paper enable us to select proper frequency excitation for neural signaling. Correspondingly, the cut-off frequency reliance on elements' values in LIF circuit is found.


title: Enhanced 3DMM Attribute Control via Synthetic Dataset Creation Pipeline

abstract: While facial attribute manipulation of 2D images via Generative Adversarial Networks (GANs) has become common in computer vision and graphics due to its many practical uses, research on 3D attribute manipulation is relatively undeveloped. Existing 3D attribute manipulation methods are limited because the same semantic changes are applied to every 3D face. The key challenge for developing better 3D attribute control methods is the lack of paired training data in which one attribute is changed while other attributes are held fixed -- e.g., a pair of 3D faces where one is male and the other is female but all other attributes, such as race and expression, are the same. To overcome this challenge, we design a novel pipeline for generating paired 3D faces by harnessing the power of GANs. On top of this pipeline, we then propose an enhanced non-linear 3D conditional attribute controller that increases the precision and diversity of 3D attribute control compared to existing methods. We demonstrate the validity of our dataset creation pipeline and the superior performance of our conditional attribute controller via quantitative and qualitative evaluations.


title: Interpolation and stability properties of low order face and edge virtual element spaces

abstract: We analyse the interpolation properties of 2D and 3D low order virtual element face and edge spaces, which generalize N\'ed\'elec and Raviart-Thomas polynomials to polygonal-polyhedral meshes. Moreover, we investigate the stability properties of the associated $L^2$ discrete bilinear forms, which typically appear in the virtual element discretization of problems in electromagnetism.


title: Privacy Preserving for Medical Image Analysis via Non-Linear Deformation Proxy

abstract: We propose a client-server system which allows for the analysis of multi-centric medical images while preserving patient identity. In our approach, the client protects the patient identity by applying a pseudo-random non-linear deformation to the input image. This results into a proxy image which is sent to the server for processing. The server then returns back the deformed processed image which the client reverts to a canonical form. Our system has three components: 1) a flow-field generator which produces a pseudo-random deformation function, 2) a Siamese discriminator that learns the patient identity from the processed image, 3) a medical image processing network that analyzes the content of the proxy images. The system is trained end-to-end in an adversarial manner. By fooling the discriminator, the flow-field generator learns to produce a bi-directional non-linear deformation which allows to remove and recover the identity of the subject from both the input image and output result. After end-to-end training, the flow-field generator is deployed on the client side and the segmentation network is deployed on the server side. The proposed method is validated on the task of MRI brain segmentation using images from two different datasets. Results show that the segmentation accuracy of our method is similar to a system trained on non-encoded images, while considerably reducing the ability to recover subject identity.


title: CR-Fill: Generative Image Inpainting with Auxiliary Contexutal Reconstruction

abstract: Recent deep generative inpainting methods use attention layers to allow the generator to explicitly borrow feature patches from the known region to complete a missing region. Due to the lack of supervision signals for the correspondence between missing regions and known regions, it may fail to find proper reference features, which often leads to artifacts in the results. Also, it computes pair-wise similarity across the entire feature map during inference bringing a significant computational overhead. To address this issue, we propose to teach such patch-borrowing behavior to an attention-free generator by joint training of an auxiliary contextual reconstruction task, which encourages the generated output to be plausible even when reconstructed by surrounding regions. The auxiliary branch can be seen as a learnable loss function, i.e. named as contextual reconstruction (CR) loss, where query-reference feature similarity and reference-based reconstructor are jointly optimized with the inpainting generator. The auxiliary branch (i.e. CR loss) is required only during training, and only the inpainting generator is required during the inference. Experimental results demonstrate that the proposed inpainting model compares favourably against the state-of-the-art in terms of quantitative and visual performance.


title: High-Level Description of Robot Architecture

abstract: Architectural Description (AD) is the backbone that facilitates the implementation and validation of robotic systems. In general, current high-level ADs reflect great variation and lead to various difficulties, including mixing ADs with implementation issues. They lack the qualities of being systematic and coherent, as well as lacking technical-related forms (e.g., icons of faces, computer screens). Additionally, a variety of languages exist for eliciting requirements, such as object-oriented analysis methods susceptible to inconsistency (e.g., those using multiple diagrams in UML and SysML). In this paper, we orient our research toward a more generic conceptualization of ADs in robotics. We apply a new modeling methodology, namely the Thinging Machine (TM), to describe the architecture in robotic systems. The focus of such an application is on high-level specification, which is one important aspect for realizing the design and implementation in such systems. TM modeling can be utilized in documentation and communication and as the first step in the system s design phase. Accordingly, sample robot architectures are re-expressed in terms of TM, thus developing (1) a static model that captures the robot s atemporal aspects, (2) a dynamic model that identifies states, and (3) a behavioral model that specifies the chronology of events in the system. This result shows a viable approach in robot modeling that determines a robot system s behavior through its static description.


title: Role of shape on the forces on an intruder moving through a dense granular medium

abstract: We use numerical simulation to investigate the effect an intruder's shape has on the drag and lift forces that it experiences while moving through a granular medium composed of polydisperse disks of mean diameter d. The intruder velocity,v, was varied from 0.1 \sqrt(dg) to 20 \sqrt(dg). For frictionless particles (\mu= 0.0)there is a gradual increase in drag force with increasing v, whereas for frictional systems (\mu= 0.1,0.5) a constant drag regime appears at low velocities. The drag force depends weakly on the shape of the object provided that the cross-section is same. The drag force depends linearly on the immersion depth, while there is very little variation in lift force with depth for certain shapes. The lift experienced by the object is a strong function of its shape at a given velocity. Shape has an effect on the distribution of contacts around the surface of the intruder which may result in a strong lift for certain shapes. We also show the force profiles around the intruder surface.


title: Low Latency CMOS Hardware Acceleration for Fully Connected Layers in Deep Neural Networks

abstract: We present a novel low latency CMOS hardware accelerator for fully connected (FC) layers in deep neural networks (DNNs). The FC accelerator, FC-ACCL, is based on 128 8x8 or 16x16 processing elements (PEs) for matrix-vector multiplication, and 128 multiply-accumulate (MAC) units integrated with 128 High Bandwidth Memory (HBM) units for storing the pretrained weights. Micro-architectural details for CMOS ASIC implementations are presented and simulated performance is compared to recent hardware accelerators for DNNs for AlexNet and VGG 16. When comparing simulated processing latency for a 4096-1000 FC8 layer, our FC-ACCL is able to achieve 48.4 GOPS (with a 100 MHz clock) which improves on a recent FC8 layer accelerator quoted at 28.8 GOPS with a 150 MHz clock. We have achieved this considerable improvement by fully utilizing the HBM units for storing and reading out column-specific FClayer weights in 1 cycle with a novel colum-row-column schedule, and implementing a maximally parallel datapath for processing these weights with the corresponding MAC and PE units. When up-scaled to 128 16x16 PEs, for 16x16 tiles of weights, the design can reduce latency for the large FC6 layer by 60 % in AlexNet and by 3 % in VGG16 when compared to an alternative EIE solution which uses compression.


title: On the distribution of rational points on ramified covers of abelian varieties

abstract: We prove new results on the distribution of rational points on ramified covers of abelian varieties over finitely generated fields $k$ of characteristic zero. For example, given a ramified cover $\pi : X \to A$, where $A$ is an abelian variety over $k$ with a dense set of $k$-rational points, we prove that there is a finite-index coset $C \subset A(k)$ such that $\pi(X(k))$ is disjoint from $C$. Our results do not seem to be in the range of other methods available at present; they confirm predictions coming from Lang's conjectures on rational points, and also go in the direction of an issue raised by Serre regarding possible applications to the Inverse Galois Problem. Finally, the conclusions of our work may be seen as a sharp version of Hilbert's irreducibility theorem for abelian varieties.


title: Black holes with a cosmological constant in bumblebee gravity

abstract: In this work, we present black hole solutions with a cosmological constant in bumblebee gravity, which provides a mechanism for the Lorentz symmetry violation by assuming a nonzero vacuum expectation value for the bumblebee field. From the gravitational point of view, such solutions are spherically symmetric black holes with an effective cosmological constant and are supported by an anisotropic energy-momentum tensor, conceived of as the manifestation of the bumblebee field in the spacetime geometry. Then we calculate the shadow angular radius for the proposed black hole solution with a positive effective cosmological constant. In particular, our results are the very first relation between the bumblebee field and the shadow angular size.


title: The Quillen model structure on the category of diffeological spaces

abstract: We construct on the category of diffeological spaces a Quillen model structure having smooth weak homotopy equivalences as the class of weak equivalences.


title: Examining the consumption of radical content on YouTube

abstract: Although it is under-studied relative to other social media platforms, YouTube is arguably the largest and most engaging online media consumption platform in the world. Recently, YouTube's scale has fueled concerns that YouTube users are being radicalized via a combination of biased recommendations and ostensibly apolitical anti-woke channels, both of which have been claimed to direct attention to radical political content. Here we test this hypothesis using a representative panel of more than 300,000 Americans and their individual-level browsing behavior, on and off YouTube, from January 2016 through December 2019. Using a labeled set of political news channels, we find that news consumption on YouTube is dominated by mainstream and largely centrist sources. Consumers of far-right content, while more engaged than average, represent a small and stable percentage of news consumers. However, consumption of anti-woke content, defined in terms of its opposition to progressive intellectual and political agendas, grew steadily in popularity and is correlated with consumption of far-right content off-platform. We find no evidence that engagement with far-right content is caused by YouTube recommendations systematically, nor do we find clear evidence that anti-woke channels serve as a gateway to the far right. Rather, consumption of political content on YouTube appears to reflect individual preferences that extend across the web as a whole.


title: Physics-informed neural networks for myocardial perfusion MRI quantification

abstract: Tracer-kinetic models allow for the quantification of kinetic parameters such as blood flow from dynamic contrast-enhanced magnetic resonance (MR) images. Fitting the observed data with multi-compartment exchange models is desirable, as they are physiologically plausible and resolve directly for blood flow and microvascular function. However, the reliability of model fitting is limited by the low signal-to-noise ratio, temporal resolution, and acquisition length. This may result in inaccurate parameter estimates. This study introduces physics-informed neural networks (PINNs) as a means to perform myocardial perfusion MR quantification, which provides a versatile scheme for the inference of kinetic parameters. These neural networks can be trained to fit the observed perfusion MR data while respecting the underlying physical conservation laws described by a multi-compartment exchange model. Here, we provide a framework for the implementation of PINNs in myocardial perfusion MR. The approach is validated both in silico and in vivo. In the in silico study, an overall reduction in mean-squared error with the ground-truth parameters was observed compared to a standard non-linear least squares fitting approach. The in vivo study demonstrates that the method produces parameter values comparable to those previously found in literature, as well as providing parameter maps which match the clinical diagnosis of patients.


title: Bounds for Algorithmic Mutual Information and a Unifilar Order Estimator

abstract: Inspired by Hilberg's hypothesis, which states that mutual information between blocks for natural language grows like a power law, we seek for links between power-law growth rate of algorithmic mutual information and of some estimator of the unifilar order, i.e., the number of hidden states in the generating stationary ergodic source in its minimal unifilar hidden Markov representation. We consider an order estimator which returns the smallest order for which the maximum likelihood is larger than a weakly penalized universal probability. This order estimator is intractable and follows the ideas by Merhav, Gutman, and Ziv (1989) and by Ziv and Merhav (1992) but in its exact form seems overlooked despite some nice theoretical properties. In particular, we can prove both strong consistency of this order estimator and an upper bound of algorithmic mutual information in terms of it. Using both results, we show that all (also uncomputable) sources of a finite unifilar order exhibit sub-power-law growth of algorithmic mutual information and of the unifilar order estimator. In contrast, we also exhibit an example of unifilar processes of a countably infinite order, with a deterministic pushdown automaton and an algorithmically random oracle, for which the mentioned two quantities grow as a power law with the same exponent. We also relate our results to natural language research.


title: Multiwave pandemic dynamics explained: How to tame the next wave of infectious diseases

abstract: Pandemics, like the 1918 Spanish Influenza and COVID-19, spread through regions of the World in subsequent waves. There is, however, no consensus on the origin of this pattern, which may originate from human behaviour rather than from the virus diffusion itself. Time-honoured models of the SIR type or others based on complex networks describe well the exponential spread of the disease, but cannot naturally accommodate the wave pattern. Nevertheless, understanding this time-structure is of paramount importance in designing effective prevention measures. Here we propose a consistent picture of the wave pattern based on the epidemic Renormalisation Group (eRG) framework, which is guided by the global symmetries of the system under time rescaling. We show that the rate of spreading of the disease can be interpreted as a time-dilation symmetry, while the final stage of an epidemic episode corresponds to reaching a time scale-invariant state. We find that the endemic period between two waves is a sign of instability in the system, associated to near-breaking of the time scale-invariance. This phenomenon can be described in terms of an eRG model featuring complex fixed points. Our results demonstrate that the key to control the arrival of the next wave of a pandemic is in the strolling period in between waves, i.e. when the number of infections grow linearly. Thus, limiting the virus diffusion in this period is the most effective way to prevent or delay the arrival of the next wave. In this work we establish a new guiding principle for the formulation of mid-term governmental strategies to curb pandemics and avoid recurrent waves of infections, deleterious in terms of human life loss and economic damage.


title: Deep-learning coupled with novel classification method to classify the urban environment of the developing world

abstract: Rapid globalization and the interdependence of humanity that engender tremendous in-flow of human migration towards the urban spaces. With advent of high definition satellite images, high resolution data, computational methods such as deep neural network, capable hardware; urban planning is seeing a paradigm shift. Legacy data on urban environments are now being complemented with high-volume, high-frequency data. In this paper we propose a novel classification method that is readily usable for machine analysis and show applicability of the methodology on a developing world setting. The state-of-the-art is mostly dominated by classification of building structures, building types etc. and largely represents the developed world which are insufficient for developing countries such as Bangladesh where the surrounding is crucial for the classification. Moreover, the traditional methods propose small-scale classifications, which give limited information with poor scalability and are slow to compute. We categorize the urban area in terms of informal and formal spaces taking the surroundings into account. 50 km x 50 km Google Earth image of Dhaka, Bangladesh was visually annotated and categorized by an expert. The classification is based broadly on two dimensions: urbanization and the architectural form of urban environment. Consequently, the urban space is divided into four classes: 1) highly informal; 2) moderately informal; 3) moderately formal; and 4) highly formal areas. In total 16 sub-classes were identified. For semantic segmentation, Google's DeeplabV3+ model was used which increases the field of view of the filters to incorporate larger context. Image encompassing 70% of the urban space was used for training and the remaining 30% was used for testing and validation. The model is able to segment with 75% accuracy and 60% Mean IoU.


title: Higgsino Asymmetry and Direct-Detection Constraints of Light Dark Matter in the NMSSM with Non-Universal Higgs Masses

abstract: In this work, we study the direct-detection constraints of light dark matter in the next-to minimal supersymmetric standard model (NMSSM) with non-universal Higgs masses (NUHM), especially the correlation between higgsino asymmetry and spin-dependent cross section. Finally, we get the following conclusions: (i) The spin-dependent cross section is proportional to the square of higgsino asymmetry in dark matter $\tilde{\chi}^0_1$ in the NMSSM-NUHM. (ii) For highly singlino-dominated dark matter $\tilde{\chi}^0_1$, the relic density can be sufficient, but the higgsino asymmetry and spin-dependent cross section is always small. (iii) With a sizeable higgsino component in the light dark matter, the higgsino asymmetry and spin-dependent cross section can be sizeable, but dark matter relic density is always small, thus it can escape the direct detections. (iv) Light dark matter in the $h_2$- and $Z$-funnel annihilation channels with sufficient relic density can be covered by future LUX-ZEPLIN (LZ) 7-ton in spin-dependent detections.


title: Path probability ratios for Langevin dynamics -- exact and approximate

abstract: Path reweighting is a principally exact method to estimate dynamic properties from biased simulations - provided that the path probability ratio matches the stochastic integrator used in the simulation. Previously reported path probability ratios match the Euler-Maruyama scheme for overdamped Langevin dynamics. Since MD simulations use Langevin dynamics rather than overdamped Langevin dynamics, this severely impedes the application of path reweighting methods. Here, we derive the path probability ratio $M_L$ for Langevin dynamics propagated by a variant of the Langevin Leapfrog integrator. This new path probability ratio allows for exact reweighting of Langevin dynamics propagated by this integrator. We also show that a previously derived approximate path probability ratio $M_{\mathrm{approx}}$ differs from the exact $M_L$ only by $\mathcal{O}(\xi^4\Delta t^4)$, and thus yields highly accurate dynamic reweighting results. ($\Delta t$ is the integration time step, $\xi$ is the collision rate.) The results are tested and the efficiency of path-reweighting is explored using butane as an example.


title: Relation3DMOT: Exploiting Deep Affinity for 3D Multi-Object Tracking from View Aggregation

abstract: Autonomous systems need to localize and track surrounding objects in 3D space for safe motion planning. As a result, 3D multi-object tracking (MOT) plays a vital role in autonomous navigation. Most MOT methods use a tracking-by-detection pipeline, which includes object detection and data association processing. However, many approaches detect objects in 2D RGB sequences for tracking, which is lack of reliability when localizing objects in 3D space. Furthermore, it is still challenging to learn discriminative features for temporally-consistent detection in different frames, and the affinity matrix is normally learned from independent object features without considering the feature interaction between detected objects in the different frames. To settle these problems, We firstly employ a joint feature extractor to fuse the 2D and 3D appearance features captured from both 2D RGB images and 3D point clouds respectively, and then propose a novel convolutional operation, named RelationConv, to better exploit the correlation between each pair of objects in the adjacent frames, and learn a deep affinity matrix for further data association. We finally provide extensive evaluation to reveal that our proposed model achieves state-of-the-art performance on KITTI tracking benchmark.


title: Persistent homology of the cosmic web. I: Hierarchical topology in $\Lambda$CDM cosmologies

abstract: Using a set of $\Lambda$CDM simulations of cosmic structure formation, we study the evolving connectivity and changing topological structure of the cosmic web using state-of-the-art tools of multiscale topological data analysis (TDA). We follow the development of the cosmic web topology in terms of the evolution of Betti number curves and feature persistence diagrams of the three (topological) classes of structural features: matter concentrations, filaments and tunnels, and voids. The Betti curves specify the prominence of features as a function of density level, and their evolution with cosmic epoch reflects the changing network connections between these structural features. The persistence diagrams quantify the longevity and stability of topological features. In this study we establish, for the first time, the link between persistence diagrams, the features they show, and the gravitationally driven cosmic structure formation process. By following the diagrams' development over cosmic time, the link between the multiscale topology of the cosmic web and the hierarchical buildup of cosmic structure is established. The sharp apexes in the diagrams are intimately related to key transitions in the structure formation process. The apex in the matter concentration diagrams coincides with the density level at which, typically, they detach from the Hubble expansion and begin to collapse. At that level many individual islands merge to form the network of the cosmic web and a large number of filaments and tunnels emerge to establish its connecting bridges. The location trends of the apex possess a self-similar character that can be related to the cosmic web's hierarchical buildup. We find that persistence diagrams provide a significantly higher and more profound level of information on the structure formation process than more global summary statistics like Euler characteristic or Betti numbers.


title: Localized stationary seismic waves predicted using a nonlinear gradient elasticity model

abstract: This paper aims at investigating the existence of localized stationary waves in the shallow subsurface whose constitutive behaviour is governed by the hyperbolic model, implying non-polynomial nonlinearity and strain-dependent shear modulus. To this end, we derive a novel equation of motion for a nonlinear gradient elasticity model, where the higher-order gradient terms capture the effect of small-scale soil heterogeneity/micro-structure. We also present a novel finite-difference scheme to solve the nonlinear equation of motion in space and time. Simulations of the propagation of arbitrary initial pulses clearly reveal the influence of the nonlinearity: strain-dependent speed in general and, as a result, sharpening of the pulses. Stationary solutions of the equation of motion are obtained by introducing the moving reference frame together with the stationarity assumption. Periodic (with and without a descending trend), as well as localized stationary waves, are found by analyzing the obtained ordinary differential equation in the phase portrait, and integrating it along the different trajectories. The localized stationary wave is in fact a kink wave and is obtained by integration along a homoclinic orbit. In general, the closer the trajectory lies to a homoclinic orbit, the sharper the edges of the corresponding periodic stationary wave and the larger its period. Finally, we find that the kink wave is in fact not a true soliton as the original shapes of two colliding kink waves are not recovered after interaction. However, it may have high amplitude and reach the surface depending on the damping mechanisms (which have not been considered). Therefore, seismic site response analyses should not a priori exclude the presence of such localized stationary waves.


title: Error analysis of a demodulation procedure for multicarrier signals with slowly-varying carriers

abstract: We propose a procedure to demodulate analog signals encoded by a multicarrier modulator, with slowly-varying carrier shapes. We prove that the asymptotic demodulation error can be made arbitrarily small. The intended application is the "sensorless" control of AC electric motors at or near standstill, through the decoding of the PWM-induced current ripple.


title: Right for the Right Concept: Revising Neuro-Symbolic Concepts by Interacting with their Explanations

abstract: Most explanation methods in deep learning map importance estimates for a model's prediction back to the original input space. These "visual" explanations are often insufficient, as the model's actual concept remains elusive. Moreover, without insights into the model's semantic concept, it is difficult -- if not impossible -- to intervene on the model's behavior via its explanations, called Explanatory Interactive Learning. Consequently, we propose to intervene on a Neuro-Symbolic scene representation, which allows one to revise the model on the semantic level, e.g. "never focus on the color to make your decision". We compiled a novel confounded visual scene data set, the CLEVR-Hans data set, capturing complex compositions of different objects. The results of our experiments on CLEVR-Hans demonstrate that our semantic explanations, i.e. compositional explanations at a per-object level, can identify confounders that are not identifiable using "visual" explanations only. More importantly, feedback on this semantic level makes it possible to revise the model from focusing on these factors.


title: Positivity bounds on Minimal Flavor Violation

abstract: From general analyticity and unitarity requirements on the UV theory, positivity bounds on the Wilson coefficients of the dimension-8 operators composed of 4 fermions and two derivatives appearing in the Standard Model Effective Field Theory have been derived recently. We explore the fate of these bounds in the context of models endowed with a Minimal Flavor Violation (MFV) structure, models in which the flavor structure of higher dimensional operators is inherited from the one already contained in the Yukawa sector of the Standard Model Lagrangian. Our goal is to check whether the general positivity bounds translate onto bounds on the Yukawa coefficients and/or on elements of the CKM matrix. MFV fixes the coefficients of dimension-8 operators up to some multiplicative flavor-blind factors and we find that, in the most generic setup, the freedom left by those unspecified coefficients is enough as not to constrain the parameters of the renormalizable Yukawa sector. On the contrary, the latter shape the allowed region for the former. Requiring said overall coefficients to take natural $\mathcal{O}(1)$ values could give rise to bounds on the Yukawa couplings. Remarkably, at leading order in an expansion in powers of the Yukawa matrices, no bounds on the CKM entries can be retrieved.


title: Disentangling QCD and New Physics in $D^+\to\pi^+\ell^+\ell^-$

abstract: In this paper we consider the decay $D^+\to\pi^+\ell^+\ell^-$, addressing in particular the resonance contributions as well as the relatively large contributions from the weak annihilation diagrams. For the weak annihilation diagrams we include known results from QCD factorisation at low $q^2$ and at high $q^2$, adapting the existing calculation for $B$ decays in the Operator Product Expansion. The hadronic resonance contributions are obtained through a dispersion relation, modelling the spectral functions as towers of Regge-like resonances in each channel, as suggested by Shifman, imposing the partonic behaviour in the deep Euclidean. The parameters of the model are extracted using $e^+e^-\to{\rm (hadrons)}$ and $\tau\to {\rm (hadrons)}+\nu_\tau$ data as well as the branching ratios for the resonant decays $D^+\to\pi^+\,R\,(R\to\ell^+\ell^-)$, with $R=\rho$, $\omega$, and $\phi$. We perform a thorough error analysis, and present our results for the Standard Model differential branching ratio as a function of $q^2$. Focusing then on the observables $F_H$ and $A_{\rm FB}$, we consider the sensitivity of this channel to effects of physics beyond the Standard Model, both in a model independent way and for the case of leptoquarks.


title: Convolutional Neural Networks for cytoarchitectonic brain mapping at large scale

abstract: Human brain atlases provide spatial reference systems for data characterizing brain organization at different levels, coming from different brains. Cytoarchitecture is a basic principle of the microstructural organization of the brain, as regional differences in the arrangement and composition of neuronal cells are indicators of changes in connectivity and function. Automated scanning procedures and observer-independent methods are prerequisites to reliably identify cytoarchitectonic areas, and to achieve reproducible models of brain segregation. Time becomes a key factor when moving from the analysis of single regions of interest towards high-throughput scanning of large series of whole-brain sections. Here we present a new workflow for mapping cytoarchitectonic areas in large series of cell-body stained histological sections of human postmortem brains. It is based on a Deep Convolutional Neural Network (CNN), which is trained on a pair of section images with annotations, with a large number of un-annotated sections in between. The model learns to create all missing annotations in between with high accuracy, and faster than our previous workflow based on observer-independent mapping. The new workflow does not require preceding 3D-reconstruction of sections, and is robust against histological artefacts. It processes large data sets with sizes in the order of multiple Terabytes efficiently. The workflow was integrated into a web interface, to allow access without expertise in deep learning and batch computing. Applying deep neural networks for cytoarchitectonic mapping opens new perspectives to enable high-resolution models of brain areas, introducing CNNs to identify borders of brain areas.


title: The standard cure model with a linear hazard

abstract: In this paper we introduce a mixture cure model with a linear hazard rate regression model for the event times. Cure models are statistical models for event times that take into account that a fraction of the population might never experience the event of interest, this fraction is said to be {`}cured{'}. The population survival function in a mixture cure model takes the form $S(t) = 1 - \pi + \pi\exp(-\int_0^t\alpha(s)\,d s)$, where $\pi$ is the probability of being susceptible to the event under study, and $\alpha(s)$ is the hazard rate of the susceptible fraction. We let both $\pi$ and $\alpha(s)$ depend on possibly different covariate vectors $X$ and $Z$. The probability $\pi$ is taken to be the logistic function $\pi(X^{\prime}\gamma) = 1/\{1+\exp(-X^{\prime}\gamma)\}$, while we model $\alpha(s)$ by Aalen's linear hazard rate regression model. This model postulates that a susceptible individual has hazard rate function $\alpha(t;Z) = \beta_0(t) + \beta_1(t)Z_1 + \cdots + Z_{q-1}\beta_{q-1}(t)$ in terms of her covariate values $Z_1,\ldots,Z_{q-1}$. The large-sample properties of our estimators are studied by way of parametric models that tend to a semiparametric model as a parameter $K \to \infty$. For each model in the sequence of parametric models, we assume that the data generating mechanism is parametric, thus simplifying the derivation of the estimators, as well as the proofs of consistency and limiting normality. Finally, we use contiguity techniques to switch back to assuming that the data stem from the semiparametric model. This technique for deriving and studying estimators in non- and semiparametric settings has previously been studied and employed in the high-frequency data literature, but seems to be novel in survival analysis.


title: Anytime Prediction as a Model of Human Reaction Time

abstract: Neural networks today often recognize objects as well as people do, and thus might serve as models of the human recognition process. However, most such networks provide their answer after a fixed computational effort, whereas human reaction time varies, e.g. from 0.2 to 10 s, depending on the properties of stimulus and task. To model the effect of difficulty on human reaction time, we considered a classification network that uses early-exit classifiers to make anytime predictions. Comparing human and MSDNet accuracy in classifying CIFAR-10 images in added Gaussian noise, we find that the network equivalent input noise SD is 15 times higher than human, and that human efficiency is only 0.6\% that of the network. When appropriate amounts of noise are present to bring the two observers (human and network) into the same accuracy range, they show very similar dependence on duration or FLOPS, i.e. very similar speed-accuracy tradeoff. We conclude that Anytime classification (i.e. early exits) is a promising model for human reaction time in recognition tasks.


title: Sensorimotor representation learning for an "active self" in robots: A model survey

abstract: Safe human-robot interactions require robots to be able to learn how to behave appropriately in \sout{humans' world} \rev{spaces populated by people} and thus to cope with the challenges posed by our dynamic and unstructured environment, rather than being provided a rigid set of rules for operations. In humans, these capabilities are thought to be related to our ability to perceive our body in space, sensing the location of our limbs during movement, being aware of other objects and agents, and controlling our body parts to interact with them intentionally. Toward the next generation of robots with bio-inspired capacities, in this paper, we first review the developmental processes of underlying mechanisms of these abilities: The sensory representations of body schema, peripersonal space, and the active self in humans. Second, we provide a survey of robotics models of these sensory representations and robotics models of the self; and we compare these models with the human counterparts. Finally, we analyse what is missing from these robotics models and propose a theoretical computational framework, which aims to allow the emergence of the sense of self in artificial agents by developing sensory representations through self-exploration.


title: A group with Property (T) acting on the circle

abstract: We exhibit a topological group $G$ with property (T) acting non-elementarily and continuously on the circle. This group is an uncountable totally disconnected closed subgroup of $\operatorname{Homeo}^+(\mathbf{S}^1)$. It has a large unitary dual since it separates points. It comes from homeomorphisms of dendrites and a kaleidoscopic construction. Alternatively, it can be seen as the group of elements preserving some specific geodesic lamination of the hyperbolic disk. We also prove that this action is unique up to conjugation and that it can't be smoothened in any way. Finally, we determine the universal minimal flow of the group $G$.


title: Cable Tree Wiring -- Benchmarking Solvers on a Real-World Scheduling Problem with a Variety of Precedence Constraints

abstract: Cable trees are used in industrial products to transmit energy and information between different product parts. To this date, they are mostly assembled by humans and only few automated manufacturing solutions exist using complex robotic machines. For these machines, the wiring plan has to be translated into a wiring sequence of cable plugging operations to be followed by the machine. In this paper, we study and formalize the problem of deriving the optimal wiring sequence for a given layout of a cable tree. We summarize our investigations to model this cable tree wiring Problem (CTW) as a traveling salesman problem with atomic, soft atomic, and disjunctive precedence constraints as well as tour-dependent edge costs such that it can be solved by state-of-the-art constraint programming (CP), Optimization Modulo Theories (OMT), and mixed-integer programming (MIP) solvers. It is further shown, how the CTW problem can be viewed as a soft version of the coupled tasks scheduling problem. We discuss various modeling variants for the problem, prove its NP-hardness, and empirically compare CP, OMT, and MIP solvers on a benchmark set of 278 instances. The complete benchmark set with all models and instance data is available on github and is accepted for inclusion in the MiniZinc challenge 2020.


title: European Strategy on AI: Are we truly fostering social good?

abstract: Artificial intelligence (AI) is already part of our daily lives and is playing a key role in defining the economic and social shape of the future. In 2018, the European Commission introduced its AI strategy able to compete in the next years with world powers such as China and US, but relying on the respect of European values and fundamental rights. As a result, most of the Member States have published their own National Strategy with the aim to work on a coordinated plan for Europe. In this paper, we present an ongoing study on how European countries are approaching the field of Artificial Intelligence, with its promises and risks, through the lens of their national AI strategies. In particular, we aim to investigate how European countries are investing in AI and to what extent the stated plans can contribute to the benefit of the whole society. This paper reports the main findings of a qualitative analysis of the investment plans reported in 15 European National Strategies


title: A Closed-form Localization Method Utilizing Pseudorange Measurements from Two Non-synchronized Positioning Systems

abstract: In a time-of-arrival (TOA) or pseudorange based positioning system, user location is obtained by observing multiple anchor nodes (AN) at known positions. Utilizing more than one positioning systems, e.g., combining Global Positioning System (GPS) and BeiDou Navigation Satellite System (BDS), brings better positioning accuracy. However, ANs from two systems are usually synchronized to two different clock sources. Different from single-system localization, an extra user-to-system clock offset needs to be handled. Existing dual-system methods either have high computational complexity or sub-optimal positioning accuracy. In this paper, we propose a new closed-form dual-system localization (CDL) approach that has low complexity and optimal localization accuracy. We first convert the nonlinear problem into a linear one by squaring the distance equations and employing intermediate variables. Then, a weighted least squares (WLS) method is used to optimize the positioning accuracy. We prove that the positioning error of the new method reaches Cramer-Rao Lower Bound (CRLB) in far field conditions with small measurement noise. Simulations on 2D and 3D positioning scenes are conducted. Results show that, compared with the iterative approach, which has high complexity and requires a good initialization, the new CDL method does not require initialization and has lower computational complexity with comparable positioning accuracy. Numerical results verify the theoretical analysis on positioning accuracy, and show that the new CDL method has superior performance over the state-of-the-art closed-form method. Experiments using real GPS and BDS data verify the applicability of the new CDL method and the superiority of its performance in the real world.


title: Contrastive Representation Learning for Whole Brain Cytoarchitectonic Mapping in Histological Human Brain Sections

abstract: Cytoarchitectonic maps provide microstructural reference parcellations of the brain, describing its organization in terms of the spatial arrangement of neuronal cell bodies as measured from histological tissue sections. Recent work provided the first automatic segmentations of cytoarchitectonic areas in the visual system using Convolutional Neural Networks. We aim to extend this approach to become applicable to a wider range of brain areas, envisioning a solution for mapping the complete human brain. Inspired by recent success in image classification, we propose a contrastive learning objective for encoding microscopic image patches into robust microstructural features, which are efficient for cytoarchitectonic area classification. We show that a model pre-trained using this learning task outperforms a model trained from scratch, as well as a model pre-trained on a recently proposed auxiliary task. We perform cluster analysis in the feature space to show that the learned representations form anatomically meaningful groups.


title: Deep Physics-aware Inference of Cloth Deformation for Monocular Human Performance Capture

abstract: Recent monocular human performance capture approaches have shown compelling dense tracking results of the full body from a single RGB camera. However, existing methods either do not estimate clothing at all or model cloth deformation with simple geometric priors instead of taking into account the underlying physical principles. This leads to noticeable artifacts in their reconstructions, e.g. baked-in wrinkles, implausible deformations that seemingly defy gravity, and intersections between cloth and body. To address these problems, we propose a person-specific, learning-based method that integrates a simulation layer into the training process to provide for the first time physics supervision in the context of weakly supervised deep monocular human performance capture. We show how integrating physics into the training process improves the learned cloth deformations, allows modeling clothing as a separate piece of geometry, and largely reduces cloth-body intersections. Relying only on weak 2D multi-view supervision during training, our approach leads to a significant improvement over current state-of-the-art methods and is thus a clear step towards realistic monocular capture of the entire deforming surface of a clothed human.


title: Putting a spin on metamaterials: Mechanical incompatibility as magnetic frustration

abstract: Mechanical metamaterials present a promising platform for seemingly impossible mechanics. They often require incompatibility of their elementary building blocks, yet a comprehensive understanding of its role remains elusive. Relying on an analogy to ferromagnetic and antiferromagnetic binary spin interactions, we present a universal approach to identify and analyze topological mechanical defects for arbitrary building blocks. We underline differences between two- and three-dimensional metamaterials, and show how topological defects can steer stresses and strains in a controlled and non-trivial manner and can inspire the design of materials with hitherto unknown complex mechanical response.


title: Missing bright red giants in the Galactic center: A fingerprint of its once active state?

abstract: In the Galactic center nuclear star cluster, bright late-type stars exhibit a flat or even a decreasing surface-density profile, while fainter late-type stars maintain a cusp-like profile. Historically, the lack of red giants in the Galactic center was discovered via the drop in the strength of the CO absorption bandhead by Kris Sellgren et al. (1990), later followed by the stellar number counts based on the high angular resolution near-infrared observations. Several mechanisms were put forward that could have led to the preferential depletion of bright red giants: star-star collisions, tidal stripping, star-accretion disc collisions, or an infall of a massive cluster or a secondary black hole. Here we propose a novel scenario for the bright red-giant depletion based on the collisions between red giants and the nuclear jet, which was likely active in the Galactic center a few million years ago and could have led to the formation of the large-scale $\gamma$-ray Fermi bubbles. The process of the jet-induced ablation of red giants appears to be most efficient within $\sim 0.04\,{\rm pc}$ (S-cluster), while at larger distances it was complemented by star-accretion disc collisions and at smaller scales, tidal stripping operated. These three mechanisms likely operated simultaneously and created an apparent core of late-type stars within $\sim 0.5\,{\rm pc}$.


title: Implementation of a cost-benefit analysis of Demand-Responsive Transport with a Multi-Agent Transport Simulation

abstract: In this paper, the technical requirements to perform a cost-benefit analysis of a Demand Responsive Transport (DRT) service with the traffic simulation software MATSim are elaborated in order to achieve the long-term goal of assessing the introduction of a DRT service in G\"ottingen and the surrounding area. The aim was to determine if the software is suitable for a cost-benefit analysis while providing a user manual for building a basic simulation that can be extended with public transport and DRT. The main result is that the software is suitable for a cost-benefit analysis of a DRT service. In particular, the most important internal and external costs, such as usage costs of the various modes of transport and emissions, can be integrated into the simulation scenarios. Thus, the scenarios presented in this paper can be extended by data from a mobility study of G\"ottingen and its surroundings in order to achieve the long-term goal. This paper is aimed at transport economists and researchers who are not familiar with MATSim, to provide them with a guide for the first steps in working with a traffic simulation software.


title: Multimodal Learning for Hateful Memes Detection

abstract: Memes are used for spreading ideas through social networks. Although most memes are created for humor, some memes become hateful under the combination of pictures and text. Automatically detecting the hateful memes can help reduce their harmful social impact. Unlike the conventional multimodal tasks, where the visual and textual information is semantically aligned, the challenge of hateful memes detection lies in its unique multimodal information. The image and text in memes are weakly aligned or even irrelevant, which requires the model to understand the content and perform reasoning over multiple modalities. In this paper, we focus on multimodal hateful memes detection and propose a novel method that incorporates the image captioning process into the memes detection process. We conduct extensive experiments on multimodal meme datasets and illustrated the effectiveness of our approach. Our model achieves promising results on the Hateful Memes Detection Challenge.


title: Examining axion-like particles with superconducting radio-frequency cavity

abstract: We address production of massive axion-like particles by two electromagnetic modes inside a superconducting radio-frequency (SRF) cylindrical cavity. We discuss in detail the choice of pump modes and cavity design. We numerically compute time-averaged energy density of produced axion field for various cavity modes and wide range of axion masses. This allows us to estimate optimal conditions for axion production within a cavity. In addition, we consider photon regeneration process initiated by produced axion field in a screened radio-frequency cavity and derive constraints in parameter space $(g_{a\gamma\gamma},\ m_a)$ for different choice of pump modes.


title: Describing squeezed-light experiments without squeezed-light states

abstract: Coherent states are normally used to describe the state of a laser field in experiments that generate and detect squeezed states of light. Nevertheless, since the laser field absolute phase is unknown, its quantum state can be described by a statistical mixture of coherent states with random phases, which is equivalent to a statistical mixture of Fock states. Here we describe single-mode squeezed vacuum experiments using this mixed quantum state for the laser field. Representing the laser state in the Fock basis, we predict the usual experimental results without using the squeezing concept in the analysis and concluding that no squeezed state is generated in the experiments. We provide a general physical explanation for the noise reduction in the experiments in terms of a better definition of the relative phase between the signal and local oscillator fields. This explanation is valid in any description of the laser field (in terms of coherent or Fock states), thus providing a deeper understanding of the phenomenon.


title: Hybrid Confidence Intervals for Informative Uniform Asymptotic Inference After Model Selection

abstract: I propose a new type of confidence interval for correct asymptotic inference after using data to select a model of interest without assuming any model is correctly specified. This hybrid confidence interval is constructed by combining techniques from the selective inference and post-selection inference literatures to yield a short confidence interval across a wide range of data realizations. I show that hybrid confidence intervals have correct asymptotic coverage, uniformly over a large class of probability distributions that do not bound scaled model parameters. I illustrate the use of these confidence intervals in the problem of inference after using the LASSO objective function to select a regression model of interest and provide evidence of their desirable length and coverage properties in small samples via a set of Monte Carlo experiments that entail a variety of different data distributions as well as an empirical application to the predictors of diabetes disease progression.


title: Effect of pseudo-cubic (111)-oriented orthorhombic substrate facets on perovskite oxide thin film synthesis

abstract: Strain engineering with different substrate facets is promising for tuning functional properties of thin film perovskite oxides. By choice of facet, different surface symmetries and chemical bond directions for epitaxial interfaces can be tailored. Here, preparation of well-defined pseudo-cubic (111)-oriented orthorhombic substrates of DyScO3 , GdScO3 , and NdGaO3 is reported. The choice of orthorhombic facet, (011)o or (101)o , both corresponding to pseudo-cubic (111)pc , gives vicinal surfaces with single or double (111pc layer terrace step heights, respectively, impacting subsequent thin film growth. Orthorhombic LaFeO3 epitaxy on the (101)o facet reveals a distinction between alternating (111)pc layers, both during and after growth. The observed differences are explained based on the oxygen octahedral tilt pattern relative to the two orthorhombic (111)pc surfaces. This robust structural detail in the orthorhombic perovskite oxides enables utilisation of different (111)pc facets for property engineering, through polyhedral connectivity control and cation coordination at epitaxial interfaces.


title: Rapid Exploration of Optimization Strategies on Advanced Architectures using TestSNAP and LAMMPS

abstract: The exascale race is at an end with the announcement of the Aurora and Frontier machines. This next generation of supercomputers utilize diverse hardware architectures to achieve their compute performance, providing an added onus on the performance portability of applications. An expanding fragmentation of programming models would provide a compounding optimization challenge were it not for the evolution of performance-portable frameworks, providing unified models for mapping abstract hierarchies of parallelism to diverse architectures. A solution to this challenge is the evolution of performance-portable frameworks, providing unified models for mapping abstract hierarchies of parallelism to diverse architectures. Kokkos is one such performance portable programming model for C++ applications, providing back-end implementations for each major HPC platform. Even with a performance portable framework, restructuring algorithms to expose higher degrees of parallelism is non-trivial. The Spectral Neighbor Analysis Potential (SNAP) is a machine-learned inter-atomic potential utilized in cutting-edge molecular dynamics simulations. Previous implementations of the SNAP calculation showed a downward trend in their performance relative to peak on newer-generation CPUs and low performance on GPUs. In this paper we describe the restructuring and optimization of SNAP as implemented in the Kokkos CUDA backend of the LAMMPS molecular dynamics package, benchmarked on NVIDIA GPUs. We identify novel patterns of hierarchical parallelism, facilitating a minimization of memory access overheads and pushing the implementation into a compute-saturated regime. Our implementation via Kokkos enables recompile-and-run efficiency on upcoming architectures. We find a $\sim$22x time-to-solution improvement relative to an existing implementation as measured on an NVIDIA Tesla V100-16GB for an important benchmark.


title: Calabi-Yau threefolds with Picard number three

abstract: In this paper, we continue the study of boundedness questions for (simply connected) smooth Calabi-Yau threefolds commenced in arXiv:1706.01268. The diffeomorphism class of such a threefold is known to be determined up to finitely many possibilities by the integral middle cohomology and two integral forms on the integral second cohomology, namely the cubic cup-product form and the linear form given by cup-product with the second chern class. The question addressed in both papers is whether knowledge of these cubic and linear forms determines the threefold up to finitely many families, that is the moduli of such threefolds is bounded. If this is true, then in particular the middle integral cohomology would be bounded by knowing these two forms. Crucial to this question is the study of rigid non-movable surfaces on the threefold, which are the irreducible surfaces that deform with any small deformation of the complex structure of the threefold but for which no multiple moves on the threefold. We showed in the previous paper that if there are no such surfaces, then the answer to the above question is yes. Moreover if the Picard number is 2, the answer was shown to be yes without any further assumptions on the Calabi-Yau threefold. The main results of this paper are for Picard number 3, where we prove boundedness in the case where there is at most one rigid non-movable surface, assuming the cubic form is smooth (thereby defining a real elliptic curve); in the two cases where the Hessian curve is singular, we also assume that the line defined by the second chern class does not intersect this curve at an inflexion point. In addition to the methods described in the previous paper, a further crucial tool in the proofs will be the classical Steinian involution on the Hessian of an elliptic curve.


title: Error estimates in Second-order Continuous-Time Sigma-Delta modulators

abstract: Continuous-time Sigma-Delta (CT-$\Sigma\Delta$) modulators are oversampling Analog-to-Digital converters that may provide higher sampling rates and lower power consumption than their discrete counterpart. Whereas approximation errors are established for high-order discrete time $\Sigma\Delta$ modulators, theoretical analysis of the error between the filtered output and the input remain scarce. This paper presents a general framework to study this error: under regularity assumptions on the input and the filtering kernel, we prove for a second-order CT-$\Sigma\Delta$ that the error estimate may be in $o(1/N^2)$, where $N$ is the oversampling ratio. The whole theory is validated by numerical experiments.


title: Gravitational waves from a holographic phase transition

abstract: We investigate first order phase transitions in a holographic setting of five-dimensional Einstein gravity coupled to a scalar field, constructing phase diagrams of the dual field theory at finite temperature. We scan over the two-dimensional parameter space of a simple bottom-up model and map out important quantities for the phase transition: the region where first order phase transitions take place; the latent heat, the transition strength parameter $\alpha$, and the stiffness. We find that $\alpha$ is generically in the range 0.1 to 0.3, and is strongly correlated with the stiffness (the square of the sound speed in a barotropic fluid). Using the LISA Cosmology Working Group gravitational wave power spectrum model corrected for kinetic energy suppression at large $\alpha$ and non-conformal stiffness, we outline the observational prospects at the future space-based detectors LISA and TianQin. A TeV-scale hidden sector with a phase transition described by the model could be observable at both detectors.


title: Characterization and Derivation of Heard-Of Predicates for Asynchronous Message-Passing Models

abstract: In distributed computing, multiple processes interact to solve a problem together. The main model of interaction is the message-passing model, where processes communicate by exchanging messages. Nevertheless, there are several models varying along important dimensions: degree of synchrony, kinds of faults, number of faults... This variety is compounded by the lack of a general formalism in which to abstract these models. One way to bring order is to constrain these models to communicate in rounds. This is the setting of the Heard-Of model, which captures many models through predicates on the messages sent in a round and received on time. Yet, it is not easy to define the predicate that captures a given operational model. The question is even harder for the asynchronous case, as unbounded message delay means the implementation of rounds must depend on details of the model. This paper shows that characterising asynchronous models by heard-of predicates is indeed meaningful. This characterization relies on delivered predicates, an intermediate abstraction between the informal operational model and the heard-of predicates. Our approach splits the problem into two steps: first extract the delivered model capturing the informal model, and then characterize the heard-of predicates that are generated by this delivered model. For the first part, we provide examples of delivered predicates, and an approach to derive more. It uses the intuition that complex models are a composition of simpler models. We define operations like union, succession or repetition that make it easier to derive complex delivered predicates from simple ones while retaining expressivity. For the second part, we formalize and study strategies for when to change rounds. Intuitively, the characterizing predicate of a model is the one generated by a strategy that waits for as much messages as possible, without blocking forever.


title: Pure point diffraction and entropy beyond the Euclidean space

abstract: For Euclidean pure point diffractive Delone sets of finite local complexity and with uniform patch frequencies it is well known that the patch counting entropy computed along the closed centred balls is zero. We consider such sets in the setting of sigma-compact locally compact Abelian groups and show that the topological entropy of the associated Delone dynamical system is zero. For this we provide a suitable version of the variational principle. We furthermore construct counterexamples, which show that the patch counting entropy of such sets can be non-zero in this context. Other counterexamples will show that the patch counting entropy of such a set can not be computed along a limit and even be infinite in this setting.


title: Kapitza-Dirac blockade: A universal tool for the deterministic preparation of non-Gaussian oscillator states

abstract: Harmonic oscillators count among the most fundamental quantum systems with important applications in molecular physics, nanoparticle trapping, and quantum information processing. Their equidistant energy level spacing is often a desired feature, but at the same time a challenge if the goal is to deterministically populate specific eigenstates. Here, we show how interference in the transition amplitudes in a bichromatic laser field can suppress the sequential climbing of harmonic oscillator states (Kapitza-Dirac blockade) and achieve selective excitation of energy eigenstates, Schr\"{o}dinger cats and other non-Gaussian states. This technique can transform the harmonic oscillator into a coherent two-level system or be used to build a large-momentum-transfer beam splitter for matter-waves. To illustrate the universality of the concept, we discuss feasible experiments that cover many orders of magnitude in mass, from single electrons over large molecules to dielectric nanoparticles.


title: Sparse Multi-Decoder Recursive Projection Aggregation for Reed-Muller Codes

abstract: Reed-Muller (RM) codes are one of the oldest families of codes. Recently, a recursive projection aggregation (RPA) decoder has been proposed, which achieves a performance that is close to the maximum likelihood decoder for short-length RM codes. One of its main drawbacks, however, is the large amount of computations needed. In this paper, we devise a new algorithm to lower the computational budget while keeping a performance close to that of the RPA decoder. The proposed approach consists of multiple sparse RPAs that are generated by performing only a selection of projections in each sparsified decoder. In the end, a cyclic redundancy check (CRC) is used to decide between output codewords. Simulation results show that our proposed approach reduces the RPA decoder's computations up to $80\%$ with negligible performance loss.


title: Tuning capillary flow in porous media with hierarchical structures

abstract: Immiscible fluid-fluid displacement in porous media is of great importance in many engineering applications, such as enhanced oil recovery, agricultural irrigation, and geologic CO2 storage. Fingering phenomena, induced by the interface instability, are commonly encountered during displacement processes and somehow detrimental since such hydrodynamic instabilities can significantly reduce displacement efficiency. In this study, we report a possible adjustment in pore geometry which aims to suppress the capillary fingering in porous media with hierarchical structures. Through pore-scale simulations and theoretical analysis, we demonstrate and quantify combined effects of wettability and hierarchical geometry on displacement patterns, showing a transition from fingering to compact mode. Our results suggest that with a higher porosity of the 2nd-order porous structure, the displacement can keep compact across a wider range of wettability conditions. Combined with our previous work on viscous fingering in such media, we can provide a complete insight into the fluid-fluid displacement control in hierarchical porous media, across a wide range of flow conditions from capillary- to viscous-dominated modes. The conclusions of this work can benefit the design of microfluidic devices, as well as tailoring porous media for better fluid displacement efficiency at the field scale.


title: Improving Redundancy Availability: Dynamic Subtasks Modulation for Robots with Redundancy Insufficiency

abstract: This work presents an approach for robots to suitably carry out complex applications characterized by the presence of multiple additional constraints or subtasks (e.g. obstacle and self-collision avoidance) but subject to redundancy insufficiency. The proposed approach, based on a novel subtask merging strategy, enforces all subtasks in due course by dynamically modulating a virtual secondary task, where the task status and soft priority are incorporated to improve the overall efficiency of redundancy resolution. The proposed approach greatly improves the redundancy availability by unitizing and deploying subtasks in a fine-grained and compact manner. We build up our control framework on the null space projection, which guarantees the execution of subtasks does not interfere with the primary task. Experimental results on two case studies are presented to show the performance of our approach.


title: Generalized Focal Loss V2: Learning Reliable Localization Quality Estimation for Dense Object Detection

abstract: Localization Quality Estimation (LQE) is crucial and popular in the recent advancement of dense object detectors since it can provide accurate ranking scores that benefit the Non-Maximum Suppression processing and improve detection performance. As a common practice, most existing methods predict LQE scores through vanilla convolutional features shared with object classification or bounding box regression. In this paper, we explore a completely novel and different perspective to perform LQE -- based on the learned distributions of the four parameters of the bounding box. The bounding box distributions are inspired and introduced as "General Distribution" in GFLV1, which describes the uncertainty of the predicted bounding boxes well. Such a property makes the distribution statistics of a bounding box highly correlated to its real localization quality. Specifically, a bounding box distribution with a sharp peak usually corresponds to high localization quality, and vice versa. By leveraging the close correlation between distribution statistics and the real localization quality, we develop a considerably lightweight Distribution-Guided Quality Predictor (DGQP) for reliable LQE based on GFLV1, thus producing GFLV2. To our best knowledge, it is the first attempt in object detection to use a highly relevant, statistical representation to facilitate LQE. Extensive experiments demonstrate the effectiveness of our method. Notably, GFLV2 (ResNet-101) achieves 46.2 AP at 14.6 FPS, surpassing the previous state-of-the-art ATSS baseline (43.6 AP at 14.6 FPS) by absolute 2.6 AP on COCO {\tt test-dev}, without sacrificing the efficiency both in training and inference. Code will be available at https://github.com/implus/GFocalV2.