title: Integrating Project Spatial Coordinates into Pavement Management Prioritization

abstract: To date, pavement management software products and studies on optimizing the prioritization of pavement maintenance and rehabilitation (M&R) have been mainly focused on three parameters; the pre-treatment pavement condition, the rehabilitation cost, and the available budget. Yet, the role of the candidate projects' spatial characteristics in the decision-making process has not been deeply considered. Such a limitation, predominately, allows the recommended M&R projects' schedule to involve simultaneously running but spatially scattered construction sites, which are very challenging to monitor and manage. This study introduces a novel approach to integrate pavement segments' spatial coordinates into the M&R prioritization analysis. The introduced approach aims at combining the pavement segments with converged spatial coordinates to be repaired in the same timeframe without compromising the allocated budget levels or the overall target Pavement Condition Index (PCI). Such a combination would result in minimizing the routing of crews, materials and other equipment among the construction sites and would provide better collaborations and communications between the pavement maintenance teams. Proposed herein is a novel spatial clustering algorithm that automatically finds the projects within a certain budget and spatial constrains. The developed algorithm was successfully validated using 1,800 pavement maintenance projects from two real-life examples of the City of Milton, GA and the City of Tyler, TX.


title: Distributed Filtering for Uncertain Systems Under Switching Sensor Networks and Quantized Communications

abstract: This paper considers the distributed filtering problem for a class of stochastic uncertain systems under quantized data flowing over switching sensor networks. Employing the biased noisy observations of the local sensor and interval-quantized messages from neighboring sensors successively, an extended state based distributed Kalman filter (DKF) is proposed for simultaneously estimating both system state and uncertain dynamics. To alleviate the effect of observation biases, an event-triggered update based DKF is presented with a tighter mean square error bound than that of the time-driven one by designing a proper threshold. Both the two DKFs are shown to provide the upper bounds of mean square errors online for each sensor. Under mild conditions on systems and networks, the mean square error boundedness and asymptotic unbiasedness for the proposed two DKFs are proved. Finally, the numerical simulations demonstrate the effectiveness of the developed filters.


title: On Convex Envelopes and Regularization of Non-Convex Functionals without moving Global Minima

abstract: We provide theory for the computation of convex envelopes of non-convex functionals including an l2-term, and use these to suggest a method for regularizing a more general set of problems. The applications are particularly aimed at compressed sensing and low rank recovery problems but the theory relies on results which potentially could be useful also for other types of non-convex problems. For optimization problems where the l2-term contains a singular matrix we prove that the regularizations never move the global minima. This result in turn relies on a theorem concerning the structure of convex envelopes which is interesting in its own right. It says that at any point where the convex envelope does not touch the non-convex functional we necessarily have a direction in which the convex envelope is affine.


title: An Answer to a Question of Zeilberger and Zeilberger about Fractional Counting of Partitions

abstract: We answer a question of Zeilberger and Zeilberger about certain partition statistics.


title: Regularized mean curvature flow for invariant hypersurfaces in a Hilbert space and its application to gauge theory

abstract: In this paper, we investigate a regularized mean curvature flow starting from an invariant hypersurface in a Hilbert space equipped with an isometric and almost free action of a Hilbert Lie group whose orbits are minimal regularizable submanifolds. We prove that, if the initial invariant hypersurface satisfies a certain kind of horizontally convexity condition and some additional conditions, then it collapses to an orbit of the Hilbert Lie group action along the regularized mean curvature flow. In the final section, we state a vision for applying the study of the regularized mean curvature flow to the gauge theory.


title: Enhanced collective Purcell effect of coupled quantum emitter systems

abstract: Cavity-embedded quantum emitters show strong modifications of free space radiation properties such as an enhanced decay known as the Purcell effect. The central parameter is the cooperativity $C$, the ratio of the square of the coherent cavity coupling strength over the product of cavity and emitter decay rates. For a single emitter, $C$ is independent of the transition dipole moment and dictated by geometric cavity properties such as finesse and mode waist. In a recent work [Phys. Rev. Lett. 119, 093601 (2017)] we have shown that collective excitations in ensembles of dipole-dipole coupled quantum emitters show a disentanglement between the coherent coupling to the cavity mode and spontaneous free space decay. This leads to a strong enhancement of the cavity cooperativity around certain collective subradiant antiresonances. Here, we present a quantum Langevin equations approach aimed at providing results beyond the classical coupled dipoles model. We show that the subradiantly enhanced cooperativity imprints its effects onto the cavity output field quantum correlations while also strongly increasing the cavity-emitter system's collective Kerr nonlinear effect.


title: Uniqueness for the inverse fixed angle scattering problem

abstract: We present a uniqueness result in dimensions $2$ and $3$ for the inverse fixed angle scattering problem associated to the Schr\"odinger operator $-\Delta+q$, where $q$ is a small real valued potential with compact support in the Sobolev space $W^{\beta,2}$ with $\beta>0.$ This result improves the known result, due to Stefanov, in the sense that almost no regularity is required for the potential. The uniqueness result still holds in dimension $4$, but for more regular potentials in $W^{\beta,2}$ with $\beta>2/3$.


title: Disentangling Latent Factors of Variational Auto-Encoder with Whitening

abstract: After deep generative models were successfully applied to image generation tasks, learning disentangled latent variables of data has become a crucial part of deep generative model research. Many models have been proposed to learn an interpretable and factorized representation of latent variable by modifying their objective function or model architecture. To disentangle the latent variable, some models show lower quality of reconstructed images and others increase the model complexity which is hard to train. In this paper, we propose a simple disentangling method based on a traditional whitening process. The proposed method is applied to the latent variables of variational auto-encoder (VAE), although it can be applied to any generative models with latent variables. In experiment, we apply the proposed method to simple VAE models and experiment results confirm that our method finds more interpretable factors from the latent space while keeping the reconstruction error the same as the conventional VAE's error.


title: Optimal control of a large dam with compound Poisson input and costs depending on water levels

abstract: This paper studies a discrete model of a large dam where the difference between lower and upper levels, $L$, is assumed to be large. Passage across the levels leads to damage, and the damage costs of crossing the lower or upper level are proportional to the large parameter $L$. Input stream of water is described by compound Poisson process, and the water cost depends upon current level of water in the dam. The aim of the paper is to choose the parameters of output stream (specifically defined in the paper) minimizing the long-run expenses that include the damage costs and water costs. The present paper addresses the important question \emph{How does the structure of water costs affect the optimal solution?} We prove the existence and uniqueness of a solution. A special attention is attracted to the case of linear structure of the costs. As well, the paper contributes to the theory of state-dependent queueing systems. The inter-relations between important characteristics of a state-dependent queueing system are established, and their asymptotic analysis that involves analytic techniques of Tauberian theory and heavy traffic approximations is provided.


title: General theory of Galilean gravity

abstract: We obtain the complete theory of Newton-Cartan gravity in a curved spacetime by considering the large $c$ limit of the vielbein formulation of General Relativity. Milne boosts originate from local Lorentzian transformations, and the special cases of torsionless and twistless torsional geometries are explained in the context of the larger locally Lorentzian theory. We write the action for Newton-Cartan fields in the first order Palatini formalism, and the large $c$ limit of the Einstein equations. Finally, we obtain the generalised Eisenhart-Duval lift of the metric that plays an important role in non-relativistic holography.


title: Microscopic Nuclei Classification, Segmentation and Detection with improved Deep Convolutional Neural Network (DCNN) Approaches

abstract: Due to cellular heterogeneity, cell nuclei classification, segmentation, and detection from pathological images are challenging tasks. In the last few years, Deep Convolutional Neural Networks (DCNN) approaches have been shown state-of-the-art (SOTA) performance on histopathological imaging in different studies. In this work, we have proposed different advanced DCNN models and evaluated for nuclei classification, segmentation, and detection. First, the Densely Connected Recurrent Convolutional Network (DCRN) model is used for nuclei classification. Second, Recurrent Residual U-Net (R2U-Net) is applied for nuclei segmentation. Third, the R2U-Net regression model which is named UD-Net is used for nuclei detection from pathological images. The experiments are conducted with different datasets including Routine Colon Cancer(RCC) classification and detection dataset, and Nuclei Segmentation Challenge 2018 dataset. The experimental results show that the proposed DCNN models provide superior performance compared to the existing approaches for nuclei classification, segmentation, and detection tasks. The results are evaluated with different performance metrics including precision, recall, Dice Coefficient (DC), Means Squared Errors (MSE), F1-score, and overall accuracy. We have achieved around 3.4% and 4.5% better F-1 score for nuclei classification and detection tasks compared to recently published DCNN based method. In addition, R2U-Net shows around 92.15% testing accuracy in term of DC. These improved methods will help for pathological practices for better quantitative analysis of nuclei in Whole Slide Images(WSI) which ultimately will help for better understanding of different types of cancer in clinical workflow.


title: Quantum non-Markovian processes break conditional past-future independence

abstract: For classical Markovian stochastic systems, past and future events become statistically independent when conditioned to a given state at the present time. Memory non-Markovian effects break this condition, inducing a non-vanishing conditional past-future correlation. Here, this classical memory indicator is extended to a quantum regime, which provides an operational definition of quantum non-Markovianity based on a minimal set of three time-ordered quantum system measurements and post-selection. The detection of memory effects through the measurement scheme is univocally related to departures from Born-Markov and white noise approximations in quantum and classical environments respectively.


title: Discovery potential of light sterile neutrinos with displaced vertices

abstract: Many models of new physics beyond the Standard Model are able to describe massive, long-lived particles with macroscopic decays, which can be reconstructed as displaced vertices inside the inner trackers of the LHC experiments. In addition, the lack of evidence of any new physics at the LHC motivates to perform more unconventional searches, such as looking for displaced vertices. I comment on the 13 TeV LHC reach with a proposed multitrack displaced vertex search strategy to probe light sterile neutrinos. Limits on active-sterile neutrino mixing are presented.


title: Optimized Hidden Markov Model based on Constrained Particle Swarm Optimization

abstract: As one of Bayesian analysis tools, Hidden Markov Model (HMM) has been used to in extensive applications. Most HMMs are solved by Baum-Welch algorithm (BWHMM) to predict the model parameters, which is difficult to find global optimal solutions. This paper proposes an optimized Hidden Markov Model with Particle Swarm Optimization (PSO) algorithm and so is called PSOHMM. In order to overcome the statistical constraints in HMM, the paper develops re-normalization and re-mapping mechanisms to ensure the constraints in HMM. The experiments have shown that PSOHMM can search better solution than BWHMM, and has faster convergence speed.


title: Analysis of Multilingual Sequence-to-Sequence speech recognition systems

abstract: This paper investigates the applications of various multilingual approaches developed in conventional hidden Markov model (HMM) systems to sequence-to-sequence (seq2seq) automatic speech recognition (ASR). On a set composed of Babel data, we first show the effectiveness of multi-lingual training with stacked bottle-neck (SBN) features. Then we explore various architectures and training strategies of multi-lingual seq2seq models based on CTC-attention networks including combinations of output layer, CTC and/or attention component re-training. We also investigate the effectiveness of language-transfer learning in a very low resource scenario when the target language is not included in the original multi-lingual training data. Interestingly, we found multilingual features superior to multilingual models, and this finding suggests that we can efficiently combine the benefits of the HMM system with the seq2seq system through these multilingual feature techniques.


title: Over-spinning Kerr-Sen black holes with test fields

abstract: In this work we investigate validity of the weak form of the cosmic censorship conjecture in the interaction of Kerr-Sen black holes with neutral test fields. Previous studies of the Klein-Gordon equation on Kerr-Sen background imply that superradiance occurs for scalar fields. We show that scalar fields can overspin a nearly extremal black hole into a naked singularity, but the modes that could overspin an extremal black hole are not absorbed due to superradiance. From Kerr analogy one can naively expect superradiance to be absent for fermionic fields. In such a case overspinning becomes generic and also applies to extremal Kerr-Sen black holes. This robust violation of cosmic censorship cannot be fixed by backreaction effects which are ignored in this work. These results are analogous to the Kerr case.


title: Lower bounds of gradient's blow-up for the Lam\'{e} system with partially infinite coefficients

abstract: In composite material, the stress may be arbitrarily large in the narrow region between two close-to-touching hard inclusions. The stress is represented by the gradient of a solution to the Lam\'{e} system of linear elasticity. The aim of this paper is to establish lower bounds of the gradients of solutions of the Lam\'{e} system with partially infinite coefficients as the distance between the surfaces of discontinuity of the coefficients of the system tends to zero. Combining it with the pointwise upper bounds obtained in our previous work, the optimality of the blow-up rate of gradients is proved for inclusions with arbitrary shape in dimensions two and three. The key to show this is that we find a blow-up factor, a linear functional of the boundary data, to determine whether the blow-up will occur or not.


title: The Low Rank Approximations and Ritz Values in LSQR For Linear Discrete Ill-Posed Problems

abstract: LSQR and its mathematically equivalent CGLS have been popularly used over the decades for large-scale linear discrete ill-posed problems, where the iteration number $k$ plays the role of the regularization parameter. It has been long known that if the Ritz values in LSQR converge to the large singular values of $A$ in natural order until its semi-convergence then LSQR must have the same the regularization ability as the truncated singular value decomposition (TSVD) method and can compute a 2-norm filtering best possible regularized solution. However, hitherto there has been no definitive rigorous result on the approximation behavior of the Ritz values in the context of ill-posed problems. In this paper, for severely, moderately and mildly ill-posed problems, we give accurate solutions of the two closely related fundamental and highly challenging problems on the regularization of LSQR: (i) How accurate are the low rank approximations generated by Lanczos bidiagonalization? (ii) Whether or not the Ritz values involved in LSQR approximate the large singular values of $A$ in natural order? We also show how to judge the accuracy of low rank approximations reliably during computation without extra cost. Numerical experiments confirm our results.


title: High fidelity single-pixel imaging

abstract: Single-pixel imaging (SPI) is an emerging technique which has attracts wide attention in various research fields. However, restricted by the low reconstruction quality and large amount of measurements, the practical application is still in its infancy. Inspired by the fact that natural scenes exhibit unique degenerate structures in the low dimensional subspace, we propose to take advantage of the local prior in convolutional sparse coding to implement high fidelity single-pixel imaging. Specifically, by statistically learning strategy, the target scene can be sparse represented on an overcomplete dictionary. The dictionary is composed of various basis learned from a natural image database. We introduce the above local prior into conventional SPI framework to promote the final reconstruction quality. Experiments both on synthetic data and real captured data demonstrate that our method can achieve better reconstruction from the same measurements, and thus consequently reduce the number of required measurements for same reconstruction quality.


title: CAAD 2018: Iterative Ensemble Adversarial Attack

abstract: Deep Neural Networks (DNNs) have recently led to significant improvements in many fields. However, DNNs are vulnerable to adversarial examples which are samples with imperceptible perturbations while dramatically misleading the DNNs. Adversarial attacks can be used to evaluate the robustness of deep learning models before they are deployed. Unfortunately, most of existing adversarial attacks can only fool a black-box model with a low success rate. To improve the success rates for black-box adversarial attacks, we proposed an iterated adversarial attack against an ensemble of image classifiers. With this method, we won the 5th place in CAAD 2018 Targeted Adversarial Attack competition.


title: TimeCrypt: Encrypted Data Stream Processing at Scale with Cryptographic Access Control

abstract: A growing number of devices and services collect detailed time series data that is stored in the cloud. Protecting the confidentiality of this vast and continuously generated data is an acute need for many applications in this space. At the same time, we must preserve the utility of this data by enabling authorized services to securely and selectively access and run analytics. This paper presents TimeCrypt, a system that provides scalable and real-time analytics over large volumes of encrypted time series data. TimeCrypt allows users to define expressive data access and privacy policies and enforces it cryptographically via encryption. In TimeCrypt, data is encrypted end-to-end, and authorized parties can only decrypt and verify queries within their authorized access scope. Our evaluation of TimeCrypt shows that its memory overhead and performance are competitive and close to operating on data in the clear.


title: Hardware-Efficient Structure of the Accelerating Module for Implementation of Convolutional Neural Network Basic Operation

abstract: This paper presents a structural design of the hardware-efficient module for implementation of convolution neural network (CNN) basic operation with reduced implementation complexity. For this purpose we utilize some modification of the Winograd minimal filtering method as well as computation vectorization principles. This module calculate inner products of two consecutive segments of the original data sequence, formed by a sliding window of length 3, with the elements of a filter impulse response. The fully parallel structure of the module for calculating these two inner products, based on the implementation of a naive method of calculation, requires 6 binary multipliers and 4 binary adders. The use of the Winograd minimal filtering method allows to construct a module structure that requires only 4 binary multipliers and 8 binary adders. Since a high-performance convolutional neural network can contain tens or even hundreds of such modules, such a reduction can have a significant effect.


title: Simplifying and Refactoring Introductory Calculus

abstract: First year calculus is often taught in a way that is very burdensome to the student. Students have to memorize a diversity of processes for essentially performing the same task. However, many calculus processes can be simplified and streamlined so that fewer concepts can provide more flexibility and capability for first-year students.


title: Differential Imaging of Local Perturbations in Anisotropic Periodic Media

abstract: We discuss the use of differential sampling method to image local perturbations in anisotropic periodic layers, extending earlier works on the isotropic case. We study in particular the new interior transmission problem that is associated with the inverse problem when only a single Floquet-Bloch mode is used. We prove Fredholm properties of this problem under similar assumptions as for classical interior transmission problems. The result of the analysis is then exploited to design an indicator function for the local perturbation. The resulting numerical algorithm is validated for two dimensional numerical experiments with synthetic data.


title: Non equilibrium anisotropic excitons in atomically thin ReS$_2$

abstract: We present a systematic investigation of the electronic properties of bulk and few layer ReS$_2$ van der Waals crystals using low temperature optical spectroscopy. Weak photoluminescence emission is observed from two non-degenerate band edge excitonic transitions separated by $\sim$ 20 meV. The comparable emission intensity of both excitonic transitions is incompatible with a fully thermalized (Boltzmann) distribution of excitons, indicating the hot nature of the emission. While DFT calculations predict bilayer ReS$_2$ to have a direct fundamental band gap, our optical data suggests that the fundamental gap is indirect in all cases.


title: Congruent and non-congruent hyperball packings related to doubly truncated Coxeter orthoschemes in hyperbolic $3$-space

abstract: In \cite{Sz17-2} we considered hyperball packings in $3$-dimensional hyperbolic space. We developed a decomposition algorithm that for each saturated hyperball packing provides a decomposition of $\HYP$ into truncated tetrahedra. In order to get a density upper bound for hyperball packings, it is sufficient to determine the density upper bound of hyperball packings in truncated simplices. Therefore, in this paper we examine the doubly truncated Coxeter orthoscheme tilings and the corresponding congruent and non-congruent hyperball packings. We proved that related to the mentioned Coxeter tilings the density of the densest congruent hyperball packing is $\approx 0.81335$ that is -- by our conjecture -- the upper bound density of the relating non-congruent hyperball packings too.


title: A Generalized Multifractal Formalism for the Estimation of Nonconcave Multifractal Spectra

abstract: Multifractal analysis has become a powerful signal processing tool that characterizes signals or images via the fluctuations of their pointwise regularity, quantified theoretically by the so-called multifractal spectrum. The practical estimation of the multifractal spectrum fundamentally relies on exploiting the scale dependence of statistical properties of appropriate multiscale quantities, such as wavelet leaders, that can be robustly computed from discrete data. Despite successes of multifractal analysis in various real-world applications, current estimation procedures remain essentially limited to providing concave upper-bound estimates, while there is a priori no reason for the multifractal spectrum to be a concave function. This work addresses this severe practical limitation and proposes a novel formalism for multifractal analysis that enables nonconcave multifractal spectra to be estimated in a stable way. The key contributions reside in the development and theoretical study of a generalized multifractal formalism to assess the multiscale statistics of wavelet leaders, and in devising a practical algorithm that permits this formalism to be applied to real-world data, allowing for the estimation of nonconcave multifractal spectra. Numerical experiments are conducted on several synthetic multifractal processes as well as on a real-world remote-sensing image and demonstrate the benefits of the proposed multifractal formalism over the state of the art.


title: Solar total and spectral irradiance reconstruction over the last 9000 years

abstract: Changes in solar irradiance and in its spectral distribution are among the main natural drivers of the climate on Earth. However, irradiance measurements are only available for less than four decades, while assessment of solar influence on Earth requires much longer records. The aim of this work is to provide the most up-to-date physics-based reconstruction of the solar total and spectral irradiance (TSI/SSI) over the last nine millennia. The concentrations of the cosmogenic isotopes 14C and 10Be in natural archives have been converted to decadally averaged sunspot numbers through a chain of physics-based models. TSI and SSI are reconstructed with an updated SATIRE model. Reconstructions are carried out for each isotope record separately, as well as for their composite. We present the first ever SSI reconstruction over the last 9000 years from the individual 14C and 10Be records as well as from their newest composite. The reconstruction employs physics-based models to describe the involved processes at each step of the procedure. Irradiance reconstructions based on two different cosmogenic isotope records, those of 14C and 10Be, agree well with each other in their long-term trends despite their different geochemical paths in the atmosphere of Earth. Over the last 9000 years, the reconstructed secular variability in TSI is of the order of 0.11%, or 1.5 W/m2. After the Maunder minimum, the reconstruction from the cosmogenic isotopes is consistent with that from the direct sunspot number observation. Furthermore, over the nineteenth century, the agreement of irradiance reconstructions using isotope records with the reconstruction from the sunspot number by Chatzistergos et al. (2017) is better than that with the reconstruction from the WDC-SILSO series (Clette et al. 2014), with a lower chi-square-value.


title: Magnetically-driven orbital-selective insulator-metal transition in double perovskite oxides

abstract: Interaction-driven metal-insulator transitions or Mott transitions are widely observed in condensed-matter systems. In multi-orbital systems, many-body physics is richer in which an orbital-selective metal-insulator transition is an intriguing and unique phenomenon. Here we use first-principles calculations to show that a magnetic transition (from paramagnetic to long-range magnetically ordered) can simultaneously induce an orbital-selective insulator-metal transition in rock-salt ordered double perovskite oxides $A_2BB'$O$_6$ where $B$ is a non-magnetic ion (Y$^{3+}$ and Sc$^{3+}$) and $B'$ a magnetic ion with a $d^3$ electronic configuration (Ru$^{5+}$ and Os$^{5+}$). The orbital selectivity originates from geometrical frustration of a face-centered-cubic lattice on which the magnetic ions $B'$ reside. Including realistic structural distortions and spin-orbit interaction do not affect the transition. The predicted orbital-selective transition naturally explains the anomaly observed in the electric resistivity of Sr$_2$YRuO$_6$. Implications of other available experimental data are also discussed. Our work shows that by exploiting geometrical frustration on non-bipartite lattices, novel electronic/magnetic/orbital-coupled phase transitions can occur in correlated materials that are in the vicinity of metal-insulator phase boundary.


title: Phase estimation algorithm for the multibeam optical metrology

abstract: Unitary Fourier transform lies at the core of the multitudinous computational and metrological algorithms. Here we show experimentally how the unitary Fourier transform-based phase estimation protocol, used namely in quantum metrology, can be translated into the classical linear optical framework. The developed setup made of beam splitters, mirrors and phase shifters demonstrates how the classical coherence, similarly to the quantum coherence, poses a resource for obtaining information about the measurable physical quantities. Our study opens route to the reliable implementation of the small-scale unitary algorithms on path-encoded qudits, thus establishing an easily accessible platform for unitary computation.


title: A note on the Alster, Menger and D-type properties

abstract: In this paper we give new characterizations for almost Menger and weakly Menger spaces by neighborhood assignments and define a natural weakening of almost D-spaces and weakly D-spaces.


title: Asymptotics of the gradient of solutions to the perfect conductivity problem

abstract: In the perfect conductivity problem of composite material, the gradient of solutions can be arbitrarily large when two inclusions are located very close. To characterize the singular behavior of the gradient in the narrow region between two inclusions, we capture the leading term of the gradient and give a fairly sharp description of such asymptotics.


title: Single-Layer Ferromagnetic and Piezoelectric CoAsS with Pentagonal Structure

abstract: Single-layer pentagonal materials are an emerging family of two-dimensional (2D) materials that could exhibit novel properties due to the building blocks being pentagons instead of hexagons as in numerous 2D materials. Based on our recently predicted single-layer pentagonal CoS$_2$ that is an antiferromagnetic (AFM) semiconductor, we replace two S atoms by As atoms in a unit cell to form single-layer pentagonal CoAsS. The resulting single-layer material is dynamically stable ac-cording to the phonon calculations. We find two drastic changes in the properties of single-layer pentagonal CoAsS in comparison with those of CoS$_2$. First, we find a magnetic transition from the AFM to FM ordering. We understand that the transition is caused by the lower electronegativity of As atoms, leading to the weakened bridging roles on the superexchange interactions be-tween Co ions. Single-layer pentagonal CoAsS also shows significantly stronger magnetocrystalline anisotropy energy due to stronger spin-orbit coupling. We additionally perform Monte Carlo simulations to calculate the Curie temperature of single-layer pentagonal CoAsS and the predicted Curie temperature is 103 K. Second, we find that single-layer pentagonal CoAsS exhibits piezoelectricity, which is absent in single-layer pentagonal CoS$_2$ due to its center of symmetry. The computed piezoelectric coefficients are also sizable. The rare coexistence of FM ordering and piezoelectric properties makes single-layer pentagonal CoAsS a promising multifunctional 2D material.


title: Tachyons as Dark Energy Quanta

abstract: I discuss the possibility that dark energy is a scalar field whose quanta are extremely light and very weakly interacting superluminal particles, i.e. tachyons, with purely imaginary mass $m = i\Gamma$ with $\Gamma$ real.


title: Functional inequalities for Feynman-Kac semigroups

abstract: Using the tools of stochastic analysis, we prove various gradient estimates and Harnack inequalities for Feynman-Kac semigroups with possibly unbounded potentials. One of the main results is a derivative formula which can be used to characterize a lower bound on Ricci curvature using a potential.


title: Optimal Designs for Minimax-Criteria in Random Coefficient Regression Models

abstract: We consider minimax-optimal designs for the prediction of individual parameters in random coefficient regression models. We focus on the minimax-criterion, which minimizes the "worst case" for the basic criterion with respect to the covariance matrix of random effects. We discuss particular models: linear and quadratic regression, in detail.


title: A rigorous calculation of the Feynman and Wheeler Scalar Fields propagators in the ADS / CFT correspondence using distribution theory

abstract: By appeal to Distribution Theory we discuss in rigorous fashion, without appealing to {\bf any conjecture} (as usually done by other authors), the boundary-bulk propagators for the scalar field, both in the non-massive and massive cases. These calculations, new in the literature as far as we know, are carried out in two instances: (i) when the boundary is a Euclidean space and (ii) when it is of Minkowskian nature. In this last case we compute also three propagators: Feynman's, Anti-Feynman's, and Wheeler's (half advanced plus half retarded). For an operator corresponding to scalar field we obtain the two points correlations functions in the three instances above mentioned


title: Coupling QCD-scale axion-like particles to gluons

abstract: We present a novel data-driven method for determining the hadronic interaction strengths of axion-like particles (ALPs) with QCD-scale masses. Using our method, it is possible to calculate the hadronic production and decay rates of ALPs, along with many of the largest ALP decay rate to exclusive final states. To illustrate the impact on QCD-scale ALP phenomenology, we consider the scenario where the ALP-gluon coupling is dominant over the ALP coupling to photons, electroweak bosons, and all fermions for $m_{\pi} \lesssim m_a \lesssim 3$ GeV. We emphasize, however, that our method can easily be generalized to any set of ALP couplings to SM particles. Finally, using the approach developed here, we provide calculations for the branching fractions of $\eta_c \to VV$ decays, i.e. $\eta_c$ decays into two vector mesons, which are consistent with the known experimental values.


title: Orthogonal polynomials with ultra-exponential weight functions: an explicit solution to the Ditkin-Prudnikov problem

abstract: New sequences of orthogonal polynomials with ultra-exponential weight functions are discovered. In particular, it gives an explicit solution to the Ditkin-Prudnikov problem (1966). The 3-term recurrence relations, explicit representations, generating functions and Rodrigues type formulae are derived. The method is based on differential properties of the involved special functions and their representations in terms of the Mellin-Barnes and Laplace integrals. A notion of the composition polynomial orthogonality is introduced. The corresponding advantages of this orthogonality to discover new sequences of polynomials and their relations to the corresponding multiple orthogonal polynomial ensembles are shown.


title: Low scale type II seesaw: Present constraints and prospects for displaced vertex searches

abstract: The type II seesaw mechanism is an attractive way to generate the observed light neutrino masses. It postulates a SU(2)$_\mathrm{L}$-triplet scalar field, which develops an induced vacuum expectation value after electroweak symmetry breaking, giving masses to the neutrinos via its couplings to the lepton SU(2)$_\mathrm{L}$-doublets. When the components of the triplet field have masses around the electroweak scale, the model features a rich phenomenology. We discuss the current allowed parameter space of the minimal low scale type II seesaw model, taking into account all relevant constraints, including charged lepton flavour violation as well as collider searches. We point out that the symmetry protected low scale type II seesaw scenario, where an approximate "lepton number"-like symmetry suppresses the Yukawa couplings of the triplet to the lepton doublets, is still largely untested by the current LHC results. In part of this parameter space the triplet components can be long-lived, potentially leading to a characteristic displaced vertex signature where the doubly-charged component decays into same-sign charged leptons. By performing a detailed analysis at the reconstructed level we find that already at the current run of the LHC a discovery would be possible for the considered parameter point, via dedicated searches for displaced vertex signatures. The discovery prospects are further improved at the HL-LHC and the FCC-hh/SppC.


title: WISE J064336.71-022315.4: A Thick Disk L8 Gaia DR2-Discovered Brown Dwarf at 13.9 Parsecs

abstract: While spectroscopically characterizing nearby ultracool dwarfs discovered in the Gaia Second Data Release with the TripleSpec spectrograph on the Palomar 200'' telescope, we encountered a particularly cool, nearby, new member of the solar neighborhood: Gaia DR2 3106548406384807680 = WISE J064336.71-022315.4 = 2MASS J06433670-0223130. The $\it{Gaia}$ parallax corresponds to a distance of 13.9 $\pm$ 0.3 pc. Using our TripleSpec spectrum we classify W0643 as spectral type L8, and measured a heliocentric radial velocity of 142 $\pm$ 12 km s$^{-1}$. When combined with $\it{Gaia}$ astrometry, we determine a Galactic velocity (heliocentric; $U$ towards Galactic center) of $U, V, W$ = -109, -91, -12 ($\pm$10, 5, 3) km s$^{-1}$. We estimate that W0643 passed within $\sim$1.4 pc away from the Sun $\sim$100,000 years ago.


title: Multi-view Laplacian Eigenmaps Based on Bag-of-Neighbors For RGBD Human Emotion Recognition

abstract: Human emotion recognition is an important direction in the field of biometric and information forensics. However, most existing human emotion research are based on the single RGB view. In this paper, we introduce a RGBD video-emotion dataset and a RGBD face-emotion dataset for research. To our best knowledge, this may be the first RGBD video-emotion dataset. We propose a new supervised nonlinear multi-view laplacian eigenmaps (MvLE) approach and a multihidden-layer out-of-sample network (MHON) for RGB-D humanemotion recognition. To get better representations of RGB view and depth view, MvLE is used to map the training set of both views from original space into the common subspace. As RGB view and depth view lie in different spaces, a new distance metric bag of neighbors (BON) used in MvLE can get the similar distributions of the two views. Finally, MHON is used to get the low-dimensional representations of test data and predict their labels. MvLE can deal with the cases that RGB view and depth view have different size of features, even different number of samples and classes. And our methods can be easily extended to more than two views. The experiment results indicate the effectiveness of our methods over some state-of-art methods.


title: A Program Logic for First-Order Encapsulated WebAssembly

abstract: We introduce Wasm Logic, a sound program logic for first-order, encapsulated WebAssembly. We design a novel assertion syntax, tailored to WebAssembly's stack-based semantics and the strong guarantees given by WebAssembly's type system, and show how to adapt the standard separation logic triple and proof rules in a principled way to capture WebAssembly's uncommon structured control flow. Using Wasm Logic, we specify and verify a simple WebAssembly B-tree library, giving abstract specifications independent of the underlying implementation. We mechanise Wasm Logic and its soundness proof in full in Isabelle/HOL. As part of the soundness proof, we formalise and fully mechanise a novel, big-step semantics of WebAssembly, which we prove equivalent, up to transitive closure, to the original WebAssembly small-step semantics. Wasm Logic is the first program logic for WebAssembly, and represents a first step towards the creation of static analysis tools for WebAssembly.


title: Unification of Flavor SU(3) Analyses of Heavy Hadron Weak Decays

abstract: Analyses of heavy mesons and baryons hadronic charmless decays using the flavor SU(3) symemtry can be formulated in two different forms. One is to construct the SU(3) irreducible representation amplitude (IRA) by decomposing effective Hamiltonian, and the other is to draw the topological diagrams (TDA). In the flavor SU(3) limit, we study various $B/D\to PP,VP,VV$, $B_c\to DP/DV$ decays, and two-body nonleptonic decays of beauty/charm baryons, and demonstrate that when all terms are included these two ways of analyzing the decay amplitudes are completely equivalent. Furthermore we clarify some confusions in drawing topological diagrams using different ways of describing beauty/charm baryons.


title: Distance-based Protein Folding Powered by Deep Learning

abstract: Contact-assisted protein folding has made very good progress, but two challenges remain. One is accurate contact prediction for proteins lack of many sequence homologs and the other is that time-consuming folding simulation is often needed to predict good 3D models from predicted contacts. We show that protein distance matrix can be predicted well by deep learning and then directly used to construct 3D models without folding simulation at all. Using distance geometry to construct 3D models from our predicted distance matrices, we successfully folded 21 of the 37 CASP12 hard targets with a median family size of 58 effective sequence homologs within 4 hours on a Linux computer of 20 CPUs. In contrast, contacts predicted by direct coupling analysis (DCA) cannot fold any of them in the absence of folding simulation and the best CASP12 group folded 11 of them by integrating predicted contacts into complex, fragment-based folding simulation. The rigorous experimental validation on 15 CASP13 targets show that among the 3 hardest targets of new fold our distance-based folding servers successfully folded 2 large ones with <150 sequence homologs while the other servers failed on all three, and that our ab initio folding server also predicted the best, high-quality 3D model for a large homology modeling target. Further experimental validation in CAMEO shows that our ab initio folding server predicted correct fold for a membrane protein of new fold with 200 residues and 229 sequence homologs while all the other servers failed. These results imply that deep learning offers an efficient and accurate solution for ab initio folding on a personal computer.


title: A holistic look at requirements engineering practices in the gaming industry

abstract: In this work we present an account of the status of requirements engineering in the gaming industry. Recent papers in the area were surveyed. Characterizations of the gaming industry were deliberated upon by portraying its relations with the market industry. Some research directions in the area of requirements engineering in the gaming industry were also mentioned.


title: Stacking and interlayer electron transport in MoS2

abstract: In this work, we investigate the effect of the stacking sequence in MoS2 multilayer systems on their electron transport properties, through first-principles simulations of structural and electron transport properties. We show that interlayer electron transport is highly sensitive to the stacking sequence of the multilayers, with specific sequences producing much higher electron transmission due to larger orbital interactions and band structure effects. These results explain contrasting experimental evidence on interlayer transport measurements as due to imperfect structural control, provide insight on modeling and suggest ways to improve the performance of electron devices based on MoS2 multilayer systems via multilayer structure engineering.


title: Multi-resolution dimer models in heat baths with short-range and long-range interactions

abstract: This work investigates multi-resolution methodologies for simulating dimer models. The solvent particles which make up the heat bath interact with the monomers of the dimer either through direct collisions (short-range) or through harmonic springs (long-range). Two types of multi-resolution methodologies are considered in detail: (a) describing parts of the solvent far away from the dimer by a coarser approach; (b) describing each monomer of the dimer by using a model with different level of resolution. These methodologies are then utilised to investigate the effect of a shared heat bath versus two uncoupled heat baths, one for each monomer. Furthermore the validity of the multi-resolution methods is discussed by comparison to dynamics of macroscopic Langevin equations.


title: Giant anomalous Nernst effect in the magnetic Weyl semimetal Co3Sn2S2

abstract: In ferromagnetic solids, even in absence of magnetic field, a transverse voltage can be generated by a longitudinal temperature gradient. This thermoelectric counterpart of the Anomalous Hall effect (AHE) is dubbed the Anomalous Nernst effect (ANE). Expected to scale with spontaneous magnetization, both these effects arise because of the Berry curvature at the Fermi energy. Here, we report the observation of a giant ANE in a newly-discovered magnetic Weyl semimetal Co$_3$Sn$_2$S$_2$ crystal. Hall resistivity and Nernst signal both show sharp jumps at a threshold field and exhibit a clear hysteresis loop below the ferromagnetic transition temperature. The ANE signal peaks a maximum value of about 5 miuV/K which is comparable to the largest seen in any magnetic material. Moreover, the anomalous transverse thermoelectric conductivity becomes as large as about 10 A/K.m at 70 K, the largest in known semimetals. The observed ANE signal is much larger than what is expected according to the magnetization.


title: Speech Enhancement Based on Reducing the Detail Portion of Speech Spectrograms in Modulation Domain via Discrete Wavelet Transform

abstract: In this paper, we propose a novel speech enhancement (SE) method by exploiting the discrete wavelet transform (DWT). This new method reduces the amount of fast time-varying portion, viz. the DWT-wise detail component, in the spectrogram of speech signals so as to highlight the speech-dominant component and achieves better speech quality. A particularity of this new method is that it is completely unsupervised and requires no prior information about the clean speech and noise in the processed utterance. The presented DWT-based SE method with various scaling factors for the detail part is evaluated with a subset of Aurora-2 database, and the PESQ metric is used to indicate the quality of processed speech signals. The preliminary results show that the processed speech signals reveal a higher PESQ score in comparison with the original counterparts. Furthermore, we show that this method can still enhance the signal by totally discarding the detail part (setting the respective scaling factor to zero), revealing that the spectrogram can be down-sampled and thus compressed without the cost of lowered quality. In addition, we integrate this new method with conventional speech enhancement algorithms, including spectral subtraction, Wiener filtering, and spectral MMSE estimation, and show that the resulting integration behaves better than the respective component method. As a result, this new method is quite effective in improving the speech quality and well additive to the other SE methods.


title: Discrete splicing theorem for noise sensitivity of invasion percolation

abstract: We state and prove a version for invasion percolation of Schramm and Smirnov's (2001) discrete gluing theorem for critical planar percolation. The result is a first step toward establishing factorization and characterizing noise sensitivity for invasion percolation.


title: Statistical study of uncertainties in the diffusion rate of species on interstellar ice and its impact on chemical model predictions

abstract: Context: Diffusion of species on the dust surface is a key process for determining the chemical composition of interstellar ices. On the dust surface, adsorbed species diffuse from one potential well to another and react with other adsorbed reactants, resulting in the formation of simple and complex molecules. Aims: We study the impact on the abundances of the species simulated by the chemical codes by considering the uncertainties in the diffusion energy of adsorbed species. We aim to limit the uncertainties in the abundances as calculated by chemical codes by identifying the surface species that result in a larger error because of the uncertainties in their diffusion energy. Methods: We ran various cases with 2000 to 10000 simulations in each case and varied the diffusion energies of some or all surface species randomly. We calculated Pearson correlation coefficients between the abundances and the ratio of diffusion to binding energy of adsorbed species. We identified the species that introduce maximum uncertainty in the ice and gas-phase abundances. With these species we ran three sets, with 2000 simulations in each, to quantify the uncertainties they introduce. Results: We present the abundances of various molecules in the gas phase and also on the dust surface at different time intervals during the simulation. We show which species produce a large uncertainty in the abundances. We sorted species into different groups in accordance with their importance in propagating uncertainty in the chemical network. Conclusions: We show that CO, H$_2$, O, N, and CH$_3$ are the key species for uncertainties in the abundances, while CH$_2$, HCO, S and O$_2$ come next, followed by NO, HS, and CH. We also show that by limiting the uncertainties in the ratio of diffusion to binding energy of these species, we can eliminate the uncertainties in the gas-phase abundances of almost all the species.


title: Spectroscopic evidence of nematic fluctuations in LiFeAs

abstract: The role of nematic fluctuations in the pairing mechanism of iron-based superconductors is frequently debated. Here we present a novel method to reveal such fluctuations by identifying energy and momentum of the corresponding nematic boson through the detection of a boson-assisted resonant amplification of Friedel oscillations. Using Fourier-transform scanning tunneling spectroscopy, we observe for the unconventional superconductor LiFeAs strong signatures of bosonic states at momentum $q\sim 0$ and energy $\Omega\approx8$~meV. We show that these bosonic states survive in the normal conducting state, and, moreover, that they are in perfect agreement with well-known strong above-gap anomalies in the tunneling spectra. Attributing these small-$q$ boson modes to nematic fluctuations we provide the first spectroscopic approach to the nematic boson in an unconventional superconductor.


title: A Noether theorem for random locations

abstract: We propose a unified framework for random locations exhibiting some probabilistic symmetries such as stationarity, self-similarity, etc. A theorem of Noether's type is proved, which gives rise to a conservation law describing the change of the density function of a random location as the interval of interest changes. We also discuss the boundary and near boundary behavior of the distributions of the random locations.


title: Degree-$d$ Chow Parameters Robustly Determine Degree-$d$ PTFs (and Algorithmic Applications)

abstract: The degree-$d$ Chow parameters of a Boolean function $f: \{-1,1\}^n \to \mathbb{R}$ are its degree at most $d$ Fourier coefficients. It is well-known that degree-$d$ Chow parameters uniquely characterize degree-$d$ polynomial threshold functions (PTFs) within the space of all bounded functions. In this paper, we prove a robust version of this theorem: For $f$ any Boolean degree-$d$ PTF and $g$ any bounded function, if the degree-$d$ Chow parameters of $f$ are close to the degree-$d$ Chow parameters of $g$ in $\ell_2$-norm, then $f$ is close to $g$ in $\ell_1$-distance. Notably, our bound relating the two distances is completely independent of the dimension $n$. That is, we show that Boolean degree-$d$ PTFs are {\em robustly identifiable} from their degree-$d$ Chow parameters. Results of this form had been shown for the $d=1$ case~\cite{OS11:chow, DeDFS14}, but no non-trivial bound was previously known for $d >1$. Our robust identifiability result gives the following algorithmic applications: First, we show that Boolean degree-$d$ PTFs can be efficiently approximately reconstructed from approximations to their degree-$d$ Chow parameters. This immediately implies that degree-$d$ PTFs are efficiently learnable in the uniform distribution $d$-RFA model~\cite{BenDavidDichterman:98}. As a byproduct of our approach, we also obtain the first low integer-weight approximations of degree-$d$ PTFs, for $d>1$. As our second application, our robust identifiability result gives the first efficient algorithm, with dimension-independent error guarantees, for malicious learning of Boolean degree-$d$ PTFs under the uniform distribution.


title: Triple consistency loss for pairing distributions in GAN-based face synthesis

abstract: Generative Adversarial Networks have shown impressive results for the task of object translation, including face-to-face translation. A key component behind the success of recent approaches is the self-consistency loss, which encourages a network to recover the original input image when the output generated for a desired attribute is itself passed through the same network, but with the target attribute inverted. While the self-consistency loss yields photo-realistic results, it can be shown that the input and target domains, supposed to be close, differ substantially. This is empirically found by observing that a network recovers the input image even if attributes other than the inversion of the original goal are set as target. This stops one combining networks for different tasks, or using a network to do progressive forward passes. In this paper, we show empirical evidence of this effect, and propose a new loss to bridge the gap between the distributions of the input and target domains. This "triple consistency loss", aims to minimise the distance between the outputs generated by the network for different routes to the target, independent of any intermediate steps. To show this is effective, we incorporate the triple consistency loss into the training of a new landmark-guided face to face synthesis, where, contrary to previous works, the generated images can simultaneously undergo a large transformation in both expression and pose. To the best of our knowledge, we are the first to tackle the problem of mismatching distributions in self-domain synthesis, and to propose "in-the-wild" landmark-guided synthesis. Code will be available at https://github.com/ESanchezLozano/GANnotation


title: Integrative Biological Simulation, Neuropsychology, and AI Safety

abstract: We describe a biologically-inspired research agenda with parallel tracks aimed at AI and AI safety. The bottom-up component consists of building a sequence of biophysically realistic simulations of simple organisms such as the nematode $Caenorhabditis$ $elegans$, the fruit fly $Drosophila$ $melanogaster$, and the zebrafish $Danio$ $rerio$ to serve as platforms for research into AI algorithms and system architectures. The top-down component consists of an approach to value alignment that grounds AI goal structures in neuropsychology, broadly considered. Our belief is that parallel pursuit of these tracks will inform the development of value-aligned AI systems that have been inspired by embodied organisms with sensorimotor integration. An important set of side benefits is that the research trajectories we describe here are grounded in long-standing intellectual traditions within existing research communities and funding structures. In addition, these research programs overlap with significant contemporary themes in the biological and psychological sciences such as data/model integration and reproducibility.


title: Testing SPARUS II AUV, an open platform for industrial, scientific and academic applications

abstract: This paper describes the experience of preparing and testing the SPARUS II AUV in different applications. The AUV was designed as a lightweight vehicle combining the classical torpedo-shape features with the hovering capability. The robot has a payload area to allow the integration of different equipment depending on the application. The software architecture is based on ROS, an open framework that allows an easy integration of many devices and systems. Its flexibility, easy operation and openness makes the SPARUS II AUV a multipurpose platform that can adapt to industrial, scientific and academic applications. Five units were developed in 2014, and different teams used and adapted the platform for different applications. The paper describes some of the experiences in preparing and testing this open platform to different applications.


title: The growth of the density fluctuations in the scale-invariant theory: one more challenge for dark matter

abstract: The growth of the density fluctuations is considered to be an important cosmological test. In the standard model, for a matter dominated universe, the growth of the density perturbations evolves with redshift z like (1/{1+z))^s with s=1. This is not fast enough to form galaxies and to account for the observed present-day inhomogeneities. This problem is usually resolved by assuming that at the recombination epoch the baryons settle down in the potential well of the dark matter previously assembled during the radiation era of the universe. This view is challenged in the present paper by using the recently proposed model of a scale-invariant framework for cosmology that enlarges the invariance group subtending the theory of the gravitation. From the continuity equation, the Euler and Poisson equations written in the scale-invariant framework, the equation governing the growth of the density fluctuations is obtained. Starting from \delta = 10^{-5} at a redshift around 1000, numerical solutions for various density background are obtained. The growth of density fluctuations is much faster than in the standard EdS model. The s values are in the range from 2.7 to 3.9 for \Omega_m between 0.30 and 0.02. This enables the density fluctuations to enter the nonlinear regime with \delta > 1 long before the present time, typically at redshifts of about 10, without requiring the presence of dark matter.


title: Multi-Cycle Assignment Problems with Rotational Diversity

abstract: Multi-cycle assignment problems address scenarios where a series of general assignment problems has to be solved sequentially. Subsequent cycles can differ from previous ones due to changing availability or creation of tasks and agents, which makes an upfront static schedule infeasible and introduces uncertainty in the task-agent assignment process. We consider the setting where, besides profit maximization, it is also desired to maintain diverse assignments for tasks and agents, such that all tasks have been assigned to all agents over subsequent cycles. This problem of multi-cycle assignment with rotational diversity is approached in two sub-problems: The outer problem which augments the original profit maximization objective with additional information about the state of rotational diversity while the inner problem solves the adjusted general assignment problem in a single execution of the model. We discuss strategies to augment the profit values and evaluate them experimentally. The method's efficacy is shown in three case studies: multi-cycle variants of the multiple knapsack and the multiple subset sum problems, and a real-world case study on the test case selection and assignment problem from the software engineering domain.


title: Four-dimensional Traversable Wormholes and Bouncing Cosmologies in Vacuum

abstract: In this letter we point out the existence of solutions to General Relativity with a negative cosmological constant in four dimensions, which contain solitons as well as traversable wormholes. The latter connect two asymptotically locally AdS$_{4}$ spacetimes. At every constant value of the radial coordinate the spacetime is a spacelike warped AdS$_{3}$. We compute the dual energy momentum tensor at each boundary showing that it yields different results. We also show that these vacuum wormholes can have more than one throat and that they are indeed traversable by computing the time it takes for a light signal to go from one boundary to the other, as seen by a geodesic observer. We generalize the wormholes to include rotation and charge. When the cosmological constant is positive we find a cosmology that is everywhere regular, has either one or two bounces and that for late and early times matches the Friedmann-Lema\^{\i}tre-Robertson-Walker metric with spherical topology.


title: Confirming the Detection of two WHIM Systems along the Line of Sight to 1ES 1553+113

abstract: We present a re-analysis, with newly acquired atomic data, of the two detections of two highly ionized intervening OVII absorbers reported by Nicastro and collaborators (2018). We confirm both intervening Warm-Hot Intergalactic Medium OVII detections, and revise statistical significance and physical parameters of the absorber at $z=0.4339$ in light of its partial contamination by Galactic interstellar medium NII K$\alpha$ absorption.


title: Emergence of non-trivial minimizers for the three-dimensional Ohta-Kawasaki energy

abstract: This paper is concerned with the diffuse interface Ohta-Kawasaki energy in three space dimensions, in a periodic setting, in the parameter regime corresponding to the onset of non-trivial minimizers. We identify the scaling in which a sharp transition from asymptotically trivial to non-trivial minimizers takes place as the small parameter characterizing the width of the interfaces between the two phases goes to zero, while the volume fraction of the minority phases vanishes at an appropriate rate. The value of the threshold is shown to be related to the optimal binding energy solution of Gamow's liquid drop model of the atomic nucleus. Beyond the threshold the average volume fraction of the minority phase is demonstrated to grow linearly with the distance to the threshold. In addition to these results, we establish a number of properties of the minimizers of the sharp interface screened Ohta-Kawasaki energy in the considered parameter regime. We also establish rather tight upper and lower bounds on the value of the transition threshold.


title: Geometry and symmetries of null G-structures

abstract: We present a definition of null G-structures on Lorentzian manifolds and investigate their geometric properties. This definition includes the Robinson structure on 4-dimensional black holes as well as the null structures that appear in all supersymmetric solutions of supergravity theories. We also identify the induced geometry on some null hypersurfaces and that on the orbit spaces of null geodesic congruences in such Lorentzian manifolds. We give the algebra of diffeomorphisms that preserves a null G-structure and demonstrate that in some cases it interpolates between the BMS algebra of an asymptotically flat spacetime and the Lorentz symmetry algebra of a Killing horizon.


title: On Hamilton cycles in Erd\H{o}s-R\'{e}nyi subgraphs of large graphs

abstract: Given a graph $\Gamma = (V, E)$ on $n$ vertices and $m$ edges, we define the Erd\H{o}s-R\'{e}nyi graph process with host $\Gamma$ as follows. A permutation $e_1,\dots,e_m$ of $E$ is chosen uniformly at random, and for $t\leq m$ we let $\Gamma_t = (V, \{e_1,\dots,e_t\})$. Suppose the minimum degree of $\Gamma$ is $\delta(\Gamma) \geq (1/2 + \varepsilon)n$ for some constant $\varepsilon > 0$. Then with high probability, $\Gamma_t$ becomes Hamiltonian at the same moment that its minimum degree becomes at least two. Given $0\leq p\leq 1$ we let $\Gamma_p$ be the Erd\H{o}s-R\'{e}nyi subgraph of $\Gamma$, obtained by retaining each edge independently with probability $p$. When $\delta(\Gamma)\geq (1/2 + \varepsilon)n$, we provide a threshold function $p_0$ for Hamiltonicity, such that if $(p-p_0)n\to -\infty$ then $\Gamma_p$ is not Hamiltonian whp, and if $(p-p_0)n\to\infty$ then $\Gamma_p$ is Hamiltonian whp.


title: Explicit rationality of some cubic fourfolds

abstract: Recent results of Hassett, Kuznetsov and others pointed out countably many divisors $C_d$ in the open subset of $\mathbb{P}^{55}=\mathbb{P}(H^0(\mathcal{O}_{\mathbb{P}^5}(3)))$ parametrizing all cubic 4-folds and lead to the conjecture that the cubics corresponding to these divisors should be precisely the rational ones. Rationality has been proved by Fano for the first divisor $C_{14}$ and in [arXiv:1707.00999] for the divisors $C_{26}$ and $C_{38}$. In this note we describe explicit birational maps from a general cubic fourfold in $C_{14}$, in $C_{26}$ and in $C_{38}$ to $\mathbb{P}^4$, providing concrete geometric realizations of the more abstract constructions in [arXiv:1707.00999].


title: A True Positives Theorem for a Static Race Detector - Extended Version

abstract: RacerD is a static race detector that has been proven to be effective in engineering practice: it has seen thousands of data races fixed by developers before reaching production, and has supported the migration of Facebook's Android app rendering infrastructure from a single-threaded to a multi-threaded architecture. We prove a True Positives Theorem stating that, under certain assumptions, an idealized theoretical version of the analysis never reports a false positive. We also provide an empirical evaluation of an implementation of this analysis, versus the original RacerD. The theorem was motivated in the first case by the desire to understand the observation from production that RacerD was providing remarkably accurate signal to developers, and then the theorem guided further analyzer design decisions. Technically, our result can be seen as saying that the analysis computes an under-approximation of an over-approximation, which is the reverse of the more usual (over of under) situation in static analysis. Until now, static analyzers that are effective in practice but unsound have often been regarded as ad hoc; in contrast, we suggest that, in the future, theorems of this variety might be generally useful in understanding, justifying and designing effective static analyses for bug catching.


title: On holomorphic distributions on Fano threefolds

abstract: This paper is devoted to the study of holomorphic distributions of dimension and codimension one on smooth weighted projective complete intersection Fano manifolds threedimensional, with Picard number equal to one. We study the relations between algebro-geometric properties of the singular set of singular holomorphic distributions and their associated sheaves. We characterize either distributions whose tangent sheaf or conormal sheaf are arithmetically Cohen Macaulay (aCM) on smooth weighted projective complete intersection Fano manifolds threefold. We also prove that a codimension one locally free distribution with trivial canonical bundle on any Fano threefold, with Picard number equal to one, has a tangent sheaf which either splits or it is stable.


title: Signs of Dynamical Dark Energy in Current Observations

abstract: Investigations on dark energy (DE) are currently inconclusive about its time evolution. Hints of this possibility do however glow now and then in the horizon. Herein we assess the current status of dynamical dark energy (DDE) in the light of a large body of updated $SNIa+H(z)+BAO+LSS+CMB$ observations, using the full Planck 2015 CMB likelihood. The performance of the $\Lambda$CDM model (with equation of state $w=-1$ for $\Lambda$) is confronted with that of the general XCDM and CPL parametrizations, as well as with the traditional $\Phi$CDM model based on the scalar field potential $V\sim \Phi^{-\alpha}$. In particular, we gauge the impact of the bispectrum in the LSS and BAO parts, and show that the subset of $CMB+BAO+LSS$ observations may contain the bulk of the DDE signal. The departure from $w=-1$ is significant: roughly $2.6\sigma$ for XCDM and $2.9\sigma$ for $\Phi$CDM. In both cases the full Bayesian evidence is found to be positive even for a prior range of the DDE parameters extending over several standard deviations from the mean when the bispectrum is taken into account. Positive signs follow as well from the preliminary results of Planck 2018 data using the compressed CMB likelihood. As a bonus we also find that the $\sigma_8$-tension becomes reduced with DDE.


title: Two estimates for the first Robin eigenvalue of the Finsler Laplacian with negative boundary parameter

abstract: We prove two bounds for the first Robin eigenvalue of the Finsler Laplacian with negative boundary parameter in the planar case. In the constant area problem, we show that the Wulff shape is the maximizer only for values which are close to 0 of the boundary parameter and, in the fixed perimeter case, that the Wulff shape maximizes the first eigenvalue for all values of the parameter.


title: Statistical Extraction of Useful Concrete Creep Data from Imperfect Customary Tests

abstract: The reporting and evaluation of creep tests of concrete is complicated by the fact that creep is significant even for the shortest observable load durations. Compared to the strain after 0.1 s load duration, the strain at 2 hour duration is typically 53% greater. Most experimenters have for decades been unaware of this fact. Consequently, the reported creep curves require correction by a time shift, which ranges from 0 to 2 hours. This further implies a vertical shift of entire creep curve, important for all times up to structure lifetime. To filter out the errors, it is argued that, within an initial period during which the advance of hydration is negligible, which is normally about 1 day, the initial basic creep must follow a power law of the time. Creep test data from the literature are used to prove it. Corrections by time and deformation shifts are determined by minimization of the sum of squared deviations of the power law from the creep test data. For a fixed exponent n and time shift s, the optimization is reduced to linear regressions of two kinds, depending on whether the data are given in terms of either the compliance function or the creep coefficient. For both, the linear regression parameters depend nonlinearly on the chosen values of n and s. To avoid nonlinear optimization, which need not converge to the correct result, a set of many discrete values of n and s within their realistic ranges is selected and the (n,s) combination minimizing the objective function is obtained by a search. Enforcing a power law form of the initial creep curve is found to lead to better data fits. The optimum exponent n for the entire database is around 0.3, applicable to the time period cca (10 s, 1 day). After that, the exponent transits to about 0.1, and prior to that it is about 0.08.


title: A simple yet effective baseline for non-attributed graph classification

abstract: Graphs are complex objects that do not lend themselves easily to typical learning tasks. Recently, a range of approaches based on graph kernels or graph neural networks have been developed for graph classification and for representation learning on graphs in general. As the developed methodologies become more sophisticated, it is important to understand which components of the increasingly complex methods are necessary or most effective. As a first step, we develop a simple yet meaningful graph representation, and explore its effectiveness in graph classification. We test our baseline representation for the graph classification task on a range of graph datasets. Interestingly, this simple representation achieves similar performance as the state-of-the-art graph kernels and graph neural networks for non-attributed graph classification. Its performance on classifying attributed graphs is slightly weaker as it does not incorporate attributes. However, given its simplicity and efficiency, we believe that it still serves as an effective baseline for attributed graph classification. Our graph representation is efficient (linear-time) to compute. We also provide a simple connection with the graph neural networks. Note that these observations are only for the task of graph classification while existing methods are often designed for a broader scope including node embedding and link prediction. The results are also likely biased due to the limited amount of benchmark datasets available. Nevertheless, the good performance of our simple baseline calls for the development of new, more comprehensive benchmark datasets so as to better evaluate and analyze different graph learning methods. Furthermore, given the computational efficiency of our graph summary, we believe that it is a good candidate as a baseline method for future graph classification (or even other graph learning) studies.


title: Tools and Benchmarks for Automated Log Parsing

abstract: Logs are imperative in the development and maintenance process of many software systems. They record detailed runtime information that allows developers and support engineers to monitor their systems and dissect anomalous behaviors and errors. The increasing scale and complexity of modern software systems, however, make the volume of logs explodes. In many cases, the traditional way of manual log inspection becomes impractical. Many recent studies, as well as industrial tools, resort to powerful text search and machine learning-based analytics solutions. Due to the unstructured nature of logs, a first crucial step is to parse log messages into structured data for subsequent analysis. In recent years, automated log parsing has been widely studied in both academia and industry, producing a series of log parsers by different techniques. To better understand the characteristics of these log parsers, in this paper, we present a comprehensive evaluation study on automated log parsing and further release the tools and benchmarks for easy reuse. More specifically, we evaluate 13 log parsers on a total of 16 log datasets spanning distributed systems, supercomputers, operating systems, mobile systems, server applications, and standalone software. We report the benchmarking results in terms of accuracy, robustness, and efficiency, which are of practical importance when deploying automated log parsing in production. We also share the success stories and lessons learned in an industrial application at Huawei. We believe that our work could serve as the basis and provide valuable guidance to future research and deployment of automated log parsing.


title: Massively Parallel Stackless Ray Tracing of Catmull-Clark Subdivision Surfaces

abstract: We present a fast and efficient method for intersecting rays with Catmull-Clark subdivision surfaces. It takes advantage of the approximation democratized by OpenSubdiv, in which regular patches are represented by tensor product B\'ezier surfaces and irregular ones are approximated using Gregory patches. Our algorithm operates solely on the original patch data and can process both patch types simultaneously with only a small amount of control flow divergence. Besides introducing an optimized method to determine axis aligned bounding boxes of Gregory patches restricted in the parametric domain, several techniques are introduced that accelerate the recursive subdivision process including stackless operation, efficient work distribution, and control flow optimizations. The algorithm is especially useful for quick turnarounds during patch editing and animation playback.


title: Effective Representation for Easy-First Dependency Parsing

abstract: Easy-first parsing relies on subtree re-ranking to build the complete parse tree. Whereas the intermediate state of parsing processing is represented by various subtrees, whose internal structural information is the key lead for later parsing action decisions, we explore a better representation for such subtrees. In detail, this work introduces a bottom-up subtree encoding method based on the child-sum tree-LSTM. Starting from an easy-first dependency parser without other handcraft features, we show that the effective subtree encoder does promote the parsing process, and can make a greedy search easy-first parser achieve promising results on benchmark treebanks compared to state-of-the-art baselines. Furthermore, with the help of the current pre-training language model, we further improve the state-of-the-art results of the easy-first approach.


title: On optimal boundary control of Ericksen-Leslie system in dimension two

abstract: In this paper, we consider the boundary value problem of a simplified Ericksen-Leslie system in dimension two with non-slip boundary condition for the velocity field $u$ and time-dependent boundary condition for the director field $d$ of unit length. For such a system, we first establish the existence of a global weak solution that is smooth away from finitely many singular times, then establish the existence of a unique global strong solution that is smooth for $t>0$ under the assumption that the image of boundary data is contained in the hemisphere $\mathbb S^2_+$. Finally, we apply these theorems to the problem of optimal boundary control of the simplified Ericksen-Leslie system and show both the existence and a necessary condition of an optimal boundary control.


title: Geodesic equations and their numerical solution in Cartesian coordinates on a triaxial ellipsoid

abstract: In this work, the geodesic equations and their numerical solution in Cartesian coordinates on an oblate spheroid, presented by Panou and Korakitis (2017), are generalized on a triaxial ellipsoid. A new exact analytical method and a new numerical method of converting Cartesian to ellipsoidal coordinates of a point on a triaxial ellipsoid are presented. An extensive test set for the coordinate conversion is used, in order to evaluate the performance of the two methods. The direct geodesic problem on a triaxial ellipsoid is described as an initial value problem and is solved numerically in Cartesian coordinates. The solution provides the Cartesian coordinates and the angle between the line of constant {\lambda} and the geodesic, at any point along the geodesic. Also, the Liouville constant is computed at any point along the geodesic, allowing to check the precision of the method. An extensive data set of geodesics is used, in order to demonstrate the validity of the numerical method for the geodesic problem. We conclude that a complete, stable and precise solution of the problem is accomplished.


title: Deep Neural Networks for Query Expansion using Word Embeddings

abstract: Query expansion is a method for alleviating the vocabulary mismatch problem present in information retrieval tasks. Previous works have shown that terms selected for query expansion by traditional methods such as pseudo-relevance feedback are not always helpful to the retrieval process. In this paper, we show that this is also true for more recently proposed embedding-based query expansion methods. We then introduce an artificial neural network classifier to predict the usefulness of query expansion terms. This classifier uses term word embeddings as inputs. We perform experiments on four TREC newswire and web collections show that using terms selected by the classifier for expansion significantly improves retrieval performance when compared to competitive baselines. The results are also shown to be more robust than the baselines.


title: Inequalities in approximation theory involving fractional smoothness in $L_p$, $0<p<1$

abstract: In the paper, we study inequalities for the best trigonometric approximations and fractional moduli of smoothness involving the Weyl and Liouville-Gr\"unwald derivatives in $L_p$, $0<p<1$. We extend known inequalities to the whole range of parameters of smoothness as well as obtain several new inequalities. As an application, the direct and inverse theorems of approximation theory involving the modulus of smoothness $\omega_\beta(f^{(\alpha)},\delta)_p$, where $f^{(\alpha)}$ is a fractional derivative of the function $f$, are derived. A description of the class of functions with the optimal rate of decrease of a fractional modulus of smoothness is given.


title: Learning from Demonstration in the Wild

abstract: Learning from demonstration (LfD) is useful in settings where hand-coding behaviour or a reward function is impractical. It has succeeded in a wide range of problems but typically relies on manually generated demonstrations or specially deployed sensors and has not generally been able to leverage the copious demonstrations available in the wild: those that capture behaviours that were occurring anyway using sensors that were already deployed for another purpose, e.g., traffic camera footage capturing demonstrations of natural behaviour of vehicles, cyclists, and pedestrians. We propose Video to Behaviour (ViBe), a new approach to learn models of behaviour from unlabelled raw video data of a traffic scene collected from a single, monocular, initially uncalibrated camera with ordinary resolution. Our approach calibrates the camera, detects relevant objects, tracks them through time, and uses the resulting trajectories to perform LfD, yielding models of naturalistic behaviour. We apply ViBe to raw videos of a traffic intersection and show that it can learn purely from videos, without additional expert knowledge.


title: Microdroplets nucleation by dissolution of a multicomponent drop in a host liquid

abstract: Multicomponent liquid drops in a host liquid are very relevant in various technological applications. Their dissolution or growth dynamics is complex. Differences in solubility between the drop components combined with the solutal Marangoni effect and natural convections contribute to this complexity, which can be even further increased in combination with the ouzo effect, i.e., the spontaneous nucleation of microdroplets due to composition-dependent miscibilities in a ternary system. The quantitive understanding of this combined process is important for applications in industry, particularly for modern liquid-liquid microextraction processes. In this work, as a model system, we experimentally and theoretically explore water/ethanol drops dissolving in anethole oil. During the dissolution, we observed two types of microdroplets nucleation, namely water microdroplet nucleation in the surrounding oil at drop midheight and oil microdroplet nucleation in the aqueous drop, again at midheight. The nucleated oil microdroplets are driven by Marangoni flows inside the aqueous drop and evolve into microdroplets rings. A one-dimensional multiphase and multicomponent diffusion model in combination with thermodynamical equilibrium theory is proposed to predict the behavior of spontaneous emulsification, i.e. the microdroplet nucleation, that is triggered by diffusion. A scale analysis together with experimental investigations of the fluid dynamics of the system reveals that both the solutal Marangoni flow inside the drop and the buoyancy-driven flow in the host liquid influence the diffusion-triggered emulsification process. Our work provides a physical understanding of the microdroplet nucleation by dissolution of a multicomponent drop in a host liquid.


title: Spectral functions and negative density of states of a driven-dissipative nonlinear quantum resonator

abstract: We study the spectral properties of Markovian driven-dissipative quantum systems, focusing on the nonlinear quantum van der Pol oscillator as a paradigmatic example. We discuss a generalized Lehmann representation, in which single-particle Green's functions are expressed in terms of the eigenstates and eigenvalues of the Liouvillian. Applying it to the quantum van der Pol oscillator, we find a wealth of phenomena that are not apparent in the steady-state density matrix alone. Unlike the steady state, the photonic spectral function has a strong dependence on interaction strength. Further, we find that the interplay of interaction and non-equilibrium effects can result in a surprising "negative density of states", associated with a negative temperature, and we identify two different mechanisms responsible for this phenomenon.


title: Few-shot learning with attention-based sequence-to-sequence models

abstract: End-to-end approaches have recently become popular as a means of simplifying the training and deployment of speech recognition systems. However, they often require large amounts of data to perform well on large vocabulary tasks. With the aim of making end-to-end approaches usable by a broader range of researchers, we explore the potential to use end-to-end methods in small vocabulary contexts where smaller datasets may be used. A significant drawback of small-vocabulary systems is the difficulty of expanding the vocabulary beyond the original training samples -- therefore we also study strategies to extend the vocabulary with only few examples per new class (few-shot learning). Our results show that an attention-based encoder-decoder can be competitive against a strong baseline on a small vocabulary keyword classification task, reaching 97.5% of accuracy on Tensorflow's Speech Commands dataset. It also shows promising results on the few-shot learning problem where a simple strategy achieved 68.8\% of accuracy on new keywords with only 10 examples for each new class. This score goes up to 88.4\% with a larger set of 100 examples.


title: Cutoff for the mean-field zero-range process with bounded monotone rates

abstract: We consider the zero-range process with arbitrary bounded monotone rates on the complete graph, in the regime where the number of sites diverges while the density of particles per site converges. We determine the asymptotics of the mixing time from any initial configuration, and establish the cutoff phenomenon. The intuitive picture is that the system separates into a slowly evolving solid phase and a quickly relaxing liquid phase: as time passes, the solid phase dissolves into the liquid phase, and the mixing time is essentially the time at which the system becomes completely liquid. Our proof uses the path coupling technique of Bubley and Dyer, and the analysis of a suitable hydrodynamic limit. To the best of our knowledge, even the order of magnitude of the mixing time was unknown, except in the special case of constant rates.


title: Orthogonal Trace-Sum Maximization: Applications, Local Algorithms, and Global Optimality

abstract: This paper studies the problem of maximizing the sum of traces of matrix quadratic forms on a product of Stiefel manifolds. This orthogonal trace-sum maximization (OTSM) problem generalizes many interesting problems such as generalized canonical correlation analysis (CCA), Procrustes analysis, and cryo-electron microscopy of the Nobel prize fame. For these applications finding global solutions is highly desirable but it has been unclear how to find even a stationary point, let alone testing its global optimality. Through a close inspection of Ky Fan's classical result (1949) on the variational formulation of the sum of largest eigenvalues of a symmetric matrix, and a semidefinite programming (SDP) relaxation of the latter, we first provide a simple method to certify global optimality of a given stationary point of OTSM. This method only requires testing whether a symmetric matrix is positive semidefinite. A by-product of this analysis is an unexpected strong duality between Shapiro-Botha (1988) and Zhang-Singer (2017). After showing that a popular algorithm for generalized CCA and Procrustes analysis may generate oscillating iterates, we propose a simple fix that provably guarantees convergence to a stationary point. The combination of our algorithm and certificate reveals novel global optima of various instances of OTSM.


title: Light-induced anomalous Hall effect in graphene

abstract: Many striking non-equilibrium phenomena have been discovered or predicted in optically-driven quantum solids, ranging from light-induced superconductivity to Floquet-engineered topological phases. These effects are expected to lead to dramatic changes in electrical transport, but can only be comprehensively characterized or functionalized with a direct interface to electrical devices that operate at ultrafast speeds. Here, we make use of laser-triggered photoconductive switches to measure the ultrafast transport properties of monolayer graphene, driven by a mid-infrared femtosecond pulse of circularly polarized light. The goal of this experiment is to probe the transport signatures of a predicted light-induced topological band structure in graphene, similar to the one originally proposed by Haldane. We report the observation of an anomalous Hall effect in the absence of an applied magnetic field. We also extract quantitative properties of the non-equilibrium state. The dependence of the effect on a gate potential used to tune the Fermi level reveals multiple features that reflect the effective band structure expected from Floquet theory. This includes a ~60 meV wide conductance plateau centered at the Dirac point, where a gap of approximately equal magnitude is expected to open. We also find that when the Fermi level lies within this plateau, the estimated anomalous Hall conductance saturates around ~1.8$\pm$0.4 e$^2$/h.


title: Rectifying properties in 90{\deg} rotated bilayer black phosphorus nanojunction: A first principle study

abstract: We explore the possibility of using van dar Waals bonded heterostructures of stacked together 2D bilayer black phosphorus (BP) for nanoscale device applications. The electronic property of BP in AA stacking and 90{\deg} twisted is studied with density functional theory. Further, we study the homogeneous nanojunction architecture of BP to use its anisotropic properties. Using the first principle simulations along with NEGF approach, we calculate quantum transport properties of the nanojunction setup. The interlayer directionally dependent current characteristics are explained in different setups. Our result revealed that 90{\deg} twisted nanojucntion device would be a potential rectifier despite having no p-n junction characteristic only due to the intrinsic anisotropy of the material, making tunneling between armchair- and zigzag-directional BP sheets asymmetric.


title: Perturbative investigation of Wilson-line operators in Parton Physics

abstract: We investigate the renormalization of a class of gauge-invariant nonlocal quark bilinear operators, including a finite-length Wilson-line (called Wilson-line operators). The matrix elements of these operators are involved in the recent "quasi-distribution" approach for computing light-cone distributions of Hadronic Physics on the lattice. We consider two classes of Wilson-line operators: straight-line and staple-shaped operators, which are related to the parton distribution functions (PDFs) and transverse momentum-dependent distributions (TMDs), respectively. We present our one-loop results for the conversion factors of straight-line operators between the RI' (appropriate for nonperturbative renormalization on the lattice) and MSbar (typically used in phenomenology) renormalization schemes in the presence of nonzero quark masses. In addition, we present the first results of our preliminary work for the renormalization of staple-shaped operators both in continuum (Dimensional Regularization) and lattice (Wilson/clover fermions and Symanzik improved gluons) regularizations. We identify the observed mixing pairs among these operators, which must be disentangled in the nonperturbative investigations of heavy-quark quasi-PDFs and of light-quark quasi-TMDs.


title: Hunting Axion Dark Matter with Protoplanetary Disk Polarimetry

abstract: We find that the polarimetric observations of protoplanetary disks are useful to search for ultra-light axion dark matter. Axion dark matter predicts the rotation of the linear polarization plane of propagating light, and protoplanetary disks are ideal targets to observe it. We show that a recent observation puts the tightest constraint on the axion-photon coupling constant for axion mass $m\lesssim10^{-21}$eV.


title: Boundedness and decay for the Teukolsky system of spin $\pm2$ on Reissner-Nordstr\"om spacetime: the case $|Q| \ll M$

abstract: We prove boundedness and polynomial decay statements for solutions to the spin $\pm2$ generalized Teukolsky system on a Reissner-Nordstr\"om background with small charge. The first equation of the system is the generalization of the standard Teukolsky equation in Schwarzschild for the extreme component of the curvature $\alpha$. The second equation, coupled with the first one, is a new equation for a new gauge-invariant quantity involving the electromagnetic curvature components. The proof is based on the use of derived quantities, introduced in previous works on linear stability of Schwarzschild. These quantities verify a generalized coupled Regge-Wheeler system. These equations are the ones verified by the extreme null curvature and electromagnetic components of a gravitational and electromagnetic perturbation of the Reissner-Nordstr\"om spacetime. Consequently, as in the Schwarzschild case, these bounds provide the first step in proving the full linear stability of Reissner-Nordstr\"om metric for small charge to coupled gravitational and electromagnetic perturbations.


title: A Local Limit Theorem for Cliques in G(n,p)

abstract: We prove a local limit theorem the number of $r$-cliques in $G(n,p)$ for $p\in(0,1)$ and $r\ge 3$ fixed constants. Our bounds hold in both the $\ell^\infty$ and $\ell^1$ metric. The main work of the paper is an estimate for the characteristic function of this random variable. This is accomplished by introducing a new technique for bounding the characteristic function of constant degree polynomials in independent Bernoulli random variables, combined with a decoupling argument.


title: MOVPE growth of N-polar AlN on 4H-SiC: effect of substrate miscut on layer quality

abstract: We present the effect of miscut angle of SiC substrates on N-polar AlN growth. The N-polar AlN layers were grown on C-face 4H-SiC substrates with a miscut towards <-1100> by metal-organic vapor phase epitaxy (MOVPE). The optimal V/III ratios for high-quality AlN growth on 1 deg and 4 deg miscut substrates were found to be 20000 and 1000, respectively. MOVPE grown N-polar AlN layer without hexagonal hillocks or step bunching was achieved using a 4H-SiC substrate with an intentional miscut of 1 deg towards <-1100>. The 200-nm-thick AlN layer exhibited X-ray rocking curve full width half maximums of 203 arcsec and 389 arcsec for (002) and (102) reflections, respectively. The root mean square roughness was 0.43 nm for a 2 um x 2 um atomic force microscope scan.


title: Memorable Maps: A Framework for Re-defining Places in Visual Place Recognition

abstract: This paper presents a cognition-inspired agnostic framework for building a map for Visual Place Recognition. This framework draws inspiration from human-memorability, utilizes the traditional image entropy concept and computes the static content in an image; thereby presenting a tri-folded criterion to assess the 'memorability' of an image for visual place recognition. A dataset namely 'ESSEX3IN1' is created, composed of highly confusing images from indoor, outdoor and natural scenes for analysis. When used in conjunction with state-of-the-art visual place recognition methods, the proposed framework provides significant performance boost to these techniques, as evidenced by results on ESSEX3IN1 and other public datasets.


title: Tritium beta decay with additional emission of new light bosons

abstract: We consider tritium beta decay with additional emission of light pseudoscalar or vector bosons coupling to electrons or neutrinos. The electron energy spectrum for all cases is evaluated and shown to be well estimated by approximated analytical expressions. We give the statistical sensitivity of KATRIN to the mass and coupling of the new bosons, both in the standard setup of the experiment as well as for future modifications in which the full energy spectrum of tritium decay is accessible.


title: A Geometric Perspective on the Transferability of Adversarial Directions

abstract: State-of-the-art machine learning models frequently misclassify inputs that have been perturbed in an adversarial manner. Adversarial perturbations generated for a given input and a specific classifier often seem to be effective on other inputs and even different classifiers. In other words, adversarial perturbations seem to transfer between different inputs, models, and even different neural network architectures. In this work, we show that in the context of linear classifiers and two-layer ReLU networks, there provably exist directions that give rise to adversarial perturbations for many classifiers and data points simultaneously. We show that these "transferable adversarial directions" are guaranteed to exist for linear separators of a given set, and will exist with high probability for linear classifiers trained on independent sets drawn from the same distribution. We extend our results to large classes of two-layer ReLU networks. We further show that adversarial directions for ReLU networks transfer to linear classifiers while the reverse need not hold, suggesting that adversarial perturbations for more complex models are more likely to transfer to other classifiers. We validate our findings empirically, even for deeper ReLU networks.