title: Adaptive-Step Graph Meta-Learner for Few-Shot Graph Classification

abstract: Graph classification aims to extract accurate information from graph-structured data for classification and is becoming more and more important in graph learning community. Although Graph Neural Networks (GNNs) have been successfully applied to graph classification tasks, most of them overlook the scarcity of labeled graph data in many applications. For example, in bioinformatics, obtaining protein graph labels usually needs laborious experiments. Recently, few-shot learning has been explored to alleviate this problem with only given a few labeled graph samples of test classes. The shared sub-structures between training classes and test classes are essential in few-shot graph classification. Exiting methods assume that the test classes belong to the same set of super-classes clustered from training classes. However, according to our observations, the label spaces of training classes and test classes usually do not overlap in real-world scenario. As a result, the existing methods don't well capture the local structures of unseen test classes. To overcome the limitation, in this paper, we propose a direct method to capture the sub-structures with well initialized meta-learner within a few adaptation steps. More specifically, (1) we propose a novel framework consisting of a graph meta-learner, which uses GNNs based modules for fast adaptation on graph data, and a step controller for the robustness and generalization of meta-learner; (2) we provide quantitative analysis for the framework and give a graph-dependent upper bound of the generalization error based on our framework; (3) the extensive experiments on real-world datasets demonstrate that our framework gets state-of-the-art results on several few-shot graph classification tasks compared to baselines.


title: Cooperative conditions for the existence of rainbow matchings

abstract: Let $k>1$, and let $\mathcal{F}$ be a family of $2n+k-3$ non-empty sets of edges in a bipartite graph. If the union of every $k$ members of $\mathcal{F}$ contains a matching of size $n$, then there exists an $\mathcal{F}$-rainbow matching of size $n$. Replacing $2n+k-3$ by $2n+k-2$, the result is true also for $k=1$, and it can be proved (for all $k$) both topologically and by a relatively simple combinatorial argument. The main effort is in gaining the last $1$, which makes the result sharp.


title: Traveling wave solutions to the Allen-Cahn equation

abstract: For the Allen-Cahn equation, it is well known that there is a monotone standing wave joining with the balanced wells of the potential. In this paper we study the existence of traveling wave solutions for the Allen-Cahn equation on an infinite channel. Such traveling wave solutions possess a large number of oscillation and they are obtained with the aid of variational arguments.


title: The State Complexity of Lexicographically Smallest Words and Computing Successors

abstract: Given a regular language L over an ordered alphabet $\Sigma$, the set of lexicographically smallest (resp., largest) words of each length is itself regular. Moreover, there exists an unambiguous finite-state transducer that, on a given word w, outputs the length-lexicographically smallest word larger than w (henceforth called the L-successor of w). In both cases, naive constructions result in an exponential blowup in the number of states. We prove that if L is recognized by a DFA with n states, then $2^{\Theta(\sqrt{n \log n})}$ states are sufficient for a DFA to recognize the subset S(L) of L composed of its lexicographically smallest words. We give a matching lower bound that holds even if S(L) is represented as an NFA. We then show that the same upper and lower bounds hold for an unambiguous finite-state transducer that computes L-successors.


title: Perturbative deflection angle for signal with finite distance and general velocities

abstract: We propose a perturbative method to compute the deflection angle of both null and massive particles for source and detector at finite distance. This method applies universally to the motion of particles with general velocity in the equatorial plane of stationary axisymmetric spacetimes or static spherical symmetric spacetimes that are asymptotically flat. The resultant deflection angle automatically arranges into a quasi-inverse series form of the impact parameter, with coefficients depending on the metric functions, the signal velocity and the source and detector locations through the apparent angles. In the large impact parameter limit, the series coefficients are reduced to rational functions of sine/cosine functions of the zero order apparent angle.


title: Flexible One-Dimensional Metal-Insulator-Graphene Diode

abstract: In this work, a novel one-dimensional geometry for metal-insulator-graphene (1D-MIG) diode with low capacitance is demonstrated. The junction of the 1D-MIG diode is formed at the 1D edge of Al2O3-encapsulated graphene with TiO2 that acts as barrier material. The diodes demonstrate ultra-high current density since the transport in the graphene and through the barrier is in plane. The geometry delivers very low capacitive coupling between the cathode and anode of the diode, which shows frequency response up to 100 GHz and ensures potential high frequency performance up to 2.4 THz. The 1D-MIG diodes are demonstrated to function uniformly and stable under bending conditions down to 6.4 mm bending radius on flexible substrate.


title: The Floquet Engineer's Handbook

abstract: We provide a pedagogical technical guide to many of the key theoretical tools and ideas that underlie work in the field of Floquet engineering. We hope that this document will serve as a useful resource for new researchers aiming to enter the field, as well as experienced researchers who wish to gain new insight into familiar or possibly unfamiliar methods. This guide was developed out of supplementary material as a companion to our recent review, "Band structure engineering and non-equilibrium dynamics in Floquet topological insulators," Nature Reviews Physics 2, 229 (2020). The primary focus is on analytical techniques relevant for Floquet-Bloch band engineering and related many-body dynamics. We will continue to update this document over time to include additional content, and welcome suggestions for further topics to consider.


title: Norm one tori and Hasse norm principle, II: Degree $12$ case

abstract: Let $k$ be a field, $T$ be an algebraic $k$-torus, $X$ be a smooth $k$-compactification of $T$ and ${\rm Pic}\,\overline{X}$ be the Picard group of $\overline{X}=X\times_k\overline{k}$. Hoshi, Kanai and Yamasaki [HKY22] determined $H^1(k,{\rm Pic}\, \overline{X})$ for norm one tori $T=R^{(1)}_{K/k}(G_m)$ and gave a necessary and sufficient condition for the Hasse norm principle for extensions $K/k$ of number fields with $[K:k]=n\leq 15$ and $n\neq 12$. In this paper, we determine $64$ cases with $H^1(k,{\rm Pic}\, \overline{X})\neq 0$ and give a necessary and sufficient condition for the Hasse norm principle for $K/k$ where $[K:k]=12$.


title: Identities for correlation functions in classical statistical mechanics and the problem of crystal states

abstract: Let $z$ be the activity of point particles described by classical equilibrium statistical mechanics in ${\bf R}^\nu$. The correlation functions $\rho^z(x_1,\dots,x_k)$ denote the probability densities of finding $k$ particles at $x_1,\dots,x_k$. Letting $\phi^z(x_1,\dots,x_k)$ be the cluster functions corresponding to the $\rho^z(x_1,\dots,x_k)/z^k$ we prove identities of the type $$ \phi^{z_0+z'}(x_1,\dots,x_k) $$ $$ =\sum_{n=0}^\infty{z'^n\over n!}\int dx_{k+1}\dots\int dx_{k+n}\,\phi^{z_0}(x_1,\dots,x_{k+n}) $$ It is then non-rigorously argued that, assuming a suitable cluster property (decay of correlations) for a crystal state, the pressure and the translation invariant correlation functions \- $\rho^z(x_1,\dots,x_k)$ are real analytic functions of $z$.


title: Colorings of complements of line graphs

abstract: Our purpose is to show that complements of line graphs enjoy nice coloring properties. We show that for all graphs in this class the local and usual chromatic numbers are equal. We also prove a sufficient condition for the chromatic number to be equal to a natural upper bound. A consequence of this latter condition is a complete characterization of all induced subgraphs of the Kneser graph $\operatorname{KG}(n,2)$ that have a chromatic number equal to its chromatic number, namely $n-2$. In addition to the upper bound, a lower bound is provided by Dol'nikov's theorem, a classical result of the topological method in graph theory. We prove the $\operatorname{NP}$-hardness of deciding the equality between the chromatic number and any of these bounds. The topological method is especially suitable for the study of coloring properties of complements of line graphs of hypergraphs. Nevertheless, all proofs in this paper are elementary and we also provide a short discussion on the ability for the topological methods to cover some of our results.


title: Aerial Manipulation using Model Predictive Control for Opening a Hinged Door

abstract: Existing studies for environment interaction with an aerial robot have been focused on interaction with static surroundings. However, to fully explore the concept of an aerial manipulation, interaction with moving structures should also be considered. In this paper, a multirotor-based aerial manipulator opening a daily-life moving structure, a hinged door, is presented. In order to address the constrained motion of the structure and to avoid collisions during operation, model predictive control (MPC) is applied to the derived coupled system dynamics between the aerial manipulator and the door involving state constraints. By implementing a constrained version of differential dynamic programming (DDP), MPC can generate position setpoints to the disturbance observer (DOB)-based robust controller in real-time, which is validated by our experimental results.


title: Quantum Hall phase emerging in an array of atoms interacting with photons

abstract: Topological quantum phases underpin many concepts of modern physics. While the existence of disorder-immune topological edge states of electrons usually requires magnetic fields, direct effects of magnetic field on light are very weak. As a result, demonstrations of topological states of photons employ synthetic fields engineered in special complex structures or external time-dependent modulations. Here, we reveal that the quantum Hall phase with topological edge states, spectral Landau levels and Hofstadter butterfly can emerge in a simple quantum system, where topological order arises solely from interactions without any fine-tuning. Such systems, arrays of two-level atoms (qubits) coupled to light being described by the classical Dicke model, have recently been realized in experiments with cold atoms and superconducting qubits. We believe that our finding will open new horizons in several disciplines including quantum physics, many-body physics, and nonlinear topological photonics, and it will set an important reference point for experiments on qubit arrays and quantum simulators.

categories: quant-ph cond-mat.mes-hall nlin.PS physics.optics


title: Function follows form: From semiconducting to metallic towards superconducting PbS nanowires by faceting the crystal

abstract: In the realm of colloidal nanostructures, with its immense capacity for shape and dimensionality control, the form is undoubtedly a driving factor for the tunability of optical and electrical properties in semiconducting or metallic materials. However, influencing the fundamental properties is still challenging and requires sophisticated surface or dimensionality manipulation. In this work, we present such a modification for the example of colloidal lead sulphide nanowires. We show that the electrical properties of lead sulphide nanostructures can be altered from semiconducting to metallic with indications of superconductivity, by exploiting the flexibility of the colloidal synthesis to sculpt the crystal and to form different surface facets. A particular morphology of lead sulphide nanowires has been synthesized through the formation of {111} surface facets, which shows metallic and superconducting properties in contrast to other forms of this semiconducting crystal, which contain other surface facets ({100} and {110}). This effect, which has been investigated with several experimental and theoretical approaches, is attributed to the presence of lead rich {111} facets. The insights promote new strategies for tuning the properties of crystals as well as new applications for lead sulphide nanostructures.


title: Logistic-Regression with peer-group effects via inference in higher order Ising models

abstract: Spin glass models, such as the Sherrington-Kirkpatrick, Hopfield and Ising models, are all well-studied members of the exponential family of discrete distributions, and have been influential in a number of application domains where they are used to model correlation phenomena on networks. Conventionally these models have quadratic sufficient statistics and consequently capture correlations arising from pairwise interactions. In this work we study extensions of these to models with higher-order sufficient statistics, modeling behavior on a social network with peer-group effects. In particular, we model binary outcomes on a network as a higher-order spin glass, where the behavior of an individual depends on a linear function of their own vector of covariates and some polynomial function of the behavior of others, capturing peer-group effects. Using a {\em single}, high-dimensional sample from such model our goal is to recover the coefficients of the linear function as well as the strength of the peer-group effects. The heart of our result is a novel approach for showing strong concavity of the log pseudo-likelihood of the model, implying statistical error rate of $\sqrt{d/n}$ for the Maximum Pseudo-Likelihood Estimator (MPLE), where $d$ is the dimensionality of the covariate vectors and $n$ is the size of the network (number of nodes). Our model generalizes vanilla logistic regression as well as the peer-effect models studied in recent works, and our results extend these results to accommodate higher-order interactions.


title: The 2D pn Junction Driven Out-of-Equilibrium

abstract: The pn junction is a fundamental electrical component in modern electronics and optoelectronics. Currently, there is a great deal of interest in the two-dimensional (2D) pn junction. Although many experiments have demonstrated the working principle, there is a lack of fundamental understanding of its basic properties and expected performances, in particular when the device is driven out of equilibrium. To fill the current gap in understanding, we investigate the electrostatics and electronic transport of 2D lateral pn junctions. To do so we implement a physics-based simulator that selfconsistently solves the 2D Poisson's equation coupled to the drift-diffusion and continuity equations. Notably, the simulator takes into account the strong influence of the out of plane electric field through the surrounding dielectric, capturing the weak screening of charge carriers. Supported by simulations, we propose a Shockley-like equation for the ideal current voltage characteristics, in full analogy to the bulk junction after defining an effective depletion layer (EDL). We also discuss the impact of recombination generation processes inside the EDL, which actually produce a significant deviation with respect to the ideal behavior, consistently with experimental data. Moreover, we analyze the capacitances and conductance of the 2D lateral pn junction. Based on its equivalent circuit we investigate its cut-off frequency targeting RF applications. To gain deeper insight into the role played by material dimensionality, we benchmark the performances of single-layer MoS2 (2D) lateral pn junctions against those of the Si (3D) junction. Finally, a practical discussion on the short length 2D junction case together with the expected impact of interface states has been provided. Given the available list of 2D materials, this work opens the door to a wider exploration of material dependent performances.


title: Neutron diffraction and symmetry analysis of the martensitic transformation in Co-doped Ni$_2$MnGa

abstract: Martensitic transformations are strain driven displacive transitions governing the mechanical and physical properties in intermetallic materials. This is the case in Ni$_2$MnGa, where the martensite transition is at the heart of the striking magnetic shape memory and magneto-caloric properties. Interestingly, the martensitic transformation is preceded by a pre-martensite phase, and the role of this precursor and its influence on the martensitic transition and properties is still a matter of debate. In this work, we report on the influence of Co doping (Ni$_{50-x}$Co$_x$Mn$_{25}$Ga$_{25}$ with x = 3 and 5) on the martensitic transformation path in stoichiometric Ni$_2$MnGa by neutron diffraction. The use of the superspace formalism to describe the crystal structure of the modulated martensitic phases, joined with a group theoretical analysis allows unfolding the different distortions featuring the structural transitions. Finally, a general Landau thermodynamic potential of the martensitic transformation, based on the symmetry analysis is outlined. The combined use of phenomenological and crystallographic studies highlights the close relationship between the lattice distortions at the core of the Ni$_2$MnGa physical properties and, more in general, on the properties of the martensitic transformations in the Ni-Mn based Heusler systems.


title: Gap sequences and Topological properties of Bedford-McMullen sets

abstract: In this paper, we study the topological properties and the gap sequences of Bedford-McMullen sets. First, we introduce a topological condition, the component separation condition (CSC), and a geometric condition, the exponential rate condition (ERC). Then we prove that the CSC implies the ERC, and that both of them are sufficient conditions for obtaining the asymptotic estimate of gap sequences. We also explore topological properties of Bedford-McMullen sets and prove that all normal Bedford-McMullen sets with infinitely many connected components satisfy the CSC, from which we obtain the asymptotic estimate of the gap sequences of Bedford-McMullen sets without any restrictions. Finally, we apply our result to Lipschitz equivalence.


title: Detecting outliers in astronomical images with deep generative networks

abstract: With the advent of future big-data surveys, automated tools for unsupervised discovery are becoming ever more necessary. In this work, we explore the ability of deep generative networks for detecting outliers in astronomical imaging datasets. The main advantage of such generative models is that they are able to learn complex representations directly from the pixel space. Therefore, these methods enable us to look for subtle morphological deviations which are typically missed by more traditional moment-based approaches. We use a generative model to learn a representation of expected data defined by the training set and then look for deviations from the learned representation by looking for the best reconstruction of a given object. In this first proof-of-concept work, we apply our method to two different test cases. We first show that from a set of simulated galaxies, we are able to detect $\sim90\%$ of merging galaxies if we train our network only with a sample of isolated ones. We then explore how the presented approach can be used to compare observations and hydrodynamic simulations by identifying observed galaxies not well represented in the models.


title: Cross-domain Self-supervised Learning for Domain Adaptation with Few Source Labels

abstract: Existing unsupervised domain adaptation methods aim to transfer knowledge from a label-rich source domain to an unlabeled target domain. However, obtaining labels for some source domains may be very expensive, making complete labeling as used in prior work impractical. In this work, we investigate a new domain adaptation scenario with sparsely labeled source data, where only a few examples in the source domain have been labeled, while the target domain is unlabeled. We show that when labeled source examples are limited, existing methods often fail to learn discriminative features applicable for both source and target domains. We propose a novel Cross-Domain Self-supervised (CDS) learning approach for domain adaptation, which learns features that are not only domain-invariant but also class-discriminative. Our self-supervised learning method captures apparent visual similarity with in-domain self-supervision in a domain adaptive manner and performs cross-domain feature matching with across-domain self-supervision. In extensive experiments with three standard benchmark datasets, our method significantly boosts performance of target accuracy in the new target domain with few source labels and is even helpful on classical domain adaptation scenarios.


title: Three lectures on quiver Grassmannians

abstract: This paper contains the material discussed in the series of three lectures that I gave during the workshop of the ICRA 2018 in Prague. I will introduce the reader to some of the techniques used in the study of the geometry of quiver Grassmannians. The notes are quite elementary and thought for phd students or young researchers. I assume that the reader is familiar with the representation theory of quivers.


title: Gamma-Ray Flares in Long Term Light Curve of 3C 454.3

abstract: 3C 454.3 is frequently observed in flaring state. The long term light curve of this source has been analysed with 9 year (August 2008 - July 2017) data from Fermi LAT detector. We have identified five flares and one quiescent state. The flares have sub-structures with many peaks during flaring phase. We have estimated the rise and decay time of the flares and compared with flares of other similar sources. The modeling of gamma ray spectral energy distributions shows in most cases Log parabola function gives the best fit to the data. We have done time dependent leptonic modeling of two of the flares, for which simultaneous multi-wavelength data are available. These two long lasting flares Flare-2A and Flare-2D continued for 95 days and 133 days respectively. We have used the average values of Doppler factor, injected luminosity in electrons, size of the emission region and the magnetic field in the emission region in modeling these flares. The emission region is assumed to be in the broad line region in our single zone model. The energy losses (synchrotron, synchrotron self-Compton, external Compton) and escape of electrons from the emission region have been included while doing the modelling. Although, the total jet powers required to model these flares with leptonic model are higher compared to other sources, they are always found to be lower than the Eddington's luminosity of 3C 454.3. We also select some flaring peaks and show that time variation of the Doppler factor or the injected luminosity in electrons over short time scales can explain their light curves.


title: Order theory for discrete gradient methods

abstract: The discrete gradient methods are integrators designed to preserve invariants of ordinary differential equations. From a formal series expansion of a subclass of these methods, we derive conditions for arbitrarily high order. We derive specific results for the average vector field discrete gradient, from which we get P-series methods in the general case, and B-series methods for canonical Hamiltonian systems. Higher order schemes are presented, and their applications are demonstrated on the H\'enon-Heiles system and a Lotka-Volterra system, and on both the training and integration of a pendulum system learned from data by a neural network.


title: Simplified BB84 quantum key distribution secure against coherent attacks

abstract: Decoy-state quantum key distribution (QKD) has convincingly been shown the core solution to secure key exchange. While standard BB84 protocol needs to prepare and measure all states of two complementary bases, which seriously restricts its real life applications in photonic integration and high speed system. Fortunately, a simplified BB84, only sending and receiving three states, achieves the same asymptotic secret key rate compared with standard BB84 under coherent attacks. In this work, by skillfully exploiting uncertainty relation for smooth entropies, we provide the finite-key security bounds for decoy-state simplified BB84 QKD against coherent attacks in the universally composable framework. Simulation results show that it can also achieve almost the same performance compared with standard BB84 even the total number of pulses is as low as $10^{8}$. We conclude that simplified BB84 can completely replace standard BB84 to be the best choice for QKD in most common practical scenarios.


title: An Extended Kalman Filter for Data-enabled Predictive Control

abstract: The literature dealing with data-driven analysis and control problems has significantly grown in the recent years. Most of the recent literature deals with linear time-invariant systems in which the uncertainty (if any) is assumed to be deterministic and bounded; relatively little attention has been devoted to stochastic linear time-invariant systems. As a first step in this direction, we propose to equip the recently introduced Data-enabled Predictive Control algorithm with a data-based Extended Kalman Filter to make use of additional available input-output data for reducing the effect of noise, without increasing the computational load of the optimization procedure.


title: Neutron reflectometry analysis: using model-dependent methods

abstract: Neutron reflectometry analysis is an inherently ill-posed, which is to say that there are many possible solutions which agree equally well with the measured data. This leads to the application of model-dependent analysis, where information that we know about the system is integrated into our analysis. This tutorial briefly covers the mathematics underlying the use of model-dependent analysis in neutron reflectometry.


title: Pre-trained Models for Natural Language Processing: A Survey

abstract: Recently, the emergence of pre-trained models (PTMs) has brought natural language processing (NLP) to a new era. In this survey, we provide a comprehensive review of PTMs for NLP. We first briefly introduce language representation learning and its research progress. Then we systematically categorize existing PTMs based on a taxonomy with four perspectives. Next, we describe how to adapt the knowledge of PTMs to the downstream tasks. Finally, we outline some potential directions of PTMs for future research. This survey is purposed to be a hands-on guide for understanding, using, and developing PTMs for various NLP tasks.


title: Unsupervised Pidgin Text Generation By Pivoting English Data and Self-Training

abstract: West African Pidgin English is a language that is significantly spoken in West Africa, consisting of at least 75 million speakers. Nevertheless, proper machine translation systems and relevant NLP datasets for pidgin English are virtually absent. In this work, we develop techniques targeted at bridging the gap between Pidgin English and English in the context of natural language generation. %As a proof of concept, we explore the proposed techniques in the area of data-to-text generation. By building upon the previously released monolingual Pidgin English text and parallel English data-to-text corpus, we hope to build a system that can automatically generate Pidgin English descriptions from structured data. We first train a data-to-English text generation system, before employing techniques in unsupervised neural machine translation and self-training to establish the Pidgin-to-English cross-lingual alignment. The human evaluation performed on the generated Pidgin texts shows that, though still far from being practically usable, the pivoting + self-training technique improves both Pidgin text fluency and relevance.


title: An Artificial Intelligence-Based System to Assess Nutrient Intake for Hospitalised Patients

abstract: Regular monitoring of nutrient intake in hospitalised patients plays a critical role in reducing the risk of disease-related malnutrition. Although several methods to estimate nutrient intake have been developed, there is still a clear demand for a more reliable and fully automated technique, as this could improve data accuracy and reduce both the burden on participants and health costs. In this paper, we propose a novel system based on artificial intelligence (AI) to accurately estimate nutrient intake, by simply processing RGB Depth (RGB-D) image pairs captured before and after meal consumption. The system includes a novel multi-task contextual network for food segmentation, a few-shot learning-based classifier built by limited training samples for food recognition, and an algorithm for 3D surface construction. This allows sequential food segmentation, recognition, and estimation of the consumed food volume, permitting fully automatic estimation of the nutrient intake for each meal. For the development and evaluation of the system, a dedicated new database containing images and nutrient recipes of 322 meals is assembled, coupled to data annotation using innovative strategies. Experimental results demonstrate that the estimated nutrient intake is highly correlated (> 0.91) to the ground truth and shows very small mean relative errors (< 20%), outperforming existing techniques proposed for nutrient intake assessment.


title: Existence and uniqueness of elliptic systems with double phase operators and convection terms

abstract: In this paper we study quasilinear elliptic systems driven by so-called double phase operators and nonlinear right-hand sides depending on the gradients of the solutions. Based on the surjectivity result for pseudomonotone operators we prove the existence of at least one weak solution of such systems. Furthermore, under some additional conditions on the data, the uniqueness of weak solutions is shown.


title: PIC: Permutation Invariant Convolution for Recognizing Long-range Activities

abstract: Neural operations as convolutions, self-attention, and vector aggregation are the go-to choices for recognizing short-range actions. However, they have three limitations in modeling long-range activities. This paper presents PIC, Permutation Invariant Convolution, a novel neural layer to model the temporal structure of long-range activities. It has three desirable properties. i. Unlike standard convolution, PIC is invariant to the temporal permutations of features within its receptive field, qualifying it to model the weak temporal structures. ii. Different from vector aggregation, PIC respects local connectivity, enabling it to learn long-range temporal abstractions using cascaded layers. iii. In contrast to self-attention, PIC uses shared weights, making it more capable of detecting the most discriminant visual evidence across long and noisy videos. We study the three properties of PIC and demonstrate its effectiveness in recognizing the long-range activities of Charades, Breakfast, and MultiThumos.


title: Supporting Interoperability Between Open-Source Search Engines with the Common Index File Format

abstract: There exists a natural tension between encouraging a diverse ecosystem of open-source search engines and supporting fair, replicable comparisons across those systems. To balance these two goals, we examine two approaches to providing interoperability between the inverted indexes of several systems. The first takes advantage of internal abstractions around index structures and building wrappers that allow one system to directly read the indexes of another. The second involves sharing indexes across systems via a data exchange specification that we have developed, called the Common Index File Format (CIFF). We demonstrate the first approach with the Java systems Anserini and Terrier, and the second approach with Anserini, JASSv2, OldDog, PISA, and Terrier. Together, these systems provide a wide range of implementations and features, with different research goals. Overall, we recommend CIFF as a low-effort approach to support independent innovation while enabling the types of fair evaluations that are critical for driving the field forward.


title: Blinded challenge for precision cosmology with large-scale structure: results from effective field theory for the redshift-space galaxy power spectrum

abstract: An accurate theoretical template for the galaxy power spectrum is a key for the success of ongoing and future spectroscopic surveys. We examine to what extent the Effective Field Theory of Large Scale Structure is able to provide such a template and correctly estimate cosmological parameters. To that end, we initiate a blinded challenge to infer cosmological parameters from the redshift-space power spectrum of high-resolution mock catalogs mimicking the BOSS galaxy sample but covering a hundred times larger cumulative volume. This gigantic simulation volume allows us to separate systematic bias due to theoretical modeling from the statistical error due to sample variance. The challenge task was to measure three unknown input parameters used in the simulation: the Hubble constant, the matter density fraction, and the clustering amplitude. We present analyses done by two independent teams, who have fitted the mock simulation data generated by yet another independent group. This allows us to avoid any confirmation bias by analyzers and pin down possible tuning of the specific EFT implementations. Both independent teams have recovered the true values of the input parameters within sub-percent statistical errors corresponding to the total simulation volume.


title: Controllability Analysis of Functional Brain Networks

abstract: Network control theory has recently emerged as a promising approach for understanding brain function and dynamics. By operationalizing notions of control theory for brain networks, it offers a fundamental explanation for how brain dynamics may be regulated by structural connectivity. While powerful, the approach does not currently consider other non-structural explanations of brain dynamics. Here we extend the analysis of network controllability by formalizing the evolution of neural signals as a function of effective inter-regional coupling and pairwise signal covariance. We find that functional controllability characterizes a region's impact on the capacity for the whole system to shift between states, and significantly predicts individual difference in performance on cognitively demanding tasks including those task working memory, language, and emotional intelligence. When comparing measurements from functional and structural controllability, we observed consistent relations between average and modal controllability, supporting prior work. In the same comparison, we also observed distinct relations between controllability and synchronizability, reflecting the additional information obtained from functional signals. Our work suggests that network control theory can serve as a systematic analysis tool to understand the energetics of brain state transitions, associated cognitive processes, and subsequent behaviors.


title: Shortcuts to Adiabatic Pumping in Classical Stochastic Systems

abstract: Adiabatic pumping is characterized by a geometric contribution to the pumped charge, which can be non-zero even in the absence of a bias. However, as the driving speed is increased, non-adiabatic excitations gradually reduce the pumped charge, thereby limiting the maximal applicable driving frequencies. To circumvent this problem, we here extend the concept of shortcuts to adiabaticity to construct a control protocol which enables geometric pumping well beyond the adiabatic regime. Our protocol allows for an increase, by more than an order of magnitude, in the driving frequencies, and the method is also robust against moderate fluctuations of the control field. We provide a geometric interpretation of the control protocol and analyze the thermodynamic cost of implementing it. Our findings can be realized using current technology and potentially enable fast pumping of charge or heat in quantum dots, as well as in other stochastic systems from physics, chemistry, and biology.


title: On the convergence of bilateral ergodic averages

abstract: We study the almost sure convergence of bilateral ergodic averages for not necessarily integrable functions and relate it to the ones of the forward and backward averages, hence complementing results of Wo\'s and the second named author. In the case of convergence, using results of Furstenberg on double recurrence, we prove oscillations of the bilateral ergodic averages around the limit.


title: Linear Hyperbolic Systems on Networks

abstract: We study hyperbolic systems of one-dimensional partial differential equations under general, possibly non-local boundary conditions. A large class of evolution equations, either on individual 1-dimensional intervals or on general networks, can be reformulated in our rather flexible formalism, which generalizes the classical technique of first-order reduction. We study forward and backward well-posedness; furthermore, we provide necessary and sufficient conditions on both the boundary conditions and the coefficients arising in the first-order reduction for a given subset of the relevant ambient space to be invariant under the flow that governs the system. Several examples are studied.


title: Event Probability Mask (EPM) and Event Denoising Convolutional Neural Network (EDnCNN) for Neuromorphic Cameras

abstract: This paper presents a novel method for labeling real-world neuromorphic camera sensor data by calculating the likelihood of generating an event at each pixel within a short time window, which we refer to as "event probability mask" or EPM. Its applications include (i) objective benchmarking of event denoising performance, (ii) training convolutional neural networks for noise removal called "event denoising convolutional neural network" (EDnCNN), and (iii) estimating internal neuromorphic camera parameters. We provide the first dataset (DVSNOISE20) of real-world labeled neuromorphic camera events for noise removal.


title: Prevalence of Potentially Predatory Publishing in Scopus on the Country Level

abstract: We present the results of a large-scale study of potentially predatory journals (PPJ) represented in the Scopus database, which is widely used for research evaluation. Both journal metrics and country, disciplinary data have been evaluated for different groups of PPJ: those listed by Jeffrey Beall and those delisted by Scopus because of "publication concerns". Our results show that even after years of delisting, PPJ are still highly visible in the Scopus database with hundreds of active potentially predatory journals. PPJ papers are continuously produced by all major countries, but with different shares. All major subject areas are affected. The largest number of PPJ papers are in engineering and medicine. On average, PPJ have much lower citation metrics than other Scopus-indexed journals. We conclude with a brief survey of the case of Kazakhstan where the share of PPJ papers at one time amounted to almost a half of all Kazakhstan papers in Scopus, and propose a link between PPJ share and national research evaluation policies (in particular, rules of awarding academic degrees). The progress of potentially predatory journal research will be increasingly important because such evaluation methods are becoming more widespread in times of the Metric Tide.


title: Toronto-3D: A Large-scale Mobile LiDAR Dataset for Semantic Segmentation of Urban Roadways

abstract: Semantic segmentation of large-scale outdoor point clouds is essential for urban scene understanding in various applications, especially autonomous driving and urban high-definition (HD) mapping. With rapid developments of mobile laser scanning (MLS) systems, massive point clouds are available for scene understanding, but publicly accessible large-scale labeled datasets, which are essential for developing learning-based methods, are still limited. This paper introduces Toronto-3D, a large-scale urban outdoor point cloud dataset acquired by a MLS system in Toronto, Canada for semantic segmentation. This dataset covers approximately 1 km of point clouds and consists of about 78.3 million points with 8 labeled object classes. Baseline experiments for semantic segmentation were conducted and the results confirmed the capability of this dataset to train deep learning models effectively. Toronto-3D is released to encourage new research, and the labels will be improved and updated with feedback from the research community.


title: Reactive Social distancing in a SIR model of epidemics such as COVID-19

abstract: A model of reactive social distancing in epidemics is proposed, in which the infection rate changes with the number infected. The final-size equation for the total number that the epidemic will infect can be derived analytically, as can the peak infection proportion. This model could assist planners during for example the COVID-19 pandemic.


title: On Kemeny's constant for trees with fixed order and diameter

abstract: Kemeny's constant $\kappa(G)$ of a connected graph $G$ is a measure of the expected transit time for the random walk associated with $G$. In the current work, we consider the case when $G$ is a tree, and, in this setting, we provide lower and upper bounds for $\kappa(G)$ in terms of the order $n$ and diameter $\delta$ of $G$ by using two different techniques. The lower bound is given as Kemeny's constant of a particular caterpillar tree and, as a consequence, it is sharp. The upper bound is found via induction, by repeatedly removing pendent vertices from $G$. By considering a specific family of trees - the broom-stars - we show that the upper bound is asymptotically sharp.


title: Magmatic intrusions control Io's crustal thickness

abstract: Io, the most volcanically active body in the solar system, loses heat through eruptions of hot lava. Heat is supplied by tidal heating and is thought to be transferred through the mantle by magmatic segregation, a mode of transport that sets it apart from convecting terrestrial planets. We present a model that couples magmatic transport of tidal heat to the volcanic system in the crust, in order to determine the controls on crustal thickness, magmatic intrusions, and eruption rates. We demonstrate that magmatic intrusions are a key component of Io's crustal heat balance; around 80% of the magma delivered to the base of the crust must be emplaced and frozen as plutons to match rough estimates of crustal thickness. As magma ascends from a partially molten mantle into the crust, a decompacting boundary layer forms, which can explain inferred observations of a high-melt-fraction region.


title: Dynamic Distribution-Sensitive Point Location

abstract: We propose a dynamic data structure for the distribution-sensitive point location problem. Suppose that there is a fixed query distribution in $\mathbb{R}^2$, and we are given an oracle that can return in $O(1)$ time the probability of a query point falling into a polygonal region of constant complexity. We can maintain a convex subdivision $\cal S$ with $n$ vertices such that each query is answered in $O(\mathrm{OPT})$ expected time, where OPT is the minimum expected time of the best linear decision tree for point location in $\cal S$. The space and construction time are $O(n\log^2 n)$. An update of $\cal S$ as a mixed sequence of $k$ edge insertions and deletions takes $O(k\log^5 n)$ amortized time. As a corollary, the randomized incremental construction of the Voronoi diagram of $n$ sites can be performed in $O(n\log^5 n)$ expected time so that, during the incremental construction, a nearest neighbor query at any time can be answered optimally with respect to the intermediate Voronoi diagram at that time.


title: Particle robots A new specie of hybrid bio-inspired robotics

abstract: Inspired by a couple of simple organisms without eyes, neither ears. This paper presents a novel hybrid bionic robot, called "particle robot", which mix a macro-organism and a micro-organism in the same robot. On one hand, an interesting rather boring animal, the biological Echinoids (sea urchins) is mixed with the viruses micro-organisms, in specific the rotaviruses; together with spherical mobile robots. Analogously, from a pure robotic perspective, this bio-inspired robot can be seen as a spherical mobile robot wearing an actuated exoskeleton. The robot has two main configurations: when the spines are contracted it becomes a spherical mobile robot able to move in a fast pace on land, embedding all spherical mobile robots properties. On the other hand, when the spines or legs are extended in a controlled pattern, it can walk on flat surfaces as well as move on snow and over rocks as a bionic sea urchin. The spines of the robot are telescopic linear actuators, which combines soft and hard 3D print materials to make the actuation unit flexible for compressing it in minimal space and rigid for lifting the robot.


title: Influence of CAV Clustering Strategies on Mixed Traffic Flow Characteristics: An Analysis of Vehicle Trajectory Data

abstract: Being one of the most promising applications enabled by connected and automated vehicles (CAV) technology, Cooperative Adaptive Cruise Control (CACC) is expected to be deployed in the near term on public roads.} Thus far, the majority of the CACC studies have been focusing on the overall network performance with limited insights on the potential impacts of CAVs on human-driven vehicles (HVs).This paper aims to quantify such impacts by studying the high-resolution vehicle trajectory data that are obtained from microscopic simulation. Two platoon clustering strategies for CACC- an ad hoc coordination strategy and a local coordination strategy-are implemented. Results show that the local coordination outperforms the ad hoc coordination across all tested market penetration rates (MPRs) in terms of network throughput and productivity. According to the two-sample Kolmogorov-\textcolor{re}{Smirnov} test, however, the distributions of the hard braking events (as a potential safety impact) for HVs change significantly under local coordination strategy. For both of the clustering strategy, CAVs increase the average lane change frequency for HVs. The break-even point for average lane change frequency between the two strategies is observed at 30% MPR, which decreases from 5.42 to 5.38 per vehicle. The average lane change frequency following a monotonically increasing pattern in response to MPR, and it reaches the highest 5.48 per vehicle at 40% MPR. Lastly, the interaction state of the car-following model for HVs is analyzed. It is revealed that the composition of the interaction state could be influenced by CAVs as well. One of the apparent trends is that the time spent on approaching state declines with the increasing presence of CAVs.


title: Novel methods to construct nonlocal sets of orthogonal product states in arbitrary bipartite high-dimensional system

abstract: Nonlocal sets of orthogonal product states (OPSs) are widely used in quantum protocols owing to their good property. Thus a lot of attention are paid to how to construct a nonlocal set of orthogonal product states though it is a difficult problem. In this paper, we propose a novel general method to construct a nonlocal set of orthogonal product states in $\mathbb{C}^{d} \otimes \mathbb{C}^{d}$ for $d\geq3$. We give an ingenious proof for the local indistinguishability of those product states. The set of product states, which are constructed by our method, has a very good structure. Subsequently, we give a construction of nonlocal set of OPSs with smaller members in $\mathbb{C}^{d} \otimes \mathbb{C}^{d}$ for $d\geq3$. On the other hand, we present two construction methods of nonlocal sets of OPSs in $\mathbb{C}^{m} \otimes \mathbb{C}^{n}$, where $m\geq3$ and $n\geq3.$ Furthermore, we propose the concept of isomorphism for two nonlocal sets of OPSs. Our work is of great help to understand the structure and classification of locally indistinguishable OPSs.


title: Bound on the maximal function associated to the bounded law of the iterated logarithms via orthomartingale approximation

abstract: We give sufficient conditions for the bounded law of the iterated logarithms for strictly stationary random fields when the summation is done on rectangle. The study is done by the control of an appropriated maximal function. The case of orthomartingales is treated. Then results on projective conditions are derived.


title: The Shapeshifter: a Morphing, Multi-Agent,Multi-Modal Robotic Platform for the Exploration of Titan (preprint version)

abstract: In this report for the Nasa NIAC Phase I study, we present a mission architecture and a robotic platform, the Shapeshifter, that allow multi-domain and redundant mobility on Saturn's moon Titan, and potentially other bodies with atmospheres. The Shapeshifter is a collection of simple and affordable robotic units, called Cobots, comparable to personal palm-size quadcopters. By attaching and detaching with each other, multiple Cobots can shape-shift into novel structures, capable of (a) rolling on the surface, to increase the traverse range, (b) flying in a flight array formation, and (c) swimming on or under liquid. A ground station complements the robotic platform, hosting science instrumentation and providing power to recharge the batteries of the Cobots. Our Phase I study had the objective of providing an initial assessment of the feasibility of the proposed robotic platform architecture, and in particular (a) to characterize the expected science return of a mission to the Sotra-Patera region on Titan; (b) to verify the mechanical and algorithmic feasibility of building a multi-agent platform capable of flying, docking, rolling and un-docking; (c) to evaluate the increased range and efficiency of rolling on Titan w.r.t to flying; (d) to define a case-study of a mission for the exploration of the cryovolcano Sotra-Patera on Titan, whose expected variety of geological features challenges conventional mobility platforms.


title: Functionalized MXenes as Effective Polyselenides Immobilizer for Lithium-Selenium Batteries: A Density Functional Theory (DFT) Study

abstract: The practical applications of lithium selenium (Li-Se) batteries are impeded primarily due to the dissolution and migration of higher order polyselenides (Li2Sen) into the electrolyte (known as shuttle effect) and inactive deposition of lower order polyselenides. The high electrical conductivity and mechanical strengths of MXenes make them a suitable candidate to provide adequate anchoring to prevent polyselenides dissolution and improved electrochemical performance. Herein, we used density functional theory (DFT) calculations to understand the binding mechanism of Li2Sen on graphene and surface functionalized Ti3C2 MXenes. We used graphene as reference material to assess Li2Sen binding strengths on functionalized Ti3C2X2 (where X = S, O, F, and Cl). We observed that Ti3C2S2 and Ti3C2O2 exhibit superior anchoring behavior compared to graphene, Ti3C2F2, and Ti3C2Cl2. The calculated Li2Sen adsorption strength provided by S and O terminated Ti3C2 are stronger than the commonly used ether-based electrolyte, which is a requisite for effective suppression of the Li2Sen shuttling. The adsorbed Li2Sen on Ti3C2X2 and graphene retains their structural integrity without a chemical decomposition. The density of states (DOS) analysis exhibits that the conductive behavior of the Ti3C2X2 is preserved even after Li2Sen adsorption, which can stimulate the electrochemical activity of involved Li2Sen chemistry. Based on our unprecedented results, Ti3C2S2 and Ti3C2O2 are found to exhibit superior anchoring behavior for Li2Sen adsorption, which can be leveraged for designing effective selenium-based cathode materials to boost the electrochemical performance of the Li-Se battery system


title: Many-Objective Estimation of Distribution Optimization Algorithm Based on WGAN-GP

abstract: Estimation of distribution algorithms (EDA) are stochastic optimization algorithms. EDA establishes a probability model to describe the distribution of solution from the perspective of population macroscopically by statistical learning method, and then randomly samples the probability model to generate a new population. EDA can better solve multi-objective optimal problems (MOPs). However, the performance of EDA decreases in solving many-objective optimal problems (MaOPs), which contains more than three objectives. Reference Vector Guided Evolutionary Algorithm (RVEA), based on the EDA framework, can better solve MaOPs. In our paper, we use the framework of RVEA. However, we generate the new population by Wasserstein Generative Adversarial Networks-Gradient Penalty (WGAN-GP) instead of using crossover and mutation. WGAN-GP have advantages of fast convergence, good stability and high sample quality. WGAN-GP learn the mapping relationship from standard normal distribution to given data set distribution based on a given data set subject to the same distribution. It can quickly generate populations with high diversity and good convergence. To measure the performance, RM-MEDA, MOPSO and NSGA-II are selected to perform comparison experiments over DTLZ and LSMOP test suites with 3-, 5-, 8-, 10- and 15-objective.


title: Suspended graphene membranes with attached silicon proof masses as piezoresistive NEMS accelerometers

abstract: Graphene is an atomically thin material that features unique electrical and mechanical properties, which makes it an extremely promising material for future nanoelectromechanical systems (NEMS). Recently, basic NEMS accelerometer functionality has been demonstrated by utilizing piezoresistive graphene ribbons with suspended silicon proof masses. However, the proposed graphene ribbons have limitations regarding mechanical robustness, manufacturing yield and the maximum measurement current that can be applied across the ribbons. Here, we report on suspended graphene membranes that are fully-clamped at their circumference and that have attached silicon proof masses. We demonstrate their utility as piezoresistive NEMS accelerometers and they are found to be more robust, have longer life span and higher manufacturing yield, can withstand higher measurement currents and are able to suspend larger silicon proof masses, as compared to the previously graphene ribbon devices. These findings are an important step towards bringing ultra-miniaturized piezoresistive graphene NEMS closer towards deployment in emerging applications such as in wearable electronics, biomedical implants and internet of things (IoT) devices.


title: A Predictor-Corrector Type Algorithm for the Pseudospectral Abscissa Computation of Time-Delay Systems

abstract: The pseudospectrum of a linear time-invariant system is the set in the complex plane consisting of all the roots of the characteristic equation when the system matrices are subjected to all possible perturbations with a given upper bound. The pseudospectral abscissa is defined as the maximum real part of the characteristic roots in the pseudospectrum and, therefore, it is for instance important from a robust stability point of view. In this paper we present an accurate method for the computation of the pseudospectral abscissa of retarded delay differential equations with discrete pointwise delays. Our approach is based on the connections between the pseudospectrum and the level sets of an appropriately defined complex function. The computation is done in two steps. In the prediction step, an approximation of the pseudospectral abscissa is obtained based on a rational approximation of the characteristic matrix and the application of a bisection algorithm. Each step in this bisection algorithm relies on checking the presence of the imaginary axis eigenvalues of a complex matrix, similar to the delay free case. In the corrector step, the approximate pseudospectral abscissa is corrected to any given accuracy, by solving a set of nonlinear equations that characterize extreme points in the pseudospectrum contours.


title: Axiom Pinpointing

abstract: Axiom pinpointing refers to the task of finding the specific axioms in an ontology which are responsible for a consequence to follow. This task has been studied, under different names, in many research areas, leading to a reformulation and reinvention of techniques. In this work, we present a general overview to axiom pinpointing, providing the basic notions, different approaches for solving it, and some variations and applications which have been considered in the literature. This should serve as a starting point for researchers interested in related problems, with an ample bibliography for delving deeper into the details.


title: Accessing different topological classes and types of Majorana edge states in coupled superconducting platforms using perturbations

abstract: The study of topological classes and their associated edge states has been of ongoing interest. In one dimension, the standard platform of these studies has been the conventional Kitaev wire and its realizations. In this work, we study the edge states in coupled p-wave platforms in 1D, in the presence of experimentally relevant perturbations, like a Zeeman field and s-wave SC. Firstly, we show that the unperturbed coupled p-wave setup by itself can have two types of Majorana edge states, depending on the value of the effective onsite potential. We show that additional components like Zeeman field and s-wave term can cause transitions to different symmetry classes, both topologically trivial or non-trivial, and change the nature of these edge states. In the presence of the perturbations, we show that there are 3 symmetry classes when the effective p-wave pairing is equal between the spin species, and 6 for the second kind, when the pairing differs by a phase $\pi$ between the two. Some of these classes are topologically non-trivial. Further, we explore the nature of subgap states when we have a junction between two such topological setups and their corresponding behaviour with the phase of the p-wave order parameter. Our work provides a theoretical framework of the different ways to get non-trivial topological classes in coupled p-wave nanowire setup, using experimentally feasible perturbations, and the nature of subgap states across junctions of these platforms.


title: Vision-Based Autonomous Driving: A Model Learning Approach

abstract: We present an integrated approach for perception and control for an autonomous vehicle and demonstrate this approach in a high-fidelity urban driving simulator. Our approach first builds a model for the environment, then trains a policy exploiting the learned model to identify the action to take at each time-step. To build a model for the environment, we leverage several deep learning algorithms. To that end, first we train a variational autoencoder to encode the input image into an abstract latent representation. We then utilize a recurrent neural network to predict the latent representation of the next frame and handle temporal information. Finally, we utilize an evolutionary-based reinforcement learning algorithm to train a controller based on these latent representations to identify the action to take. We evaluate our approach in CARLA, a high-fidelity urban driving simulator, and conduct an extensive generalization study. Our results demonstrate that our approach outperforms several previously reported approaches in terms of the percentage of successfully completed episodes for a lane keeping task.


title: From Sensor to Processing Networks: Optimal Estimation with Computation and Communication Latency

abstract: This paper investigates the use of a networked system ($e.g.$, swarm of robots, smart grid, sensor network) to monitor a time-varying phenomenon of interest in the presence of communication and computation latency. Recent advances in edge computing have enabled processing to be spread across the network, hence we investigate the fundamental computation-communication trade-off, arising when a sensor has to decide whether to transmit raw data (incurring communication delay) or preprocess them (incurring computational delay) in order to compute an accurate estimate of the state of the phenomenon of interest. We propose two key contributions. First, we formalize the notion of $processing$ $network$. Contrarily to $sensor$ $and$ $communication$ $networks$, where the designer is concerned with the design of a suitable communication policy, in a processing network one can also control when and where the computation occurs in the network. The second contribution is to provide analytical results on the optimal preprocessing delay ($i.e.$, the optimal time spent on computations at each sensor) for the case with a single sensor and multiple homogeneous sensors. Numerical results substantiate our claims that accounting for computation latencies (both at sensor and estimator side) and communication delays can largely impact the estimation accuracy.


title: The Low-volatility Anomaly and the Adaptive Multi-Factor Model

abstract: The paper provides a new explanation of the low-volatility anomaly. We use the Adaptive Multi-Factor (AMF) model estimated by the Groupwise Interpretable Basis Selection (GIBS) algorithm to find those basis assets significantly related to low and high volatility portfolios. These two portfolios load on very different factors, indicating that volatility is not an independent risk, but that it's related to existing risk factors. The out-performance of the low-volatility portfolio is due to the (equilibrium) performance of these loaded risk factors. The AMF model outperforms the Fama-French 5-factor model both in-sample and out-of-sample.


title: Triplet Permutation Method for Deep Learning of Single-Shot Person Re-Identification

abstract: Solving Single-Shot Person Re-Identification (Re-Id) by training Deep Convolutional Neural Networks is a daunting challenge, due to the lack of training data, since only two images per person are available. This causes the overfitting of the models, leading to degenerated performance. This paper formulates the Triplet Permutation method to generate multiple training sets, from a certain re-id dataset. This is a novel strategy for feeding triplet networks, which reduces the overfitting of the Single-Shot Re-Id model. The improved performance has been demonstrated over one of the most challenging Re-Id datasets, PRID2011, proving the effectiveness of the method.


title: Age of Information for Multicast Transmission with Fixed and Random Deadlines in IoT Systems

abstract: In this paper, we consider the multicast transmission of a real-time Internet of Things (IoT) system, where an access point (AP) transmits time-stamped status updates to multiple IoT devices. Different from the existing studies that only considered multicast transmission without deadlines, we enforce a deadline for the service time of each multicast status update, taking into account both the fixed and randomly distributed deadlines. In particular, a status update is dropped when either its deadline expires or it is successfully received by a certain number of IoT devices. Considering deadlines is important for many emerging IoT applications, where the outdated status updates are of no use to IoT devices. We evaluate the timeliness of the status update delivery by applying a recently proposed metric, named the age of information (AoI), which is defined as the time elapsed since the generation of the most recently received status update. After deriving the distributions of the service time for all possible reception outcomes at IoT devices, we manage to obtain the closed-form expressions of both the average AoI and the average peak AoI. Simulations validate the performance analysis, which reveals that the multicast transmission with deadlines achieves a lower average AoI than that without deadlines and there exists an optimal value of the deadline that can minimize the average (peak) AoI. Results also show that the fixed and random deadlines have respective advantages in different deadline regimes.


title: Cross Architectural Power Modelling

abstract: Existing power modelling research focuses on the model rather than the process for developing models. An automated power modelling process that can be deployed on different processors for developing power models with high accuracy is developed. For this, (i) an automated hardware performance counter selection method that selects counters best correlated to power on both ARM and Intel processors, (ii) a noise filter based on clustering that can reduce the mean error in power models, and (iii) a two stage power model that surmounts challenges in using existing power models across multiple architectures are proposed and developed. The key results are: (i) the automated hardware performance counter selection method achieves comparable selection to the manual method reported in the literature, (ii) the noise filter reduces the mean error in power models by up to 55%, and (iii) the two stage power model can predict dynamic power with less than 8% error on both ARM and Intel processors, which is an improvement over classic models.


title: On the center of a finite Dickson nearfield

abstract: We study the center of a finite Dickson nearfield that arises from a Dickson pair.


title: Non-equilibrium thermodynamics with first-passage time of states as independent thermodynamic parameter

abstract: Non-equilibrium states of a thermodynamic statistical system are investigated using the thermodynamic parameter of the system lifetime, first-passage time, the time before degeneration of the system under influence of fluctuations. Statistical distributions that describe the behavior of energy and lifetime are used. Entropy and obtained thermodynamic relations are compared with the results of Extended Irreversible thermodynamics, where as an additional parameter selected fluxes. Explicit expressions are obtained for average lifetime and conjugate thermodynamic quantity. It is shown that, when is only one stationary non-equilibrium state and exponential distribution for the lifetime, flows can only reduce the average system lifetime. However, there are possibilities to description of increase the average lifetime of the system. A description of the growth of the average lifetime for one stationary non-equilibrium state is possible when choosing distributions for the lifetime, differing from the limiting exponential distribution.


title: Torsion groups of elliptic curves over some infinite abelian extensions of $\mathbb{Q}$

abstract: We determine, for an elliptic curve $E/\mathbb{Q}$, all the possible torsion groups $E(K)_{tors}$, where $K$ is the compositum of all $\mathbb{Z}_{p}$-extensions of $\mathbb{Q}$. Furthermore, we prove that for an elliptic curve $E/\mathbb{Q}$ it holds that $E(\mathbb{Q}(\mu_{p^{\infty}}))_{tors} = E(\mathbb{Q}(\mu_{p}))_{tors}$, for all primes $p \geq 5$ and $E(\mathbb{Q}(\mu_{3^{\infty}}))_{tors} = E(\mathbb{Q}(\mu_{3^3}))_{tors}$, $E(\mathbb{Q}(\mu_{2^{\infty}}))_{tors} = E(\mathbb{Q}(\mu_{2^4}))_{tors}$.


title: Molecular interpretation of the non-Newtonian viscoelastic behavior of liquid water at high frequencies

abstract: Using classical as well as ab-initio molecular dynamics simulations, we calculate the frequency-dependent shear viscosity of pure water and water-glycerol mixtures. In agreement with recent experiments, we find deviations from Newtonian-fluid behavior in the THz regime. Based on an extension of the Maxwell model, we introduce a viscoelastic model to describe the observed viscosity spectrum of pure water. We find four relaxation modes in the spectrum which we attribute to i) hydrogen-bond network topology changes, ii) hydrogen-bond stretch vibrations of water pairs, iii) collective vibrations of water molecule triplets, and iv) librational excitations of individual water molecules. Our model quantitatively describes the viscoelastic response of liquid water on short timescales, where the hydrodynamic description via a Newtonian-fluid model breaks down.

categories: physics.flu-dyn cond-mat.mes-hall cond-mat.soft cond-mat.stat-mech physics.chem-ph


title: On the Distribution of Minima in Intrinsic-Metric Rotation Averaging

abstract: Rotation Averaging is a non-convex optimization problem that determines orientations of a collection of cameras from their images of a 3D scene. The problem has been studied using a variety of distances and robustifiers. The intrinsic (or geodesic) distance on SO(3) is geometrically meaningful; but while some extrinsic distance-based solvers admit (conditional) guarantees of correctness, no comparable results have been found under the intrinsic metric. In this paper, we study the spatial distribution of local minima. First, we do a novel empirical study to demonstrate sharp transitions in qualitative behavior: as problems become noisier, they transition from a single (easy-to-find) dominant minimum to a cost surface filled with minima. In the second part of this paper we derive a theoretical bound for when this transition occurs. This is an extension of the results of [24], which used local convexity as a proxy to study the difficulty of problem. By recognizing the underlying quotient manifold geometry of the problem we achieve an n-fold improvement over prior work. Incidentally, our analysis also extends the prior $l_2$ work to general $l_p$ costs. Our results suggest using algebraic connectivity as an indicator of problem difficulty.


title: Generating odd-dimensional rotating black holes with equal angular momenta by using the Kerr-Schild Cartesian form of metric

abstract: The Newman-Janis (NJ) method is a prescription to derive the Kerr space-time from the Schwarzschild metric. The BTZ, Kerr and five-dimensional Myers-Perry (MP) black hole solutions have already been generated by different versions of the NJ method. However, it is not known how to generate the metric of higher-dimensional (d > 6) rotating black holes by this method. In this paper, we propose the simplest algorithm for generation of the five-dimensional MP metric with two arbitrary angular momenta by using the Kerr-Schild form of the metric and quaternions. Then, we present another new two-step version of the NJ approach without using quaternions that generate the five-dimensional MP metric with equal angular momenta. Finally, the extension of the later procedure is explained for the higher odd-dimensional rotating black holes (d > 5) with equal angular momenta.


title: Random Access based Reliable Uplink Communication and Power Transfer using Dynamic Power Splitting

abstract: Large communication networks, e.g. Internet of Things (IoT), are known to be vulnerable to co-channel interference. One possibility to address this issue is the use of orthogonal multiple access (OMA) techniques. However, due to a potentially very long duty cycle, OMA is not well suited for such schemes. Instead, random medium access (RMA) appears more promising. An RMA scheme is based on transmission of short data packets with random scheduling, which is typically unknown to the receiver. The received signal, which consists of the overlapping packets, can be used for energy harvesting and powering of a relay device. Such an energy harvesting relay may utilize the energy for further information processing and uplink transmission. In this paper, we address the design of a simultaneous information and power transfer scheme based on randomly scheduled packet transmissions and reliable symbol detection. We formulate a prediction problem with the goal to maximize the harvested power for an RMA scenario. In order to solve this problem, we propose a new prediction method, which shows a significant performance improvement compared to the straightforward baseline scheme. Furthermore, we investigate the complexity of the proposed method and its vulnerability to imperfect channel state information.


title: Wave Dark Matter and Ultra Diffuse Galaxies

abstract: Dark matter as a Bose-Einstein condensate, such as the axionic scalar field particles of String Theory, can explain the coldness of dark matter on large scales. Pioneering simulations in this context predict a rich wave-like structure, with a ground state soliton core in every galaxy surrounded by a halo of excited states that interfere on the de Broglie scale. This de Broglie scale is largest for low mass galaxies as momentum is lower, providing a simple explanation for the wide cores of dwarf spheroidal galaxies. Here we extend these "wave dark matter" ($\psi$DM) predictions to the newly discovered class of "Ultra Diffuse Galaxies" (UDG) that resemble dwarf spheroidal galaxies but with more extended stellar profiles. Currently the best studied example, DF44, has a uniform velocity dispersion of $\simeq 33$km/s, extending to at least 3 kpc, that we show is reproduced by our $\psi$DM simulations with a soliton radius of $\simeq 0.5$ kpc. In the $\psi$DM context, we show the relatively flat dispersion profile of DF44 lies between massive galaxies with compact dense solitons, as may be present in the Milky Way on a scale of 100pc and lower mass galaxies where the velocity dispersion declines centrally within a wide, low density soliton, like Antlia II, of radius 3 kpc.


title: Cahn-Hilliard-Brinkman systems for tumour growth

abstract: A phase field model for tumour growth is introduced that is based on a Brinkman law for convective velocity fields. The model couples a convective Cahn-Hilliard equation for the evolution of the tumour to a reaction-diffusion-advection equation for a nutrient and to a Brinkman-Stokes type law for the fluid velocity. The model is derived from basic thermodynamical principles, sharp interface limits are derived by matched asymptotics and an existence theory is presented for the case of a mobility which degenerates in one phase leading to a degenerate parabolic equation of fourth order. Finally numerical results describe qualitative features of the solutions and illustrate instabilities in certain situations.


title: The AiiDA-KKR plugin and its application to high-throughput impurity embedding into a topological insulator

abstract: The ever increasing availability of supercomputing resources led computer-based materials science into a new era of high-throughput calculations. Recently, Pizzi et al. [Comp. Mat. Sci. 111, 218 (2016)] introduced the AiiDA framework that provides a way to automate calculations while allowing to store the full provenance of complex workflows in a database. We present the development of the AiiDA-KKR plugin that allows to perform a large number of ab initio impurity embedding calculations based on the relativistic full-potential Korringa-Kohn-Rostoker Green function method. The capabilities of the AiiDA-KKR plugin are demonstrated with the calculation of several thousand impurities embedded into the prototypical topological insulator Sb2Te3. The results are collected in the JuDiT database which we use to investigate chemical trends as well as Fermi level and layer dependence of physical properties of impurities. This includes the study of spin moments, the impurity's tendency to form in-gap states or its effect on the charge doping of the host-crystal. These properties depend on the detailed electronic structure of the impurity embedded into the host crystal which highlights the need for ab initio calculations in order to get accurate predictions.


title: From Statistical Relational to Neuro-Symbolic Artificial Intelligence

abstract: Neuro-symbolic and statistical relational artificial intelligence both integrate frameworks for learning with logical reasoning. This survey identifies several parallels across seven different dimensions between these two fields. These cannot only be used to characterize and position neuro-symbolic artificial intelligence approaches but also to identify a number of directions for further research.


title: Set theoretic Yang-Baxter & reflection equations and quantum group symmetries

abstract: Connections between set-theoretic Yang-Baxter and reflection equations and quantum integrable systems are investigated. We show that set-theoretic $R$-matrices are expressed as twists of known solutions. We then focus on reflection and twisted algebras and we derive the associated defining algebra relations for $R$-matrices being Baxterized solutions of the $A$-type Hecke algebra ${\cal H}_N(q=1)$. We show in the case of the reflection algebra that there exists a ``boundary'' finite sub-algebra for some special choice of ``boundary'' elements of the $B$-type Hecke algebra ${\cal B}_N(q=1, Q)$. We also show the key proposition that the associated double row transfer matrix is essentially expressed in terms of the elements of the $B$-type Hecke algebra. This is one of the fundamental results of this investigation together with the proof of the duality between the boundary finite subalgebra and the $B$-type Hecke algebra. These are universal statements that largely generalize previous relevant findings, and also allow the investigation of the symmetries of the double row transfer matrix.


title: Hyper-decoherence in Density Hypercubes

abstract: We study hyper-decoherence in three operational theories from the literature, all examples of the recently introduced higher-order CPM construction. Amongst these, we show the theory of density hypercubes to be the richest in terms of post-quantum phenomena. Specifically, we demonstrate the existence of a probabilistic hyper-decoherence of density hypercubes to quantum systems and calculate the associated hyper-phase group. This makes density hypercubes of significant foundational interest, as an example of a theory which side-steps a recent no-go result in an original and unforeseen way, while at the same time displaying fully fledged operational semantics.


title: Delone sets generated by square roots

abstract: Delone sets are locally finite point sets, such that (a) any two points are separated by a given minimum distance, and (b) there is a given radius so that every ball of that radius contains at least one point. Important examples include the vertex set of Penrose tilings and other regular model sets, which serve as a mathematical model for quasicrystals. In this note we show that the point set given by the values $\sqrt{n} e^{2\pi i \alpha \sqrt{n}}$ with $n=1,2,3,\ldots$ is a Delone set in the complex plane, for any $\alpha>0$. This complements Akiyama's recent observation (see arXiv:1904.10815) that $\sqrt{n} e^{2\pi i \alpha{n}}$ with $n=1,2,3,\ldots$ forms a Delone set, if and only if $\alpha$ is badly approximated by rationals. A key difference is that our setting does not require Diophantine conditions on $\alpha$.


title: Renormalization of a model for spin-1 matter fields

abstract: In this work, the one-loop renormalization of a theory for fields transforming in the $(1,0)\oplus(0,1)$ representation of the Homogeneous Lorentz Group is studied. The model includes an arbitrary gyromagnetic factor and self-interactions of the spin 1 field, which has mass dimension one. The model is shown to be renormalizable for any value of the gyromagnetic factor.


title: Bottom quark mass effects in associated $WH$ production with $H \to b\bar{b}$ decay through NNLO QCD

abstract: We present a computation of NNLO QCD corrections to the production of a Higgs boson in association with a $W$ boson at the LHC followed by the decay of the Higgs boson to a $b\bar{b}$ pair. At variance with previous NNLO QCD studies of the same process, we treat $b$ quarks as massive. An important advantage of working with massive $b$ quarks is that it makes the use of flavor jet algorithms unnecessary and allows us to employ conventional jet algorithms to define $b$ jets. We compare NNLO QCD descriptions of the associated $WH(b\bar{b})$ production with massive and massless $b$ quarks and also contrast them with the results provided by parton showers. We find ${\cal O}(5\%)$ differences in fiducial cross sections computed with massless and massive $b$ quarks. We also observe that much larger differences between massless and massive results, as well as between fixed-order and parton-shower results, can arise in selected kinematic distributions.


title: Time-Frequency Transfer through a 70 dB Free Space Channel: Towards Satellite-Ground Time Dissemination

abstract: Time and frequency transfer lies at the heart of the field of metrology. Compared to current microwave dissemination such as GPS, optical domain dissemination can provide more than one order of magnitude in terms of higher accuracy, which allows for many applications such as the redefinition of the second, tests of general relativity and fundamental quantum physics, precision navigation and quantum communication. Although optical frequency transfer has been demonstrated over thousand kilometers fiber lines, intercontinental time comparison and synchronization still requires satellite free space optical time and frequency transfer. Quite a few pioneering free space optical time and frequency experiments have been implemented at the distance of tens kilometers at ground level. However, there exists no detailed analysis or ground test to prove the feasibility of satellite-based optical time-frequency transfer. Here, we analyze the possibility of this system and then provide the first-step ground test with high channel loss. We demonstrate the optical frequency transfer with an instability of $10^{-18}$ level in 8,000 seconds across a 16-km free space channel with a loss of up to 70~dB, which is comparable with the loss of a satellite-ground link at medium earth orbit (MEO) and geostationary earth orbit (GEO).


title: Principal cycles of one dimensional foliations associated to a plane field in $\mathbb{E}^3$

abstract: In this work it will be analyzed $\eta$-principal cycles (compact leaves) of one dimensional singular foliations associated to a plane field $\Delta_{\eta}$ defined by a unit and normal vector field ${\eta}$ in $ \mathbb E^3$. The leaves are orthogonal to the orbits of ${\eta}$ and are the integral curves corresponding to directions of extreme normal curvature of the plane field $\Delta_{\eta}$. % It is shown that, generically, given a $\eta$-principal cycle it can be make hyperbolic (the derivative of the first return of the Poincar\'e map has all eigenvalues disjoint from the unit circle) by a small deformation of the vector field ${\eta}$. Also is shown that for a dense set of unit vector fields, with the weak $C^r$-topology of Whitney, the $\eta$-principal cycles are hyperbolic.


title: On Polynomial Solutions of Linear Differential Equations with Applications

abstract: The analysis of many physical phenomena can be reduced to the study of solutions of differential equations with polynomial coefficients. In the present work, we establish the necessary and sufficient conditions for the existence of polynomial solutions to the linear differential equation \begin{equation*} \sum_{k=0}^{n} \alpha_{k} \, r^{k} \, y''(r) + \sum_{k=0}^{n-1} \beta_{k} \, r^{k} \, y'(r) - \sum_{k=0}^{n-2} \tau_{k} \, r^{k} \, y(r) = 0 \, , \end{equation*} for arbitrary $n\geq 2$. We show by example that for $n \ge 3$, the necessary condition is not enough to ensure the existence of the polynomial solutions. Using Scheff\'{e}'s criteria, we show that from this differential equation there are $n$-generic equations solvable by a two-term recurrence formula. The closed-form solutions of these generic equations are given in terms of the generalized hypergeometric functions. For the arbitrary $n$ differential equations, three elementary theorems and one algorithm were developed to construct the polynomial solutions explicitly. The algorithm is used to establish the polynomial solutions in the case of $n=4$. To demonstrate the simplicity and applicability of this approach, it is used to study the solutions of Heun and Dirac equations.


title: DeepCap: Monocular Human Performance Capture Using Weak Supervision

abstract: Human performance capture is a highly important computer vision problem with many applications in movie production and virtual/augmented reality. Many previous performance capture approaches either required expensive multi-view setups or did not recover dense space-time coherent geometry with frame-to-frame correspondences. We propose a novel deep learning approach for monocular dense human performance capture. Our method is trained in a weakly supervised manner based on multi-view supervision completely removing the need for training data with 3D ground truth annotations. The network architecture is based on two separate networks that disentangle the task into a pose estimation and a non-rigid surface deformation step. Extensive qualitative and quantitative evaluations show that our approach outperforms the state of the art in terms of quality and robustness.


title: Additional contributions to elastic energy of lipid membranes: Tilt-curvature coupling and curvature gradient

abstract: Lipid bilayer membranes are flexible thin laterally fluid films consisting of two unimolecular layers of lipids. On spatial scales much larger than the bilayer thickness, the membrane elasticity is well determined by its shape and adequately described by the classical Helfrich Hamiltonian. However, various local membrane heterogeneities can result in a lipids tilt relative to the membrane surface normal. On the basis of the classical elasticity theory of 3D bodies, Hamm and Kozlov [Eur. Phys. J. E 3, 323 (2000)] derived the most general energy functional, taking into account the tilt and bending. Recently, Terzi and Deserno [J. Chem. Phys. 147, 084702 (2017)] showed that Hamm and Kozlov's derivation was incomplete because the tilt-curvature coupling term had been missed. However, the energy functional derived by Terzi and Deserno appeared to be unstable, thereby being invalid for applications. Here, we derive a stable elastic energy functional, showing that the squared gradient of the curvature was missed in both of these works. This change in the energy functional arises from a more accurate consideration of the transverse shear deformation terms and their influence on the membrane stability. We also consider the influence of the prestress terms on the stability of the energy functional, and we show that the effective Gaussian curvature should be neglected because of the stability requirements. We further generalize the theory, including the stretching-compressing deformation modes, and we provide the geometrical interpretation of the terms that were previously missed by Hamm and Kozlov. The physical consequences of the new terms are analyzed in the case of a membrane-mediated interaction of two amphipathic peptides located in the same monolayer. We also provide the expression for director fluctuations, comparing it with that obtained by Terzi and Deserno.


title: Incomplete Symmetric Orthogonal Polynomials of Finite Type Generated by a Generalized Sturm-Liouville Theorem

abstract: In a classical case, orthogonal polynomial sequences are in such a way that the $ n $th polynomial has the exact degree $n$. Such sequences are complete and form a basis of the space for any arbitrary polynomial. In this paper, we introduce some incomplete sets of finite orthogonal polynomials that do not contain all degrees but they are solutions of some symmetric generalized Sturm-Liouville problems. Although such polynomials do not possess all properties as in classical cases, they can be applied to functions approximation theory as we will compute their explicit norm square values.


title: The Logotropic Dark Fluid: Observational and Thermodynamic Constraints

abstract: We have considered a spatially flat, homogeneous and isotropic FLRW Universe filled with a single fluid, known as logotropic dark fluid (LDF), whose pressure evolves through a logarithmic equation of state. We use the recent Pantheon SNIa and cosmic chronometer datasets to constrain the parameters of this model, the present fraction of dark matter $\Omega_{m0}$ and the Hubble constant $H_0$. We find that the mean values of these parameters are $\Omega_{m0}=0.288\pm 0.012$ and $H_{0}=69.652\pm 1.698~{\rm km/s/Mpc}$ at the $1\sigma$ CL. We also find that the LDF model shows a smooth transition from the deceleration phase to acceleration phase of the universe in the recent past. We notice that the redshift of this transition $z_{t}=0.706\pm 0.048$ ($1\sigma$ error) and is well consistent with the present observations. Interestingly, we find that the Universe will settle down to a $\Lambda$CDM model in future and there will not be any future singularity in the LDF model. Furthermore, we notice that there is no significant difference between the LDF and $\Lambda$CDM models at the present epoch, but the difference (at the percent level) between these models is found as the redshift increases. We have also studied the generalized second law of thermodynamics at the dynamical apparent horizon for the LDF model with the Bekenstein and Viaggiu entropies.


title: A Generalization of Self-Improving Algorithms

abstract: Ailon et al. [SICOMP'11] proposed self-improving algorithms for sorting and Delaunay triangulation (DT) when the input instances $x_1,\cdots,x_n$ follow some unknown \emph{product distribution}. That is, $x_i$ comes from a fixed unknown distribution $\mathsf{D}_i$, and the $x_i$'s are drawn independently. After spending $O(n^{1+\varepsilon})$ time in a learning phase, the subsequent expected running time is $O((n+ H)/\varepsilon)$, where $H \in \{H_\mathrm{S},H_\mathrm{DT}\}$, and $H_\mathrm{S}$ and $H_\mathrm{DT}$ are the entropies of the distributions of the sorting and DT output, respectively. In this paper, we allow dependence among the $x_i$'s under the \emph{group product distribution}. There is a hidden partition of $[1,n]$ into groups; the $x_i$'s in the $k$-th group are fixed unknown functions of the same hidden variable $u_k$; and the $u_k$'s are drawn from an unknown product distribution. We describe self-improving algorithms for sorting and DT under this model when the functions that map $u_k$ to $x_i$'s are well-behaved. After an $O(\mathrm{poly}(n))$-time training phase, we achieve $O(n + H_\mathrm{S})$ and $O(n\alpha(n) + H_\mathrm{DT})$ expected running times for sorting and DT, respectively, where $\alpha(\cdot)$ is the inverse Ackermann function.


title: Local Multiple Traces Formulation for Electromagnetics: Stability and Preconditioning for Smooth Geometries

abstract: We consider the time-harmonic electromagnetic transmission problem for the unit sphere. Appealing to a vector spherical harmonics analysis, we prove the first stability result of the local multiple trace formulation (MTF) for electromagnetics, originally introduced by Hiptmair and Jerez-Hanckes [Adv. Comp. Math. 37 (2012), 37-91] for the acoustic case, paving the way towards an extension to general piecewise homogeneous scatterers. Moreover, we investigate preconditioning techniques for the local MTF scheme and study the accumulation points of induced operators. In particular, we propose a novel second-order inverse approximation of the operator. Numerical experiments validate our claims and confirm the relevance of the preconditioning strategies.


title: Tatamibari is NP-complete

abstract: In the Nikoli pencil-and-paper game Tatamibari, a puzzle consists of an $m \times n$ grid of cells, where each cell possibly contains a clue among +, -, |. The goal is to partition the grid into disjoint rectangles, where every rectangle contains exactly one clue, rectangles containing + are square, rectangles containing - are strictly longer horizontally than vertically, rectangles containing | are strictly longer vertically than horizontally, and no four rectangles share a corner. We prove this puzzle NP-complete, establishing a Nikoli gap of 16 years. Along the way, we introduce a gadget framework for proving hardness of similar puzzles involving area coverage, and show that it applies to an existing NP-hardness proof for Spiral Galaxies. We also present a mathematical puzzle font for Tatamibari.


title: A new geodesic-based feature for characterization of 3D shapes: application to soft tissue organ temporal deformations

abstract: In this paper, we propose a method for characterizing 3D shapes from point clouds and we show a direct application on a study of organ temporal deformations. As an example, we characterize the behavior of a bladder during a forced respiratory motion with a reduced number of 3D surface points: first, a set of equidistant points representing the vertices of quadrilateral mesh for the surface in the first time frame are tracked throughout a long dynamic MRI sequence using a Large Deformation Diffeomorphic Metric Mapping (LDDMM) framework. Second, a novel geometric feature which is invariant to scaling and rotation is proposed for characterizing the temporal organ deformations by employing an Eulerian Partial Differential Equations (PDEs) methodology. We demonstrate the robustness of our feature on both synthetic 3D shapes and realistic dynamic MRI data portraying the bladder deformation during forced respiratory motions. Promising results are obtained, showing that the proposed feature may be useful for several computer vision applications such as medical imaging, aerodynamics and robotics.


title: Collaborative Video Object Segmentation by Foreground-Background Integration

abstract: This paper investigates the principles of embedding learning to tackle the challenging semi-supervised video object segmentation. Different from previous practices that only explore the embedding learning using pixels from foreground object (s), we consider background should be equally treated and thus propose Collaborative video object segmentation by Foreground-Background Integration (CFBI) approach. Our CFBI implicitly imposes the feature embedding from the target foreground object and its corresponding background to be contrastive, promoting the segmentation results accordingly. With the feature embedding from both foreground and background, our CFBI performs the matching process between the reference and the predicted sequence from both pixel and instance levels, making the CFBI be robust to various object scales. We conduct extensive experiments on three popular benchmarks, i.e., DAVIS 2016, DAVIS 2017, and YouTube-VOS. Our CFBI achieves the performance (J$F) of 89.4%, 81.9%, and 81.4%, respectively, outperforming all the other state-of-the-art methods. Code: https://github.com/z-x-yang/CFBI.


title: Interpretable Deep Recurrent Neural Networks via Unfolding Reweighted $\ell_1$-$\ell_1$ Minimization: Architecture Design and Generalization Analysis

abstract: Deep unfolding methods---for example, the learned iterative shrinkage thresholding algorithm (LISTA)---design deep neural networks as learned variations of optimization methods. These networks have been shown to achieve faster convergence and higher accuracy than the original optimization methods. In this line of research, this paper develops a novel deep recurrent neural network (coined reweighted-RNN) by the unfolding of a reweighted $\ell_1$-$\ell_1$ minimization algorithm and applies it to the task of sequential signal reconstruction. To the best of our knowledge, this is the first deep unfolding method that explores reweighted minimization. Due to the underlying reweighted minimization model, our RNN has a different soft-thresholding function (alias, different activation functions) for each hidden unit in each layer. Furthermore, it has higher network expressivity than existing deep unfolding RNN models due to the over-parameterizing weights. Importantly, we establish theoretical generalization error bounds for the proposed reweighted-RNN model by means of Rademacher complexity. The bounds reveal that the parameterization of the proposed reweighted-RNN ensures good generalization. We apply the proposed reweighted-RNN to the problem of video frame reconstruction from low-dimensional measurements, that is, sequential frame reconstruction. The experimental results on the moving MNIST dataset demonstrate that the proposed deep reweighted-RNN significantly outperforms existing RNN models.


title: First search for the $\eta_{c2}(1D)$ in $B$ decays at Belle

abstract: The first dedicated search for the $\eta_{c2}(1D)$ is carried out using the decays $B^+ \rightarrow \eta_{c2}(1D) K^+$, $B^0 \rightarrow \eta_{c2}(1D) K^0_S$, $B^0 \rightarrow \eta_{c2}(1D) \pi^- K^+$, and $B^+ \rightarrow \eta_{c2}(1D) \pi^+ K^0_S$ with $\eta_{c2}(1D) \to h_c \gamma$. No significant signal is found. For the $\eta_{c2}(1D)$ mass range between $3795$ and $3845\ \mathrm{MeV}/c^2$, the branching-fraction upper limits are determined to be $\mathcal{B}(B^+ \rightarrow \eta_{c2}(1D) K^+) \times \mathcal{B}(\eta_{c2}(1D) \to h_c \gamma) < 3.7 \times 10^{-5}$, $\mathcal{B}(B^0 \rightarrow \eta_{c2}(1D) K^0_S) \times \mathcal{B}(\eta_{c2}(1D) \to h_c \gamma) < 3.5 \times 10^{-5}$, $\mathcal{B}(B^0 \rightarrow \eta_{c2}(1D) \pi^- K^+) \times \mathcal{B}(\eta_{c2}(1D) \to h_c \gamma) < 1.0 \times 10^{-4}$, and $\mathcal{B}(B^+ \rightarrow \eta_{c2}(1D) \pi^+ K^0_S) \times \mathcal{B}(\eta_{c2}(1D) \to h_c \gamma) < 1.1 \times 10^{-4}$ at 90% C. L. The analysis is based on the 711 $\mathrm{fb}^{-1}$ data sample collected on the $\Upsilon(4S)$ resonance by the Belle detector, which operated at the KEKB asymmetric-energy $e^+ e^-$ collider.


title: Sparse Beamspace Equalization for Massive MU-MIMO mmWave Systems

abstract: We propose equalization-based data detection algorithms for all-digital millimeter-wave (mmWave) massive multiuser multiple-input multiple-out (MU-MIMO) systems that exploit sparsity in the beamspace domain to reduce complexity. We provide a condition on the number of users, basestation antennas, and channel sparsity for which beamspace equalization can be less complex than conventional antenna-domain processing. We evaluate the performance-complexity trade-offs of existing and new beamspace equalization algorithms using simulations with realistic mmWave channel models. Our results reveal that one of our proposed beamspace equalization algorithms achieves up to 8x complexity reduction under line-of-sight conditions, assuming a sufficiently large number of transmissions within the channel coherence interval.