title: Massive quarks in NLO dipole factorization for DIS: Longitudinal photon

abstract: In this work, we will present the first complete calculation of the one-loop longitudinal photon-to-quark-antiquark light cone wave function, with massive quarks. The quark masses are renormalized in the pole mass scheme. The result is used to calculate the next-to-leading order correction to the high energy Deep Inelastic Scattering longitudinal structure function on a dense target in the dipole factorization framework. For massless quarks the next-to-leading order correction was already known to be sizeable, and our result makes it possible to evaluate it also for massive quarks.


title: Large Deviations of Kac's Conservative Particle System and Energy Non-Conserving Solutions to the Boltzmann Equation: A Counterexample to the Predicted Rate Function

abstract: We consider the dynamic large deviation behaviour of Kac's collisional process for a range of initial conditions including equilibrium. We prove an upper bound with a rate function of the type which has previously been found for kinetic large deviation problems, and a matching lower bound restricted to a class of sufficiently good paths. However, we are able to show by an explicit counterexample that the predicted rate function does not extend to a global lower bound: even though the particle system almost surely conserves energy, large deviation behaviour includes solutions to the Boltzmann equation which do not conserve energy, as found by Lu and Wennberg, and these occur strictly more rarely than predicted by the proposed rate function. At the level of the particle system, this occurs because a macroscopic proportion of energy can concentrate in $\mathfrak{o}(N)$ particles with probability $e^{-\mathcal{O}(N)}$.


title: Moving modulating pulse and front solutions of permanent form in a FPU model with nearest and next-to-nearest neighbor interaction

abstract: We consider a nonlinear chain of coupled oscillators, which is a direct generalization of the classical FPU lattice and exhibits, besides the usual nearest neighbor interaction, also next-to-nearest neighbor interaction. For the case of nearest neighbor attraction and next-to-nearest neighbor repulsion we prove that such a lattice admits, in contrast to the classical FPU model, moving modulating front solutions of permanent form, which have small converging tails at infinity and can be approximated by solitary wave solutions of the Nonlinear Schr\"odinger equation. When the associated potentials are even, then the proof yields moving modulating pulse solutions of permanent form, whose profiles are spatially localized. Our analysis employs the spatial dynamics approach as developed by Iooss and Kirchg\"assner. The relevant solutions are constructed on a five-dimensional center manifold and their persistence is guaranteed by reversibility arguments.


title: Multilevel Active-Set Trust-Region (MASTR) Method for Bound Constrained Minimization

abstract: We introduce a novel variant of the recursive multilevel trust-region (RMTR) method, called MASTR. The method is designed for solving non-convex bound-constrained minimization problems, which arise from the finite element discretization of partial differential equations. MASTR utilizes an active-set strategy based on the truncated basis approach in order to preserve the variable bounds defined on the finest level by the coarser levels. Usage of this approach allows for fast convergence of the MASTR method, especially once the exact active-set is detected. The efficiency of the method is demonstrated by means of numerical examples.


title: Non perturbative spherical gravitational waves

abstract: It is well-known that there is no spherical/topologically spherical gravitational waves in vacuum space in general relativity. We show that a deviation from general relativity leads to exact vacuum spherical gravitational waves, no matter how tiny this deviation is. We also discuss the related topics, including Vaidya-like metric in $f(R)$ gravity. We demonstrate that the existence of spherical gravitational wave is a non perturbative property for gravities. We investigate energy carried by this nonperturbative wave. We first find the wave solution from investigations of Vaidya-like metric in $f(R)$ gravity, which has only one longitude polarization. We further extend it to a metric with two transverse polarizations by directly solving the field equation.


title: A cloud-IoT platform for passive radio sensing: challenges and application case studies

abstract: We propose a platform for the integration of passive radio sensing and vision technologies into a cloud-IoT framework that performs real-time channel quality information (CQI) time series processing and analytics. Radio sensing and vision technologies allow to passively detect and track objects or persons by using radio waves as probe signals that encode a 2D/3D view of the environment they propagate through. View reconstruction from the received radio signals, or CQI, is based on real-time data processing tools, that combine multiple radio measurements from possibly heterogeneous IoT networks. The proposed platform is designed to efficiently store and analyze CQI time series of different types and provides formal semantics for CQI data manipulation (ontology models). Post-processed data can be then accessible to third parties via JSON-REST calls. Finally, the proposed system supports the reconfiguration of CQI data collection based on the respective application. The performance of the proposed tools are evaluated through two experimental case studies that focus on assisted living applications in a smart-space environment and on driver behavior recognition for in-car control services. Both studies adopt and compare different CQI manipulation models and radio devices as supported by current and future (5G) standards.


title: Cosmological constant, information and gedanken experiments with black hole horizons

abstract: The cosmological constant if considered as a fundamental constant, provides an information treatment for gravitation problems, both cosmological and of black holes. The efficiency of that approach is shown via gedanken experiments for the information behavior of the horizons for Schwarzschild-de Sitter and Kerr-de Sitter metrics. A notion of entropy regarding any observer and in all possible non-extreme black hole solutions is suggested, linked also to Bekenstein bound. The suggested information approach forbids the existence of naked singularities.


title: Predicting the future success of scientific publications through social network and semantic analysis

abstract: Citations acknowledge the impact a scientific publication has on subsequent work. At the same time, deciding how and when to cite a paper, is also heavily influenced by social factors. In this work, we conduct an empirical analysis based on a dataset of 2010-2012 global publications in chemical engineering. We use social network analysis and text mining to measure publication attributes and understand which variables can better help predicting their future success. Controlling for intrinsic quality of a publication and for the number of authors in the byline, we are able to predict scholarly impact of a paper in terms of citations received six years after publication with almost 80 percent accuracy. Results suggest that, all other things being equal, it is better to co-publish with rotating co-authors and write the papers' abstract using more positive words, and a more complex, thus more informative, language. Publications that result from the collaboration of different social groups also attract more citations.


title: Does the geographic proximity effect on knowledge spillovers vary across research fields?

abstract: Policy makers are interested in the influence of geographic distance on knowledge flows, however these can be expected to vary across research fields. The effects of geographic distance on flows are analyzed by means of citations to scientific literature. The field of observation consists of the 2010-2012 Italian publications and relevant citations up to the close of 2017. The geographic proximity effect is analyzed at national, continental, and intercontinental level in 244 fields, and results as evident at national level and in some cases at continental level, but not at intercontinental level. For flows between Italian municipalities, citations decrease with distance in all fields. At continental level, four fields are identified having knowledge flows that grow with distance; at intercontinental level, this occurs in 26 fields. The influence of distance is more limited in the fields of Humanities and Social sciences, much more significant in the Sciences, mainly in the Natural sciences.


title: Collecting large-scale publication data at the level of individual researchers: A practical proposal for author name disambiguation

abstract: The disambiguation of author names is an important and challenging task in bibliometrics. We propose an approach that relies on an external source of information for selecting and validating clusters of publications identified through an unsupervised author name disambiguation method. The application of the proposed approach to a random sample of Italian scholars shows encouraging results, with an overall precision, recall, and F-Measure of over 96%. The proposed approach can serve as a starting point for large-scale census of publication portfolios for bibliometric analyses at the level of individual researchers.


title: On the quantification of discretization uncertainty: comparison of two paradigms

abstract: Numerical models based on partial differential equations (PDE), or integro-differential equations, are ubiquitous in engineering and science, making it possible to understand or design systems for which physical experiments would be expensive-sometimes impossible-to carry out. Such models usually construct an approximate solution of the underlying continuous equations, using discretization methods such as finite differences or the finite elements method. The resulting discretization error introduces a form of uncertainty on the exact but unknown value of any quantity of interest (QoI), which affects the predictions of the numerical model alongside other sources of uncertainty such as parametric uncertainty or model inadequacy. The present article deals with the quantification of this discretization uncertainty.A first approach to this problem, now standard in the V\&V (Verification and Validation) literature, uses the grid convergence index (GCI) originally proposed by P. Roache in the field of computational fluid dynamics (CFD), which is based on the Richardson extrapolation technique. Another approach, based on Bayesian inference with Gaussian process models, was more recently introduced in the statistical literature. In this work we present and compare these two paradigms for the quantification of discretization uncertainty, which have been developped in different scientific communities, and assess the potential of the-younger-Bayesian approach to provide a replacement for the well-established GCI-based approach, with better probabilistic foundations. The methods are illustrated and evaluated on two standard test cases from the literature (lid-driven cavity and Timoshenko beam).

categories: physics.comp-ph physics.med-ph stat.AP stat.ME


title: A novel methodology to assess the scientific standing of nations at field level

abstract: The formulation of national research policies would benefit greatly from reliable strategic analysis of the scientific infrastructure, aimed at identifying the relevant strengths and weaknesses at field level. Bibliometric methodologies thus far proposed in the literature are not completely satisfactory. This work proposes a novel "output-to-input-oriented" approach, which permits identification of research strengths and weaknesses on the basis of the ratios of top scientists and highly cited articles to research expenditures in each field. The proposed approach is applied to the Italian academic system. 2012-2016 scientific publications are analyzed, in the 218 research fields where bibliometric assessment is appropriate.


abstract: General AI system solves a wide range of tasks with high performance in an automated fashion. The best general AI algorithm designed by one individual is different from that devised by another. The best performance records achieved by different users are also different. An inevitable component of general AI is tacit knowledge that depends upon user-specific comprehension of task information and individual model design preferences that are related to user technical experiences. Tacit knowledge affects model performance but cannot be automatically optimized in general AI algorithms. In this paper, we propose User-Oriented Smart General AI System under Causal Inference, abbreviated as UOGASuCI, where UOGAS represents User-Oriented General AI System and uCI means under the framework of causal inference. User characteristics that have a significant influence upon tacit knowledge can be extracted from observed model training experiences of many users in external memory modules. Under the framework of causal inference, we manage to identify the optimal value of user characteristics that are connected with the best model performance designed by users. We make suggestions to users about how different user characteristics can improve the best model performance achieved by users. By recommending updating user characteristics associated with individualized tacit knowledge comprehension and technical preferences, UOGAS helps users design models with better performance.


title: Classification of Pneumonia and Tuberculosis from Chest X-rays

abstract: Artificial intelligence (AI) and specifically machine learning is making inroads into number of fields. Machine learning is replacing and/or complementing humans in a certain type of domain to make systems perform tasks more efficiently and independently. Healthcare is a worthy domain to merge with AI and Machine learning to get things to work smoother and efficiently. The X-ray based detection and classification of diseases related to chest is much needed in this modern era due to the low number of quality radiologists. This thesis focuses on the classification of Pneumonia and Tuberculosis two major chest diseases from the chest X-rays. This system provides an opinion to the user whether one is having a disease or not, thereby helping doctors and medical staff to make a quick and informed decision about the presence of disease. As compared to previous work our model can detect two types of abnormality. Our model can detect whether X-ray is normal or having abnormality which can be pneumonia and tuberculosis 92.97% accurately.


title: Extracting the Optical Depth to Reionization $\tau$ from 21 cm Data Using Machine Learning Techniques

abstract: Upcoming measurements of the high-redshift 21 cm signal from the Epoch of Reionization (EoR) are a promising probe of the astrophysics of the first galaxies and of cosmological parameters. In particular, the optical depth $\tau$ to the last scattering surface of the cosmic microwave background (CMB) should be tightly constrained by direct measurements of the neutral hydrogen state at high redshift. A robust measurement of $\tau$ from 21 cm data would help eliminate it as a nuisance parameter from CMB estimates of cosmological parameters. Previous proposals for extracting $\tau$ from future 21 cm datasets have typically used the 21 cm power spectra generated by semi-numerical models to reconstruct the reionization history. We present here a different approach which uses convolution neural networks (CNNs) trained on mock images of the 21 cm EoR signal to extract $\tau$. We construct a CNN that improves upon on previously proposed architectures, and perform an automated hyperparameter optimization. We show that well-trained CNNs are able to accurately predict $\tau$, even when removing Fourier modes that are expected to be corrupted by bright foreground contamination of the 21 cm signal. Typical random errors for an optimized network are less than $3.06\%$, with biases factors of several smaller. While preliminary, this approach could yield constraints on $\tau$ that improve upon sample-variance limited measurements of the low-$\ell$ EE observations of the CMB, making this approach a valuable complement to more traditional methods of inferring $\tau$.


title: From anyons to Majoranas

abstract: Anyons, particles that are neither bosons nor fermions, were predicted in the 1980s, but strong experimental evidence for the existence of the simplest type on anyons has only emerged this year. Further theoretical and experimental advances promise to nail the existence of more exotic types on anyons, such as Majorana fermions, which would make topological quantum computation possible.


title: A generalised and fully Bayesian framework for ensemble updating

abstract: We propose a generalised framework for the updating of a prior ensemble to a posterior ensemble, an essential yet challenging part in ensemble-based filtering methods. The proposed framework is based on a generalised and fully Bayesian view on the traditional ensemble Kalman filter (EnKF). In the EnKF, the updating of the ensemble is based on Gaussian assumptions, whereas in our general setup the updating may be based on another parametric family. In addition, we propose to formulate an optimality criterion and to find the optimal update with respect to this criterion. The framework is fully Bayesian in the sense that the parameters of the assumed forecast model are treated as random variables. As a consequence, a parameter vector is simulated, for each ensemble member, prior to the updating. In contrast to existing fully Bayesian approaches, where the parameters are simulated conditionally on all the forecast samples, the parameters are in our framework simulated conditionally on both the data and all the forecast samples, except the forecast sample which is to be updated. The proposed framework is studied in detail for two parametric families: the linear-Gaussian model and the finite state-space hidden Markov model. For both cases, we present simulation examples and compare the results with existing ensemble-based filtering methods. The results of the proposed approach indicate a promising performance. In particular, the filter based on the linear-Gaussian model gives a more realistic representation of the uncertainty than the traditional EnKF, and the effect of not conditioning on the forecast sample which is to be updated when simulating the parameters is remarkable.


title: An exploration of model degeneracies with a unified phase curve retrieval analysis: The light and dark sides of WASP-43 b

abstract: The analysis of exoplanetary atmospheres often relies upon the observation of transit or eclipse events. While very powerful, these snapshots provide mainly 1-dimensional information on the planet structure and do not easily allow precise latitude-longitude characterisations. The phase curve technique, which consists of measuring the planet emission throughout its entire orbit, can break this limitation and provide useful 2-dimensional thermal and chemical constraints on the atmosphere. As of today however, computing performances have limited our ability to perform unified retrieval studies on the full set of observed spectra from phase curve observations at the same time. Here, we present a new phase curve model that enables fast, unified retrieval capabilities. We apply our technique to the combined phase curve data from the Hubble and Spitzer space telescopes of the hot-Jupiter WASP-43 b. We tested different scenarios and discussed the dependence of our solution to different assumptions in the model. Our more comprehensive approach suggests that multiple interpretation of this dataset are possible but our more complex model is consistent with the presence of thermal inversions and a metal rich atmosphere, contrasting with previous data analyses, although this likely depends on the Spitzer data reduction. The detailed constraints extracted here demonstrate the importance of developing and understanding advanced phase curve techniques, which we believe will unlock access to a richer picture of exoplanet atmospheres.


title: Modulation leakage vulnerability in continuous-variable quantum key distribution

abstract: Flaws in the process of modulation, or encoding of key bits in the quadratures of the electromagnetic light field, can make continuous-variable quantum key distribution systems susceptible to leakage of secret information. Here, we report such a modulation leakage vulnerability in a system that uses an optical in-phase and quadrature modulator to implement a single sideband encoding scheme. The leakage arises from the limited suppression of a quantum-information-carrying sideband during modulation. Based on the results from a proof-of-concept experiment, we theoretically analyse the impact of this vulnerability. Our results indicate that the leakage reduces the range over which a positive secret key can be obtained, and can even lead to a security breach if not properly taken into account. We also study the effectiveness of additional trusted noise as a countermeasure to this vulnerability.


title: Cosmic tango between the very small and the very large: Addressing CMB anomalies through Loop Quantum Cosmology

abstract: While the standard, six-parameter, spatially flat $\Lambda$CDM model has been highly successful, certain anomalies in the cosmic microwave background bring out a tension between this model and observations. The statistical significance of any one anomaly is small. However, taken together, the presence of two or more of them imply that according to standard inflationary theories we live in quite an exceptional universe. We revisit the analysis of the PLANCK collaboration using loop quantum cosmology, where an unforeseen interplay between the ultraviolet and the infrared makes the \emph{primordial} power spectrum scale dependent at very small $k$. Consequently, we are led to a somewhat different $\Lambda$CDM universe in which anomalies associated with large scale power suppression and the lensing amplitude are both alleviated. The analysis also leads to new predictions for future observations. This article is addressed both to cosmology and LQG communities, and we have attempted to make it self-contained.


title: Conjectures on Hidden Onsager Algebra Symmetries in Interacting Quantum Lattice Models

abstract: We conjecture the existence of hidden Onsager algebra symmetries in two interacting quantum integrable lattice models, i.e. spin-1/2 XXZ model and spin-1 Zamolodchikov-Fateev model at arbitrary root of unity values of the anisotropy. The conjectures relate the Onsager generators to the conserved charges obtained from semi-cyclic transfer matrices. The conjectures are motivated by two examples which are spin-1/2 XX model and spin-1 U(1)-invariant clock model. A novel construction of the semi-cyclic transfer matrices of spin-1 Zamolodchikov-Fateev model at arbitrary root of unity value of the anisotropy is carried out via transfer matrix fusion procedure.

categories: cond-mat.stat-mech hep-th math-ph math.MP quant-ph


title: Extracting Bayesian networks from multiple copies of a quantum system

abstract: Despite their theoretical importance, dynamic Bayesian networks associated with quantum processes are currently not accessible experimentally. We here describe a general scheme to determine the multi-time path probability of a Bayesian network based on local measurements on independent copies of a composite quantum system combined with postselection. We further show that this protocol corresponds to a non-projective measurement. It thus allows the investigation of the multi-time properties of a given local observable while fully preserving all its quantum features.


title: Real-time implementation of MPC for tracking in embedded systems: Application to a two-wheeled inverted pendulum

abstract: This article presents the real-time implementation of the model predictive control for tracking formulation to control a two-wheeled inverted pendulum robot. This formulation offers several advantages over standard MPC formulations at the expense of the addition of a small number of decision variables, which complicates the inner structure of the matrices of the optimization problem. We implement a sparse solver, based on an extension of the alternating direction method of multipliers, in the system's embedded hardware. The results indicate that the solver is suitable for controlling a real system with sample times in the range of milliseconds using current, readily-available hardware.


title: Sparse Object-level Supervision for Instance Segmentation with Pixel Embeddings

abstract: Most state-of-the-art instance segmentation methods have to be trained on densely annotated images. While difficult in general, this requirement is especially daunting for biomedical images, where domain expertise is often required for annotation and no large public data collections are available for pre-training. We propose to address the dense annotation bottleneck by introducing a proposal-free segmentation approach based on non-spatial embeddings, which exploits the structure of the learned embedding space to extract individual instances in a differentiable way. The segmentation loss can then be applied directly to instances and the overall pipeline can be trained in a fully- or weakly supervised manner. We consider the challenging case of positive-unlabeled supervision, where a novel self-supervised consistency loss is introduced for the unlabeled parts of the training data. We evaluate the proposed method on 2D and 3D segmentation problems in different microscopy modalities as well as on the Cityscapes and CVPPP instance segmentation benchmarks, achieving state-of-the-art results on the latter. The code is available at: https://github.com/kreshuklab/spoco


title: Isoperimetric inequalities in the Brownian plane

abstract: We consider the model of the Brownian plane, which is a pointed non-compact random metric space with the topology of the complex plane. The Brownian plane can be obtained as the scaling limit in distribution of the uniform infinite planar triangulation or the uniform infinite planar quadrangulation and is conjectured to be the universal scaling limit of many others random planar lattices. We establish sharp bounds on the probability of having a short cycle separating the ball of radius $r$ centered at the distinguished point from infinity. Then we prove a strong version of the spatial Markov property of the Brownian plane. Combining our study of short cycles with this strong spatial Markov property we obtain sharp isoperimetric bounds for the Brownian plane.


title: Parallel Tacotron 2: A Non-Autoregressive Neural TTS Model with Differentiable Duration Modeling

abstract: This paper introduces Parallel Tacotron 2, a non-autoregressive neural text-to-speech model with a fully differentiable duration model which does not require supervised duration signals. The duration model is based on a novel attention mechanism and an iterative reconstruction loss based on Soft Dynamic Time Warping, this model can learn token-frame alignments as well as token durations automatically. Experimental results show that Parallel Tacotron 2 outperforms baselines in subjective naturalness in several diverse multi speaker evaluations. Its duration control capability is also demonstrated.


title: Elvet -- a neural network-based differential equation and variational problem solver

abstract: We present Elvet, a Python package for solving differential equations and variational problems using machine learning methods. Elvet can deal with any system of coupled ordinary or partial differential equations with arbitrary initial and boundary conditions. It can also minimize any functional that depends on a collection of functions of several variables while imposing constraints on them. The solution to any of these problems is represented as a neural network trained to produce the desired function.


title: Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model

abstract: Successfully attaining consensus in the absence of a centralized coordinator is a fundamental problem in distributed multi-agent systems. We analyze progress in the Synod consensus protocol -- which does not assume a unique leader -- under the assumptions of asynchronous communication and potential agent failures. We identify a set of sufficient conditions under which it is possible to guarantee that a set of agents will eventually attain consensus. First, a subset of the agents must behave correctly and not permanently fail until consensus is reached, and second, at least one proposal must be eventually uninterrupted by higher-numbered proposals. To formally reason about agent failures, we introduce a failure-aware actor model (FAM). Using FAM, we model the identified conditions and provide a formal proof of eventual progress in Synod. Our proof has been mechanically verified using the Athena proof assistant and, to the best of our knowledge, it is the first machine-checked proof of eventual progress in Synod.


title: Unsupervised Robust Domain Adaptation without Source Data

abstract: We study the problem of robust domain adaptation in the context of unavailable target labels and source data. The considered robustness is against adversarial perturbations. This paper aims at answering the question of finding the right strategy to make the target model robust and accurate in the setting of unsupervised domain adaptation without source data. The major findings of this paper are: (i) robust source models can be transferred robustly to the target; (ii) robust domain adaptation can greatly benefit from non-robust pseudo-labels and the pair-wise contrastive loss. The proposed method of using non-robust pseudo-labels performs surprisingly well on both clean and adversarial samples, for the task of image classification. We show a consistent performance improvement of over $10\%$ in accuracy against the tested baselines on four benchmark datasets.


title: Generating 10-GHz phonons in nanostructured silicon membrane optomechanical cavity

abstract: Flexible control of photons and phonons in silicon nanophotonic waveguides is a key feature for emerging applications in communications, sensing and quantum technologies. Strong phonon leakage towards the silica under-cladding hampers optomechanical interactions in silicon-on-insulator. This limitation has been circumvented by totally or partially removing the silica under-cladding to form pedestal or silicon membrane waveguides. Remarkable optomechanical interactions have been demonstrated in silicon using pedestal strips, membrane ribs, and photonic/phononic crystal membrane waveguides. Still, the mechanical frequencies are limited to the 1-5 GHz range. Here, we exploit the periodic nanostructuration in Si membrane gratings to shape GHz phononic modes and near-infrared photonic modes, achieving ultrahigh mechanical frequency (10 GHz) and strong photon-phonon overlap (61.5%) simultaneously. Based on this concept, we experimentally demonstrate a one-dimension optomechanical micro-resonator with a high mechanical frequency of 10 GHz and a quality factor of 1000. These results were obtained at room temperature and ambient conditions with an intracavity optical power below 1 mW, illustrating the efficient optical driving of the mechanical mode enabled by the proposed approach.


title: GeoSP: A parallel method for a cortical surface parcellation based on geodesic distance

abstract: We present GeoSP, a parallel method that creates a parcellation of the cortical mesh based on a geodesic distance, in order to consider gyri and sulci topology. The method represents the mesh with a graph and performs a K-means clustering in parallel. It has two modes of use, by default, it performs the geodesic cortical parcellation based on the boundaries of the anatomical parcels provided by the Desikan-Killiany atlas. The other mode performs the complete parcellation of the cortex. Results for both modes and with different values for the total number of sub-parcels show homogeneous sub-parcels. Furthermore, the execution time is 82 s for the whole cortex mode and 18 s for the Desikan-Killiany atlas subdivision, for a parcellation into 350 sub-parcels. The proposed method will be available to the community to perform the evaluation of data-driven cortical parcellations. As an example, we compared GeoSP parcellation with Desikan-Killiany and Destrieux atlases in 50 subjects, obtaining more homogeneous parcels for GeoSP and minor differences in structural connectivity reproducibility across subjects.


title: Correcting Automated and Manual Speech Transcription Errors using Warped Language Models

abstract: Masked language models have revolutionized natural language processing systems in the past few years. A recently introduced generalization of masked language models called warped language models are trained to be more robust to the types of errors that appear in automatic or manual transcriptions of spoken language by exposing the language model to the same types of errors during training. In this work we propose a novel approach that takes advantage of the robustness of warped language models to transcription noise for correcting transcriptions of spoken language. We show that our proposed approach is able to achieve up to 10% reduction in word error rates of both automatic and manual transcriptions of spoken language.


title: Non-Salient Region Object Mining for Weakly Supervised Semantic Segmentation

abstract: Semantic segmentation aims to classify every pixel of an input image. Considering the difficulty of acquiring dense labels, researchers have recently been resorting to weak labels to alleviate the annotation burden of segmentation. However, existing works mainly concentrate on expanding the seed of pseudo labels within the image's salient region. In this work, we propose a non-salient region object mining approach for weakly supervised semantic segmentation. We introduce a graph-based global reasoning unit to strengthen the classification network's ability to capture global relations among disjoint and distant regions. This helps the network activate the object features outside the salient area. To further mine the non-salient region objects, we propose to exert the segmentation network's self-correction ability. Specifically, a potential object mining module is proposed to reduce the false-negative rate in pseudo labels. Moreover, we propose a non-salient region masking module for complex images to generate masked pseudo labels. Our non-salient region masking module helps further discover the objects in the non-salient region. Extensive experiments on the PASCAL VOC dataset demonstrate state-of-the-art results compared to current methods.


title: A quantum bound on the compactness

abstract: We present a simple quantum description of the gravitational collapse of a ball of dust which excludes those states whose width is arbitrarily smaller than the gravitational radius of the matter source and supports the conclusion that black holes are macroscopic extended objects. We also comment briefly on the relevance of this result for the ultraviolet self-completion of gravity and the corpuscular picture of black holes.


title: Leveraging pre-trained representations to improve access to untranscribed speech from endangered languages

abstract: Pre-trained speech representations like wav2vec 2.0 are a powerful tool for automatic speech recognition (ASR). Yet many endangered languages lack sufficient data for pre-training such models, or are predominantly oral vernaculars without a standardised writing system, precluding fine-tuning. Query-by-example spoken term detection (QbE-STD) offers an alternative for iteratively indexing untranscribed speech corpora by locating spoken query terms. Using data from 7 Australian Aboriginal languages and a regional variety of Dutch, all of which are endangered or vulnerable, we show that QbE-STD can be improved by leveraging representations developed for ASR (wav2vec 2.0: the English monolingual model and XLSR53 multilingual model). Surprisingly, the English model outperformed the multilingual model on 4 Australian language datasets, raising questions around how to optimally leverage self-supervised speech representations for QbE-STD. Nevertheless, we find that wav2vec 2.0 representations (either English or XLSR53) offer large improvements (56-86% relative) over state-of-the-art approaches on our endangered language datasets.


title: iLQR for Piecewise-Smooth Hybrid Dynamical Systems

abstract: Trajectory optimization is a popular strategy for planning trajectories for robotic systems. However, many robotic tasks require changing contact conditions, which is difficult due to the hybrid nature of the dynamics. The optimal sequence and timing of these modes are typically not known ahead of time. In this work, we extend the Iterative Linear Quadratic Regulator (iLQR) method to a class of piecewise smooth hybrid dynamical systems by allowing for changing hybrid modes in the forward pass, using the saltation matrix to update the gradient information in the backwards pass, and using a reference extension to account for mode mismatch. We demonstrate these changes on a variety of hybrid systems and compare the different strategies for computing the gradients.


title: Minimum Feature Size Control in Level Set Topology Optimization via Density Fields

abstract: A level set topology optimization approach that uses an auxiliary density field to nucleate holes during the optimization process and achieves minimum feature size control in optimized designs is explored. The level set field determines the solid-void interface, and the density field describes the distribution of a fictitious porous material using the solid isotropic material with penalization. These fields are governed by two sets of independent optimization variables which are initially coupled using a penalty for hole nucleation. The strength of the density field penalization and projection are gradually increased through the optimization process to promote a 0-1 density distribution. This treatment of the density field combined with a second penalty that regulates the evolution of the density field in the void phase, mitigate the appearance of small design features. The minimum feature size of optimized designs is controlled by the radius of the linear filter applied to the density optimization variables. The structural response is predicted by the extended finite element method, the sensitivities by the adjoint method, and the optimization variables are updated by a gradient-based optimization algorithm. Numerical examples investigate the robustness of this approach with respect to algorithmic parameters and mesh refinement. The results show the applicability of the combined density level set topology optimization approach for both optimal hole nucleation and for minimum feature size control in 2D and 3D. This comes, however, at the cost of a more advanced problem formulation and additional computational cost due to an increased number of optimization variables.


title: Understanding Robustness of Transformers for Image Classification

abstract: Deep Convolutional Neural Networks (CNNs) have long been the architecture of choice for computer vision tasks. Recently, Transformer-based architectures like Vision Transformer (ViT) have matched or even surpassed ResNets for image classification. However, details of the Transformer architecture -- such as the use of non-overlapping patches -- lead one to wonder whether these networks are as robust. In this paper, we perform an extensive study of a variety of different measures of robustness of ViT models and compare the findings to ResNet baselines. We investigate robustness to input perturbations as well as robustness to model perturbations. We find that when pre-trained with a sufficient amount of data, ViT models are at least as robust as the ResNet counterparts on a broad range of perturbations. We also find that Transformers are robust to the removal of almost any single layer, and that while activations from later layers are highly correlated with each other, they nevertheless play an important role in classification.


title: Deep-AIR: A Hybrid CNN-LSTM Framework for Air Quality Modeling in Metropolitan Cities

abstract: Air pollution has long been a serious environmental health challenge, especially in metropolitan cities, where air pollutant concentrations are exacerbated by the street canyon effect and high building density. Whilst accurately monitoring and forecasting air pollution are highly crucial, existing data-driven models fail to fully address the complex interaction between air pollution and urban dynamics. Our Deep-AIR, a novel hybrid deep learning framework that combines a convolutional neural network with a long short-term memory network, aims to address this gap to provide fine-grained city-wide air pollution estimation and station-wide forecast. Our proposed framework creates 1x1 convolution layers to strengthen the learning of cross-feature spatial interaction between air pollution and important urban dynamic features, particularly road density, building density/height, and street canyon effect. Using Hong Kong and Beijing as case studies, Deep-AIR achieves a higher accuracy than our baseline models. Our model attains an accuracy of 67.6%, 77.2%, and 66.1% in fine-grained hourly estimation, 1-hr, and 24-hr air pollution forecast for Hong Kong, and an accuracy of 65.0%, 75.3%, and 63.5% for Beijing. Our saliency analysis has revealed that for Hong Kong, street canyon and road density are the best estimators for NO2, while meteorology is the best estimator for PM2.5.


title: A Spacetime Finite Elements Method to Solve the Dirac Equation

abstract: In this work, a fully implicit numerical approach based on space-time finite element method is presented to solve the Dirac equation in 1 (space) + 1 (time), 2 + 1, and 3 + 1 dimensions. We utilize PETSc/Tao library to implement our linear system and for using Krylov subspace based solvers such as GMRES. We demonstrate our method by analyzing several different cases including plane wave solution, Zitterbewegung, and Klein paradox. Parallel performance of this implementation is also presented.


title: Finiteness properties for relatives of braided Higman--Thompson groups

abstract: We study the finiteness properties of the braided Higman--Thompson group $bV_{d,r}(H)$ with labels in $H\leq B_d$, and $bF_{d,r}(H)$ and $bT_{d,r}(H)$ with labels in $H\leq PB_d$ where $B_d$ is the braid group with $d$ strings and $PB_d$ is its pure braid subgroup. We show that for all $d\geq 2$ and $r\geq 1$, the group $bV_{d,r}(H)$ (resp. $bT_{d,r}(H)$ or $bF_{d,r}(H)$) is of type $F_n$ if and only if $H$ is. Our result in particular confirms a recent conjecture of Aroca and Cumplido.


title: Solid-state core-exciton dynamics in NaCl observed by tabletop attosecond four-wave mixing spectroscopy

abstract: Nonlinear wave-mixing in solids with ultrafast x-rays can provide new insight into complex electronic dynamics of materials. Here, tabletop-based attosecond noncollinear four-wave mixing (FWM) spectroscopy using one extreme ultraviolet (XUV) pulse from high harmonic generation and two separately timed few-cycle near-infrared (NIR) pulses characterizes the dynamics of the Na+ L2,3 edge core-excitons in NaCl around 33.5 eV. An inhomogeneous distribution of core-excitons underlying the well-known doublet absorption of the Na+ \Gamma-point core-exciton spectrum is deconvoluted by the resonance-enhanced nonlinear wave-mixing spectroscopy. In addition, other dark excitonic states that are coupled to the XUV-allowed levels by the NIR pulses are characterized spectrally and temporally. Approximate sub-10 femtosecond coherence lifetimes of the core-exciton states are observed. The core-excitonic properties are discussed in the context of strong electron-hole exchange interactions, electron-electron correlation, and electron-phonon broadening. This investigation successfully indicates that tabletop attosecond FWM spectroscopies represent a viable technique for time-resolved solid-state measurements.


title: Research on Hopf Bifurcation and Stability of Heterogeneous Lorenz System with Single Time Delay

abstract: Time-delay chaotic systems refer to the hyperchaotic systems with multiple positive Lyapunov exponents. It is characterized by more complex dynamics and a wider range of applications as compared to those non-time-delay chaotic systems. In a three-dimensional general Lorenz chaotic system, time delays can be applied at different positions to build multiple heterogeneous Lorenz systems with a single time delay. Despite the same equilibrium point for multiple heterogeneous Lorenz systems with single time delay, their stability and Hopf bifurcation conditions are different due to the difference in time delay position. In this paper, the theory of nonlinear dynamics is applied to investigate the stability of the heterogeneous single-time-delay Lorenz system at the zero equilibrium point and the conditions required for the occurrence of Hopf bifurcation. First of all, the equilibrium point of each heterogeneous Lorenz system is calculated, so as to determine the condition that only zero equilibrium point exists. Then, an analysis is conducted on the distribution of the corresponding characteristic equation roots at the zero equilibrium point of the system to obtain the critical point of time delay at which the system is asymptotically stable at the zero equilibrium point and the Hopf bifurcation. Finally, mathematical software is applied to carry out simulation verification. Heterogeneous Lorenz systems with time delay have potential applications in secure communication and other fields.


title: Isolating the impact of trading on grid frequency fluctuations

abstract: To ensure reliable operation of power grids, their frequency shall stay within strict bounds. Multiple sources of disturbances cause fluctuations of the grid frequency, ranging from changing demand over volatile feed-in to energy trading. Here, we analyze frequency time series from the continental European grid in 2011 and 2017 as a case study to isolate the impact of trading. We find that trading at typical trading intervals such as full hours modifies the frequency fluctuation statistics. While particularly large frequency deviations in 2017 are not as frequent as in 2011, large deviations are more likely to occur shortly after the trading instances. A comparison between the two years indicates that trading at shorter intervals might be beneficial for frequency quality and grid stability, because particularly large fluctuations are substantially diminished. Furthermore, we observe that the statistics of the frequency fluctuations do not follow Gaussian distributions but are better described using heavy-tailed and asymmetric distributions, for example L\'evy-stable distributions. Comparing intervals without trading to those with trading instances indicates that frequency deviations near the trading times are distributed more widely and thus extreme deviations are orders of magnitude more likely. Finally, we briefly review a stochastic analysis that allows a quantitative description of power grid frequency fluctuations.


title: Reliability of MST identification in correlation-based market networks

abstract: Maximum spanning tree (MST) is a popular tool in market network analysis. Large number of publications are devoted to the MST calculation and it's interpretation for particular stock markets. However, much less attention is payed in the literature to the analysis of uncertainty of obtained results. In the present paper we suggest a general framework to measure uncertainty of MST identification. We study uncertainty in the framework of the concept of random variable network (RVN). We consider different correlation based networks in the large class of elliptical distributions. We show that true MST is the same in three networks: Pearson correlation network, Fechner correlation network, and Kendall correlation network. We argue that among different measures of uncertainty the FDR (False Discovery Rate) is the most appropriated for MST identification. We investigate FDR of Kruskal algorithm for MST identification and show that reliability of MST identification is different in these three networks. In particular, for Pearson correlation network the FDR essentially depends on distribution of stock returns. We prove that for market network with Fechner correlation the FDR is non sensitive to the assumption on stock's return distribution. Some interesting phenomena are discovered for Kendall correlation network. Our experiments show that FDR of Kruskal algorithm for MST identification in Kendall correlation network weakly depend on distribution and at the same time the value of FDR is almost the best in comparison with MST identification in other networks. These facts are important in practical applications.


title: On the Local-Global Conjecture for Commutator Traces

abstract: We study the trace set of the commutator subgroup of $\Gamma(2),$ a type of Local-Global problem about thin groups. We determine the local obstructions and then use the correspondence between binary quadratic forms and hyperbolic matrices to find some global obstructions. We then develop a probabilistic argument for the existence of sufficiently large admissible traces by modeling the elements as non-backtracking random walks in a 2-dimensional lattice via their homology class and word length. Finally, we investigate the number of commutators needed to represent matrices in the commutator subgroup. This is done using an algorithm of Goldstein and Turner along with utilizing properties of level $k$-Markoff type surfaces. We conjecture that any trace in the commutator subgroup of $\Gamma(2)$ can be represented with either 1 or 2 commutators.


title: Distributed formation control of manipulators' end-effector with internal model-based disturbance rejection

abstract: This paper addresses the problem of end-effector formation control for manipulators that are subjected to external disturbances: input disturbance torques and disturbance forces at each end-effector. The disturbances are assumed to be non-vanishing and are superposition of finite number of sinusoidal and step signals. The formation control objective is achieved by assigning virtual springs between end-effectors, by adding damping terms at joints, and by incorporating internal model-based dynamic compensators to counteract the effect of the disturbances; all of which presents a clear physical interpretation of the proposed approach. Simulation results are presented to illustrate the effectiveness of the proposed approach.


title: An ns-3 implementation of a battery-less node for energy-harvesting Internet of Things

abstract: In the Internet of Things (IoT), thousands of devices can be deployed to acquire data from the environment and provide service to several applications in different fields. In many cases, it is desirable that devices are self-sustainable in terms of energy. Therefore,the research community is exploring the possibility of employing battery-less devices, where the energy is derived solely from external and/or environmental sources, such as solar panels. In this work, we propose an ns-3 model of a (super) capacitor, which can be used as the storage of the harvested energy in a battery-less IoT device, and add the support for the intermittent behavior of devices, turning off/on according to their energy level. To exemplify the use of the model, we apply it to a LoRaWAN node, and compare the simulation outcomes with results in the literature obtained with mathematical analysis, confirming the accuracy of the implementation. Then, we show the importance of analyzing the interaction between energy availability and communication performance, paving the way for more accurate and realistic simulations in the field. The implemented code is made available as open source.


title: Connecting boundary layer dynamics with extreme bulk dissipation events in Rayleigh-B\'{e}nard flow

abstract: We study the connection between extreme events of thermal and kinetic energy dissipation rates in the bulk of three-dimensional Rayleigh-B\'{e}nard convection and the wall shear stress patterns at the top and the bottom planes that enclose the layer. Zero points of this two-dimensional vector field stand for detachments of strong thermal plumes. If their position at the opposite planes and a given time is close then they can be considered as precursors for high-amplitude bulk dissipation events triggered by plume collisions or close passings. This scenario requires a breaking of the synchronicity of the boundary layer dynamics at both plates which is found to be in line with a transition of the bulk derivative statistics from Gaussian to intermittent. Our studies are based on three-dimensional high-resolution direct numerical simulations for moderate Rayleigh numbers between $Ra=10^4$ and $5\times 10^5$.


title: Characterization of the stochastic signal originating from compact binaries populations as measured by LISA

abstract: The Laser Interferometer Space Antenna (LISA) mission, scheduled for launch in the early 2030s, is a gravitational wave observatory in space designed to detect sources emitting in the milli-Hertz band. In contrast to the present ground based detectors, the LISA data are expected to be a signaldominated, with strong and weak gravitational wave signals overlapping in time and in frequency. Astrophysical population models predict a sufficient number of signals in the LISA band to blend together and form an irresolvable foreground noise. In this work, we present a generic method for characterizing the foreground signals originating from a given astrophysical population of coalescing compact binaries. Assuming idealized detector conditions and perfect data analysis technique capable of identifying and removing the bright sources, we apply an iterative procedure which allows us to predict the different levels of foreground noise.


title: Minimum Scan Cover and Variants -- Theory and Experiments

abstract: We consider a spectrum of geometric optimization problems motivated by contexts such as satellite communication and astrophysics. In the problem Minimum Scan Cover with Angular Costs, we are given a graph $G$ that is embedded in Euclidean space. The edges of $G$ need to be scanned, i.e., probed from both of their vertices. In order to scan their edge, two vertices need to face each other; changing the heading of a vertex incurs some cost in terms of energy or rotation time that is proportional to the corresponding rotation angle. Our goal is to compute schedules that minimize the following objective functions: (i) in Minimum Makespan Scan Cover (MSC-MS), this is the time until all edges are scanned; (ii) in Minimum Total Energy Scan Cover (MSC-TE), the sum of all rotation angles; (iii) in Minimum Bottleneck Energy Scan Cover (MSC-BE), the maximum total rotation angle at one vertex. Previous theoretical work on MSC-MS revealed a close connection to graph coloring and the cut cover problem, leading to hardness and approximability results. In this paper, we present polynomial-time algorithms for 1D instances of MSC-TE and MSC-BE, but NP-hardness proofs for bipartite 2D instances. For bipartite graphs in 2D, we also give 2-approximation algorithms for both MSC-TE and MSC-BE. Most importantly, we provide a comprehensive study of practical methods for all three problems. We compare three different mixed-integer programming and two constraint programming approaches, and show how to compute provably optimal solutions for geometric instances with up to 300 edges. Additionally, we compare the performance of different meta-heuristics for even larger instances.


title: Model-Free Learning of Safe yet Effective Controllers

abstract: We study the problem of learning safe control policies that are also effective; i.e., maximizing the probability of satisfying a linear temporal logic (LTL) specification of a task, and the discounted reward capturing the (classic) control performance. We consider unknown environments modeled as Markov decision processes. We propose a model-free reinforcement learning algorithm that learns a policy that first maximizes the probability of ensuring safety, then the probability of satisfying the given LTL specification and lastly, the sum of discounted Quality of Control rewards. Finally, we illustrate applicability of our RL-based approach.


title: YouTubing at Home: Media Sharing Behavior Change as Proxy for MobilityAround COVID-19 Lockdowns

abstract: Compliance with public health measures, such as restrictions on movement and socialization, is paramount in limiting the spread of diseases such as the severe acute respiratory syndrome coronavirus 2 (also referred to as COVID-19). Although large population datasets, such as phone-based mobility data, may provide some glimpse into such compliance, it is often proprietary, and may not be available for all locales. In this work, we examine the usefulness of video sharing on social media as a proxy of the amount of time Internet users spend at home. In particular, we focus on the number of people sharing YouTube videos on Twitter before and during COVID-19 lockdown measures were imposed by 109 countries. We find that the media sharing behavior differs widely between countries, in some having immediate response to the lockdown decrees - mostly by increasing the sharing volume dramatically - while in others having a substantial lag. We confirm that these insights correlate strongly with mobility, as measured using phone data. Finally, we illustrate that both media sharing and mobility behaviors change more drastically around mandated lockdowns, and less so around more lax recommendations. We make the media sharing volume data available to the research community for continued monitoring of behavior change around public health measures.


title: Data Quality as Predictor of Voice Anti-Spoofing Generalization

abstract: Voice anti-spoofing aims at classifying a given utterance either as a bonafide human sample, or a spoofing attack (e.g. synthetic or replayed sample). Many anti-spoofing methods have been proposed but most of them fail to generalize across domains (corpora) -- and we do not know \emph{why}. We outline a novel interpretative framework for gauging the impact of data quality upon anti-spoofing performance. Our within- and between-domain experiments pool data from seven public corpora and three anti-spoofing methods based on Gaussian mixture and convolutive neural network models. We assess the impacts of long-term spectral information, speaker population (through x-vector speaker embeddings), signal-to-noise ratio, and selected voice quality features.


title: Dispersion-Minimizing Motion Primitives for Search-Based Motion Planning

abstract: Search-based planning with motion primitives is a powerful motion planning technique that can provide dynamic feasibility, optimality, and real-time computation times on size, weight, and power-constrained platforms in unstructured environments. However, optimal design of the motion planning graph, while crucial to the performance of the planner, has not been a main focus of prior work. This paper proposes to address this by introducing a method of choosing vertices and edges in a motion primitive graph that is grounded in sampling theory and leads to theoretical guarantees on planner completeness. By minimizing dispersion of the graph vertices in the metric space induced by trajectory cost, we optimally cover the space of feasible trajectories with our motion primitive graph. In comparison with baseline motion primitives defined by uniform input space sampling, our motion primitive graphs have lower dispersion, find a plan with fewer iterations of the graph search, and have only one parameter to tune.


title: Predicting Demand for Air Taxi Urban Aviation Services using Machine Learning Algorithms

abstract: This research focuses on predicting the demand for air taxi urban air mobility (UAM) services during different times of the day in various geographic regions of New York City using machine learning algorithms (MLAs). Several ride-related factors (such as month of the year, day of the week and time of the day) and weather-related variables (such as temperature, weather conditions and visibility) are used as predictors for four popular MLAs, namely, logistic regression, artificial neural networks, random forests, and gradient boosting. Experimental results suggest gradient boosting to consistently provide higher prediction performance. Specific locations, certain time periods and weekdays consistently emerged as critical predictors.


title: Editorial: Coarse graining in quantum gravity -- Bridging the gap between microscopic models and spacetime physics

abstract: The Renormalization Group encodes three concepts that could be key to accelerate progress in quantum gravity. First, it provides a micro-macro connection that could connect microscopic spacetime physics to phenomenology at observationally accessible scales. Second, it enables a search for universality classes that could link diverse quantum-gravity approaches and allow us to discover that distinct approaches could encode the same physics in mathematically distinct structures. Third, it enables the emergence of symmetries at fixed points of the Renormalization Group flow, providing a way for spacetime symmetries to emerge from settings in which these are broken at intermediate steps of the construction. These three concepts make the Renormalization Group an attractive method and conceptual underpinning of quantum gravity. Yet, in its traditional setup as a local coarse-graining, it could appear at odds with concepts like background independence that are expected of quantum gravity. Within the last years, several approaches to quantum gravity have found ways how these seeming contradictions could be reconciled and the power of the Renormalization Group approach unleashed in quantum gravity. This special issue brings together research papers and reviews from a broad range of quantum gravity approaches, providing a partial snapshot of this evolving field.


title: A Convex Programming Approach to Data-Driven Risk-Averse Reinforcement Learning

abstract: This paper presents a model-free reinforcement learning (RL) algorithm to solve the risk-averse optimal control (RAOC) problem for discrete-time nonlinear systems. While successful RL algorithms have been presented to learn optimal control solutions under epistemic uncertainties (i.e., lack of knowledge of system dynamics), they do so by optimizing the expected utility of outcomes, which ignores the variance of cost under aleatory uncertainties (i.e., randomness). Performance-critical systems, however, must not only optimize the expected performance, but also reduce its variance to avoid performance fluctuation during RL's course of operation. To solve the RAOC problem, this paper presents the following three variants of RL algorithms and analyze their advantages and preferences for different situations/systems: 1) a one-shot static convex program -based RL, 2) an iterative value iteration (VI) algorithm that solves a linear programming (LP) optimization at each iteration, and 3) an iterative policy iteration (PI) algorithm that solves a convex optimization at each iteration and guarantees the stability of the consecutive control policies. Convergence of the exact optimization problems, which are infinite-dimensional in all three cases, to the optimal risk-averse value function is shown. To turn these optimization problems into standard optimization problems with finite decision variables and constraints, function approximation for value estimations as well as constraint sampling are leveraged. Data-driven implementations of these algorithms are provided based on Q-function which enables learning the optimal value without any knowledge of the system dynamics. The performance of the approximated solutions is also verified through a weighted sup-norm bound and the Lyapunov bound. A simulation example is provided to verify the effectiveness of the presented approach.


title: Search-based Planning of Dynamic MAV Trajectories Using Local Multiresolution State Lattices

abstract: Search-based methods that use motion primitives can incorporate the system's dynamics into the planning and thus generate dynamically feasible MAV trajectories that are globally optimal. However, searching high-dimensional state lattices is computationally expensive. Local multiresolution is a commonly used method to accelerate spatial path planning. While paths within the vicinity of the robot are represented at high resolution, the representation gets coarser for more distant parts. In this work, we apply the concept of local multiresolution to high-dimensional state lattices that include velocities and accelerations. Experiments show that our proposed approach significantly reduces planning times. Thus, it increases the applicability to large dynamic environments, where frequent replanning is necessary.


title: On UMAP's true loss function

abstract: UMAP has supplanted t-SNE as state-of-the-art for visualizing high-dimensional datasets in many disciplines, but the reason for its success is not well understood. In this work, we investigate UMAP's sampling based optimization scheme in detail. We derive UMAP's effective loss function in closed form and find that it differs from the published one. As a consequence, we show that UMAP does not aim to reproduce its theoretically motivated high-dimensional UMAP similarities. Instead, it tries to reproduce similarities that only encode the shared $k$ nearest neighbor graph, thereby challenging the previous understanding of UMAP's effectiveness. Instead, we claim that the key to UMAP's success is its implicit balancing of attraction and repulsion resulting from negative sampling. This balancing in turn facilitates optimization via gradient descent. We corroborate our theoretical findings on toy and single cell RNA sequencing data.


title: Palindromic Length and Reduction of Powers

abstract: Given a nonempty finite word $v$, let $PL(v)$ be the palindromic length of $v$; it means the minimal number of palindromes whose concatenation is equal to $v$. Let $v^R$ denote the reversal of $v$. Given a finite or infinite word $y$, let $Fac(y)$ denote the set of all finite factors of $y$ and let $maxPL(y)=\max\{PL(t)\mid t\in Fac(y)\}$. Let $x$ be an infinite non-ultimately periodic word with $maxPL(x)=k<\infty$ and let $u\in Fac(x)$ be a primitive nonempty factor such that $u^5$ is recurrent in $x$. Let $\Psi(x,u)=\{t\in Fac(x)\mid u,u^R\not\in Fac(t)\}\mbox{.}$ We construct an infinite non-ultimately periodic word $\overline x$ such that $u^5, (u^R)^5\not\in Fac(\overline x)$, $\Psi(x,u)\subseteq Fac(\overline x)$, and $maxPL(\overline x)\leq 3k^3$. Less formally said, we show how to reduce the powers of $u$ and $u^R$ in $x$ in such a way that the palindromic length remains bounded.


title: SKID RAW: Skill Discovery from Raw Trajectories

abstract: Integrating robots in complex everyday environments requires a multitude of problems to be solved. One crucial feature among those is to equip robots with a mechanism for teaching them a new task in an easy and natural way. When teaching tasks that involve sequences of different skills, with varying order and number of these skills, it is desirable to only demonstrate full task executions instead of all individual skills. For this purpose, we propose a novel approach that simultaneously learns to segment trajectories into reoccurring patterns and the skills to reconstruct these patterns from unlabelled demonstrations without further supervision. Moreover, the approach learns a skill conditioning that can be used to understand possible sequences of skills, a practical mechanism to be used in, for example, human-robot-interactions for a more intelligent and adaptive robot behaviour. The Bayesian and variational inference based approach is evaluated on synthetic and real human demonstrations with varying complexities and dimensionality, showing the successful learning of segmentations and skill libraries from unlabelled data.


title: Chiral Anomaly in SU(2)${}_R$-Axion Inflation and the New Prediction for Particle Cosmology

abstract: Upon embedding the axion-inflation in the minimal left-right symmetric gauge extension of the SM with gauge group $SU(2)_L\times SU(2)_R \times U(1)_{B-L}$, [arXiv:2012.11516] proposed a new particle physics model for inflation. In this work, we present a more detailed analysis. As a compelling consequence, this setup provides a new mechanism for simultaneous baryogenesis and right-handed neutrino creation by the chiral anomaly of $W_R$ in inflation. The lightest right-handed neutrino is the dark matter candidate. This setup has two unknown fundamental scales, i.e., the scale of inflation and left-right symmetry breaking $SU(2)_R\times U(1)_{B-L}\rightarrow U(1)_{Y}$. Sufficient matter creation demands the left-right symmetry breaking scale happens shortly after the end of inflation. Interestingly, it prefers left-right symmetry breaking scales above $10^{10}~GeV$, which is in the range suggested by the non-supersymmetric SO(10) Grand Unified Theory with an intermediate left-right symmetry scale. Although $W_R$ gauge field generates equal amounts of right-handed baryons and leptons in inflation, i.e. $B-L=0$, in the Standard Model sub-sector $B-L_{SM}\neq 0$. A key aspect of this setup is that $SU(2)_R$ sphalerons are never in equilibrium, and the primordial $B-L_{SM}$ is conserved by the Standard Model interactions. This setup yields a deep connection between CP violation in physics of inflation and matter creation (visible and dark); hence it can naturally explain the observed coincidences among cosmological parameters, i.e., $\eta_{B}\simeq 0.3 P_{\zeta}$ and $\Omega_{DM}\simeq 5\Omega_{B}$. The $SU(2)_R$-axion inflation comes with a cosmological smoking gun; chiral, non-Gaussian, and blue-tilted gravitational wave background, which can be probed by future CMB missions and laser interferometer detectors.


title: Gravitational radiation from inspiralling compact objects: Spin-spin effects completed at the next-to-leading post-Newtonian order

abstract: Using the gravitational potential and source multipole moments bilinear in the spins, first computed to next-to-leading order (NLO) in the post-Newtonian (PN) expansion within the effective field theory (EFT) framework, we complete here the derivation of the dynamical invariants and flux-balance equations, including energy and angular momentum. We use these results to calculate spin-spin effects in the orbital frequency and accumulated phase to NLO for circular orbits. We also derive the linear momentum and center-of-mass fluxes and associated kick-velocity, to the highest relevant PN order. We explicitly demonstrate the equivalence between the quadratic-in-spin source multipoles obtained using the EFT formalism and those rederived later with more traditional tools, leading to perfect agreement for spin-spin radiative observables to NLO among both approaches.


title: Activity of the Jupiter co-orbital comet P/2019~LD$_{2}$ (ATLAS) observed with OSIRIS at the 10.4 m GTC

abstract: Jupiter co-orbital comets have orbits that are not long-term stable. They may experience flybys with Jupiter close enough to trigger tidal disruptions like the one suffered by comet Shoemaker-Levy 9. Our aim was to study the activity and dynamical evolution of the Jupiter co-orbital comet P/2019 LD2 (ATLAS). We present results of an observational study carried out with the 10.4m Gran Telescopio Canarias (GTC) that includes image analyses using a MC dust tail fitting code to characterize its activity, and spectroscopic studies to search for gas emission. We also present N-body simulations to explore its orbital evolution. Images of LD2 obtained on 2020 May 16 show a conspicuous coma and tail. The spectrum does not exhibit any evidence of CN, C2, or C3 emission. The comet brightness in a 2.6 arcsec aperture is r'=19.34+/-0.02 mag, with colors (g'-r')=0.78+/-0.03, (r'-i')=0.31+/-0.03, and (i'-z')=0.26+/-0.03. The temporal dependence of the dust loss rate can be parameterized by a Gaussian having a FWHM of 350 days and a maximum of 60 kg/s reached on 2019 August 15. The total dust loss rate is 1.9e09 kg. LD2 is now following what looks like a short arc of a quasi-satellite cycle that started in 2017 and will end in 2028. On 2063 January 23, it will experience a very close encounter with Jupiter at 0.016 au. Its probability of escaping the solar system during the next 0.5 Myr is 0.53+/-0.03. LD2 is a kilometer-sized object, in the size range of the Jupiter-family comets, with a typical comet-like activity likely linked to sublimation of crystalline water ice and clathrates. Its origin is still an open question. We report a probability of LD2 having been captured from interstellar space during the last 0.5 Myr of 0.49+/-0.02, 0.67+/-0.06 during the last 1 Myr, 0.83+/-0.06 over 3 Myr, and 0.91+/-0.09 during the last 5 Myr.


title: Linear damping and depletion in flowing plasma with strong sheared magnetic fields

abstract: In this paper, we study the long-time behavior of the solution for the linearized ideal MHD around sheared velocity and magnetic field under Stern stability condition. We prove that the velocity and magnetic field will converge to sheared velocity and magnetic field as time approaches infinity. Moreover a new depletion phenomenon is proved: the horizontal velocity and magnetic field at the critical points will decay to 0 as time approaches infinity.


title: Convergence of the self-dual $U(1)$-Yang-Mills-Higgs energies to the $(n-2)$-area functional

abstract: Given a hermitian line bundle $L\to M$ on a closed Riemannian manifold $(M^n,g)$, the self-dual Yang-Mills-Higgs energies are a natural family of functionals \begin{align*} &E_\epsilon(u,\nabla):=\int_M\Big(|\nabla u|^2+\epsilon^2|F_\nabla|^2+\frac{(1-|u|^2)^2}{4\epsilon^2}\Big) \end{align*} defined for couples $(u,\nabla)$ consisting of a section $u\in\Gamma(L)$ and a hermitian connection $\nabla$ with curvature $F_\nabla$. While the critical points of these functionals have been well-studied in dimension two by the gauge theory community, it was shown in previous work of the second- and third-named authors that critical points in higher dimension converge as $\epsilon\to 0$ (in an appropriate sense) to minimal submanifolds of codimension two, with strong parallels to the correspondence between the Allen-Cahn equations and minimal hypersurfaces. In this paper, we complement this idea by showing the $\Gamma$-convergence of $E_\epsilon$ to ($2\pi$ times) the codimension two area: more precisely, given a family of couples $(u_\epsilon,\nabla_\epsilon)$ with $\sup_\epsilon E_\epsilon(u_\epsilon,\nabla_\epsilon)<\infty$, we prove that a suitable gauge invariant Jacobian $J(u_\epsilon,\nabla_\epsilon)$ converges to an integral $(n-2)$-cycle $\Gamma$, in the homology class dual to the Euler class $c_1(L)$, with mass $2 \pi \mathbb{M}(\Gamma)\le\liminf_{\epsilon \rightarrow 0}E_\epsilon(u_\epsilon,\nabla_\epsilon)$. We also obtain a recovery sequence for any integral cycle in this homology class. Finally, we apply these techniques to compare min-max values for the $(n-2)$-area from the Almgren-Pitts theory with those obtained from the Yang-Mills-Higgs framework, showing that the former values always provide a lower bound for the latter. As an ingredient, we also establish a Huisken-type monotonicity result along the gradient flow of $E_{\epsilon}$.


title: Training a Task-Specific Image Reconstruction Loss

abstract: The choice of a loss function is an important factor when training neural networks for image restoration problems, such as single image super resolution. The loss function should encourage natural and perceptually pleasing results. A popular choice for a loss is a pre-trained network, such as VGG, which is used as a feature extractor for computing the difference between restored and reference images. However, such an approach has multiple drawbacks: it is computationally expensive, requires regularization and hyper-parameter tuning, and involves a large network trained on an unrelated task. Furthermore, it has been observed that there is no single loss function that works best across all applications and across different datasets. In this work, we instead propose to train a set of loss functions that are application specific in nature. Our loss function comprises a series of discriminators that are trained to detect and penalize the presence of application-specific artifacts. We show that a single natural image and corresponding distortions are sufficient to train our feature extractor that outperforms state-of-the-art loss functions in applications like single image super resolution, denoising, and JPEG artifact removal. Finally, we conclude that an effective loss function does not have to be a good predictor of perceived image quality, but instead needs to be specialized in identifying the distortions for a given restoration method.


title: Transport measurements on van der Waals heterostructures under pressure

abstract: The interlayer coupling, which has a strong influence on the properties of van der Waals heterostructures, strongly depends on the interlayer distance. Although considerable theoretical interest has been demonstrated, experiments exploiting a variable interlayer coupling on nanocircuits are scarce due to the experimental difficulties. Here, we demonstrate a novel method to tune the interlayer coupling using hydrostatic pressure by incorporating van der Waals heterostructure based nanocircuits in piston-cylinder hydrostatic pressure cells with a dedicated sample holder design. This technique opens the way to conduct transport measurements on nanodevices under pressure using up to 12 contacts without constraints on the sample at fabrication level. Using transport measurements, we demonstrate that hexagonal boron nitride capping layer provides a good protection of van der Waals heterostructures from the influence of the pressure medium, and we show experimental evidence of the influence of pressure on the interlayer coupling using weak localization measurements on a TMDC/graphene heterostructure.


title: Lattices in the four-dimensional split oscillator group

abstract: Besides the oscillator group, there is another four-dimensional non-abelian solvable Lie group that admits a bi-invariant pseudo-Riemannian metric. It is called split oscillator group (sometimes also hyperbolic oscillator group or Boidol's group). We parametrise the set of lattices in this group and develop a method to classify these lattices up automorphisms of the ambient group. We show that their commensurability classes are in bijection with the set of real quadratic fields.


title: Inequality, Identity, and Partisanship: How redistribution can stem the tide of mass polarization

abstract: The form of political polarization where citizens develop strongly negative attitudes towards out-party policies and members has become increasingly prominent across many democracies. Economic hardship and social inequality, as well as inter-group and racial conflict, have been identified as important contributing factors to this phenomenon known as "affective polarization." Such partisan animosities are exacerbated when these interests and identities become aligned with existing party cleavages. In this paper we use a model of cultural evolution to study how these forces combine to generate and maintain affective political polarization. We show that economic events can drive both affective polarization and sorting of group identities along party lines, which in turn can magnify the effects of underlying inequality between those groups. But on a more optimistic note, we show that sufficiently high levels of wealth redistribution through the provision of public goods can counteract this feedback and limit the rise of polarization. We test some of our key theoretical predictions using survey data on inter-group polarization, sorting of racial groups and affective polarization in the United States over the past 50 years.


title: LiGCN: Label-interpretable Graph Convolutional Networks for Multi-label Text Classification

abstract: Multi-label text classification (MLTC) is an attractive and challenging task in natural language processing (NLP). Compared with single-label text classification, MLTC has a wider range of applications in practice. In this paper, we propose a label-interpretable graph convolutional network model to solve the MLTC problem by modeling tokens and labels as nodes in a heterogeneous graph. In this way, we are able to take into account multiple relationships including token-level relationships. Besides, the model allows better interpretability for predicted labels as the token-label edges are exposed. We evaluate our method on four real-world datasets and it achieves competitive scores against selected baseline methods. Specifically, this model achieves a gain of 0.14 on the F1 score in the small label set MLTC, and 0.07 in the large label set scenario.


title: Local polarization and isothermal local equilibrium in relativistic heavy ion collisions

abstract: We show that the inclusion of a recently found additional term of the spin polarization vector at local equilibrium which is linear in the symmetrized gradients of the velocity field, and the assumption of hadron production at constant temperature restore the quantitative agreement between hydrodynamic model predictions and local polarization measurements in relativistic heavy ion collisions at $\sqrt{s_{\rm NN}} = 200$ GeV. The longitudinal component of the spin polarization vector turns out to be very sensitive to the temperature value, with a good fit around 155 MeV. The implications of this finding are discussed.


title: LPV Modeling of Nonlinear Systems: A Multi-Path Feedback Linearization Approach

abstract: This paper introduces a systematic approach to synthesize linear parameter-varying (LPV) representations of nonlinear (NL) systems which are described by input affine state-space (SS) representations. The conversion approach results in LPV-SS representations in the observable canonical form. Based on the relative degree concept, first the SS description of a given NL representation is transformed to a normal form. In the SISO case, all nonlinearities of the original system are embedded into one NL function, which is factorized, based on a proposed algorithm, to construct an LPV representation of the original NL system. The overall procedure yields an LPV model in which the scheduling variable depends on the inputs and outputs of the system and their derivatives, achieving a practically applicable transformation of the model in case of low order derivatives. In addition, if the states of the NL model can be measured or estimated, then a modified procedure is proposed to provide LPV models scheduled by these states. Examples are included to demonstrate both approaches.


title: Chemotactic Reaction Enhancement in One Dimension

abstract: Chemotaxis, the directional locomotion of cells towards a source of a chemical gradient, is an integral part of many biological processes - for example, bacteria motion, single-cell or multicellular organisms development, immune response, etc. Chemotaxis directs bacteria's movement to find food (e.g., glucose) by swimming toward the highest concentration of food molecules. In multicellular organisms, chemotaxis is critical to early development (e.g., movement of sperm towards the egg during fertilization). Chemotaxis also helps mobilize phagocytic and immune cells at sites of infection, tissue injury, and thus facilitates immune reactions. In this paper, we study a PDE system that describes such biological processes in one dimension, which may correspond to a thin channel, the setting relevant in many applications: for example, spermatozoa progression to the ovum inside a Fallopian tube or immune response in a blood vessel.


title: Randomization-based Machine Learning in Renewable Energy Prediction Problems: Critical Literature Review, New Results and Perspectives

abstract: Randomization-based Machine Learning methods for prediction are currently a hot topic in Artificial Intelligence, due to their excellent performance in many prediction problems, with a bounded computation time. The application of randomization-based approaches to renewable energy prediction problems has been massive in the last few years, including many different types of randomization-based approaches, their hybridization with other techniques and also the description of new versions of classical randomization-based algorithms, including deep and ensemble approaches. In this paper we review the most important characteristics of randomization-based machine learning approaches and their application to renewable energy prediction problems. We describe the most important methods and algorithms of this family of modeling methods, and perform a critical literature review, examining prediction problems related to solar, wind, marine/ocean and hydro-power renewable sources. We support our critical analysis with an extensive experimental study, comprising real-world problems related to solar, wind and hydro-power energy, where randomization-based algorithms are found to achieve superior results at a significantly lower computational cost than other modeling counterparts. We end our survey with a prospect of the most important challenges and research directions that remain open this field, along with an outlook motivating further research efforts in this exciting research field.


title: Dodrio: Exploring Transformer Models with Interactive Visualization

abstract: Why do large pre-trained transformer-based models perform so well across a wide variety of NLP tasks? Recent research suggests the key may lie in multi-headed attention mechanism's ability to learn and represent linguistic information. Understanding how these models represent both syntactic and semantic knowledge is vital to investigate why they succeed and fail, what they have learned, and how they can improve. We present Dodrio, an open-source interactive visualization tool to help NLP researchers and practitioners analyze attention mechanisms in transformer-based models with linguistic knowledge. Dodrio tightly integrates an overview that summarizes the roles of different attention heads, and detailed views that help users compare attention weights with the syntactic structure and semantic information in the input text. To facilitate the visual comparison of attention weights and linguistic knowledge, Dodrio applies different graph visualization techniques to represent attention weights scalable to longer input text. Case studies highlight how Dodrio provides insights into understanding the attention mechanism in transformer-based models. Dodrio is available at https://poloclub.github.io/dodrio/.


title: Divide-and-Conquer: A Distributed Hierarchical Factor Approach to Modeling Large-Scale Time Series Data

abstract: This paper proposes a hierarchical approximate-factor approach to analyzing high-dimensional, large-scale heterogeneous time series data using distributed computing. The new method employs a multiple-fold dimension reduction procedure using Principal Component Analysis (PCA) and shows great promises for modeling large-scale data that cannot be stored nor analyzed by a single machine. Each computer at the basic level performs a PCA to extract common factors among the time series assigned to it and transfers those factors to one and only one node of the second level. Each 2nd-level computer collects the common factors from its subordinates and performs another PCA to select the 2nd-level common factors. This process is repeated until the central server is reached, which collects common factors from its direct subordinates and performs a final PCA to select the global common factors. The noise terms of the 2nd-level approximate factor model are the unique common factors of the 1st-level clusters. We focus on the case of 2 levels in our theoretical derivations, but the idea can easily be generalized to any finite number of hierarchies. We discuss some clustering methods when the group memberships are unknown and introduce a new diffusion index approach to forecasting. We further extend the analysis to unit-root nonstationary time series. Asymptotic properties of the proposed method are derived for the diverging dimension of the data in each computing unit and the sample size $T$. We use both simulated data and real examples to assess the performance of the proposed method in finite samples, and compare our method with the commonly used ones in the literature concerning the forecastability of extracted factors.


title: Higher Dimensional Graphics: Conceiving Worlds in Four Spatial Dimensions and Beyond

abstract: While the interpretation of high-dimensional datasets has become a necessity in most industries, and is supported by continuous advances in data science and machine learning, the spatial visualization of higher-dimensional geometry has mostly remained a niche research topic for mathematicians and physicists. Intermittent contributions to this field date back more than a century, and have had a non-negligible influence on contemporary art and philosophy. However, most contributions have focused on the understanding of specific mathematical shapes, with few concrete applications. In this work, we attempt to revive the community's interest in visualizing higher dimensional geometry by shifting the focus from the visualization of abstract shapes to the design of a broader hyper-universe concept, wherein 3D and 4D objects can coexist and interact with each other. Specifically, we discuss the content definition, authoring patterns, and technical implementations associated with the process of extending standard 3D applications as to support 4D mechanics. We operationalize our ideas through the introduction of a new hybrid 3D/4D videogame called Across Dimensions, which we developed in Unity3D through the integration of our own 4D plugin.


title: Multi-Stage Attack Detection via Kill Chain State Machines

abstract: Today, human security analysts collapse under the sheer volume of alerts they have to triage during investigations. The inability to cope with this load, coupled with a high false positive rate of alerts, creates alert fatigue. This results in failure to detect complex attacks, such as advanced persistent threats (APTs), because they manifest over long time frames and attackers tread carefully to evade detection mechanisms. In this paper, we contribute a new method to synthesize attack graphs from state machines. We use the network direction to derive potential attack stages from single and meta-alerts and model resulting attack scenarios in a kill chain state machine (KCSM). Our algorithm yields a graphical summary of the attack, APT scenario graphs, where nodes represent involved hosts and edges infection activity. We evaluate the feasibility of our approach in multiple experiments based on the CSE-CIC-IDS2018 data set. We obtain up to 446 458 singleton alerts that our algorithm condenses into 700 APT scenario graphs resulting in a reduction of up to three orders of magnitude. This reduction makes it feasible for human analysts to effectively triage potential incidents. An evaluation on the same data set, in which we embedded a synthetic yet realistic APT campaign, supports the applicability of our approach of detecting and contextualizing complex attacks. The APT scenario graphs constructed by our algorithm correctly link large parts of the APT campaign and present a coherent view to support the human analyst in further analyses.


title: Hybrid analysis and modeling, eclecticism, and multifidelity computing toward digital twin revolution

abstract: Most modeling approaches lie in either of the two categories: physics-based or data-driven. Recently, a third approach which is a combination of these deterministic and statistical models is emerging for scientific applications. To leverage these developments, our aim in this perspective paper is centered around exploring numerous principle concepts to address the challenges of (i) trustworthiness and generalizability in developing data-driven models to shed light on understanding the fundamental trade-offs in their accuracy and efficiency, and (ii) seamless integration of interface learning and multifidelity coupling approaches that transfer and represent information between different entities, particularly when different scales are governed by different physics, each operating on a different level of abstraction. Addressing these challenges could enable the revolution of digital twin technologies for scientific and engineering applications.

categories: physics.comp-ph cs.LG cs.SY eess.SY physics.flu-dyn


title: Accessibility and ergodicity for collapsed Anosov flows

abstract: We consider a class of partially hyperbolic diffeomorphisms introduced in [BFP] which is open and closed and contains all known examples. If in addition the diffeomorphism is non-wandering, then we show it is accessible unless it contains a su-torus. This implies that these systems are ergodic when they preserve volume, confirming a conjecture by Hertz-Hertz-Ures for this class of systems.


title: The Conditional Poincar\'e Inequality for Filter Stability

abstract: This paper is concerned with the problem of nonlinear filter stability of ergodic Markov processes. The main contribution is the conditional Poincar\'e inequality (PI), which is shown to yield filter stability. The proof is based upon a recently discovered duality which is used to transform the nonlinear filtering problem into a stochastic optimal control problem for a backward stochastic differential equation (BSDE). Based on these dual formalisms, a comparison is drawn between the stochastic stability of a Markov process and the filter stability. The latter relies on the conditional PI described in this paper, whereas the former relies on the standard form of PI.


title: Finite Element Reconstruction Of Stiffness Images In MR Elastography Using Statistical Physical Forward Modeling And Proximal Optimization Methods

abstract: Quantitative characterization of tissue properties, known as elasticity imaging, can be cast as solving an ill-posed inverse problem. The finite element methods (FEMs) in magnetic resonance elastography (MRE) imaging are based on solving a constrained optimization problem consisting of a physical forward model and a regularizer as the data-fidelity term and the prior term, respectively. In existing formulation for the elasticity forward model, physical laws that arise from equilibrium equation of harmonic motion, indicate a deterministic relationship between MRE-measured data and unknown elasticity distribution which leads to the poor and unstable elasticity distribution estimation in the presence of noise. Toward this end, we propose an efficient statistical methodology for physical forward model refinement by formulating it as linear algebraic representation with respect to the unknown elasticity distribution and incorporating an analytical noise model. To solve the subsequent total variation regularized optimization task, we benefit from a fixed-point scheme involving proximal gradient methods. Simulation results of elasticity reconstruction in various SNR conditions verify the effectiveness of the proposed approach.


title: Visionary: Vision architecture discovery for robot learning

abstract: We propose a vision-based architecture search algorithm for robot manipulation learning, which discovers interactions between low dimension action inputs and high dimensional visual inputs. Our approach automatically designs architectures while training on the task - discovering novel ways of combining and attending image feature representations with actions as well as features from previous layers. The obtained new architectures demonstrate better task success rates, in some cases with a large margin, compared to a recent high performing baseline. Our real robot experiments also confirm that it improves grasping performance by 6%. This is the first approach to demonstrate a successful neural architecture search and attention connectivity search for a real-robot task.


title: A Dual Characterization of the Stability of the Wonham Filter

abstract: This paper revisits the classical question of the stability of the nonlinear Wonham filter. The novel contributions of this paper are two-fold: (i) definition of the stabilizability for the (control-theoretic) dual to the nonlinear filter; and (ii) the use of this definition to obtain conclusions on the stability of the Wonham filter. Specifically, it is shown that the stabilizability of the dual system is necessary for filter stability and conversely stabilizability implies that the filter asymptotically detects the correct ergodic class. The formulation and the proofs are based upon a recently discovered duality result whereby the nonlinear filtering problem is cast as a stochastic optimal control problem for a backward stochastic differential equation (BSDE). The control-theoretic proof techniques and results may be viewed as a generalization of the classical work on the stability of the Kalman filter.