title: Lie group integrators

abstract: In this survey we discuss a wide variety of aspects related to Lie group integrators. These numerical integration schemes for differential equations on manifolds have been studied in a general and systematic manner since the 1990s and the activity has since then branched out in several different subareas, focussing both on theoretical and practical issues. From two alternative setups, using either frames or Lie group actions on a manifold, we here introduce the most important classes of schemes used to integrate nonlinear ordinary differential equations on Lie groups and manifolds. We describe a number of different applications where there is a natural action by a Lie group on a manifold such that our integrators can be implemented. An issue which is not well understood is the role of isotropy and how it affects the behaviour of the numerical methods. The order theory of numerical Lie group integrators has become an advanced subtopic in its own right, and here we give a brief introduction on a somewhat elementary level. Finally, we shall discuss Lie group integrators having the property that they preserve a symplectic structure or a first integral.


title: Gorenstein injective envelopes and covers over two sided noetherian rings

abstract: We prove that the class of Gorenstein injective modules is both enveloping and covering over a two sided noetherian ring such that the character modules of Gorenstein injective modules are Gorenstein flat. In the second part of the paper we consider the connection between the Gorenstein injective modules and the strongly cotorsion modules. We prove that when the ring R is commutative noetherian of finite Krull dimension, the class of Gorenstein injective modules coincides with that of strongly cotorsion modules if and only if the ring R is in fact Gorenstein.


title: Killing spinors as a characterisation of rotating black hole spacetimes

abstract: We investigate the implications of the existence of Killing spinors in a spacetime. In particular, we show that in vacuum and electrovacuum a Killing spinor, along with some assumptions on the associated Killing vector in an asymptotic region, guarantees that the spacetime is locally isometric to the Kerr or Kerr-Newman solutions. We show that the characterisation of these spacetimes in terms of Killing spinors is an alternative expression of characterisation results of Mars (Kerr) and Wong (Kerr-Newman) involving restrictions on the Weyl curvature and matter content.


title: Proactive Message Passing on Memory Factor Networks

abstract: We introduce a new type of graphical model that we call a "memory factor network" (MFN). We show how to use MFNs to model the structure inherent in many types of data sets. We also introduce an associated message-passing style algorithm called "proactive message passing"' (PMP) that performs inference on MFNs. PMP comes with convergence guarantees and is efficient in comparison to competing algorithms such as variants of belief propagation. We specialize MFNs and PMP to a number of distinct types of data (discrete, continuous, labelled) and inference problems (interpolation, hypothesis testing), provide examples, and discuss approaches for efficient implementation.


title: Would the Existence of CTCs Allow for Nonlocal Signaling?

abstract: A recent paper from Brun et al. has argued that access to a closed timelike curve (CTC) would allow for the possibility of perfectly distinguishing nonorthogonal quantum states. This result can be used to develop a protocol for instantaneous nonlocal signaling. Several commenters have argued that nonlocal signaling must fail in this and in similar cases, often citing consistency with relativity as the justification. I argue that this objection fails to rule out nonlocal signaling in the presence of a CTC. I argue that the reason these authors are motivated to exclude the prediction of nonlocal signaling is because the No Signaling principle is considered to a fundamental part of the formulation of the quantum information approach. I draw out the relationship between nonlocal signaling, quantum information, and relativity, and argue that the principle theory formulation of quantum mechanics, which is at the foundation of the quantum information approach, is in tension with foundational assumptions of Deutsch's D-CTC model, on which this protocol is based.


title: The Image Torque Operator for Contour Processing

abstract: Contours are salient features for image description, but the detection and localization of boundary contours is still considered a challenging problem. This paper introduces a new tool for edge processing implementing the Gestaltism idea of edge grouping. This tool is a mid-level image operator, called the Torque operator, that is designed to help detect closed contours in images. The torque operator takes as input the raw image and creates an image map by computing from the image gradients within regions of multiple sizes a measure of how well the edges are aligned to form closed convex contours. Fundamental properties of the torque are explored and illustrated through examples. Then it is applied in pure bottom-up processing in a variety of applications, including edge detection, visual attention and segmentation and experimentally demonstrated a useful tool that can improve existing techniques. Finally, its extension as a more general grouping mechanism and application in object recognition is discussed.


title: Lattice and string worldsheet in AdS/CFT: a numerical study

abstract: We consider a possible discretization for the gauge-fixed Green-Schwarz (two-dimensional) sigma-model action for the Type IIB superstring and use it for measuring the cusp anomalous dimension of planar $\mathcal{N}=4$ SYM as derived from string theory. We perform lattice simulations employing a Rational Hybrid Monte Carlo (RHMC) algorithm and a Wilson-like fermion discretization. In this preliminary study, we compare our results with the expected behavior for very large values of $g=\frac{\sqrt{\lambda}}{4\pi}$, which is the perturbative regime of the sigma-model, and find a qualitative agreement at finite lattice spacing. For smaller $g$ the continuum limit is obstructed by a divergence. We also detect a phase in the fermion determinant, whose origin we explain, which for small $g$ leads to a sign problem not treatable via standard reweigthing. Results presented here are discussed thoroughly in~\cite{toappear}.


title: Observable Properties of Quark-Hadron Phase Transition at the Large Hadron Collider

abstract: Quark-hadron phase transition is simulated by an event generator that incorporates the dynamical properties of contraction due to QCD confinement forces and randomization due to the thermal behavior of a large quark system on the edge of hadronization. Fluctuations of emitted pions in the $(\eta,\phi)$ space are analyzed using normalized factorial moments in a wide range of bin sizes. The scaling index $\nu$ is found to be very close to the predicted value in the Ginzburg-Landau formalism. The erraticity indices $\mu_q$ are determined in a number of ways that lead to the same consistent values. They are compared to the values from the Ising model, showing significant difference in a transparent plot. Experimental determination of $\nu$ and $\mu_q$ at the LHC are now needed to check the reality of the theoretical study and to provide guidance for improving the model description of quark-hadron phase transition.


title: Physical maze solvers. All twelve prototypes implement 1961 Lee algorithm

abstract: We overview experimental laboratory prototypes of maze solvers. We speculate that all maze solvers implement Lee algorithm by first developing a gradient of values showing a distance from any site of the maze to the destination site and then tracing a path from a given source site to the destination site. All prototypes approximate a set of many-source-one-destination paths using resistance, chemical and temporal gradients. They trace a path from a given source site to the destination site using electrical current, fluidic, growth of slime mould, Marangoni flow, crawling of epithelial cells, excitation waves in chemical medium, propagating crystallisation patterns. Some of the prototypes visualise the path using a stream of dye, thermal camera or glow discharge; others require a computer to extract the path from time lapse images of the tracing. We discuss the prototypes in terms of speed, costs and durability of the path visualisation.


title: Factorization of the transition matrix for the general Jacobi system

abstract: The Jacobi system on a full-line lattice is considered when it contains additional weight factors. A factorization formula is derived expressing the scattering from such a generalized Jacobi system in terms of the scattering from its fragments. This is done by writing the transition matrix for the generalized Jacobi system as an ordered matrix product of the transition matrices corresponding to its fragments. The resulting factorization formula resembles the factorization formula for the Schr\"odinger equation on the full line.


title: A Framework for Individualizing Predictions of Disease Trajectories by Exploiting Multi-Resolution Structure

abstract: For many complex diseases, there is a wide variety of ways in which an individual can manifest the disease. The challenge of personalized medicine is to develop tools that can accurately predict the trajectory of an individual's disease, which can in turn enable clinicians to optimize treatments. We represent an individual's disease trajectory as a continuous-valued continuous-time function describing the severity of the disease over time. We propose a hierarchical latent variable model that individualizes predictions of disease trajectories. This model shares statistical strength across observations at different resolutions--the population, subpopulation and the individual level. We describe an algorithm for learning population and subpopulation parameters offline, and an online procedure for dynamically learning individual-specific parameters. Finally, we validate our model on the task of predicting the course of interstitial lung disease, a leading cause of death among patients with the autoimmune disease scleroderma. We compare our approach against state-of-the-art and demonstrate significant improvements in predictive accuracy.


abstract: This volume represents the proceedings of the 2nd International Workshop on Dynamic Resource Allocation and Management in Embedded, High Performance and Cloud Computing (DREAMCloud 2016), co-located with HiPEAC 2016 on 19th January 2016 in Prague, Czech Republic.


title: Relaxation of vacuum energy in q-theory

abstract: The $q$-theory formalism aims to describe the thermodynamics and dynamics of the deep quantum vacuum. The thermodynamics leads to an exact cancellation of the quantum-field zero-point-energies in equilibrium, which partly solves the main cosmological constant problem. But, with reversible dynamics, the spatially-flat Friedmann-Robertson-Walker universe asymptotically approaches the Minkowski vacuum only if the Big Bang already started out in an initial equilibrium state. Here, we extend $q$-theory by introducing dissipation from irreversible processes. Neglecting the possible instability of a de-Sitter vacuum, we obtain different scenarios with either a de-Sitter asymptote or collapse to a final singularity. The Minkowski asymptote still requires fine-tuning of the initial conditions. This suggests that, within the $q$-theory approach, the decay of the de-Sitter vacuum is a necessary condition for the dynamical solution of the cosmological constant problem.


title: On the ground state energy of the delta-function Bose gas

abstract: The weak coupling asymptotics, to order $(c/\rho)^2$, of the ground state energy of the delta-function Bose gasmis derived. Here $2c\ge 0$ is the delta-function potential amplitude and $\rho$ the density of the gas in the thermodynamic limit. The analysis uses the electrostatic interpretation of the Lieb-Liniger integral equation.


title: The Diphoton Excess Inspired Electroweak Baryogenesis

abstract: A resonance in the diphoton channel with invariant mass $m_{\gamma \gamma} = 750$ GeV was claimed by the ATLAS and CMS collaborations at the run-2 LHC with $\sqrt{s}=13$ TeV. In this paper, we explain this diphoton excess as a pseudo-scalar singlet, which is produced at the LHC through gluon fusion with exotic scalar quarks running in the loop. We point out the scalar singlet might trigger a two-step electroweak phase transition, which can be strongly first oder. By assuming there are CP violations associated with interactions of the scalar quarks, the model is found to be able to generate adequate baryon asymmetry of the Universe through the electroweak baryogenesis mechanism. Constraints on the model are studied.


title: Iterated scaling limits for aggregation of random coefficient AR(1) and INAR(1) processes

abstract: We discuss joint temporal and contemporaneous aggregation of $N$ independent copies of strictly stationary AR(1) and INteger-valued AutoRegressive processes of order 1 (INAR(1)) with random coefficient $\alpha \in (0, 1)$ and idiosyncratic innovations. Assuming that $\alpha$ has a density function of the form $\psi(x) (1 - x)^\beta$, $x \in (0, 1)$, with $\lim_{x\uparrow 1} \psi(x) = \psi_1 \in (0, \infty)$, different Brownian limit processes of appropriately centered and scaled aggregated partial sums are shown to exist in case $\beta=1$ when taking first the limit as $N \to \infty$ and then the time scale $n \to \infty$, or vice versa. This paper completes the one of Pilipauskait\.e and Surgailis (2014), and Barczy, Ned\'enyi and Pap (2015), where the iterated limits are given for every other possible value of the parameter $\beta$ for the two types of models.


title: On univoque and strongly univoque sets

abstract: Much has been written about expansions of real numbers in noninteger bases. Particularly, for a finite alphabet $\{0,1,\dots,\alpha\}$ and a real number (base) $1<\beta<\alpha+1$, the so-called {\em univoque set} of numbers which have a unique expansion in base $\beta$ has garnered a great deal of attention in recent years. Motivated by recent applications of $\beta$-expansions to Bernoulli convolutions and a certain class of self-affine functions, we introduce the notion of a {\em strongly univoque} set. We study in detail the set $D_\beta$ of numbers which are univoque but not strongly univoque. Our main result is that $D_\beta$ is nonempty if and only if the number $1$ has a unique nonterminating expansion in base $\beta$, and in that case, $D_\beta$ is uncountable. We give a sufficient condition for $D_\beta$ to have positive Hausdorff dimension, and show that, on the other hand, there are infinitely many values of $\beta$ for which $D_\beta$ is uncountable but of Hausdorff dimension zero.


title: Dispersal of tidal debris in a Milky-Way-sized dark matter halo

abstract: We simulate the tidal disruption of a collisionless N-body globular star cluster in a total of 300 different orbits selected to have galactocentric radii between 10 and 30 kpc in four dark matter halos: (a) a spherical halo with no subhalos, (b) a spherical halo with subhalos, (c) a realistic halo with no subhalos, and (d) a realistic halo with subhalos. This allows us to isolate and study how the halo's (lack of) dynamical symmetry and substructures affect the dispersal of tidal debris. The realistic halos are constructed from the snapshot of the Via Lactea II simulation at redshift zero. We find that the overall halo's lack of dynamical symmetry disperses tidal debris to make the streams fluffier, consistent with previous studies of tidal debris of dwarf galaxies in larger orbits than ours in this study. On the other hand, subhalos in realistic potentials can locally enhance the densities along streams, making streams denser than their counterparts in smooth potentials. We show that many long and thin streams can survive in a realistic and lumpy halo for a Hubble time. This suggests that upcoming stellar surveys will likely uncover more thin streams which may contain density gaps that have been shown to be promising probes for dark matter substructures.


title: Charge Imbalance in a Layered Structure of High Temperature Superconductors

abstract: Quasiparticle injection devices are considered as one of the candidates for the high temperature superconductor transistors, which can operate at liquid nitrogen temperatures. In these devices the nonequilibrium effects are created by injecting quasiparticle current into a stack of intrinsic Josephson junctions (IJJs). These effects lead to an occurrence of a shift of the condensate chemical potential and a difference in the distribution between the electron-like and the hole-like quasiparticles that causes a charge imbalance. Such effects are observed in many experiments for both bulk and layered superconductors. In this paper, we study non-stationary nonequilibrium charge imbalance effect due to current injection in a stack of IJJs. We investigate the effect of the charge imbalance on the current-voltage characteristic (IVC) and the time dependence of the voltage and the quasiparticle potential in a stack of five IJJs.


title: Restricted Carleson Variations at Endpoint and Discretized Hilbert Transforms in the Plane

abstract: We provide elementary proofs that the 2-variation Carleson operator $V_2$ along with explicit bilinear multipliers adapted to $\{\xi_1 + \xi_2 = 0\}$ satisfy no $L^p$ estimates. Furthermore, we obtain $L^p \rightarrow L^p$ estimates when $2 < p <\infty$ for a smooth restricted variant of $V_2$ that is defined a priori on Schwartz functions by the formula \begin{eqnarray*} \mathcal{V}^{res}_2 : f \mapsto \sup_{R \in \mathbb{R}_+} ~~\sup_{0 \leq \alpha < R} ~~\left(\sum_{j \in \mathbb{Z}} \left|f*\mathcal{F}^{-1} \left[ \tilde{1}_{[\alpha + j R, \alpha + (j+1)R]}\right] \right|^2 \right)^{1/2} \end{eqnarray*} where $\tilde{1}_{I} (x) := \tilde{1}(|I|^{-1} (x-c_I))$ for all intervals $I = [c_I - |I|/2, c_I + |I|/2] \subset \mathbb{R}$ and $\tilde{1} \in C^\infty([-1/2, 1/2])$. We then study bi-sublinear variants of $\mathcal{V}_2^{res}$ before showing that multipliers, which are adapted to $\{\xi_1 + \xi_2=0\}$ and periodically discretized along each frequency scale, map $L^{p_1}(\mathbb{R}) \times L^{p_2}(\mathbb{R}) \rightarrow L^{p_1 p_2 / (p_1 + p_2)}(\mathbb{R})$ provided $2 \leq p_1, p_2 <\infty$ and $\frac{1}{p_1} + \frac{1}{p_2} <1$.


title: A Class of Low-Interference N-Continuous OFDM Schemes

abstract: N-continuous orthogonal frequency division multiplexing (NC-OFDM) was demonstrated to provide significant sidelobe suppression for baseband OFDM signals. However, it will introduce severe interference to the transmit signals. Hence in this letter, we specifically design a class of low-interference NC-OFDM schemes for alleviating the introduced interference. Meanwhile, we also obtain an asymptotic spectrum analysis by a closed-form expression. It is shown that the proposed scheme is capable of reducing the interference to a negligible level, and hence to save the high complexity of signal recovery at the receiver, while maintaining similar sidelobe suppression performance compared to traditional NC-OFDM.


title: Stereotypical escape behavior in Caenorhabditis elegans allows quantification of nociceptive stimuli levels

abstract: Experiments of pain with human subjects are difficult, subjective, and ethically constrained. Since the molecular mechanisms of pain transduction are reasonably conserved among different species, these problems are partially solved by the use of animal models. However, animals cannot easily communicate to us their own pain levels. Thus progress depends crucially on our ability to quantitatively and objectively infer the perceived level of noxious stimuli from the behavior of animals. Here we develop a quantitative model to infer the perceived level of thermal nociception from the stereotyped nociceptive response of individual nematodes Caenorhabditis elegans stimulated by an IR laser. The model provides a method for quantification of analgesic effects of chemical stimuli or genetic mutations in C. elegans. We test the nociception of ibuprofen-treated worms and a TRPV (transient receptor potential) mutant, and we show that the perception of thermal nociception for the ibuprofen treated worms is lower than the wild-type. At the same time, our model shows that the mutant changes the worm's behavior beyond affecting nociception. Finally, we determine the stimulus level that best distinguishes the analgesic effects and the minimum number of worms that allow for a statistically significant identification of these effects.


title: Unified Growth Theory Contradicted by the Absence of Takeoffs in the Gross Domestic Product

abstract: Data describing historical economic growth are analysed. They demonstrate convincingly that the takeoffs from stagnation to growth, claimed in the Unified Growth Theory, never happened. This theory is again contradicted by data, which were used, but never properly analysed, during its formulation. The absence of the claimed takeoffs demonstrates also that the postulate of the differential takeoffs is contradicted by data.


title: Topological observables in many-flavour QCD

abstract: SU(3) gauge theory with eight massless flavours is believed to be walking, while the corresponding twelve- and four-flavour appear IR-conformal and confining respectively. Looking at the simulations performed by the LatKMI collaboration of these theories, we use the topological susceptibility as an additional probe of the IR dynamics. By drawing a comparison with SU(3) pure gauge theory, we see a dynamical quenching effect emerge at larger number of flavours, which is suggestive of emerging near-conformal and conformal behaviour.


title: Cosimplicial Groups and Spaces of Homomorphisms

abstract: Let $G$ be a real linear algebraic group and $L$ a finitely generated cosimplicial group. We prove that the space of homomorphisms $Hom(L_n,G)$ has a homotopy stable decomposition for each $n\geq 1$. When $G$ is a compact Lie group, we show that the decomposition is $G$-equivariant with respect to the induced action of conjugation by elements of $G$. The spaces $Hom(L_n,G)$ assemble into a simplicial space $Hom(L,G)$. When $G=U$ we show that its geometric realization $B(L,U)$, has a non-unital $E_\infty$-ring space structure whenever $Hom(L_0,U(m))$ is path connected for all $m\geq1$.


title: Reed-Muller Codes Achieve Capacity on Erasure Channels

abstract: We introduce a new approach to proving that a sequence of deterministic linear codes achieves capacity on an erasure channel under maximum a posteriori decoding. Rather than relying on the precise structure of the codes our method exploits code symmetry. In particular, the technique applies to any sequence of linear codes where the blocklengths are strictly increasing, the code rates converge, and the permutation group of each code is doubly transitive. In other words, we show that symmetry alone implies near-optimal performance. An important consequence of this result is that a sequence of Reed-Muller codes with increasing blocklength and converging rate achieves capacity. This possibility has been suggested previously in the literature but it has only been proven for cases where the limiting code rate is 0 or 1. Moreover, these results extend naturally to all affine-invariant codes and, thus, to extended primitive narrow-sense BCH codes. This also resolves, in the affirmative, the existence question for capacity-achieving sequences of binary cyclic codes. The primary tools used in the proof are the sharp threshold property for symmetric monotone boolean functions and the area theorem for extrinsic information transfer functions.


title: Disentangling Giant Component and Finite Cluster Contributions in Sparse Matrix Spectra

abstract: We describe a method for disentangling giant component and finite cluster contributions to sparse random matrix spectra, using sparse symmetric random matrices defined on Erdos-Renyi graphs as an example and test-bed.


title: Efficient Computation of Decoherent Quantum Walks through Eigenvalue Perturbation

abstract: A number of recent studies have investigated the introduction of decoherence in quantum walks and the resulting transition to classical random walks. Interestingly, it has been shown that algorithmic properties of quantum walks with decoherence such as the spreading rate are sometimes better than their purely quantum counterparts. Not only quantum walks with decoherence provide a generalization of quantum walks that naturally encompasses both the quantum and classical case, but they also give rise to new and different probability distribution. The application of quantum walks with decoherence to large graphs is limited by the necessity of evolving a state vector whose size is quadratic in the number of nodes of the graph, as opposed to the linear state vector of the purely quantum (or classical) case. In this technical report, we show how to use perturbation theory to reduce the computational complexity of evolving a continuous-time quantum walk subject to decoherence. More specifically, given a graph over n nodes, we show how to approximate the eigendecomposition of the n^2 x n^2 Lindblad super-operator from the eigendecomposition of the n x n graph Hamiltonian.


title: Spectral Theory of Unsigned and Signed Graphs. Applications to Graph Clustering: a Survey

abstract: This is a survey of the method of graph cuts and its applications to graph clustering of weighted unsigned and signed graphs. I provide a fairly thorough treatment of the method of normalized graph cuts, a deeply original method due to Shi and Malik, including complete proofs. The main thrust of this paper is the method of normalized cuts. I give a detailed account for K = 2 clusters, and also for K > 2 clusters, based on the work of Yu and Shi. I also show how both graph drawing and normalized cut K-clustering can be easily generalized to handle signed graphs, which are weighted graphs in which the weight matrix W may have negative coefficients. Intuitively, negative coefficients indicate distance or dissimilarity. The solution is to replace the degree matrix by the matrix in which absolute values of the weights are used, and to replace the Laplacian by the Laplacian with the new degree matrix of absolute values. As far as I know, the generalization of K-way normalized clustering to signed graphs is new. Finally, I show how the method of ratio cuts, in which a cut is normalized by the size of the cluster rather than its volume, is just a special case of normalized cuts.


title: Location and origin of gamma-rays in blazars

abstract: One of the most intriguing and challenging quests of current astrophysics is to understand the physical conditions and processes responsible for production of high-energy particles, and emission of \gamma-rays. A combination of high-resolution Very Long Baseline Interferometry (VLBI) images with broadband flux variability measurements is a unique way to probe the emission mechanisms at the bases of jets. Our analysis of \gamma-ray flux variability observed by the Fermi-LAT (Large Area Telescope) along with the parsec-scale jet kinematics suggests that the $\gamma$-ray emission in blazar S5 0716+714 has a significant correlation with the mm-VLBI core flux and the orientation of jet outflow on parsec scales. These results indicate that the inner jet morphology has a tight connection with the observed $\gamma$-ray flares. An overview of our current understanding on high-energy radiation processes, their origin, and location is presented here.


title: Riblet Sensor -- Light Scattering on Micro Structured Surface Coatings

abstract: With the application of appropriate surface structuring on aircrafts, up to 8\% fuel may be saved in regular air traffic. Before these techniques can be introduced into productive environments, a controlling method for the quality of surface structuring is needed to be used during fabrication and service, ensuring persistent quality of the structured coatings and a justified decision for surface renewal. In this project, these important requirements for achieving the improvements defined above are fulfilled. We have shown that fast sampling is possible using noncontacting laser probing, and we have presented a working preliminary configuration for the sensor. In the theoretical part, a model for the interaction between a probing laser beam and the surface is developed and the resulting wavefront is derived. This is done using a combination of Huygens-Fresnel diffraction theory and geometrical optics. The model is then used to counsel the design of the experimental setup, to interpret the emerging data and to develop characteristic quantities for the sample, their derivation from the data and their SNR ratio. In the experimental part, the interaction of laser light with the structured riblet surface is studied. For this purpose an optical setup was installed to perform measurements of undegraded and degraded surfaces depending on a variety of experimental parameter. The results of these measurements are constantly compared and checked with the theoretical calculations. It allows for very sensitive measurements of even slight degradations of the surfaces. Here, it is regardless if the damage to the riblets is symmetrical or asymmetrical due to mechanical loss of material or if it is deriving from changes of reflectivity due to chemical processes of the riblet material itself.


title: An Effective Field Theory for Forward Scattering and Factorization Violation

abstract: Starting with QCD, we derive an effective field theory description for forward scattering and factorization violation as part of the soft-collinear effective field theory (SCET) for high energy scattering. These phenomena are mediated by long distance Glauber gluon exchanges, which are static in time, localized in the longitudinal distance, where $|t| \ll s$. In hard scattering, Glauber gluons can induce corrections which invalidate factorization. With SCET, Glauber exchange graphs can be calculated explicitly, and are distinct from graphs with soft, collinear, or ultrasoft gluons. We derive a complete basis of operators which describe the leading power effects of Glauber exchange. Key ingredients include regulating light-cone rapidity singularities and subtractions which prevent double counting. Our results include a novel all orders gauge invariant pure glue soft operator which appears between two collinear rapidity sectors. The 1-gluon Feynman rule for the soft operator coincides with the Lipatov vertex, but it also contributes to emissions with $\ge 2$ soft gluons. Our Glauber operator basis is derived using tree level and one-loop matching calculations from full QCD to SCET. The rapidity RGE yields gluon Reggeization at the amplitude level, and gives the BFKL equation for the soft and collinear functions in the forward scattering cross section. We derive an explicit rule for when eikonalization is valid, and provide a direct connection to the picture of multiple Wilson lines crossing a shockwave. In hard scattering operators Glauber subtractions for soft and collinear loop diagrams ensure that we are not sensitive to the directions for soft and collinear Wilson lines. Conversely, certain Glauber interactions can be absorbed into these soft and collinear Wilson lines by taking them to be in specific directions. We also discuss criteria for factorization violation.


title: The estimation of the ratio of two entire functions with the same zeros in the ball

abstract: The paper studies entire functions of finite order of growth for which a representation of the form $\psi(z) = 1+ O(|z|^{-\mu}), \mu >0,$ as $z\to \infty$, is valid on a fixed ray of the complex plane. The main result is the following. Assume that the zeros of two functions $\psi_1, \psi_2$ of this class coincide in the circle of radius $R$ with the center in zero. Then given arbitrary small $\delta\in (0,1)$ and $\varepsilon >0$ the relation of these functions admits the estimate $|\psi_1(z)/\psi_2(z) -1| \leqslant \varepsilon R^{-\mu(1-\delta)}$ for all $|z|\leqslant R^{1-\delta}$, provided that $R\geqslant R_0$ and $R_0 =R_0(\varepsilon, \delta)$ is sufficiently large. This result is of considerable interest in the analysis of the stability in the inverse resonance problem for the Schroedinger equation.


title: The Asymptotic Behaviors of $\log_{r}W(r, k)$ and $\log_{k}W(r, k)$, when $W(r, k)$ is a van der Waerden Number

abstract: We derive the asymptotic behaviors of $\log_{r}W(r, k)$ and $\log_{k}W(r, k)$, when $W(r, k)$ is a van der Waerden Number. We use the approach to consider the subsets on the real line in which $W(2, 7)$ might lie.


title: A Technique to Measure Focal Length of a Lens with no Bulk Motion using Tunable Optics and Optical MEMS Technology

abstract: This paper presents a motion-free technique for characterizing the focal length of any spherical convex or concave lens. The measurement system uses a Gaussian Beam from a Laser Source (LS), an Electronically Controlled Variable Focus Lens (ECVFL), a Digital Micromirror Device (DMD) and a Photo-Detector (PD). As the proposed method does not involve any motion-stages or other moving components, the focal length is measured without requiring any mechanical motion of bulk components. The method requires measuring the spot size of the Gaussian Beam at the DMD plane for various settings of the ECVFL focal length. These beam spot size measurements, are used to estimate the focal length of a lens sample by employing standard polynomial-fitting techniques. Due to the inherent motion-free nature of the proposed setup, the measurements are fast, repeatable, reliable and ideal for use in industrial lens production, manufacturing of imaging systems and sensitive laboratory experiments. Using a DMD and an ECVFL also allows for automating the lens characterization process. As a proof-of-concept, experiments were performed to determine focal length values of multiple lens samples with the proposed technique. The values of focal lengths of all samples are in agreement with the focal length values which were provided by the manufacturer of these test lenses. The estimated focal length values are within the 1% manufacturing tolerance values that were provided.


title: Topology-faithful nonparametric estimation and tracking of bulk interface networks

abstract: The main focus of this paper is a nonparametric filtering technique for the estimation of interface geometry in bulk materials obtainable from modern imaging measurements. The filtering methodology relies on an assumed hierarchy of topological features present in a typical interface network, such as foam interfaces and grain boundary networks in polycrystalline materials. Each type of topological feature is treated in order of rank in the hierarchy, with the lower-level feature being filtered subject to the positional constraints imposed by the higher-level features. Such a scheme is an alternative to existing surface smoothing/estimation techniques in microstructural materials science, in which the explicit treatment of different elements of the network topology is absent, or at best arbitrarily parameterized. We describe the ramifications of this technique in the usual microstructural applications in which the computation of important physical quantities is predicated on the precise estimation of the interface features. As an additional application, we describe a novel front-tracking algorithm for quantifying the transport of such interfaces.


title: Black holes from multiplets of scalar fields in 2+1- and 3+1-dimensions

abstract: We obtain classes of black hole solutions constructed from multiplets of scalar fields in 2+1 / 3+1 dimensions. The multi-component scalars don't undergo a symmetry breaking so that only the isotropic modulus is effective. The Lagrangian is supplemented by a self-interacting potential which plays significant role in obtaining the exact solutions. In 2+1 / 3+1 dimensions doublet / triplet of scalars is effective which enriches the available black hole spacetimes and creates useful Liouville weighted field theoretic models.


title: Non-additive entropies in ... gravity ?

abstract: We present aspects of entropic functionals relatively recently introduced in Physics which are non-additive, in the conventional sense of the word, some of which have a power-law functional form. We use as an example among them, and to be concrete in this work the "Tsallis entropy", which has, arguably, the simplest functional form. We present some of its properties and speculate about its potential uses in semi-Classical and Quantum Gravity.


title: Cooldown Measurements in a Standing Wave Thermoacoustic Refrigerator

abstract: Thermoacoustic Refrigerators (TARs) use acoustic power to generate cold temperatures. Apart from the operating frequency and the mean temperature of the working medium, the charging pressure and the dynamic pressure in the TAR govern its attainable cold temperature. The effect of charging pressure on the dynamic pressure in a loudspeaker driven gas filled standing wave column has been well understood. The present work aims to investigate the effect of charging pressure on the cold end temperature of a standing wave TAR. The cold end temperature lift and the cooldown for several changing pressures are reported. The effect of vacuum around the cold end on the TAR performance is also presented.


title: Analytic renormalization of multiple zeta functions. Geometry and combinatorics of the generalized Euler reflection formula for MZV

abstract: The renormalization of MZV was until now carried out by algebraic means. We show that renormalization in general, of the multiple zeta functions in particular, is more than mere convention. We show that simple calculus methods allow us to compute the renormalized values of multiple zeta functions in any dimension for arguments of the form (1,...,1), where the series do not converge. These values happen to be the coefficients of the asymptotic expansion of the inverse Gamma function. We focus on the geometric interpretation of these values, and on the combinatorics their closed form encodes, which happen to match the combinatorics of the generalized Euler reflection formula discovered by Michael E. Hoffman, which in turn is a kind of analogue of the Cayley-Hamilton theorem for matrices. By means of one single limit formula, we define a function on the positive open half-line which takes exactly the values of the Riemann zeta function, with the additional advantage that it equals the Euler constant when the argument is 1.


title: The formation of massive, quiescent galaxies at cosmic noon

abstract: The cosmic noon (z~1.5-3) marked a period of vigorous star formation for most galaxies. However, about a third of the more massive galaxies at those times were quiescent in the sense that their observed stellar populations are inconsistent with rapid star formation. The reduced star formation activity is often attributed to gaseous outflows driven by feedback from supermassive black holes, but the impact of black hole feedback on galaxies in the young Universe is not yet definitively established. We analyze the origin of quiescent galaxies with the help of ultra-high resolution, cosmological simulations that include feedback from stars but do not model the uncertain consequences of black hole feedback. We show that dark matter halos with specific accretion rates below ~0.25-0.4 per Gyr preferentially host galaxies with reduced star formation rates and red broad-band colors. The fraction of such halos in large dark matter only simulations matches the observed fraction of massive quiescent galaxies (~10^10-10^11 Msun). This strongly suggests that halo accretion rate is the key parameter determining which massive galaxies at z~1.5-3 become quiescent. Empirical models that connect galaxy and halo evolution, such as halo occupation distribution or abundance matching models, assume a tight link between galaxy properties and the masses of their parent halos. These models will benefit from adding the specific accretion rate of halos as a second model parameter.


title: Tidal Disruption Events Prefer Unusual Host Galaxies

abstract: Tidal Disruption Events (TDEs) are transient events observed when a star passes close enough to a supermassive black hole to be tidally destroyed. Many TDE candidates have been discovered in host galaxies whose spectra have weak or no line emission yet strong Balmer line absorption, indicating a period of intense star formation that has recently ended. As such, TDE host galaxies fall into the rare class of quiescent Balmer-strong galaxies. Here, we quantify the fraction of galaxies in the Sloan Digital Sky Survey (SDSS) with spectral properties like those of TDE hosts, determining the extent to which TDEs are over-represented in such galaxies. Galaxies whose spectra have Balmer absorption H$\delta_{\rm A}$ $-$ $\sigma$(H$\delta_{\rm A}$) $>$ 4 \AA\ (where $\sigma$(H$\delta_{\rm A}$) is the error in the Lick H$\delta_{\rm A}$ index) and H$\alpha$ emission EW $<$ $3$ \AA\ have had a strong starburst in the last $\sim$Gyr. They represent 0.2% of the local galaxy population, yet host 3 of 8 (37.5%) optical/UV-selected TDE candidates. A broader cut, H$\delta_{\rm A} >$ 1.31 \AA\ and H$\alpha$ EW $<$ $3$ \AA, nets only 2.3% of SDSS galaxies, but 6 of 8 (75%) optical/UV TDE hosts. Thus, quiescent Balmer-strong galaxies are over-represented among the TDE hosts by a factor of 33-190. The high-energy-selected TDE Swift J1644 also lies in a galaxy with strong Balmer lines and weak H$\alpha$ emission, implying a $>80\times$ enhancement in such hosts and providing an observational link between the $\gamma$/X-ray-bright and optical/UV-bright TDE classes.


title: Stellar population constraints on the ages of galactic bars

abstract: We present a study of the stellar populations within the central regions of four nearby barred galaxies, and use a novel technique to constrain the duration of bar activity. We focus on the star formation 'desert', a region within each of these galaxies where star formation appears to have been suppressed by the bar. New H beta spectroscopic data are presented, and used to produce spectroscopic line indices which are compared with theoretical predictions from population synthesis models for simple stellar populations and temporally truncated star formation histories. This analysis shows that the dearth of star formation activity in these regions appears to have been continuing for at least 1 Gyr, with timescales of several Gyr indicated for two of the galaxies. This favours models in which strong bars can be long-lived features of galaxies, but our results also indicate a significant diversity in stellar population ages, and hence in the implied histories of bar activity in these four galaxies.


title: Simulated Milky Way analogues: implications for dark matter direct searches

abstract: We study the implications of galaxy formation on dark matter direct detection using high resolution hydrodynamic simulations of Milky Way-like galaxies simulated within the EAGLE and APOSTLE projects. We identify Milky Way analogues that satisfy observational constraints on the Milky Way rotation curve and total stellar mass. We then extract the dark matter density and velocity distribution in the Solar neighbourhood for this set of Milky Way analogues, and use them to analyse the results of current direct detection experiments. For most Milky Way analogues, the event rates in direct detection experiments obtained from the best fit Maxwellian distribution (with peak speed of 223 - 289 km/s) are similar to those obtained directly from the simulations. As a consequence, the allowed regions and exclusion limits set by direct detection experiments in the dark matter mass and spin-independent cross section plane shift by a few GeV compared to the Standard Halo Model, at low dark matter masses. For each dark matter mass, the halo-to-halo variation of the local dark matter density results in an overall shift of the allowed regions and exclusion limits for the cross section. However, the compatibility of the possible hints for a dark matter signal from DAMA and CDMS-Si and null results from LUX and SuperCDMS is not improved.


title: Toward precision holography with supersymmetric Wilson loops

abstract: We consider certain 1/4 BPS Wilson loop operators in SU(N) ${\cal N}=4$ supersymmetric Yang-Mills theory, whose expectation value can be computed exactly via supersymmetric localization. Holographically, these operators are mapped to fundamental strings in AdS5 x S5. The string on-shell action reproduces the large N and large coupling limit of the gauge theory expectation value and, according to the AdS/CFT correspondence, there should also be a precise match between subleading corrections to these limits. We perform a test of such match at next-to-leading order in string theory, by deriving the spectrum of quantum fluctuations around the classical string solution and by computing the corresponding 1-loop effective action. We discuss in detail the supermultiplet structure of the fluctuations. To remove a possible source of ambiguity in the ghost zero mode measure, we compare the 1/4 BPS configuration with the 1/2 BPS one, dual to a circular Wilson loop. We find a discrepancy between the string theory result and the gauge theory prediction, confirming a previous result in the literature. We are able to track the modes from which this discrepancy originates, as well as the modes that by themselves would give the expected result.


title: Semi-Analytic Galaxy Evolution (SAGE): Model Calibration and Basic Results

abstract: This paper describes a new publicly available codebase for modelling galaxy formation in a cosmological context, the "Semi-Analytic Galaxy Evolution" model, or SAGE for short. SAGE is a significant update to that used in Croton et al. (2006) and has been rebuilt to be modular and customisable. The model will run on any N-body simulation whose trees are organised in a supported format and contain a minimum set of basic halo properties. In this work we present the baryonic prescriptions implemented in SAGE to describe the formation and evolution of galaxies, and their calibration for three N-body simulations: Millennium, Bolshoi, and GiggleZ. Updated physics include: gas accretion, ejection due to feedback, and reincorporation via the galactic fountain; a new gas cooling--radio mode active galactic nucleus (AGN) heating cycle; AGN feedback in the quasar mode; a new treatment of gas in satellite galaxies; and galaxy mergers, disruption, and the build-up of intra-cluster stars. Throughout, we show the results of a common default parameterization on each simulation, with a focus on the local galaxy population.


title: The evolved-star dust budget of the Small Magellanic Cloud: the critical role of a few key players

abstract: The lifecycle of dust in the interstellar medium (ISM) is heavily influenced by outflows from asymptotic giant branch (AGB) and red supergiant (RSG) stars, a large fraction of which is contributed by a few very dusty sources. We compute the dust input to the Small Magellanic Cloud (SMC) by fitting the multi-epoch mid-infrared spectral energy distributions (SEDs) of AGB/RSG candidates with models from the {\em G}rid of {\em R}SG and {\em A}GB {\em M}odel{\em S} (GRAMS) grid, allowing us to estimate the luminosities and dust-production rates (DPRs) of the entire population. By removing contaminants, we guarantee a high-quality dataset with reliable DPRs and a complete inventory of the dustiest sources. We find a global AGB/RSG dust-injection rate of $(1.3\pm 0.1)\times 10^{-6}$ \msunperyr, in agreement with estimates derived from mid-infrared colours and excess fluxes. As in the LMC, a majority (66\%) of the dust arises from the extreme AGB stars, which comprise only $\approx$7\% of our sample. A handful of far-infrared sources, whose 24 \mic\ fluxes exceed their 8 \mic\ fluxes, dominate the dust input. Their inclusion boosts the global DPR by $\approx$1.5$\times$, making it necessary to determine whether they are AGB stars. Model assumptions, rather than missing data, are the major sources of uncertainty; depending on the choice of dust shell expansion speed and dust optical constants, the global DPR can be up to $\approx$10 times higher. Our results suggest a non-stellar origin for the SMC dust, barring as yet undiscovered evolved stars with very high DPRs.


title: Temporal Variability of Interstellar Na I Absorption Toward The Monoceros Loop

abstract: We report the first evidence of temporal variability in the interstellar Na I absorption toward HD 47240, which lies behind the Monoceros Loop supernova remnant (SNR). Analysis of multi-epoch Kitt Peak coud\'{e} feed spectra from this sightline taken over an eight-year period reveals significant variation in both the observed column density and the central velocities of the high-velocity gas components in these spectra. Given the $\sim$1.3 mas yr$^{-1}$ proper motion of HD 47240 and a SNR distance of 1.6 kpc, this variation would imply $\sim$10 AU fluctuations within the SNR shell. Similar variations have been previously reported in the Vela supernova remnant, suggesting a connection between the expanding supernova remnant gas and the observed variations. We speculate on the potential nature of the observed variations toward HD 47240 in the context of the expanding remnant gas interacting with the ambient ISM.


title: 3-cm Fine Structure Masers: A Unique Signature of Supermassive Black Hole Formation via Direct Collapse in the Early Universe

abstract: The direct collapse black hole (DCBH) scenario describes the isothermal collapse of a pristine gas cloud directly into a massive, M_BH=10^4-10^6 M_sun black hole. In this paper we show that large HI column densities of primordial gas at T~10^4 K with low molecular abundance - which represent key aspects of the DCBH scenario - provide optimal conditions for pumping of the 2p-level of atomic hydrogen by trapped Lyman alpha (Lya) photons. This Lya pumping mechanism gives rise to inverted level population of the 2s_1/2-2p_3/2 transition, and therefore to stimulated fine structure emission at 3.04 cm (rest-frame). We show that simplified models of the DCBH scenario amplify the CMB by up to a factor of 10^5, above which the maser saturates. Hyperfine splitting of the 3-cm transition gives rise to a characteristic broad (FWHM ~ tens of MHz in the observers frame) asymmetric line profile. This signal subtends an angular scale of ~ 1-10 mas, which translates to a flux of ~ 0.3-3 microJy, which is detectable with ultra-deep surveys being planned with SKA1-MID. While challenging, as the signal is visible for a fraction of the collapse time of the cloud, the matching required physical conditions imply that a detection of the redshifted 3-cm emission line would provide direct evidence for the DCBH scenario.


title: KROSS: Mapping the Ha emission across the star-formation sequence at z~1

abstract: We present first results from the KMOS Redshift One Spectroscopic Survey (KROSS), an ongoing large kinematical survey of a thousand, z~1 star forming galaxies, with VLT KMOS. Out of the targeted galaxies (~500 so far), we detect and spatially resolve Ha emission in ~90% and 77% of the sample respectively. Based on the integrated Ha flux measurements and the spatially resolved maps we derive a median star formation rate (SFR) of ~7.0 Msun/yr and a median physical size of <r$_{\rm e}$> = 5.1kpc. We combine the inferred SFRs and effective radii measurements to derive the star formation surface densities ({\Sigma}SFR) and present a "resolved" version of the star formation main sequence (MS) that appears to hold at sub-galactic scales, with similar slope and scatter as the one inferred from galaxy integrated properties. Our data also yield a trend between {\Sigma}SFR and {\Delta}(sSFR) (distance from the MS) suggesting that galaxies with higher sSFR are characterised by denser star formation activity. Similarly, we find evidence for an anti-correlation between the gas phase metallicity (Z) and the {\Delta}(sSFR), suggesting a 0.2dex variation in the metal content of galaxies within the MS and significantly lower metallicities for galaxies above it. The origin of the observed trends between {\Sigma}SFR - {\Sigma}(sSFR) and Z - {\Delta}(sSFR) could be driven by an interplay between variations of the gas fraction or the star formation efficiency of the galaxies along and off the MS. To address this, follow-up observations of the our sample that will allow gas mass estimates are necessary.


title: Modelling the Galactic disc: perturbed distribution functions in the presence of spiral arms

abstract: Starting from an axisymmetric equilibrium distribution function (DF) in action space, representing a Milky Way thin disc stellar population, we use the linearized Boltzmann equation to explicitly compute the response to a three-dimensional spiral potential in terms of the perturbed DF. This DF, valid away from the main resonances, allows us to investigate a snapshot of the velocity distribution at any given point in three-dimensional configuration space. Moreover, the first order moments of the DF give rise to non-zero radial and vertical bulk flows -- namely breathing modes -- qualitatively similar to those recently observed in the extended Solar neighbourhood. We show that these analytically predicted mean stellar motions are in agreement with the outcome of test-particle simulations. Moreover, we estimate for the first time the reduction factor for the vertical bulk motions of a stellar population compared to the case of a cold fluid. Such an explicit expression for the full perturbed DF of a thin disc stellar population in the presence of spiral arms will be helpful in order to dynamically interpret the detailed information on the Milky Way disc stellar kinematics that will be provided by upcoming large astrometric and spectroscopic surveys of the Galaxy.


title: Outflows and complex stellar kinematics in SDSS star forming galaxies

abstract: We investigate the properties of star formation-driven outflows by using a large spectroscopic sample of ~160,000 local "normal" star forming galaxies, drawn from the SDSS, spanning a wide range of star formation rates and stellar masses. The galaxy sample is divided into a fine grid of bins in the M_*-SFR parameter space, for each of which we produce a composite spectrum by stacking together the SDSS spectra of the galaxies contained in that bin. We exploit the high signal-to-noise of the stacked spectra to study the emergence of faint features of optical emission lines that may trace galactic outflows and would otherwise be too faint to detect in individual galaxy spectra. We adopt a novel approach that relies on the comparison between the line-of-sight velocity distribution (LoSVD) of the ionised gas (as traced by the [OIII]5007 and Halpha+[NII]6548,6583 emission lines) and the LoSVD of the stars, which are used as a reference tracing virial motions. Significant deviations of the gas kinematics from the stellar kinematics in the high velocity tail of the LoSVDs are interpreted as a signature of outflows. Our results suggest that the incidence of ionised outflows increases with SFR and sSFR. The outflow velocity (v_out) correlates tightly with the SFR for SFR>1 M_Sun/yr, whereas at lower SFRs the dependence of v_out on SFR is nearly flat. The outflow velocity, although with a much larger scatter, increases also with the stellar velocity dispersion, and we infer velocities as high as v_out~(6-8)*sigma_stars. Strikingly, we detect the signature of ionised outflows only in galaxies located above the main sequence (MS) of star forming galaxies in the M_*-SFR diagram, and the incidence of such outflows increases sharply with the offset from the MS. Our complementary analysis of the stellar kinematics reveals the presence of blue asymmetries of a few 10 km/s in the stellar LoSVDs. [abridged]


title: A note on the Ricci scalar of six dimensional manifold with SU(2) structure

abstract: Taking [math/0606786] as an inspiration, we study the intrinsic torsion of a SU(2) structure manifold in six dimensions to give a formula for the Ricci scalar in terms of torsion classes. The derivation is founded on the SU(3) result coming from the aforementioned paper.


title: The Radial and Rotational Velocities of PSO J318.5338$-$22.8603, a Newly Confirmed Planetary-Mass Member of the $\beta$ Pictoris Moving Group

abstract: PSO J318.5338$-$22.8603 is an extremely-red planetary-mass object that has been identified as a candidate member of the $\beta$ Pictoris moving group based on its spatial position and tangential velocity. We present a high resolution $K$-band spectrum of PSO J318.5338$-$22.8603. Using a forward-modeling Markov Chain Monte Carlo approach, we report the first measurement of the radial velocity and $v$ sin($i$) of PSO J318.5$-$22, $-$6.0$^{+0.8}_{-1.1}$ km s$^{-1}$ and 17.5$^{+2.3}_{-2.8}$ km s$^{-1}$, respectively. We calculate the space velocity and position of PSO J318.5$-$22 and confirm that it is a member of the $\beta$ Pictoris moving group. Adopting an age of 23$\pm$3 Myr for PSO J318.5$-$22, we determine a mass of $8.3\pm0.5$ $M_{\rm{Jup}}$ and effective temperature of $1127^{+24}_{-26}$ K using evolutionary models. PSO J318.5338$-$22.8603 is intermediate in mass and temperature to the directly-imaged planets $\beta$ Pictoris b and 51 Eridani b, making it an important benchmark object in the sequence of planetary-mass members of the $\beta$ Pictoris moving group. Combining our $v$ sin($i$) measurement with recent photometric variability data, we constrain the inclination of PSO J318.5$-$22 to $>29^{\circ}$ and its rotational period to 5-10.2 hours. The equatorial velocity of PSO J318.5$-$22 indicates that its rotation is consistent with an extrapolation of the velocity-mass relationship for solar system planets.


title: Relic density of wino-like dark matter in the MSSM

abstract: The relic density of TeV-scale wino-like neutralino dark matter in the MSSM is subject to potentially large corrections as a result of the Sommerfeld effect. A recently developed framework enables us to calculate the Sommerfeld-enhanced relic density in general MSSM scenarios, properly treating mixed states and multiple co-annihilating channels as well as including off-diagonal contributions. Using this framework, including on-shell one-loop mass splittings and running couplings and taking into account the latest experimental constraints, we perform a thorough study of the regions of parameter space surrounding the well known pure-wino scenario: namely the effect of sfermion masses being non-decoupled and of allowing non-negligible Higgsino or bino components in the lightest neutralino. We further perform an investigation into the effect of thermal corrections and show that these can safely be neglected. The results reveal a number of phenomenologically interesting but so far unexplored regions where the Sommerfeld effect is sizeable. We find, in particular, that the relic density can agree with experiment for dominantly wino neutralino dark matter with masses ranging from 1.7 to beyond 4 TeV. In light of these results the bounds from Indirect Detection on wino-like dark matter should be revisited.


title: Optical tracking of deep-space spacecraft in Halo L2 orbits and beyond: the Gaia mission as a pilot case

abstract: We tackle the problem of accurate optical tracking of distant man-made probes, on Halo orbit around the Earth-Sun libration point L2 and beyond, along interplanetary transfers. The improved performance of on-target tracking, especially when observing with small-class telescopes is assessed providing a general estimate of the expected S/N ratio in spacecraft detection. The on-going Gaia mission is taken as a pilot case for our analysis, reporting on fresh literature and original optical photometry and astrometric results. The probe has been located, along its projected nominal path, within 0.13 +/- 0.09 arcsec, or 0.9 +/- 0.6 km. Spacecraft color appears to be red, with (V-R_c) = 1.1 +/- 0.2 and a bolometric correction to the R_c band of (Bol-R_c) = -1.1 +/- 0.2. The apparent magnitude, R_c = 20.8 +/- 0.2, is much fainter than originally expected. These features lead to suggest a lower limit for the Bond albedo a = 0.11 +/- 0.05 and confirm that incident Sun light is strongly reddened by Gaia through its on-board MLI blankets covering the solar shield. Relying on the Gaia figures, we found that VLT-class telescopes could yet be able to probe distant spacecraft heading Mars, up to 30 million km away, while a broader optical coverage of the forthcoming missions to Venus and Mars could be envisaged, providing to deal with space vehicles of minimum effective area Aeff >= 10^6 cm^2. In addition to L2 surveys, 2m-class telescopes could also effectively flank standard radar-ranging techniques in deep-space probe tracking along Earth's gravity-assist maneuvers for interplanetary missions.


title: Partition Functions with spin in AdS_2 via Quasinormal Mode Methods

abstract: We extend the results of arXiv:1401.7016, computing one loop partition functions for massive fields with spin half in AdS_2 using the quasinormal mode method proposed by Denef, Hartnoll, and Sachdev in arXiv:0908.2657. We find the finite representations of SO(2,1) for spin zero and spin half, consisting of a highest weight state |h\rangle and descendants with non-unitary values of h. These finite representations capture the poles and zeroes of the one loop determinants. Together with the asymptotic behavior of the partition functions (which can be easily computed using a large mass heat kernel expansion), these are sufficient to determine the full answer for the one loop determinants. We also discuss extensions to higher dimensional AdS_{2n} and higher spins.


title: Simulation of anyonic statistics and its topological path independence using a 7-qubit quantum simulator

abstract: Anyons, quasiparticles living in two-dimensional spaces with exotic exchange statistics, can serve as the fundamental units for fault-tolerant quantum computation. However, experimentally demonstrating anyonic statistics is a challenge due to the technical limitations of current experimental platforms. Here, we take a state perpetration approach to mimic anyons in the Kitaev lattice model using a 7-qubit nuclear magnetic resonance quantum simulator. Anyons are created by dynamically preparing the ground and excited states of the 7-qubit Kitaev lattice model, and are subsequently braided along two distinct, but topologically equivalent, paths. We observe that the phase acquired by the anyons is independent of the path, and coincides with the ideal theoretical predictions when decoherence and implementation errors are taken into account. As the first demonstration of the topological path independence of anyons, our experiment helps to study and exploit the anyonic properties towards the goal of building a topological quantum computer.


title: Entangled Terahertz Photon Emission from Topological Insulator Quantum Dots

abstract: We propose an experimentally feasible scheme for generating entangled terahertz photon pairs in topological insulator quantum dots (TIQDs). We demonstrate theoretically that in generic TIQDs: 1) the fine structure splitting, which is the obstacle to produce entangled photons in conventional semiconductor quantum dots, is inherently absent for one-dimensional massless excitons due to the time-reversal symmetry; 2) the selection rules obey winding number conservation instead of the conventional angular momentum conservation between edge states with a linear dispersion. With these two advantages, the entanglement of the emitted photons during the cascade in our scheme is robust against unavoidable disorders and irregular shapes of the TIQDs.


title: Super-GCA from $\mathcal{N} = (2,2)$ Super-Virasoro

abstract: We derive the extended Supersymmetric Galilean Conformal Algebra (SGCA) in two spacetime dimensions by the method of group contraction on $2d$ $\mathcal{N}=(2,2)$ superconformal algebra. Both the parent and daughter algebras are infinite-dimensional. We provide the representation theory of the algebra. We adopt a superspace formalism for the SGCA fields, allowing us to write them down in a compact notation as components of superfields. We also discuss correlation functions, short supermultiplets and null states.

categories: hep-th cond-mat.stat-mech math-ph math.MP


title: Interference Alignment in MIMO Interference Channels using SDP Relaxation

abstract: Nowadays, providing higher data rate is a momentous goal for wireless communications systems. Interference is one of the important obstacles to reach this purpose. Interference alignment is a management technique that align interference from other transmitters in the least possible dimension subspace at each receiver and as a result, provide the remaining dimensions for free interference signal. An uncoordinated interference is an example of interference which cannot be aligned coordinately with interference from coordinated part and consequently, the performance of interference alignment approaches is degraded. In this paper, we propose two rank minimization methods to enhance the performance of interference alignment in the presence of uncoordinated interference sources. Firstly, a new objective function is chosen then, a new class of convex relaxation is proposed with respect to the uncoordinated interference which leads to decrease the optimal value of our optimization problem. Moreover, we use schatten-p-norm as surrogate of rank function and we implement iteratively reweighted algorithm to solve optimization problem. In addition, we apply our proposed methods to mitigate interference in relay-aided MIMO interference channel, and propose a weighted-sum method to improve the performance of interference alignment in the amplify-and-forward relay-aided MIMO system based on the rank minimization approach. Finally, our simulation results show that our proposed methods can obtain considerably higher multiplexing gain and sum rate than other approaches in the interference alignment framework and the performance of interference alignment is improved.


title: The impact of baryons on the direct detection of dark matter

abstract: The spatial and velocity distributions of dark matter particles in the Milky Way Halo affect the signals expected to be observed in searches for dark matter. Results from direct detection experiments are often analyzed assuming a simple isothermal distribution of dark matter, the Standard Halo Model (SHM). Yet there has been skepticism regarding the validity of this simple model due to the complicated gravitational collapse and merger history of actual galaxies. In this paper we compare the SHM to the results of cosmological hydrodynamical simulations of galaxy formation to investigate whether or not the SHM is a good representation of the true WIMP distribution in the analysis of direct detection data. We examine two Milky Way-like galaxies from the MaGICC cosmological simulations (a) with dark matter only and (b) with baryonic physics included. The inclusion of baryons drives the shape of the DM halo to become more spherical and makes the velocity distribution of dark matter particles less anisotropic especially at large heliocentric velocities, thereby making the SHM a better fit. We also note that we do not find a significant disk-like rotating dark matter component in either of the two galaxy halos with baryons that we examine, suggesting that dark disks are not a generic prediction of cosmological hydrodynamical simulations. We conclude that in the Solar neighborhood, the SHM is in fact a good approximation to the true dark matter distribution in these cosmological simulations (with baryons) which are reasonable representations of the Milky Way, and hence can also be used for the purpose of dark matter direct detection calculations.


title: Wilson Loop Area Law for 2D Yang-Mills in Generalized Axial Gauge

abstract: We prove that Wilson loop expectation values for arbitrary simple closed contours obey an area law up to second order in perturbative two-dimensional Yang-Mills theory. Our analysis occurs within a general family of axial-like gauges, which include and interpolate between holomorphic gauge and the Wu-Mandelstam-Liebrandt light cone gauge. Our methods make use of the homotopy invariance properties of iterated integrals of closed one-forms, which allows us to evaluate the nontrivial integrals occurring at second order. We close with a discussion on complex gauge-fixing and deformation of integration cycles for holomorphic path integrals to shed light on some of the quantum field-theoretic underpinnings of our results.


title: Observational calibration of the projection factor of Cepheids. II. Application to nine Cepheids with HST/FGS parallax measurements

abstract: The distance to pulsating stars is classically estimated using the parallax-of-pulsation (PoP) method, which combines spectroscopic radial velocity measurements and angular diameter estimates to derive the distance of the star. An important application of this method is the determination of Cepheid distances, in view of the calibration of their distance scale. However, the conversion of radial to pulsational velocities in the PoP method relies on a poorly calibrated parameter, the projection factor (p-factor). We aim to measure empirically the value of the p-factors of a homogeneous sample of nine Galactic Cepheids for which trigonometric parallaxes were measured with the Hubble Space Telescope Fine Guidance Sensor. We use the SPIPS algorithm, a robust implementation of the PoP method that combines photometry, interferometry, and radial velocity measurements in a global modeling of the pulsation. We obtained new interferometric angular diameters using the PIONIER instrument at the Very Large Telescope Interferometer, completed by data from the literature. Using the known distance as an input, we derive the value of the p-factor and study its dependence with the pulsation period. We find the following p-factors: 1.20 $\pm$ 0.12 for RT Aur, 1.48 $\pm$ 0.18 for T Vul, 1.14 $\pm$ 0.10 for FF Aql, 1.31 $\pm$ 0.19 for Y Sgr, 1.39 $\pm$ 0.09 for X Sgr, 1.35 $\pm$ 0.13 for W Sgr, 1.36 $\pm$ 0.08 for $\beta$ Dor, 1.41 $\pm$ 0.10 for $\zeta$ Gem, and 1.23 $\pm$ 0.12 for $\ell$ Car. These values are consistently close to p = 1.324 $\pm$ 0.024. We observe some dispersion around this average value, but the observed distribution is statistically consistent with a constant value of the p-factor as a function of the pulsation period. The error budget of our determination of the p-factor values is presently dominated by the uncertainty on the parallax, a limitation that will soon be waived by Gaia.


title: Superradiance at the localization-delocalization crossover in tubular chlorosomes

abstract: We study the effect of disorder on spectral properties of tubular chlorosomes in green sulfur bacteria Cf. aurantiacus. Employing a Frenkel-exciton Hamiltonian with diagonal and off-diagonal disorder consistent with spectral and structural studies, we analyze excitonic localization and spectral statistics of the chlorosomes. A size-dependent localization-delocalization crossover is found to occur as a function of the excitonic energy. The crossover energy region coincides with the more optically active states with maximized superradiance, and is, consequently, more conducive for energy transfer.


title: Ultra-narrow Negative Flare Front Observed in Helium-10830~\AA\ using the 1.6 m New Solar Telescope

abstract: Solar flares are sudden flashes of brightness on the Sun and are often associated with coronal mass ejections and solar energetic particles which have adverse effects in the near Earth environment. By definition, flares are usually referred to bright features resulting from excess emission. Using the newly commissioned 1.6~m New Solar Telescope at Big Bear Solar Observatory, here we show a striking "negative" flare with a narrow, but unambiguous "dark" moving front observed in He I 10830 \AA, which is as narrow as 340 km and is associated with distinct spectral characteristics in H-alpha and Mg II lines. Theoretically, such negative contrast in He I 10830 \AA\ can be produced under special circumstances, by nonthermal-electron collisions, or photoionization followed by recombination. Our discovery, made possible due to unprecedented spatial resolution, confirms the presence of the required plasma conditions and provides unique information in understanding the energy release and radiative transfer in astronomical objects.


title: Characterizing climate predictability and model response variability from multiple initial condition and multi-model ensembles

abstract: Climate models are thought to solve boundary value problems unlike numerical weather prediction, which is an initial value problem. However, climate internal variability (CIV) is thought to be relatively important at near-term (0-30 year) prediction horizons, especially at higher resolutions. The recent availability of significant numbers of multi-model (MME) and multi-initial condition (MICE) ensembles allows for the first time a direct sensitivity analysis of CIV versus model response variability (MRV). Understanding the relative agreement and variability of MME and MICE ensembles for multiple regions, resolutions, and projection horizons is critical for focusing model improvements, diagnostics, and prognosis, as well as impacts, adaptation, and vulnerability studies. Here we find that CIV (MICE agreement) is lower (higher) than MRV (MME agreement) across all spatial resolutions and projection time horizons for both temperature and precipitation. However, CIV dominates MRV over higher latitudes generally and in specific regions. Furthermore, CIV is considerably larger than MRV for precipitation compared to temperature across all horizontal and projection scales and seasons. Precipitation exhibits larger uncertainties, sharper decay of MICE agreement compared to MME, and relatively greater dominance of CIV over MRV at higher latitudes. The findings are crucial for climate predictability and adaptation strategies at stakeholder-relevant scales.


title: Schur properties of convolutions of gamma random variables

abstract: Sufficient conditions for comparing the convolutions of heterogeneous gamma random variables in terms of the usual stochastic order are established. Such comparisons are characterized by the Schur convexity properties of the cumulative distribution function of the convolutions. Some examples of the practical applications of our results are given.


title: Thermodynamics and gauge/gravity duality for Lifshitz black holes in the presence of exponential electrodynamics

abstract: In this paper, we construct a new class of topological black hole Lifshitz solutions in the presence of nonlinear exponential electrodynamics for Einstein-dilaton gravity. We show that the reality of Lifshitz supporting Maxwell matter fields exclude the negative horizon curvature solutions except for the asymptotic AdS case. Calculating the conserved and thermodynamical quantities, we obtain a Smarr type formula for the mass and confirm that thermodynamics first law is satisfied on the black hole horizon. Afterward, we study the thermal stability of our solutions and figure out the effects of different parameters on the stability of solutions under thermal perturbations. Next, we apply the gauge/gravity duality in order to calculate the ratio of shear viscosity to entropy for a three-dimensional hydrodynamic system by using the pole method. Furthermore, we study the behavior of holographic conductivity for two-dimensional systems such as graphene. We consider linear Maxwell and nonlinear exponential electrodynamics separately and disclose the effect of nonlinearity on holographic conductivity. We indicate that holographic conductivity vanishes for $z>3$ in the case of nonlinear electrodynamics while it does not in the linear Maxwell case. Finally, we solve perturbative additional field equations numerically and plot the behaviors of real and imaginary parts of conductivity for asymptotic AdS and Lifshitz cases. We present experimental results match with our numerical ones.


title: Coupled-mode theory for electromagnetic pulse propagation in dispersive media undergoing a spatio-temporal perturbation - exact derivation, numerical validation and peculiar wave mixing

abstract: We present an extension of the canonical coupled mode theory of electromagnetic waves to the case of pulses and spatio-temporal perturbations in complex media. Unlike previous attempts to derive such a model, our approach involves no approximation, and does not impose any restriction on the spatio-temporal profile. Moreover, the effect of modal dispersion on mode evolution and on the coupling to other modes is fully taken into account. Thus, our approach can yield any required accuracy by retaining as many terms in the expansion as needed. It also avoids various artifacts of previous derivations by introducing the correct form of the solution. We then provide what is, to the best of our knowledge, the first ever validation of the coupled mode equations with exact numerical simulations, and demonstrate the wide range of possibilities enabled by spatio-temporal perturbations of pulses, including pulse shortening or broadening or more complex shaping. Our formulation is valid across the electromagnetic spectrum, and can be applied directly also to other wave systems.


title: The challenge and promise of software citation for credit, identification, discovery, and reuse

abstract: In this article, we present the challenge of software citation as a method to ensure credit for and identification, discovery, and reuse of software in scientific and engineering research. We discuss related work and key challenges/research directions, including suggestions for metadata necessary for software citation.


title: Normal modes. The true story

abstract: The aim of this article is a comprehensive description of normal modes of molecular vibrations. The starting point is chosen to be a general molecular system with separated center of mass and an arbitrary embedding of body-fixed axes. This allows to focus on internal degrees of freedom only, leaving the problem of rotational motion behind. Nevertheless, for the sake of completeness we first introduce a general quantum-mechanical Hamiltonian in Eckart-Watson representation, to make a quick leap into a simplified harmonic description for internal motion and rigid rotor for rotational degrees of freedom. This regime constitutes a basis for more sophisticated calculations.


title: A Consistent Direct Method for Estimating Parameters in Ordinary Differential Equations Models

abstract: Ordinary differential equations provide an attractive framework for modeling temporal dynamics in a variety of scientific settings. We show how consistent estimation for parameters in ODE models can be obtained by modifying a direct (non-iterative) least squares method similar to the direct methods originally developed by Himmelbau, Jones and Bischoff. Our method is called the bias-corrected least squares (BCLS) method since it is a modification of least squares methods known to be biased. Consistency of the BCLS method is established and simulations are used to compare the BCLS method to other methods for parameter estimation in ODE models.


title: Sub-Sampled Newton Methods I: Globally Convergent Algorithms

abstract: Large scale optimization problems are ubiquitous in machine learning and data analysis and there is a plethora of algorithms for solving such problems. Many of these algorithms employ sub-sampling, as a way to either speed up the computations and/or to implicitly implement a form of statistical regularization. In this paper, we consider second-order iterative optimization algorithms and we provide bounds on the convergence of the variants of Newton's method that incorporate uniform sub-sampling as a means to estimate the gradient and/or Hessian. Our bounds are non-asymptotic and quantitative. Our algorithms are global and are guaranteed to converge from any initial iterate. Using random matrix concentration inequalities, one can sub-sample the Hessian to preserve the curvature information. Our first algorithm incorporates Hessian sub-sampling while using the full gradient. We also give additional convergence results for when the sub-sampled Hessian is regularized by modifying its spectrum or ridge-type regularization. Next, in addition to Hessian sub-sampling, we also consider sub-sampling the gradient as a way to further reduce the computational complexity per iteration. We use approximate matrix multiplication results from randomized numerical linear algebra to obtain the proper sampling strategy. In all these algorithms, computing the update boils down to solving a large scale linear system, which can be computationally expensive. As a remedy, for all of our algorithms, we also give global convergence results for the case of inexact updates where such linear system is solved only approximately. This paper has a more advanced companion paper, [42], in which we demonstrate that, by doing a finer-grained analysis, we can get problem-independent bounds for local convergence of these algorithms and explore trade-offs to improve upon the basic results of the present paper.


title: Sub-Sampled Newton Methods II: Local Convergence Rates

abstract: Many data-fitting applications require the solution of an optimization problem involving a sum of large number of functions of high dimensional parameter. Here, we consider the problem of minimizing a sum of $n$ functions over a convex constraint set $\mathcal{X} \subseteq \mathbb{R}^{p}$ where both $n$ and $p$ are large. In such problems, sub-sampling as a way to reduce $n$ can offer great amount of computational efficiency. Within the context of second order methods, we first give quantitative local convergence results for variants of Newton's method where the Hessian is uniformly sub-sampled. Using random matrix concentration inequalities, one can sub-sample in a way that the curvature information is preserved. Using such sub-sampling strategy, we establish locally Q-linear and Q-superlinear convergence rates. We also give additional convergence results for when the sub-sampled Hessian is regularized by modifying its spectrum or Levenberg-type regularization. Finally, in addition to Hessian sub-sampling, we consider sub-sampling the gradient as way to further reduce the computational complexity per iteration. We use approximate matrix multiplication results from randomized numerical linear algebra (RandNLA) to obtain the proper sampling strategy and we establish locally R-linear convergence rates. In such a setting, we also show that a very aggressive sample size increase results in a R-superlinearly convergent algorithm. While the sample size depends on the condition number of the problem, our convergence rates are problem-independent, i.e., they do not depend on the quantities related to the problem. Hence, our analysis here can be used to complement the results of our basic framework from the companion paper, [38], by exploring algorithmic trade-offs that are important in practice.


title: Emergence of Balance from a model of Social Dynamics

abstract: We propose a model for social dynamics on a network. In this model each actor holds a position on some issue, actors and their opinions being associated to vertices of the graph, and, additionally, the actors hold opinions of one another, with these opinions being associated to edges in the graph. These quantities are allowed to evolve according to the gradient flow of a natural free energy. We show that for a small spread in opinions the model converges to a consensus state, where all actors hold the same position. For a larger spread in opinion there is a phase transition marked by the birth of a second stable state: in addition to the consensus state there is a second polarized or partisan state. This state, when it exists, is conjectured to be global energy minimizer, with the consensus state being a local energy minimizer. We derive an energy inequality which supports this. Interestingly, all of the steady states we find, with the exception of the consensus state, are either balanced (in the sense of Heider) or are completely unbalanced states where all triangles are unbalanced. The latter solutions are, not surprisingly, always unstable.


title: Crowdsourced, Actionable and Verifiable Contextual Informational Norms

abstract: There is often a fundamental mismatch between programmable privacy frameworks, on the one hand, and the ever shifting privacy expectations of computer system users, on the other hand. Based on the theory of contextual integrity (CI), our paper addresses this problem by proposing a privacy framework that translates users' privacy expectations (norms) into a set of actionable privacy rules that are rooted in the language of CI. These norms are then encoded using Datalog logic specification to develop an information system that is able to verify whether information flows are appropriate and the privacy of users thus preserved. A particular benefit of our framework is that it can automatically adapt as users' privacy expectations evolve over time. To evaluate our proposed framework, we conducted an extensive survey involving more than 450 participants and 1400 questions to derive a set of privacy norms in the educational context. Based on the crowdsourced responses, we demonstrate that our framework can derive a compact Datalog encoding of the privacy norms which can in principle be directly used for enforcing privacy of information flows within this context. In addition, our framework can automatically detect logical inconsistencies between individual users' privacy expectations and the derived privacy logic.


title: Topologically-protected metallic states induced by a one-dimensional extended defect in a 2D topological insulator

abstract: We report ab initio calculations showing that a single one-dimensional extended defect can originate topologically-protected metallic states in the bulk of two-dimensional topological insulators. We find that a narrow extended defect composed of periodic units consisting of one octogonal and two pentagonal rings embedded in the hexagonal bulk of a bismuth bilayer introduces two pairs of one-dimensional Dirac-fermion states with opposite spin-momentum locking. Although both Dirac pairs are localized along the extended-defect core, their interactions are screened due to the trivial topological nature of the extended defect.

categories: cond-mat.mtrl-sci cond-mat.mes-hall cond-mat.other quant-ph


title: Evolution of coherence and non-classicality under global environmental interaction

abstract: A master equation has been constructed for a global system-bath interaction both in the absence as well as presence of non-Markovian noise. For the memoryless case, it has been exactly solved for a paradigmatic class of two qubit states in high and zero temperature thermal environment. For the non-Markovian model, it has been solved for zero temperature bath. The evolution of quantum coherence and entanglement has been observed in presence of the above mentioned interactions. We show that the global part of the system-bath interaction compensates for the decoherence, resulting in slow down of coherence and entanglement decay. For an appropriately defined limiting case, both coherence and entanglement show freezing behaviour for the high temperature bath. In case of zero temperature bath, the mentioned interaction not only stabilizes the non-classical correlations, but also enhances them for a finite period. For the memory dependent case, we have seen that the global interaction enhances the back-flow of information from environment to the system, as it enhances the regeneration of coherence and entanglement. Also we have studied the generation of Quantum Fisher information by the mentioned process. An intuitive measure of non-classicality based on non-commutativity of quantum states has been considered. Bounds on generated quantum Fisher information has been found in terms of quantumness and coherence. This gives us a novel understanding of Quantum Fisher information as a measure of non-classicality.


title: Strong ETH Breaks With Merlin and Arthur: Short Non-Interactive Proofs of Batch Evaluation

abstract: We present an efficient proof system for Multipoint Arithmetic Circuit Evaluation: for every arithmetic circuit $C(x_1,\ldots,x_n)$ of size $s$ and degree $d$ over a field ${\mathbb F}$, and any inputs $a_1,\ldots,a_K \in {\mathbb F}^n$, $\bullet$ the Prover sends the Verifier the values $C(a_1), \ldots, C(a_K) \in {\mathbb F}$ and a proof of $\tilde{O}(K \cdot d)$ length, and $\bullet$ the Verifier tosses $\textrm{poly}(\log(dK|{\mathbb F}|/\varepsilon))$ coins and can check the proof in about $\tilde{O}(K \cdot(n + d) + s)$ time, with probability of error less than $\varepsilon$. For small degree $d$, this "Merlin-Arthur" proof system (a.k.a. MA-proof system) runs in nearly-linear time, and has many applications. For example, we obtain MA-proof systems that run in $c^{n}$ time (for various $c < 2$) for the Permanent, $\#$Circuit-SAT for all sublinear-depth circuits, counting Hamiltonian cycles, and infeasibility of $0$-$1$ linear programs. In general, the value of any polynomial in Valiant's class ${\sf VP}$ can be certified faster than "exhaustive summation" over all possible assignments. These results strongly refute a Merlin-Arthur Strong ETH and Arthur-Merlin Strong ETH posed by Russell Impagliazzo and others. We also give a three-round (AMA) proof system for quantified Boolean formulas running in $2^{2n/3+o(n)}$ time, nearly-linear time MA-proof systems for counting orthogonal vectors in a collection and finding Closest Pairs in the Hamming metric, and a MA-proof system running in $n^{k/2+O(1)}$-time for counting $k$-cliques in graphs. We point to some potential future directions for refuting the Nondeterministic Strong ETH.


title: Local subsystems in gauge theory and gravity

abstract: We consider the problem of defining localized subsystems in gauge theory and gravity. Such systems are associated to spacelike hypersurfaces with boundaries and provide the natural setting for studying entanglement entropy of regions of space. We present a general formalism to associate a gauge-invariant classical phase space to a spatial slice with boundary by introducing new degrees of freedom on the boundary. In Yang-Mills theory the new degrees of freedom are a choice of gauge on the boundary, transformations of which are generated by the normal component of the nonabelian electric field. In general relativity the new degrees of freedom are the location of a codimension-2 surface and a choice of conformal normal frame. These degrees of freedom transform under a group of surface symmetries, consisting of diffeomorphisms of the codimension-2 boundary, and position-dependent linear deformations of its normal plane. We find the observables which generate these symmetries, consisting of the conformal normal metric and curvature of the normal connection. We discuss the implications for the problem of defining entanglement entropy in quantum gravity. Our work suggests that the Bekenstein-Hawking entropy may arise from the different ways of gluing together two partial Cauchy surfaces at a cross-section of the horizon.


title: A Theoretical Analysis of Two-Stage Recommendation for Cold-Start Collaborative Filtering

abstract: In this paper, we present a theoretical framework for tackling the cold-start collaborative filtering problem, where unknown targets (items or users) keep coming to the system, and there is a limited number of resources (users or items) that can be allocated and related to them. The solution requires a trade-off between exploitation and exploration as with the limited recommendation opportunities, we need to, on one hand, allocate the most relevant resources right away, but, on the other hand, it is also necessary to allocate resources that are useful for learning the target's properties in order to recommend more relevant ones in the future. In this paper, we study a simple two-stage recommendation combining a sequential and a batch solution together. We first model the problem with the partially observable Markov decision process (POMDP) and provide an exact solution. Then, through an in-depth analysis over the POMDP value iteration solution, we identify that an exact solution can be abstracted as selecting resources that are not only highly relevant to the target according to the initial-stage information, but also highly correlated, either positively or negatively, with other potential resources for the next stage. With this finding, we propose an approximate solution to ease the intractability of the exact solution. Our initial results on synthetic data and the Movie Lens 100K dataset confirm the performance gains of our theoretical development and analysis.


title: Scalable Constrained Clustering: A Generalized Spectral Method

abstract: We present a simple spectral approach to the well-studied constrained clustering problem. It captures constrained clustering as a generalized eigenvalue problem with graph Laplacians. The algorithm works in nearly-linear time and provides concrete guarantees for the quality of the clusters, at least for the case of 2-way partitioning. In practice this translates to a very fast implementation that consistently outperforms existing spectral approaches both in speed and quality.


title: NEUTRINOS: Mysterious Particles with Fascinating Features, which led to the Physics Nobel Prize 2015

abstract: The most abundant particles in the Universe are photons and neutrinos. Both types of particles are whirling around everywhere, since the early Universe. Hence the neutrinos are all around us, and permanently pass through our planet and our bodies, but we do not notice: they are extremely elusive. They were suggested as a theoretical hypothesis in 1930, and discovered experimentally in 1956. Ever since their properties keep on surprising us; for instance, they are key players in the violation of parity symmetry. In the Standard Model of particle physics they appear in three types, known as "flavors", and since 1998/9 we know that they keep on transmuting among these flavors. This "neutrino oscillation" implies that they are massive, contrary to the previous picture, with far-reaching consequences. This discovery was awarded the Physics Nobel Prize 2015.


title: Light-effect transistor (LET) with multiple independent gating controls for optical logic gates and optical amplification

abstract: Modern electronics are developing electronic-optical integrated circuits, while their electronic backbone, e.g. field-effect transistors (FETs), remains the same. However, further FET down scaling is facing physical and technical challenges. A light-effect transistor (LET) offers electronic-optical hybridization at the component level, which can continue Moore's law to the quantum region without requiring a FET's fabrication complexity, e.g. a physical gate and doping, by employing optical gating and photoconductivity. Multiple independent gates are therefore readily realized to achieve unique functionalities without increasing chip space. Here we report LET device characteristics and novel digital and analog applications, such as optical logic gates and optical amplification. Prototype CdSe-nanowire-based LETs show output and transfer characteristics resembling advanced FETs, e.g. on/off ratios up to ~1.0x10^6 with a source-drain voltage of ~1.43 V, gate-power of ~260 nW, and subthreshold swing of ~0.3 nW/decade (excluding losses). Our work offers new electronic-optical integration strategies and electronic and optical computing approaches.


title: Constrained Multi-user Multi-server Max-Min Fair Queuing

abstract: In this paper, a multi-user multi-server queuing system is studied in which each user is constrained to get service from a subset of servers. In the studied system, rate allocation in the sense of max-min fairness results in multi-level fair rates. To achieve such fair rates, we propose $CM^4FQ$ algorithm. In this algorithm users are chosen for service on a packet by packet basis. The priority of each user $i$ to be chosen at time $t$ is determined based on a parameter known as service tag (representing the amount of work counted for user $i$ till time $t$). Hence, a free server will choose to serve an eligible user with the minimum service tag. Based on such simple selection criterion, $CM^4FQ$ aims at guaranteed fair throughput for each demanding user without explicit knowledge of each server service rate. We argue that $CM^4FQ$ can be applied in a variety of practical queuing systems specially in mobile cloud computing architecture.


title: Thick Accretion Disk Model for Ultraluminous Supersoft Sources

abstract: We propose a geometrically thick, super-Eddington accretion disk model, where an optically thick wind is not necessary, to understand ultraluminous supersoft sources (ULSs). For high mass accretion rates $\dot M \ga 30\dot M_{\rm Edd}$ and not small inclination angles $\theta \ga 25^{\circ}$, where $\dot M_{\rm Edd}$ is the Eddington accretion rate, the hard photons from the hot inner region may be shaded by the geometrically thick inner disk, and therefore only the soft photons from the outer thin disk and the outer photosphere of the thick disk can reach the observer. Our model can naturally explain the approximate relation between the typical thermal radius and the thermal temperature, $R_{\rm bb} \propto T_{\rm bb}^{-2}$. Moreover, the thick disk model can unify ULSs and normal ultraluminous X-ray sources, where the different observational characteristics are probably related to the inclination angle and the mass accretion rate. By comparing our model with the optically thick outflow model, we find that less mass accretion rate is required in our model.