title: By the user, for the user: A user-centric approach to quantifying the privacy of websites

abstract: Third-party tracking is common on almost all commercially operated websites. Prior work has studied in detail the extent of third-party tracking on the web, detection of third-party trackers, and defending against third-party tracking. Existing research and tools have also attempted to inform web users of trackers and the extent of their privacy violations. However, existing tools do not take into account users' perceptions of and understanding of the extent of trackers on the web. Taking these factors into account is important for the usability of such tools so that users can be aware and protect themselves to a reasonable and necessary extent that aligns with their overall comfort with trackers. In this paper, we elicit user perceptions and preferences about different trackers on various websites through an online survey of 43 users. We use this data to bootstrap a privacy scoring system. This scoring system weights the usage of trackers and the dispersion of user data within a page to third parties, with the type of website being visited. Our work presents a proof-of-concept methodology and tool to calculate a user-centric privacy score with preliminary bootstrap user data. We conclude with concrete future directions.


title: Congruences satisfied by eta-quotients

abstract: The values of the partition function, and more generally the Fourier coefficients of many modular forms, are known to satisfy certain congruences. Results given by Ahlgren and Ono for the partition function and by Treneer for more general Fourier coefficients state the existence of infinitely many families of congruences. In this article we give an algorithm for computing explicit instances of such congruences for eta-quotients. We illustrate our method with a few examples.


title: Relaxation of the Induced Orientational Order in the Isotropic Phase of Nematic Polymer

abstract: Orientational dynamics in the isotropic phase of a comb-shaped nematic polymer with mesogenic and functional side groups was studied using the Kerr effect and dielectric spectroscopy. For the first time, it was found that in a mesogenic polymer, in contrast to low-molecular-weight mesogens, the relaxation of the electric birefringence of a melt above the temperature of the nematic-isotropic phase transition can be presented by a sum of several exponential processes, two of which play a decisive role. These main processes replace each other in a temperature range of about fifty degrees. Dielectric spectroscopy also made it possible to distinguish two processes of orientational relaxation: the first is due to rotation of the side mesogenic groups, and the second is associated with motion of the main chain segments.


title: Iterative method of generating artificial context-free grammars

abstract: Grammatical inference is a machine learning area, whose fundamentals are built around learning sets. At present, real-life data and examples from manually crafted grammars are used to test their learning performance. This paper aims to present a method of generating artificial context-free grammars with their optimal learning sets, which could be successfully applied as a benchmarking tool for empirical grammar inference methods.


title: Monopole operators and their symmetries in QED3-Gross-Neveu models

abstract: Monopole operators are topological disorder operators in 2+1 dimensional compact gauge field theories appearing notably in quantum magnets with fractionalized excitations. For example, their proliferation in a spin-1/2 kagome Heisenberg antiferromagnet triggers a quantum phase transition from a Dirac spin liquid phase to an antiferromagnet. The quantum critical point (QCP) for this transition is described by a conformal field theory: Compact quantum electrodynamics (QED3) with a fermionic self-interaction, a type of QED3-Gross-Neveu model. We obtain the scaling dimensions of monopole operators at the QCP using a state-operator correspondence and a large-N expansion, where 2N is the number of fermion flavors. We characterize the hierarchy of monopole operators at this SU(2) x SU(N) symmetric QCP.


title: Remarks on the spectrum of a nonlocal Dirichlet problem

abstract: In this paper we analyse the spectrum of nonlocal Dirichlet problems with non-singular kernels in bounded open sets. The novelty is the continuity of eigenvalues with respect to domain perturbation via Lebesgue measure. Also, under additional smooth condition on the kernel and domain, we prove differentiability of simple eigenvalues computing their first derivative.


title: Revisiting IRKA: Connections with pole placement and backward stability

abstract: The iterative rational Krylov algorithm (\textsf{IRKA}) is a popular approach for producing locally optimal reduced-order $\mathcal{H}_2$-approximations to linear time-invariant (LTI) dynamical systems. Overall, \textsf{IRKA} has seen significant practical success in computing high fidelity (locally) optimal reduced models and has been successfully applied in a variety of large-scale settings. Moreover, \textsf{IRKA} has provided a foundation for recent extensions to the systematic model reduction of bilinear and nonlinear dynamical systems. Convergence of the basic \textsf{IRKA} iteration is generally observed to be rapid --- but not always; and despite the simplicity of the iteration, its convergence behavior is remarkably complex and not well understood aside from a few special cases. The overall effectiveness and computational robustness of the basic \textsf{IRKA} iteration is surprising since its algorithmic goals are very similar to a pole assignment problem, which can be notoriously ill-conditioned. We investigate this connection here and discuss a variety of nice properties of the \textsf{IRKA} iteration that are revealed when the iteration is framed with respect to a primitive basis. We find that the connection with pole assignment suggests refinements to the basic algorithm that can improve convergence behavior, leading also to new choices for termination criteria that assure backward stability.


title: A Dissection of Spatially Resolved AGN Feedback across the Electromagnetic Spectrum

abstract: We present optical SuperNova Integral Field Spectrograph (SNIFS) integral field spectroscopy, Hubble Space Telescope optical imaging, Chandra X-ray imaging, and Very Large Array radio interferometry of the merging galaxy 2MASX J04234080+0408017, which hosts a Seyfert 2 active galactic nucleus (AGN) at z = 0.046. Our observations reveal that radiatively driven, ionized gas outflows are successful to distances > 10 kpc due to the low mass of the host system, encompassing the entirety of the observed optical emission. We also find that at large radii, where observed velocities cannot be reproduced by radiative driving models, high velocity kinematics are likely due to mechanical driving from AGN winds impacting high density host material. This impacting deposits sufficient energy to shock the host material, producing thermal X-ray emission and cosmic rays, which in turn promote the formation of in situ radio structure in a pseudo-jet morphology along the high density lanes.


title: Coarse-Refinement Dilemma: On Generalization Bounds for Data Clustering

abstract: The Data Clustering (DC) problem is of central importance for the area of Machine Learning (ML), given its usefulness to represent data structural similarities from input spaces. Differently from Supervised Machine Learning (SML), which relies on the theoretical frameworks of the Statistical Learning Theory (SLT) and the Algorithm Stability (AS), DC has scarce literature on general-purpose learning guarantees, affecting conclusive remarks on how those algorithms should be designed as well as on the validity of their results. In this context, this manuscript introduces a new concept, based on multidimensional persistent homology, to analyze the conditions on which a clustering model is capable of generalizing data. As a first step, we propose a more general definition of DC problem by relying on Topological Spaces, instead of metric ones as typically approached in the literature. From that, we show that the DC problem presents an analogous dilemma to the Bias-Variance one, which is here referred to as the Coarse-Refinement (CR) dilemma. CR is intended to clarify the contrast between: (i) highly-refined partitions and the clustering instability (overfitting); and (ii) over-coarse partitions and the lack of representativeness (underfitting); consequently, the CR dilemma suggests the need of a relaxation of Kleinberg's richness axiom. Experimental results were used to illustrate that multidimensional persistent homology support the measurement of divergences among DC models, leading to a consistency criterion.


title: A new preconditioner for elliptic PDE-constrained optimization problems

abstract: We propose a preconditioner to accelerate the convergence of the GMRES iterative method for solving the system of linear equations obtained from discretize-then-optimize approach applied to optimal control problems constrained by a partial differential equation. Eigenvalue distribution of the preconditioned matrix as well as its eigenvectors are discussed. Numerical results of the proposed preconditioner are compared with several existing preconditioners to show its efficiency.


title: Systematic Classification of Attackers via Bounded Model Checking

abstract: In this work, we study the problem of verification of systems in the presence of attackers using bounded model checking. Given a system and a set of security requirements, we present a methodology to generate and classify attackers, mapping them to the set of requirements that they can break. A naive approach suffers from the same shortcomings of any large model checking problem, i.e., memory shortage and exponential time. To cope with these shortcomings, we describe two sound heuristics based on cone-of-influence reduction and on learning, which we demonstrate empirically by applying our methodology to a set of hardware benchmark systems.


title: Sporadic SICs and Exceptional Lie Algebras

abstract: Sometimes, mathematical oddities crowd in upon one another, and the exceptions to one classification scheme reveal themselves as fellow-travelers with the exceptions to a quite different taxonomy.


title: State dependent motional squeezing of a trapped ion: new method and applications

abstract: We show that the motion of a cold trapped ion can be squeezed by modulating the intensity of a phase-stable optical lattice placed inside the trap. As this method is reversible and state selective it effectively implements a controlled-squeeze gate. We show how to use this resource, that can be useful for quantum information processing with continuous variables, in order to prepare coherent superpositions of states which are squeezed along complementary quadratures. We show that these states, which we denote as "${\mathcal X}$-states", exhibit high sensitivity to small displacements along two complementary quadratures which make them useful for quantum metrology.


title: Triply Robust Off-Policy Evaluation

abstract: We propose a robust regression approach to off-policy evaluation (OPE) for contextual bandits. We frame OPE as a covariate-shift problem and leverage modern robust regression tools. Ours is a general approach that can be used to augment any existing OPE method that utilizes the direct method. When augmenting doubly robust methods, we call the resulting method Triply Robust. We prove upper bounds on the resulting bias and variance, as well as derive novel minimax bounds based on robust minimax analysis for covariate shift. Our robust regression method is compatible with deep learning, and is thus applicable to complex OPE settings that require powerful function approximators. Finally, we demonstrate superior empirical performance across the standard OPE benchmarks, especially in the case where the logging policy is unknown and must be estimated from data.


title: Discriminating Uranium Isotopes Based on Fission Signatures Induced by Delayed Neutrons

abstract: The use of active interrogation (AI) to induce delayed neutron emission is a well-established technique for the characterization of special nuclear materials (SNM). Delayed neutrons have isotope-characteristic spectral and temporal signatures, which provide the basis for isotope identification. However, in bulk materials that contain an appreciable fissile (e.g., $^{235}$U or $^{233}$U) fraction, such as highly-enriched uranium (HEU), delayed neutrons have a high probability of inducing additional fissions. As a result, the overall delayed neutron signature consists of two distinct components: the "primary" delayed neutrons (emitted directly by fission fragments), and the "secondary prompt" fission neutrons produced in fission induced by primary delayed neutrons. These prompt products differ from "primary" delayed neutrons both in their energy spectra and in the presence of coincident radiation released by the parent fission event. The presence and relative quantity of prompt products from delayed fission depend on the cross-section of the material in the energy range of delayed neutrons, which may differ significantly between isotopes, thus providing an exploitable means for isotope differentiation. In this work, we demonstrate two experimental approaches for discriminating between $^{235}$U and $^{238}$U isotopes based on the measurement of delayed neutron-induced fission products. First, HEU and depleted uranium objects are differentiated through the detection of high-energy prompt neutrons from delayed fission using both recoil-based organic liquid scintillators and thermalization spectra from a custom-built capture-gated composite detector. Secondly, coincident radiation measurements are used as the basis for discrimination by comparing the overall rates and time evolution of fission events when delayed neutrons are present.


title: NuSTAR Uncovers an Extremely Local Compton-thick AGN in NGC 4968

abstract: We present the analysis of Chandra and NuSTAR spectra of NGC 4968, a local (D$\sim$44 Mpc) 12$\mu$m-selected Seyfert 2 galaxy, enshrouded within Compton-thick layers of obscuring gas. We find no evidence of variability between the Chandra and NuSTAR observations (separated by 2 years), and between the two NuSTAR observations (separated by 10 months). Using self-consistent X-ray models, we rule out the scenario where the obscuring medium is nearly spherical and uniform, contradicting the results implied by the $<$10 keV Chandra spectrum. The line-of-sight column density, from intervening matter between the source and observer that intercepts the intrinsic AGN X-ray emission, is well within the Compton-thick regime, with a minimum column density of $2\times10^{24}$ cm$^{-2}$. The average global column density is high ($> 3\times10^{23}$ cm$^{-2}$), with both Compton-thick and Compton-thin solutions permitted depending on the X-ray spectral model. The spectral models provide a range of intrinsic AGN continuum parameters and implied 2-10 keV luminosities ($L_{\rm 2-10keV,intrinsic}$), where the higher end of $L_{\rm 2-10keV,intrinsic}$ is consistent with expectations from the 12$\mu$m luminosity ($L_{\rm 2-10keV,intrinisc} \sim 7\times10^{42}$ erg s$^{-1}$). Compared with Compton-thick AGN previously observed by {\it NuSTAR}, NGC 4968 is among the most intrinsically X-ray luminous. However, despite its close proximity and relatively high intrinsic X-ray luminosity, it is undetected by the 105 month Swift-BAT survey, underscoring the importance of multi-wavelength selection for obtaining the most complete census of the most hidden black holes.


title: Econophysics deserves a revamping

abstract: The paper argues that attracting more economists and adopting a more-precise definition of dynamic complexity might help econophysics acquire more attention in the economics community and bring new lymph to economic research. It may be necessary to concentrate less on the applications than on the basics of economic complexity, beginning with expansion and deepening of the study of small systems with few interacting components, while until thus far complexity has been assumed to be a prerogative of complicated systems only. It is possible that without a thorough analysis at that level, the understanding of systems that are at the same time complex and complicated will continue to elude economics and econophysics research altogether. To that purpose, the paper initiates and frames a definition of dynamic complexity grounded on the concept of non-linear dynamical system.


title: Kinematic State Abstraction and Provably Efficient Rich-Observation Reinforcement Learning

abstract: We present an algorithm, HOMER, for exploration and reinforcement learning in rich observation environments that are summarizable by an unknown latent state space. The algorithm interleaves representation learning to identify a new notion of kinematic state abstraction with strategic exploration to reach new states using the learned abstraction. The algorithm provably explores the environment with sample complexity scaling polynomially in the number of latent states and the time horizon, and, crucially, with no dependence on the size of the observation space, which could be infinitely large. This exploration guarantee further enables sample-efficient global policy optimization for any reward function. On the computational side, we show that the algorithm can be implemented efficiently whenever certain supervised learning problems are tractable. Empirically, we evaluate HOMER on a challenging exploration problem, where we show that the algorithm is exponentially more sample efficient than standard reinforcement learning baselines.


title: Pseudovector and pseudoscalar spin-dependent interactions in atoms

abstract: Hitherto unknown elementary particles can be searched for with atomic spectroscopy. We conduct such a search using a potential that results from the longitudinal polarization of a pseudovector particle. We show that such a potential, inversely proportional to the boson's mass squared, $V \propto 1/M^2$, can stay finite at $M \to 0$ if the theory is renormalizable. We also look for a pseudoscalar boson, which induces a contact spin-dependent potential that does not contribute to new forces searched for in experiments with macroscopic objects, but may be seen in atomic spectroscopy. We extract limits on the interaction constants of these potentials from the experimental spectra of antiprotonic helium, muonium, positronium, helium, and hydrogen.


title: A Survey on Varieties Generated by Small Semigroups and a Companion Website

abstract: The aim of this paper is to provide an atlas of identity bases for varieties generated by small semigroups and groups. To help the working mathematician easily find information, we provide a companion website that runs in the background automated reasoning tools, finite model builders, and GAP, so that the user has an automatic \textit{intelligent} guide on the literature. This paper is mainly a survey of what is known about identity bases for semigroups or groups of small orders, and we also mend some gaps left unresolved by previous authors. For instance, we provide the first complete and justified list of identity bases for the varieties generated by a semigroup of order up to~$4$, and the website contains the list of varieties generated by a semigroup of order up to~$5$. The website also provides identity bases for several types of semigroups or groups, such as bands, commutative groups, and metabelian groups. On the inherently non-finitely based finite semigroups side, the website can decide if a given finite semigroup possesses this property or not. We provide some other functionalities such as a tool that outputs the multiplication table of a semigroup given by a $C$-presentation, where~$C$ is any class of algebras defined by a set of first order formulas. The companion website can be found here \url{http://sgv.pythonanywhere.com} Please send any comments/suggestions to \url{jj.araujo@fct.unl.pt}


title: Kinetic correlation functionals from the entropic regularisation of the strictly-correlated electrons problem

abstract: We investigate whether the entropic regularisation of the strictly-correlated-electrons problem can be used to build approximations for the kinetic correlation energy functional at large coupling strengths and, more generally, to gain new insight in the problem of describing and understanding strong correlation within Density Functional Theory.


title: Haar wavelets collocation on a class of Emden-Fowler equation via Newton's quasilinearization and Newton-Raphson techniques

abstract: In this paper we have considered generalized Emden-Fowler equation, \begin{equation*} y''(t)+\sigma t^\gamma y^\beta(t)=0, ~~~~~~~~t \in ]0,1[ \end{equation*} subject to the following boundary conditions \begin{equation*} y(0)=1,~y(1)=0;~~\&~~y(0)=1,~y'(1)=y(1), \end{equation*} where $\gamma,\beta$ and $\sigma$ are real numbers, $\gamma<-2$, $\beta>1$. We propsoed to solve the above BVPs with the aid of Haar wavelet coupled with quasilinearization approach as well as Newton-Raphson approach. We have also considered the special case of Emden-Fowler equation ($\sigma=-1$,$\gamma=\frac{-1}{2}$ and $\beta=\frac{3}{2}$) which is popularly, known as Thomas-Fermi equation. We have analysed different cases of generalised Emden-Fowler equation and compared our results with existing results in literature. We observe that small perturbations in initial guesses does not affect the the final solution significantly.


title: The Broadband X-ray Spectrum of the X-ray Obscured Type 1 AGN 2MASX J193013.80+341049.5

abstract: We present results from modeling the broadband X-ray spectrum of the Type 1 AGN 2MASX J193013.80+341049.5 using NuSTAR, Swift and archival XMM-Newton observations. We find this source to be highly X-ray obscured, with column densities exceeding 10$^{23}$ cm$^{-2}$ across all epochs of X-ray observations, spanning an 8 year period. However, the source exhibits prominent broad optical emission lines, consistent with an unobscured Type 1 AGN classification. We fit the X-ray spectra with both phenomenological reflection models and physically-motivated torus models to model the X-ray absorption. We examine the spectral energy distribution of this source and investigate some possible scenarios to explain the mismatch between X-ray and optical classifications. We compare the ratio of reddening to X-ray absorbing column density ($E_{B-V}/N_{H}$) and find that 2MASX J193013.80+341049.5 likely has a much lower dust-to-gas ratio relative to the Galactic ISM, suggesting that the Broad Line Region (BLR) itself could provide the source of extra X-ray obscuration, being composed of low-ionization, dust-free gas.


title: Variable Star Classification Using Multi-View Metric Learning

abstract: Our multi-view metric learning framework enables robust characterization of star categories by directly learning to discriminate in a multi-faceted feature space, thus, eliminating the need to combine feature representations prior to fitting the machine learning model. We also demonstrate how to extend standard multi-view learning, which employs multiple vectorized views, to the matrix-variate case which allows very novel variable star signature representations. The performance of our proposed methods is evaluated on the UCR Starlight and LINEAR datasets. Both the vector and matrix-variate versions of our multi-view learning framework perform favorably --- demonstrating the ability to discriminate variable star categories.


title: A Model of Double Descent for High-dimensional Binary Linear Classification

abstract: We consider a model for logistic regression where only a subset of features of size $p$ is used for training a linear classifier over $n$ training samples. The classifier is obtained by running gradient descent (GD) on logistic loss. For this model, we investigate the dependence of the classification error on the overparameterization ratio $\kappa=p/n$. First, building on known deterministic results on the implicit bias of GD, we uncover a phase-transition phenomenon for the case of Gaussian features: the classification error of GD is the same as that of the maximum-likelihood (ML) solution when $\kappa<\kappa_\star$, and that of the max-margin (SVM) solution when $\kappa>\kappa_\star$. Next, using the convex Gaussian min-max theorem (CGMT), we sharply characterize the performance of both the ML and the SVM solutions. Combining these results, we obtain curves that explicitly characterize the classification error for varying values of $\kappa$. The numerical results validate the theoretical predictions and unveil double-descent phenomena that complement similar recent findings in linear regression settings as well as empirical observations in more complex learning scenarios.


title: Toeplitz extensions in noncommutative topology and mathematical physics

abstract: We review the theory of Toeplitz extensions and their role in operator K-theory, including Kasparov's bivariant K-theory. We then discuss the recent applications of Toeplitz algebras in the study of solid state systems, focusing in particular on the bulk-edge correspondence for topological insulators.


title: A Discreet Wearable IoT Sensor for Continuous Transdermal Alcohol Monitoring -- Challenges and Opportunities

abstract: Non-invasive continuous alcohol monitoring has potential applications in both population research and in clinical management of acute alcohol intoxication or chronic alcoholism. Current wearable monitors based on transdermal alcohol content (TAC) sensing are relatively bulky and have limited quantification accuracy. Here we describe the development of a discreet wearable transdermal alcohol (TAC) sensor in the form of a wristband or armband. This novel sensor can detect vapor-phase alcohol in perspiration from 0.09 ppm (equivalent to 0.09 mg/dL sweat alcohol concentration at 25 {\deg}C under Henry's Law equilibrium) to over 500 ppm at one-minute time resolution. The TAC sensor is powered by a 110 mAh lithium battery that lasts for over 7 days. In addition, the sensor can function as a medical "internet-of-things" (IoT) device by connecting to an Android smartphone gateway via Bluetooth Low Energy (BLE) and upload data to a cloud informatics system. Such wearable IoT sensors may enable large-scale alcohol-related research and personalized management. We also present evidence suggesting a hypothesis that perspiration rate is the dominant factor leading to TAC measurement variabilities, which may inform more reproducible and accurate TAC sensor designs in the future.


title: Trustworthy Misinformation Mitigation with Soft Information Nudging

abstract: Research in combating misinformation reports many negative results: facts may not change minds, especially if they come from sources that are not trusted. Individuals can disregard and justify lies told by trusted sources. This problem is made even worse by social recommendation algorithms which help amplify conspiracy theories and information confirming one's own biases due to companies' efforts to optimize for clicks and watch time over individuals' own values and public good. As a result, more nuanced voices and facts are drowned out by a continuous erosion of trust in better information sources. Most misinformation mitigation techniques assume that discrediting, filtering, or demoting low veracity information will help news consumers make better information decisions. However, these negative results indicate that some news consumers, particularly extreme or conspiracy news consumers will not be helped. We argue that, given this background, technology solutions to combating misinformation should not simply seek facts or discredit bad news sources, but instead use more subtle nudges towards better information consumption. Repeated exposure to such nudges can help promote trust in better information sources and also improve societal outcomes in the long run. In this article, we will talk about technological solutions that can help us in developing such an approach, and introduce one such model called Trust Nudging.


title: Thermal Expansion in Insulating Solids From First Principles

abstract: In this Tutorial, we describe the use of the quasiharmonic approximation and first-principles density functional theory (DFT) to calculate and analyze the thermal expansion of insulating solids. We discuss the theory underlying the quasiharmonic approximation, and demonstrate its practical use within two common frameworks for calculating thermal expansion: the Helmholtz free energy framework and Gr\"{u}neisen theory. Using the example of silicon, we provide a guide for predicting how the lattice parameter changes as a function of temperature using DFT, including the calculation of phonon modes and phonon density of states, elastic constants, and specific heat. We also describe the calculation and interpretation of Gr\"{u}neisen parameters, as well as how they relate to coefficients of thermal expansion. The limitations of the quasiharmonic approximation are briefly touched on, as well as the comparison of theoretical results with experimental data. Finally, we use the example of ferroelectric PbTiO$_3$ to illustrate how the methods used can be adapted to study anisotropic systems.


title: Type-B Anomaly Matching and the 6D (2,0) Theory

abstract: We study type-B conformal anomalies associated with $\frac{1}{2}$-BPS Coulomb-branch operators in 4D $\mathcal N=2$ superconformal field theories. When the vacuum preserves the conformal symmetry these anomalies coincide with the two-point function coefficients in the Coulomb-branch chiral ring. They are non-trivial functions of exactly-marginal couplings that can be determined from the $S^4$ partition function. In this paper, we examine the fate of these anomalies in vacua of the Higgs-branch moduli space, where conformal symmetry is spontaneously broken. We argue non-perturbatively that these anomalies are covariantly constant on conformal manifolds. In some cases, this can be used to show that they match in the broken and unbroken phases. Thus, we uncover a new class of data on the Higgs branch of 4D $\mathcal N=2$ conformal field theories that are exactly computable. An interesting application of this matching occurs in $\mathcal N=2$ circular quivers that deconstruct the 6D (2,0) theory on a torus. In that context, we argue that 4D supersymmetric localisation can be used to calculate non-trivial data involving $\frac{1}{2}$-BPS operators of the 6D theory as exact functions of the complex structure of the torus.


title: All-Spin Bayesian Neural Networks

abstract: Probabilistic machine learning enabled by the Bayesian formulation has recently gained significant attention in the domain of automated reasoning and decision-making. While impressive strides have been made recently to scale up the performance of deep Bayesian neural networks, they have been primarily standalone software efforts without any regard to the underlying hardware implementation. In this paper, we propose an "All-Spin" Bayesian Neural Network where the underlying spintronic hardware provides a better match to the Bayesian computing models. To the best of our knowledge, this is the first exploration of a Bayesian neural hardware accelerator enabled by emerging post-CMOS technologies. We develop an experimentally calibrated device-circuit-algorithm co-simulation framework and demonstrate $24\times$ reduction in energy consumption against an iso-network CMOS baseline implementation.


title: Improved limits on Fierz Interference using asymmetry measurements from the UCNA experiment

abstract: The Ultracold Neutron Asymmetry (UCNA) experiment was designed to measure the $\beta$-decay asymmetry parameter, $A_0$, for free neutron decay. In the experiment, polarized ultracold neutrons are transported into a decay trap, and their $\beta$-decay electrons are detected with $\approx 4\pi$ acceptance into two detector packages which provide position and energy reconstruction. The experiment also has sensitivity to $b_{n}$, the Fierz interference term in the neutron $\beta$-decay rate. In this work, we determine $b_{n}$ from the energy dependence of $A_0$ using the data taken during the UCNA 2011-2013 run. In addition, we present the same type of analysis using the earlier 2010 $A$ dataset. Motivated by improved statistics and comparable systematic errors compared to the 2010 data-taking run, we present a new $b_{n}$ measurement using the weighted average of our asymmetry dataset fits, to obtain $b_{n} = 0.066 \pm 0.041_{\text{stat}} \pm 0.024_{\text{syst}}$ which corresponds to a limit of $-0.012 < b_{n} < 0.144$ at the 90% confidence level.


title: Investigating the Planet-Metallicity Correlation for Hot Jupiters

abstract: We investigate the giant planet-metallicity correlation for a homogeneous, unbiased set of 217 hot Jupiters taken from nearly 15 years of wide-field ground-based surveys. We compare the host star metallicity to that of field stars using the Besan\c{c}on Galaxy model, allowing for a metallicity measurement offset between the two sets. We find that hot Jupiters preferentially orbit metal rich stars. However, we find the correlation consistent, though marginally weaker, for hot Jupiters ($\beta=0.71^{+0.56}_{-0.34}$) than it is for other longer period gas giant planets from radial velocity surveys. This suggests that the population of hot Jupiters probably formed in a similar process to other gas giant planets, and differ only in their migration histories.


title: A Least-Squares Finite Element Method Based on the Helmholtz Decomposition for Hyperbolic Balance Laws

abstract: In this paper, a least-squares finite element method for scalar nonlinear hyperbolic balance laws is proposed and studied. The approach is based on a formulation that utilizes an appropriate Helmholtz decomposition of the flux vector and is related to the standard notion of a weak solution. This relationship, together with a corresponding connection to negative-norm least-squares, is described in detail. As a consequence, an important numerical conservation theorem is obtained, similar to the famous Lax-Wendroff theorem. The numerical conservation properties of the method in this paper do not fall precisely in the framework introduced by Lax and Wendroff, but they are similar in spirit as they guarantee that when $L^2$ convergence holds, the resulting approximations approach a weak solution to the hyperbolic problem. The least-squares functional is continuous and coercive in an $H^{-1}$-type norm, but not $L^2$-coercive. Nevertheless, the $L^2$ convergence properties of the method are discussed. Convergence can be obtained either by an explicit regularization of the functional, that provides control of the $L^2$ norm, or by properly choosing the finite element spaces, providing implicit control of the $L^2$ norm. Numerical results for the inviscid Burgers equation with discontinuous source terms are shown, demonstrating the $L^2$ convergence of the obtained approximations to the physically admissible solution. The numerical method utilizes a least-squares functional, minimized on finite element spaces, and a Gauss-Newton technique with nested iteration. We believe that the linear systems encountered with this formulation are amenable to multigrid techniques and combining the method with adaptive mesh refinement would make this approach an efficient tool for solving balance laws (this is the focus of a future study).


title: Inverse design of fluid flow structure with Turing pattern

abstract: Microchannel reactors are critical in biological plus energy-related applications and require meticulous design of hundreds-to-thousands of fluid flow channels. Such systems commonly comprise intricate space-filling microstructures to control the fluid flow distribution for the reaction process. Traditional flow channel design schemes are intuition-based or utilize analytical rule-based optimization strategies that are oversimplified for large-scale domains of arbitrary geometry. Here, a gradient-based optimization method is proposed, where effective porous media and fluid velocity vector design information is exploited and linked to explicit microchannel parameterizations. Reaction-diffusion equations are then utilized to generate space-filling Turing pattern microchannel flow structures from the porous media field. With this computationally efficient and broadly applicable technique, precise control of fluid flow distribution is demonstrated across large numbers (on the order of hundreds) of microchannels.


title: Emotion and Theme Recognition in Music with Frequency-Aware RF-Regularized CNNs

abstract: We present CP-JKU submission to MediaEval 2019; a Receptive Field-(RF)-regularized and Frequency-Aware CNN approach for tagging music with emotion/mood labels. We perform an investigation regarding the impact of the RF of the CNNs on their performance on this dataset. We observe that ResNets with smaller receptive fields -- originally adapted for acoustic scene classification -- also perform well in the emotion tagging task. We improve the performance of such architectures using techniques such as Frequency Awareness and Shake-Shake regularization, which were used in previous work on general acoustic recognition tasks.


title: The Complexity of Synthesizing nop-Equipped Boolean Nets from g-Bounded Inputs (Technical Report)

abstract: Boolean Petri nets equipped with nop allow places and transitions to be independent by being related by nop. We characterize for any fixed natural number g the computational complexity of synthesizing nop-equipped Boolean Petri nets from labeled directed graphs whose states have at most g incoming and at most g outgoing arcs.


title: Impulse Response Invariant Discretization of Complex Fractional Order Integrator

abstract: When the order of an integrator is a complex number, the integrator is called a complex fractional order integrator (CFOI). The impulse response invariant discretization (IRID) method is proposed to approximately discretize the CFOI. The definition of the CFOI is introduced firstly, and the real and imaginary parts of the CFOI in frequency-domain responses are derived. The code of IRID for the CFOI based on the MATLAB language is explained. The comparisons of the impulse responses and frequency-domain responses between the CFOI and the approximate discrete/continuous transfer functions are presented to illustrate the effectiveness and correctness of the proposed discretization method. This paper offers a reliable method to implement the CFOI.


title: The Dark Matter Distributions in Low-Mass Disk Galaxies. II. The Inner Density Profiles

abstract: Dark matter-only simulations predict that dark matter halos have steep, cuspy inner density profiles, while observations of dwarf galaxies find a range of inner slopes that are often much shallower. There is debate whether this discrepancy can be explained by baryonic feedback or if it may require modified dark matter models. In Paper 1 of this series, we obtained high-resolution integral field H$\alpha$ observations for 26 dwarf galaxies with $M_*=10^{8.1}-10^{9.7}\textrm{M}_\odot$. We derived rotation curves from our observations, which we use here to construct mass models. We model the total mass distribution as the sum of a generalized Navarro-Frenk-White (NFW) dark matter halo and the stellar and gaseous components. Our analysis of the slope of the dark matter density profile focuses on the inner 300-800 pc, chosen based on the resolution of our data and the region resolved by modern hydrodynamical simulations. The inner slope measured using ionized and molecular gas tracers is consistent, and it is additionally robust to the choice of stellar mass-to-light ratio. We find a range of dark matter profiles, including both cored and cuspy slopes, with an average of $\rho_{\rm DM}\sim r^{-0.74\pm 0.07}$, shallower than the NFW profile, but steeper than those typically observed for lower-mass galaxies with $M_*\sim 10^{7.5}\textrm{M}_\odot$. Simulations that reproduce the observed slopes in those lower-mass galaxies also produce slopes that are too shallow for galaxies in our mass range. We therefore conclude that supernova feedback models do not yet provide a fully satisfactory explanation for the observed trend in dark matter slopes.


title: A Root-Free Splitting-Lemma for Systems of Linear Differential Equations

abstract: We consider the formal reduction of a system of linear differential equations and show that, if the system can be block-diagonalised through transformation with a ramified Shearing-transformation and following application of the Splitting Lemma, and if the spectra of the leading block matrices of the ramified system satisfy a symmetry condition, this block-diagonalisation can also be achieved through an unramified transformation. Combined with classical results by Turritin and Wasow as well as work by Balser, this yields a constructive and simple proof of the existence of an unramified block-diagonal form from which formal invariants such as the Newton polygon can be read directly. Our result is particularly useful for designing efficient algorithms for the formal reduction of the system.


title: A Map Between Primordial Power Spectra and the Effective Field Theory of Inflation

abstract: We have developed a precise dictionary between the spectrum of primordial density fluctuations and the parameters of the effective field theory (EFT) of inflation that determine the primordial power spectrum (PPS). At lowest order the EFT contains two parameters: the slow-roll parameter $\epsilon$, which acts as an order parameter, and the speed of sound $c_s$. Applying second-order perturbation theory, we provide maps from the PPS to the EFT parameters that are precise up to the cube of the fractional change in the PPS $(\Delta \mathcal{P}/\mathcal{P})^3$, or less than $1\%$ for spectral features that modulate the PPS by $20\%$. While such features are not required when the underlying cosmological model is assumed to be $\Lambda$CDM they are necessary for alternative models that have no cosmological constant/dark energy. We verify the dictionary numerically and find those excursions in the slow-roll parameter that reproduce the PPS needed to fit Planck data for both $\Lambda$ and no-$\Lambda$ cosmological models.


title: Compile-time Parallelization of Subscripted Subscript Patterns

abstract: An increasing number of scientific applications are making use of irregular data access patterns. An important class of such patterns involve subscripted-subscripts, wherein an array value appears in the index expression of another array. Even though the information required to parallelize loops with such patterns is often available in the program, present compiler techniques fall short of analyzing that information. In this paper we present a study of subscripted-subscripts, the properties that define the subscript arrays, and an algorithm based on symbolic range aggregation, that will help prove the presence of some of the properties of the subscript array in the program. We show that, in an important class of programs, the algorithm can boost the performance from essentially sequential execution to close to fully parallel.


title: On the Age of Information in Erasure Channels with Feedback

abstract: We consider a status updating system where having timely knowledge about the information source at the destination (monitor) is of utmost importance. By utilizing the age of information (AoI) metric, the freshness of status update over an erasure channel is investigated. Due to the erasure nature of the update transmission, an error-free feedback channel from the monitor to the source is necessary for reducing AoI. Each status update contains $K$ packets which can be sent through the channel one at a time. At each channel use, one status update is available from the information source. Depending on how many packets have been received successfully out of the $K$ packets, we need to decide whether to continue sending the current update or terminate it and start sending the newly generated update. In this paper, we find the optimal failure tolerance when the erasure probability ($\epsilon$) is in the regime $\epsilon \to 0$ and also provide a lower and an upper bound for the average AoI for all erasure probabilities. Moreover, for all $\epsilon$, we provide a lower bound for failure tolerance to minimize peak AoI.


title: Observation of Eclipse Shadow Bands Using High Altitude Balloon and Ground-Based Photodiode Arrays

abstract: The results of an investigation into whether or not eclipse shadow bands have an atmospheric origin are presented. Using high altitude balloon and ground-based photodiode arrays during the 21 August 2017 total solar eclipse, data revealing the light patterns before and after totality were collected. These data were then analyzed using spectrograms. Both at the altitude of the balloon and on the ground, a sustained ~ 4.5 Hz signal was detected a few minutes before and after totality. This signal was coherent over a scale greater than 10 cm and detected in four separate balloon photodiodes and 16 ground photodiodes. At higher frequencies, up to at least 30 Hz, brief chaotic signals that were disorganized as a function of time were detected on the ground, but not at the altitude of the balloon and appeared mostly uncorrelated over a length scale of 10 cm. Some of our ground arrays utilized red and blue filters, but neither the sustained 4.5 Hz signal nor the higher frequency signals showed a strong dependence on filter color. On the ground we made a video of the shadow bands on a scaled white screen. We judged that the bands were roughly parallel to the orientation of the bright thin crescent Sun before and after totality and inferred that their propagation velocity was about v ~ 59 cm /s. Shadow band signals other than the sustained signal at ~ 4.5 Hz are consistent with atmospheric scintillation theory. These results are surprising. Based on accounts in the literature we expected to confirm the atmospheric scintillation theory of eclipse shadow bands, but instead we detected a sustained ~ 4.5 Hz signal at both high altitude and on the ground. This signal cannot be due to atmospheric scintillation and we ran a check to make sure this signal is not an artifact of our electronics. We recommend that additional searches for eclipse shadow bands be made at high altitude in the future.


title: Geometric phase through spatial potential engineering

abstract: We propose a spatial analog of the Berry's phase mechanism for the coherent manipulation of states of non-relativistic massive particles moving in a two-dimensional landscape. In our construction the temporal modulation of the system Hamiltonian is replaced by a modulation of the confining potential along the transverse direction of the particle propagation. By properly tuning the model parameters the resulting scattering input-output relations exhibit a Wilczek-Zee non-abelian phase shift contribution that is intrinsically geometrical, hence insensitive to the specific details of the potential landscape. A theoretical derivation of the effect is provided together with practical examples.


title: TASTE: Temporal and Static Tensor Factorization for Phenotyping Electronic Health Records

abstract: Phenotyping electronic health records (EHR) focuses on defining meaningful patient groups (e.g., heart failure group and diabetes group) and identifying the temporal evolution of patients in those groups. Tensor factorization has been an effective tool for phenotyping. Most of the existing works assume either a static patient representation with aggregate data or only model temporal data. However, real EHR data contain both temporal (e.g., longitudinal clinical visits) and static information (e.g., patient demographics), which are difficult to model simultaneously. In this paper, we propose Temporal And Static TEnsor factorization (TASTE) that jointly models both static and temporal information to extract phenotypes. TASTE combines the PARAFAC2 model with non-negative matrix factorization to model a temporal and a static tensor. To fit the proposed model, we transform the original problem into simpler ones which are optimally solved in an alternating fashion. For each of the sub-problems, our proposed mathematical reformulations lead to efficient sub-problem solvers. Comprehensive experiments on large EHR data from a heart failure (HF) study confirmed that TASTE is up to 14x faster than several baselines and the resulting phenotypes were confirmed to be clinically meaningful by a cardiologist. Using 80 phenotypes extracted by TASTE, a simple logistic regression can achieve the same level of area under the curve (AUC) for HF prediction compared to a deep learning model using recurrent neural networks (RNN) with 345 features.


title: Naive cubical type theory

abstract: This paper proposes a way of doing type theory informally, assuming a cubical style of reasoning. It can thus be viewed as a first step toward a cubical alternative to the program of informalization of type theory carried out in the homotopy type theory book for dependent type theory augmented with axioms for univalence and higher inductive types. We adopt a cartesian cubical type theory proposed by Angiuli, Brunerie, Coquand, Favonia, Harper, and Licata as the implicit foundation, confining our presentation to elementary results such as function extensionality, the derivation of weak connections and path induction, the groupoid structure of types, and the Eckmman-Hilton duality.


title: Accelerating cardiac cine MRI using a deep learning-based ESPIRiT reconstruction

abstract: A novel neural network architecture, known as DL-ESPIRiT, is proposed to reconstruct rapidly acquired cardiac MRI data without field-of-view limitations which are present in previously proposed deep learning-based reconstruction frameworks. Additionally, a novel convolutional neural network based on separable 3D convolutions is integrated into DL-ESPIRiT to more efficiently learn spatiotemporal priors for dynamic image reconstruction. The network is trained on fully-sampled 2D cardiac cine datasets collected from eleven healthy volunteers with IRB approval. DL-ESPIRiT is compared against a state-of-the-art parallel imaging and compressed sensing method known as $l_1$-ESPIRiT. The reconstruction accuracy of both methods is evaluated on retrospectively undersampled datasets (R=12) with respect to standard image quality metrics as well as automatic deep learning-based segmentations of left ventricular volumes. Feasibility of this approach is demonstrated in reconstructions of prospectively undersampled data which were acquired in a single heartbeat per slice.


title: Optimization of noisy blackboxes with adaptive precision

abstract: In derivative-free and blackbox optimization, the objective function is often evaluated through the execution of a computer program seen as a blackbox. It can be noisy, in the sense that its outputs are contaminated by random errors. Sometimes, the source of these errors is identified and controllable, in the sense that it is possible to reduce the standard deviation of the stochastic noise it generates. A common strategy to deal with such a situation is to monotonically diminish this standard deviation, to asymptotically make it converge to zero and ensure convergence of algorithms because the noise is dismantled. This work presents MpMads, an algorithm which follows this approach. However, in practice a reduction of the standard deviation increases the computation time, and makes the optimization process long. Therefore, a second algorithm called DpMads is introduced to explore another strategy, which does not force the standard deviation to monotonically diminish. Although these strategies are proved to be theoretically equivalents, tests on analytical problems and an industrial blackbox are presented to illustrate practical differences.


title: Signal Readout Electronics for LEGEND-200

abstract: LEGEND (Large Enriched Germanium Experiment for Neutrinoless Double-Beta Decay) is a ton-scale experimental program to search for neutrinoless double beta ($0 \nu \beta \beta$) decay using high-purity germanium detectors enriched in the isotope $^{76}$Ge. An observation of $0 \nu \beta \beta$ decay would unequivocally prove the existence of lepton number violation and provide insight into the nature of neutrino masses. On-site construction for the first 200-kg phase (LEGEND-200) of the experiment will start at the Gran Sasso underground laboratory (Laboratory Nazionali del Gran Sasso, Italy) in mid-2020. In order to achieve a sensitivity of $10^{27}$ years on the $0 \nu \beta \beta$ half-life, ultra-clean low-noise signal readout electronics are essential as they impact both the background budget of the experiment and the efficiency of background rejection. In this contribution, the current status of the signal readout electronics for LEGEND-200 is presented.


title: Anisotropic cosmological dynamics in Einstein-Gauss-Bonnet gravity: an example of dynamical compactification in 7+1 dimensions

abstract: We consider a particular example of dynamical compactification of an anisotropic 7+1 dimensional Universe in Einstein - Gauss - Bonnet gravity. Starting from rather general totally anisotropic initial conditions a Universe in question evolves towards a product of two isotropic subspaces. The first subspace expands isotropically, the second represents an "inner" isotropic subspace with stabilized size. The dynamical evolution does not require fine-tuning of initial conditions, though it is possible for a particular range of coupling constants. The corresponding condition have been found analytically and have been confirmed using numerical integration of equations of motion.


title: RecyGlide : A Forearm-worn Multi-modal Haptic Display aimed to Improve User VR Immersion

abstract: Haptic devices have been employed to immerse users in VR environments. In particular, hand and finger haptic devices have been deeply developed. However, this type of device occlude the hand detection by some tracking systems, or in other tracking systems, it is uncomfortable for the users to wear two-hand devices (haptic and tracking device). We introduce RecyGlide, which is a novel wearable forearm multimodal display at the forearm. The RecyGlide is composed of inverted five-bar linkages and vibration motors. The device provides multimodal tactile feedback such as slippage, a force vector, pressure, and vibration. We tested the discrimination ability of monomodal and multimodal stimuli patterns in the forearm and confirmed that the multimodal stimuli patterns are more recognizable. This haptic device was used in VR applications, and we proved that it enhances VR experience and makes it more interactive.


title: Enhanced Plasmonic Photocatalysis through Cooperative Plasmonic--Photonic Hybridization

abstract: Plasmonic nanoparticles (NPs) hold tremendous promise for catalyzing light-driven chemical reactions. The conventionally assumed detrimental absorption loss from plasmon damping can now be harvested to drive chemical transformations of the NP adsorbent, through the excitation and transfer of energetic "hot" carriers. The rate and selectivity of plasmonic photocatalysis are dependent on the characteristics of the incident light. By engineering the strength and wavelength of the light harvesting of a NP, it is possible to achieve more efficient and predictive photocatalysts. We report a plasmonic--photonic resonance hybridization strategy to substantially enhance hot electron generation at tunable, narrow-band wavelengths. By coupling the plasmon resonance of silver NPs to the guided mode resonance in a photonic crystal (PC) slab, the reaction rate of a hot-electron-driven reduction conversion is greatly accelerated. The mechanism is broadly compatible with NPs with manifold materials and shapes optimized for the targeted chemistry. The novel enhancement platform sheds light on rational design of high-performance plasmonic photocatalysts.


title: Projective Analytic Vectors and Infinitesimal Generators

abstract: We establish the notion of a ``projective analytic vector'', whose defining requirements are weaker than the usual ones of an analytic vector, and use it to prove generation theorems for one-parameter groups on locally convex spaces. More specifically, we give a characterization of the generators of strongly continuous one-parameter groups which arise as the result of a projective limit procedure, in which the existence of a dense set of projective analytic vectors plays a central role. An application to strongly continuous Lie group representations on Banach spaces is given, with a focused analysis on concrete algebras of functions and of pseudodifferential operators.


title: Two-dimensional interacting self-avoiding walks: new estimates for critical temperatures and exponents

abstract: We investigate, by series methods, the behaviour of interacting self-avoiding walks (ISAWs) on the honeycomb lattice and on the square lattice. This is the first such investigation of ISAWs on the honeycomb lattice. We have generated data for ISAWs up to 75 steps on this lattice, and 55 steps on the square lattice. For the hexagonal lattice we find the $\theta$-point to be at $u_\mathrm{c} = 2.767 \pm 0.002.$ The honeycomb lattice is unique among the regular two-dimensional lattices in that the exact growth constant is known for non-interacting walks, and is $\sqrt{2+\sqrt{2}}$, while for half-plane walks interacting with a surface, the critical fugacity, again for the honeycomb lattice, is $1+\sqrt{2}$. We could not help but notice that $\sqrt{2+4\sqrt{2}} = 2.767\ldots .$ We discuss the difficulties of trying to prove, or disprove, this possibility. For square lattice ISAWs we find $u_\mathrm{c}=1.9474 \pm 0.001,$ which is consistent with the best Monte Carlo analysis. We also study bridges and terminally-attached walks (TAWs) on the square lattice at the $\theta$-point. We estimate the exponents to be $\gamma_b=0.00 \pm 0.03,$ and $\gamma_1=0.55 \pm 0.03$ respectively. The latter result is consistent with the prediction $\gamma_1(\theta) = \nu =\frac47$, albeit for a modified version of the problem, while the former estimate appears to be new.


title: Decoding the complexities of lead-based relaxor ferroelectrics

abstract: Relaxor ferroelectrics, which can exhibit exceptional electromechanical coupling are some of the most important functional materials with applications ranging from ultrasound imaging to actuators and sensors in microelectromechanical devices. Since their discovery nearly 60 years ago, the complexity of nanoscale chemical and structural heterogeneity in these systems has made understanding the origins of their unique electromechanical properties a seemingly intractable problem. A full accounting of the mechanisms that connect local structure and chemistry with nanoscale fluctuations in polarization has, however, remained a need and a challenge. Here, we employ aberration-corrected scanning transmission electron microscopy (STEM) to quantify various types of nanoscale heterogeneity and their connection to local polarization in the prototypical relaxor ferroelectric system Pb(Mg$_{1/3}$Nb$_{2/3}$)O$_{3}$-PbTiO3 (PMN-PT). We identify three main contributions that each depend on Ti content: chemical order, oxygen octahedral tilt, and oxygen octahedral distortion. These heterogeneities are found to be spatially correlated with low angle polar domain walls, indicating their role in disrupting long-range polarization. Specifically, these heterogeneities lead to nanoscale domain formation and the relaxor response. We further locate nanoscale regions of monoclinic distortion that correlate directly with Ti content and the electromechanical performance. Through this approach, the elusive connection between chemical heterogeneity, structural heterogeneity and local polarization is revealed, and the results validate models needed to develop the next generation of relaxor ferroelectric materials.


title: On the Riemann-Hilbert problem for a $q$-difference Painlev\'e equation

abstract: A Riemann-Hilbert problem for a $q$-difference Painlev\'e equation, known as $q\textrm{P}_{\textrm{IV}}$, is shown to be solvable. This yields a bijective correspondence between the transcendental solutions of $q\textrm{P}_{\textrm{IV}}$ and corresponding data on an associated $q$-monodromy surface. We also construct the moduli space of $q\textrm{P}_{\textrm{IV}}$ explicitly.


title: $\Phi$-Harmonic Maps and $\Phi$-Superstrongly Unstable Manifolds

abstract: In this paper, we motivate and define $\Phi$-energy density, $\Phi$-energy, $\Phi$-harmonic maps and stable $\Phi$-harmonic maps. Whereas harmonic maps or $p$-harmonic maps can be viewed as critical points of the integral of $\sigma_1$ of a pull-back tensor, $\Phi$-harmonic maps can be viewed as critical points of the integral of $\sigma_2$ of a pull-back tensor. By an extrinsic average variational method in the calculus of variations (cf. \cite{HW,WY,13,HaW}), we derive the average second variation formulas for $\Phi$-energy functional, express them in orthogonal notation in terms of the differential matrix, and find $\Phi$-superstrongly unstable $(\Phi$-$\text{SSU})$ manifolds. We prove, in particular that every compact $\Phi$-$\text{SSU}$ manifold must be $\Phi$-strongly unstable $(\Phi$-$\text{SU})$, i.e., $(a)$ A compact $\Phi$-$\text{SSU}$ manifold cannot be the target of any nonconstant stable $\Phi$-harmonic maps from any manifold, $\rm (b)$ The homotopic class of any map from any manifold into a compact $\Phi$-$\text{SSU}$ manifold contains elements of arbitrarily small $\Phi$-energy, $(\rm c)$ A compact $\Phi$-$\text{SSU}$ manifold cannot be the domain of any nonconstant stable $\Phi$-harmonic map into any manifold, and $(\rm d)$ The homotopic class of any map from a compact $\Phi$-$\text{SSU}$ manifold into any manifold contains elements of arbitrarily small $\Phi$-energy (cf. Theorem $1.1 (a),(b),(c)$, and $(d)$.) We also provide many examples of $\Phi$-SSU manifolds, and establish a link of $\Phi$-SSU manifold to $p$-SSU manifold and topology. The extrinsic average variational method in the calculus of variations that we have employed is in contrast to an average method in PDE that we applied in \cite {CW} to obtain sharp growth estimates for warping functions in multiply warped product manifolds.


title: SpiralNet++: A Fast and Highly Efficient Mesh Convolution Operator

abstract: Intrinsic graph convolution operators with differentiable kernel functions play a crucial role in analyzing 3D shape meshes. In this paper, we present a fast and efficient intrinsic mesh convolution operator that does not rely on the intricate design of kernel function. We explicitly formulate the order of aggregating neighboring vertices, instead of learning weights between nodes, and then a fully connected layer follows to fuse local geometric structure information with vertex features. We provide extensive evidence showing that models based on this convolution operator are easier to train, and can efficiently learn invariant shape features. Specifically, we evaluate our method on three different types of tasks of dense shape correspondence, 3D facial expression classification, and 3D shape reconstruction, and show that it significantly outperforms state-of-the-art approaches while being significantly faster, without relying on shape descriptors. Our source code is available on GitHub.


title: Decorated Protein Networks: Functional Nanomaterials with Tunable Domain Size

abstract: The implementation of natural and artificial proteins with designer properties and functionalities offers unparalleled opportunity for functional nanoarchitectures formed through self-assembly. However, to exploit the opportunities offered we require the ability to control protein assembly into the desired architecture while avoiding denaturation and therefore retaining protein functionality. Here we address this challenge with a model system of fluorescent proteins. Using techniques of self-assembly manipulation inspired by soft matter where interactions between components are controlled to yield the desired structure, we show that it is possible to assemble networks of proteins of one species which we can decorate with another, whose coverage we can tune. Consequently, the interfaces between domains of each component can also be tuned, with applications for example in energy transfer. Our model system of fluorescent proteins eGFP and mCherry retain their fluorescence throughout the assembly process, thus demonstrating that functionality is preserved.


title: Graph-Induced Rank Structures and their Representations

abstract: A new framework is proposed to study rank-structured matrices arising from discretizations of 2D and 3D elliptic operators. In particular, we introduce the notion of a graph-induced rank structure (GIRS) which aims to capture the fine low rank structures which appear in sparse matrices and their inverses in terms of the adjacency graph $\mathbb{G}$. We show that the GIRS property is invariant under inversion, and hence any effective representation of the inverse of GIRS matrices would lead to effective solvers. Starting with the observation that sequentially semi-separable (SSS) matrices form a good candidate for representing GIRS matrices on the line graph, we propose two extensions of SSS matrices to arbitrary graphs: Dewilde-van der Veen (DV) representations and $\mathbb{G}$-semi-separable ($\mathbb{G}$-SS) representations. It is shown that both these representations come naturally equipped with fast solvers where the solve complexity is commensurate to fast sparse Gaussian elimination on the graph $\mathbb{G}$, and $\mathbb{G}$-SS representations have a linear time multiplication algorithm. We show the construction of these representations to be highly nontrivial by determining the minimal $\mathbb{G}$-SS representation for the cycle graph $\mathbb{G}$. To obtain a minimal representation, we solve an exotic variant of a low-rank completion problem.


title: Computation-Communication Trade-offs and Sensor Selection in Real-time Estimation for Processing Networks

abstract: Recent advances in electronics are enabling substantial processing to be performed at each node (robots, sensors) of a networked system. Local processing enables data compression and may mitigate measurement noise, but it is still slower compared to a central computer (it entails a larger computational delay). However, while nodes can process the data in parallel, the centralized computational is sequential in nature. On the other hand, if a node sends raw data to a central computer for processing, it incurs communication delay. This leads to a fundamental communication-computation trade-off, where each node has to decide on the optimal amount of preprocessing in order to maximize the network performance. We consider a network in charge of estimating the state of a dynamical system and provide three contributions. First, we provide a rigorous problem formulation for optimal real-time estimation in processing networks in the presence of delays. Second, we show that, in the case of a homogeneous network (where all sensors have the same computation) that monitors a continuous-time scalar linear system, the optimal amount of local preprocessing maximizing the network estimation performance can be computed analytically. Third, we consider the realistic case of a heterogeneous network monitoring a discrete-time multi-variate linear system and provide algorithms to decide on suitable preprocessing at each node, and to select a sensor subset when computational constraints make using all sensors suboptimal. Numerical simulations show that selecting the sensors is crucial. Moreover, we show that if the nodes apply the preprocessing policy suggested by our algorithms, they can largely improve the network estimation performance.


title: Constraints from invariant subtropical vertical velocities on the scalings of Hadley cell strength and downdraft width with rotation rate

abstract: Weak-temperature-gradient influences from the tropics and quasigeostrophic influences from the extratropics plausibly constrain the subtropical-mean static stability in terrestrial atmospheres. Because mean descent acting on this static stability is a leading-order term in the thermodynamic balance, a state-invariant static stability would impose constraints on the Hadley cells, which this paper explores in simulations of varying planetary rotation rate. If downdraft-averaged effective heating (the sum of diabatic heating and eddy heat flux convergence) too is invariant, so must be vertical velocity -- an "omega governor." In that case, the Hadley circulation overturning strength and downdraft width must scale identically -- the cell can strengthen only by widening or weaken only by narrowing. Simulations in two idealized, dry GCMs with a wide range of planetary rotation rates exhibit nearly unchanging downdraft-averaged static stability, effective heating, and vertical velocity, as well as nearly identical scalings of the Hadley cell downdraft width and strength. In one, eddy stresses set this scaling directly (the Rossby number remains small); in the other, eddy stress and bulk Rossby number changes compensate to yield the same, ({\sim}\Omega^{-1/3}) scaling. The consistency of this power law for cell width and strength variations may indicate a common driver, and we speculate that Ekman pumping could be the mechanism responsible for this behavior. Extending to moist atmospheres, in an idealized aquaplanet GCM the subtropical static stability is also insensitive to rotation rate but the effective heating and vertical velocity are not.


title: Federated and Differentially Private Learning for Electronic Health Records

abstract: The use of collaborative and decentralized machine learning techniques such as federated learning have the potential to enable the development and deployment of clinical risk predictions models in low-resource settings without requiring sensitive data be shared or stored in a central repository. This process necessitates communication of model weights or updates between collaborating entities, but it is unclear to what extent patient privacy is compromised as a result. To gain insight into this question, we study the efficacy of centralized versus federated learning in both private and non-private settings. The clinical prediction tasks we consider are the prediction of prolonged length of stay and in-hospital mortality across thirty one hospitals in the eICU Collaborative Research Database. We find that while it is straightforward to apply differentially private stochastic gradient descent to achieve strong privacy bounds when training in a centralized setting, it is considerably more difficult to do so in the federated setting.


title: Classifying Signals Under a Finite Abelian Group Action: The Finite Dimensional Setting

abstract: Let $G$ be a finite group acting on $\mathbb{C}^N$. We study the problem of identifyng the class in $\mathbb{C}^N / G$ of a given signal: this encompasses several types of problems in signal processing. Some instances include certain generalizations of phase retrieval, image recognition, the analysis of textures, etc. In our previous work \cite{prev}, based on an algebraic approach, we constructed a Lipschitz translation invariant transform -- the case when $G$ is cyclic. Here, we extend our results to include all finite Abelian groups. Moreover, we show the existence of a new transform that avoids computing high powers of the moduli of the signal entries--which can be computationally taxing. The new transform does not enjoy the algebraic structure imposed in our earlier work and is thus more flexible. Other (even lower) dimensional representations are explored, however they only provide an almost everywhere (actually generic) recovery which is not a significant drawback for applications. Our constructions are locally robust and provide alternatives to other statistical and neural networks based methods.


title: Regularity results for a nonlinear elliptic-parabolic system with oscillating coefficients

abstract: In this paper we study the initial boundary value problem for the system $\mbox{div}(\sigma(u)\nabla\varphi)=0,\ \ u_t-\Delta u=\sigma(u)|\nabla\varphi|^2$. This problem is known as the thermistor problem which models the electrical heating of conductors. Our assumptions on $\sigma(u)$ leave open the possibility that $\liminf_{u\rightarrow\infty}\sigma(u)=0$, while $\limsup_{u\rightarrow\infty}\sigma(u)$ is large. This means that $\sigma(u)$ can oscillate wildly between $0$ and a large positive number as $u\rightarrow \infty$. Thus our degeneracy is fundamentally different from the one that is present in porous medium type of equations. We obtain a weak solution $(u, \varphi)$ with $|\nabla \varphi|, |\nabla u|\in L^\infty$ by first establishing a uniform upper bound for $e^{\varepsilon u}$ for some small $\varepsilon$. This leads to an inequality in $\nabla\varphi$, from whence follows the regularity result. This approach enables us to avoid first proving the H\"{o}lder continuity of $\varphi$ in the space variables, which would have required that the elliptic coefficient $\sigma(u)$ be an $A_2$ weight. As it is known, the latter implies that $\ln\sigma(u)$ is "nearly bounded".


title: Motion Reasoning for Goal-Based Imitation Learning

abstract: We address goal-based imitation learning, where the aim is to output the symbolic goal from a third-person video demonstration. This enables the robot to plan for execution and reproduce the same goal in a completely different environment. The key challenge is that the goal of a video demonstration is often ambiguous at the level of semantic actions. The human demonstrators might unintentionally achieve certain subgoals in the demonstrations with their actions. Our main contribution is to propose a motion reasoning framework that combines task and motion planning to disambiguate the true intention of the demonstrator in the video demonstration. This allows us to robustly recognize the goals that cannot be disambiguated by previous action-based approaches. We evaluate our approach by collecting a dataset of 96 video demonstrations in a mockup kitchen environment. We show that our motion reasoning plays an important role in recognizing the actual goal of the demonstrator and improves the success rate by over 20%. We further show that by using the automatically inferred goal from the video demonstration, our robot is able to reproduce the same task in a real kitchen environment.


title: Beyond Mat\'ern: On A Class of Interpretable Confluent Hypergeometric Covariance Functions

abstract: The Mat\'ern covariance function is a popular choice for prediction in spatial statistics and uncertainty quantification literature. A key benefit of the Mat\'ern class is that it is possible to get precise control over the degree of mean-square differentiability of the random process. However, the Mat\'ern class possesses exponentially decaying tails, and thus may not be suitable for modeling polynomially decaying dependence. This problem can be remedied using polynomial covariances; however one loses control over the degree of mean-square differentiability of corresponding processes, in that random processes with existing polynomial covariances are either infinitely mean-square differentiable or nowhere mean-square differentiable at all. We construct a new family of covariance functions called the \emph{Confluent Hypergeometric} (CH) class using a scale mixture representation of the Mat\'ern class where one obtains the benefits of both Mat\'ern and polynomial covariances. The resultant covariance contains two parameters: one controls the degree of mean-square differentiability near the origin and the other controls the tail heaviness, independently of each other. Using a spectral representation, we derive theoretical properties of this new covariance including equivalent measures and asymptotic behavior of the maximum likelihood estimators under infill asymptotics. The improved theoretical properties of the CH class are verified via extensive simulations. Application using NASA's Orbiting Carbon Observatory-2 satellite data confirms the advantage of the CH class over the Mat\'ern class, especially in extrapolative settings.


title: Witnessing Secure Compilation

abstract: Compiler optimizations are designed to improve run-time performance while preserving input-output behavior. Correctness in this sense does not necessarily preserve security: it is known that standard optimizations may break or weaken security properties that hold of the source program. This work develops a translation validation method for secure compilation. Security (hyper-)properties are expressed using automata operating over a bundle of program traces. A flexible, automaton-based refinement scheme, generalizing existing refinement methods, guarantees that the associated security property is preserved by a program transformation. In practice, the refinement relations ("security witnesses") can be generated during compilation and validated independently with a refinement checker. This process is illustrated for common optimizations. Crucially, it is not necessary to verify the compiler implementation itself, which is infeasible in practice for production compilers.


title: Attraction to and repulsion from a subset of the unit sphere for isotropic stable L\'evy processes

abstract: Taking account of recent developments in the representation of $d$-dimensional isotropic stable L\'evy processes as self-similar Markov processes, we consider a number of new ways to condition its path. Suppose that $\Omega$ is a region of the unit sphere $\mathbb{S}^{d-1} = \{x\in \mathbb{R}^d: |x| =1\}$. We construct the aforesaid stable L\'evy process conditioned to approach $\mathsf{S}$ continuously from either inside or outside of the sphere. Additionally, we show that %this these processes are in duality with the stable process conditioned to remain inside the sphere and absorb continuously at the origin and to remain outside of the sphere, respectively. Our results extend the recent contributions of D\"oring and Weissman (2018),, where similar conditioning is considered, albeit in one dimension. As is the case there, we appeal to recent fluctuation identities related to the deep factorisation of stable processes.


title: A Kolmogorov type theorem for stochastic fields

abstract: We generalize the Kolmogorov continuity theorem and prove the continuity of a class of stochastic fields with the parameter. As an application, we derive the continuity of solutions for nonlocal stochastic parabolic equations driven by non-Gaussian L\'{e}vy noises.


title: Using Cyclotron Radiation Emission for Ultra-high Resolution X-Ray Spectroscopy

abstract: Cyclotron Radiation Emission Spectroscopy (CRES) is an approach to measuring the energy of an electron trapped in an externally applied magnetic field. The bare electron can come from different interactions, including photoelectric absorption, Compton scatters, beta decay, and pair production. CRES relies on measuring the frequency of the electron's cyclotron motion, and because the measurement times extend over $10^6$-$10^7$ cycles, the energy resolution is on the order of a single electronvolt. To date, CRES has only been performed on internal beta-emitting radioisotopes, but the technology can be applied to X-ray spectrometery through appropriate selection of a target gas and sufficient intensity of the distinct X-ray source. The applications of this technology range from high-precision measurements of atomic energy levels, to calibrations of basic science experiments, to trace element identification. In this work we explore the use of CRES for X-ray spectroscopy within the rubric of measuring the energy levels of argon, although the principles are broadly applicable to many other situations. The issues we explore include target material, density, electron trapping depth, noise levels, and overall efficiency. We also discuss spectral deconvolution and how the multiple peaks obtained from a single target / source pair can be used to enhance the robustness of the measurement.


title: Character Keypoint-based Homography Estimation in Scanned Documents for Efficient Information Extraction

abstract: Precise homography estimation between multiple images is a pre-requisite for many computer vision applications. One application that is particularly relevant in today's digital era is the alignment of scanned or camera-captured document images such as insurance claim forms for information extraction. Traditional learning based approaches perform poorly due to the absence of an appropriate gradient. Feature based keypoint extraction techniques for homography estimation in real scene images either detect an extremely large number of inconsistent keypoints due to sharp textual edges, or produce inaccurate keypoint correspondences due to variations in illumination and viewpoint differences between document images. In this paper, we propose a novel algorithm for aligning scanned or camera-captured document images using character based keypoints and a reference template. The algorithm is both fast and accurate and utilizes a standard Optical character recognition (OCR) engine such as Tesseract to find character based unambiguous keypoints, which are utilized to identify precise keypoint correspondences between two images. Finally, the keypoints are used to compute the homography mapping between a test document and a template. We evaluated the proposed approach for information extraction on two real world anonymized datasets comprised of health insurance claim forms and the results support the viability of the proposed technique.


title: LiDAR ICPS-net: Indoor Camera Positioning based-on Generative Adversarial Network for RGB to Point-Cloud Translation

abstract: Indoor positioning aims at navigation inside areas with no GPS-data availability and could be employed in many applications such as augmented reality, autonomous driving specially inside closed areas and tunnels. In this paper, a deep neural network-based architecture has been proposed to address this problem. In this regard, a tandem set of convolutional neural networks, as well as a Pix2Pix GAN network have been leveraged to perform as the scene classifier, scene RGB image to point cloud converter, and position regressor, respectively. The proposed architecture outperforms the previous works, including our recent work, in the sense that it makes data generation task easier and more robust against scene small variations, whilst the accuracy of the positioning is remarkably well, for both Cartesian position and quaternion information of the camera.


title: Flat Field Forensics

abstract: We present two subtle charge transport problems revealed by the statistics of flat fields. Mark Downing has presented photon transfer curves showing variance dips of order 25% at signal levels around 80% of blooming. These dips appear when substrate voltage is raised above zero, for - 0V to 8V parallel clock swing. We present a modified parallel transfer sequence that eliminates the dip, based on the hypothesis that it is caused by charge spillage from last line to the 2nd last line. We discuss an experiment to test whether the electrode map is incorrectly reported in the data sheet. A more subtle dip in the variance occurs at signals around 6000 e-. This is eliminated by increasing serial clock high by a few volts, suggesting the existence of a small structural trap at the parallel-serial interface. Tails above blooming stars are suppressed using an inverted clocking during readout and a positive clocking during exposure to maintain sharpness of the PTC. We show that integrating under three parallel phases, instead of the two recommended, reduces pixel area variations from 0.39% to 0.28%, while also eliminating striations observed along central columns in pixel area maps. We show that systematic line and column width errors at stitching boundaries (~15 nm) are now an order of magnitude less than the random pixel area variations.


title: A Reduction from Reinforcement Learning to No-Regret Online Learning

abstract: We present a reduction from reinforcement learning (RL) to no-regret online learning based on the saddle-point formulation of RL, by which "any" online algorithm with sublinear regret can generate policies with provable performance guarantees. This new perspective decouples the RL problem into two parts: regret minimization and function approximation. The first part admits a standard online-learning analysis, and the second part can be quantified independently of the learning algorithm. Therefore, the proposed reduction can be used as a tool to systematically design new RL algorithms. We demonstrate this idea by devising a simple RL algorithm based on mirror descent and the generative-model oracle. For any $\gamma$-discounted tabular RL problem, with probability at least $1-\delta$, it learns an $\epsilon$-optimal policy using at most $\tilde{O}\left(\frac{|\mathcal{S}||\mathcal{A}|\log(\frac{1}{\delta})}{(1-\gamma)^4\epsilon^2}\right)$ samples. Furthermore, this algorithm admits a direct extension to linearly parameterized function approximators for large-scale applications, with computation and sample complexities independent of $|\mathcal{S}|$,$|\mathcal{A}|$, though at the cost of potential approximation bias.


title: On dispersion relations and hadronic light-by-light scattering contribution to the muon anomalous magnetic moment

abstract: We discuss the use of dispersion relations for the evaluation of the pseudoscalar contributions to the muon anomalous magnetic moment. We point out that, in the absence of experimental data, reconstruction of light-by-light scattering amplitudes from their absorptive parts is ambiguous and requires additional theoretical input. The need for an additional input makes dispersive computations of the hadronic light-by-light scattering contribution to g-2 akin to phenomenological models, in spite of pretense to the contrary. In particular, we argue that the recent proposal [1], based on the dispersive approach, satisfies short distance constraints at the expense of unjustifiably large deviations from the chiral limit.


title: Free energy and entropy for finite temperature quantum field theory under the influence of periodic backgrounds

abstract: The basic thermodynamic quantities for a non-interacting scalar field in a periodic potential composed of either a one-dimensional chain of Dirac $\delta$-$\delta^\prime$ functions or a specific potential with extended compact support are calculated. First, we consider the representation in terms of real frequencies (or one-particle energies). Then we turn the axis of frequency integration towards the imaginary axis by a finite angle, which allows for easy numerical evaluation, and finally turn completely to the imaginary frequencies and derive the corresponding Matsubara representation, which this way appears also for systems with band structure. In the limit case $T \to 0$ we confirm earlier results on the vacuum energy. We calculate for the mentioned examples the free energy and the entropy and generalize earlier results on negative entropy.

categories: math-ph cond-mat.stat-mech hep-th math.MP quant-ph


title: Partial-Order, Partially-Seen Observations of Fluents or Actions for Plan Recognition as Planning

abstract: This work aims to make plan recognition as planning more ready for real-world scenarios by adapting previous compilations to work with partial-order, half-seen observations of both fluents and actions. We first redefine what observations can be and what it means to satisfy each kind. We then provide a compilation from plan recognition problem to classical planning problem, similar to original work by Ramirez and Geffner, but accommodating these more complex observation types. This compilation can be adapted towards other planning-based plan recognition techniques. Lastly we evaluate this method against an "ignore complexity" strategy that uses the original method by Ramirez and Geffner. Our experimental results suggest that, while slower, our method is equally or more accurate than baseline methods; our technique sometimes significantly reduces the size of the solution to the plan recognition problem, i.e, the size of the optimal goal set. We discuss these findings in the context of plan recognition problem difficulty and present an avenue for future work.


title: The Giant Herbig-Haro Flow HH 212 and Associated Star Formation

abstract: The bipolar jet HH 212, among the finest collimated jets known, has so far been detected only in near-infrared H$_2$ emission. Here we present deep optical images that show two of the major bow shocks weakly detected in optical [SII] emission, as expected for a bona fide Herbig-Haro jet. We present widefield H$_2$ images which reveal two more bow shocks located symmetrically around the source and along the main jet axis. Additionally, examination of Spitzer 4.5 $\mu$m images reveals yet another bright bow shock further to the north along the jet axis; no corresponding bow shock is seen to the south. In total, the HH 212 flow has an extent of 1050 arcsec, corresponding to a projected dimension of 2.0 pc. HH 212 thus joins the growing group of parsec-scale Herbig-Haro jets. Proper motion measurements indicate a velocity of about 170 km/sec, highly symmetric around the source, with an uncertainty of $\sim$30 km/sec, suggesting a probable age of the giant HH 212 flow of about 7000 yr. The jet is driven by a deeply embedded source, known as IRAS 05413-0104. We draw attention to a Spitzer near- and mid-infrared source, which we call IRS-B, located only 7 arcsec from the driving source, towards the outskirts of the dense cloud core. Infrared photometry and spectroscopy suggests that IRS-B is a K-type star with a substantial infrared excess, except that for an extinction of A$_V$ = 44 the star would have only a weakinfrared excess, and so in principle it could be a K-giant at a distance of about 2 kpc.


title: Scientific Image Restoration Anywhere

abstract: The use of deep learning models within scientific experimental facilities frequently requires low-latency inference, so that, for example, quality control operations can be performed while data are being collected. Edge computing devices can be useful in this context, as their low cost and compact form factor permit them to be co-located with the experimental apparatus. Can such devices, with their limited resources, can perform neural network feed-forward computations efficiently and effectively? We explore this question by evaluating the performance and accuracy of a scientific image restoration model, for which both model input and output are images, on edge computing devices. Specifically, we evaluate deployments of TomoGAN, an image-denoising model based on generative adversarial networks developed for low-dose x-ray imaging, on the Google Edge TPU and NVIDIA Jetson. We adapt TomoGAN for edge execution, evaluate model inference performance, and propose methods to address the accuracy drop caused by model quantization. We show that these edge computing devices can deliver accuracy comparable to that of a full-fledged CPU or GPU model, at speeds that are more than adequate for use in the intended deployments, denoising a 1024 x 1024 image in less than a second. Our experiments also show that the Edge TPU models can provide 3x faster inference response than a CPU-based model and 1.5x faster than an edge GPU-based model. This combination of high speed and low cost permits image restoration anywhere.


title: Image-Based Feature Representation for Insider Threat Classification

abstract: Insiders are the trusted entities in the organization, but poses threat to the with access to sensitive information network and resources. The insider threat detection is a well studied problem in security analytics. Identifying the features from data sources and using them with the right data analytics algorithms makes various kinds of threat analysis possible. The insider threat analysis is mainly done using the frequency based attributes extracted from the raw data available from data sources. In this paper, we propose an image-based feature representation of the daily resource usage pattern of users in the organization. The features extracted from the audit files of the organization are represented as gray scale images. Hence, these images are used to represent the resource access patterns and thereby the behavior of users. Classification models are applied to the representative images to detect anomalous behavior of insiders. The images are classified to malicious and non-malicious. The effectiveness of the proposed representation is evaluated using the CMU CERT data V4.2, and state-of-art image classification models like Mobilenet, VGG and ResNet. The experimental results showed improved accuracy. The comparison with existing works show a performance improvement in terms of high recall and precision values.


title: Deep Encoder-decoder Adversarial Reconstruction (DEAR) Network for 3D CT from Few-view Data

abstract: X-ray computed tomography (CT) is widely used in clinical practice. The involved ionizing X-ray radiation, however, could increase cancer risk. Hence, the reduction of the radiation dose has been an important topic in recent years. Few-view CT image reconstruction is one of the main ways to minimize radiation dose and potentially allow a stationary CT architecture. In this paper, we propose a deep encoder-decoder adversarial reconstruction (DEAR) network for 3D CT image reconstruction from few-view data. Since the artifacts caused by few-view reconstruction appear in 3D instead of 2D geometry, a 3D deep network has a great potential for improving the image quality in a data-driven fashion. More specifically, our proposed DEAR-3D network aims at reconstructing 3D volume directly from clinical 3D spiral cone-beam image data. DEAR is validated on a publicly available abdominal CT dataset prepared and authorized by Mayo Clinic. Compared with other 2D deep-learning methods, the proposed DEAR-3D network can utilize 3D information to produce promising reconstruction results.


title: Projecting Flood-Inducing Precipitation with a Bayesian Analogue Model

abstract: The hazard of pluvial flooding is largely influenced by the spatial and temporal dependence characteristics of precipitation. When extreme precipitation possesses strong spatial dependence, the risk of flooding is amplified due to catchment factors that cause runoff accumulation such as topography. Temporal dependence can also increase flood risk as storm water drainage systems operating at capacity can be overwhelmed by heavy precipitation occurring over multiple days. While transformed Gaussian processes are common choices for modeling precipitation, their weak tail dependence may lead to underestimation of flood risk. Extreme value models such as the generalized Pareto processes for threshold exceedances and max-stable models are attractive alternatives, but are difficult to fit when the number of observation sites is large, and are of little use for modeling the bulk of the distribution, which may also be of interest to water management planners. While the atmospheric dynamics governing precipitation are complex and difficult to fully incorporate into a parsimonious statistical model, non-mechanistic analogue methods that approximate those dynamics have proven to be promising approaches to capturing the temporal dependence of precipitation. In this paper, we present a Bayesian analogue method that leverages large, synoptic-scale atmospheric patterns to make precipitation forecasts. Changing spatial dependence across varying intensities is modeled as a mixture of spatial Student-t processes that can accommodate both strong and weak tail dependence. The proposed model demonstrates improved performance at capturing the distribution of extreme precipitation over Community Atmosphere Model (CAM) 5.2 forecasts.


title: The Most Massive Binary Black Hole Detections and the Identification of Population Outliers

abstract: Advanced LIGO and Virgo detected ten binary black holes (BBHs) in their first two observing runs (O1 and O2). Analysis of these events found strong evidence for a dearth of BBHs with component masses greater than $\sim45 \ M_\odot$, as would be expected from a pair-instability mass gap. Meanwhile, a standalone analysis of the merger GW170729 found its primary mass $m_1 = {51.2^{+16.2}_{-11.0} \ M_\odot}$, with the majority of its posterior support at $m_1 > 45 \ M_\odot$. Although this appears to be in contradiction with the existence of a limit at $\sim45\ M_\odot$, we argue that individual events cannot be evaluated without reference to the entire population. When GW170729 is analyzed jointly with the rest of the detections, as part of a full hierarchical population analysis, its inferred primary mass tightens considerably, to $m_1 = {38.9^{+7.3}_{-4.5} \ M_\odot}$. For a large sample of events in the presence of noise, apparent outliers in the detected distribution are inevitable, even if the underlying population forbids outliers. We discuss methods of distinguishing between statistical fluctuations and population outliers using posterior predictive tests. Applying these tests to the primary mass distribution in O1 and O2, we find that the ten detections are consistent with even the simplest power-law plus maximum-mass model considered by the LVC. This supports the claim that GW170729 is not a population outlier. We also provide non-parametric constraints on the rate of high-mass mergers and conservatively bound the rate of mergers with $m_1 > 45 \ M_\odot$ at $2.8^{+5.4}_{-2.0}\%$ of the total merger rate. After 100 detections like those of O1 and O2 from a population with a maximum primary mass of $45 \, M_\odot$, it would be common for the most massive system to have an observed maximum-likelihood mass $m_1 \gtrsim 70 \, M_\odot$.


title: A ratio of many gamma functions and its properties with applications

abstract: In the paper, the authors establish an inequality involving exponential functions and sums, introduce a ratio of many gamma functions, discuss properties, including monotonicity, logarithmic convexity, (logarithmically) complete monotonicity, and the Bernstein function property, of the newly introduced ratio, and construct two inequalities of multinomial coefficients and multivariate beta functions.