title: Accurate mass measurement of a levitated nanomechanical resonator for precision force sensing

abstract: Nanomechanical resonators are widely operated as force and mass sensors with sensitivities in the zepto-Newton and yocto-gram regime, respectively. Their accuracy, however, is usually undermined by high uncertainties in the effective mass of the system, whose estimation is a non-trivial task. This critical issue can be addressed in levitodynamics, where the nanoresonator typically consists of a single silica nanoparticle of well-defined mass. Yet, current methods assess the mass of the levitated nanoparticles with uncertainties up to a few tens of percent, therefore preventing to achieve unprecedented sensing performances. Here, we present a novel measurement protocol that uses the electrical field from a surrounding plate capacitor to directly drive a charged optically levitated particle in moderate vacuum. The developed technique estimates the mass within a statistical error below 1% and a systematic error of 2%, and paves the way toward more reliable sensing and metrology applications of levitodynamics systems.


title: On weak closure of some diffusion equations

abstract: We study the closure of approximating sequences of some diffusion equations under certain weak convergence. A specific description of the closure under weak $H^1$-convergence is given, which reduces to the original equation when the equation is parabolic. However, the closure under strong $L^2$-convergence may be much larger, even for parabolic equations.


title: Path-Invariant Map Networks

abstract: Optimizing a network of maps among a collection of objects/domains (or map synchronization) is a central problem across computer vision and many other relevant fields. Compared to optimizing pairwise maps in isolation, the benefit of map synchronization is that there are natural constraints among a map network that can improve the quality of individual maps. While such self-supervision constraints are well-understood for undirected map networks (e.g., the cycle-consistency constraint), they are under-explored for directed map networks, which naturally arise when maps are given by parametric maps (e.g., a feed-forward neural network). In this paper, we study a natural self-supervision constraint for directed map networks called path-invariance, which enforces that composite maps along different paths between a fixed pair of source and target domains are identical. We introduce path-invariance bases for efficient encoding of the path-invariance constraint and present an algorithm that outputs a path-variance basis with polynomial time and space complexities. We demonstrate the effectiveness of our approach on optimizing object correspondences, estimating dense image maps via neural networks, and semantic segmentation of 3D scenes via map networks of diverse 3D representations. In particular, for 3D semantic segmentation, our approach only requires 8% labeled data from ScanNet to achieve the same performance as training a single 3D segmentation network with 30% to 100% labeled data.


title: Connected Vehicle Application Development Platform (CVDeP) for Edge-centric Cyber-Physical Systems

abstract: Connected vehicle (CV) application developers need a development platform to build, test and debug CV applications, such as safety, mobility, and environmental applications, in an edge-centric Cyber-Physical Systems. Our study objective is to develop and evaluate a scalable and secure CV application development platform (CVDeP) that enables the CV application developers to build, test and debug CV applications in real-time. CVDeP ensures that the functional requirements of the CV applications meet the latency requirements imposed by corresponding CV applications. We conducted a case study to evaluate the efficacy of CVDeP using two CV applications (one safety and one mobility application) and validated them through a field evaluation at the Clemson University Connected and Autonomous Vehicle Testbed (CU-CAVT). The analysis outcome proves the efficacy of CVDeP, which satisfies the functional requirements (e.g., latency, throughput) of a CV application while maintaining scalability, and security of the platform and applications.


title: Multiple zeta values in deformation quantization

abstract: Kontsevich's 1997 formula for the deformation quantization of Poisson brackets is a Feynman expansion involving volume integrals over moduli spaces of marked disks. We develop a systematic theory of integration on these moduli spaces via suitable algebras of polylogarithms, and use it to prove that Kontsevich's integrals can be expressed as integer-linear combinations of multiple zeta values. Our proof gives a concrete algorithm for calculating the integrals, which we have used to produce the first software package for the symbolic calculation of Kontsevich's formula.

categories: math.QA hep-th math-ph math.AG math.MP math.NT


title: A Split-Central-Buffered Load-Balancing Clos-Network Switch with In-Order Forwarding

abstract: We propose a configuration scheme for a load-balancing Clos-network packet switch that has split central modules and buffers in between the split modules. Our split-central-buffered Load-Balancing Clos-network (LBC) switch is cell based. The switch has four stages, namely input, central-input, central-output, and output stages. The proposed configuration scheme uses a pre-determined and periodic interconnection pattern in the input and split central modules to load-balance and route traffic. The LBC switch has low configuration complexity. The operation of the switch includes a mechanism applied at input and split-central modules to forward cells in sequence. The switch achieves 100\% throughput under uniform and nonuniform admissible traffic with independent and identical distributions (i.i.d.). These high switching performance and low complexity are achieved while performing in-sequence forwarding and without resorting to memory speedup or central-stage expansion. Our discussion includes throughput analysis, where we describe the operations that the configuration mechanism performs on the traffic traversing the switch, and proof of in-sequence forwarding. A simulation study is presented as a practical demonstration of the switch performance on uniform and nonuniform i.i.d. traffic.


title: Multi-player Multi-armed Bandits for Stable Allocation in Heterogeneous Ad-Hoc Networks

abstract: Next generation networks are expected to be ultradense and aim to explore spectrum sharing paradigm that allows users to communicate in licensed, shared as well as unlicensed spectrum. Such ultra-dense networks will incur significant signaling load at base stations leading to a negative effect on spectrum and energy efficiency. To minimize signaling overhead, an adhoc approach is being considered for users communicating in the unlicensed and shared spectrums. For such users, decisions need to be completely decentralized as: 1) No communication between users and signaling from the base station is possible which necessitates independent channel selection at each user. A collision occurs when multiple users transmit simultaneously on the same channel, 2) Channel qualities may be heterogeneous, i.e., they are not same across all users, and moreover, are unknown, and 3) The network could be dynamic where users can enter or leave anytime. We develop a multi-armed bandit based distributed algorithm for static networks and extend it for the dynamic networks. The algorithms aim to achieve stable orthogonal allocation (SOC) in finite time and meet the above three constraints with two novel characteristics: 1) Low complexity narrowband radio compared to wideband radio in existing works, and 2) Epoch-less approach for dynamic networks. We establish a convergence of our algorithms to SOC and validate via extensive simulation experiments.


title: Using Machine Learning for Handover Optimization in Vehicular Fog Computing

abstract: Smart mobility management would be an important prerequisite for future fog computing systems. In this research, we propose a learning-based handover optimization for the Internet of Vehicles that would assist the smooth transition of device connections and offloaded tasks between fog nodes. To accomplish this, we make use of machine learning algorithms to learn from vehicle interactions with fog nodes. Our approach uses a three-layer feed-forward neural network to predict the correct fog node at a given location and time with 99.2 % accuracy on a test set. We also implement a dual stacked recurrent neural network (RNN) with long short-term memory (LSTM) cells capable of learning the latency, or cost, associated with these service requests. We create a simulation in JAMScript using a dataset of real-world vehicle movements to create a dataset to train these networks. We further propose the use of this predictive system in a smarter request routing mechanism to minimize the service interruption during handovers between fog nodes and to anticipate areas of low coverage through a series of experiments and test the models' performance on a test set.


title: A Concise Review of 5G New Radio Capabilities for Directional Access at mmWave Frequencies

abstract: In this work, we briefly outline the core 5G air interface improvements introduced by the latest New Radio (NR) specifications, as well as elaborate on the unique features of initial access in 5G NR with a particular emphasis on millimeter-wave (mmWave) frequency range. The highly directional nature of 5G mmWave cellular systems poses a variety of fundamental differences and research problem formulations, and a holistic understanding of the key system design principles behind the 5G NR is essential. Here, we condense the relevant information collected from a wide diversity of 5G NR standardization documents (based on 3GPP Release 15) to distill the essentials of directional access in 5G mmWave cellular, which becomes the foundation for any corresponding system-level analysis.


title: Load-Based On/Off Scheduling for Energy-Efficient Delay-Tolerant 5G Networks

abstract: Dense deployment of small cells is seen as one of the major approaches for addressing the traffic demands in next-generation 5G wireless networks. The energy efficiency, however, becomes a key concern together with this massive amount of small cells. In this study, we therefore consider the energy-efficient small cell networks (SCN) using smart on/off scheduling (OOS) strategies, where a certain fraction of small base stations (SBS) are put into less energy-consuming sleeping states to save energy. To this end, we first represent the overall SCN traffic by a new load variable, and analyze its statistics rigorously using Gamma approximation. We then propose two novel OOS algorithms exploiting this load variable in centralized and distributed fashions. We show that proposed load based OOS algorithms can lead to as high as 50\% of energy savings without sacrificing the average SCN throughput. In addition, load based strategies are shown to work well under high SCN traffic and delay-intolerant circumstances, and can be implemented efficiently using the load statistics. We also show that the performance of load based algorithms gets maximized for certain length of sleeping periods, where assuming short sleep periods is as energy-inefficient as keeping SBSs in sleep states for very long.


title: Singular Optimal Controls for Stochastic Recursive Systems under Convex Control Constraint

abstract: In this paper, we study two kinds of singular optimal controls (SOCs for short) problems where the systems governed by forward-backward stochastic differential equations (FBSDEs for short), in which the control has two components: the regular control, and the singular one. Both drift and diffusion terms may involve the regular control variable. The regular control domain is postulated to be convex. Under certain assumptions, in the framework of the Malliavin calculus, we derive the pointwise second-order necessary conditions for stochastic SOC in the classical sense. This condition is described by two adjoint processes, a maximum condition on the Hamiltonian supported by an illustrative example. A new necessary condition for optimal singular control is obtained as well. Besides, as a by-product, a verification theorem for SOCs is derived via viscosity solutions without involving any derivatives of the value functions. It is worth pointing out that this theorem has wider applicability than the restrictive classical verification theorems. Finally, we focus on the connection between the maximum principle and the dynamic programming principle for such SOCs problem without the assumption that the value function is smooth enough.


title: Searches for Continuous Gravitational Waves from Fifteen Supernova Remnants and Fomalhaut b with Advanced LIGO

abstract: We describe directed searches for continuous gravitational waves from sixteen well localized candidate neutron stars assuming none of the stars has a binary companion. The searches were directed toward fifteen supernova remnants and Fomalhaut~b, an extrasolar planet candidate which has been suggested to be a nearby old neutron star. Each search covered a broad band of frequencies and first and second time derivatives. After coherently integrating spans of data from the first Advanced LIGO observing run of 3.5--53.7 days per search, applying data-based vetoes and discounting known instrumental artifacts, we found no astrophysical signals. We set upper limits on intrinsic gravitational wave strain as strict as $1\times10^{-25}$, on fiducial neutron star ellipticity as strict as $2\times10^{-9}$, and on fiducial $r$-mode amplitude as strict as $3\times10^{-8}$.


title: The Exact Foldy-Wouthuysen Transformation for a Dirac Theory Revisited

abstract: The Exact Foldy-Wouthuysen transformation (EFWT) method is generalized here. In principle, it is not possible to construct the EFWT to any Hamiltonian. The transformation conditions are the same but the involution operator has a new form. We took a special example and constructed explicitly the new involution operator that allows one to perform the transformation. We treat the case of the Hamiltonian with 160 possible CPT-Lorentz breaking terms, using this new technique. The transformation was performed and physics analysis of the equations of motion is shown.


title: Thirty years of Erice on the brane

abstract: After initially meeting with fierce resistance, "branes", p-dimensional extended objects which go beyond particles (p=0) and strings (p=1), now occupy centre stage in theoretical physics as microscopic components of M-theory, as the seeds of the AdS/CFT correspondence, as a branch of particle phenomenology, as the higher-dimensional progenitors of black holes and, via the "brane-world", as entire universes in their own right. Notwithstanding this early opposition, Nino Zichichi invited me to to talk about supermembranes and eleven dimensions at the 1987 School on Subnuclear Physics and has continued to keep Erice on the brane ever since. Here I provide a distillation of my Erice brane lectures and some personal recollections.


title: Proof of a basic hypergeometric supercongruence modulo the fifth power of a cyclotomic polynomial

abstract: By means of the $q$-Zeilberger algorithm, we prove a basic hypergeometric supercongruence modulo the fifth power of the cyclotomic polynomial $\Phi_n(q)$. This result appears to be quite unique, as in the existing literature so far no basic hypergeometric supercongruences modulo a power greater than the fourth of a cyclotomic polynomial have been proved. We also establish a couple of related results, including a parametric supercongruence.


title: Refined ramification breaks in characteristic $p$

abstract: Let $K$ be a local field of characteristic $p$ and let $L/K$ be a totally ramified elementary abelian $p$-extension with a single ramification break $b$. Byott and Elder defined the refined ramification breaks of $L/K$, an extension of the usual ramification data. In this paper we give an alternative definition for the refined ramification breaks, and we use Artin-Schreier theory to compute both versions of the breaks in some special cases.


title: Functions Holomorphic over Finite-Dimensional Commutative Associative Algebras 1: One-Variable Local Theory I

abstract: We study in detail the one-variable local theory of functions holomorphic over a finite-dimensional commutative associative unital $\mathbb{C}$-algebra $\mathcal{A}$, showing that it shares a multitude of features with the classical one-variable Complex Analysis, including the validity of the Jacobian conjecture for $\mathcal{A}$-holomorphic regular maps and a generalized Homological Cauchy's Integral Formula. In fact, in doing so we replace $\mathcal{A}$ by a morphism $\varphi: \mathcal{A} \to \mathcal{B}$ in the category of finite-dimensional commutative associative unital $\mathbb{C}$-algebras in a natural manner, paving a way to establishing an appropriate category of Funktionentheorien (ger. function theories). We also treat the very instructive case of non-unital finite-dimensional commutative associative $\mathbb{R}$-algebras as far as it serves above agenda.


title: A Milli-Newton Propulsion System for the Asteroid Mobile Imager and Geologic Observer (AMIGO)

abstract: Exploration of small bodies, namely comets and asteroids remain a challenging endeavor due to their low gravity. The risk is so high that missions such as Hayabusa II and OSIRIS-REx will be performing touch and go missions to obtain samples. The next logical step is to perform longer-term mobility on the surface of these asteroid. This can be accomplished by sending small landers of a 1 kg or less with miniature propulsion systems that can just offset the force of asteroid gravity. Such a propulsion system would ideally be used to hop on the surface of the asteroid. Hopping has been found to be most efficient form of mobility on low-gravity. Use of wheels for rolling presents substantial challenges as the wheel can't gain traction to roll. The Asteroid Mobile Imager and Geologic Observer (AMIGO) utilizes 1 kg landers that are stowed in a 1U CubeSat configuration and deployed, releasing an inflatable that is 1 m in diameter. The inflatable is attached to the top of the 1U lander, enabling high speed communications and a means of easily tracking lander from an overhead mothership. Milligravity propulsion is required for the AMIGO landers to perform ballistic hops on the asteroid surface. The propulsion system is used to navigate the lander across the surface of the asteroid under the extremely low gravity while taking care to not exceed escape velocity.Although the concept for AMIGO missions is to use multiple landers, the more surface area evaluated by each lander the better. Without a propulsion system, each AMIGO will have a limited range of observable area. The propulsion system also serves as a rough attitude control system (ACS), as it enables pointing and regulation over where the lander is positioned via an array of MEMS thrusters.


title: An On-Orbit CubeSat Centrifuge for Asteroid Science and Exploration

abstract: There are thousands of asteroids in near-Earth space and millions expected in the Main Belt. They are diverse in their physical properties and compositions. They are also time capsules of the early Solar System making them valuable for planetary science, and are strategic for resource mining, planetary defense/security and as interplanetary depots. But we lack direct knowledge of the geophysical behavior of an asteroid surface under milligravity conditions, and therefore landing on an asteroid and manipulating its surface material remains a daunting challenge. Towards this goal we are putting forth plans for a 12U CubeSat that will be in Low Earth Orbit and that will operate as a spinning centrifuge on-orbit. In this paper, we will present an overview of the systems engineering and instrumentation design on the spacecraft. Parts of this 12U CubeSat will contain a laboratory that will recreate asteroid surface conditions by containing crushed meteorite. The laboratory will spin at 1 to 2 RPM during the primary mission to simulate surface conditions of asteroids 2 km and smaller, followed by an extended mission where the spacecraft will spin at even higher RPM. The result is a bed of realistic regolith, the environment that landers and diggers and maybe astronauts will interact with. The CubeSat is configured with cameras, lasers, actuators and small mechanical instruments to both observe and manipulate the regolith at low simulated gravity conditions. A series of experiments will measure the general behavior, internal friction, adhesion, dilatancy, coefficients of restitution and other parameters that can feed into asteroid surface dynamics simulations. Effective gravity can be varied, and external mechanical forces can be applied.


title: Eff Directly in OCaml

abstract: The language Eff is an OCaml-like language serving as a prototype implementation of the theory of algebraic effects, intended for experimentation with algebraic effects on a large scale. We present the embedding of Eff into OCaml, using the library of delimited continuations or the multicore OCaml branch. We demonstrate the correctness of the embedding denotationally, relying on the tagless-final-style interpreter-based denotational semantics, including the novel, direct denotational semantics of multi-prompt delimited control. The embedding is systematic, lightweight, performant and supports even higher-order, 'dynamic' effects with their polymorphism. OCaml thus may be regarded as another implementation of Eff, broadening the scope and appeal of that language.


title: Generic Programming in OCaml

abstract: We present a library for generic programming in OCaml, adapting some techniques borrowed from other functional languages. The library makes use of three recent additions to OCaml: generalised abstract datatypes are essential to reflect types, extensible variants allow this reflection to be open for new additions, and extension points provide syntactic sugar and generate boiler plate code that simplify the use of the library. The building blocks of the library can be used to support many approaches to generic programming through the concept of view. Generic traversals are implemented on top of the library and provide powerful combinators to write concise definitions of recursive functions over complex tree types. Our case study is a type-safe deserialisation function that respects type abstraction.


title: Quantum-dot single-photon source on a CMOS silicon photonic chip integrated using transfer printing

abstract: Silicon photonics is a powerful platform for implementing large-scale photonic integrated circuits (PICs), because of its compatibility with mature complementary-metal-oxide-semiconductor (CMOS) technology. Exploiting silicon-based PICs for quantum photonic information processing (or the so-called silicon quantum photonics) provides a promising pathway for large-scale quantum applications. For the development of scalable silicon quantum PICs, a major challenge is integrating on-silicon quantum light sources that deterministically emit single photons. In this regard, the use of epitaxial InAs/GaAs quantum dots (QDs) is a very promising approach, because of their capability of deterministic single-photon emission with high purity and indistinguishability. However, the required hybrid integration is inherently difficult and often lacks the compatibility with CMOS processes. Here, we demonstrate a QD single-photon source (SPS) integrated on a glass-clad silicon photonic waveguide processed by a CMOS foundry. Hybrid integration is performed using transfer printing, which enables us to integrate heterogeneous optical components in a simple pick-and-place manner and thus assemble them after the entire CMOS process is completed. We observe single-photon emission from the integrated QD and its efficient coupling into the silicon waveguide. Our transfer-printing-based approach is fully compatible with CMOS back-end processes, and thus will open the possibility for realizing large-scale quantum PICs that leverage CMOS technology.


title: Modular Inflatable Composites for Space Telescopes

abstract: There is an every-growing need to construct large space telescopes and structures for observation of exo-planets, main-belt asteroids and NEOs. Space observation capabilities can significant enhanced by large-aperture structures. Structures extending to several meters in size could potentially revolutionize observation enabling technologies. These include star-shades for imaging distant objects such as exo-planets and high-resolution large aperture telescopes. In addition to size, such structures require controllable precision surfaces and high packing efficiencies. A promising approach to achieving high compaction for large surface areas is by incorporating compliant materials or gossamers. Gossamer structures on their own do not meet stiffness requirements for controlled deployment. Supporting stiffening mechanisms are required to fully realize their structural potential. The accuracy of the 'active' surface constructed out of a gossamer additionally also depends on the load bearing structure that supports it. This paper investigates structural assemblies constructed from modular inflatable membranes stiffened pneumatically using inflation gas. These units assembled into composites can yield desirable characteristics. We present the design of large assemblies of these modular elements.


title: Sundials/ML: Connecting OCaml to the Sundials Numeric Solvers

abstract: This paper describes the design and implementation of a comprehensive OCaml interface to the Sundials library of numeric solvers for ordinary differential equations, differential algebraic equations, and non-linear equations. The interface provides a convenient and memory-safe alternative to using Sundials directly from C and facilitates application development by integrating with higher-level language features, like garbage-collected memory management, algebraic data types, and exceptions. Our benchmark results suggest that the interface overhead is acceptable: the standard examples are rarely twice as slow in OCaml than in C, and often less than 50% slower. The challenges in interfacing with Sundials are to efficiently and safely share data structures between OCaml and C, to support multiple implementations of vector operations and linear solvers through a common interface, and to manage calls and error signalling to and from OCaml. We explain how we overcame these difficulties using a combination of standard techniques such as phantom types and polymorphic variants, and carefully crafted data representations.


title: Optimal Insurance with Limited Commitment in a Finite Horizon

abstract: We study a finite horizon optimal contracting problem of a risk-neutral principal and a risk-averse agent who receives a stochastic income stream when the agent is unable to make commitments. The problem involves an infinite number of constraints at each time and each state of the world. Miao and Zhang (2015) have developed a dual approach to the problem by considering a Lagrangian and derived a Hamilton-Jacobi-Bellman equation in an infinite horizon. We consider a similar Lagrangian in a finite horizon, but transform the dual problem into an infinite series of optimal stopping problems. For each optimal stopping problem we provide an analytic solution by providing an integral equation representation for the free boundary. We provide a verification theorem that the value function of the original principal's problem is the Legender-Fenchel transform of the integral of the value functions of the optimal stopping problems. We also provide some numerical simulation results of optimal contracting strategies


title: Predicting Aircraft Trajectories: A Deep Generative Convolutional Recurrent Neural Networks Approach

abstract: Reliable 4D aircraft trajectory prediction, whether in a real-time setting or for analysis of counterfactuals, is important to the efficiency of the aviation system. Toward this end, we first propose a highly generalizable efficient tree-based matching algorithm to construct image-like feature maps from high-fidelity meteorological datasets - wind, temperature and convective weather. We then model the track points on trajectories as conditional Gaussian mixtures with parameters to be learned from our proposed deep generative model, which is an end-to-end convolutional recurrent neural network that consists of a long short-term memory (LSTM) encoder network and a mixture density LSTM decoder network. The encoder network embeds last-filed flight plan information into fixed-size hidden state variables and feeds the decoder network, which further learns the spatiotemporal correlations from the historical flight tracks and outputs the parameters of Gaussian mixtures. Convolutional layers are integrated into the pipeline to learn representations from the high-dimension weather features. During the inference process, beam search, adaptive Kalman filter, and Rauch-Tung-Striebel smoother algorithms are used to prune the variance of generated trajectories.


title: Unsupervised monocular stereo matching

abstract: At present, deep learning has been applied more and more in monocular image depth estimation and has shown promising results. The current more ideal method for monocular depth estimation is the supervised learning based on ground truth depth, but this method requires an abundance of expensive ground truth depth as the supervised labels. Therefore, researchers began to work on unsupervised depth estimation methods. Although the accuracy of unsupervised depth estimation method is still lower than that of supervised method, it is a promising research direction. In this paper, Based on the experimental results that the stereo matching models outperforms monocular depth estimation models under the same unsupervised depth estimation model, we proposed an unsupervised monocular vision stereo matching method. In order to achieve the monocular stereo matching, we constructed two unsupervised deep convolution network models, one was to reconstruct the right view from the left view, and the other was to estimate the depth map using the reconstructed right view and the original left view. The two network models are piped together during the test phase. The output results of this method outperforms the current mainstream unsupervised depth estimation method in the challenging KITTI dataset.


title: Gauge field theories with Lorentz-violating operators of arbitrary dimension

abstract: The classification of Lorentz- and CPT-violating operators in nonabelian gauge field theories is performed. We construct all gauge-invariant terms describing propagation and interaction in the action for fermions and gauge fields. Restrictions to the abelian, Lorentz-invariant, and isotropic limits are presented. We provide two illustrative applications of the results to quantum electrodynamics and quantum chromodynamics. First constraints on nonlinear Lorentz-violating effects in electrodynamics are obtained using data from experiments on photon-photon scattering, and corrections from nonminimal Lorentz and CPT violation to the cross section for deep inelastic scattering are derived.


title: Multimessenger Implications of AT2018cow: High-Energy Cosmic Ray and Neutrino Emissions from Magnetar-Powered Super-Luminous Transients

abstract: Newly-born, rapidly-spinning magnetars have been invoked as the power sources of super-luminous transients, including the class of "fast-luminous optical transients" (FBOTs). The extensive multi-wavelength analysis of AT2018cow, the first FBOT discovered in real time, is consistent with the magnetar scenario and offers an unprecedented opportunity to comprehend the nature of these sources and assess their broader implications. Using AT2018cow as a prototype, we investigate high-energy neutrino and cosmic ray production from FBOTs and the more general class of superluminous supernovae (SLSNe). By calculating the interaction of cosmic rays and the time-evolving radiation field and baryon background, we find that particles accelerated in the magnetar wind may escape the ejecta at ultrahigh energies (UHE). The predicted high-energy neutrino fluence from AT2018cow is below the sensitivity of the IceCube Observatory, and estimates of the cosmically-integrated neutrino flux from FBOTs are consistent with the extreme-high-energy upper limits posed by IceCube. High-energy $\gamma$ rays exceeding GeV energies are obscured for the first months to years by thermal photons in the magnetar nebula, but are potentially observable at later times. Given also their potentially higher volumetric rate compared to other engine-powered transients (e.g. SLSNe and gamma-ray bursts), we conclude that FBOTs are favorable targets for current and next-generation multi-messenger observatories.


title: Lattice and Continuum Models Analysis of the Aggregation Diffusion Cell Movement

abstract: The process by which one may take a discrete model of a biophysical process and construct a continuous model based on it is of mathematical interest as well as being of practical use. In this paper, we first study the singular limit of a class of reinforced random walks on a lattice for which a complete analysis of the existence and stability of solutions are possible. In the continuous scenario, we obtain the regularity estimate of this aggregation diffusion model. As a by-product, nonexistence of solution of the continuous model with pure aggregation initial data is proved. When the initial is purely in diffusion region, asymptotic behavior of the solution is obtained. In contrast to continuous model, bounded-ness of the lattice solution, asymptotic behavior of solution in diffusion region with monotone initial date and the interface behaviors of the aggregation, diffusion regions are obtained. Finally we discuss the asymptotic behaviors of the solution under more general initial data with non-flux when the lattice points $N\leq 4$.


title: Soft Autoencoder and Its Wavelet Adaptation Interpretation

abstract: Recently, deep learning becomes the main focus of machine learning research and has greatly impacted many important fields. However, deep learning is criticized for lack of interpretability. As a successful unsupervised model in deep learning, the autoencoder embraces a wide spectrum of applications, yet it suffers from the model opaqueness as well. In this paper, we propose a new type of convolutional autoencoders, termed as Soft Autoencoder (Soft-AE), in which the activation functions of encoding layers are implemented with adaptable soft-thresholding units while decoding layers are realized with linear units. Consequently, Soft-AE can be naturally interpreted as a learned cascaded wavelet shrinkage system. Our denoising experiments demonstrate that Soft-AE not only is interpretable but also offers a competitive performance relative to its counterparts. Furthermore, we propose a generalized linear unit (GenLU) to make an autoencoder more adaptive in nonlinearly filtering images and data, such as denoising and deblurring.


title: Coxeter group actions and limits of hypergeometric series

abstract: In this paper, we use combinatorial group theory and a limiting process to connect various types of hypergeometric series, and of relations among such series. We begin with a set $S$ of 56 distinct translates of a certain function $M$, which takes the form of a Barnes integral, and is expressible as a sum of two very-well-poised $_9F_8$ hypergeometric series of unit argument. We consider a known, transitive action of the Coxeter group $W(E_7)$ on this set. We show that, by removing from $W(E_7)$ a particular generator, we obtain a subgroup that is isomorphic to $W(D_6)$, and that acts intransitively on $S$, partitioning it into three orbits, of sizes 32, 12, and 12 respectively. Taking certain limits of the $M$ functions in the first orbit yields a set of 32 $J$ functions, each of which is a sum of two Saalsch\"utzian $_4F_3$ hypergeometric series of unit argument. The original action of $W(D_6)$ on the $M$ functions in this orbit is then seen to correspond to a known action of this group on this set of $J$ functions. In a similar way, the image of each of the size-12 orbits, under a similar limiting process, is a set of 12 $L$ functions that have been investigated in earlier works. In fact, these two image sets are the same. The limiting process is seen to preserve distance, except on pairs consisting of one $M$ function from each size-12 orbit. Finally, each known three-term relation among the $J$ and $L$ functions is seen to be obtainable as a limit of a known three-term relation among the $M$ functions.


title: ADMM-NN: An Algorithm-Hardware Co-Design Framework of DNNs Using Alternating Direction Method of Multipliers

abstract: To facilitate efficient embedded and hardware implementations of deep neural networks (DNNs), two important categories of DNN model compression techniques: weight pruning and weight quantization are investigated. The former leverages the redundancy in the number of weights, whereas the latter leverages the redundancy in bit representation of weights. However, there lacks a systematic framework of joint weight pruning and quantization of DNNs, thereby limiting the available model compression ratio. Moreover, the computation reduction, energy efficiency improvement, and hardware performance overhead need to be accounted for besides simply model size reduction. To address these limitations, we present ADMM-NN, the first algorithm-hardware co-optimization framework of DNNs using Alternating Direction Method of Multipliers (ADMM), a powerful technique to deal with non-convex optimization problems with possibly combinatorial constraints. The first part of ADMM-NN is a systematic, joint framework of DNN weight pruning and quantization using ADMM. It can be understood as a smart regularization technique with regularization target dynamically updated in each ADMM iteration, thereby resulting in higher performance in model compression than prior work. The second part is hardware-aware DNN optimizations to facilitate hardware-level implementations. Without accuracy loss, we can achieve 85$\times$ and 24$\times$ pruning on LeNet-5 and AlexNet models, respectively, significantly higher than prior work. The improvement becomes more significant when focusing on computation reductions. Combining weight pruning and quantization, we achieve 1,910$\times$ and 231$\times$ reductions in overall model size on these two benchmarks, when focusing on data storage. Highly promising results are also observed on other representative DNNs such as VGGNet and ResNet-50.


title: Microscopic states of Kerr black holes from boundary-bulk correspondence

abstract: It was claimed by the author that black holes can be considered as topological insulators. They both have boundary modes and those boundary modes can be described by an effective BF theory. In this paper, we analyze the boundary modes on the horizon of black holes with the methods developed for topological insulator. Firstly the BTZ black hole is analysed, and the results are compatible with the previous works. Then we generalize those results to Kerr black holes. Some new results are obtained: dimensionless right- and left-temperature can be defined and have well behaviors both in Schwarzschild limit $a\rightarrow 0$ and extremal limit $a\rightarrow M$. Upon the Kerr/CFT correspondence, we can associate a central charge $c=12 M r_+$ with an arbitrary Kerr black hole if a dual CFT exists. We can identify the microstates of the Kerr black hole with the quantum states of this scalar field. From this identification we can count the number of microstates of the Kerr black hole and give the Bekenstein-Hawking area law for the entropy.


title: Reductions of abelian surfaces over global function fields

abstract: Let $A$ be a non-isotrivial ordinary abelian surface over a global function field with good reduction everywhere. Suppose that $A$ does not have real multiplication by any real quadratic field with discriminant a multiple of $p$. We prove that there are infinitely many places modulo which $A$ is isogenous to the product of two elliptic curves.


title: Asymptotic and numerical analysis of a stochastic PDE model of volume transmission

abstract: Volume transmission is an important neural communication pathway in which neurons in one brain region influence the neurotransmitter concentration in the extracellular space of a distant brain region. In this paper, we apply asymptotic analysis to a stochastic partial differential equation model of volume transmission to calculate the neurotransmitter concentration in the extracellular space. Our model involves the diffusion equation in a three-dimensional domain with interior holes that randomly switch between being either sources or sinks. These holes model nerve varicosities that alternate between releasing and absorbing neurotransmitter, according to when they fire action potentials. In the case that the holes are small, we compute analytically the first two nonzero terms in an asymptotic expansion of the average neurotransmitter concentration. The first term shows that the concentration is spatially constant to leading order and that this constant is independent of many details in the problem. Specifically, this constant first term is independent of the number and location of nerve varicosities, neural firing correlations, and the size and geometry of the extracellular space. The second term shows how these factors affect the concentration at second order. Interestingly, the second term is also spatially constant under some mild assumptions. We verify our asymptotic results by high-order numerical simulation using radial basis function-generated finite differences.


title: Recurrence relations for Mellin transforms of $GL(n,\mathbb{R})$ Whittaker functions

abstract: Using a recursive formula for the Mellin transform $T_{n,a}(s)$ of a spherical, principal series $GL(n,\mathbb{R})$ Whittaker function, we develop an explicit recurrence relation for this Mellin transform. This relation, for any $n\ge2$, expresses $T_{n,a}(s)$ in terms of a number of "shifted" transforms $T_{n,a}(s+\Sigma)$, with each coordinate of $\Sigma$ being a non-negative integer. We then focus on the case $n=4$. In this case, we use the relation referenced above to derive further relations, each of which involves "strictly positive shifts" in one of the coordinates of $s$. More specifically: each of our new relations expresses $T_{4,a}(s)$ in terms of $T_{4,a}(s+\Sigma)$ and $T_{4,a}(s+\Omega)$, where for some $1\le k\le 3$, the $k$th coordinates of both $\Sigma$ and $\Omega$ are strictly positive. Finally, we deduce a recurrence relation for $T_{4,a}(s)$ involving strictly positive shifts in all three $s_k$'s at once. (That is, the condition "for some $1\le k\le 3$" above becomes "for all $1\le k\le 3$.") These additional relations on $GL(4,\mathbb{R})$ may be applied to the explicit understanding of certain poles and residues of $T_{4,a}(s)$. This residue information is, as we describe below, in turn relevant to work of Goldfeld and Woodbury, concerning orthogonality of Fourier coefficients of $SL(4,\mathbb{R})$ Maass forms, and the $GL(4)$ Kuznetsov formula.


title: High-intensity two-frequency photoassociation spectroscopy of a weakly bound molecular state: theory and experiment

abstract: We investigate two-frequency photoassociation of a weakly bound molecular state, focusing on a regime where the ac Stark shift is comparable to the halo-state energy. In this "high-intensity" regime, we observe features absent in low-intensity two-frequency photoassociation. We experimentally measure the spectra of $^{86}$Sr atoms coupled to the least bound state of the $^{86}$Sr$_2$ ground electronic channel through an intermediate electronically excited molecular state. We compare the spectra to a simple three-level model that includes a two-frequency drive on each leg of the transition. With numerical solution of the time-dependent Schrodinger equation, we show that this model accurately captures (1) the existence of experimentally observed satellite peaks that arise from nonlinear processes, (2) the locations of the two-photon peak in the spectrum, including ac Stark shifts, and (3) in some cases, spectral lineshapes. To better understand these numerical results, we develop an approximate treatment of this model, based on Floquet and perturbation theory, that gives simple formulas that accurately capture the halo-state energies. We expect these expressions to be valuable tools to analyze and guide future two-frequency photoassociation experiments.


title: A dataset of 40K naturalistic 6-degree-of-freedom robotic grasp demonstrations

abstract: Modern approaches to grasp planning often involve deep learning. However, there are only a few large datasets of labelled grasping examples on physical robots, and available datasets involve relatively simple planar grasps with two-fingered grippers. Here we present: 1) a new human grasp demonstration method that facilitates rapid collection of naturalistic grasp examples, with full six-degree-of-freedom gripper positioning; and 2) a dataset of roughly forty thousand successful grasps on 109 different rigid objects with the RightHand Robotics three-fingered ReFlex gripper.


title: Characterization of the Most Probable Transition Paths of Stochastic Dynamical Systems with Stable L\'{e}vy Noise

abstract: This work is devoted to the investigation of the most probable transition path for stochastic dynamical systems driven by either symmetric $\alpha$-stable L\'{e}vy motion ($0<\alpha<1$) or Brownian motion. For stochastic dynamical systems with Brownian motion, minimizing an action functional is a general method to determine the most probable transition path. We have developed a method based on path integrals to obtain the most probable transition path of stochastic dynamical systems with symmetric $\alpha$-stable L\'{e}vy motion or Brownian motion, and the most probable path can be characterized by a deterministic dynamical system.


title: Choosability in bounded sequential list coloring

abstract: The list coloring problem is a variation of the classical vertex coloring problem, extensively studied in recent years, where each vertex has a restricted list of allowed colors, and having some variations as the $(\gamma,\mu)$-coloring, where the color lists have sequential values with known lower and upper bounds. This work discusses the choosability property, that consists in determining the least number $k$ for which it has a proper list coloring no matter how one assigns a list of $k$ colors to each vertex. This is a $\Pi_2^P$-complete problem, however, we show that $k$-$(\gamma,\mu)$-choosability is an $NP$-problem due to its relation with the $k$-coloring of a graph and application of methods of proof in choosability for some classes of graphs, such as complete bipartite graph, which is $ 3 $-choosable, but $ 2 $-$(\gamma,\mu)$-choosable.


title: Computing closed essential surfaces in 3-manifolds

abstract: We present a practical algorithm to test whether a 3-manifold given by a triangulation or an ideal triangulation contains a closed essential surface. This property has important theoretical and algorithmic consequences. As a testament to its practicality, we run the algorithm over a comprehensive body of closed 3-manifolds and knot exteriors, yielding results that were not previously known. The algorithm derives from the original Jaco-Oertel framework, involves both enumeration and optimisation procedures, and combines several techniques from normal surface theory. Our methods are relevant for other difficult computational problems in 3-manifold theory, such as the recognition problem for knots, links and 3-manifolds.


title: Spectral characteristics of the Fabry-Perot interferometer transmission upon illumination by an arbitrary light beam

abstract: It is known that spectral properties of the Fabry - Perot interferometer (FPI) depend on the spatial characteristics of the incident radiation. This paper proposes a general method for taking this dependence into account, based on the decomposition of the incident field into the angular spectrum of plane waves, which are the FPI eigenfunctions. In the scalar approximation, the angular-frequency transfer function and the point-spread function (Green function) of the FPI are calculated, which enables to relate the spatial coherence functions of the incident and transmitted radiation and to derive an expression for the output intensity I(r, k) and for the integral transmittance P(k) depending on the wavenumber of the incident monochromatic radiation k. In the resulting expressions, I(r, k) is completely determined by the Fourier transform of the input coherence function, and P(k) is determined by the angular power spectrum (APS) of the incident radiation. For beams of small divergence and high-quality FPIs, simplified formulas have been obtained that allow, in the first approximation, for the dependence of the FPI parameters on the angle of incidence and on the radiation wavelength. Analysis of the expressions obtained makes it possible to clarify an exact meaning of the well-known regularities in the distortions of the FPI transmission band associated with the incident beam deviation from the plane wave (shift to the shortwave region, broadening, reduction of the maximum transmittance and the appearance of asymmetry). As examples, calculations of the integral transmittance for three types of APS, corresponding to Gaussian and conical beams, and the output intensity distribution I(r, k) for the input beam with a Gaussian APS are performed. Results are consistent with other theoretical and experimental works.


title: Systematic Control of Strain-Induced Perpendicular Magnetic Anisotropy in Epitaxial Europium and Terbium Iron Garnets Thin Films

abstract: We show tunable strain-induced perpendicular magnetic anisotropy (PMA) over a wide range of thicknesses in epitaxial ferrimagnetic insulator Eu3Fe5O12 (EuIG) and Tb3Fe5O12 (TbIG) thin films grown by pulsed-laser deposition on Gd3Ga5O12 with (001) and (111) orientations, respectively. The PMA field is determined by measuring the induced anomalous Hall loops in Pt deposited on the garnet films. Due to positive magnetostriction constants, compressive in-plane strain induces a PMA field as large as 32.9 kOe for 4 nm thick EuIG and 66.7 kOe for 5 nm thick TbIG at 300 K, and relaxes extremely slowly as the garnet film thickness increases. In bilayers consisting of Pt and EuIG or Pt and TbIG, robust PMA is revealed by squared anomalous Hall hysteresis loops in Pt, the magnitude of which appears to be only related to the net magnetic moment of iron sublattices. Furthermore, the magnetostriction constant is found to be 2.7x10^(-5) for EuIG and 1.35x10^(-5) for TbIG, comparable with the values for bulk crystals. Our results demonstrate a general approach of tailoring magnetic anisotropy of rare earth iron garnets by utilizing modulated strain via epitaxial growth.


title: K-nearest Neighbor Search by Random Projection Forests

abstract: K-nearest neighbor (kNN) search has wide applications in many areas, including data mining, machine learning, statistics and many applied domains. Inspired by the success of ensemble methods and the flexibility of tree-based methodology, we propose random projection forests (rpForests), for kNN search. rpForests finds kNNs by aggregating results from an ensemble of random projection trees with each constructed recursively through a series of carefully chosen random projections. rpForests achieves a remarkable accuracy in terms of fast decay in the missing rate of kNNs and that of discrepancy in the kNN distances. rpForests has a very low computational complexity. The ensemble nature of rpForests makes it easily run in parallel on multicore or clustered computers; the running time is expected to be nearly inversely proportional to the number of cores or machines. We give theoretical insights by showing the exponential decay of the probability that neighboring points would be separated by ensemble random projection trees when the ensemble size increases. Our theory can be used to refine the choice of random projections in the growth of trees, and experiments show that the effect is remarkable.


title: Deep Residual Learning in the JPEG Transform Domain

abstract: We introduce a general method of performing Residual Network inference and learning in the JPEG transform domain that allows the network to consume compressed images as input. Our formulation leverages the linearity of the JPEG transform to redefine convolution and batch normalization with a tune-able numerical approximation for ReLu. The result is mathematically equivalent to the spatial domain network up to the ReLu approximation accuracy. A formulation for image classification and a model conversion algorithm for spatial domain networks are given as examples of the method. We show that the sparsity of the JPEG format allows for faster processing of images with little to no penalty in the network accuracy.


title: A gluing formula for families Seiberg-Witten invariants

abstract: We prove a gluing formula for the families Seiberg-Witten invariants of families of $4$-manifolds obtained by fibrewise connected sum. Our formula expresses the families Seiberg-Witten invariants of such a connected sum family in terms of the ordinary Seiberg-Witten invariants of one of the summands, under certain assumptions on the families. We construct some variants of the families Seiberg-Witten invariants and prove the gluing formula also for these variants. One variant incorporates a twist of the families moduli space using the charge conjugation symmetry of the Seiberg-Witten equations. The other variant is an equivariant Seiberg-Witten invariant of smooth group actions. We consider several applications of the gluing formula including: obstructions to smooth isotopy of diffeomorpihsms, computation of the mod $2$ Seiberg-Witten invariants of spin structures, relations between mod $2$ Seiberg-Witten invariants of $4$-manifolds and obstructions to the existence of invariant metrics of positive scalar curvature for smooth group actions on $4$-manifolds.


title: Detection of Circumstellar Helium in Type Iax Progenitor Systems

abstract: We present direct spectroscopic modeling of 44 Type Iax supernovae (SNe Iax) using spectral synthesis code SYNAPPS. We confirm detections of helium emission in the early-time spectra of two SNe Iax: SNe 2004cs and 2007J. These He I features are better fit by a pure-emission Gaussian than by a P-Cygni profile, indicating that the helium emission originates from the circumstellar environment rather than the SN ejecta. Based on the modeling of the remaining 42 SNe Iax, we find no obvious helium features in other SN Iax spectra. However, $\approx 76\%$ of our sample lack sufficiently deep luminosity limits to detect helium emission with a luminosity of that seen in SNe 2004cs and 2007J. Using the objects with constraining luminosity limits, we calculate that 33% of SNe Iax have detectable helium in their spectra. We examine 11 SNe Iax with late-time spectra and find no hydrogen or helium emission from swept up material. For late-time spectra, we calculate typical upper limits of stripped hydrogen and helium to be $2 \times 10^{-3}$ M$_{\odot}$ and $10^{-2}$ M$_{\odot}$, respectively. While detections of helium in SNe Iax support a white dwarf-He star binary progenitor system (i.e., a single-degenerate [SD] channel), non-detections may be explained by variations in the explosion and ejecta material. The lack of helium in the majority of our sample demonstrates the complexity of SN Iax progenitor systems and the need for further modeling. With strong independent evidence indicating that SNe Iax arise from a SD channel, we caution the common interpretation that the lack of helium or hydrogen emission at late-time in SN Ia spectra rules out SD progenitor scenarios for this class.


title: Differential cryptanalysis of image cipher using block-based scrambling and image filtering

abstract: Recently, an image encryption algorithm using block-based scrambling and image filtering has been proposed by Hua et al. In this paper, we analyze the security problems of the encryption algorithm in detail and break the encryption by a codebook attack. We construct an linear relation between plain-images and cipher-images by differential cryptanalysis. With this linear relation, we build a codebook containing $(M \times N + 1)$ pairs of plain-images and cipher-images, where $M\times N$ is the size of images. The proposed codebook attack indicates that the encryption scheme is insecure. To resist the codebook attack, an improved algorithm is proposed. Experimental results show that the improved algorithm not only inherits the merits of the original scheme, but also has stronger security against the differential cryptanalysis.


title: $\ell$-adic \'etale cohomology of the moduli of stable elliptic fibrations

abstract: We determine the $\ell$-adic \'etale cohomology and the eigenvalues of the geometric Frobenius for the moduli stack $\mathcal{L}_{1,12n} := \mathrm{Hom}_{n}(\mathbb{P}^1, \overline{\mathcal{M}}_{1,1})$ of stable elliptic fibrations over $\mathbb{P}^{1}$ with $12n$ nodal singular fibers and a marked Weierstrass section over $\overline{\mathbb{F}}_q$ with $\mathrm{char}(\overline{\mathbb{F}}_q) \neq 2,3$.


title: Peccei-Quinn Symmetry and Nucleon Decay in Renormalizable SUSY SO(10)

abstract: We suggest simple ways of implementing Peccei-Quinn (PQ) symmetry to solve the strong CP problem in renormalizable SUSY $SO(10)$ models with a minimal Yukawa sector. Realistic fermion mass generation requires that a second pair of Higgs doublets survive down to the PQ scale. We show how unification of gauge couplings can be achieved in this context. Higgsino mediated proton decay rate is strongly suppressed by a factor of $(M_{\rm PQ}/M_{\rm GUT})^2$, which enables all SUSY particles to have masses of order TeV. With TeV scale SUSY spectrum, $p \rightarrow \overline{\nu} K^+$ decay rate is expected to be in the observable range. Lepton flavor violating processes $\mu \rightarrow e\gamma$ decay and $\mu-e$ conversion in nuclei, induced by the Dirac neutrino Yukawa couplings, are found to be within reach of forthcoming experiments.


title: Maxwell-type models for the effective thermal conductivity of a porous material with radiative transfer in the voids

abstract: There are several models for the effective thermal conductivity of two-phase composite materials in terms of the conductivity of the solid and the disperse material. In this paper, we generalise three models of Maxwell type (namely, the classical Maxwell model and two generalisations of it obtained from effective medium theory and differential effective medium theory) so that the resulting effective thermal conductivity accounts for radiative heat transfer within gas voids. In the high-temperature regime, radiative transfer within voids strongly influences the thermal conductivity of the bulk material. Indeed, the utility of these models over classical Maxwell-type models is seen in the high-temperature regime, where they predict that the effective thermal conductivity of the composite material levels off to a constant value (as a function of temperature) at very high temperatures, provided that the material is not too porous, in agreement with experiments. This behaviour is in contrast to models which neglect radiative transfer within the pores, or lumped parameter models, as such models do not resolve the radiative transfer independently from other physical phenomena. Our results may be of particular use for industrial and scientific applications involving heat transfer within porous composite materials taking place in the high-temperature regime.


title: Open Source Software Opportunities and Risks

abstract: Open Source Software (OSS) history is traced to initial efforts in 1971 at Massachusetts Institute of Technology (MIT) Artificial Intelligence (AI) Lab, the initial goals of OSS around Free vs. Freedom, and its evolution and impact on commercial and custom applications. Through OSS history, much of the research and has been around contributors (suppliers) to OSS projects, the commercialization, and overall success of OSS as a development process. In conjunction with OSS growth, intellectual property issues and licensing issues still remain. The consumers of OSS, application architects, in developing commercial or internal applications based upon OSS should consider license risk as they compose their applications using Component Based Software Development (CBSD) approaches, either through source code, binary, or standard protocols such as HTTP.


title: Dynamical effects on superconductivity in BCS-BEC crossover

abstract: We investigate the dynamical effects of pairing interaction on superconductivity in BCS-BEC crossover by studying the Holstein model at half-filling where the electron-phonon coupling $g$ controls the crossover. The dynamical mean-field theory was employed in combination with the numerical renormalization group technique. The dynamical effects induce distinct features such as absenceof the dispersion back-bending of Bogoliubov quasi-particles, non-monotonous coupling dependence of the pairing gap, and the soft phonon spectrum due to the Goldstone mode of local pair phase fluctuations. Also interesting is the maximum critical temperature being at the normal state phase boundary. Some of these features have intriguing similarities with the recent observations in the FeSe$_{1-x}$S$_x$ and Fe$_{1+y}$Se$_x$Te$_{1-x}$ iron-chalcogenides in the BCS-BEC crossover.


title: A semiparametric spatiotemporal Bayesian model for the bulk and extremes of the Fosberg Fire Weather Index

abstract: Large wildfires pose a major environmental concern, and precise maps of fire risk can improve disaster relief planning. Fosberg Fire Weather Index (FFWI) is often used to measure wildfire risk; FFWI exhibits non-Gaussian marginal distributions as well as strong spatiotemporal extremal dependence and thus, modeling FFWI using geostatistical models like Gaussian processes is questionable. Extreme value theory (EVT)-driven models like max-stable processes are theoretically appealing but are computationally demanding and applicable only for threshold exceedances or block maxima. Disaster management policies often consider moderate-to-extreme quantiles of climate parameters and hence, joint modeling of the bulk and the tail of the data is required. In this paper, we consider a Dirichlet process mixture of spatial skew-t processes that can flexibly model the bulk as well as the tail. The proposed model has nonstationary mean and covariance structure, and also nonzero spatiotemporal extremal dependence. A simulation study demonstrates that the proposed model has better spatial prediction performance compared to some competing models. We develop spatial maps of FFWI medians and extremes, and discuss the wildfire risk throughout the Santa Ana region of California.


title: On vertex-induced weighted Tur\'an problems

abstract: Recently, Bennett et al. introduced the vertex-induced weighted Tur\'an problem. In this paper, we consider their open Tur\'an problem under sum-edge-weight function and characterize the extremal structure of $K_{l}$-free graphs. Based on these results, we propose a generalized version of the Erd\H{o}s-Stone theorem for weighted graphs under two types of vertex-induced weight functions.


title: Averages of simplex Hilbert transforms

abstract: We study a multilinear singular integral obtained by taking averages of simplex Hilbert transforms. This multilinear form is also closely related to Calder\'on commutators and the twisted paraproduct. We prove $L^p$ bounds in dimensions two and three and give a conditional result valid in all dimensions.


title: Sex-Classification from Cell-Phones Periocular Iris Images

abstract: Selfie soft biometrics has great potential for various applications ranging from marketing, security and online banking. However, it faces many challenges since there is limited control in data acquisition conditions. This chapter presents a Super-Resolution-Convolutional Neural Networks (SRCNNs) approach that increases the resolution of low quality periocular iris images cropped from selfie images of subject's faces. This work shows that increasing image resolution (2x and 3x) can improve the sex-classification rate when using a Random Forest classifier. The best sex-classification rate was 90.15% for the right and 87.15% for the left eye. This was achieved when images were upscaled from 150x150 to 450x450 pixels. These results compare well with the state of the art and show that when improving image resolution with the SRCNN the sex-classification rate increases. Additionally, a novel selfie database captured from 150 subjects with an iPhone X was created (available upon request).


title: SiamRPN++: Evolution of Siamese Visual Tracking with Very Deep Networks

abstract: Siamese network based trackers formulate tracking as convolutional feature cross-correlation between target template and searching region. However, Siamese trackers still have accuracy gap compared with state-of-the-art algorithms and they cannot take advantage of feature from deep networks, such as ResNet-50 or deeper. In this work we prove the core reason comes from the lack of strict translation invariance. By comprehensive theoretical analysis and experimental validations, we break this restriction through a simple yet effective spatial aware sampling strategy and successfully train a ResNet-driven Siamese tracker with significant performance gain. Moreover, we propose a new model architecture to perform depth-wise and layer-wise aggregations, which not only further improves the accuracy but also reduces the model size. We conduct extensive ablation studies to demonstrate the effectiveness of the proposed tracker, which obtains currently the best results on four large tracking benchmarks, including OTB2015, VOT2018, UAV123, and LaSOT. Our model will be released to facilitate further studies based on this problem.


title: A multivariate spatial skew-t process for joint modeling of extreme precipitation indexes

abstract: To study trends in extreme precipitation across US over the years 1951-2017, we consider 10 climate indexes that represent extreme precipitation, such as annual maximum of daily precipitation, annual maximum of consecutive 5-day average precipitation, which exhibit spatial correlation as well as mutual dependence. We consider the gridded data, produced by the CLIMDEX project (http://www.climdex.org/gewocs.html), constructed using daily precipitation data. In this paper, we propose a multivariate spatial skew-t process for joint modeling of extreme precipitation indexes and discuss its theoretical properties. The model framework allows Bayesian inference while maintaining a computational time that is competitive with common multivariate geostatistical approaches. In a numerical study, we find that the proposed model outperforms multivariate spatial Gaussian processes, multivariate spatial t-processes including their univariate alternatives in terms of various model selection criteria. We apply the proposed model to estimate the average decadal change in the extreme precipitation indexes throughout the United States and find several significant local changes.


title: Exceptional Chern-Simons-Matter Dualities

abstract: We use conformal embeddings involving exceptional affine Kac-Moody algebras to derive new dualities of three-dimensional topological field theories. These generalize the familiar level-rank duality of Chern-Simons theories based on classical gauge groups to the setting of exceptional gauge groups. For instance, one duality sequence we discuss is $(E_{N})_{1}\leftrightarrow SU(9-N)_{-1}$. Others such as $SO(3)_{8}\leftrightarrow PSU(3)_{-6},$ are dualities among theories with classical gauge groups that arise due to their embedding into an exceptional chiral algebra. We apply these equivalences between topological field theories to conjecture new boson-boson Chern-Simons matter dualities. We also use them to determine candidate phase diagrams of time-reversal invariant $G_{2}$ gauge theory coupled to either an adjoint fermion, or two fundamental fermions.


title: Exponential mixing for dissipative PDEs with bounded non-degenerate noise

abstract: We prove that well posed quasilinear equations of parabolic type, perturbed by bounded nondegenerate random forces, are exponentially mixing for a large class of random forces.


title: UAV Control in Close Proximities - Ceiling Effect on Battery Lifetime

abstract: With the recent developments in the unmanned aerial vehicles (UAV), it is expected them to interact and collaborate with their surrounding objects, other robots and people in order to wisely plan and execute particular tasks. Although these interaction operations are inherently challenging as compared to free-flight missions, they might bring diverse advantages. One of them is their basic aerodynamic interaction during the flight in close proximities which can result in a reduction of the controller effort. In this study, by collecting real-time data, we have observed that the current drawn by the battery can be decreased while flying very close to the surroundings with the help of the ceiling effect. For the first time, this phenomenon is analyzed in terms of battery lifetime degradation by using a simple full equivalent cycle counting method. Results show that cycling related effect on battery degradation can be reduced by a 15.77% if the UAV can utilize ceiling effect.


title: The Facets of the Subtours Elimination Polytope

abstract: Let $G=(V, E)$ be an undirected graph. The subtours elimination polytope $P(G)$ is the set of $x\in \mathbb{R}^E$ such that: $0\leq x(e)\leq 1$ for any edge $e\in E$, $x(\delta (v))=2$ for any vertex $v\in V$, and $x(\delta (U))\geq 2$ for any nonempty and proper subset $U$ of $V$. $P(G)$ is a relaxation of the Traveling Salesman Polytope, i.e., the convex hull of the Hamiton circuits of $G$. Maurras \cite{Maurras 1975} and Gr\"{o}tschel and Padberg \cite{Grotschel and Padberg 1979b} characterize the facets of $P(G)$ when $G$ is a complete graph. In this paper we generalize their result by giving a minimal description of $P(G)$ in the general case and by presenting a short proof of it.


title: Cross-language Citation Recommendation via Hierarchical Representation Learning on Heterogeneous Graph

abstract: While the volume of scholarly publications has increased at a frenetic pace, accessing and consuming the useful candidate papers, in very large digital libraries, is becoming an essential and challenging task for scholars. Unfortunately, because of language barrier, some scientists (especially the junior ones or graduate students who do not master other languages) cannot efficiently locate the publications hosted in a foreign language repository. In this study, we propose a novel solution, cross-language citation recommendation via Hierarchical Representation Learning on Heterogeneous Graph (HRLHG), to address this new problem. HRLHG can learn a representation function by mapping the publications, from multilingual repositories, to a low-dimensional joint embedding space from various kinds of vertexes and relations on a heterogeneous graph. By leveraging both global (task specific) plus local (task independent) information as well as a novel supervised hierarchical random walk algorithm, the proposed method can optimize the publication representations by maximizing the likelihood of locating the important cross-language neighborhoods on the graph. Experiment results show that the proposed method can not only outperform state-of-the-art baseline models, but also improve the interpretability of the representation model for cross-language citation recommendation task.


title: Geometric Satake correspondence for affine Kac-Moody Lie algebras of type $A$

abstract: This is an informal expository article on geometric Satake correspondence for affine Kac-Moody Lie algebras of type $A$ given in arXiv:1810.04293. We emphasize formal analogies between this result and the author's earlier results on geometric approaches to the representation via quiver varieties.


title: Sub-Kelvin Lateral Thermal Transport in Diffusive Graphene

abstract: In this work, we report on hot carrier diffusion in graphene across large enough length scales that the carriers are not thermalized across the crystal. The carriers are injected into graphene at one site and their thermal transport is studied as a function of applied power and distance from the heating source, up to tens of micrometers away. Superconducting contacts prevent out-diffusion of hot carriers to isolate the electron-phonon coupling as the sole channel for thermal relaxation. As local thermometers, we use the amplitude of the Universal Conductance Fluctuations, which varies monotonically as a function of temperature. By measuring the electron temperature simultaneously along the length we observe a thermal gradient which results from the competition between electron-phonon cooling and lateral heat flow.


title: On the Complexity of the Inverse Semivalue Problem for Weighted Voting Games

abstract: Weighted voting games are a family of cooperative games, typically used to model voting situations where a number of agents (players) vote against or for a proposal. In such games, a proposal is accepted if an appropriately weighted sum of the votes exceeds a prespecified threshold. As the influence of a player over the voting outcome is not in general proportional to her assigned weight, various power indices have been proposed to measure each player's influence. The inverse power index problem is the problem of designing a weighted voting game that achieves a set of target influences according to a predefined power index. In this work, we study the computational complexity of the inverse problem when the power index belongs to the class of semivalues. We prove that the inverse problem is computationally intractable for a broad family of semivalues, including all regular semivalues. As a special case of our general result, we establish computational hardness of the inverse problem for the Banzhaf indices and the Shapley values, arguably the most popular power indices.


title: Growth, Characterization and High Field Magneto-Conductivity of Co0.1Bi2Se3 Topological Insulator

abstract: We report the crystal growth as well as transport properties of Co added Bi2Se3 single crystals. The values of the lattice parameters a and b for Co added sample were observed to increase as compared to the pure Bi2Se3. The Raman spectroscopy displayed higher Raman shift of corresponding vibrational modes for Co0.1Bi2Se3, and the resistivity curves with and without applied magnetic field shows a metallic behaviour. Both the crystals were subjected to magneto-resistance (MR) measurements under applied fields of 14Tesla. The value of MR is found to decrease from about 380 (5K, 14 Tesla) for Bi2Se3 to 200 degree for Co0.1Bi2Se3. To elaborate the transport properties of pure and Co added Bi2Se3 crystals, the magneto-conductivity is fitted to the HLN (Hikami Larkin Nagaoka) equation and it is found that the charge conduction is mainly dominated by surface driven WAL (weak anti-localization) with negligible bulk WL (weak localization) contribution in both crystals alike. The MH curves of Co0.1Bi2Se3 crystal at different temperatures displayed a combination of both ferromagnetic and diamagnetic behaviour. On the other hand, the Electron Paramagnetic Resonance (EPR) revealed that pure Bi2Se3 is diamagnetic whereas, Co orders ferro-magnetically with resonating field around 3422Oe at room temperature.


title: Optimal decay for the compressible Navier-Stokes equations without additional smallness assumptions

abstract: This work is concerned with the large time behavior of solutions to the barotropic compressible Navier-Stokes equations in $\mathbb{R}^{d}(d\geq2)$. Precisely, it is shown that if the initial density and velocity additionally belong to some Besov space $\dot{B}^{-\sigma_1}_{2,\infty}$ with $\sigma_1\in (1-d/2, 2d/p-d/2]$, then the $L^p$ norm (the slightly stronger $\dot{B}^{0}_{p,1}$ norm in fact) of global solutions admits the optimal decay $t^{-\frac{d}{2}(\frac 12-\frac 1p)-\frac{\sigma_1}{2}}$ for $t\rightarrow+\infty$. In contrast to refined time-weighted approaches ([11,43]), a pure energy argument (independent of the spectral analysis) has been developed in more general $L^p$ critical framework, which allows to remove the smallness of low frequencies of initial data. Indeed, bounding the evolution of $\dot{B}^{-\sigma_1}_{2,\infty}$-norm restricted in low frequencies is the key ingredient, whose proof mainly depends on non standard $L^p$ product estimates with respect to different Sobolev embeddings. The result can hold true in case of large highly oscillating initial velocities.


title: The zero mass limit of Kerr and Kerr-(anti-)de Sitter space-times: Revisited

abstract: We continue studying the zero mass limit of the Kerr- (Anti) de Sitter space-times by investigating the possibility of special values of the frequencies to have polynomial solutions for the radial wave equation, compute reflection coefficient for waves coming from and going to the cosmological horizon and see whether there is Hawking radiation for de Sitter geometry. We used the Parikh-Wilczek method to study this property and could not find Hawking radiation.


title: On the Distribution of Zero Sets of Holomorphic Functions. IV. A Criterion

abstract: Let $D$ be a proper domain in the extended complex plane ${\mathbb C}_{\infty}:={\mathbb C}\cup \{\infty\}$, $M=M_+-M_-\not\equiv \pm \infty$ be a difference of non-trivial subharmonic functions $M_{\pm}\not\equiv \mp \infty$ on $D$, $\text{Hol}(D,M)$ be the class of holomorphic function $f$ on $D$ satisfying $|f|\leq \text{const}_f\exp M$ om $D$, ${\sf Z}\subset D$ be a sequence of points in $D$ without limits points in $D$. We give a complete description of the conditions under which the sequence $\sf Z$ is a sequence of all zeros for some nonzero function $f\in \text{Hol}(D,M)$.


title: Chemically defining the building blocks of the Earth

abstract: Chondrites are undifferentiated sediments of material left over from the earliest solar system and are widely considered as representatives of the unprocessed building blocks of the terrestrial planets. The chondrites, along with processed igneous meteorites, have been divided into two broad categories based upon their isotopic signatures; these have been termed the CC and NC groups and have been interpreted as reflecting their distinctive birth places within the solar system. The isotopic distinctiveness of NC and CC meteorites document limited radial-mixing in the accretionary disk. The enstatite and ordinary chondrites are NC-type and likely represent samples from inner solar system (likely $<$4 AU). Measurement and modeling of ratios of refractory lithophile elements (RLE) in enstatite chondrites establish these meteorites as the closest starting materials for the bulk of the silicate Earth and the core. Comparing chondritic and terrestrial RLE ratios demonstrate that the Bulk Silicate Earth, not the core, host the Earth's inventory of Ti, Zr, Nb, and Ta, but not the full complement of V.


title: Over- and Under-Approximating Reachable Sets for Perturbed Delay Differential Equations

abstract: This note explores reach set computations for perturbed delay differential equations (DDEs). The perturbed DDEs of interest in this note is a class of DDEs whose dynamics are subject to perturbations, and their solutions feature the local homeomorphism property with respect to initial states. Membership in this class of perturbed DDEs is determined by conducting sensitivity analysis of solution mappings with respect to initial states to impose a bound constraint on the time-lag term. The homeomorphism property of solutions to such class of perturbed DDEs enables us to construct over- and under-approximations of reach sets by performing reachability analysis on just the boundaries of their permitted initial sets, thereby permitting an extension of reach set computation methods for ordinary differential equations to perturbed DDEs. Three examples demonstrate the performance of our approach.


title: Locally Removable Singularities for K\"{a}hler Metrics with Constant Holomorphic Sectional Curvature

abstract: Let $n\ge 2$ be an integer, and $B^{n}\subset \mathbb{C}^{n}$ the unit ball. Let $K\subset B^{n}$ be a compact subset such that $B^n\setminus K$ is connected, or $K=\{z=(z_1,\cdots, z_n)|z_1=z_2=0\}\subset \mathbb{C}^{n}$. By the theory of developing maps, we prove that a K\"{a}hler metric on $B^{n}\setminus K$ with constant holomorphic sectional curvature uniquely extends to $B^{n}$.


title: Stealing Neural Networks via Timing Side Channels

abstract: Deep learning is gaining importance in many applications. However, Neural Networks face several security and privacy threats. This is particularly significant in the scenario where Cloud infrastructures deploy a service with Neural Network model at the back end. Here, an adversary can extract the Neural Network parameters, infer the regularization hyperparameter, identify if a data point was part of the training data, and generate effective transferable adversarial examples to evade classifiers. This paper shows how a Neural Network model is susceptible to timing side channel attack. In this paper, a black box Neural Network extraction attack is proposed by exploiting the timing side channels to infer the depth of the network. Although, constructing an equivalent architecture is a complex search problem, it is shown how Reinforcement Learning with knowledge distillation can effectively reduce the search space to infer a target model. The proposed approach has been tested with VGG architectures on CIFAR10 data set. It is observed that it is possible to reconstruct substitute models with test accuracy close to the target models and the proposed approach is scalable and independent of type of Neural Network architectures.


title: Berry-phase effects in dipole density and Mott relation

abstract: We provide a unified semiclassical theory for thermoelectric responses of any observable represented by an operator $\hat{\boldsymbol{\theta}}$ that is well-defined in periodic crystals. The Einstein and Mott relations are established generally, in the presence of Berry-phase effects, for various physical realizations of $\hat{\boldsymbol{\theta}}$ in electronic systems, including the familiar case of the electric current as well as the currently controversial cases of the spin polarization and spin current. The magnetization current, which has been proven indispensable in the thermoelectric response of electric current, is generalized to the cases of various $\hat{\boldsymbol{\theta}}$. In our theory the dipole density of a physical quantity emerges and plays a vital role, which contains not only the statistical sum of the dipole moment of $\hat{\boldsymbol{\theta}}$ but also a Berry-phase correction.


title: Geologic Constraints on Early Mars Climate

abstract: Early Mars climate research has well-defined goals (Mars Exploration Program Analysis Group 2018). Achieving these goals requires geologists and climate modelers to coordinate. Coordination is easier if results are expressed in terms of well-defined parameters. Key parameters include the following quantitative geologic constraints. (1) Cumulative post-3.4 Ga precipitation-sourced water runoff in some places exceeded 1 km column. (2) There is no single Early Mars climate problem: the traces of $\ge$2 river-forming periods are seen. Relative to rivers that formed earlier in Mars history, rivers that formed later in Mars history are found preferentially at lower elevations, and show a stronger dependence on latitude. (3) The duration of the longest individual river-forming climate was >(10$^2$-10$^3$) yr, based on paleolake hydrology. (4) Peak runoff production was >0.1 mm/hr. However, (5) peak runoff production was intermittent, sustained (in a given catchment) for only <10% of the duration of river-forming climates. (6) The cumulative number of wet years during the valley-network-forming period was >10$^5$ yr. (7) Post-Noachian light-toned, layered sedimentary rocks took >10$^7$ yr to accumulate. However, (8) an "average" place on Mars saw water for <10$^7$ yr after the Noachian, suggesting that the river-forming climates were interspersed with long globally-dry intervals. (9) Geologic proxies for Early Mars atmospheric pressure indicate pressure was not less than 0.012 bar but not much more than 1 bar. A truth table of these geologic constraints versus currently published climate models shows that the late persistence of river-forming climates, combined with the long duration of individual lake forming climates, is a challenge for most models.


title: Long-term trends in the solar activity. Variations of solar indices in last 40 years

abstract: The analysis of long-term variations of several solar activity indices (AI) since in last 40 years has been performed. We studied the AI which characterize the fluxes from different areas in solar atmosphere. Our consideration of mutual correlations between the solar indices is based on the study of relationships between them in the period from 1950 to 1990. This period of time, covering activity cycles 19 -- 22, is characterized by relatively stable relations between the indices. We have studied the normalized variations of these indices in the recent time in relation to their values which have been calculated with help of the radiation of the sun in the radio range at a wavelength of 10.7 cm (F10.7) in 1950 -- 1990. The analysis of time series of variations of the normalized AI (AIFF) in solar cycles 23 -- 24 shows an existence of different trends for different indices in their long-term variations. We assume that variations of normalized SSN, F530.3 and Flare Index, which have shown a sharp decrease in last 40 years is possibly associated with a decrease in the intensity of large-scale magnetic fields in the photosphere (SSN) and in the corona (the coronal index and the Flare Index)


title: Moebius rigidity for simply connected, negatively curved surfaces

abstract: Let $X, Y$ be complete, simply connected Riemannian surfaces with pinched negative curvature $-b^2 \leq K \leq -1$. We show that if $f : \partial X \to \partial Y$ is a Moebius homeomorphism between the boundaries at infinity of $X, Y$, then $f$ extends to an isometry $F : X \to Y$. This can be viewed as a generalization of Otal's marked length spectrum rigidity theorem for closed, negatively curved surfaces, in the sense that Otal's theorem asserts that if $X, Y$ admit properly discontinuous, cocompact, free actions by groups of isometries and the boundary map $f$ is Moebius and equivariant with respect to these actions then it extends to an isometry. In our case there are no cocompactness or equivariance assumptions, indeed the isometry groups of $X, Y$ may be trivial.


title: Total Variation with Overlapping Group Sparsity and Lp Quasinorm for Infrared Image Deblurring under Salt-and-Pepper Noise

abstract: Because of the limitations of the infrared imaging principle and the properties of infrared imaging systems, infrared images have some drawbacks, including a lack of details, indistinct edges, and a large amount of salt-andpepper noise. To improve the sparse characteristics of the image while maintaining the image edges and weakening staircase artifacts, this paper proposes a method that uses the Lp quasinorm instead of the L1 norm and for infrared image deblurring with an overlapping group sparse total variation method. The Lp quasinorm introduces another degree of freedom, better describes image sparsity characteristics, and improves image restoration. Furthermore, we adopt the accelerated alternating direction method of multipliers and fast Fourier transform theory in the proposed method to improve the efficiency and robustness of our algorithm. Experiments show that under different conditions for blur and salt-and-pepper noise, the proposed method leads to excellent performance in terms of objective evaluation and subjective visual results.


title: Three-partition Hodge integrals and the topological vertex

abstract: A conjecture on the relation between the cubic Hodge integrals and the topological vertex in topological string theory is resolved. A central role is played by the notion of generalized shift symmetries in a fermionic realization of the two-dimensional quantum torus algebra. These algebraic relations of operators in the fermionic Fock space are used to convert generating functions of the cubic Hodge integrals and the topological vertex to each other. As a byproduct, the generating function of the cubic Hodge integrals at special values of the parameters therein is shown to be a tau function of the generalized KdV (aka Gelfand-Dickey) hierarchies.

categories: math-ph hep-th math.AG math.MP math.QA nlin.SI


title: Real-time Electrical Tuning of an Optical Spring on a Monolithically Integrated Ultrahigh Q Lithium Nibote Microresonator

abstract: Cavity optomechanics, the study of the interplay between light and mechanical properties of matter, has triggered a wide range of groundbreaking researches from cavity quantum electrodynamics, label free single molecule detection to the creation of phonon laser. Using femtosecond laser direct writing followed by chemo-mechanical polishing, here we report an ultrahigh quality (Q~10^7) factor lithium niobate (LN) whispering gallery microresonator monolithically integrated with in-plane microelectrodes. Coherent regenerative optomechanical oscillation with an effective mechanical quality (Qm) factor as high as 2.86*10^8 is observed in air. We demonstrate real-time electrical tuning of the optomechanical frequency with an electro-mechanical tuning efficiency around -134 kHz/100V.


title: Cohen-Lenstra distributions via random matrices over complete discrete valuation rings with finite residue fields

abstract: Let $(R, \mathfrak{m})$ be a complete discrete valuation ring with the finite residue field $R/\mathfrak{m} = \mathbb{F}_{q}$. Given a monic polynomial $P(t) \in R[t]$ whose reduction modulo $\mathfrak{m}$ gives an irreducible polynomial $\bar{P}(t) \in \mathbb{F}_{q}[t]$, we initiate the investigation of the distribution of $\mathrm{coker}(P(A))$, where $A \in \mathrm{Mat}_{n}(R)$ is randomly chosen with respect to the Haar probability measure on the additive group $\mathrm{Mat}_{n}(R)$ of $n \times n$ $R$-matrices. One of our main results generalizes two results of Friedman and Washington. Our other results are related to the distribution of the $\bar{P}$-part of a random matrix $\bar{A} \in \mathrm{Mat}_{n}(\mathbb{F}_{q})$ with respect to the uniform distribution, and one of them generalizes a result of Fulman. We heuristically relate our results to a celebrated conjecture of Cohen and Lenstra, which predicts that given an odd prime $p$, any finite abelian $p$-group (i.e., $\mathbb{Z}_{p}$-module) $H$ occurs as the $p$-part of the class group of a random imaginary quadratic field extension of $\mathbb{Q}$ with a probability inversely proportional to $|\mathrm{Aut}_{\mathbb{Z}}(H)|$. We review three different heuristics for the conjecture of Cohen and Lenstra, and they are all related to special cases of our main conjecture, which we prove as our main theorems. For proofs, we use some concrete combinatorial connections between $\mathrm{Mat}_{n}(R)$ and $\mathrm{Mat}_{n}(\mathbb{F}_{q})$ to translate our problems about a Haar-random matrix in $\mathrm{Mat}_{n}(R)$ into problems about a random matrix in $\mathrm{Mat}_{n}(\mathbb{F}_{q})$ with respect to the uniform distribution.


title: Universality and distribution of zeros and poles of some zeta functions

abstract: This paper studies zeta functions of the form $\sum_{n=1}^{\infty} \chi(n) n^{-s}$, with $\chi$ a completely multiplicative function taking only unimodular values. We denote by $\sigma(\chi)$ the infimum of those $\alpha$ such that the Dirichlet series $\sum_{n=1}^{\infty} \chi(n) n^{-s}$ can be continued meromorphically to the half-plane $\operatorname{Re} s>\alpha$, and denote by $\zeta_{\chi}(s)$ the corresponding meromorphic function in $\operatorname{Re} s>\sigma(\chi)$. We construct $\zeta_{\chi}(s)$ that have $\sigma(\chi)\le 1/2$ and are universal for zero-free analytic functions on the half-critical strip $1/2<\operatorname{Re} s <1$, with zeros and poles at any discrete multisets lying in a strip to the right of $\operatorname{Re} s =1/2$ and satisfying a density condition that is somewhat stricter than the density hypothesis for the zeros of the Riemann zeta function. On a conceivable version of Cram\'{e}r's conjecture for gaps between primes, the density condition can be relaxed, and zeros and poles can also be placed at $\beta+i \gamma$ with $\beta\le 1-\lambda \log\log |\gamma|/\log |\gamma|$ when $\lambda>1$. Finally, we show that there exists $\zeta_{\chi}(s)$ with $\sigma(\chi) \le 1/2$ and zeros at any discrete multiset in the strip $1/2<\operatorname{Re} s \le 39/40$ with no accumulation point in $\operatorname{Re} s >1/2$; on the Riemann hypothesis, this strip may be replaced by the half-critical strip $1/2 < \operatorname{Re} s < 1$.


title: Some trigonometric integrals and the Fourier transform of a spherically symmetric exponential function

abstract: We calculate the Fourier transform of a spherically symmetric exponential function. Our evaluation is much simpler than the known one. We use the polar coordinates and reduce the Fourier transform to the integral of a rational function of trigonometric functions. Its evaluation turns out to be much easier than expected because of homogeneity and a hidden symmetry. Relationship with a Fourier integral representation formula for harmonic functions is explained.


title: Batch Size Influence on Performance of Graphic and Tensor Processing Units during Training and Inference Phases

abstract: The impact of the maximally possible batch size (for the better runtime) on performance of graphic processing units (GPU) and tensor processing units (TPU) during training and inference phases is investigated. The numerous runs of the selected deep neural network (DNN) were performed on the standard MNIST and Fashion-MNIST datasets. The significant speedup was obtained even for extremely low-scale usage of Google TPUv2 units (8 cores only) in comparison to the quite powerful GPU NVIDIA Tesla K80 card with the speedup up to 10x for training stage (without taking into account the overheads) and speedup up to 2x for prediction stage (with and without taking into account overheads). The precise speedup values depend on the utilization level of TPUv2 units and increase with the increase of the data volume under processing, but for the datasets used in this work (MNIST and Fashion-MNIST with images of sizes 28x28) the speedup was observed for batch sizes >512 images for training phase and >40 000 images for prediction phase. It should be noted that these results were obtained without detriment to the prediction accuracy and loss that were equal for both GPU and TPU runs up to the 3rd significant digit for MNIST dataset, and up to the 2nd significant digit for Fashion-MNIST dataset.


title: Per-Tensor Fixed-Point Quantization of the Back-Propagation Algorithm

abstract: The high computational and parameter complexity of neural networks makes their training very slow and difficult to deploy on energy and storage-constrained computing systems. Many network complexity reduction techniques have been proposed including fixed-point implementation. However, a systematic approach for designing full fixed-point training and inference of deep neural networks remains elusive. We describe a precision assignment methodology for neural network training in which all network parameters, i.e., activations and weights in the feedforward path, gradients and weight accumulators in the feedback path, are assigned close to minimal precision. The precision assignment is derived analytically and enables tracking the convergence behavior of the full precision training, known to converge a priori. Thus, our work leads to a systematic methodology of determining suitable precision for fixed-point training. The near optimality (minimality) of the resulting precision assignment is validated empirically for four networks on the CIFAR-10, CIFAR-100, and SVHN datasets. The complexity reduction arising from our approach is compared with other fixed-point neural network designs.


title: The Lagrange-Poincar\'e equations for interacting Yang-Mills and scalar fields

abstract: A special case of the Lagrange-Poincar\'e equations for the gauge field interacting with a scalar field is obtained. For description of the dynamics on the configuration space, the adapted coordinates are used. After neglecting the group variables the obtained equations describe the evolution on the gauge orbit space of the principal fiber bundle which is related to the system under the consideration.


title: Vehicles to Pedestrians Signal Transmissions Based on Cloud Computing

abstract: Collisions between vehicles and pedestrians usually result in the fatality to the vulnerable road users (VRUs). Thus, new technologies are needed to be developed for protecting the VRUs. Based on the high density of pedestrians and limited computing capability of base stations, in this paper the cloud computing technologies are adopted to handle the huge amounts of safety-critical messages. Moreover, the wireless multi-hop backhaul technology is adopted to overcome the bottlenecks of limited transmission capability and queueing delay of the transmitted safety-critical messages between base stations and clouds. Based on the multi-hop wireless transmission scheme, the signal transmission success probability and delay between pedestrians and clouds are derived for performance analysis. Furthermore, numerical simulations are performed to illustrate the relationship between the transmission success probability and the received signal to interference plus noise ratio (SINR) threshold.