title: Rigid Cohomology of Drinfeld's Upper Half Space over a Finite Field

abstract: In this paper the rigid cohomology of Drinfeld's upper half space over a finite field is computed in two ways. The first method proceeds by computation of the rigid cohomology of the complement of Drinfeld's upper half space in the ambient projective space and then use of the associated long exact sequence for rigid cohomology with proper supports. The second method proceeds by direct computation of rigid cohomology as a direct limit of de Rham cohomologies of a family of strict open neighborhoods of the tube of Drinfeld's upper half space in the ambient rigid-analytic projective space. The resulting cohomology formula has been known since 2007, when Grosse-Kloenne proved that it is the same as the one obtained from l-adic cohomology.


title: An Information-Theoretic Analysis of Deduplication

abstract: Deduplication finds and removes long-range data duplicates. It is commonly used in cloud and enterprise server settings and has been successfully applied to primary, backup, and archival storage. Despite its practical importance as a source-coding technique, its analysis from the point of view of information theory is missing. This paper provides such an information-theoretic analysis of data deduplication. It introduces a new source model adapted to the deduplication setting. It formalizes the two standard fixed-length and variable-length deduplication schemes, and it introduces a novel multi-chunk deduplication scheme. It then provides an analysis of these three deduplication variants, emphasizing the importance of boundary synchronization between source blocks and deduplication chunks. In particular, under fairly mild assumptions, the proposed multi-chunk deduplication scheme is shown to be order optimal.


title: Orientational Phase Transitions and the Assembly of Viral Capsids

abstract: We present a generalized Landau-Brazovskii free energy for the solidification of chiral molecules on a spherical surface in the context of the assembly of viral shells. We encounter two types of icosahedral solidification transitions. The first type is a conventional first-order phase transition from the uniform to the icosahedral state. It can be described by a single icosahedral spherical harmonic of even $l$. The chiral pseudo-scalar term in the free energy creates secondary terms with chiral character but it does not affect the thermodynamics of the transition. The second type, associated with icosahedral spherical harmonics with odd $l$, is anomalous. Pure odd $l$ icosahedral states are unstable but stability is recovered if admixture with the neighboring $l+1$ icosahedral spherical harmonic is included, generated by the non-linear terms. This is in conflict with the principle of Landau theory that symmetry-breaking transitions are characterized by only a \textit{single} irreducible representation of the symmetry group of the uniform phase and we argue that this principle should be removed from Landau theory. The chiral term now directly affects the transition because it lifts the degeneracy between two isomeric mixed-$l$ icosahedral states. A direct transition is possible only over a limited range of parameters. Outside this range, non-icosahedral states intervene. For the important case of capsid assembly dominated by $l=15$, the intervening states are found to be based on octahedral symmetry.


title: Pairwise velocities in the "Running FLRW" cosmological model

abstract: We present an analysis of the pairwise velocity statistics from a suite of cosmological N-body simulations describing the "Running Friedmann-Lema\^itre-Robertson-Walker" (R-FLRW) cosmological model. This model is based on quantum field theory in a curved space-time and extends {\Lambda}CDM with a time-evolving vacuum energy density. To enforce local conservation of matter a time-evolving gravitational coupling is also included. Our results constitute the first study of velocities in the R-FLRW cosmology, and we also compare with other dark energy simulations suites, repeating the same analysis. We find a strong degeneracy between the pairwise velocity and {\sigma}_8 at z=0 for almost all scenarios considered, which remains even when we look back to epochs as early as z=2. We also investigate various Coupled Dark Energy models, some of which show minimal degeneracy, and reveal interesting deviations from {\Lambda}CDM which could be readily exploited by future cosmological observations to test and further constrain our understanding of dark energy.


title: Gamma-ray and Optical Oscillations of 0716+714, MRK 421, and BL Lac

abstract: We examine the 2008-2016 $\gamma$-ray and optical light curves of three bright BL Lac objects, 0716+714, MRK 421, BL Lac, which exhibit large structured variability. We searched for periodicities by using a fully Bayesian approach. For two out of three sources investigated no significant periodic variability was found. In the case of BL Lac we detected a periodicity of ~ 680 days. Although the signal related to this is modest, the coincidence of the periods in both gamma and optical bands is indicative of a physical relevance. Considering previous literature results, possibly related $\gamma$-ray and optical periodicities of about one year time scale are proposed in 4 bright $\gamma$-ray blazars out of the 10 examined in detail. Comparing with results from periodicity search of optical archives of quasars, the presence of quasi-periodicities in blazars might be more frequent by a large factor. This suggests the intriguing possibility that the basic conditions for their observability are related to the relativistic jet in the observer direction, but the overall picture remains uncertain.


title: High-Dimensional Regression with Binary Coefficients. Estimating Squared Error and a Phase Transition

abstract: We consider a sparse linear regression model Y=X\beta^{*}+W where X has a Gaussian entries, W is the noise vector with mean zero Gaussian entries, and \beta^{*} is a binary vector with support size (sparsity) k. Using a novel conditional second moment method we obtain a tight up to a multiplicative constant approximation of the optimal squared error \min_{\beta}\|Y-X\beta\|_{2}, where the minimization is over all k-sparse binary vectors \beta. The approximation reveals interesting structural properties of the underlying regression problem. In particular, a) We establish that n^*=2k\log p/\log (2k/\sigma^{2}+1) is a phase transition point with the following "all-or-nothing" property. When n exceeds n^{*}, (2k)^{-1}\|\beta_{2}-\beta^*\|_0\approx 0, and when n is below n^{*}, (2k)^{-1}\|\beta_{2}-\beta^*\|_0\approx 1, where \beta_2 is the optimal solution achieving the smallest squared error. With this we prove that n^{*} is the asymptotic threshold for recovering \beta^* information theoretically. b) We compute the squared error for an intermediate problem \min_{\beta}\|Y-X\beta\|_{2} where minimization is restricted to vectors \beta with \|\beta-\beta^{*}\|_0=2k \zeta, for \zeta\in [0,1]. We show that a lower bound part \Gamma(\zeta) of the estimate, which corresponds to the estimate based on the first moment method, undergoes a phase transition at three different thresholds, namely n_{\text{inf,1}}=\sigma^2\log p, which is information theoretic bound for recovering \beta^* when k=1 and \sigma is large, then at n^{*} and finally at n_{\text{LASSO/CS}}. c) We establish a certain Overlap Gap Property (OGP) on the space of all binary vectors \beta when n\le ck\log p for sufficiently small constant c. We conjecture that OGP is the source of algorithmic hardness of solving the minimization problem \min_{\beta}\|Y-X\beta\|_{2} in the regime n<n_{\text{LASSO/CS}}.


title: Anyons are not energy eigenspaces of quantum double Hamiltonians

abstract: Kitaev's quantum double models, including the toric code, are canonical examples of quantum topological models on a 2D spin lattice. Their Hamiltonian defines the groundspace by imposing an energy penalty to any nontrivial flux or charge, but does not distinguish among those. We generalize this construction by introducing a novel family of Hamiltonians made of commuting four-body projectors that provide an intricate splitting of the Hilbert space by discriminating among non-trivial charges and fluxes. Our construction highlights that anyons are not in one-to-one correspondence with energy eigenspaces, a feature already present in Kitaev's construction. This discrepancy is due to the presence of local degrees of freedom in addition to topological ones on a lattice.


title: Parsimonious Hierarchical Modeling Using Repulsive Distributions

abstract: Employing nonparametric methods for density estimation has become routine in Bayesian statistical practice. Models based on discrete nonparametric priors such as Dirichlet Process Mixture (DPM) models are very attractive choices due to their flexibility and tractability. However, a common problem in fitting DPMs or other discrete models to data is that they tend to produce a large number of (sometimes) redundant clusters. In this work we propose a method that produces parsimonious mixture models (i.e. mixtures that discourage the creation of redundant clusters), without sacrificing flexibility or model fit. This method is based on the idea of repulsion, that is, that any two mixture components are encouraged to be well separated. We propose a family of d-dimensional probability densities whose coordinates tend to repel each other in a smooth way. The induced probability measure has a close relation with Gibbs measures, graph theory and point processes. We investigate its global properties and explore its use in the context of mixture models for density estimation. Computational techniques are detailed and we illustrate its usefulness with some well-known data sets and a small simulation study.


title: Observability of surface currents in p-wave superconductors

abstract: A general approach is formulated to describe spontaneous surface current distribution in a chiral p-wave superconductor. We use the quasiclassical Eilenberger formalism in the Ricatti parametrization to describe various types of the superconductor surface, including arbitrary roughness and metallic behaviour of the surface layer. We calculate angle resolved distributions of the spontaneous surface currents and formulate the conditions of their observability. We argue that local measurements of these currents by muSR technique may provide an information on the underlying pairing symmetry in the bulk superconductor.


title: Photodissociation and photoionisation of atoms and molecules of astrophysical interest

abstract: A new collection of photodissociation and photoionisation cross sections for 102 atoms and molecules of astrochemical interest has been assembled, along with a brief review of the basic processes involved. These have been used to calculate dissociation and ionisation rates, with uncertainties, in a standard ultraviolet interstellar radiation field (ISRF) and wavelength-dependent radiation fields. The new ISRF rates generally agree within 30% with our previous compilations, with a few notable exceptions. The reduction of rates in shielded regions was calculated as a function of dust, molecular and atomic hydrogen, atomic C, and self-shielding column densities. The relative importance of shielding types depends on the species in question and the dust optical properties. The new data are publicly available from the Leiden photodissociation and ionisation database. Sensitivity of rates to variation of temperature and isotope, and cross section uncertainties, are tested. Tests were conducted with an interstellar-cloud chemical model, and find general agreement (within a factor of two) with the previous iteration of the Leiden database for the ISRF, and order-of-magnitude variations assuming various kinds of stellar radiation. The newly parameterised dust-shielding factors makes a factor-of-two difference to many atomic and molecular abundances relative to parameters currently in the UDfA and KIDA astrochemical reaction databases. The newly-calculated cosmic-ray induced photodissociation and ionisation rates differ from current standard values up to a factor of 5. Under high temperature and cosmic-ray-flux conditions the new rates alter the equilibrium abundances of abundant dark cloud abundances by up to a factor of two. The partial cross sections for H2O and NH3 photodissociation forming OH, O, NH2 and NH are also evaluated and lead to radiation-field-dependent branching ratios.


title: Pascalutsa-Vanderhaeghen light-by-light sumrule from photon-photon collisions

abstract: Light-by-light scattering sumrules based on general field theory principles relate cross-sections with different helicities. In this paper the simplest sumrule is tested for the $I=0$ and $2$ channels for "real" photon-photon collisions. Important contributions come from the long-lived pseudoscalar mesons and from di-meson intermediate states. The latest Amplitude Analysis of $\gamma\gamma\to\pi\pi, \overline{K}K$ allows this contribution to be evaluated. However, we find that other multi-meson contributions up to 2.5 GeV are required to satisfy the sumrules. While data on three and four pion cross-sections exist, there is no information about their isospin and helicity decomposition. Nevertheless, we show the measured cross-sections are sufficiently large to ensure the sumrules for the helicity differences are likely fulfilled.


title: On equicontinuity of mappings in a case of variable domains

abstract: We study a local behavior of one class of mappings, which are defined in a domain of $n$-measured Euclidean space, in a case, when corresponding images of this domain are variable. Under some conditions on a function defining a behavior of mappings mentioned above, and some restrictions on mapped domains, the equicontinuity of the corresponding family of the mappings in the closure of the initial domain is proved.


title: Asymptotic Four Point Functions

abstract: We initiate the study of four-point functions of large BPS operators at any value of the coupling. We do it by casting it as a sum over exchange of superconformal primaries and computing the structure constants using integrability. Along the way, we incorporate the nested Bethe ansatz structure to the hexagon formalism for the three-point functions and obtain a compact formula for the asymptotic structure constant of a non-BPS operator in a higher rank sector.


title: Quantum Hall Spin Diode

abstract: Double layer two-dimensional electron systems at high perpendicular magnetic field are used to realize magnetic tunnel junctions in which the electrons at the Fermi level in the two layers have either parallel or anti-parallel spin magnetizations. In the anti-parallel case the tunnel junction, at low temperatures, behaves as a nearly ideal spin diode. At elevated temperatures the diode character degrades as long-wavelength spin waves are thermally excited. These tunnel junctions provide a demonstration that the spin polarization of the electrons in the $N=1$ Landau level at filling factors $\nu = 5/2$ and 7/2 is essentially complete, and, with the aid of an in-plane magnetic field component, that Landau level mixing at these filling factors is weak in the samples studied.


title: Nesterov's Smoothing Technique and Minimizing Differences of Convex Functions for Hierarchical Clustering

abstract: A bilevel hierarchical clustering model is commonly used in designing optimal multicast networks. In this paper, we consider two different formulations of the bilevel hierarchical clustering problem, a discrete optimization problem which can be shown to be NP-hard. Our approach is to reformulate the problem as a continuous optimization problem by making some relaxations on the discreteness conditions. Then Nesterov's smoothing technique and a numerical algorithm for minimizing differences of convex functions called the DCA are applied to cope with the nonsmoothness and nonconvexity of the problem. Numerical examples are provided to illustrate our method.


title: The Incredible Shrinking Neural Network: New Perspectives on Learning Representations Through The Lens of Pruning

abstract: How much can pruning algorithms teach us about the fundamentals of learning representations in neural networks? And how much can these fundamentals help while devising new pruning techniques? A lot, it turns out. Neural network pruning has become a topic of great interest in recent years, and many different techniques have been proposed to address this problem. The decision of what to prune and when to prune necessarily forces us to confront our assumptions about how neural networks actually learn to represent patterns in data. In this work, we set out to test several long-held hypotheses about neural network learning representations, approaches to pruning and the relevance of one in the context of the other. To accomplish this, we argue in favor of pruning whole neurons as opposed to the traditional method of pruning weights from optimally trained networks. We first review the historical literature, point out some common assumptions it makes, and propose methods to demonstrate the inherent flaws in these assumptions. We then propose our novel approach to pruning and set about analyzing the quality of the decisions it makes. Our analysis led us to question the validity of many widely-held assumptions behind pruning algorithms and the trade-offs we often make in the interest of reducing computational complexity. We discovered that there is a straightforward way, however expensive, to serially prune 40-70% of the neurons in a trained network with minimal effect on the learning representation and without any re-training. It is to be noted here that the motivation behind this work is not to propose an algorithm that would outperform all existing methods, but to shed light on what some inherent flaws in these methods can teach us about learning representations and how this can lead us to superior pruning techniques.


title: Continuity of Channel Parameters and Operations under Various DMC Topologies

abstract: We study the continuity of many channel parameters and operations under various topologies on the space of equivalent discrete memoryless channels (DMC). We show that mutual information, channel capacity, Bhattacharyya parameter, probability of error of a fixed code, and optimal probability of error for a given code rate and blocklength, are continuous under various DMC topologies. We also show that channel operations such as sums, products, interpolations, and Ar{\i}kan-style transformations are continuous.


title: Topological Structures on DMC spaces

abstract: Two channels are said to be equivalent if they are degraded from each other. The space of equivalent channels with input alphabet $X$ and output alphabet $Y$ can be naturally endowed with the quotient of the Euclidean topology by the equivalence relation. A topology on the space of equivalent channels with fixed input alphabet $X$ and arbitrary but finite output alphabet is said to be natural if and only if it induces the quotient topology on the subspaces of equivalent channels sharing the same output alphabet. We show that every natural topology is $\sigma$-compact, separable and path-connected. On the other hand, if $|X|\geq 2$, a Hausdorff natural topology is not Baire and it is not locally compact anywhere. This implies that no natural topology can be completely metrized if $|X|\geq 2$. The finest natural topology, which we call the strong topology, is shown to be compactly generated, sequential and $T_4$. On the other hand, the strong topology is not first-countable anywhere, hence it is not metrizable. We show that in the strong topology, a subspace is compact if and only if it is rank-bounded and strongly-closed. We introduce a metric distance on the space of equivalent channels which compares the noise levels between channels. The induced metric topology, which we call the noisiness topology, is shown to be natural. We also study topologies that are inherited from the space of meta-probability measures by identifying channels with their Blackwell measures. We show that the weak-* topology is exactly the same as the noisiness topology and hence it is natural. We prove that if $|X|\geq 2$, the total variation topology is not natural nor Baire, hence it is not completely metrizable. Moreover, it is not locally compact anywhere. Finally, we show that the Borel $\sigma$-algebra is the same for all Hausdorff natural topologies.


title: An algebraic construction of duality functions for the stochastic U_q(A_n^{(1)}) vertex model and its degenerations

abstract: A recent paper \cite{KMMO} introduced the stochastic U_q(A_n^{(1)}) vertex model. The stochastic S-matrix is related to the R-matrix of the quantum group U_q(A_n^{(1)}) by a gauge transformation. We will show that a certain function D^+_{\mu} intertwines with the transfer matrix and its space reversal. When interpreting the transfer matrix as the transition matrix of a discrete-time totally asymmetric particle system on the one-dimensional lattice Z, the function D^+_{\mu} becomes a Markov duality function D_{\mu} which only depends on q and the vertical spin parameters \mu_x. By considering degenerations in the spectral parameter, the duality results also hold on a finite lattice with closed boundary conditions, and for a continuous-time degeneration. This duality function had previously appeared in a multi-species ASEP(q,j) process. The proof here uses that the R-matrix intertwines with the co-product, but does not explicitly use the Yang-Baxter equation. It will also be shown that the stochastic U_q(A_n^{(1)}) is a multi-species version of a stochastic vertex model studied in \cite{BP,CP}. This will be done by generalizing the fusion process of \cite{CP} and showing that it matches the fusion of \cite{KRL} up to the gauge transformation. We also show, by direct computation, that the multi-species q-Hahn Boson process (which arises at a special value of the spectral parameter) also satisfies duality with respect to D_0, generalizing the single-species result of \cite{C}.


title: The role of cosmology in modern physics

abstract: Subject of this article is the relationship between modern cosmology and fundamental physics, in particular general relativity as a theory of gravity on one side, together with its unique application in cosmology, and the formation of structures and their statistics on the other. It summarises arguments for the formulation for a metric theory of gravity and the uniqueness of the construction of general relativity. It discusses symmetry arguments in the construction of Friedmann-Lema\^itre cosmologies as well as assumptions in relation to the presence of dark matter, when adopting general relativity as the gravitational theory. A large section is dedicated to $\Lambda$CDM as the standard model for structure formation and the arguments that led to its construction, and to the of role statistics and to the problem of scientific inference in cosmology as an empirical science. The article concludes with an outlook on current and future developments in cosmology.


title: Universal Construction of Cheater-Identifiable Secret Sharing Against Rushing Cheaters Based on Message Authentication

abstract: For conventional secret sharing, if cheaters can submit possibly forged shares after observing shares of the honest users in the reconstruction phase then they cannot only disturb the protocol but also only they may reconstruct the true secret. To overcome the problem, secret sharing scheme with properties of cheater-identification have been proposed. Existing protocols for cheater-identifiable secret sharing assumed non-rushing cheaters or honest majority. In this paper, we remove both conditions simultaneously, and give its universal construction from any secret sharing scheme. To resolve this end, we propose the concepts of "individual identification" and "agreed identification".


title: Signed edge domination numbers of complete tripartite graphs: Part 2

abstract: The closed neighborhood $N_G[e]$ of an edge $e$ in a graph $G$ is the set consisting of $e$ and of all edges having an end-vertex in common with $e$. Let $f$ be a function on $E(G)$, the edge set of $G$, into the set $\{-1,1\}$. If $\sum_{x\in{N[e]}}f(x)\geq 1$ for each edge $e \in E(G)$, then $f$ is called a signed edge dominating function of $G$. The signed edge domination number of $G$ is the minimum weight of a signed edge dominating function of $G$. In this paper, we find the signed edge domination number of the complete tripartite graph $K_{m,n,p}$, where $1\leq m\leq n$ and $p\geq m+n$. This completes the search for the signed edge domination numbers of the complete tripartite graphs.


title: Fixed points of morphisms among binary generalized pseudostandard words

abstract: We introduce a class of fixed points of primitive morphisms among aperiodic binary generalized pseudostandard words. We conjecture that this class contains all fixed points of primitive morphisms among aperiodic binary generalized pseudostandard words that are not standard Sturmian words.


title: Cavity Quantum Electrodynamics with Quantum Interference in a Three-level Atomic System

abstract: Spontaneously generated coherence and enhanced dispersion in a V-type, three-level atomic system interacting with a single mode field can considerably reduce the radiative and cavity decay rates. This may eliminate the use of high finesse, miniaturized cavities in optical cavity quantum electrodynamics experiments under strong atom-field coupling conditions.


title: Discrete-Time Quantum Walks and Graph Structures

abstract: We formulate three current models of discrete-time quantum walks in a combinatorial way. These walks are shown to be closely related to rotation systems and 1-factorizations of graphs. For two of the models, we compute the traces and total entropies of the average mixing matrices for some cubic graphs. The trace captures how likely a quantum walk is to revisit the state it started with, and the total entropy measures how close the limiting distribution is to uniform. Our numerical results indicate three relations between quantum walks and graph structures: for the first model, rotation systems with higher genera give lower traces and higher entropies, and for the second model, the symmetric 1-factorizations always give the highest trace.


title: The Partition Rank of a Tensor and $k$-Right Corners in $\mathbb{F}_{q}^{n}$

abstract: Following the breakthrough of Croot, Lev, and Pach, Tao introduced a symmetrized version of their argument, which is now known as the slice rank method. In this paper, we introduce a more general version of the slice rank of a tensor, which we call the Partition Rank. This allows us to extend the slice rank method to problems that require the variables to be distinct. Using the partition rank, we generalize a recent result of Ge and Shangguan, and prove that any set $A\subset\mathbb{F}_{q}^{n}$ of size \[|A|>\binom{n+(k-1)q}{(k-1)(q-1)}\] contains a $k$-right-corner, that is distinct vectors $x_{1},\dots,x_{k},x_{k+1}$ where $x_{1}-x_{k+1},\dots,x_{k}-x_{k+1}$ are mutually orthogonal, for $q=p^{r}$, a prime power with $p>k$.


title: A two-layer approach for Coupling 1D/2D Shallow Water Flow Models

abstract: In this paper, we propose a novel approach for coupling 2D/1D shallow water flow models. Efficiently coupling these models is vital for simulating the flow and flooding of open channels. Currently, existing methods couple the models either at the channel lateral boundaries (lateral methods) or at the location, along the channel flow direction, where the two sub-domains intersect (frontal methods). We classify these methods as horizontal methods since the coupling points are on the horizontal plane. The limitations of these methods include their inability to recover the 2D channel flow structure during flooding without losing efficiency, and their inability to switch between lateral and frontal methods, based on the problem. Here, we propose a new paradigm which is to think of the channel flow as a two layer flow. This leads to the vertical coupling method (VCM) which is able to recover 2D channel flow structure without losing efficiency, switch types depending on the flow and is a superset of some existing methods. The VCM is based on a user chosen elevation above which the user considers the channel to be full. From this elevation, all other flow quantities are defined including the two layers. The flows in the lower and upper layers are assumed to be 1D and 2D respectively, and the appropriate flow models with exchange terms are derived. The 2D shallow water flow model is retained for the floodplains. Finite volume methods (FVM) are formulated for the flood model; the FVM with the operator splitting approach are also formulated to solve and couple the two layer channel flow models. We show that the resulting method (i) is well-balanced (ii) preserves the "no-numerical" flooding property (iii) preserves conservation properties and (iv) adapts to the flow situation.


title: Shot noise dominant regime for ellipsoidal nanoparticles in a linearly polarized beam

abstract: Results on the heating and the parametric feedback cooling of an optically trapped anisotropic nanoparticle in the laser shot noise dominant regime are presented. The related dynamical parameters, such as the oscillating frequency and shot noise heating rate, depend on the shape of the trapped particle. For an ellipsoidal particle, the ratio of the axis lengths and the overall size controls the shot noise heating rate relative to the frequency. For a particle with smaller ellipticity or bigger size, the relative heating rate for rotation tends to be smaller than that for translation indicating a better rotational cooling. For one feedback scheme, we also present results on the lowest occupation number that can be achieved as a function of the heating rate and the amount of classical uncertainty in the position measurement.


title: Teaching the Doppler Effect in Astrophysics

abstract: The Doppler effect is a shift in the frequency of waves emitted from an object moving relative to the observer. By observing and analysing the Doppler shift in electromagnetic waves from astronomical objects, astronomers gain greater insight into the structure and operation of our universe. In this paper, a simple technique is described for teaching the basics of the Doppler effect to undergraduate astrophysics students using acoustic waves. An advantage of the technique is that it produces a visual representation of the acoustic Doppler shift. The equipment comprises a 40 kHz acoustic transmitter and a microphone. The sound is bounced off a computer fan and the signal collected by a DrDAQ ADC and processed by a spectrum analyser. Widening of the spectrum is observed as the fan power supply potential is increased from 4 to 12 V.


title: On geometric formality of rationally elliitic manifolds in dimensions $6$ and $7$

abstract: We discuss the question of geometric formality for rationally elliptic manifolds of dimension $6$ and $7$. We prove that a geometrically formal six-dimensional biquotient with $b_{2}=3$ has the real cohomology of a symmetric space. We also show that a rationally hyperbolic six-dimensional manifold with $b_2\leq 2$ and $b_3=0$ can not be geometrically formal. As it follows from their real homotopy classification, the seven-dimensional geometrically formal rationally elliptic manifolds have the real cohomology of symmetric spaces as well.


title: Broadside High Index Dielectric Beam Routing

abstract: We propose a technique to control the beam direction of a dielectric optical micro-prism structure by properly designing its geometry. We show that by selectively choosing the slope of a high index micro prism, the direction of the radiated beam from the tip can be controlled in the broadside direction of the prism structure. We propose an easy fabrication method to integrate such broadside beam routers on a Si platform. We also propose a demonstrate a technique to build the beam router on an elastic PDMS platform which demonstrates stress induced beam scanning in the broadside This specific feature of beam direction control can find application in free space optical interconnects, plasmonics, solar cells, detectors, optical sensing etc.


title: A Tutorial on Using Dafny to Construct Verified Software

abstract: This paper is a tutorial for newcomers to the field of automated verification tools, though we assume the reader to be relatively familiar with Hoare-style verification. In this paper, besides introducing the most basic features of the language and verifier Dafny, we place special emphasis on how to use Dafny as an assistant in the development of verified programs. Our main aim is to encourage the software engineering community to make the move towards using formal verification tools.


title: Asymptotic behaviour of ground states for mixtures of ferromagnetic and antiferromagnetic interactions in a dilute regime

abstract: We consider randomly distributed mixtures of bonds of ferromagnetic and antiferromagnetic type in a two-dimensional square lattice with probability $1-p$ and $p$, respectively, according to an i.i.d. random variable. We study minimizers of the corresponding nearest-neighbour spin energy on large domains in ${\mathbb Z}^2$. We prove that there exists $p_0$ such that for $p\le p_0$ such minimizers are characterized by a majority phase; i.e., they take identically the value $1$ or $-1$ except for small disconnected sets. A deterministic analogue is also proved.


title: Progress On Neutrino-Proton Neutral-Current Scattering In MicroBooNE

abstract: The MicroBooNE Experiment at the Fermi National Accelerator Laboratory, an 89-ton active mass liquid argon time projection chamber, affords a unique opportunity to observe low-$Q^2$ neutral-current neutrino-proton scattering events. Neutral-current neutrino-proton scattering at $Q^2 < 1$ GeV$^2$ is dominated by the proton's axial form factor, which can be written as a combination of contributions from the up, down, and strange quarks: $G_A(Q^2) = \frac{1}{2}[-G_A^u(Q^2)+G_A^d(Q^2)+G_A^s(Q^2)]$. The contribution from up and down quarks has been established in past charged-current measurements. The contribution from strange quarks at low $Q^2$ remains unmeasured; this is of great interest since the strange quark contribution to the proton spin can be determined from the low-$Q^2$ behavior: $\Delta S = G_A^s(Q^2=0)$. MicroBooNE began operating in the Booster Neutrino Beam in October 2015. I will present the status in observing isolated proton tracks in the MicroBooNE detector as a signature for neutral-current neutrino-proton events. The sensitivity of the MicroBooNE experiment for measuring the strange quark contribution to the proton spin will be discussed.


title: Power series with skew-harmonic numbers, dilogarithms, and double integrals

abstract: The skew-harmonic numbers are the partial sums of the alternating harmonic series, i.e. the expansion of log(2). We evaluate in closed form various power series and numerical series with skew-harmonic numbers. This provides a simultaneous solution of two recent problems by Ovidiu Furdui in the American Mathematical Monthly and the College Mathematics Journal. We also present and discuss representations involving the dilogarithm and the trilogaithm which are related to our results. Finally, we provide the evaluations of several double integrals in terms of classical constants.


title: A Hierarchical Spatio-Temporal Analog Forecasting Model for Count Data

abstract: 1. Analog forecasting has been successful at producing robust forecasts for a variety of ecological and physical processes. Analog forecasting is a mechanism-free nonlinear method that forecasts a system forward in time by examining how past states deemed similar to the current state moved forward. Previous work on analog forecasting has typically been presented in an empirical or heuristic context, as opposed to a formal statistical context. 2. The model presented here extends the model-based analog method of McDermott and Wikle (2016) by placing analog forecasting within a fully hierarchical statistical frame- work. In particular, a Bayesian hierarchical spatial-temporal Poisson analog forecasting model is formulated. 3. In comparison to a Poisson Bayesian hierarchical model with a latent dynamical spatio- temporal process, the hierarchical analog model consistently produced more accurate forecasts. By using a Bayesian approach, the hierarchical analog model is able to quantify rigorously the uncertainty associated with forecasts. 4. Forecasting waterfowl settling patterns in the northwestern United States and Canada is conducted by applying the hierarchical analog model to a breeding population survey dataset. Sea Surface Temperature (SST) in the Pacific ocean is used to help identify potential analogs for the waterfowl settling patterns.


title: On the Thermodynamic Formalism for the Farey Map

abstract: The chaotic phenomenon of intermittency is modeled by a simple map of the unit interval, the Farey map. The long term dynamical behaviour of a point under iteration of the map is translated into a spin system via symbolic dynamics. Methods from dynamical systems theory and statistical mechanics may then be used to analyse the map, respectively the zeta function and the transfer operator. Intermittency is seen to be problematic to analyze due to the presence of an `indifferent fixed point'. Points under iteration of the map move away from this point extremely slowly creating pathological convergence times for calculations. This difficulty is removed by going to an appropriate induced subsystem, which also leads to an induced zeta function and an induced transfer operator. Results obtained there can be transferred back to the original system. The main work is then divided into two sections. The first demonstrates a connection between the induced versions of the zeta function and the transfer operator providing useful results regarding the analyticity of the zeta function. The second section contains a detailed analysis of the pressure function for the induced system and hence the original by considering bounds on the radius of convergence of the induced zeta function. In particular, the asymptotic behaviour of the pressure function in the limit $\beta$, the inverse of `temperature', tends to negative infinity is determined and the existence and nature of a phase transition at $\beta=1$ is also discussed.


title: The McLennan-Zubarev steady state distribution and fluctuation theorems

abstract: The McLennan-Zubarev steady state distribution is studied in the connection with fluctuation theorems. We derive the McLennan-Zubarev steady state distribution from the nonequilibrium detailed balance relation. Then, considering the cumulant function or cumulant functional, two fluctuation theorems for entropy and for currents are proved. Using the fluctuation theorem for currents, the current is expanded in terms of thermodynamic forces. In the lowest order of the thermodynamic force, we find that the transport coefficient satisfies the Onsager's reciprocal relation. In the next order, we derived the correction term to the Green-Kubo formula.


title: Remarks on the $\mathrm{CH}_2$ of cubic hypersurfaces

abstract: This paper presents two approaches to reducing problems on $2$-cycles on a smooth cubic hypersurface $X$ over an algebraically closed field of characteristic $\neq 2$, to problems on $1$-cycles on its variety of lines $F(X)$. The first one relies on bitangent lines of $X$ and Tsen-Lang theorem. It allows to prove that $\mathrm{CH}_2(X)$ is generated, via the action of the universal $\mathbb P^1$-bundle over $F(X)$, by $\mathrm{CH}_1(F(X))$. When the characteristic of the base field is $0$, we use that result to prove that if $dim(X)\geq 7$, then $\mathrm{CH}_2(X)$ is generated by classes of planes contained in $X$ and if $dim(X)\geq 9$, then $\mathrm{CH}_2(X)\simeq \mathbb Z$. Similar results, with slightly weaker bounds, had already been obtained by Pan. The second approach consists of an extension to subvarieties of $X$ of higher dimension of an inversion formula developped by Shen in the case of curves of $X$. This inversion formula allows to lift torsion cycles in $\mathrm{CH}_2(X)$ to torsion cycles in $\mathrm{CH}_1(F(X))$. For complex cubic $5$-folds, it allows to prove that the birational invariant provided by the group $\mathrm{CH}^3(X)_{tors,AJ}$ of homologically trivial, torsion codimension $3$ cycles annihilated by the Abel-Jacobi morphism is controlled by the group $\mathrm{CH}_1(F(X))_{tors,AJ}$ which is a birational invariant of $F(X)$, possibly always trivial for Fano varieties.


title: Towards a New Interpretation of Separable Convolutions

abstract: In recent times, the use of separable convolutions in deep convolutional neural network architectures has been explored. Several researchers, most notably (Chollet, 2016) and (Ghosh, 2017) have used separable convolutions in their deep architectures and have demonstrated state of the art or close to state of the art performance. However, the underlying mechanism of action of separable convolutions are still not fully understood. Although their mathematical definition is well understood as a depthwise convolution followed by a pointwise convolution, deeper interpretations such as the extreme Inception hypothesis (Chollet, 2016) have failed to provide a thorough explanation of their efficacy. In this paper, we propose a hybrid interpretation that we believe is a better model for explaining the efficacy of separable convolutions.


title: Grand canonical electronic density-functional theory: algorithms and applications to electrochemistry

abstract: First-principles calculations combining density-functional theory and continuum solvation models enable realistic theoretical modeling and design of electrochemical systems. When a reaction proceeds in such systems, the number of electrons in the portion of the system treated quantum mechanically changes continuously, with a balancing charge appearing in the continuum electrolyte. A grand-canonical ensemble of electrons at a chemical potential set by the electrode potential is therefore the ideal description of such systems that directly mimics the experimental condition. We present two distinct algorithms, a self-consistent field method (GC-SCF) and a direct variational free energy minimization method using auxiliary Hamiltonians (GC-AuxH), to solve the Kohn-Sham equations of electronic density-functional theory directly in the grand canonical ensemble at fixed potential. Both methods substantially improve performance compared to a sequence of conventional fixed-number calculations targeting the desired potential, with the GC-AuxH method additionally exhibiting reliable and smooth exponential convergence of the grand free energy. Finally, we apply grand-canonical DFT to the under-potential deposition of copper on platinum from chloride-containing electrolytes and show that chloride desorption, not partial copper monolayer formation, is responsible for the second voltammetric peak.


title: A geometric approach to the transfer problem for a finite number of traders

abstract: We present a complete characterization of the classical transfer problem for an exchange economy with an arbitrary finite number of traders. Our method is geometric, using an equilibrium manifold developed by Debreu, Mas-Colell, and Balasko. We show that for a regular equilibrium the transfer problem arises if and only if the index at the equilibrium is $-1$. This implies that the transfer problem does not happen if the equilibrium is Walras tatonnement stable. Our result generalizes Balasko's analogous result for an exchange economy with two traders.


title: A nonuniform fast Fourier transform based on low rank approximation

abstract: By viewing the nonuniform discrete Fourier transform (NUDFT) as a perturbed version of a uniform discrete Fourier transform, we propose a fast, stable, and simple algorithm for computing the NUDFT that costs $\mathcal{O}(N\log N\log(1/\epsilon)/\log\!\log(1/\epsilon))$ operations based on the fast Fourier transform, where $N$ is the size of the transform and $0<\epsilon <1$ is a working precision. Our key observation is that a NUDFT and DFT matrix divided entry-by-entry is often well-approximated by a low rank matrix, allowing us to express a NUDFT matrix as a sum of diagonally-scaled DFT matrices. Our algorithm is simple to implement, automatically adapts to any working precision, and is competitive with state-of-the-art algorithms. In the fully uniform case, our algorithm is essentially the FFT. We also describe quasi-optimal algorithms for the inverse NUDFT and two-dimensional NUDFTs.


title: Weingarten calculus via orthogonality relations: new applications

abstract: Weingarten calculus is a completely general and explicit method to compute the moments of the Haar measure on compact subgroups of matrix algebras. Particular cases of this calculus were initiated by theoretical physicists -- including Weingarten, after whom this calculus was coined by the first author, after investigating it systematically. Substantial progress was achieved subsequently by the second author and coworkers, based on representation theoretic and combinatorial techniques. All formulas of `Weingarten calculus' are in the spirit of Weingarten's seminal paper [W78]. However, modern proofs are very different from Weingarten's initial ideas. In this paper, we revisit Weingarten's initial proof and we illustrate its power by uncovering two new important applications: (i) a uniform bound on the Weingarten function, that subsumes existing uniform bounds, and is optimal up to a polynomial factor, and (ii) an extension of Weingarten calculus to symmetric spaces and conceptual proofs of identities established by the second author.


title: Resolution of Indecomposable Integral Flows on Signed Graphs

abstract: It is well known that each nonnegative integral flow on a graph can be decomposed into a sum of nonnegative graphic circuit flows, which cannot be further decomposed into nonnegative integral sub-flows. This is equivalent to saying that the indecomposable flows on graphs are those graphic circuit flows. Turning from graphs to signed graphs, the indecomposable flows are much richer than those of unsigned graphs. This paper gives a complete description of indecomposable flows on signed graphs from the viewpoint of resolution of singularities by means of double covering graphs.


title: Some Results on the Schwartz Space of $\Gamma\backslash G$

abstract: Let $G$ be a connected semisimple Lie group with finite center. Let $\Gamma \subset G$ be a discrete subgroup. We study closed admissible irreducible subrepresentations of the space of distributions $\mathcal S(\Gamma \backslash G)'$ defined by Casselman, and their relations to automorphic forms.


title: Classification of Minimal Separating Sets in Low Genus Surfaces

abstract: Consider a surface $S$ and let $M\subset S$. If $S\setminus M$ is not connected, then we say $M$ \emph{separates} $S$, and we refer to $M$ as a \emph{separating set} of $S$. If $M$ separates $S$, and no proper subset of $M$ separates $S$, then we say $M$ is a \emph{minimal separating set} of $S$. In this paper we use methods of computational combinatorial topology to classify the minimal separating sets of the orientable surfaces of genus $g=2$ and $g=3$. The classification for genus 0 and 1 was done in earlier work, using methods of algebraic topology.


title: Effect of visual cues and video solutions on conceptual tasks

abstract: Transfer of learning is an important objective of education. However, students usually have difficulties in solving physics transfer tasks even after having solved similar problems previously. We investigated if instruction provided using videos containing detailed explanations of previously solved problems will improve students' performance in tackling near and far transfer tasks. We also investigated whether the combination of visual cues followed by video solutions yields further enhancement of students' performance. N=33 students in an algebra-based physics class participated in an interview containing two problem sets each with one initial task, a training session, and a near and far transfer task. For the training, students either received visual cues, visual cues and a video or only videos, depending on the condition. We compare students' correctness rate on near and far transfer tasks in the three conditions.


title: Synchronization is full measure for all $\alpha$-deformations of an infinite class of continued fraction transformations

abstract: We study an infinite family of one-parameter deformations, so-called $\alpha$-continued fractions, of interval maps associated to distinct triangle Fuchsian groups. In general for such one-parameter deformations, the function giving the entropy of the map indexed by $\alpha$ varies in a way directly related to whether or not the orbits of the endpoints of the map synchronize. For two cases of one-parameter deformations associated to the classical case of the modular group $\text{PSL}_2(\mathbb Z)$, the set of $\alpha$ for which synchronization occurs has been determined. Here, we explicitly determine the synchronization sets for each $\alpha$-deformation in our infinite family. (In general, our Fuchsian groups are not subgroups of the modular group, and hence the tool of relating $\alpha$-expansions back to regular continued fraction expansions is not available to us.) A curiosity here is that all of our synchronization sets can be described in terms of a single tree of words. In a paper in preparation, we identify the natural extensions of our maps, as well as the entropy functions associated to each deformation.


title: Nanobubble-driven superfast diffusion dynamics of Brownian particles

abstract: Dynamics of active or self-propulsive Brownian particles in nonequilibrium status, has recently attracted great interest in many fields including biological entities and artificial micro/nanoscopic motors6. Understanding of their dynamics can provide insight into the statistical properties of biological and physical systems far from equilibrium. Generally, active Brownian particles can involve either translational or rotational motion. Here, we report the translational dynamics of photon-activated gold nanoparticles (NPs) in liquid cell imaged by four-dimensional electron microscopy (4D-EM). Under excitation of femtosecond (fs)-laser pulses, we observed that those Brownian NPs exhibit a superfast diffusive behavior with a diffusion constant four to five orders of magnitude greater than that in absence of laser excitation. The measured diffusion constant was found to follow a power-law dependence on the fs-laser fluence. Such superfast diffusion is induced by strong random driving forces arising from rapid nucleation, expansion and collapse of photoinduced nanobubbles (NBs) near the NP surface. In contrast, the motion of the NPs exhibit superfast ballistic translation at a short time scale down to nanoseconds (ns). Combining with physical model simulation, this study reveals a NB-propulsion mechanism for the self-propulsive motion, providing physical insights for better design of light-activated artificial micro/nanomotors.


title: On the maximum principle for the Riesz transform

abstract: Let $\mu$ be a measure in $\mathbb R^d$ with compact support and continuous density, and let $$ R^s\mu(x)=\int\frac{y-x}{|y-x|^{s+1}}\,d\mu(y),\ \ x,y\in\mathbb R^d,\ \ 0<s<d. $$ We consider the following conjecture: $$ \sup_{x\in\mathbb R^d}|R^s\mu(x)|\le C\sup_{x\in\text{supp}\,\mu}|R^s\mu(x)|,\quad C=C(d,s). $$ This relation was known for $d-1\le s<d$, and is still an open problem in the general case. We prove the maximum principle for $0< s<1$, and also for $0<s<d$ in the case of radial measure. Moreover, we show that this conjecture is incorrect for non-positive measures.


title: Ultraviolet and Optical Emission-line Outflows in the Heavily Obscured Quasar SDSS J000610.67+121501.2: At the Scale of the Dusty Torus and Beyond

abstract: Broad emission-line outflows of active galactic nuclei (AGNs) have been proposed for many years but are very difficult to quantitatively study because of the coexistence of the gravitationally-bound and outflow emission. We present detailed analysis of a heavily reddened quasar, SDSS J000610.67+121501.2, whose normal ultraviolet (UV) broad emission lines (BELs) are heavily suppressed by the Dusty Torus as a natural "Coronagraph", thus the blueshifted BELs (BBELs) can be reliably measured. The physical properties of the emission-line outflows are derived as follows: ionization parameter $U \sim 10^{-0.5}$, column density $N_{\rm H}\sim 10^{22.0}$ cm$^{-2}$, covering fraction of $\sim 0.1$ and upper limit density of $n_{\rm H}\sim 10^{5.8}$ cm$^{-3}$. The outflow gases are located at least 41 pc away from the central engine, which suggests that they have expanded to the scale of the dust torus or beyond. Besides, Lya shows a narrow symmetric component, to our surprise, which is undetected in any other lines. After inspecting the narrow emission-line region and the starforming region as the origin of the Lya narrow line, we propose the end-result of outflows, diffusing gases in the larger region, acts as the screen of Lya photons. Future high spatial resolution spectrometry and/or spectropolarimetric observation are needed to make a final clarification.


title: Constraining simultaneously nuclear symmetry energy and neutron-proton effective mass splitting with nucleus giant resonances from a dynamical approach

abstract: With a newly improved isospin- and momentum-dependent interaction and an isospin-dependent Boltzmann-Uehling-Uhlenbeck transport model, we have investigated the effects of the slope parameter $L$ of the nuclear symmetry energy and the isospin splitting of the nucleon effective mass $m_{n-p}^*=(m_n^*-m_p^*)/m$ on the centroid energy of the isovector giant dipole resonance and the electric dipole polarizability in $^{208}$Pb. With the isoscalar nucleon effective mass $m_s^*=0.7m$ constrained by the empirical optical potential, we obtain a constraint of $L=64.29\pm11.84 (\rm MeV)$ and $m_{n-p}^*= (-0.019 \pm 0.090)\delta$, with $\delta$ being the isospin asymmetry of nuclear medium. With the isoscalar nucleon effective mass $m_s^*=0.84m$ extracted from the excitation energy of the isoscalar giant quadruple resonance in $^{208}$Pb, we obtain a constraint of $L=53.85\pm10.29 (\rm MeV)$ and $m_{n-p}^*= (0.216 \pm 0.114)\delta$.


title: Deep Learning for Computational Chemistry

abstract: The rise and fall of artificial neural networks is well documented in the scientific literature of both computer science and computational chemistry. Yet almost two decades later, we are now seeing a resurgence of interest in deep learning, a machine learning algorithm based on multilayer neural networks. Within the last few years, we have seen the transformative impact of deep learning in many domains, particularly in speech recognition and computer vision, to the extent that the majority of expert practitioners in those field are now regularly eschewing prior established models in favor of deep learning models. In this review, we provide an introductory overview into the theory of deep neural networks and their unique properties that distinguish them from traditional machine learning algorithms used in cheminformatics. By providing an overview of the variety of emerging applications of deep neural networks, we highlight its ubiquity and broad applicability to a wide range of challenges in the field, including QSAR, virtual screening, protein structure prediction, quantum chemistry, materials design and property prediction. In reviewing the performance of deep neural networks, we observed a consistent outperformance against non-neural networks state-of-the-art models across disparate research topics, and deep neural network based models often exceeded the "glass ceiling" expectations of their respective tasks. Coupled with the maturity of GPU-accelerated computing for training deep neural networks and the exponential growth of chemical data on which to train these networks on, we anticipate that deep learning algorithms will be a valuable tool for computational chemistry.

categories: stat.ML cs.AI cs.CE cs.LG physics.chem-ph


title: Comparative Analysis of Dengue versus Chikungunya Outbreaks in Costa Rica

abstract: For decades, dengue virus has been a cause of major public health concern in Costa Rica, due to its landscape and climatic conditions that favor the circumstances in which the vector, Aedes aegypti, thrives. The emergence and introduction throughout tropical and subtropical countries of the chikungunya virus, as of 2014, challenged Costa Rican health authorities to provide a correct diagnosis since it is also transmitted by the same vector and infected hosts may share similar symptoms. We study the 2015-2016 dengue and chikungunya outbreaks in Costa Rica while establishing how point estimates of epidemic parameters for both diseases compare to one another. Longitudinal weekly incidence reports of these outbreaks signal likely misdiagnosis of infected individuals: underreporting of chikungunya cases, while overreporting cases of dengue. Our comparative analysis is formulated with a single-outbreak deterministic model that features an undiagnosed class. Additionally, we also used a genetic algorithm in the context of weighted least squares to calculate point estimates of key model parameters and initial conditions, while formally quantifying misdiagnosis.


title: Matrix Polar Decomposition and Generalisations of the Blaschke-Petkantschin Formula in Integral Geometry

abstract: In the work [Bull, Austr. Math. Soc. 85 (2012), 315-234], S.R. Moghadasi has shown how the decomposition of the $N$-fold product of Lebesgue measure on $\mathbb R^n$ implied by matrix polar decomposition can be used to derive the Blaschke-Petkantschin decomposition of measure formula from integral geometry. We use known formulas from random matrix theory to give a simplified derivation of the decomposition of Lebesgue product measure implied by matrix polar decomposition, applying too to the cases of complex and real quaternion entries, and we give corresponding generalisations of the Blaschke--Petkantschin formula. A number of applications to random matrix theory and integral geometry are given, including to the calculation of the moments of the volume content of the convex hull of $k \le N+1$ points in $\mathbb R^N$, $\mathbb C^N$ or $\mathbb H^N$ with a Gaussian or uniform distribution.


title: Imaginary Number Bases

abstract: An expansion upon Donald Kunth's quarter-imaginary base system is introduced to handle any imaginary number base where its real part is zero and the absolute value of its imaginary part is greater than one. A brief overview on number bases is given as well as conversion to both positive and negative bases. Additionally gives examples for addition, subtraction, multiplication for imaginary bases and adds a division method for imaginary bases as well as mentions possible uses.


title: Continuous Authentication for Voice Assistants

abstract: Voice has become an increasingly popular User Interaction (UI) channel, mainly contributing to the ongoing trend of wearables, smart vehicles, and home automation systems. Voice assistants such as Siri, Google Now and Cortana, have become our everyday fixtures, especially in scenarios where touch interfaces are inconvenient or even dangerous to use, such as driving or exercising. Nevertheless, the open nature of the voice channel makes voice assistants difficult to secure and exposed to various attacks as demonstrated by security researchers. In this paper, we present VAuth, the first system that provides continuous and usable authentication for voice assistants. We design VAuth to fit in various widely-adopted wearable devices, such as eyeglasses, earphones/buds and necklaces, where it collects the body-surface vibrations of the user and matches it with the speech signal received by the voice assistant's microphone. VAuth guarantees that the voice assistant executes only the commands that originate from the voice of the owner. We have evaluated VAuth with 18 users and 30 voice commands and find it to achieve an almost perfect matching accuracy with less than 0.1% false positive rate, regardless of VAuth's position on the body and the user's language, accent or mobility. VAuth successfully thwarts different practical attacks, such as replayed attacks, mangled voice attacks, or impersonation attacks. It also has low energy and latency overheads and is compatible with most existing voice assistants.


title: Online Learning with Regularized Kernel for One-class Classification

abstract: This paper presents an online learning with regularized kernel based one-class extreme learning machine (ELM) classifier and is referred as online RK-OC-ELM. The baseline kernel hyperplane model considers whole data in a single chunk with regularized ELM approach for offline learning in case of one-class classification (OCC). Further, the basic hyper plane model is adapted in an online fashion from stream of training samples in this paper. Two frameworks viz., boundary and reconstruction are presented to detect the target class in online RKOC-ELM. Boundary framework based one-class classifier consists of single node output architecture and classifier endeavors to approximate all data to any real number. However, one-class classifier based on reconstruction framework is an autoencoder architecture, where output nodes are identical to input nodes and classifier endeavor to reconstruct input layer at the output layer. Both these frameworks employ regularized kernel ELM based online learning and consistency based model selection has been employed to select learning algorithm parameters. The performance of online RK-OC-ELM has been evaluated on standard benchmark datasets as well as on artificial datasets and the results are compared with existing state-of-the art one-class classifiers. The results indicate that the online learning one-class classifier is slightly better or same as batch learning based approaches. As, base classifier used for the proposed classifiers are based on the ELM, hence, proposed classifiers would also inherit the benefit of the base classifier i.e. it will perform faster computation compared to traditional autoencoder based one-class classifier.


title: A generalization of the Hasse-Witt matrix of a hypersurface

abstract: The Hasse-Witt matrix of a hypersurface in ${\mathbb P}^n$ over a finite field of characteristic $p$ gives essentially complete mod $p$ information about the zeta function of the hypersurface. But if the degree $d$ of the hypersurface is $\leq n$, the zeta function is trivial mod $p$ and the Hasse-Witt matrix is zero-by-zero. We generalize a classical formula for the Hasse-Witt matrix to obtain a matrix that gives a nontrivial congruence for the zeta function for all $d$. We also describe the differential equations satisfied by this matrix and prove that it is generically invertible.


title: Influence of pairing correlations on the radius of neutron-rich nuclei

abstract: The influence of pairing correlations on the neutron root mean square (rms) radius of nuclei is investigated in the framework of self-consistent Skyrme Hartree-Fock-Bogoliubov calculations. The continuum is treated appropriately by the Green's function techniques. As an example the nucleus $^{124}$Zr is treated for a varying strength of pairing correlations. We find that, as the pairing strength increases, the neutron rms radius first shrinks, reaches a minimum and beyond this point it expands again. The shrinkage is due to the the so-called `pairing anti-halo effect', i. e. due to the decreasing of the asymptotic density distribution with increasing pairing. However, in some cases, increasing pairing correlations can also lead to an expansion of the nucleus due to a growing occupation of so-called `halo' orbits, i.e. weakly bound states and resonances in the continuum with low-$\ell $ values. In this case, the neutron radii are extended just by the influence of pairing correlations, since these `halo' orbits cannot be occupied without pairing. The term `anti-halo effect' is not justified in such cases. For a full understanding of this complicated interplay self-consistent calculations are necessary.


title: Numerical Approximations for a Phase-Field Moving Contact Line Model with Variable Densities and Viscosities

abstract: We consider the numerical approximations of a two-phase hydrodynamics coupled phase-field model that incorporates the variable densities, viscosities and moving contact line boundary conditions. The model is a nonlinear, coupled system that consists of incompressible Navier--Stokes equations with the generalized Navier boundary condition, and the Cahn--Hilliard equations with moving contact line boundary conditions. By some subtle explicit--implicit treatments to nonlinear terms, we develop two efficient, unconditionally energy stable numerical schemes, in particular, a linear decoupled energy stable scheme for the system with static contact line condition, and a nonlinear energy stable scheme for the system with dynamic contact line condition. An efficient spectral-Galerkin spatial discretization is implemented to verify the accuracy and efficiency of proposed schemes. Various numerical results show that the proposed schemes are efficient and accurate.


title: Some Theoretical Results Regarding the Polygonal Distribution

abstract: The polygonal distributions are a class of distributions that can be defined via the mixture of triangular distributions over the unit interval. The class includes the uniform and trapezoidal distributions, and is an alternative to the beta distribution. We demonstrate that the polygonal densities are dense in the class of continuous and concave densities with bounded second derivatives. Pointwise consistency and Hellinger consistency results for the maximum likelihood (ML) estimator are obtained. A useful model selection theorem is stated as well as results for a related distribution that is obtained via the pointwise square of polygonal density functions.


title: Non-commutative analytic torsion form on the transformation groupoid convolution algebra

abstract: Given a fiber bundle $Z \to M \to B$ and a flat vector bundle $E \to M$ with a compatible action of a discrete group $G$, and regarding $B / G$ as the non-commutative space corresponding to the crossed product algebra, we construct an analytic torsion form as a non-commutative deRham differential form. We show that our construction is well defined under the weaker assumption of positive Novikov-Shubin invariant. We prove that this torsion form appears in a transgression formula, from which a non-commutative Riamannian-Roch-Grothendieck index formula follows.


title: Performance of a prototype active veto system using liquid scintillator for a dark matter search experiment

abstract: We report the performance of an active veto system using a liquid scintillator with NaI(Tl) crystals for use in a dark matter search experiment. When a NaI(Tl) crystal is immersed in the prototype detector, the detector tags 48% of the internal K-40 background in the 0-10 keV energy region. We also determined the tagging efficiency for events at 6-20 keV as 26.5 +/- 1.7% of the total events, which corresponds to 0.76 +/- 0.04 events/keV/kg/day. According to a simulation, approximately 60% of the background events from U, Th, and K radioisotopes in photomultiplier tubes are tagged at energies of 0-10 keV. Full shielding with a 40-cm-thick liquid scintillator can increase the tagging efficiency for both the internal K-40 and external background to approximately 80%.


title: Large enhancement in thermoelectric efficiency of quantum dot junction due to increase of level degeneracy

abstract: It is theoretically demonstrated that the figure of merit ($ZT$) of quantum dot (QD) junctions can be significantly enhanced when the degree of degeneracy of the energy levels involved in electron transport is increased. The theory is based on the the Green-function approach in the Coulomb blockade regime by including all correlation functions resulting from electron-electron interactions associated with the degenerate levels ($L$). We found that electrical conductance ($G_e$) as well as electron thermal conductance ($\kappa_e$) are highly dependent on the level degeneracy ($L$), whereas the Seebeck coefficient ($S$) is not. Therefore, the large enhancement of $ZT$ is mainly attributed to the increase of $G_e$ when the phonon thermal conductance ($\kappa_{ph}$) dominates the heat transport of QD junction system. In the serially coupled double-QD case, we also obtain a large enhancement of $ZT$ arising from higher $L$. Unlike $G_e$ and $\kappa_e$, $S$ is found almost independent on electron inter-dot hopping strength.


title: On The Construction of Extreme Learning Machine for Online and Offline One-Class Classification - An Expanded Toolbox

abstract: One-Class Classification (OCC) has been prime concern for researchers and effectively employed in various disciplines. But, traditional methods based one-class classifiers are very time consuming due to its iterative process and various parameters tuning. In this paper, we present six OCC methods based on extreme learning machine (ELM) and Online Sequential ELM (OSELM). Our proposed classifiers mainly lie in two categories: reconstruction based and boundary based, which supports both types of learning viz., online and offline learning. Out of various proposed methods, four are offline and remaining two are online methods. Out of four offline methods, two methods perform random feature mapping and two methods perform kernel feature mapping. Kernel feature mapping based approaches have been tested with RBF kernel and online version of one-class classifiers are tested with both types of nodes viz., additive and RBF. It is well known fact that threshold decision is a crucial factor in case of OCC, so, three different threshold deciding criteria have been employed so far and analyses the effectiveness of one threshold deciding criteria over another. Further, these methods are tested on two artificial datasets to check there boundary construction capability and on eight benchmark datasets from different discipline to evaluate the performance of the classifiers. Our proposed classifiers exhibit better performance compared to ten traditional one-class classifiers and ELM based two one-class classifiers. Through proposed one-class classifiers, we intend to expand the functionality of the most used toolbox for OCC i.e. DD toolbox. All of our methods are totally compatible with all the present features of the toolbox.


title: Revealing Genuine Steering under Sequential Measurement Scenario

abstract: Genuine steering is still not well understood enough in contrast to genuine entanglement and nonlocality. Here we provide a protocol which can reveal genuine steering under some restricted operations compared to the existing witnesses of genuine multipartite steering. Our method has an impression of some sort of hidden protocol in the same spirit of hidden nonlocality, which is well understood in bipartite scenario. We also introduce a genuine steering measure which indicates the enhancement of genuine steering in the final state of our protocol compared to the initial states.


title: Towards prediction of rapid intensification in tropical cyclones with recurrent neural networks

abstract: The problem where a tropical cyclone intensifies dramatically within a short period of time is known as rapid intensification. This has been one of the major challenges for tropical weather forecasting. Recurrent neural networks have been promising for time series problems which makes them appropriate for rapid intensification. In this paper, recurrent neural networks are used to predict rapid intensification cases of tropical cyclones from the South Pacific and South Indian Ocean regions. A class imbalanced problem is encountered which makes it very challenging to achieve promising performance. A simple strategy was proposed to include more positive cases for detection where the false positive rate was slightly improved. The limitations of building an efficient system remains due to the challenges of addressing the class imbalance problem encountered for rapid intensification prediction. This motivates further research in using innovative machine learning methods.


title: A New Backpressure Algorithm for Joint Rate Control and Routing with Vanishing Utility Optimality Gaps and Finite Queue Lengths

abstract: The backpressure algorithm has been widely used as a distributed solution to the problem of joint rate control and routing in multi-hop data networks. By controlling a parameter $V$ in the algorithm, the backpressure algorithm can achieve an arbitrarily small utility optimality gap. However, this in turn brings in a large queue length at each node and hence causes large network delay. This phenomenon is known as the fundamental utility-delay tradeoff. The best known utility-delay tradeoff for general networks is $[O(1/V), O(V)]$ and is attained by a backpressure algorithm based on a drift-plus-penalty technique. This may suggest that to achieve an arbitrarily small utility optimality gap, the existing backpressure algorithms necessarily yield an arbitrarily large queue length. However, this paper proposes a new backpressure algorithm that has a vanishing utility optimality gap, so utility converges to exact optimality as the algorithm keeps running, while queue lengths are bounded throughout by a finite constant. The technique uses backpressure and drift concepts with a new method for convex programming.


title: Systematic study of color spaces and components for the segmentation of sky/cloud images

abstract: Sky/cloud imaging using ground-based Whole Sky Imagers (WSI) is a cost-effective means to understanding cloud cover and weather patterns. The accurate segmentation of clouds in these images is a challenging task, as clouds do not possess any clear structure. Several algorithms using different color models have been proposed in the literature. This paper presents a systematic approach for the selection of color spaces and components for optimal segmentation of sky/cloud images. Using mainly principal component analysis (PCA) and fuzzy clustering for evaluation, we identify the most suitable color components for this task.


title: Sum of squares lower bounds for refuting any CSP

abstract: Let $P:\{0,1\}^k \to \{0,1\}$ be a nontrivial $k$-ary predicate. Consider a random instance of the constraint satisfaction problem $\mathrm{CSP}(P)$ on $n$ variables with $\Delta n$ constraints, each being $P$ applied to $k$ randomly chosen literals. Provided the constraint density satisfies $\Delta \gg 1$, such an instance is unsatisfiable with high probability. The \emph{refutation} problem is to efficiently find a proof of unsatisfiability. We show that whenever the predicate $P$ supports a $t$-\emph{wise uniform} probability distribution on its satisfying assignments, the sum of squares (SOS) algorithm of degree $d = \Theta(\frac{n}{\Delta^{2/(t-1)} \log \Delta})$ (which runs in time $n^{O(d)}$) \emph{cannot} refute a random instance of $\mathrm{CSP}(P)$. In particular, the polynomial-time SOS algorithm requires $\widetilde{\Omega}(n^{(t+1)/2})$ constraints to refute random instances of CSP$(P)$ when $P$ supports a $t$-wise uniform distribution on its satisfying assignments. Together with recent work of Lee et al. [LRS15], our result also implies that \emph{any} polynomial-size semidefinite programming relaxation for refutation requires at least $\widetilde{\Omega}(n^{(t+1)/2})$ constraints. Our results (which also extend with no change to CSPs over larger alphabets) subsume all previously known lower bounds for semialgebraic refutation of random CSPs. For every constraint predicate~$P$, they give a three-way hardness tradeoff between the density of constraints, the SOS degree (hence running time), and the strength of the refutation. By recent algorithmic results of Allen et al. [AOW15] and Raghavendra et al. [RRS16], this full three-way tradeoff is \emph{tight}, up to lower-order factors.


title: Proceedings Fourth International Workshop on Linearity

abstract: This volume contains the papers presented at LINEARITY 2016, the Fourth International Workshop on Linearity, held on June 26, 2016 in Porto, Portugal. The workshop was a one-day satellite event of FSCD 2016, the first International Conference on Formal Structures for Computation and Deduction. The aim of this workshop was to bring together researchers who are developing theory and applications of linear calculi, to foster their interaction and provide a forum for presenting new ideas and work in progress, and enable newcomers to learn about current activities in this area. Of interest were new results that made a central use of linearity, ranging from foundational work to applications in any field. This included: sub-linear logics, linear term calculi, linear type systems, linear proof-theory, linear programming languages, applications to concurrency, interaction-based systems, verification of linear systems, and biological and chemical models of computation.


title: Photospheric Emission of Gamma-Ray Bursts

abstract: We review the physics of GRB production by relativistic jets that start highly opaque near the central source and then expand to transparency. We discuss dissipative and radiative processes in the jet and how radiative transfer shapes the observed nonthermal spectrum released at the photosphere. A comparison of recent detailed models with observations gives estimates for important parameters of GRB jets, such as the Lorentz factor and magnetization. We also discuss predictions for GRB polarization and neutrino emission.


title: Spectra of charmed and bottom baryons with hyperfine interaction

abstract: Up to now, the excited charmed and bottom baryon states are still not well studied both experimentally and theoretically. In the present paper, we predict the mass of $\Omega_b^*$, the only $L = 0$ baryon state which has not been observed, to be 6069.2 MeV. The spectra of charmed and bottom baryons with the orbital angular momentum $L = 1$ are studied in two popular constituent quark models, the Goldstone boson exchange (GBE) and the one gluon exchange (OGE) hyperfine interaction models, respectively. Inserting the latest experimental data from the "Review of Particle Physics", we find that in the GBE model, there exist some multiplets ($\Sigma_{c(b)}$, $\Xi'_{c(b)}$ and $\Omega_{c(b)}$) which total spins of three quarks in their lowest energy states are 3/2, but in the OGE model there is no such phenomenon. This is the most important difference between the GBE and OGE models. These results can be tested in the near future. We suggest more efforts to study the excited charmed and bottom baryons both theoretically and experimentally, not only for the abundance of baryon spectra, but also for determining which hyperfine interaction model is realized in nature.


title: Cyber-Physical Systems Security -- A Survey

abstract: With the exponential growth of cyber-physical systems (CPS), new security challenges have emerged. Various vulnerabilities, threats, attacks, and controls have been introduced for the new generation of CPS. However, there lack a systematic study of CPS security issues. In particular, the heterogeneity of CPS components and the diversity of CPS systems have made it very difficult to study the problem with one generalized model. In this paper, we capture and systematize existing research on CPS security under a unified framework. The framework consists of three orthogonal coordinates: (1) from the \emph{security} perspective, we follow the well-known taxonomy of threats, vulnerabilities, attacks and controls; (2)from the \emph{CPS components} perspective, we focus on cyber, physical, and cyber-physical components; and (3) from the \emph{CPS systems} perspective, we explore general CPS features as well as representative systems (e.g., smart grids, medical CPS and smart cars). The model can be both abstract to show general interactions of a CPS application and specific to capture any details when needed. By doing so, we aim to build a model that is abstract enough to be applicable to various heterogeneous CPS applications; and to gain a modular view of the tightly coupled CPS components. Such abstract decoupling makes it possible to gain a systematic understanding of CPS security, and to highlight the potential sources of attacks and ways of protection.


title: A Cubic Transformation Formula for Appell-Lauricella Hypergeometric Functions over Finite Fields

abstract: We define a finite-field version of Appell-Lauricella hypergeometric functions built from period functions in several variables, paralleling the development by Fuselier, et. al in the single variable case. We develop geometric connections between these functions and the family of generalized Picard curves. In our main result, we use finite-field Appell-Lauricella functions to establish a finite-field analogue of Koike and Shiga's cubic transformation for the Appell hypergeometric function $F_1$, proving a conjecture of Ling Long. We use our multivariable period functions to construct formulas for the number of $\mathbb{F}_p$-points on the generalized Picard curves. We also give some transformation and reduction formulas for the period functions, and consequently for the finite-field Appell-Lauricella functions.


title: A product formula for log Gromov-Witten invariants

abstract: The purpose of this short article is to prove a product formula relating the log Gromov-Witten invariants of $V \times W$ with those of $V$ and $W$ in the case the log structure on $V$ is trivial.


title: From Community Detection to Community Profiling

abstract: Most existing community-related studies focus on detection, which aim to find the community membership for each user from user friendship links. However, membership alone, without a complete profile of what a community is and how it interacts with other communities, has limited applications. This motivates us to consider systematically profiling the communities and thereby developing useful community-level applications. In this paper, we for the first time formalize the concept of community profiling. With rich user information on the network, such as user published content and user diffusion links, we characterize a community in terms of both its internal content profile and external diffusion profile. The difficulty of community profiling is often underestimated. We novelly identify three unique challenges and propose a joint Community Profiling and Detection (CPD) model to address them accordingly. We also contribute a scalable inference algorithm, which scales linearly with the data size and it is easily parallelizable. We evaluate CPD on large-scale real-world data sets, and show that it is significantly better than the state-of-the-art baselines in various tasks.


title: On Equal Point Separation by Planar Cell Decompositions

abstract: In this paper, we investigate the problem of separating a set $X$ of points in $\mathbb{R}^{2}$ with an arrangement of $K$ lines such that each cell contains an asymptotically equal number of points (up to a constant ratio). We consider a property of curves called the stabbing number, defined to be the maximum countable number of intersections possible between the curve and a line in the plane. We show that large subsets of $X$ lying on Jordan curves of low stabbing number are an obstacle to equal separation. We further discuss Jordan curves of minimal stabbing number containing $X$. Our results generalize recent bounds on the Erd\H{o}s-Szekeres Conjecture, showing that for fixed $d$ and sufficiently large $n$, if $|X| \ge 2^{c_dn/d + o(n)}$ with $c_d = 1 + O(\frac{1}{\sqrt{d}})$, then there exists a subset of $n$ points lying on a Jordan curve with stabbing number at most $d$.


title: Incorporating the Environmental Dimension into Multidimensional Poverty Measurement: An Initial Proposition

abstract: Multidimensional poverty measurement has captured the attention of policy-makers and researchers during recent years. Mexico is one of the most advanced countries in the measurement of poverty beyond income indicators. However, both in Mexico and other countries which have attempted at measuring poverty from a multidimensional perspective, the environmental dimension, has been well under-represented. Based on international evidence and, using the welfare-rights based methodological framework used in Mexico to measure multi-dimensional poverty officially, the paper proposes an indicator and six sub-indicators for measuring the lack of a minimum welfare to fulfil the right to a healthy environment through 6 sub-indicators measuring effective access, quality and continuity with regards to water, energy, biodiversity, air, spatial health, waste management and the vulnerability to poverty from climate change impacts.


title: BTZ black hole assuming running couplings

abstract: In the present work a generalization of the BTZ black hole is studied, for the case of scale dependent couplings. One starts by using the effective action for scale dependence couplings to get a generalization of the Einstein field equations. Self consistent solutions for lapse function, cosmological coupling and Newtons coupling are found. The effect of scale dependent couplings with respect to the classical solution is shown. Moreover, asymptotic behavior as well as thermodynamic properties were investigated. Finally, an alternative way to get the scale dependent Newton coupling, from the so-called "Null Energy Condition" is presented.


title: Multi-view Regularized Gaussian Processes

abstract: Gaussian processes (GPs) have been proven to be powerful tools in various areas of machine learning. However, there are very few applications of GPs in the scenario of multi-view learning. In this paper, we present a new GP model for multi-view learning. Unlike existing methods, it combines multiple views by regularizing marginal likelihood with the consistency among the posterior distributions of latent functions from different views. Moreover, we give a general point selection scheme for multi-view learning and improve the proposed model by this criterion. Experimental results on multiple real world data sets have verified the effectiveness of the proposed model and witnessed the performance improvement through employing this novel point selection scheme.


title: On the maximal degree of the Khovanov homology

abstract: It is known that the maximal homological degree of the Khovanov homology of a knot gives a lower bound of the minimal positive crossing number of the knot. In this paper, we show that the maximal homological degree of the Khovanov homology of a cabling of a knot gives a lower bound of the minimal positive crossing number of the knot.


title: Improved Absolute Frequency Measurement of the 171Yb Optical Lattice Clock at KRISS Relative to the SI Second

abstract: We measured the absolute frequency of the $^1S_0$ - $^3P_0$ transition of $^{171}$Yb atoms confined in a one-dimensional optical lattice relative to the SI second. The determined frequency was 518 295 836 590 863.38(57) Hz. The uncertainty was reduced by a factor of 14 compared with our previously reported value in 2013 due to the significant improvements in decreasing the systematic uncertainties. This result is expected to contribute to the determination of a new recommended value for the secondary representations of the second.


title: First-principles study on the electronic and transport properties of periodically nitrogen-doped graphene and carbon nanotube superlattices

abstract: Prompted by recent reports on $\sqrt{3} \times \sqrt{3}$ graphene superlattices with intrinsic inter-valley interactions, we perform first-principles calculations to investigate the electronic properties of periodically nitrogen-doped graphene and carbon nanotube nanostructures. In these structures, nitrogen atoms substitute one-sixth of the carbon atoms in the pristine hexagonal lattices with exact periodicity to form perfect $\sqrt{3} \times \sqrt{3}$ superlattices of graphene and carbon nanotubes. Multiple nanostructures of $\sqrt{3} \times \sqrt{3}$ graphene ribbons and carbon nanotubes are explored, and all configurations show nonmagnetic and metallic behaviors. The transport properties of $\sqrt{3} \times \sqrt{3}$ graphene and carbon nanotube superlattices are calculated utilizing the non-equilibrium Green's function formalism combined with density functional theory. The transmission spectrum through the pristine and $\sqrt{3} \times \sqrt{3}$ armchair carbon nanotube heterostructure shows quantized behavior under certain circumstances.


title: Design of the telescope truss and gondola for the balloon-borne X-ray polarimeter X-Calibur

abstract: X-ray polarimetry has seen a growing interest in recent years. Improvements in detector technology and focusing X-ray optics now enable sensitive astrophysical X-ray polarization measurements. These measurements will provide new insights into the processes at work in accreting black holes, the emission of X-rays from neutron stars and magnetars, and the structure of AGN jets. X-Calibur is a balloon-borne hard X-ray scattering polarimeter. An X-ray mirror with a focal length of 8 m focuses X-rays onto the detector, which consists of a plastic scattering element surrounded by Cadmium-Zinc-Telluride detectors, which absorb and record the scattered X-rays. Since X-rays preferentially scatter perpendicular to their polarization direction, the polarization properties of an X-ray beam can be inferred from the azimuthal distribution of scattered X-rays. A close alignment of the X-ray focal spot with the center of the detector is required in order to reduce systematic uncertainties and to maintain a high photon detection efficiency. This places stringent requirements on the mechanical and thermal stability of the telescope structure. During the flight on a stratospheric balloon, X-Calibur makes use of the Wallops Arc-Second Pointer (WASP) to point the telescope at astrophysical sources. In this paper, we describe the design, construction, and test of the telescope structure, as well as its performance during a 25-hour flight from Ft. Sumner, New Mexico. The carbon fiber-aluminum composite structure met the requirements set by X-Calibur and its design can easily be adapted for other types of experiments, such as X-ray imaging or spectroscopic telescopes.


title: Cloud Resource Allocation for Cloud-Based Automotive Applications

abstract: There is a rapidly growing interest in the use of cloud computing for automotive vehicles to facilitate computation and data intensive tasks. Efficient utilization of on-demand cloud resources holds a significant potential to improve future vehicle safety, comfort, and fuel economy. In the meanwhile, issues like cyber security and resource allocation pose great challenges. In this paper, we treat the resource allocation problem for cloud-based automotive systems. Both private and public cloud paradigms are considered where a private cloud provides an internal, company-owned internet service dedicated to its own vehicles while a public cloud serves all subscribed vehicles. This paper establishes comprehensive models of cloud resource provisioning for both private and public cloud- based automotive systems. Complications such as stochastic communication delays and task deadlines are explicitly considered. In particular, a centralized resource provisioning model is developed for private cloud and chance constrained optimization is exploited to utilize the cloud resources for best Quality of Services. On the other hand, a decentralized auction-based model is developed for public cloud and reinforcement learning is employed to obtain an optimal bidding policy for a "selfish" agent. Numerical examples are presented to illustrate the effectiveness of the developed techniques.


title: SETIBURST: A Robotic, Commensal, Realtime Multi-Science Backend for the Arecibo Telescope

abstract: Radio astronomy has traditionally depended on observatories allocating time to observers for exclusive use of their telescopes. The disadvantage of this scheme is that the data thus collected is rarely used for other astronomy applications, and in many cases, is unsuitable. For example, properly calibrated pulsar search data can, with some reduction, be used for spectral line surveys. A backend that supports plugging in multiple applications to a telescope to perform commensal data analysis will vastly increase the science throughput of the facility. In this paper, we present 'SETIBURST', a robotic, commensal, realtime multi-science backend for the 305-m Arecibo Telescope. The system uses the 1.4 GHz, seven-beam Arecibo L-band Feed Array (ALFA) receiver whenever it is operated. SETIBURST currently supports two applications: SERENDIP VI, a SETI spectrometer that is conducting a search for signs of technological life, and ALFABURST, a fast transient search system that is conducting a survey of fast radio bursts (FRBs). Based on the FRB event rate and the expected usage of ALFA, we expect 0-5 FRB detections over the coming year. SETIBURST also provides the option of plugging in more applications. We outline the motivation for our instrumentation scheme and the scientific motivation of the two surveys, along with their descriptions and related discussions.


title: Observation of Low-Energy Einstein Phonon and Superconductivity in Single-Crystalline LaBe$_{13}$

abstract: The thermal and electrical transport properties of single-crystalline LaBe$_{13}$ have been investigated by specific-heat ($C$) and electrical-resistivity ($\rho$) measurements. The specific-heat measurements in a wide temperature range revealed the presence of a hump anomaly near 40 K in the $C$($T$)/$T$ curve, indicating that LaBe$_{13}$ has a low-energy Einstein-like-phonon mode with a characteristic temperature of $\sim$ 177 K. In addition, a superconducting transition was observed in the $\rho$ measurements at the transition temperature of 0.53 K, which is higher than the value of 0.27 K reported previously by Bonville et al. Furthermore, an unusual $T^3$ dependence was found in $\rho$($T$) below $\sim$ 50 K, in contrast to the behavior expected from the electron--electron scattering or the electron--Debye phonon scattering.


title: Fusing Deep Learned and Hand-Crafted Features of Appearance, Shape, and Dynamics for Automatic Pain Estimation

abstract: Automatic continuous time, continuous value assessment of a patient's pain from face video is highly sought after by the medical profession. Despite the recent advances in deep learning that attain impressive results in many domains, pain estimation risks not being able to benefit from this due to the difficulty in obtaining data sets of considerable size. In this work we propose a combination of hand-crafted and deep-learned features that makes the most of deep learning techniques in small sample settings. Encoding shape, appearance, and dynamics, our method significantly outperforms the current state of the art, attaining a RMSE error of less than 1 point on a 16-level pain scale, whilst simultaneously scoring a 67.3% Pearson correlation coefficient between our predicted pain level time series and the ground truth.


title: Fox-Neuwirth-Fuks cells, quantum shuffle algebras, and Malle's conjecture for function fields

abstract: The purpose of this paper is to prove the upper bound in Malle's conjecture on the distribution of finite extensions of $\mathbb{F}_q(t)$ with specified Galois group. As in previous work of Ellenberg-Venkatesh-Westerland, our result is based upon computations of the homology of braid groups with certain (exponential) coefficients. However, the approach in this paper is new, relying on a connection between the cohomology of Hurwitz spaces and the cohomology of quantum shuffle algebras.


title: Noncollinear magnetic ordering in a frustrated magnet: Metallic regime and the role of frustration

abstract: We explore the magnetic phases in a Kondo lattice model on the geometrically frustrated Shastry-Sutherland lattice at metallic electron densities, searching for noncollinear and noncoplanar spin textures. Motivated by experimental observations in many rare-earth-based frustrated metallic magnets, we treat the local moments as classical spins and set the coupling between the itinerant electrons and local moments as the largest energy scale in the problem. Our results show that a noncollinear flux state is stabilized over an extended range of Hamiltonian parameters. These spin states can be quenched efficiently by external fields like temperature and magnetic field as well as by varying the degree of frustration in the electronic itinerancy and exchange coupling between local moments. Interestingly, unlike insulating electron densities that we discussed in paper I of this sequence, a Dzyaloshinskii-Moriya interaction between the local moments is not essential for the emergence of their noncollinear ordering.