title: Model-centric Data Manifold: the Data Through the Eyes of the Model

abstract: We discover that deep ReLU neural network classifiers can see a low-dimensional Riemannian manifold structure on data. Such structure comes via the local data matrix, a variation of the Fisher information matrix, where the role of the model parameters is taken by the data variables. We obtain a foliation of the data domain and we show that the dataset on which the model is trained lies on a leaf, the data leaf, whose dimension is bounded by the number of classification labels. We validate our results with some experiments with the MNIST dataset: paths on the data leaf connect valid images, while other leaves cover noisy images.


title: Catacondensed Chemical Hexagonal Complexes: A Natural Generalisation of Benzenoids

abstract: Catacondensed benzenoids (those benzenoids having no carbon atom belonging to three hexagonal rings) form the simplest class of polycyclic aromatic hydrocarbons (PAH). They have a long history of study and are of wide chemical importance. In this paper, mathematical possibilities for natural extension of the notion of a catacondensed benzenoid are discussed, leading under plausible chemically and physically motivated restrictions to the notion of a catacondensed chemical hexagonal complex (CCHC). A general polygonal complex is a topological structure composed of polygons that are glued together along certain edges. A polygonal complex is flat if none of its edges belong to more than two polygons. A connected flat polygonal complex determines an orientable or nonorientable surface, possibly with boundary. A CCHC is then a connected flat polygonal complex all of whose polygons are hexagons and each of whose vertices belongs to at most two hexagonal faces. We prove that all CCHC are Kekulean and give formulas for counting the perfect matchings in a series of examples based on expansion of cubic graphs in which the edges are replaced by linear polyacenes of equal length. As a preliminary assessment of the likely stability of molecules with CCHC structure, all-electron quantum chemical calculations are applied to molecular structures based on several CCHC, using either linear or kinked unbranched catafused polyacenes as the expansion motif. The systems examined all have closed shells according to H\"uckel theory and all correspond to minima on the potential surface, thus passing the most basic test for plausibility as a chemical species.


title: A Reconfigurable Intelligent Surface at mmWave based on a binary phase tunable metasurface

abstract: Originally introduced in the early 2010's, the idea of smart environments through reconfigurable intelligent surfaces (RIS) controlling the reflections of the electromagnetic waves has attracted much attention in recent years in preparation for the future 6G. Since reconfigurable intelligent surfaces are not based on increasing the number of sources, they could indeed pave the way to greener and potentially limitless wireless communications. In this paper, we design, model and demonstrate experimentally a millimeter wave reconfigurable intelligent surface based on an electronically tunable metasurface with binary phase modulation. We first study numerically the unit cell of the metasurface, based on a PIN diode, and obtain a good phase shift and return loss for both polarizations, over a wide frequency range around 28.5 GHz. We then fabricate and characterize the unit cell and verify its properties, before fabricating the whole 10 cm x10 cm reconfigurable intelligent surface. We propose an analytical description of the use that can be done of the binary phase RIS, both in the near field (reflectarray configuration) and in the far field (access point extender). We finally verify experimentally that the designed RIS works as expected, performing laboratory experiments of millimeter wave beamforming both in the near field and far field configuration. Our experimental results demonstrate the high efficiency of our binary phase RIS to control millimeter waves in any kind of scenario and this at the sole cost of the energy dissipated by the PIN diodes used in our design.


title: An explicit comparison between $2$-complicial sets and $\Theta_2$-spaces

abstract: We produce a direct Quillen equivalence between two models of $(\infty,2)$-categories: the complete Segal $\Theta_2$-spaces due to Rezk and the $2$-complicial sets due to Verity.


title: Evidential segmentation of 3D PET/CT images

abstract: PET and CT are two modalities widely used in medical image analysis. Accurately detecting and segmenting lymphomas from these two imaging modalities are critical tasks for cancer staging and radiotherapy planning. However, this task is still challenging due to the complexity of PET/CT images, and the computation cost to process 3D data. In this paper, a segmentation method based on belief functions is proposed to segment lymphomas in 3D PET/CT images. The architecture is composed of a feature extraction module and an evidential segmentation (ES) module. The ES module outputs not only segmentation results (binary maps indicating the presence or absence of lymphoma in each voxel) but also uncertainty maps quantifying the classification uncertainty. The whole model is optimized by minimizing Dice and uncertainty loss functions to increase segmentation accuracy. The method was evaluated on a database of 173 patients with diffuse large b-cell lymphoma. Quantitative and qualitative results show that our method outperforms the state-of-the-art methods.


title: Sub-predictors and classical predictors for finite-dimensional observer-based control of parabolic PDEs

abstract: We study constant input delay compensation by using finite-dimensional observer-based controllers in the case of the 1D heat equation. We consider Neumann actuation with nonlocal measurement and employ modal decomposition with $N+1$ modes in the observer. We introduce a chain of $M$ sub-predictors that leads to a closed-loop ODE system coupled with infinite-dimensional tail. Given an input delay $r$, we present LMI stability conditions for finding $M$ and $N$ and the resulting exponential decay rate and prove that the LMIs are always feasible for any $r$. We also consider a classical observer-based predictor and show that the corresponding LMI stability conditions are feasible for any $r$ provided $N$ is large enough. A numerical example demonstrates that the classical predictor leads to a lower-dimensional observer. However, it is known to be hard for implementation due to the distributed input signal.


title: Metamorphic Detection of Repackaged Malware

abstract: Machine learning-based malware detection systems are often vulnerable to evasion attacks, in which a malware developer manipulates their malicious software such that it is misclassified as benign. Such software hides some properties of the real class or adopts some properties of a different class by applying small perturbations. A special case of evasive malware hides by repackaging a bonafide benign mobile app to contain malware in addition to the original functionality of the app, thus retaining most of the benign properties of the original app. We present a novel malware detection system based on metamorphic testing principles that can detect such benign-seeming malware apps. We apply metamorphic testing to the feature representation of the mobile app rather than to the app itself. That is, the source input is the original feature vector for the app and the derived input is that vector with selected features removed. If the app was originally classified benign and is indeed benign, the output for the source and derived inputs should be the same class, i.e., benign, but if they differ, then the app is exposed as likely malware. Malware apps originally classified as malware should retain that classification since only features prevalent in benign apps are removed. This approach enables the machine learning model to classify repackaged malware with reasonably few false negatives and false positives. Our training pipeline is simpler than many existing ML-based malware detection methods, as the network is trained end-to-end to learn appropriate features and perform classification. We pre-trained our classifier model on 3 million apps collected from the widely-used AndroZoo dataset. We perform an extensive study on other publicly available datasets to show our approach's effectiveness in detecting repackaged malware with more than94% accuracy, 0.98 precision, 0.95 recall, and 0.96 F1 score.


title: CAIM: Cooperative Angle of Arrival Estimation using the Ising Method

abstract: This paper proposes a cooperative angle-of-arrival(AoA) estimation, taking advantage of co-processing channel state information (CSI) from a group of access points that receive signals of the same source. Since received signals are sparse, we use Compressive Sensing (CS) to address the AoA estimation problem. We formulate this problem as a penalized l0-norm minimization, reformulate it as an Ising energy problem, and solve it using Markov Chain Monte Carlo (MCMC). Simulation results show that our proposed method outperforms the existing methods in the literature.


title: Quantum circuit synthesis of Bell and GHZ states using projective simulation in the NISQ era

abstract: Quantum Computing has been evolving in the last years. Although nowadays quantum algorithms performance has shown superior to their classical counterparts, quantum decoherence and additional auxiliary qubits needed for error tolerance routines have been huge barriers for quantum algorithms efficient use. These restrictions lead us to search for ways to minimize algorithms costs, i.e the number of quantum logical gates and the depth of the circuit. For this, quantum circuit synthesis and quantum circuit optimization techniques are explored. We studied the viability of using Projective Simulation, a reinforcement learning technique, to tackle the problem of quantum circuit synthesis for noise quantum computers with limited number of qubits. The agent had the task of creating quantum circuits up to 5 qubits to generate GHZ states in the IBM Tenerife (IBM QX4) quantum processor. Our simulations demonstrated that the agent had a good performance but its capacity for learning new circuits decreased as the number of qubits increased.


title: Self-distillation with Batch Knowledge Ensembling Improves ImageNet Classification

abstract: The recent studies of knowledge distillation have discovered that ensembling the "dark knowledge" from multiple teachers or students contributes to creating better soft targets for training, but at the cost of significantly more computations and/or parameters. In this work, we present BAtch Knowledge Ensembling (BAKE) to produce refined soft targets for anchor images by propagating and ensembling the knowledge of the other samples in the same mini-batch. Specifically, for each sample of interest, the propagation of knowledge is weighted in accordance with the inter-sample affinities, which are estimated on-the-fly with the current network. The propagated knowledge can then be ensembled to form a better soft target for distillation. In this way, our BAKE framework achieves online knowledge ensembling across multiple samples with only a single network. It requires minimal computational and memory overhead compared to existing knowledge ensembling methods. Extensive experiments demonstrate that the lightweight yet effective BAKE consistently boosts the classification performance of various architectures on multiple datasets, e.g., a significant +0.7% gain of Swin-T on ImageNet with only +1.5% computational overhead and zero additional parameters. BAKE does not only improve the vanilla baselines, but also surpasses the single-network state-of-the-arts on all the benchmarks.


title: From Human Explanation to Model Interpretability: A Framework Based on Weight of Evidence

abstract: We take inspiration from the study of human explanation to inform the design and evaluation of interpretability methods in machine learning. First, we survey the literature on human explanation in philosophy, cognitive science, and the social sciences, and propose a list of design principles for machine-generated explanations that are meaningful to humans. Using the concept of weight of evidence from information theory, we develop a method for generating explanations that adhere to these principles. We show that this method can be adapted to handle high-dimensional, multi-class settings, yielding a flexible framework for generating explanations. We demonstrate that these explanations can be estimated accurately from finite samples and are robust to small perturbations of the inputs. We also evaluate our method through a qualitative user study with machine learning practitioners, where we observe that the resulting explanations are usable despite some participants struggling with background concepts like prior class probabilities. Finally, we conclude by surfacing~design~implications for interpretability tools in general.


title: Localization of the Helical Edge States in the Absense of External Magnetic Field

abstract: Theoretically, the helical edge states of two-dimensional topological insulators are protected from coherent backscattering due to nonmagnetic disorder provided electron interactions are not too strong. Experimentally, the edges typically do not demonstrate the systematic and robust quantization, at the same time little is known about the sub-Kelvin temperature behavior. Here, we report the surprising localization of the edge states in an 8 nm HgTe quantum well in zero magnetic field at millikelvin temperatures. Additionally, the magnetoresistance data at 0.5 K for the edges few micrometers long suggests the field-dependent localization length $l_B\propto B^{-\alpha}$, with $\alpha$ ranging approximately from $1.6$ to $2.8$ at fields $B\lesssim0.1\,\text{T}$ and $\alpha\approx1.1$ at higher fields up to $0.5\,\text{T}$. In the frame of disordered interacting edge, these values of $\alpha$ correspond to the Luttinger liquid parameters $K\approx 0.9-1.1$ and $K\approx 0.6$, respectively. We discuss possible scenarios which could result in the zero magnetic field localization.


title: Electronegative metal dopants improve switching consistency in Al2O3 resistive switching devices

abstract: Resistive random access memories are promising for non-volatile memory and brain-inspired computing applications. High variability and low yield of these devices are key drawbacks hindering reliable training of physical neural networks. In this study, we show that doping an oxide electrolyte, Al2O3, with electronegative metals makes resistive switching significantly more reproducible, surpassing the reproducibility requirements for obtaining reliable hardware neuromorphic circuits. The underlying mechanism is the ease of creating oxygen vacancies in the vicinity of electronegative dopants, due to the capture of the associated electrons by dopant mid-gap states, and the weakening of Al-O bonds. These oxygen vacancies and vacancy clusters also bind significantly to the dopant, thereby serving as preferential sites and building blocks in the formation of conducting paths. We validate this theory experimentally by implanting multiple dopants over a range of electronegativities, and find superior repeatability and yield with highly electronegative metals, Au, Pt and Pd. These devices also exhibit a gradual SET transition, enabling multibit switching that is desirable for analog computing.


title: Adaptive Adversarial Training for Meta Reinforcement Learning

abstract: Meta Reinforcement Learning (MRL) enables an agent to learn from a limited number of past trajectories and extrapolate to a new task. In this paper, we attempt to improve the robustness of MRL. We build upon model-agnostic meta-learning (MAML) and propose a novel method to generate adversarial samples for MRL by using Generative Adversarial Network (GAN). That allows us to enhance the robustness of MRL to adversal attacks by leveraging these attacks during meta training process.


title: Smells and Refactorings for Microservices Security: A Multivocal Literature Review

abstract: Context: Securing microservice-based applications is crucial, as many IT companies are delivering their businesses through microservices. If security smells affect microservice-based applications, they can possibly suffer from security leaks and need to be refactored to mitigate the effects of security smells therein. Objective: As the currently available knowledge on securing microservices is scattered across different pieces of white and grey literature, our objective here is to distill well-known smells for securing microservices, together with the refactorings enabling to mitigate the effects of such smells. Method: To capture the state of the art and practice in securing microservices, we conducted a multivocal review of the existing white and grey literature on the topic. We systematically analyzed 58 studies published from 2014 until the end of 2020. Results: Ten bad smells for securing microservices are identified, which we organized in a taxonomy, associating each smell with the security properties it may violate and the refactorings enabling to mitigate its effects. Conclusions: The security smells and the corresponding refactorings have pragmatic value for practitioners, who can exploit them in their daily work on securing microservices. They also serve as a starting point for researchers wishing to establish new research directions on securing microservices.


title: Half-integrality of line bundles on partial flag schemes of classical Lie groups

abstract: In this paper, we develop a theory of Galois descent for equivariant line bundles on partial flag schemes. In particular, we study computational aspects of the classification of descent data of equivariant line bundles attached to characters of parabolic subgroups. As an application, we classify equivariant line bundles on partial flag schemes of the standard $\mathbb{Z}\left[1/2\right]$-forms of classical Lie groups.


title: Cavity-immune features in the spectra of superradiant crossover laser pulses

abstract: Lasing in the bad cavity regime has promising applications in precision metrology due to the reduced sensitivity to cavity noise. Here we investigate the spectral properties and phase behavior of pulsed lasing on the $^1$S$_0 - ^3$P$_1$ line of $^{88}$Sr in a mK thermal ensemble, as first described in arxiv:1903.12593. The system operates in a regime where the Doppler-broadened atomic transition linewidth is several times larger than the cavity linewidth. We find that by detuning the cavity resonance, the influence of the cavity noise on the peak lasing frequency can be eliminated to first order despite the system not being deep in the bad cavity regime. Experimental results are compared to a model based on a Tavis-Cummings Hamiltonian, which enables us to investigate the interplay between different thermal velocity classes as the underlying mechanism for the reduction in cavity noise. These velocity-dependent dynamics can occur in pulsed lasing and during the turn-on behavior of lasers in the superradiant crossover regime.


title: Families of faces and the normal cycle of a convex semi-algebraic set

abstract: We study families of faces for convex semi-algebraic sets via the normal cycle which is a semi-algebraic set similar to the conormal variety in projective duality theory. We propose a convex algebraic notion of a "patch" -- a term recently coined by Ciripoi, Kaihnsa, L\"ohne, and Sturmfels as a tool for approximating the convex hull of a semi-algebraic set. We discuss geometric consequences, both for the semi-algebraic and convex geometry of the families of faces, as well as variations of our definition and their consequences.


title: Steepest-descent algorithm for simulating plasma-wave caustics via metaplectic geometrical optics

abstract: The design and optimization of radiofrequency-wave systems for fusion applications is often performed using ray-tracing codes, which rely on the geometrical-optics (GO) approximation. However, GO fails at wave cutoffs and caustics. To accurately model the wave behavior in these regions, more advanced and computationally expensive "full-wave" simulations are typically used, but this is not strictly necessary. A new generalized formulation called metaplectic geometrical optics (MGO) has been proposed that reinstates GO near caustics. The MGO framework yields an integral representation of the wavefield that must be evaluated numerically in general. We present an algorithm for computing these integrals using Gauss-Freud quadrature along the steepest-descent contours. Benchmarking is performed on the standard Airy problem, for which the exact solution is known analytically. The numerical MGO solution provided by the new algorithm agrees remarkably well with the exact solution and significantly improves upon previously derived analytical approximations of the MGO integral.


title: Construction of a Family of Positive But Not Completely Positive Map For the Detection of Bound Entangled States

abstract: We construct a family of map which is shown to be positive when imposing certain condition on the parameters. Then we show that the constructed map can never be completely positive. After tuning the parameters, we found that the map still remain positive but it is not completely positive. We then use the positive but not completely positive map in the detection of bound entangled state and negative partial transpose entangled states.


title: Downlink Precoding for DP-UPA FDD Massive MIMO via Multi-Dimensional Active Channel Sparsification

abstract: In this paper, we consider user selection and downlink precoding for an over-loaded single-cell massive multiple-input multiple-output (MIMO) system in frequency division duplexing (FDD) mode, where the base station is equipped with a dual-polarized uniform planar array (DP-UPA) and serves a large number of single-antenna users. Due to the absence of uplink-downlink channel reciprocity and the high-dimensionality of channel matrices, it is extremely challenging to design downlink precoders using closed-loop channel probing and feedback with limited spectrum resource. To address these issues, a novel methodology -- active channel sparsification (ACS) -- has been proposed recently in the literature for uniform linear array (ULA) to design sparsifying precoders, which boosts spectral efficiency for multi-user downlink transmission with substantially reduced channel feedback overhead. Pushing forward this line of research, we aim to facilitate the potential deployment of ACS in practical FDD massive MIMO systems, by extending it from ULA to DP-UPA with explicit user selection and making the current ACS implementation simplified. To this end, by leveraging Toeplitz structure of channel covariance matrices, we extend the original ACS using scale-weight bipartite graph representation to the matrix-weight counterpart. Building upon this, we propose a multi-dimensional ACS (MD-ACS) method, which is a generalization of original ACS formulation and is more suitable for DP-UPA antenna configurations. The nonlinear integer program formulation of MD-ACS can be classified as a generalized multi-assignment problem (GMAP), for which we propose a simple yet efficient greedy algorithm to solve it. Simulation results demonstrate the performance improvement of the proposed MD-ACS with greedy algorithm over the state-of-the-art methods based on the QuaDRiGa channel models.


title: Finding discrete logarithm in $F_p^* $

abstract: Difficulty of calculation of discrete logarithm for any arbitrary Field is the basis for security of several popular cryptographic solutions. Pohlig-Hellman method is a popular choice to calculate discrete logarithm in finite field $F_p^*$. Pohlig-Hellman method does yield good results if p is smooth ( i.e. p-1 has small prime factors). We propose a practical alternative to Pohlig-Hellman algorithm for finding discrete logarithm modulo prime. Although, proposed method, similar to Pohlig-Hellman reduces the problem to group of orders $p_i$ for each prime factor and hence in worst case scenario (including when p=2q+1 , q being another prime) order of run time remains the same. However in proposed method, as there is no requirement of combining the result using Chinese Remainder Theorem and do the other associated work ,run times are much faster.


title: Magnetoelastic Coupling and Phases in the Skyrmion Lattice Magnet Gd2PdSi3 Discovered by High-resolution Dilatometry

abstract: We report detailed thermodynamic studies on high-quality single crystals of the centrosymmetric skyrmion-hosting intermetallic Gd2PdSi3 by means of high-resolution capacitance dilatometry in fields up to 15 T which are complemented by specific heat and magnetization studies. Our dilatometric measurements show magnetoelastic effects associated with antiferromagnetic order at TN1 = 22.3 K and TN2 = 19.7 K, as well as strong field effects in an applied magnetic field of 15 Tup to 200 K (150 K) for B||c (B||a*, i.e. B perp c). The data allow us to complete the magneticphase diagram, including a new feature at T* approx 12 K below which a new degree of freedom becomesrelevant. For the first time, the magnetic B vs. T phase diagram for the a*-axis is also reported. Gr\"uneisen analysis shows the onset of magnetic contributions around 60 K, i.e., well above TN1. Uniaxial pressure dependencies of opposite sign, -1.3 K/GPa and 0.3 K/GPa, are extracted for the out-of-plane and in-plane directions at TN1. For T* we obtain dT*/dpc= 1.4 K/GPa. In particular we elucidate thermodynamic properties of the recently discovered skyrmion lattice phase and show that it is strongly enhanced by uniaxial pressure.


title: Multi-fairness under class-imbalance

abstract: Recent studies showed that datasets used in fairness-aware machine learning for multiple protected attributes (referred to as multi-discrimination hereafter) are often imbalanced. The class-imbalance problem is more severe for the often underrepresented protected group (e.g. female, non-white, etc.) in the critical minority class. Still, existing methods focus only on the overall error-discrimination trade-off, ignoring the imbalance problem, thus amplifying the prevalent bias in the minority classes. Therefore, solutions are needed to solve the combined problem of multi-discrimination and class-imbalance. To this end, we introduce a new fairness measure, Multi-Max Mistreatment (MMM), which considers both (multi-attribute) protected group and class membership of instances to measure discrimination. To solve the combined problem, we propose a boosting approach that incorporates MMM-costs in the distribution update and post-training selects the optimal trade-off among accurate, balanced, and fair solutions. The experimental results show the superiority of our approach against state-of-the-art methods in producing the best balanced performance across groups and classes and the best accuracy for the protected groups in the minority class.


title: Macroscopic Determinism in Interacting Systems Using Large Deviation Theory

abstract: We consider the quasi-deterministic behavior of systems with a large number, $n$, of deterministically interacting constituents. This work extends the results of a previous paper [J. Stat. Phys. 99:1225-1249 (2000)] to include vector-valued observables on interacting systems. The approach used here, however, differs markedly in that a level-1 large deviation principle (LDP) on joint observables, rather than a level-2 LDP on empirical distributions, is employed. As before, we seek a mapping $\psi_{t}$ on the set of (possibly vector-valued) macrostates such that, when the macrostate is given to be $a_0$ at time zero, the macrostate at time $t$ is $\psi_{t}(a_0)$ with a probability approaching one as $n$ tends to infinity. We show that such a map exists and derives from a generalized dynamic free energy function, provided the latter is everywhere well defined, finite, and differentiable. We discuss some general properties of $\psi_{t}$ relevant to issues of irreversibility and end with an example of a simple interacting lattice, for which an exact macroscopic solution is obtained.


title: Hyperbolic Band Theory under Magnetic Field and Dirac Cones on a Higher Genus Surface

abstract: We explore the hyperbolic band theory under a magnetic field for the first time. Our theory is a general extension of the conventional band theory defined on a Euclidean lattice into the band theory on a general hyperbolic lattice/Riemann surface. Our methods and results can be confirmed experimentally by circuit quantum electrodynamics (cQED), which enables us to create novel materials in a hyperbolic space. To investigate the band structures, we construct directly the hyperbolic magnetic Bloch states and find that they form Dirac cones on a coordinate neighborhood, by which they can be regarded as a global quantum gravity solution detectable in a laboratory. Besides this is the first explicit example of a massless Dirac state on a higher genus surface. Moreover we show that the energy spectrum exhibits an unusual fractal structure refracting the negative curvature, when plotted as a function of a magnetic flux.

categories: cond-mat.mes-hall hep-th math-ph math.AG math.MP quant-ph


title: Inductive Program Synthesis over Noisy Datasets using Abstraction Refinement Based Optimization

abstract: We present a new synthesis algorithm to solve program synthesis over noisy datasets, i.e., data that may contain incorrect/corrupted input-output examples. Our algorithm uses an abstraction refinement based optimization process to synthesize programs which optimize the tradeoff between the loss over the noisy dataset and the complexity of the synthesized program. The algorithm uses abstractions to divide the search space of programs into subspaces by computing an abstract value that represents outputs for all programs in a subspace. The abstract value allows our algorithm to compute, for each subspace, a sound approximate lower bound of the loss over all programs in the subspace. It iteratively refines these abstractions to further subdivide the space into smaller subspaces, prune subspaces that do not contain an optimal program, and eventually synthesize an optimal program. We implemented this algorithm in a tool called Rose. We compare Rose to a current state-of-the-art noisy program synthesis system using the SyGuS 2018 benchmark suite. Our evaluation demonstrates that Rose significantly outperforms this previous system: on two noisy benchmark program synthesis problems sets drawn from the SyGus 2018 benchmark suite, Rose delivers speedups of up to 1587 and 81.7, with median speedups of 20.5 and 81.7. Rose also terminates on 20 (out of 54) and 4 (out of 11) more benchmark problems than the previous system. Both Rose and the previous system synthesize programs that are optimal over the provided noisy data sets. For the majority of the problems in the benchmark sets ($272$ out of $286$), the synthesized programs also produce correct outputs for all inputs in the original (unseen) noise-free data set. These results highlight the benefits that Rose can deliver for effective noisy program synthesis.


title: Building-GAN: Graph-Conditioned Architectural Volumetric Design Generation

abstract: Volumetric design is the first and critical step for professional building design, where architects not only depict the rough 3D geometry of the building but also specify the programs to form a 2D layout on each floor. Though 2D layout generation for a single story has been widely studied, there is no developed method for multi-story buildings. This paper focuses on volumetric design generation conditioned on an input program graph. Instead of outputting dense 3D voxels, we propose a new 3D representation named voxel graph that is both compact and expressive for building geometries. Our generator is a cross-modal graph neural network that uses a pointer mechanism to connect the input program graph and the output voxel graph, and the whole pipeline is trained using the adversarial framework. The generated designs are evaluated qualitatively by a user study and quantitatively using three metrics: quality, diversity, and connectivity accuracy. We show that our model generates realistic 3D volumetric designs and outperforms previous methods and baselines.


title: A Sharp Isoperimetric Property of the Renormalized Area of a Minimal Surface in Hyperbolic Space

abstract: We prove an inequality bounding the renormalized area of a complete minimal surface in hyperbolic space in terms of the conformal length of its ideal boundary.


title: Spoofing Attacks Against Vehicular FMCW Radar

abstract: The safety and security of the passengers in vehicles in the face of cyber attacks is a key element in the automotive industry, especially with the emergence of the Advanced Driver Assistance Systems (ADAS) and the vast improvement in Autonomous Vehicles (AVs). Such platforms use various sensors, including cameras, LiDAR and mmWave radar. These sensors themselves may present a potential security hazard if exploited by an attacker. In this paper we propose a system to attack an automotive FMCW mmWave radar, that uses fast chirp modulation. Using a single rogue radar, our attack system is capable of spoofing the distance and velocity measured by the victim vehicle simultaneously, presenting phantom measurements coherent with the laws of physics governing vehicle motion. The attacking radar controls the delay in order to spoof its distance, and uses phase compensation and control in order to spoof its velocity. After developing the attack theory, we demonstrate the spoofing attack by building a proof-of-concept hardware-based system, using a Software Defined Radio. We successfully demonstrate two real world scenarios in which the victim radar is spoofed to detect either a phantom emergency stop or a phantom acceleration, while measuring coherent range and velocity. We also discuss several countermeasures to the attack, in order to propose ways to mitigate the described attack.


title: Stability of Mn2RuxGa-based Multilayer Stacks

abstract: Perpendicular heterostructures based on a ferrimagnetic Mn2RuxGa (MRG) layer and a ferromagnetic Co/Pt multilayer were examined to understand the effects of different spacer layers (V, Mo, Hf, HfOx and TiN) on the interfaces with the magnetic electrodes, after annealing at 350 C. Loss of perpendicular anisotropy in MRG is strongly correlated with a reduction in the substrate-induced tetragonality due to relaxation of the crystal structure. In the absence of diffusion, strain and chemical ordering within MRG are correlated. The limited solubility of both Hf and Mo in MRG is a source of additional valence electrons, which results in an increase in compensation temperature Tcomp. This also stabilises perpendicular anisotropy, compensating for changes in strain and defect density. The reduction in squareness of the MRG hysteresis loop measured by anomalous Hall effect is <10 %, making it useful in active devices. Furthermore, a CoPt3 phase with (2 2 0) texture in the perpendicular Co/Pt free layer promoted by a Mo spacer layer is the only one that retains its perpendicular anisotropy on annealing.


title: Effects of Pore-scale on the Macroscopic Properties of Natural Convection in Porous Media

abstract: Natural convection in porous media is a fundamental process for the long-term storage of CO2 in deep saline aquifers. Typically, details of mass transfer in porous media are inferred from the numerical solution of the volume-averaged Darcy-Oberbeck-Boussinesq (DOB) equations, even though these equations do not account for the microscopic properties of a porous medium. According to the DOB equations, natural convection in a porous medium is uniquely determined by the Rayleigh number. However, in contrast with experiments, DOB simulations yield a linear scaling of the Sherwood number with the Rayleigh number (Ra) for high values of Ra (Ra>>1,300). Here, we perform Direct Numerical Simulations (DNS), fully resolving the flow field within the pores. We show that the boundary layer thickness is determined by the pore size instead of the Rayleigh number, as previously assumed. The mega- and proto- plume sizes increase with the pore size. Our DNS results exhibit a nonlinear scaling of the Sherwood number at high porosity, and for the same Rayleigh number, higher Sherwood numbers are predicted by DNS at lower porosities. It can be concluded that the scaling of the Sherwood number depends on the porosity and the pore-scale parameters, which is consistent with experimental studies.


title: UniTE -- The Best of Both Worlds: Unifying Function-Fitting and Aggregation-Based Approaches to Travel Time and Travel Speed Estimation

abstract: Travel time or speed estimation are part of many intelligent transportation applications. Existing estimation approaches rely on either function fitting or aggregation and represent different trade-offs between generalizability and accuracy. Function-fitting approaches learn functions that map feature vectors of, e.g., routes, to travel time or speed estimates, which enables generalization to unseen routes. However, mapping functions are imperfect and offer poor accuracy in practice. Aggregation-based approaches instead form estimates by aggregating historical data, e.g., traversal data for routes. This enables very high accuracy given sufficient data. However, they rely on simplistic heuristics when insufficient data is available, yielding poor generalizability. We present a Unifying approach to Travel time and speed Estimation (UniTE) that combines function-fitting and aggregation-based approaches into a unified framework that aims to achieve the generalizability of function-fitting approaches and the accuracy of aggregation-based approaches. An empirical study finds that an instance of UniTE can improve the accuracies of travel speed distribution and travel time estimation by $40-64\%$ and $3-23\%$, respectively, compared to using function fitting or aggregation alone


title: On the degrees of constructively immune sets

abstract: Xiang Li (1983) introduced what are now called constructively immune sets as an effective version of immunity. Such have been studied in relation to randomness and minimal indices, and we add another application area: numberings of the rationals. We also investigate the Turing degrees of constructively immune sets and the closely related $\Sigma^0_1$-dense sets of Ferbus-Zanda and Grigorieff (2008).


title: Network Embedding via Deep Prediction Model

abstract: Network-structured data becomes ubiquitous in daily life and is growing at a rapid pace. It presents great challenges to feature engineering due to the high non-linearity and sparsity of the data. The local and global structure of the real-world networks can be reflected by dynamical transfer behaviors among nodes. This paper proposes a network embedding framework to capture the transfer behaviors on structured networks via deep prediction models. We first design a degree-weight biased random walk model to capture the transfer behaviors on the network. Then a deep network embedding method is introduced to preserve the transfer possibilities among the nodes. A network structure embedding layer is added into conventional deep prediction models, including Long Short-Term Memory Network and Recurrent Neural Network, to utilize the sequence prediction ability. To keep the local network neighborhood, we further perform a Laplacian supervised space optimization on the embedding feature representations. Experimental studies are conducted on various datasets including social networks, citation networks, biomedical network, collaboration network and language network. The results show that the learned representations can be effectively used as features in a variety of tasks, such as clustering, visualization, classification, reconstruction and link prediction, and achieve promising performance compared with state-of-the-arts.


title: On Generalized Metric Spaces for the Simply Typed Lambda-Calculus (Extended Version)

abstract: Generalized metrics, arising from Lawvere's view of metric spaces as enriched categories, have been widely applied in denotational semantics as a way to measure to which extent two programs behave in a similar, although non equivalent, way. However, the application of generalized metrics to higher-order languages like the simply typed lambda calculus has so far proved unsatisfactory. In this paper we investigate a new approach to the construction of cartesian closed categories of generalized metric spaces. Our starting point is a quantitative semantics based on a generalization of usual logical relations. Within this setting, we show that several families of generalized metrics provide ways to extend the Euclidean metric to all higher-order types.


title: MVS2D: Efficient Multi-view Stereo via Attention-Driven 2D Convolutions

abstract: Deep learning has made significant impacts on multi-view stereo systems. State-of-the-art approaches typically involve building a cost volume, followed by multiple 3D convolution operations to recover the input image's pixel-wise depth. While such end-to-end learning of plane-sweeping stereo advances public benchmarks' accuracy, they are typically very slow to compute. We present \ouralg, a highly efficient multi-view stereo algorithm that seamlessly integrates multi-view constraints into single-view networks via an attention mechanism. Since \ouralg only builds on 2D convolutions, it is at least $2\times$ faster than all the notable counterparts. Moreover, our algorithm produces precise depth estimations and 3D reconstructions, achieving state-of-the-art results on challenging benchmarks ScanNet, SUN3D, RGBD, and the classical DTU dataset. our algorithm also out-performs all other algorithms in the setting of inexact camera poses. Our code is released at \url{https://github.com/zhenpeiyang/MVS2D}


title: Fast Distributionally Robust Learning with Variance Reduced Min-Max Optimization

abstract: Distributionally robust supervised learning (DRSL) is emerging as a key paradigm for building reliable machine learning systems for real-world applications -- reflecting the need for classifiers and predictive models that are robust to the distribution shifts that arise from phenomena such as selection bias or nonstationarity. Existing algorithms for solving Wasserstein DRSL -- one of the most popular DRSL frameworks based around robustness to perturbations in the Wasserstein distance -- have serious limitations that limit their use in large-scale problems -- in particular they involve solving complex subproblems and they fail to make use of stochastic gradients. We revisit Wasserstein DRSL through the lens of min-max optimization and derive scalable and efficiently implementable stochastic extra-gradient algorithms which provably achieve faster convergence rates than existing approaches. We demonstrate their effectiveness on synthetic and real data when compared to existing DRSL approaches. Key to our results is the use of variance reduction and random reshuffling to accelerate stochastic min-max optimization, the analysis of which may be of independent interest.


title: Arthur: a new ECA that uses Memory to improve Communication

abstract: This article proposes an embodied conversational agent named Arthur. In addition to being able to talk to a person (using text and voice), he is also able to recognize the person he is talking to and detect his/her expressed emotion through facial expressions. Arthur uses these skills to improve communication with the user, also using his artificial memory, which stores and retrieves data about events and facts, based on a human memory model. We conducted some experiments to collect quantitative and qualitative information, which show that our model provides a consistent impact on users.


title: The hydrodynamic characteristics of Autonomous Underwater Vehicles in rotating flow fields

abstract: In this article, the hydrodynamic characteristics of Autonomous Underwater Vehicles (AUVs) are investigated and analyzed under the influence of rotating flow fields, that were generated in a recirculating water tank via a rotating propeller. Initially, experiments were carried out for the measurement of flow field variables and Quantities of Interest across the AUV in the presence of the rotating propeller while varying the rotational speed and the extent of rotational flow strength. The flow field across the AUV was measured using an Acoustic Doppler Velocimeter (ADV). These measured turbulent flow statistics were used to validate the Reynolds Stress Model (RSM) based numerical predictions in a commercial CFD solver. After preliminary validation of the turbulent flow statistics with the numerical predictions, a series of numerical simulations were performed to investigate the effect of the rotational flow field of the propeller on the drag, skin friction and pressure coefficients of the AUV. The operating speed and location of the propeller were also varied to check their affects on the hydrodynamic performance of AUV. The results provided in this article will be useful for the design optimization of AUVs cruising in shallow water where the flow is highly rotational because of wave-current interactions. Additionally the results and analysis are relevant to study the design and operation of AUVs that have to operate in a group of unmanned underwater vehicles or near submarines and ships where the flow field is highly complex and such rotational effects are present.


title: Critical current in thin flat superconductors with Bean-Livingston and geometrical barriers

abstract: Dependence of the critical current $I_c$ on the applied magnetic field $H_a$ is theoretically studied for a thin superconducting strip of a rectangular cross section, taking an interplay between the Bean-Livingston and the geometric barriers in the sample into account. It is assumed that bulk vortex pinning is negligible, and the London penetration depth $\lambda$ is essentially less than the thickness $d$ of the strip. To investigate the effect of these barriers on $I_c$ rigorously, a two-dimensional distribution of the current over the cross section of the sample is derived, using the approach based on the methods of conformal mappings. With this distribution, the dependence $I_c(H_a)$ is calculated for the fields $H_a$ not exceeding the lower critical field. This calculation reveals that the following two situations are possible: i) The critical current $I_c(H_a)$ is determined by the Bean-Livingston barrier in the corners of the strip. ii) The geometrical barrier prevails at low $H_a$, but with increasing magnetic field, the Bean-Livingston barrier begins to dominate. The realization of one or the other of these two situations is determined by the ratio $\lambda/d$.


title: Climate Change Adaptation in the British Columbia Wine Industry Can carbon sequestration technology lower the B.C. Wine Industry's greenhouse gas emissions?

abstract: The purpose of this study is to measure the benefits and costs of using biochar, a carbon sequestration technology, to reduce the B.C Wine Industry's carbon emissions. An economic model was developed to calculate the value-added for each of the three sectors that comprise the BC Wine industry. Results indicate that each sector of the wine value chain is potentially profitable, with 9,000 tonnes of CO2 sequestered each year. The study is unique in that it demonstrates that using biochar, produced from wine industry waste, to sequester atmospheric CO2 can be both profitable and environmentally sustainable.


title: A note on semiorthogonal indecomposability for some Cohen-Macaulay varieties

abstract: In this short note, we observe that Theorem 3.1 in arXiv:1508.00682 for semiorthogonal indecomposability of the derived category of smooth DM stacks based on the canonical bundle can be extended to the case of projective varieties with Cohen-Macaulay singularities. As a consequence, all projective curves of positive arithmetic genus have weakly indecomposable bounded derived categories and indecomposable categories of perfect complexes. Here weak indecomposablility refers to the admissibility of components.


title: End-to-End Video-To-Speech Synthesis using Generative Adversarial Networks

abstract: Video-to-speech is the process of reconstructing the audio speech from a video of a spoken utterance. Previous approaches to this task have relied on a two-step process where an intermediate representation is inferred from the video, and is then decoded into waveform audio using a vocoder or a waveform reconstruction algorithm. In this work, we propose a new end-to-end video-to-speech model based on Generative Adversarial Networks (GANs) which translates spoken video to waveform end-to-end without using any intermediate representation or separate waveform synthesis algorithm. Our model consists of an encoder-decoder architecture that receives raw video as input and generates speech, which is then fed to a waveform critic and a power critic. The use of an adversarial loss based on these two critics enables the direct synthesis of raw audio waveform and ensures its realism. In addition, the use of our three comparative losses helps establish direct correspondence between the generated audio and the input video. We show that this model is able to reconstruct speech with remarkable realism for constrained datasets such as GRID, and that it is the first end-to-end model to produce intelligible speech for LRW (Lip Reading in the Wild), featuring hundreds of speakers recorded entirely `in the wild'. We evaluate the generated samples in two different scenarios -- seen and unseen speakers -- using four objective metrics which measure the quality and intelligibility of artificial speech. We demonstrate that the proposed approach outperforms all previous works in most metrics on GRID and LRW.


title: Identifying the 3FHL catalog: V. Results of the CTIO-COSMOS optical spectroscopy campaign 2019

abstract: As a follow-up of the optical spectroscopic campaign aimed at achieving completeness in the Third Catalog of Hard Fermi-LAT Sources (3FHL), we present here the results of a sample of 28 blazars of uncertain type observed using the 4m telescope at Cerro Tololo Inter-American Observatory (CTIO) in Chile. Out of these 28 sources, we find that 25 are BL Lacertae objects (BL Lacs) and 3 are Flat Spectrum Radio Quasars (FSRQs). We measure redshifts or lower limits for 16 of these blazars, whereas it is observed that the 12 remaining blazars have featureless optical spectra. These results are part of a more extended campaign of optical spectroscopy follow-up of 3FHL blazars, where until now 51 blazars of uncertain type have been classified into BL Lac and FSRQ categories. Further, this campaign has resulted in redshift measurements and lower limits for 15 of these sources. Our results contribute towards attaining a complete sample of blazars above 10 GeV, which then will be crucial in extending our knowledge on blazar emission mechanisms and the extragalactic background light.


title: Derivation of the Onsager Principle from Large Deviation Theory

abstract: The Onsager linear relations between macroscopic flows and thermodynamics forces are derived from the point of view of large deviation theory. For a given set of macroscopic variables, we consider the short-time evolution of near-equilibrium fluctuations, represented as the limit of finite-size conditional expectations. The resulting asymptotic conditional expectation is taken to represent the typical macrostate of the system and is used in place of the usual time-averaged macrostate of traditional approaches. By expanding in the short-time, near-equilibrium limit and equating the large deviation rate function with the thermodynamic entropy, a linear relation is obtained between the time rate of change of the macrostate and the conjugate initial macrostate. A Green-Kubo formula for the Onsager matrix is derived and shown to be positive semi-definite, while the Onsager reciprocity relations readily follow from time reversal invariance. Although the initial tendency of a macroscopic variable is to evolve towards equilibrium, we find that this evolution need not be monotonic. The example of an ideal Knundsen gas is considered as an illustration.


title: Van der Waals molecules consisting of a zinc or cadmium atom interacting with an alkali-metal or alkaline-earth-metal atom

abstract: Alkaline-earth-like transition-metal atoms such as Zn and Cd are promising candidates for precision measurements and quantum many-body physics experiments. Here, we theoretically investigate the properties of diatomic molecules containing these closed-shell atoms. We calculate potential energy curves, permanent electric dipole moments, and spectroscopic constants for molecules consisting of either a Zn or Cd atom interacting with an alkali-metal (Li, Na, K, Rb, Cs, Fr) or alkaline-earth-metal (Be, Mg, Ca, Sr, Ba, Ra) atom. We use the ab initio electronic structure coupled cluster method with single, double, and triple excitations combined with large Gaussian basis sets and small-core relativistic energy-consistent pseudopotentials for heavier atoms. We predict that the studied molecules in the ground electronic state are chemically reactive weakly bound van der Waals complexes with small permanent electric dipole moments. The present results may be useful for spectroscopy and application of the studied molecules in modern ultracold physics and chemistry experiments.


title: Stochastic partial differential equations arising in self-organized criticality

abstract: We study scaling limits of the weakly driven Zhang and the Bak-Tang-Wiesenfeld (BTW) model for self-organized criticality. We show that the weakly driven Zhang model converges to a stochastic partial differential equation (PDE) with singular-degenerate diffusion. In addition, the deterministic BTW model is shown to converge to a singular-degenerate PDE. Alternatively, the proof of the scaling limit can be understood as a convergence proof of a finite-difference discretization for singular-degenerate stochastic PDEs. This extends recent work on finite difference approximation of (deterministic) quasilinear diffusion equations to discontinuous diffusion coefficients and stochastic PDEs. In addition, we perform numerical simulations illustrating key features of the considered models and the convergence to stochastic PDEs in spatial dimension $d=1,2$.


title: Spectroscopy of states in $^{136}\rm{Ba}$ using the $^{138}\rm{Ba}(p,t)$ reaction

abstract: Background: The $^{136}$Ba isotope is the daughter nucleus in $^{136}$Xe $\beta\beta$ decay. It also lies in a shape transitional region of the nuclear chart, making it a suitable candidate to test a variety of nuclear models. Purpose: To obtain spectroscopic information on states in $^{136}$Ba, which will allow a better understanding of its low-lying structure. These data may prove useful to constrain future $^{136}$Xe $\to$ $^{136}$Ba neutrinoless $\beta\beta$ decay matrix element calculations. Methods: A $^{138}\mathrm{Ba}(p,t)$ reaction was used to populate states in $^{136}$Ba up to approximately 4.6 MeV in excitation energy. The tritons were detected using a high-resolution Q3D magnetic spectrograph. A distorted wave Born approximation (DWBA) analysis was performed for the measured triton angular distributions. Results: One hundred and two excited states in $^{136}$Ba were observed, out of which fifty two are reported for the first time. Definite spin-parity assignments are made for twenty six newly observed states, while previously ambiguous assignments for twelve other states are resolved.


title: Flavour-selective localization in interacting lattice fermions via SU(N) symmetry breaking

abstract: A large repulsion between particles in a quantum system can lead to their localization, as it happens for the electrons in Mott insulating materials. This paradigm has recently branched out into a new quantum state, the orbital-selective Mott insulator, where electrons in some orbitals are predicted to localize, while others remain itinerant. We provide a direct experimental realization of this phenomenon, that we extend to a more general flavour-selective localization. By using an atom-based quantum simulator, we engineer SU(3) Fermi-Hubbard models breaking their symmetry via a tunable coupling between flavours, observing an enhancement of localization and the emergence of flavour-dependent correlations. Our realization of flavour-selective Mott physics opens the path to the quantum simulation of multicomponent materials, from superconductors to topological insulators.


title: An Event-based Parameter Switching Method for Controlling Cybersecurity Dynamics

abstract: This paper proposes a new event-based parameter switching method for the control tasks of cybersecurity in the context of preventive and reactive cyber defense dynamics. Our parameter switching method helps avoid excessive control costs as well as guarantees the dynamics to converge as our desired speed. Meanwhile, it can be proved that this approach is Zeno-free. A new estimation method with adaptive time windows is used to bridge the gap between the probability state and the sampling state. With the new estimation method, several practical experiments are given afterwards.


title: Translation of Newton's \textit{Principia} into Arabic Under the Aegis of the East India Company: A Rumour Turning into a Myth?

abstract: Tafazzul Husain Khan (1727?--1800?), who began his career in the court of Awadh, spent the last two decades of his life as a trusted ally of the East India Company. What set him apart from other court officials was not so much his erudition, political acumen and negotiating prowess, as his favourite pastime: delving into mathematics and astronomy. Contact with the Company personnel, some of whom were conversant with oriental languages and/or contemporary scientific advances, provided him with the opportunity to brush up his mathematical knowledge, and induced him to embark upon -- and, according to some, bring to fruition -- the task of translating a few important mathematical treatises, among them Newton's \textit{Principia}. According to Campbell, the author of an obituary notice (published in 1804), "he translated the Principia from the original Latin, into Arabic". The evidence gathered by Campbell is examined, and found insufficient to warrant this astounding and oft-repeated claim. Of the three tracts authored by Tafazzul (all published posthumously in abridged versions), none can be described as a translation of Newton's \textit{Principia}. Until the emergence of some tangible evidence, any talk of his translations of the \textit{Principia} and other western treatises can only be characterised as rumour, a process in which recall is often accompanied by distortion.


title: Beyond Simple AGN Unification with Chandra-observed 3CRR Sources

abstract: Low-frequency radio selection finds radio-bright galaxies regardless of the amount of obscuration by gas and dust. We report \chandra\ observations of a complete 178~MHz-selected, and so orientation unbiased, sample of 44 $0.5<z<1$ 3CRR sources. The sample is comprised of quasars and narrow-line radio galaxies (NLRGs) with similar radio luminosities, and the radio structure serves as both an age and an orientation indicator. Consistent with Unification, intrinsic obscuration (measured by \nh, X-ray hardness ratio, and X-ray luminosity) generally increases with inclination. However, the sample includes a population not seen in high-$z$ 3CRR sources: NLRGs viewed at intermediate inclination angles with \nh~$<10^{22}$~cm$^{-2}$. Multiwavelength analysis suggests these objects have lower $L/L_{\rm Edd}$ than typical NLRGs at similar orientation. Thus both orientation and $L/L_{\rm Edd}$ are important, and a "radiation-regulated Unification" provides a better explanation of the sample's observed properties. In comparison with the 3CRR sample at $1<z<2$, our lower-redshift sample shows a higher fraction of Compton-thin NLRGs (45\% vs.\ 29\%) but similar Compton-thick fraction (20\%), implying a larger covering factor of Compton-thin material at intermediate viewing angles and so a more "puffed-up" torus atmosphere. We posit that this is due to a range of $L/L_{\rm Edd}$ extending to lower values in this sample. In contrast, at high redshifts the narrower range and high $L/L_{\rm Edd}$ values allowed orientation (and so simple Unification) to dominate the sample's observed properties.


title: Search for pseudoscalar bosons decaying into $e^+e^-$ pairs in the NA64 experiment at the CERN SPS

abstract: We report the results of a search for a light pseudoscalar particle $a$ that couples to electrons and decays to $e^+e^-$ performed using the high-energy CERN SPS H4 electron beam. If such pseudoscalar with a mass $\simeq 17$ MeV exists, it could explain the ATOMKI anomaly. We used the NA64 data samples collected in the "visible mode" configuration with total statistics corresponding to $8.4\times 10^{10}$ electrons on target (EOT) in 2017 and 2018. In order to increase sensitivity to small coupling parameter $\epsilon$ we used also the data collected in 2016-2018 in the "invisible mode" configuration of NA64 with a total statistics corresponding to $2.84\times 10^{11}$ EOT. A thorough analysis of both these data samples in the sense of background and efficiency estimations was already performed and reported in our previous papers devoted to the search for light vector particles and axion-like particles (ALP). In this work we recalculate the signal yields, which are different due to different cross section and life time of a pseudoscalar particle $a$, and perform a new statistical analysis. As a result, the region of the two dimensional parameter space $m_a - \epsilon$ in the mass range from 1 to 17.1 MeV is excluded. At the mass of the ATOMKI anomaly the values of $\epsilon$ in the range $2.1 \times 10^{-4} < \epsilon < 3.2 \times 10^{-4}$ are excluded.


title: Sifting out the features by pruning: Are convolutional networks the winning lottery ticket of fully connected ones?

abstract: Pruning methods can considerably reduce the size of artificial neural networks without harming their performance. In some cases, they can even uncover sub-networks that, when trained in isolation, match or surpass the test accuracy of their dense counterparts. Here we study the inductive bias that pruning imprints in such "winning lottery tickets". Focusing on visual tasks, we analyze the architecture resulting from iterative magnitude pruning of a simple fully connected network (FCN). We show that the surviving node connectivity is local in input space, and organized in patterns reminiscent of the ones found in convolutional networks (CNN). We investigate the role played by data and tasks in shaping the architecture of pruned sub-networks. Our results show that the winning lottery tickets of FCNs display the key features of CNNs. The ability of such automatic network-simplifying procedure to recover the key features "hand-crafted" in the design of CNNs suggests interesting applications to other datasets and tasks, in order to discover new and efficient architectural inductive biases.


title: Diagrammatic quantum Monte Carlo study of an acoustic lattice polaron

abstract: We present the first approximation free diagrammatic Monte Carlo study of a lattice polaron interacting with an acoustic phonon branch through the deformation potential. Weak and strong coupling regimes are separated by a self-trapping region where quantum resonance between various possible lattice deformations is seen in the ground state properties, spectral function, and optical conductivity. The unique feature of such polaron is the interplay between long- and short wavelength acoustic vibrations creating a composite phonon cloud and leading to persistent self-trapping due to the existence of multiple quasi-stable states. This results in a spectral response whose structure is much more complex than in any of the previously considered polaron models.


title: Renormalization and Mixing of Staple-Shaped Wilson Line Operators on the Lattice Revisited

abstract: Transverse-momentum-dependent parton distribution functions and wave functions (TMDPDFs/TMDWFs) can be extracted from lattice calculations of appropriate Euclidean matrix elements of staple-shaped Wilson line operators. We investigate the mixing pattern of such operators under lattice renormalization using symmetry considerations. We perform an analysis for operators with all Dirac structures, which reveals mixings that are not present in one-loop lattice perturbation theory calculations. We also present the relevant one-loop matching in a renormalization scheme that does not introduce extra non-perturbative effects at large distances, both for the TMDPDFs and for the TMDWFs. Our results have the potential to greatly facilitate numerical calculations of TMDPDFs and TMDWFs on the lattice.


title: Understanding Factuality in Abstractive Summarization with FRANK: A Benchmark for Factuality Metrics

abstract: Modern summarization models generate highly fluent but often factually unreliable outputs. This motivated a surge of metrics attempting to measure the factuality of automatically generated summaries. Due to the lack of common benchmarks, these metrics cannot be compared. Moreover, all these methods treat factuality as a binary concept and fail to provide deeper insights into the kinds of inconsistencies made by different systems. To address these limitations, we devise a typology of factual errors and use it to collect human annotations of generated summaries from state-of-the-art summarization systems for the CNN/DM and XSum datasets. Through these annotations, we identify the proportion of different categories of factual errors in various summarization models and benchmark factuality metrics, showing their correlation with human judgment as well as their specific strengths and weaknesses.


title: BeamLearning: an end-to-end Deep Learning approach for the angular localization of sound sources using raw multichannel acoustic pressure data

abstract: Sound sources localization using multichannel signal processing has been a subject of active research for decades. In recent years, the use of deep learning in audio signal processing has allowed to drastically improve performances for machine hearing. This has motivated the scientific community to also develop machine learning strategies for source localization applications. In this paper, we present BeamLearning, a multi-resolution deep learning approach that allows to encode relevant information contained in unprocessed time domain acoustic signals captured by microphone arrays. The use of raw data aims at avoiding simplifying hypothesis that most traditional model-based localization methods rely on. Benefits of its use are shown for realtime sound source 2D-localization tasks in reverberating and noisy environments. Since supervised machine learning approaches require large-sized, physically realistic, precisely labelled datasets, we also developed a fast GPU-based computation of room impulse responses using fractional delays for image source models. A thorough analysis of the network representation and extensive performance tests are carried out using the BeamLearning network with synthetic and experimental datasets. Obtained results demonstrate that the BeamLearning approach significantly outperforms the wideband MUSIC and SRP-PHAT methods in terms of localization accuracy and computational efficiency in presence of heavy measurement noise and reverberation.


title: Local and Global Linear Convergence of General Low-rank Matrix Recovery Problems

abstract: We study the convergence rate of gradient-based local search methods for solving low-rank matrix recovery problems with general objectives in both symmetric and asymmetric cases, under the assumption of the restricted isometry property. First, we develop a new technique to verify the Polyak-Lojasiewicz inequality in a neighborhood of the global minimizers, which leads to a local linear convergence region for the gradient descent method. Second, based on the local convergence result and a sharp strict saddle property proven in this paper, we present two new conditions that guarantee the global linear convergence of the perturbed gradient descent method. The developed local and global convergence results provide much stronger theoretical guarantees than the existing results. As a by-product, this work significantly improves the existing bounds on the RIP constant required to guarantee the non-existence of spurious solutions.


title: Field-driven dynamics of magnetic Hopfions

abstract: We present micromagnetic simulations on resonant spin wave modes of magnetic Hopfions up to 15 GHz driven by external magnetic fields. A sharp transition is found around 32 mT coinciding with a transition from Hopfions to magnetic torons. The modes exhibit characteristic amplitudes in frequency space accompanied by unique localization patterns in real space, and are found to be robust to damping around topological features, particularly vortex lines in Hopfions and Bloch points in torons. The marked differences in spin wave spectra between Hopfions, torons and target skyrmions can serve as fingerprints in future experimental validation studies of these novel 3d topological spin textures.


title: Queues with Updating Information: Finding the Amplitude of Oscillations

abstract: Many service systems provide customers with information about the system so that customers can make an informed decision about whether to join or not. Many of these systems provide information in the form of an update. Thus, the information about the system is updated periodically in increments of size $\Delta$. It is known that these updates can cause oscillations in the resulting dynamics. However, it is an open problem to explicitly characterize the size of these oscillations when they occur. In this paper, we solve this open problem and show how to exactly calculate the amplitude of these oscillations via a fixed point equation. We also calculate closed form approximations via Taylor expansions of the fixed point equation and show that these approximations are very accurate, especially when $\Delta$ is large. Our analysis provides new insight for systems that use updates as a way of disseminating information to customers.


title: Dark-Bright Soliton Bound States in a Microresonator

abstract: The recent discovery of dissipative Kerr solitons in microresonators has facilitated the development of fully coherent, chip-scale frequency combs. In addition, dark soliton pulses have been observed in microresonators in the normal dispersion regime. Here, we report bound states of mutually trapped dark-bright soliton pairs in a microresonator. The soliton pairs are generated seeding two modes with opposite dispersion but with similar group velocities. One laser operating in the anomalous dispersion regime generates a bright soliton microcomb, while the other laser in the normal dispersion regime creates a dark soliton via Kerr-induced cross-phase modulation with the bright soliton. Numerical simulations agree well with experimental results and reveal a novel mechanism to generate dark soliton pulses. The trapping of dark and bright solitons can lead to light states with the intriguing property of constant output power while spectrally resembling a frequency comb. These results can be of interest for telecommunication systems, frequency comb applications, ultrafast optics and soliton states in atomic physics.


title: Tracking Peaceful Tractors on Social Media -- XAI-enabled analysis of Red Fort Riots 2021

abstract: On 26 January 2021, India witnessed a national embarrassment from the demographic least expected from - farmers. People across the nation watched in horror as a pseudo-patriotic mob of farmers stormed capital Delhi and vandalized the national pride- Red Fort. Investigations that followed the event revealed the existence of a social media trail that led to the likes of such an event. Consequently, it became essential and necessary to archive this trail for social media analysis - not only to understand the bread-crumbs that are dispersed across the trail but also to visualize the role played by misinformation and fake news in this event. In this paper, we propose the tractor2twitter dataset which contains around 0.05 million tweets that were posted before, during, and after this event. Also, we benchmark our dataset with an Explainable AI ML model for classification of each tweet into either of the three categories - disinformation, misinformation, and opinion.


title: Identifying tax evasion in Mexico with tools from network science and machine learning

abstract: Mexico has kept electronic records of all taxable transactions since 2014. Anonymized data collected by the Mexican federal government comprises more than 80 million contributors (individuals and companies) and almost 7 billion monthly-aggregations of invoices among contributors between January 2015 and December 2018. This data includes a list of almost ten thousand contributors already identified as tax evaders, due to their activities fabricating invoices for non-existing products or services so that recipients can evade taxes. Harnessing this extensive dataset, we build monthly and yearly temporal networks where nodes are contributors and directed links are invoices produced in a given time slice. Exploring the properties of the network neighborhoods around tax evaders, we show that their interaction patterns differ from those of the majority of contributors. In particular, invoicing loops between tax evaders and their clients are over-represented. With this insight, we use two machine-learning methods to classify other contributors as suspects of tax evasion: deep neural networks and random forests. We train each method with a portion of the tax evader list and test it with the rest, obtaining more than 0.9 accuracy with both methods. By using the complete dataset of contributors, each method classifies more than 100 thousand suspects of tax evasion, with more than 40 thousand suspects classified by both methods. We further reduce the number of suspects by focusing on those with a short network distance from known tax evaders. We thus obtain a list of highly suspicious contributors sorted by the amount of evaded tax, valuable information for the authorities to further investigate illegal tax activity in Mexico. With our methods, we estimate previously undetected tax evasion in the order of \$10 billion USD per year by about 10 thousand contributors.


title: Measurement of the branching fractions of the $B^+ \to \eta \ell^+ \nu_{\ell} $ and $B^+ \to \eta^{\prime} \ell^+ \nu_{\ell} $ decays with signal-side only reconstruction in the full $q^2$ range

abstract: The branching fractions of the decays $B^{+} \to \eta \ell^{+} \nu_{\ell}$ and $B^{+} \to \eta^{\prime} \ell^{+} \nu_{\ell}$ are measured, where $\ell$ is either an electron or a muon, using a data sample of $711\,{\rm fb}^{-1}$ containing $772 \times 10^6 B\bar{B}$ pairs collected at the $\Upsilon(4S)$ resonance with the Belle detector at the KEKB asymmetric-energy $e^+ e^-$ collider. To reduce the dependence of the result on the form factor model, the measurement is performed over the entire $q^2$ range. The resulting branching fractions are ${\cal B}(B^{+} \rightarrow \eta \ell^{+} \nu_{\ell}) = (2.83 \pm 0.55_{\rm (stat.)} \pm 0.34_{\rm (syst.)}) \times 10^{-5}$ and ${\cal B}(B^{+} \rightarrow \eta' \ell^{+} \nu_{\ell}) = (2.79 \pm 1.29_{\rm (stat.)} \pm 0.30_{\rm (syst.)}) \times 10^{-5}$.


title: Synchronising primitive groups of diagonal type exist

abstract: Every synchronising permutation group is primitive and of one of three types: affine, almost simple, or diagonal. We exhibit the first known example of a synchronising diagonal type group. More precisely, we show that $\mathrm{PSL}(2,q)\times \mathrm{PSL}(2,q)$ acting in its diagonal action on $\mathrm{PSL}(2,q)$ is separating, and hence synchronising, for $q=13$ and $q=17$. Furthermore, we show that such groups are non-spreading for all prime powers $q$.


title: Semiclassical resonance asymptotics for the delta potential on the half line

abstract: We compute resonance width asymptotics for the delta potential on the half-line, by deriving a formula for resonances in terms of the Lambert W function and applying a series expansion. This potential is a simple model of a thin barrier, motivated by physical problems such as quantum corrals and leaky quantum graphs.


title: Entropic decay of an epidemic towards herd immunity

abstract: The shape of an epidemic wave in simple epidemic models applies to a homogeneous distribution of infected people in the population. In large inhomogeneous systems, at country-scale for instance, the wave shape is similar except for the short time behavior. For such cases, we show that the full wave shape is tied to an exponential decay. Using out-of-equilibrium thermodynamics, we build a model in which this decay results from an increase in entropy until reaching a stable infected population fraction. We find that the elementary probability of being infected determines this fraction, leading to a thermodynamic criterion for herd immunity and epidemic outbreaks.


title: Phase Errors in mid-IR Arrayed Waveguide Gratings based on graded index SiGe-Si technology

abstract: In this paper, we present a method for analysis of phase errors and power truncation in SiGe/Si graded index arrayed waveguide gratings (AWGs) operating in mid-infrared spectral range. Semi-analytical model used herein is based on Gaussian approximation of the modal field and Fourier Optics. This method is applied to study the correlation between crosstalk level, effective index deviation in array waveguides and power truncation in 3.4 micrometer, 4.5 micrometer, 5.7 micrometer and 7.6 micrometer central wavelength AWGs. We show that the impact of effective index variation is more critical for AWGs with smaller operational wavelengths and power truncation should not exceed 5% for these types of devices. In conclusion, we refer to experimental data of 4.5 {\mu}m, 5.7 {\mu}m and 7.6 {\mu}m central wavelength AWGs where a cross talk level of 24 dB is obtained, corresponding to relative errors of effective indices and equivalent path length deviations respectively lower than 2 10-5 and of 0.2 micrometer in 10 mm length of the devices.


title: Soliton Oscillations and Revised Constraints from Eridanus II of Fuzzy Dark Matter

abstract: Fuzzy dark matter (FDM) has been a promising alternative to standard cold dark matter. The model consists of ultralight bosons with mass $m_b \sim 10^{-22}$ eV and features a quantum-pressure-supported solitonic core that oscillates. In this work, we show that the soliton density oscillations persist even after significant tidal stripping of the outer halo. We report two intrinsic yet distinct timescales associated, respectively, with the ground-state soliton wavefunction $\tau_{00}$ and the soliton density oscillations $\tau_\text{soliton}$, obeying $\tau_\text{soliton} /\tau_{00} \simeq 2.3$. The central star cluster (SC) in Eridanus II has a characteristic timescale $\tau_\text{soliton} / \tau_\text{SC} \sim 2$ to $3$ that deviates substantially from unity. As a result, we demonstrate, both analytically and numerically with three-dimensional self-consistent FDM simulations, that the gravitational heating of the SC owing to soliton density oscillations is negligible irrespective of $m_b$. We also show that the subhalo mass function to form Eridanus II does not place a strong constraint on $m_b$. These results are contrary to the previous findings by Marsh & Niemeyer (2019).


title: Engineering spectral properties of non-interacting lattice Hamiltonians

abstract: We investigate the spectral properties of one-dimensional lattices with position-dependent hopping amplitudes and on-site potentials that are smooth bounded functions of position. We find an exact integral form for the density of states (DOS) in the limit of an infinite number of sites, which we derive using a mixed Bloch-Wannier basis consisting of piecewise Wannier functions. Next, we provide an exact solution for the inverse problem of constructing the position-dependence of hopping in a lattice model yielding a given DOS. We confirm analytic results by comparing them to numerics obtained by exact diagonalization for various incarnations of position-dependent hoppings and on-site potentials. Finally, we generalize the DOS integral form to multi-orbital tight-binding models with longer-range hoppings and in higher dimensions.


title: A Chromium-based Memento-aware Web Browser

abstract: Web browsers provide a user-friendly means of navigating the web. Users rely on their web browser to provide information about the websites they are visiting, such as the security state. Browsers also provide a user interface (UI) with visual cues about each tab that is open, including icons for if the tab is playing audio or requires authentication to view. However, current browsers do not differentiate between the live web and the past web. If a user loads an archived webpage, known as a memento, they have to rely on UI elements present within the page itself to inform them that the page they are viewing is not the live web. Additionally, memento-awareness extends beyond recognizing a page that has already been archived. The browser should give users the ability to archive live webpages, essentially creating mementos of webpages they found important as they surf the web. In this report, the process to create a proof-of-concept browser that is aware of mementos is presented. The browser is created by adding on to the implementation of the open source web browser by Google, Chromium. Creating this prototype for a Memento-aware Browser shows that the features implemented fit well into the current Chromium implementation. The user experience is enhanced by adding the memento-awareness, and the changes to the Chromium code base are minimal.


title: There is no APTAS for 2-dimensional vector bin packing: Revisited

abstract: We study the Vector Bin Packing and the Vector Bin Covering problems, multidimensional generalizations of the Bin Packing and the Bin Covering problems, respectively. In the Vector Bin Packing, we are given a set of $d$-dimensional vectors from $[0,1]^d$ and the aim is to partition the set into the minimum number of bins such that for each bin $B$, each component of the sum of the vectors in $B$ is at most 1. Woeginger [Woe97] claimed that the problem has no APTAS for dimensions greater than or equal to 2. We note that there was a slight oversight in the original proof. In this work, we give a revised proof using some additional ideas from [BCKS06,CC09]. In fact, we show that it is NP-hard to get an asymptotic approximation ratio better than $\frac{600}{599}$. An instance of Vector Bin Packing is called $\delta$-skewed if every item has at most one dimension greater than $\delta$. As a natural extension of our general $d$-Dimensional Vector Bin Packing result we show that for $\varepsilon\in (0,\frac{1}{2500})$ it is NP-hard to obtain a $(1+\varepsilon)$-approximation for $\delta$-Skewed Vector Bin Packing if $\delta>20\sqrt \varepsilon$. In the Vector Bin Covering problem given a set of $d$-dimensional vectors from $[0,1]^d$, the aim is to obtain a family of disjoint subsets (called bins) with the maximum cardinality such that for each bin $B$, each component of the sum of the vectors in $B$ is at least 1. Using ideas similar to our Vector Bin Packing result, we show that for Vector Bin Covering there is no APTAS for dimensions greater than or equal to 2. In fact, we show that it is NP-hard to get an asymptotic approximation ratio better than $\frac{998}{997}$.


title: High-Order Implicit Large-Eddy Simulation of Flow over a Marine Propeller

abstract: We report the first high-order eddy-resolving simulation of flow over a marine propeller using a recently developed high-order sliding-mesh method. This method employs the flux reconstruction framework and a new dynamic curved mortar approach to handle the complex rotating geometries. For a wide range of working conditions, it is validated to predict the loads very accurately against experiments. The method's low-dissipation characteristic has allowed the capturing of a broad spectrum of turbulence structures for very long distances even on a very coarse grid. Comparison with a previous low-order simulation is also carried out to show the low-dissipation advantage of the present simulations. From detailed load analysis, the major loads and their distributions and time and frequency scales are identified. Visualizations of the instantaneous, phase-averaged, and time-averaged flow fields have revealed the processes of tip vortex formation, major vortex evolutions, and flow instability developments at different working conditions. The effects of different fairwaters on the propeller's overall performance are also quantitatively assessed.


title: On scaling limits of random Halin-like maps

abstract: We consider maps which are constructed from plane trees by assigning marks to the corners of each vertex and then connecting each pair of consecutive marks on their contour by a single edge. A measure is defined on the set of such maps by assigning Boltzmann weights to the faces. When every vertex has exactly one marked corner, these maps are dissections of a polygon which are bijectively related to non-crossing trees. When every vertex has at least one marked corner, the maps are outerplanar and each of its two-connected component is bijectively related to a non-crossing tree. We study the scaling limits of the maps under these conditions and establish that for certain choices of the weights the scaling limits are either the Brownian CRT or the $\alpha$-stable looptrees of Curien and Kortchemski.


title: NTIRE 2021 Depth Guided Image Relighting Challenge

abstract: Image relighting is attracting increasing interest due to its various applications. From a research perspective, image relighting can be exploited to conduct both image normalization for domain adaptation, and also for data augmentation. It also has multiple direct uses for photo montage and aesthetic enhancement. In this paper, we review the NTIRE 2021 depth guided image relighting challenge. We rely on the VIDIT dataset for each of our two challenge tracks, including depth information. The first track is on one-to-one relighting where the goal is to transform the illumination setup of an input image (color temperature and light source position) to the target illumination setup. In the second track, the any-to-any relighting challenge, the objective is to transform the illumination settings of the input image to match those of another guide image, similar to style transfer. In both tracks, participants were given depth information about the captured scenes. We had nearly 250 registered participants, leading to 18 confirmed team submissions in the final competition stage. The competitions, methods, and final results are presented in this paper.


title: Unsupervised 3D Shape Completion through GAN Inversion

abstract: Most 3D shape completion approaches rely heavily on partial-complete shape pairs and learn in a fully supervised manner. Despite their impressive performances on in-domain data, when generalizing to partial shapes in other forms or real-world partial scans, they often obtain unsatisfactory results due to domain gaps. In contrast to previous fully supervised approaches, in this paper we present ShapeInversion, which introduces Generative Adversarial Network (GAN) inversion to shape completion for the first time. ShapeInversion uses a GAN pre-trained on complete shapes by searching for a latent code that gives a complete shape that best reconstructs the given partial input. In this way, ShapeInversion no longer needs paired training data, and is capable of incorporating the rich prior captured in a well-trained generative model. On the ShapeNet benchmark, the proposed ShapeInversion outperforms the SOTA unsupervised method, and is comparable with supervised methods that are learned using paired data. It also demonstrates remarkable generalization ability, giving robust results for real-world scans and partial inputs of various forms and incompleteness levels. Importantly, ShapeInversion naturally enables a series of additional abilities thanks to the involvement of a pre-trained GAN, such as producing multiple valid complete shapes for an ambiguous partial input, as well as shape manipulation and interpolation.


title: A model of multiple hypothesis testing

abstract: Multiple hypothesis testing practices vary widely, without consensus on which are appropriate when. This paper provides an economic foundation for these practices designed to capture processes of scientific communication, such as regulatory approval on the basis of clinical trials. In studies of multiple treatments or sub-populations, adjustments may be appropriate depending on scale economies in the research production function, with control of classical notions of compound errors emerging in some but not all cases. In studies with multiple outcomes, indexing is appropriate and adjustments to test levels may be appropriate if the intended audience is heterogeneous. Data on actual costs in the drug approval process suggest both that some adjustment is warranted in that setting and that standard procedures are overly conservative.


title: Emergence as the conversion of information: A unifying theory

abstract: Is reduction always a good scientific strategy? Does it always lead to a gain in information? The very existence of the special sciences above and beyond physics seems to hint no. Previous research has shown that dimension reduction (macroscales) can increase the dependency between elements of a system (a phenomenon called "causal emergence"). However, this has been shown only for specific measures like effective information or integrated information. Here, we provide an umbrella mathematical framework for emergence based on information conversion. Specifically, we show evidence that a macroscale can have more of a certain type of information than its underlying microscale. This is because macroscales can convert information from one type to another. In such cases, reduction to a microscale means the loss of this type of information. We demonstrate this using the well-understood mutual information measure applied to Boolean networks. By using the partial information decomposition, the mutual information can be decomposed into redundant, unique, and synergistic information atoms. Then by introducing a novel measure of the synergy bias of a given decomposition, we are able to show that the synergy component of a Boolean network's mutual information can increase at macroscales. This can occur even when there is no difference in the total mutual information between a macroscale and its underlying microscale, proving information conversion. We relate this broad framework to previous work, compare it to other theories, and argue it complexifies any notion of universal reduction in the sciences, since such reduction would likely lead to a loss of synergistic information in scientific models.


title: Explaining in Style: Training a GAN to explain a classifier in StyleSpace

abstract: Image classification models can depend on multiple different semantic attributes of the image. An explanation of the decision of the classifier needs to both discover and visualize these properties. Here we present StylEx, a method for doing this, by training a generative model to specifically explain multiple attributes that underlie classifier decisions. A natural source for such attributes is the StyleSpace of StyleGAN, which is known to generate semantically meaningful dimensions in the image. However, because standard GAN training is not dependent on the classifier, it may not represent these attributes which are important for the classifier decision, and the dimensions of StyleSpace may represent irrelevant attributes. To overcome this, we propose a training procedure for a StyleGAN, which incorporates the classifier model, in order to learn a classifier-specific StyleSpace. Explanatory attributes are then selected from this space. These can be used to visualize the effect of changing multiple attributes per image, thus providing image-specific explanations. We apply StylEx to multiple domains, including animals, leaves, faces and retinal images. For these, we show how an image can be modified in different ways to change its classifier output. Our results show that the method finds attributes that align well with semantic ones, generate meaningful image-specific explanations, and are human-interpretable as measured in user-studies.


title: Efficiency of stochastic coordinate proximal gradient methods on nonseparable composite optimization

abstract: This paper deals with composite optimization problems having the objective function formed as the sum of two terms, one has Lipschitz continuous gradient along random subspaces and may be nonconvex and the second term is simple and differentiable, but possibly nonconvex and nonseparable. Under these settings we design a stochastic coordinate proximal gradient method which takes into account the nonseparable composite form of the objective function. This algorithm achieves scalability by constructing at each iteration a local approximation model of the whole nonseparable objective function along a random subspace with user-determined dimension. We outline efficient techniques for selecting the random subspace, yielding an implementation that has low cost per-iteration while also achieving fast convergence rates. We present a probabilistic worst-case complexity analysis for our stochastic coordinate proximal gradient method in convex and nonconvex settings, in particular we prove high-probability bounds on the number of iterations before a given optimality is achieved. Extensive numerical results also confirm the efficiency of our algorithm.


title: BasicVSR++: Improving Video Super-Resolution with Enhanced Propagation and Alignment

abstract: A recurrent structure is a popular framework choice for the task of video super-resolution. The state-of-the-art method BasicVSR adopts bidirectional propagation with feature alignment to effectively exploit information from the entire input video. In this study, we redesign BasicVSR by proposing second-order grid propagation and flow-guided deformable alignment. We show that by empowering the recurrent framework with the enhanced propagation and alignment, one can exploit spatiotemporal information across misaligned video frames more effectively. The new components lead to an improved performance under a similar computational constraint. In particular, our model BasicVSR++ surpasses BasicVSR by 0.82 dB in PSNR with similar number of parameters. In addition to video super-resolution, BasicVSR++ generalizes well to other video restoration tasks such as compressed video enhancement. In NTIRE 2021, BasicVSR++ obtains three champions and one runner-up in the Video Super-Resolution and Compressed Video Enhancement Challenges. Codes and models will be released to MMEditing.


title: The Measurement-induced Transition in Long-range Interacting Quantum Circuits

abstract: The competition between scrambling unitary evolution and projective measurements leads to a phase transition in the dynamics of quantum entanglement. Here, we demonstrate that the nature of this transition is fundamentally altered by the presence of long-range, power-law interactions. For sufficiently weak power-laws, the measurement-induced transition is described by conformal field theory, analogous to short-range-interacting hybrid circuits. However, beyond a critical power-law, we demonstrate that long-range interactions give rise to a continuum of non-conformal universality classes, with continuously varying critical exponents. We numerically determine the phase diagram for a one-dimensional, long-range-interacting hybrid circuit model as a function of the power-law exponent and the measurement rate. Finally, by using an analytic mapping to a long-range quantum Ising model, we provide a theoretical understanding for the critical power-law.

categories: quant-ph cond-mat.dis-nn cond-mat.stat-mech cond-mat.str-el hep-th


title: A translation of L. Euler's "On the rectilinear motion of three bodies mutually attracting each other"

abstract: This is an annotated translation from Latin of E327 'De motu rectilineo trium corporum se mutuo attrahentium'. In this publication, Euler considers three bodies lying on a straight line, which are attracted to each other by central forces inversely proportional to the square of their separation distance (inverse-square law). Although not explicitly mentioned by Euler, this is an exact solution of three bodies that move around the common center of mass and always line up. The solution given by Euler could represent a hypothetical situation of Sun, Earth and Moon in perpetual alignment in syzygy, for which the parameter that controls the distances among the planets was found to be given by a quintic function.


title: Projected sensitivity of the LUX-ZEPLIN (LZ) experiment to the two-neutrino and neutrinoless double beta decays of $^{134}$Xe

abstract: The projected sensitivity of the LUX-ZEPLIN (LZ) experiment to two-neutrino and neutrinoless double beta decay of $^{134}$Xe is presented. LZ is a 10-tonne xenon time projection chamber optimized for the detection of dark matter particles, that is expected to start operating in 2021 at Sanford Underground Research Facility, USA. Its large mass of natural xenon provides an exceptional opportunity to search for the double beta decay of $^{134}$Xe, for which xenon detectors enriched in $^{136}$Xe are less effective. For the two-neutrino decay mode, LZ is predicted to exclude values of the half-life up to 1.7$\times$10$^{24}$ years at 90% confidence level (CL), and has a three-sigma observation potential of 8.7$\times$10$^{23}$ years, approaching the predictions of nuclear models. For the neutrinoless decay mode LZ, is projected to exclude values of the half-life up to 7.3$\times$10$^{24}$ years at 90% CL.


title: Estimation Radius Regression in PLIC-VOF Method for Droplet Evaporation

abstract: Naviers Stokes and energy equations of hydrocarbon liquid droplet in evaporation in natural convection are solved numerically using PLIC VOF method. Our new technique allows us to observe clearly the droplet radius regression in each cell of the mesh. This regression is not affected by the changing of the droplet shape and temperature.