title: Hyperscaling violation and Electroweak Symmetry Breaking

abstract: We consider a class of simplified models of dynamical electroweak symmetry breaking built in terms of their five-dimensional weakly-coupled gravity duals, in the spirit of bottom-up holography. The sigma-model consists of two abelian gauge bosons and one real, non-charged scalar field coupled to gravity in five dimensions. The scalar potential is a simple exponential function of the scalar field. The background metric resulting from solving the classical equations of motion exhibits hyperscaling violation, at least at asymptotically large values of the radial direction. We study the spectrum of scalar composite states of the putative dual field theory by fluctuating the sigma-model scalars and gravity, and discuss in which cases we find a parametrically light scalar state in the spectrum. We model the spontaneous breaking of the (weakly coupled) gauge symmetry to the diagonal subgroup by the choice of IR boundary conditions. We compute the mass spectrum of spin-1 states, and the precision electroweak parameter S as a function of the hyperscaling coefficient. We find a general bound on the mass of the lightest spin-1 resonance, by requiring that the indirect bounds on the precision parameters be satisfied, that implies that precision electroweak physics excludes the possibility of a techni-rho meson with mass lighter than several TeV.


title: NuSTAR and Suzaku X-ray Spectroscopy of NGC 4151: Evidence for Reflection from the Inner Accretion Disk

abstract: We present X-ray timing and spectral analyses of simultaneous 150 ks Nuclear Spectroscopic Telescope Array (NuSTAR) and Suzaku X-ray observations of the Seyfert 1.5 galaxy NGC 4151. We disentangle the continuum emission, absorption, and reflection properties of the active galactic nucleus (AGN) by applying inner accretion disk reflection and absorption-dominated models. With a time-averaged spectral analysis, we find strong evidence for relativistic reflection from the inner accretion disk. We find that relativistic emission arises from a highly ionized inner accretion disk with a steep emissivity profile, which suggests an intense, compact illuminating source. We find a preliminary, near-maximal black hole spin a>0.9 accounting for statistical and systematic modeling errors. We find a relatively moderate reflection fraction with respect to predictions for the lamp post geometry, in which the illuminating corona is modeled as a point source. Through a time-resolved spectral analysis, we find that modest coronal and inner disk reflection flux variation drives the spectral variability during the observations. We discuss various physical scenarios for the inner disk reflection model, and we find that a compact corona is consistent with the observed features.


title: Pauli-Villars Regularization in nonperturbative Hamiltonian approach on the Light Front

abstract: The advantage of Pauli-Villars regularization in quantum field theory quantized on the light front is explained. Simple examples of scalar $\lambda\varphi^4$ field theory and Yukawa-type model are used. We give also an example of nonperturbative calculation in the theory with Pauli-Villars fields, using for that a model of anharmonic oscillator modified by inclusion of ghost variables playing the role similar to Pauli-Villars fields.


title: Cusps and Exotic Charmonia

abstract: A simple, causal, and analytic model of final state rescattering is used to describe all available data on the exotic resonances $Z_c(3900)$ and $Z_c(4025)$. The model provides a compelling and accurate representation of experiment with no need for poles in the scattering matrix.


title: The classically conformal B$-$L extended Ma model

abstract: We discuss a classically conformal radiative seesaw model with gauged B$-$L symmetry, in which the B$-$L symmetry breaking can occur through the Coleman-Weinberg mechanism. As a result, all mass terms are generated and EW symmetry breaking also occurs. We show some allowed parameters to satisfy several theoretical constraints.


title: Non-perturbative Test of the Witten-Veneziano Formula from Lattice QCD

abstract: We compute both sides of the Witten-Veneziano formula using lattice techniques. For the one side we perform dedicated quenched simulations and use the spectral projector method to determine the topological susceptibility in the pure Yang-Mills theory. The other side we determine in lattice QCD with $N_f=2+1+1$ dynamical Wilson twisted mass fermions including for the first time also the flavour singlet decay constant. The Witten-Veneziano formula represents a leading order expression in the framework of chiral perturbation theory and we also employ leading order chiral perturbation theory to relate the flavor singlet decay constant to the relevant decay constant parameters in the quark flavor basis and flavor non-singlet decay constants. After taking the continuum and the SU$(2)$ chiral limits we compare both sides and find good agreement within uncertainties.


title: Controlled Spin Transport in Planar Systems Through Topological Exciton

abstract: It is shown that a charge-neutral spin-1 exciton, realizable only in planar systems like graphene, can effectively be used for controlled spin transport in such media. The excitonic bound state is destabilized by quantum fluctuations, characterized by a threshold for excitation and melts in a smooth manner under thermal fluctuations. This planar exciton differs from the conventional ones, as it owes its existence to the topological Chern-Simons (CS) term. The parity and time-reversal violating CS term can arise from quantum effects in systems with parity-breaking mass-gap. The spinning exciton naturally couples to magnetic field, leading to the possibility of controlled spin transport. Being neutral, it is immune to adverse effects, afflicting spin transport by charged fermions.


title: Transfer-matrix study of a hard-square lattice gas with two kinds of particles and density anomaly

abstract: Using transfer matrix and finite-size scaling methods, we study the thermodynamic behavior of a lattice gas with two kinds of particles on the square lattice. Only excluded volume interactions are considered, so that the model is athermal. Large particles exclude the site they occupy and its four first neighbors, while small particles exclude only their site. Two thermodynamic phases are found: a disordered phase where large particles occupy both sublattices with the same probability and an ordered phase where one of the two sublattices is preferentially occupied by them. The transition between these phases is continuous at small concentrations of the small particles and discontinuous at larger concentrations, both transitions are separated by a tricritical point. Estimates of the central charge suggest that the critical line is in the Ising universality class, while the tricritical point has tricritical Ising (Blume-Emery-Griffiths) exponents. The isobaric curves of the total density as functions of the fugacity of small or large particles display a minimum in the disordered phase.


title: The MSSM Higgs Sector at the LHC and Beyond

abstract: Some possibilities to test the Higgs sector of the Minimal Supersymmetric Standard Model (MSSM) at the LHC and future $e^+e^-$ colliders are discussed. This includes precision coupling strength measurements, the search for additional Higgs bosons as well as their decay to supersymmetric particles.


title: Exploring Integral Image Word Length Reduction Techniques for SURF Detector

abstract: Speeded Up Robust Features (SURF) is a state of the art computer vision algorithm that relies on integral image representation for performing fast detection and description of image features that are scale and rotation invariant. Integral image representation, however, has major draw back of large binary word length that leads to substantial increase in memory size. When designing a dedicated hardware to achieve real-time performance for the SURF algorithm, it is imperative to consider the adverse effects of integral image on memory size, bus width and computational resources. With the objective of minimizing hardware resources, this paper presents a novel implementation concept of a reduced word length integral image based SURF detector. It evaluates two existing word length reduction techniques for the particular case of SURF detector and extends one of these to achieve more reduction in word length. This paper also introduces a novel method to achieve integral image word length reduction for SURF detector.


title: Sublinear-Time Decremental Algorithms for Single-Source Reachability and Shortest Paths on Directed Graphs

abstract: We consider dynamic algorithms for maintaining Single-Source Reachability (SSR) and approximate Single-Source Shortest Paths (SSSP) on $n$-node $m$-edge directed graphs under edge deletions (decremental algorithms). The previous fastest algorithm for SSR and SSSP goes back three decades to Even and Shiloach [JACM 1981]; it has $ O(1) $ query time and $ O (mn) $ total update time (i.e., linear amortized update time if all edges are deleted). This algorithm serves as a building block for several other dynamic algorithms. The question whether its total update time can be improved is a major, long standing, open problem. In this paper, we answer this question affirmatively. We obtain a randomized algorithm with an expected total update time of $ O(\min (m^{7/6} n^{2/3 + o(1)}, m^{3/4} n^{5/4 + o(1)}) ) = O (m n^{9/10 + o(1)}) $ for SSR and $(1+\epsilon)$-approximate SSSP if the edge weights are integers from $ 1 $ to $ W \leq 2^{\log^c{n}} $ and $ \epsilon \geq 1 / \log^c{n} $ for some constant $ c $. We also extend our algorithm to achieve roughly the same running time for Strongly Connected Components (SCC), improving the algorithm of Roditty and Zwick [FOCS 2002]. Our algorithm is most efficient for sparse and dense graphs. When $ m = \Theta(n) $ its running time is $ O (n^{1 + 5/6 + o(1)}) $ and when $ m = \Theta(n^2) $ its running time is $ O (n^{2 + 3/4 + o(1)}) $. For SSR we also obtain an algorithm that is faster for dense graphs and has a total update time of $ O ( m^{2/3} n^{4/3 + o(1)} + m^{3/7} n^{12/7 + o(1)}) $ which is $ O (n^{2 + 2/3}) $ when $ m = \Theta(n^2) $. All our algorithms have constant query time in the worst case and are correct with high probability against an oblivious adversary.


title: Bounds on the degrees of birational maps with arithmetically Cohen-Macaulay graphs

abstract: A rational map whose source and image are projectively embedded varieties has an {\em Arithmetically Cohen-Macaulay graph} if the Rees algebra of one (hence any) of its base ideals is a Cohen-Macaulay ring. If the map is birational onto the image one considers how this property forces an upper bound on the degree of a representative of the map. In the plane case a complete description is given of the Cremona maps with Cohen-Macaulay graph, while in arbitrary dimension $n$ it is shown that a Cremona map with Cohen-Macaulay graph has degree at most $n^2$.


title: MEIC Design Summary

abstract: This document summarizes the design of Jefferson Lab's electron-ion collider, MEIC, as of January 20, 2015, and describes the facility whose cost was estimated for the United States Department of Energy Nuclear Sciences Advisory Committee EIC cost review of January 26-28, 2015. In particular, each of the main technical systems within the collider is presented to the level of the best current information.


title: Hardware based Scale- and Rotation-Invariant Feature Extraction: A Retrospective Analysis and Future Directions

abstract: Computer Vision techniques represent a class of algorithms that are highly computation and data intensive in nature. Generally, performance of these algorithms in terms of execution speed on desktop computers is far from real-time. Since real-time performance is desirable in many applications, special-purpose hardware is required in most cases to achieve this goal. Scale- and rotation-invariant local feature extraction is a low level computer vision task with very high computational complexity. The state-of-the-art algorithms that currently exist in this domain, like SIFT and SURF, suffer from slow execution speeds and at best can only achieve rates of 2-3 Hz on modern desktop computers. Hardware-based scale- and rotation-invariant local feature extraction is an emerging trend enabling real-time performance for these computationally complex algorithms. This paper takes a retrospective look at the advances made so far in this field, discusses the hardware design strategies employed and results achieved, identifies current research gaps and suggests future research directions.


title: Observing the spin of free electrons in action(Stern-Gerlach experiment by free electrons)

abstract: Stern-Gerlach experiment by free electron is very important experiment because it answered some questions that remain unanswered for almost a century. Bohr and Pauli considered its objective observation as impossible while some other scientists considered such observation as possible. The experiment on free electrons has not been conducted so far because the high magnetic field gradient predicted there was thought as impossible to generate. This paper proves that it is not only possible but also observable using a high vacuum lamp which is deionized well. To obtain a high magnetic field gradient, it is not necessary to have a very strong magnetic field and it is possible to observe the phenomenon using a very sharp pointed magnet and adjusting the voltage in a certain distance from free electron beams. that objective observation requires your consideration of some technical points simultaneously.In this experiment, no electric field and no magnetic field does not change with time.


title: Motion of the planets: the calculation and visualization in Mathcad

abstract: This article describes use of Mathcad mathematical package to solve problem of the motion of two, three and four material points under the influence of gravitational forces on the planar motion and in three-dimensional space. The limits of accuracy of numerical methods for solving ordinary differential equations are discussed. Usual concept of Kepler hours with uneven movement arrows illustrates Kepler's second law. Mathcad animation tools are used to illustrate solutions and links with animations are provided.


title: Enhanced betatron X-rays from axially modulated plasma wakefields

abstract: In the cavitation regime of plasma-based accelerators, a population of high-energy electrons tailing the driver can undergo betatron motion. The motion results in X-ray emission, but the brilliance and photon energy are limited by the electrons' initial transverse coordinate. To overcome this, we exploit parametrically unstable betatron motion in a cavitated, axially modulated plasma. Theory and simulations are presented showing that the unstable oscillations increase both the total X-ray energy and average photon energy.


title: Probing composite Higgs models by measuring phase shifts at LHC

abstract: Composite Higgs models are an attractive scenario, where the discovered Higgs boson is regarded as a Nambu-Goldstone boson associated with spontaneous breakdown of a global symmetry of more fundamental theory. This class of models predicts violation of perturbative unitarity at high energies, and new resonances are expected to appear around TeV scale to maintain the unitarity, while a sizable phase shift is predicted in certain scattering amplitude. We investigate the new resonance scale from the phase shift by drawing analogies with pion physics in QCD. The detectability of the phase shift at LHC and the ILC is also discussed. This talk was given in {\it HPNP 2015} at University of Toyama and based on the work in collaboration with S.~Kanemura, T.~Shindou and N.~Machida (arXiv:1410.8413 [hep-ph]).


title: Improved repeatability measures for evaluating performance of feature detectors

abstract: The most frequently employed measure for performance characterisation of local feature detectors is repeatability, but it has been observed that this does not necessarily mirror actual performance. Presented are improved repeatability formulations which correlate much better with the true performance of feature detectors. Comparative results for several state-of-the-art feature detectors are presented using these measures; it is found that Hessian-based detectors are generally superior at identifying features when images are subject to various geometric and photometric transformations.


title: Learning Contextualized Music Semantics from Tags via a Siamese Network

abstract: Music information retrieval faces a challenge in modeling contextualized musical concepts formulated by a set of co-occurring tags. In this paper, we investigate the suitability of our recently proposed approach based on a Siamese neural network in fighting off this challenge. By means of tag features and probabilistic topic models, the network captures contextualized semantics from tags via unsupervised learning. This leads to a distributed semantics space and a potential solution to the out of vocabulary problem which has yet to be sufficiently addressed. We explore the nature of the resultant music-based semantics and address computational needs. We conduct experiments on three public music tag collections -namely, CAL500, MagTag5K and Million Song Dataset- and compare our approach to a number of state-of-the-art semantics learning approaches. Comparative results suggest that this approach outperforms previous approaches in terms of semantic priming and music tag completion.


title: Tree-Grass interactions dynamics and Pulse Fires: mathematical and numerical studies

abstract: Savannas are dynamical systems where grasses and trees can either dominate or coexist. Fires are known to be central in the functioning of the savanna biome though their characteristics are expected to vary along the rainfall gradients as observed in Sub-Saharan Africa. In this paper, we model the tree-grass dynamics using impulsive differential equations that consider fires as discrete events. This framework allows us to carry out a comprehensive qualitative mathematical analysis that revealed more diverse possible outcomes than the analogous continuous model. We investigated local and global properties of the equilibria and show that various states exist for the physiognomy of vegetation. Though several abrupt shifts between vegetation states appeared determined by fire periodicity, we showed that direct shading of grasses by trees is also an influential process embodied in the model by a competition parameter leading to bifurcations. Relying on a suitable nonstandard finite difference scheme, we carried out numerical simulations in reference to three main climatic zones as observable in Central Africa.


title: Beyond the SM phenomena and the extended Higgs sector based on the SUSY gauge theory with confinement

abstract: We propose a fundamental theory whose low-energy effective theory provides a phenomenological description of electroweak baryogenesis, radiative neutrino mass generation, and dark matter. The model is based on SUSY SU(2)_H gauge theory with confinement, and the model contains new Z_2 discrete symmetry and Z_2-odd right-handed neutrino superfields. The Higgs sector in the low energy effective theory of this model below confinement scale is described by fifteen mesonic superfields of fundamental SU(2)_H doublets. We present a benchmark scenario of this model, where all the constraints from the current neutrino, dark matter, lepton flavour violation and LHC data are satisfied. We also discuss how to test the scenario by the future collider experiments.


title: Longitudinal electric current in classical collisional Maxwellian plasma, inducted by transversal electromagnetic wave

abstract: Kinetic Vlasov equation for collisional Maxwellian plasmas is used. Collision integral of BGK (Bhatnagar, Gross and Krook) type is applied. From Vlasov equation we find distribution function of electrons in square-law approximation on size of transversal electric field. The formula for electric current calculation is deduced. This formula contains an one-dimensional quadrature. It is shown, that nonlinearity leads to revealing of the longitudinal electric current directed along a wave vector. This longitudinal current is perpendicular to known so-called transversal classical current. The classical current turns out at the linear analysis. The longitudinal current in case of small values of wave numbers is calculated. When frequency of collisions tends to zero, all received formulas for collisional plasmas pass in the known corresponding results for collisionless plasmas. Graphic research of dimensionless density of a current is carried out.


title: Adaptive Bayesian credible sets in regression with a Gaussian process prior

abstract: We investigate two empirical Bayes methods and a hierarchical Bayes method for adapting the scale of a Gaussian process prior in a nonparametric regression model. We show that all methods lead to a posterior contraction rate that adapts to the smoothness of the true regression function. Furthermore, we show that the corresponding credible sets cover the true regression function whenever this function satisfies a certain extrapolation condition. This condition depends on the specific method, but is implied by a condition of self-similarity. The latter condition is shown to be satisfied with probability one under the prior distribution.


title: Well-posedness and generalized plane waves simulations of a 2D mode conversion model

abstract: Certain types of electro-magnetic waves propagating in a plasma can undergo a mode conversion process. In magnetic confinement fusion, this phenomenon is very useful to heat the plasma, since it permits to transfer the heat at or near the plasma center. This work focuses on a mathematical model of wave propagation around the mode conversion region, from both theoretical and numerical points of view. It aims at developing, for a well-posed equation, specific basis functions to study a wave mode conversion process. These basis functions, called generalized plane waves, are intrinsically based on variable coefficients. As such, they are particularly adapted to the mode conversion problem. The design of generalized plane waves for the proposed model is described in detail. Their implementation within a discontinuous Galerkin method then provides numerical simulations of the process. These first 2D simulations for this model agree with qualitative aspects studied in previous works.

categories: physics.plasm-ph math-ph math.AP math.MP math.NA


title: Nonlinear Markov Processes in Big Networks

abstract: Big networks express various large-scale networks in many practical areas such as computer networks, internet of things, cloud computation, manufacturing systems, transportation networks, and healthcare systems. This paper analyzes such big networks, and applies the mean-field theory and the nonlinear Markov processes to set up a broad class of nonlinear continuous-time block-structured Markov processes, which can be applied to deal with many practical stochastic systems. Firstly, a nonlinear Markov process is derived from a large number of interacting big networks with symmetric interactions, each of which is described as a continuous-time block-structured Markov process. Secondly, some effective algorithms are given for computing the fixed points of the nonlinear Markov process by means of the UL-type RG-factorization. Finally, the Birkhoff center, the Lyapunov functions and the relative entropy are used to analyze stability or metastability of the big network, and several interesting open problems are proposed with detailed interpretation. We believe that the results given in this paper can be useful and effective in the study of big networks.


title: Dynamics of two externally driven coupled quantum oscillators interacting with separate baths based on path integrals

abstract: The paper deals with the problem of dynamics of externally driven open quantum systems. Using the path integral methods we found an analytical expression for time-dependent density matrix of two externally driven coupled quantum oscillators interacting with different baths of oscillators. It is shown that at the zeroing of external forces the density matrix becomes identical to the previously obtained one for freely developing coupled oscillators. Mean values of observables are computed by using the Hermitian part of the matrix. All elements of the covariance matrix composed by coordinates and momenta of two driven coupled oscillators are calculated. The time-dependent mean values, dispersions and covariances of coordinates of coupled oscillators at given external forces are numerically studied. It is shown that the larger the coupling constant the larger is the disturbances of the second oscillator due to external action on the first oscillator. Coupled dynamics of forced oscillators at relatively large coupling constant is demonstrated at different thermodynamic conditions.


title: On Temporal Graph Exploration

abstract: A temporal graph is a graph in which the edge set can change from one time step to the next. The temporal graph exploration problem TEXP is the problem of computing a foremost exploration schedule for a temporal graph, i.e., a temporal walk that starts at a given start node, visits all nodes of the graph, and has the smallest arrival time. In the first part of the paper, we consider only undirected temporal graphs that are connected at each time step. For such temporal graphs with $n$ nodes, we show that it is \NP-hard to approximate TEXP with ratio $O(n^{1-\varepsilon})$ for every $\varepsilon>0$. We also provide an explicit construction of temporal graphs that require $\Theta(n^2)$ time steps to be explored. In the second part of the paper, we still consider temporal graphs that are connected in each time step, but we assume that the underlying graph (i.e. the graph that contains all edges that are present in the temporal graph in at least one time step) belongs to a specific class of graphs. Among other results, we show that temporal graphs can be explored in $O(n^{1.5}k^{1.5}\log n)$ time steps if the underlying graph has treewidth $k$, in $O(n^{1.8}\log n)$ time steps if the underlying graph is planar, and in $O(n\log^3 n)$ time steps if the underlying graph is a $2\times n$ grid. In the third part of the paper, we consider settings where the graphs in future time steps are not known and the exploration schedule is constructed online. We replace the connectedness assumption by a weaker assumption and show that $m$-edge temporal graphs with regularly present edges and with probabilistically present edges can be explored online in $O(m)$ time steps and $O(m \log n)$ time steps with high probability, respectively. We finally show that the latter result can be used to obtain a distributed algorithm for the gossiping problem in random temporal graphs.


title: Dirac Semimetals in Two Dimensions

abstract: Graphene is famous for being a host of 2D Dirac fermions. However, spin-orbit coupling introduces a small gap, so that graphene is formally a quantum spin hall insulator. Here we present symmetry-protected 2D Dirac semimetals, which feature Dirac cones at high-symmetry points that are \emph{not} gapped by spin-orbit interactions, and exhibit behavior distinct from both graphene and 3D Dirac semimetals. Using a two-site tight-binding model, we construct representatives of three possible distinct Dirac semimetal phases, and show that single symmetry-protected Dirac points are impossible in two dimensions. An essential role is played by the presence of non-symmorphic space group symmetries. We argue that these symmetries tune the system to the boundary between a 2D topological and trivial insulator. By breaking the symmetries we are able to access trivial and topological insulators as well as Weyl semimetal phases.


title: Type-II super-Backlund transformation and integrable defects for the N=1 super sinh-Gordon model

abstract: A new super-Backlund transformation for the N=1 supersymmetric sinh-Gordon equation is constructed. Based on this construction we propose a type-II integrable defect for the supersymmetric sinh-Gordon model consistent with this new transformation through the Lagrangian formalism. Explicit expressions for the modified conserved energy, momentum and supercharges are also computed. In addition, we show for the model that the type-II defect can also been regarded as a pair of fused defects of a previously introduced type. The explicit derivation of the associated defect matrices is also presented as a necessary condition for the integrability of the model.


title: Electronic structure and core-level spectra of light actinide dioxides in the dynamical mean-field theory

abstract: The local-density approximation combined with the dynamical mean-field theory (LDA+DMFT) is applied to the paramagnetic phase of light actinide dioxides: UO2, NpO2, and PuO2. The calculated band gaps and the valence-band electronic structure are in a very good agreement with the optical absorption experiments as well as with the photoemission spectra. The hybridization of the actinide 5f shell with the 2p states of oxygen is found to be relatively large, it increases the filling of the 5f orbitals from the nominal ionic configurations with two, three, and four electrons to nearly half-integer values 2.5, 3.4 and 4.4. The large hybridization leaves an imprint also on the core-level photoemission spectra in the form of satellite peaks. It is demonstrated that these satellites are accurately reproduced by the LDA+DMFT calculations.


title: A Lyapunov function for Glauber dynamics on lattice triangulations

abstract: We study random triangulations of the integer points $[0,n]^2 \cap\mathbb{Z}^2$, where each triangulation $\sigma$ has probability measure $\lambda^{|\sigma|}$ with $|\sigma|$ denoting the sum of the length of the edges in $\sigma$. Such triangulations are called \emph{lattice triangulations}. We construct a height function on lattice triangulations and prove that, in the whole subcritical regime $\lambda<1$, the function behaves as a \emph{Lyapunov function} with respect to Glauber dynamics; that is, the function is a supermartingale. We show the applicability of the above result by establishing several features of lattice triangulations, such as tightness of local measures, exponential tail of edge lengths, crossings of small triangles, and decay of correlations in thin rectangles. These are the first results on lattice triangulations that are valid in the whole subcritical regime $\lambda<1$. In a very recent work with Caputo, Martinelli and Sinclair, we apply this Lyapunov function to establish tight bounds on the mixing time of Glauber dynamics in thin rectangles that hold for all $\lambda<1$. The Lyapunov function result here holds in great generality; it holds for triangulations of general lattice polygons (instead of the $[0,n]^2$ square) and also in the presence of arbitrary constraint edges.


title: Hamiltonian Dynamics of Preferential Attachment

abstract: Prediction and control of network dynamics are grand-challenge problems in network science. The lack of understanding of fundamental laws driving the dynamics of networks is among the reasons why many practical problems of great significance remain unsolved for decades. Here we study the dynamics of networks evolving according to preferential attachment, known to approximate well the large-scale growth dynamics of a variety of real networks. We show that this dynamics is Hamiltonian, thus casting the study of complex networks dynamics to the powerful canonical formalism, in which the time evolution of a dynamical system is described by Hamilton's equations. We derive the explicit form of the Hamiltonian that governs network growth in preferential attachment. This Hamiltonian turns out to be nearly identical to graph energy in the configuration model, which shows that the ensemble of random graphs generated by preferential attachment is nearly identical to the ensemble of random graphs with scale-free degree distributions. In other words, preferential attachment generates nothing but random graphs with power-law degree distribution. The extension of the developed canonical formalism for network analysis to richer geometric network models with non-degenerate groups of symmetries may eventually lead to a system of equations describing network dynamics at small scales.


title: The equality of capacity and modulus of condenser in Sub-Finsler space

abstract: In this article it is proved the equality of condenser capacity and modulus of family of curves joining the plates of condenser in Sub-Finsler spaces


title: On the coupling of vector fields to the Gauss-Bonnet invariant

abstract: Inflationary models including vector fields have attracted a great deal of attention over the past decade. Such an interest owes to the fact that they might contribute to, or even be fully responsible for, the curvature perturbation imprinted in the cosmic microwave background. However, the necessary breaking of the vector field's conformal invariance during inflation is not without problems. In recent years, it has been realized that a number of instabilities endangering the consistency of the theory arise when the conformal invariance is broken by means of a non-minimal coupling to gravity. In this paper, we consider a massive vector field non-minimally coupled to gravity through the Gauss-Bonnet invariant, and investigate whether the vector can play the role of a curvaton while evading the emergence of instabilities and preserves the large-scale isotropy.


title: Inflation in $f(R,\phi)$-theories and mimetic gravity scenario

abstract: We investigate inflation within $f(R,\phi)$-theories, where a dynamical scalar field is coupled to gravity. A class of models which can support early-time acceleration with the emerging of an effective cosmological constant at high curvature is studied. The dynamics of the field allow for exit from inflation leading to the correct amount of inflation in agreement with cosmological data. Furthermore, the spectral index and tensor-to-scalar ratio of the models are carefully analyzed. A generalization of the theory to incorporate dark matter in the context of mimetic gravity, and further extensions of the latter, are also discussed.


title: Entanglement entropy in two dimensional string theory

abstract: To understand an emergent spacetime is to understand the emergence of locality. Entanglement entropy is a powerful diagnostic of locality, because locality leads to a large amount of short distance entanglement. Two dimensional string theory is among the very simplest instances of an emergent spatial dimension. We compute the entanglement entropy in the large $N$ matrix quantum mechanics dual to two dimensional string theory, in the semiclassical limit of weak string coupling. We isolate a logarithmically large, but finite, contribution that corresponds to the short distance entanglement of the tachyon field in the emergent spacetime. From the spacetime point of view, the entanglement is regulated by a nonperturbative `graininess' of space.


title: Dependence of Supertropical Eigenspaces

abstract: We study the pathology that causes tropical eigenspaces of distinct supertropical eigenvalues of a nonsingular matrix $A$, to be dependent. We show that in lower dimensions the eigenvectors of distinct eigenvalues are independent, as desired. The index set that differentiates between subsequent essential monomials of the characteristic polynomial, yields an eigenvalue $\lambda$, and corresponds to the columns of the eigenmatrix $A+\lambda I$ from which the eigenvectors are taken. We ascertain the cause for failure in higher dimensions, and prove that independence of the eigenvectors is recovered in case a certain "difference criterion" holds, defined in terms of disjoint differences between index sets of subsequent coefficients. We conclude by considering the eigenvectors of the matrix $A^\nabla : = \det(A)^{-1}\adj(A)$ and the connection of the independence question to generalized eigenvectors.


title: Structure of Six-Dimensional Microstate Geometries

abstract: We investigate the structure of smooth and horizonless microstate geometries in six dimensions, in the spirit of the five-dimensional analysis of Gibbons and Warner [arXiv:1305.0957]. In six dimensions, which is the natural setting for horizonless geometries with the charges of the D1-D5-P black hole, the natural black objects are strings and there are no Chern-Simons terms for the tensor gauge fields. However, we still find that the same reasoning applies: in absence of horizons, there can be no smooth stationary solutions without non-trivial topology. We use topological arguments to describe the Smarr formula in various examples: the uplift of the five-dimensional minimal supergravity microstates to six dimensions, the two-charge D1-D5 microstates, and the non-extremal JMaRT solution. We also discuss D1-D5-P superstrata and confirm that the Smarr formula gives the same result as for the D1-D5 supertubes which are topologically equivalent.


title: Radio and X-rays From SN 2013df Enlighten Progenitors of Type IIb Supernovae

abstract: We present radio and X-ray observations of the nearby Type IIb Supernova 2013df in NGC4414 from 10 to 250 days after the explosion. The radio emission showed a peculiar soft-to-hard spectral evolution. We present a model in which inverse Compton cooling of synchrotron emitting electrons can account for the observed spectral and light curve evolution. A significant mass loss rate, $\dot{M} \approx 8 \times 10^{-5}\,\rm M_{\odot}/yr$ for a wind velocity of 10 km/s, is estimated from the detailed modeling of radio and X-ray emission, which are primarily due to synchrotron and bremsstrahlung, respectively. We show that SN 2013df is similar to SN 1993J in various ways. The shock wave speed of SN 2013df was found to be average among the radio supernovae; $v_{sh}/c \sim 0.07$. We did not find any significant deviation from smooth decline in the light curve of SN 2013df. One of the main results of our self-consistent multiband modeling is the significant deviation from energy equipartition between magnetic fields and relativistic electrons behind the shock. We estimate $\epsilon_{e} = 200 \epsilon_{B}$. In general for Type IIb SNe, we find that the presence of bright optical cooling envelope emission is linked with free-free radio absorption and bright thermal X-ray emission. This finding suggests that more extended progenitors, similar to that of SN 2013df, suffer from substantial mass loss in the years before the supernova.


title: Thermal photon radiation in high multiplicity p+Pb collisions at the Large Hadron Collider

abstract: The collective behaviour of hadronic particles has been observed in high multiplicity proton-lead collisions at the Large Hadron Collider (LHC), as well as in deuteron-gold collisions at the Relativistic Heavy-Ion Collider (RHIC). In this work we present the first calculation, in the hydrodynamic framework, of thermal photon radiation from such small collision systems. Owing to their compact size, these systems can reach temperatures comparable to those in central nucleus-nucleus collisions. The thermal photons can thus shine over the prompt background, and increase the low $p_T$ direct photon spectrum by a factor of 2-3 in 0-1% p+Pb collisions at 5.02 TeV. This thermal photon enhancement can therefore serve as a clean signature of the existence of a hot quark-gluon plasma during the evolution of these small collision systems, as well as validate hydrodynamic behavior in small systems.


title: Star formation rates in isolated galaxies selected from the Two-Micron All-Sky Survey

abstract: We have considered the star formation properties of 1616 isolated galaxies from the 2MASS XSC selected sample (2MIG) with the FUV GALEX magnitudes. This sample was then compared with corresponding properties of isolated galaxies from the Local Orphan Galaxies catalogue (LOG) and paired galaxies. We found that different selection algorithms define different populations of isolated galaxies. The population of the LOG catalogue, selected from non-clustered galaxies in the Local Supercluster volume, mostly consists of low-mass spiral and late type galaxies. The SSFR upper limit in isolated and paired galaxies does not exceed the value of ~dex(-9.4). This is probably common for galaxies of differing activity and environment (at least at z<0.06). The fractions of quenched galaxies are nearly twice as high in the paired galaxy sample as in the 2MIG isolated galaxy sample. From the behaviour of (S)SFR vs. M_* relations we deduced that the characteristic value influencing evolutionary processes is the galaxy mass. However the environmental influence is notable: paired massive galaxies with logM_*>11.5 have higher (S)SFR than isolated galaxies. Our results suggest that the environment helps to trigger the star formation in the highest mass galaxies. We found that the fraction of AGN in the paired sample is only a little higher than in our isolated galaxy sample. We assume that AGN phenomenon is probably defined by secular galaxy evolution.


title: Heavy tails in the distribution of time-to-solution for classical and quantum annealing

abstract: For many optimization algorithms the time-to-solution depends not only on the problem size but also on the specific problem instance and may vary by many orders of magnitude. It is then necessary to investigate the full distribution and especially its tail. Here we analyze the distributions of annealing times for simulated annealing and simulated quantum annealing (by path integral quantum Monte Carlo) for random Ising spin glass instances. We find power-law distributions with very heavy tails, corresponding to extremely hard instances, but far broader distributions - and thus worse performance for hard instances - for simulated quantum annealing than for simulated annealing. Fast, non-adiabatic, annealing schedules can improve the performance of simulated quantum annealing for very hard instances by many orders of magnitude.


title: Ages and fundamental properties of Kepler exoplanet host stars from asteroseismology

abstract: We present a study of 33 {\it Kepler} planet-candidate host stars for which asteroseismic observations have sufficiently high signal-to-noise ratio to allow extraction of individual pulsation frequencies. We implement a new Bayesian scheme that is flexible in its input to process individual oscillation frequencies, combinations of them, and average asteroseismic parameters, and derive robust fundamental properties for these targets. Applying this scheme to grids of evolutionary models yields stellar properties with median statistical uncertainties of 1.2\% (radius), 1.7\% (density), 3.3\% (mass), 4.4\% (distance), and 14\% (age), making this the exoplanet host-star sample with the most precise and uniformly determined fundamental parameters to date. We assess the systematics from changes in the solar abundances and mixing-length parameter, showing that they are smaller than the statistical errors. We also determine the stellar properties with three other fitting algorithms and explore the systematics arising from using different evolution and pulsation codes, resulting in 1\% in density and radius, and 2\% and 7\% in mass and age, respectively. We confirm previous findings of the initial helium abundance being a source of systematics comparable to our statistical uncertainties, and discuss future prospects for constraining this parameter by combining asteroseismology and data from space missions. Finally we compare our derived properties with those obtained using the global average asteroseismic observables along with effective temperature and metallicity, finding an excellent level of agreement. Owing to selection effects, our results show that the majority of the high signal-to-noise ratio asteroseismic {\it Kepler} host stars are older than the Sun.


title: Higgs Mechanism, Phase Transitions, and Anomalous Hall Effect in Three-Dimensional Topological Superconductors

abstract: We demonstrate that the Higgs mechanism in three-dimensional topological superconductors exhibits unique features with experimentally observable consequences. The Higgs model we discuss has two superconducting components and an axion-like magnetoelectric term with the phase difference of the superconducting order parameters playing the role of the axion field. Due to this additional term, quantum electromagnetic and phase fluctuations lead to a robust topologically non-trivial state that holds also in the presence of interactions. In this sense, we show that the renormalization flow of the topologically nontrivial phase cannot be continuously deformed into a topologically non-trivial one. One consequence of our analysis of quantum critical fluctuations, is the possibility of having a first-order phase transition in the bulk and a second-order phase transition on the surface. We also explore another consequence of the axionic Higgs electrodynamics, namely, the anomalous Hall effect. In the low frequency London regime an anomalous Hall effect is induced in the presence of an applied electric field parallel to the surface. This anomalous Hall current is induced by a Lorentz-like force arising from the axion term, and it involves the relative superfluid velocity of the superconducting components. The anomalous Hall current has a negative sign, a situation reminiscent of, but quite distinct in physical origin from the anomalous Hall effect observed in high-$T_c$ superconductors. In contrast to the latter, the anomalous Hall effect in topological superconductors is non-dissipative and occurs in the absence of vortices.


title: Graphene Oxide as an Optimal Candidate Material for Methane Storage

abstract: Methane, the primary constituent of natural gas, binds too weakly to nanostructured carbons to meet the targets set for on-board vehicular storage to be viable. We show, using density functional theory calculations, that replacing graphene by graphene oxide increases the adsorption energy of methane by 50%. This enhancement is sufficient to achieve the optimal binding strength. In order to gain insight into the sources of this increased binding, that could also be used to formulate design principles for novel storage materials, we consider a sequence of model systems, that progressively take us from graphene to graphene oxide. A careful analysis of the various contributions to the weak binding between the methane molecule and the graphene oxide shows that the enhancement has important contributions from London dispersion interactions as well as Debye interactions and higher-order electrostatic interactions, aided by geometric curvature induced primarily by the presence of epoxy groups.


title: An Empirically Derived Three-Dimensional Laplace Resonance in the Gliese 876 Planetary System

abstract: We report constraints on the three-dimensional orbital architecture for all four planets known to orbit the nearby M dwarf Gliese 876 based solely on Doppler measurements and demanding long-term orbital stability. Our dataset incorporates publicly available radial velocities taken with the ELODIE and CORALIE spectrographs, HARPS, and Keck HIRES as well as previously unpublished HIRES velocities. We first quantitatively assess the validity of the planets thought to orbit GJ 876 by computing the Bayes factors for a variety of different coplanar models using an importance sampling algorithm. We find that a four-planet model is preferred over a three-planet model. Next, we apply a Newtonian MCMC algorithm to perform a Bayesian analysis of the planet masses and orbits using an n-body model in three-dimensional space. Based on the radial velocities alone, we find that a 99% credible interval provides upper limits on the mutual inclinations for the three resonant planets ($\Phi_{cb}<6.20^\circ$ for the "c" and "b" pair and $\Phi_{be}<28.5^\circ$ for the "b" and "e" pair). Subsequent dynamical integrations of our posterior sample find that the GJ 876 planets must be roughly coplanar ($\Phi_{cb}<2.60^\circ$ and $\Phi_{be}<7.87^\circ$), suggesting the amount of planet-planet scattering in the system has been low. We investigate the distribution of the respective resonant arguments of each planet pair and find that at least one argument for each planet pair and the Laplace argument librate. The libration amplitudes in our three-dimensional orbital model supports the idea of the outer-three planets having undergone significant past disk migration.


title: Three-Dimensional Simulations of SASI- and Convection-Dominated Core-Collapse Supernovae

abstract: We investigate the effect of dimensionality on the transition to explosion in neutrino-driven core-collapse supernovae. Using parameterized hydrodynamic simulations of the stalled supernova shock in one-, two- (2D), and three spatial dimensions (3D), we systematically probe the extent to which hydrodynamic instabilities alone can tip the balance in favor of explosion. In particular, we focus on systems that are well into the regimes where the Standing Accretion Shock Instability (SASI) or neutrino-driven convection dominate the dynamics, and characterize the difference between them. We find that SASI-dominated models can explode with up to ~20% lower neutrino luminosity in 3D than in 2D, with the magnitude of this difference decreasing with increasing resolution. This improvement in explosion conditions is related to the ability of spiral modes to generate more non-radial kinetic energy than a single sloshing mode, increasing the size of the average shock radius, and hence generating better conditions for the formation of large-scale, high-entropy bubbles. In contrast, convection-dominated explosions show a smaller difference in their critical heating rate between 2D and 3D (<8%), in agreement with previous studies. The ability of our numerical implementation to maintain arbitrary symmetries is quantified with a set of SASI-based tests. We discuss implications for the diversity of explosion paths in a realistic supernova environment.


title: Bootstrapping the O(N) Archipelago

abstract: We study 3d CFTs with an $O(N)$ global symmetry using the conformal bootstrap for a system of mixed correlators. Specifically, we consider all nonvanishing scalar four-point functions containing the lowest dimension $O(N)$ vector $\phi_i$ and the lowest dimension $O(N)$ singlet $s$, assumed to be the only relevant operators in their symmetry representations. The constraints of crossing symmetry and unitarity for these four-point functions force the scaling dimensions $(\Delta_\phi, \Delta_s)$ to lie inside small islands. We also make rigorous determinations of current two-point functions in the $O(2)$ and $O(3)$ models, with applications to transport in condensed matter systems.

categories: hep-th cond-mat.stat-mech cond-mat.str-el hep-lat


title: On the quadratic invariant of binary sextics

abstract: We provide a geometric characterisation of binary sextics with vanishing quadratic invariant.


title: Average-case complexity versus approximate simulation of commuting quantum computations

abstract: We use the class of commuting quantum computations known as IQP (Instantaneous Quantum Polynomial time) to strengthen the conjecture that quantum computers are hard to simulate classically. We show that, if either of two plausible average-case hardness conjectures holds, then IQP computations are hard to simulate classically up to constant additive error. One conjecture relates to the hardness of estimating the complex-temperature partition function for random instances of the Ising model; the other concerns approximating the number of zeroes of random low-degree polynomials. We observe that both conjectures can be shown to be valid in the setting of worst-case complexity. We arrive at these conjectures by deriving spin-based generalisations of the Boson Sampling problem that avoid the so-called permanent anticoncentration conjecture.


title: The High Time Resolution Universe Pulsar Survey XII : Galactic plane acceleration search and the discovery of 60 pulsars

abstract: We present initial results from the low-latitude Galactic plane region of the High Time Resolution Universe pulsar survey conducted at the Parkes 64-m radio telescope. We discuss the computational challenges arising from the processing of the terabyte-sized survey data. Two new radio interference mitigation techniques are introduced, as well as a partially-coherent segmented acceleration search algorithm which aims to increase our chances of discovering highly-relativistic short-orbit binary systems, covering a parameter space including potential pulsar-black hole binaries. We show that under a constant acceleration approximation, a ratio of data length over orbital period of ~0.1 results in the highest effectiveness for this search algorithm. From the 50 per cent of data processed thus far, we have re-detected 435 previously known pulsars and discovered a further 60 pulsars, two of which are fast-spinning pulsars with periods less than 30ms. PSR J1101-6424 is a millisecond pulsar whose heavy white dwarf (WD) companion and short spin period of 5.1ms indicate a rare example of full-recycling via Case A Roche lobe overflow. PSR J1757-27 appears to be an isolated recycled pulsar with a relatively long spin period of 17ms. In addition, PSR J1244-6359 is a mildly-recycled binary system with a heavy WD companion, PSR J1755-25 has a significant orbital eccentricity of 0.09, and PSR J1759-24 is likely to be a long-orbit eclipsing binary with orbital period of the order of tens of years. Comparison of our newly-discovered pulsar sample to the known population suggests that they belong to an older population. Furthermore, we demonstrate that our current pulsar detection yield is as expected from population synthesis.


title: The BaLROG project - I. Quantifying the influence of bars on the kinematics of nearby galaxies

abstract: We present the BaLROG (Bars in Low Redshift Optical Galaxies) sample of 16 morphologically distinct barred spirals to characterise observationally the influence of bars on nearby galaxies. Each galaxy is a mosaic of several pointings observed with the IFU spectrograph SAURON leading to a tenfold sharper spatial resolution (~100 pc) compared to ongoing IFU surveys. In this paper we focus on the kinematic properties. We calculate the bar strength Qb from classical torque analysis using 3.6 {\mu}m Spitzer (S4G) images, but also develop a new method based solely on the kinematics. A correlation between the two measurements is found and backed up by N-body simulations, verifying the measurement of Qb . We find that bar strengths from ionised gas kinematics are ~2.5 larger than those measured from stellar kinematics and that stronger bars have enhanced influence on inner kinematic features. We detect that stellar angular momentum "dips" at 0.2$\pm$0.1 bar lengths and half of our sample exhibits an anti-correlation of h3 - stellar velocity (v/{\sigma}) in these central parts. An increased flattening of the stellar {\sigma} gradient with increasing bar strength supports the notion of bar-induced orbit mixing. These measurements set important constraints on the spatial scales, namely an increasing influence in the central regions (0.1-0.5 bar lengths), revealed by kinematic signatures due to bar-driven secular evolution in present day galaxies.


title: A Coordinated X-ray and Optical Campaign of the Nearest Massive Eclipsing Binary, delta Orionis Aa: III. Analysis of Optical Photometric MOST and Spectroscopic (Ground Based) Variations

abstract: We report on both high-precision photometry from the MOST space telescope and ground-based spectroscopy of the triple system delta Ori A consisting of a binary O9.5II+early-B (Aa1 and Aa2) with P = 5.7d, and a more distant tertiary (O9 IV P > 400 yrs). This data was collected in concert with X-ray spectroscopy from the Chandra X-ray Observatory. Thanks to continuous coverage for 3 weeks, the MOST light curve reveals clear eclipses between Aa1 and Aa2 for the first time in non-phased data. From the spectroscopy we have a well constrained radial velocity curve of Aa1. While we are unable to recover radial velocity variations of the secondary star, we are able to constrain several fundamental parameters of this system and determine an approximate mass of the primary using apsidal motion. We also detected second order modulations at 12 separate frequencies with spacings indicative of tidally influenced oscillations. These spacings have never been seen in a massive binary, making this system one of only a handful of such binaries which show evidence for tidally induced pulsations.


title: Integrability conditions between the first and second Cosserat deformation tensor in geometrically nonlinear micropolar models and existence of minimizers

abstract: In this note we extend integrability conditions for the symmetric stretch tensor $U$ in the polar decomposition of the deformation gradient $\nabla\varphi=F=R\,U$ to the non-symmetric case. In doing so we recover integrability conditions for the first Cosserat deformation tensor. Let $F=\bar R\,\bar U$ with $\bar R:\Omega\subset\mathbb{R}^3\longrightarrow\mathrm{SO}(3)$ and $\bar U:\Omega\subset\mathbb{R}^3\longrightarrow \mathrm{GL}(3)$. Then $\mathfrak{K}:={\bar R}^T\mathrm{Grad}\,{\bar R}=\mathrm{Anti}\Big( \frac{1}{\mathrm{det} \bar U}\Big[\bar U(\mathrm{Curl} \bar U)^T-\frac{1}{2} \mathrm{tr}(\bar U(\mathrm{Curl} \bar U)^T) 1\!\!1 \Big]\bar U\Big),$ giving a connection between the first Cosserat deformation tensor $\bar U$ and the second Cosserat tensor ${\mathfrak{K}}$. (Here, Anti denotes an isomorphism between $\mathbb{R}^{3\times 3}$ and $\mathfrak{So}(3):=\{\,\mathfrak{A}\in\mathbb{R}^{3\times 3\times 3}\,|\,\mathfrak{A}.u\in\mathfrak{so}(3)\;\forall u\in \mathbb{R}^3\}$.) The formula shows that it is not possible to prescribe $\bar U$ and $\mathfrak{K}$ independent from each other. We also propose a new energy formulation of geometrically nonlinear Cosserat models which completely separate the effects of nonsymmetric straining and curvature. For very weak constitutive assumptions (no direct boundary condition on rotations, zero Cosserat couple modulus, quadratic curvature energy) we show existence of minimizers in Sobolev-spaces.


title: Null- and Positivstellens\"atze for rationally resolvable ideals

abstract: Hilbert's Nullstellensatz characterizes polynomials that vanish on the vanishing set of an ideal in C[x]. In the free algebra C<X> the vanishing set of a two-sided ideal I is defined in a dimension-free way using images in finite-dimensional representations of C<x>/I. In this article Nullstellens\"atze for a simple but important class of ideals in the free algebra - called tentatively rationally resolvable here - are presented. An ideal is rationally resolvable if its defining relations can be eliminated by expressing some of the X variables using noncommutative rational functions in the remaining variables. Whether such an ideal I satisfies the Nullstellensatz is intimately related to embeddability of C<x>/I into (free) skew fields. These notions are also extended to free algebras with involution. For instance, it is proved that a polynomial vanishes on all tuples of spherical isometries iff it is a member of the two-sided ideal I generated by 1-\sum_j X_j^* X_j. This is then applied to free real algebraic geometry: polynomials positive semidefinite on spherical isometries are sums of Hermitian squares modulo I. Similar results are obtained for nc unitary groups.


title: Neutral carbon and CO in 76 (U)LIRGs and starburst galaxy centers A method to determine molecular gas properties in luminous galaxies

abstract: We present fluxes in both neutral carbon [CI] lines at the centers of 76 galaxies with FIR luminosities between 10^{9} and 10^{12} L(o) obtained with Herschel-SPIRE and with ground-based facilities, along with the J=7-6, J=4-3, J=2-1 12CO and J=2-1 13CO line fluxes. We investigate whether these lines can be used to characterize the molecular ISM of the parent galaxies in simple ways and how the molecular gas properties define the model results. In most starburst galaxies, the [CI]/13CO flux ratio is much higher than in Galactic star-forming regions, and it is correlated to the total FIR luminosity. The [CI](1-0)/CO(4-3), the [CI](2-1) (2-1)/CO(7-6), and the [CI] (2-1)/(1-0) flux ratios are also correlated, and trace the excitation of the molecular gas. In the most luminous infrared galaxies (LIRGs), the ISM is fully dominated by dense and moderately warm gas clouds that appear to have low [C]/[CO] and [13CO]/[12CO] abundances. In less luminous galaxies, emission from gas clouds at lower densities becomes progressively more important, and a multiple-phase analysis is required to determine consistent physical characteristics. Neither the CO nor the [CI] velocity-integrated line fluxes are good predictors of H2 column densities in individual galaxies, and X(CI) conversion factors are not superior to X(CO) factors. The methods and diagnostic diagrams outlined in this paper also provide a new and relatively straightforward means of deriving the physical characteristics of molecular gas in high-redshift galaxies up to z=5, which are otherwise hard to determine.


title: A Technique for Detection of PeV Neutrinos Using a Phased Radio Array

abstract: The detection of high energy neutrinos ($10^{15}-10^{20}$ eV or $1-10^{5}$ PeV) is an important step toward understanding the most energetic cosmic accelerators and would enable tests of fundamental physics at energy scales that cannot easily be achieved on Earth. In this energy range, there are two expected populations of neutrinos: the astrophysical flux observed with IceCube at lower energies ($\sim1$ PeV) and the predicted cosmogenic flux at higher energies ($\sim10^{18}$ eV). Radio detector arrays such as RICE, ANITA, ARA, and ARIANNA exploit the Askaryan effect and the radio transparency of glacial ice, which together enable enormous volumes of ice to be monitored with sparse instrumentation. We describe here the design for a phased radio array that would lower the energy threshold of radio techniques to the PeV scale, allowing measurement of the astrophysical flux observed with IceCube over an extended energy range. Meaningful energy overlap with optical Cherenkov telescopes could be used for energy calibration. The phased radio array design would also provide more efficient coverage of the large effective volume required to discover cosmogenic neutrinos.


title: Tests of conjectures on multiple Watson values

abstract: I define multiple Watson values (MWVs) as iterated integrals, on the interval $x\in[0,1]$, of the 6 differential forms $A=d\log(x)$, $B=-d\log(1-x)$, $T=-d\log(1-z_1x)$, $U=-d\log(1-z_2x)$, $V=-d\log(1-z_3x)$ and $W=-d\log(1-z_4x)$, where $z_1=\gamma^2$, $z_2=\gamma/(1+\gamma)$, $z_3=\gamma^2/(1-\gamma)$ and $z_4=\gamma=2\sin(\pi/14)$ solves the cubic $(1-\gamma^2)(1-\gamma)=\gamma$. Following a suggestion by Pierre Deligne, I conjecture that the dimension of the space of ${\mathbb Z}$-linearly independent MWVs of weight $w$ is the number $D_w$ generated by $1/(1-2x-x^2-x^3)=1+\sum_{w>0}D_w x^w$. This agrees with 6639 integer relation searches, of dimensions up to $D_5+1=85$, performed at 2000-digit precision, for $w<6$.


title: A Polynomial-time Bicriteria Approximation Scheme for Planar Bisection

abstract: Given an undirected graph with edge costs and node weights, the minimum bisection problem asks for a partition of the nodes into two parts of equal weight such that the sum of edge costs between the parts is minimized. We give a polynomial time bicriteria approximation scheme for bisection on planar graphs. Specifically, let $W$ be the total weight of all nodes in a planar graph $G$. For any constant $\varepsilon > 0$, our algorithm outputs a bipartition of the nodes such that each part weighs at most $W/2 + \varepsilon$ and the total cost of edges crossing the partition is at most $(1+\varepsilon)$ times the total cost of the optimal bisection. The previously best known approximation for planar minimum bisection, even with unit node weights, was $O(\log n)$. Our algorithm actually solves a more general problem where the input may include a target weight for the smaller side of the bipartition.


title: The string origin of dyonic ${\cal N}=8$ supergravity and its simple Chern-Simons duals

abstract: We clarify the higher-dimensional origin of a class of dyonic gaugings of $D=4$ ${\cal N}=8$ supergravity recently discovered, when the gauge group is chosen to be ISO(7). This dyonically-gauged maximal supergravity arises from consistent truncation of massive IIA supergravity on $S^6$, and its magnetic coupling constant descends directly from the Romans mass. The critical points of the supergravity uplift to new AdS$_4$ massive type IIA vacua. We identify the corresponding CFT$_3$ duals as super-Chern-Simons-matter theories with simple gauge group SU$(N)$, with level $k$ given by the Romans mass. In particular, we find a critical point that uplifts to the first explicit ${\cal N}=2$ AdS$_4$ massive IIA background. We compute its free energy and that of the candidate dual Chern-Simons theory by localisation to a solvable matrix model, and find perfect agreement. This provides the first AdS$_4$/CFT$_3$ precision match in massive type IIA string theory.


title: Absolutely trianalytic tori in the generalized Kummer variety

abstract: We prove that a generic complex deformation of a generalized Kummer variety contains no complex analytic tori.


title: A Comparison of Approaches for Solving Hard Graph-Theoretic Problems

abstract: In order to formulate mathematical conjectures likely to be true, a number of base cases must be determined. However, many combinatorial problems are NP-hard and the computational complexity makes this research approach difficult using a standard brute force approach on a typical computer. One sample problem explored is that of finding a minimum identifying code. To work around the computational issues, a variety of methods are explored and consist of a parallel computing approach using Matlab, a quantum annealing approach using the D-Wave computer, and lastly using satisfiability modulo theory (SMT) and corresponding SMT solvers. Each of these methods requires the problem to be formulated in a unique manner. In this paper, we address the challenges of computing solutions to this NP-hard problem with respect to each of these methods.


title: Resolving the chemical substructure of Orion-KL

abstract: The Kleinmann-Low nebula in Orion (Orion-KL) is the nearest example of a high-mass star-forming environment. For the first time, we complemented 1.3 mm Submillimeter Array (SMA) interferometric line survey with IRAM 30 m single-dish observations of the Orion-KL region. Covering a 4 GHz bandwidth in total, this survey contains over 160 emission lines from 20 species (25 isotopologues), including 11 complex organic molecules (COMs). At a spatial resolution of 1200 AU, the continuum substructures are resolved. Extracting the spectra from individual substructures and providing the intensity-integrated distribution map for each species, we studied the small-scale chemical variations in this region. Our main results are: (1) We identify lines from the low-abundance COMs CH3COCH3 and CH3CH2OH, as well as tentatively detect CH3CHO and long carbon-chains C6H and HC7N. (2) We find that while most COMs are segregated by type, peaking either towards the hot core (e.g., N-bearing species) or the compact ridge (e.g., O-bearing species like HCOOCH3 and CH3OCH3), while the distributions of others do not follow this segregated structure (e.g., CH3CH2OH, CH3OH, CH3COCH3). (3) We find a second velocity component of HNCO, SO2, 34SO2, and SO lines, which may be associated with a strong shock event in the low-velocity outflow. (4) Temperatures and molecular abundances show large gradients between central condensations and the outflow regions, illustrating a transition between hot molecular core and shock-chemistry dominated regimes. Our observations of spatially resolved chemical variations in Orion-KL provide the nearest reference source for hot molecular core and outflow chemistry, which will be an important example for interpreting the chemistry of more distant HMSFRs.


title: Differential Calculus on Cayley Graphs

abstract: We conservatively extend classical elementary differential calculus to the Cartesian closed category of convergence spaces. By specializing results about the convergence space representation of directed graphs, we use Cayley graphs to obtain a differential calculus on groups, from which we then extract a Boolean differential calculus, in which both linearity and the product rule, also called the Leibniz identity, are satisfied.


title: Testing for the Gorenstein property

abstract: We answer a question of Celikbas, Dao, and Takahashi by establishing the following characterization of Gorenstein rings: a commutative noetherian local ring $(R,\mathfrak m)$ is Gorenstein if and only if it admits an integrally closed $\mathfrak m$-primary ideal of finite Gorenstein dimension. This is accomplished through a detailed study of certain test complexes. Along the way we construct such a test complex that detect finiteness of Gorenstein dimension, but not that of projective dimension.


title: Macroscopic description of microscopically strongly inhomogenous systems: A mathematical basis for the synthesis of higher gradients metamaterials

abstract: We consider the time evolution of a one dimensional $n$-gradient continuum. Our aim is to construct and analyze discrete approximations in terms of physically realizable mechanical systems, called microscopic because they are living on a smaller space scale. We validate our construction by proving a convergence theorem of the microscopic system to the given continuum, as the scale parameter goes to zero.


title: On the relationship between three classes of operators on Riesz spaces

abstract: Following several papers in the prior literature, we study the relationship between order bounded operators, topologically bounded operators and topologically continuous operators. Our main contribution is two folded: (i) we provide a set of counterexamples to illustrate several extant results in the literature; (ii) we give conditions for the space of order bounded operators to coincide with the space of topologically bounded operators as well as conditions for these two spaces to coincide with the space of topologically continuous operators.


title: The First Ten Years of Swift Supernovae

abstract: The Swift Gamma Ray Burst Explorer has proven to be an incredible platform for studying the multiwavelength properties of supernova explosions. In its first ten years, Swift has observed over three hundred supernovae. The ultraviolet observations reveal a complex diversity of behavior across supernova types and classes. Even amongst the standard candle type Ia supernovae, ultraviolet observations reveal distinct groups. When the UVOT data is combined with higher redshift optical data, the relative populations of these groups appear to change with redshift. Among core-collapse supernovae, Swift discovered the shock breakout of two supernovae and the Swift data show a diversity in the cooling phase of the shock breakout of supernovae discovered from the ground and promptly followed up with Swift. Swift observations have resulted in an incredible dataset of UV and X-ray data for comparison with high-redshift supernova observations and theoretical models. Swift's supernova program has the potential to dramatically improve our understanding of stellar life and death as well as the history of our universe.


title: Interaction-induced mode switching in steady-state microlasers

abstract: We demonstrate that due to strong modal interactions through cross-gain saturation, the onset of a new lasing mode can switch off an existing mode via a negative power slope. In this process of interaction-induced mode switching (IMS) the two involved modes maintain their identities, i.e. they do not change their spatial field patterns or lasing frequencies. For a fixed pump profile, a simple analytic criterion for the occurrence of IMS is given in terms of their self- and cross-interaction coefficients and non-interacting thresholds, which is verified for the example of a two-dimensional microdisk laser. When the spatial pump profile is varied as the pump power is increased, IMS can be induced even when it would not occur with a fixed pump profile, as we show for two coupled laser cavities. Our findings apply to steady-state lasing and are hence different from dynamical mode switching or hopping. IMS may have potential applications in robust and flexible all-optical switching.


title: Supersymmetric waves in Bose-Fermi mixtures

abstract: Interacting Bose-Fermi mixtures possess a fermionic (super)symmetry when bosons and fermions in the mixture have equal masses, and when the interaction strengths are appropriately tuned. This symmetry is spontaneously broken in the ground state of the mixture, leading to a novel Goldstone mode with fermionic statistics and quadratic dispersion. Here we examine the effect of explicit symmetry-breaking perturbations on the Goldstone mode. When the symmetry is not exact and the system is allowed to deviate from the symmetric point, we find that the Goldstone mode acquires an energy gap. We show that the excitations manifest themselves as a non-analyticity of the thermodynamic pressure.


title: Transport of secondary electrons and reactive species in ion tracks

abstract: The transport of reactive species brought about by ions traversing tissue-like medium is analysed analytically. Secondary electrons ejected by ions are capable of ionizing other molecules; the transport of these generations of electrons is studied using the random walk approximation until these electrons remain ballistic. Then, the distribution of solvated electrons produced as a result of interaction of low-energy electrons with water molecules is obtained. The radial distribution of energy loss by ions and secondary electrons to the medium yields the initial radial dose distribution, which can be used as initial conditions for the predicted shock waves. The formation, diffusion, and chemical evolution of hydroxyl radicals in liquid water are studied as well.


title: Who Spoke What? A Latent Variable Framework for the Joint Decoding of Multiple Speakers and their Keywords

abstract: In this paper, we present a latent variable (LV) framework to identify all the speakers and their keywords given a multi-speaker mixture signal. We introduce two separate LVs to denote active speakers and the keywords uttered. The dependency of a spoken keyword on the speaker is modeled through a conditional probability mass function. The distribution of the mixture signal is expressed in terms of the LV mass functions and speaker-specific-keyword models. The proposed framework admits stochastic models, representing the probability density function of the observation vectors given that a particular speaker uttered a specific keyword, as speaker-specific-keyword models. The LV mass functions are estimated in a Maximum Likelihood framework using the Expectation Maximization (EM) algorithm. The active speakers and their keywords are detected as modes of the joint distribution of the two LVs. In mixture signals, containing two speakers uttering the keywords simultaneously, the proposed framework achieves an accuracy of 82% for detecting both the speakers and their respective keywords, using Student's-t mixture models as speaker-specific-keyword models.


title: A Deep Learning Model for Structured Outputs with High-order Interaction

abstract: Many real-world applications are associated with structured data, where not only input but also output has interplay. However, typical classification and regression models often lack the ability of simultaneously exploring high-order interaction within input and that within output. In this paper, we present a deep learning model aiming to generate a powerful nonlinear functional mapping from structured input to structured output. More specifically, we propose to integrate high-order hidden units, guided discriminative pretraining, and high-order auto-encoders for this purpose. We evaluate the model with three datasets, and obtain state-of-the-art performances among competitive methods. Our current work focuses on structured output regression, which is a less explored area, although the model can be extended to handle structured label classification.


title: Anticipating Visual Representations from Unlabeled Video

abstract: Anticipating actions and objects before they start or appear is a difficult problem in computer vision with several real-world applications. This task is challenging partly because it requires leveraging extensive knowledge of the world that is difficult to write down. We believe that a promising resource for efficiently learning this knowledge is through readily available unlabeled video. We present a framework that capitalizes on temporal structure in unlabeled video to learn to anticipate human actions and objects. The key idea behind our approach is that we can train deep networks to predict the visual representation of images in the future. Visual representations are a promising prediction target because they encode images at a higher semantic level than pixels yet are automatic to compute. We then apply recognition algorithms on our predicted representation to anticipate objects and actions. We experimentally validate this idea on two datasets, anticipating actions one second in the future and objects five seconds in the future.


title: Streaming Algorithms for Submodular Function Maximization

abstract: We consider the problem of maximizing a nonnegative submodular set function $f:2^{\mathcal{N}} \rightarrow \mathbb{R}^+$ subject to a $p$-matchoid constraint in the single-pass streaming setting. Previous work in this context has considered streaming algorithms for modular functions and monotone submodular functions. The main result is for submodular functions that are {\em non-monotone}. We describe deterministic and randomized algorithms that obtain a $\Omega(\frac{1}{p})$-approximation using $O(k \log k)$-space, where $k$ is an upper bound on the cardinality of the desired set. The model assumes value oracle access to $f$ and membership oracles for the matroids defining the $p$-matchoid constraint.


title: Note on Equivalence Between Recurrent Neural Network Time Series Models and Variational Bayesian Models

abstract: We observe that the standard log likelihood training objective for a Recurrent Neural Network (RNN) model of time series data is equivalent to a variational Bayesian training objective, given the proper choice of generative and inference models. This perspective may motivate extensions to both RNNs and variational Bayesian models. We propose one such extension, where multiple particles are used for the hidden state of an RNN, allowing a natural representation of uncertainty or multimodality.


title: Supramenable groups and partial actions

abstract: We characterize supramenable groups in terms of existence of invariant probability measures for partial actions on compact Hausdorff spaces and existence of tracial states on partial crossed products. These characterizations show that, in general, one cannot decompose a partial crossed product of a C*-algebra by a semi-direct product of groups as two iterated partial crossed products. We give conditions which ensure that such decomposition is possible.


title: Information-theoretic Interestingness Measures for Cross-Ontology Data Mining

abstract: Community annotation of biological entities with concepts from multiple bio-ontologies has created large and growing repositories of ontology-based annotation data with embedded implicit relationships among orthogonal ontologies. Development of efficient data mining methods and metrics to mine and assess the quality of the mined relationships has not kept pace with the growth of annotation data. In this study, we present a data mining method that uses ontology-guided generalization to discover relationships across ontologies along with a new interestingness metric based on information theory. We apply our data mining algorithm and interestingness measures to datasets from the Gene Expression Database at the Mouse Genome Informatics as a preliminary proof of concept to mine relationships between developmental stages in the mouse anatomy ontology and Gene Ontology concepts (biological process, molecular function and cellular component). In addition, we present a comparison of our interestingness metric to four existing metrics. Ontology-based annotation datasets provide a valuable resource for discovery of relationships across ontologies. The use of efficient data mining methods and appropriate interestingness metrics enables the identification of high quality relationships.


title: Instability driven by boundary inflow across shear: a way to circumvent Rayleigh's stability criterion in accretion disks?

abstract: We investigate the 2D instability recently discussed by Gallet et al. (2010) and Ilin \& Morgulis (2013) which arises when a radial crossflow is imposed on a centrifugally-stable swirling flow. By finding a simpler rectilinear example of the instability - a sheared half plane, the minimal ingredients for the instability are identified and the destabilizing/stabilizing effect of inflow/outflow boundaries clarified. The instability - christened `boundary inflow instability' here - is of critical layer type where this layer is either at the inflow wall and the growth rate is $O(\sqrt{\eta})$ (as found by Ilin \& Morgulis 2013), or in the interior of the flow and the growth rate is $O(\eta \log 1/\eta)$ where $\eta$ measures the (small) inflow-to-tangential-flow ratio. The instability is robust to changes in the rotation profile even to those which are very Rayleigh-stable and the addition of further physics such as viscosity, 3-dimensionality and compressibility but is sensitive to the boundary condition imposed on the tangential velocity field at the inflow boundary. Providing the vorticity is not fixed at the inflow boundary, the instability seems generic and operates by the inflow advecting vorticity present at the boundary across the interior shear. Both the primary bifurcation to 2D states and secondary bifurcations to 3D states are found to be supercritical. Assuming an accretion flow driven by molecular viscosity only so $\eta=O(Re^{-1})$, the instability is not immediately relevant for accretion disks since the critical threshold is $O(Re^{-2/3})$ and the inflow boundary conditions are more likely to be stress-free than non-slip. However, the analysis presented here does highlight the potential for mass entering a disk to disrupt the orbiting flow if this mass flux possesses vorticity.


title: Geometric investigations of a vorticity model equation

abstract: This article consists of a detailed geometric study of the one-dimensional vorticity model equation $$\omega_{t} + u\omega_{x} + 2\omega u_{x} = 0, \qquad \omega = H u_{x}, \qquad t\in\mathbb{R},\; x\in S^{1}\,,$$ which is a particular case of the generalized Constantin-Lax-Majda equation. Wunsch showed that this equation is the Euler-Arnold equation on $\operatorname{Diff}(S^{1})$ when the latter is endowed with the right-invariant homogeneous $\dot{H}^{1/2}$-metric. In this article we prove that the exponential map of this Riemannian metric is not Fredholm and that the sectional curvature is locally unbounded. Furthermore, we prove a Beale-Kato-Majda-type blow-up criterion, which we then use to demonstrate a link to our non-Fredholmness result. Finally, we extend a blow-up result of Castro-C\'ordoba to the periodic case and to a much wider class of initial conditions, using a new generalization of an inequality for Hilbert transforms due to C\'ordoba-C\'ordoba.


title: Pseudo-ballistic transport in 3D topological insulator quantum wires

abstract: Quantum conductance fluctuations are investigated in disordered 3D topological insulator quantum wires. Both experiments and theory reveal a new transport regime in a mesoscopic conductor, pseudo-ballistic transport, for which ballistic properties persist beyond the transport mean free path, characteristic of diffusive transport. It results in non-universal conductance fluctuations due to quasi-1D surface modes, as observed in long and narrow Bi$_2$Se$_3$ nanoribbons. Spin helical Dirac fermions in quantum wires retain pseudo-ballistic properties over an unusually broad energy range, due to strong quantum confinement and weak momentum scattering.


title: Selective inference with unknown variance via the square-root LASSO

abstract: There has been much recent work on inference after model selection when the noise level is known, however, $\sigma$ is rarely known in practice and its estimation is difficult in high-dimensional settings. In this work we propose using the square-root LASSO (also known as the scaled LASSO) to perform selective inference for the coefficients and the noise level simultaneously. The square-root LASSO has the property that choosing a reasonable tuning parameter is scale-free, namely it does not depend on the noise level in the data. We provide valid p-values and confidence intervals for the coefficients after selection, and estimates for model specific variance. Our estimates perform better than other estimates of $\sigma^2$ in simulation.


title: Evolutionary stellar population synthesis with MILES - II. Scaled-solar and \alpha-enhanced models

abstract: We present models that predict spectra of old- and intermediate-aged stellar populations at 2.51\AA\ (FWHM) with varying [\alpha/Fe] abundance. The models are based on the MILES library and on corrections from theoretical stellar spectra. The models employ recent [Mg/Fe] determinations for the MILES stars and BaSTI scaled-solar and \alpha-enhanced isochrones. We compute models for a suite of IMF shapes and slopes, covering a wide age/metallicity range. Using BaSTI, we also compute "base models" matching The Galactic abundance pattern. We confirm that the \alpha-enhanced models show a flux excess with respect to the scaled-solar models blue-ward $\sim$4500\AA, which increases with age and metallicity. We also confirm that both [MgFe] and [MgFe]' indices are [\alpha/Fe]-insensitive. We show that the sensitivity of the higher order Balmer lines to [\alpha/Fe] resides in their pseudo-continua, with narrower index definitions yielding lower sensitivity. We confirm that the \alpha-enhanced models yield bluer (redder) colours in the blue (red) spectral range. To match optical colours of massive galaxies we require both \alpha-enhancement and a bottom-heavy IMF. The comparison of Globular Cluster line-strengths with our predictions match the [Mg/Fe] determinations from their individual stars. We obtain good fits to both full spectra and indices of galaxies with varying [\alpha/Fe]. Using thousands of SDSS galaxy spectra we obtain a linear relation between a proxy for the abundance, [Z$_{\rm Mg}$/Z$_{\rm Fe}$]$_{\rm SS(BaSTI)}$, using solely scaled-solar models and the [Mg/Fe] derived with models with varying abundance ([Mg/Fe]=0.59[Z$_{\rm Mg}$/Z$_{\rm Fe}$]$_{\rm SS(BaSTI)}$). Finally we provide a user-friendly, web-based facility, which allows composite populations with varying IMF and [\alpha/Fe] ( http://miles.iac.es ).


title: Automating Abstract Interpretation of Abstract Machines

abstract: Static program analysis is a valuable tool for any programming language that people write programs in. The prevalence of scripting languages in the world suggests programming language interpreters are relatively easy to write. Users of these languages lament their inability to analyze their code, therefore programming language analyzers are not easy to write. This thesis investigates a systematic method of creating abstract interpreters from traditional interpreters, called Abstracting Abstract Machines. Abstract interpreters are difficult to develop due to technical, theoretical, and pragmatic problems. Technical problems include engineering data structures and algorithms. I show that modest and simple changes to the mathematical presentation of abstract machines result in 1000 times better running time - just seconds for moderately sized programs. In the theoretical realm, abstraction can make correctness difficult to ascertain. I provide proof techniques for proving the correctness of regular, pushdown, and stack-inspecting pushdown models of abstract computation by leaving computational power to an external factor: allocation. Even if we don't trust the proof, we can run models concretely against test suites to better trust them. In the pragmatic realm, I show that the systematic process of abstracting abstract machines is automatable. I develop a meta-language for expressing abstract machines similar to other semantics engineering languages. The language's special feature is that it provides an interface to abstract allocation. The semantics guarantees that if allocation is finite, then the semantics is a sound and computable approximation of the concrete semantics.


title: On matrices with simple spectra arising from tensor products

abstract: This note deals with a simultaneous approximation of several matrices by a finite family of diagonalizable matrices satisfying an additional condition for the spectrum of a matrix product. That is the simplicity of all eigenvalues.


title: The ELAPS Framework: Experimental Linear Algebra Performance Studies

abstract: Optimal use of computing resources requires extensive coding, tuning and benchmarking. To boost developer productivity in these time consuming tasks, we introduce the Experimental Linear Algebra Performance Studies framework (ELAPS), a multi-platform open source environment for fast yet powerful performance experimentation with dense linear algebra kernels, algorithms, and libraries. ELAPS allows users to construct experiments to investigate how performance and efficiency vary depending on factors such as caching, algorithmic parameters, problem size, and parallelism. Experiments are designed either through Python scripts or a specialized GUI, and run on the whole spectrum of architectures, ranging from laptops to clusters, accelerators, and supercomputers. The resulting experiment reports provide various metrics and statistics that can be analyzed both numerically and visually. We demonstrate the use of ELAPS in four concrete application scenarios and in as many computing environments, illustrating its practical value in supporting critical performance decisions.


title: Monte Carlo simulations of the kagome lattice with magnetic dipolar interactions

abstract: The results of extensive Monte Carlo simulations of classical spins on the two-dimensional kagome lattice with only dipolar interactions are presented. In addition to revealing the six-fold degenerate ground state, the nature of the finite-temperature phase transition to long-range magnetic order is discussed. Low temperature states consisting of mixtures of degenerate ground state configurations separated by domain walls can be explained as a result of competing exchange-like and shape anisotropy-like terms in the dipolar coupling. Fluctuations between pairs of degenerate spin configurations are found to persist well into the ordered state as the temperature is lowered until locking in to a low-energy state.


title: Proximate Kitaev Quantum Spin Liquid Behaviour in {\alpha}-RuCl$_3$

abstract: Topological states of matter such as quantum spin liquids (QSLs) are of great interest because of their remarkable predicted properties including protection of quantum information and the emergence of Majorana fermions. Such QSLs, however, have proven difficult to identify experimentally. The most promising approach is to study their exotic nature via the wave-vector and intensity dependence of their dynamical response in neutron scattering. A major search has centered on iridate materials which are proposed to realize the celebrated Kitaev model on a honeycomb lattice - a prototypical topological QSL system in two dimensions (2D). The difficulties of iridium for neutron measurements have, however, impeded progress significantly. Here we provide experimental evidence that a material based on ruthenium, {\alpha}-RuCl$_3$ realizes the same Kitaev physics but is highly amenable to neutron investigation. Our measurements confirm the requisite strong spin-orbit coupling, and a low temperature magnetic order that matches the predicted phase proximate to the QSL. We also show that stacking faults, inherent to the highly 2D nature of the material, readily explain some puzzling results to date. Measurements of the dynamical response functions, especially at energies and temperatures above that where interlayer effects are manifest, are naturally accounted for in terms of deconfinement physics expected for QSLs. Via a comparison to the recently calculated dynamics from gauge flux excitations and Majorana fermions of the pure Kitaev model we propose {\alpha}-RuCl$_3$ as the prime candidate for experimental realization of fractionalized Kitaev physics.


title: Two distinct topological phases in the mixed valence compound YbB6 and its differences from SmB6

abstract: We discuss the evolution of topological states and their orbital textures in the mixed valence compounds SmB6 and YbB6 within the framework of the generalized gradient approximation plus onsite Coulomb interaction (GGA+U) scheme for a wide range of values of U. In SmB6, the topological Kondo insulator (TKI) gap is found to be insensitive to the value of U, but in sharp contrast, Kondo physics in isostructural YbB6 displays a surprising sensitivity to U. In particular, as U is increased in YbB6, the correlated TKI state in the weak-coupling regime transforms into a d-p-type topological insulator phase with a band inversion between Yb-5d and B-2p orbitals in the intermediate coupling range, without closing the insulating energy gap throughout this process. Our theoretical predictions related to the TKI and non-TKI phases in SmB6 and YbB6 are in substantial accord with recent angle-resolved photoemission spectroscopy (ARPES) experiments.


title: Trust, but Verify: Two-Phase Typing for Dynamic Languages

abstract: A key challenge when statically typing so-called dynamic languages is the ubiquity of value-based overloading, where a given function can dynamically reflect upon and behave according to the types of its arguments. Thus, to establish basic types, the analysis must reason precisely about values, but in the presence of higher-order functions and polymorphism, this reasoning itself can require basic types. In this paper we address this chicken-and-egg problem by introducing the framework of two-phased typing. The first "trust" phase performs classical, i.e. flow-, path- and value-insensitive type checking to assign basic types to various program expressions. When the check inevitably runs into "errors" due to value-insensitivity, it wraps problematic expressions with DEAD-casts, which explicate the trust obligations that must be discharged by the second phase. The second phase uses refinement typing, a flow- and path-sensitive analysis, that decorates the first phase's types with logical predicates to track value relationships and thereby verify the casts and establish other correctness properties for dynamically typed languages.


title: A Second Law for Higher Curvature Gravity

abstract: The Second Law of black hole thermodynamics is shown to hold for arbitrarily complicated theories of higher curvature gravity, so long as we allow only linearized perturbations to stationary black holes. Some ambiguities in Wald's Noether charge method are resolved. The increasing quantity turns out to be the same as the holographic entanglement entropy calculated by Dong. It is suggested that only the linearization of the higher-curvature Second Law is important, when consistently truncating a UV-complete quantum gravity theory.


title: The 5:1 Neptune Resonance as Probed by CFEPS: Dynamics and Population

abstract: The Canada-France Ecliptic Plane Survey discovered four trans-Neptunian objects with semi-major axes near the 5:1 resonance, revealing a large and previously undetected intrinsic population. Three of these objects are currently resonant with Neptune, and the fourth is consistent with being an object that escaped the resonance at some point in the past. The non-resonant object may be representative of a detached population that is stable at slightly lower semi-major axes than the 5:1 resonance. We generated clones of these objects by resampling the astrometric uncertainty and examined their behavior over a 4.5 Gyr numerical simulation. The majority of the clones of the three resonant objects (>90%) spend a total of 10^7 years in resonance during their 4.5 Gyr integrations; most clones experience multiple periods of resonance capture. Our dynamical integrations reveal an exchange between the 5:1 resonance, the scattering objects, and other large semi-major axis resonances, especially the 4:1, 6:1, and 7:1. The multiple capture events and relatively short resonance lifetimes after capture suggest that these objects are captured scattering objects that stick in the 5:1 resonance. These 5:1 resonators may be representative of a temporary population, requiring regular contributions from a source population. We examined the dynamical characteristics (inclination, eccentricity, resonant island, libration amplitude) of the detected objects and their clones in order to provide an empirical model of the orbit structure of the 5:1 resonance. This resonance is dynamically hot and includes primarily symmetric librators. Given our orbit model, the intrinsic population necessary for the detection of these three objects in the 5:1 resonance is 1900(+3300 -1400, 95% confidence) with H_g< 8 and e > 0.5.