title: Will You Come Back to Contribute? Investigating the Inactivity of OSS Core Developers in GitHub

abstract: Several Open Source Software (OSS) projects depend on the continuity of their development communities to remain sustainable. Understanding how developers become inactive or why they take breaks can help communities prevent abandonment and incentivize developers to come back. In this paper, we propose a novel method to identify developers' inactive periods by analyzing the individual rhythm of contributions to the projects. Using this method, we quantitatively analyze the inactivity of core developers in 18 OSS organizations hosted on GitHub. We also survey core developers to receive their feedback about the identified breaks and transitions. Our results show that our method was effective for identifying developers' breaks. About 94% of the surveyed core developers agreed with our state model of inactivity; 71% and 79% of them acknowledged their breaks and state transition, respectively. We also show that all core developers take breaks (at least once) and about a half of them (~45%}) have completely disengaged from a project for at least one year. We also analyzed the probability of transitions to/from inactivity and found that developers who pause their activity have a ~35-55\% chance to return to an active state; yet, if the break lasts for a year or longer, then the probability of resuming activities drops to ~21-26%, with a ~54% chance of complete disengagement. These results may support the creation of policies and mechanisms to make OSS community managers aware of breaks and potential project abandonment.


title: You Only Learn Once: Universal Anatomical Landmark Detection

abstract: Detecting anatomical landmarks in medical images plays an essential role in understanding the anatomy and planning automated processing. In recent years, a variety of deep neural network methods have been developed to detect landmarks automatically. However, all of those methods are unary in the sense that a highly specialized network is trained for a single task say associated with a particular anatomical region. In this work, for the first time, we investigate the idea of "You Only Learn Once (YOLO)" and develop a universal anatomical landmark detection model to realize multiple landmark detection tasks with end-to-end training based on mixed datasets. The model consists of a local network and a global network: The local network is built upon the idea of universal U-Net to learn multi-domain local features and the global network is a parallelly-duplicated sequential of dilated convolutions that extract global features to further disambiguate the landmark locations. It is worth mentioning that the new model design requires much fewer parameters than models with standard convolutions to train. We evaluate our YOLO model on three X-ray datasets of 1,588 images on the head, hand, and chest, collectively contributing 62 landmarks. The experimental results show that our proposed universal model behaves largely better than any previous models trained on multiple datasets. It even beats the performance of the model that is trained separately for every single dataset. The code is available at https://github.com/MIRACLE-Center/YOLO_Universal_Anatomical_Landmark_Detection


title: Spontaneous ferromagnetism induced topological phase transition in EuB6

abstract: The interplay between various symmetries and electronic bands topology is one of the core issues for topological quantum materials. Spontaneous magnetism, which leads to the breaking of time-reversal symmetry, has been proven to be a powerful approach to trigger various exotic topological phases. In this work, utilizing the combination of angle-resolved photoemission spectroscopy, magneto-optical Kerr effect microscopy and first-principles calculations, we present the direct evidence on the realization of the long-sought spontaneous time-reversal symmetry breaking induced topological phase transition in soft ferromagnetic EuB$_6$. We successfully disentangle the bulk band structure from complicated surface states, and reveal the hallmark band inversion occurring between two opposite-parity bulk bands below the phase transition temperature. Besides, our magneto-optical Kerr effect microscopy result confirms the simultaneous formation of magnetic domains in EuB$_6$, implying the intimate link between the topological phase transition and broken time-reversal symmetry therein. Our results demonstrate that EuB$_6$ provides a potential platform to study the interplay between the topological phases and tunable magnetic orders.


title: A footnote to a footnote to a paper of B. Segre

abstract: The paper is devoted to a detailed study of sextics in three variables having a decomposition as a sum of nine powers of linear forms. This is the unique case of a Veronese image of the plane which, in the terminology introduced by Ciliberto and the first author in [12], is weakly defective, and non-identifiable. The title originates from a paper of 1981, where Arbarello and Cornalba state and prove a result on plane curves with preassigned singularities, which is relevant to extend the studies of B. Segre on special linear series on curves. We explore the apolar ideal of a sextic $F$ and the associated catalecticant maps, in order to determine the minimal decompositions. A particular attention is played to the postulation of the decompositions. Starting with forms with a decomposition $A$ of length $9$, the postulation of $A$ determines several loci in the $9$-secant of the $6$-Veronese image of $\mathbb P^2$, which include the lower secant varieties, and the ramification locus, where the decomposition is unique. We prove that equations of all these loci, including the $8$-th and the $7$-th secant varieties, are provided by minors of the catalecticant maps and by the invariant $H_{27}$ that we describe in Section 4.


title: A Versatile Co-Design Approach For Dynamic Legged Robots

abstract: We present a versatile framework for the computational co-design of legged robots and dynamic maneuvers. Current state-of-the-art approaches are typically based on random sampling or concurrent optimization. We propose a novel bilevel optimization approach that exploits the derivatives of the motion planning sub-problem (i.e., the lower level). These motion-planning derivatives allow us to incorporate arbitrary design constraints and costs in an general-purpose nonlinear program (i.e., the upper level). Our approach allows for the use of any differentiable motion planner in the lower level and also allows for an upper level that captures arbitrary design constraints and costs. It efficiently optimizes the robot's morphology, payload distribution and actuator parameters while considering its full dynamics, joint limits and physical constraints such as friction cones. We demonstrate these capabilities by designing quadruped robots that jump and trot. We show that our method is able to design a more energy-efficient Solo robot for these tasks.


title: Sharp reverse isoperimetric inequalities in nonpositively curved cones

abstract: We prove a pair of sharp reverse isoperimetric inequalities for domains in nonpositively curved surfaces: (1) metric disks centered at the vertex of a Euclidean cone of angle at least $2\pi$ have minimal area among all nonpositively curved disks of the same perimeter and the same total curvature; (2) geodesic triangles in a Euclidean (resp. hyperbolic) cone of angle at least $2\pi$ have minimal area among all nonpositively curved geodesic triangles (resp. all geodesic triangles of curvature at most $-1$) with the same side lengths and angles.


title: Anomaly Detection Based on Selection and Weighting in Latent Space

abstract: With the high requirements of automation in the era of Industry 4.0, anomaly detection plays an increasingly important role in higher safety and reliability in the production and manufacturing industry. Recently, autoencoders have been widely used as a backend algorithm for anomaly detection. Different techniques have been developed to improve the anomaly detection performance of autoencoders. Nonetheless, little attention has been paid to the latent representations learned by autoencoders. In this paper, we propose a novel selection-and-weighting-based anomaly detection framework called SWAD. In particular, the learned latent representations are individually selected and weighted. Experiments on both benchmark and real-world datasets have shown the effectiveness and superiority of SWAD. On the benchmark datasets, the SWAD framework has reached comparable or even better performance than the state-of-the-art approaches.


title: Innovation adoption: Broadcasting vs. Virality

abstract: Diffusion channels are critical to determining the adoption scale which leads to the ultimate impact of an innovation. The aim of this study is to develop an integrative understanding of the impact of two diffusion channels (i.e., broadcasting vs virality) on innovation adoption. Using citations of a series of classic algorithms and the time series of co-authorship as the footprints of their diffusion trajectories, we propose a novel method to analyze the intertwining relationships between broadcasting and virality in the innovation diffusion process. Our findings show that broadcasting and virality have similar diffusion power, but play different roles across diffusion stages. Broadcasting is more powerful in the early stages but may be gradually caught up or even surpassed by virality in the later period. Meanwhile, diffusion speed in virality is significantly faster than broadcasting and members from virality channels tend to adopt the same innovation repetitively.


title: On the Minkowski content of self-similar random homogeneous iterated function systems

abstract: The Minkowski content of a compact set is a fine measure of its geometric scaling. For Lebesgue null sets it measures the decay of the Lebesgue measure of epsilon neighbourhoods of the set. It is well known that self-similar sets, satisfying reasonable separation conditions and non-log comensurable contraction ratios, have a well-defined Minkowski content. When dropping the contraction conditions, the more general notion of average Minkowski content still exists. For random recursive self-similar sets the Minkowski content also exists almost surely, whereas for random homogeneous self-similar sets it was recently shown by Z\"{a}hle that the Minkowski content exists in expectation. In this short note we show that the upper Minkowski content, as well as the upper average Minkowski content of random homogeneous self-similar sets is infinite, almost surely, answering a conjecture posed by Z\"{a}hle. Additionally, we show that in the random homogeneous equicontractive self-similar setting the lower Minkowski content is zero and the lower average Minkowski content is also infinite. These results are in stark contrast to the random recursive model or the mean behaviour of random homogeneous attractors.


title: Strong unique continuation and local asymptotics at the boundary for fractional elliptic equations

abstract: We study local asymptotics of solutions to fractional elliptic equations at boundary points, under some outer homogeneous Dirichlet boundary condition. Our analysis is based on a blow-up procedure which involves some Almgren type monotonicity formulae and provides a classification of all possible homogeneity degrees of limiting entire profiles. As a consequence, we establish a strong unique continuation principle from boundary points.


title: Distributed Reinforcement Learning for Flexible and Efficient UAV Swarm Control

abstract: Over the past few years, the use of swarms of Unmanned Aerial Vehicles (UAVs) in monitoring and remote area surveillance applications has become widespread thanks to the price reduction and the increased capabilities of drones. The drones in the swarm need to cooperatively explore an unknown area, in order to identify and monitor interesting targets, while minimizing their movements. In this work, we propose a distributed Reinforcement Learning (RL) approach that scales to larger swarms without modifications. The proposed framework relies on the possibility for the UAVs to exchange some information through a communication channel, in order to achieve context-awareness and implicitly coordinate the swarm's actions. Our experiments show that the proposed method can yield effective strategies, which are robust to communication channel impairments, and that can easily deal with non-uniform distributions of targets and obstacles. Moreover, when agents are trained in a specific scenario, they can adapt to a new one with minimal additional training. We also show that our approach achieves better performance compared to a computationally intensive look-ahead heuristic.


title: Voting in Transfer Learning System for Ground-Based Cloud Classification

abstract: Clouds classification is a great challenge in meteorological research. The different types of clouds, currently known and present in our skies, can produce radioactive effects that impact on the variation of atmospheric conditions, with the consequent strong dominance over the earth's climate and weather. Therefore, identifying their main visual features becomes a crucial aspect. In this paper, the goal is to adopt a pretrained deep neural networks based architecture for clouds image description, and subsequently, classification. The approach is pyramidal. Proceeding from the bottom up, it partially extracts previous knowledge of deep neural networks related to original task and transfers it to the new task. The updated knowledge is integrated in a voting context to provide a classification prediction. The framework trains the neural models on unbalanced sets, a condition that makes the task even more complex, and combines the provided predictions through statistical measures. Experimental phase on different cloud image datasets is performed and results achieved show the effectiveness of the proposed approach with respect to state of the art competitors.


title: The distance backbone of complex networks

abstract: Redundancy needs more precise characterization as it is a major factor in the evolution and robustness of networks of multivariate interactions. We investigate the complexity of such interactions by inferring a connection transitivity that includes all possible measures of path length for weighted graphs. The result, without breaking the graph into smaller components, is a distance backbone subgraph sufficient to compute all shortest paths. This is important for understanding the dynamics of spread and communication phenomena in real-world networks. The general methodology we formally derive yields a principled graph reduction technique and provides a finer characterization of the triangular geometry of all edges -- those that contribute to shortest paths and those that do not but are involved in other network phenomena. We demonstrate that the distance backbone is very small in large networks across domains ranging from air traffic to the human brain connectome, revealing that network robustness to attacks and failures seems to stem from surprisingly vast amounts of redundancy.


title: The aftermath of nova Cen 2013 (V1369 Cen)

abstract: Context: Classical nova progenitors are cataclysmic variables and very old novae are observed to match high mass transfer rate and (relatively) long orbital period systems. However, the aftermath of a classical nova has never been studied in detail. Aims: To probe the aftermath of a classical nova explosion in cataclysmic variables and observe as the binary system relaxes to quiescence. Methods: We used multi-wavelength time resolved optical and near-infrared spectroscopy for a bright, well studied classical nova five years after outburst. We were able to disentangle the contribution of the ejecta at this late epoch using its previous characterization, separating the ejecta emission from that of the binary system. Results: We determined the binary orbital period (P=3.76 hr), the system separation and mass ratio (q>=0.17 for an assumed white dwarf mass of 1.2 solar masses). We find evidence of an irradiated secondary star and no unambiguous signature of an accretion disk, although we identify a second emission line source tied to the white dwarf with an impact point. The data are consistent with a bloated white dwarf envelope and the presence of unsettled gas within the white dwarf Roche lobe. Conclusions: At more than 5 years after eruption, it appears that this classical nova has not yet relaxed.


title: Queue layouts and nonrepetitive colouring of planar graphs and powers of trees

abstract: Dujmovi\'{c}, Joret, Micek, Morin, Ueckerdt and Wood recently in [Planar graphs have bounded queue-number, Journal of the ACM, Volume 67, Issue 4, Article No.: 22, August 2020] showed some attractive graph product structure theorems for planar graphs. By using the product structure, they proved that planar graphs have bounded queue-number $48$; in [Planar graphs have bounded nonrepetitive chromatic number, Advances in Combinatorics, 5, 11 pp, 2020], the authors proved that planar graphs have bounded nonrepetitive chromatic number $768$. In this paper, still by using some product structure theorem, we improve the upper bound of queue-number of planar graphs to $27$ and the non-repetitive chromatic number to $320$. We also study powers of trees. We show a graph product structure theorem of the $k$-th power $T^k$ of tree $T$, then use it giving an upper bound of the nonrepetitive~chromatic~number of $T^k$. We also give an asymptotically tight upper bound of the queue-number of $T^k$.


title: Local phase delay effect on the asymmetric spectroscopy of plasmon-exciton coupling systems

abstract: The phase delay of a local electric field, being well-known in plasmonic nanostructures, has seldom been investigated to modulate the plasmon-exciton interaction. Here, with the single-particle spectroscopy method, we experimentally investigate the phase effect in plasmon-exciton coupling systems consisting of monolayer WSe2 and an individual gold nanorod. The local plasmon phase delay is tuned by adopting various nanorods with different resonant energies respective to the exciton. We find that the local plasmon phase delay between the excitons and the plasmonic modes is as equally essential as the amplitude. The phase delay modulates the plasmon-exciton coupling considerably, resulting in an asymmetric spectral line-shape due to the interference behavior. There is an excellent agreement for the phase delay between the numerically calculated near-field phase distribution and the experimental results. The local phase delay can act as an effective way to modulate the properties of plexcitonic coupling at the nanoscale, which may have potential applications in nanoscale sensing, solar energy devices, and enhancing nonlinear processes.


title: Human-Piloted Drone Racing: Visual Processing and Control

abstract: Humans race drones faster than algorithms, despite being limited to a fixed camera angle, body rate control, and response latencies in the order of hundreds of milliseconds. A better understanding of the ability of human pilots of selecting appropriate motor commands from highly dynamic visual information may provide key insights for solving current challenges in vision-based autonomous navigation. This paper investigates the relationship between human eye movements, control behavior, and flight performance in a drone racing task. We collected a multimodal dataset from 21 experienced drone pilots using a highly realistic drone racing simulator, also used to recruit professional pilots. Our results show task-specific improvements in drone racing performance over time. In particular, we found that eye gaze tracks future waypoints (i.e., gates), with first fixations occurring on average 1.5 seconds and 16 meters before reaching the gate. Moreover, human pilots consistently looked at the inside of the future flight path for lateral (i.e., left and right turns) and vertical maneuvers (i.e., ascending and descending). Finally, we found a strong correlation between pilots eye movements and the commanded direction of quadrotor flight, with an average visual-motor response latency of 220 ms. These results highlight the importance of coordinated eye movements in human-piloted drone racing. We make our dataset publicly available.


title: Social Media Identity Deception Detection: A Survey

abstract: Social media have been growing rapidly and become essential elements of many people's lives. Meanwhile, social media have also come to be a popular source for identity deception. Many social media identity deception cases have arisen over the past few years. Recent studies have been conducted to prevent and detect identity deception. This survey analyses various identity deception attacks, which can be categorized into fake profile, identity theft and identity cloning. This survey provides a detailed review of social media identity deception detection techniques. It also identifies primary research challenges and issues in the existing detection techniques. This article is expected to benefit both researchers and social media providers.


title: Structural Coupling for Microservices

abstract: Cloud-native Applications are 'distributed, elastic and horizontal-scalable systems composed of (micro)services which isolate states in a minimum of stateful components'. Hence, an important property is to ensure a low coupling and a high cohesion among the (micro)services composing the cloud-native application. Loosely coupled and highly cohesive services allow development teams to work in parallel, reducing the communication overhead between teams. However, despite both practitioners and researchers agree on the importance of this general property, there are no validated metrics to effectively measure or test the actual coupling level between services. In this work, we propose ways to compute and visualize the coupling between microservices, by extending and adapting the concepts behind the computation of the traditional structural coupling. We validate these measures with a case study involving 17 open-source projects and we provide an automatic approach to measure them. The results of this study highlight how these metrics provide to practitioners a quantitative and visual view of services compositions, which can be useful to conceive advanced systems to monitor the evolution of the service.


title: Bipedal Humanoid Hardware Design: A Technology Review

abstract: Purpose of Review: As new technological advancements are made, humanoid robots that utilise them are being designed and manufactured. For optimal design choices, a broad overview with insight on the advantages and disadvantages of available technologies is necessary. This article intends to provide an analysis on the established approaches and contrast them with emerging ones. Recent Findings: A clear shift in the recent design features of humanoid robots is developing, which is supported by literature. As humanoid robots are meant to leave laboratories and traverse the world, compliance and more efficient locomotion is necessary. The limitations of highly rigid actuation are being tackled by different research groups in unique ways. Some focus on modifying the kinematic structure, while others change the actuation scheme. With new manufacturing capabilities, previously impossible designs are becoming feasible. Summary: A comprehensive review on the technologies crucial for bipedal humanoid robots was performed. Different mechanical concepts have been discussed, along with the advancements in actuation, sensing and manufacturing. The paper is supplemented with a list of the recently developed platforms along with a selection of their specifications.


title: Superradiantly stability analysis on dyonic stringly black hole

abstract: The black hole superradiance phenomena state that when a scalar wave perturbation is properly scattering off a charged or rotating black hole, the energy of the reflected scalar wave may be amplified. If this amplification process can occur back and forth through certain confining mechanisms, it will lead to strong instability of the black hole, which is so-called "black hole bomb". In this paper, the superradiant stability is investigated for dyonic black holes in string theory. Although the electric charged black hole in string theory has been proved superrdiantly stable, it is found that the dyonic black hole is more unstable than an RN black hole due to the magnetic charge. Furthermore, by our analysis of the effective potential outside the event horizon, we give the region of the parameter associated with the superradiance stability on dyonic stringly black hole.


title: Behavior-Driven Synthesis of Human Dynamics

abstract: Generating and representing human behavior are of major importance for various computer vision applications. Commonly, human video synthesis represents behavior as sequences of postures while directly predicting their likely progressions or merely changing the appearance of the depicted persons, thus not being able to exercise control over their actual behavior during the synthesis process. In contrast, controlled behavior synthesis and transfer across individuals requires a deep understanding of body dynamics and calls for a representation of behavior that is independent of appearance and also of specific postures. In this work, we present a model for human behavior synthesis which learns a dedicated representation of human dynamics independent of postures. Using this representation, we are able to change the behavior of a person depicted in an arbitrary posture, or to even directly transfer behavior observed in a given video sequence. To this end, we propose a conditional variational framework which explicitly disentangles posture from behavior. We demonstrate the effectiveness of our approach on this novel task, evaluating capturing, transferring, and sampling fine-grained, diverse behavior, both quantitatively and qualitatively. Project page is available at https://cutt.ly/5l7rXEp


title: Large-Sample Properties of Blind Estimation of the Linear Discriminant Using Projection Pursuit

abstract: We study the estimation of the linear discriminant with projection pursuit, a method that is blind in the sense that it does not use the class labels in the estimation. Our viewpoint is asymptotic and, as our main contribution, we derive central limit theorems for estimators based on three different projection indices, skewness, kurtosis and their convex combination. The results show that in each case the limiting covariance matrix is proportional to that of linear discriminant analysis (LDA), an unblind estimator of the discriminant. An extensive comparative study between the asymptotic variances reveals that projection pursuit is able to achieve efficiency equal to LDA when the groups are arbitrarily well-separated and their sizes are reasonably balanced. We conclude with a real data example and a simulation study investigating the validity of the obtained asymptotic formulas for finite samples.


title: New Flat surfaces in $S^3$

abstract: n this paper, we consider a method of constructing flat surfaces based on Ribaucour transformations in the sphere 3-space. By applying the theory to the flat torus, we obtain a families of complete flat surfaces in $S^3$ which are determined by several parameters. we provide explicit examples.


title: Time and Frequency Network for Human Action Detection in Videos

abstract: Currently, spatiotemporal features are embraced by most deep learning approaches for human action detection in videos, however, they neglect the important features in frequency domain. In this work, we propose an end-to-end network that considers the time and frequency features simultaneously, named TFNet. TFNet holds two branches, one is time branch formed of three-dimensional convolutional neural network(3D-CNN), which takes the image sequence as input to extract time features; and the other is frequency branch, extracting frequency features through two-dimensional convolutional neural network(2D-CNN) from DCT coefficients. Finally, to obtain the action patterns, these two features are deeply fused under the attention mechanism. Experimental results on the JHMDB51-21 and UCF101-24 datasets demonstrate that our approach achieves remarkable performance for frame-mAP.


title: Why Do My Blockchain Transactions Fail? A Study of Hyperledger Fabric (Extended version)*

abstract: Permissioned blockchain systems promise to provide both decentralized trust and privacy. Hyperledger Fabric is currently one of the most wide-spread permissioned blockchain systems and is heavily promoted both in industry and academia. Due to its optimistic concurrency model, the transaction failure rates in Fabric can become a bottleneck. While there is active research to reduce failures, there is a lack of understanding on their root cause and, consequently, a lack of guidelines on how to configure Fabric optimally for different scenarios. To close this gap, in this paper, we first introduce a formal definition of the different types of transaction failures in Fabric. Then, we develop a comprehensive testbed and benchmarking system, HyperLedgerLab, along with four different chaincodes that represent realistic use cases and a chaincode/workload generator. Using HyperLedgerLab, we conduct exhaustive experiments to analyze the impact of different parameters of Fabric such as block size, endorsement policies, and others, on transaction failures. We further analyze three recently proposed optimizations from the literature, Fabric++, Streamchain and FabricSharp, and evaluate under which conditions they reduce the failure rates. Finally, based on our results, we provide recommendations for Fabric practitioners on how to configure the system and also propose new research directions.


title: Sampling Projects in GitHub for MSR Studies

abstract: Almost every Mining Software Repositories (MSR) study requires, as first step, the selection of the subject software repositories. These repositories are usually collected from hosting services like GitHub using specific selection criteria dictated by the study goal. For example, a study related to licensing might be interested in selecting projects explicitly declaring a license. Once the selection criteria have been defined, utilities such as the GitHub APIs can be used to "query" the hosting service. However, researchers have to deal with usage limitations imposed by these APIs and a lack of required information. For example, the GitHub search APIs allow 30 requests per minute and, when searching repositories, only provide limited information (e.g., the number of commits in a repository is not included). To support researchers in sampling projects from GitHub, we present GHS (GitHub Search), a dataset containing 25 characteristics (e.g., number of commits, license, etc.) of 735,669 repositories written in 10 programming languages. The set of characteristics has been derived by looking for frequently used project selection criteria in MSR studies and the dataset is continuously updated to (i) always provide fresh data about the existing projects, and (ii) increase the number of indexed projects. The GHS dataset can be queried through a web application we built that allows to set many combinations of selection criteria needed for a study and download the information of matching repositories: https://seart-ghs.si.usi.ch.


title: Learning Graph Neural Networks with Positive and Unlabeled Nodes

abstract: Graph neural networks (GNNs) are important tools for transductive learning tasks, such as node classification in graphs, due to their expressive power in capturing complex interdependency between nodes. To enable graph neural network learning, existing works typically assume that labeled nodes, from two or multiple classes, are provided, so that a discriminative classifier can be learned from the labeled data. In reality, this assumption might be too restrictive for applications, as users may only provide labels of interest in a single class for a small number of nodes. In addition, most GNN models only aggregate information from short distances (e.g., 1-hop neighbors) in each round, and fail to capture long distance relationship in graphs. In this paper, we propose a novel graph neural network framework, long-short distance aggregation networks (LSDAN), to overcome these limitations. By generating multiple graphs at different distance levels, based on the adjacency matrix, we develop a long-short distance attention model to model these graphs. The direct neighbors are captured via a short-distance attention mechanism, and neighbors with long distance are captured by a long distance attention mechanism. Two novel risk estimators are further employed to aggregate long-short-distance networks, for PU learning and the loss is back-propagated for model learning. Experimental results on real-world datasets demonstrate the effectiveness of our algorithm.


title: Maximally distance-unbalanced trees

abstract: For a graph $G$, and two distinct vertices $u$ and $v$ of $G$, let $n_G(u,v)$ be the number of vertices of $G$ that are closer in $G$ to $u$ than to $v$. Miklavi\v{c} and \v{S}parl (arXiv:2011.01635v1) define the distance-unbalancedness ${\rm uB}(G)$ of $G$ as the sum of $|n_G(u,v)-n_G(v,u)|$ over all unordered pairs of distinct vertices $u$ and $v$ of $G$. For positive integers $n$ up to $15$, they determine the trees $T$ of fixed order $n$ with the smallest and the largest values of ${\rm uB}(T)$, respectively. While the smallest value is achieved by the star $K_{1,n-1}$ for these $n$, which we then proved for general $n$ (Minimum distance-unbalancedness of trees, Journal of Mathematical Chemistry, DOI 10.1007/s10910-021-01228-4), the structure of the trees maximizing the distance-unbalancedness remained unclear. For $n$ up to $15$ at least, all these trees were subdivided stars. Contributing to problems posed by Miklavi\v{c} and \v{S}parl, we show $$\max\Big\{{\rm uB}(T):T\mbox{ is a tree of order }n\Big\} =\frac{n^3}{2}+o(n^3)$$ and $$\max\Big\{{\rm uB}(S(n_1,\ldots,n_k)):1+n_1+\cdots+n_k=n\Big\} =\left(\frac{1}{2}-\frac{5}{6k}+\frac{1}{3k^2}\right)n^3+O(kn^2),$$ where $S(n_1,\ldots,n_k)$ is the subdivided star such that removing its center vertex leaves paths of orders $n_1,\ldots,n_k$.


title: A Novel Perspective for Positive-Unlabeled Learning via Noisy Labels

abstract: Positive-unlabeled learning refers to the process of training a binary classifier using only positive and unlabeled data. Although unlabeled data can contain positive data, all unlabeled data are regarded as negative data in existing positive-unlabeled learning methods, which resulting in diminishing performance. We provide a new perspective on this problem -- considering unlabeled data as noisy-labeled data, and introducing a new formulation of PU learning as a problem of joint optimization of noisy-labeled data. This research presents a methodology that assigns initial pseudo-labels to unlabeled data which is used as noisy-labeled data, and trains a deep neural network using the noisy-labeled data. Experimental results demonstrate that the proposed method significantly outperforms the state-of-the-art methods on several benchmark datasets.


title: Environmental Screening and Ligand-Field Effects to Magnetism in CrI$_3$ Monolayer

abstract: We present a detailed study on the microscopic origin of magnetism in suspended and dielectrically embedded CrI$_3$ monolayer. To this end, we down-fold two distinct minimal generalized Hubbard models with different orbital basis sets from \emph{ab initio} calculations using the constrained random phase approximation. Within mean-field approximation, we show that these models are capable of describing the formation of localized magnetic moments in CrI$_3$ and of reproducing electronic properties of full \emph{ab initio} calculations. We utilize the magnetic force theorem to study microscopic magnetic exchange channels between the different orbital manifolds. We find a multi-orbital super-exchange mechanism as the origin of magnetism in CrI$_3$ resulting from a detailed interplay between effective ferro- and anti-ferromagnetic Cr-Cr $d$ coupling channels, which is decisively affected by the ligand (I) $p$ orbitals. We show how environmental screening such as resulting from encapsulation with hexagonal boron nitride (hBN) of the CrI$_3$ monolayer affects the Coulomb interaction in the film and how this successively controls its magnetic properties. Driven by a non-monotonic interplay between nearest and next-nearest neighbour exchange interactions we find the magnon dispersion and the Curie temperature to be non-trivially affected by the environmental dielectric screening.


title: Lieb's Theorem and Maximum Entropy Condensates

abstract: Coherent driving has established itself as a powerful tool for guiding a many-body quantum system into a desirable, coherent non-equilibrium state. A thermodynamically large system will, however, almost always saturate to a featureless infinite temperature state under continuous driving and so the optical manipulation of many-body systems is considered feasible only if a transient, prethermal regime exists, where heating is suppressed. Here we show that, counterintuitively, in a broad class of lattices Floquet heating can actually be an advantageous effect. Specifically, we prove that the maximum entropy steady states which form upon driving the ground state of the Hubbard model on unbalanced bi-partite lattices possess uniform off-diagonal long-range order which remains finite even in the thermodynamic limit. This creation of a `hot' condensate can occur on \textit{any} driven unbalanced lattice and provides an understanding of how heating can, at the macroscopic level, expose and alter the order in a quantum system. We discuss implications for recent experiments observing emergent superconductivity in photoexcited materials.


title: Robust Consumption Portfolio Optimization with Stochastic Differential Utility

abstract: This paper examines a continuous time intertemporal consumption and portfolio choice problem with a stochastic differential utility preference of Epstein-Zin type for a robust investor, who worries about model misspecification and seeks robust decision rules. We provide a verification theorem which formulates the Hamilton-Jacobi-Bellman-Isaacs equation under a non-Lipschitz condition. Then, with the verification theorem, the explicit closed-form optimal robust consumption and portfolio solutions to a Heston model are given. Also we compare our robust solutions with the non-robust ones, and the comparisons shown in a few figures coincide with our common sense.


title: Reverse Differentiation via Predictive Coding

abstract: Deep learning has redefined the field of artificial intelligence (AI) thanks to the rise of artificial neural networks, which are architectures inspired by their neurological counterpart in the brain. Through the years, this dualism between AI and neuroscience has brought immense benefits to both fields, allowing neural networks to be used in dozens of applications. These networks use an efficient implementation of reverse differentiation, called backpropagation (BP). This algorithm, however, is often criticized for its biological implausibility (e.g., lack of local update rules for the parameters). Therefore, biologically plausible learning methods that rely on predictive coding (PC), a framework for describing information processing in the brain, are increasingly studied. Recent works prove that these methods can approximate BP up to a certain margin on multilayer perceptrons (MLPs), and asymptotically on any other complex model, and that zero-divergence inference learning (Z-IL), a variant of PC, is able to exactly implement BP on MLPs. However, the recent literature shows also that there is no biologically plausible method yet that can exactly replicate the weight update of BP on complex models. To fill this gap, in this paper, we generalize (PC and) Z-IL by directly defining them on computational graphs, and show that it can perform exact reverse differentiation. What results is the first biologically plausible algorithm that is equivalent to BP in the way of updating parameters on any neural network, providing a bridge between the interdisciplinary research of neuroscience and deep learning.


title: Fr\'echet algebras with a dominating Hilbert algebra norm

abstract: Let $\mathscr{L}^*(s)$ be the maximal $\mathcal{O}^*$-algebra of unbounded operators on $\ell_2$ whose domain is the space $s$ of rapidly decreasing sequences. This is a noncommutative topological algebra with involution which can be identified, for instance, with the algebra $\mathscr L(s)\cap\mathscr L(s')$ or the algebra of multipliers for the algebra $\mathscr{L}(s',s)$ of smooth compact operators. We give a simple characterization of unital commutative Fr\'echet ${}^*$-subalgebras of $\mathscr{L}^*(s)$ isomorphic as a Fr\'echet spaces to nuclear power series spaces $\Lambda_\infty(\alpha)$ of infinite type. It appears that many natural Fr\'echet ${}^*$-algebras are closed ${}^*$-subalgebras of $\mathscr{L}^*(s)$, for example, the algebras $C^\infty(M)$ of smooth functions on smooth compact manifolds and the algebra $\mathscr S (\mathbb{R}^n)$ of smooth rapidly decreasing functions on $\mathbb{R}^n$.


title: Meta-Learning with MAML on Trees

abstract: In meta-learning, the knowledge learned from previous tasks is transferred to new ones, but this transfer only works if tasks are related. Sharing information between unrelated tasks might hurt performance, and it is unclear how to transfer knowledge across tasks with a hierarchical structure. Our research extends a model agnostic meta-learning model, MAML, by exploiting hierarchical task relationships. Our algorithm, TreeMAML, adapts the model to each task with a few gradient steps, but the adaptation follows the hierarchical tree structure: in each step, gradients are pooled across tasks clusters, and subsequent steps follow down the tree. We also implement a clustering algorithm that generates the tasks tree without previous knowledge of the task structure, allowing us to make use of implicit relationships between the tasks. We show that the new algorithm, which we term TreeMAML, performs better than MAML when the task structure is hierarchical for synthetic experiments. To study the performance of the method in real-world data, we apply this method to Natural Language Understanding, we use our algorithm to finetune Language Models taking advantage of the language phylogenetic tree. We show that TreeMAML improves the state of the art results for cross-lingual Natural Language Inference. This result is useful, since most languages in the world are under-resourced and the improvement on cross-lingual transfer allows the internationalization of NLP models. This results open the window to use this algorithm in other real-world hierarchical datasets.


title: Semiotically-grounded distant viewing of diagrams: insights from two multimodal corpora

abstract: In this article, we bring together theories of multimodal communication and computational methods to study how primary school science diagrams combine multiple expressive resources. We position our work within the field of digital humanities, and show how annotations informed by multimodality research, which target expressive resources and discourse structure, allow imposing structure on the output of computational methods. We illustrate our approach by analysing two multimodal diagram corpora: the first corpus is intended to support research on automatic diagram processing, whereas the second is oriented towards studying diagrams as a mode of communication. Our results show that multimodally-informed annotations can bring out structural patterns in the diagrams, which also extend across diagrams that deal with different topics.


title: Unsupervised Object-Based Transition Models for 3D Partially Observable Environments

abstract: We present a slot-wise, object-based transition model that decomposes a scene into objects, aligns them (with respect to a slot-wise object memory) to maintain a consistent order across time, and predicts how those objects evolve over successive frames. The model is trained end-to-end without supervision using losses at the level of the object-structured representation rather than pixels. Thanks to its alignment module, the model deals properly with two issues that are not handled satisfactorily by other transition models, namely object persistence and object identity. We show that the combination of an object-level loss and correct object alignment over time enables the model to outperform a state-of-the-art baseline, and allows it to deal well with object occlusion and re-appearance in partially observable environments.


title: Modeling Web Browsing Behavior across Tabs and Websites with Tracking and Prediction on the Client Side

abstract: Clickstreams on individual websites have been studied for decades to gain insights into user interests and to improve website experiences. This paper proposes and examines a novel sequence modeling approach for web clickstreams, that also considers multi-tab branching and backtracking actions across websites to capture the full action sequence of a user while browsing. All of this is done using machine learning on the client side to obtain a more comprehensive view and at the same time preserve privacy. We evaluate our formalism with a model trained on data collected in a user study with three different browsing tasks based on different human information seeking strategies from psychological literature. Our results show that the model can successfully distinguish between browsing behaviors and correctly predict future actions. A subsequent qualitative analysis identified five common web browsing patterns from our collected behavior data, which help to interpret the model. More generally, this illustrates the power of overparameterization in ML and offers a new way of modeling, reasoning with, and prediction of observable sequential human interaction behaviors.


title: AT-algebras from fiberwise essentially minimal zero-dimensional dynamical systems

abstract: We introduce a type of zero-dimensional dynamical system (a pair consisting of a totally disconnected compact metrizable space along with a homeomorphism of that space), which we call "fiberwise essentially minimal", and we prove that the associated crossed product $ C^* $-algebra of such a system is an AT-algebra. Under the additional assumption that the system has no periodic points, we prove that the associated crossed product $ C^* $-algebra has real rank zero, which tells us that such $ C^* $-algebras are classifiable by $ K $-theory. We show that the definition of fiberwise essentially minimality allows one to produce many nontrivial examples of such systems (ones that are neither minimal nor essentially minimal). The associated crossed product $ C^* $-algebras to these nontrivial examples are of particular interest because they are non-simple (unlike in the minimal case).


title: Formal conjugacy growth in graph products I

abstract: In this paper we give a recursive formula for the conjugacy growth series of a graph product in terms of the conjugacy growth and standard growth series of subgraph products. We also show that the conjugacy and standard growth rates in a graph product are equal provided that this property holds for each vertex group. All results are obtained for the standard generating set consisting of the union of generating sets of the vertex groups.


title: A Review of Spatiotemporal Models for Count Data in R Packages. A Case Study of COVID-19 Data

abstract: Spatio-temporal models for count data are required in a wide range of scientific fields and they have become particularly crucial nowadays because of their ability to analyse COVID-19-related data. Models for count data are needed when the variable of interest take only non-negative integer values and these integers arise from counting occurrences. Several R-packages are currently available to deal with spatiotemporal areal count data. Each package focuses on different models and/or statistical methodologies. Unfortunately, the results generated by these models are rarely comparable due to differences in notation and methods. The main objective of this paper is to present a review describing the most important approaches that can be used to model and analyse count data when questions of scientific interest concern both their spatial and their temporal behaviour and we monitor their performance under the same data set. For this review, we focus on the three R-packages that can be used for this purpose and the different models assessed are representative of the two most widespread methodologies used to analyse spatiotemporal count data: the classical approach (based on Penalised Likelihood or Estimating Equations) and the Bayesian point of view. A case study is analysed as an illustration of these different methodologies. In this case study, these packages are used to model and predict daily hospitalisations from COVID-19 in 24 health regions within the Valencian Community (Spain), with data corresponding to the period from 28 June to 13 December 2020. Because of the current urgent need for monitoring and predicting data in the COVID-19 pandemic, this case study is, in itself, of particular importance and can be considered the secondary objective of this work. Satisfactory and promising results have been obtained in this second goal.


title: Correlation of the hidden-charm molecular tetraquarks and the charmoniumlike structures existing in the $B\to XYZ+K$

abstract: The molecular assignments to the three $P_c$ states and the similar production mechanism between the $\Lambda_b\to P_c+K$ and $B\to XYZ+K$ convince us the $B$ decaying to a charmonium state plus light mesons could be the appropriate production process to search for the charmoniumlike molecular tetraquarks. In this work, we systematically study the interactions between a charmed (charmed-strange) meson and an anti-charmed (anti-charm-strange) meson, which include the $D^{(*)}\bar{D}^{(*)}$, $\bar{D}^{(*)}\bar{D}_1$, $D^{(*)}\bar{D}_2^*$, $D_s^{(*)}\bar{D}_s^{(*)}$, ${D}_s^{(*)}\bar{D}_{s0}^*$, $D_s^{(*)}\bar{D}_{s1}^{\prime}$, ${D}_s^{(*)}\bar{D}_{s1}$, $D_s^{(*)}\bar{D}_{s2}^*$ systems. After adopting the one-boson-exchange effective potentials, our numerical results indicate that, on one hand, there can exist a serial of isoscalar charmoniumlike $\mathcal{D}\bar{\mathcal{D}}$ and $\mathcal{D}_s\bar{\mathcal{D}}_s$ molecular states, on the other hand, we can fully exclude the charged charmoniumlike states as the isovector charmoniumlike molecules. Meanwhile, we discuss the two-body hidden-charm decay channels for the obtained $\mathcal{D}\bar{\mathcal{D}}$ and $\mathcal{D}_s\bar{\mathcal{D}}_s$ molecules, especially the $D^{*}\bar{D}^{*}$ molecular tetraquarks. By analyzing the experimental data collected from the $B\to XYZ+K$ and the mass spectrum and two-body hidden-charm decay channels for the obtained $\mathcal{D}\bar{\mathcal{D}}$ and $\mathcal{D}_s\bar{\mathcal{D}}_s$ molecules, we find several possible hints of the existence of the charmoniumlike molecular tetraquarks, i.e., a peculiar characteristic mass spectrum of the isoscalar $D^*\bar{D}^*$ molecular systems can be applied to identify the charmoniumlike molecule. We look forward to the future experiments like the LHCb, Belle II, and BESIII Collaborations can test our results with more precise experimental data.


title: CUHK-EE Voice Cloning System for ICASSP 2021 M2VoC Challenge

abstract: This paper presents the CUHK-EE voice cloning system for ICASSP 2021 M2VoC challenge. The challenge provides two Mandarin speech corpora: the AIShell-3 corpus of 218 speakers with noise and reverberation and the MST corpus including high-quality speech of one male and one female speakers. 100 and 5 utterances of 3 target speakers in different voice and style are provided in track 1 and 2 respectively, and the participants are required to synthesize speech in target speaker's voice and style. We take part in the track 1 and carry out voice cloning based on 100 utterances of target speakers. An end-to-end voicing cloning system is developed to accomplish the task, which includes: 1. a text and speech front-end module with the help of forced alignment, 2. an acoustic model combining Tacotron2 and DurIAN to predict melspectrogram, 3. a Hifigan vocoder for waveform generation. Our system comprises three stages: multi-speaker training stage, target speaker adaption stage and target speaker synthesis stage. Our team is identified as T17. The subjective evaluation results provided by the challenge organizer demonstrate the effectiveness of our system. Audio samples are available at our demo page: https://daxintan-cuhk.github.io/CUHK-EE-system-M2VoC-challenge/ .


title: Unconditionally optimal convergence of an energy-conserving and linearly implicit scheme for nonlinear wave equations

abstract: In this paper, we present and analyze an energy-conserving and linearly implicit scheme for solving the nonlinear wave equations. Optimal error estimates in time and superconvergent error estimates in space are established without time-step dependent on the spatial mesh size. The key is to estimate directly the solution bounds in the $H^2$-norm for both the nonlinear wave equation and the corresponding fully discrete scheme, while the previous investigations rely on the temporal-spatial error splitting approach. Numerical examples are presented to confirm energy-conserving properties, unconditional convergence, and optimal error estimates, respectively, of the proposed fully discrete schemes.


title: Interpretable Attention Guided Network for Fine-grained Visual Classification

abstract: Fine-grained visual classification (FGVC) is challenging but more critical than traditional classification tasks. It requires distinguishing different subcategories with the inherently subtle intra-class object variations. Previous works focus on enhancing the feature representation ability using multiple granularities and discriminative regions based on the attention strategy or bounding boxes. However, these methods highly rely on deep neural networks which lack interpretability. We propose an Interpretable Attention Guided Network (IAGN) for fine-grained visual classification. The contributions of our method include: i) an attention guided framework which can guide the network to extract discriminitive regions in an interpretable way; ii) a progressive training mechanism obtained to distill knowledge stage by stage to fuse features of various granularities; iii) the first interpretable FGVC method with a competitive performance on several standard FGVC benchmark datasets.


title: Geometrically thick tori around compact objects with a quadrupole moment

abstract: We study geometrically thick perfect-fluid tori with constant specific angular momentum, so-called "Polish doughnuts", orbiting deformed compact objects with a quadrupole moment. More specifically, we consider two different asymptotically flat, static and axisymmetric vacuum solutions to Einstein's field equation with a non-zero quadrupole moment, the q-metric and the Erez-Rosen spacetime. It is our main goal to find features of Polish doughnuts in these two spacetimes which qualitatively distinguish them from Polish doughnuts in the Schwarzschild spacetime. As a main result we find that, for both metrics, there is a range of positive (Geroch-Hansen) quadrupole moments which allows for the existence of double tori. If these double tori fill their Roche lobes completely, their meridional cross-section has the shape of a fish, with the body of the fish corresponding to the outer torus and the fish-tail corresponding to the inner torus. Such double tori do not exist in the Schwarzschild spacetime.


title: Structure of the Nuttall partition for some class of four-sheeted Riemann surfaces

abstract: The structure of a Nuttall partition into sheets of some class of four-sheeted Riemann surfaces is studied. The corresponding class of multivalued analytic functions is a special class of algebraic functions of fourth order generated by the function inverse to the Zhukovskii function. We show that in this class of four-sheeted Riemann surfaces, the boundary between the second and third sheets of the Nuttall partition of the Riemann surface, is completely characterized in terms of an extremal problem posed on the two-sheeted Riemann surface of the function $w$ defined by the equation $w^2=z^2-1$. In particular, we show that in this class of functions the boundary between the second and third sheets does not intersect both the boundary between the first and second sheets and the boundary between the third and fourth sheets.


title: On Implicit Attribute Localization for Generalized Zero-Shot Learning

abstract: Zero-shot learning (ZSL) aims to discriminate images from unseen classes by exploiting relations to seen classes via their attribute-based descriptions. Since attributes are often related to specific parts of objects, many recent works focus on discovering discriminative regions. However, these methods usually require additional complex part detection modules or attention mechanisms. In this paper, 1) we show that common ZSL backbones (without explicit attention nor part detection) can implicitly localize attributes, yet this property is not exploited. 2) Exploiting it, we then propose SELAR, a simple method that further encourages attribute localization, surprisingly achieving very competitive generalized ZSL (GZSL) performance when compared with more complex state-of-the-art methods. Our findings provide useful insight for designing future GZSL methods, and SELAR provides an easy to implement yet strong baseline.


title: Semi-supervised Domain Adaptation based on Dual-level Domain Mixing for Semantic Segmentation

abstract: Data-driven based approaches, in spite of great success in many tasks, have poor generalization when applied to unseen image domains, and require expensive cost of annotation especially for dense pixel prediction tasks such as semantic segmentation. Recently, both unsupervised domain adaptation (UDA) from large amounts of synthetic data and semi-supervised learning (SSL) with small set of labeled data have been studied to alleviate this issue. However, there is still a large gap on performance compared to their supervised counterparts. We focus on a more practical setting of semi-supervised domain adaptation (SSDA) where both a small set of labeled target data and large amounts of labeled source data are available. To address the task of SSDA, a novel framework based on dual-level domain mixing is proposed. The proposed framework consists of three stages. First, two kinds of data mixing methods are proposed to reduce domain gap in both region-level and sample-level respectively. We can obtain two complementary domain-mixed teachers based on dual-level mixed data from holistic and partial views respectively. Then, a student model is learned by distilling knowledge from these two teachers. Finally, pseudo labels of unlabeled data are generated in a self-training manner for another few rounds of teachers training. Extensive experimental results have demonstrated the effectiveness of our proposed framework on synthetic-to-real semantic segmentation benchmarks.


title: A Taxonomy of Similarity Metrics for Markov Decision Processes

abstract: Although the notion of task similarity is potentially interesting in a wide range of areas such as curriculum learning or automated planning, it has mostly been tied to transfer learning. Transfer is based on the idea of reusing the knowledge acquired in the learning of a set of source tasks to a new learning process in a target task, assuming that the target and source tasks are close enough. In recent years, transfer learning has succeeded in making Reinforcement Learning (RL) algorithms more efficient (e.g., by reducing the number of samples needed to achieve the (near-)optimal performance). Transfer in RL is based on the core concept of similarity: whenever the tasks are similar, the transferred knowledge can be reused to solve the target task and significantly improve the learning performance. Therefore, the selection of good metrics to measure these similarities is a critical aspect when building transfer RL algorithms, especially when this knowledge is transferred from simulation to the real world. In the literature, there are many metrics to measure the similarity between MDPs, hence, many definitions of similarity or its complement distance have been considered. In this paper, we propose a categorization of these metrics and analyze the definitions of similarity proposed so far, taking into account such categorization. We also follow this taxonomy to survey the existing literature, as well as suggesting future directions for the construction of new metrics.


title: Iterating the RSK Bijection

abstract: We investigate the dynamics of the well-known RSK bijection on permutations when iterated on various reading words of the recording tableau. In the setting of the ordinary (row) reading word, we show that there is exactly one fixed point per partition shape, and that it is always reached within two steps from any starting permutation. We also consider the modified dynamical systems formed by iterating RSK on the column reading word and the reversed reading word of the recording tableau. We show that the column reading word gives similar dynamics to the row reading word. On the other hand, for the reversed reading word, we always reach either a 2-cycle or fixed point after two steps. In fact, we reach a fixed point if and only if the shape of the initial tableau is self-conjugate.


title: Dual-Task Mutual Learning for Semi-Supervised Medical Image Segmentation

abstract: The success of deep learning methods in medical image segmentation tasks usually requires a large amount of labeled data. However, obtaining reliable annotations is expensive and time-consuming. Semi-supervised learning has attracted much attention in medical image segmentation by taking the advantage of unlabeled data which is much easier to acquire. In this paper, we propose a novel dual-task mutual learning framework for semi-supervised medical image segmentation. Our framework can be formulated as an integration of two individual segmentation networks based on two tasks: learning region-based shape constraint and learning boundary-based surface mismatch. Different from the one-way transfer between teacher and student networks, an ensemble of dual-task students can learn collaboratively and implicitly explore useful knowledge from each other during the training process. By jointly learning the segmentation probability maps and signed distance maps of targets, our framework can enforce the geometric shape constraint and learn more reliable information. Experimental results demonstrate that our method achieves performance gains by leveraging unlabeled data and outperforms the state-of-the-art semi-supervised segmentation methods.


title: Design, Optimal Guidance and Control of a Low-cost Re-usable Electric Model Rocket

abstract: In the last decade, autonomous vertical take-off and landing (VTOL) vehicles have become increasingly important as they lower mission costs thanks to their re-usability. However, their development is complex, rendering even the basic experimental validation of the required advanced guidance and control (G & C) algorithms prohibitively time-consuming and costly. In this paper, we present the design of an inexpensive small-scale VTOL platform that can be built from off-the-shelf components for less than 1000 USD. The vehicle design mimics the first stage of a reusable launcher, making it a perfect test-bed for G & C algorithms. To control the vehicle during ascent and descent, we propose a real-time optimization-based G & C algorithm. The key features are a real-time minimum fuel and free-final-time optimal guidance combined with an offset-free tracking model predictive position controller. The vehicle hardware design and the G & C algorithm are experimentally validated both indoors and outdoor, showing reliable operation in a fully autonomous fashion with all computations done on-board and in real-time.


title: Cluster-based Input Weight Initialization for Echo State Networks

abstract: Echo State Networks (ESNs) are a special type of recurrent neural networks (RNNs), in which the input and recurrent connections are traditionally generated randomly, and only the output weights are trained. Despite the recent success of ESNs in various tasks of audio, image and radar recognition, we postulate that a purely random initialization is not the ideal way of initializing ESNs. The aim of this work is to propose an unsupervised initialization of the input connections using the $K$-Means algorithm on the training data. We show that for a large variety of datasets this initialization performs equivalently or superior than a randomly initialized ESN whilst needing significantly less reservoir neurons. Furthermore, we discuss that this approach provides the opportunity to estimate a suitable size of the reservoir based on prior knowledge about the data.


title: Reconfigurable Intelligent Surfaces for Rich Scattering Wireless Communications: Recent Experiments, Challenges, and Opportunities

abstract: Recent advances in the fabrication and experimentation of Reconfigurable Intelligent Surfaces (RISs) have motivated the concept of the smart radio environment, according to which the propagation of information-bearing waveforms in the wireless medium is amenable to programmability. Although the vast majority of recent experimental research on RIS-empowered wireless communications gravitates around narrowband beamforming in quasi-free space, RISs are foreseen to revolutionize wideband wireless connectivity in dense urban as well as indoor scenarios, which are usually characterized as strongly reverberant environments exhibiting severe multipath conditions. In this article, capitalizing on recent physics-driven experimental explorations of RIS-empowered wave propagation control in complex scattering cavities, we identify the potential of the spatiotemporal control offered by RISs to boost wireless communications in rich scattering channels via two case studies. First, an RIS is deployed to shape the multipath channel impulse response, which is shown to enable higher achievable communication rates. Second, the RIS-tunable propagation environment is leveraged as an analog multiplexer to localize non-cooperative objects using wave fingerprints, even when they are outside the line of sight. Future research challenges and opportunities in the algorithmic design and experimentation of smart rich scattering wireless environments enabled by RISs for sixth Generation (6G) wireless communications are discussed.


title: Thermodynamic Formalism for Random Interval Maps with Holes

abstract: We develop a quenched thermodynamic formalism for open random dynamical systems generated by finitely branched, piecewise-monotone mappings of the interval. The openness refers to the presence of holes in the interval, which terminate trajectories once they enter; the holes may also be random. Our random driving is generated by an invertible, ergodic, measure-preserving transformation $\sigma$ on a probability space $(\Omega,\mathscr{F},m)$. For each $\omega\in\Omega$ we associate a piecewise-monotone, surjective map $T_\omega:I\to I$, and a hole $H_\omega\subset I$; the map $T_\omega$, the random potential $\varphi_\omega$, and the hole $H_\omega$ generate the corresponding open transfer operator $\mathcal{L}_\omega$. For a contracting potential, under a condition on the open random dynamics in the spirit of Liverani--Maume-Deschamps, we prove there exists a unique random probability measure $\nu_\omega$ supported on the survivor set ${X}_{\omega,\infty}$ satisfying $\nu_{\sigma(\omega)}(\mathcal{L}_\omega f)=\lambda_\omega\nu_\omega(f)$. We also prove the existence of a unique random family of functions $q_\omega$ that satisfy $\mathcal{L}_\omega q_\omega=\lambda_\omega q_{\sigma(\omega)}$. These yield an ergodic random invariant measure $\mu=\nu q$ supported on the global survivor set, while $q$ combined with the random closed conformal measure yields a unique random absolutely continuous conditional invariant measure (RACCIM) $\eta$ supported on $I$. We prove quasi-compactness of the transfer operator cocycle and exponential decay of correlations for $\mu$. Finally, the escape rates of the random closed conformal measure and the RACCIM $\eta$ coincide, and are given in terms of the expected pressure, as is the Hausdorff dimension of the surviving set $X_{\omega,\infty}$. We provide examples of our general theory, including random $\beta$-transformations and random Lasota-Yorke maps.


title: Amplitude and frequency modulation of super-Nyquist frequency from Kepler photometric sampling

abstract: We present a simulation showing that super-Nyquist frequencies may have periodic amplitude and frequency modulations, even if actually stable, in time series sampled like the Kepler data. These modulations are caused by the barycentric time correction, which destroys the evenly spaced time measurements, making the Nyquist frequency variable over the spacecraft orbit around the Sun. These modulations can easily be identified in pulsating stars from Kepler's photometric data.


title: Fractal dimensions of the Rosenblatt process

abstract: The paper concerns the image, level and sojourn time sets associated with sample paths of the Rosenblatt process. We obtain results regarding the Hausdorff (both classical and macroscopic), packing and intermediate dimensions, and the logarithmic and pixel densities. As a preliminary step we also establish the time inversion property of the Rosenblatt process, as well as some technical points regarding the distribution of $Z$.


title: Bayesian imaging using Plug & Play priors: when Langevin meets Tweedie

abstract: Since the seminal work of Venkatakrishnan et al. in 2013, Plug & Play (PnP) methods have become ubiquitous in Bayesian imaging. These methods derive Minimum Mean Square Error (MMSE) or Maximum A Posteriori (MAP) estimators for inverse problems in imaging by combining an explicit likelihood function with a prior that is implicitly defined by an image denoising algorithm. The PnP algorithms proposed in the literature mainly differ in the iterative schemes they use for optimisation or for sampling. In the case of optimisation schemes, some recent works guarantee the convergence to a fixed point, albeit not necessarily a MAP estimate. In the case of sampling schemes, to the best of our knowledge, there is no known proof of convergence. There also remain important open questions regarding whether the underlying Bayesian models and estimators are well defined, well-posed, and have the basic regularity properties required to support these numerical schemes. To address these limitations, this paper develops theory, methods, and provably convergent algorithms for performing Bayesian inference with PnP priors. We introduce two algorithms: 1) PnP-ULA (Unadjusted Langevin Algorithm) for Monte Carlo sampling and MMSE inference; and 2) PnP-SGD (Stochastic Gradient Descent) for MAP inference. Using recent results on the quantitative convergence of Markov chains, we establish detailed convergence guarantees for these two algorithms under realistic assumptions on the denoising operators used, with special attention to denoisers based on deep neural networks. We also show that these algorithms approximately target a decision-theoretically optimal Bayesian model that is well-posed. The proposed algorithms are demonstrated on several canonical problems such as image deblurring, inpainting, and denoising, where they are used for point estimation as well as for uncertainty visualisation and quantification.

categories: stat.ME cs.CV eess.IV math.ST stat.ML stat.TH


title: Annihilation of positrons from $^{22}$Na in novae

abstract: We explore for the first time effects of the magnetic field on the escape of $^{22}$Na positrons and on the flux evolution of annihilation 511 keV line in novae. It is shown that for the white dwarf magnetic field of $\sim 10^6$ G the field of the expanding nova shell is able to significantly impede positrons escape and increase the time of the nova emission in 511keV up to hundreds days.


title: Multi-Source Domain Adaptation with Collaborative Learning for Semantic Segmentation

abstract: Multi-source unsupervised domain adaptation~(MSDA) aims at adapting models trained on multiple labeled source domains to an unlabeled target domain. In this paper, we propose a novel multi-source domain adaptation framework based on collaborative learning for semantic segmentation. Firstly, a simple image translation method is introduced to align the pixel value distribution to reduce the gap between source domains and target domain to some extent. Then, to fully exploit the essential semantic information across source domains, we propose a collaborative learning method for domain adaptation without seeing any data from target domain. In addition, similar to the setting of unsupervised domain adaptation, unlabeled target domain data is leveraged to further improve the performance of domain adaptation. This is achieved by additionally constraining the outputs of multiple adaptation models with pseudo labels online generated by an ensembled model. Extensive experiments and ablation studies are conducted on the widely-used domain adaptation benchmark datasets in semantic segmentation. Our proposed method achieves 59.0\% mIoU on the validation set of Cityscapes by training on the labeled Synscapes and GTA5 datasets and unlabeled training set of Cityscapes. It significantly outperforms all previous state-of-the-arts single-source and multi-source unsupervised domain adaptation methods.


title: Closed subsets in Bishop topological groups

abstract: We introduce the notion of a Bishop topological group i.e., a group X equipped with a Bishop topology of functions F such that the group operations of X are Bishop morphisms with respect to F. A closed subset in the neighborhood structure of X induced by its Bishop topology F is defined in a positive way i.e., not as the complement of an open subset in X. The corresponding closure operator, although it is not topological, in the classical sense, does not involve sequences. As countable choice (CC) is avoided, and in agreement with Richman's critique on the use of CC in constructive mathematics, the fundamental facts on closed subsets in Bishop topological groups shown here have a clear algorithmic content. We work within Bishop's informal system of constructive mathematics BISH, without countable choice, equipped with inductive definitions with rules of countably many premises.


title: A review of turbulent skin-friction drag reduction by near-wall transverse forcing

abstract: The quest for reductions in fuel consumption and CO2 emissions in transport has been a powerful driving force for scientific research into methods that might underpin drag-reducing technologies for a variety of vehicular transport on roads, by rail, in the air, and on or in the water. In civil aviation, skin-friction drag accounts for around 50% of the total drag in cruise conditions, thus being a preferential target for research. With laminar conditions excluded, skin friction is intimately linked to the turbulence physics in the fluid layer closest to the skin. Thus, research into drag reduction has focused on methods to depress the turbulence activity near the surface. The most effective method of doing so is to subject the drag-producing flow in the near-wall layer to an unsteady and/or spatially varying cross-flow component, either by the action of transverse wall oscillations, by embedding rotating discs into the surface or by plasma-producing electrodes that accelerate the near-wall fluid in the transverse direction. In ideal conditions, drag-reduction margins of order of 50% can be achieved. The present article provides a review of research into the response of turbulent near-wall layers to the imposition of unsteady and wavy transverse motion, encompassing experiments, simulation, analysis and modelling. It covers issues such as the drag-reduction margin in a variety of actuation scenarios, the underlying physical phenomena that contribute to the interpretation of the origin of the drag reduction, the dependence of the drag reduction on the Reynolds number, passive control methods that are inspired by active control, and a forward look towards possible future research and practical realizations. The authors hope that this review, by far the most extensive of its kind for this subject, will be judged as a useful foundation for future research targeting friction-drag reduction


title: On Lipschitz approximations in second order Sobolev spaces and the change of variables formula

abstract: In this paper we study approximations of functions of Sobolev spaces $W^2_{p,\loc}(\Omega)$, $\Omega\subset\mathbb R^n$, by Lipschitz continuous functions. We prove that if $f\in W^2_{p,\loc}(\Omega)$, $1\leq p<\infty$, then there exists a sequence of closed sets $\{A_k\}_{k=1}^{\infty},A_k\subset A_{k+1}\subset \Omega$, such that the restrictions $f \vert_{A_k}$ are Lipschitz continuous functions and $\cp_p\left(S\right)=0$, $S=\Omega\setminus\bigcup_{k=1}^{\infty}A_k$. Using these approximations we prove the change of variables formula in the Lebesgue integral for mappings of Sobolev spaces $W^2_{p,\loc}(\Omega;\mathbb R^n)$ with the Luzin capacity-measure $N$-property.


title: Robust decision analysis under severe uncertainty and ambiguous tradeoffs: an invasive species case study

abstract: Bayesian decision analysis is a useful method for risk management decisions, but is limited in its ability to consider severe uncertainty in knowledge, and value ambiguity in management objectives. We study the use of robust Bayesian decision analysis to handle problems where one or both of these issues arise. The robust Bayesian approach models severe uncertainty through bounds on probability distributions, and value ambiguity through bounds on utility functions. To incorporate data, standard Bayesian updating is applied on the entire set of distributions. To elicit our expert's utility representing the value of different management objectives, we use a modified version of the swing weighting procedure that can cope with severe value ambiguity. We demonstrate these methods on an environmental management problem to eradicate an alien invasive marmorkrebs recently discovered in Sweden, which needed a rapid response despite substantial knowledge gaps if the species was still present (i.e. severe uncertainty) and the need for difficult tradeoffs and competing interests (i.e. value ambiguity). We identify that the decision alternatives to drain the system and remove individuals in combination with dredging and sieving with or without a degradable biocide, or increasing pH, are consistently bad under the entire range of probability and utility bounds. This case study shows how robust Bayesian decision analysis provides a transparent methodology for integrating information in risk management problems where little data are available and/or where the tradeoffs ambiguous.


title: Sparse Kronecker-Product Coding for Unsourced Multiple Access

abstract: In this paper, a sparse Kronecker-product (SKP) coding scheme is proposed for unsourced multiple access. Specifically, the data of each active user is encoded as the Kronecker product of two component codewords with one being sparse and the other being forward-error-correction (FEC) coded. At the receiver, an iterative decoding algorithm is developed, consisting of matrix factorization for the decomposition of the Kronecker product and soft-in soft-out decoding for the component sparse code and the FEC code. The cyclic redundancy check (CRC) aided interference cancellation technique is further incorporated for performance improvement. Numerical results show that the proposed scheme outperforms the state-of-the-art counterparts, and approaches the random coding bound within a gap of only 0.1 dB at the code length of 30000 when the number of active users is less than 75, and the error rate can be made very small even if the number of active users is relatively large.


title: Optimal Scheduling of Integrated Demand Response-Enabled Integrated Energy Systems with Uncertain Renewable Generations: A Stackelberg Game Approach

abstract: In order to balance the interests of integrated energy operator (IEO) and users, a novel Stackelberg game-based optimization framework is proposed for the optimal scheduling of integrated demand response (IDR)-enabled integrated energy systems with uncertain renewable generations, where the IEO acts as the leader who pursues the maximization of his profits by setting energy prices, while the users are the follower who adjusts energy consumption plans to minimize their energy costs. Taking into account the inherent uncertainty of renewable generations, the probabilistic spinning reserve is written in the form of a chance constraint; in addition, a district heating network model is built considering the characteristics of time delay and thermal attenuation by fully exploiting its potential, and the flexible thermal comfort requirements of users in IDR are considered by introducing a predicted mean vote (PMV) index. To solve the raised model, sequence operation theory is introduced to convert the chance constraint into its deterministic equivalent form, and thereby, the leader-follower Stackelberg game is tackled into a mixed-integer quadratic programming formulation through Karush-Kuhn-Tucker optimality conditions and is finally solved by the CPLEX optimizer. The results of two case studies demonstrate that the proposed Stackelberg game-based approach manages to achieve the Stackelberg equilibrium between IEO and users by the coordination of renewable generations and IDR. Furthermore, the study on a real integrated energy system in China verifies the applicability of the proposed approach for real-world applications.


title: Extended TQFTs From Non-Semisimple Modular Categories

abstract: We construct 3-dimensional once-Extended Topological Quantum Field Theories (ETQFTs for short) out of (possibly non-semisimple) modular categories, and we explicitly identify linear categories and functors in their image. The circle category of an ETQFT produced by our construction is equivalent to the full subcategory of projective objects of the underlying modular category. In particular, it need not be semisimple.


title: Assessing the Impact of Automated Suggestions on Decision Making: Domain Experts Mediate Model Errors but Take Less Initiative

abstract: Automated decision support can accelerate tedious tasks as users can focus their attention where it is needed most. However, a key concern is whether users overly trust or cede agency to automation. In this paper, we investigate the effects of introducing automation to annotating clinical texts--a multi-step, error-prone task of identifying clinical concepts (e.g., procedures) in medical notes, and mapping them to labels in a large ontology. We consider two forms of decision aid: recommending which labels to map concepts to, and pre-populating annotation suggestions. Through laboratory studies, we find that 18 clinicians generally build intuition of when to rely on automation and when to exercise their own judgement. However, when presented with fully pre-populated suggestions, these expert users exhibit less agency: accepting improper mentions, and taking less initiative in creating additional annotations. Our findings inform how systems and algorithms should be designed to mitigate the observed issues.


title: Exchange constants for local spin Hamiltonians from tight-binding models

abstract: We consider the mapping of tight-binding electronic structure theory to a local spin Hamiltonian, based on the adiabatic approximation for spin degrees of freedom in itinerant-electron systems. Local spin Hamiltonians are introduced in order to describe the energy landscape of small magnetic fluctuations, locally around a given spin configuration. They are designed for linear response near a given magnetic state and in general insufficient to capture arbitrarily strong deviations of spin configurations from the equilibrium. In order to achieve this mapping, we include a linear term in the local spin Hamiltonian that, together with the usual bilinear exchange tensor, produces an improved accuracy of effective magnetic Weiss fields for non-collinear states. We also provide examples from tight-binding electronic structure theory, where our implementation of the calculation of exchange constants is based on constraining fields that stabilize an out-of-equilibrium spin configuration. We check our formalism by means of numerical calculations for iron dimers and chains.


title: Vision-Based Mobile Robotics Obstacle Avoidance With Deep Reinforcement Learning

abstract: Obstacle avoidance is a fundamental and challenging problem for autonomous navigation of mobile robots. In this paper, we consider the problem of obstacle avoidance in simple 3D environments where the robot has to solely rely on a single monocular camera. In particular, we are interested in solving this problem without relying on localization, mapping, or planning techniques. Most of the existing work consider obstacle avoidance as two separate problems, namely obstacle detection, and control. Inspired by the recent advantages of deep reinforcement learning in Atari games and understanding highly complex situations in Go, we tackle the obstacle avoidance problem as a data-driven end-to-end deep learning approach. Our approach takes raw images as input and generates control commands as output. We show that discrete action spaces are outperforming continuous control commands in terms of expected average reward in maze-like environments. Furthermore, we show how to accelerate the learning and increase the robustness of the policy by incorporating predicted depth maps by a generative adversarial network.


title: A new approach to integrable evolution equations on the circle

abstract: We propose a new approach for the solution of initial value problems for integrable evolution equations in the periodic setting based on the unified transform. Using the nonlinear Schr\"odinger equation as a model example, we show that the solution of the initial value problem on the circle can be expressed in terms of the solution of a Riemann-Hilbert problem whose formulation involves quantities which are defined in terms of the initial data alone. Our approach provides an effective solution of the problem on the circle which is conceptually analogous to the solution of the problem on the line via the inverse scattering transform.


title: Transport in Stochastic Goupillaud Media

abstract: The paper addresses one-dimensional transport in a Goupillaud medium (a layered medium in which the layer thickness is proportional to the propagation speed), as a prototypical case of wave propagation in random media. Suitable stochastic assumptions and limiting procedures lead to characteristic curves that are L\'evy processes. Solutions corresponding to the discretely layered medium are shown to converge to limits as the thickness of the layers goes to zero. The probability distribution of the limiting characteristic curves is explicitly computed and exemplified when the underlying L\'evy process is an inverse Gaussian process.


title: Efficient Algorithms for Finite Horizon and Streaming Restless Multi-Armed Bandit Problems

abstract: We propose Streaming Bandits, a Restless Multi Armed Bandit (RMAB) framework in which heterogeneous arms may arrive and leave the system after staying on for a finite lifetime. Streaming Bandits naturally capture the health intervention planning problem, where health workers must manage the health outcomes of a patient cohort while new patients join and existing patients leave the cohort each day. Our contributions are as follows: (1) We derive conditions under which our problem satisfies indexability, a precondition that guarantees the existence and asymptotic optimality of the Whittle Index solution for RMABs. We establish the conditions using a polytime reduction of the Streaming Bandit setup to regular RMABs. (2) We further prove a phenomenon that we call index decay, whereby the Whittle index values are low for short residual lifetimes driving the intuition underpinning our algorithm. (3) We propose a novel and efficient algorithm to compute the index-based solution for Streaming Bandits. Unlike previous methods, our algorithm does not rely on solving the costly finite horizon problem on each arm of the RMAB, thereby lowering the computational complexity compared to existing methods. (4) Finally, we evaluate our approach via simulations run on realworld data sets from a tuberculosis patient monitoring task and an intervention planning task for improving maternal healthcare, in addition to other synthetic domains. Across the board, our algorithm achieves a 2-orders-of-magnitude speed-up over existing methods while maintaining the same solution quality.


title: Self-Augmented Multi-Modal Feature Embedding

abstract: Oftentimes, patterns can be represented through different modalities. For example, leaf data can be in the form of images or contours. Handwritten characters can also be either online or offline. To exploit this fact, we propose the use of self-augmentation and combine it with multi-modal feature embedding. In order to take advantage of the complementary information from the different modalities, the self-augmented multi-modal feature embedding employs a shared feature space. Through experimental results on classification with online handwriting and leaf images, we demonstrate that the proposed method can create effective embeddings.


title: Final-State Condition And Dissipative Quantum Mechanics

abstract: Unitarity demands that the black-hole final state (what remains inside the event horizon at complete evaporation) must be unique. Assuming a UV theory with infinitely many fields, we propose that the uniqueness of the final state can be achieved via a mechanism analogous to the quantum-mechanical description of dissipation.


title: The fate of compound with AgF$_2$ plus AgO stoichiometry. A theoretical study

abstract: Metal oxyfluorides constitute a broad group of chemical compounds with rich spectrum of crystal structures and properties. Here we predict, based on evolutionary algorithm approach, the crystal structure and selected properties of Ag$_2$OF$_2$. This system may be considered as the 1 to 1 adduct of AgF$_2$ (i.e. an antiferromagnetic charge transfer positive U insulator) and AgO (i.e. a disproportionated negative U insulator). We analyze oxidation states of silver in each structure, possible magnetic interactions, as well as energetic stability. Prospect is outlined for synthesis of polytypes of interest using diverse synthetic approaches.


title: Searchlight Asymptotics for High-Frequency Scattering by Boundary Inflection

abstract: We consider an inner problem for whispering gallery high-frequency asymptotic mode's scattering by a boundary inflection. The related boundary-value problem for a Schr\"{o}dinger equation on a half-line with a potential linear in both space and time appears fundamental for describing transitions from modal to scattered asymptotic patterns, and despite having been intensively studied over several decades remains largely unsolved. We prove that the solution past the inflection point has a ``searchlight'' asymptotics corresponding to a beam concentrated near the limit ray, and establish certain decay and smoothness properties of the related searchlight amplitude. We also discuss further interpretations of the above result: the existence of associated generalised wave operator, and of a version of a unitary scattering operator connecting the modal and scattered asymptotic regimes.


title: A Strong Maximum Principle for the fractional Laplace equation with mixed boundary condition

abstract: In this work we prove a strong maximum principle for fractional elliptic problems with mixed Dirichlet-Neumann boundary data which extends the one proved by J. D\'avila to the fractional setting. In particular, we present a comparison result for two solutions of the fractional Laplace equation involving the spectral fractional Laplacian endowed with homogeneous mixed boundary condition. This result represents a non-local counterpart to a Hopf's Lemma for fractional elliptic problems with mixed boundary data.


title: Content-Aware Detection of Temporal Metadata Manipulation

abstract: Most pictures shared online are accompanied by temporal metadata (i.e., the day and time they were taken), which makes it possible to associate an image content with real-world events. Maliciously manipulating this metadata can convey a distorted version of reality. In this work, we present the emerging problem of detecting timestamp manipulation. We propose an end-to-end approach to verify whether the purported time of capture of an outdoor image is consistent with its content and geographic location. We consider manipulations done in the hour and/or month of capture of a photograph. The central idea is the use of supervised consistency verification, in which we predict the probability that the image content, capture time, and geographical location are consistent. We also include a pair of auxiliary tasks, which can be used to explain the network decision. Our approach improves upon previous work on a large benchmark dataset, increasing the classification accuracy from 59.0% to 81.1%. We perform an ablation study that highlights the importance of various components of the method, showing what types of tampering are detectable using our approach. Finally, we demonstrate how the proposed method can be employed to estimate a possible time-of-capture in scenarios in which the timestamp is missing from the metadata.


title: Low-Rank Sinkhorn Factorization

abstract: Several recent applications of optimal transport (OT) theory to machine learning have relied on regularization, notably entropy and the Sinkhorn algorithm. Because matrix-vector products are pervasive in the Sinkhorn algorithm, several works have proposed to \textit{approximate} kernel matrices appearing in its iterations using low-rank factors. Another route lies instead in imposing low-rank constraints on the feasible set of couplings considered in OT problems, with no approximations on cost nor kernel matrices. This route was first explored by Forrow et al., 2018, who proposed an algorithm tailored for the squared Euclidean ground cost, using a proxy objective that can be solved through the machinery of regularized 2-Wasserstein barycenters. Building on this, we introduce in this work a generic approach that aims at solving, in full generality, the OT problem under low-rank constraints with arbitrary costs. Our algorithm relies on an explicit factorization of low rank couplings as a product of \textit{sub-coupling} factors linked by a common marginal; similar to an NMF approach, we alternatively updates these factors. We prove the non-asymptotic stationary convergence of this algorithm and illustrate its efficiency on benchmark experiments.


title: A Fast 0.5T Prepolarizer Module for Preclinical Magnetic Resonance Imaging

abstract: We present a magnet and high power electronics for Prepolarized Magnetic Resonance Imaging (PMRI) in a home-made, special-purpose preclinical system designed for simultaneous visualization of hard and soft biological tissues. PMRI boosts the signal-to-noise ratio (SNR) by means of a long and strong magnetic pulse which must be rapidly switched off prior to the imaging pulse sequence, in timescales shorter than the spin relaxation (or T1) time of the sample. We have operated the prepolarizer at up to 0.5 T and demonstrated enhanced magnetization, image SNR and tissue contrast with PMRI of tap water, an ex vivo mouse brain and food samples. These have T1 times ranging from hundreds of milli-seconds to single seconds, while the preliminary high-power electronics setup employed in this work can switch off the prepolarization field in tens of milli-seconds. In order to make this system suitable for solid-state matter and hard tissues, which feature T1 times as short as 10 ms, we are developing new electronics which can cut switching times to ~300 us. This does not require changes in the prepolarizer module, opening the door to the first experimental demonstration of PMRI on hard biological tissues.


title: A topic review on probing primordial black hole dark matter with scalar induced gravitational waves

abstract: Primordial black holes (PBHs) are supposed to form from the collapse of over-densed regions generated by large scalar curvature perturbations in the radiation dominated era. Despite decades of various independent observations, the nature of dark matter (DM) remains highly puzzling. Recently, PBH DM have aroused interest since they provide an attracting explanation to the merger events of binary black holes discovered by LIGO/VIRGO and may play an important role on DM. During the formation of PBH, gravitational waves will be sourced by linear scalar perturbations at second-order, known as the scalar-induced gravitational waves (SIGWs), which provides a new way to hunt for PBH DM. This topic review mainly focus on the physics about SIGWs accompanying the formation of PBH DM.