title: Cloaking the Clock: Emulating Clock Skew in Controller Area Networks

abstract: Automobiles are equipped with Electronic Control Units (ECU) that communicate via in-vehicle network protocol standards such as Controller Area Network (CAN). These protocols are designed under the assumption that separating in-vehicle communications from external networks is sufficient for protection against cyber attacks. This assumption, however, has been shown to be invalid by recent attacks in which adversaries were able to infiltrate the in-vehicle network. Motivated by these attacks, intrusion detection systems (IDSs) have been proposed for in-vehicle networks that attempt to detect attacks by making use of device fingerprinting using properties such as clock skew of an ECU. In this paper, we propose the cloaking attack, an intelligent masquerade attack in which an adversary modifies the timing of transmitted messages in order to match the clock skew of a targeted ECU. The attack leverages the fact that, while the clock skew is a physical property of each ECU that cannot be changed by the adversary, the estimation of the clock skew by other ECUs is based on network traffic, which, being a cyber component only, can be modified by an adversary. We implement the proposed cloaking attack and test it on two IDSs, namely, the current state-of-the-art IDS and a new IDS that we develop based on the widely-used Network Time Protocol (NTP). We implement the cloaking attack on two hardware testbeds, a prototype and a real connected vehicle, and show that it can always deceive both IDSs. We also introduce a new metric called the Maximum Slackness Index to quantify the effectiveness of the cloaking attack even when the adversary is unable to precisely match the clock skew of the targeted ECU.


title: Absolutely $\gamma$ - summing polynomials and the notion of coherence and compatibility

abstract: In this paper, we construct the abstract ideal of polynomials. We show this is an ideal of Banach and, in a second moment, we explore the question of the coherence and compatibility of the pair composed by the abstract ideals of polynomials and multilinear applications.


title: Domain Decomposition Methods based on quasi-optimal transmission operators for the solution of Helmholtz transmission problems

abstract: We present non-overlapping Domain Decomposition Methods (DDM) based on quasi-optimal transmission operators for the solution of Helmholtz transmission problems with piece-wise constant material properties. The quasi-optimal transmission boundary conditions incorporate readily available approximations of Dirichlet-to-Neumann operators. These approximations consist of either complexified hypersingular boundary integral operators for the Helmholtz equation or square root Fourier multipliers with complex wavenumbers. We show that under certain regularity assumptions on the closed interface of material discontinuity, the DDM with quasi-optimal transmission conditions are well-posed. We present a DDM framework based on Robin-to-Robin (RtR) operators that can be computed robustly via boundary integral formulations. More importantly, the use of quasi-optimal transmission operators results in DDM that converge in small numbers of iterations even in the challenging high-contrast, high-frequency regime of Helmholtz transmission problems. Furthermore, the DDM presented in this text require only minor modifications to handle the case of transmission problems in partially coated domains, while still maintaining excellent convergence properties. We also investigate the dependence of the DDM iterative performance on the number of subdomains.


title: Predictions for production and decay of the pseudoscalar glueball from the Witten-Sakai-Sugimoto model

abstract: The Witten-Sakai-Sugimoto model, a top-down gauge/gravity model of large-$N_c$ low-energy QCD based on type-IIA string theory and $N_c$ D4 branes with chiral quarks added by probe D8 branes, involves only one dimensionless parameter, the 't Hooft coupling at its cutoff (Kaluza-Klein) scale. Although this cutoff scale is around 1 GeV, the model has turned out to be surprisingly predictive also quantitatively, reproducing masses of vector and axial vector mesons, their decay rates, as well as the anomalous mass of the \eta' meson, all within 10-30% errors. Using it as a guide for glueball signatures, we have argued that it indicates that the meson $f_0(1710)$ may be a nearly pure glueball, with rather specific predictions for the still-to-be-measured 4\pi and \eta\eta' decays. Here we present our new predictions for the decay pattern of the (very narrow) pseudoscalar glueball, which is closely related to the U(1)$_A$ problem that the model is in fact handling correctly.


title: On frequency estimation for partially observed processes with small noise in observations

abstract: We consider the problem of frequency estimation of the periodic signal multiplied by a stationary Gaussian process (Ornstein-Uhlenbeck) and observed in the presence of the white Gaussian noise. We show the consistency and asymptotic normality of the maximum likelihood estimator in the asymptotics of small noise in observations. The model of observations is a linear nonhomogeneous partially observed system and the construction and study of the estimator is essentialy based on the asymptotics of the equations of Kalman-Bucy filtration.


title: Support theorems in abstract settings

abstract: In this paper we establish a general framework in which the verification of support theorems for generalized convex functions acting between an algebraic structure and an ordered algebraic structure is still possible. As for the domain space, we allow algebraic structures equipped with families of algebraic operations whose operations are mutually distributive with respect to each other. We introduce several new concepts in such algebraic structures, the notions of convex set, extreme set, and interior point with respect to a given family of operations, furthermore, we describe their most basic and required properties. In the context of the range space, we introduce the notion of completeness of a partially ordered set with respect to the existence of the infimum of lower bounded chains, we also offer several sufficient condition which imply this property. For instance, the order generated by a sharp cone in a vector space turns out to possess this completeness property. By taking several particular cases, we deduce support and extension theorems in various classical and important settings.


title: Sobolev extremal polynomials with respect to mutually singular measures

abstract: We consider extremal polynomials with respect to a Sobolev-type $p$-norm, with $1<p<\infty$ and measures supported on compact subsets of the real line. For a wide class of such extremal polynomials with respect to mutually singular measures (i.e. supported on disjoint subsets of the real line), it is proved that their critical points are simple and contained in the interior of the convex hull of the support of the measures involved and the asymptotic critical point distribution is studied. We also find the $n$th root asymptotic behavior of the corresponding sequence of Sobolev extremal polynomials and their derivatives.


title: Dispersion in two dimensional channels - the Fick-Jacobs approximation revisited

abstract: We examine the dispersion of Brownian particles in a symmetric two dimensional channel, this classical problem has been widely studied in the literature using the so called Fick-Jacobs' approximation and its various improvements. Most studies rely on the reduction to an effective one dimensional diffusion equation, here we drive an explicit formula for the diffusion constant which avoids this reduction. Using this formula the effective diffusion constant can be evaluated numerically without resorting to Brownian simulations. In addition a perturbation theory can be developed in $\varepsilon = h_0/L$ where $h_0$ is the characteristic channel height and $L$ the period. This perturbation theory confirms the results of Kalinay and Percus (Phys. Rev. E 74, 041203 (2006)), based on the reduction, to one dimensional diffusion are exact at least to ${\cal O}(\varepsilon^6)$. Furthermore, we show how the Kalinay and Percus pseudo-linear approximation can be straightforwardly recovered. The approach proposed here can also be exploited to yield exact results an appropriate limit $\varepsilon \to \infty$, we show that here the diffusion constant remains finite and show how the result can be obtained with a simple physical argument. Moreover we show that the correction to the effective diffusion constant is of order $1/\varepsilon$ and remarkably has a some universal characteristics. Numerically we compare the analytical results obtained with exact numerical calculations for a number of interesting channel geometries.


title: Dissecting spin-phonon equilibration in ferrimagnetic insulators by ultrafast lattice excitation

abstract: To gain control over magnetic order on ultrafast time scales, a fundamental understanding of the way electron spins interact with the surrounding crystal lattice is required. However, measurement and analysis even of basic collective processes such as spin-phonon equilibration have remained challenging. Here, we directly probe the flow of energy and angular momentum in the model insulating ferrimagnet yttrium iron garnet. Following ultrafast resonant lattice excitation, we observe that magnetic order reduces on distinct time scales of 1 ps and 100 ns. Temperature-dependent measurements, a spin-coupling analysis and simulations show that the two dynamics directly reflect two stages of spin-lattice equilibration. On the 1-ps scale, spins and phonons reach quasi-equilibrium in terms of energy through phonon-induced modulation of the exchange interaction. This mechanism leads to identical demagnetization of the ferrimagnet's two spin-sublattices and a novel ferrimagnetic state of increased temperature yet unchanged total magnetization. Finally, on the much slower, 100-ns scale, the excess of spin angular momentum is released to the crystal lattice, resulting in full equilibrium. Our findings are relevant for all insulating ferrimagnets and indicate that spin manipulation by phonons, including the spin Seebeck effect, can be extended to antiferromagnets and into the terahertz frequency range.


title: Collisions of false vacuum bubbles in cylindrical symmetry

abstract: We explore the collision of two cylindrical bubbles in classical general relativity with a scalar field stress-energy tensor. Inside each bubble the field rests at a local minimum of the potential with non-negative energy density. Outside the field rests at zero potential, the global minimum. The calculation resolves the connection from the inner de-Sitter region to the asymptotically flat Minkowski spacetime. We choose initial conditions such that the two bubbles collide and study the full nonlinear evolution by means of a two-dimensional numerical simulation of Einstein's equations. The collision generates a strongly interacting region with spatially varying fields and potentials. These circumstances promote dynamical exploration of the potential's landscape. No horizon is present and the scalar curvature invariants eventually diverge. We speculate that Schwarzschild-like horizons will encompass only part of the complicated, interesting regions of spacetime in the analogous case of colliding spherical bubbles.


title: Rudder Augmented Trajectory Correction for Small UAV to Minimize Lateral Image Errors

abstract: Civil applications for unmanned aerial vehicles (UAVs) have increased rapidly over the last few years. In the realm of civil applications, many aircraft carry cameras that are physically fixed to the airframe. While this yields a simple and robust remote sensing platform, the imagery quality diminishes with increasing attitude errors. A rudder augmented trajectory correction method for small unmanned aerial vehicles is discussed in this paper. The goal of this type of controller is to minimize the lateral image errors of body fixed non-gimbaled cameras. We present a comparison to current aileron only trajectory correction autopilots. Simulation and flight test results are presented that show significant reduction in the roll angle present during trajectory correction resulting in a large effect on total flight line image deviations.


title: Properties of Syndrome Distribution for Blind Reconstruction of Cyclic Codes

abstract: In the problem of blind reconstruction of channel codes, the receiver does not have the knowledge of the channel code used at the transmitter and the aim is to identify this unknown channel code corresponding to the given received sequence. In this paper, we study this blind reconstruction problem for binary cyclic codes. In the literature, several researchers have proposed blind reconstruction algorithms that make use of the distribution of the syndromes (remainders) of the received polynomials with respect to a candidate polynomial for the generator polynomial of the cyclic code. However, very limited analysis is available for the syndrome distribution and its properties. In this paper, we study the syndrome structure of the received polynomials. Specifically, we prove that the syndrome distribution of the noise-free sequence can either be uniform or restricted uniform. We also provide the necessary and sufficient conditions for it to be of the either type. For the noise-affected received sequence we prove that, finding the syndrome distribution is in general computationally intractable. We also apply these results to analyze the performance of the existing methods and verify some of the assumptions made in the literature for blind reconstruction.


title: Nonsparse learning with latent variables

abstract: As a popular tool for producing meaningful and interpretable models, large-scale sparse learning works efficiently when the underlying structures are indeed or close to sparse. However, naively applying the existing regularization methods can result in misleading outcomes due to model misspecification. In particular, the direct sparsity assumption on coefficient vectors has been questioned in real applications. Therefore, we consider nonsparse learning with the conditional sparsity structure that the coefficient vector becomes sparse after taking out the impacts of certain unobservable latent variables. A new methodology of nonsparse learning with latent variables (NSL) is proposed to simultaneously recover the significant observable predictors and latent factors as well as their effects. We explore a common latent family incorporating population principal components and derive the convergence rates of both sample principal components and their score vectors that hold for a wide class of distributions. With the properly estimated latent variables, properties including model selection consistency and oracle inequalities under various prediction and estimation losses are established for the proposed methodology. Our new methodology and results are evidenced by simulation and real data examples.


title: A graph with fractional revival

abstract: An example of a graph that admits balanced fractional revival between antipodes is presented. It is obtained by establishing the correspondence between the quantum walk on a hypercube where the opposite vertices across the diagonals of each face are connected and, the coherent transport of single excitations in the extension of the Krawtchouk spin chain with next-to-nearest neighbour interactions.


title: Supercommutator algebras of right (Hom-)alternative superalgebras

abstract: The supercommutator algebra of a right alternative superalgebra is a Bol superalgebra. Hom-Bol superalgebras are defined and it is shown that they are closed under even self-morphisms. Any Bol superalgebra along with any even self-morphism is twisted into a Hom-Bol superalgebra. The supercommutator algebra of a right Hom-alternative superalgebra has a natural Hom-Bol superalgebra structure.


title: Intrinsically shunted Josephson junctions for electronics applications

abstract: Conventional Josephson metal-insulator-metal devices are inherently underdamped and exhibit hysteretic current-voltage response due to a very high subgap resistance compared to that in the normal state. At the same time, overdamped junctions with single-valued characteristics are needed for most superconducting digital applications. The usual way to overcome the hysteretic behavior is to place an external low-resistance normal-metal shunt in parallel with each junction. Unfortunately, such solution results in a considerable complication of the circuitry design and introduces parasitic inductance through the junction. This paper provides a concise overview of some generic approaches that have been proposed in order to realize internal shunting in Josephson heterostructures with a barrier that itself contains the desired resistive component. The main attention is paid to self-shunted devices with local weak-link transmission probabilities so strongly disordered in the interface plane that transmission probabilities are tiny for the main part of the transition region between two superconducting electrodes, while a small part of the interface is well transparent. We consider the possibility of realizing a universal bimodal distribution function and emphasize advantages of such junctions that can be considered as a new class of self-shunted Josephson devices promising for practical applications in superconducting electronics operating at 4.2 K.


title: Scalar problems in junctions of rods and a plate. II. Self-adjoint extensions and simulation models

abstract: In this work we deal with a scalar spectral mixed boundary value problem in a spacial junction of thin rods and a plate. Constructing asymptotics of the eigenvalues, we employ two equipollent asymptotic models posed on the skeleton of the junction, that is, a hybrid domain. We, first, use the technique of self-adjoint extensions and, second, we impose algebraic conditions at the junction points in order to compile a problem in a function space with detached asymptotics. The latter problem is involved into a symmetric generalized Green formula and, therefore, admits the variational formulation. In comparison with a primordial asymptotic procedure, these two models provide much better proximity of the spectra of the problems in the spacial junction and in its skeleton. However, they exhibit the negative spectrum of finite multiplicity and for these "parasitic" eigenvalues we derive asymptotic formulas to demonstrate that they do not belong to the service area of the developed asymptotic models.


title: Set-Valued Young Tableaux and Product-Coproduct Prographs

abstract: Standard set-valued Young tableaux are a generalization of standard Young tableaux where cells can contain unordered sets of integers, with the added condition that every integer at position $(i,j)$ must be smaller that every integer at both $(i+1,j)$ and $(i,j+1)$. In this paper, we explore properties of standard set-valued Young tableaux with three rows and a fixed number of integers in every cell of each row (referred to as set-valued tableaux with row-constant density). Our primary focus is on standard set-valued Young tableaux with $1$ integer in each first-row cell, $k-1$ integers in each second-row cell, and $1$ integer in each third-row cell. For rectangular shapes $\lambda=n^3$, such tableaux are placed in bijection with closed $k$-ary product-coproduct prographs: directed plane graphs that correspond to finite compositions involving a $k$-ary product operator and a $k$-ary coproduct operator. That bijection is extended to three-row set-valued Young tableaux of non-rectangular and skew shape, and it is shown that a set-valued analogue of the Sch\"utzenberger involution on tableaux corresponds to $180$-degree rotation of the associated prographs. As a set-valued analogue of the hook-length formula is currently lacking, we also present direct enumerations of three-row standard set-valued Young tableaux for a variety of row-constant densities and a small number of columns. We then argue why the numbers of tableaux with the row-constant density $(1,k-1,1)$ should be interpreted as a one-parameter generalization of the three-dimensional Catalan numbers that mirrors the generalization of the (two-dimensional) Catalan numbers provided by the $k$-Catalan numbers.


title: A characterization of Dirichlet-inner functions

abstract: We study a concept of inner function suited to Dirichlet-type spaces. We characterize Dirichlet-inner functions as those for which both the space and multiplier norms are equal to 1.


title: S-matrix analysis of the baryon electric charge correlation

abstract: We compute the correlation of the net baryon number with the electric charge ($\chi_{BQ}$) for an interacting hadron gas using the S-matrix formulation of statistical mechanics. The observable $\chi_{BQ}$ is particularly sensitive to the details of the pion-nucleon interaction, which are consistently incorporated in the current scheme via the empirical scattering phase shifts. Comparing to the recent lattice QCD studies in the $(2+1)$-flavor system, we find that the natural implementation of interactions and the proper treatment of resonances in the S-matrix approach lead to an improved description of the lattice data over that obtained in the hadron resonance gas model.


title: Coupled spin-charge dynamics in helical Fermi liquids beyond the random phase approximation

abstract: We consider a helical system of fermions with a generic spin (or pseudospin) orbit coupling. Using the equation of motion approach for the single-particle distribution functions, and a mean-field decoupling of the higher order distribution functions, we find a closed form for the charge and spin density fluctuations in terms of the charge and spin density linear response functions. Approximating the nonlocal exchange term with a Hubbard-like local-field factor, we obtain coupled spin and charge density response matrix beyond the random phase approximation, whose poles give the dispersion of four collective spin-charge modes. We apply our generic technique to the well-explored two-dimensional system with Rashba spin-orbit coupling and illustrate how it gives results for the collective modes, Drude weight, and spin-Hall conductivity which are in very good agreement with the results obtained from other more sophisticated approaches.


title: On Singular Stationarity II (tight stationarity and extenders-based methods)

abstract: We study the notion of tightly stationary sets which was introduced by Foreman and Magidor in \cite{ForMag-MS}. We obtain two consistency results which show that it is possible for a sequence of regular cardinals $( \kappa_n )_{n < \omega}$ to have the property that for every sequence $\vec{S}$, of some fixed-cofinality stationary sets $S_n \subseteq \kappa_n$, $\vec{S}$ is tightly stationary in a generic extension. The results are obtained using variations of the short-extenders forcing method.


title: Interactive Learning of State Representation through Natural Language Instruction and Explanation

abstract: One significant simplification in most previous work on robot learning is the closed-world assumption where the robot is assumed to know ahead of time a complete set of predicates describing the state of the physical world. However, robots are not likely to have a complete model of the world especially when learning a new task. To address this problem, this extended abstract gives a brief introduction to our on-going work that aims to enable the robot to acquire new state representations through language communication with humans.


title: Wasserstein and total variation distance between marginals of L\'evy processes

abstract: We present upper bounds for the Wasserstein distance of order $p$ between the marginals of L\'evy processes, including Gaussian approximations for jumps of infinite activity. Using the convolution structure, we further derive upper bounds for the total variation distance between the marginals of L\'evy processes. Connections to other metrics like Zolotarev and Toscani-Fourier distances are established. The theory is illustrated by concrete examples and an application to statistical lower bounds.


title: Adding random edges to create the square of a Hamilton cycle

abstract: We consider how many random edges need to be added to a graph of order $n$ with minimum degree $\alpha n$ in order that it contains the square of a Hamilton cycle w.h.p..


title: Group Sparse CNNs for Question Classification with Answer Sets

abstract: Question classification is an important task with wide applications. However, traditional techniques treat questions as general sentences, ignoring the corresponding answer data. In order to consider answer information into question modeling, we first introduce novel group sparse autoencoders which refine question representation by utilizing group information in the answer set. We then propose novel group sparse CNNs which naturally learn question representation with respect to their answers by implanting group sparse autoencoders into traditional CNNs. The proposed model significantly outperform strong baselines on four datasets.


title: OSU Multimodal Machine Translation System Report

abstract: This paper describes Oregon State University's submissions to the shared WMT'17 task "multimodal translation task I". In this task, all the sentence pairs are image captions in different languages. The key difference between this task and conventional machine translation is that we have corresponding images as additional information for each sentence pair. In this paper, we introduce a simple but effective system which takes an image shared between different languages, feeding it into the both encoding and decoding side. We report our system's performance for English-French and English-German with Flickr30K (in-domain) and MSCOCO (out-of-domain) datasets. Our system achieves the best performance in TER for English-German for MSCOCO dataset.


title: Rare FCNC radiative leptonic decays $B\to\gamma\ell^+\ell^-$

abstract: We present our recent results for long-distance QCD effects in the FCNC radiative leptonic decays $B\to\gamma\ell^+\ell^-$, $\ell=\{e,\mu\}$. One encounters here two distinct types of long-distance effects: those encoded in the $B\to\gamma$ transition form factors induced by the $b\to q$ quark currents, and those related to the charm-loop effects. We calculate the $B\to\gamma$ form factors in a broad range of the momentum transfers making use of the relativisitc dispersion approach based on the constituent quark picture which has proven to provide reliable predictions for many weak-transition form factors. Concerning the description of the charm-loop contributions, we point out two observations: First, the precise description of the charmonium resonances, in particular, the relative phases between $\psi$ and $\psi'$, has impact on the differential distributions and on the forward-backward asymmetry, $A_{\rm FB}$, in a broad range of $q^2\ge 5$ GeV$^2$. Second, the shape of $A_{\rm FB}$ in $B\to\gamma\ell^+\ell^-$ and in $B\to V\ell^+\ell^-$ ($V$ the vector meson) {\it in the $q^2$-region between $\psi$ and $\psi'$} provides an unambiguous probe of the relative phases between $\psi$ and $\psi'$. Fixing the latter will lead to a strong reduction of the theoretical uncertainties in $A_{\rm FB}$ at $q^2=5-9$ GeV$^2$ where it has the sensitivity to physics beyond the SM.


title: Thermodynamics of dyonic black holes with Thurston horizon geometries

abstract: In five dimensions, we consider a model described by the Einstein gravity with a source given by a scalar field and various Abelian gauge fields with dilatonic-like couplings. For this model, we are able to construct two dyonic black holes whose three-dimensional horizons are modeled by two nontrivial homogeneous Thurston's geometries. The dyonic solutions are of Lifshitz type with an arbitrary value of the dynamical exponent. In fact, the first gauge field ensures the anisotropy asymptotic while the remaining Abelian fields sustain the electric and magnetic charges. Using the Hamiltonian formalism, the mass, the electric and magnetic charges are explicitly computed. Interestingly enough, the dyonic solutions behave like Chern-Simons vortices in the sense that their electric and magnetic charges turn to be proportional. The extension with an hyperscaling violating factor is also scrutinized where we notice that for specific values of the violating factor, purely magnetic solutions are possible.


title: Chaos in a non-autonomous nonlinear system describing asymmetric water wheels

abstract: We use physical principles to derive a water wheel model under the assumption of an asymmetric water wheel for which the water inflow rate is in general unsteady (modeled by an arbitrary function of time). Our model allows one to recover the asymmetric water wheel with steady flow rate, as well as the symmetric water wheel, as special cases. Under physically reasonable assumptions we then reduce the underlying model into a non-autonomous nonlinear system. In order to determine parameter regimes giving chaotic dynamics in this non-autonomous nonlinear system, we consider an application of competitive modes analysis. In order to apply this method to a non-autonomous system, we are required to generalize the competitive modes analysis so that it is applicable to non-autonomous systems. The non-autonomous nonlinear water wheel model is shown to satisfy competitive modes conditions for chaos in certain parameter regimes, and we employ the obtained parameter regimes to construct the chaotic attractors. As anticipated, the asymmetric unsteady water wheel exhibits more disorder than does the asymmetric steady water wheel, which in turn is less regular than the symmetric steady state water wheel. Our results suggest that chaos should be fairly ubiquitous in the asymmetric water wheel model with unsteady inflow of water.


title: Rybu: Imperative-style Preprocessor for Verification of Distributed Systems in the Dedan Environment

abstract: Integrated Model of Distributed Systems (IMDS) is developed for specification and verification of distributed systems, and verification against deadlocks. On the basis of IMDS, Dedan verification environment was prepared. Universal deadlock detection formulas allow for automatic verification, without any knowledge of a temporal logic, which simplifies the verification process. However, the input language, following the rules of IMDS, seems to be exotic for many users. For this reason Rybu preprocessor was created. Its purpose is to build large models in imperative-style language, on much higher abstraction level.


title: Univalent Foundations and the UniMath Library

abstract: We give a concise presentation of the Univalent Foundations of mathematics outlining the main ideas, followed by a discussion of the UniMath library of formalized mathematics implementing the ideas of the Univalent Foundations (section 1), and the challenges one faces in attempting to design a large-scale library of formalized mathematics (section 2). This leads us to a general discussion about the links between architecture and mathematics where a meeting of minds is revealed between architects and mathematicians (section 3). On the way our odyssey from the foundations to the "horizon" of mathematics will lead us to meet the mathematicians David Hilbert and Nicolas Bourbaki as well as the architect Christopher Alexander.


title: The case for black hole thermodynamics, Part I: phenomenological thermodynamics

abstract: I give a fairly systematic and thorough presentation of the case for regarding black holes as thermodynamic systems in the fullest sense, aimed at students and non-specialists and not presuming advanced knowledge of quantum gravity. I pay particular attention to (i) the availability in classical black hole thermodynamics of a well-defined notion of adiabatic intervention; (ii) the power of the membrane paradigm to make black hole thermodynamics precise and to extend it to local-equilibrium contexts; (iii) the central role of Hawking radiation in permitting black holes to be in thermal contact with one another; (iv) the wide range of routes by which Hawking radiation can be derived and its back-reaction on the black hole calculated; (v) the interpretation of Hawking radiation close to the black hole as a gravitationally bound thermal atmosphere. In an appendix I discuss recent criticisms of black hole thermodynamics by Dougherty and Callender. This paper confines its attention to the thermodynamics of black holes; a sequel will consider their statistical mechanics.


title: The case for black hole thermodynamics, Part II: statistical mechanics

abstract: I present in detail the case for regarding black hole thermodynamics as having a statistical-mechanical explanation in exact parallel with the statistical-mechanical explanation believed to underly the thermodynamics of other systems. (Here I presume that black holes are indeed thermodynamic systems in the fullest sense; I review the evidence for \emph{that} conclusion in the prequel to this paper.) I focus on three lines of argument: (i) zero-loop and one-loop calculations in quantum general relativity understood as a quantum field theory, using the path-integral formalism; (ii) calculations in string theory of the leading-order terms, higher-derivative corrections, and quantum corrections, in the black hole entropy formula for extremal and near-extremal black holes; (iii) recovery of the qualitative and (in some cases) quantitative structure of black hole statistical mechanics via the AdS/CFT correspondence. In each case I briefly review the content of, and arguments for, the form of quantum gravity being used (effective field theory; string theory; AdS/CFT) at a (relatively) introductory level: the paper is aimed at students and non-specialists and does not presume advanced knowledge of quantum gravity.. My conclusion is that the evidence for black hole statistical mechanics is as solid as we could reasonably expect it to be in the absence of a directly-empirically-verified theory of quantum gravity.


title: Image Matching Using SIFT, SURF, BRIEF and ORB: Performance Comparison for Distorted Images

abstract: Fast and robust image matching is a very important task with various applications in computer vision and robotics. In this paper, we compare the performance of three different image matching techniques, i.e., SIFT, SURF, and ORB, against different kinds of transformations and deformations such as scaling, rotation, noise, fish eye distortion, and shearing. For this purpose, we manually apply different types of transformations on original images and compute the matching evaluation parameters such as the number of key points in images, the matching rate, and the execution time required for each algorithm and we will show that which algorithm is the best more robust against each kind of distortion. Index Terms-Image matching, scale invariant feature transform (SIFT), speed up robust feature (SURF), robust independent elementary features (BRIEF), oriented FAST, rotated BRIEF (ORB).


title: Islands in minor-closed classes. I. Bounded treewidth and separators

abstract: The clustered chromatic number of a graph class is the minimum integer $t$ such that for some $C$ the vertices of every graph in the class can be colored in $t$ colors so that every monochromatic component has size at most $C$. We show that the clustered chromatic number of the class of graphs embeddable on a given surface is four, proving the conjecture of Esperet and Ochem. Additionally, we study the list version of the concept and characterize the minor-closed classes of graphs of bounded treewidth with given clustered list chromatic number. We further strengthen the above results to solve some extremal problems on bootstrap percolation of minor-closed classes.


title: Image Identification Using SIFT Algorithm: Performance Analysis against Different Image Deformations

abstract: Image identification is one of the most challenging tasks in different areas of computer vision. Scale-invariant feature transform is an algorithm to detect and describe local features in images to further use them as an image matching criteria. In this paper, the performance of the SIFT matching algorithm against various image distortions such as rotation, scaling, fisheye and motion distortion are evaluated and false and true positive rates for a large number of image pairs are calculated and presented. We also evaluate the distribution of the matched keypoint orientation difference for each image deformation.


title: A class of semisimple Hopf algebras acting on quantum polynomial algebras

abstract: We construct a class of non-commutative, non-cocommutative, semisimple Hopf algebras of dimension $2n^2$ and present conditions to define an inner faithful action of these Hopf algebras on quantum polynomial algebras, providing, in this way, more examples of semisimple Hopf actions which do not factor through group actions. Also, under certain condition, we classify the inner faithful Hopf actions of the Kac-Paljutkin Hopf algebra of dimension $8$, $H_8$, on the quantum plane.


title: Average CsI neutron density distribution from COHERENT data

abstract: Using the coherent elastic neutrino-nucleus scattering data of the COHERENT experiment, we determine for the first time the average neutron rms radius of $^{133}\text{Cs}$ and $^{127}\text{I}$. We obtain the practically model-independent value $ R_{n} = 5.5 {}^{+0.9}_{-1.1} \, \text{fm} $ using the symmetrized Fermi and Helm form factors. We also point out that the COHERENT data show a $2.3\sigma$ evidence of the nuclear structure suppression of the full coherence.


title: Sharp boundary behaviour of solutions to semilinear nonlocal elliptic equations

abstract: We investigate quantitative properties of nonnegative solutions $u(x)\ge 0$ to the semilinear diffusion equation $\mathcal{L} u= f(u)$, posed in a bounded domain $\Omega\subset {\mathbb R}^N$ with appropriate homogeneous Dirichlet or outer boundary conditions. The operator $\mathcal{L}$ may belong to a quite general class of linear operators that include the standard Laplacian, the two most common definitions of the fractional Laplacian $(-\Delta)^s$ ($0<s<1$) in a bounded domain with zero Dirichlet conditions, and a number of other nonlocal versions. The nonlinearity $f$ is increasing and looks like a power function $f(u)\sim u^p$, with $p\le 1$. The aim of this paper is to show sharp quantitative boundary estimates based on a new iteration process. We also prove that, in the interior, solutions are H\"older continuous and even classical (when the operator allows for it). In addition, we get H\"older continuity up to the boundary. Particularly interesting is the behaviour of solution when the number $\frac{2s}{1-p}$ goes below the exponent $\gamma \in(0,1]$ corresponding to the H\"older regularity of the first eigenfunction $\mathcal{L}\Phi_1=\lambda_1 \Phi_1$. Indeed a change of boundary regularity happens in the different regimes $\frac{2s}{1-p} \gtreqqless \gamma$, and in particular a logarithmic correction appears in the "critical" case $\frac{2s}{1-p} = \gamma$. Indeed a change of boundary regularity happens in the different regimes $\frac{2s}{1-p} \gtreqqless \gamma$, and in particular a logarithmic correction appears in the "critical" case $\frac{2s}{1-p} = \gamma$. For instance, in the case of the spectral fractional Laplacian, this surprising boundary behaviour appears in the range $0<s\leq \frac{1-p}{2}$.


title: A Semi-Automated Technique for Internal Jugular Vein Segmentation in Ultrasound Images Using Active Contours

abstract: The assessment of the blood volume is crucial for the management of many acute and chronic diseases. Recent studies have shown that circulating blood volume correlates with the cross-sectional area (CSA) of the internal jugular vein (IJV) estimated from ultrasound imagery. In this paper, a semi-automatic segmentation algorithm is proposed using a combination of region growing and active contour techniques to provide a fast and accurate segmentation of IJV ultrasound videos. The algorithm is applied to track and segment the IJV across a range of image qualities, shapes, and temporal variation. The experimental results show that the algorithm performs well compared to expert manual segmentation and outperforms several published algorithms incorporating speckle tracking.


title: Combinatorial Miller-Hagberg Algorithm for Randomization of Dense Networks

abstract: We propose a slightly revised Miller-Hagberg (MH) algorithm that efficiently generates a random network from a given expected degree sequence. The revision was to replace the approximated edge probability between a pair of nodes with a combinatorically calculated edge probability that better captures the likelihood of edge presence especially where edges are dense. The computational complexity of this combinatorial MH algorithm is still in the same order as the original one. We evaluated the proposed algorithm through several numerical experiments. The results demonstrated that the proposed algorithm was particularly good at accurately representing high-degree nodes in dense, heterogeneous networks. This algorithm may be a useful alternative of other more established network randomization methods, given that the data are increasingly becoming larger and denser in today's network science research.


title: Multiplicative and Exponential Variations of Orthomorphisms of Cyclic Groups

abstract: An orthomorphism is a permutation $\sigma$ of $\{1, \dots, n-1\}$ for which $x + \sigma(x) \mod n$ is also a permutation on $\{1, \dots, n-1\}$. Eberhard, Manners, Mrazovi\'c, showed that the number of such orthomorphisms is $(\sqrt{e} + o(1)) \cdot \frac{n!^2}{n^n}$ for odd $n$ and zero otherwise. In this paper we prove two analogs of these results where $x+\sigma(x)$ is replaced by $x \sigma(x)$ (a "multiplicative orthomorphism") or with $x^{\sigma(x)}$ (an "exponential orthomorphism"). Namely, we show that no multiplicative orthomorphisms exist for $n > 2$ but that exponential orthomorphisms exist whenever $n$ is twice a prime $p$ such that $p-1$ is squarefree. In the latter case we then estimate the number of exponential orthomorphisms.


title: Zimmer's conjecture for actions of $\mathrm{SL}(m,\mathbb{Z})$

abstract: We prove Zimmer's conjecture for $C^2$ actions by finite-index subgroups of $\mathrm{SL}(m,\mathbb{Z})$ provided $m>3$. The method utilizes many ingredients from our earlier proof of the conjecture for actions by cocompact lattices in $\mathrm{SL}(m,\mathbb{R})$ but new ideas are needed to overcome the lack of compactness of the space $(G \times M)/\Gamma$ (admitting the induced $G$-action). Non-compactness allows both measures and Lyapunov exponents to escape to infinity under averaging and a number of algebraic, geometric, and dynamical tools are used control this escape. New ideas are provided by the work of Lubotzky, Mozes, and Raghunathan on the structure of nonuniform lattices and, in particular, of $\mathrm{SL}(m,\mathbb{Z})$ providing a geometric decomposition of the cusp into rank one directions, whose geometry is more easily controlled. The proof also makes use of a precise quantitative form of non-divergence of unipotent orbits by Kleinbock and Margulis, and an extension by de la Salle of strong property (T) to representations of nonuniform lattices.


title: Beyond Log-concavity: Provable Guarantees for Sampling Multi-modal Distributions using Simulated Tempering Langevin Monte Carlo

abstract: A key task in Bayesian statistics is sampling from distributions that are only specified up to a partition function (i.e., constant of proportionality). However, without any assumptions, sampling (even approximately) can be #P-hard, and few works have provided "beyond worst-case" guarantees for such settings. For log-concave distributions, classical results going back to Bakry and \'Emery (1985) show that natural continuous-time Markov chains called Langevin diffusions mix in polynomial time. The most salient feature of log-concavity violated in practice is uni-modality: commonly, the distributions we wish to sample from are multi-modal. In the presence of multiple deep and well-separated modes, Langevin diffusion suffers from torpid mixing. We address this problem by combining Langevin diffusion with simulated tempering. The result is a Markov chain that mixes more rapidly by transitioning between different temperatures of the distribution. We analyze this Markov chain for the canonical multi-modal distribution: a mixture of gaussians (of equal variance). The algorithm based on our Markov chain provably samples from distributions that are close to mixtures of gaussians, given access to the gradient of the log-pdf. For the analysis, we use a spectral decomposition theorem for graphs (Gharan and Trevisan, 2014) and a Markov chain decomposition technique (Madras and Randall, 2002).


title: On the De Gregorio modification of the Constantin-Lax-Majda Model

abstract: We study a modification due to De Gregorio of the Constantin-Lax-Majda (CLM) model $\omega_t = \omega H\omega$ on the unit circle. The De Gregorio equation is $\omega_t+u \omega_x-u_x\omega =0, u_x = H\omega.$ In contrast with the CLM model, numerical simulations suggest that the solutions of the De Gregorio model with smooth initial data exist globally for all time, and generically converge to equilibria when $t\to\pm\infty$, in a way resembling inviscid damping. We prove that such a behavior takes place near a manifold of equilibria.


title: Golden Probe of the di$-\Upsilon$ Threshold

abstract: Recent studies indicate that the ground state of a QCD four bottom quark system may form a resonance in the range $\sim 18 -19$ GeV, near the di-$\Upsilon$ threshold, which may be observable at the LHC in the four lepton final state. These studies also predict a variety of possible resonances associated with the various excited states and allow for a number of possible spin and $CP$ quantum numbers. Of course, even if a resonance is observed in four leptons in the predicted mass range, it will be prudent to experimentally confirm its four bottom quark QCD nature or whether it is perhaps something more exotic. We initiate an investigation in this direction by exploring the ability of the \emph{normalized} fully differential decay width for decays to four leptons to probe the underlying nature of a putative resonance including $CP$ and tensor properties. We assume the first observed state is a spin-0 boson decaying to at least one on-shell $\Upsilon$, but allow for decays to four leptons through $\Upsilon\Upsilon,\,\Upsilon\gamma$, and $\Upsilon Z$ vector boson pairs. We consider a range of resonance masses around the di-$\Upsilon$ threshold and find excellent prospects at the LHC for establishing its $CP$ and tensor properties, perhaps not long after a discovery depending on (unknown) production cross sections and the exact resonance mass.


title: Conservation laws, symmetries, and line soliton solutions of generalized KP and Boussinesq equations with p-power nonlinearities in two dimensions

abstract: Nonlinear generalizations of integrable equations in one dimension, such as the KdV and Boussinesq equations with $p$-power nonlinearities, arise in many physical applications and are interesting in analysis due to critical behaviour. This paper studies analogous nonlinear $p$-power generalizations of the integrable KP equation and the Boussinesq equation in two dimensions. Several results are obtained. First, for all $p\neq 0$, a Hamiltonian formulation of both generalized equations is given. Second, all Lie symmetries are derived, including any that exist for special powers $p\neq0$. Third, Noether's theorem is applied to obtain the conservation laws arising from the Lie symmetries that are variational. Finally, explicit line soliton solutions are derived for all powers $p>0$, and some of their properties are discussed.


title: Stochastic quantum inflation for a canonical scalar field with linear self-interaction potential

abstract: We apply Starobinsky's formalism of stochastic inflation to the case of a minimally coupled scalar field with linear self-interaction potential. We solve the corresponding Fokker-Planck equation exactly, and obtain analytical expressions for the stochastic expectation values.


title: A Proof of the Orbit Conjecture for Flipping Edge-Labelled Triangulations

abstract: Given a triangulation of a point set in the plane, a \emph{flip} deletes an edge $e$ whose removal leaves a convex quadrilateral, and replaces $e$ by the opposite diagonal of the quadrilateral. It is well known that any triangulation of a point set can be reconfigured to any other triangulation by some sequence of flips. We explore this question in the setting where each edge of a triangulation has a label, and a flip transfers the label of the removed edge to the new edge. It is not true that every labelled triangulation of a point set can be reconfigured to every other labelled triangulation via a sequence of flips. We characterize when this is possible by proving the \emph{Orbit Conjecture} of Bose, Lubiw, Pathak and Verdonschot which states that \emph{all} labels can be simultaneously mapped to their destination if and only if \emph{each} label individually can be mapped to its destination. Furthermore, we give a polynomial-time algorithm to find a sequence of flips to reconfigure one labelled triangulation to another, if such a sequence exists, and we prove an upper bound of $O(n^7)$ on the length of the flip sequence. Our proof uses the topological result that the sets of pairwise non-crossing edges on a planar point set form a simplicial complex that is homeomorphic to a high-dimensional ball (this follows from a result of Orden and Santos; we give a different proof based on a shelling argument). The dual cell complex of this simplicial ball, called the \emph{flip complex}, has the usual flip graph as its $1$-skeleton. We use properties of the $2$-skeleton of the flip complex to prove the Orbit Conjecture.


title: Simplicial spaces, lax algebras and the 2-Segal condition

abstract: Dyckerhoff--Kapranov and G\'alvez-Carrillo--Kock--Tonks independently introduced the notion of a $2$-Segal space, that is, a simplicial space satisfying $2$-dimensional analogues of the Segal conditions, as a unifying framework for understanding the numerous Hall algebra-like constructions appearing in algebraic geometry, representation theory and combinatorics. In particular, they showed that every $2$-Segal object defines an algebra object in the $\infty$-category of spans. In this paper we show that this algebra structure is inherited from the initial simplicial object $\Delta[\bullet]$. Namely, we show that the standard $1$-simplex $\Delta[1]$ carries a lax algebra structure. As a formal consequence the space of $1$-simplices of a simplicial space is also a lax algebra. We further show that the $2$-Segal conditions are equivalent to the associativity of this lax algebra.


title: Compressed H$_3$S: inter-sublattice Coulomb coupling in a high-$\textit{T}$$_C$ superconductor

abstract: Upon thermal annealing at or above room temperature (RT) and high pressure $\it P$ $\sim$ 155 GPa, H$_3$S exhibits superconductivity at $\it T_C$ $\sim$ 200 K. Various theoretical frameworks with strong electron-phonon coupling and Coulomb repulsion have reproduced this record-level $\it T_C$. Of particular relevance is that observed H-D isotopic correlations among $\it T_C$, $\it P$, and annealed order indicate limitations on the H-D isotope effect, leaving open for consideration unconventional high-$\it T_C$ superconductivity with electronic-based enhancements. The present work examines Coulombic pairing arising from interactions between neighboring S and H species on separate interlaced sublattices constituting H$_3$S in the Im$\overline{3}$m structure. The optimal transition temperature is calculated from $\it{T}$$_{C0}$ = $\it{k}$$_B$$^{-1}$$\Lambda$$\it{e}$$^2$/$\ell$$\zeta$, with $\Lambda$ = 0.007465 $\AA$, inter-sublattice S-H separation spacing $\zeta$ = $\it{a}$$_0$/$\sqrt{2}$, interaction charge linear spacing $\ell$ = $\it{a}$$_0$(3/$\sigma$)$^{1/2}$, average participating charge fraction $\sigma$ = 3.43 $\pm$ 0.10 estimated from theory, and lattice parameter $\it{a}$$_0$ = 3.0823 \AA. The result $\it{T}$$_{C0}$ = 198.5 $\pm$ 3.0 K is in excellent agreement with transition temperatures determined from resistivity and susceptibility data. Analysis of mid-infrared reflectivity confirms correlation between boson energy and $\zeta$$^{-1}$. Suppression of $\it T_C$ with increasing residual resistance for $<$ RT annealing is treated by scattering-induced pair breaking. Correspondence with layered high-$\it T_C$ superconductor structures are discussed. A model considering Compton scattering of virtual photons of energies $\leq$ $\it e$$^2$/$\zeta$ by inter-sublattice electrons is introduced, illustrating $\Lambda$ is proportional to the reduced electron Compton wavelength.


title: Small trees in supercritical random forests

abstract: We study the scaling limit of random forest with prescribed degree sequence in the regime that the largest tree consists of all but a vanishing fraction of nodes. We give a description of the limit of the forest consisting of the small trees, by relating plane forest to marked cyclic forest and its corresponding lattice path.


title: Multi-Document Summarization using Distributed Bag-of-Words Model

abstract: As the number of documents on the web is growing exponentially, multi-document summarization is becoming more and more important since it can provide the main ideas in a document set in short time. In this paper, we present an unsupervised centroid-based document-level reconstruction framework using distributed bag of words model. Specifically, our approach selects summary sentences in order to minimize the reconstruction error between the summary and the documents. We apply sentence selection and beam search, to further improve the performance of our model. Experimental results on two different datasets show significant performance gains compared with the state-of-the-art baselines.


title: Grothendieck rigidity of 3-manifold groups

abstract: We show that fundamental groups of compact, orientable, irreducible 3-manifolds with toroidal boundary are Grothendieck rigid.


title: Forming clusters within clusters: How 30 Doradus recollapsed and gave birth again

abstract: The 30 Doradus Nebula in the Large Magellanic Cloud (LMC) contains the massive starburst cluster NGC 2070 with a massive and probably younger stellar sub clump at its center: R136. It is not clear how such a massive inner cluster could form several million years after the older stars in NGC 2070, given that stellar feedback is usually thought to expel gas and inhibit further star formation. Using the recently developed 1D feedback scheme WARPFIELD to scan a large range of cloud and cluster properties, we show that an age offset of several million years between the stellar populations is in fact to be expected given the interplay between feedback and gravity in a giant molecular cloud (GMC) with a density $\gtrsim 500$ cm$^{-3}$ due to re-accretion of gas onto the older stellar population. Neither capture of field stars nor gas retention inside the cluster have to be invoked in order to explain the observed age offset in NGC 2070 as well as the structure of the interstellar medium (ISM) around it.


title: Search-based Motion Planning for Aggressive Flight in SE(3)

abstract: Quadrotors with large thrust-to-weight ratios are able to track aggressive trajectories with sharp turns and high accelerations. In this work, we develop a search-based trajectory planning approach that exploits the quadrotor maneuverability to generate sequences of motion primitives in cluttered environments. We model the quadrotor body as an ellipsoid and compute its flight attitude along trajectories in order to check for collisions against obstacles. The ellipsoid model allows the quadrotor to pass through gaps that are smaller than its diameter with non-zero pitch or roll angles. Without any prior information about the location of gaps and associated attitude constraints, our algorithm is able to find a safe and optimal trajectory that guides the robot to its goal as fast as possible. To accelerate planning, we first perform a lower dimensional search and use it as a heuristic to guide the generation of a final dynamically feasible trajectory. We analyze critical discretization parameters of motion primitive planning and demonstrate the feasibility of the generated trajectories in various simulations and real-world experiments.


title: Recovery of a Smooth Metric via Wave Field and Coordinate Transformation Reconstruction

abstract: In this paper, we study the inverse boundary value problem for the wave equation with a view towards an explicit reconstruction procedure. We consider both the anisotropic problem where the unknown is a general Riemannian metric smoothly varying in a domain, and the isotropic problem where the metric is conformal to the Euclidean metric. Our objective in both cases is to construct the metric, using either the Neumann-to-Dirichlet (N-to-D) map or Dirichlet-to-Neumann (D-to-N) map as the data. In the anisotropic case we construct the metric in the boundary normal (or semi-geodesic) coordinates via reconstruction of the wave field in the interior of the domain. In the isotropic case we can go further and construct the wave speed in the Euclidean coordinates via reconstruction of the coordinate transformation from the boundary normal coordinates to the Euclidean coordinates. Both cases utilize a variant of the Boundary Control method, and work by probing the interior using special boundary sources. We provide a computational experiment to demonstrate our procedure in the isotropic case with N-to-D data.


title: Linear Hahn Banach Type Extension Operators in Banach Algebras of Operators

abstract: The notion of linear Hahn-Banach extension operator was first studied in detail by Heinrich and Mankiewicz (1982). Previously, J. Lindenstrauss (1966) studied similar versions of this notion in the context of non separable reflexive Banach spaces. Subsequently, Sims and Yost (1989) proved the existence of linear Hahn-Banach extension operators via interspersing subspaces in a purely Banach space theoretic set up. In this paper, we study similar questions in the context of Banach modules and module homomorphisms, in particular, Banach algebras of operators on Banach spaces. Based on Dales, Kania, Kochanek, Kozmider and Laustsen(2013), and also Kania and Laustsen (2017), we give complete answers for reflexive Banach spaces and the non-reflexive space constructed by Kania and Laustsen from the celebrated Argyros-Haydon's space with few operators.


title: Image Improvement in Linear-Array Photoacoustic Imaging using High Resolution Coherence Factor Weighting Technique

abstract: In Photoacoustic imaging (PAI), the most prevalent beamforming algorithm is delay-and-sum (DAS) due to its simple implementation. However, it results in a low quality image affected by the high level of sidelobes. Coherence factor (CF) can be used to address the sidelobes in the reconstructed images by DAS, but the resolution improvement is not good enough compared to the high resolution beamformers such as minimum variance (MV). As a weighting algorithm in linear-array PAI, it was proposed to use high-resolution-CF (HRCF) weighting technique in which MV is used instead of the existing DAS in the formula of the conventional CF. The higher performance of HRCF was proved numerically and experimentally. The quantitative results obtained with the simulations show that at the depth of 40 mm, in comparison with DAS+CF and MV+CF, HRCF improves the full-width-half-maximum of about 91 % and 15 % and the signal-to-noise ratio about 40 % and 14 %, respectively. Moreover, the contrast ratio at the depth of 20 mm has been improved about 62 % and 21 % by HRCF, compared to DAS+CF and MV+CF, respectively


title: Position Reconstruction in LUX

abstract: The $(x, y)$ position reconstruction method used in the analysis of the complete exposure of the Large Underground Xenon (LUX) experiment is presented. The algorithm is based on a statistical test that makes use of an iterative method to recover the photomultiplier tube (PMT) light response directly from the calibration data. The light response functions make use of a two dimensional functional form to account for the photons reflected on the inner walls of the detector. To increase the resolution for small pulses, a photon counting technique was employed to describe the response of the PMTs. The reconstruction was assessed with calibration data including ${}^{\mathrm{83m}}$Kr (releasing a total energy of 41.5 keV) and ${}^{3}$H ($\beta^-$ with Q = 18.6 keV) decays, and a deuterium-deuterium (D-D) neutron beam (2.45 MeV). In the horizontal plane, the reconstruction has achieved an $(x, y)$ position uncertainty of $\sigma$= 0.82 cm for events of only 200 electroluminescence photons and $\sigma$ = 0.17 cm for 4,000 electroluminescence photons. Such signals are associated with electron recoils of energies $\sim$0.25 keV and $\sim$10 keV, respectively. The reconstructed position of the smallest events with a single electron emitted from the liquid surface has a horizontal $(x, y)$ uncertainty of 2.13 cm.


title: Higher Dimensional M\"obius Bands and Their Boundaries

abstract: We give a characterisation of Bieberbach manifolds which are geodesic boundaries of a compact flat manifold, and discuss the low dimensional cases, up to dimension 4.


title: Texture Fuzzy Segmentation using Skew Divergence Adaptive Affinity Functions

abstract: Digital image segmentation is the process of assigning distinct labels to different objects in a digital image, and the fuzzy segmentation algorithm has been successfully used in the segmentation of images from a wide variety of sources. However, the traditional fuzzy segmentation algorithm fails to segment objects that are characterized by textures whose patterns cannot be successfully described by simple statistics computed over a very restricted area. In this paper, we propose an extension of the fuzzy segmentation algorithm that uses adaptive textural affinity functions to perform the segmentation of such objects on bidimensional images. The adaptive affinity functions compute their appropriate neighborhood size as they compute the texture descriptors surrounding the seed spels (spatial elements), according to the characteristics of the texture being processed. The algorithm then segments the image with an appropriate neighborhood for each object. We performed experiments on mosaic images that were composed using images from the Brodatz database, and compared our results with the ones produced by a recently published texture segmentation algorithm, showing the applicability of our method.


title: An Optimized Microeconomic Modeling System for Analyzing Industrial Externalities in Non-OECD Countries

abstract: In this paper, we provide an integrated systems modeling approach to analyzing global externalities from a microeconomic perspective. Various forms of policy (fiscal, monetary, etc.) have addressed flaws and market failures in models, but few have been able to successfully eliminate modern externalities that remain an environmental and human threat. We assess three primary global industries (pollution, agriculture, and energy) with respect to non-OECD entities through both qualitative and quantitative studies. By combining key mutual points of specific externalities present within each respective industry, we are able to propose an alternative and optimized solution to internalizing them via incentives and cooperative behavior rather than by traditional Pigouvian taxes and subsidies.


title: A New Spectral Clustering Algorithm

abstract: We present a new clustering algorithm that is based on searching for natural gaps in the components of the lowest energy eigenvectors of the Laplacian of a graph. In comparing the performance of the proposed method with a set of other popular methods (KMEANS, spectral-KMEANS, and an agglomerative method) in the context of the Lancichinetti-Fortunato-Radicchi (LFR) Benchmark for undirected weighted overlapping networks, we find that the new method outperforms the other spectral methods considered in certain parameter regimes. Finally, in an application to climate data involving one of the most important modes of interannual climate variability, the El Nino Southern Oscillation phenomenon, we demonstrate the ability of the new algorithm to readily identify different flavors of the phenomenon.


title: The Fine Line Between Normal and Starburst Galaxies

abstract: Recent literature suggests that there are two modes through which galaxies grow their stellar mass - a normal mode characterized by quasi-steady star formation, and a highly efficient starburst mode possibly triggered by stochastic events such as galaxy mergers. While these differences are established for extreme cases, the population of galaxies in-between these two regimes is poorly studied and it is not clear where the transition between these two modes of star formation occurs. We utilize ALMA observations of the CO J=3-2 line luminosity in a sample of 20 infrared luminous galaxies that lie in the intermediate range between normal and starburst galaxies at z ~ 0.25-0.6 in the COSMOS field to examine the gas content and star formation efficiency of these galaxies. We compare these quantities to the galaxies' deviation from the well-studied "main sequence" correlation between star formation rate and stellar mass (MS) and find that at log($SFR/SFR_{MS}$) < 0.6, a galaxy's distance to the main sequence is mostly driven by increased gas content, and not a more efficient star formation process.


title: Resurrecting Quadratic Inflation with a non-minimal coupling to gravity

abstract: We study Quadratic Inflation with the inflaton field $\phi$ coupled non-minimally to the curvature scalar $R$, so that the potential during inflation is of the form $V\propto m^2\phi^2+\xi R\phi^2$. We show that with a suitable choice of the non-minimal coupling strength, $\xi=\mathcal{O}(10^{-3})$, one can resurrect the success of the scenario when compared against the Planck and BICEP2/Keck Array data, and that in the region of the parameter space which is still allowed the model predicts values of the tensor-to-scalar ratio in the range $0.01\leq r < 0.12$, making it possible to either confirm the scenario or rule it out already by the current or near-future experiments, such as BICEP3 or LiteBIRD. However, we show that in this case the near-future observations are unlikely to be able to distinguish between the metric and Palatini formulations of gravity.


title: Keynote: Small Neural Nets Are Beautiful: Enabling Embedded Systems with Small Deep-Neural-Network Architectures

abstract: Over the last five years Deep Neural Nets have offered more accurate solutions to many problems in speech recognition, and computer vision, and these solutions have surpassed a threshold of acceptability for many applications. As a result, Deep Neural Networks have supplanted other approaches to solving problems in these areas, and enabled many new applications. While the design of Deep Neural Nets is still something of an art form, in our work we have found basic principles of design space exploration used to develop embedded microprocessor architectures to be highly applicable to the design of Deep Neural Net architectures. In particular, we have used these design principles to create a novel Deep Neural Net called SqueezeNet that requires as little as 480KB of storage for its model parameters. We have further integrated all these experiences to develop something of a playbook for creating small Deep Neural Nets for embedded systems.


title: The velocity gradient tensor for homogeneous, isotropic turbulence (HIT), with explicit consideration of local and non-local effects using a Schur decomposition

abstract: A Schur decomposition of the velocity gradient tensor (VGT) for homogeneous, isotropic turbulence (HIT) is undertaken and its physical consequences examined. This decomposition permits the normal parts of the tensor (represented by the eigenvalues) to be separated explicitly from the non-normal effects. Given the restricted {E}uler approximation to the VGT dynamics is written in terms of the isotropic part of the pressure Hessian and the invariants of the characteristic equation of the VGT (in turn expressed in terms of the eigenvalues), the non-normal terms are related to the non-local aspects of the dynamics and the anisotropic part of the pressure Hessian. Using a direct numerical simulation of HIT, we show that the norm of the non-normal part of the tensor is of a similar order to the normal part, highlighting the importance of non-local effects. In fact, beneath the discriminant function in a Q-R plot, all enstrophy arises from the non-normal term, meaning that vorticity and intermediate strain eigenvector alignment in this region is an immediate consequence of non-normality. A non-normal term appears in the expressions for both enstrophy and total strain and cancels when calculating the second invariant of the VGT, while the self-amplification of non-normality and the normal straining of non-normality appear in the strain production and enstrophy production equations and cancel when calculating the third invariant. However, these terms are significant for understanding the full VGT dynamics, explaining how flow structures evolve to a disc-like state despite the strain eigenvalues sometimes indicating opposite (rod-like) behaviour, as well as explaining vorticity and strain alignments in HIT.


title: Fr\'echet Analysis Of Variance For Random Objects

abstract: Fr\'echet mean and variance provide a way of obtaining mean and variance for general metric space valued random variables and can be used for statistical analysis of data objects that lie in abstract spaces devoid of algebraic structure and operations. Examples of such spaces include covariance matrices, graph Laplacians of networks and univariate probability distribution functions. We derive a central limit theorem for Fr\'echet variance under mild regularity conditions, utilizing empirical process theory, and also provide a consistent estimator of the asymptotic variance. These results lead to a test to compare k populations based on Fr\'echet variance for general metric space valued data objects, with emphasis on comparing means and variances. We examine the finite sample performance of this inference procedure through simulation studies for several special cases that include probability distributions and graph Laplacians, which leads to tests to compare populations of networks. The proposed methodology has good finite sample performance in simulations for different kinds of random objects. We illustrate the proposed methods with data on mortality profiles of various countries and resting state Functional Magnetic Resonance Imaging data.


title: Shearing in flow environment promotes evolution of social behavior in microbial populations

abstract: How producers of public goods persist in microbial communities is a major question in evolutionary biology. Cooperation is evolutionarily unstable, since cheating strains can reproduce quicker and take over. Spatial structure has been shown to be a robust mechanism for the evolution of cooperation. Here we study how spatial assortment might emerge from native dynamics and show that fluid flow shear promotes cooperative behavior. Social structures arise naturally from our advection-diffusion-reaction model as self-reproducing Turing patterns. We computationally study the effects of fluid advection on these patterns as a mechanism to enable or enhance social behavior. Our central finding is that flow shear enables and promotes social behavior in microbes by increasing the group fragmentation rate and thereby limiting the spread of cheating strains. Regions of the flow domain with higher shear admit high cooperativity and large population density, whereas low shear regions are devoid of life due to opportunistic mutations.


title: Paperclickers: Affordable Solution for Classroom Response Systems

abstract: We propose a low-cost classroom response system requiring a single mobile device for the teacher and cards with printed codes for the students. We aim at broadening the adoption of active learning techniques in developing countries, offering a tool for easy implementation. We embody the solution as a smartphone application, describing the development history, pitfalls, and lessons learned that might be helpful for other small academic teams. We also described the results of the first round usability tests we performed on the first prototype, and how the affected the current version of the software. A beta release version is currently available for the public at large.


title: Strong Light-Matter Coupling in Carbon Nanotubes as a Route to Exciton Brightening

abstract: We show that strong light-matter coupling can be used to overcome a long standing problem that has prevented efficient optical emission from carbon nanotubes. The luminescence from the nominally bright exciton states of carbon nanotubes is quenched due to the fast nonradiative scattering to the dark exciton state having a lower energy. We present a theoretical analysis to show that by placing carbon nanotubes in an optical microcavity the bright exctonic state may be split into two hybrid exciton-polariton states, while the dark state remains unaltered. For sufficiently strong coupling between the bright exciton and the cavity, we show that the energy of the lower polariton may be pushed below that of the dark exciton. This overturning of the relative energies of the bright and dark excitons prevents the dark exciton from quenching the emission. Our resutls pave the way for a new approach to band-engineering the properties of the nanoscale optoelectronic devices.


title: Protein identification with deep learning: from abc to xyz

abstract: Proteins are the main workhorses of biological functions in a cell, a tissue, or an organism. Identification and quantification of proteins in a given sample, e.g. a cell type under normal/disease conditions, are fundamental tasks for the understanding of human health and disease. In this paper, we present DeepNovo, a deep learning-based tool to address the problem of protein identification from tandem mass spectrometry data. The idea was first proposed in the context of de novo peptide sequencing [1] in which convolutional neural networks and recurrent neural networks were applied to predict the amino acid sequence of a peptide from its spectrum, a similar task to generating a caption from an image. We further develop DeepNovo to perform sequence database search, the main technique for peptide identification that greatly benefits from numerous existing protein databases. We combine two modules de novo sequencing and database search into a single deep learning framework for peptide identification, and integrate de Bruijn graph assembly technique to offer a complete solution to reconstruct protein sequences from tandem mass spectrometry data. This paper describes a comprehensive protocol of DeepNovo for protein identification, including training neural network models, dynamic programming search, database querying, estimation of false discovery rate, and de Bruijn graph assembly. Training and testing data, model implementations, and comprehensive tutorials in form of IPython notebooks are available in our GitHub repository (https://github.com/nh2tran/DeepNovo).


title: Bayesian Alignments of Warped Multi-Output Gaussian Processes

abstract: We propose a novel Bayesian approach to modelling nonlinear alignments of time series based on latent shared information. We apply the method to the real-world problem of finding common structure in the sensor data of wind turbines introduced by the underlying latent and turbulent wind field. The proposed model allows for both arbitrary alignments of the inputs and non-parametric output warpings to transform the observations. This gives rise to multiple deep Gaussian process models connected via latent generating processes. We present an efficient variational approximation based on nested variational compression and show how the model can be used to extract shared information between dependent time series, recovering an interpretable functional decomposition of the learning problem. We show results for an artificial data set and real-world data of two wind turbines.


title: Theory of cavity ring-up spectroscopy

abstract: Cavity ring-up spectroscopy (CRUS) provides an advanced technique to sense ultrafast phenomena, but there is no thorough discussion on its theory. Here we give a detailed theoretical analysis of CRUS with and without modal coupling, and present exact analytical expressions for the normalized transmission, which are very simple under certain reasonable conditions. Our results provide a solid theoretical basis for the applications of CRUS.


title: Topological superfluidity with repulsive alkaline-earth atoms in optical lattices

abstract: Topological superfluids are of technological relevance since they are believed to host Majorana bound states, a powerful resource for quantum computation and memory. Here we propose to realize topological superfluidity with fermionic atoms in an optical lattice. We consider a situation where atoms in two internal states experience different lattice potentials: one species is localized and the other itinerant, and show how quantum fluctuations of the localized fermions give rise to an attraction and strong spin-orbit coupling in the itinerant band. At low temperature, these effects stabilize a topological superfluid of mobile atoms even if their bare interactions are repulsive. This emergent state can be engineered with ${}^{87}$Sr atoms in a superlattice with a dimerized unit cell. To probe its unique properties we describe protocols that use high spectral resolution and controllability of the Sr clock transition, such as momentum-resolved spectroscopy and supercurrent response to a synthetic (laser-induced) magnetic field.


title: Modification of structural disorder by hydrostatic-pressure in superconducting YBa$_{2}$Cu$_{3}$O$_{6.73}$ cuprate

abstract: Compelling efforts to improve the critical temperature ($T_{c}$) of superconductors have been made through high-pressure application. Understanding the underlying mechanism behind such improvements is critically important, however, much remains unclear. Here we studied ortho-III YBa$_{2}$Cu$_{3}$O$_{6.73}$ (YBCO) using x-ray scattering under hydrostatic-pressure (HP) up to ~6.0 GPa. We found the reinforced oxygen order (OO) of YBCO under HP, revealing an oxygen rearrangement in the Cu-O layer, which evidently shows the charge transfer phenomenon between the CuO$_{2}$ plane and Cu-O layer. Concurrently, we also observed no disorder-pinned charge density wave (CDW) signature in CuO$_{2}$ plane under HP. This indicates that the oxygen rearrangement modifies the quenched disorder state in the CuO$_{2}$ plane. Using these results, we appropriately explain why pressure-condition can achieve higher $T_{c}$ compared with the optimal $T_{c}$ under ambient pressure in YBa$_{2}$Cu$_{3}$O$_{6+x}$. As an implication of these results, finally, we have discussed that the change in disorder could make it easier for YBa$_{2}$Cu$_{3}$O$_{6+x}$ to undergo a transition to the nematic order under an external magnetic field.


title: Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies

abstract: The second international CREST workshop continued the focus of the first CREST workshop: addressing approaches to causal reasoning in engineering complex embedded and safety-critical systems. Relevant approaches to causal reasoning have been (usually independently) proposed by a variety of communities: AI, concurrency, model-based diagnosis, software engineering, security engineering, and formal methods. The goal of CREST is to bring together researchers and practitioners from these communities to exchange ideas, especially between communities, in order to advance the science of determining root cause(s) for failures of critical systems. The growing complexity of failures such as power grid blackouts, airplane crashes, security and privacy violations, and malfunctioning medical devices or automotive systems makes the goals of CREST more relevant than ever before.


title: Computing the $A_{\alpha}-$ eigenvalues of a bug

abstract: Let $G$ be a simple undirected graph. For $\alpha \in [0,1]$, let \begin{equation*} A_{\alpha}\left( G\right) =\alpha D\left( G\right) +(1-\alpha)A\left( G\right) , \end{equation*} where $A(G)$ is the adjacency matrix of $G$ and $D(G)$ is the diagonal matrix of the degrees of $G$. In particular, $A_{0}(G)=A(G)$ and $A_{\frac{1}{2}}(G)=\frac{1}{2}Q(G)$ where $Q(G)$ is the signless Laplacian matrix of $G$. A bug $B_{p,q,r}$ is a graph obtained from a complete graph $K_{p}$ by deleting an edge and attaching paths $P_{q}$ and $P_{r}$ to its ends. In \cite{HaSt08}, Hansen and Stevanovi\'{c} proved that, among the graphs $G$ of order $n$ and diameter $d$, the largest spectral radius of $A(G)$ is attained by the bug $B_{n-d+2,\lfloor d/2\rfloor,\lceil d/2\rceil}$. In \cite{LiLu14}, Liu and Lu proved the same result for the spectral radius of $Q(G)$. Let $\rho_{\alpha}(G)$ be the spectral radius of $A_{\alpha}(G)$. In this note, for a bug $B$ of order $n$ and diameter $d$, it is shown that $(n-d+2)\alpha -1$ is an eigenvalue of $A_{\alpha}(B)$ with multiplicity $n-d-1$ and that the other eigenvalues, among them $\rho_{\alpha}(B)$, can be computed as the eigenvalues of a symmetric tridiagonal matrix of order $d+1$. It is also shown that $\rho_{\alpha}(B_{n-d+2,d/2,d/2})$ can be computed as the spectral radius of a symmetric tridiagonal matrix of order $\frac{d}{2}+1$ whenever $d$ is even.


title: Smarnet: Teaching Machines to Read and Comprehend Like Human

abstract: Machine Comprehension (MC) is a challenging task in Natural Language Processing field, which aims to guide the machine to comprehend a passage and answer the given question. Many existing approaches on MC task are suffering the inefficiency in some bottlenecks, such as insufficient lexical understanding, complex question-passage interaction, incorrect answer extraction and so on. In this paper, we address these problems from the viewpoint of how humans deal with reading tests in a scientific way. Specifically, we first propose a novel lexical gating mechanism to dynamically combine the words and characters representations. We then guide the machines to read in an interactive way with attention mechanism and memory network. Finally we add a checking layer to refine the answer for insurance. The extensive experiments on two popular datasets SQuAD and TriviaQA show that our method exceeds considerable performance than most state-of-the-art solutions at the time of submission.


title: Baseline Mixture Models for Social Networks

abstract: Continuous mixtures of distributions are widely employed in the statistical literature as models for phenomena with highly divergent outcomes; in particular, many familiar heavy-tailed distributions arise naturally as mixtures of light-tailed distributions (e.g., Gaussians), and play an important role in applications as diverse as modeling of extreme values and robust inference. In the case of social networks, continuous mixtures of graph distributions can likewise be employed to model social processes with heterogeneous outcomes, or as robust priors for network inference. Here, we introduce some simple families of network models based on continuous mixtures of baseline distributions. While analytically and computationally tractable, these models allow more flexible modeling of cross-graph heterogeneity than is possible with conventional baseline (e.g., Bernoulli or $U|man$ distributions). We illustrate the utility of these baseline mixture models with application to problems of multiple-network ERGMs, network evolution, and efficient network inference. Our results underscore the potential ubiquity of network processes with nontrivial mixture behavior in natural settings, and raise some potentially disturbing questions regarding the adequacy of current network data collection practices.


title: Symmetric rank-one updates from partial spectrum with an application to out-of-sample extension

abstract: Rank-one update of the spectrum of a matrix is a fundamental problem in classical perturbation theory. In this paper, we consider its variant where only part of the spectrum is known. We address this variant using an efficient scheme for updating the known eigenpairs with guaranteed error bounds. Then, we apply our scheme to the extension of the top eigenvectors of the graph Laplacian to a new data sample. In particular, we model this extension as a perturbation problem and show how to solve it using our rank-one updating scheme. We provide a theoretical analysis of this extension method, and back it up with numerical results that illustrate its advantages.


title: Reconstruction of a Large-scale Pre-flare Coronal Current Sheet Associated with an Homologous X-shaped Flare

abstract: As a fundamental magnetic structure in the solar corona, electric current sheets (CSs) can form either prior to or during solar flare, and they are essential for magnetic energy dissipation in the solar corona by enabling magnetic reconnection. However static reconstruction of CS is rare, possibly due to limitation inherent in available coronal field extrapolation codes. Here we present the reconstruction of a large-scale pre-flare CS in solar active region 11967 using an MHD-relaxation model constrained by SDO/HMI vector magnetogram. The CS is found to be associated with a set of peculiar homologous flares that exhibit unique X-shaped ribbons and loops occurring in a quadrupolar magnetic configuration. This is evidenced by that the field lines traced from the CS to the photosphere form an X shape which nearly precisely reproduces the shape of the observed flare ribbons, suggesting that the flare is a product of the dissipation of the CS through reconnection. The CS forms in a hyperbolic flux tube, which is an intersection of two quasi-separatrix layers. The recurrence of the X-shaped flares might be attributed to the repetitive formation and dissipation of the CS, as driven by the photospheric footpoint motions. These results demonstrate the power of data-constrained MHD model in reproducing CS in the corona as well as providing insight into the magnetic mechanism of solar flares.


title: STAR: A general interactive framework for FDR control under structural constraints

abstract: We propose a general framework based on selectively traversed accumulation rules (STAR) for interactive multiple testing with generic structural constraints on the rejection set. It combines accumulation tests from ordered multiple testing with data-carving ideas from post-selection inference, allowing for highly flexible adaptation to generic structural information. Our procedure defines an interactive protocol for gradually pruning a candidate rejection set, beginning with the set of all hypotheses and shrinking with each step. By restricting the information at each step via a technique we call masking, our protocol enables interaction while controlling the false discovery rate (FDR) in finite samples for any data-adaptive update rule that the analyst may choose. We suggest update rules for a variety of applications with complex structural constraints, show that STAR performs well for problems ranging from convex region detection to FDR control on directed acyclic graphs, and show how to extend it to regression problems where knockoff statistics are available in lieu of $p$-values.


title: Trilinear forms with double Kloosterman sums

abstract: We obtain several estimates for trilinear form with double Kloosterman sums. In particular, these bounds show the existence of nontrivial cancellations between such sums.


title: Remarks on skew characters of Iwahori-Hecke algebras

abstract: In this short note we give a new proof of the quantum generalization of Regev's theorems by applying the Murnaghan-Nakayama formula for skew characters of the generic Iwahori-Hecke algebra.


title: Entanglement-Gradient Routing for Quantum Networks

abstract: We define the entanglement-gradient routing scheme for quantum repeater networks. The routing framework fuses the fundamentals of swarm intelligence and quantum Shannon theory. Swarm intelligence provides nature-inspired solutions for problem solving. Motivated by models of social insect behavior, the routing is performed using parallel threads to determine the shortest path via the entanglement gradient coefficient, which describes the feasibility of the entangled links and paths of the network. The routing metrics are derived from the characteristics of entanglement transmission and relevant measures of entanglement distribution in quantum networks. The method allows a moderate complexity decentralized routing in quantum repeater networks. The results can be applied in experimental quantum networking, future quantum Internet, and long-distance quantum communications.


title: Controller Design for Systems on Manifolds in Euclidean Space

abstract: Given a control system on a manifold that is embedded in Euclidean space, it is sometimes convenient to use a single global coordinate system in the ambient Euclidean space for controller design rather than to use multiple local charts on the manifold or coordinate-free tools from differential geometry. In this paper, we develop a theory about this and apply it to the fully actuated rigid body system for stabilization and tracking. A noteworthy point in this theory is that we legitimately modify the system dynamics outside its state-space manifold before controller design so as to add attractiveness to the manifold in the resulting dynamics.


title: The number of rational points of hyperelliptic curves over subsets of finite fields

abstract: We prove two related concentration inequalities concerning the number of rational points of hyperelliptic curves over subsets of a finite field. In particular, we investigate the probability of a large discrepancy between the numbers of quadratic residues and non-residues in the image of such subsets over uniformly random hyperelliptic curves of given degrees. We find a constant probability of such a high difference and show the existence of sets with an exceptionally large discrepancy.


title: More properties of the Fibonacci word on an infinite alphabet

abstract: Recently the Fibonacci word $W$ on an infinite alphabet was introduced by [Zhang et al., Electronic J. Combinatorics 24-2 (2017) #P2.52] as a fixed point of the morphism $\phi: (2i) \mapsto (2i)(2i+ 1),\ (2i+ 1) \mapsto (2i+ 2)$ over all $i \in \mathbb{N}$. In this paper we investigate the occurrence of squares, palindromes, and Lyndon factors in this infinite word.


title: Remarks on Uniaxial Solutions in the Landau-de Gennes Theory

abstract: We study uniaxial solutions of the Euler-Lagrange equations for a Landau-de Gennes free energy for nematic liquid crystals, with a fourth order bulk potential, with and without elastic anisotropy. In the elastic isotropic case, we show that (i) all uniaxial solutions of the Euler-Lagrange equations, with a director field of certain symmetry, necessarily have the radial-hedgehog structure modulo an orthogonal transformation, (ii) the "escape into third dimension" director cannot correspond to a purely uniaxial solution of the Landau-de Gennes Euler-Lagrange equations and we do not use artificial assumptions on the scalar order parameter and (iii) there are no non-trivial uniaxial solutions that have $\mathbf{e}_z$ as an eigenvector. In the elastic anisotropic case, we prove that all uniaxial solutions of the corresponding Euler-Lagrange equations, with a certain symmetry, are strictly of the radial-hedgehog type, i.e. the elastic anisotropic case enforces the radial-hedgehog structure (or the degree $+1$-vortex structure) more strongly than the elastic isotropic case and the associated partial differential equations are technically far more difficult than in the elastic isotropic case.


title: An Aerodynamic Analysis of Recent FIFA World Cup Balls

abstract: Drag and lift coefficients of recent FIFA world cup balls are examined. We fit a novel functional form to drag coefficient curves and in the absence of empirical data provide estimates of lift coefficient behaviour via a consideration of the physics of the boundary layer. Differences in both these coefficients for recent balls, which result from surface texture modification, can significantly alter trajectories. Numerical simulations are used to quantify the effect these changes have on the flight paths of various balls. Altitude and temperature variations at recent world cup events are also discussed. We conclude by quantifying the influence these variations have on the three most recent world cup balls, the Brazuca, the Jabulani and the Teamgeist. While our paper presents findings of interest to the professional sports scientist, it remains accessible to students at the undergraduate level.


title: Pure Even Harmonic Generation from Oriented CO in Linearly Polarized Laser Fields

abstract: The first high harmonic spectrum, containing only the odd orders, was observed in experiments 30 years ago (1987). However, a spectrum containing pure even harmonics has never been observed. We investigate the generation of pure even harmonics from oriented CO molecules in linearly polarized laser fields employing the time-dependent density-functional theory. We find that the even harmonics, with no odd orders, are generated with the polarization perpendicular to the laser polarization, when the molecular axis of CO is perpendicular to the laser polarization. Generation of pure even harmonics reveals a type of dipole acceleration originating from the permanent dipole moment. This phenomenon exists in all system with permanent dipole moments, including bulk crystal and polyatomic molecules.


title: A Perfect Sampling Method for Exponential Family Random Graph Models

abstract: Generation of deviates from random graph models with non-trivial edge dependence is an increasingly important problem. Here, we introduce a method which allows perfect sampling from random graph models in exponential family form ("exponential family random graph" models), using a variant of Coupling From The Past. We illustrate the use of the method via an application to the Markov graphs, a family that has been the subject of considerable research. We also show how the method can be applied to a variant of the biased net models, which are not exponentially parameterized.


title: Concurrent Kleene Algebra: Free Model and Completeness

abstract: Concurrent Kleene Algebra (CKA) was introduced by Hoare, Moeller, Struth and Wehrman in 2009 as a framework to reason about concurrent programs. We prove that the axioms for CKA with bounded parallelism are complete for the semantics proposed in the original paper; consequently, these semantics are the free model for this fragment. This result settles a conjecture of Hoare and collaborators. Moreover, the techniques developed along the way are reusable; in particular, they allow us to establish pomset automata as an operational model for CKA.


title: $SU(3)$ Topological Insulators in the Honeycomb Lattice

abstract: We investigate realizations of topological insulators with spin-1 bosons loaded in a honeycomb optical lattice and subjected to a $SU(3)$ spin-orbit coupling - a situation which can be realized experimentally using cold atomic gases. In this paper, we focus on the topological properties of the single-particle band structure, namely Chern numbers (lattice with periodic boundary conditions) and edge states (lattice with strip geometry). While $SU(2)$ spin-orbit couplings always lead to time-reversal symmetric Hubbard models, and thereby to topologically trivial band structures, suitable $SU(3)$ spin-orbit couplings can break time reversal symmetry and lead to topologically non-trivial bulk band structures and to edge states in the strip geometry. In addition, we show that one can trigger a series of topological transitions (i.e. integer changes of the Chern numbers) that are specific to the geometry of the honeycomb lattice by varying a single parameter in the Hamiltonian.


title: An explicit trace formula of Jacquet-Zagier type for Hilbert modular forms

abstract: We give an exact formula of the average of adjoint $L$-functions of holomorphic Hilbert cusp forms with a fixed weight and a square-free level, which is a generalization of Zagier's formula known for the case of elliptic cusp forms on ${\rm SL}_2(\mathbb{Z})$. As an application, we prove that the Satake parameters of Hilbert cusp forms with a fixed weight and with growing square-free levels are equidistributed in an ensemble constructed by values of the adjoint $L$-functions.


title: $\alpha$-cluster states in $^{46,54}$Cr from double-folding potentials

abstract: $\alpha$--cluster states in $^{46}$Cr and $^{54}$Cr are investigated in the double-folding model. This study complements a recent similar work of Souza and Miyake \cite{Sou17} which was based on a specially shaped potential. Excitation energies, reduced widths, intercluster separations, and intra-band transition strengths are calculated and compared to experimental values for the ground state bands in $^{46}$Cr and $^{54}$Cr. The $\alpha$-cluster potential is also applied to elastic scattering at low and intermediate energies. Here, as a byproduct, a larger radial extent of the neutron density in $^{50}$Ti is found.