title: Estimated Incidence of Ophthalmic Conditions Associated with Optic Nerve Disease in Middle Tennessee

abstract: Aims. The objective of this paper is to determine the incidence of ophthalmic disease potentially leading to optic nerve disease in Middle Tennessee. Methods. We use a retrospective population-based incidence study design focusing on the population of middle Tennessee and its nearby suburbs (N=3 397 515). The electronic medical records for all patients evaluated or treated at a large tertiary care hospital and clinics with an initial diagnosis of a disease either affecting the optic nerve, or potentially associated with optic nerve disease, between 2007 and 2014 were retrieved and analyzed. Results. 18 291 patients (10 808 F) with 18 779 incidence events were identified with an age range of 0-101 years from the query of the Vanderbilt BioVU. Estimated age-adjusted incidence per 100 000 population per year was 198.4/145.1 (glaucoma F/M), 14.4/11.4 (intrinsic optic nerve disease F/M), 10.6/5.8 (optic nerve edema F/M), 6.1/6.6 (orbital inflammation F/M), and 23.7/6.7 (thyroid disease F/M). Glaucoma incidence was strongly correlated with age with the incidence sharply increasing after age 40. Optic nerve edema incidence peaked in the 25-34 old females. African American population has increased likelihood of glaucoma, orbital inflammation, and thyroid disease. Conclusions. Mapping the incidence of pathologies of the optic nerve is essential to the understanding of the relative likelihood of these conditions and impacts upon public health. We find incidence of optic nerve diseases strongly varies by gender, age, and race which have not been previously studied using a unified framework or within a single metropolitan population


title: "Red" but Not "Dead": Actively Star-forming Brightest Cluster Galaxies at Low Redshifts

abstract: Brightest Cluster Galaxies (BCGs) are believed to have assembled most of their stars early in time and, therefore, should be passively evolving at low redshifts and appear "red-and-dead." However, there have been reports that a minority of low-redshift BCGs still have ongoing star formation rates (SFR) of a few to even $\sim$100 $M_\odot/yr$. Such BCGs are found in "cool-core" ("CC") clusters, and their star formation is thought to be fueled by "cooling flow." To further investigate the implications of low-redshift, star-forming BCGs, we perform a systematic search using the 22$\mu$m data ("W4" band) from the Wide-field Infrared Survey Explorer (WISE) on the GMBCG catalog, which contains 55,424 BCGs at $0.1\lesssim z\lesssim 0.55$ identified in the Sloan Digital Sky Survey (SDSS). Our sample consists of 389 BCGs that are bright in W4 ("W4BCGs"), most being brighter than 5 mJy. While some ($\lesssim 20\%$) might host AGN, most W4BCGs should owe their strong mid-IR emissions to dust-enshrouded star formation. Their median total IR luminosity ($L_{IR}$) is $5\times10^{11} L_{\odot}$ (SFR $\sim$50 $M_{\odot}/yr)$, and 27\% of the whole sample has $L_{IR}>10^{12} L_{\odot}$ (SFR $>$100 $M_{\odot}/yr$). Using ten W4BCGs that have Chandra X-ray data, we show that seven of them are possibly in CC clusters. However, in most cases (five out of seven) the mass deposition rate cannot account for the observed SFR. This casts doubt to the idea that cooling flows are the cause of the star formation in non-quiescent BCGs.


title: In situ photoemission electron spectroscopy study of nitrogen ion implanted AISI-H13 steel

abstract: In this paper we report the effect of hydrogen on the structural properties of AISI-H13 steel nitrogen-implanted samples in low oxygen partial pressure atmosphere. The samples were implanted in a high vacuum chamber by using a broad ion beam source. The H2+/N2+ ion composition of the beam was varied and the surface composition studied in situ by photoemission electron spectroscopy (XPS). The samples were also ex situ analyzed by X-ray diffraction and scanning electron microscopy (SEM), including energy-dispersive spectroscopy measurements. It was found that hydrogen has the effect of modifying the amount of retained nitrogen at the surfaces. This result shows that hydrogen plays a role beyond the well-established effect of oxygen etching in industrial machines where vacuum is relatively less well controlled. Finally, an optimum concentration of 20 to 40% [H2]/[H2+N2] ion beam composition was determined to obtain maximum nitrogen incorporation on the metal surface.


title: Time Assignment System and Its Performance aboard the Hitomi Satellite

abstract: Fast timing capability in X-ray observation of astrophysical objects is one of the key properties for the ASTRO-H (Hitomi) mission. Absolute timing accuracies of 350 micro second or 35 micro second are required to achieve nominal scientific goals or to study fast variabilities of specific sources. The satellite carries a GPS receiver to obtain accurate time information, which is distributed from the central onboard computer through the large and complex SpaceWire network. The details on the time system on the hardware and software design are described. In the distribution of the time information, the propagation delays and jitters affect the timing accuracy. Six other items identified within the timing system will also contribute to absolute time error. These error items have been measured and checked on ground to ensure the time error budgets meet the mission requirements. The overall timing performance in combination with hardware performance, software algorithm, and the orbital determination accuracies, etc, under nominal conditions satisfies the mission requirements of 35 micro second. This work demonstrates key points for space-use instruments in hardware and software designs and calibration measurements for fine timing accuracy on the order of microseconds for mid-sized satellites using the SpaceWire (IEEE1355) network.


title: Analyzing Individual Proofs as the Basis of Interoperability between Proof Systems

abstract: We describe the first results of a project of analyzing in which theories formal proofs can be ex- pressed. We use this analysis as the basis of interoperability between proof systems.


title: Language and Proofs for Higher-Order SMT (Work in Progress)

abstract: Satisfiability modulo theories (SMT) solvers have throughout the years been able to cope with increasingly expressive formulas, from ground logics to full first-order logic modulo theories. Nevertheless, higher-order logic within SMT is still little explored. One main goal of the Matryoshka project, which started in March 2017, is to extend the reasoning capabilities of SMT solvers and other automatic provers beyond first-order logic. In this preliminary report, we report on an extension of the SMT-LIB language, the standard input format of SMT solvers, to handle higher-order constructs. We also discuss how to augment the proof format of the SMT solver veriT to accommodate these new constructs and the solving techniques they require.


title: Counter Simulations via Higher Order Quantifier Elimination: a preliminary report

abstract: Quite often, verification tasks for distributed systems are accomplished via counter abstractions. Such abstractions can sometimes be justified via simulations and bisimulations. In this work, we supply logical foundations to this practice, by a specifically designed technique for second order quantifier elimination. Our method, once applied to specifications of verification problems for parameterized distributed systems, produces integer variables systems that are ready to be model-checked by current SMT-based tools. We demonstrate the feasibility of the approach with a prototype implementation and first experiments.


title: Determinism in the Certification of UNSAT Proofs

abstract: The search for increased trustworthiness of SAT solvers is very active and uses various methods. Some of these methods obtain a proof from the provers then check it, normally by replicating the search based on the proof's information. Because the certification process involves another nontrivial proof search, the trust we can place in it is decreased. Some attempts to amend this use certifiers which have been verified by proofs assistants such as Isabelle/HOL and Coq. Our approach is different because it is based on an extremely simplified certifier. This certifier enjoys a very high level of trust but is very inefficient. In this paper, we experiment with this approach and conclude that by placing some restrictions on the formats, one can mostly eliminate the need for search and in principle, can certify proofs of arbitrary size.


title: Alignment-based Translations Across Formal Systems Using Interface Theories

abstract: Translating expressions between different logics and theorem provers is notoriously and often prohibitively difficult, due to the large differences between the logical foundations, the implementations of the systems, and the structure of the respective libraries. Practical solutions for exchanging theorems across theorem provers have remained both weak and brittle. Consequently, libraries are not easily reusable across systems, and substantial effort must be spent on reformalizing and proving basic results in each system. Notably, this problem exists already if we only try to exchange theorem statements and forgo exchanging proofs. In previous work we introduced alignments as a lightweight standard for relating concepts across libraries and conjectured that it would provide a good base for translating expressions. In this paper, we demonstrate the feasibility of this approach. We use a foundationally uncommitted framework to write interface theories that abstract from logical foundation, implementation, and library structure. Then we use alignments to record how the concepts in the interface theories are realized in several major proof assistant libraries, and we use that information to translate expressions across libraries. Concretely, we present exemplary interface theories for several areas of mathematics and - in total - several hundred alignments that were found manually.


title: On the tame authomorphism approximation, augmentation Topology of Automorphism Groups and $Ind$-schemes, and authomorphisms of tame automorphism groups

abstract: We study authomorphisms of $Ind$-groups of polynomial automorphisms (wich are singular) via tame approximations. Such objects were pioneeered in research by B.I.Plotkin We obtain a number of properties of $Aut(Aut(A))$, where $A$ is the polynomial or free associative algebra over the base field $K$. We prove that all $Ind$-scheme automorphisms of $Aut(K[x_1,\dots,x_n])$ are inner for $n\ge 3$, and all $Ind$-scheme automorphisms of $Aut(K\langle x_1,\dots, x_n\rangle)$ are semi-inner. As an application, we prove that $Aut(K[x_1,\dots,x_n])$ cannot be embedded into $Aut(K\langle x_1,\dots,x_n\rangle)$ by the natural abelianization. In other words, the {\it Automorphism Group Lifting Problem} has a negative solution. We explore close connection between the above results and the Jacobian conjecture type questions, formulate the Jacobian conjecture for fields of any characteristic.


title: TrackerBots: Autonomous Unmanned Aerial Vehicle for Real-Time Localization and Tracking of Multiple Radio-Tagged Animals

abstract: Autonomous aerial robots provide new possibilities to study the habitats and behaviors of endangered species through the efficient gathering of location information at temporal and spatial granularities not possible with traditional manual survey methods. We present a novel autonomous aerial vehicle system-TrackerBots-to track and localize multiple radio-tagged animals. The simplicity of measuring the received signal strength indicator (RSSI) values of very high frequency (VHF) radio-collars commonly used in the field is exploited to realize a low cost and lightweight tracking platform suitable for integration with unmanned aerial vehicles (UAVs). Due to uncertainty and the nonlinearity of the system based on RSSI measurements, our tracking and planning approaches integrate a particle filter for tracking and localizing; a partially observable Markov decision process (POMDP) for dynamic path planning. This approach allows autonomous navigation of a UAV in a direction of maximum information gain to locate multiple mobile animals and reduce exploration time; and, consequently, conserve onboard battery power. We also employ the concept of a search termination criteria to maximize the number of located animals within power constraints of the aerial system. We validated our real-time and online approach through both extensive simulations and field experiments with two mobile VHF radio-tags.


title: One-way topological edge states in nonlinear gyroscopic phononic crystals

abstract: A unified form of time-reversal symmetry (TRS) breaking terms in phononic crystals, leading to nontrivial phononic topology, has been proposed recently, but is contradicted by some other works which introduce gyroscopic effect as TRS-breaking. We re-study gyroscopic phononic crystals using Newtonian mechanical method, and find the correct TRS-breaking term in consistent with the unified form. Applying this term we calculate the basic topological phononics in a honeycomb lattice. Furthermore, we study nonlinear phonon-phonon scattering effect on topological phononic edge states by molecular dynamics simulation. Generally edge states are not immune to such scattering effect, but under specific conditions some edge states run into bulk much more slowly, depending on the parameters of the model. This opens up the potential for effectively suppressing phonon dissipation by tuning the parameters, thereby realizing near-100% efficiency of one-way phonon transport in phonon devices.


title: Adversarial Attribute-Image Person Re-identification

abstract: While attributes have been widely used for person re-identification (Re-ID) which aims at matching the same person images across disjoint camera views, they are used either as extra features or for performing multi-task learning to assist the image-image matching task. However, how to find a set of person images according to a given attribute description, which is very practical in many surveillance applications, remains a rarely investigated cross-modality matching problem in person Re-ID. In this work, we present this challenge and formulate this task as a joint space learning problem. By imposing an attribute-guided attention mechanism for images and a semantic consistent adversary strategy for attributes, each modality, i.e., images and attributes, successfully learns semantically correlated concepts under the guidance of the other. We conducted extensive experiments on three attribute datasets and demonstrated that the proposed joint space learning method is so far the most effective method for the attribute-image cross-modality person Re-ID problem.


title: Ricci curvature on birth-death processes

abstract: In this paper, we study curvature dimension conditions on birth-death processes which correspond to linear graphs, i.e., weighted graphs supported on the infinite line or the half line. We give a combinatorial characterization of Bakry and \'Emery's $CD(K,n)$ condition for linear graphs and prove the triviality of edge weights for every linear graph supported on the infinite line $\mathbb{Z}$ with non-negative curvature. Moreover, we show that linear graphs with curvature decaying not faster than $-R^2$ are stochastically complete. We deduce a type of Bishop-Gromov comparison theorem for normalized linear graphs. For normalized linear graphs with non-negative curvature, we obtain the volume doubling property and the Poincar\'e inequality, which yield Gaussian heat kernel estimates and parabolic Harnack inequality by Delmotte's result. As applications, we generalize the volume growth and stochastic completeness properties to weakly spherically symmetric graphs. Furthermore, we give examples of infinite graphs with a positive lower curvature bound.


title: An Empirical Fitting Method to Type Ia Supernova Light Curves. III. A Three-Parameter Relationship: Peak Magnitude, Rise Time, and Photospheric Velocity

abstract: We examine the relationship between three parameters of Type Ia supernovae (SNe~Ia): peak magnitude, rise time, and photospheric velocity at the time of peak brightness. The peak magnitude is corrected for extinction using an estimate determined from MLCS2k2 fitting. The rise time is measured from the well-observed $B$-band light curve with the first detection at least 1~mag fainter than the peak magnitude, and the photospheric velocity is measured from the strong absorption feature of Si~II~$\lambda$6355 at the time of peak brightness. We model the relationship among these three parameters using an expanding fireball with two assumptions: (a) the optical emission is approximately that of a blackbody, and (b) the photospheric temperatures of SNe~Ia are similar to each other at the time of peak brightness. We compare the precision of the distance residuals inferred using this physically motivated model against those from the empirical Phillips relation and the MLCS2k2 method for 47 low-redshift SNe~Ia ($0.005 < z< 0.04$) and find comparable scatter. However, SNe~Ia in our sample with higher velocities are inferred to be intrinsically fainter. Eliminating the high-velocity SNe and applying a more stringent extinction cut to obtain a "low-v-golden sample" of 22 SNe, we obtain significantly reduced scatter in the new relation, better than those of the Phillips relation and the MLCS2k2 method. After removing model peculiar velocities, our final scatter for the new relation is $0.108 \pm 0.018$~mag.


title: Learning Pain from Action Unit Combinations: A Weakly Supervised Approach via Multiple Instance Learning

abstract: Patient pain can be detected highly reliably from facial expressions using a set of facial muscle-based action units (AUs) defined by the Facial Action Coding System (FACS). A key characteristic of facial expression of pain is the simultaneous occurrence of pain-related AU combinations, whose automated detection would be highly beneficial for efficient and practical pain monitoring. Existing general Automated Facial Expression Recognition (AFER) systems prove inadequate when applied specifically for detecting pain as they either focus on detecting individual pain-related AUs but not on combinations or they seek to bypass AU detection by training a binary pain classifier directly on pain intensity data but are limited by lack of enough labeled data for satisfactory training. In this paper, we propose a new approach that mimics the strategy of human coders of decoupling pain detection into two consecutive tasks: one performed at the individual video-frame level and the other at video-sequence level. Using state-of-the-art AFER tools to detect single AUs at the frame level, we propose two novel data structures to encode AU combinations from single AU scores. Two weakly supervised learning frameworks namely multiple instance learning (MIL) and multiple clustered instance learning (MCIL) are employed corresponding to each data structure to learn pain from video sequences. Experimental results show an 87% pain recognition accuracy with 0.94 AUC (Area Under Curve) on the UNBC-McMaster Shoulder Pain Expression dataset. Tests on long videos in a lung cancer patient video dataset demonstrates the potential value of the proposed system for pain monitoring in clinical settings.


title: Atomic Norm Based Localization of Far-Field and Near-Field Signals with Generalized Symmetric Arrays

abstract: Most localization methods for mixed far-field (FF) and near-field (NF) sources are based on uniform linear array (ULA) rather than sparse linear array (SLA). In this paper, we propose a localization method for mixed FF and NF sources based on the generalized symmetric linear arrays, which include ULAs, Cantor array, Fractal array and many other SLAs. Our method consists of two steps. In the first step, the high-order statistics of the array output is exploited to increase the degree of freedom. Then the direction-of-arrivals (DOAs) of the FF and NF sources are jointly estimated by using the recently proposed atomic norm minimization (ANM), which belongs to the gridless super-resolution method since the discretization of the parameter space is not required. In the second step, the ranges are given by MUSIC-like one-dimensional searching. Simulations results are provided to demonstrate the advantages of our method.


title: Kinetic Theory for Matter Under Extreme Conditions

abstract: The calculation of dynamical properties for matter under extreme conditions is a challenging task. The popular Kubo-Greenwood model exploits elements from equilibrium density functional theory (DFT) that allow a detailed treatment of electron correlations, but its origin is largely phenomenological; traditional kinetic theories have a more secure foundation but are limited to weak ion-electron interactions. The objective here is to show how a combination of the two evolves naturally from an exact short time limit for the generator of the effective single electron dynamics governing time correlation functions. This provides a theoretical context for the current DFT-related approach, the Kubo-Greenwood model, while showing the nature of its corrections. The method is to calculate the exact short time dynamics in the single electron subspace, for a given configuration of the ions. This differs from the usual kinetic theory approach in which an average over the ions is performed as well. In this way the effective ion-electron interaction is treated exactly and shown to be determined from DFT. The correlation functions have the random phase approximation for an inhomogeneous system, but with renormalized ion-electron and electron-electron potentials. The dynamic structure function, density response function, and electrical conductivity are calculated as examples. The static local field corrections in the dielectric function are identified in this way. The current analysis is limited to semi-classical electrons (quantum statistical potentials), so important quantum conditions are excluded. However, a quantization of the kinetic theory is identified for broader application while awaiting its detailed derivation.


title: A converse result for Banach space convergence rates in Tikhonov-type convex regularization of ill-posed linear equations

abstract: We consider Tikhonov-type variational regularization of ill-posed linear operator equations in Banach spaces with general convex penalty functionals. Upper bounds for certain error measures expressing the distance between exact and regularized solutions, especially for Bregman distances, can be obtained from variational source conditions. We prove that such bounds are optimal in case of twisted Bregman distances, that is, the rate function is also an asymptotic lower bound for the error measure. This result extends existing converse results from Hilbert space settings to Banach spaces without adhering to spectral theory.


title: Levitation of non-magnetizable droplet inside ferrofluid

abstract: The central theme of this work is that a stable levitation of a denser non-magnetizable liquid droplet, against gravity, inside a relatively lighter ferrofluid -- a system barely considered in ferrohydrodynamics -- is possible, and exhibits unique interfacial features; the stability of the levitation trajectory, however, is subject to an appropriate magnetic field modulation. We explore the shapes and the temporal dynamics of a plane non-magnetizable droplet levitating inside ferrofluid against gravity due to a spatially complex, but systematically generated, magnetic field in two dimensions. The effect of the viscosity ratio, the stability of the levitation path and the possibility of existence of multiple-stable equilibrium states is investigated. We find, for certain conditions on the viscosity ratio, that there can be developments of cusps and singularities at the droplet surface; this phenomenon we also observe experimentally and compared with the simulations. Our simulations closely replicate the singular projection on the surface of the levitating droplet. Finally, we present an dynamical model for the vertical trajectory of the droplet. This model reveals a condition for the onset of levitation and the relation for the equilibrium levitation height. The linearization of the model around the steady state captures that the nature of the equilibrium point goes under a transition from being a spiral to a node depending upon the control parameters, which essentially means that the temporal route to the equilibrium can be either monotonic or undulating. The analytical model for the droplet trajectory is in close agreement with the detailed simulations. (See draft for full abstract).


title: Generating scalable entanglement of ultracold bosons in superlattices through resonant shaking

abstract: Based on a one-dimensional double-well superlattice with a unit filling of ultracold atoms per site, we propose a scheme to generate scalable entangled states in the superlattice through resonant lattice shakings. Our scheme utilizes periodic lattice modulations to entangle two atoms in each unit cell with respect to their orbital degree of freedom, and the complete atomic system in the superlattice becomes a cluster of bipartite entangled atom pairs. To demonstrate this we perform $ab \ initio$ quantum dynamical simulations using the Multi-Layer Multi-Configuration Time-Dependent Hartree Method for Bosons, which accounts for all correlations among the atoms. The proposed clusters of bipartite entanglements manifest as an essential resource for various quantum applications, such as measurement based quantum computation. The lattice shaking scheme to generate this cluster possesses advantages such as a high scalability, fast processing speed, rich controllability on the target entangled states, and accessibility with current experimental techniques.


title: Polynomial entropy of Brouwer homeomorphisms

abstract: We study the polynomial entropy of the wandering part of any invertible dynamical system on a compact metric space. As an application we compute the polynomial entropy of Brouwer homeomorphisms (fixed point free orientation preserving homeomorphisms of the plane), and show in particular that it takes every real value greater or equal to 2.


title: Spectral conditions of complement for some graphical properties

abstract: L.H. Feng at el \cite{feng4} present sufficient conditions based on spectral radius for a graph with large minimum degree to be $s$-path-coverable and $s$-Hamiltonian. Motivated by this study, in this paper, we give the sufficient conditions for a graph with large minimum degree to be $s$-connected, $s$-edge-connected, $\beta$-deficient, $s$-path-coverable, $s$-Hamiltonian and $s$-edge-Hamiltonian in terms of spectral radius of its complement.


title: On the Bures-Wasserstein distance between positive definite matrices

abstract: The metric $d(A,B)=\left[ \tr\, A+\tr\, B-2\tr(A^{1/2}BA^{1/2})^{1/2}\right]^{1/2}$ on the manifold of $n\times n$ positive definite matrices arises in various optimisation problems, in quantum information and in the theory of optimal transport. It is also related to Riemannian geometry. In the first part of this paper we study this metric from the perspective of matrix analysis, simplifying and unifying various proofs. Then we develop a theory of a mean of two, and a barycentre of several, positive definite matrices with respect to this metric. We explain some recent work on a fixed point iteration for computing this Wasserstein barycentre. Our emphasis is on ideas natural to matrix analysis.


title: Practical Implementation of Lattice QCD Simulation on Intel Xeon Phi Knights Landing

abstract: We investigate implementation of lattice Quantum Chromodynamics (QCD) code on the Intel Xeon Phi Knights Landing (KNL). The most time consuming part of the numerical simulations of lattice QCD is a solver of linear equation for a large sparse matrix that represents the strong interaction among quarks. To establish widely applicable prescriptions, we examine rather general methods for the SIMD architecture of KNL, such as using intrinsics and manual prefetching, to the matrix multiplication and iterative solver algorithms. Based on the performance measured on the Oakforest-PACS system, we discuss the performance tuning on KNL as well as the code design for facilitating such tuning on SIMD architecture and massively parallel machines.


title: Development of Si-CMOS hybrid detectors towards electron tracking based Compton imaging in semiconductor detectors

abstract: Electron tracking based Compton imaging is a key technique to improve the sensitivity of Compton cameras by measuring the initial direction of recoiled electrons. To realize this technique in semiconductor Compton cameras, we propose a new detector concept, Si-CMOS hybrid detector. It is a Si detector bump-bonded to a CMOS readout integrated circuit to obtain electron trajectory images. To acquire the energy and the event timing, signals from N-side are also read out in this concept. By using an ASIC for the N-side readout, the timing resolution of few us is achieved. In this paper, we present the results of two prototypes with 20 um pitch pixels. The images of the recoiled electron trajectories are obtained with them successfully. The energy resolutions (FWHM) are 4.1 keV (CMOS) and 1.4 keV (N-side) at 59.5 keV. In addition, we confirmed that the initial direction of the electron is determined using the reconstruction algorithm based on the graph theory approach. These results show that Si-CMOS hybrid detectors can be used for electron tracking based Compton imaging.


title: Bit Fusion: Bit-Level Dynamically Composable Architecture for Accelerating Deep Neural Networks

abstract: Fully realizing the potential of acceleration for Deep Neural Networks (DNNs) requires understanding and leveraging algorithmic properties. This paper builds upon the algorithmic insight that bitwidth of operations in DNNs can be reduced without compromising their classification accuracy. However, to prevent accuracy loss, the bitwidth varies significantly across DNNs and it may even be adjusted for each layer. Thus, a fixed-bitwidth accelerator would either offer limited benefits to accommodate the worst-case bitwidth requirements, or lead to a degradation in final accuracy. To alleviate these deficiencies, this work introduces dynamic bit-level fusion/decomposition as a new dimension in the design of DNN accelerators. We explore this dimension by designing Bit Fusion, a bit-flexible accelerator, that constitutes an array of bit-level processing elements that dynamically fuse to match the bitwidth of individual DNN layers. This flexibility in the architecture enables minimizing the computation and the communication at the finest granularity possible with no loss in accuracy. We evaluate the benefits of BitFusion using eight real-world feed-forward and recurrent DNNs. The proposed microarchitecture is implemented in Verilog and synthesized in 45 nm technology. Using the synthesis results and cycle accurate simulation, we compare the benefits of Bit Fusion to two state-of-the-art DNN accelerators, Eyeriss and Stripes. In the same area, frequency, and process technology, BitFusion offers 3.9x speedup and 5.1x energy savings over Eyeriss. Compared to Stripes, BitFusion provides 2.6x speedup and 3.9x energy reduction at 45 nm node when BitFusion area and frequency are set to those of Stripes. Scaling to GPU technology node of 16 nm, BitFusion almost matches the performance of a 250-Watt Titan Xp, which uses 8-bit vector instructions, while BitFusion merely consumes 895 milliwatts of power.


title: Joint Base Station Clustering and Beamforming for Non-Orthogonal Multicast and Unicast Transmission with Backhaul Constraints

abstract: The demand for providing multicast services in cellular networks is continuously and fastly increasing. In this work, we propose a non-orthogonal transmission framework based on layered-division multiplexing (LDM) to support multicast and unicast services concurrently in cooperative multi-cell cellular networks with limited backhaul capacity. We adopt a two-layer LDM structure where the first layer is intended for multicast services, the second layer is for unicast services, and the two layers are superposed with different beamformers. Each user decodes the multicast message first, subtracts it, and then decodes its dedicated unicast message. We formulate a joint multicast and unicast beamforming problem with adaptive base station clustering that aims to maximize the weighted sum of the multicast rate and the unicast rate under per-BS power and backhaul constraints. To solve the problem, we first develop a branch-and-bound algorithm to find its global optimum. We then reformulate the problem as a sparse beamforming problem and propose a low-complexity algorithm based on convex-concave procedure. Simulation results demonstrate the significant superiority of the proposed LDM-based non-orthogonal scheme over orthogonal schemes in terms of the achievable multicast-unicast rate region.


title: Fully Automatic Segmentation of Lumbar Vertebrae from CT Images using Cascaded 3D Fully Convolutional Networks

abstract: We present a method to address the challenging problem of segmentation of lumbar vertebrae from CT images acquired with varying fields of view. Our method is based on cascaded 3D Fully Convolutional Networks (FCNs) consisting of a localization FCN and a segmentation FCN. More specifically, in the first step we train a regression 3D FCN (we call it "LocalizationNet") to find the bounding box of the lumbar region. After that, a 3D U-net like FCN (we call it "SegmentationNet") is then developed, which after training, can perform a pixel-wise multi-class segmentation to map a cropped lumber region volumetric data to its volume-wise labels. Evaluated on publicly available datasets, our method achieved an average Dice coefficient of 95.77 $\pm$ 0.81% and an average symmetric surface distance of 0.37 $\pm$ 0.06 mm.


title: Persistent magnetic vortex flow at a supergranular vertex

abstract: Photospheric vortex flows are thought to play a key role in the evolution of magnetic fields. Recent studies show that these swirling motions are ubiquitous in the solar surface convection and occur in a wide range of temporal and spatial scales. Their interplay with magnetic fields is poorly characterized, however. We study the relation between a persistent photospheric vortex flow and the evolution of a network magnetic element at a supergranular vertex. We used long-duration sequences of continuum intensity images acquired with Hinode and the local correlation-tracking method to derive the horizontal photospheric flows. Supergranular cells are detected as large-scale divergence structures in the flow maps. At their vertices, and cospatial with network magnetic elements, the velocity flows converge on a central point. One of these converging flows is observed as a vortex during the whole 24 h time series. It consists of three consecutive vortices that appear nearly at the same location. At their core, a network magnetic element is also detected. Its evolution is strongly correlated to that of the vortices. The magnetic feature is concentrated and evacuated when it is caught by the vortices and is weakened and fragmented after the whirls disappear. This evolutionary behavior supports the picture presented previously, where a small flux tube becomes stable when it is surrounded by a vortex flow.


title: Successive Embedding and Classification Loss for Aerial Image Classification

abstract: Deep neural networks can be effective means to automatically classify aerial images but is easy to overfit to the training data. It is critical for trained neural networks to be robust to variations that exist between training and test environments. To address the overfitting problem in aerial image classification, we consider the neural network as successive transformations of an input image into embedded feature representations and ultimately into a semantic class label, and train neural networks to optimize image representations in the embedded space in addition to optimizing the final classification score. We demonstrate that networks trained with this dual embedding and classification loss outperform networks with classification loss only. %We also study placing the embedding loss on different network layers. We also find that moving the embedding loss from commonly-used feature space to the classifier space, which is the space just before softmax nonlinearization, leads to the best classification performance for aerial images. Visualizations of the network's embedded representations reveal that the embedding loss encourages greater separation between target class clusters for both training and testing partitions of two aerial image classification benchmark datasets, MSTAR and AID. Our code is publicly available on GitHub.


title: Hohmann Transfer via Constrained Optimization

abstract: In the first part of this paper, inspired by the geometric method of Jean-Pierre Marec, we consider the two-impulse Hohmann transfer problem between two coplanar circular orbits as a constrained nonlinear programming problem. By using the Kuhn-Tucker theorem, we analytically prove the global optimality of the Hohmann transfer. Two sets of feasible solutions are found, one of which corresponding to the Hohmann transfer is the global minimum, and the other is a local minimum. In the second part, we formulate the Hohmann transfer problem as two-point and multi-point boundary-value problems by using the calculus of variations. With the help of the Matlab solver bvp4c, two numerical examples are solved successfully, which verifies that the Hohmann transfer is indeed the solution of these boundary-value problems. Via static and dynamic constrained optimization, the solution to the orbit transfer problem proposed by W. Hohmann ninety-two years ago and its global optimality are re-discovered.


title: Circular dichroism of chiral Majoranas

abstract: Majorana states in condensed matter devices may be of a localized nature, such as in hybrid semiconductor/superconductor nanowires, or chirally propagating along the edges such as in hybrid 2D quantum-anomalous-Hall/superconductor structures. We calculate the circular dichroism due to chiral Majorana states in a hybrid structure made of a quantum-anomalous-Hall-insulator and a superconductor. The optical absorption of chiral Majoranas is characterized by equally spaced absorption peaks of both positive and negative dichroism. In the limit of a very long structure (a 2D ribbon) peaks of a single sign are favored. Circular-dichroism spectroscopy of chiral Majoranas is suggested as a relevant probe for these peculiar states of topological matter.


title: Raman spectroscopy of optical phonon and incommensurate charge density wave modes in 2H-TaSe2 exfoliated flakes

abstract: 2H-TaSe2 is a model transition metal dichalcogenide material that develops charge density waves (CDWs).Here we present variable-temperature Raman spectroscopy study on both incommensurate charge density waves (ICDW) and optical phonon modes of 2H-TaSe2 thin layers exfoliated onto SiO2 substrate. Raman scattering intensities of all modes reach a maximum when the sample thickness is about 11 nm. This phenomenon can be explained by optical interference effect between the sample and the substrate. The E2gICDW amplitude modes experience redshift as temperature increases. We extract ICDW transition temperature (TICDW) from temperature dependence of the frequency of E2gICDW mode. We find that TICDW increases in thinner flakes,which could be due to a result of significantly enhanced electron-phonon interactions. Our results open up a new window for search and control of CDW of two-dimensional matter.


title: Restoring canonical partition functions from imaginary chemical potential

abstract: Using GPGPU techniques and multi-precision calculation we developed the code to study QCD phase transition line in the canonical approach. The canonical approach is a powerful tool to investigate sign problem in Lattice QCD. The central part of the canonical approach is the fugacity expansion of the grand canonical partition functions. Canonical partition functions $Z_n(T)$ are coefficients of this expansion. Using various methods we study properties of $Z_n(T)$. At the last step we perform cubic spline for temperature dependence of $Z_n(T)$ at fixed $n$ and compute baryon number susceptibility $\chi_B/T^2$ as function of temperature. After that we compute numerically $\partial\chi/ \partial T$ and restore crossover line in QCD phase diagram. We use improved Wilson fermions and Iwasaki gauge action on the $16^3 \times 4$ lattice with $m_{\pi}/m_{\rho} = 0.8$ as a sandbox to check the canonical approach. In this framework we obtain coefficient in parametrization of crossover line $T_c(\mu_B^2)=T_c\left(c-\kappa\, \mu_B^2/T_c^2\right)$ with $\kappa = -0.0453 \pm 0.0099$.


title: Increasing Geminid meteor shower activity

abstract: Mathematical modelling has shown that activity of the Geminid meteor shower should rise with time, and that was confirmed by analysis of visual observations 1985--2016. We do not expect any outburst activity of the Geminid shower in 2017, even though the asteroid (3200) Phaethon has close approach to Earth in December of 2017. A small probability to observe dust ejected at perihelia 2009--2016 still exists.


title: Optimal control in ink-jet printing via instantaneous control

abstract: This paper concerns the optimal control of a free surface flow with moving contact line, inspired by an application in ink-jet printing. Surface tension, contact angle and wall friction are taken into account by means of the generalized Navier boundary condition. The time-dependent differential system is discretized by an arbitrary Lagrangian-Eulerian finite element method, and a control problem is addressed by an instantaneous control approach, based on the time discretization of the flow equations. The resulting control procedure is computationally highly efficient and its assessment by numerical tests show its effectiveness in deadening the natural oscillations that occur inside the nozzle and reducing significantly the duration of the transient preceding the attainment of the equilibrium configuration.


title: Dark matter search in a Beam-Dump eXperiment (BDX) at Jefferson Lab: an update on PR12-16-001

abstract: This document is an update to the proposal PR12-16-001 Dark matter search in a Beam-Dump eXperiment (BDX) at Jefferson Lab submitted to JLab-PAC44 in 2016 reporting progress in addressing questions raised regarding the beam-on backgrounds. The concerns are addressed by adopting a new simulation tool, FLUKA, and planning measurements of muon fluxes from the dump with its existing shielding around the dump. First, we have implemented the detailed BDX experimental geometry into a FLUKA simulation, in consultation with experts from the JLab Radiation Control Group. The FLUKA simulation has been compared directly to our GEANT4 simulations and shown to agree in regions of validity. The FLUKA interaction package, with a tuned set of biasing weights, is naturally able to generate reliable particle distributions with very small probabilities and therefore predict rates at the detector location beyond the planned shielding around the beam dump. Second, we have developed a plan to conduct measurements of the muon ux from the Hall-A dump in its current configuration to validate our simulations.


title: A New Strategy for Riemann Hypothesis

abstract: A square-free integer is a positive integer that is not divisible by the square of any prime. Merten's function, $M(x)$ is defined as the difference between the number of square free integers with an even number of prime factors and the number of those with an odd number of prime factors up to $x$. It's well known that $M(x)=O(x^{1/2+\epsilon})$ is equivalent to Riemann Hypothesis. In this paper, we derive a new equation involving Merten's function that leads to a promising technique for Riemann Hypothesis.


title: Experimental observation of hidden Berry curvature in inversion-symmetric bulk 2H-WSe2

abstract: We investigate the hidden Berry curvature in bulk 2H-WSe2 by utilizing the surface sensitivity of angle resolved photoemission (ARPES). The symmetry in the electronic structure of transition metal dichalcogenides is used to uniquely determine the local orbital angular momentum (OAM) contribution to the circular dichroism (CD) in ARPES. The extracted CD signals for the K and K' valleys are almost identical but their signs, which should be determined by the valley index, are opposite. In addition, the sign is found to be the same for the two spin-split bands, indicating that it is independent of spin state. These observed CD behaviors are what are expected from Berry curvature of a monolayer of WSe2. In order to see if CD-ARPES is indeed representative of hidden Berry curvature within a layer, we use tight binding analysis as well as density functional calculation to calculate the Berry curvature and local OAM of a monolayer WSe2. We find that measured CD-ARPES is approximately proportional to the calculated Berry curvature as well as local OAM, further supporting our interpretation.


title: An Online Algorithm for Nonparametric Correlations

abstract: Nonparametric correlations such as Spearman's rank correlation and Kendall's tau correlation are widely applied in scientific and engineering fields. This paper investigates the problem of computing nonparametric correlations on the fly for streaming data. Standard batch algorithms are generally too slow to handle real-world big data applications. They also require too much memory because all the data need to be stored in the memory before processing. This paper proposes a novel online algorithm for computing nonparametric correlations. The algorithm has O(1) time complexity and O(1) memory cost and is quite suitable for edge devices, where only limited memory and processing power are available. You can seek a balance between speed and accuracy by changing the number of cutpoints specified in the algorithm. The online algorithm can compute the nonparametric correlations 10 to 1,000 times faster than the corresponding batch algorithm, and it can compute them based either on all past observations or on fixed-size sliding windows.


title: Automated identification of coronal holes from synoptic EUV maps

abstract: Coronal holes (CH) are regions of open magnetic field lines in the solar corona and the source of fast solar wind. Understanding the evolution of coronal holes is critical for solar magnetism as well as for accurate space weather forecasts. We study here the extreme ultraviolet (EUV) synoptic maps at three wavelengths (195A/193A, 171A and 304A) measured by Solar and Heliospheric Observatory/Extreme Ultraviolet Imaging Telescope (SOHO/EIT) and Solar Dynamics Observatory/Atmospheric Imaging Assembly (SDO/AIA) instruments. The two datasets are first homogenized by scaling the SDO/AIA data to the SOHO/EIT level by means of histogram equalization. We then develop a novel automated method to identify CHs from these homogenized maps by determining the intensity threshold of CH regions separately for each synoptic map. This is done by identifying the best location and size of an image segment, which optimally contains portions of coronal holes and the surrounding quiet Sun allowing us to detect the momentary intensity threshold. Our method is thus able to adjust itself to the changing scale size of coronal holes and to temporally varying intensities. To make full use of the information in the three wavelengths we construct, a composite CH distribution, which is more robust than distributions based on one wavelength. Using the composite CH dataset we discuss the temporal evolution of CHs during the solar cycles 23 and 24.


title: Amplitude bounds for biochemical oscillators

abstract: We present a practical method to obtain bounds for the oscillation minima and maxima of large classes of biochemical oscillator models that generate oscillations through a negative feedback. These bounds depend on the feedback nonlinearity and are independent of explicit or effective feedback delays. For specific systems, we obtain explicit analytical expressions for the bounds and demonstrate their effectiveness in comparison with numerical simulations.


title: Collecting Telemetry Data Privately

abstract: The collection and analysis of telemetry data from users' devices is routinely performed by many software companies. Telemetry collection leads to improved user experience but poses significant risks to users' privacy. Locally differentially private (LDP) algorithms have recently emerged as the main tool that allows data collectors to estimate various population statistics, while preserving privacy. The guarantees provided by such algorithms are typically very strong for a single round of telemetry collection, but degrade rapidly when telemetry is collected regularly. In particular, existing LDP algorithms are not suitable for repeated collection of counter data such as daily app usage statistics. In this paper, we develop new LDP mechanisms geared towards repeated collection of counter data, with formal privacy guarantees even after being executed for an arbitrarily long period of time. For two basic analytical tasks, mean estimation and histogram estimation, our LDP mechanisms for repeated data collection provide estimates with comparable or even the same accuracy as existing single-round LDP collection mechanisms. We conduct empirical evaluation on real-world counter datasets to verify our theoretical results. Our mechanisms have been deployed by Microsoft to collect telemetry across millions of devices.


title: Precision Study of $\eta^\prime\rightarrow\gamma\pi^+\pi^-$ Decay Dynamics

abstract: Using a low background data sample of $9.7\times10^{5}$ $J\psi\rightarrow\gamma\eta^\prime$, $\eta^\prime\rightarrow\gamma\pi^+\pi^-$ events, which are 2 orders of magnitude larger than those from the previous experiments, recorded with the BESIII detector at BEPCII, the decay dynamics of $\eta^\prime\rightarrow\gamma\pi^+\pi^-$ are studied with both model-dependent and model-independent approaches. The contributions of $\omega$ and the $\rho(770)-\omega$ interference are observed for the first time in the decays $\eta^\prime\rightarrow\gamma\pi^+\pi^-$ in both approaches. Additionally, a contribution from the box anomaly or the $\rho(1450)$ resonance is required in the model-dependent approach, while the process specific part of the decay amplitude is determined in the model-independent approach.


title: Random Lasing from Dyed Polystyrene Spheres in Disordered Environment

abstract: Advance designs of random lasers towards development of miniature laser systems are in demand. We demonstrated random lasing from Rhodamine-B dye attached to polystyrene micro-spheres. Bare polystyrene spheres were used as scatterers and these provided optical feedback to the gain. Random lasing was successfully demonstrated in two different disordered environments, in binary colloidal mixture solution and in photonic glass. Incoherent feedback occurred in both the cases and single wavelength lasing were obtained. The lasing threshold in case of photonic glass was lower in comparison to binary colloidal mixture solution. This was because of higher index contrast and larger filling fraction of micro-particles in case of photonic glass. Longer fluorescence lifetime of embedded dye was observed in photonic glass environment in comparison to ethanolic solution of the Rhodamine-B dye. Lasing results obtained for photonic glass were compared with our previous results of Bloch lasing in photonic crystal synthesized using similar dye doped polystyrene micro-spheres.


title: Generation of large-scale magnetic field in convective full-sphere cross-helicity dynamo

abstract: We study effects of the cross-helicity in the full-sphere large-scale mean-field dynamo models of the 0.3M star rotating with the period of 10 days. In exploring several dynamo scenarios which are stemming from the cross-helicity generation effect, we found that the cross-helicity provide the natural generation mechanisms for the large-scale scale axisym- metric and non-axisymmetric magnetic field. Therefore the rotating stars with convective envelope can produce the large-scale magnetic field generated solely due to the turbulent cross-helicity effect (we call it {\gamma} 2 -dynamo). Using mean-field models we compare properties of the large-scale magnetic field organization that stems from dynamo mechanisms based on the kinetic (associated with the {\alpha} 2 dynamos) and cross-helicity. For the fully convective stars, both generation mechanisms can maintain large-scale dynamos even for the solid body rotation law inside the star. The non-axisymmetric magnetic configurations become preferable when the cross-helicity and the {\alpha}-effect operate independently of each other. This corresponds to situations of the purely {\gamma} 2 or {\alpha} 2 dynamos. Combination of these scenarios, i.e., the {\gamma} 2 {\alpha} 2 dynamo can generate preferably axisymmetric, a dipole-like magnetic field of strength several kGs. Thus we found a new dynamo scenario which is able to generate the axisymmetric magnetic field even in the case of the solid body rotation of the star. We discuss the possible applications of our findings to stellar observations.


title: A Horrocks' theorem for reflexive sheaves

abstract: In this paper, we define $m$-tail reflexive sheaves as reflexive sheaves on projective spaces with the simplest possible cohomology. We prove that the rank of any $m$-tail reflexive sheaf $\mathcal{E}$ on $\mathcal{P}^n$ is greater or equal to $ nm-m$. We completely describe $m$-tail reflexive sheaves on $\mathcal{P}^n$ of minimal rank and we construct huge families of $m$-tail reflexive sheaves of higher rank.


title: Soliton induced critical current oscillations in two-band superconducting bridges

abstract: Using time-dependent Ginzburg-Landau theory we find oscillations of critical current density $j_c$ as a function of the length $L$ of the bridge formed from two-band superconductor. We explain this effect by appearance of the phase solitons in the bridge at $j<j_c$, those number changes with change of $L$. In case of sufficiently strong interband coupling oscillations of $j_c$ disappear.


title: Streak Camera for Strong-Field Ionization

abstract: Ionization of an atom or molecule by a strong laser field produces sub-optical cycle wave packets whose control has given rise to attosecond science. The final states of the wave packets depend on ionization and deflection by the laser field, which are convoluted in conventional experiments. Here, we demonstrate a technique enabling efficient electron deflection, separate from the field driving strong-field ionization. Using a mid-infrared deflection field permits one to distinguish electron wave packets generated at different field maxima of an intense few-cycle visible laser pulse. We utilize this capability to trace the scattering of low-energy electrons driven by the mid-infrared field. Our approach represents a general technique for studying and controlling strong-field ionization dynamics on the attosecond time scale.


title: Energy-Efficient Sensor Censoring for Compressive Distributed Sparse Signal Recovery

abstract: To strike a balance between energy efficiency and data quality control, this paper proposes a sensor censoring scheme for distributed sparse signal recovery via compressive-sensing based wireless sensor networks. In the proposed approach, each sensor node employs a sparse sensing vector with known support for data compression, meanwhile enabling making local inference about the unknown support of the sparse signal vector of interest. This naturally leads to a ternary censoring protocol, whereby each sensor (i) directly transmits the real-valued compressed data if the sensing vector support is detected to be overlapped with the signal support, (ii) sends a one-bit hard decision if empty support overlap is inferred, (iii) keeps silent if the measurement is judged to be uninformative. Our design then aims at minimizing the error probability that empty support overlap is decided but otherwise is true, subject to the constraints on a tolerable false-alarm probability that non-empty support overlap is decided but otherwise is true, and a target censoring rate. We derive a closed-form formula of the optimal censoring rule; a low complexity implementation using bi-section search is also developed. In addition, the average communication cost is analyzed. To aid global signal reconstruction under the proposed censoring framework, we propose a modified l_1-minimization based algorithm, which exploits certain sparse nature of the hard decision vector received at the fusion center. Analytic performance guarantees, characterized in terms of the restricted isometry property, are also derived. Computer simulations are used to illustrate the performance of the proposed scheme.


title: Spatially Inhomogeneous Superconducting State near $H_{\rm c2}$ in UPd$_2$Al$_3$

abstract: We have performed $^{27}$Al-NMR measurements on single-crystalline UPd$_2$Al$_3$ with the field parallel to the $c$ axis to investigate the superconducting (SC) properties near the upper critical field of superconductivity $H_{\rm c2}$. The broadening of the NMR linewidth below 14~K indicates the appearance of the internal field at the Al site, which originates from the antiferromagnetically ordered moments of U 5$f$ electrons. In the SC state well below $\mu_0H_{\rm c2}$ = 3.4~T, the broadening of the NMR linewidth due to the SC diamagnetism and a decrease in the Knight shift are observed, which are well-understood by the framework of spin-singlet superconductivity. In contrast, the Knight shift does not change below $T_{\rm c}(H)$, and the NMR spectrum is broadened symmetrically in the SC state in the field range of 3~T $< \mu_0 H < \mu_0 H_{\rm c2}$. The unusual NMR spectrum near $H_{\rm c2}$ suggests that a spatially inhomogeneous SC state such as the Fulde-Ferrell-Larkin-Ovchinnikov (FFLO) state would be realized.


title: Nanoparticle detection in an open-access silicon microcavity

abstract: We report on the detection of free nanoparticles in a micromachined, open-access Fabry-P\'erot microcavity. With a mirror separation of $130\,\mu$m, a radius of curvature of $1.3\,$mm, and a beam waist of $12\,\mu$m, the mode volume of our symmetric infrared cavity is smaller than $15\,$pL. The small beam waist, together with a finesse exceeding 34,000, enables the detection of nano-scale dielectric particles in high vacuum. This device allows monitoring of the motion of individual $150\,$nm radius silica nanospheres in real time. We observe strong coupling between the particles and the cavity field, a precondition for optomechanical control. We discuss the prospects for optical cooling and detection of dielectric particles smaller than $10\,$nm in radius and $1\times10^7\,$amu in mass.


title: Island instability as a mechanism of destabilization and collapse of current sheets

abstract: The work shows that a single elongated island immersed in the quasi-neutral current sheet makes it MHD unstable. Typical values of growth rate are found to be several per cent of inverse Alfven time for broad sheets. Hall dynamics greatly enhance instability and growth rate reaches one-tenth of ion cyclotron frequency when sheet width is comparable to ion inertia length. A weak square-root dependence of increment on island width and length is derived both from numerical simulation and analytical analysis. At the non-linear phase of evolution a phenomenon of fast impulsive intensification of current is found. After finite time of about 10 ion-cyclotron periods it ends by a collapse of the sheet. It is shown that Hall dynamics is responsible for such a behaviour. Possible implications for magnetotail substorms are discussed.


title: A k.p treatment of edge states in narrow 2D topological insulators, with standard boundary conditions for the wave function and its derivative

abstract: For 2D topological insulators with strong electron-hole hybridization, such as HgTe/CdTe quantum wells, the widely used 4 x 4 k.p Hamiltonian based on the first electron and heavy hole sub-bands yields an equal number of physical and spurious solutions, for both the bulk states and the edge states. For symmetric bands and zero wave vector parallel to the sample edge, the mid-gap bulk solutions are identical to the edge solutions. In all cases, the physical edge solution is exponentially localized to the boundary and has been shown previously to satisfy standard boundary conditions for the wave function and its derivative, even in the limit of an infinite wall potential. The same treatment is now extended to the case of narrow sample widths, where for each spin direction, a gap appears in the edge state dispersions. For widths greater than 200 nm, this gap is less than half of the value reported for open boundary conditions, which are called into question because they include a spurious wave function component. The gap in the edge state dispersions is also calculated for weakly hybridized quantum wells such as InAs/GaSb/AlSb. In contrast to the strongly hybridized case, the edge states at the zone center only have pure exponential character when the bands are symmetric and when the sample has certain characteristic width values.


title: Robust Optimization Approaches for the Design of an Electric Machine

abstract: In this paper two formulations for the robust optimization of the size of the permanent magnet in a synchronous machine are discussed. The optimization is constrained by a partial differential equation to describe the electromagnetic behavior of the machine. The need for a robust optimization procedure originates from the fact that optimization parameters have deviations. The first approach, i.e., \textcolor{red}{worst-case} optimization, makes use of local sensitivities. The second approach takes into account expectation values and standard deviations. The latter are associated with global sensitivities. The geometry parametrization is elegantly handled thanks to the introduction of an affine decomposition. Since the stochastic quantities are determined by tools from uncertainty quantification (UQ) and thus require a lot of finite element evaluations, model order reduction is used in order to increase the efficiency of the procedure. It is shown that both approaches are equivalent if a linearization is carried out. \textcolor{blue}{This finding is supported by the application on an electric machine. The optimization algorithms used are sequential quadratic programming, particle swarm optimization and genetic algorithm}. While both formulations reduce the size of the magnets, the UQ based optimization approach is less pessimistic with respect to deviations and yields smaller magnets.


title: O-CNN: Octree-based Convolutional Neural Networks for 3D Shape Analysis

abstract: We present O-CNN, an Octree-based Convolutional Neural Network (CNN) for 3D shape analysis. Built upon the octree representation of 3D shapes, our method takes the average normal vectors of a 3D model sampled in the finest leaf octants as input and performs 3D CNN operations on the octants occupied by the 3D shape surface. We design a novel octree data structure to efficiently store the octant information and CNN features into the graphics memory and execute the entire O-CNN training and evaluation on the GPU. O-CNN supports various CNN structures and works for 3D shapes in different representations. By restraining the computations on the octants occupied by 3D surfaces, the memory and computational costs of the O-CNN grow quadratically as the depth of the octree increases, which makes the 3D CNN feasible for high-resolution 3D models. We compare the performance of the O-CNN with other existing 3D CNN solutions and demonstrate the efficiency and efficacy of O-CNN in three shape analysis tasks, including object classification, shape retrieval, and shape segmentation.


title: Coalescence of Two Impurities in a Trapped One-dimensional Bose Gas

abstract: We study the ground state of a one-dimensional (1D) trapped Bose gas with two mobile impurity particles. To investigate this set-up, we develop a variational procedure in which the coordinates of the impurity particles are slow-like variables. We validate our method using the exact results obtained for small systems. Then, we discuss energies and pair densities for systems that contain of the order of one hundred atoms. We show that bosonic non-interacting impurities cluster. To explain this clustering, we calculate and discuss induced impurity-impurity potentials in a harmonic trap. Further, we compute the force between static impurities in a ring ({\it {\`a} la} the Casimir force), and contrast the two effective potentials: the one obtained from the mean-field approximation, and the one due to the one-phonon exchange. Our formalism and findings are important for understanding (beyond the polaron model) the physics of modern 1D cold-atom systems with more than one impurity.


title: Linear behavior of the optical conductivity and incoherent charge transport in BaCoS2

abstract: Optical conductivity measurements on a BaCoS2 single crystal show an unusual linear behavior over a broad spectral range. In the paramagnetic phase above 300 K, the spectrum shows no gap, which contradicts the previously proposed scenario of a charge-transfer Mott insulator. Ab initio dynamical mean field theory calculations including a retarded Hubbard interaction explain the data in terms of an incipient opening of a Co(3d)-S(3p) charge-transfer gap concomitant to incoherent charge transport driven by electronic correlations. These results point to a non-Fermi liquid scenario with Hund's metal properties in the paramagnetic state, which arises from an incipient Mott phase destabilized by low-energy charge fluctuations across the vanishing 3d-3p charge-transfer gap.


title: Properties of uniform tangent sets and Lagrange multiplier rule

abstract: The concept of uniform tangent sets was introduced and discussed in [3 - Krastanov, Ribarska, SIAM J. Control Optim., 55(3), 2017]. This study is devoted to their further investigation and to generalization of the abstract Lagrange multiplier rule from [3].


title: Multi-Dialect Speech Recognition With A Single Sequence-To-Sequence Model

abstract: Sequence-to-sequence models provide a simple and elegant solution for building speech recognition systems by folding separate components of a typical system, namely acoustic (AM), pronunciation (PM) and language (LM) models into a single neural network. In this work, we look at one such sequence-to-sequence model, namely listen, attend and spell (LAS), and explore the possibility of training a single model to serve different English dialects, which simplifies the process of training multi-dialect systems without the need for separate AM, PM and LMs for each dialect. We show that simply pooling the data from all dialects into one LAS model falls behind the performance of a model fine-tuned on each dialect. We then look at incorporating dialect-specific information into the model, both by modifying the training targets by inserting the dialect symbol at the end of the original grapheme sequence and also feeding a 1-hot representation of the dialect information into all layers of the model. Experimental results on seven English dialects show that our proposed system is effective in modeling dialect variations within a single LAS model, outperforming a LAS model trained individually on each of the seven dialects by 3.1 ~ 16.5% relative.


title: Capable Lie algebras with the derived subalgebra of dimension two over an arbitrary field

abstract: In this paper, we classify all capable nilpotent Lie algebras with the derived subalgebra of dimension 2 over an arbitrary field. Moreover, the explicit structure of such Lie algebras of class 3 is given.


title: Laboratory measurements and astronomical search for cyanomethanimine

abstract: C-cyanomethanimine (HNCHCN), existing in the two $Z$ and $E$ isomeric forms, is a key prebiotic molecule, but, so far, only the $E$ isomer has been detected toward the massive star-forming region. Sagittarius B2(N) using transitions in the radio wavelength domain. With the aim of detecting HNCHCN in Sun-like-star forming regions, the laboratory investigation of its rotational spectrum has been extended to the millimeter-/submillimeter-wave (mm-/submm-) spectral window in which several unbiased spectral surveys have been already carried out. High-resolution laboratory measurements of the rotational spectrum of C-cyanomethanimine were carried out in the 100-420 GHz range using a frequency-modulation absorption spectrometer. We then searched for the C-cyanomethanimine spectral features in the mm-wave range using the high-sensitivity and unbiased spectral surveys obtained with the IRAM 30-m antenna in the ASAI context, the earliest stages of star formation from starless to evolved Class I objects being sampled. For both the $Z$ and $E$ isomers, the spectroscopic work has led to an improved and extended knowledge of the spectroscopic parameters, thus providing accurate predictions of the rotational signatures up to $\sim$700 GHz. So far, no C-cyanomethanimine emission has been detected toward the ASAI targets, and upper limits of the column density of $\sim$ 10$^{11}$--10$^{12}$ cm$^{-2}$ could only be derived. Consequently, the C-cyanomethanimine abundances have to be less than a few 10$^{-10}$ for starless and hot-corinos. A less stringent constraint, $\leq$ 10$^{-9}$, is obtained for shocks sites. The combination of the upper limits of the abundances of C-cyanomethanimine together with accurate laboratory frequencies up to $\sim$ 700 GHz poses the basis for future higher sensitivity searches around Sun-like-star forming regions.


title: A Short Note on Undirected Fitch Graphs

abstract: The symmetric version of Fitch's xenology relation coincides with class of complete multipartite graph and thus cannot convey any non-trivial phylogenetic information.


title: Quasinormal Modes and Van der Waals like phase transition of charged AdS black holes in Lorentz symmetry breaking massive gravity

abstract: Using the quasinormal modes of a massless scalar perturbation, we investigate the small/large black hole phase transition in the Lorentz symmetry breaking massive gravity. We mainly focus on two issues: i) the sign change of slope of the quasinormal mode frequencies in the complex-$\omega$ diagram; ii) the behaviors of the imaginary part of the quasinormal mode frequencies along the isobaric or isothermal processes. For the first issue, our result shows that, at low fixed temperature or pressure, the phase transition can be probed by the sign change of slope. While increasing the temperature or pressure to some certain values near the critical point, there will appear the deflection point, which indicates that such method may not be appropriate to test the phase transition. In particular, the behavior of the quasinormal mode frequencies for the small and large black holes tend to the same at the critical point. For the second issue, it is shown that the non-monotonic behavior is observed only when the small/large black hole phase transition occurs. Therefore, this property can provide us with an additional method to probe the phase transition through the quasinormal modes.


title: Ultrashort laser pulse driven currents in conductors: physical mechanisms and time scales

abstract: The response of conduction band electrons to a local, pulse-like external excitation is investigated. The charge density wave packets that emerge as a consequence of the excitation leave the interaction region with a speed close to the initial state's band velocity, but there are also oscillations with essentially the same frequency as that of the laser field. As a good estimation, the excitation can also be considered as a localized, time-dependent ponderomotive potential, leading to slowly varying current oscillations. The role of all these effects are investigated for different electron energies, carrier frequencies and sizes of the interaction area.


title: Probing neutron star interiors with pulsar glitches

abstract: Pulsar glitches are thought to be probes of the superfluid interior of neutron stars. These sudden jumps in frequency observed in many pulsars are generally assumed to be the macroscopic manifestation of superfluid vortex motion on a microscopic scale. Resolving and modelling such phenomena on the scale of a neutron star is, however, a challenging problem which still remains open, fifty years after the discovery of pulsars. In this article I will review recent theoretical progress, both on the microscopic level and on the macroscopic level, and discuss which constraints on the models can be provided by observations.


title: Optical spectroscopy of excited exciton states in MoS2 monolayers in van der Waals heterostructures

abstract: The optical properties of MoS2 monolayers are dominated by excitons, but for spectrally broad optical transitions in monolayers exfoliated directly onto SiO2 substrates detailed information on excited exciton states is inaccessible. Encapsulation in hexagonal boron nitride (hBN) allows approaching the homogenous exciton linewidth, but interferences in the van der Waals heterostructures make direct comparison between transitions in optical spectra with different oscillator strength more challenging. Here we reveal in reflectivity and in photoluminescence excitation spectroscopy the presence of excited states of the A-exciton in MoS2 monolayers encapsulated in hBN layers of calibrated thickness, allowing to extrapolate an exciton binding energy of about 220 meV. We theoretically reproduce the energy separations and oscillator strengths measured in reflectivity by combining the exciton resonances calculated for a screened two-dimensional Coulomb potential with transfer matrix calculations of the reflectivity for the van der Waals structure. Our analysis shows a very different evolution of the exciton oscillator strength with principal quantum number for the screened Coulomb potential as compared to the ideal two-dimensional hydrogen model.


title: Evolutionary Hirota Type (2+1)-Dimensional Equations: Lax Pairs, Recursion Operators and Bi-Hamiltonian Structures

abstract: We show that evolutionary Hirota type Euler-Lagrange equations in (2+1) dimensions have a symplectic Monge-Amp\`ere form. We consider integrable equations of this type in the sense that they admit infinitely many hydrodynamic reductions and determine Lax pairs for them. For two seven-parameter families of integrable equations converted to two-component form we have constructed Lagrangians, recursion operators and bi-Hamiltonian representations. We have also presented a six-parameter family of tri-Hamiltonian systems.


title: G-CORE: A Core for Future Graph Query Languages

abstract: We report on a community effort between industry and academia to shape the future of graph query languages. We argue that existing graph database management systems should consider supporting a query language with two key characteristics. First, it should be composable, meaning, that graphs are the input and the output of queries. Second, the graph query language should treat paths as first-class citizens. Our result is G-CORE, a powerful graph query language design that fulfills these goals, and strikes a careful balance between path query expressivity and evaluation complexity.


title: Manifold-valued Image Generation with Wasserstein Generative Adversarial Nets

abstract: Generative modeling over natural images is one of the most fundamental machine learning problems. However, few modern generative models, including Wasserstein Generative Adversarial Nets (WGANs), are studied on manifold-valued images that are frequently encountered in real-world applications. To fill the gap, this paper first formulates the problem of generating manifold-valued images and exploits three typical instances: hue-saturation-value (HSV) color image generation, chromaticity-brightness (CB) color image generation, and diffusion-tensor (DT) image generation. For the proposed generative modeling problem, we then introduce a theorem of optimal transport to derive a new Wasserstein distance of data distributions on complete manifolds, enabling us to achieve a tractable objective under the WGAN framework. In addition, we recommend three benchmark datasets that are CIFAR-10 HSV/CB color images, ImageNet HSV/CB color images, UCL DT image datasets. On the three datasets, we experimentally demonstrate the proposed manifold-aware WGAN model can generate more plausible manifold-valued images than its competitors.


title: Polynomial braid combing

abstract: Braid combing is a procedure defined by Emil Artin to solve the word problem in braid groups for the first time. It is well-known to have exponential complexity. In this paper, we use the theory of straight line programs to give a polynomial algorithm which performs braid combing. This procedure can be applied to braids on surfaces, providing the first algorithm (to our knowledge) which solves the word problem for braid groups on surfaces with boundary in polynomial time and space. In the case of surfaces without boundary, braid combing needs to use a section from the fundamental group of the surface to the braid group. Such a section was shown to exist by Gon\ccalves and Guaschi, who also gave a geometric description. We propose an algebraically simpler section, which we describe explicitly in terms of generators of the braid group, and we show why the above procedure to comb braids in polynomial time does not work in this case.


title: Quantum enhanced joint measurement of multiple non-commuting observables with SU(1,1) interferometer

abstract: Heisenberg uncertainty relation in quantum mechanics sets the limit on the measurement precision of non-commuting observables, which prevents us from measuring them accurately at the same time. In some applications, however, the information are embedded in two or more non-commuting observables. On the other hand, quantum entanglement allows us to infer through Einstein-Podolsky-Rosen correlations two conjugate observables with precision better than what is allowed by Heisenberg uncertainty relation. With the help of the newly developed SU(1,1) interferometer, we implement a scheme to measure jointly information encoded in multiple non-commuting observables of an optical field with a signal-to-noise ratio improvement of about 20 % over the standard quantum limit on all measured quantities simultaneously. This scheme can be generalized to the joint measurement of information in arbitrary number of non-commuting observables.


title: Scalar-Fermion Analytic Bootstrap in 4D

abstract: In this work we discuss an analytic bootstrap approach [1,2] in the context of spinning 4D conformal blocks [3,4]. As an example we study the simplest spinning case, the scalar-fermion correlator $\langle\phi\psi\phi\bar\psi\rangle$. We find that to every pair of primary scalar $\phi$ and fermion $\psi$ correspond two infinite towers of fermionic large spin primary operators. We compute their twists and products of OPE coefficients using both s-t and u-t bootstrap equations to the leading and sub-leading orders. We find that the leading order is represented by the scalar-fermion generalized free theory and the sub-leading order is governed by the minimal twist bosonic (light scalars, currents and the energy-momentum tensor) and fermionic (light fermions and the suppersymmetric current) operators present in the spectrum.


title: Second-order and local characteristics of network intensity functions

abstract: The last decade has witnessed an increase of interest in the spatial analysis of structured point patterns over networks whose analysis is challenging because of geometrical complexities and unique methodological problems. In this context, it is essential to incorporate the network specificity into the analysis as the locations of events are restricted to areas covered by line segments. Relying on concepts originating from graph theory, we extend the notions of first-order network intensity functions to second-order and local network intensity functions. We consider two types of local indicators of network association functions which can be understood as adaptations of the primary ideas of local analysis on the plane. We develop the node-wise and cross-hierarchical type of local functions. A real dataset on urban disturbances is also presented.


title: On Distinguishing Different Models of a Class of Emergent Universe Solutions

abstract: A specific class of singularity free cosmological model has recently been considered in light of different observational data like Observed Hubble Data, BAO data from Luminous Red Galaxy survey by Slowan Digital Sky Survey (SDSS) and CMB data from WMAP. However it is observed that only $12-14$ data points are used to study the viability of the model in late time . In this paper we discuss the viability of all the models belonging to the same class of EU in light of Union Compilation data (SnIa) which consists over a hundred data points, thus getting a more robust test for viability. More importantly it is crucial that we can distinguish between the various models proposed in the class of solution obtained. We discuss here why with present observational data it is difficult to distinguish between all of them. We show that the late time behaviour of the model is typical to any asymptotically de-Sitter model.


title: An Efficient Quantum Compiler that reduces $T$ count

abstract: Before executing a quantum algorithm, one must first decompose the algorithm into machine-level instructions compatible with the architecture of the quantum computer, a process known as quantum compiling. There are many different quantum circuit decompositions for the same algorithm but it is desirable to compile leaner circuits. A fundamentally important cost metric is the $T$ count -- the number of $T$ gates in a circuit. For the single qubit case, optimal compiling is essentially a solved problem. However, multi-qubit compiling is a harder problem with optimal algorithms requiring classical runtime exponential in the number of qubits. Here, we present and compare several efficient quantum compilers for multi-qubit Clifford + $T$ circuits. We implemented our compilers in C++ and benchmarked them on random circuits, from which we determine that our TODD compiler yields the lowest $T$ counts on average. We also benchmarked TODD on a library of reversible logic circuits that appear in quantum algorithms and found that it reduced the $T$ count for 97\% of the circuits with an average $T$-count saving of 20\% when compared against the best of all previous circuit decompositions.


title: Normal convergence of non-localised geometric functionals and shot noise excursions

abstract: This article presents a complete second order theory for a large class of geometric functionals on homogeneous Poisson input. In particular, the results don't require the existence of a radius of stabilisation. Hence they can be applied to geometric functionals of spatial shot-noise fields excursions such as volume, perimeter, or Euler characteristic (the method still applies to stabilising functionals). More generally, it must be checked that a local contribution to the functional is not strongly affected under a perturbation of the input far away. In this case the exact asymptotic variance is given, as well as the likely optimal speed of convergence in the central limit theorem. This goes through a general mixing-type condition that adapts nicely to both proving asymptotic normality and that variance is of volume order.


title: A short proof that equisingular plane curve singularities are topologically equivalent

abstract: We prove that if two plane curve singularities are equisingular, then they are topologically equivalent. The method we will use is P.~Fortuny~Ayuso's who proved this result for irreducible plane curve singularities.


title: Dynamics of non-equilibrium steady state quantum phase transitions

abstract: In this paper we address the question how the Kibble-Zurek mechanism, which describes the formation of topological defects in quantum systems subjected to a quench across a critical point, is generalized to the same scenario but for driven-dissipative quantum critical systems. In these out of equilibrium systems, the critical behavior is manifested in the steady states rather than in the ground states as in quantum critical models of closed systems. To give the generalization we need to establish what is meant by adiabaticity in open quantum systems. Another most crucial concept that we clarify is the characterization of non-adiabatic excitations. It is clear what these are for a Hamiltonian systems, but question is more subtle for driven-dissipative systems. In particular, the important observation is that the instantaneous steady states serve as reference states. From these the excitations can then be extracted by comparing the distance from the evolved state to the instantaneous steady state. With these issues resolved we demonstrate the applicability of the generalized Kibble-Zurek mechanism to an open Landau-Zener problem and show universal Kibble-Zurek scaling for an open transverse Ising model. Thus, our results support any assumption that non-equilibrium quantum critical behavior can be understood from universal features.


title: A new measure for community structures through indirect social connections

abstract: Based on an expert systems approach, the issue of community detection can be conceptualized as a clustering model for networks. Building upon this further, community structure can be measured through a clustering coefficient, which is generated from the number of existing triangles around the nodes over the number of triangles that can be hypothetically constructed. This paper provides a new definition of the clustering coefficient for weighted networks under a generalized definition of triangles. Specifically, a novel concept of triangles is introduced, based on the assumption that, should the aggregate weight of two arcs be strong enough, a link between the uncommon nodes can be induced. Beyond the intuitive meaning of such generalized triangles in the social context, we also explore the usefulness of them for gaining insights into the topological structure of the underlying network. Empirical experiments on the standard networks of 500 commercial US airports and on the nervous system of the Caenorhabditis elegans support the theoretical framework and allow a comparison between our proposal and the standard definition of clustering coefficient.


title: EmTaggeR: A Word Embedding Based Novel Method for Hashtag Recommendation on Twitter

abstract: The hashtag recommendation problem addresses recommending (suggesting) one or more hashtags to explicitly tag a post made on a given social network platform, based upon the content and context of the post. In this work, we propose a novel methodology for hashtag recommendation for microblog posts, specifically Twitter. The methodology, EmTaggeR, is built upon a training-testing framework that builds on the top of the concept of word embedding. The training phase comprises of learning word vectors associated with each hashtag, and deriving a word embedding for each hashtag. We provide two training procedures, one in which each hashtag is trained with a separate word embedding model applicable in the context of that hashtag, and another in which each hashtag obtains its embedding from a global context. The testing phase constitutes computing the average word embedding of the test post, and finding the similarity of this embedding with the known embeddings of the hashtags. The tweets that contain the most-similar hashtag are extracted, and all the hashtags that appear in these tweets are ranked in terms of embedding similarity scores. The top-K hashtags that appear in this ranked list, are recommended for the given test post. Our system produces F1 score of 50.83%, improving over the LDA baseline by around 6.53 times, outperforming the best-performing system known in the literature that provides a lift of 6.42 times. EmTaggeR is a fast, scalable and lightweight system, which makes it practical to deploy in real-life applications.


title: Progress of the Development of the ELI-NP GBS High Level Applications

abstract: The Gamma Beam System (GBS) is a high brightness LINAC to be installed in Magurele (Bucharest) at the new ELI-NP (Extreme Light Infrastructure - Nuclear Physics) laboratory. The accelerated electrons, with energies ranging from 280 to 720 MeV, will collide with a high power laser to produce tunable high energy photons (0.2-20MeV ) with high intensity (10e13 photons/s), high brilliance and spectral purity (0.1% BW), through the Compton backscattering process. This light source will be open to users for nuclear photonics and nuclear physics advanced experiments. Tested high level applications will play an important role in commissioning and operation. In this paper we report the progress and status of the development of dedicated high level applications. We also present the results of the test on the FERMI LINAC of the electron trajectory control method based on Dispersion Free Steering.


title: First measurement of the 14N/15N ratio in the analogue of the Sun progenitor OMC-2 FIR4

abstract: We present a complete census of the 14N/15N isotopic ratio in the most abundant N-bearing molecules towards the cold envelope of the protocluster OMC-2 FIR4, the best known Sun progenitor. To this scope, we analysed the unbiased spectral survey obtained with the IRAM-30m telescope at 3mm, 2mm and 1mm. We detected several lines of CN, HCN, HNC, HC3N, N2H+, and their respective 13C and 15N isotopologues. The lines relative fluxes are compatible with LTE conditions and moderate line opacities have been corrected via a Population Diagram method or theoretical relative intensity ratios of the hyperfine structures. The five species lead to very similar 14N/15N isotopic ratios, without any systematic difference between amine and nitrile bearing species as previously found in other protostellar sources. The weighted average of the 14N/15N isotopic ratio is 270 +/- 30. This 14N/15N value is remarkably consistent with the [250-350] range measured for the local galactic ratio but significantly differs from the ratio measured in comets (around 140). High-angular resolution observations are needed to examine whether this discrepancy is maintained at smaller scales. In addition, using the CN, HCN and HC3N lines, we derived a 12C/13C isotopic ratio of 50 +/- 5.


title: Value of the axial-vector coupling strength in $\beta$ and $\beta\beta$ decays: A review

abstract: In this review the quenching of the weak axial-vector coupling strength, $g_{\rm A}$, is discussed in nuclear $\beta$ and double-$\beta$ decays. On one hand, the nuclear-medium and nuclear many-body effects are separated, and on the other hand the quenching is discussed from the points of view of different many-body methods and different $\beta$-decay and double-$\beta$-decay processes. Both the historical background and the present status are reviewed and contrasted against each other. The theoretical considerations are tied to performed and planned measurements, and possible new measurements are urged, whenever relevant and doable. Relation of the quenching problem to the measurements of charge-exchange reactions and muon-capture rates is pointed out.


title: A dust particle based technique to measure potential profiles in a plasma

abstract: A novel technique to measure potential profiles in a plasma based on the visualization of charged tracer dust particles is reported. The method is used to experimentally determine the potential around a grounded wire that is mounted on the cathode of a DC glow discharge Argon plasma produced in a $\Pi$--shaped Dusty Plasma Experimental (DPEx) device. The tracer particles, consisting of a few micron sized mono-dispersive Melamine Formaldehyde (MF) grains, are made to flow over the grounded wire by suitable variations in the background gas flow. By a visual tracking of the individual particle trajectories, that yields their positions and velocities at various times, the potential values at these positions are directly estimated by using energy conservation arguments. The results agree very well with conventional probe based measurements. The technique is free of some of the inherent limitations of probe based diagnostics and offers a direct and minimally invasive means of visualizing potential profiles in a plasma.


title: The transition in settling velocity of surfactant-covered droplets from the Stokes to the Hadamard-Rybczynski solution

abstract: The exact solution for a small falling drop is a classical result by Hadamard and Rybczynski. But experiments show that small drops fall slower than predicted, giving closer agreement with Stokes' result for a falling hard sphere. Increasing the drop size, a transition between these two extremes is found. This is due to surfactants present in the system, and previous work has led to the stagnant-cap model. We present here an alternative approach which we call the continuous-interface model. In contrast to the stagnant-cap model, we do not consider a surfactant advection-diffusion equation at the interface. Taking instead the normal and tangential interfacial stresses into account, we solve the Stokes equation analytically for the falling drop with varying interfacial tension. Some of the solutions thus obtained, e.g. the hovering drop, violate conservation ofenergy unless energy is provided directly to the interface. Considering the energy budget of the drop, we show that the terminal velocity is bounded by the Stokes and the Hadamard-Rybczynski results. The continuous-interface model is then obtained from the force balance for surfactants at the interface. The resulting expressions gives the transition between the two extremes, and also predicts that the critical radius, below which drops fall like hard spheres, is proportional to the interfacial surfactant concentration. By analysing experimental results from the literature, we confirm this prediction, thus providing strong arguments for the validity of the proposed model.


title: Clustering of gamma-ray burst types in the Fermi-GBM catalogue: indications of photosphere and synchrotron emissions during the prompt phase

abstract: Many different physical processes have been suggested to explain the prompt gamma-ray emission in gamma-ray bursts (GRBs). Although there are examples of both bursts with photospheric and synchrotron emission origins, these distinct spectral appearances have not been generalized to large samples of GRBs. Here, we search for signatures of the different emission mechanisms in the full Fermi Gamma-ray Space Telescope GBM catalogue. We use Gaussian Mixture Models to cluster bursts according to their parameters from the Band function ($\alpha$, $\beta$, and $E_{pk}$) as well as their fluence and $T_{90}$. We find five distinct clusters. We further argue that these clusters can be divided into bursts of photospheric origin (2/3 of all bursts, divided into 3 clusters) and bursts of synchrotron origin (1/3 of all bursts, divided into 2 clusters). For instance, the cluster that contains predominantly short bursts is consistent of photospheric emission origin. We discuss several reasons that can determine which cluster a burst belongs to: jet dissipation pattern and/or the jet content, or viewing angle.


title: Lefschetz Properties of Gorenstein Graded Algebras associated to the Ap\'ery Set of a Numerical Semigroup

abstract: In this paper we study the Weak Lefschetz property of two classes of standard graded Artinian Gorenstein algebras associated in a natural way to the Ap\'ery set of numerical semigroups. To this aim we also prove a general result about the transfer of Weak Lefschetz property from an Artinian Gorenstein algebra to its quotients modulo a colon ideal.


title: Robust toll pricing: A novel approach

abstract: We study a robust toll pricing problem where toll setters and users have different level of information when taking their decisions. Toll setters do not have full information on the costs of the network and rely on historical information when determining toll rates, whereas users decide on the path to use from origin to destination knowing toll rates and having, in addition, more accurate traffic data. Toll setters often also face constraints on price experimentation which means less opportunity for price revision. Motivated by this we propose a novel robust pricing methodology for fixing prices where we take non-adversarial view of nature different from the existing robust approaches. We show that our non-adversarial robustness results in less conservative pricing decisions compared to traditional adversarial nature setting. We start by first considering a single origin-destination parallel network in this new robust setting and formulate the robust toll pricing problem as a distributionally robust optimization problem, for which we develop an exact algorithm based on a mixed-integer programming formulation and a heuristic based on two-point support distribution. We further extend our formulations to more general networks and show how our algorithms can be adapted for the general networks. Finally, we illustrate the usefulness of our approach by means of numerical experiments both on randomly generated networks and on the data recorded on the road network of the city of Chicago.


title: Liouville quantum gravity as a metric space and a scaling limit

abstract: Over the past few decades, two natural random surface models have emerged within physics and mathematics. The first is Liouville quantum gravity, which has its roots in string theory and conformal field theory from the 1980s and 1990s. The second is the Brownian map, which has its roots in planar map combinatorics from the 1960s together with recent scaling limit results. This article surveys a series of works with Sheffield in which it is shown that Liouville quantum gravity (LQG) with parameter $\gamma=\sqrt{8/3}$ is equivalent to the Brownian map. We also briefly describe a series of works with Gwynne which use the $\sqrt{8/3}$-LQG metric to prove the convergence of self-avoiding walks and percolation on random planar maps towards SLE$_{8/3}$ and SLE$_6$, respectively, on a Brownian surface.