title: Hamiltonian Deep Neural Networks Guaranteeing Non-vanishing Gradients by Design

abstract: Deep Neural Networks (DNNs) training can be difficult due to vanishing and exploding gradients during weight optimization through backpropagation. To address this problem, we propose a general class of Hamiltonian DNNs (H-DNNs) that stem from the discretization of continuous-time Hamiltonian systems and include several existing DNN architectures based on ordinary differential equations. Our main result is that a broad set of H-DNNs ensures non-vanishing gradients by design for an arbitrary network depth. This is obtained by proving that, using a semi-implicit Euler discretization scheme, the backward sensitivity matrices involved in gradient computations are symplectic. We also provide an upper-bound to the magnitude of sensitivity matrices and show that exploding gradients can be controlled through regularization. Finally, we enable distributed implementations of backward and forward propagation algorithms in H-DNNs by characterizing appropriate sparsity constraints on the weight matrices. The good performance of H-DNNs is demonstrated on benchmark classification problems, including image classification with the MNIST dataset.


title: Tensor numerical method for optimal control problems constrained by an elliptic operator with general rank-structured coefficients

abstract: We introduce tensor numerical techniques for solving optimal control problems constrained by elliptic operators in $\mathbb{R}^d$, $d=2,3$, with variable coefficients, which can be represented in a low rank separable form. We construct a preconditioned iterative method with an adaptive rank truncation for solving the equation for the control function, governed by a sum of the elliptic operator and its inverse $M=A + A^{-1}$, both discretized over large $n^{\otimes d}$, $d=2,3$, spatial grids. Two basic solution schemes are proposed and analyzed. In the first approach, one solves iteratively the initial linear system of equations with the matrix $M$ such that the matrix vector multiplication with the elliptic operator inverse, $y=A^{-1} u,$ is performed as an embedded iteration by using a rank-structured solver for the equation of the form $A y=u$. The second numerical scheme avoids the embedded iteration by reducing the initial equation to an equivalent one with the polynomial system matrix of the form $A^2 +I$. For both schemes, a low Kronecker rank spectrally equivalent preconditioner is constructed by using the corresponding matrix valued function of the anisotropic Laplacian diagonalized in the Fourier basis. Numerical tests for control problems in 2D setting confirm the linear-quadratic complexity scaling of the proposed method in the univariate grid size $n$. Further, we numerically demonstrate that for our low rank solution method, a cascadic multigrid approach reduces the number of PCG iterations considerably, however the total CPU time remains merely the same as for the unigrid iteration.


title: Galois module structure of square power classes for biquadratic extensions

abstract: For a Galois extension $K/F$ with $\text{char}(K)\neq 2$ and $\text{Gal}(K/F) \simeq \mathbb{Z}/2\mathbb{Z}\oplus\mathbb{Z}/2\mathbb{Z}$, we determine the $\mathbb{F}_2[\text{Gal}(K/F)]$-module structure of $K^\times/K^{\times 2}$. Although there are an infinite number of (pairwise non-isomorphic) indecomposable $\mathbb{F}_2[\mathbb{Z}/2\mathbb{Z}\oplus\mathbb{Z}/2\mathbb{Z}]$-modules, our decomposition includes at most $9$ indecomposable types. This paper marks the first time that the Galois module structure of power classes of a field has been fully determined when the modular representation theory allows for an infinite number of indecomposable types.


title: Higher order curvature corrections and holographic renormalization group flow

abstract: We study the holographic renormalization group (RG) flow in the presence of higher-order curvature corrections to the $(d+1)$-dimensional Einstein-Hilbert (EH) action for an arbitrary interacting scalar matter field by using the superpotential approach. We find the critical points of the RG flow near the local minima and maxima of the potential and show the existence of the bounce solutions. In contrast to the EH gravity, regarding the values of couplings of the bulk theory, superpotential may have both upper and lower bounds. Moreover, the behavior of the RG flow controls by singular curves. This study may shed some light on how a c-function can exist in the presence of these corrections.


title: The Low Polonium Field of Borexino and its significance for the CNO neutrino detection

abstract: Borexino is a liquid scintillator detector located at the Laboratori Nazionale del Gran Sasso, Italy with the main goal to measure solar neutrinos. The experiment recently provided the first direct experimental evidence of CNO-cycle neutrinos in the Sun, rejecting the no-CNO signal hypothesis with a significance greater than 5$\sigma$ at 99\%C.L. The intrinsic $^{210}$Bi is an important background for this analysis due to its similar spectral shape to that of CNO neutrinos. $^{210}$Bi can be measured through its daughter $^{210}$Po which can be distinguished through an event-by-event basis via pulse shape discrimination. However, this required reducing the convective motions in the scintillator that brought additional $^{210}$Po from peripheral sources. This was made possible through the thermal insulation and stabilization campaign performed between 2015 and 2016. This article will explain the strategy and the different methods performed to extract the $^{210}$Bi upper limit in Phase-III (Jul 2016- Feb 2020) of the experiment through the analysis of $^{210}$Po in the cleanest region of the detector called the Low Polonium Field.


title: The $P$-wave charmonium annihilation into two photons $\chi_{c0, c2}\rightarrow \gamma\gamma$ with high-order QCD corrections

abstract: In this paper, we present a new analysis on the $P$-wave charmonium annihilation into two photons up to next-to-next-to-leading order (NNLO) QCD corrections by using the principle of maximum conformality (PMC). The conventional perturbative QCD prediction shows strong scale dependence and deviates largely from the BESIII measurements. After applying the PMC, we obtain a more precise scale-invariant pQCD prediction, which also agrees with the BESIII measurements within errors, i.e. $R={\Gamma_{\gamma\gamma}(\chi_{c2})} /{\Gamma_{\gamma\gamma}(\chi_{c0})}=0.246\pm0.013$, where the error is for $\Delta\alpha_s(M_\tau)=\pm0.016$. By further considering the color-octet contributions, even the central value can be in agreement with the data. This shows the importance of a correct scale-setting approach. We also give a prediction for the ratio involving $\chi_{b0, b2} \to\gamma\gamma$, which could be tested in future Belle II experiment.


title: Some geometric inequalities for varifolds on Riemannian manifolds based on monotonicity identities

abstract: Using Rauch's comparison theorem, we prove several monotonicity inequalities for Riemannian submanifolds. Our main result is a general Li-Yau inequality which is applicable in any Riemannian manifold whose sectional curvature is bounded above (possibly positive). We show that the monotonicity inequalities can also be used to obtain Simon type diameter bounds, Sobolev inequalities and corresponding isoperimetric inequalities for Riemannian submanifolds with small volume. Moreover, we infer lower diameter bounds for closed minimal submanifolds as corollaries. All the statements are intrinsic in the sense that no embedding of the ambient Riemannian manifold into Euclidean space is needed. Apart from Rauch's comparison theorem, the proofs mainly rely on the first variation formula, thus are valid for general varifolds.


title: Neutron star asteroseismology and nuclear saturation parameter

abstract: Adopting various unified equations of state (EOSs), we examine the quasinormal modes of gravitational waves from cold neutron stars. We focus on the fundamental ($f$-), 1st pressure ($p_1$-), and 1st spacetime ($w_1$-) modes, and derive the empirical formulae for the frequencies and damping rate of those modes. With the resultant empirical formulae, we find that the value of $\eta$, which is a specific combination of the nuclear saturation parameters, can be estimated within $\sim 30 \%$ accuracy, if the $f$-mode frequency from the neutron star whose mass is known would be observed or if the $f$- and $p_1$-mode frequencies would be simultaneously observed, even though this estimation is applicable only for the low-mass neutron stars. Additionally, we find that the mass and radius of canonical neutron stars can be estimated within a few per cent accuracy via the simultaneous observations of the $f$- and $w_1$-mode frequencies. We also find that, if the $f$-, $p_1$-, and $w_1$-mode frequencies would be simultaneously observed, the mass of canonical neutron stars can be estimated within $2\%$ accuracy, while the radius can be estimated within $1\%$ for the neutron star with $M\ge 1.6M_\odot$ or within $0.6\%$ for the neutron star with $M\ge 1.4M_\odot$ constructed with the EOS constrained via the GW170817 event. Furthermore, we find the strong correlation between the maximum $f$-mode frequency and the neutron star radius with the maximum mass, between the minimum $w_1$-mode frequency and the maximum mass, and between the minimum damping rate of the $w_1$-mode and the stellar compactness for the neutron star with the maximum mass.


title: Fully Coupled Nonlocal Quasilinear Forward-Backward Parabolic Equations Arising from Mean Field Games

abstract: In this paper, we study fully coupled nonlocal second order quasilinear forward-backward partial differential equations (FBPDEs), which arise from solution of the mean field game (MFG) suggested by Lasry and Lions [Japan. J. Math. 2 (2007), p. 237 (Remark iv)]. We show the existence of solutions $(u,m)\in C^{1+\frac{1}{4},2+\frac{1}{2}}([0,T]\times\mathbb{R}^n)\times C^{\frac{1}{2}}([0,T],\mathcal{P}_1(\mathbb{R}^n))$, and also the uniqueness under an additional monotonicity condition. Then, we improve the regularity of our weak solution $m$ to get a classical solution under appropriate regularity assumptions on coefficients. The FBPDEs can be used to investigate a system of mean field equations (MFEs), where the backward one is a Hamilton-Jacobi-Bellman equation and the forward one is a Fokker-Planck equation. Moreover, we prove a verification theorem and give an optimal strategy of the associated MFG via the solution of MFEs. Finally, we address the linear-quadratic problems.


title: $W\gamma$ production at NNLO+PS accuracy in GENEVA

abstract: We present an event generator for the process $pp\to \ell\nu_\ell\gamma$ at next-to-next-to-leading order (NNLO) in QCD and matched to the PYTHIA8 parton shower. The calculation makes use of the GENEVA framework, which combines a resummed calculation obtained via Soft-Collinear Effective Theory (SCET) with the fixed-order result. We validate the NNLO accuracy of our results by comparing predictions for inclusive quantities with an independent fixed-order calculation, and then present the resummed 0-jettiness spectrum at next-to-next-to-leading logarithmic (NNLL$'$) accuracy. Finally, we compare our predictions against data collected by the ATLAS experiment at the Large Hadron Collider during its 7 TeV run, finding good agreement.


title: On the spatial extent of localized eigenfunctions for random Schr\"odinger operators

abstract: The present paper is devoted to new, improved bounds for the eigenfunctions of random operators in the localized regime. We prove that, in the localized regime with good probability, each eigenfunction is exponentially decaying outside a ball of a certain radius, which we call the "localization onset length". For $\ell>0$ large, we count the number of eigenfunctions having onset length larger than $\ell$ and find it to be smaller than $\exp(-C\ell)$ times the total number of eigenfunctions in the system. Thus, most eigenfunctions localize on finite size balls independent of the system size.


title: Galois module structure of the units modulo $p^m$ of cyclic extensions of degree $p^n$

abstract: Let $p$ be prime, and $n,m \in \mathbb{N}$. When $K/F$ is a cyclic extension of degree $p^n$, we determine the $\mathbb{Z}/p^m\mathbb{Z}[\text{Gal}(K/F)]$-module structure of $K^\times/K^{\times p^m}$. With at most one exception, each indecomposable summand is cyclic and free over some quotient group of $\text{Gal}(K/F)$. For fixed values of $m$ and $n$, there are only finitely many possible isomorphism classes for the non-free indecomposable summand. These Galois modules act as parameterizing spaces for solutions to certain inverse Galois problems, and therefore this module computation provides insight into the structure of absolute Galois groups. More immediately, however, these results show that Galois cohomology is a context in which seemingly difficult module decompositions can practically be achieved: when $m,n>1$ the modular representation theory allows for an infinite number of indecomposable summands (with no known classification of indecomposable types), and yet the main result of this paper provides a complete decomposition over an infinite family of modules.


title: Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations

abstract: We present a detailed study of roundoff errors in probabilistic floating-point computations. We derive closed-form expressions for the distribution of roundoff errors associated with a random variable, and we prove that roundoff errors are generally close to being uncorrelated with their generating distribution. Based on these theoretical advances, we propose a model of IEEE floating-point arithmetic for numerical expressions with probabilistic inputs and an algorithm for evaluating this model. Our algorithm provides rigorous bounds to the output and error distributions of arithmetic expressions over random variables, evaluated in the presence of roundoff errors. It keeps track of complex dependencies between random variables using an SMT solver, and is capable of providing sound but tight probabilistic bounds to roundoff errors using symbolic affine arithmetic. We implemented the algorithm in the PAF tool, and evaluated it on FPBench, a standard benchmark suite for the analysis of roundoff errors. Our evaluation shows that PAF computes tighter bounds than current state-of-the-art on almost all benchmarks.


title: Pattern Transfer Learning for Reinforcement Learning in Order Dispatching

abstract: Order dispatch is one of the central problems to ride-sharing platforms. Recently, value-based reinforcement learning algorithms have shown promising performance on this problem. However, in real-world applications, the non-stationarity of the demand-supply system poses challenges to re-utilizing data generated in different time periods to learn the value function. In this work, motivated by the fact that the relative relationship between the values of some states is largely stable across various environments, we propose a pattern transfer learning framework for value-based reinforcement learning in the order dispatch problem. Our method efficiently captures the value patterns by incorporating a concordance penalty. The superior performance of the proposed method is supported by experiments.


title: Quantum theory of longitudinal-transverse polaritons in nonlocal thin films

abstract: When mid-infrared light interacts with nanoscale polar dielectric structures optical phonon propagation cannot be ignored, leading to a rich nonlocal phenomenology which we have only recently started to uncover. In properly crafted nanodevices this includes the creation of polaritonic excitations with hybrid longitudinal-transverse nature, which are predicted to allow energy funnelling from longitudinal electrical currents to far-field transverse radiation. In this work we study the physics of these longitudinal-transverse polaritons in a dielectric nanolayer in which the nonlocality strongly couples epsilon-near-zero modes to longitudinal phonons. After having calculated the system's spectrum solving Maxwell's equations, we develop an analytical polaritonic theory able to transparently quantify the nonlocality-mediated coupling as a function of the system parameters. Such a theory provides a powerful tool for the study of longitudinal-transverse polariton interactions and we use it to determine the conditions required for the hybrid modes to appear.


title: Evaluation of concept drift adaptation for acoustic scene classifier based on Kernel Density Drift Detection and Combine Merge Gaussian Mixture Model

abstract: Based on the experimental results, all concepts drift types have their respective hyperparameter configurations. Simple and gradual concept drift have similar pattern which requires a smaller {\alpha} value than recurring concept drift because, in this type of drift, a new concept appear continuously, so it needs a high-frequency model adaptation. However, in recurring concepts, the new concept may repeat in the future, so the lower frequency adaptation is better. Furthermore, high-frequency model adaptation could lead to an overfitting problem. Implementing CMGMM component pruning mechanism help to control the number of the active component and improve model performance.


title: Arithmetic properties encoded in the Galois module structure of $K^\times/K^{\times p^m}$

abstract: The power classes of a field are well-known for their ability to parameterize elementary $p$-abelian Galois extensions. These classical objects have recently been reexamined through the lens of their Galois module structure. Module decompositions have been computed in several cases, providing deep new insight into absolute Galois groups. The surprising result in each case is that there are far fewer isomorphism types of indecomposables than one would expect generically, with summands predominately free over associated quotient rings. Though non-free summands are the exception both in their form and prevalence, they play the critical role in controlling arithmetic conditions in the field which allow the rest of the decomposition to be so simple. Suppose $m,n \in \mathbb{N}$ and $p$ is prime. In a recent paper, a surprising and elegant decomposition for $p^m$th power classes has been computed when the underlying Galois group is a cyclic group of order $p^n$. As with previous module decompositions, at most one non-free summand appears. Outside of a particular special case when $p=2$, the structure of this exceptional summand was determined by a vector $\mathbf{a}\in \{-\infty,0,\dots,n\}^m$ and a natural number $d$. In this paper we give field-theoretic interpretations for $\mathbf{a}$ and $d$, showing they are related to the solvability of a family of Galois embedding problems and the cyclotomic character associated to $K/F$.


title: Robust Weyl Semimetal and Pressure-induced Superconductivity in Quasi-One-Dimensional (NbSe4)2I

abstract: A search for the single material system that simultaneously exhibits topological phase and intrinsic superconductivity has been largely limited, although such a system is far more favorable especially for the quantum device applications. Except artificially engineered topological superconductivity in heterostructure systems, another alternative is to have superconductivity arising from the topological materials by pressure or other clean technology. Here, based on first-principles calculations, we first show that quasi-one-dimensional compound (NbSe4)2I represents a rare example of a chiral Weyl semimetal in which the set of symmetry-related Weyl points (WPs) exhibit the same chiral charge at a certain energy. The net chiral charge (NCC) of the below Fermi level EF (or a certain energy) can be tuned by pressure. In addition, a partial disorder induced by pressure accompanied with superconductivity emerges. Although amorphization of the iodine sub-lattice under high pressure, the one-dimensional NbSe4 chains in (NbSe4)2I remain intact and provide a superconducting channel in one dimension. Our combined theoretical and experimental research provide critical insight into a new phase of the one-dimensional system, in which distinctive phase transitions and correlated topological states emerge upon compression.


title: Photometric redshift estimation of galaxies in the P\lowercase{an}-STARRS 3$\pi$ survey- I. Methodology

abstract: We present a photometric redshift (photo-$z$) estimation technique for galaxies in the P\lowercase{an}-STARRS1 (PS1) $3\pi $ survey. Specifically, we train and test a regression and a classification Random-Forest (RF) models using photometric features (magnitudes, colors and moments of the radiation intensity) from the optical PS1 data release 2 (PS1-DR2) and from the AllWISE/unWISE infrared source catalogs. The classification RF model ($RF_{clas}$) has better performance in the local universe ($z\lesssim 0.1$), while the second one ($RF_{reg}$) is on average better for $0.1 \lesssim z\lesssim1$. We adopt as labels the spectroscopic redshift of the galaxies from the Sloan Digital Sky Survey (SDSS) data release 16 (SDSS-DR16). We find that the combination of AllWISE/unWISE and PS1-DR2 features leads to an average bias of $\overline{\Delta z_{norm}}=1\times 10^{-3}$, a standard deviation $\sigma(\Delta z_{norm})=0.0225$, (where $\Delta z_{norm} \equiv (z_{phot}-z_{spec})/(1+z_{spec})$), and an outlier rate of $P_0=1.48 \%$ in the test set for the $RF_{clas}$ model. In the low-redshift Universe ($z<0.1$) that is of primary interest to many astronomical transient studies, our model produces an error estimate on the inferred magnitude of an object of $\le$1 mag in 87\% of the test sample.


title: High Tension Lines: Predicting robustness of high-voltage power-grids to cascading failure using network embedding

abstract: This paper explores whether graph embedding methods can be used as a tool for analysing the robustness of power-grids within the framework of network science. The paper focuses on the strain elevation tension spring embedding (SETSe) algorithm and compares it to node2vec and Deep Graph Infomax, and the measures mean edge capacity and line load. These five methods are tested on how well they can predict the collapse point of the giant component of a network under random attack. The analysis uses seven power-grid networks, ranging from 14 to 2000 nodes. In total, 3456 load profiles are created for each network by loading the edges of the network to have a range of tolerances and concentrating network capacity into fewer edges. One hundred random attack sequences are generated for each load profile, and the mean number of attacks required for the giant component to collapse for each profile is recorded. The relationship between the embedding values for each load profile and the mean collapse point is then compared across all five methods. It is found that only SETSe and line load perform well as proxies for robustness with $R^2 = 0.89$ for both measures. When tested on a time series normal operating conditions line load performs exceptionally well ($R=0.99$). However, the SETSe algorithm provides valuable qualitative insight into the state of the power-grid by leveraging its method local smoothing and global weighting of node features to provide an interpretable geographical embedding. This paper shows that graph representation algorithms can be used to analyse network properties such as robustness to cascading failure attacks, even when the network is embedded at node level.


title: Neural Entity Recognition with Gazetteer based Fusion

abstract: Incorporating external knowledge into Named Entity Recognition (NER) systems has been widely studied in the generic domain. In this paper, we focus on clinical domain where only limited data is accessible and interpretability is important. Recent advancement in technology and the acceleration of clinical trials has resulted in the discovery of new drugs, procedures as well as medical conditions. These factors motivate towards building robust zero-shot NER systems which can quickly adapt to new medical terminology. We propose an auxiliary gazetteer model and fuse it with an NER system, which results in better robustness and interpretability across different clinical datasets. Our gazetteer based fusion model is data efficient, achieving +1.7 micro-F1 gains on the i2b2 dataset using 20% training data, and brings + 4.7 micro-F1 gains on novel entity mentions never presented during training. Moreover, our fusion model is able to quickly adapt to new mentions in gazetteers without re-training and the gains from the proposed fusion model are transferable to related datasets.


title: Protein folding simulations in the hydrophobic-polar model using a hybrid cuckoo search algorithm

abstract: A protein is a linear chain containing a set of amino acids, which folds on itself to create a specific native structure, also called the minimum energy conformation. It is the native structure that determines the functionality of each protein. The protein folding problem (PFP) remains one of the more difficult problems in computational and chemical biology. The principal challenge of PFP is to predict the optimal conformation of a given protein by considering only its amino acid sequence. As the conformational space contains a very large number of conformations, even when addressing short sequences, different simplified models have been developed and applied to make the PFP less complex. In the last few years, many computational approaches have been proposed to solve the PFP. They are based on simplified lattice models such as the hydrophobic-polar model. In this paper, we present a new Hybrid Cuckoo Search Algorithm (HCSA) to solve the 3D-HP protein folding optimization problem. Our proposed algorithm consists of combining the Cuckoo Search Algorithm (CSA) with the Hill Climbing (HC) algorithm. Simulation results on different benchmark sequences are presented and compared to the state-of-the-art algorithms.


title: What Sustained Multi-Disciplinary Research Can Achieve: The Space Weather Modeling Framework

abstract: MHD-based global space weather models have mostly been developed and maintained at academic institutions. While the "free spirit" approach of academia enables the rapid emergence and testing of new ideas and methods, the lack of long-term stability and support makes this arrangement very challenging. This paper describes a successful example of a university-based group, the Center of Space Environment Modeling (CSEM) at the University of Michigan, that developed and maintained the Space Weather Modeling Framework (SWMF) and its core element, the BATS-R-US extended MHD code. It took a quarter of a century to develop this capability and reach its present level of maturity that makes it suitable for research use by the space physics community through the Community Coordinated Modeling Center (CCMC) as well as operational use by the NOAA Space Weather Prediction Center (SWPC).

categories: physics.space-ph astro-ph.EP physics.comp-ph physics.plasm-ph


abstract: Implicit equilibrium models, i.e., deep neural networks (DNNs) defined by implicit equations, have been becoming more and more attractive recently. In this paper, we investigate an emerging question: can an implicit equilibrium model's equilibrium point be regarded as the solution of an optimization problem? To this end, we first decompose DNNs into a new class of unit layer that is the proximal operator of an implicit convex function while keeping its output unchanged. Then, the equilibrium model of the unit layer can be derived, named Optimization Induced Equilibrium Networks (OptEq), which can be easily extended to deep layers. The equilibrium point of OptEq can be theoretically connected to the solution of its corresponding convex optimization problem with explicit objectives. Based on this, we can flexibly introduce prior properties to the equilibrium points: 1) modifying the underlying convex problems explicitly so as to change the architectures of OptEq; and 2) merging the information into the fixed point iteration, which guarantees to choose the desired equilibrium point when the fixed point set is non-singleton. We show that deep OptEq outperforms previous implicit models even with fewer parameters. This work establishes the first step towards the optimization-guided design of deep models.


title: Van der Waals interaction affects wrinkle formation in two-dimensional materials

abstract: Nonlinear mechanics of solids is an exciting field that encompasses both beautiful mathematics, such as the emergence of instabilities and the formation of complex patterns, as well as multiple applications. Two-dimensional crystals and van der Waals (vdW) heterostructures allow revisiting this field on the atomic level, allowing much finer control over the parameters and offering atomistic interpretation of experimental observations. In this work, we consider the formation of instabilities consisting of radially-oriented wrinkles around mono- and few-layer "bubbles" in two-dimensional vdW heterostructures. Interestingly, the shape and wavelength of the wrinkles depend not only on the thickness of the two-dimensional crystal forming the bubble, but also on the atomistic structure of the interface between the bubble and the substrate, which can be controlled by their relative orientation. We argue that the periodic nature of these patterns emanates from an energetic balance between the resistance of the top membrane to bending, which favors large wavelength of wrinkles, and the membrane-substrate vdW attraction, which favors small wrinkle amplitude. Employing the classical "Winkler foundation" model of elasticity theory, we show that the number of radial wrinkles conveys a valuable relationship between the bending rigidity of the top membrane and the strength of the vdW interaction. Armed with this relationship, we use our data to demonstrate a nontrivial dependence of the bending rigidity on the number of layers in the top membrane, which shows two different regimes driven by slippage between the layers, and a high sensitivity of the vdW force to the alignment between the substrate and the membrane.


title: Magnetic Measurements at Warm of the First FCC-ee Final Focus Quadrupole Prototype

abstract: The first FCC-ee final focus quadrupole prototype has been designed, manufactured, assembled and tested at warm. The prototype is a single aperture quadrupole magnet of the CCT type. One edge of the magnet was designed with local multipole cancellation, whereas the other was left with the conventional design. An optimized rotating induction-coil sensor was used. A technique was developed to take into account field distortions due to the environment of the test and distinguish them from magnet effects, demonstrating an excellent field quality for the prototype.


title: AndroidEnv: A Reinforcement Learning Platform for Android

abstract: We introduce AndroidEnv, an open-source platform for Reinforcement Learning (RL) research built on top of the Android ecosystem. AndroidEnv allows RL agents to interact with a wide variety of apps and services commonly used by humans through a universal touchscreen interface. Since agents train on a realistic simulation of an Android device, they have the potential to be deployed on real devices. In this report, we give an overview of the environment, highlighting the significant features it provides for research, and we present an empirical evaluation of some popular reinforcement learning agents on a set of tasks built on this platform.


title: Statistical convergence of nets on locally solid Riesz spaces

abstract: The statistical convergence is handled for sequences with the natural density, in general. In a recent paper, the statistical convergence for nets in Riesz spaces has been studied and investigated by developing topology-free techniques in Riesz spaces. In this paper, we introduce the statistically topological convergence for nets on locally solid Riesz spaces with solid topologies. Moreover, we introduce the statistical continuity on locally solid Riesz spaces.


title: Optimizing quantum codes with an application to the loss channel with partial erasure information

abstract: Quantum error correcting codes (QECCs) are the means of choice whenever quantum systems suffer errors, e.g., due to imperfect devices, environments, or faulty channels. By now, a plethora of families of codes is known, but there is no universal approach to finding new or optimal codes for a certain task and subject to specific experimental constraints. In particular, once found, a QECC is typically used in very diverse contexts, while its resilience against errors is captured in a single figure of merit, the distance of the code. This does not necessarily give rise to the most efficient protection possible given a certain known error or a particular application for which the code is employed. In this paper, we investigate the loss channel, which plays a key role in quantum communication, and in particular in quantum key distribution over long distances. We develop a numerical set of tools that allows to optimize an encoding specifically for recovering lost particles both deterministically and probabilistically, where some knowledge about what was lost is available, and demonstrate its capabilities. This allows us to arrive at new codes ideal for the distribution of entangled states in this particular setting, and also to investigate if encoding in qudits or allowing for non-deterministic correction proves advantageous compared to known QECCs. While we here focus on the case of losses, our methodology is applicable whenever the errors in a system can be characterized by a known linear map.


title: Homogenization of Boundary Value Problems in Perforated Lipschitz Domains

abstract: This paper is concerned with boundary regularity estimates in the homogenization of elliptic equations with rapidly oscillating and high-contrast coefficients. We establish uniform nontangential-maximal-function estimates for the Dirichlet, regularity, and Neumann problems with $L^2$ boundary data in a periodically perforated Lipschitz domain.


title: Analytic determination of lung microgeometry with gas diffusion magnetic resonance

abstract: Through inhalation of, e.g., hyperpolarized $^3$He, it is possible to acquire gas diffusion magnetic resonance measurements that depend on the local geometry in the vast network of microscopic airways that form the respiratory zone of the human lung. Here, we demonstrate that this can be used to determine the dimensions (length and radius) of these airways noninvasively. Specifically, the above technique allows measurement of the weighted time-dependent diffusion coefficient (also called the apparent diffusion coefficient), which we here derive in analytic form using symmetries in the airway network. Agreement with experiment is found for the full span of published hyperpolarized $^3$He diffusion magnetic resonance measurements (diffusion times from milliseconds to seconds) and published invasive airway dimension measurements.


title: A Dataset for Provident Vehicle Detection at Night

abstract: In current object detection, algorithms require the object to be directly visible in order to be detected. As humans, however, we intuitively use visual cues caused by the respective object to already make assumptions about its appearance. In the context of driving, such cues can be shadows during the day and often light reflections at night. In this paper, we study the problem of how to map this intuitive human behavior to computer vision algorithms to detect oncoming vehicles at night just from the light reflections they cause by their headlights. For that, we present an extensive open-source dataset containing 59746 annotated grayscale images out of 346 different scenes in a rural environment at night. In these images, all oncoming vehicles, their corresponding light objects (e.g., headlamps), and their respective light reflections (e.g., light reflections on guardrails) are labeled. In this context, we discuss the characteristics of the dataset and the challenges in objectively describing visual cues such as light reflections. We provide different metrics for different ways to approach the task and report the results we achieved using state-of-the-art and custom object detection models as a first benchmark. With that, we want to bring attention to a new and so far neglected field in computer vision research, encourage more researchers to tackle the problem, and thereby further close the gap between human performance and computer vision systems.


title: Attractors of dual continued fractions

abstract: Given a Farey-type map F with full branches in the extended Hecke group Gamma_m, its dual F_# results from constructing the natural extension of F, letting time go backwards, and projecting. Although numerical simulations may suggest otherwise, we show that the domain of F_# is always tame, that is, it always contains intervals. As a main technical tool we construct, for every m=3,4,5,..., a homeomorphism M_m that simultaneously linearizes all maps with branches in Gamma_m, and show that the resulting dual linearized iterated function system satisfies the strong open set condition. We explicitly compute the Holder exponent of every M_m, generalizing Salem's results for the Minkowski question mark function M_3.


title: Noether's Theorem in Statistical Mechanics

abstract: Noether's calculus of invariant variations yields exact identities from functional symmetries. The standard application to an action integral allows to identify conservation laws. Here we rather consider generating functionals, such as the free energy and the power functional, for equilibrium and driven many-body systems. Translational and rotational symmetry operations yield mechanical laws. These global identities express vanishing of total internal and total external forces and torques. We show that functional differentiation then leads to hierarchies of local sum rules that interrelate density correlators as well as static and time direct correlation functions, including memory. For anisotropic particles, orbital and spin motion become systematically coupled. The theory allows us to shed new light on the spatio-temporal coupling of correlations in complex systems. As applications we consider active Brownian particles, where the theory clarifies the role of interfacial forces in motility-induced phase separation. For active sedimentation, the center-of-mass motion is constrained by an internal Noether sum rule.


title: CoSQA: 20,000+ Web Queries for Code Search and Question Answering

abstract: Finding codes given natural language query isb eneficial to the productivity of software developers. Future progress towards better semantic matching between query and code requires richer supervised training resources. To remedy this, we introduce the CoSQA dataset.It includes 20,604 labels for pairs of natural language queries and codes, each annotated by at least 3 human annotators. We further introduce a contrastive learning method dubbed CoCLR to enhance query-code matching, which works as a data augmenter to bring more artificially generated training instances. We show that evaluated on CodeXGLUE with the same CodeBERT model, training on CoSQA improves the accuracy of code question answering by 5.1%, and incorporating CoCLR brings a further improvement of 10.5%.


title: Local Latent Representation based on Geometric Convolution for Particle Data Feature Exploration

abstract: Feature related particle data analysis plays an important role in many scientific applications such as fluid simulations, cosmology simulations and molecular dynamics. Compared to conventional methods that use hand-crafted feature descriptors, some recent studies focus on transforming the data into a new latent space, where features are easier to be identified, compared and extracted. However, it is challenging to transform particle data into latent representations, since the convolution neural networks used in prior studies require the data presented in regular grids. In this paper, we adopt Geometric Convolution, a neural network building block designed for 3D point clouds, to create latent representations for scientific particle data. These latent representations capture both the particle positions and their physical attributes in the local neighborhood so that features can be extracted by clustering in the latent space, and tracked by applying tracking algorithms such as mean-shift. We validate the extracted features and tracking results from our approach using datasets from three applications and show that they are comparable to the methods that define hand-crafted features for each specific dataset.


title: Ultradilute quantum liquid of dipolar atoms in a bilayer

abstract: We show that ultradilute quantum liquids can be formed with ultracold bosonic dipolar atoms in a bilayer geometry. Contrary to previous realizations of ultradilute liquids, there is no need for stabilizing the system with an additional repulsive short-range potential. The advantage of the proposed system is that dipolar interactions on their own are sufficient for creation of a self-bound state and no additional short-range potential is needed for the stabilization. We perform quantum Monte Carlo simulations and find a rich ground-state phase diagram that contains quantum phase transitions between liquid, solid, atomic gas, and molecular gas phases. The stabilization mechanism of the liquid phase is consistent with the microscopic scenario in which the effective dimer-dimer attraction is balanced by an effective three-dimer repulsion. The equilibrium density of the liquid, which is extremely small, can be controlled by the interlayer distance. From the equation of state, we extract the spinodal density, below which the homogeneous system breaks into droplets. Our results offer a new example of a two-dimensional interacting dipolar liquid in a clean and highly controllable setup.


title: Microwave-to-optical conversion with a gallium phosphide photonic crystal cavity

abstract: Electrically actuated optomechanical resonators provide a route to quantum-coherent, bidirectional conversion of microwave and optical photons. Such devices could enable optical interconnection of quantum computers based on qubits operating at microwave frequencies. Here we present a novel platform for microwave-to-optical conversion comprising a photonic crystal cavity made of single-crystal, piezoelectric gallium phosphide integrated on pre-fabricated niobium circuits on an intrinsic silicon substrate. The devices exploit spatially extended, sideband-resolved mechanical breathing modes at $\sim$ 3.2 GHz, with vacuum optomechanical coupling rates of up to $g_0/2\pi \approx$ 300 kHz. The mechanical modes are driven by integrated microwave electrodes via the inverse piezoelectric effect. We estimate that the system could achieve an electromechanical coupling rate to a superconducting transmon qubit of $\sim$ 200 kHz. Our work represents a decisive step towards integration of piezoelectro-optomechanical interfaces with superconducting quantum processors.


title: Gravitational Wave Propagation and Polarizations in the Teleparallel analog of Horndeski Gravity

abstract: Gravitational waves (GWs) have opened a new window on fundamental physics in a number of important ways. The next generation of GW detectors may reveal more information about the polarization structure of GWs. Additionally, there is growing interest in theories of gravity beyond GR. One such theory which remains viable within the context of recent measurements of the speed of propagation of GWs is the teleparallel analogue of Horndeski gravity. In this work, we explore the polarization structure of this newly proposed formulation of Horndeski theory. In curvature-based gravity, Horndeski theory is almost synonymous with extensions to GR since it spans a large portion of these possible extensions. We perform this calculation by taking perturbations about a Minkowski background and consider which mode propagates. The result is that the polarization structure depends on the choice of model parameters in the teleparallel Horndeski Lagrangian with a maximum of seven propagating degrees of freedom. While the curvature-based Horndeski results follows as a particular limit within this setup, we find a much richer structure of both massive and massless cases which produce scalar--vector--tensor propagating degrees of freedom. We also find that the GW polarization that emerges from the teleparallel analogue of Horndeski gravity results in analogous massive and massless modes which take on at most four polarizations in the massless sector and two scalar ones in the massive sector. In none of the cases do we find vector polarizations.


title: Using Early-Learning Regularization to Classify Real-World Noisy Data

abstract: The memorization problem is well-known in the field of computer vision. Liu et al. propose a technique called Early-Learning Regularization, which improves accuracy on the CIFAR datasets when label noise is present. This project replicates their experiments and investigates the performance on a real-world dataset with intrinsic noise. Results show that their experimental results are consistent. We also explore Sharpness-Aware Minimization in addition to SGD and observed a further 14.6 percentage points improvement. Future work includes using all 6 million images and manually clean a fraction of the images to fine-tune a transfer learning model. Last but not the least, having access to clean data for testing would also improve the measurement of accuracy.


title: Bayesian Optimisation for Constrained Problems

abstract: Many real-world optimisation problems such as hyperparameter tuning in machine learning or simulation-based optimisation can be formulated as expensive-to-evaluate black-box functions. A popular approach to tackle such problems is Bayesian optimisation (BO), which builds a response surface model based on the data collected so far, and uses the mean and uncertainty predicted by the model to decide what information to collect next. In this paper, we propose a novel variant of the well-known Knowledge Gradient acquisition function that allows it to handle constraints. We empirically compare the new algorithm with four other state-of-the-art constrained Bayesian optimisation algorithms and demonstrate its superior performance. We also prove theoretical convergence in the infinite budget limit.


title: Strong and almost strong modes of Floquet spin chains in Krylov subspaces

abstract: Integrable Floquet spin chains are known to host strong zero and $\pi$ modes which are boundary operators that respectively commute and anticommute with the Floquet unitary generating stroboscopic time-evolution, in addition to anticommuting with a discrete symmetry of the Floquet unitary. Thus the existence of strong modes imply a characteristic pairing structure of the full spectrum. Weak interactions modify the strong modes to almost strong modes that almost commute or anticommute with the Floquet unitary. Manifestations of strong and almost strong modes are presented in two different Krylov subspaces. One is a Krylov subspace obtained from a Lanczos iteration that maps the time-evolution generated by the Floquet Hamiltonian onto dynamics of a single particle on a fictitious chain with nearest neighbor hopping. The second is a Krylov subspace obtained from the Arnoldi iteration that maps the time-evolution generated directly by the Floquet unitary onto dynamics of a single particle on a fictitious chain with longer range hopping. While the former Krylov subspace is sensitive to the branch of the logarithm of the Floquet unitary, the latter obtained from the Arnoldi scheme is not. The effective single particle models in the Krylov subspace are discussed, and the topological properties of the Krylov chain that ensure stable $0$ and $\pi$ modes at the boundaries are highlighted. The role of interactions is discussed. Expressions for the lifetime of the almost strong modes are derived in terms of the parameters of the Krylov subspace, and are compared with exact diagonalization.


title: Operando probing of Li-insertion into LiMn$_2$O$_4$ cathodes by spectroscopic ellipsometry

abstract: A novel non-destructive methodology for operando observation of ion intercalation and the state of charge on battery electrodes is presented based on spectroscopic ellipsometry (SE). The potentiality of this technique for performing time-resolved measurements of (de-)lithiation processes on electrode materials has been demonstrated using thin film spinel LiMn$_2$O$_4$ as a cathode for Li-ion batteries. The chemical diffusivity of Li+ ions in this material has been determined by the time evolution of the Li insertion into the film, and in the light of these results, it has been possible to relate the controversial pseudo-capacitive behavior observed in this material to the nanostructure of the layer. The results presented here establish a new way for operando characterization of battery materials and devices providing a powerful tool for the understanding of ion diffusion mechanisms in a collection of electrochemical devices.


title: Iron phthalocyanine on Au(111) is a "non-Landau" Fermi liquid

abstract: The paradigm of Landau's Fermi liquid theory has been challenged with the finding of a strongly interacting Fermi liquid that cannot be adiabatically connected to a non-interacting system. A spin-1 two-channel Kondo impurity with anisotropy D has a quantum phase transition between two topologically different Fermi liquids with a peak (dip) in the Fermi level for D < Dc (D > Dc). Extending this theory to general multi-orbital problems with finite magnetic field, we reinterpret in a unified and consistent fashion several experimental studies of iron phthalocyanine molecules on Au(111) that were previously described in disconnected and conflicting ways. The differential conductance shows a zero-bias dip that widens when the molecule is lifted from the surface (reducing the Kondo couplings) and is transformed continuously into a peak under an applied magnetic field. We reproduce all features and propose an experiment to induce the topological transition.


title: Local density of states and scattering rates across the many-body localization transition

abstract: Characterizing the many-body localization (MBL) transition in strongly disordered and interacting quantum systems is an important issue in the field of condensed matter physics. We study the single particle Green's functions for a disordered interacting system in one dimension using exact diagnonalization in the infinite temperature limit and provide strong evidence that single particle excitations carry signatures of delocalization to MBL transition. In the delocalized phase, the typical values of the local density of states and the scattering rate are finite while in the MBL phase, the typical values for both the quantities become vanishingly small. The probability distribution functions of the local density of states and the scattering rate are broad log-normal distributions in the delocalized phase while the distributions become very narrow and sharply peaked close to zero in the MBL phase. We also study the eigenstate Green's function for all the many-body eigenstates and demonstrate that both, the energy resolved typical scattering rate and the typical local density of states, can track the many-body mobility edges.


title: Pressure-induced Superconductivity at 32 K in MoB2

abstract: Since the discovery of superconductivity in MgB2 (Tc ~ 39 K), the search for superconductivity in related materials with similar structures or ingredients has never stopped. Although about 100 binary borides have been explored, only few of them show superconductivity with relatively low Tc. In this work, we report the discovery of superconductivity up to 32 K in MoB2 under pressure which is the highest Tc in transition-metal borides. Although the Tc can be well explained by theoretical calculations in the framework of electron-phonon coupling, the d-electrons and phonon modes of transition metal Mo atoms play utterly important roles in the emergence of superconductivity in MoB2, distinctly different from the case of well-known MgB2. Our study sheds light on the exploration of high-Tc superconductors in transition metal borides.


title: An Impossibility Theorem for Node Embedding

abstract: With the increasing popularity of graph-based methods for dimensionality reduction and representation learning, node embedding functions have become important objects of study in the literature. In this paper, we take an axiomatic approach to understanding node embedding methods, first stating three properties for embedding dissimilarity networks, then proving that all three cannot be satisfied simultaneously by any node embedding method. Similar to existing results on the impossibility of clustering under certain axiomatic assumptions, this points to fundamental difficulties inherent to node embedding tasks. Once these difficulties are identified, we then relax these axioms to allow for certain node embedding methods to be admissible in our framework.


title: The denominators of the Bernoulli numbers

abstract: We study the asymptotic density of the set of subscripts of the Bernoulli numbers having a given denominator. We also study the distribution of distinct Bernoulli denominators and some related problems.


title: The COS-legacy survey of C IV absorbers: properties and origins of the intervening systems

abstract: We present here results from a survey of intervening C IV absorbers at $z < 0.16$ conducted using 223 sightlines from the Hubble Spectroscopic Legacy Archive. Most systems (83%) out of the total sample of 69 have simple kinematics with 1 or 2 C IV components. In the 22 C IV systems with well constrained H I column densities, the temperatures from the $b$-values imply predominantly photoionized plasma ($T\leq 10^5$ K) and non-thermal dynamics. These systems also have solar or higher metallicities. We obtain a C IV line density of $d\mathcal{N}/dX = 5.1\pm 1.0$ for $\log [N(C~IV)~(cm^{-2})]\geq12.9$, and $\Omega_{C~IV}=(8.01\pm 1.62) \times 10^{-8}$ for $12.9 \leq \log [N(C~IV)~(cm^{-2})] \leq 15.0$. The C IV bearing diffuse gas in the $z < 0.16$ Universe has a metallicity of $(2.07~{\pm}~0.43)~\times~10^{-3}$ Z$_{\odot}$, an order of magnitude more than the metal abundances in the IGM at high redshifts ($z \gtrsim 5$), and consistent with the slow build-up of metals in the diffuse circum/intergalactic space with cosmic time. For $z<0.015$ (complete above $L>0.01L^\star$), the Sloan Digital Sky Survey provides a tentative evidence of declining covering fraction for strong C IV ($N>10^{13.5}~cm^{-2}$) with $\rho$ (impact parameter) and $\rho/R_\mathrm{vir}$. However, the increase at high separations suggests that strong systems are not necessarily coincident with such galaxies. We also find that strong C IV absorption at $z<0.051$ is not coincident with galaxy over-dense regions complete for $L>0.13L^\star$


title: Optimization of Timepix3-based conventional Compton camera using electron track algorithm

abstract: The hybrid pixel detector Timepix3 allows the measurement of the time and energy deposition of an event simultaneously in each 55 $\mu$m pixel, which makes Timepix3 a promising approach for a compact Compton camera. However, the angular resolution of Compton camera based on this kind of detector with high pixel density is usually degraded in imaging of MeV gamma-ray sources, because the diffusion of energetic Compton electron or photoelectron could trigger many pixels and lead to an inaccurate measurement of interaction position. In this study, an electron track algorithm is used to reconstruct the electron track and determine the interaction point. An demonstrative experiment was carried out, showing that the effect of this algorithm was significant. The angular resolution measures of a single layer Compton camera based on Timepix3 was enhanced to 12 degrees (FWHM) in imaging of a Co-60 gamma source.


title: Measuring Fine-Grained Domain Relevance of Terms: A Hierarchical Core-Fringe Approach

abstract: We propose to measure fine-grained domain relevance - the degree that a term is relevant to a broad (e.g., computer science) or narrow (e.g., deep learning) domain. Such measurement is crucial for many downstream tasks in natural language processing. To handle long-tail terms, we build a core-anchored semantic graph, which uses core terms with rich description information to bridge the vast remaining fringe terms semantically. To support a fine-grained domain without relying on a matching corpus for supervision, we develop hierarchical core-fringe learning, which learns core and fringe terms jointly in a semi-supervised manner contextualized in the hierarchy of the domain. To reduce expensive human efforts, we employ automatic annotation and hierarchical positive-unlabeled learning. Our approach applies to big or small domains, covers head or tail terms, and requires little human effort. Extensive experiments demonstrate that our methods outperform strong baselines and even surpass professional human performance.


title: OpenSerDes: An Open Source Process-Portable All-Digital Serial Link

abstract: In the last decade, the growing influence of open source software has necessitated the need to reduce the abstraction levels in hardware design. Open source hardware significantly reduces the development time, increasing the probability of first-pass success and enable developers to optimize software solutions based on hardware features, thereby reducing the design costs. The recent introduction of open source Process Development Kit (OpenPDK) by Skywater technologies in June 2020 has eliminated the barriers to Application-Specific Integrated Circuit (ASIC) design, which is otherwise considered expensive and not easily accessible. The OpenPDK is the first concrete step towards achieving the goal of open source circuit blocks that can be imported to reuse and modify in ASIC design. With process technologies scaling down for better performance, the need for entirely digital designs, which can be synthesized in any standard Automatic Place-and-Route (APR) tool, has increased considerably, for mapping physical design to the new process technology. This work presents the first open source all-digital Serializer/Deserializer (SerDes) for multi-GHz serial links designed using Skywater OpenPDK 130nm process node. To ensure that the design is fully synthesizable, the SerDes uses CMOS inverter-based drivers at the Tx, while the Rx front end comprises a resistive feedback inverter as a sensing element, followed by sampling elements. A fully digital oversampling CDR at the Rx recovers the Tx clock for proper decoding of data bits. The physical design flow utilizes OpenLANE, which is an end-to-end tool for generating GDS from RTL. Virtuoso has been used for extracting parasitics for post-layout simulations, which exhibit the SerDes functionality at 2 Gbps for 34 dB channel loss while consuming 438 mW power. The GDS and netlist files of the SerDes are uploaded in a GitHub repository for public access.


title: Crystal plasticity model of residual stress in additive manufacturing

abstract: Selective laser melting is receiving increasing interest as an additive manufacturing technique. Residual stresses induced by the large temperature gradients and inhomogeneous cooling process can favour the generation of cracks. In this work, a crystal plasticity finite element model is developed to simulate the formation of residual stresses and to understand the correlation between plastic deformation, grain orientation and residual stresses in the additive manufacturing process. The temperature profile and grain structure from thermal-fluid flow and grain growth simulations are implemented into the crystal plasticity model. An element elimination and reactivation method is proposed to model the melting and solidification and to reinitialise state variables, such as the plastic deformation, in the reactivated elements. The accuracy of this method is judged against previous method based on the stiffness degradation of liquid regions by comparing the plastic deformation as a function of time induced by thermal stresses. The method is used to investigate residual stresses parallel and perpendicular to the laser scan direction, and the correlation with the maximum Schmid factor of the grains along those directions. The magnitude of the residual stress can be predicted as a function of the depth, grain orientation and position with respect to the molten pool.


title: NAAS: Neural Accelerator Architecture Search

abstract: Data-driven, automatic design space exploration of neural accelerator architecture is desirable for specialization and productivity. Previous frameworks focus on sizing the numerical architectural hyper-parameters while neglect searching the PE connectivities and compiler mappings. To tackle this challenge, we propose Neural Accelerator Architecture Search (NAAS) which holistically searches the neural network architecture, accelerator architecture, and compiler mapping in one optimization loop. NAAS composes highly matched architectures together with efficient mapping. As a data-driven approach, NAAS rivals the human design Eyeriss by 4.4x EDP reduction with 2.7% accuracy improvement on ImageNet under the same computation resource, and offers 1.4x to 3.5x EDP reduction than only sizing the architectural hyper-parameters.


title: Infrared spectra of both isomers of CO$_2$-CO in the CO$_2$ $\nu_3$ region

abstract: Extensive infrared spectra of the weakly-bound CO$_2$-CO dimer are observed in the carbon dioxide $\nu_3$ asymmetric stretch region (~2350 cm-1) using a tunable infrared OPO laser source to probe a pulsed slit jet supersonic expansion. Both C-bonded and O-bonded isomers are analyzed for the normal isotopologue as well as for 13CO$_2$-CO and $^{16}$O$^{13}$C$^{18}$O-CO, the latter being the first observation of an asymmetrically substituted form for which all values of Ka are allowed. Combination bands involving the lowest in-plane intermolecular bending modes are also studied for both isomers. Weak bands near 2337 cm-1 are assigned to CO$_2$ hot band transitions (v1, v2l2, v3) = (0111) <-- (0110), yielding the splitting of the degenerate CO$_2$ $\nu_2$ bend into in-plane and out-of-plane components due to the presence of the CO. This splitting has rather different values for the C- and O- bonded isomers, 4.56 and 1.59 cm-1, respectively, with the out-of-plane mode higher in energy than the in-plane for both cases.


title: Balancing Static Vacuum Black Holes with Signed Masses in 4 and 5 Dimensions

abstract: We construct a new set of asymptotically flat, static vacuum solutions to the Einstein equations in dimensions 4 and 5, which may be interpreted as a superposition of positive and negative mass black holes. The resulting spacetimes are axisymmetric in 4-dimensions and bi-axisymmetric in 5-dimensions, and are regular away from the negative mass singularities, for instance conical singularities are absent along the axes. In 5-dimensions, the topologies of signed mass black holes used in the construction may be either spheres $S^3$ or rings $S^1 \times S^2$; in particular, the negative mass static black ring solution is introduced. A primary observation that facilitates the superposition is the fact that, in Weyl-Papapetrou coordinates, negative mass singularities arise as overlapping singular support for a particular type of Green's function. Furthermore, a careful analysis of conical singularities along axes is performed, and formulas are obtained for their propagation across horizons, negative mass singularities, and corners. The methods are robust, and may be used to construct a multitude of further examples. Lastly, we show that balancing does not occur between any two signed mass black holes of the type studied here in 4 dimensions, while in 5 dimensions two-body balancing is possible.


title: A Neumann type problem on an unbounded domain in the Heisenberg group

abstract: We discuss the wellposedness of the Neumann problem on a half-space for the Kohn-Laplacian in the Heisenberg group. We then construct the Neumann function and explicitly represent the solution of the associated inhomogeneous problem.


title: A Microarchitecture Implementation Framework for Online Learning with Temporal Neural Networks

abstract: Temporal Neural Networks (TNNs) are spiking neural networks that use time as a resource to represent and process information, similar to the mammalian neocortex. In contrast to compute-intensive deep neural networks that employ separate training and inference phases, TNNs are capable of extremely efficient online incremental/continual learning and are excellent candidates for building edge-native sensory processing units. This work proposes a microarchitecture framework for implementing TNNs using standard CMOS. Gate-level implementations of three key building blocks are presented: 1) multi-synapse neurons, 2) multi-neuron columns, and 3) unsupervised and supervised online learning algorithms based on Spike Timing Dependent Plasticity (STDP). The proposed microarchitecture is embodied in a set of characteristic scaling equations for assessing the gate count, area, delay and power for any TNN design. Post-synthesis results (in 45nm CMOS) for the proposed designs are presented, and their online incremental learning capability is demonstrated.


title: Tangent spaces to the Teichmueller space from the energy-conscious perspective

abstract: Usually, the description of tangent spaces to the Teichmueller space $\mathscr{T}(\Sigma_{g})$ of a compact Riemann surface $\Sigma_{g}$ of genus $g \geq 2$ (which we can identify with the quotient space $\mathbb{H}^{2} / \Gamma_{g}$ of the upper half plane $\mathbb{H}^{2}$ by a discrete cocompact subgroup $\Gamma_{g}$ of $\mathrm{PSL}(2, \mathbb{R})$) comes in two different flavours: the space of holomorphic quadratic differentials on $\Sigma_{g}$ which are holomorphic sections of the tensor square of the canonical line bundle of $\Sigma_{g}$ and the first cohomology group $H^{1}(\Gamma_{g}; \mathfrak{g})$ of the fundamental group $\Gamma_{g}$ of $\Sigma_{g}$ with coefficients in the vector space $\mathfrak{g}$ of Killing vector fields on $\mathbb{H}^{2}$ (or on $\mathbb{D}$), a.k.a the Lie algebra of $\mathrm{PSL}(2, \mathbb{R})$. In this article, we are concerned with connecting the above-mentioned descriptions using the notion of a harmonic vector field on the upper half plane $\mathbb{H}^{2}$ (equivalently, on $\mathbb{D}$) that takes inspiration from the theory of harmonic maps between compact hyperbolic Riemann surfaces. As an application, we also show that how a harmonic vector field on $\mathbb{H}^{2}$ (or on $\mathbb{D}$) describes a connection on the universal Teichmueller curve.


title: How saccadic vision might help with theinterpretability of deep networks

abstract: We describe how some problems (interpretability,lack of object-orientedness) of modern deep networks potentiallycould be solved by adapting a biologically plausible saccadicmechanism of perception. A sketch of such a saccadic visionmodel is proposed. Proof of concept experimental results areprovided to support the proposed approach.


abstract: This paper presents the final results of the ICDAR 2021 Competition on Historical Map Segmentation (MapSeg), encouraging research on a series of historical atlases of Paris, France, drawn at 1/5000 scale between 1894 and 1937. The competition featured three tasks, awarded separately. Task~1 consists in detecting building blocks and was won by the L3IRIS team using a DenseNet-121 network trained in a weakly supervised fashion. This task is evaluated on 3 large images containing hundreds of shapes to detect. Task~2 consists in segmenting map content from the larger map sheet, and was won by the UWB team using a U-Net-like FCN combined with a binarization method to increase detection edge accuracy. Task~3 consists in locating intersection points of geo-referencing lines, and was also won by the UWB team who used a dedicated pipeline combining binarization, line detection with Hough transform, candidate filtering, and template matching for intersection refinement. Tasks~2 and~3 are evaluated on 95 map sheets with complex content. Dataset, evaluation tools and results are available under permissive licensing at \url{https://icdar21-mapseg.github.io/}.


title: RAW-C: Relatedness of Ambiguous Words--in Context (A New Lexical Resource for English)

abstract: Most words are ambiguous--i.e., they convey distinct meanings in different contexts--and even the meanings of unambiguous words are context-dependent. Both phenomena present a challenge for NLP. Recently, the advent of contextualized word embeddings has led to success on tasks involving lexical ambiguity, such as Word Sense Disambiguation. However, there are few tasks that directly evaluate how well these contextualized embeddings accommodate the more continuous, dynamic nature of word meaning--particularly in a way that matches human intuitions. We introduce RAW-C, a dataset of graded, human relatedness judgments for 112 ambiguous words in context (with 672 sentence pairs total), as well as human estimates of sense dominance. The average inter-annotator agreement (assessed using a leave-one-annotator-out method) was 0.79. We then show that a measure of cosine distance, computed using contextualized embeddings from BERT and ELMo, correlates with human judgments, but that cosine distance also systematically underestimates how similar humans find uses of the same sense of a word to be, and systematically overestimates how similar humans find uses of different-sense homonyms. Finally, we propose a synthesis between psycholinguistic theories of the mental lexicon and computational models of lexical semantics.


title: How drifting and evaporating pebbles shape giant planets I: Heavy element content and atmospheric C/O

abstract: Recent observations of extrasolar gas giants suggest super-stellar C/O ratios in planetary atmospheres, while interior models of observed extrasolar giant planets additionally suggest high heavy element contents. Furthermore, recent observations of protoplanetary disks revealed super-solar C/H ratios, which are explained by inward drifting and evaporating pebbles, enhancing the volatile content of the disk. We investigate how the inward drift and evaporation of volatile rich pebbles influences the atmospheric C/O ratio and heavy element content of giant planets growing by pebble and gas accretion. To achieve this goal, we perform semi analytical 1D models of protoplanetary disks including the treatment of viscous evolution and heating, pebble drift and simple chemistry to simulate the growth of planets from planetary embryos to Jupiter mass objects by accretion of pebbles and gas while they migrate through the disk. Our simulations show that the composition of the planetary gas atmosphere is dominated by the accretion of vapour, originating from inward drifting evaporating pebbles. This process allows the giant planets to harbour large heavy element contents. In addition, our model reveals that giant planets originating further away from the central star have a higher C/O ratio on average due to the evaporation of methane rich pebbles in the outer disk. These planets can then also harbour super-solar C/O ratios, in line with exoplanet observations. However, planets formed in the outer disk harbour a smaller heavy element content, due to a smaller vapour enrichment of the outer disk. Our model predicts that giant planets with low/large atmospheric C/O should harbour a large/low total heavy element content. We further conclude that the inclusion of pebble evaporation at evaporation lines is a key ingredient to determine the heavy element content and composition of giant planets.


title: Odd dimensional analogue of the Euler characteristic

abstract: When compact manifolds $X$ and $Y$ are both even dimensional, their Euler characteristics obey the K\"unneth formula $\chi(X\times Y)=\chi(X) \chi(Y)$. In terms of the Betti numbers $b_p(X)$, $\chi(X)=\sum_{p}(-1)^p b_p(X)$, implying that $\chi(X)=0$ when $X$ is odd dimensional. We seek a linear combination of Betti numbers, called $\rho$, that obeys an analogous formula $\rho(X\times Y)=\chi(X) \rho(Y)$ when $Y$ is odd dimensional. The unique solution is $\rho(Y)=-\sum_{p}(-1)^p p b_p(Y)$. Physical applications include: (1) $\rho \rightarrow (-1)^m \rho $ under a generalized mirror map in $d=2m+1$ dimensions, in analogy with $\chi \rightarrow (-1)^m \chi $ in $d=2m$; (2) $\rho$ appears naturally in compactifications of M-theory. For example, the 4-dimensional Weyl anomaly for M-theory on $X^4 \times Y^7$ is given by $\chi(X^4)\rho(Y^7)=\rho(X^4 \times Y^7) $ and hence vanishes when $Y^7$ is self-mirror. Since, in particular, $\rho(Y\times S^1)=\chi(Y)$, this is consistent with the corresponding anomaly for Type IIA on $X^4 \times Y^6$, given by $\chi(X^4)\chi(Y^6)=\chi(X^4 \times Y^6)$, which vanishes when $Y^6$ is self-mirror; (3) In the partition function of $p$-form gauge fields, $\rho$ appears in odd dimensions as $\chi$ does in even.


title: Entanglement properties and ground-state statistics of free bosons

abstract: We calculate analytically the entanglement and R\'enyi entropies, the negativity and the mutual information together with all the density and many-particle correlation functions for free bosons on a lattice in the ground state, for both homogeneous and inhomogeneous systems. We show that all those quantities can be derived from a multinomial form of the reduced density matrix in the configuration space whose diagonal elements dictate the statistics of the particle distribution, while the off-diagonal coherence terms control the quantum fluctuations. We provide by this analysis a unified approach based on a reduced density matrix technique useful to calculate both the entanglement properties and an infinite number of correlation functions.


title: The Nanohertz Gravitational Wave Astronomer

abstract: Gravitational waves are a radically new way to peer into the darkest depths of the cosmos. Pulsars can be used to make direct detections of gravitational waves through precision timing. When a gravitational wave passes between a pulsar and the Earth, it stretches and squeezes the intermediate space-time, leading to deviations of the measured pulse arrival times away from model expectations. Combining the data from many Galactic pulsars can corroborate such a signal, and enhance its detection significance. This technique is known as a Pulsar Timing Array (PTA). Here I provide an overview of PTAs as a precision gravitational-wave detection instrument, then review the types of signal and noise processes that we encounter in typical pulsar data analysis. I take a pragmatic approach, illustrating how searches are performed in real life, and where possible directing the reader to codes or techniques that they can explore for themselves. The goal is to provide theoretical background and practical recipes for data exploration that allow the reader to join in the exciting hunt for very low frequency gravitational waves.


title: OpReg-Boost: Learning to Accelerate Online Algorithms with Operator Regression

abstract: This paper presents a new regularization approach -- termed OpReg-Boost -- to boost the convergence and lessen the asymptotic error of online optimization and learning algorithms. In particular, the paper considers online algorithms for optimization problems with a time-varying (weakly) convex composite cost. For a given online algorithm, OpReg-Boost learns the closest algorithmic map that yields linear convergence; to this end, the learning procedure hinges on the concept of operator regression. We show how to formalize the operator regression problem and propose a computationally-efficient Peaceman-Rachford solver that exploits a closed-form solution of simple quadratically-constrained quadratic programs (QCQPs). Simulation results showcase the superior properties of OpReg-Boost w.r.t. the more classical forward-backward algorithm, FISTA, and Anderson acceleration.


title: Temporal dissipative structures in optical Kerr resonators with transient loss fluctuation

abstract: Dissipative structures are the result of spontaneous symmetry breaking in a dynamic open system, which is induced by either the nonlinear effect or loss fluctuations. While optical temporal dissipative solitons in nonlinear Kerr cavities has been widely studied, they are operated in a red-detuned regime that is non-trivial to access. Here, we demonstrate an emergent dissipative soliton state in optical cavities in the presence of loss fluctuations, which is accessible by self-evolution of the system and is operated in resonance. We numerically investigate both the effect of loss modulation and the effect of saturable absorption, based on a standard dissipative and Kerr-nonlinear microresonator model, and observe stable soliton states in a close-to-zero detuning region. The self-starting soliton state working in resonance is potentially of wide interest, which would not only ease the operation for ultrafast temporal soliton generation, but also imply a high conversion efficiency for soliton micro-combs.


title: Mutual Reinforcement between Neural Networks and Quantum Physics

abstract: Quantum machine learning emerges from the symbiosis of quantum mechanics and machine learning. In particular, the latter gets displayed in quantum sciences as: (i) the use of classical machine learning as a tool applied to quantum physics problems, (ii) or the use of quantum resources such as superposition, entanglement, or quantum optimization protocols to enhance the performance of classification and regression tasks compare to their classical counterparts. This paper reviews examples in these two scenarios. On the one hand, a classical neural network is applied to design a new quantum sensing protocol. On the other hand, the design of a quantum neural network based on the dynamics of a quantum perceptron with the application of shortcuts to adiabaticity gives rise to a short operation time and robust performance. These examples demonstrate the mutual reinforcement of both neural networks and quantum physics.


title: TESS Cycle 1 observations of roAp stars with 2-min cadence data

abstract: We present the results of a systematic search for new rapidly oscillating Ap (roAp) stars using the 2-min cadence data collected by the Transiting Exoplanet Survey Satellite (TESS) during its Cycle 1 observations. We identify 12 new roAp stars. Amongst these stars we discover the roAp star with the longest pulsation period, another with the shortest rotation period, and six with multiperiodic variability. In addition to these new roAp stars, we present an analysis of 44 known roAp stars observed by TESS during Cycle 1, providing the first high-precision and homogeneous sample of a significant fraction of the known roAp stars. The TESS observations have shown that almost 60 per cent (33) of our sample of stars are multiperiodic, providing excellent cases to test models of roAp pulsations, and from which the most rewarding asteroseismic results can be gleaned. We report four cases of the occurrence of rotationally split frequency multiplets that imply different mode geometries for the same degree modes in the same star. This provides a conundrum in applying the oblique pulsator model to the roAp stars. Finally, we report the discovery of non-linear mode interactions in $\alpha$ Cir (TIC 402546736, HD 128898) around the harmonic of the principal mode -- this is only the second case of such a phenomenon.


title: Relativistic hydrodynamics with the parity anomaly

abstract: We consider the hydrodynamic regime of a 2+1 dimensions QFT with the parity anomaly. Beyond the known constraints from positivity of entropy production, we show that the anomaly inflow mechanism, from a corresponding bulk SPT phase, together with thermodynamic consistency of equilibrium partition functions, restricts the form of non-dissipative transport coefficients. This included the known form of quantised Hall conductivity, which is fixed to be $\sigma_{xy} = e^2/2h$, along with new constraints on other three non-dissipative parity-odd transport coefficients.


title: Efficient Dynamic Mesh Refinement Technique for Simulation of HPM Breakdown induced Plasma Pattern Formation

abstract: Numerical simulation of the complex plasma dynamics associated with high power, high frequency microwave breakdown at high pressures, leading to the formation of filamentary plasma structures such as self-organized plasma arrays, is a computationally challenging problem. The widely used 2D EM-plasma fluid model, which accurately captures the experimental observations, requires a run-time of several days to months to simulate standard problems due to stringent numerical requirements in terms of cell size and time step. In this paper, we present a self-aware mesh refinement algorithm which uses a coarse mesh and a fine mesh that dynamically expands based on the plasma profile topology to resolve the sharp gradients in E-fields and plasma density in the breakdown region. The dynamic mesh refinement (DMR) technique is explained in details and its performance has been evaluated using a standard benchmark microwave breakdown problem. We observe a speedup of 8 (of the order of $O(r^{3})$, when refinement factor ($r$) is 2) compared to a traditional single uniform fine mesh based simulation. The technique is scalable and performs better when problem size increases. We also present a comprehensive spatio-temporal visual analysis to explain the complex physics of HPM breakdown, leading to self-organized plasma filamentation.


title: MeshCNN Fundamentals: Geometric Learning through a Reconstructable Representation

abstract: Mesh-based learning is one of the popular approaches nowadays to learn shapes. The most established backbone in this field is MeshCNN. In this paper, we propose infusing MeshCNN with geometric reasoning to achieve higher quality learning. Through careful analysis of the way geometry is represented through-out the network, we submit that this representation should be rigid motion invariant, and should allow reconstructing the original geometry. Accordingly, we introduce the first and second fundamental forms as an edge-centric, rotation and translation invariant, reconstructable representation. In addition, we update the originally proposed pooling scheme to be more geometrically driven. We validate our analysis through experimentation, and present consistent improvement upon the MeshCNN baseline, as well as other more elaborate state-of-the-art architectures. Furthermore, we demonstrate this fundamental forms-based representation opens the door to accessible generative machine learning over meshes.


title: One Step Preference Elicitation in Multi-Objective Bayesian Optimization

abstract: We consider a multi-objective optimization problem with objective functions that are expensive to evaluate. The decision maker (DM) has unknown preferences, and so the standard approach is to generate an approximation of the Pareto front and let the DM choose from the generated non-dominated designs. However, especially for expensive to evaluate problems where the number of designs that can be evaluated is very limited, the true best solution according to the DM's unknown preferences is unlikely to be among the small set of non-dominated solutions found, even if these solutions are truly Pareto optimal. We address this issue by using a multi-objective Bayesian optimization algorithm and allowing the DM to select a preferred solution from a predicted continuous Pareto front just once before the end of the algorithm rather than selecting a solution after the end. This allows the algorithm to understand the DM's preferences and make a final attempt to identify a more preferred solution. We demonstrate the idea using ParEGO, and show empirically that the found solutions are significantly better in terms of true DM preferences than if the DM would simply pick a solution at the end.


title: Dynamic Network selection for the Object Detection task: why it matters and what we (didn't) achieve

abstract: In this paper, we want to show the potential benefit of a dynamic auto-tuning approach for the inference process in the Deep Neural Network (DNN) context, tackling the object detection challenge. We benchmarked different neural networks to find the optimal detector for the well-known COCO 17 database, and we demonstrate that even if we only consider the quality of the prediction there is not a single optimal network. This is even more evident if we also consider the time to solution as a metric to evaluate, and then select, the most suitable network. This opens to the possibility for an adaptive methodology to switch among different object detection networks according to run-time requirements (e.g. maximum quality subject to a time-to-solution constraint). Moreover, we demonstrated by developing an ad hoc oracle, that an additional proactive methodology could provide even greater benefits, allowing us to select the best network among the available ones given some characteristics of the processed image. To exploit this method, we need to identify some image features that can be used to steer the decision on the most promising network. Despite the optimization opportunity that has been identified, we were not able to identify a predictor function that validates this attempt neither adopting classical image features nor by using a DNN classifier.


title: Coarse-Grid Selection Using Simulated Annealing

abstract: Multilevel techniques are efficient approaches for solving the large linear systems that arise from discretized partial differential equations and other problems. While geometric multigrid requires detailed knowledge about the underlying problem and its discretization, algebraic multigrid aims to be less intrusive, requiring less knowledge about the origin of the linear system. A key step in algebraic multigrid is the choice of the coarse/fine partitioning, aiming to balance the convergence of the iteration with its cost. In work by MacLachlan and Saad, a constrained combinatorial optimization problem is used to define the ``best'' coarse grid within the setting of a two-level reduction-based algebraic multigrid method and is shown to be NP-complete. Here, we develop a new coarsening algorithm based on simulated annealing to approximate solutions to this problem, which yields improved results over the greedy algorithm developed previously. We present numerical results for test problems on both structured and unstructured meshes, demonstrating the ability to exploit knowledge about the underlying grid structure if it is available.


title: GoSafe: Globally Optimal Safe Robot Learning

abstract: When learning policies for robotic systems from data, safety is a major concern, as violation of safety constraints may cause hardware damage. SafeOpt is an efficient Bayesian optimization (BO) algorithm that can learn policies while guaranteeing safety with high probability. However, its search space is limited to an initially given safe region. We extend this method by exploring outside the initial safe area while still guaranteeing safety with high probability. This is achieved by learning a set of initial conditions from which we can recover safely using a learned backup controller in case of a potential failure. We derive conditions for guaranteed convergence to the global optimum and validate GoSafe in hardware experiments.


title: Detection of a rank-one signal with limited training data

abstract: In this paper, we reconsider the problem of detecting a matrix-valued rank-one signal in unknown Gaussian noise, which was previously addressed for the case of sufficient training data. We relax the above assumption to the case of limited training data. We re-derive the corresponding generalized likelihood ratio test (GLRT) and two-step GLRT (2S--GLRT) based on certain unitary transformation on the test data. It is shown that the re-derived detectors can work with low sample support. Moreover, in sample-abundant environments the re-derived GLRT is the same as the previously proposed GLRT and the re-derived 2S--GLRT has better detection performance than the previously proposed 2S--GLRT. Numerical examples are provided to demonstrate the effectiveness of the re-derived detectors.


title: Deep Ensembles from a Bayesian Perspective

abstract: Deep ensembles can be considered as the current state-of-the-art for uncertainty quantification in deep learning. While the approach was originally proposed as a non-Bayesian technique, arguments supporting its Bayesian footing have been put forward as well. We show that deep ensembles can be viewed as an approximate Bayesian method by specifying the corresponding assumptions. Our findings lead to an improved approximation which results in an enlarged epistemic part of the uncertainty. Numerical examples suggest that the improved approximation can lead to more reliable uncertainties. Analytical derivations ensure easy calculation of results.


title: A Modular and Transferable Reinforcement Learning Framework for the Fleet Rebalancing Problem

abstract: Mobility on demand (MoD) systems show great promise in realizing flexible and efficient urban transportation. However, significant technical challenges arise from operational decision making associated with MoD vehicle dispatch and fleet rebalancing. For this reason, operators tend to employ simplified algorithms that have been demonstrated to work well in a particular setting. To help bridge the gap between novel and existing methods, we propose a modular framework for fleet rebalancing based on model-free reinforcement learning (RL) that can leverage an existing dispatch method to minimize system cost. In particular, by treating dispatch as part of the environment dynamics, a centralized agent can learn to intermittently direct the dispatcher to reposition free vehicles and mitigate against fleet imbalance. We formulate RL state and action spaces as distributions over a grid partitioning of the operating area, making the framework scalable and avoiding the complexities associated with multiagent RL. Numerical experiments, using real-world trip and network data, demonstrate that this approach has several distinct advantages over baseline methods including: improved system cost; high degree of adaptability to the selected dispatch method; and the ability to perform scale-invariant transfer learning between problem instances with similar vehicle and request distributions.


title: Polarization-dependent excitons and plasmon activity in nodal-line semimetal ZrSiS

abstract: The optical properties of bulk ZrSiS nodal-line semimetal are theoretically studied within a many-body formalism. The G0W0 bands are similar to those calculated within the density functional theory, except near the {\Gamma} point; in particular, no significant differences are found around the Fermi energy. On the other hand, the solution of the Bethe-Salpeter equation reveals a significant excitonic activity, mostly as dark excitons which appear in a wide energy range. Bright excitons, on the contrary, are less numerous, but their location and intensity depend greatly on the polarization of the incident electric field, as the absorption coefficient itself does. The binding energy of these excitons correlate well with their spatial distribution functions. In any case, a good agreement with available experimental data for absorption-reflection is achieved. Finally, the possible activation of plasma oscillations at low energies is discarded, because these are damped by producing electron-hole pairs, more importantly for q along the {\Gamma}-M path.


title: Universal cohomology theories

abstract: We furnish any category of a universal (co)homology theory. Universal (co)homologies and universal relative (co)homologies are obtained by showing representability of certain functors and take values in $R$-linear abelian categories of motivic nature, where $R$ is any commutative unitary ring. Universal homology theory on the one point category yields "hieratic" $R$-modules, i.e. the indization of Freyd's free abelian category on $R$. Grothendieck $\partial$-functors and satellite functors are recovered as certain additive relative homologies on an abelian category for which we also show the existence of universal ones.


title: Differentially Private Densest Subgraph Detection

abstract: Densest subgraph detection is a fundamental graph mining problem, with a large number of applications. There has been a lot of work on efficient algorithms for finding the densest subgraph in massive networks. However, in many domains, the network is private, and returning a densest subgraph can reveal information about the network. Differential privacy is a powerful framework to handle such settings. We study the densest subgraph problem in the edge privacy model, in which the edges of the graph are private. We present the first sequential and parallel differentially private algorithms for this problem. We show that our algorithms have an additive approximation guarantee. We evaluate our algorithms on a large number of real-world networks, and observe a good privacy-accuracy tradeoff when the network has high density.


title: Machine learning predictions of COVID-19 second wave end-times in Indian states

abstract: The estimate of the remaining time of an ongoing wave of epidemic spreading is a critical issue. Due to the variations of a wide range of parameters in an epidemic, for simple models such as Susceptible-Infected-Removed (SIR) model, it is difficult to estimate such a time scale. On the other hand, multidimensional data with a large set attributes are precisely what one can use in statistical learning algorithms to make predictions. Here we show, how the predictability of the SIR model changes with various parameters using a supervised learning algorithm. We then estimate the condition in which the model gives the least error in predicting the duration of the first wave of the COVID-19 pandemic in different states in India. Finally, we use the SIR model with the above mentioned optimal conditions to generate a training data set and use it in the supervised learning algorithm to estimate the end-time of the ongoing second wave of the pandemic in different states in India.


title: MTH-IDS: A Multi-Tiered Hybrid Intrusion Detection System for Internet of Vehicles

abstract: Modern vehicles, including connected vehicles and autonomous vehicles, nowadays involve many electronic control units connected through intra-vehicle networks to implement various functionalities and perform actions. Modern vehicles are also connected to external networks through vehicle-to-everything technologies, enabling their communications with other vehicles, infrastructures, and smart devices. However, the improving functionality and connectivity of modern vehicles also increase their vulnerabilities to cyber-attacks targeting both intra-vehicle and external networks due to the large attack surfaces. To secure vehicular networks, many researchers have focused on developing intrusion detection systems (IDSs) that capitalize on machine learning methods to detect malicious cyber-attacks. In this paper, the vulnerabilities of intra-vehicle and external networks are discussed, and a multi-tiered hybrid IDS that incorporates a signature-based IDS and an anomaly-based IDS is proposed to detect both known and unknown attacks on vehicular networks. Experimental results illustrate that the proposed system can detect various types of known attacks with 99.99% accuracy on the CAN-intrusion-dataset representing the intra-vehicle network data and 99.88% accuracy on the CICIDS2017 dataset illustrating the external vehicular network data. For the zero-day attack detection, the proposed system achieves high F1-scores of 0.963 and 0.800 on the above two datasets, respectively. The average processing time of each data packet on a vehicle-level machine is less than 0.6 ms, which shows the feasibility of implementing the proposed system in real-time vehicle systems. This emphasizes the effectiveness and efficiency of the proposed IDS.


title: CogView: Mastering Text-to-Image Generation via Transformers

abstract: Text-to-Image generation in the general domain has long been an open problem, which requires both a powerful generative model and cross-modal understanding. We propose CogView, a 4-billion-parameter Transformer with VQ-VAE tokenizer to advance this problem. We also demonstrate the finetuning strategies for various downstream tasks, e.g. style learning, super-resolution, text-image ranking and fashion design, and methods to stabilize pretraining, e.g. eliminating NaN losses. CogView achieves the state-of-the-art FID on the blurred MS COCO dataset, outperforming previous GAN-based models and a recent similar work DALL-E.


title: The Farrell-Jones Conjecture for hyperbolic-by-cyclic groups

abstract: We prove the Farrell-Jones Conjecture for mapping tori of automorphisms of virtually torsion-free hyperbolic groups. The proof uses recently developed geometric methods for establishing the Farrell-Jones Conjecture by Bartels-L\"{u}ck-Reich, as well as the structure theory of mapping tori by Dahmani-Krishna.


title: Fractal mountains and binary random loops

abstract: We discuss a variation of Takagi curves based, however, more on algebraic than geometric principles. Namely, we construct functions of loops in a special binary representation. The graph of these functions usually has chaotic and fractal forms, sometimes recall mountain landscapes. Nevertheless, the values in a dense set of points and even the integral of these functions can be calculated explicitly.