title: A Family of Experiments on Test-Driven Development

abstract: Context: Test-driven development (TDD) is an agile software development approach that has been widely claimed to improve software quality. However, the extent to which TDD improves quality appears to be largely dependent upon the characteristics of the study in which it is evaluated (e.g., the research method, participant type, programming environment, etc.). The particularities of each study make the aggregation of results untenable. Objectives: The goal of this paper is to: increase the accuracy and generalizability of the results achieved in isolated experiments on TDD, provide joint conclusions on the performance of TDD across different industrial and academic settings, and assess the extent to which the characteristics of the experiments affect the quality-related performance of TDD. Method: We conduct a family of 12 experiments on TDD in academia and industry. We aggregate their results by means of meta-analysis. We perform exploratory analyses to identify variables impacting the quality-related performance of TDD. Results: TDD novices achieve a slightly higher code quality with iterative test-last development (i.e., ITL, the reverse approach of TDD) than with TDD. The task being developed largely determines quality. The programming environment, the order in which TDD and ITL are applied, or the learning effects from one development approach to another do not appear to affect quality. The quality-related performance of professionals using TDD drops more than for students. We hypothesize that this may be due to their being more resistant to change and potentially less motivated than students. Conclusion: Previous studies seem to provide conflicting results on TDD performance (i.e., positive vs. negative, respectively). We hypothesize that these conflicting results may be due to different study durations, experiment participants being unfamiliar with the TDD process...


title: Learning the structure of giant resonances from their $\gamma$-decay

abstract: The direct $\gamma$-decays of the giant dipole resonance (GDR) and the giant quadrupole resonance (GQR) of $^{208}$Pb to low-lying states are investigated by means of a microscopic self-consistent model. The model considers effects beyond the linear response approximation. The strong sensitivity of $\gamma$-decay to the isospin of the involved states is proven. By comparing their decay widths, a much larger weight of the $3_{1}^{-}$ component in the GQR wave function of $^{208}$Pb is deduced, with respect to the weight of the $2_{1}^{+}$ component in the GDR wave function. Thus, we have shown that $\gamma$-decay is a unique probe of the resonance wave functions, and a testground for nuclear structure models.


title: Hyper-parameter estimation method with particle swarm optimization

abstract: Particle swarm optimization (PSO) method cannot be directly used in the problem of hyper-parameter estimation since the mathematical formulation of the mapping from hyper-parameters to loss function or generalization accuracy is unclear. Bayesian optimization (BO) framework is capable of converting the optimization of the hyper-parameters into the optimization of an acquisition function. The acquisition function is non-convex and multi-peak. So the problem can be better solved by the PSO. The proposed method in this paper uses the particle swarm method to optimize the acquisition function in the BO framework to get better hyper-parameters. The performances of proposed method in both of the classification and regression models are evaluated and demonstrated. The results on several benchmark problems are improved.


title: Completion of local zeta functions associated with a certain class of homogeneous cones

abstract: It is well known that the Riemann zeta function can be completed to the Riemann xi function $\xi(s)$ in the sense that its functional equation has a higher symmetric form $\xi(1-s)=\xi(s)$. In the previous paper (Tohoku Math. J. 72 (2020), 349--378), we give an explicit formula of functional equations between local and global zeta functions associated with a homogeneous cone and with its dual cone. In this paper, we consider a completion of these local zeta functions and show that, for a certain class of homogeneous cones, the associated local zeta functions admit a kind of completion forms.


title: Benchmarking Image Retrieval for Visual Localization

abstract: Visual localization, i.e., camera pose estimation in a known scene, is a core component of technologies such as autonomous driving and augmented reality. State-of-the-art localization approaches often rely on image retrieval techniques for one of two tasks: (1) provide an approximate pose estimate or (2) determine which parts of the scene are potentially visible in a given query image. It is common practice to use state-of-the-art image retrieval algorithms for these tasks. These algorithms are often trained for the goal of retrieving the same landmark under a large range of viewpoint changes. However, robustness to viewpoint changes is not necessarily desirable in the context of visual localization. This paper focuses on understanding the role of image retrieval for multiple visual localization tasks. We introduce a benchmark setup and compare state-of-the-art retrieval representations on multiple datasets. We show that retrieval performance on classical landmark retrieval/recognition tasks correlates only for some but not all tasks to localization performance. This indicates a need for retrieval approaches specifically designed for localization tasks. Our benchmark and evaluation protocols are available at https://github.com/naver/kapture-localization.


title: Universal profiles for radio searches of dark matter in dwarf galaxies

abstract: The phenomenology of diffuse radio emission from Dark Matter annihilation or decay in dwarf spheroidal galaxies is examined. We introduce (in the context of cosmic-ray physics) a novel strategy for the computation of the relevant synchrotron signals. In particular, we identify various regimes where, in analogy to prompt gamma rays, the diffuse radio signal from dark matter annihilation/decay can be expressed as the multiplication of a "halo" times a spectral function. These functions are computed here for the first time for a number of benchmark cases. Furthermore, we find parameter regions in which the emissivity can be well approximated by a universal function ~ sin(kr)/r, where r is the galacto-centric distance. Our theoretical setup differs from previous work in that, instead of employing a method-of-images strategy, we consider a Fourier-mode expansion of the relevant Green's functions. With this strategy, exact results can be obtained with very low computational cost and for generic dark matter models. In particular, O(10- 100) Fourier modes can be easily incorporated into the computations in order to probe the smallest scales of the problem. We also propose a new strategy to search for dark matter using radio observations of dwarf galaxies that is (1) easy to implement and (2) free of the otherwise large degeneracies in the description of synchrotron signals from dark matter. Finally, we correct a mistake in a widely used Green's function formula in this context. We show that the original expression leads to systematically incorrect - and in some cases divergent - results in the regime where the characteristic time-scale for diffusion is smaller than that for energy losses.


title: A generalized precession parameter $\chi_\mathrm{p}$ to interpret gravitational-wave data

abstract: Originally designed for waveform approximants, the effective precession parameter $\chi_\mathrm{p}$ is the most commonly used quantity to characterize spin-precession effects in gravitational-wave observations of black-hole binary coalescences. We point out that the current definition of $\chi_\mathrm{p}$ retains some, but not all, variations taking place on the precession timescale. We rectify this inconsistency and propose more general definitions that either fully consider or fully average those oscillations. Our generalized parameter $\chi_\mathrm{p}\in[0,2]$ presents an exclusive region $\chi_\mathrm{p}>1$ that can only be populated by binaries with two precessing spins. We apply our prescriptions to current LIGO/Virgo events and find that posterior distributions of $\chi_\mathrm{p}$ tend to show longer tails at larger values. This appears to be a generic feature, implying that (i) current $\chi_\mathrm{p}$ measurement errors might be underestimated, but also that (ii) evidence for spin precession in current data might be stronger than previously inferred. Among the gravitational-wave events released to date, that which shows the most striking behavior is GW190521.


title: Di-Higgs production as a probe of flavor changing neutral Yukawa couplings

abstract: Top partners are well motivated in many new physics models. Usually, vector like quarks $T_{L,R}$ are introduced to avoid the quantum anomaly. It is crucial to probe their interactions with the standard model particles. However, flavor changing neutral couplings are always difficult to detect directly in the current and future experiments. In this paper, we will show how to constrain the flavor changing neutral Yukawa coupling $Tth$ through the di-Higgs production indirectly. We consider the simplified model including a pair of gauge singlet $T_{L,R}$. Under the perturbative unitarity and experimental constraints, we choose $m_T=400~\mathrm{GeV},s_L=0.2$ and $m_T=800~\mathrm{GeV},s_L=0.1$ as benchmark points. After the analysis of amplitude and evaluation of the numerical cross sections, we find that the present constraints from di-Higgs production have already surpassed the unitarity bound because of the $(y_{L,R}^{tT})^4$ behavior. For the case of $m_T=400~\mathrm{GeV}$ and $s_L=0.2$, $\mathrm{Re}y_{L,R}^{tT}$ and $\mathrm{Im}y_{L,R}^{tT}$ can be bounded optimally in the range $(-0.4, 0.4)$ at HL-LHC with $2\sigma$ CL. For the case of $m_T=800~\mathrm{GeV}$ and $s_L=0.1$, $\mathrm{Re}y_{L,R}^{tT}$ and $\mathrm{Im}y_{L,R}^{tT}$ can be bounded optimally in the range $(-0.5, 0.5)$ at HL-LHC with $2\sigma$ CL. The anomalous triple Higgs coupling $\delta_{hhh}$ can also affect the constraints on $y_{L,R}^{tT}$. Finally, we find that the top quark electric dipole moment can give stronger bounds of $y_{L,R}^{tT}$ in the off-axis regions for some scenarios.


title: Search4Code: Code Search Intent Classification Using Weak Supervision

abstract: Developers use search for various tasks such as finding code, documentation, debugging information, etc. In particular, web search is heavily used by developers for finding code examples and snippets during the coding process. Recently, natural language based code search has been an active area of research. However, the lack of real-world large-scale datasets is a significant bottleneck. In this work, we propose a weak supervision based approach for detecting code search intent in search queries for C# and Java programming languages. We evaluate the approach against several baselines on a real-world dataset comprised of over 1 million queries mined from Bing web search engine and show that the CNN based model can achieve an accuracy of 77% and 76% for C# and Java respectively. Furthermore, we are also releasing Search4Code, the first large-scale real-world dataset of code search queries mined from Bing web search engine. We hope that the dataset will aid future research on code search.


title: Path Planning with Automatic Seam Extraction over Point Cloud Models for Robotic Arc Welding

abstract: This paper presents a point cloud based robotic system for arc welding. Using hand gesture controls, the system scans partial point cloud views of workpiece and reconstructs them into a complete 3D model by a linear iterative closest point algorithm. Then, a bilateral filter is extended to denoise the workpiece model and preserve important geometrical information. To extract the welding seam from the model, a novel intensity-based algorithm is proposed that detects edge points and generates a smooth 6-DOF welding path. The methods are tested on multiple workpieces with different joint types and poses. Experimental results prove the robustness and efficiency of this robotic system on automatic path planning for welding applications.


title: Alleviating Class-wise Gradient Imbalance for Pulmonary Airway Segmentation

abstract: Automated airway segmentation is a prerequisite for pre-operative diagnosis and intra-operative navigation for pulmonary intervention. Due to the small size and scattered spatial distribution of peripheral bronchi, this is hampered by severe class imbalance between foreground and background regions, which makes it challenging for CNN-based methods to parse distal small airways. In this paper, we demonstrate that this problem is arisen by gradient erosion and dilation of the neighborhood voxels. During back-propagation, if the ratio of the foreground gradient to background gradient is small while the class imbalance is local, the foreground gradients can be eroded by their neighborhoods. This process cumulatively increases the noise information included in the gradient flow from top layers to the bottom ones, limiting the learning of small structures in CNNs. To alleviate this problem, we use group supervision and the corresponding WingsNet to provide complementary gradient flows to enhance the training of shallow layers. To further address the intra-class imbalance between large and small airways, we design a General Union loss function which obviates the impact of airway size by distance-based weights and adaptively tunes the gradient ratio based on the learning process. Extensive experiments on public datasets demonstrate that the proposed method can predict the airway structures with higher accuracy and better morphological completeness than the baselines.


title: DomainMix: Learning Generalizable Person Re-Identification Without Human Annotations

abstract: Existing person re-identification models often have low generalizability, which is mostly due to limited availability of large-scale labeled data in training. However, labeling large-scale training data is very expensive and time-consuming, while large-scale synthetic dataset shows promising value in learning generalizable person re-identification models. Therefore, in this paper a novel and practical person re-identification task is proposed,i.e. how to use labeled synthetic dataset and unlabeled real-world dataset to train a universal model. In this way, human annotations are no longer required, and it is scalable to large and diverse real-world datasets. To address the task, we introduce a framework with high generalizability, namely DomainMix. Specifically, the proposed method firstly clusters the unlabeled real-world images and selects the reliable clusters. During training, to address the large domain gap between two domains, a domain-invariant feature learning method is proposed, which introduces a new loss,i.e. domain balance loss, to conduct an adversarial learning between domain-invariant feature learning and domain discrimination, and meanwhile learns a discriminative feature for person re-identification. This way, the domain gap between synthetic and real-world data is much reduced, and the learned feature is generalizable thanks to the large-scale and diverse training data. Experimental results show that the proposed annotation-free method is more or less comparable to the counterpart trained with full human annotations, which is quite promising. In addition, it achieves the current state of the art on several person re-identification datasets under direct cross-dataset evaluation.


title: SimTreeLS: Simulating aerial and terrestrial laser scans of trees

abstract: There are numerous emerging applications for digitizing trees using terrestrial and aerial laser scanning, particularly in the fields of agriculture and forestry. Interpretation of LiDAR point clouds is increasingly relying on data-driven methods (such as supervised machine learning) that rely on large quantities of hand-labelled data. As this data is potentially expensive to capture, and difficult to clearly visualise and label manually, a means of supplementing real LiDAR scans with simulated data is becoming a necessary step in realising the potential of these methods. We present an open source tool, SimTreeLS (Simulated Tree Laser Scans), for generating point clouds which simulate scanning with user-defined sensor, trajectory, tree shape and layout parameters. Upon simulation, material classification is kept in a pointwise fashion so leaf and woody matter are perfectly known, and unique identifiers separate individual trees, foregoing post-simulation labelling. This allows for an endless supply of procedurally generated data with similar characteristics to real LiDAR captures, which can then be used for development of data processing techniques or training of machine learning algorithms. To validate our method, we compare the characteristics of a simulated scan with a real scan using similar trees and the same sensor and trajectory parameters. Results suggest the simulated data is significantly more similar to real data than a sample-based control. We also demonstrate application of SimTreeLS on contexts beyond the real data available, simulating scans of new tree shapes, new trajectories and new layouts, with results presenting well. SimTreeLS is available as an open source resource built on publicly available libraries.


title: ADCME: Learning Spatially-varying Physical Fields using Deep Neural Networks

abstract: ADCME is a novel computational framework to solve inverse problems involving physical simulations and deep neural networks (DNNs). This paper benchmarks its capability to learn spatially-varying physical fields using DNNs. We demonstrate that our approach has superior accuracy compared to the discretization approach on a variety of problems, linear or nonlinear, static or dynamic. Technically, we formulate our inverse problem as a PDE-constrained optimization problem. We express both the numerical simulations and DNNs using computational graphs and therefore, we can calculate the gradients using reverse-mode automatic differentiation. We apply a physics constrained learning algorithm (PCL) to efficiently back-propagate gradients through iterative solvers for nonlinear equations. The open-source software which accompanies the present paper can be found at https://github.com/kailaix/ADCME.jl.


title: Ultrasound Confidence Maps of Intensity and Structure Based on Directed Acyclic Graphs and Artifact Models

abstract: Ultrasound imaging has been improving, but continues to suffer from inherent artifacts that are challenging to model, such as attenuation, shadowing, diffraction, speckle, etc. These artifacts can potentially confuse image analysis algorithms unless an attempt is made to assess the certainty of individual pixel values. Our novel confidence algorithms analyze pixel values using a directed acyclic graph based on acoustic physical properties of ultrasound imaging. We demonstrate unique capabilities of our approach and compare it against previous confidence-measurement algorithms for shadow-detection and image-compounding tasks.


title: Towards Imperceptible Universal Attacks on Texture Recognition

abstract: Although deep neural networks (DNNs) have been shown to be susceptible to image-agnostic adversarial attacks on natural image classification problems, the effects of such attacks on DNN-based texture recognition have yet to be explored. As part of our work, we find that limiting the perturbation's $l_p$ norm in the spatial domain may not be a suitable way to restrict the perceptibility of universal adversarial perturbations for texture images. Based on the fact that human perception is affected by local visual frequency characteristics, we propose a frequency-tuned universal attack method to compute universal perturbations in the frequency domain. Our experiments indicate that our proposed method can produce less perceptible perturbations yet with a similar or higher white-box fooling rates on various DNN texture classifiers and texture datasets as compared to existing universal attack techniques. We also demonstrate that our approach can improve the attack robustness against defended models as well as the cross-dataset transferability for texture recognition problems.


title: Weakly- and Semi-Supervised Probabilistic Segmentation and Quantification of Ultrasound Needle-Reverberation Artifacts to Allow Better AI Understanding of Tissue Beneath Needles

abstract: Ultrasound image quality has continually been improving. However, when needles or other metallic objects are operating inside the tissue, the resulting reverberation artifacts can severely corrupt the surrounding image quality. Such effects are challenging for existing computer vision algorithms for medical image analysis. Needle reverberation artifacts can be hard to identify at times and affect various pixel values to different degrees. The boundaries of such artifacts are ambiguous, leading to disagreement among human experts labeling the artifacts. We propose a weakly- and semi-supervised, probabilistic needle-and-reverberation-artifact segmentation algorithm to separate the desired tissue-based pixel values from the superimposed artifacts. Our method models the intensity decay of artifact intensities and is designed to minimize the human labeling error. We demonstrate the applicability of the approach and compare it against other segmentation algorithms. Our method is capable of differentiating between the reverberations from artifact-free patches as well as of modeling the intensity fall-off in the artifacts. Our method matches state-of-the-art artifact segmentation performance and sets a new standard in estimating the per-pixel contributions of artifact vs underlying anatomy, especially in the immediately adjacent regions between reverberation lines. Our algorithm is also able to improve the performance downstream image analysis algorithms.


title: Provably-Robust Runtime Monitoring of Neuron Activation Patterns

abstract: For deep neural networks (DNNs) to be used in safety-critical autonomous driving tasks, it is desirable to monitor in operation time if the input for the DNN is similar to the data used in DNN training. While recent results in monitoring DNN activation patterns provide a sound guarantee due to building an abstraction out of the training data set, reducing false positives due to slight input perturbation has been an issue towards successfully adapting the techniques. We address this challenge by integrating formal symbolic reasoning inside the monitor construction process. The algorithm performs a sound worst-case estimate of neuron values with inputs (or features) subject to perturbation, before the abstraction function is applied to build the monitor. The provable robustness is further generalized to cases where monitoring a single neuron can use more than one bit, implying that one can record activation patterns with a fine-grained decision on the neuron value interval.


title: Discontinuous transition to loop formation in optimal supply networks

abstract: The structure and design of optimal supply networks is an important topic in complex networks research. A fundamental trait of natural and man-made networks is the emergence of loops and the trade-off governing their formation: adding redundant edges to supply networks is costly, yet beneficial for resilience. Loops typically form when costs for new edges are small or inputs uncertain. Here, we shed further light on the transition to loop formation. We demonstrate that loops emerge discontinuously when decreasing the costs for new edges for both an edge-damage model and a fluctuating sink model. Mathematically, new loops are shown to form through a saddle-node bifurcation. Our analysis allows to heuristically predict the location and cost where the first loop emerges. Finally, we unveil an intimate relationship among betweenness measures and optimal tree networks. Our results can be used to understand the evolution of loop formation in real-world biological networks.


title: MODNet: Real-Time Trimap-Free Portrait Matting via Objective Decomposition

abstract: Existing portrait matting methods either require auxiliary inputs that are costly to obtain or involve multiple stages that are computationally expensive, making them less suitable for real-time applications. In this work, we present a light-weight matting objective decomposition network (MODNet) for portrait matting in real-time with a single input image. The key idea behind our efficient design is by optimizing a series of sub-objectives simultaneously via explicit constraints. In addition, MODNet includes two novel techniques for improving model efficiency and robustness. First, an Efficient Atrous Spatial Pyramid Pooling (e-ASPP) module is introduced to fuse multi-scale features for semantic estimation. Second, a self-supervised sub-objectives consistency (SOC) strategy is proposed to adapt MODNet to real-world data to address the domain shift problem common to trimap-free methods. MODNet is easy to be trained in an end-to-end manner. It is much faster than contemporaneous methods and runs at 67 frames per second on a 1080Ti GPU. Experiments show that MODNet outperforms prior trimap-free methods by a large margin on both Adobe Matting Dataset and a carefully designed photographic portrait matting (PPM-100) benchmark proposed by us. Further, MODNet achieves remarkable results on daily photos and videos. Our code and models are available at https://github.com/ZHKKKe/MODNet, and the PPM-100 benchmark is released at https://github.com/ZHKKKe/PPM.


title: Good and Bad Boundaries in Ultrasound Compounding: Preserving Anatomic Boundaries While Suppressing Artifacts

abstract: Ultrasound 3D compounding is important for volumetric reconstruction, but as of yet there is no consensus on best practices for compounding. Ultrasound images depend on probe direction and the path sound waves pass through, so when multiple intersecting B-scans of the same spot from different perspectives yield different pixel values, there is not a single, ideal representation for compounding (i.e. combining) the overlapping pixel values. Current popular methods inevitably suppress or altogether leave out bright or dark regions that are useful, and potentially introduce new artifacts. In this work, we establish a new algorithm to compound the overlapping pixels from different view points in ultrasound. We uniquely leverage Laplacian and Gaussian Pyramids to preserve the maximum boundary contrast without overemphasizing noise and speckle. We evaluate our algorithm by comparing ours with previous algorithms, and we show that our approach not only preserves both light and dark details, but also somewhat suppresses artifacts, rather than amplifying them.


title: Time-optimal quantum transformations with bounded bandwidth

abstract: In this paper, we derive sharp lower bounds, also known as quantum speed limits, for the time it takes to transform a quantum system into a state such that an observable assumes its lowest average value. We assume that the system is initially in an incoherent state relative to the observable and that the state evolves according to a von Neumann equation with a Hamiltonian whose bandwidth is uniformly bounded. The transformation time depends intricately on the observable's and the initial state's eigenvalue spectrum and the relative constellation of the associated eigenspaces. The problem of finding quantum speed limits consequently divides into different cases requiring different strategies. We derive quantum speed limits in a large number of cases, and we simultaneously develop a method to break down complex cases into manageable ones. The derivations involve both combinatorial and differential geometric techniques. We also study multipartite systems and show that allowing correlations between the parts can speed up the transformation time. In a final section, we use the quantum speed limits to obtain upper bounds on the power with which energy can be extracted from quantum batteries.


title: LiDAR-based Panoptic Segmentation via Dynamic Shifting Network

abstract: With the rapid advances of autonomous driving, it becomes critical to equip its sensing system with more holistic 3D perception. However, existing works focus on parsing either the objects (e.g. cars and pedestrians) or scenes (e.g. trees and buildings) from the LiDAR sensor. In this work, we address the task of LiDAR-based panoptic segmentation, which aims to parse both objects and scenes in a unified manner. As one of the first endeavors towards this new challenging task, we propose the Dynamic Shifting Network (DS-Net), which serves as an effective panoptic segmentation framework in the point cloud realm. In particular, DS-Net has three appealing properties: 1) strong backbone design. DS-Net adopts the cylinder convolution that is specifically designed for LiDAR point clouds. The extracted features are shared by the semantic branch and the instance branch which operates in a bottom-up clustering style. 2) Dynamic Shifting for complex point distributions. We observe that commonly-used clustering algorithms like BFS or DBSCAN are incapable of handling complex autonomous driving scenes with non-uniform point cloud distributions and varying instance sizes. Thus, we present an efficient learnable clustering module, dynamic shifting, which adapts kernel functions on-the-fly for different instances. 3) Consensus-driven Fusion. Finally, consensus-driven fusion is used to deal with the disagreement between semantic and instance predictions. To comprehensively evaluate the performance of LiDAR-based panoptic segmentation, we construct and curate benchmarks from two large-scale autonomous driving LiDAR datasets, SemanticKITTI and nuScenes. Extensive experiments demonstrate that our proposed DS-Net achieves superior accuracies over current state-of-the-art methods. Notably, we achieve 1st place on the public leaderboard of SemanticKITTI, outperforming 2nd place by 2.6% in terms of the PQ metric.


title: Linear Instability of Sasaki Einstein and nearly parallel ${\rm G}_2$ manifolds

abstract: In this article we study the stability problem for the Einstein metrics on Sasaki Einstein and on complete nearly parallel ${\rm G}_2$ manifolds. In the Sasaki case we show linear instability if the second Betti number is positive. Similarly we prove that nearly parallel $\rm G_2$ manifolds with positive third Betti number are linearly unstable. Moreover, we prove linear instability for the Berger space ${\rm SO}(5)/{\rm SO}(3)_{irr} $ which is a $7$-dimensional homology sphere with a proper nearly parallel ${\rm G}_2$ structure.


title: Provably robust blind source separation of linear-quadratic near-separable mixtures

abstract: In this work, we consider the problem of blind source separation (BSS) by departing from the usual linear model and focusing on the linear-quadratic (LQ) model. We propose two provably robust and computationally tractable algorithms to tackle this problem under separability assumptions which require the sources to appear as samples in the data set. The first algorithm generalizes the successive nonnegative projection algorithm (SNPA), designed for linear BSS, and is referred to as SNPALQ. By explicitly modeling the product terms inherent to the LQ model along the iterations of the SNPA scheme, the nonlinear contributions of the mixing are mitigated, thus improving the separation quality. SNPALQ is shown to be able to recover the ground truth factors that generated the data, even in the presence of noise. The second algorithm is a brute-force (BF) algorithm, which is used as a post-processing step for SNPALQ. It enables to discard the spurious (mixed) samples extracted by SNPALQ, thus broadening its applicability. The BF is in turn shown to be robust to noise under easier-to-check and milder conditions than SNPALQ. We show that SNPALQ with and without the BF postprocessing is relevant in realistic numerical experiments.

categories: eess.SP cs.LG cs.NA eess.IV math.NA stat.ML


title: Ultrafast creation and melting of nonequilibrium excitonic condensates in bulk WSe$_{2}$

abstract: We study the screened dynamics of the nonequilibrium excitonic consensate forming in a bulk WSe$_{2}$ when illuminated by coherent light resonant with the lowest-energy exciton. Intervalley scattering causes electron migration from the optically populated K valley to the conduction band minimum at $\Sigma$. Due to the electron-hole unbalance at the K point a plasma of quasi-free holes develops, which efficiently screens the interaction of the remaining excitons. We show that this plasma screening causes an ultrafast melting of the nonequilibrium consensate and that during melting coherent excitons and quasi-free electron-hole pairs coexist. The time-resolved spectral function does exhibit a conduction and excitonic sidebands of opposite convexity and relative spectral weight that changes in time. Both the dependence of the time-dependent conduction density on the laser intensity and the time-resolved spectral function agree with recent experiments.


title: Non-existence of global classical solutions to barotropic compressible Navier-Stokes equations with degenerate viscosity and vacuum

abstract: We are concerned about the barotropic compressible Navier-Stokes equations with density-dependent viscosities which may degenerate in vacuum. We show that any classical solution to barotropic compressible Navier-Stokes equations in bounded domains will blow up, when the initial density admits an isolated mass group and the viscousity coefficients satisfy some conditions. A new condition on viscosities is first put forward in this paper.


title: The Foundations of Quantum Mechanics in Post-War Italy's Cultural Context

abstract: After World War II, a hyper-pragmatic paradigm was established in physics in most of the western countries, within which foundations of quantum mechanics were vastly dismissed as pointless speculations. In this paper, we show that in Italy, however, the interest toward quantum foundations was revived at the turn of the 1960s, mainly thanks to the initiative of Franco Selleri, who started criticising the contents and the practice of modern physics (in the context of capitalistic society), and thought that the solution was to be sought in a rethinking of the foundations of the discipline. In 1969, supported by Luis de Broglie himself, Selleri wrote a paper reviving the idea of hidden variables and he successfully proposed to the Italian Physical Society to devote the "Varenna School" of 1970 to quantum foundations. This school's historical pivotal importance is twofold: it gathered some of the most preeminent international physicists working on the foundations of quantum theory; and it provided a first platform for young physicists to express their dissatisfaction towards "scientism". In fact, Selleri's highly politicised views found the favour of a critical mass of young, left-wing physicists, who made of quantum foundations their main topic of research in the 1970s. Although these physicists understood very early the central importance of Bell's theorem, their (ideological) aim was to demonstrate that quantum theory could have limits of validity. Such a research program turned out to be unsuccessful, yet the Italian endeavour was worldwide one of the first and most significant revivals of the interest towards quantum foundations.


title: A Novel Multimodal Music Genre Classifier using Hierarchical Attention and Convolutional Neural Network

abstract: Music genre classification is one of the trending topics in regards to the current Music Information Retrieval (MIR) Research. Since, the dependency of genre is not only limited to the audio profile, we also make use of textual content provided as lyrics of the corresponding song. We implemented a CNN based feature extractor for spectrograms in order to incorporate the acoustic features and a Hierarchical Attention Network based feature extractor for lyrics. We then go on to classify the music track based upon the resulting fused feature vector.


title: Field-theoretical aspects of one-dimensional Bose and Fermi gases with contact interactions

abstract: We investigate local quantum field theories for one-dimensional (1D) Bose and Fermi gases with contact interactions, which are closely connected with each other by Girardeau's Bose-Fermi mapping. While the Lagrangian for bosons includes only a two-body interaction, a marginally relevant three-body interaction term is found to be necessary for fermions. Because of this three-body coupling, the three-body contact characterizing a local triad correlation appears in the energy relation for fermions, which is one of the sum rules for a momentum distribution. In addition, we apply in both systems the operator product expansion to derive large-energy and momentum asymptotics of a dynamic structure factor and a single-particle spectral density. These behaviors are universal in the sense that they hold for any 1D scattering length at any temperature. The asymptotics for the Tonks-Girardeau gas, which is a Bose gas with a hardcore repulsion, as well as the Bose-Fermi correspondence in the presence of three-body attractions are also discussed.


title: Foundations of the Socio-physical Model of Activities (SOMA) for Autonomous Robotic Agents

abstract: In this paper, we present foundations of the Socio-physical Model of Activities (SOMA). SOMA represents both the physical as well as the social context of everyday activities. Such tasks seem to be trivial for humans, however, they pose severe problems for artificial agents. For starters, a natural language command requesting something will leave many pieces of information necessary for performing the task unspecified. Humans can solve such problems fast as we reduce the search space by recourse to prior knowledge such as a connected collection of plans that describe how certain goals can be achieved at various levels of abstraction. Rather than enumerating fine-grained physical contexts SOMA sets out to include socially constructed knowledge about the functions of actions to achieve a variety of goals or the roles objects can play in a given situation. As the human cognition system is capable of generalizing experiences into abstract knowledge pieces applicable to novel situations, we argue that both physical and social context need be modeled to tackle these challenges in a general manner. This is represented by the link between the physical and social context in SOMA where relationships are established between occurrences and generalizations of them, which has been demonstrated in several use cases that validate SOMA.


title: Optical isolation induced by subwavelength spinning particle via spin-orbit interaction

abstract: Optical isolation enables nonreciprocal manipulations of light with broad applications in optical communications. Optical isolation by rotating structures has drawn considerable attention due to its magnetic-free nature and unprecedented performance. Conventional rotation-based optical isolation relies on the use of bulky cavities hindering applications in subwavelength photonics. Here, we propose a novel mechanism of optical isolation by integrating the unique dispersion of a hyperbolic metamaterial with the transverse spin-orbit interaction of evanescent waves. We show that rotation of a subwavelength hyperbolic nanoparticle breaks the time-reversal symmetry and yields two resonant chiral modes that selectively couple to the transverse spin of waveguide modes. Remarkably, the transverse spin-orbit interaction can give rise to unidirectional coupling and $>95\%$ isolation of infrared light at an experimentally feasible rotation speed. Our work fuses the two important fields of optical isolation and photonic spin-orbit interactions, leading to magnetic-free yet compact nonreciprocal devices for novel applications in optical communications, chiral quantum optics, and topological photonics.


title: UKPGAN: A General Self-Supervised Keypoint Detector

abstract: Keypoint detection is an essential component for the object registration and alignment. In this work, we reckon keypoint detection as information compression, and force the model to distill out irrelevant points of an object. Based on this, we propose UKPGAN, a general self-supervised 3D keypoint detector where keypoints are detected so that they could reconstruct the original object shape. Two modules: GAN-based keypoint sparsity control and salient information distillation modules are proposed to locate those important keypoints. Extensive experiments show that our keypoints align well with human annotated keypoint labels, and can be applied to SMPL human bodies under various non-rigid deformations. Furthermore, our keypoint detector trained on clean object collections generalizes well to real-world scenarios, thus further improves geometric registration when combined with off-the-shelf point descriptors. Repeatability experiments show that our model is stable under both rigid and non-rigid transformations, with local reference frame estimation. Our code is available on https://github.com/qq456cvb/UKPGAN.


title: Tree-level S-matrix of superstring field theory with homotopy algebra structure

abstract: We show that the tree-level S-matrices of the superstring field theories based on the homotopy-algebra structure agree with those obtained in the first-quantized formulation. The proof is given in detail for the heterotic string field theory. The extensions to the type II and open superstring field theories are straightforward.


title: Modeling skier behavior for planning and management. Dynaski, an agent-based in congested ski-areas

abstract: In leisure spaces, particularly theme parks and museums, researchers and managers have long been using simulation tools to tackle the big issue associated with attractiveness, flow management. In this research, we present the management and planning perspective of a multi-agent simulation tool which models the behavior of skiers in a ski-area. This is the first tool able to simulate and compare management and planning scenarios as well as their impacts on the comfort of skiers, in particular ski-area waiting times. This paper aims to integrate multiple data sources to calibrate the simulation on a real case study. An original field survey of users during a week details the skier population. The first average skier speeds are calculated from GPS data on one ordinary day. The validation data are used to calibrate the parameters of the behavioral model. A demonstration of the simulation tool is conducted on the La Plagne ski-area, one of the largest in France. A test case, the construction of new housing in a station near the ski-area, is conducted. An addition of 1620 new skiers delays the skier average waiting time by 12 pourcents.


title: Entanglement Entropy Bounds in the Higher Spin XXZ Chain

abstract: We consider the Heisenberg XXZ spin-$J$ chain ($J\in\mathbb{N}/2$) with anisotropy parameter $\Delta$. Assuming that $\Delta>2J$, and introducing threshold energies $E_{K}:=K\left(1-\frac{2J}{\Delta}\right)$, we show that the bipartite entanglement entropy (EE) of states belonging to any spectral subspace with energy less than $E_{K+1}$ satisfy a logarithmically corrected area law with prefactor $(2\lfloor K/J\rfloor-2)$. This generalizes previous results by Beaud and Warzel as well as Abdul-Rahman, Stolz and one of the authors, who covered the spin-$1/2$ case.


title: The nascent coffee ring: how solute diffusion counters advection

abstract: We study the initial evolution of the coffee ring that is formed by the evaporation of a thin, axisymmetric, surface tension-dominated droplet containing a dilute solute. When the solutal P\'{e}clet number is large, we show that diffusion close to the droplet contact line controls the coffee-ring structure in the initial stages of evaporation. We perform a systematic matched asymptotic analysis for two evaporation models -- a simple, non-equilibrium, one-sided model (in which the evaporative flux is taken to be constant across the droplet surface) and a vapour-diffusion limited model (in which the evaporative flux is singular at the contact line) -- valid during the early stages in which the solute remains dilute. We call this the `nascent coffee ring' and describe the evolution of its features, including the size and location of the peak concentration and a measure of the width of the ring. Moreover, we use the asymptotic results to investigate when the assumption of a dilute solute breaks down and the effects of finite particle size and jamming are expected to become important. In particular, we illustrate the limited validity of this model in the diffusive evaporative flux regime.


title: Dynamics of entanglement after exceptional quantum quench

abstract: We investigate a quantum quench from a critical to an exceptional point. The initial state, prepared in the ground state of a critical hermitian system, is time evolved with a non-hermitian SSH model, tuned to its exceptional point. The single particle density matrix exhibits supersonic modes and multiple light cones, characteristic to non-hermitian time evolution. These propagate with integer multiples of the original Fermi velocity. In the long time limit, the fermionic Green's function decays spatially as $1/x^2$, in sharp contrast to the usual $1/x$ decay of non-interacting fermions. The entanglement entropy is understood as if all these supersonic modes arise from independent quasiparticles (though they do not), traveling with the corresponding supersonic light cone velocity. The entropy production rate decreases with time and develops plateaus during the time evolution, signaling the distinct velocities in the propagation of non-local quantum correlations. At late times, the entanglement entropy saturates to a finite value, satisfying a volume law.


title: On algebraic values of Weierstrass $\sigma$-functions

abstract: Suppose that $\Omega$ is a lattice in the complex plane and let $\sigma$ be the corresponding Weierstrass $\sigma$-function. Assume that the point $\tau$ associated to $\Omega$ in the standard fundamental domain has imaginary part at most 1.9. Assuming that $\Omega$ has algebraic invariants $g_2,g_3$ we show that a bound of the form $c d^m (\log H)^n$ holds for the number of algebraic points of height at most $H$ and degree at most $d$ lying on the graph of $\sigma$. To prove this we apply results by Masser and Besson. What is perhaps surprising is that we are able to establish such a bound for the whole graph, rather than some restriction. We prove a similar result when, instead of $g_2,g_3$, the lattice points are algebraic. For this we naturally exclude those $(z,\sigma(z))$ for which $z\in\Omega$.


title: Deep-learning based discovery of partial differential equations in integral form from sparse and noisy data

abstract: Data-driven discovery of partial differential equations (PDEs) has attracted increasing attention in recent years. Although significant progress has been made, certain unresolved issues remain. For example, for PDEs with high-order derivatives, the performance of existing methods is unsatisfactory, especially when the data are sparse and noisy. It is also difficult to discover heterogeneous parametric PDEs where heterogeneous parameters are embedded in the partial differential operators. In this work, a new framework combining deep-learning and integral form is proposed to handle the above-mentioned problems simultaneously, and improve the accuracy and stability of PDE discovery. In the framework, a deep neural network is firstly trained with observation data to generate meta-data and calculate derivatives. Then, a unified integral form is defined, and the genetic algorithm is employed to discover the best structure. Finally, the value of parameters is calculated, and whether the parameters are constants or variables is identified. Numerical experiments proved that our proposed algorithm is more robust to noise and more accurate compared with existing methods due to the utilization of integral form. Our proposed algorithm is also able to discover PDEs with high-order derivatives or heterogeneous parameters accurately with sparse and noisy data.

categories: cs.LG cs.NA math.NA physics.comp-ph stat.ML


title: Regularity of global solutions of partial differential equations in non isotropic ultradifferentiable spaces via time-frequency methods

abstract: In this paper we study regularity of partial differential equations with polynomial coefficients in non isotropic Beurling spaces of ultradifferentiable functions of global type. We study the action of transformations of Gabor and Wigner type in such spaces and we prove that a suitable representation of Wigner type allows to prove regularity for classes of operators that do not have classical hypoellipticity properties.


title: WeiPS: a symmetric fusion model framework for large-scale online learning

abstract: The recommendation system is an important commercial application of machine learning, where billions of feed views in the information flow every day. In reality, the interaction between user and item usually makes user's interest changing over time, thus many companies (e.g. ByteDance, Baidu, Alibaba, and Weibo) employ online learning as an effective way to quickly capture user interests. However, hundreds of billions of model parameters present online learning with challenges for real-time model deployment. Besides, model stability is another key point for online learning. To this end, we design and implement a symmetric fusion online learning system framework called WeiPS, which integrates model training and model inference. Specifically, WeiPS carries out second level model deployment by streaming update mechanism to satisfy the consistency requirement. Moreover, it uses multi-level fault tolerance and real-time domino degradation to achieve high availability requirement.


title: Integration of variational autoencoder and spatial clustering for adaptive multi-channel neural speech separation

abstract: In this paper, we propose a method combining variational autoencoder model of speech with a spatial clustering approach for multi-channel speech separation. The advantage of integrating spatial clustering with a spectral model was shown in several works. As the spectral model, previous works used either factorial generative models of the mixed speech or discriminative neural networks. In our work, we combine the strengths of both approaches, by building a factorial model based on a generative neural network, a variational autoencoder. By doing so, we can exploit the modeling power of neural networks, but at the same time, keep a structured model. Such a model can be advantageous when adapting to new noise conditions as only the noise part of the model needs to be modified. We show experimentally, that our model significantly outperforms previous factorial model based on Gaussian mixture model (DOLPHIN), performs comparably to integration of permutation invariant training with spatial clustering, and enables us to easily adapt to new noise conditions. The code for the method is available at https://github.com/BUTSpeechFIT/vae_dolphin


title: Adam$^+$: A Stochastic Method with Adaptive Variance Reduction

abstract: Adam is a widely used stochastic optimization method for deep learning applications. While practitioners prefer Adam because it requires less parameter tuning, its use is problematic from a theoretical point of view since it may not converge. Variants of Adam have been proposed with provable convergence guarantee, but they tend not be competitive with Adam on the practical performance. In this paper, we propose a new method named Adam$^+$ (pronounced as Adam-plus). Adam$^+$ retains some of the key components of Adam but it also has several noticeable differences: (i) it does not maintain the moving average of second moment estimate but instead computes the moving average of first moment estimate at extrapolated points; (ii) its adaptive step size is formed not by dividing the square root of second moment estimate but instead by dividing the root of the norm of first moment estimate. As a result, Adam$^+$ requires few parameter tuning, as Adam, but it enjoys a provable convergence guarantee. Our analysis further shows that Adam$^+$ enjoys adaptive variance reduction, i.e., the variance of the stochastic gradient estimator reduces as the algorithm converges, hence enjoying an adaptive convergence. We also propose a more general variant of Adam$^+$ with different adaptive step sizes and establish their fast convergence rate. Our empirical studies on various deep learning tasks, including image classification, language modeling, and automatic speech recognition, demonstrate that Adam$^+$ significantly outperforms Adam and achieves comparable performance with best-tuned SGD and momentum SGD.


title: Efficient Initial Pose-graph Generation for Global SfM

abstract: We propose ways to speed up the initial pose-graph generation for global Structure-from-Motion algorithms. To avoid forming tentative point correspondences by FLANN and geometric verification by RANSAC, which are the most time-consuming steps of the pose-graph creation, we propose two new methods - built on the fact that image pairs usually are matched consecutively. Thus, candidate relative poses can be recovered from paths in the partly-built pose-graph. We propose a heuristic for the A* traversal, considering global similarity of images and the quality of the pose-graph edges. Given a relative pose from a path, descriptor-based feature matching is made "light-weight" by exploiting the known epipolar geometry. To speed up PROSAC-based sampling when RANSAC is applied, we propose a third method to order the correspondences by their inlier probabilities from previous estimations. The algorithms are tested on 402130 image pairs from the 1DSfM dataset and they speed up the feature matching 17 times and pose estimation 5 times.


title: Faster State Preparation across Quantum Phase Transition Assisted by Reinforcement Learning

abstract: An energy gap develops near quantum critical point of quantum phase transition in a finite many-body (MB) system, facilitating the ground state transformation by adiabatic parameter change. In real application scenarios, however, the efficacy for such a protocol is compromised by the need to balance finite system life time with adiabaticity, as exemplified in a recent experiment that prepares three-mode balanced Dicke state near deterministically [PNAS {\bf 115}, 6381 (2018)]. Instead of tracking the instantaneous ground state as unanimously required for most adiabatic crossing, this work reports a faster sweeping policy taking advantage of excited level dynamics. It is obtained based on deep reinforcement learning (DRL) from a multi-step training scheme we develop. In the absence of loss, a fidelity $\ge 99\%$ between prepared and the target Dicke state is achieved over a small fraction of the adiabatically required time. When loss is included, training is carried out according to an operational benchmark, the interferometric sensitivity of the prepared state instead of fidelity, leading to better sensitivity in about half of the previously reported time. Implemented in a Bose-Einstein condensate of $\sim 10^4$ $^{87}$Rb atoms, the balanced three-mode Dicke state exhibiting an improved number squeezing of $13.02\pm0.20$ dB is observed within 766 ms, highlighting the potential of DRL for quantum dynamics control and quantum state preparation in interacting MB systems.


title: Strong averaging principle for a class of slow-fast singular SPDEs driven by $\alpha$-stable process

abstract: In this paper, the strong averaging principle is researched for a class of H\"{o}lder continuous drift slow-fast SPDEs with $\alpha$-stable process by the Zvonkin's transformation and the classical Khasminkii's time discretization method. As applications, an example is also provided to explain our result.


title: The $N=1$ super Heisenberg-Virasoro vertex algebra at level zero

abstract: We study the representation theory of the N=1 super Heisenberg-Virasoro vertex algebra at level zero, which extends the previous work on the Heisenberg-Virasoro vertex algebra arXiv:math/0201314, arXiv:1405.1707 and arXiv:1703.00531 to the super case. We calculated all characters of irreducible highest weight representations by investigating certain Fock space representations. Quite surprisingly, we found that the maximal submodules of certain Verma modules are generated by subsingular vectors. The formulas for singular and subsingular vectors are obtained using screening operators appearing in a study of certain logarithmic vertex algebras in arXiv:0908.4053.


title: Two dimensional wave--Klein-Gordon equations with semilinear nonlinearities

abstract: From the work on the weak-null condition by Lindblad and Rodnianski, it is well-known that `bad' quadratic sourcing terms are allowed to appear in coupled semilinear wave equations in three spatial dimensions, provided that such terms appear as sources for `good' variables and that the good variables feed back into the system via `good' sourcing terms. Motivated by these ideas, in this paper we investigate the small data global existence and pointwise decay of solutions to two systems of coupled wave--Klein-Gordon equations in two spatial dimensions. In particular, we consider critical semilinear nonlinearities for the wave equation and below-critical semilinear nonlinearities for the Klein-Gordon equation. An interesting feature of our two systems is that if the nonlinearities of our PDEs were to be swapped, the nonlinear term in the wave equation would lead to finite-time blow-up.


title: Discovering Avoidable Planner Failures of Autonomous Vehicles using Counterfactual Analysis in Behaviorally Diverse Simulation

abstract: Automated Vehicles require exhaustive testing in simulation to detect as many safety-critical failures as possible before deployment on public roads. In this work, we focus on the core decision-making component of autonomous robots: their planning algorithm. We introduce a planner testing framework that leverages recent progress in simulating behaviorally diverse traffic participants. Using large scale search, we generate, detect, and characterize dynamic scenarios leading to collisions. In particular, we propose methods to distinguish between unavoidable and avoidable accidents, focusing especially on automatically finding planner-specific defects that must be corrected before deployment. Through experiments in complex multi-agent intersection scenarios, we show that our method can indeed find a wide range of critical planner failures.


title: Multi-scale energy budget of inertially driven turbulence in normal and superfluid helium

abstract: In this paper we present a novel hydrodynamic experiment using liquid $^4$He. The flow is forced inertially by a canonical oscillating grid using either its normal (He~I) or superfluid (He~II) phase, generating a statistically stationary turbulence. We characterise the turbulent properties of the flow using 2D Lagrangian Particle tracking on hollow glass micro-spheres. As expected for tracer particles, the Vorono\"{i} tessellation on particle positions does not show a significant departure from a random Poisson process neither in He~I nor He~II phase. Particles' positions are tracked with high temporal resolution, allowing to resolve velocity fluctuations at integral and inertial scales while properly assessing the noise contribution. Additionally, we differentiate the particles' positions (by convolution with Gaussian kernels) in order to access small scale quantities like acceleration. Using these measured quantities and the formalism of classical Homogeneous Isotropic Turbulence (HIT) to perform an energy budget across scales we extract the energy injection rate at the large scale, the energy flux cascading through inertial scales, down to small scales at which it is dissipated. We found that in such inertially driven turbulence, regardless of the normal or superfluid state of the fluid, estimates of energy at the different scales are compatible with each other and consistent with oscillating grid turbulence results reported for normal fluids in the literature. The largest discrepancy shows up at small scales where the signal to noise ratio is harder to control and where the 2D measurement is contaminated by the 3D nature of the flow. This motivates to focus future experimental projects towards small scales, low noise and 3D measurements.


title: Light Higgsinos for electroweak naturalness in mirage-mediated high-scale supersymmetry

abstract: Mirage mediation realized in the Kachru-Kallosh-Linde-Trivedi (KKLT) flux compactification can naturally suppress the up-type Higgs soft mass at low energy scales. As a result, compared to the conventional scenarios, the degree of electroweak fine-tuning can be reduced further up to by a loop factor if the Higgsinos are much lighter than the heavy Higgs doublet. Interestingly, this feature holds even in high-scale supersymmetry as long as the gauge coupling unification, which is required as a prerequisite for mirage mediation, accommodates such light Higgsinos. Under the experimental constraints on the observed Higgs boson, it turns out that mirage mediation can exhibit low electroweak fine-tuning better than a few percent for stops between about 2 and 6 TeV, i.e., at the same level as in the weak scale supersymmetry, if the Higgsinos are around or below a few hundred GeV.


title: Rate of estimation for the stationary distribution of jump-processes over anisotropic Holder classes

abstract: We study the problem of the non-parametric estimation for the density of the stationary distribution of the multivariate stochastic differential equation with jumps (Xt) , when the dimension d is bigger than 3. From the continuous observation of the sampling path on [0, T ] we show that, under anisotropic Holder smoothness constraints, kernel based estimators can achieve fast convergence rates. In particular , they are as fast as the ones found by Dalalyan and Reiss [9] for the estimation of the invariant density in the case without jumps under isotropic Holder smoothness constraints. Moreover, they are faster than the ones found by Strauch [29] for the invariant density estimation of continuous stochastic differential equations, under anisotropic Holder smoothness constraints. Furthermore, we obtain a minimax lower bound on the L2-risk for pointwise estimation, with the same rate up to a log(T) term. It implies that, on a class of diffusions whose invariant density belongs to the anisotropic Holder class we are considering, it is impossible to find an estimator with a rate of estimation faster than the one we propose.


title: InTAS -- The Ingolstadt Traffic Scenario for SUMO

abstract: Vehicular Ad Hoc Networks (VANETs) are expected to be the next big step towards safer road transport, supporting applications to exchange information between vehicles. To develop novel applications for this area a high number of tests, considering all traffic situations, are demanded. However, it is unfeasible to reproduce these tests in real life, by the fact that any failure on the applications would cause severe impacts on transport system safety and could risk human lives. Thus, this paper presents the concept, model, and validation for InTAS, a realistic traffic scenario for Ingolstadt. InTAS road topology accurately represents Ingolstadt real road map. Elements such as buildings, bus stops, and traffic lights were added to the map. Twenty traffic lights systems were simulated according to the real program deployed on the traffic lights. Traffic demand was modeled based on the activitygen method, considering demographic data and real-traffic information. The city public transport system was also simulated accordingly to bus time-tables and their routes. The simulation step was implemented considering the best value for device.rerouting.probability, which was defined by evaluating InTAS output and real traffic data. The scenario was validated by comparing real-traffic data from 24 measurement points with InTAS simulation results.


title: Dynamics of epidemic spreading on connected graphs

abstract: We propose a new model that describes the dynamics of epidemic spreading on connected graphs. Our model consists in a PDE-ODE system where at each vertex of the graph we have a standard SIR model and connexions between vertices are given by heat equations on the edges supplemented with Robin like boundary conditions at the vertices modeling exchanges between incident edges and the associated vertex. We describe the main properties of the system, and also derive the final total population of infected individuals. We present a semi-implicit in time numerical scheme based on finite differences in space which preserves the main properties of the continuous model such as the uniqueness and positivity of solutions and the conservation of the total population. We also illustrate our results with a selection of numerical simulations for a selection of connected graphs.


title: Critical prewetting in the 2d Ising model

abstract: In this paper we develop a detailed analysis of critical prewetting in the context of the two-dimensional Ising model. Namely, we consider a two-dimensional nearest-neighbor Ising model in a $2N\times N$ rectangular box with a boundary condition inducing the coexistence of the $+$ phase in the bulk and a layer of $-$ phase along the bottom wall. The presence of an external magnetic field of intensity $h=\lambda/N$ (for some fixed $\lambda>0$) makes the layer of $-$ phase unstable. For any $\beta>\beta_{\rm c}$, we prove that, under a diffusing scaling by $N^{-2/3}$ horizontally and $N^{-1/3}$ vertically, the interface separating the layer of unstable phase from the bulk phase weakly converges to an explicit Ferrari-Spohn diffusion.

categories: math.PR cond-mat.stat-mech math-ph math.MP


title: Self-Assembly of Nanoparticles from Evaporating Sessile Droplets: Fresh Look into the Role of Particle/Substrate Interaction

abstract: We studied the dependence of solid deposit shape obtained by free drying of sessile drops on the particles concentration and Derjaguin-Landau-Verwey-Overbeek (DLVO) particle/substrate interaction. In contrast to previous contributions using pH as a control parameter of interactions, we investigated an unprecedentedly wide range of concentrations and particle/substrate DLVO forces by modifying the nature of the substrate and particles as well as their size and surface chemistry whereas long-distance repulsive interactions between particles were maintained for most of the drying time. Our main result is that the different shapes of deposits obtained by modifying the particle concentration are the same in the different regimes of concentration regardless of particle/substrate interaction in the studied range of DLVO forces and particle concentrations. The second result is that, contrary to expectations, the dominant morphology of dry patterns at low particle concentration always shows a dot-like pattern for all the studied systems.


title: Conundrums at Finite Density

abstract: Extending the successes of lattice quantum chromodynamics(QCD) at zero as well as nonzero temperatures to nonzero density is extremely desirable in view of the quest for the QCD phase diagram both theoretically and experimentally. It turns out though to give rise to some conundrums whose resolution may assist progress in this exciting but difficult area, and should therefore be sought actively.


title: Stokes force on a cylinder in the presence of fluid confinement

abstract: In this note, we present Stokes' calculation of the force exerted by the fluid on an oscillating cylinder. While the calculation of the similar problem in the case of the sphere is treated in several textbooks, the case of the cylinder is absent from these textbooks. Because modified Bessel functions were not defined in 1851 when Stokes made this calculation, Stokes was not able to express his results in closed forms but he gave asymptotic formulas valid in the two limits $a\ll \delta$ and $a \gg \delta$, where $a$ is the cylinder radius and $\delta$ is the viscous penetration depth. The closed form results were given by Stuart in 1963. We recall this calculation and we compare Stokes' asymptotic formulas to these exact results. Using modified Bessel functions, it is possible to calculate the force when the fluid is confined by an external cylinder of radius $b$ sharing the same axis: we review previous publications which have treated this problem and we present an exact calculation of this force which is also developed in powers of $\delta/a$, with the expansion coefficients being functions of the ratio $\gamma= a/b$ of the cylinder radii.


title: Canonical Voting: Towards Robust Oriented Bounding Box Detection in 3D Scenes

abstract: 3D object detection has attracted much attention thanks to the advances in sensors and deep learning methods for point clouds. Current state-of-the-art methods like VoteNet regress direct offset towards object centers and box orientations with an additional Multi-Layer-Perceptron network. Both their offset and orientation predictions are not accurate due to the fundamental difficulty in rotation classification. In the work, we disentangle the direct offset into Local Canonical Coordinates (LCC), box scales and box orientations. Only LCC and box scales are regressed, while box orientations are generated by a canonical voting scheme. Finally, an LCC-aware back-projection checking algorithm iteratively cuts out bounding boxes from the generated vote maps, with the elimination of false positives. Our model achieves state-of-the-art performance on three standard real-world benchmarks: ScanNet, SceneNN and SUN RGB-D. Our code is available on https://github.com/qq456cvb/CanonicalVoting.


title: Inflationary stimulated Raman scattering in shock-ignition plasmas

abstract: In the shock-ignition inertial confinement fusion scheme, high-intensity lasers propagate through an inhomogeneous coronal plasma, driving a shock designed to cause fuel ignition. During the high-intensity ignitor laser pulse, SRS backscatter in the long scale-length coronal plasma is likely to be in the kinetic regime. In this work, we use one-dimensional particle-in-cell simulations to show that there is a non-linear frequency shift caused by kinetic effects, resulting in the growth of Stimulated Raman Scattering (SRS) in an inhomogeneous plasma far exceeding the predictions of the fluid theory, so-called inflationary SRS or iSRS. We find that iSRS occurs over a wide range of density scale-lengths relevant to shock-ignition and other directly-driven inertial confinement fusion schemes. The presence of iSRS in shock-ignition plasmas has implications for the theoretical gains from shock-ignition inertial confinement fusion. Here we quantify the intensity threshold for the onset of iSRS for shock-ignition relevant parameters.


title: A diagrammatic approach to string polytopes

abstract: We prove that for every complex classical group $G$ the string polytope associated to a special reduced decomposition and any dominant integral weight $\lambda$ will be a lattice polytope if and only if the highest weight representation of the Lie algebra of $G$ with highest weight $\lambda$ integrates to a representation of $G$ itself. This affirms an earlier conjecture and shows that every partial flag variety of a complex classical group admits a flat projective degeneration to a Gorenstein Fano toric variety.


title: KShapeNet: Riemannian network on Kendall shape space for Skeleton based Action Recognition

abstract: Deep Learning architectures, albeit successful in most computer vision tasks, were designed for data with an underlying Euclidean structure, which is not usually fulfilled since pre-processed data may lie on a non-linear space. In this paper, we propose a geometry aware deep learning approach for skeleton-based action recognition. Skeleton sequences are first modeled as trajectories on Kendall's shape space and then mapped to the linear tangent space. The resulting structured data are then fed to a deep learning architecture, which includes a layer that optimizes over rigid and non rigid transformations of the 3D skeletons, followed by a CNN-LSTM network. The assessment on two large scale skeleton datasets, namely NTU-RGB+D and NTU-RGB+D 120, has proven that proposed approach outperforms existing geometric deep learning methods and is competitive with respect to recently published approaches.


title: Entanglement entropy in holographic moving mirror and Page curve

abstract: We calculate the time evolution of entanglement entropy in two dimensional conformal field theory with a moving mirror. For a setup modeling Hawking radiation, we obtain a linear growth of entanglement entropy and show that this can be interpreted as the production of entangled pairs. For a setup, which mimics black hole formation and evaporation, we find that the evolution follows the ideal Page curve. We perform these computations by constructing the gravity dual of the moving mirror model via holography. We also argue that our holographic setup provides a concrete model to derive the Page curve for black hole radiation in the strong coupling regime of gravity.


title: Quantum confined Rydberg excitons in Cu$_2$O nanoparticles

abstract: The quantum confinement of Rydberg excitons is an important step towards exploiting their large nonlinearities for quantum applications. We observe Rydberg excitons in natural nanoparticles of Cu$_2$O. We resolve up to the principal quantum number $n=12$ in a bulk Cu$_2$O crystal and up to $n=6$ in nanoparticles extracted from the same crystal. The exciton transitions in nanoparticles are broadened and their oscillator strengths decrease as $\propto n^{-4}$ compared to those in the bulk (decreasing as $\propto n^{-3}$). We explain our results by including the effect of quantum confinement of exciton states in the nanoparticles. Our results provide an understanding of the physics of Cu$_2$O Rydberg excitons in confined dimensions.


title: Index of a matrix, complex logarithms, and multidimensional Fresnel integrals

abstract: We critically discuss the problem of finding the $\lambda$-index $\mathcal{N}(\lambda)\in [0,1,\ldots,N]$ of a real symmetric matrix $\mathbf{M}$, defined as the number of eigenvalues smaller than $\lambda$, using the entries of $\mathbf{M}$ as only input. We show that a widely used formula $$ \mathcal{N}(\lambda)=\lim_{\epsilon\to 0^+}\frac{1}{2\pi \mathrm{i}}\left[\log\det(\mathbf{M}-\lambda+\mathrm{i}\epsilon)-\log\det(\mathbf{M}-\lambda-\mathrm{i}\epsilon)\right] $$ based on the branch-cut structure of the complex logarithm should be handled with care, as it generically fails to produce the correct result if the same branch is chosen for the two logarithms. We improve the formula using multidimensional Fresnel integrals, showing that even the new version provides at most a self-consistency equation for $\mathcal{N}(\lambda)$, whose solution is not guaranteed to be unique. Our results are corroborated by explicit examples and numerical evaluations.


title: Laser-Inscribed Diamond Waveguide Resonantly Coupled to Diamond Microsphere

abstract: An all-diamond photonic circuit was implemented by integrating a diamond microsphere with a femtosecond-laser-written bulk diamond waveguide. The near surface waveguide was fabricated by exploiting the Type II fabrication method to achieve stress-induced waveguiding. Transverse electrically and transverse magnetically polarized light from a tunable laser operating in the near-infrared region was injected into the diamond waveguide, which when coupled to the diamond microsphere showed whispering-gallery modes with a spacing of 0.33 nm and high-quality factors of 105. By carefully engineering these high-quality factor resonances, and further exploiting the properties of existing nitrogen-vacancy centers in diamond microspheres and diamond waveguides in such configurations, it should be possible to realize filtering, sensing and nonlinear optical applications in integrated diamond photonics.


title: Beyond the Lascar Group

abstract: We work in a first-order setting where structures are spread out over a metric space, with quantification allowed only over bounded subsets. Assuming a doubling property for the metric space, we define a canonical {\em core} $\mathcal{J}$ associated to such a theory, a locally compact structure that embeds into the type space over any model. The automorphism group of $\mathcal{J}$, modulo certain infinitesimal automorphisms, is a locally compact group $\mathcal{G}$. The automorphism groups of models of the theory are related with $\mathcal{G}$, not in general via a homomorphism, but by a {\em quasi-homomorphism}, respecting multiplication up to a certain canonical compact error set. This fundamental structure is applied to describe the nature of approximate subgroups. Specifically we obtain a full classification of (properly) approximate lattices of $SL_n({\mathbb{R}})$ or $SL_n({\mathbb{Q}}_p)$.


title: Uncertainty Estimation and Calibration with Finite-State Probabilistic RNNs

abstract: Uncertainty quantification is crucial for building reliable and trustable machine learning systems. We propose to estimate uncertainty in recurrent neural networks (RNNs) via stochastic discrete state transitions over recurrent timesteps. The uncertainty of the model can be quantified by running a prediction several times, each time sampling from the recurrent state transition distribution, leading to potentially different results if the model is uncertain. Alongside uncertainty quantification, our proposed method offers several advantages in different settings. The proposed method can (1) learn deterministic and probabilistic automata from data, (2) learn well-calibrated models on real-world classification tasks, (3) improve the performance of out-of-distribution detection, and (4) control the exploration-exploitation trade-off in reinforcement learning.


title: On $2$-closed abelian permutation groups

abstract: A permutation group $G\le\operatorname{Sym}(\Omega)$ is said to be $2$-closed if no group $H$ such that $G<H\le\operatorname{Sym}(\Omega)$ has the same orbits on $\Omega\times\Omega$ as $G$. A simple and efficient inductive criterion for the $2$-closedness is established for abelian permutation groups with cyclic transitive constituents.


title: A More Biologically Plausible Local Learning Rule for ANNs

abstract: The backpropagation algorithm is often debated for its biological plausibility. However, various learning methods for neural architecture have been proposed in search of more biologically plausible learning. Most of them have tried to solve the "weight transport problem" and try to propagate errors backward in the architecture via some alternative methods. In this work, we investigated a slightly different approach that uses only the local information which captures spike timing information with no propagation of errors. The proposed learning rule is derived from the concepts of spike timing dependant plasticity and neuronal association. A preliminary evaluation done on the binary classification of MNIST and IRIS datasets with two hidden layers shows comparable performance with backpropagation. The model learned using this method also shows a possibility of better adversarial robustness against the FGSM attack compared to the model learned through backpropagation of cross-entropy loss. The local nature of learning gives a possibility of large scale distributed and parallel learning in the network. And finally, the proposed method is a more biologically sound method that can probably help in understanding how biological neurons learn different abstractions.


title: Exploring the landscapes of "computing": digital, neuromorphic, unconventional -- and beyond

abstract: The acceleration race of digital computing technologies seems to be steering toward impasses -- technological, economical and environmental -- a condition that has spurred research efforts in alternative, "neuromorphic" (brain-like) computing technologies. Furthermore, since decades the idea of exploiting nonlinear physical phenomena "directly" for non-digital computing has been explored under names like "unconventional computing", "natural computing", "physical computing", or "in-materio computing". This has been taking place in niches which are small compared to other sectors of computer science. In this paper I stake out the grounds of how a general concept of "computing" can be developed which comprises digital, neuromorphic, unconventional and possible future "computing" paradigms. The main contribution of this paper is a wide-scope survey of existing formal conceptualizations of "computing". The survey inspects approaches rooted in three different kinds of background mathematics: discrete-symbolic formalisms, probabilistic modeling, and dynamical-systems oriented views. It turns out that different choices of background mathematics lead to decisively different understandings of what "computing" is. Across all of this diversity, a unifying coordinate system for theorizing about "computing" can be distilled. Within these coordinates I locate anchor points for a foundational formal theory of a future computing-engineering discipline that includes, but will reach beyond, digital and neuromorphic computing.


title: Argument from Old Man's View: Assessing Social Bias in Argumentation

abstract: Social bias in language - towards genders, ethnicities, ages, and other social groups - poses a problem with ethical impact for many NLP applications. Recent research has shown that machine learning models trained on respective data may not only adopt, but even amplify the bias. So far, however, little attention has been paid to bias in computational argumentation. In this paper, we study the existence of social biases in large English debate portals. In particular, we train word embedding models on portal-specific corpora and systematically evaluate their bias using WEAT, an existing metric to measure bias in word embeddings. In a word co-occurrence analysis, we then investigate causes of bias. The results suggest that all tested debate corpora contain unbalanced and biased data, mostly in favor of male people with European-American names. Our empirical insights contribute towards an understanding of bias in argumentative data sources.


title: The gray body approximation for radiative heat transfer in evacuated tube solar collectors: Effects of envelope infrared transparency

abstract: A theoretical and experimental analysis is carried out of radiative heat transfer in the coaxial geometry of evacuated tube solar collectors. The gray body approximation implicit in the use of an effective emissivity does not strictly apply to evacuated tube solar collectors due to selective absorber coating and partially transmitting outer glass in the thermal infrared, especially when constructed from borosilicate. We develop analytic expressions for the heat transfer through the outer envelope and show the equations no longer follow a simple form where an effective emissivity for the system can be defined. To test all approximations in practice, an experiment is performed using an evacuated solar collector manufactured in the 1980s by the Nitto Kohki company in Japan using the effective emissivity approximation to determine the typical heat transfer characteristics using net radiative heat flows in both directions. This method enabled a good fit to temperature-time data for cooling and heating of the inner tube for temperatures between 10 and 85{\deg}C. The results confirm that the effective emittance method can be used in situations with typical glass wall thickness and temperatures. At temperatures greater 100{\deg}C, the spectral distribution of the emitted radiation falls significantly within the transmitting region of the outer glass and can no longer be neglected. The work has verified the stability of the vacuum in this type of collector as the tube still functions well, maintaining a low emissivity and good vacuum after approximately 40 years in storage conditions.


title: Nuclear dynamics of singlet exciton fission: a direct observation in pentacene single crystals

abstract: Singlet exciton fission (SEF) is a key process in the development of efficient opto-electronic devices. An aspect that is rarely probed directly, and yet has a tremendous impact on SEF properties, is the nuclear structure and dynamics involved in this process. Here we directly observe the nuclear dynamics accompanying the SEF process in single crystal pentacene using femtosecond electron diffraction. The data reveal coherent atomic motions at 1 THz, incoherent motions, and an anisotropic lattice distortion representing the polaronic character of the triplet excitons. Combining molecular dynamics simulations, time-dependent density functional theory and experimental structure factor analysis, the coherent motions are identified as collective sliding motions of the pentacene molecules along their long axis. Such motions modify the excitonic coupling between adjacent molecules. Our findings reveal that long-range motions play a decisive part in the disintegration of the electronically correlated triplet pairs, and shed light on why SEF occurs on ultrafast timescales.


title: Novel two-phase method for supercritical water flow

abstract: The current resurgence in the phase diagram study beyond the critical point has questioned the conventional belief of supercritical fluid as a single phase with varying properties. On the same line, a novel two-phase approach has been proposed to study the supercritical flow with heat transfer deterioration (HTD) phenomena. The Volume of Fluid (VOF) multiphase model has been used to analyze the flow, and the simulation result reasonably predicts the wall temperature peaks. Moreover, the velocity and turbulent kinetic energy profiles for different axial locations explain the occurrence of HTD, and it is on par with the pre-existing numerical method. Besides, the quantitative analysis presented in the paper expounds on qualitative understanding. The parametric study of the thermophysical properties revealed that the density variation is the primary cause of HTD in supercritical flows. So banking on this conclusion, the propounded study focuses on the forces generated due to the density variation. This technique equips us with a holistic picture of the supercritical flows. It leads to the inference that for no HTD effects to be present, buoyancy and inertia forces have to be of comparable magnitude throughout the flow. In addition, the pseudo phase change model outclasses the existing research by rendering us the volume fraction data. Mapping of this variable reveals a sudden jump in the lighter phase's thickness near the wall at the site of HTD, which is also reflected as a maximum in the nondimensional two-phase thickness (P) plot. Nevertheless, this observation is only restricted to HTD caused by buoyancy. In the end, a theoretical expression has been conceptualized for computing the two-phase thickness (h) value, which can serve as a fundamental length scale in supercritical flows as it marks the region of highest property gradient near the wall.


title: Predicting the DNA Conductance using Deep Feed Forward Neural Network Model

abstract: Double-stranded DNA (dsDNA) has been established as an efficient medium for charge migration, bringing it to the forefront of the field of molecular electronics as well as biological research. The charge migration rate is controlled by the electronic couplings between the two nucleobases of DNA/RNA. These electronic couplings strongly depend on the intermolecular geometry and orientation. Estimating these electronic couplings for all the possible relative geometries of molecules using the computationally demanding first-principles calculations requires a lot of time as well as computation resources. In this article, we present a Machine Learning (ML) based model to calculate the electronic coupling between any two bases of dsDNA/dsRNA of any length and sequence and bypass the computationally expensive first-principles calculations. Using the Coulomb matrix representation which encodes the atomic identities and coordinates of the DNA base pairs to prepare the input dataset, we train a feedforward neural network model. Our NN model can predict the electronic couplings between dsDNA base pairs with any structural orientation with a MAE of less than 0.014 eV. We further use the NN predicted electronic coupling values to compute the dsDNA/dsRNA conductance.


title: Nanoscale vector electric field imaging using a single electron spin

abstract: The ability to perform nanoscale electric field imaging of elementary charges at ambient temperatures will have diverse interdisciplinary applications. While the nitrogen-vacancy (NV) center in diamond is capable of high-sensitivity electrometry, demonstrations have so far been limited to macroscopic field features or detection of single charges internal to diamond itself. In this work we greatly extend these capabilities by using a shallow NV center to image the electric field of a charged atomic force microscope tip with nanoscale resolution. This is achieved by measuring Stark shifts in the NV spin-resonance due to AC electric fields. To achieve this feat we employ for the first time, the integration of Qdyne with scanning quantum microscopy. We demonstrate near single charge sensitivity of $\eta_e = 5.3$ charges/$\sqrt{\text{Hz}}$, and sub-charge detection ($0.68e$). This proof-of-concept experiment provides the motivation for further sensing and imaging of electric fields using NV centers in diamond.

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


title: Continuity of the Haar dual measure

abstract: Given a locally compact group bundle, we show that the system of the Plancherel weights of their C*-algebras is lower semi-continuous. As a corollary, we obtain that the dual Haar sytem of a continuous Haar system of a locally compact abelian group bundle is also continuous.


title: The complexity of protein interactions unravelled from structural disorder

abstract: The idea that structural disorder might be a novel mechanism of protein interaction is widespread in the Literature, although the number of statistically significant structural studies supporting this is surprisingly low. At variance with previous works, our conclusions rely exclusively on a large-scale analysis of all the 134337 X-ray crystallographic structures of the Protein Data Bank averaged over clusters of almost identical protein sequences. In this work, we explore the complexity of the organization of all the interaction interfaces observed when a protein lies in alternative complexes, showing that interfaces progressively add up in a hierarchical way. We further investigate the connection of this complexity with different measures of structural disorder: the standard missing residues and a new definition, called "soft disorder", that covers all the flexible and structurally amorphous residues of a protein. We show evidences that both the interaction interfaces and the soft disordered regions tend to involve roughly the same amino-acids of the protein, and preliminary results suggesting that soft disorder spots those surface regions where new interfaces are progressively accommodated by complex formation. Our results suggest that disordered regions not only carry crucial information about the location of alternative interfaces within complexes, but also of the order of the assembly. We verify these hypotheses in several examples. We finally compare our measures of disorder with several disorder predictors, showing that these latter are optimized to predict the residues that are missing in all the alternative structures of a protein, and they are not able to catch the progressive evolution of the disordered regions upon complex formation. Yet, the predicted residues, if not missing, tend to be characterized as soft disordered.


title: Multi-Decoder DPRNN: High Accuracy Source Counting and Separation

abstract: We propose an end-to-end trainable approach to single-channel speech separation with unknown number of speakers. Our approach extends the MulCat source separation backbone with additional output heads: a count-head to infer the number of speakers, and decoder-heads for reconstructing the original signals. Beyond the model, we also propose a metric on how to evaluate source separation with variable number of speakers. Specifically, we cleared up the issue on how to evaluate the quality when the ground-truth hasmore or less speakers than the ones predicted by the model. We evaluate our approach on the WSJ0-mix datasets, with mixtures up to five speakers. We demonstrate that our approach outperforms state-of-the-art in counting the number of speakers and remains competitive in quality of reconstructed signals.


title: BAYES-LOSVD: a bayesian framework for non-parametric extraction of the line-of-sight velocity distribution of galaxies

abstract: We introduce BAYES-LOSVD, a novel implementation of the non-parametric extraction of line-of-sight velocity distributions (LOSVDs) in galaxies. We employ bayesian inference to obtain robust LOSVDs and associated uncertainties. Our method relies on principal component analysis to reduce the dimensionality of the base of templates required for the extraction and thus increase the performance of the code. In addition, we implement several options to regularise the output solutions. Our tests, conducted on mock spectra, confirm the ability of our approach to model a wide range of LOSVD shapes, overcoming limitations of the most widely used parametric methods (e.g. Gauss-Hermite expansion). We present examples of LOSVD extractions for real galaxies with known peculiar LOSVD shapes, i.e. NGC4371, IC0719 and NGC4550, using MUSE and SAURON integral-field unit (IFU) data. Our implementation can also handle data from other popular IFU surveys (e.g. ATLAS3D, CALIFA, MaNGA, SAMI). Details of the code and relevant documentation are freely available to the community in the dedicated repositories.


title: RIN: Textured Human Model Recovery and Imitation with a Single Image

abstract: Human imitation has become topical recently, driven by GAN's ability to disentangle human pose and body content. However, the latest methods hardly focus on 3D information, and to avoid self-occlusion, a massive amount of input images are needed. In this paper, we propose RIN, a novel volume-based framework for reconstructing a textured 3D model from a single picture and imitating a subject with the generated model. Specifically, to estimate most of the human texture, we propose a U-Net-like front-to-back translation network. With both front and back images input, the textured volume recovery module allows us to color a volumetric human. A sequence of 3D poses then guides the colored volume via Flowable Disentangle Networks as a volume-to-volume translation task. To project volumes to a 2D plane during training, we design a differentiable depth-aware renderer. Our experiments demonstrate that our volume-based model is adequate for human imitation, and the back view can be estimated reliably using our network. While prior works based on either 2D pose or semantic map often fail for the unstable appearance of a human, our framework can still produce concrete results, which are competitive to those imagined from multi-view input.


title: SegBlocks: Block-Based Dynamic Resolution Networks for Real-Time Segmentation

abstract: SegBlocks reduces the computational cost of existing neural networks, by dynamically adjusting the processing resolution of image regions based on their complexity. Our method splits an image into blocks and downsamples blocks of low complexity, reducing the number of operations and memory consumption. A lightweight policy network, selecting the complex regions, is trained using reinforcement learning. In addition, we introduce several modules implemented in CUDA to process images in blocks. Most important, our novel BlockPad module prevents the feature discontinuities at block borders of which existing methods suffer, while keeping memory consumption under control. Our experiments on Cityscapes, Camvid and Mapillary Vistas datasets for semantic segmentation show that dynamically processing images offers a better accuracy versus complexity trade-off compared to static baselines of similar complexity. For instance, our method reduces the number of floating-point operations of SwiftNet-RN18 by 60% and increases the inference speed by 50%, with only 0.3% decrease in mIoU accuracy on Cityscapes.


title: Adversarial Generation of Continuous Images

abstract: In most existing learning systems, images are typically viewed as 2D pixel arrays. However, in another paradigm gaining popularity, a 2D image is represented as an implicit neural representation (INR) - an MLP that predicts an RGB pixel value given its (x,y) coordinate. In this paper, we propose two novel architectural techniques for building INR-based image decoders: factorized multiplicative modulation and multi-scale INRs, and use them to build a state-of-the-art continuous image GAN. Previous attempts to adapt INRs for image generation were limited to MNIST-like datasets and do not scale to complex real-world data. Our proposed INR-GAN architecture improves the performance of continuous image generators by several times, greatly reducing the gap between continuous image GANs and pixel-based ones. Apart from that, we explore several exciting properties of the INR-based decoders, like out-of-the-box superresolution, meaningful image-space interpolation, accelerated inference of low-resolution images, an ability to extrapolate outside of image boundaries, and strong geometric prior. The project page is located at https://universome.github.io/inr-gan.


title: The shifted harmonic oscillator and the hypoelliptic Laplacian on the circle

abstract: We study the semigroup generated by the hypoelliptic Laplacian on the circle and the maximal bounded holomorphic extension of this semigroup. Using an orthogonal decomposition into harmonic oscillators with complex shifts, we describe the domain of this extension and we show that boundedness in a half-plane corresponds to absolute convergence of the expansion of the semigroup in eigenfunctions. This relies on a novel integral formula for the spectral projections which also gives asymptotics for Laguerre polynomials in a large-parameter regime.