title: The condition number of Riemannian approximation problems

abstract: We consider the local sensitivity of least-squares formulations of inverse problems. The sets of inputs and outputs of these problems are assumed to have the structures of Riemannian manifolds. The problems we consider include the approximation problem of finding the nearest point on a Riemannian embedded submanifold from a given point in the ambient space. We characterize the first-order sensitivity, i.e., condition number, of local minimizers and critical points to arbitrary perturbations of the input of the least-squares problem. This condition number involves the Weingarten map of the input manifold, which measures the amount by which the input manifold curves in its ambient space. We validate our main results through experiments with the $n$-camera triangulation problem in computer vision.


title: Finiteness properties of pseudo-hyperbolic varieties

abstract: Motivated by Lang-Vojta's conjecture, we show that the set of dominant rational self-maps of an algebraic variety over a number field with only finitely many rational points in any given number field is finite by combining Amerik's theorem for dynamical systems of infinite order with properties of Prokhorov-Shramov's notion of quasi-minimal models. We also prove a similar result in the geometric setting by using again Amerik's theorem and Prokhorov-Shramov's notion of quasi-minimal model, but also Weil's regularization theorem for birational self-maps and properties of dynamical degrees. Furthermore, in the geometric setting, we obtain an analogue of Kobayashi-Ochiai's finiteness result for varieties of general type, and thereby generalize Noguchi's theorem (formerly Lang's conjecture).


title: Denseness results in the theory of algebraic fields

abstract: We study when the property that a field is dense in its real and p-adic closures is elementary in the language of rings and deduce that all models of the theory of algebraic fields have this property.


title: Quantum fluctuation theorems beyond two-point measurements

abstract: We derive detailed and integral quantum fluctuation theorems for heat exchange in a quantum correlated bipartite thermal system using the framework of dynamic Bayesian networks. Contrary to the usual two-projective-measurement scheme that is known to destroy quantum features, these fluctuation relations fully capture quantum correlations and quantum coherence at arbitrary times.


title: Curves on non--orientable surfaces and crosscap transpositions

abstract: Let $N_{g,n}$ be an $n$--punctured non--orientable surface of genus $g$ with one boundary component. For $g\geq 2$ one of the generators of the mapping class group of $N_{g,n}$ is a crosscap transposition. We give explicit formulae for the action of crosscap transpositions and their inverses on the set of multicurves in $N_{g,n}$ in terms of generalized Dynnikov coordinates.


title: Jammed packings of 3D superellipsoids with tunable packing fraction, contact number, and ordering

abstract: We carry out numerical studies of static packings of frictionless superellipsoidal particles in three spatial dimensions. We consider more than $200$ different particle shapes by varying the three shape parameters that define superellipsoids. We characterize the structural and mechanical properties of both disordered and ordered packings using two packing-generation protocols. We perform athermal quasi-static compression simulations starting from either random, dilute configurations (Protocol 1) or thermalized, dense configurations (protocol $2$), which allows us to tune the orientational order of the packings. In general, we find that the contact numbers at jamming onset for superellipsoid packings are hypostatic, with $z_J < z_{\rm iso}$, where $z_{\rm iso} = 2d_f$ and $d_f = 5$ or $6$ depending on whether the particles are axi-symmetric or not. Over the full range of orientational order, we find that the number of quartic modes of the dynamical matrix for the packings always matches the number of missing contacts relative to the isostatic value. This result suggests that there are no mechanically redundant contacts for ordered, yet hypostatic packings of superellipsoidal particles. Additionally, we find that the packing fraction at jamming onset for disordered packings of superellipsoidal particles can be collapsed using two particle shape parameters, e.g. the asphericity $\mathcal{A}$ and reduced aspect ratio $\beta$ of the particles.


title: Wavelet-based Methods for Numerical Solutions of Differential Equations

abstract: Wavelet theory has been well studied in recent decades. Due to their appealing features such as sparse multiscale representation and fast algorithms, wavelets have enjoyed many tremendous successes in the areas of signal/image processing and computational mathematics. This paper primarily intends to shed some light on the advantages of using wavelets in the context of numerical differential equations. We shall identify a few prominent problems in this field and recapitulate some important results along these directions. Wavelet-based methods for numerical differential equations offer the advantages of sparse matrices with uniformly bounded small condition numbers. We shall demonstrate wavelets' ability in solving some one-dimensional differential equations: the biharmonic equation and the Helmholtz equation with high wave numbers (of magnitude $O(10^4)$ or larger).


title: Understanding the lattice thermal conductivity of SrTiO3 from an ab initio perspective

abstract: We present a detailed analysis of the structure dependence of the lattice thermal conductivity of SrTiO3. We have used both ab initio Molecular Dynamic simulations and Density Functional Theory calculations to decouple the effect of different structural distortions on the thermal conductivity. We have identified two main mechanisms for tuning the thermal conductivity when a distortion is applied. First, the modification of the acoustic-modes energy dispersion when a change in the lattice parameters is imposed and second, the low energy polar modes. In particular and counterintuitively, we have found that an increase in the angle of the oxygen octahedral rotations increases the thermal conductivity due to its coupling to these polar modes.


title: Strict positivity for the principal eigenfunction of elliptic operators with various boundary conditions

abstract: We consider elliptic operators with measurable coefficients and Robin boundary conditions on a bounded domain $\Omega \subset \mathbb{R}^d$ and show that the first eigenfunction $v$ satisfies $v(x) \ge \delta > 0$ for all $x \in \overline{\Omega}$, even if the boundary $\partial \Omega$ is only Lipschitz continuous. Under such weak regularity assumptions the Hopf-Ole\u{\i}nik boundary lemma is not available; instead we use a new approach based on an abstract positivity improving condition for semigroups that map $L_p(\Omega)$ into $C(\overline{\Omega})$. The same tool also yields corresponding results for Dirichlet or mixed boundary conditions. Finally, we show that our results can be used to derive strong minimum and maximum principles for parabolic and elliptic equations.


title: Appearances of the Birthday Paradox in High Performance Computing

abstract: We give an elementary statistical analysis of two High Performance Computing issues, processor cache mapping and network port mapping. In both cases we find that, as in the birthday paradox, random assignment leads to more frequent coincidences than one expects a priori. Since these correspond to contention for limited resources, this phenomenon has important consequences for performance.


title: Deep Video Deblurring: The Devil is in the Details

abstract: Video deblurring for hand-held cameras is a challenging task, since the underlying blur is caused by both camera shake and object motion. State-of-the-art deep networks exploit temporal information from neighboring frames, either by means of spatio-temporal transformers or by recurrent architectures. In contrast to these involved models, we found that a simple baseline CNN can perform astonishingly well when particular care is taken w.r.t. the details of model and training procedure. To that end, we conduct a comprehensive study regarding these crucial details, uncovering extreme differences in quantitative and qualitative performance. Exploiting these details allows us to boost the architecture and training procedure of a simple baseline CNN by a staggering 3.15dB, such that it becomes highly competitive w.r.t. cutting-edge networks. This raises the question whether the reported accuracy difference between models is always due to technical contributions or also subject to such orthogonal, but crucial details.


title: Tent space well-posedness for parabolic Cauchy problems with rough coefficients

abstract: We study the well-posedness of Cauchy problems on the upper half space $\mathbb{R}^{n+1}_+$ associated to higher order systems $\partial_t u =(-1)^{m+1}\mbox{div}_m A\nabla ^m u$ with bounded measurable and uniformly elliptic coefficients. We address initial data lying in $L^p$ ($1<p<\infty$) and $BMO$ ($p=\infty$) spaces and work with weak solutions. Our main result is the identification of a new well-posedeness class, given for $p\in(1,\infty]$ by distributions satisfying $\nabla^m u \in T^{p,2}_m$, where $T^{p,2}_m$ is a parabolic version of the tent space of Coifman--Meyer--Stein. In the range $p\in [2,\infty]$, this holds without any further constraints on the operator and for $p=\infty$ it provides a Carleson measure characterization of $BMO$ with non-autonomous operators. We also prove higher order $L^p$ well-posedness, previously only known for the case $m = 1$. The uniform $L^p$ boundedness of propagators of energy solutions plays an important role in the well-podesness theory and we discover that such bounds hold for $p$ close to $2$. This is a consequence of local weak solutions being locally H\"older continuous with values in spatial $L^p_{loc}$ for some $p>2$, what is also new for the case $m>1$.


title: DOOR-SLAM: Distributed, Online, and Outlier Resilient SLAM for Robotic Teams

abstract: To achieve collaborative tasks, robots in a team need to have a shared understanding of the environment and their location within it. Distributed Simultaneous Localization and Mapping (SLAM) offers a practical solution to localize the robots without relying on an external positioning system (e.g. GPS) and with minimal information exchange. Unfortunately, current distributed SLAM systems are vulnerable to perception outliers and therefore tend to use very conservative parameters for inter-robot place recognition. However, being too conservative comes at the cost of rejecting many valid loop closure candidates, which results in less accurate trajectory estimates. This paper introduces DOOR-SLAM, a fully distributed SLAM system with an outlier rejection mechanism that can work with less conservative parameters. DOOR-SLAM is based on peer-to-peer communication and does not require full connectivity among the robots. DOOR-SLAM includes two key modules: a pose graph optimizer combined with a distributed pairwise consistent measurement set maximization algorithm to reject spurious inter-robot loop closures; and a distributed SLAM front-end that detects inter-robot loop closures without exchanging raw sensor data. The system has been evaluated in simulations, benchmarking datasets, and field experiments, including tests in GPS-denied subterranean environments. DOOR-SLAM produces more inter-robot loop closures, successfully rejects outliers, and results in accurate trajectory estimates, while requiring low communication bandwidth. Full source code is available at https://github.com/MISTLab/DOOR-SLAM.git.


title: A Census of B[e] Supergiants

abstract: Stellar evolution theory is most uncertain for massive stars. For reliable predictions of the evolution of massive stars and their final fate, solid constraints on the physical parameters, and their changes along the evolution and in different environments, are required. Massive stars evolve through a variety of short transition phases, in which they can experience large mass-loss either in the form of dense winds or via sudden eruptions. The B[e] supergiants comprise one such group of massive transition objects. They are characterized by dense, dusty disks of yet unknown origin. In the Milky Way, identification and classification of B[e] supergiants is usually hampered by their uncertain distances hence luminosities, and by the confusion of low-luminosity candidates with massive pre-main sequence objects. The extragalactic objects are often mistaken as quiescent or candidate luminous blue variables, with whom B[e] supergiants share a number of spectroscopic characteristics. In this review, proper criteria are provided, based on which B[e] supergiants can be unambiguously classified and separated from other high luminosity post-main sequence stars and pre-main sequence stars. Using these criteria, the B[e] supergiant samples in diverse galaxies are critically inspected, to achieve a reliable census of the current population.


title: Scaling data-driven robotics with reward sketching and batch reinforcement learning

abstract: We present a framework for data-driven robotics that makes use of a large dataset of recorded robot experience and scales to several tasks using learned reward functions. We show how to apply this framework to accomplish three different object manipulation tasks on a real robot platform. Given demonstrations of a task together with task-agnostic recorded experience, we use a special form of human annotation as supervision to learn a reward function, which enables us to deal with real-world tasks where the reward signal cannot be acquired directly. Learned rewards are used in combination with a large dataset of experience from different tasks to learn a robot policy offline using batch RL. We show that using our approach it is possible to train agents to perform a variety of challenging manipulation tasks including stacking rigid objects and handling cloth.


title: Overlapping Community Detection with Graph Neural Networks

abstract: Community detection is a fundamental problem in machine learning. While deep learning has shown great promise in many graphrelated tasks, developing neural models for community detection has received surprisingly little attention. The few existing approaches focus on detecting disjoint communities, even though communities in real graphs are well known to be overlapping. We address this shortcoming and propose a graph neural network (GNN) based model for overlapping community detection. Despite its simplicity, our model outperforms the existing baselines by a large margin in the task of community recovery. We establish through an extensive experimental evaluation that the proposed model is effective, scalable and robust to hyperparameter settings. We also perform an ablation study that confirms that GNN is the key ingredient to the power of the proposed model.


title: The $\mathcal{H}_{\infty,p}$ norm as the differential $\mathcal{L}_{2,p}$ gain of a $p$-dominant system

abstract: The differential $\mathcal{L}_{2,p}$ gain of a linear, time-invariant, $p$-dominant system is shown to coincide with the $\mathcal{H}_{\infty,p}$ norm of its transfer function $G$, defined as the essential supremum of the absolute value of $G$ over a vertical strip in the complex plane such that $p$ poles of $G$ lie to right of the strip. The close analogy between the $\mathcal{H}_{\infty,p}$ norm and the classical $\mathcal{H}_{\infty}$ norm suggests that robust dominance of linear systems can be studied along the same lines as robust stability. This property can be exploited in the analysis and design of nonlinear uncertain systems that can be decomposed as the feedback interconnection of a linear, time-invariant system with bounded gain uncertainties or nonlinearities.


title: Topologically semisimple and topologically perfect topological rings

abstract: Extending the Wedderburn-Artin theory of (classically) semisimple associative rings to the realm of topological rings with right linear topology, we show that the abelian category of left contramodules over such a ring is split (equivalently, semisimple) if and only if the abelian category of discrete right modules over the same ring is split (equivalently, semisimple). Our results in this direction complement those of Iovanov-Mesyan-Reyes. An extension of the Bass theory of left perfect rings to the topological realm is formulated as a list of conjecturally equivalent conditions, many equivalences and implications between which we prove. In particular, all the conditions are equivalent for topological rings with a countable base of neighborhoods of zero and for topologically right coherent topological rings. Considering the rings of endomorphisms of modules as topological rings with the finite topology, we establish a close connection between the concept of a topologically perfect topological ring and the theory of modules with perfect decomposition. Our results also apply to endomorphism rings and direct sum decompositions of objects in certain additive categories more general than the categories of modules; we call them topologically agreeable categories. We show that any topologically agreeable split abelian category is Grothendieck and semisimple. We also prove that a module $\Sigma$-coperfect over its endomorphism ring has a perfect decomposition provided that either the endomorphism ring is commutative or the module is countably generated, partially answering a question of Angeleri Hugel and Saorin.


title: Microreversibility, nonequilibrium response, and Euler's polynomials

abstract: Microreversibility constrains the fluctuations of the nonequilibrium currents that cross an open system. This can be seen from the so-called fluctuation relations, which are a direct consequence of microreversibility. Indeed, the latter are known to impose time-reversal symmetry relations on the statistical cumulants of the currents and their responses at arbitrary orders in the deviations from equilibrium. Remarkably, such relations have been recently analyzed by means of Euler's polynomials. Here we show that fluctuation relations can actually be explicitly written in terms of the constant terms of these particular polynomials. We hence demonstrate that Euler's polynomials are indeed fundamentally rooted in fluctuation relations, both in the absence and the presence of an external magnetic field.


title: Adaptive Binary-Ternary Quantization

abstract: Neural network models are resource hungry. It is difficult to deploy such deep networks on devices with limited resources, like smart wearables, cellphones, drones, and autonomous vehicles. Low bit quantization such as binary and ternary quantization is a common approach to alleviate this resource requirements. Ternary quantization provides a more flexible model and outperforms binary quantization in terms of accuracy, however doubles the memory footprint and increases the computational cost. Contrary to these approaches, mixed quantized models allow a trade-off between accuracy and memory footprint. In such models, quantization depth is often chosen manually, or is tuned using a separate optimization routine. The latter requires training a quantized network multiple times. Here, we propose an adaptive combination of binary and ternary quantization, namely Smart Quantization (SQ), in which the quantization depth is modified directly via a regularization function, so that the model is trained only once. Our experimental results show that the proposed method adapts quantization depth successfully while keeping the model accuracy high on MNIST and CIFAR10 benchmarks.


title: $\mathbf{\beta}$-delayed proton emission from $\mathbf{^{11}}$Be in effective field theory

abstract: We calculate the rate of the rare decay $^{11}\text{Be}$ into $^{10}\text{Be} + p +e^- + \bar{\nu}_e$ using Halo effective field theory, thereby describing the process of beta-delayed proton emission. We assume a shallow $1/2^+$ resonance in the $^{10}\text{Be}-p$ system with an energy consistent with a recent experiment by Ayyad et al. and obtain $b_p = 4.9_{-2.9}^{+5.6}\text{(exp.)}_{-0.8}^{+4.0}\text{(theo.)} \times 10^{-6}$ for the branching ratio of this decay, predicting a resonance width of $\Gamma_R = (9.0^{+4.8}_{-3.3}\text{(exp.)}^{+5.3}_{-2.2}\text{(theo.)})~\text{keV}$. Our calculation shows that the experimental branching ratio and resonance parameters of Ayyad et al. are consistent with each other. Moreover, we analyze the general impact of a resonance on the branching ratio and demonstrate that a wide range of combinations of resonance energies and widths can reproduce branching ratios of the correct order. Thus, no exotic mechanism (such as beyond the standard model physics) is needed to explain the experimental decay rate.


title: Spectral dimension as a tool for analyzing non-perturbative propagators

abstract: We derive general properties of the scale-dependent effective spectral dimensions of non-perturbative gauge boson propagators as they appear as solutions from different methods in Yang-Mills theories. In the ultraviolet and for short time scales the anomalous dimensions of the propagators lead to a slight decrease of the spectral dimension as compared to the one of a free propagator. Lowering the momentum scale, the spectral dimension decreases further. The class of propagators which display a maximum at Euclidean momenta, and thus violate positivity, always approaches a spectral dimension of one for large times. We also show that the longest time intervals are not related to the deep infrared but to the momentum scale defined by the position of the maximum.


title: An Investigation into the Effectiveness of Enhancement in ASR Training and Test for CHiME-5 Dinner Party Transcription

abstract: Despite the strong modeling power of neural network acoustic models, speech enhancement has been shown to deliver additional word error rate improvements if multi-channel data is available. However, there has been a longstanding debate whether enhancement should also be carried out on the ASR training data. In an extensive experimental evaluation on the acoustically very challenging CHiME-5 dinner party data we show that: (i) cleaning up the training data can lead to substantial error rate reductions, and (ii) enhancement in training is advisable as long as enhancement in test is at least as strong as in training. This approach stands in contrast and delivers larger gains than the common strategy reported in the literature to augment the training database with additional artificially degraded speech. Together with an acoustic model topology consisting of initial CNN layers followed by factorized TDNN layers we achieve with 41.6% and 43.2% WER on the DEV and EVAL test sets, respectively, a new single-system state-of-the-art result on the CHiME-5 data. This is a 8% relative improvement compared to the best word error rate published so far for a speech recognizer without system combination.


title: Heuristics for Symmetric Rectilinear Matrix Partitioning

abstract: Partitioning sparse matrices and graphs is a common and important problem in many scientific and graph analytics applications. In this work, we are concerned with a spatial partitioning called rectilinear partitioning (also known as generalized block distribution) of sparse matrices, which is needed for tiled (or {\em blocked}) execution of sparse matrix and graph analytics kernels. More specifically, in this work, we address the problem of symmetric rectilinear partitioning of square matrices. By symmetric, we mean having the same partition on rows and columns of the matrix, yielding a special tiling where the diagonal tiles (blocks) will be squares. We propose five heuristics to solve two different variants of this problem, and present a thorough experimental evaluation showing the effectiveness of the proposed algorithms.


title: How Much Graphene in Space?

abstract: The possible presence of graphene in the interstellar medium (ISM) is examined by comparing the interstellar extinction curve with the ultraviolet absorption of graphene calculated from its dielectric functions experimentally obtained with the electron energy loss spectroscopy (EELS) method. Based on the absence in the interstellar extinction curve of the ~2755 Angstrom $\pi$--$\pi^{\ast}$ electronic interband transition of graphene, we place an upper limit of ~20ppm of C/H on the interstellar graphene abundance, exceeding the previous estimate by a factor of ~3 which made use of the dielectric functions measured with the spectroscopic ellipsometry (SE) method. Compared with the SE method which measures graphene in air (and hence its surface is contaminated) in a limited energy range of ~0.7--5 eV, the EELS probes a much wider energy range of ~0--50 eV and is free of contamination. The fact that the EELS dielectric functions are substantially smaller than that of SE naturally explains why a higher upper limit on the graphene abundance is derived with EELS. Inspired by the possible detection of C$_{24}$, a planar graphene sheet, in several Galactic and extragalactic planetary nebulae, we also examine the possible presence of C$_{24}$ in the diffuse ISM by comparing the model IR emission of C$_{24}$ with the observed IR emission of the Galactic cirrus and the diffuse ISM toward $l = 44^{o}20^\prime$ and $b=-0^{o}20^\prime$. An upper limit of ~20 ppm on C$_{24}$ is also derived from the absence of the characteristic vibrational bands of C$_{24}$ at ~6.6, 9.8 and 20 $\mu$m in the observed IR emission.


title: On the complexity of the clone membership problem

abstract: We investigate the complexity of the Boolean clone membership problem (CMP): given a set of Boolean functions $F$ and a Boolean function $f$, determine if $f$ is in the clone generated by $F$, i.e., if it can be expressed by a circuit with $F$-gates. Here, $f$ and elements of $F$ are given as circuits or formulas over the usual De Morgan basis. B\"ohler and Schnoor (2007) proved that for any fixed $F$, the problem is coNP-complete, with a few exceptions where it is in P. Vollmer (2009) incorrectly claimed that the full problem CMP is also coNP-complete. We prove that CMP is in fact $\Theta^P_2$-complete, and we complement B\"ohler and Schnoor's results by showing that for fixed $f$, the problem is NP-complete unless $f$ is a projection. More generally, we study the problem $B$-CMP where $F$ and $f$ are given by circuits using gates from $B$. For most choices of $B$, we classify the complexity of $B$-CMP as being $\Theta^P_2$-complete (possibly under randomized reductions), coDP-complete, or in P.


title: Recent results for forward J/$\boldsymbol{\psi}$ production in Pb--Pb Ultra-Peripheral Collisions at $\mathbf{ \sqrt{s_{\mathbf N\mathbf N}} = 5.02 }$ TeV with the ALICE detector

abstract: The LHC is not only the highest energy collider for protons and heavy ions, but also for photon photon and photon hadron ($\gamma$p and $\gamma$Pb) interactions. This is because the protons and ions accelerated in the LHC carry an electromagnetic field, which can be viewed as a source of photons, and such photons can interact with either other photons or with hadrons. Ultra Peripheral Collisions (UPC) occur when the incoming ions pass beyond the range of the strong force, with impact parameters larger than the sum of the radii of the incoming projectiles, and are mediated by the exchange of virtual photons between the nuclei. The number of photons scales with the square of the nuclear electric charge, and the photon energies increase rapidly with beam energy. The beam energies at the LHC make the LHC the most energetic photon source ever built. In particular, the photoproduction of heavy vector mesons is favoured because such mesons couple to the photon. Recent results for forward J/$\psi$ production in Pb--Pb UPCs at $\sqrt{s_{\rm NN}} = 5.02$ TeV with the ALICE detector are presented here.


title: Perdeuteration of poly[2-methoxy-5-(2'-ethylhexyloxy)-1,4-phenylenevinylene] (d-MEHPPV): control of microscopic charge-carrier spin-spin coupling and of magnetic-field effects in optoelectronic devices

abstract: Control of the effective local hyperfine fields in a conjugated polymer, poly[2-methoxy-5-(2'-ethylhexyloxy)-1,4-phenylenevinylene] (MEHPPV), by isotopic engineering is reported. These fields, evident as a frequency-independent line broadening mechanism in electrically detected magnetic resonance spectroscopy (EDMR), originate from the unresolved hyperfine coupling between the electronic spin of charge carrier pairs and the nuclear spins of surrounding hydrogen isotopes. The room temperature study of effects caused by complete deuteration of this polymer through magnetoresistance, magnetoelectroluminescence, coherent pulsed and multi-frequency EDMR, as well as inverse spin-Hall effect measurements, confirm the weak hyperfine broadening of charge carrier magnetic resonance lines. As a consequence, we can resolve coherent charge-carrier spin-beating, allowing for direct measurements of the magnitude of electronic spin-spin interactions. In addition, the weak hyperfine coupling allows us to resolve substantial spin-orbit coupling effects in EDMR spectra, even at low magnetic field strengths. These results illustrate the dramatic influence of hyperfine fields on the spin physics of organic light-emitting diode (OLED) materials at room temperature, and point to routes to reaching exotic ultra-strong resonant-drive regimes needed for the study of light-matter interactions.


title: Probing the Missing Link between the Diffuse Interstellar Bands and the Total-to-Selective Extinction Ratio $R_V$ $-$ I. Extinction versus Reddening

abstract: The carriers of the still (mostly) unidentified diffuse interstellar bands (DIBs) have been a long-standing mystery ever since their first discovery exactly 100 years ago. In recent years, the ubiquitous detection of a large number of DIBs in a wide range of Galactic and extragalactic environments has led to renewed interest in connecting the occurrence and properties of DIBs to the physical and chemical conditions of the interstellar clouds, with particular attention paid to whether the DIB strength is related to the shape of the interstellar extinction curve. To shed light on the nature and origin of the DIB carriers, we investigate the relation between the DIB strength and $R_V$, the total-to-selective extinction ratio, which characterizes how the extinction varies with wavelength (i.e., the shape of the extinction curve). We find that the DIB strength and $R_V$ are not related if we represent the strength of a DIB by its reddening-normalized equivalent width (EW), in contrast to the earlier finding of an anticorrelation in which the DIB strength is measured by the extinction-normalized EW. This raises a fundamental question about the appropriate normalization for the DIB EW.


title: Restriction and Extension of Partial Actions

abstract: Given a partial action $\alpha=(A_g,\alpha_g)_{g\in \mathcal{G}}$ of a connected groupoid $\mathcal{G}$ on a ring $A$ and an object $x$ of $\mathcal{G}$, the isotropy group $\mathcal{G}(x)$ acts partially on the ideal $A_x$ of $A$ by the restriction of $\alpha$. In this paper we investigate the following reverse question: under what conditions a partial group action of $\mathcal{G}(x)$ on an ideal of $A$ can be extended to a partial groupoid action of $\mathcal{G}$ on $A$? The globalization problem and some applications to the Morita and Galois theories are also considered, as extensions of similar results from the group actions case.


title: Information-Guided Robotic Maximum Seek-and-Sample in Partially Observable Continuous Environments

abstract: We present PLUMES, a planner to localizing and collecting samples at the global maximum of an a priori unknown and partially observable continuous environment. The "maximum-seek-and-sample" (MSS) problem is pervasive in the environmental and earth sciences. Experts want to collect scientifically valuable samples at an environmental maximum (e.g., an oil-spill source), but do not have prior knowledge about the phenomenon's distribution. We formulate the MSS problem as a partially-observable Markov decision process (POMDP) with continuous state and observation spaces, and a sparse reward signal. To solve the MSS POMDP, PLUMES uses an information-theoretic reward heuristic with continous-observation Monte Carlo Tree Search to efficiently localize and sample from the global maximum. In simulation and field experiments, PLUMES collects more scientifically valuable samples than state-of-the-art planners in a diverse set of environments, with various platforms, sensors, and challenging real-world conditions.


title: Visual Exploration and Energy-aware Path Planning via Reinforcement Learning

abstract: Visual exploration and smart data collection via autonomous vehicles is an attractive topic in various disciplines. Disturbances like wind significantly influence both the power consumption of the flying robots and the performance of the camera. We propose a reinforcement learning approach which combines the effects of the power consumption and the object detection modules to develop a policy for object detection in large areas with limited battery life. The learning model enables dynamic learning of the negative rewards of each action based on the drag forces that is resulted by the motion of the flying robot with respect to the wind field. The algorithm is implemented in a near-real world simulation environment both for the planar motion and flight in different altitudes. The trained agent often performed a trade-off between detecting the objects with high accuracy and increasing the area coverage within its battery life. The developed exploration policy outperformed the complete coverage algorithm by minimizing the traveled path while finding the target objects. The performance of the algorithms under various wind fields was evaluated in planar and 3D motion. During an exploration task with sparsely distributed goals and within a UAV's battery life, the proposed architecture could detect more than twice the amount of goal objects compared to the coverage path planning algorithm in moderate wind field. In high wind intensities, the energy-aware algorithm could detect 4 times the amount of goal objects when compared to its complete coverage counterpart.


title: Estimating covariance and precision matrices along subspaces

abstract: We study the accuracy of estimating the covariance and the precision matrix of a $D$-variate sub-Gaussian distribution along a prescribed subspace or direction using the finite sample covariance. Our results show that the estimation accuracy depends almost exclusively on the components of the distribution that correspond to desired subspaces or directions. This is relevant and important for problems where the behavior of data along a lower-dimensional space is of specific interest, such as dimension reduction or structured regression problems. We also show that estimation of precision matrices is almost independent of the condition number of the covariance matrix. The presented applications include direction-sensitive eigenspace perturbation bounds, relative bounds for the smallest eigenvalue, and the estimation of the single-index model. For the latter, a new estimator, derived from the analysis, with strong theoretical guarantees and superior numerical performance is proposed.


title: Diagrams in the mod $p$ cohomology of Shimura curves

abstract: We prove a local-global compatibility result in the mod $p$ Langlands program for $\mathrm{GL}_2(\mathbf{Q}_{p^f})$. Namely, given a global residual representation $\bar{r}$ that is sufficiently generic at $p$, we prove that the diagram occurring in the corresponding Hecke eigenspace of completed cohomology is determined by the restrictions of $\bar{r}$ to decomposition groups at $p$. If these restrictions are moreover semisimple, we show that the $(\varphi,\Gamma)$-modules attached to this diagram by Breuil give, under Fontaine's equivalence, the tensor inductions of the duals of the restrictions of $\bar{r}$ to decomposition groups at $p$.


title: Implicit Semantic Data Augmentation for Deep Networks

abstract: In this paper, we propose a novel implicit semantic data augmentation (ISDA) approach to complement traditional augmentation techniques like flipping, translation or rotation. Our work is motivated by the intriguing property that deep networks are surprisingly good at linearizing features, such that certain directions in the deep feature space correspond to meaningful semantic transformations, e.g., adding sunglasses or changing backgrounds. As a consequence, translating training samples along many semantic directions in the feature space can effectively augment the dataset to improve generalization. To implement this idea effectively and efficiently, we first perform an online estimate of the covariance matrix of deep features for each class, which captures the intra-class semantic variations. Then random vectors are drawn from a zero-mean normal distribution with the estimated covariance to augment the training data in that class. Importantly, instead of augmenting the samples explicitly, we can directly minimize an upper bound of the expected cross-entropy (CE) loss on the augmented training set, leading to a highly efficient algorithm. In fact, we show that the proposed ISDA amounts to minimizing a novel robust CE loss, which adds negligible extra computational cost to a normal training procedure. Although being simple, ISDA consistently improves the generalization performance of popular deep models (ResNets and DenseNets) on a variety of datasets, e.g., CIFAR-10, CIFAR-100 and ImageNet. Code for reproducing our results is available at https://github.com/blackfeather-wang/ISDA-for-Deep-Networks.


title: Storage Class Memory: Principles, Problems, and Possibilities

abstract: Storage Class Memory (SCM) is a class of memory technology which has recently become viable for use. Their namearises from the fact that they exhibit non-volatility of data, similar to secondary storage while also having latencies comparable toprimary memory and byte-addressibility. In this area, Phase Change Memory (PCM), Spin-Transfer-Torque Random Access Memory(STT-RAM), and Resistive RAM (ReRAM) have emerged as the major contenders for commercial and industrial use. In this paper, wedescribe how these memory types function, while highlighting the problems of endurance and performance that these memory typesface. We also discuss the future possibilities of Multi-Level Cells (MLCs), as well as how SCM can be used to construct accelerators.


title: A tuneable telecom-wavelength entangled light emitting diode

abstract: Entangled light emitting diodes based on semiconductor quantum dots are promising devices for security sensitive quantum network applications, thanks to their natural lack of multi photon-pair generation. Apart from telecom wavelength emission, network integrability of these sources ideally requires electrical operation for deployment in compact systems in the field. For multiplexing of entangled photons with classical data traffic, emission in the telecom O-band and tuneability to the nearest wavelength channel in compliance with coarse wavelength division multiplexing standards (20 nm channel spacing) is highly desirable. Here we show the first fully electrically operated telecom entangled light emitting diode with wavelength tuneability of more than 25nm, deployed in an installed fiber network. With the source tuned to 1310.00 nm, we demonstrate multiplexing of true single entangled photons with classical data traffic and achieve entanglement fidelities above 95% on an installed fiber in a city.


title: PairNorm: Tackling Oversmoothing in GNNs

abstract: The performance of graph neural nets (GNNs) is known to gradually decrease with increasing number of layers. This decay is partly attributed to oversmoothing, where repeated graph convolutions eventually make node embeddings indistinguishable. We take a closer look at two different interpretations, aiming to quantify oversmoothing. Our main contribution is PairNorm, a novel normalization layer that is based on a careful analysis of the graph convolution operator, which prevents all node embeddings from becoming too similar. What is more, PairNorm is fast, easy to implement without any change to network architecture nor any additional parameters, and is broadly applicable to any GNN. Experiments on real-world graphs demonstrate that PairNorm makes deeper GCN, GAT, and SGC models more robust against oversmoothing, and significantly boosts performance for a new problem setting that benefits from deeper GNNs. Code is available at https://github.com/LingxiaoShawn/PairNorm.


title: Liquid Warping GAN: A Unified Framework for Human Motion Imitation, Appearance Transfer and Novel View Synthesis

abstract: We tackle the human motion imitation, appearance transfer, and novel view synthesis within a unified framework, which means that the model once being trained can be used to handle all these tasks. The existing task-specific methods mainly use 2D keypoints (pose) to estimate the human body structure. However, they only expresses the position information with no abilities to characterize the personalized shape of the individual person and model the limbs rotations. In this paper, we propose to use a 3D body mesh recovery module to disentangle the pose and shape, which can not only model the joint location and rotation but also characterize the personalized body shape. To preserve the source information, such as texture, style, color, and face identity, we propose a Liquid Warping GAN with Liquid Warping Block (LWB) that propagates the source information in both image and feature spaces, and synthesizes an image with respect to the reference. Specifically, the source features are extracted by a denoising convolutional auto-encoder for characterizing the source identity well. Furthermore, our proposed method is able to support a more flexible warping from multiple sources. In addition, we build a new dataset, namely Impersonator (iPER) dataset, for the evaluation of human motion imitation, appearance transfer, and novel view synthesis. Extensive experiments demonstrate the effectiveness of our method in several aspects, such as robustness in occlusion case and preserving face identity, shape consistency and clothes details. All codes and datasets are available on https://svip-lab.github.io/project/impersonator.html


title: Linear bounds for constants in Gromov's systolic inequality and related results

abstract: Let $M^n$ be a closed Riemannian manifold. Larry Guth proved that there exists $c(n)$ with the following property: if for some $r>0$ the volume of each metric ball of radius $r$ is less than $({r\over c(n)})^n$, then there exists a continuous map from $M^n$ to a $(n-1)$-dimensional simplicial complex such that the inverse image of each point can be covered by a metric ball of radius $r$ in $M^n$. It was previously proven by Gromov that this result implies two by now famous Gromov's inequalities: $Fill Rad(M^n)\leq c(n)vol(M^n)^{1\over n}$ and, if $M^n$ is essential, then also $sys_1(M^n)\leq 6c(n)vol(M^n)^{1\over n}$ with the same constant $c(n)$. Here $sys_1(M^n)$ denotes the length of a shortest non-contractible closed curve in $M^n$. We prove that these results hold with $c(n)=({n!\over 2})^{1\over n}\leq {n\over 2}$. We demonstrate that for essential Riemannian manifolds $sys_1(M^n) \leq n\ vol^{1\over n}(M^n)$. All previously known upper bounds for $c(n)$ were exponential in $n$. Moreover, we present a qualitative improvement: In Guth's theorem the assumption that the volume of every metric ball of radius $r$ is less than $({r\over c(n)})^n$ can be replaced by a weaker assumption that for every point $x\in M^n$ there exists a positive $\rho(x)\leq r$ such that the volume of the metric ball of radius $\rho(x)$ centered at $x$ is less than $({\rho(x)\over c(n)})^n$ (for $c(n)=({n!\over 2})^{1\over n}$). Also, if $X$ is a boundedly compact metric space such that for some $r>0$ and an integer $n\geq 1$ the $n$-dimensional Hausdorff content of each metric ball of radius $r$ in $X$ is less than $({r\over 4n})^n$, then there exists a continuous map from $X$ to a $(n-1)$-dimensional simplicial complex such that the inverse image of each point can be covered by a metric ball of radius $r$.


title: A Heuristic for Efficient Reduction in Hidden Layer Combinations For Feedforward Neural Networks

abstract: In this paper, we describe the hyper-parameter search problem in the field of machine learning and present a heuristic approach in an attempt to tackle it. In most learning algorithms, a set of hyper-parameters must be determined before training commences. The choice of hyper-parameters can affect the final model's performance significantly, but yet determining a good choice of hyper-parameters is in most cases complex and consumes large amount of computing resources. In this paper, we show the differences between an exhaustive search of hyper-parameters and a heuristic search, and show that there is a significant reduction in time taken to obtain the resulting model with marginal differences in evaluation metrics when compared to the benchmark case.


title: Stock Prices Prediction using Deep Learning Models

abstract: Financial markets have a vital role in the development of modern society. They allow the deployment of economic resources. Changes in stock prices reflect changes in the market. In this study, we focus on predicting stock prices by deep learning model. This is a challenge task, because there is much noise and uncertainty in information that is related to stock prices. So this work uses sparse autoencoders with one-dimension (1-D) residual convolutional networks which is a deep learning model, to de-noise the data. Long-short term memory (LSTM) is then used to predict the stock price. The prices, indices and macroeconomic variables in past are the features used to predict the next day's price. Experiment results show that 1-D residual convolutional networks can de-noise data and extract deep features better than a model that combines wavelet transforms (WT) and stacked autoencoders (SAEs). In addition, we compare the performances of model with two different forecast targets of stock price: absolute stock price and price rate of change. The results show that predicting stock price through price rate of change is better than predicting absolute prices directly.


title: Locally adaptive activation functions with slope recovery term for deep and physics-informed neural networks

abstract: We propose two approaches of locally adaptive activation functions namely, layer-wise and neuron-wise locally adaptive activation functions, which improve the performance of deep and physics-informed neural networks. The local adaptation of activation function is achieved by introducing a scalable parameter in each layer (layer-wise) and for every neuron (neuron-wise) separately, and then optimizing it using a variant of stochastic gradient descent algorithm. In order to further increase the training speed, an activation slope based slope recovery term is added in the loss function, which further accelerates convergence, thereby reducing the training cost. On the theoretical side, we prove that in the proposed method, the gradient descent algorithms are not attracted to sub-optimal critical points or local minima under practical conditions on the initialization and learning rate, and that the gradient dynamics of the proposed method is not achievable by base methods with any (adaptive) learning rates. We further show that the adaptive activation methods accelerate the convergence by implicitly multiplying conditioning matrices to the gradient of the base method without any explicit computation of the conditioning matrix and the matrix-vector product. The different adaptive activation functions are shown to induce different implicit conditioning matrices. Furthermore, the proposed methods with the slope recovery are shown to accelerate the training process.


title: Keyphrase Generation for Scientific Articles using GANs

abstract: In this paper, we present a keyphrase generation approach using conditional Generative Adversarial Networks (GAN). In our GAN model, the generator outputs a sequence of keyphrases based on the title and abstract of a scientific article. The discriminator learns to distinguish between machine-generated and human-curated keyphrases. We evaluate this approach on standard benchmark datasets. Our model achieves state-of-the-art performance in generation of abstractive keyphrases and is also comparable to the best performing extractive techniques. We also demonstrate that our method generates more diverse keyphrases and make our implementation publicly available.


title: KnowBias: Detecting Political Polarity in Long Text Content

abstract: We introduce a classification scheme for detecting political bias in long text content such as newspaper opinion articles. Obtaining long text data and annotations at sufficient scale for training is difficult, but it is relatively easy to extract political polarity from tweets through their authorship. We train on tweets and perform inference on articles. Universal sentence encoders and other existing methods that aim to address this domain-adaptation scenario deliver inaccurate and inconsistent predictions on articles, which we show is due to a difference in opinion concentration between tweets and articles. We propose a two-step classification scheme that uses a neutral detector trained on tweets to remove neutral sentences from articles in order to align opinion concentration and therefore improve accuracy on that domain. Our implementation is available for public use at https://knowbias.ml.


title: Learning to Create Sentence Semantic Relation Graphs for Multi-Document Summarization

abstract: Linking facts across documents is a challenging task, as the language used to express the same information in a sentence can vary significantly, which complicates the task of multi-document summarization. Consequently, existing approaches heavily rely on hand-crafted features, which are domain-dependent and hard to craft, or additional annotated data, which is costly to gather. To overcome these limitations, we present a novel method, which makes use of two types of sentence embeddings: universal embeddings, which are trained on a large unrelated corpus, and domain-specific embeddings, which are learned during training. To this end, we develop SemSentSum, a fully data-driven model able to leverage both types of sentence embeddings by building a sentence semantic relation graph. SemSentSum achieves competitive results on two types of summary, consisting of 665 bytes and 100 words. Unlike other state-of-the-art models, neither hand-crafted features nor additional annotated data are necessary, and the method is easily adaptable for other tasks. To our knowledge, we are the first to use multiple sentence embeddings for the task of multi-document summarization.


title: A Comparison of Hybrid and End-to-End Models for Syllable Recognition

abstract: This paper presents a comparison of a traditional hybrid speech recognition system (kaldi using WFST and TDNN with lattice-free MMI) and a lexicon-free end-to-end (TensorFlow implementation of multi-layer LSTM with CTC training) models for German syllable recognition on the Verbmobil corpus. The results show that explicitly modeling prior knowledge is still valuable in building recognition systems. With a strong language model (LM) based on syllables, the structured approach significantly outperforms the end-to-end model. The best word error rate (WER) regarding syllables was achieved using kaldi with a 4-gram LM, modeling all syllables observed in the training set. It achieved 10.0% WER w.r.t. the syllables, compared to the end-to-end approach where the best WER was 27.53%. The work presented here has implications for building future recognition systems that operate independent of a large vocabulary, as typically used in a tasks such as recognition of syllabic or agglutinative languages, out-of-vocabulary techniques, keyword search indexing and medical speech processing.


title: Deep Ensemble Learning for News Stance Detection

abstract: Stance detection in fake news is an important component in news veracity assessment because this process helps fact-checking by understanding stance to a central claim from different information sources. The Fake News Challenge Stage 1 (FNC-1) held in 2017 was setup for this purpose, which involves estimating the stance of a news article body relative to a given headline. This thesis starts from the error analysis for the three top-performing systems in FNC-1. Based on the analysis, a simple but tough-to-beat Multilayer Perceptron system is chosen as the baseline. Afterwards, three approaches are explored to improve baseline.The first approach explores the possibility of improving the prediction accuracy by adding extra keywords features when training a model, where keywords are converted to an indicator vector and then concatenated to the baseline features. A list of keywords is manually selected based on the error analysis, which may best reflect some characteristics of fake news titles and bodies. To make this selection process automatically, three algorithms are created based on Mutual Information (MI) theory: keywords generator based on MI stance class, MI customised class, and Pointwise MI algorithm. The second approach is based on word embedding, where word2vec model is introduced and two document similarities calculation algorithms are implemented: wor2vec cosine similarity and WMD distance. The third approach is ensemble learning. Different models are configured together with two continuous outputs combining algorithms. The 10-fold cross validation reveals that the ensemble of three neural network models trained from simple bag-of-words features gives the best performance. It is therefore selected to compete in FNC-1. After hyperparameters fine tuning, the selected deep ensemble model beats the FNC-1 winner team by a remarkable 34.25 marks under FNC-1's evaluation metric.


title: Multigrid deflation for Lattice QCD

abstract: Computing the trace of the inverse of large matrices is typically addressed through statistical methods. Deflating out the lowest eigenvectors or singular vectors of the matrix reduces the variance of the trace estimator. This work summarizes our efforts to reduce the computational cost of computing the deflation space while achieving the desired variance reduction for Lattice QCD applications. Previous efforts computed the lower part of the singular spectrum of the Dirac operator by using an eigensolver preconditioned with a multigrid linear system solver. Despite the improvement in performance in those applications, as the problem size grows the runtime and storage demands of this approach will eventually dominate the stochastic estimation part of the computation. In this work, we propose to compute the deflation space in one of the following two ways. First, by using an inexact eigensolver on the Hermitian, but maximally indefinite, operator $A \gamma_5$. Second, by exploiting the fact that the multigrid prolongator for this operator is rich in components toward the lower part of the singular spectrum. We show experimentally that the inexact eigensolver can approximate the lower part of the spectrum even for ill-conditioned operators. Also, the deflation based on the multigrid prolongator is more efficient to compute and apply, and, despite its limited ability to approximate the fine level spectrum, it obtains similar variance reduction on the trace estimator as deflating with approximate eigenvectors from the fine level operator.


title: Video Surveillance of Highway Traffic Events by Deep Learning Architectures

abstract: In this paper we describe a video surveillance system able to detect traffic events in videos acquired by fixed videocameras on highways. The events of interest consist in a specific sequence of situations that occur in the video, as for instance a vehicle stopping on the emergency lane. Hence, the detection of these events requires to analyze a temporal sequence in the video stream. We compare different approaches that exploit architectures based on Recurrent Neural Networks (RNNs) and Convolutional Neural Networks (CNNs). A first approach extracts vectors of features, mostly related to motion, from each video frame and exploits a RNN fed with the resulting sequence of vectors. The other approaches are based directly on the sequence of frames, that are eventually enriched with pixel-wise motion information. The obtained stream is processed by an architecture that stacks a CNN and a RNN, and we also investigate a transfer-learning-based model. The results are very promising and the best architecture will be tested online in real operative conditions.


title: D3M: A deep domain decomposition method for partial differential equations

abstract: A state-of-the-art deep domain decomposition method (D3M) based on the variational principle is proposed for partial differential equations (PDEs). The solution of PDEs can be formulated as the solution of a constrained optimization problem, and we design a multi-fidelity neural network framework to solve this optimization problem. Our contribution is to develop a systematical computational procedure for the underlying problem in parallel with domain decomposition. Our analysis shows that the D3M approximation solution converges to the exact solution of underlying PDEs. Our proposed framework establishes a foundation to use variational deep learning in large-scale engineering problems and designs. We present a general mathematical framework of D3M, validate its accuracy and demonstrate its efficiency with numerical experiments.


title: Exact Inference with Approximate Computation for Differentially Private Data via Perturbations

abstract: This paper discusses how two classes of approximate computation algorithms can be adapted, in a modular fashion, to achieve exact statistical inference from differentially private data products. Considered are approximate Bayesian computation for Bayesian inference, and Monte Carlo Expectation-Maximization for likelihood inference. Up to Monte Carlo error, inference from these algorithms is exact with respect to the joint specification of both the analyst's original data model, and the curator's differential privacy mechanism. Highlighted is a duality between approximate computation on exact data, and exact computation on approximate data, which can be leveraged by a well-designed computational procedure for statistical inference.


title: V-MPO: On-Policy Maximum a Posteriori Policy Optimization for Discrete and Continuous Control

abstract: Some of the most successful applications of deep reinforcement learning to challenging domains in discrete and continuous control have used policy gradient methods in the on-policy setting. However, policy gradients can suffer from large variance that may limit performance, and in practice require carefully tuned entropy regularization to prevent policy collapse. As an alternative to policy gradient algorithms, we introduce V-MPO, an on-policy adaptation of Maximum a Posteriori Policy Optimization (MPO) that performs policy iteration based on a learned state-value function. We show that V-MPO surpasses previously reported scores for both the Atari-57 and DMLab-30 benchmark suites in the multi-task setting, and does so reliably without importance weighting, entropy regularization, or population-based tuning of hyperparameters. On individual DMLab and Atari levels, the proposed algorithm can achieve scores that are substantially higher than has previously been reported. V-MPO is also applicable to problems with high-dimensional, continuous action spaces, which we demonstrate in the context of learning to control simulated humanoids with 22 degrees of freedom from full state observations and 56 degrees of freedom from pixel observations, as well as example OpenAI Gym tasks where V-MPO achieves substantially higher asymptotic scores than previously reported.


title: The $f$-Divergence Expectation Iteration Scheme

abstract: This paper introduces the $f$-EI$(\phi)$ algorithm, a novel iterative algorithm which operates on measures and performs $f$-divergence minimisation in a Bayesian framework. We prove that for a rich family of values of $(f,\phi)$ this algorithm leads at each step to a systematic decrease in the $f$-divergence and show that we achieve an optimum. In the particular case where we consider a weighted sum of Dirac measures and the $\alpha$-divergence, we obtain that the calculations involved in the $f$-EI$(\phi)$ algorithm simplify to gradient-based computations. Empirical results support the claim that the $f$-EI$(\phi)$ algorithm serves as a powerful tool to assist Variational methods.


title: Power-efficient Sampling Time and Resource Allocation in Cyber Physical Systems with Industrial Application

abstract: Cyber Physical Systems (CPSs) are the result of convergence of computation, networking, and control of physical process. In this paper, we consider an industrial CPS consisting of several control plants and Rate Constrained (RC) users that communicate via a single cell OFDMA network. The problem of jointly determining the sampling instant of each control plant and allocating power and sub-carrier, in the CPS, is formulated. The problem is a multi objective optimization with aims of determining the next maximum allowable sampling instant of each control plant and minimizing the power consumption in uplink and downlink, considering the dynamics and desired performance of control plants, the quality of service requirement of RC users, power and sub-carrier constraints. To solve the multi objective optimization problem, a novel approach is proposed which decomposes the optimization problem into two smaller loosely coupled problems. we show the effectiveness of the proposed approach through simulation results.


title: Spectral gap in mean-field $\mathcal O(n)$-model

abstract: We study the dependence of the spectral gap for the generator of the Ginzburg-Landau dynamics for all \emph{$\mathcal O(n)$-models} with mean-field interaction and magnetic field, below and at the critical temperature on the number $N$ of particles. For our analysis of the Gibbs measure, we use a one-step renormalization approach and semiclassical methods to study the eigenvalue-spacing of an auxiliary Schr\"odinger operator.


title: Charge density response and fake plasmons in holographic models with strong translation symmetry breaking

abstract: We study the charge density response in holographic models with explicit translation symmetry breaking which is relevant in IR. In particular, we focus on Q-lattices and the Bianchy VII helix. We show that the hydrodynamic sound mode is removed from the spectrum due to the strong momentum relaxation and therefore, the usual treatment of the plasmon as Coulomb-dressed zero sound does not apply. Furthermore, the dominant coherent modes in the longitudinal channel, which control the neutral density-density correlator, are diffusive. We show these modes are strongly suppressed when the boundary Coulomb interaction is turned on. This renders the low frequency charge density response spectrum completely incoherent and featureless. At intermediate frequencies, we observe a broad feature -- the fake plasmon -- in the dressed correlator, which could be confused with an overdamped plasmon. However, its gap is set by the scale of translation symmetry breaking instead of the plasma frequency. This broad feature originates from the non-hydrodynamic sector of the holographic spectrum, and therefore, its behaviour, typical of strongly correlated quantum critical systems with holographic duals, deviates from the standard Fermi-liquid paradigm.


title: Data Smashing 2.0: Sequence Likelihood (SL) Divergence For Fast Time Series Comparison

abstract: Recognizing subtle historical patterns is central to modeling and forecasting problems in time series analysis. Here we introduce and develop a new approach to quantify deviations in the underlying hidden generators of observed data streams, resulting in a new efficiently computable universal metric for time series. The proposed metric is in the sense that we can compare and contrast data streams regardless of where and how they are generated and without any feature engineering step. The approach proposed in this paper is conceptually distinct from our previous work on data smashing, and vastly improves discrimination performance and computing speed. The core idea here is the generalization of the notion of KL divergence often used to compare probability distributions to a notion of divergence in time series. We call this the sequence likelihood (SL) divergence, which may be used to measure deviations within a well-defined class of discrete-valued stochastic processes. We devise efficient estimators of SL divergence from finite sample paths and subsequently formulate a universal metric useful for computing distance between time series produced by hidden stochastic generators.


title: Blow-up profiles in quasilinear fully parabolic Keller--Segel systems

abstract: We examine finite-time blow-up solutions $(u, v)$ to \begin{align} \label{prob:star} \tag{$\star$} \begin{cases} u_t = \nabla \cdot (D(u, v) \nabla u - S(u, v) \nabla v), v_t = \Delta v - v + u \end{cases} \end{align} in a ball $\Omega \subset \mathbb R^n$, $n \ge 2$, where $D$ and $S$ generalize the functions \begin{align*} D(u, v) = (u+1)^{m-1} \quad \text{and} \quad S(u, v) = u (u+1)^{q-1} \end{align*} with $m, q \in \mathbb R$. We show that if $m \gt \frac{n-2}{n}$ as well as $m-q \gt -\frac1n$ and $(u, v)$ is a nonnegative, radially symmetric classical solution to \eqref{prob:star} blowing up at $T_{\textrm{max}} \lt \infty$, then there exists a so-called blow-up profile $U \colon \Omega \setminus \{0\} \to [0, \infty)$ satisfying \begin{align*} u(\cdot, t) \to U \quad \text{in $C_{\textrm{loc}}^2(\bar \Omega \setminus \{0\})$ as $t \nearrow T_{\textrm{max}}$}. \end{align*} Moreover, for all $\alpha \gt n$ with \begin{align*} \alpha \gt \frac{n(n-1)}{(m-q)n + 1} \end{align*} we can find $C \gt 0$ such that \begin{align*} U(x) \le C |x|^{-\alpha} \end{align*} for all $x \in \Omega$.


title: Polarization and Centre-of-mass Energy Calibration at FCC-ee

abstract: The first stage of the FCC (Future Circular Collider) is a high-luminosity electron-positron collider (FCC-ee) with centre-of-mass energy ranging from 88 to 365 GeV, to study with high precision the Z, W, Higgs and top particles, with samples of $5 \times 10^{12}$ Z bosons, $10^8$ W pairs, $10^6$ Higgs bosons and $10^6$ top quark pairs. A cornerstone of the physics program lays in the precise (ppm) measurements of the W and Z masses and widths, as well as forward-backward asymmetries. To this effect the centre-of-mass energy distribution should be determined with the high precision. This document describes the capacity offered by FCC-ee, starting with transverse polarization of the beams around the Z pole and the W pair threshold. A running scheme based on regular measurements of the beam energy by resonant depolarization of pilot bunches, during physics data taking, is proposed. The design for polarization wigglers, polarimeter and depolarizer is outlined. The $e^\pm$ beam energies will be monitored with a relative precision of $10^{-6}$. The centre-of-mass energy is derived subject to further corrections, related to the beam acceleration, synchrotron radiation and beamstrahlung; these effects are identified and evaluated. Dimuon events $e^+e^- \to \mu^+ \mu^-$, recorded in the detectors, provide with great precision the beam crossing angle, the centre-of-mass energy spread, and the $e^+$ and $e^-$ energy difference. Monitoring methods to minimize absolute error and relative uncertainties are discussed. The impact on the physics measurements is given. A programme of further simulations, design, monitoring and R&D is outlined.


title: Probing the evolution of heavy-ion collisions using direct photon interferometry

abstract: We investigate the measurement of Hanbury Brown-Twiss (HBT) photon correlations as an experimental tool to discriminate different sources of photon enhancement, which are proposed to simultaneously reproduce the direct photon yield and the azimuthal anisotropy measured in nuclear collisions at RHIC and the LHC. To showcase this, we consider two different scenarios in which we enhance the yields from standard hydrodynamical simulations. In the first, additional photons are produced from the early pre-equilibrium stage computed from the \textit{bottom-up} thermalization scenario. In the second, the thermal rates are enhanced close to the pseudo-critical temperature $T_c\approx 155\,\text{MeV}$ using a phenomenological ansatz. We compute the correlators for relative momenta $q_o, \,q_s$ and $q_l$ for different transverse pair momenta, $K_\perp$, and find that the longitudinal correlation is the most sensitive to different photon sources. Our results also demonstrate that including anisotropic pre-equilibrium rates enhances non-Gaussianities in the correlators, which can be quantified using the kurtosis of the correlators. Finally, we study the feasibility of measuring a direct photon HBT signal in the upcoming high-luminosity LHC runs. Considering only statistical uncertainties, we find that with the projected $\sim 10^{10}$ heavy ion events a measurement of the HBT correlations for $K_\perp<1\, \text{GeV}$ is statistically significant.


title: Minimal Equivalence Relations in Hyperarithmetical and Analytical Hierarchies

abstract: A standard tool for classifying the complexity of equivalence relations on $\omega$ is provided by computable reducibility. This reducibility gives rise to a rich degree structure. The paper studies equivalence relations, which induce minimal degrees with respect to computable reducibility. Let $\Gamma$ be one of the following classes: $\Sigma^0_{\alpha}$, $\Pi^0_{\alpha}$, $\Sigma^1_n$, or $\Pi^1_n$, where $\alpha \geq 2$ is a computable ordinal and $n$ is a non-zero natural number. We prove that there are infinitely many pairwise incomparable minimal equivalence relations that are properly in $\Gamma$.


title: Direct measurement of the Kepler Space Telescope CCD's intra-pixel response function

abstract: Space missions designed for high precision photometric monitoring of stars often under-sample the point-spread function, with much of the light landing within a single pixel. Missions like MOST, Kepler, BRITE, and TESS, do this to avoid uncertainties due to pixel-to-pixel response nonuniformity. This approach has worked remarkably well. However, individual pixels also exhibit response nonuniformity. Typically, pixels are most sensitive near their centers and less sensitive near the edges, with a difference in response of as much as 50%. The exact shape of this fall-off, and its dependence on the wavelength of light, is the intra-pixel response function (IPRF). A direct measurement of the IPRF can be used to improve the photometric uncertainties, leading to improved photometry and astrometry of under-sampled systems. Using the spot-scan technique, we measured the IPRF of a flight spare e2v CCD90 imaging sensor, which is used in the Kepler focal plane. Our spot scanner generates spots with a full-width at half-maximum of $\lesssim$3 microns across the range of 400 nm - 850 nm. We find that Kepler's CCD shows similar IPRF behavior to other back-illuminated devices, with a decrease in responsivity near the edges of a pixel by $\sim$50%. The IPRF also depends on wavelength, exhibiting a large amount of diffusion at shorter wavelengths and becoming much more defined by the gate structure in the near-IR. This method can also be used to measure the IPRF of the CCDs used for TESS, which borrows much from the Kepler mission.


title: Range Adaptation for 3D Object Detection in LiDAR

abstract: LiDAR-based 3D object detection plays a crucial role in modern autonomous driving systems. LiDAR data often exhibit severe changes in properties across different observation ranges. In this paper, we explore cross-range adaptation for 3D object detection using LiDAR, i.e., far-range observations are adapted to near-range. This way, far-range detection is optimized for similar performance to near-range one. We adopt a bird-eyes view (BEV) detection framework to perform the proposed model adaptation. Our model adaptation consists of an adversarial global adaptation, and a fine-grained local adaptation. The proposed cross range adaptation framework is validated on three state-of-the-art LiDAR based object detection networks, and we consistently observe performance improvement on the far-range objects, without adding any auxiliary parameters to the model. To the best of our knowledge, this paper is the first attempt to study cross-range LiDAR adaptation for object detection in point clouds. To demonstrate the generality of the proposed adaptation framework, experiments on more challenging cross-device adaptation are further conducted, and a new LiDAR dataset with high-quality annotated point clouds is released to promote future research.


title: Calculation of the Green's function on near-term quantum computers

abstract: The Green's function plays a crucial role when studying the nature of quantum many-body systems, especially strongly-correlated systems. Although the development of quantum computers in the near future may enable us to compute energy spectra of classically-intractable systems, methods to simulate the Green's function with near-term quantum algorithms have not been proposed yet. Here, we propose two methods to calculate the Green's function of a given Hamiltonian on near-term quantum computers. The first one makes use of a variational dynamics simulation of quantum systems and computes the dynamics of the Green's function in real time directly. The second one utilizes the Lehmann representation of the Green's function and a method which calculates excited states of the Hamiltonian. Both methods require shallow quantum circuits and are compatible with near-term quantum computers. We numerically simulated the Green's function of the Fermi-Hubbard model and demonstrated the validity of our proposals.


title: Stability of rotating black holes in Einstein dilaton Gauss-Bonnet gravity

abstract: In order to perform model-dependent tests of general relativity with gravitational wave observations, we must have access to numerical relativity binary black hole waveforms in theories beyond general relativity (GR). In this study, we focus on order-reduced Einstein dilaton Gauss-Bonnet gravity (EDGB), a higher curvature beyond-GR theory with motivations in string theory. The stability of single, rotating black holes in EDGB is unknown, but is a necessary condition for being able to simulate binary black hole systems (especially the early-inspiral and late ringdown stages) in EDGB. We thus investigate the stability of rotating black holes in order-reduced EDGB. We evolve the leading-order EDGB scalar field and EDGB spacetime metric deformation on a rotating black hole background, for a variety of spins. We find that the EDGB metric deformation exhibits linear growth, but that this level of growth exponentially converges to zero with numerical resolution. Thus, we conclude that rotating black holes in EDGB are numerically stable to leading-order, thus satisfying our necessary condition for performing binary black hole simulations in EDGB.


title: Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations

abstract: Recent program synthesis techniques help users customize CAD models(e.g., for 3D printing) by decompiling low-level triangle meshes to Constructive Solid Geometry (CSG) expressions. Without loops or functions, editing CSG can require many coordinated changes, and existing mesh decompilers use heuristics that can obfuscate high-level structure. This paper proposes a second decompilation stage to robustly "shrink" unstructured CSG expressions into more editable programs with map and fold operators. We present Szalinski, a tool that uses Equality Saturation with semantics-preserving CAD rewrites to efficiently search for smaller equivalent programs. Szalinski relies on inverse transformations, a novel way for solvers to speculatively add equivalences to an E-graph. We qualitatively evaluate Szalinski in case studies, show how it composes with an existing mesh decompiler, and demonstrate that Szalinski can shrink large models in seconds.


title: Finite size and cut-off effects on the Roberge-Weiss transition in $N_\text{f}=2$ QCD with Staggered fermions

abstract: In the absence of a genuine solution to the sign problem, lattice studies at imaginary quark chemical potential are an important tool to constrain the QCD phase diagram. We calculate the values of the tricritical quark masses in the Roberge-Weiss plane, $\mu=\imath\pi T/3$, which separate mass regions with chiral and deconfinement phase transitions from the intermediate region, for QCD with $N_\text{f}=2$ unimproved staggered quarks on $N_\tau=6$ lattices. A quantitative measure for the quality of finite size scaling plots is developed, which significantly reduces the subjective judgement required for fitting. We observe that larger aspect ratios are necessary to unambiguously determine the order of the transition than at $\mu=0$. Comparing with previous results from $N_\tau=4$ we find a $\sim50$% reduction in the light tricritical pion mass. The heavy tricritical pion mass stays roughly the same, but is too heavy to be resolved on $N_\tau=6$ lattices and thus equally afflicted with cut-off effects. Further comparison with other discretizations suggests that current cut-off effects on the light critical masses are likely to be larger than $\sim100$%, implying a drastic shrinking of the chiral first-order region to possibly zero.


title: Decentralization Issues in Cell-free Massive MIMO Networks with Zero-Forcing Precoding

abstract: Cell-free massive MIMO (CF-M-MIMO) systems represent an evolution of the classical cellular architecture that has dominated the mobile landscape for decades. In CF-M-MIMO, a central processing unit (CPU) controls a multitude of access points (APs) that are irregularly scattered throughout the coverage area effectively becoming a fully distributed implementation of the M-MIMO technology. As such, it inherits many of the key properties that have made M-MIMO one of the physical layer pillars of 5G systems while opening the door to new features not available in M-MIMO. Among the latest is the possibility of performing the precoding at the CPU (centralized) or at the APs (distributed) with the former known to offer much better performance at the cost of having to collect all the relevant channel state information (CSI) at the CPU. Realistic deployments of cell-free systems are likely to require more than one CPU when the area to be covered is large, thus a critical issue that needs to be solved is how these multiple CPUs should be interconnected. This paper analyzes and proposes designs for different degrees of interconnectivity among the CPUs for the specific case of centralized zero-forcing precoding. Results show that a modest form of CPU interconnection can boost very significantly the max-min rate performance so prevalent in CF-M-MIMO architectures.


title: Harnessing Structures for Value-Based Planning and Reinforcement Learning

abstract: Value-based methods constitute a fundamental methodology in planning and deep reinforcement learning (RL). In this paper, we propose to exploit the underlying structures of the state-action value function, i.e., Q function, for both planning and deep RL. In particular, if the underlying system dynamics lead to some global structures of the Q function, one should be capable of inferring the function better by leveraging such structures. Specifically, we investigate the low-rank structure, which widely exists for big data matrices. We verify empirically the existence of low-rank Q functions in the context of control and deep RL tasks. As our key contribution, by leveraging Matrix Estimation (ME) techniques, we propose a general framework to exploit the underlying low-rank structure in Q functions. This leads to a more efficient planning procedure for classical control, and additionally, a simple scheme that can be applied to any value-based RL techniques to consistently achieve better performance on "low-rank" tasks. Extensive experiments on control tasks and Atari games confirm the efficacy of our approach. Code is available at https://github.com/YyzHarry/SV-RL.


title: Circuit equivalence in 2-nilpotent algebras

abstract: The circuit equivalence problem of a finite algebra $\mathbf A$ is the computational problem of deciding whether two circuits over $\mathbf A$ define the same function or not. This problem not just generalises the equivalence problem for Boolean circuits, but is also of high interest in universal algebra, as it models the problems of checking identities in $\mathbf A$. In this paper we discuss the complexity for algebras from congruence modular varieties. A partial classification was already given by Idziak and Krzaczkowski, leaving essentially only a gap for nilpotent but not supernilpotent algebras. We start a systematic study of this open case, proving that the circuit equivalence problem is in P for $2$-nilpotent such algebras.


title: Gluon polarization measurements from longitudinally polarized proton-proton collisions at STAR

abstract: The gluon polarization contribution to the proton spin is an integral part to solve the longstanding proton spin puzzle. At the Relativistic Heavy Ion Collider (RHIC), the STAR experiment has measured jets produced in mid-pseudo-rapidity, $|\eta| < $ 1.0, and full azimuth, $\phi$, from longitudinally polarized $pp$ collisions to study the gluon polarization in the proton. At center of mass energies $\sqrt{s} =$ 200 and 510 GeV, jet production is dominated by hard QCD scattering processes such as gluon-gluon ($gg$) and quark-gluon ($qg$), thus making the longitudinal double-spin asymmetry ($A_{LL}$) sensitive to the gluon polarization. Early STAR inclusive jet $A_{LL}$ results at $\sqrt{s} = $ 200 GeV provided the first evidence of the non-zero gluon polarization at momentum fraction $x > $ 0.05. The higher center of mass energy $\sqrt{s} = 510$ GeV allows to explore the gluon polarization as low as $x \sim$ 0.015. In this talk we will present the recent STAR inclusive jet and dijet $A_{LL}$ results at $\sqrt{s} = 510$ GeV, and discuss the relevant new analysis techniques for the estimation of trigger bias and reconstruction uncertainty, the underlying event correction on the jet energy and its effect on jet $A_{LL}$. Dijet results are shown for different topologies in regions of pseudo-rapidity, effectively scanning the $x$-dependence of the gluon polarization.


title: Magnetically-driven jets and winds from weakly magnetized accretion disks

abstract: Semi-analytical models of disk outflows have successfully described magnetically-driven, self-confined super-Alfv\'enic jets from near Keplerian accretion disks. These Jet Emitting Disks are possible for high levels of disk magnetization $\mu$ defined as $\mu=2/\beta$ where beta is the usual plasma parameter. In near-equipartition JEDs, accretion is supersonic and jets carry away most of the disk angular momentum. However, these solutions prove difficult to compare with cutting edge numerical simulations, for the reason that numerical simulations show wind-like outflows but in the domain of small magnetization. In this work, we present for the first time self-similar isothermal solutions for accretion-ejection structures at small magnetization levels. We elucidate the role of MRI-like structures in the acceleration processes that drive this new class of solutions. The disk magnetization $\mu$ is the main control parameter: massive outflows driven by the pressure of the toroidal magnetic field are obtained up to $\mu \sim 10^{-2}$, while more tenuous centrifugally-driven outflows are obtained at larger $\mu$ values. The generalized parameter space and the astrophysical consequences are discussed. We believe that these new solutions could be a stepping stone in understanding the way astrophysical disks drive either winds or jets. Defining jets as self-confined outflows and winds as uncollimated outflows, we propose a simple analytical criterion based on the initial energy content of the outflow, to discriminate jets from winds. We show that jet solution are achieved at all magnetization level, while winds could be obtained only in weakly magnetized disks that feature heating.


title: Inclusive Jet Measurements in Longitudinally Polarized proton-proton Collisions at STAR

abstract: Jet production in high energy proton-proton ($p+p$) collisions is dominated by hard QCD subprocesses such as gluon-gluon and quark-gluon scatterings. Therefore $p+p$ is an effective tool to probe the internal distribution of gluons in the proton. The STAR Collaboration at the Relativistic Heavy Ion Collider (RHIC) is using longitudinally polarized $p+p$ collisions at the center of mass energies, $\sqrt{s} = $ 200 and 510 GeV, to study the cross-section and double spin asymmetries, $A_{LL}$, of inclusive jet and di-jet production. The measurements at $\sqrt{s} = $ 200 GeV showed that the jet cross-sections are well described by the next-to-leading-order perturbative QCD calculations after underlying event and hadronization corrections. The previous 2009 $\sqrt{s} = $ 200 GeV inclusive jet asymmetry $A_{LL}$ measurement at pseudo-rapidity $|\eta| < $ 1.0 showed the first experimental evidence of a non-zero gluon polarization for partonic momentum fraction, $x > 0.05$. The inclusive jet $A_{LL}$ measurement at $\sqrt{s} = $ 510 GeV allows to explore the gluon polarization to smaller $x \sim 0.02$. The 2012 inclusive jet $A_{LL}$ and cross-section measurements at $\sqrt{s} =$ 510 GeV, the techniques used in the jet analysis including underlying event correction, and future perspectives related to jet measurements at STAR will be presented.


title: Existence results for a super-Liouville equation on compact surfaces

abstract: We are concerned with a super-Liouville equation on compact surfaces with genus larger than one, obtaining the first non-trivial existence result for this class of problems via min-max methods. In particular we make use of a Nehari manifold and, after showing the validity of the Palais-Smale condition, we exhibit either a mountain pass or linking geometry.


title: Catching a glimpse of the parton structure of the bound proton

abstract: A new generation of experiments is expected to shed light on the elusive parton structure of the bound proton. One of the most promising directions is incoherent deeply virtual Compton scattering, which can provide a tomographic view of the bound proton. The first measurement has been recently performed, using $^4$He targets at Jefferson Lab. In the work presented here, a rigorous Impulse Approximation analysis of this process is proposed. As ingredients, state-of-the-art models of the nuclear spectral function and of the parton structure of the struck proton, together with novel scattering amplitudes expressions for a bound moving nucleon, have been used. A good overall agreement with the data is obtained, in particular at high values of the photon virtuality. The observed big difference between results for the bound proton and those for the free one turns out to be due in small part to modifications of the parton structure, and rather it should be related to kinematical nuclear effects. The analysis demonstrates that the comparison of the results of this approach, based on a conventional description, with future precise data, has the potential to expose exotic quark and gluon effects in nuclei.


title: Exercising with an "Iron Man": Design for a Robot Exercise Coach for Persons with Dementia

abstract: Socially assistive robots are increasingly being designed to interact with humans in various therapeutical scenarios. We believe that one useful scenario is providing exercise coaching for Persons with Dementia (PwD), which involves unique challenges related to memory and communication. We present a design for a robot that can seek to help a PWD to conduct exercises by recognizing behaviors and providing feedback, in an online, multimodal, and engaging way. Additionally, in line with a mid-fidelity prototyping approach, we report on some feedback from an exploratory user study using a Baxter robot, which provided some confirmation of the usefulness of the general scenario; furthermore, the results suggested the degree of a robot's feedback could be tailored to provide impressions of attentiveness or fun. Limitations and possibilities for future improvement are outlined, touching on deep learning and haptic feedback, toward informing next designs.


title: On quaternionic unitary Rapoport-Zink spaces with parahoric level structures

abstract: In this article, we describe the underlying reduced scheme of a quaternionic unitary Rapoport-Zink space with Iwahori level structure. In a previous work, we have studied the quaternionic unitary Rapoport-Zink space with a special maximal parahoric level structure. We will describe the morphism between these two Rapoport-Zink spaces and the fiber of this morphism. As an application of this result, we describe the the quaternionic unitary Rapoport-Zink space with any parahoric level structure.


title: Quantum Graph Neural Networks

abstract: We introduce Quantum Graph Neural Networks (QGNN), a new class of quantum neural network ansatze which are tailored to represent quantum processes which have a graph structure, and are particularly suitable to be executed on distributed quantum systems over a quantum network. Along with this general class of ansatze, we introduce further specialized architectures, namely, Quantum Graph Recurrent Neural Networks (QGRNN) and Quantum Graph Convolutional Neural Networks (QGCNN). We provide four example applications of QGNNs: learning Hamiltonian dynamics of quantum systems, learning how to create multipartite entanglement in a quantum network, unsupervised learning for spectral clustering, and supervised learning for graph isomorphism classification.


title: Compact manifolds of dimension $n\geq 12$ with positive isotropic curvature

abstract: We prove the following result: Let $(M,g_0)$ be a compact manifold of dimension $n\geq 12$ with positive isotropic curvature. Then $M$ is diffeomorphic to a spherical space form, or the total space of an orbifiber bundle over $\mathbb{S}^1$ or $\mathcal{I}$ with generic fiber diffeomorphic to $\mathbb{S}^{n-1}/\Gamma$ such that the total space admits a metric with positive isotropic curvature, where $\Gamma$ is a finite subgroup of $O(n)$ acting freely on $\mathbb{S}^{n-1}$, and $\mathcal{I}$ is the one dimensional closed orbifold with two singular points both with local group $\mathbb{Z}_2$ and with $|\mathcal{I}|$ a closed interval, or a connected sum of a finite number of such manifolds. This extends a recent work of Brendle, and implies a conjecture of Schoen and a conjecture of Gromov in dimensions $n\geq 12$. The proof uses Ricci flow with surgery on compact orbifolds with isolated singularities.


title: Explicit special covers of alternating links

abstract: Given a prime, alternating link diagram, we build a special cover of the link complement whose degree is bounded by a factorial function of the crossing number. It follows that a subgroup of the link group of that index embeds into right-angled Artin and Coxeter groups. Corollaries of this result include a quantification of residual finiteness, control of the growth of Betti numbers in covers, and an explicit bound on the rank of a Z-module on which the link group acts faithfully.


title: A detailed electronic structure study of Vanadium metal by using different beyond-DFT methods

abstract: We report a detailed electronic structure calculation for Vanadium (V) using DFT, DFT+$U$, $G_0W_0$, $GW_0$ and DFT+DMFT methods. The calculated values of $W$, $U$ and $J$ by cRPA method are $\sim$1.1, $\sim$3.4 and $\sim$0.52 eV, respectively. The comparison between calculated spectra (CS) and experimental spectra (ES) suggests that $W$ ($U$) is more accurate for DFT+$U$ (DFT+DMFT) method. The CS, obtained by these methods, give fairly good agreement with ES for peaks' positions except $GW_0$. The shallowness of the dips lying $\sim$ -1.5 eV and $\sim$1.0 eV in ES are properly explained by DFT+DMFT method only, due to the presence of incoherent $t_{2g}$ states. This work suggests that for the proper explanation of ES, sophisticated many-body theory is needed even for the simple metal.


title: Relationship Explainable Multi-objective Reinforcement Learning with Semantic Explainability Generation

abstract: Solving multi-objective optimization problems is important in various applications where users are interested in obtaining optimal policies subject to multiple, yet often conflicting objectives. A typical approach to obtain optimal policies is to first construct a loss function that is based on the scalarization of individual objectives, and then find the optimal policy that minimizes the loss. However, optimizing the scalarized (and weighted) loss does not necessarily provide guarantee of high performance on each possibly conflicting objective because it is challenging to assign the right weights without knowing the relationship among these objectives. Moreover, the effectiveness of these gradient descent algorithms is limited by the agent's ability to explain their decisions and actions to human users. The purpose of this study is two-fold. First, we propose a vector value function based multi-objective reinforcement learning (V2f-MORL) approach that seeks to quantify the inter-objective relationship via reinforcement learning (RL) when the impact of one objective on others is unknown a prior. In particular, we construct one actor and multiple critics that can co-learn the policy and inter-objective relationship matrix (IORM), quantifying the impact of objectives on each other, in an iterative way. Second, we provide a semantic representation that can uncover the trade-off of decision policies made by users to reconcile conflicting objectives based on the proposed V2f-MORL approach for the explainability of the generated behaviors subject to given optimization objectives. We demonstrate the effectiveness of the proposed approach via a MuJoCo based robotics case study.


title: Anderson localization of light in dimension $d-1$

abstract: Localization of electromagnetic waves in disordered potentials is prevented by polarization terms, so only light scattering systems of dimensions $d=1$ and $2$ with scalar properties exhibit light localization. We here show that this result breaks down due to the existence of surface modes, which possess lower-dimensional scattering properties. In particular, vectorial waves in $3D$ ($2D$) presents surface localized modes with scaling consistent with localization $2D$ ($1D$)


title: Unusual Valence State in the Antiperovskites Sr$_3$SnO and Sr$_3$PbO Revealed by X-ray Photoelectron Spectroscopy

abstract: The class of antiperovskite compounds $A_3B$O ($A$ = Ca, Sr, Ba; $B$ = Sn, Pb) has attracted interest as a candidate 3D Dirac system with topological surface states protected by crystal symmetry. A key factor underlying the rich electronic structure of $A_3B$O is the unusual valence state of $B$, i.e., a formal oxidation state of $-4$. Practically, it is not obvious whether anionic $B$ can be stabilized in thin films, due to its unusual chemistry, as well as the polar surface of $A_3B$O, which may render the growth-front surface unstable. We report X-ray photoelectron spectroscopy (XPS) measurements of single-crystalline films of Sr$_3$SnO and Sr$_3$PbO grown by molecular beam epitaxy (MBE). We observe shifts in the core-level binding energies that originate from anionic Sn and Pb, consistent with density functional theory (DFT) calculations. Near the surface, we observe additional signatures of neutral or cationic Sn and Pb, which may point to an electronic or atomic reconstruction with possible impact on putative topological surface states.


title: RLBench: The Robot Learning Benchmark & Learning Environment

abstract: We present a challenging new benchmark and learning-environment for robot learning: RLBench. The benchmark features 100 completely unique, hand-designed tasks ranging in difficulty, from simple target reaching and door opening, to longer multi-stage tasks, such as opening an oven and placing a tray in it. We provide an array of both proprioceptive observations and visual observations, which include rgb, depth, and segmentation masks from an over-the-shoulder stereo camera and an eye-in-hand monocular camera. Uniquely, each task comes with an infinite supply of demos through the use of motion planners operating on a series of waypoints given during task creation time; enabling an exciting flurry of demonstration-based learning. RLBench has been designed with scalability in mind; new tasks, along with their motion-planned demos, can be easily created and then verified by a series of tools, allowing users to submit their own tasks to the RLBench task repository. This large-scale benchmark aims to accelerate progress in a number of vision-guided manipulation research areas, including: reinforcement learning, imitation learning, multi-task learning, geometric computer vision, and in particular, few-shot learning. With the benchmark's breadth of tasks and demonstrations, we propose the first large-scale few-shot challenge in robotics. We hope that the scale and diversity of RLBench offers unparalleled research opportunities in the robot learning community and beyond.