title: Automated Calculation of Thermal Rate Coefficients using Ring Polymer Molecular Dynamics and Machine-Learning Interatomic Potentials with Active Learning

abstract: We propose a methodology for fully automated calculation of thermal rate coefficients of gas phase chemical reactions, which is based on combining the ring polymer molecular dynamics (RPMD) with the machine-learning interatomic potentials actively learning on-the-fly. Based on the original computational procedure implemented in the RPMDrate code, our methodology gradually and automatically constructs the potential energy surfaces (PESs) from scratch with the data set points being selected and accumulated during the RPMDrate simulation. Such an approach ensures that our final machine-learning model provides reliable description of the PES which avoids artifacts during exploration of the phase space by RPMD trajectories. We tested our methodology on two representative thermally activated chemical reactions studied recently by RPMDrate at temperatures within the interval of 300--1000~K. The corresponding PESs were generated by fitting to only a few thousands automatically generated structures (less than 5000) while the RPMD rate coefficients retained the deviation from the reference values within the typical convergence error of RPMDrate. In future, we plan to apply our methodology to chemical reactions which proceed via complex-formation thus providing a completely general tool for calculating RPMD thermal rate coefficients for any polyatomic gas phase chemical reaction.


title: The R-Process Alliance: 2MASS J09544277+5246414, the Most Actinide-Enhanced R-II Star Known

abstract: We report the discovery of a new actinide-boost star, 2MASS J09544277+5246414, originally identified as a very bright (V = 10.1), extremely metal-poor ([Fe/H] = -2.99) K giant in the LAMOST survey, and found to be highly r-process-enhanced (r-II; [Eu/Fe]= +1.28]), during the snapshot phase of the R-Process Alliance (RPA). Based on a high S/N, high-resolution spectrum obtained with the Harlan J. Smith 2.7-m telescope, this star is the first confirmed actinide-boost star found by RPA efforts. With an enhancement of [Th/Eu] = +0.37, 2MASS J09544277+5246414 is also the most actinide-enhanced r-II star yet discovered, and only the sixth metal-poor star with a measured uranium abundance ([U/Fe] = +1.40). Using the Th/U chronometer, we estimate an age of 13.0+/-4.7 Gyr for this star. The unambiguous actinide-boost signature of this extremely metal-poor star, combined with additional r-process-enhanced and actinide-boost stars identified by the RPA, will provide strong constraints on the nature and origin of the r-process at early times.


title: Efficient orbital angular momentum transfer between plasmons and free electrons

abstract: Free electrons can efficiently absorb or emit plasmons excited in a thin conductor, giving rise to multiple energy peaks in the transmitted electron spectra separated by multiples of the plasmon energy. When the plasmons are chiral, this can also give rise to transfer of orbital angular momentum (OAM). Here, we show that large amounts of OAM can be efficiently transferred between chiral plasmons supported by a thin film and free electrons traversing it. Under realistic conditions, our predictive simulations reveal efficient absorption of $\ell\gg1$ chiral plasmons of vorticity $m\gg1$, resulting in an OAM transfer $\ell m\hbar\gg\hbar$. Our work supports the use of chiral plasmons sustained by externally illuminated thin films as a way of generating high-vorticity electrons, resulting in a remarkably large fraction of kinetic energy associated with motion along the azimuthal direction, perpendicular to the incident beam.


title: Learning to Generate Facial Depth Maps

abstract: In this paper, an adversarial architecture for facial depth map estimation from monocular intensity images is presented. By following an image-to-image approach, we combine the advantages of supervised learning and adversarial training, proposing a conditional Generative Adversarial Network that effectively learns to translate intensity face images into the corresponding depth maps. Two public datasets, namely Biwi database and Pandora dataset, are exploited to demonstrate that the proposed model generates high-quality synthetic depth images, both in terms of visual appearance and informative content. Furthermore, we show that the model is capable of predicting distinctive facial details by testing the generated depth maps through a deep model trained on authentic depth maps for the face verification task.


title: On 2-absorbing ideals of commutative semirings

abstract: In this paper, we investigate 2-absorbing ideals of commutative semirings and prove that if $\mathfrak{a}$ is a nonzero proper ideal of a subtractive valuation semiring $S$ then $\mathfrak{a}$ is a 2-absorbing ideal of $S$ if and only if $\mathfrak{a}=\mathfrak{p}$ or $\mathfrak{a}=\mathfrak{p}^2$ where $\mathfrak{p}=\sqrt\mathfrak{a}$ is a prime ideal of $S$. We also show that each 2-absorbing ideal of a subtractive semiring $S$ is prime if and only if the prime ideals of $S$ are comparable and if $\mathfrak{p}$ is a minimal prime over a 2-absorbing ideal $\mathfrak{a}$, then $\mathfrak{am} = \mathfrak{p}$, where $\mathfrak{m}$ is the unique maximal ideal of $S$.


title: Q-balls without a potential

abstract: We study non-topological Q-ball solutions of the (3+1)-dimensional Friedberg-Lee-Sirlin two-component model. The limiting case of vanishing potential term yields an example of hairy Q-balls, which possess a long range massless real field. We discuss the properties of these stationary field configurations and determine their domain of existence. Considering Friedberg-Lee-Sirlin model we present numerical evidence for the existence of spinning axially symmetric Q-balls with different parity. Solution of this type exist also in the limiting case of vanishing scalar potential. We find that the hairy Q-balls are classically stable for all range of values of angular frequency.


title: Matrix-free multigrid block-preconditioners for higher order Discontinuous Galerkin discretisations

abstract: Efficient and suitably preconditioned iterative solvers for elliptic partial differential equations (PDEs) of the convection-diffusion type are used in all fields of science and engineering. To achieve optimal performance, solvers have to exhibit high arithmetic intensity and need to exploit every form of parallelism available in modern manycore CPUs. The computationally most expensive components of the solver are the repeated applications of the linear operator and the preconditioner. For discretisations based on higher-order Discontinuous Galerkin methods, sum-factorisation results in a dramatic reduction of the computational complexity of the operator application while, at the same time, the matrix-free implementation can run at a significant fraction of the theoretical peak floating point performance. Multigrid methods for high order methods often rely on block-smoothers to reduce high-frequency error components within one grid cell. Traditionally, this requires the assembly and expensive dense matrix solve in each grid cell, which counteracts any improvements achieved in the fast matrix-free operator application. To overcome this issue, we present a new matrix-free implementation of block-smoothers. Inverting the block matrices iteratively avoids storage and factorisation of the matrix and makes it is possible to harness the full power of the CPU. We implemented a hybrid multigrid algorithm with matrix-free block-smoothers in the high order DG space combined with a low order coarse grid correction using algebraic multigrid where only low order components are explicitly assembled. The effectiveness of this approach is demonstrated by solving a set of representative elliptic PDEs of increasing complexity, including a convection dominated problem and the stationary SPE10 benchmark.


title: The adaptive optics modes for HARMONI: from Classical to Laser Assisted Tomographic AO

abstract: HARMONI is a visible and NIR integral field spectrograph, providing the E-ELT's core spectroscopic capability at first light. HARMONI will work at the diffraction limit of the E-ELT, thanks to a Classical and a Laser Tomographic AO system. In this paper, we present the system choices that have been made for these SCAO and LTAO modules. In particular, we describe the strategy developed for the different Wave-Front Sensors: pyramid for SCAO, the LGSWFS concept, the NGSWFS path, and the truth sensor capabilities. We present first potential implementations. And we asses the first system performance.


title: How do public research labs use funding for research? A case study

abstract: This paper discusses how public research organizations consume funding for research, applying a new approach based on economic metabolism of research labs, in a broad analogy with biology. This approach is applied to a case study in Europe represented by one of the biggest European public research organizations, the National Research council of Italy. Results suggest that funding for research (state subsidy and public contracts) of this public research organization is mainly consumed for the cost of personnel. In addition, the analysis shows a disproportionate growth of the cost of personnel in public research labs in comparison with total revenue from government. In the presence of shrinking public research lab budgets, this organizational behavior generates inefficiencies and stress. R&D management and public policy implications are suggested for improving economic performance of public research organizations in turbulent markets.


title: Tunneling Through the Math Barrier: The Fledgling Physics Student's Field Guide to Essential Mathematics

abstract: [Taken from the "README" in the book] My goal with this book is to provide some kind of bridge for mathematics between the high-school-level and college-level for physics students. From my perspective, our job as physicists is to observe and understand the universe around us. Unfortunately our universe happens to be pretty complicated, at least from a mathematical point-of-view. However, a lot of the underlying physics | the underlying set of rules surrounding how things move and behave | is usually not too complicated. Sure, when we couple things together, everything turns disgusting, and we need to turn to really powerful computers or simulators to get a lot accomplished. But the basic rules are not that bad. My hope is to provide enough of a conceptual framework for you to learn to $read$ math as I saw a lot of other physicists do when I started my undergraduate career. I plan to cover some of the topics that tend to trip up a lot of physics students, although I could not cover these exhaustively. When I found that I should have covered more, but could not due to finite time constraints, I left a reference to other work that I think you may find helpful. However, unlike a lot of works, my focus is to help modify your thinking of how math is used, rather than just pummel you with algorithms for you to memorize without giving you the proper context for such algorithms. Whenever you find my explanations long-winded, feel free to proceed through faster. If you get stuck, you are always free to go back and see what I might have referenced before.


title: PID2018 Benchmark Challenge: learning feedforward control

abstract: The design and application of learning feedforward controllers (LFFC) for the one-staged refrigeration cycle model described in the PID2018 Benchmark Challenge is presented, and its effectiveness is evaluated. The control system consists of two components: 1) a preset PID component and 2) a learning feedforward component which is a function approximator that is adapted on the basis of the feedback signal. A B-spline network based LFFC and a low-pass filter based LFFC are designed to track the desired outlet temperature of evaporator secondary flux and the superheating degree of refrigerant at evaporator outlet. Encouraging simulation results are included. Qualitative and quantitative comparison results evaluations show that, with little effort, a high-performance control system can be obtained with this approach. Our initial simple attempt of low-pass filter based LFFC and B-spline network based LFFC give J=0.4902 and J=0.6536 relative to the decentralized PID controller, respectively. Besides, the initial attempt of a combination controller of our optimized PI controller and low-pass filter LFFC gives J=0.6947 relative to the multi-variable PID controller.


title: Riesz transforms, Cauchy-Riemann systems and amalgam Hardy spaces

abstract: In this paper we study Hardy spaces $\mathcal{H}^{p,q}(\mathbb{R}^d)$, $0<p,q<\infty$, modeled over amalgam spaces $(L^p,\ell^q)(\mathbb{R}^d)$. We characterize $\mathcal{H}^{p,q}(\mathbb{R}^d)$ by using first order classical Riesz transforms and compositions of first order Riesz transforms depending on the values of the exponents $p$ and $q$. Also, we describe the distributions in $\mathcal{H}^{p,q}(\mathbb{R}^d)$ as the boundary values of solutions of harmonic and caloric Cauchy-Riemann systems. We remark that caloric Cauchy-Riemann systems involve fractional derivative in the time variable. Finally we characterize the functions in $L^2(\mathbb{R}^d) \cap \mathcal{H}^{p,q}(\mathbb{R}^d)$ by means of Fourier multipliers $m_\theta$ with symbol $\theta(\cdot/|\cdot|)$, where $\theta \in C^\infty(\mathbb{S}^{d-1})$ and $\mathbb{S}^{d-1}$ denotes the unit sphere in $\mathbb{R}^d$.


title: Associative, idempotent, symmetric, and order-preserving operations on chains

abstract: We characterize the associative, idempotent, symmetric, and order-preserving operations on (finite) chains in terms of properties of (the Hasse diagram of) their associated semilattice order. In particular, we prove that the number of associative, idempotent, symmetric, and order-preserving operations on an $n$-element chain is the $n^{\text{th}}$ Catalan number.


title: Character-Level Models versus Morphology in Semantic Role Labeling

abstract: Character-level models have become a popular approach specially for their accessibility and ability to handle unseen data. However, little is known on their ability to reveal the underlying morphological structure of a word, which is a crucial skill for high-level semantic analysis tasks, such as semantic role labeling (SRL). In this work, we train various types of SRL models that use word, character and morphology level information and analyze how performance of characters compare to words and morphology for several languages. We conduct an in-depth error analysis for each morphological typology and analyze the strengths and limitations of character-level models that relate to out-of-domain data, training data size, long range dependencies and model complexity. Our exhaustive analyses shed light on important characteristics of character-level models and their semantic capability.


title: Optimizing Sparse Matrix-Vector Multiplication on Emerging Many-Core Architectures

abstract: Sparse matrix vector multiplication (SpMV) is one of the most common operations in scientific and high-performance applications, and is often responsible for the application performance bottleneck. While the sparse matrix representation has a significant impact on the resulting application performance, choosing the right representation typically relies on expert knowledge and trial and error. This paper provides the first comprehensive study on the impact of sparse matrix representations on two emerging many-core architectures: the Intel's Knights Landing (KNL) XeonPhi and the ARM-based FT-2000Plus (FTP). Our large-scale experiments involved over 9,500 distinct profiling runs performed on 956 sparse datasets and five mainstream SpMV representations. We show that the best sparse matrix representation depends on the underlying architecture and the program input. To help developers to choose the optimal matrix representation, we employ machine learning to develop a predictive model. Our model is first trained offline using a set of training examples. The learned model can be used to predict the best matrix representation for any unseen input for a given architecture. We show that our model delivers on average 95% and 91% of the best available performance on KNL and FTP respectively, and it achieves this with no runtime profiling overhead.


title: Stochastic 3D Leray-$\alpha$ Model with Fractional Dissipation

abstract: In this paper, we establish the global well-posedness of stochastic 3D Leray-$\alpha$ model with general fractional dissipation driven by multiplicative noise. This model is the stochastic 3D Navier-Stokes equation regularized through a smoothing kernel of order $\theta_1$ in the nonlinear term and a $\theta_2$-fractional Laplacian. In the case of $\theta_1 \ge 0, \theta_2 > 0$ and $\theta_1+\theta_2 \geq\frac{5}{4}$, we prove the global existence and uniqueness of strong solutions. The main results cover many existing works in the deterministic cases, and also generalize some known results of stochastic models as our special cases such as stochastic hyperviscous Navier-Stokes equation and classical stochastic 3D Leray-$\alpha$ model.


title: On minimal decompositions of low rank symmetric tensors

abstract: We use an algebraic approach to construct minimal decompositions of symmetric tensors with low rank. This is done by using Apolarity Theory and by studying minimal sets of reduced points apolar to a given symmetric tensor, namely, whose ideal is contained in the apolar ideal associated to the tensor. In particular, we focus on the structure of the Hilbert function of these ideals of points. We give a procedure which produces a minimal set of points apolar to any symmetric tensor of rank at most 5. This procedure is also implemented in the algebra software Macaulay2.


title: Homotopy Operators and Locality Theorems in Higher-Spin Equations

abstract: A new class of shifted homotopy operators in higher-spin gauge theory is introduced. A sufficient condition for locality of dynamical equations is formulated and Pfaffian Locality Theorem identifying a subclass of shifted homotopies that decrease the degree of non-locality in higher orders of the perturbative expansion is proven.


title: A Lagrangian Dual Based Approach to Sparse Linear Programming

abstract: A sparse linear programming (SLP) problem is a linear programming problem equipped with a sparsity (or cardinality) constraint, which is nonconvex and discontinuous theoretically and generally NP-hard computationally due to the combinatorial property involved. By rewriting the sparsity constraint into a disjunctive form, we present an explicit formula of its Lagrangian dual in terms of an unconstrained piecewise-linear convex programming problem which admits a strong duality. A semi-proximal alternating direction method of multipliers (sPADMM) is then proposed to solve this dual problem by taking advantage of the efficient computation of the proximal mapping of the vector Ky-Fan norm function. Based on the optimal solution of the dual problem, we design a dual-primal algorithm for pursuing a global solution of the original SLP problem. Numerical results illustrate that our proposed algorithm is promising especially for large-scale problems.


title: On the Philosophy of Higher Structures

abstract: The purpose of this paper is to describe and elaborate the philosophical ideas behind hyperstructures and structure formation in general and emphasize the key ideas of the Hyperstructure Program.


title: On the Mathematics of Higher Structures

abstract: In this paper we will relate hyperstructures and the general $\mathscr{H}$-principle to known mathematical structures, and also discuss how they may give rise to new mathematical structures. The main purpose is to point out new ideas and directions of investigation.


title: Is a Topology Change After a Big Rip Possible?

abstract: Motivated by condensed matter physical systems, in which a finite-time singularity indicates that the topology of the system changes, we critically examine the possibility of the Universe's topology change at a finite-time cosmological singularity. We emphasize on Big Rip and Type II and IV cosmological singularities, which we classify to future spacelike and timelike singularities. For the Type IV and Type II singularities, since no geodesics incompleteness occurs, no topological change is allowed, by using Geroch's theorem arguments. However, for the Big Rip case, Tipler's arguments allow a topology change, if the spacetime in which the topology change occurs is non-compact and the boundary of this region are two topologically distinct three dimensional spacelike partial Cauchy hypersurfaces. Also, some additional requirements must hold true, among which the weak energy condition, which can be satisfied in a geometric way in the context of a modified gravity. We critically examine Tipler's arguments for the Big Rip case, and we discuss the mathematical implications of such a topological change, with regard to the final hypersurface on which geodesics incompleteness occurs.


title: Leveraging Subspace Information for Low-Rank Matrix Reconstruction

abstract: The problem of low-rank matrix reconstruction arises in various applications in communications and signal processing. The state of the art research largely focuses on the recovery techniques that utilize affine maps satisfying the restricted isometry property (RIP). However, the affine map design and reconstruction under a priori information, i.e., column or row subspace information, has not been thoroughly investigated. To this end, we present designs of affine maps and reconstruction algorithms that fully exploit the low-rank matrix subspace information. Compared to the randomly generated affine map, the proposed affine map design permits an enhanced reconstruction. In addition, we derive an optimal representation of low-rank matrices, which is exploited to optimize the rank and subspace of the estimate by adapting them to the noise level in order to achieve the minimum mean square error (MSE). Moreover, in the case when the subspace information is not a priori available, we propose a two-step algorithm, where, in the first step, it estimates the column subspace of a low-rank matrix, and in the second step, it exploits the estimated information to complete the reconstruction. The simulation results show that the proposed algorithm achieves robust performance with much lower complexity than existing reconstruction algorithms.


title: Magnetotransport of a 2DEG with anisotropic Rashba interaction at the LaAlO$_3$/SrTiO$_3$ interface

abstract: We investigate the magnetotransport properties of a two-dimensional electron gas with anisotropic k-cubic Rashba interaction at the $\rm{LaAlO_3}$/$\rm{SrTiO_3}$ interface. The Landau levels and density of states of the system as well as the magnetotransport coefficients are evaluated. A somehow anomalous beating pattern in low magnetic field regime is found both in the density profile and magnetoresistivity. We discuss the impact of electron density, Landau level broadening and Rashba spin-orbit constant on the appearance of the beatings in low magnetic fields and find that at low electron concentrations and not very strong spin-orbit interactions the beatings smooth out. On the other hand, as the magnetic field increases, the Zeeman term becomes the dominant splitting mechanism leading to the spin-split peaks in SdH oscillations. We also show that the observation of the beatings in low magnetic fields needs a system with rather higher carrier concentration so that the beatings persist up to sufficiently large fields where the oscillations are not smoothed out by Landau level broadening. The quantum Hall plateaus are evaluated and we show the Chern number with both even and odd values is replaced by the odd numbers when two subband energies are close with spin degenerate energy levels. Along with the numerical evaluation of the magnetotransport properties, a perturbative calculation is also performed which can be used in the case of low densities and not very large filling factors.


title: Combining QED and QCD transverse-momentum resummation for Z boson production at hadron colliders

abstract: We consider the transverse-momentum ($q_T$) distribution of $Z$ bosons produced in hadronic collisions. At small values of $q_T$, we perform the analytic resummation of the logarithmically enhanced QED contributions up to next-to-leading logarithmic accuracy, including the mixed QCD-QED contributions at leading logarithmic accuracy. Resummed results are consistently matched with the next-to-leading fixed-order results (i.e. $\mathcal{O}(\alpha^2)$) at small, intermediate and large values of $q_T$. We combine the QED corrections with the known QCD results at next-to-next-to-leading order ($\mathcal{O}(\alpha_S^2)$) and next-to-next-to-leading logarithmic accuracy. We show numerical results at LHC and Tevatron energies, studying the impact of the QED corrections and providing an estimate of the corresponding perturbative uncertainty. Our analytic results for the combined QED and QCD resummation, obtained through an extension of the $q_T$ resummation formalism in QCD, are valid for the production of generic neutral and colourless high-mass systems in hadronic collision.


title: Fast L1-Minimization Algorithm for Sparse Approximation Based on an Improved LPNN-LCA framework

abstract: The aim of sparse approximation is to estimate a sparse signal according to the measurement matrix and an observation vector. It is widely used in data analytics, image processing, and communication, etc. Up to now, a lot of research has been done in this area, and many off-the-shelf algorithms have been proposed. However, most of them cannot offer a real-time solution. To some extent, this shortcoming limits its application prospects. To address this issue, we devise a novel sparse approximation algorithm based on Lagrange programming neural network (LPNN), locally competitive algorithm (LCA), and projection theorem. LPNN and LCA are both analog neural network which can help us get a real-time solution. The non-differentiable objective function can be solved by the concept of LCA. Utilizing the projection theorem, we further modify the dynamics and proposed a new system with global asymptotic stability. Simulation results show that the proposed sparse approximation method has the real-time solutions with satisfactory MSEs.


title: Electromagnetic radiation generated by a charged particle plunging into a Schwarzschild black hole: Multipolar waveforms and ringdowns

abstract: Electromagnetic radiation emitted by a charged particle plunging from slightly below the innermost stable circular orbit into a Schwarzschild black hole is examined. Both even- and odd-parity electromagnetic perturbations are considered. They are described by using gauge invariant master functions and the regularized multipolar waveforms as well as their unregularized counterparts constructed from the quasinormal-mode spectrum are obtained for arbitrary directions of observation and, in particular, outside the orbital plane of the plunging particle. They are in excellent agreement and the results especially emphasize the impact of higher harmonics on the distortion of the waveforms.


title: Fujiki class $\mathcal C$ and holomorphic geometric structures

abstract: For compact complex manifolds with vanishing first Chern class that are compact torus principal bundles over K\"ahler manifolds, we prove that all holomorphic geometric structures on them, of affine type, are locally homogeneous. For a compact simply connected complex manifold in Fujiki class $\mathcal C$, whose dimension is strictly larger than the algebraic dimension, we prove that it does not admit any holomorphic rigid geometric structure, and also it does not admit any holomorphic Cartan geometry of algebraic type. We prove that compact complex simply connected manifolds in Fujiki class $\mathcal {C}$ and with vanishing first Chern class do not admit any holomorphic Cartan geometry of algebraic type.


title: Adjacency and Tensor Representation in General Hypergraphs.Part 2: Multisets, Hb-graphs and Related e-adjacency Tensors

abstract: HyperBagGraphs (hb-graphs as short) extend hypergraphs by allowing the hyperedges to be multisets. Multisets are composed of elements that have a multiplicity. When this multiplicity has positive integer values, it corresponds to non ordered lists of potentially duplicated elements. We define hb-graphs as family of multisets over a vertex set; natural hb-graphs correspond to hb-graphs that have multiplicity function with positive integer values. Extending the definition of e-adjacency to natural hb-graphs, we define different way of building an e-adjacency tensor, that we compare before having a final choice of the tensor. This hb-graph e-adjacency tensor is used with hypergraphs.


title: The geometric algebra lift of qubits via basic solutions of Maxwell equation

abstract: Conventional quantum mechanical qubits can be lifted to states as even three dimensional geometric algebra operators that act on observables. The operators may be implemented via the two types of Maxwell equation solution polarizations. Solution of Maxwell equation in geometric algebra formalism gives g-qubits which are exact lifts of conventional qubits. Therefore, it unambiguously reveals actual meaning of complex parameters of qubits of the commonly accepted Hilbert space quantum mechanics and, particularly, directly demonstrates the option of instant nonlocality of states.


title: Long Short-Term Memory Networks for CSI300 Volatility Prediction with Baidu Search Volume

abstract: Intense volatility in financial markets affect humans worldwide. Therefore, relatively accurate prediction of volatility is critical. We suggest that massive data sources resulting from human interaction with the Internet may offer a new perspective on the behavior of market participants in periods of large market movements. First we select 28 key words, which are related to finance as indicators of the public mood and macroeconomic factors. Then those 28 words of the daily search volume based on Baidu index are collected manually, from June 1, 2006 to October 29, 2017. We apply a Long Short-Term Memory neural network to forecast CSI300 volatility using those search volume data. Compared to the benchmark GARCH model, our forecast is more accurate, which demonstrates the effectiveness of the LSTM neural network in volatility forecasting.


title: Simplicity of algebras via epsilon-strong systems

abstract: We obtain sufficient criteria for simplicity of systems, that is, rings $R$ that are equipped with a family of additive subgroups $R_s$, for $s \in S$, where $S$ is a semigroup, satisfying $R = \sum_{s \in S} R_s$ and $R_s R_t \subseteq R_{st}$, for $s,t \in S$. These criteria are specialized to obtain sufficient criteria for simplicity of, what we call, s-unital epsilon-strong systems, that is systems where $S$ is an inverse semigroup, $R$ is coherent, in the sense that for all $s,t \in S$ with $s \leq t$, the inclusion $R_s \subseteq R_t$ holds, and for each $s \in S$, the $R_s R_{s^*}$-$R_{s^*}R_s$-bimodule $R_s$ is s-unital. As an aplication of this, we obtain generalizations of recent criteria for simplicity of skew inverse semigroup rings, by Beuter, Goncalves, \"{O}inert and Royer, and then, in turn, for Steinberg algebras, over non-commutative rings, by Brown, Farthing, Sims, Steinberg, Clark and Edie-Michel.


title: Short-term Load Forecasting with Deep Residual Networks

abstract: We present in this paper a model for forecasting short-term power loads based on deep residual networks. The proposed model is able to integrate domain knowledge and researchers' understanding of the task by virtue of different neural network building blocks. Specifically, a modified deep residual network is formulated to improve the forecast results. Further, a two-stage ensemble strategy is used to enhance the generalization capability of the proposed model. We also apply the proposed model to probabilistic load forecasting using Monte Carlo dropout. Three public datasets are used to prove the effectiveness of the proposed model. Multiple test cases and comparison with existing models show that the proposed model is able to provide accurate load forecasting results and has high generalization capability.


title: Viscosity and self-diffusion of supercooled and stretched water from molecular dynamics simulations

abstract: Among the numerous anomalies of water, the acceleration of dynamics under pressure is particularly puzzling. Whereas the diffusivity anomaly observed in experiments has been reproduced in several computer studies, the parallel viscosity anomaly has received less attention. Here we simulate viscosity and self-diffusion coefficient of the TIP4P/2005 water model over a broad temperature and pressure range. We reproduce the experimental behavior, and find additional anomalies at negative pressure. The anomalous effect of pressure on dynamic properties becomes more pronounced upon cooling, reaching two orders of magnitude for viscosity at 220 K. We analyze our results with a dynamic extension of a thermodynamic two-state model, an approach which has proved successful in describing experimental data. Water is regarded as a mixture of interconverting species with contrasting dynamic behaviors, one being strong (Arrhenius), and the other fragile (non-Arrhenius). The dynamic parameters of the two-state models are remarkably close between experiment and simulations. The larger pressure range accessible to simulations suggests a modification of the dynamic two-state model, which in turn also improves the agreement with experimental data. Furthermore, our simulations demonstrate the decoupling between viscosity $\eta$ and self-diffusion coefficient $D$ as a function of temperature $T$. The Stokes-Einstein relation, which predicts a constant $D \eta/T$, is violated when $T$ is lowered, in connection with the Widom line defined by an equal fraction of the two interconverting species. These results provide a unifying picture of thermodynamics and dynamics in water, and call for experiments at negative pressure.


title: Minkowski, Schwarzschild and Kerr Metrics Revisited

abstract: In recent papers, a few physicists studying Black Hole perturbation theory in General Relativity have tried to construct the initial part of a differential sequence based on the Kerr metric, using methods similar to the ones they already used for studying the Schwarzschild geometry. Of course, such a differential sequence is well known for the Minkowski metric and successively contains the Killing (order 1), the Riemann (order 2) and the Bianchi (order 1 again) operators in the linearized framework, as a particular case of the {\it Vessiot structure equations}. In all these cases, they discovered that the {\it compatibility conditions} (CC) for the corresponding Killing operator were involving {\it a mixture of both second order and third order CC} and their idea has been to exhibit only a {\it minimal number of generating ones}. However, even if they exhibited a link between these differential sequences and the number of parameters of the Lie group preserving the background metric, they have been unable to provide an intrinsic explanation of this fact, being limited by the technical use of Weyl spinors, complex Teukolsky scalars or Killing-Yano tensors. Using the formal theory of systems of partial differential equations and Lie pseudogroups, the purpose of this difficult computational paper is to provide new intrinsic differential and homological methods involving the Spencer operator in order to revisit and solve these questions, not only in the previous cases but also in the specific case of any Lie group or Lie pseudogroup of transformations. These new tools are now available as computer algebra packages.


title: Algebraic Expression of Subjective Spatial and Temporal Patterns

abstract: Universal learning machine is a theory trying to study machine learning from mathematical point of view. The outside world is reflected inside an universal learning machine according to pattern of incoming data. This is subjective pattern of learning machine. In [2,4], we discussed subjective spatial pattern, and established a powerful tool -- X-form, which is an algebraic expression for subjective spatial pattern. However, as the initial stage of study, there we only discussed spatial pattern. Here, we will discuss spatial and temporal patterns, and algebraic expression for them.


title: A functional characterization of the Hurewicz property

abstract: For a Tychonoff space $X$, we denote by $C_p(X)$ the space of all real-valued continuous functions on $X$ with the topology of pointwise convergence. We give the functional characterization of the covering property of Hurewicz.


title: Quantum anomalous Hall effect in metal-bis(dithiolene), magnetic properties, doping and interfacing graphene

abstract: The realization of the Quantum anomalous Hall effect (QAHE) in two dimensional (2D) metal organic frameworks (MOFs), (MC$_4$S$_4$)$_3$ with M = Mn, Fe, Co, Ru and Rh, has been investigated based on a combination of first-principles calculations and tight binding models. Our results for the magnetic anisotropy energy (MAE) reveal that the out-of-plane (in-plane) magnetization is favored for M = Mn, Fe, and Ru (Co, and Rh). Given the structural symmetry of (MC$_4$S$_4$)$_3$, the QAHE takes place only for M = Mn, Fe and Ru. Such a quantum anomalous Hall phase has been confirmed through the calculation of the Chern number, and examining the formation of topologically protected (metallic) edge states. Further electron ($n$-type) doping of the MOFs has been done in order to place the Fermi level within the non-trivial energy gap; where we find that in (RuC$_4$S$_4$)$_3$, in addition to the up-shift of the Fermi level, the MAE energy increases by 40\%. Finally, we show that in MOF/graphene (vdW) interfaces, the Fermi level tunning can be done with an external electric field, which controls the charge transfer at the MOF/graphene interface, giving rise to switchable topologically protected edge currents in MOFs.


title: Black hole thermodynamics and generalized uncertainty principle with higher order terms in momentum uncertainty

abstract: In this paper we study the modification of thermodynamic properties of Schwarzschild and Reissner-Nordstr\"{o}m black hole in the framework of generalized uncertainty principle with correction terms upto fourth order in momentum uncertainty. The mass-temperature relation and the heat capacity for these black holes have been investigated. These have been used to obtain the critical and remnant masses. The entropy expression using this generalized uncertainty principle reveals the area law upto leading order logarithmic corrections and subleading corrections of the form $\frac{1}{A^n}$. The mass output and radiation rate using Stefan-Boltzmann law have been computed which show deviations from the standard case and the case with the simplest form for the generalized uncertainty principle.


title: GW170817: constraining the nuclear matter equation of state from the neutron star tidal deformability

abstract: Constraints set on key parameters of the nuclear matter equation of state (EoS) by the values of the tidal deformability, inferred from GW170817, are examined by using a diverse set of relativistic and non-relativistic mean field models. These models are consistent with bulk properties of finite nuclei as well as with the observed lower bound on the maximum mass of neutron star $\sim 2 ~ {\rm M}_\odot$. The tidal deformability shows a strong correlation with specific linear combinations of the isoscalar and isovector nuclear matter parameters associated with the EoS. Such correlations suggest that a precise value of the tidal deformability can put tight bounds on several EoS parameters, in particular, on the slope of the incompressibility and the curvature of the symmetry energy. The tidal deformability obtained from the GW170817 and its UV/optical/infrared counterpart sets the radius of a canonical $1.4~ {\rm M}_{\odot}$ neutron star to be $11.82\leqslant R_{1.4}\leqslant13.72$ km.


title: Tangential varieties of Segre-Veronese surfaces are never defective

abstract: We compute the dimensions of all the secant varieties to the tangential varieties of all Segre-Veronese surfaces. We exploit the typical approach of computing the Hilbert function of special 0-dimensional schemes on projective plane by using a new degeneration technique.


title: A Mini-Introduction To Information Theory

abstract: This article consists of a very short introduction to classical and quantum information theory. Basic properties of the classical Shannon entropy and the quantum von Neumann entropy are described, along with related concepts such as classical and quantum relative entropy, conditional entropy, and mutual information. A few more detailed topics are considered in the quantum case.


title: Standard Model Derivation from a 4-d Pseudo-Conformal Field Theory

abstract: Pseudo-conformal field theory (PCFT) is a 4-d action, which depends on the lorentzian Cauchy-Riemann (LCR) structure, determined by a tetrad satisfying precise integrability conditions. This LCR-tetrad defines a class of Einstein metrics and an electroweak U(2) connection. A static massive and a massless LCR-manifolds are found. The massive soliton is compatible with the Kerr-Newman manifold. Its two conjugate LCR-structures have g=2 gyromagnetic ratio and opposite charges, suggesting their identification with the electron and positron particles with a naked ring essential singularity. Their background CP(3) formulation bypasses the Hawking-Penrose singularity theorems. The massless LCR-manifold does not have a charge, suggesting its identification with the neutrino. The LCR-structure formalism provides the particles separated into left and right handed chiral parts, the left and right columns of the homogeneous coordinates of the grassmannian G(4,2). The electron LCR-tetrad explicitly provides its gravitational and electroweak potentials (dressings). Their distributional nature permit us to use the Bogoliubov causal perturbative approach (improved by Epstein-Glaser and Scharf et. al. techniques) as a pure mathematical harmonic expansion in the Gelfand rigged Hilbert-Fock space of tempered distributions of the Poincare representations (corresponding free fields). This S-matrix computational procedure in the proper Gelfand triplet, provides the standard model lagrangian for the electromagnetic, weak and Higgs interactions. The interacting terms and the relation between the masses and the coupling constants are implied by the Scharf et. al. operational algorithm on the free fields. In PCFT the computed gluon potential (static quark dressing) cannot be treated with the Bogoliubov procedure. Possible solutions of the dark matter and neutrino mixing problems are discussed.


title: Essential norm of generalized Hilbert matrix from Bloch type spaces to BMOA and Bloch space

abstract: Let $\mu$ be a positive Borel measure on the interval $[0,1)$. The Hankel matrix $\mathcal{H}_\mu=(\mu_{n+k})_{n,k\geq 0}$ with entries $\mu_{n,k}=\mu_{n+k}$ induces the operator $$ \mathcal{H}_\mu(f)(z)=\sum^\infty_{n=0}\left(\sum^\infty_{k=0}\mu_{n,k}a_k\right)z^n $$ on the space of all analytic functions $f(z)=\sum^\infty_{n=0}a_nz^n$ in the unit disk $\mathbb{D}$. In this paper, we characterize the boundedness and compactness of $\mathcal{H}_\mu$ from Bloch type spaces to the BMOA and the Bloch space. Moreover we obtain the essential norm of $\mathcal{H}_\mu$ from $\alpha$ Bloch type spaces to Bloch space and BMOA.


title: Families of superelliptic curves, complex braid groups and generalized Dehn twists

abstract: We consider the universal family $E_n^d$ of superelliptic curves: each curve $\Sigma_n^d$ in the family is a $d$-fold covering of the unit disk, totally ramified over a set $P$ of $n$ distinct points; $\Sigma_n^d\hookrightarrow E_n^d\to C_n$ is a fibre bundle, where $C_n$ is the configuration space of $n$ distinct points. We find that $E_n^d$ is the classifying space for the complex braid group of type $B(d,d,n)$ and we compute a big part of the integral homology of $E_n^d,$ including a complete calculation of the stable groups over finite fields by means of Poincar\`e series. The computation of the main part of the above homology reduces to the computation of the homology of the classical braid group with coefficients in the first homology group of $\Sigma_n^d,$ endowed with the monodromy action. While giving a geometric description of such monodromy of the above bundle, we introduce generalized $1\over d$-twists, associated to each standard generator of the braid group, which reduce to standard Dehn twists for $d=2.$


title: Current noise spectrum in a solvable model of tunneling Fermi-edge singularity

abstract: We consider tunneling of spinless electrons from a single channel emitter into an empty collector through an interacting resonant level of the quantum dot (QD). When all Coulomb screening of sudden charge variations of the dot during the tunneling is realized by the emitter channel, the system is mapped onto an exactly solvable model of a dissipative qubit. The qubit density matrix evolution is described with a generalized Bloch equation which permits us to count the tunneling electrons and find the charge transfer statistics. The two generating functions of the counting statistics of the charge transferred during the QD evolutions form its stationary and empty state have been expressed through each other. It is used to calculate the spectrum of the steady current noise and demonstrate occurrence of the bifurcation of its single zero-frequency minimum into two finite-frequency dips due to the qubit coherent dynamics.


title: Automatic Large-Scale Data Acquisition via Crowdsourcing for Crosswalk Classification: A Deep Learning Approach

abstract: Correctly identifying crosswalks is an essential task for the driving activity and mobility autonomy. Many crosswalk classification, detection and localization systems have been proposed in the literature over the years. These systems use different perspectives to tackle the crosswalk classification problem: satellite imagery, cockpit view (from the top of a car or behind the windshield), and pedestrian perspective. Most of the works in the literature are designed and evaluated using small and local datasets, i.e. datasets that present low diversity. Scaling to large datasets imposes a challenge for the annotation procedure. Moreover, there is still need for cross-database experiments in the literature because it is usually hard to collect the data in the same place and conditions of the final application. In this paper, we present a crosswalk classification system based on deep learning. For that, crowdsourcing platforms, such as OpenStreetMap and Google Street View, are exploited to enable automatic training via automatic acquisition and annotation of a large-scale database. Additionally, this work proposes a comparison study of models trained using fully-automatic data acquisition and annotation against models that were partially annotated. Cross-database experiments were also included in the experimentation to show that the proposed methods enable use with real world applications. Our results show that the model trained on the fully-automatic database achieved high overall accuracy (94.12%), and that a statistically significant improvement (to 96.30%) can be achieved by manually annotating a specific part of the database. Finally, the results of the cross-database experiments show that both models are robust to the many variations of image and scenarios, presenting a consistent behavior.


title: Identifying metric spinor phase with axion field from axion-fermion coupling and Weyl-Peccei Quinn spin transformations

abstract: Metric spinor phase of the Infeld-van der Waerden {\gamma}-formalism and axion field were identified in Ref. [1], by using Maxwell theory. Since axion couples with fermions, we will investigate Dirac theory to extend the work given in [1], showing that is possible again to identify this phase with the axion. By searching an exact identification, we will work yet the spin transformations to adapt chiral rotations and so to show that the metric spinor phase behaves exactly as required for the axion field. We will study also the Dirac-Maxwell system which provides a minimal Lagrangian approach for the axion classical sector and, finally, we will obtain an explicit 2-spinor description of magnetic monopole and its charge.


title: Two-stage Method for Millimeter Wave Channel Estimation

abstract: The millimeter wave is a promising technique for the next generation of mobile communication. The large antenna array is able to provide sufficient precoding gain to overcome the high pathloss at millimeter wave band. However, the accurate channel state information is the key for the precoding design. Unfortunately, the channel use overhead and complexity are two major challenges when estimating the channel with high-dimensional array. In this paper, we propose a two-stage approach which reduces the channel use overhead and the computational complexity. Specifically, in the first stage, we estimate the column subspace of the channel matrix. Based on the estimated column subspace, we design the training sounders to acquire the remaining coefficient matrix of the column subspace. By dividing the estimation task into two stages, the training sounders for the second stages are only targeted for the column subspace, which will save the channel uses and the computational complexity as well.


title: MolGAN: An implicit generative model for small molecular graphs

abstract: Deep generative models for graph-structured data offer a new angle on the problem of chemical synthesis: by optimizing differentiable models that directly generate molecular graphs, it is possible to side-step expensive search procedures in the discrete and vast space of chemical structures. We introduce MolGAN, an implicit, likelihood-free generative model for small molecular graphs that circumvents the need for expensive graph matching procedures or node ordering heuristics of previous likelihood-based methods. Our method adapts generative adversarial networks (GANs) to operate directly on graph-structured data. We combine our approach with a reinforcement learning objective to encourage the generation of molecules with specific desired chemical properties. In experiments on the QM9 chemical database, we demonstrate that our model is capable of generating close to 100% valid compounds. MolGAN compares favorably both to recent proposals that use string-based (SMILES) representations of molecules and to a likelihood-based method that directly generates graphs, albeit being susceptible to mode collapse. Code at https://github.com/nicola-decao/MolGAN


title: Duopoly Investment Problems with Minimally Bounded Adjustment Costs

abstract: In this paper, we study two-player investment problems with investment costs that are bounded below by some fixed positive constant. We seek a description of optimal investment strategies for a duopoly problem in which two firms invest in advertising projects to abstract market share from the rival firm. We show that the problem can be formulated as a stochastic differential game in which players modify a jump-diffusion process using impulse controls. We prove that the value of the game may be represented as a solution to a double obstacle quasi-variational inequality and derive a PDE characterisation (HJBI equation) of the value of the game. We characterise both the saddle point equilibrium and a Nash equilibrium for the zero-sum and non-zero-sum payoff games.


title: Asymptotic profile of solutions for strongly damped Klein-Gordon equations

abstract: We consider the Cauchy problem in the whole space for strongly damped Klein-Gordon equations. We derive asymptotic profles of solutions with weighted initial data by a simple method introduced by R. Ikehata. The obtained results show that the wave effect will be weak because of the mass term, especially in the low dimensional case (n = 1,2) as compared with the strongly damped wave equations without mass term (m = 0), so the most interesting topic in this paper is the n = 1,2 cases.


title: One-relator groups with torsion are coherent

abstract: We show that any one-relator group $G=F/\langle\langle w\rangle\rangle$ with torsion is coherent -- i.e., that every finitely generated subgroup of $G$ is finitely presented -- answering a 1974 question of Baumslag in this case.


title: New Lithium- and Diamine-Intercalated Superconductors Lix(CnH2n+4N2)yMoSe2 (n = 2, 6)

abstract: We have succeeded in synthesizing new intercalation superconductors Lix(C2H8N2)yMoSe2 and Lix(C6H16N2)yMoSe2 with Tc = 4.2 and 3.8-6.0 K, respectively, via the co-intercalation of lithium and ethylenediamine or hexamethylenediamine into semiconducting 2H-MoSe2. It has been found that the Tc values are related not to the interlayer spacing between MoSe2 layers so much but to the electronic density of states (EDOS) at the Fermi level. Moreover, only Li-intercalated LixMoSe2 with a small interlayer spacing has been found to be non-superconducting. Accordingly, it has been concluded that not only a sufficient amount of EDOS at the Fermi level due to the charge transfer from intercalated Li to MoSe2 layers but also the enhancement of the two-dimensionality of the crystal structure and/or electronic structure due to the expansion of the interlayer spacing between MoSe2 layers is necessary for the appearance of superconductivity in MoSe2-based intercalation superconductors. The pairing mechanism and the analogy to the superconductivity in the electric double-layer transistors of 2H-MoX2 (X = S, Se, Te) are discussed.


title: Kirchhoff-Love shell theory based on tangential differential calculus

abstract: The Kirchhoff-Love shell theory is recasted in the frame of the tangential differential calculus (TDC) where differential operators on surfaces are formulated based on global, three-dimensional coordinates. As a consequence, there is no need for a parametrization of the shell geometry implying curvilinear surface coordinates as used in the classical shell theory. Therefore, the proposed TDC-based formulation also applies to shell geometries which are zero-isosurfaces as in the level-set method where no parametrization is available in general. For the discretization, the TDC-based formulation may be used based on surface meshes implying element-wise parametrizations. Then, the results are equivalent to those obtained based on the classical theory. However, it may also be used in recent finite element approaches as the TraceFEM and CutFEM where shape functions are generated on a background mesh without any need for a parametrization. Numerical results presented herein are achieved with isogeometric analysis for classical and new benchmark tests. Higher-order convergence rates in the residual errors are achieved when the physical fields are sufficiently smooth.


title: A Simple Voting Protocol on Quantum Blockchain

abstract: This paper proposes a simple voting protocol based on quantum blockchain. Besides being simple, our voting protocol is anonymous, binding, non-reusable, verifiable, eligible, fair and self-tallying. Our protocol is also realizable by the current technology.


title: $\sigma$-PBW Extensions of Skew $\Pi$-Armendariz Rings

abstract: In this paper we present the notion of skew $\Pi$-Armendariz for the non-commutative rings known as $\sigma$-PBW extensions. This concept generalizes several definitions of Armendariz rings presented in the literature for these extensions, and in particular, for Ore extensions of injective type. We investigate the relations between skew $\Pi$-Armendariz, $\Sigma$-rigid, $(\Sigma,\Delta)$-skew Armendariz and $\Sigma$-skew Armendariz rings rings.


title: A New Model for Pricing Collateralized Financial Derivatives

abstract: This paper presents a new model for pricing financial derivatives subject to collateralization. It allows for collateral arrangements adhering to bankruptcy laws. As such, the model can back out the market price of a collateralized contract. This framework is very useful for valuing outstanding derivatives. Using a unique dataset, we find empirical evidence that credit risk alone is not overly important in determining credit-related spreads. Only accounting for both collateral posting and credit risk can sufficiently explain unsecured credit costs. This finding suggests that failure to properly account for collateralization may result in significant mispricing of derivatives. We also empirically gauge the impact of collateral agreements on risk measurements. Our findings indicate that there are important interactions between market and credit risk.


title: Skew Poincar\'e-Birkhoff-Witt extensions over weak $\Sigma$-rigid rings

abstract: In this paper we introduce the notion of weak $\Sigma$-rigid ring which extends $\alpha$-rigid rings and $\Sigma$-rigid rings defined for Ore extensions and skew PBW extensions, respectively. We also present the notion of weak $\Sigma$-skew Armendariz ring which extends that of $\alpha$-skew Armendariz ring. In this way we generalize several results in the literature, from Ore extensions of injective type to the more general setting of skew PBW extensions.


title: A law of large numbers for the range of rotor walks on periodic trees

abstract: The aim of the current work is to prove a law of large numbers for the range size of recurrent rotor walks with random initial configuration on a general class of trees, called periodic trees or directed covers of graphs.


title: Automatic generation of object shapes with desired functionalities

abstract: 3D objects (artefacts) are made to fulfill functions. Designing an object often starts with defining a list of functionalities that it should provide, also known as functional requirements. Today, the design of 3D object models is still a slow and largely artisanal activity, with few Computer-Aided Design (CAD) tools existing to aid the exploration of the design solution space. To accelerate the design process, we introduce an algorithm for generating object shapes with desired functionalities. Following the concept of form follows function, we assume that existing object shapes were rationally chosen to provide desired functionalities. First, we use an artificial neural network to learn a function-to-form mapping by analysing a dataset of objects labeled with their functionalities. Then, we combine forms providing one or more desired functions, generating an object shape that is expected to provide all of them. Finally, we verify in simulation whether the generated object possesses the desired functionalities, by defining and executing functionality tests on it.


title: Remarks about a generalized pseudo-relativistic Hartree equation

abstract: With appropriate hypotheses on the nonlinearity $f$, we prove the existence of a ground state solution $u$ for the problem \[(-\Delta+m^2)^\sigma u+Vu=\left(W*F(u)\right)f(u)\ \ \text{in }\ \mathbb{R}^{N},\] where $0<\sigma<1$, $V$ is a bounded continuous potential and $F$ the primitive of $f$. We also show results about the regularity of any solution of this problem.


title: Strange form factors of nucleon with nonlocal chiral effective Lagrangian

abstract: The strange form factors of nucleon are studied with the nonlocal chiral effective Lagrangian. One loop contributions from both octet and decuplet intermediate states are included. The relativistic regulator is obtained by the nonlocal Lagrangian where the gauge link is introduced to guarantee the local gauge symmetry. With the kaon loop, the calculated charge form factor is positive, while the magnetic form factor is negative. The strange magnetic moment is $-0.041^{+0.012}_{-0.014}$ with $\Lambda=0.9 \pm 0.1$ determined from the nucleon electromagnetic form factors. Our results are comparable with the recent lattice simulation.


title: l0-norm Based Centers Selection for Training Fault Tolerant RBF Networks and Selecting Centers

abstract: The aim of this paper is to train an RBF neural network and select centers under concurrent faults. It is well known that fault tolerance is a very attractive property for neural networks. And center selection is an important procedure during the training process of an RBF neural network. In this paper, we devise two novel algorithms to address these two issues simultaneously. Both of them are based on the ADMM framework. In the first method, the minimax concave penalty (MCP) function is introduced to select centers. In the second method, an l0-norm term is directly used, and the hard threshold (HT) is utilized to address the l0-norm term. Under several mild conditions, we can prove that both methods can globally converge to a unique limit point. Simulation results show that, under concurrent fault, the proposed algorithms are superior to many existing methods.


title: Unification and Logarithmic Space

abstract: We present an algebraic characterization of the complexity classes Logspace and Nlogspace, using an algebra with a composition law based on unification. This new bridge between unification and complexity classes is rooted in proof theory and more specifically linear logic and geometry of interaction. We show how to build a model of computation in the unification algebra and then, by means of a syntactic representation of finite permutations in the algebra, we prove that whether an observation (the algebraic counterpart of a program) accepts a word can be decided within logarithmic space. Finally, we show that the construction naturally corresponds to pointer machines, a convenient way of understanding logarithmic space computation.


title: Entropy-controlled Last-Passage Percolation

abstract: In the present article we consider a natural generalization of Hammersley's Last Passage Percolation (LPP) called Entropy-controlled Last Passage Percolation (E-LPP), where points can be collected by paths with a global (entropy) constraint which takes in account the whole structure of the path, instead of a local ($1$-Lipschitz) constraint as in Hammersley's LPP. The E-LPP turns out to be a key ingredient in the context of the directed polymer model when the environment is heavy-tailed, which we consider in the related paper [Berger and Torri, 2018]. We prove several estimates on the E-LPP in continuous and in discrete settings, which are of interest on their own. We give applications in the context of polymers in heavy-tail environment which are essentials tools in [Berger and Torri, 2018]: we show that the limiting variational problem conjectured by [Dey and Zygouras, 2016] (Conjecture 1.7) is finite, and we prove that the discrete variational problem converges to the continuous one, generalizing techniques used by [Auffinger-Louidor, 2011] and [Hambly and Martin, 2007].


title: Continuity of Pontryagin extremals with respect to delays in nonlinear optimal control

abstract: Consider a general nonlinear optimal control problem in finite dimension, with constant state and/or control delays. By the Pontryagin Maximum Principle, any optimal trajectory is the projection of a Pontryagin extremal. We establish that, under appropriate assumptions, Pontryagin extremals depend continuously on the parameter delays, for adequate topologies. The proof of the continuity of the trajectory and of the control is quite easy, however, for the adjoint vector, the proof requires a much finer analysis. The continuity property of the adjoint with respect to the parameter delay opens a new perspective for the numerical implementation of indirect methods, such as the shooting method. We also discuss the sharpness of our assumptions.


title: Hyperelliptic Curves over Small Finite Fields and GPU Accelerators

abstract: We present a hardware-accelerated computation of Hasse-Weil invariants of all hyperelliptic curves of given genus over a fixed finite field. Our main motivation is the determination of traces of Frobenius on cohomology corresponding moduli stacks \`a la Bergstr\"om-Faber-van-der-Geer. This paper also constitutes a case study of the performance of lookup table based Zech arithmetic on Graphics Processing Units (GPUs). GPUs are by now ubiquitous in numerics, to an extend that their development itself is propelled by scientific computing. Algebraic computing has profited very little from the advancement of hardware design. We suggest that specific computations can be benificially adjusted to GPUs with comparatively little effort.


title: On cohomological theory of dynamical zeta functions

abstract: We discuss about the conjectural cohomological theory of dynamical zeta functions in the case of general Anosov flows. Our aim is to provide a functional-analytic framework that enables us to justify the basic part of the theory rigorously. We show that the zeros and poles of a class of dynamical zeta functions, including the semi-classical (or Gutzwiller-Voros) zeta functions, are interpreted as eigenvalues of the generators of some transfer operators acting on the leaf-wise de Rham cohomology spaces of the unstable foliation.


title: Nonlocal Symmetries and Factorized Scattering

abstract: Conventionally, factorized scattering in two dimensions is argued to be a consequence of the conservation of local higher charges. However, integrability may well be realized via nonlocal charges, while higher local charges are not known. Here we address the question of whether a nonlocal Yangian symmetry implies factorized scattering of the S-matrix. We explicitly study the constraints on three-particle scattering processes of particles transforming in the fundamental representations of su(N), u(1|1), and the centrally extended su(2|2) underlying the dynamic scattering and hexagon form factors in AdS/CFT. These considerations shed light on the role of the Yangian as an axiomatic input for the bootstrap program for integrable theories.


title: Analysis of azimuthal phase mask coronagraphs

abstract: In this paper is presented an analytical study of the azimuthal phase-mask coronagraph currently envisioned for detecting and characterizing extra-solar planets. Special emphasis is put on the physical and geometrical interpretation of the mathematical development. Two necessary conditions are defined for achieving full extinction in the pupil plane of the coronagraph, stating that the complex amplitude generated by the phase mask should have zero average, on the one hand, and its Fourier coefficients should only be even, on the other hand. Examples of such phase functions are reviewed, including optical vortices, four-quadrant phase masks, and azimuthal cosine phase functions. Hints for building more sophisticated functions are also given. Finally, a simplified expression of light leaks due to mask imperfection is proposed


title: Phonon Boost Effect on the $S^{\pm}$-wave Superconductor with Incipient Band

abstract: We showed that the all phonons -- not only forward-scattering phonon but also local (all-momentum-scattering) phonon -- contribute to boosting $T_c$ of the $s^{\pm}$-wave pairing state in the incipient band model. In particular, when the incipient band sinks deeper, the phonon boost effect of the local phonon increases and becomes as effective as the one of the forward-scattering phonon. Our finding implies that all interface phonons -- not only the 90 $meV$ Fuchs-Kliewer (F-K) phonon but also the 60 $meV$ F-K phonon -- from the SrTiO$_3$ substrate and all intrinsic phonons of the FeSe monolayer itself should contribute to increase $T_c$ of the FeSe/STO monolayer system.


title: Robotics and Integrated Formal Methods: Necessity meets Opportunity

abstract: Robotic systems are multi-dimensional entities, combining both hardware and software, that are heavily dependent on, and influenced by, interactions with the real world. They can be variously categorised as embedded, cyberphysical, real-time, hybrid, adaptive and even autonomous systems, with a typical robotic system being likely to contain all of these aspects. The techniques for developing and verifying each of these system varieties are often quite distinct. This, together with the sheer complexity of robotic systems, leads us to argue that diverse formal techniques must be integrated in order to develop, verify, and provide certification evidence for, robotic systems. Furthermore, we propose the fast evolving field of robotics as an ideal catalyst for the advancement of integrated formal methods research, helping to drive the field in new and exciting directions and shedding light on the development of large-scale, dynamic, complex systems.


title: Synthetic photometry of globular clusters: Uncertainties on synthetic colors

abstract: Synthetic photometry is a great tool for studying globular clusters, especially for understanding the nature of their multiple populations. Our goal is to quantify the errors on synthetic photometry that are caused by uncertainties on stellar and observational/calibration parameters. These errors can be taken into account when building synthetic color-magnitude diagrams (CMDs) that are to be compared to observed CMDs. We have computed atmosphere models and synthetic spectra for two stars, Pollux and Procyon, that have stellar parameters typical of turn-off and bottom red giant branch stars in globular clusters. We then varied the effective temperature, surface gravity, microturbulence, the carbon, nitrogen, and oxygen abundances, and [Fe/H]. We quantified the effect on synthetic photometry in the following filters: Johnson UBVRI and HST F275W, F336W, F410M, F438W, F555W, F606W, and F814W. We estimated the effects of extinction, atmospheric correction, and of the Vega reference spectrum on the resulting photometry. We tested the ability of our models to reproduce the observed spectral energy distribution and observed photometry of the two stars. We show that variations are generally stronger in blue filters. Dispersions on synthetic colors due to uncertainties on stellar parameters vary between less than 0.01 and to 0.04 magnitude, depending on the choice of filters. Uncertainties on the zero points, the extinction law, or the atmospheric correction affect the resulting colors at a level of a few 0.01 magnitudes in a systematic way. The models reproduce the flux-calibrated spectral energy distribution of both stars well. Comparison between synthetic and observed UBVRI photometry shows a variable degree of (dis)agreement. The observed differences likely indicate that different calibration processes are performed to obtain respectively observed and synthetic photometry.


title: Rapidity scan in heavy ion collisions at $\sqrt{s_{\rm NN}}=72$~GeV using a viscous hydro + cascade model

abstract: In this note we discuss the rapidity dependence of the initial and final conditions for hydrodynamic evolution as well as the resulting basic hadronic observables in heavy ion collisions at $\sqrt{s_{\rm NN}}=72$ GeV in the framework of a viscous hydro+cascade model vHLLE+UrQMD. The resulting rapidity dependences are driven to a big extent by the initial state, which is simulated with the UrQMD cascade. The results can serve as a prediction for future experiments such as the AFTER@LHC or the BES-II program at STAR.


title: Reference-free Calibration in Sensor Networks

abstract: Sensor calibration is one of the fundamental challenges in large-scale IoT networks. In this article, we address the challenge of reference-free calibration of a densely deployed sensor network. Conventionally, to calibrate an in-place sensor network (or sensor array), a reference is arbitrarily chosen with or without prior information on sensor performance. However, an arbitrary selection of a reference could prove fatal, if an erroneous sensor is inadvertently chosen. To avert single point of dependence, and to improve estimator performance, we propose unbiased reference-free algorithms. Although, our focus is on reference-free solutions, the proposed framework, allows the incorporation of additional references, if available. We show with the help of simulations that the proposed solutions achieve the derived statistical lower bounds asymptotically. In addition, the proposed algorithms show improvements on real-life datasets, as compared to prevalent algorithms.


title: On Nichols algebras of infinite rank with finite Gelfand-Kirillov dimension

abstract: We classify infinite-dimensional decomposable braided vector spaces arising from abelian groups whose components are either points or blocks such that the corresponding Nichols algebras have finite Gelfand-Kirillov dimension. In particular we exhibit examples with $\operatorname{GKdim} = n$ for any natural number $n$.


title: Quantum Noise Theory of Exceptional Point Sensors

abstract: Distinct from closed quantum systems, non-Hermitian system can have exceptional points (EPs) where both eigenvalues and eigenvectors coalesce. Recently, it has been proposed and demonstrated that EPs can enhance the performance of sensors in terms of amplification of detected signal. Meanwhile, the noise might also be amplified at EPs and it is not obvious whether exceptional points will still improve the performance of sensors when both signal and noise are amplified. We develop quantum noise theory to systematically calculate the signal and noise associated with the EP sensors. We then compute quantum Fisher information to extract a lower bound of the sensitivity of EP sensors. Finally, we explicitly construct an EP sensing scheme based on heterodyne detection to achieve the same scaling of the ultimate sensitivity with enhanced performance. Our results can be generalized to higher order EPs for any bosonic non-Hermitian system with linear interactions.


title: Why Is My Classifier Discriminatory?

abstract: Recent attempts to achieve fairness in predictive models focus on the balance between fairness and accuracy. In sensitive applications such as healthcare or criminal justice, this trade-off is often undesirable as any increase in prediction error could have devastating consequences. In this work, we argue that the fairness of predictions should be evaluated in context of the data, and that unfairness induced by inadequate samples sizes or unmeasured predictive variables should be addressed through data collection, rather than by constraining the model. We decompose cost-based metrics of discrimination into bias, variance, and noise, and propose actions aimed at estimating and reducing each term. Finally, we perform case-studies on prediction of income, mortality, and review ratings, confirming the value of this analysis. We find that data collection is often a means to reduce discrimination without sacrificing accuracy.


title: Asymptotic theory for a Leidenfrost drop on a liquid pool

abstract: Droplets can be levitated by their own vapour when placed onto a superheated plate (the Leidenfrost effect). It is less known that the Leidenfrost effect can likewise be observed over a liquid pool (superheated with respect to the drop), which is the study case here. Emphasis is placed on an asymptotic analysis in the limit of small evaporation numbers, which proves to be a realistic one indeed for not so small drops. The global shapes are found to resemble "superhydrophobic drops" that follow from the equilibrium between capillarity and gravity. However, the morphology of the thin vapour layer between the drop and the pool is very different from that of classical Leidenfrost drops over a flat rigid substrate, and exhibits different scaling laws. We determine analytical expressions for the vapour thickness as a function of temperature and material properties, which are confirmed by numerical solutions. Surprisingly, we show that deformability of the pool suppresses the chimney instability of Leidenfrost drops.


title: Measurement-Device-Independent Twin-Field Quantum Key Distribution

abstract: The ultimate aim of quantum key distribution (QKD) is improving the performance of transmission distance and key generation speed. Unfortunately, it is believed to be limited by the secret-key capacity of quantum channel without quantum repeater. Recently, a novel twin-field QKD (TFQKD) [Nature 557, 400 (2018)] is proposed to break through the limit, where the key rate is proportional to the square-root of channel transmittance. Here, by using the vacuum and one-photon state as a qubit, we show that the TF-QKD can be regarded as a measurement-device-independent QKD (MDI-QKD) with single-photon Bell state measurement. Therefore, the MDI property of TF-QKD can be understood clearly. Importantly, the universal security proof theories can be directly used for the TF-QKD, such as BB84, six-state and reference-frame-independent schemes. Furthermore, we propose a feasible experimental scheme for the proof-of-principle experimental demonstration.


title: Combined MEG and fMRI Exponential Random Graph Modeling for inferring functional Brain Connectivity

abstract: Estimated connectomes by the means of neuroimaging techniques have enriched our knowledge of the organizational properties of the brain leading to the development of network-based clinical diagnostics. Unfortunately, to date, many of those network-based clinical diagnostics tools, based on the mere description of isolated instances of observed connectomes are noisy estimates of the true connectivity network. Modeling brain connectivity networks is therefore important to better explain the functional organization of the brain and allow inference of specific brain properties. In this report, we present pilot results on the modeling of combined MEG and fMRI neuroimaging data acquired during an n-back memory task experiment. We adopted a pooled Exponential Random Graph Model (ERGM) as a network statistical model to capture the underlying process in functional brain networks of 9 subjects MEG and fMRI data out of 32 during a 0-back vs 2-back memory task experiment. Our results suggested strong evidence that all the functional connectomes of the 9 subjects have small world properties. A group level comparison using comparing the conditions pairwise showed no significant difference in the functional connectomes across the subjects. Our pooled ERGMs successfully reproduced important brain properties such as functional segregation and functional integration. However, the ERGMs reproducing the functional segregation of the brain networks discriminated between the 0-back and 2-back conditions while the models reproducing both properties failed to successfully discriminate between both conditions. Our results are promising and would improve in robustness with a larger sample size. Nevertheless, our pilot results tend to support previous findings that functional segregation and integration are sufficient to statistically reproduce the main properties of brain network.


title: A Synergized Pulsing-Imaging Network (SPIN)

abstract: Currently, the deep neural network is the mainstream for machine learning, and being actively developed for biomedical imaging applications with an increasing emphasis on tomographic reconstruction for MRI, CT, and other imaging modalities. Multiple deep-learning-based approaches were applied to MRI image reconstruction from k-space samples to final images. Each of these studies assumes a given pulse sequence that produces incomplete and/or inconsistent data in the Fourier space, and targets a trained neural network that recovers an underlying image as close as possible to the ground truth. For the first time, in this paper we view data acquisition and the image reconstruction as the two key parts of an integrated MRI process, and optimize both the pulse sequence and the reconstruction scheme seamlessly in the machine learning framework. Our pilot simulation results show an exemplary embodiment of our new MRI strategy. Clearly, this work can be extended to other imaging modalities and their combinations as well, such as ultrasound imaging, and also potentially simultaneous emission-transmission tomography aided by polarized radiotracers.


title: Phase self-aligned continuous-variable measurement-device-independent quantum key distribution

abstract: Continuous-variable measurement-independent-device quantum key distribution (CV-MDI-QKD) can offer high secure key rate at metropolitan distance and remove all side channel loopholes of detection as well. However, there is no complete experimental demonstration of CV-MDI-QKD due to the remote distance phase-locking techniques challenge. Here, we present a new optical scheme to overcome this difficulty and also removes the requirement of two identical independent lasers. We anticipate that our new scheme can be used to demonstrate the in-field CV-MDI-QKD experiment and build the CV-MDI-QKD network with untrusted source.


title: Radio Galaxy Zoo: ClaRAN - A Deep Learning Classifier for Radio Morphologies

abstract: The upcoming next-generation large area radio continuum surveys can expect tens of millions of radio sources, rendering the traditional method for radio morphology classification through visual inspection unfeasible. We present ClaRAN - Classifying Radio sources Automatically with Neural networks - a proof-of-concept radio source morphology classifier based upon the Faster Region-based Convolutional Neutral Networks (Faster R-CNN) method. Specifically, we train and test ClaRAN on the FIRST and WISE images from the Radio Galaxy Zoo Data Release 1 catalogue. ClaRAN provides end users with automated identification of radio source morphology classifications from a simple input of a radio image and a counterpart infrared image of the same region. ClaRAN is the first open-source, end-to-end radio source morphology classifier that is capable of locating and associating discrete and extended components of radio sources in a fast (< 200 milliseconds per image) and accurate (>= 90 %) fashion. Future work will improve ClaRAN's relatively lower success rates in dealing with multi-source fields and will enable ClaRAN to identify sources on much larger fields without loss in classification accuracy.


title: Beam Discovery Using Linear Block Codes for Millimeter Wave Communication Networks

abstract: The surge in mobile broadband data demands is expected to surpass the available spectrum capacity below $6$ GHz. This expectation has prompted the exploration of millimeter wave (mm-wave) frequency bands as a candidate technology for next generation wireless networks. However, numerous challenges to deploying mm-wave communication systems, including channel estimation, need to be met before practical deployments are possible. This work addresses the mm-wave channel estimation problem and treats it as a beam discovery problem in which locating beams with strong path reflectors is analogous to locating errors in linear block codes. We show that a significantly small number of measurements (compared to the original dimensions of the channel matrix) is sufficient to reliably estimate the channel. We also show that this can be achieved using a simple and energy-efficient transceiver architecture.


title: A new scalar-tensor realization of Ho\v{r}ava-Lifshitz gravity

abstract: We discuss a new covariant scalar-tensor system aimed to realise Ho\v{r}ava proposal for a power-counting renormalizable theory of gravity, with the special feature of not propagating scalar degrees of freedom in an appropriate gauge. The theory is characterized by a new symmetry acting on the metric, that can protect the particular form of its interactions. The set-up spontaneously breaks Lorentz symmetry by means of a time-like scalar field profile. By selecting a unitary gauge for the scalar, we show that this theory describes the dynamics of a spin two degree of freedom, whose equations of motion contain two time derivatives and up to six spatial derivatives. We analytically determine asymptotically flat, spherically symmetric configurations, showing that there exists a branch of solutions physically equivalent to spherically symmetric configurations in General Relativity, also in the presence of matter fields.


title: High Resolution Spectroscopy using Fabry Perot Intereferometer Arrays: An Application to Searches for O$_{2}$ in Exoplanetary Atmospheres

abstract: We present a novel implementation for extremely high resolution spectroscopy using custom-designed Fabry Perot Interferometer (FPI) arrays. For a given telescope aperture at the seeing limited case, these arrays can achieve resolutions well in excess of ${\rm R\sim10^5}$ using optical elements orders of magnitude smaller in size than standard echelle spectrographs of similar resolution. We apply this method specifically to the search for molecular oxygen in exoplanetary atmospheres using the ${\rm O_2}$ A-band at 0.76 ${\rm \mu m}$, and show how a FPI array composed of $\sim10$ etalons with parameters optimized for this science case can record ${\rm R=3-5\,\cdot10^5}$ spectra covering the full ${\rm O_2}$ A-band. Using simulated observations of the atmosphere of a transiting nearby Earth-like planet, we show how observations with a FPI array coupled to a long-slit spectrograph can reduce the number of transit observations needed to produce a ${\rm 3\sigma}$ detection of ${\rm O_2}$ by $\sim30\%$ compared to observations with a ${\rm R=10^5}$ echelle spectrograph. This, in turn, leads to a decrease in an observing program duration of several years. The number of transits needed for a ${\rm 3\sigma}$ detection can be further reduced by increasing the efficiency of FPI arrays using dualons (an etalon with a buried reflective layer), and by coupling the FPI array to a dedicated spectrograph optimized for the ${\rm O_2}$ A-band.


title: Short-range antiferromagnetic correlations in the superconducting state of filled skutterudite alloys Pr$_{1-x}$Eu$_x$Pt$_4$Ge$_{12}$

abstract: Motivated by current research efforts towards exploring the interplay between magnetism and superconductivity in multiband electronic systems, we have investigated the effects of Eu substitution through thermodynamic measurements on the superconducting filled skutterudite alloys Pr$_{1-x}$Eu$_x$Pt$_4$Ge$_{12}$. An increase in Eu concentration leads to a suppression of the superconducting transition temperature consistent with an increase of magnetic entropy due to Eu local moments. While the low-temperature heat capacity anomaly is present over the whole doping range, we find that in alloys with $x\leq0.5$ the Schottky peaks in the heat capacity in the superconducting state appear to be due to Zeeman splitting by an internal magnetic field. Our theoretical modeling suggests that this field is a result of the short-range antiferromagnetic correlations between the europium ions. For the samples with $x > 0.5$, the peaks in the heat capacity signal the onset of antiferromagnetic (AFM) ordering of the Eu moments.


title: Composition law for the Cole-Cole relaxation and ensuing evolution equations

abstract: Physically natural assumption says that the any relaxation process taking place in the time interval $[t_{0},t_{2}]$, $t_{2} > t_{0}\ge 0$ may be represented as a composition of processes taking place during time intervals $[t_{0}, t_{1}]$ and $[t_{1},t_{2}]$ where $t_{1}$ is an arbitrary instant of time such that $t_{0} \leq t_{1} \leq t_{2}$. For the Debye relaxation such a composition is realized by usual multiplication which claim is not valid any longer for more advanced models of relaxation processes. We investigate the composition law required to be satisfied by the Cole-Cole relaxation and find its explicit form given by an integro-differential relation playing the role of the time evolution equation. The latter leads to differential equations involving fractional derivatives, either of the Caputo or the Riemann-Liouville senses, which are equivalent to the special case of the fractional Fokker-Planck equation satisfied by the Mittag-Leffler function known to describe the Cole-Cole relaxation in the time domain.


title: An extension of the Gluckstern formulas for multiple scattering: analytic expressions for track parameter resolution using optimum weights

abstract: Momentum, track angle and impact parameter resolution are key performance parameters that tracking detectors are optimised for. This report presents analytic expressions for the resolution of these parameters for equal and equidistant tracking layers. The expressions for the contribution from position resolution are based on the Gluckstern formulas and are well established. The expressions for the contribution from multiple scattering using optimum weights are discussed in detail.


title: Optimal Placement of Baseband Functions for Energy Harvesting Virtual Small Cells

abstract: Flexible functional split in Cloud Radio Access Network (CRAN) greatly overcomes fronthaul capacity and latency challenges. In such architecture, part of the baseband processing is done locally and the remaining is done remotely in the central cloud. On the other hand, Energy Harvesting (EH) technologies are increasingly adopted due to sustainability and economic advantages. Power consumption due to baseband processing has a huge share in the total power consumption breakdown of smaller base stations. Given that such base stations are powered by EH, in addition to QoS constraints, energy availability also conditions the decision on where to place each baseband function in the system. This work focuses on determining the performance bounds of an optimal placement of baseband functional split option in virtualized small cells that are solely powered by EH. The work applies Dynamic Programming (DP), in particular, Shortest Path search is used to determine the optimal functional split option considering traffic QoS requirements and available energy budget.


title: HT-AWGM: A Hierarchical Tucker-Adaptive Wavelet Galerkin Method for High Dimensional Elliptic Problems

abstract: This paper is concerned with the construction, analysis and realization of a numerical method to approximate the solution of high dimensional elliptic partial differential equations. We propose a new combination of an Adaptive Wavelet Galerkin Method (AWGM) and the well known Hierarchical Tensor (HT) format. The arising HT-AWGM is adaptive both in the wavelet representation of the low dimensional factors and in the tensor rank of the HT representation. The point of departure is an adaptive wavelet method for the HT format using approximate Richardson iterations from [1] and an AWGM method as described in [13]. HT-AWGM performs a sequence of Galerkin solves based upon a truncated preconditioned conjugate gradient (PCG) algorithm from [33] in combination with a tensor-based preconditioner from [3]. Our analysis starts by showing convergence of the truncated conjugate gradient method. The next step is to add routines realizing the adaptive refinement. The resulting HT-AWGM is analyzed concerning convergence and complexity. We show that the performance of the scheme asymptotically depends only on the desired tolerance with convergence rates depending on the Besov regularity of low dimensional quantities and the low rank tensor structure of the solution. The complexity in the ranks is algebraic with powers of four stemming from the complexity of the tensor truncation. Numerical experiments show the quantitative performance.


title: Robustifying Models Against Adversarial Attacks by Langevin Dynamics

abstract: Adversarial attacks on deep learning models have compromised their performance considerably. As remedies, a lot of defense methods were proposed, which however, have been circumvented by newer attacking strategies. In the midst of this ensuing arms race, the problem of robustness against adversarial attacks still remains unsolved. This paper proposes a novel, simple yet effective defense strategy where adversarial samples are relaxed onto the underlying manifold of the (unknown) target class distribution. Specifically, our algorithm drives off-manifold adversarial samples towards high density regions of the data generating distribution of the target class by the Metroplis-adjusted Langevin algorithm (MALA) with perceptual boundary taken into account. Although the motivation is similar to projection methods, e.g., Defense-GAN, our algorithm, called MALA for DEfense (MALADE), is equipped with significant dispersion - projection is distributed broadly, and therefore any whitebox attack cannot accurately align the input so that the MALADE moves it to a targeted untrained spot where the model predicts a wrong label. In our experiments, MALADE exhibited state-of-the-art performance against various elaborate attacking strategies.


title: Generalizing to Unseen Domains via Adversarial Data Augmentation

abstract: We are concerned with learning models that generalize well to different \emph{unseen} domains. We consider a worst-case formulation over data distributions that are near the source domain in the feature space. Only using training data from a single source distribution, we propose an iterative procedure that augments the dataset with examples from a fictitious target domain that is "hard" under the current model. We show that our iterative scheme is an adaptive data augmentation method where we append adversarial examples at each iteration. For softmax losses, we show that our method is a data-dependent regularization scheme that behaves differently from classical regularizers that regularize towards zero (e.g., ridge or lasso). On digit recognition and semantic segmentation tasks, our method learns models improve performance across a range of a priori unknown target domains.


title: Curve classes on irreducible holomorphic symplectic varieties

abstract: We prove that the integral Hodge conjecture holds for 1-cycles on irreducible holomorphic symplectic varieties of K3 type and of Generalized Kummer type. As an application, we give a new proof of the integral Hodge conjecture for cubic fourfolds.


title: Nucleation on a sphere: the roles of curvature, confinement and ensemble

abstract: By combining Monte Carlo simulations and analytical models, we demonstrate and explain how the gas-to-liquid phase transition of colloidal systems confined to a spherical surface depends on the curvature and size of the surface, and on the choice of thermodynamic ensemble. We find that the geometry of the surface affects the shape of the free energy profile and the size of the critical nucleus by altering the perimeter-area ratio of isotropic clusters. Confinement to a smaller spherical surface results in both a lower nucleation barrier and a smaller critical nucleus size. Furthermore, the liquid domain does not grow indefinitely on a sphere. Saturation of the liquid density in the grand canonical ensemble and the depletion of the gas phase in the canonical ensemble lead to a minimum in the free energy profile, with a sharp increase in free energy for additional growth beyond this minimum.


title: Towards Adversarial Configurations for Software Product Lines

abstract: Ensuring that all supposedly valid configurations of a software product line (SPL) lead to well-formed and acceptable products is challenging since it is most of the time impractical to enumerate and test all individual products of an SPL. Machine learning classifiers have been recently used to predict the acceptability of products associated with unseen configurations. For some configurations, a tiny change in their feature values can make them pass from acceptable to non-acceptable regarding users' requirements and vice-versa. In this paper, we introduce the idea of leveraging these specific configurations and their positions in the feature space to improve the classifier and therefore the engineering of an SPL. Starting from a variability model, we propose to use Adversarial Machine Learning techniques to create new, adversarial configurations out of already known configurations by modifying their feature values. Using an industrial video generator we show how adversarial configurations can improve not only the classifier, but also the variability model, the variability implementation, and the testing oracle.


title: On $q$-ratio CMSV for sparse recovery

abstract: Sparse recovery aims to reconstruct an unknown spare or approximately sparse signal from significantly few noisy incoherent linear measurements. As a kind of computable incoherence measure of the measurement matrix, $q$-ratio constrained minimal singular values (CMSV) was proposed in Zhou and Yu \cite{zhou2018sparse} to derive the performance bounds for sparse recovery. In this paper, we study the geometrical property of the $q$-ratio CMSV, based on which we establish new sufficient conditions for signal recovery involving both sparsity defect and measurement error. The $\ell_1$-truncated set $q$-width of the measurement matrix is developed as the geometrical characterization of $q$-ratio CMSV. In addition, we show that the $q$-ratio CMSVs of a class of structured random matrices are bounded away from zero with high probability as long as the number of measurements is large enough, therefore satisfy those established sufficient conditions. Overall, our results generalize the results in Zhang and Cheng \cite{zc} from $q=2$ to any $q\in(1,\infty]$ and complement the arguments of $q$-ratio CMSV from a geometrical view.


title: Coincidence landscapes for polarized bosons

abstract: Passive optical interferometry with single photons injected into some input ports and vacuum into others is enriched by admitting polarization, thereby replacing the scalar electromagnetic description by a vector theory, with the recent triad phase being a celebrated example of this richness. On the other hand, incorporating polarization into interferometry is known to be equivalent to scalar theory if the number of channels is doubled. We show that passive multiphoton $m$ channel interferometry described by SU($m$) transformations is replaced by SU($2m$) interferometry if polarization is included and thus that the multiphoton coincidence landscape, whose domain corresponds to various relative delays between photon arrival times, is fully explained by the now-standard approach of using immanants to compute coincidence sampling probabilities. Consequently, we show that the triad phase is manifested simply as SU(6) interferometry with three input photons, with one photon in each of three different input ports. Our analysis incorporates passive polarization multichannel interferometry into the existing scalar-field approach to computing multiphoton coincidence probabilities in interferometry and demystifies the triad phase.