title: The First Galaxy Cluster Discovered by the VISTA Variables in the V\'ia L\'actea Survey

abstract: We report the first confirmed detection of the galaxy cluster VVV-J144321-611754 at very low latitudes (l = 315.836$^{\circ}$, b = -1.650$^{\circ}$) located in the tile d015 of the VISTA Variables in the V\'ia L\'actea (VVV) survey. We defined the region of 30$\times$ 30 $arcmin^2$ centered in the brightest galaxy finding 25 galaxies. For these objects, extinction-corrected median colors of (H - K$_{s}$) = 0.34 $\pm$ 0.05 mag, (J - H) = 0.57 $\pm$ 0.08 mag and (J - K$_{s}$) = 0.87 $\pm$ 0.06 mag, and R$_{1/2}$ = 1.59 $\pm$ 0.16 $arcsec$; C = 3.01 $\pm$ 0.08; and Sersic index, n = 4.63 $\pm$ 0.39 were estimated. They were visually confirmed showing characteristics of early-type galaxies in the near-IR images. An automatic clustering analysis performed in the whole tile found that the concentration of galaxies VVV-J144321-611754 is a real, compact concentration of early-type galaxies. Assuming a typical galaxy cluster with low X-ray luminosity, the photometric redshift of the brightest galaxy is $z = $ 0.196 $\pm$ 0.025. Follow-up near-IR spectroscopy with FLAMINGOS-2 at the Gemini-South telescope revealed that the two brighter cluster galaxies have typical spectra of early-type galaxies and the estimated redshift for the brightest galaxy VVV-J144321.06-611753.9 is $z =$ 0.234$\pm$0.022 and for VVV-J144319.02-611746.1 is $z =$ 0.232$\pm$0.019. Finally, these galaxies clearly follow the cluster Red Sequence in the rest-frame near-IR color--magnitude diagram with the slope similar to galaxy cluster at redshift of 0.2. These results are consistent with the presence of a bona fide galaxy cluster beyond the Milky Way disk.


title: On the singularity formation and relaxation to equilibrium in 1D Fokker-Planck model with superlinear drift

abstract: We consider a class of Fokker--Planck equations with linear diffusion and superlinear drift enjoying a formal Wasserstein-like gradient flow structure with convex mobility function. In the drift-dominant regime, the equations have a finite critical mass above which the measure minimising the associated entropy functional displays a singular component. Our approach, which addresses the one-dimensional case, is based on a reformulation of the problem in terms of the pseudo-inverse distribution function. Motivated by the structure of the equation in the new variables, we establish a general framework for global-in-time existence, uniqueness and regularity of monotonic viscosity solutions to a class of nonlinear degenerate (resp. singular) parabolic equations, using as a key tool comparison principles and maximum arguments. We then focus on a specific equation and study in more detail the regularity and dynamics of solutions. In particular, blow-up behaviour, formation of condensates (i.e. Dirac measures at zero) and long-time asymptotics are investigated. As a consequence, in the mass-supercritical case, solutions will blow up in $L^\infty$ in finite time and---understood in a generalised, measure sense---they will eventually have condensate. We further show that the singular part of the measure solution does in general interact with the density and that condensates can be transient. The equations considered are motivated by a model for bosons introduced by Kaniadakis and Quarati (1994), which has a similar entropy structure and a critical mass if $d\ge3$.


title: The Mu2e Experiment

abstract: The Mu2e experiment will search for the charged-lepton flavor violating (CLFV) neutrino-less conversion of a negative muon into an electron in the field of a nucleus. The conversion process results in a monochromatic electron with an energy of 104.97 MeV, slightly below the muon rest mass. The goal of the experiment is to improve the previous upper limit by four orders of magnitude and reach a SES (single event sensitivity) of $3 \times 10^{-17}$ on the conversion rate, a 90\% CL of $8 \times 10^{-17}$, and a $5\sigma$ discovery reach at $2 \times 10^{-16}$. The experiment will use an intense pulsed negative muon beam. The pulsed beam is essential to reducing backgrounds. The other essential element is a sophisticated magnetic system composed of three consecutive solenoids that form the muon beam. Mu2e will use an aluminum target and examine $\sim10^{18}$ stopped muons in three years of running. The Mu2e experiment is under design and construction at the Fermilab Muon Campus. The experiment will begin operations in 2022 and will require about three years of data-taking. Upgrades to other materials than aluminum are already being planned. This article is written specifically for younger researchers to bridge the gap between conference presentations and detailed design reports, and examines issues not covered in the former without the details of the latter.


title: ExceLint: Automatically Finding Spreadsheet Formula Errors

abstract: Spreadsheets are one of the most widely used programming environments, and are widely deployed in domains like finance where errors can have catastrophic consequences. We present a static analysis specifically designed to find spreadsheet formula errors. Our analysis directly leverages the rectangular character of spreadsheets. It uses an information-theoretic approach to identify formulas that are especially surprising disruptions to nearby rectangular regions. We present ExceLint, an implementation of our static analysis for Microsoft Excel. We demonstrate that ExceLint is fast and effective: across a corpus of 70 spreadsheets, ExceLint takes a median of 5 seconds per spreadsheet, and it significantly outperforms the state of the art analysis.


title: Coherent two-octave-spanning supercontinuum generation in lithium-niobate waveguides

abstract: We demonstrate coherent supercontinuum generation (SCG) in a monolithically integrated lithium-niobate waveguide, under the presence of second- and third-order nonlinear effects. We achieve more than two octaves of optical bandwidth in a 0.5-cm-long waveguide with 100-picojoule-level pulses. Dispersion engineering of the waveguide allows for spectral overlap between the SCG and the second harmonic which enables direct detection of the carrier-envelope offset frequency fCEO using a single waveguide. We measure the fCEO of our femtosecond pump source with a 30-dB signal-to-noise ratio.


title: Spatial Soft-Core Caching

abstract: We propose a decentralized spatial soft-core cache placement (SSCC) policy for wireless networks. SSCC yields a spatially balanced sampling via negative dependence across caches, and can be tuned to satisfy cache size constraints with high probability. Given a desired cache hit probability, we compare the 95% confidence intervals of the required cache sizes for independent placement, hard-core placement and SSCC policies. We demonstrate that in terms of the required cache storage size, SSCC can provide up to more than 180% and 100% gains with respect to the independent and hard-core placement policies, respectively. SSCC can be used to enable proximity-based applications such as device-to-device communications and peer-to-peer networking as it promotes the item diversity and reciprocation among the nodes.


title: Emergent Quantum Mechanics in an Introspective Machine Learning Architecture

abstract: Can physical concepts and laws emerge in a neural network as it learns to predict the observation data of physical systems? As a benchmark and a proof-of-principle study of this possibility, here we show an introspective learning architecture that can automatically develop the concept of the quantum wave function and discover the Schr\"odinger equation from simulated experimental data of the potential-to-density mappings of a quantum particle. This introspective learning architecture contains a machine translator to perform the potential to density mapping, and a knowledge distiller auto-encoder to extract the essential information and its update law from the hidden states of the translator, which turns out to be the quantum wave function and the Schr\"odinger equation. We envision that our introspective learning architecture can enable machine learning to discover new physics in the future.


title: Optimal Sensor Placement for Topology Identification in Smart Power Grids

abstract: Accurate network topology information is critical for secure operation of smart power distribution systems. Line outages can change the operational topology of a distribution network. As a result, topology identification by detecting outages is an important task to avoid mismatch between the {topology that the operator believes is present and the actual topology}. Power distribution systems are operated as radial trees and are recently adopting the integration of sensors to monitor the network in real time. In this paper, an optimal sensor placement solution is proposed that enables outage detection through statistical tests based on sensor measurements. Using two types of sensors, node sensors and line sensors, we propose a novel formulation for the optimal sensor placement as a cost optimization problem with binary decision variables, i.e., {to place or not place a sensor at each bus/line}. The advantage of the proposed placement strategy for outage detection is that it incorporates various types of sensors, is independent of load forecast statistics and is cost effective. Numerical results illustrating the placement solution are presented.


title: A New Proof of Nonsignalling Multiprover Parallel Repetition Theorem

abstract: We present an information theoretic proof of the nonsignalling multiprover parallel repetition theorem, a recent extension of its two-prover variant that underlies many hardness of approximation results. The original proofs used de Finetti type decomposition for strategies. We present a new proof that is based on a technique we introduced recently for proving strong converse results in multiuser information theory and entails a change of measure after replacing hard information constraints with soft ones.


title: Ground-state properties of doubly magic nuclei from the unitary-model-operator approach with the chiral two- and three-nucleon forces

abstract: The ground-state energies and radii for $^{4}$He, $^{16}$O, and $^{40}$Ca are calculated with the unitary-model-operator approach (UMOA). In the present study, we employ the similarity renormalization group (SRG) evolved nucleon-nucleon ($NN$) and three-nucleon ($3N$) interactions based on the chiral effective field theory. This is the first UMOA calculation with both $NN$ and $3N$ interactions. The calculated ground-state energies and radii are consistent with the recent {\it ab initio} results with the same interaction. We evaluate the expectation values with two- and three-body SRG evolved radius operators, in addition to those with the bare radius operator. With the aid of the higher-body evolution of radius operator, it is seen that the calculated radii tend to be SRG resolution-scale independent. We find that the SRG evolution gives minor modifications for the radius operator.


title: Active Microrheology, Hall Effect, and Jamming in Chiral Fluids

abstract: We examine the motion of a probe particle driven through a chiral fluid composed of circularly swimming disks. We find that the probe particle travels in both the longitudinal direction, parallel to the driving force, and in the transverse direction, perpendicular to the driving force, giving rise to a Hall angle. Under constant driving force, we show that the probe particle velocity in both the longitudinal and transverse directions exhibits nonmonotonic behavior as a function of the activity of the circle swimmers. The Hall angle is maximized when a resonance occurs between the frequency of the chiral disks and the motion of the probe particle. As the density of the chiral fluid increases, the Hall angle gradually decreases before reaching zero when the system enters a jammed state. We show that the onset of jamming depends on the chiral particle swimming frequency, with a fluid state appearing at low frequencies and a jammed solid occurring at high frequencies.


title: Optimizing propagating spin wave spectroscopy

abstract: The frequency difference between two oppositely propagating spin waves can be used to probe several interesting magnetic properties, such as the Dzyaloshinkii-Moriya interaction (DMI). Propagating spin wave spectroscopy is a technique that is very sensitive to this frequency difference. Here we show several elements that are important to optimize devices for such a measurement. We demonstrate that for wide magnetic strips there is a need for de-embedding. Additionally, for these wide strips there is a large parasitic antenna-antenna coupling that obfuscates any spin wave transmission signal, which is remedied by moving to smaller strips. The conventional antenna design excites spin waves with two different wave vectors. As the magnetic layers become thinner, the resulting resonances move closer together and become very difficult to disentangle. In the last part we therefore propose and verify a new antenna design that excites spin waves with only one wave vector. We suggest to use this antenna design to measure the DMI in thin magnetic layers.


title: A double Sylvester determinant

abstract: Given two $\left( n+1\right) \times\left( n+1\right)$-matrices $A$ and $B$ over a commutative ring, and some $k\in\left\{ 0,1,\ldots,n\right\}$, we consider the $\dbinom{n}{k}\times\dbinom{n}{k}$-matrix $W$ whose entries are $\left( k+1\right) \times\left( k+1\right)$-minors of $A$ multiplied by corresponding $\left( k+1\right) \times\left( k+1\right)$-minors of $B$. Here we require the minors to use the last row and the last column (which is why we obtain an $\dbinom{n}{k}\times\dbinom{n}{k}$-matrix, not an $\dbinom{n+1}{k+1}\times\dbinom{n+1}{k+1}$-matrix). We prove that the determinant $\det W$ is a multiple of $\det A$ if the $\left( n+1,n+1\right)$-th entry of $B$ is $0$. Furthermore, if the $\left( n+1,n+1\right)$-th entries of both $A$ and $B$ are $0$, then $\det W$ is a multiple of $\left( \det A\right) \left( \det B\right)$. This extends a previous result of Olver and the author ( arXiv:1802.02900 ).


title: Bayesian parameter estimation for the SWIFT model of eye-movement control during reading

abstract: Process-oriented theories of cognition must be evaluated against time-ordered observations. Here we present a representative example for data assimilation of the SWIFT model, a dynamical model of the control of spatial fixation position and fixation duration during reading. First, we develop and test an approximate likelihood function of the model, which is a combination of a pseudo-marginal spatial likelihood and an approximate temporal likelihood function. Second, we use a Bayesian approach to parameter inference using an adapative Markov chain Monte Carlo procedure. Our results indicate that model parameters can be estimated reliably for individual subjects. We conclude that approximative Bayesian inference represents a considerable step forward for the area of eye-movement modeling, where modelling of individual data on the basis of process-based dynamic models has not been possible before.


title: Texture-Aware Superpixel Segmentation

abstract: Most superpixel algorithms compute a trade-off between spatial and color features at the pixel level. Hence, they may need fine parameter tuning to balance the two measures, and highly fail to group pixels with similar local texture properties. In this paper, we address these issues with a new Texture-Aware SuperPixel (TASP) method. To accurately segment textured and smooth areas, TASP automatically adjusts its spatial constraint according to the local feature variance. Then, to ensure texture homogeneity within superpixels, a new pixel to superpixel patch-based distance is proposed. TASP outperforms the segmentation accuracy of the state-of-the-art methods on texture and also natural color image datasets.


title: Similar Image Search for Histopathology: SMILY

abstract: The increasing availability of large institutional and public histopathology image datasets is enabling the searching of these datasets for diagnosis, research, and education. Though these datasets typically have associated metadata such as diagnosis or clinical notes, even carefully curated datasets rarely contain annotations of the location of regions of interest on each image. Because pathology images are extremely large (up to 100,000 pixels in each dimension), further laborious visual search of each image may be needed to find the feature of interest. In this paper, we introduce a deep learning based reverse image search tool for histopathology images: Similar Medical Images Like Yours (SMILY). We assessed SMILY's ability to retrieve search results in two ways: using pathologist-provided annotations, and via prospective studies where pathologists evaluated the quality of SMILY search results. As a negative control in the second evaluation, pathologists were blinded to whether search results were retrieved by SMILY or randomly. In both types of assessments, SMILY was able to retrieve search results with similar histologic features, organ site, and prostate cancer Gleason grade compared with the original query. SMILY may be a useful general-purpose tool in the pathologist's arsenal, to improve the efficiency of searching large archives of histopathology images, without the need to develop and implement specific tools for each application.


title: Data recovery in computational fluid dynamics through deep image priors

abstract: One of the challenges encountered by computational simulations at exascale is the reliability of simulations in the face of hardware and software faults. These faults, expected to increase with the complexity of the computational systems, will lead to the loss of simulation data and simulation failure and are currently addressed through a checkpoint-restart paradigm. Focusing specifically on computational fluid dynamics simulations, this work proposes a method that uses a deep convolutional neural network to recover simulation data. This data recovery method (i) is agnostic to the flow configuration and geometry, (ii) does not require extensive training data, and (iii) is accurate for very different physical flows. Results indicate that the use of deep image priors for data recovery is more accurate than standard recovery techniques, such as the Gaussian process regression, also known as Kriging. Data recovery is performed for two canonical fluid flows: laminar flow around a cylinder and homogeneous isotropic turbulence. For data recovery of the laminar flow around a cylinder, results indicate similar performance between the proposed method and Gaussian process regression across a wide range of mask sizes. For homogeneous isotropic turbulence, data recovery through the deep convolutional neural network exhibits an error in relevant turbulent quantities approximately three times smaller than that for the Gaussian process regression,. Forward simulations using recovered data illustrate that the enstrophy decay is captured within 10% using the deep convolutional neural network approach. Although demonstrated specifically for data recovery of fluid flows, this technique can be used in a wide range of applications, including particle image velocimetry, visualization, and computational simulations of physical processes beyond the Navier-Stokes equations.


title: Tilt-induced anomalous thermal transport in normal/superconducting borophane junctions

abstract: We study charge and heat transport in normal-metal/superconductor (NS) hybrid junction, based on a tilted anisotropic Dirac material. Using the extended Blonder-Tinkham-Klapwijk formalism, the conductance spectra of NS borophane, a two-dimensional Dirac semimetal with two tilted anisotropic Dirac cones in its dispersion, is investigated. Completely different from the usual normal-metal-superconductor junctions, in spite of the large mismatch in Fermi wavevectores of the normal-metal and superconductor sides of the borophane NS junction, the electron-hole conversion happens with unit probability at normal incidences. Furthermore, we demonstrate that in the heavily doped superconducting regime for heavily doped normal borophane, the electron-hole conversion happens with unit probability, approximately at any incident angle. The dependence of the Andreev with Fermi energy and bias voltage, enable us, selecting the retroconfiguration or specular configuration in types of Andreev reflection processes. We numerically establish an anomalous behavior of thermal conductance in borophane. The tilting of the Dirac cones gives rise to an anomalous behaviour in the thermal conductance of the NS hybrid junction of borophane, such that the thermal conductance decreases by increasing the temperature. Our findings will have potential applications for transport and energy control in superconducting quantum interference devices and hybridized mesoscopic systems.


title: Code Farming: A Process for Creating Generic Computational Building Blocks

abstract: Motivated by a desire to improve on the current state of the art in genetic programming, and aided by recent progress in understanding the computational aspects of evolutionary systems, we describe a process that creates a set of generic computational building blocks for the purpose of seeding initial populations of programs in any genetic programming system. This provides an advantage over the standard approach of initializing the population purely randomly in that it avoids the need to constantly rediscover such building blocks. It is also better than seeding the initial population with hand-coded building blocks, since it lessens the amount of human intervention required by the system.


title: Reconstructing ultrafast energy-time entangled two-photon pulses

abstract: The generation of ultrafast laser pulses and the reconstruction of their electric fields is essential for many applications in modern optics. Quantum optical fields can also be generated on ultrafast time scales, however, the tools and methods available for strong laser pulses are not appropriate for measuring the properties of weak, possibly entangled pulses. Here, we demonstrate a method to reconstruct the joint-spectral amplitude of a two-photon energy-time entangled state from joint measurements of the frequencies and arrival times of the photons, and the correlations between them. Our reconstruction method is based on a modified Gerchberg-Saxton algorithm. Such techniques are essential to measure and control the shape of ultrafast entangled photon pulses.


title: The Evolved Transformer

abstract: Recent works have highlighted the strength of the Transformer architecture on sequence tasks while, at the same time, neural architecture search (NAS) has begun to outperform human-designed models. Our goal is to apply NAS to search for a better alternative to the Transformer. We first construct a large search space inspired by the recent advances in feed-forward sequence models and then run evolutionary architecture search with warm starting by seeding our initial population with the Transformer. To directly search on the computationally expensive WMT 2014 English-German translation task, we develop the Progressive Dynamic Hurdles method, which allows us to dynamically allocate more resources to more promising candidate models. The architecture found in our experiments -- the Evolved Transformer -- demonstrates consistent improvement over the Transformer on four well-established language tasks: WMT 2014 English-German, WMT 2014 English-French, WMT 2014 English-Czech and LM1B. At a big model size, the Evolved Transformer establishes a new state-of-the-art BLEU score of 29.8 on WMT'14 English-German; at smaller sizes, it achieves the same quality as the original "big" Transformer with 37.6% less parameters and outperforms the Transformer by 0.7 BLEU at a mobile-friendly model size of 7M parameters.


title: Tuning the Magnetic Ordering Temperature of Hexagonal Ferrites by Structural Distortion Control

abstract: To tune the magnetic properties of hexagonal ferrites, a family of magnetoelectric multiferroic materials, by atomic-scale structural engineering, we studied the effect of structural distortion on the magnetic ordering temperature (TN). Using the symmetry analysis, we show that unlike most antiferromagnetic rare-earth transition-metal perovskites, a larger structural distortion leads to a higher TN in hexagonal ferrites and manganites, because the K3 structural distortion induces the three-dimensional magnetic ordering, which is forbidden in the undistorted structure by symmetry. We also revealed a near-linear relation between TN and the tolerance factor and a power-law relation between TN and the K3 distortion amplitude. Following the analysis, a record-high TN (185 K) among hexagonal ferrites was predicted in hexagonal ScFeO3 and experimentally verified in epitaxially stabilized films. These results add to the paradigm of spin-lattice coupling in antiferromagnetic oxides and suggests further tunability of hexagonal ferrites if more lattice distortion can be achieved.


title: Toric generalized Kaehler structures. III

abstract: The paper clarifies some subtle points surrounding the definition of scalar curvature in generalized K$\ddot{a}$hler (GK) geometry. We have solved an open problem in GK geometry of symplectic type posed by R. Goto \cite{Go1} on relating the scalar curvature defined in terms of generalized pure spinors \emph{directly} to the underlying biHermitian structure. In particular, we apply this solution to toric GK geometry of symplectic type and prove that the scalar curvature suggested in this setting by L. Boulanger \cite{Bou} coincides with Goto's definition.


title: Which Surrogate Works for Empirical Performance Modelling? A Case Study with Differential Evolution

abstract: It is not uncommon that meta-heuristic algorithms contain some intrinsic parameters, the optimal configuration of which is crucial for achieving their peak performance. However, evaluating the effectiveness of a configuration is expensive, as it involves many costly runs of the target algorithm. Perhaps surprisingly, it is possible to build a cheap-to-evaluate surrogate that models the algorithm's empirical performance as a function of its parameters. Such surrogates constitute an important building block for understanding algorithm performance, algorithm portfolio/selection, and the automatic algorithm configuration. In principle, many off-the-shelf machine learning techniques can be used to build surrogates. In this paper, we take the differential evolution (DE) as the baseline algorithm for proof-of-concept study. Regression models are trained to model the DE's empirical performance given a parameter configuration. In particular, we evaluate and compare four popular regression algorithms both in terms of how well they predict the empirical performance with respect to a particular parameter configuration, and also how well they approximate the parameter versus the empirical performance landscapes.


title: End to End Satellite Servicing and Space Debris Management

abstract: There is growing demand for satellite swarms and constellations for global positioning, remote sensing and relay communication in higher LEO orbits. This will result in many obsolete, damaged and abandoned satellites that will remain on-orbit beyond 25 years. These abandoned satellites and space debris maybe economically valuable orbital real-estate and resources that can be reused, repaired or upgraded for future use. Space traffic management is critical to repair damaged satellites, divert satellites into warehouse orbits and effectively de-orbit satellites and space debris that are beyond repair and salvage. Current methods for on-orbit capture, servicing and repair require a large service satellite. However, by accessing abandoned satellites and space debris, there is an inherent heightened risk of damage to a servicing spacecraft. Sending multiple small-robots with each robot specialized in a specific task is a credible alternative, as the system is simple and cost-effective and where loss of one or more robots does not end the mission. In this work, we outline an end to end multirobot system to capture damaged and abandoned spacecraft for salvaging, repair and for de-orbiting. We analyze the feasibility of sending multiple, decentralized robots that can work cooperatively to perform capture of the target satellite as a first step, followed by crawling onto damage satellites to perform detailed mapping. After obtaining a detailed map of the satellite, the robots will proceed to either repair and replace or dismantle components for salvage operations. Finally, the remaining components will be packaged with a de-orbit device for accelerated de-orbit.


title: Two-body and three-body contacts for three bosons in the unitary regime: Analytic expressions and limiting forms

abstract: The two and three-body contacts are central to a set of univeral relations between microscopic few-body physics within an ultracold Bose gas and its thermodynamical properties. They may also be defined in trapped few-particle systems, which is the subject of this work. In this work, we focus on the unitary three-body problem in a trap, where interactions are as strong as allowed by quantum mechanics. We derive analytic results for the two and three-body contacts in this regime and compare with existing limiting expressions and previous numerical studies.


title: Quantitative Cost and Schedule Risk Analysis of Nuclear Waste Storage

abstract: This study provides an independent, outside-in estimate of the cost and schedule risks of nuclear waste storage projects. Based on a reference class of 216 past, comparable projects, risk of cost overrun was found to be 202% or less, with 80% certainty, i.e., 20% risk of an overrun above 202%. Based on a reference class of 200 past, comparable projects, risk of schedule overrun was found to be 104% or less, with 80% certainty, i.e., 20% risk of overrun above 104%. Cost risk and schedule risk are both substantial for nuclear waste storage projects.


title: Quantifying the Value of Real-time Geodetic Constraints for Earthquake Early Warning using a Global Seismic and Geodetic Dataset

abstract: Geodetic earthquake early warning (EEW) algorithms complement point-source seismic systems by estimating fault-finiteness and unsaturated moment magnitude for the largest, most damaging earthquakes. Because such earthquakes are rare, it has been difficult to demonstrate that geodetic warnings improve ground motion estimation significantly. Here, we quantify and compare timeliness and accuracy of magnitude and ground motion estimates in simulated real time from seismic and geodetic observations for a suite of globally-distributed, large earthquakes. Magnitude solutions saturate for the seismic EEW algorithm (we use ElarmS) while the ElarmS-triggered Geodetic Alarm System (G-larmS) reduces the error even for its first solutions. Shaking intensity (MMI) time series calculated for each station and each event are assessed based on MMI-threshold crossings, allowing us to accurately characterize warning times per-station. We classify alerts and find that MMI 4 thresholds result in only 12.3% true positive (TP) alerts with a median warning time of 16.3 +- 20.9 s for ElarmS, but 44.4% TP alerts with a longer median warning time of 50.2 +- 49.8 s for G-larmS. The geodetic EEW system reduces the number of missed alerts for thresholds of MMI 3 and 4 by over 30%. If G-larmS was triggered instantaneously at the earthquake origin time, the performance statistics are similar, with slightly longer warning times and slightly more accurate magnitudes. By quantifying increased accuracy in magnitude, ground motion estimation, and alert timeliness; we demonstrate that geodetic algorithms add significant value, including better cost savings performance, to EEW systems.


title: Exponential ergodicity for SDEs and McKean-Vlasov processes with L\'{e}vy noise

abstract: We study stochastic differential equations (SDEs) of McKean-Vlasov type with distribution dependent drifts and driven by pure jump L\'{e}vy processes. We prove a uniform in time propagation of chaos result, providing quantitative bounds on convergence rate of interacting particle systems with L\'{e}vy noise to the corresponding McKean-Vlasov SDE. By applying techniques that combine couplings, appropriately constructed $L^1$-Wasserstein distances and Lyapunov functions, we show exponential convergence of solutions of such SDEs to their stationary distributions. Our methods allow us to obtain results that are novel even for a broad class of L\'{e}vy-driven SDEs with distribution independent coefficients.


title: Relating AdS$_6$ solutions in type IIB supergravity

abstract: In this note we show that the IIB supergravity solutions of the form AdS$_6\times M_4$ found by Apruzzi et al. are related to the local solutions found by D'Hoker et al. We also discuss how the global regular solutions found by D'Hoker et al. are mapped to the parameterization of Apruzzi et al.


title: Smoothing finite group actions on three-manifolds

abstract: We show that every continuous action of a finite group on a smooth three-manifold is a uniform limit of smooth actions.


title: Solvation Entropy Made Simple

abstract: The entropies of molecules in solution are routinely calculated using gas phase formulae. It is assumed that, because implicit solvation models are fitted to reproduce free energies, this is sufficient for modeling reactions in solution. However, this procedure exaggerates entropic effects in processes that change molecularity. Here, computationally efficient (i.e., having similar cost as gas phase entropy calculations) approximations for determining solvation entropy are proposed to address this issue.The $S_\omega$, $S_\epsilon$, and $S_{\epsilon\alpha}$ models are nonempirical and rely only on physical arguments and elementary properties of the medium (e.g., density and relative permittivity). For all three methods, average errors as compared to experiment are within chemical accuracy for 110 solvation entropies, 11 activation entropies in solution, and 32 vaporization enthalpies. The models also make predictions regarding microscopic and bulk properties of liquids which prove to be accurate. These results imply that $\Delta H_\text{sol}$ and $\Delta S_\text{sol}$ can be described separately and with less reliance on parametrization by a combination of the methods presented here with existing, reparametrized implicit solvation models.


title: Generic Connectivity-Based CGRA Mapping via Integer Linear Programming

abstract: Coarse-grained reconfigurable architectures (CGRAs) are programmable logic devices with large coarse-grained ALU-like logic blocks, and multi-bit datapath-style routing. CGRAs often have relatively restricted data routing networks, so they attract CAD mapping tools that use exact methods, such as Integer Linear Programming (ILP). However, tools that target general architectures must use large constraint systems to fully describe an architecture's flexibility, resulting in lengthy run-times. In this paper, we propose to derive connectivity information from an otherwise generic device model, and use this to create simpler ILPs, which we combine in an iterative schedule and retain most of the exactness of a fully-generic ILP approach. This new approach has a speed-up geometric mean of 5.88x when considering benchmarks that do not hit a time-limit of 7.5 hours on the fully-generic ILP, and 37.6x otherwise. This was measured using the set of benchmarks used to originally evaluate the fully-generic approach and several more benchmarks representing computation tasks, over three different CGRA architectures. All run-times of the new approach are less than 20 minutes, with 90th percentile time of 410 seconds. The proposed mapping techniques are integrated into, and evaluated using the open-source CGRA-ME architecture modelling and exploration framework.


title: Lax Pairs for Linear Hamiltonian Systems

abstract: In the paper Lax pairs for linear Hamiltonian systems of differential equations are constructed. In particular, Gr\"obner bases are used for the computations. It is proved that the maps which appear in the construction of Lax pairs are Poisson. Various properties of first integrals of the system which are obtained from the Lax pairs are investigated.


title: The CDE method, a technique in functional equations

abstract: In this article we present an extremely effective and relatively unknown approach to solving functional equations that appear in mathematical competitions. We aim to explain the philosophy of this novel method through numerous examples, which also highlight how this idea can be paired with other useful techniques to crack challenging problems.


title: Hydrodynamic limits for kinetic flocking models of Cucker-Smale type

abstract: We analyse the asymptotic behavior for kinetic models describing the collective behavior of animal populations. We focus on models for self-propelled individuals, whose velocity relaxes toward the mean orientation of the neighbors. The self-propelling and friction forces together with the alignment and the noise are interpreted as a collision/interaction mechanism acting with equal strength. We show that the set of generalized collision invariants, introduced in \cite{DM08}, is equivalent in our setting to the more classical notion of collision invariants, i.e., the kernel of a suitably linearized collision operator. After identifying these collision invariants, we derive the fluid model, by appealing to the balances for the particle concentration and orientation. We investigate the main properties of the macroscopic model for a general potential with radial symmetry.


title: Multiclass Information Flow Propagation Control under Vehicle-to-Vehicle Communication Environments

abstract: Most existing models for information flow propagation in a vehicle-to-vehicle (V2V) communications environment are descriptive. They lack capabilities to control information flow, which may preclude their ability to meet application needs, including the need to propagate different information types simultaneously to different target locations within corresponding time delay bounds. This study proposes a queuing-based modeling approach to control the propagation of information flow of multiple classes. Two control parameters associated with a vehicle are leveraged to control the propagation performance of different information classes. A two-layer model is developed to characterize the information flow propagation wave (IFPW) under the designed queuing strategy. The upper layer is formulated as integro-differential equations to characterize the spatiotemporal information dissemination due to V2V communication. The lower layer characterizes the traffic flow dynamics using the Lighthill-Whitham-Richards model. The analytical solution of the asymptotic density of informed vehicles and the necessary condition for existence of the IFPW are derived for homogeneous traffic conditions. Numerical experiments provide insights on the impact of the mean communication service rate on information spread and its spatial coverage. Further, a numerical solution method is developed to solve the two-layer model, which aids in estimating the impacts of the control parameters in the queuing strategy on the IFPW speed under homogeneous and heterogeneous conditions. The proposed modeling approach enables controlling the propagation of information of different information classes to meet application needs, which can assist traffic managers to design effective and efficient traffic management and control strategies under V2V communications.


title: Infinite series representation of fractional calculus: theory and applications

abstract: This paper focuses on the equivalent expression of fractional integrals/derivatives with an infinite series. A universal framework for fractional Taylor series is developed by expanding an analytic function at the initial instant or the current time. The framework takes into account of the Riemann-Liouville definition, the Caputo definition, the constant order and the variable order. On this basis, some properties of fractional calculus are confirmed conveniently. An intuitive numerical approximation scheme via truncation is proposed subsequently. Finally, several illustrative examples are presented to validate the effectiveness and practicability of the obtained results.


title: On Derivative Euler Phi Function Set-Graphs

abstract: In this paper, we study some graph theoretical properties of two derivative Euler Phi function set-graphs. For the Euler Phi function $\phi(n)$, $n\in \mathbb{N}$, the set $S_\phi(n) =\{i:\gcd(i,n)=1, 1\leq i \leq n\}$ and the vertex set is $\{v_i:i\in S_\phi(n)\}$. Two graphs $G_d(S_\phi(n))$ and $G_p(S_\phi(n))$, defined with respect to divisibility adjacency and relatively prime adjacency conditions, are studied.


title: Pulsational Pair-instability Supernovae. I. Pre-collapse Evolution and Pulsational Mass Ejection

abstract: We calculate the evolution of massive stars, which undergo pulsational pair-instability (PPI) when the O-rich core is formed. The evolution from the main-sequence through the onset of PPI is calculated for stars with the initial masses of $80 - 140$ $M_{\odot}$ and metallicities of $Z = 10^{-3} - 1.0$ $Z_\odot$. Because of mass loss, $Z \leq 0.5$ $Z_\odot$ is necessary for stars to form He cores massive enough (i.e., mass $>40 ~M_\odot$) to undergo PPI. The hydrodynamical phase of evolution from PPI through the beginning of Fe core collapse is calculated for the He cores with masses of $40 - 62 ~M_\odot$ and $Z = 0$. During PPI, electron-positron pair production causes a rapid contraction of the O-rich core which triggers explosive O-burning and a pulsation of the core. We study the mass dependence of the pulsation dynamics, thermodynamics, and nucleosynthesis. The pulsations are stronger for more massive He cores and result in such a large amount of mass ejection such as $3 - 13$ $M_\odot$ for $40 - 62 ~M_\odot$ He cores. These He cores eventually undergo Fe-core collapse. The $64 ~M_\odot$ He core undergoes complete disruption and becomes a pair-instability supernova. The H-free circumstellar matter ejected around these He cores is massive enough for to explain the observed light curve of Type I (H-free) superluminous supernovae with circumstellar interaction. We also note that the mass ejection sets the maximum mass of black holes (BHs) to be $\sim 50$ $M_{\odot}$, which is consistent with the masses of BHs recently detected by VIRGO and aLIGO.


title: Emerging Convolutions for Generative Normalizing Flows

abstract: Generative flows are attractive because they admit exact likelihood optimization and efficient image synthesis. Recently, Kingma & Dhariwal (2018) demonstrated with Glow that generative flows are capable of generating high quality images. We generalize the 1 x 1 convolutions proposed in Glow to invertible d x d convolutions, which are more flexible since they operate on both channel and spatial axes. We propose two methods to produce invertible convolutions that have receptive fields identical to standard convolutions: Emerging convolutions are obtained by chaining specific autoregressive convolutions, and periodic convolutions are decoupled in the frequency domain. Our experiments show that the flexibility of d x d convolutions significantly improves the performance of generative flow models on galaxy images, CIFAR10 and ImageNet.


title: On the Leibniz rule and Laplace transform for fractional derivatives

abstract: Taylor series is a useful mathematical tool when describing and constructing a function. With the series representation, some properties of fractional calculus can be revealed clearly. This paper investigates two typical applications: Lebiniz rule and Laplace transform. It is analytically shown that the commonly used Leibniz rule cannot be applied for Caputo derivative. Similarly, the well-known Laplace transform of Riemann-Liouville derivative is doubtful for n-th continuously differentiable function. By the aid of this series representation, the exact formula of Caputo Leibniz rule and the explanation of Riemann-Liouville Laplace transform are presented. Finally, three illustrative examples are revisited to confirm the obtained results.


title: A Level Set Approach to Online Sensing and Trajectory Optimization with Time Delays

abstract: Presented is a method to compute certain classes of Hamilton-Jacobi equations that result from optimal control and trajectory generation problems with time delays. Many robotic control and trajectory problems have limited information of the operating environment a priori and must continually perform online trajectory optimization in real time after collecting measurements. The sensing and optimization can induce a significant time delay, and must be accounted for when computing the trajectory. This paper utilizes the generalized Hopf formula, which avoids the exponential dimensional scaling typical of other numerical methods for computing solutions to the Hamilton-Jacobi equation. We present as an example a robot that incrementally predicts a communication channel from measurements as it travels. As part of this example, we introduce a seemingly new generalization of a non-parametric formulation of robotic communication channel estimation. New communication measurements are used to improve the channel estimate and online trajectory optimization with time-delay compensation is performed.


title: Sloshing of Galaxy Cluster Core Plasma in the Presence of Self-Interacting Dark Matter

abstract: The "sloshing" of the cold gas in the cores of relaxed clusters of galaxies is a widespread phenomenon, evidenced by the presence of spiral-shaped "cold fronts" in X-ray observations of these systems. In simulations, these flows of cold gas readily form by interactions of the cluster core with small subclusters, due to a separation of the cold gas from the dark matter (DM), due to their markedly different collisionalities. In this work, we use numerical simulations to investigate the effects of increasing the DM collisionality on sloshing cold fronts in a cool-core cluster. For clusters in isolation, the formation of a flat DM core via self-interactions results in modest adiabatic expansion and cooling of the core gas. In merger simulations, cold fronts form in the same manner as in previous simulations, but the flattened potential in the core region enables the gas to expand to larger radii in the initial stages. Upon infall, the subcluster's DM mass decreases via collisions, reducing its influence on the core. Thus, the sloshing gas moves slower, inhibiting the growth of fluid instabilities relative to simulations where the DM cross section is zero. This also inhibits turbulent mixing and the increase in entropy that would otherwise result. For values of the cross section $\sigma/m > 1$, subclusters do not survive as self-gravitating structures for more than two core passages. Additionally, separations between the peaks in the X-ray emissivity and thermal Sunyaev-Zeldovich effect signals during sloshing may place constraints on DM self-interactions.


title: On the Consistency of Top-k Surrogate Losses

abstract: The top-$k$ error is often employed to evaluate performance for challenging classification tasks in computer vision as it is designed to compensate for ambiguity in ground truth labels. This practical success motivates our theoretical analysis of consistent top-$k$ classification. Surprisingly, it is not rigorously understood when taking the $k$-argmax of a vector is guaranteed to return the $k$-argmax of another vector, though doing so is crucial to describe Bayes optimality; we do both tasks. Then, we define top-$k$ calibration and show it is necessary and sufficient for consistency. Based on the top-$k$ calibration analysis, we propose a class of top-$k$ calibrated Bregman divergence surrogates. Our analysis continues by showing previously proposed hinge-like top-$k$ surrogate losses are not top-$k$ calibrated and suggests no convex hinge loss is top-$k$ calibrated. On the other hand, we propose a new hinge loss which is consistent. We explore further, showing our hinge loss remains consistent under a restriction to linear functions, while cross entropy does not. Finally, we exhibit a differentiable, convex loss function which is top-$k$ calibrated for specific $k$.


title: Optically tunable topological photonic crystal

abstract: Topological photonic insulators pave the way toward efficient integrated photonic devices with minimized scattering losses. Optical properties of the majority of topological structures proposed to date are fixed by design such that no changes to their performance can be made once the device has been fabricated. However, tunability is important for many applications, including modulators, switches, or optical buffers. Therefore, we propose a straightforward way for the dynamic control of transmission in a silicon-based topological photonic crystal enabled by all-optical free-carrier excitation allowing for fast refractive-index modulation. The changes in both real and imaginary parts of refractive index cause up to 20 nm blue-shift of the transmission spectrum and approximately 85% reduction in transmission. With the control mechanism used here, switching times of the order of nanoseconds can be achieved. The structures proposed here are compatible with the standard semiconductor industry fabrication process and operate at telecommunication wavelengths.


title: Natural Analysts in Adaptive Data Analysis

abstract: Adaptive data analysis is frequently criticized for its pessimistic generalization guarantees. The source of these pessimistic bounds is a model that permits arbitrary, possibly adversarial analysts that optimally use information to bias results. While being a central issue in the field, still lacking are notions of natural analysts that allow for more optimistic bounds faithful to the reality that typical analysts aren't adversarial. In this work, we propose notions of natural analysts that smoothly interpolate between the optimal non-adaptive bounds and the best-known adaptive generalization bounds. To accomplish this, we model the analyst's knowledge as evolving according to the rules of an unknown dynamical system that takes in revealed information and outputs new statistical queries to the data. This allows us to restrict the analyst through different natural control-theoretic notions. One such notion corresponds to a recency bias, formalizing an inability to arbitrarily use distant information. Another complementary notion formalizes an anchoring bias, a tendency to weight initial information more strongly. Both notions come with quantitative parameters that smoothly interpolate between the non-adaptive case and the fully adaptive case, allowing for a rich spectrum of intermediate analysts that are neither non-adaptive nor adversarial. Natural not only from a cognitive perspective, we show that our notions also capture standard optimization methods, like gradient descent in various settings. This gives a new interpretation to the fact that gradient descent tends to overfit much less than its adaptive nature might suggest.


title: Universal Transformation of Displacement Operators and its Application to Homodyne Tomography In Differing Relativistic Reference Frames

abstract: In this paper, we study how a displacement of a quantum system appears under a change of relativistic reference frame. We introduce a generic method in which a displacement operator in one reference frame can be transformed into another reference frame. It is found that, when moving between non-inertial reference frames there can be distortions of phase information, modal structure and amplitude. We analyse how these effects affect traditional homodyne detection techniques. We then develop an in principle homodyne detection scheme which is robust to these effect, called the ideal homodyne detection scheme. We then numerically compare traditional homodyne detection with this in principle method and illustrate regimes when the traditional homodyne detection schemes fail to extract full quantum information.


title: Grain boundary strengthening of FCC polycrystals

abstract: The effect of grain size on the flow strength of FCC polycrystals was analyzed by means of computational homogenization. The mechanical behavior of each grain was dictated by a dislocation-based crystal plasticity model in the context of finite strain plasticity and takes into the account the formation of pile-ups at grain boundaries. All the model parameters have a clear physical meaning and were identified for different FCC metals from dislocation dynamics simulations or experiments. It was found that the influence of the grain size on the flow strength of FCC polycrystals was mainly dictated by the similitude coefficient $K$ that establishes the relationship between the dislocation mean free path and the dislocation density in the bulk. Finally, the modelling approach was validated by comparison with experimental results of the effect of grain size on the flow strength of Ni, Al, Cu and Ag.


title: Studies of granularity of a hadronic calorimeter for tens-of-TeV jets at a 100 TeV $pp$ collider

abstract: Jet substructure variables for hadronic jets with transverse momenta in the range from 2.5 TeV to 20 TeV were studied using several designs for the spatial size of calorimeter cells. The studies used the full Geant4 simulation of calorimeter response combined with realistic reconstruction of calorimeter clusters. In most cases, the results indicate that the performance of jet-substructure reconstruction improves with reducing cell size of a hadronic calorimeter from $\Delta \eta \times \Delta \phi = 0.087\times0.087$, which are similar to the cell sizes of the calorimeters of LHC experiments, by a factor of four, to $0.022\times0.022$.


title: Towards attosecond pulse synthesis from solids: spectral shaping, field autocorrelation, and two-color harmonic generation

abstract: Harmonic generation from solid surfaces is a promising tool for producing high energy attosecond pulses. We report shaping of the harmonic spectrum to achieve the bandwidth necessary for attosecond pulse generation. The shaping is demonstrated for lower as well as for higher harmonics using single and two-pulse pumping. The measured harmonic field autocorrelation function exhibits attosecond spikes in good agreement with the harmonic spectrum. Double slit experiments reveal a high spatial coherence of the harmonic beam.


title: Physical conditions in Centaurus A's northern filaments I: APEX mid-J CO observations of CO-bright regions

abstract: NGC 5128 (Centaurus A) is one of the best targets to study AGN-feedback in the local Universe. Optical filaments located at 16 kpc from the galaxy along the radio jet direction show recent star formation, likely triggered by the interaction of the jet with an HI shell. A large reservoir of molecular gas has been discovered outside the HI. In this reservoir, lies the Horseshoe complex: a filamentary structure seen in CO with ALMA and in Halpha with MUSE. The ionised gas is mostly excited by shocks, with only a minor contribution of star formation. We used the Atacama Pathfinder EXperiment (APEX) to observe the 12CO(3-2) and 12CO(4-3) transitions, as well as dense gas tracers in the Horseshoe complex. 12CO(3-2) and 12CO(4-3) are detected for the first time in the northern filaments of Centaurus A, with integrated intensity line ratios R32~0.2 and R43~0.1, compared to the 12CO(1-0) emission. We also derived a line ratio R21~0.6, based on the previous 12CO(2-1) observations of Salom\'e et al. (2016). We used the non-LTE radiative transfer code RADEX and determined that the molecular gas in this region has a temperature of 55-70 K and densities between 2-6x10^2 cm^-3. Such densities are also in agreement with results from the Paris-Durham shock code that predicts a post-shock density of a few 100 cm^-3. However, we need more observations of emission lines at a better angular resolution in order to place tighter constraints on our radiative models, whether they are used as a stand-alone tool (LVG codes) or combined with a shock model.


title: Which Factorization Machine Modeling is Better: A Theoretical Answer with Optimal Guarantee

abstract: Factorization machine (FM) is a popular machine learning model to capture the second order feature interactions. The optimal learning guarantee of FM and its generalized version is not yet developed. For a rank $k$ generalized FM of $d$ dimensional input, the previous best known sampling complexity is $\mathcal{O}[k^{3}d\cdot\mathrm{polylog}(kd)]$ under Gaussian distribution. This bound is sub-optimal comparing to the information theoretical lower bound $\mathcal{O}(kd)$. In this work, we aim to tighten this bound towards optimal and generalize the analysis to sub-gaussian distribution. We prove that when the input data satisfies the so-called $\tau$-Moment Invertible Property, the sampling complexity of generalized FM can be improved to $\mathcal{O}[k^{2}d\cdot\mathrm{polylog}(kd)/\tau^{2}]$. When the second order self-interaction terms are excluded in the generalized FM, the bound can be improved to the optimal $\mathcal{O}[kd\cdot\mathrm{polylog}(kd)]$ up to the logarithmic factors. Our analysis also suggests that the positive semi-definite constraint in the conventional FM is redundant as it does not improve the sampling complexity while making the model difficult to optimize. We evaluate our improved FM model in real-time high precision GPS signal calibration task to validate its superiority.


title: Memory-Efficient Adaptive Optimization

abstract: Adaptive gradient-based optimizers such as Adagrad and Adam are crucial for achieving state-of-the-art performance in machine translation and language modeling. However, these methods maintain second-order statistics for each parameter, thus introducing significant memory overheads that restrict the size of the model being used as well as the number of examples in a mini-batch. We describe an effective and flexible adaptive optimization method with greatly reduced memory overhead. Our method retains the benefits of per-parameter adaptivity while allowing significantly larger models and batch sizes. We give convergence guarantees for our method, and demonstrate its effectiveness in training very large translation and language models with up to 2-fold speedups compared to the state-of-the-art.


title: Counting Rational Points on Kummer surfaces

abstract: We consider the problem of counting the number of rational points on the family of Kummer surfaces associated with two non-isogenous elliptic curves. For this two-parameter family we prove Manin's unity, using the presentation of the Kummer surfaces as isotrivial elliptic fibration and as double cover of the modular elliptic surface of level two. By carrying out the rational point-count with respect to either of the two elliptic fibrations explicitly, we obtain an interesting new identity between two-parameter counting functions.


title: Distinguishing between Normal and Cancer Cells Using Autoencoder Node Saliency

abstract: Gene expression profiles have been widely used to characterize patterns of cellular responses to diseases. As data becomes available, scalable learning toolkits become essential to processing large datasets using deep learning models to model complex biological processes. We present an autoencoder to capture nonlinear relationships recovered from gene expression profiles. The autoencoder is a nonlinear dimension reduction technique using an artificial neural network, which learns hidden representations of unlabeled data. We train the autoencoder on a large collection of tumor samples from the National Cancer Institute Genomic Data Commons, and obtain a generalized and unsupervised latent representation. We leverage a HPC-focused deep learning toolkit, Livermore Big Artificial Neural Network (LBANN) to efficiently parallelize the training algorithm, reducing computation times from several hours to a few minutes. With the trained autoencoder, we generate latent representations of a small dataset, containing pairs of normal and cancer cells of various tumor types. A novel measure called autoencoder node saliency (ANS) is introduced to identify the hidden nodes that best differentiate various pairs of cells. We compare our findings of the best classifying nodes with principal component analysis and the visualization of t-distributed stochastic neighbor embedding. We demonstrate that the autoencoder effectively extracts distinct gene features for multiple learning tasks in the dataset.


title: Pix2Vox: Context-aware 3D Reconstruction from Single and Multi-view Images

abstract: Recovering the 3D representation of an object from single-view or multi-view RGB images by deep neural networks has attracted increasing attention in the past few years. Several mainstream works (e.g., 3D-R2N2) use recurrent neural networks (RNNs) to fuse multiple feature maps extracted from input images sequentially. However, when given the same set of input images with different orders, RNN-based approaches are unable to produce consistent reconstruction results. Moreover, due to long-term memory loss, RNNs cannot fully exploit input images to refine reconstruction results. To solve these problems, we propose a novel framework for single-view and multi-view 3D reconstruction, named Pix2Vox. By using a well-designed encoder-decoder, it generates a coarse 3D volume from each input image. Then, a context-aware fusion module is introduced to adaptively select high-quality reconstructions for each part (e.g., table legs) from different coarse 3D volumes to obtain a fused 3D volume. Finally, a refiner further refines the fused 3D volume to generate the final output. Experimental results on the ShapeNet and Pix3D benchmarks indicate that the proposed Pix2Vox outperforms state-of-the-arts by a large margin. Furthermore, the proposed method is 24 times faster than 3D-R2N2 in terms of backward inference time. The experiments on ShapeNet unseen 3D categories have shown the superior generalization abilities of our method.


title: Divisors on the moduli space of curves from divisorial conditions on hypersurfaces

abstract: In this note, we extend work of Farkas and Rim\'anyi on applying quadric rank loci to finding divisors of small slope on the moduli space of curves by instead considering all divisorial conditions on the hypersurfaces of a fixed degree containing a projective curve. This gives rise to a large family of virtual divisors on $\overline{\mathcal{M}_g}$. We determine explicitly which of these divisors are candidate counterexamples to the Slope Conjecture. The potential counterexamples exist on $\overline{\mathcal{M}_g}$, where the set of possible values of $g\in \{1,\ldots,N\}$ has density $\Omega(\log(N)^{-0.087})$ for $N>>0$. Furthermore, no divisorial condition defined using hypersurfaces of degree greater than 2 give counterexamples to the Slope Conjecture, and every divisor in our family has slope at least $6+\frac{8}{g+1}$.


title: Synthesis of ultrafast waveforms using coherent Raman sidebands

abstract: In this work, we implement a scheme to combine six coherent, spatially separated Raman sidebands generated in single-crystal diamond into a collinear beam. With appropriate phase tuning, this results in a pulse much shorter than the generating pump. We elucidate the characteristics of the synthesized pulse by using an interferometric collinear cross-correlation frequency-resolved optical gating setup (ix-FROG). The beating of the synchronized sidebands results in an additional component in the signal, which we use to optimize the relative phases of our sidebands. In this way, we synthesize and measure visible-range, near-single cycle isolated pulses of approximately 5 fs total pulse duration.


title: Diameter of io-decomposable Riordan graphs of the Bell type

abstract: Recently, in the paper \cite{CJKM1} we suggested the two conjectures about the diameter of io-decomposable Riordan graphs of the Bell type. In this paper, we give a counterexample for the first conjecture. Then we prove that the first conjecture is true for the graphs of some particular size and propose a new conjecture. Finally, we show that the second conjecture is true for some special io-decomposable Riordan graphs.


title: Lelong Numbers of Bidegree (1,1) Currents on Multiprojective Spaces

abstract: Let $T$ be a positive closed current of bidegree $(1,1)$ on a multiprojective space $X={\mathbb P}^{n_1}\times\ldots\times{\mathbb P}^{n_k}$. For certain values of $\alpha$, which depend on the cohomology class of $T$, we show that the set of points of $X$ where the Lelong numbers of $T$ exceed $\alpha$ have certain geometric properties. We also describe the currents $T$ that have the largest possible Lelong number in a given cohomology class, and the set of points where this number is assumed.


title: NETT Regularization for Compressed Sensing Photoacoustic Tomography

abstract: We discuss several methods for image reconstruction in compressed sensing photoacoustic tomography (CS-PAT). In particular, we apply the deep learning method of [H. Li, J. Schwab, S. Antholzer, and M. Haltmeier. NETT: Solving Inverse Problems with Deep Neural Networks (2018), arXiv:1803.00092], which is based on a learned regularizer, for the first time to the CS-PAT problem. We propose a network architecture and training strategy for the NETT that we expect to be useful for other inverse problems as well. All algorithms are compared and evaluated on simulated data, and validated using experimental data for two different types of phantoms. The results on the one the hand indicate great potential of deep learning methods, and on the other hand show that significant future work is required to improve their performance on real-word data.


title: On 2-connected hypergraphs with no long cycles

abstract: We give an upper bound for the maximum number of edges in an $n$-vertex 2-connected $r$-uniform hypergraph with no Berge cycle of length $k$ or greater, where $n\geq k \geq 4r\geq 12$. For $n$ large with respect to $r$ and $k$, this bound is sharp and is significantly stronger than the bound without restrictions on connectivity. It turned out that it is simpler to prove the bound for the broader class of Sperner families where the size of each set is at most $r$. For such families, our bound is sharp for all $n\geq k\geq r\geq 3$.


title: Proteomic and metagenomic insights into prehistoric Spanish Levantine Rock Art

abstract: The Iberian Mediterranean Basin is home to one of the largest groups of prehistoric rock art sites in Europe. Despite the cultural relevance of prehistoric Spanish Levantine rock art, pigment composition remains partially unknown, and the nature of the binders used for painting has yet to be disclosed. In this work, we present the first omic analysis applied to one of the flagship Levantine rock art sites: the Valltorta ravine (Castell{\'o}n, Spain). We used high-throughput sequencing to provide the first description of the bacterial communities colonizing the rock art patina, which proved to be dominated by Firmicutes species and might have a protective effect on the paintings. Proteomic analysis was also performed on rock art microsamples in order to determine the organic binders present in Levantine prehistoric rock art pigments. This information could shed light on the controversial dating of this UNESCO Cultural Heritage, and contribute to defining the chrono-cultural framework of the societies responsible for these paintings.


title: An estimation method for game complexity

abstract: We looked at a method for estimating the complexity measure of game tree size (the number of legal games). It seems effective for a number of children's games such as Tic-Tac-Toe, Connect Four and Othello.


title: Still out there: Modeling and Identifying Russian Troll Accounts on Twitter

abstract: There is evidence that Russia's Internet Research Agency attempted to interfere with the 2016 U.S. election by running fake accounts on Twitter - often referred to as "Russian trolls". In this work, we: 1) develop machine learning models that predict whether a Twitter account is a Russian troll within a set of 170K control accounts; and, 2) demonstrate that it is possible to use this model to find active accounts on Twitter still likely acting on behalf of the Russian state. Using both behavioral and linguistic features, we show that it is possible to distinguish between a troll and a non-troll with a precision of 78.5% and an AUC of 98.9%, under cross-validation. Applying the model to out-of-sample accounts still active today, we find that up to 2.6% of top journalists' mentions are occupied by Russian trolls. These findings imply that the Russian trolls are very likely still active today. Additional analysis shows that they are not merely software-controlled bots, and manage their online identities in various complex ways. Finally, we argue that if it is possible to discover these accounts using externally - accessible data, then the platforms - with access to a variety of private internal signals - should succeed at similar or better rates.


title: The E\"{o}tv\"{o}s Paradox: The Enduring Significance of E\"{o}tv\"{o}s' Most Famous Paper

abstract: Following the death of Baron Lor\'{a}nd von E\"{o}tv\"{o}s in 1919, his collaborators Desiderius Pek\'{a}r and Eugen Fekete co-authored a paper in 1922 containing the results of a series of earlier experiments testing the identity of inertial and gravitational mass, the Weak Equivalence Principle (WEP). Although the so-called "EPF" paper made no claim for any WEP violations, a subsequent 1986 reanalysis of the EPF paper revealed a pattern in their data suggesting the presence of a new ("fifth") force in nature. Although the EPF data, and the 1986 reanalysis of these data, present fairly compelling evidence for such a fifth force, many contemporary experiments have failed to detect its presence. Here we summarize the key elements of this "E\"{o}tv\"{o}s paradox," and suggest some possible paths to a resolution. Along the way we also discuss the close relationship between E\"{o}tv\"{o}s and Einstein, and consider how their respective contributions may have been influenced by the other's.


title: Spatial-Temporal Graph Convolutional Networks for Sign Language Recognition

abstract: The recognition of sign language is a challenging task with an important role in society to facilitate the communication of deaf persons. We propose a new approach of Spatial-Temporal Graph Convolutional Network to sign language recognition based on the human skeletal movements. The method uses graphs to capture the signs dynamics in two dimensions, spatial and temporal, considering the complex aspects of the language. Additionally, we present a new dataset of human skeletons for sign language based on ASLLVD to contribute to future related studies.


title: Visible and Near Infrared Laboratory Demonstration of a Simplified Pyramid Wavefront Sensor

abstract: Wavefront sensing and control are important for enabling one of the key advantages of using large apertures, namely higher angular resolutions. Pyramid wavefront sensors are becoming commonplace in new instrument designs owing to their superior sensitivity. However, one remaining roadblock to their widespread use is the fabrication of the pyramidal optic. This complex optic is challenging to fabricate due to the pyramid tip, where four planes need to intersect in a single point. Thus far, only a handful of these have been produced due to the low yields and long lead times. To address this, we present an alternative implementation of the pyramid wavefront sensor that relies on two roof prisms instead. Such prisms are easy and inexpensive to source. We demonstrate the successful operation of the roof prism pyramid wavefront sensor on a 8-m class telescope, at visible and near infrared wavelengths ---for the first time using a SAPHIRA HgCdTe detector without modulation for a laboratory demonstration---, and elucidate how this sensor can be used more widely on wavefront control test benches and instruments.


title: An analogue of the Gibbons-Hawking Ansatz for quaternionic K\"ahler spaces

abstract: We show that the geometry of $4n$-dimensional quaternionic K\"ahler spaces with a locally free $\mathbb{R}^{n+1}$-action admits a Gibbons-Hawking-like description based on the Galicki-Lawson notion of quaternionic K\"ahler moment map. This generalizes to higher dimensions a four-dimensional construction, due to Calderbank and Pedersen, of self-dual Einstein manifolds with two linearly independent commuting Killing vector fields. As an application, we use this new Ansatz to give an explicit equivariant completion of the twistor space construction of the local c-map proposed by Ro\v{c}ek, Vafa and Vandoren.


title: A Generalized Language Model in Tensor Space

abstract: In the literature, tensors have been effectively used for capturing the context information in language models. However, the existing methods usually adopt relatively-low order tensors, which have limited expressive power in modeling language. Developing a higher-order tensor representation is challenging, in terms of deriving an effective solution and showing its generality. In this paper, we propose a language model named Tensor Space Language Model (TSLM), by utilizing tensor networks and tensor decomposition. In TSLM, we build a high-dimensional semantic space constructed by the tensor product of word vectors. Theoretically, we prove that such tensor representation is a generalization of the n-gram language model. We further show that this high-order tensor representation can be decomposed to a recursive calculation of conditional probability for language modeling. The experimental results on Penn Tree Bank (PTB) dataset and WikiText benchmark demonstrate the effectiveness of TSLM.


title: Unsupervised Prediction of Negative Health Events Ahead of Time

abstract: The emergence of continuous health monitoring and the availability of an enormous amount of time series data has provided a great opportunity for the advancement of personal health tracking. In recent years, unsupervised learning methods have drawn special attention of researchers to tackle the sparse annotation of health data and real-time detection of anomalies has been a central problem of interest. However, one problem that has not been well addressed before is the early prediction of forthcoming negative health events. Early signs of an event can introduce subtle and gradual changes in the health signal prior to its onset, detection of which can be invaluable in effective prevention. In this study, we first demonstrate our observations on the shortcoming of widely adopted anomaly detection methods in uncovering the changes prior to a negative health event. We then propose a framework which relies on online clustering of signal segment representations which are automatically learned by a specially designed LSTM auto-encoder. We show the effectiveness of our approach by predicting Bradycardia events in infants using MIT-PICS dataset 1.3 minutes ahead of time with 68\% AUC score on average, using no label supervision. Results of our study can indicate the viability of our approach in the early detection of health events in other applications as well.


title: Evolution of relative Yamabe constant under Ricci Flow

abstract: Let $W$ be a manifold with boundary $M$ given together with a conformal class $\bar C$ which restricts to a conformal class $C$ on $M$. Then the relative Yamabe constant $Y_{\bar C}(W,M;C)$ is well-defined. We study the short-time behavior of the relative Yamabe constant $Y_{[\bar g_t]}(W,M;C)$ under the Ricci flow $\bar g_t$ on $W$ with boundary conditions that mean curvature $H_{\bar g_t}\equiv 0$ and $\bar{g}_t|_M\in C = [\bar{g}_0]$. In particular, we show that if the initial metric $\bar{g}_0$ is a Yamabe metric, then, under some natural assumptions, $\left.\frac{d}{dt}\right|_{t=0}Y_{[\bar g_t]}(W,M;C)\geq 0$ and is equal to zero if and only the metric $\bar{g}_0$ is Einstein.


title: Oxygenated (113) diamond surface for nitrogen-vacancy quantum sensors with preferential alignment and long coherence time from first principles

abstract: Shallow nitrogen-vacancy (NV) center in diamond is promising in quantum sensing applications however its sensitivity has been limited by surface terminators and defects. There is an immediate quest to find suitable diamond surfaces for NV sensors. In this work, the surface terminators of (113) diamond to host shallow NV centers are studied by means of first principles calculations. Results indicate that complete oxygen termination of (113) diamond creates positive electron affinity with neither strain on the surface nor in-gap levels. This is a very surprising result as the commonly employed oxygenated (001) diamond surface is often defective due to the disorder created by the strain of ether groups at the surface that seriously undermine the coherence properties of the shallow NV centers. The special atomic configurations on (113) diamond surface are favorable for oxygen bonding, in contrast to (001) and (111) diamond surfaces. These simulations imply that oxygenated diamond (113) surface can be produced by conventional diamond chemical vapor deposition growth. Combining this with the ~73% preferential alignment of as-grown NV centers in (113) oriented diamond, oxygenated (113) diamond is presently supposed to be the most prospective host for NV quantum sensors.


title: S-Type and P-Type Habitability in Stellar Binary Systems: A Comprehensive Approach III. Results for Mars, Earth, and super-Earth Planets

abstract: In Paper I and II, a comprehensive approach was utilized for the calculation of S-type and P-type habitable regions in stellar binary systems for both circular and elliptical orbits of the binary components. It considered a joint constraint including orbital stability and a habitable region for a possible system planet through the stellar radiative energy fluxes ("radiative habitable zone"; RHZ). Specifically, the stellar S-type and P-type RHZs are calculated based on the solution of a fourth order polynomial. However, in concurrent developments, mostly during 2013 and 2014, important improvements have been made in the computation of stellar habitable zones for single stars based on updated climate models given by R. K. Kopparapu and collaborators. These models entail considerable changes for the inner and outer limits of the stellar habitable zones. Moreover, regarding the habitability limit given by the runaway greenhouse effect, notable disparities were identified between Earth, Mars, and super-Earth planets due to differences in their atmospheric models, thus affecting their potential for habitability. It is the aim of this study to compute S-type and P-type habitable regions of binaries in response to the updated planetary models. Moreover, our study will also consider improved relationships between effective temperatures, radii, and masses for low-luminosity stars.


title: Bayesian nonparametric multiway regression for clustered binomial data

abstract: We introduce a Bayesian nonparametric regression model for data with multiway (tensor) structure, motivated by an application to periodontal disease (PD) data. Our outcome is the number of diseased sites measured over four different tooth types for each subject, with subject-specific covariates available as predictors. The outcomes are not well-characterized by simple parametric models, so we use a nonparametric approach with a binomial likelihood wherein the latent probabilities are drawn from a mixture with an arbitrary number of components, analogous to a Dirichlet Process (DP). We use a flexible probit stick-breaking formulation for the component weights that allows for covariate dependence and clustering structure in the outcomes. The parameter space for this model is large and multiway: patients $\times$ tooth types $\times$ covariates $\times$ components. We reduce its effective dimensionality, and account for the multiway structure, via low-rank assumptions. We illustrate how this can improve performance, and simplify interpretation, while still providing sufficient flexibility. We describe a general and efficient Gibbs sampling algorithm for posterior computation. The resulting fit to the PD data outperforms competitors, and is interpretable and well-calibrated. An interactive visual of the predictive model is available at http://ericfrazerlock.com/toothdata/ToothDisplay.html , and the code is available at https://github.com/lockEF/NonparametricMultiway .


title: Peer-to-peer Federated Learning on Graphs

abstract: We consider the problem of training a machine learning model over a network of nodes in a fully decentralized framework. The nodes take a Bayesian-like approach via the introduction of a belief over the model parameter space. We propose a distributed learning algorithm in which nodes update their belief by aggregate information from their one-hop neighbors to learn a model that best fits the observations over the entire network. In addition, we also obtain sufficient conditions to ensure that the probability of error is small for every node in the network. We discuss approximations required for applying this algorithm to train Deep Neural Networks (DNNs). Experiments on training linear regression model and on training a DNN show that the proposed learning rule algorithm provides a significant improvement in the accuracy compared to the case where nodes learn without cooperation.


title: Using SOS and Sublevel Set Volume Minimization for Estimation of Forward Reachable Sets

abstract: In this paper we propose a convex Sum-of-Squares optimization problem for finding outer approximations of forward reachable sets for nonlinear uncertain Ordinary Differential Equations (ODE's) with either (or both) L2 or point-wise bounded input disturbances. To make our approximations tight we seek to minimize the volume of our approximation set. Our approach to volume minimization is based on the use of a convex determinant-like objective function. We provide several numerical examples including the Lorenz system and the Van der Pol oscillator.


title: Time-dependent methods in inverse scattering problems for the Hartree-Fock equation

abstract: The inverse scattering theory for many-body systems in quantum mechanics is an important and difficult issue not only in physics---atomic physics, molecular physics and nuclear physics---but also mathematics. The major purpose in this paper is to establish a reconstruction procedure of two-body interactions from scattering solutions for a Hartree-Fock equation. More precisely, this paper gives a uniqueness theorem and proposes a new reconstruction procedure of the short-range and two-body interactions from a high-velocity limit of the scattering operator for the Hartree-Fock equation. Moreover, it will be found that the high-velocity limit of the scattering operator is equal to a small-amplitude limit of it. The main ingredients of mathematical analysis in this paper are based on the theory of integral equations of the first kind and a Strichartz type estimates on a solution to the free Schr\"{o}dinger equation.


title: Jensen Inequality and the Second Law

abstract: Jensen's Inequality (JIEQ) has proved to be a major tool to prove the consistency of various fluctuation theorems with the second law in microscopic thermodynamics. We show that the situation is far from clear and the reliance on the JIE may be quite misleading in general.


title: Charged Compact Binary Coalescence Signal and Electromagnetic Counterpart of Plunging BH-NS mergers

abstract: If at least one of the members of a compact binary coalescence is charged, the inspiral of the two members would generate a Poynting flux with an increasing power, giving rise to a brief electromagnetic counterpart temporally associated with the chirp signal of the merger (with possibly a small temporal offset), which we term as the {\em charged Compact Binary Coalescence} (cCBC) signal. We develop a general theory of cCBC for any mass and amount of charge for each member. Neutron stars (NSs), as spinning magnets, are guaranteed to be charged, so the cCBC signal should accompany all neutron star mergers. The cCBC signal is clean in a BH-NS merger with a small mass ratio ($q \equiv m_2/m_1 < 0.2$), in which the NS plunges into the BH as a whole, and its luminosity/energy can reach that of a fast radio burst if the NS is Crab-like. The strength of the cCBC signal in Extreme Mass Ratio Inspiral Systems (EMRIs) is also estimated.


title: Dissipative phonon Fock state production in strong nonlinear optomechanics

abstract: We put forward a deterministic dissipative protocol to prepare phonon Fock states in nonlinear quantum optomechanical devices. The system is composed of a mechanical mode interacting with an optical field via radiation pressure, whereas the light mode is laser-driven in the resolved blue-sideband regime. To keep our results tractable, we have switched to an interaction picture in a displaced basis, where the effective Hamiltonian exhibits the selective photon-phonon interaction explicitly. After proper parameter adjustment and similarly to cavity-cooling schemes, the quantum evolution allows steering the mechanical degree of freedom to the desired Fock state by directing the optical excitations dynamically towards the target phonon state. The numerical results, including decoherence on both the mechanical and the optical degrees of freedom, show to be quite robust in the good- and bad-cavity regimes with fidelities exceeding $95\%$. Lastly, characterization of the achieved nonclassicality, as well as the limitations and feasibility of our protocol under experimental parameters, are also analyzed.


title: Human Face Expressions from Images - 2D Face Geometry and 3D Face Local Motion versus Deep Neural Features

abstract: Several computer algorithms for recognition of visible human emotions are compared at the web camera scenario using CNN/MMOD face detector. The recognition refers to four face expressions: smile, surprise, anger, and neutral. At the feature extraction stage, the following three concepts of face description are confronted: (a) static 2D face geometry represented by its 68 characteristic landmarks (FP68); (b) dynamic 3D geometry defined by motion parameters for eight distinguished face parts (denoted as AU8) of personalized Candide-3 model; (c) static 2D visual description as 2D array of gray scale pixels (known as facial raw image). At the classification stage, the performance of two major models are analyzed: (a) support vector machine (SVM) with kernel options; (b) convolutional neural network (CNN) with variety of relevant tensor processing layers and blocks of them. The models are trained for frontal views of human faces while they are tested for arbitrary head poses. For geometric features, the success rate (accuracy) indicate nearly triple increase of performance of CNN with respect to SVM classifiers. For raw images, CNN outperforms in accuracy its best geometric counterpart (AU/CNN) by about 30 percent while the best SVM solutions are inferior nearly four times. For F-score the high advantage of raw/CNN over geometric/CNN and geometric/SVM is observed, as well. We conclude that contrary to CNN based emotion classifiers, the generalization capability wrt human head pose is for SVM based emotion classifiers poor.


title: Conley index methods detecting bifurcations in a modified van der Pol oscillator appearing in heart action models

abstract: In this paper, a modified van der Pol oscillator equation is considered which appears in several heart action models. We study its global dynamics and verify many interesting bifurcations such as a Hopf bifurcation, a heteroclinic saddle connection, and a homoclinic saddle connection. Some of these bifurcations are detected by using Conley index methods. We demonstrate how the study of connection matrices and transition matrices shows how to select interesting parameter values for simulations.


title: Large-scale inhomogeneity of dark energy produced in the ancestor vacuum

abstract: We investigate large-scale inhomogeneity of dark energy in the bubble nucleation scenario of the universe. In this scenario, the present universe was created by a bubble nucleation due to quantum tunneling from a metastable ancestor vacuum, followed by a primordial inflationary era. During the bubble nucleation, supercurvature modes of some kind of a scalar field are produced, and remain until present without decaying; thus they can play a role of the dark energy, if the mass of the scalar field is sufficiently light in the present universe. The supercurvature modes fluctuate at a very large spatial scale, much longer than the Hubble length in the present universe. Thus they create large-scale inhomogeneities of the dark energy, and generate large-scale anisotropies in the cosmic microwave background (CMB) fluctuations. This is a notable feature of this scenario, where quantum fluctuations of a scalar field are responsible for the dark energy. In this paper, we calculate imprints of the scenario on the CMB anisotropies through the integrated Sachs-Wolfe (ISW) effect, and give observational constraints on the curvature parameter $\Omega_K$ and on an additional parameter $\epsilon$ describing some properties of the ancestor vacuum.


title: Resolving 3D Disk Orientation using High-Resolution Images: New Constraints on Circumgalactic Gas Inflows

abstract: We constrain gas inflow speeds in star-forming galaxies with color gradients consistent with inside-out disk growth. Our method combines new measurements of disk orientation with previously described circumgalactic absorption in background quasar spectra. Two quantities, a position angle and an axis ratio, describe the projected shape of each galactic disk on the sky, leaving an ambiguity about which side of the minor axis is tipped toward the observer. This degeneracy regarding the 3D orientation of disks has compromised previous efforts to measure gas inflow speeds. We present HST and Keck/LGSAO imaging that resolves the spiral structure in five galaxies at redshift $z\approx0.2$. We determine the sign of the disk inclination for four galaxies, under the assumption that spiral arms trail the rotation. We project models for both radial infall in the disk plane and circular orbits onto each quasar sightline. We compare the resulting line-of-sight velocities to the observed velocity range of Mg II absorption in spectra of background quasars, which intersect the disk plane at radii between 69 and 115 kpc. For two sightlines, we constrain the maximum radial inflow speeds as 30-40 km s$^{-1}$. We also rule out a velocity component from radial inflow in one sightline, suggesting that the structures feeding gas to these growing disks do not have unity covering factor. We recommend appropriate selection criteria for building larger samples of galaxy--quasar pairs that produce orientations sensitive to constraining inflow properties.


title: Representations of the Riemann zeta function: A probabilistic approach

abstract: In this paper, we give a short elementary proof of the well known Euler's recurrence formula for the Riemann zeta function at positive even integers and integral representations of the Riemann zeta function at positive integers and at fractional points by means of probabilistic approach. The proof is based on the moment generating function and the characteristic function of logistic and half-logistic distributions in probability theory.


title: Human-Centered Artificial Intelligence and Machine Learning

abstract: Humans are increasingly coming into contact with artificial intelligence and machine learning systems. Human-centered artificial intelligence is a perspective on AI and ML that algorithms must be designed with awareness that they are part of a larger system consisting of humans. We lay forth an argument that human-centered artificial intelligence can be broken down into two aspects: (1) AI systems that understand humans from a sociocultural perspective, and (2) AI systems that help humans understand them. We further argue that issues of social responsibility such as fairness, accountability, interpretability, and transparency.


title: Consequences of the Detailed Balance for the Crooks Fluctuation Theorem

abstract: We show that the assumptions of the detailed balance and of the initial equilibrium macrostate, which are central to the Crooks fluctuation theorem (CFT), lead to all microstates along a trajectory to have equilibrium probabilities. We also point out that the Crooks's definition of the backward trajectory does not return the system back to its initial microstate. Once corrected, the detailed balance assumption makes the CFT a theorem only about reversible processes involving reversible trajectories that satisfy Kolmogorov's criterion. As there is no dissipation, the CFT cannot cover irreversible processes, which is contrary to the common belief. This is consistent with our recent result that the JE is also a result only for reversible processes.


title: On Intra-Class Variance for Deep Learning of Classifiers

abstract: A novel technique for deep learning of image classifiers is presented. The learned CNN models offer better separation of deep features (also known as embedded vectors) measured by Euclidean proximity and also no deterioration of the classification results by class membership probability. The latter feature can be used for enhancing image classifiers having the classes at the model's exploiting stage different from from classes during the training stage. While the Shannon information of SoftMax probability for target class is extended for mini-batch by the intra-class variance, the trained network itself is extended by the Hadamard layer with the parameters representing the class centers. Contrary to the existing solutions, this extra neural layer enables interfacing of the training algorithm to the standard stochastic gradient optimizers, e.g. AdaM algorithm. Moreover, this approach makes the computed centroids immediately adapting to the updating embedded vectors and finally getting the comparable accuracy in less epochs.


title: Analogue stochastic gravity phenomena in two-component Bose-Einstein condensates: Sound cone fluctuations

abstract: We investigate the properties of the condensates of cold atoms at zero temperature in the tunable binary Bose-Einstein condensate system with a Rabi transition between atomic hyperfine states. We use this system to examine the effect of quantum fluctuations in a tunable quantum gas on phonon propagation. We show that the system can be represented by a coupled two-field model of a gapless phonon and a gapped mode, which are analogous to the Goldstone and Higgs particles in particle physics. We then further trace out the gapped modes to give an effective purely phononic theory using closed-time-path formalism. In particular, we are interested in the sound cone fluctuations due to the variation of the speed-of-sound acoustic metric, induced by quantum fluctuations of the gapped modes. These fluctuations can be interpreted as inducing a stochastic space-time, and thus are regarded as analogue phenomena of light cone fluctuations presumably arising from quantum gravity effects. The effects of fluctuations can be displayed in the variation in the travel time of sound waves. We suggest the relevant experiments to discuss the possibility of experimental observations.


title: Augmenting Model Robustness with Transformation-Invariant Attacks

abstract: The vulnerability of neural networks under adversarial attacks has raised serious concerns and motivated extensive research. It has been shown that both neural networks and adversarial attacks against them can be sensitive to input transformations such as linear translation and rotation, and that human vision, which is robust against adversarial attacks, is invariant to natural input transformations. Based on these, this paper tests the hypothesis that model robustness can be further improved when it is adversarially trained against transformed attacks and transformation-invariant attacks. Experiments on MNIST, CIFAR-10, and restricted ImageNet show that while transformations of attacks alone do not affect robustness, transformation-invariant attacks can improve model robustness by 2.5\% on MNIST, 3.7\% on CIFAR-10, and 1.1\% on restricted ImageNet. We discuss the intuition behind this phenomenon.


title: Flow and Elastic Networks on the $n$-torus: Geometry, Analysis, and Computation

abstract: Networks with phase-valued nodal variables are central in modeling several important societal and physical systems, including power grids, biological systems, and coupled oscillator networks. One of the distinctive features of phase-valued networks is the existence of multiple operating conditions corresponding to critical points of an energy function or feasible flows of a balance equation. For networks with phase-valued states, it is not yet fully understood how many operating conditions exist, how to characterize them, and how to compute them efficiently. A deeper understanding of feasible operating conditions, including their dependence upon network structures, may lead to more reliable and efficient network systems. This paper introduces flow and elastic network problems on the $n$-torus and provides a rigorous and comprehensive framework for their study. Based on a monotonicity assumption, this framework localizes the solutions, bounds their number, and leads to an algorithm to compute them. Our analysis is based on a novel winding partition of the $n$-torus into winding cells, induced by Kirchhoff's angle law for undirected graphs. The winding partition has several useful properties, including notably that, each winding cell contains at most one solution. The proposed algorithm is based on a novel contraction mapping and is guaranteed to compute all solutions. Finally, we apply our results to numerically study the active power flow equations in several test cases and estimate power capacity and congestion of a power network.