title: Maximizing a psychological uplift in love dynamics

abstract: In this paper, we investigate the dynamical properties of a psychological uplift in lovers. We first evaluate extensively the dynamical equations which were recently given by Rinaldi et. al., Physica A 392, pp.3231-3239 (2013). Then, the dependences of the equations on several parameters are numerically examined. From the view point of lasting partnership for lovers, especially, for married couples, one should optimize the parameters appearing in the dynamical equations to maintain the love for their respective partners. To achieve this optimization, we propose a new idea where the parameters are stochastic variables and the parameters in the next time step are given as expectations over a Boltzmann-Gibbs distribution at a finite temperature. This idea is very general and might be applicable to other models dealing with human relationships.


title: e-Installation: Synesthetic Documentation of Media Art via Telepresence Technologies

abstract: In this paper, a new synesthetic documentation method that contributes to media art conservation is presented. This new method is called e-Installation in analogy to the idea of the e-Book as the electronic version of a real book. An e-Installation is a virtualized media artwork that reproduces all synesthesia, interaction, and meaning levels of the artwork. Advanced 3D modeling and telepresence technologies with a very high level of immersion allow the virtual re-enactment of works of media art that are no longer performable or rarely exhibited. The virtual re-enactment of a media artwork can be designed with a scalable level of complexity depending on whether it addresses professionals such as curators, art restorers, and art theorists or the general public. An e-Installation is independent from the artwork's physical location and can be accessed via head-mounted display or similar data goggles, computer browser, or even mobile devices. In combination with informational and preventive conservation measures, the e-Installation offers an intermediate and long-term solution to archive, disseminate, and pass down the milestones of media art history as a synesthetic documentation when the original work can no longer be repaired or exhibited in its full function.


title: Lighthouse: A User-Centered Web Service for Linear Algebra Software

abstract: Various fields of science and engineering rely on linear algebra for large scale data analysis, modeling and simulation, machine learning, and other applied problems. Linear algebra computations often dominate the execution time of such applications. Meanwhile, experts in these domains typically lack the training or time required to develop efficient, high-performance implementations of linear algebra algorithms. In the Lighthouse project, we enable developers with varied backgrounds to readily discover and effectively apply the best available numerical software for their problems. We have developed a search-based expert system that combines expert knowledge, machine learningbased classification of existing numerical software collections, and automated code generation and optimization. Lighthouse provides a novel software engineering environment aimed at maximizing both developer productivity and application performance for dense and sparse linear algebra computations.


title: Constructing categories and setoids of setoids in type theory

abstract: In this paper we consider the problem of building rich categories of setoids, in standard intensional Martin-L\"of type theory (MLTT), and in particular how to handle the problem of equality on objects in this context. Any (proof-irrelevant) family F of setoids over a setoid A gives rise to a category C(A, F) of setoids with objects A. We may regard the family F as a setoid of setoids, and a crucial issue in this article is to construct rich or large enough such families. Depending on closure conditions of F, the category C(A, F) has corresponding categorical constructions. We exemplify this with finite limits. A very large family F may be obtained from Aczel's model construction of CZF in type theory. It is proved that the category so obtained is isomorphic to the internal category of sets in this model. Set theory can thus establish (categorical) properties of C(A, F) which may be used in type theory. We also show that Aczel's model construction may be extended to include the elements of any setoid as atoms or urelements. As a byproduct we obtain a natural extension of CZF, adding atoms. This extension, CZFU, is validated by the extended model. The main theorems of the paper have been checked in the proof assistant Coq which is based on MLTT. A possible application of this development is to integrate set-theoretic and type-theoretic reasoning in proof assistants.


title: Kinetic Exchange Models in Economics and Sociology

abstract: In this article, we briefly review the different aspects and applications of kinetic exchange models in economics and sociology. Our main aim is to show in what manner the kinetic exchange models for closed economic systems were inspired by the kinetic theory of gas molecules. The simple yet powerful framework of kinetic theory, first proposed in 1738, led to the successful development of statistical physics of gases towards the end of the 19th century. This framework was successfully adapted to modeling of wealth distributions in the early 2000's. In later times, it was applied to other areas like firm dynamics and opinion formation in the society, as well. We have tried to present the flavour of the several models proposed and their applications, intentionally leaving out the intricate mathematical and technical details.


title: Electromagnetic annihilation into charged leptons and scattering off nucleons of spin-3/2 Majorana particles

abstract: We compute the cross section for the electromagnetic annihilation into charged leptons, and the electromagnetic scattering off nucleons, of spin-3/2 self-conjugate (Majorana) particles using the general form of the electromagnetic vertex function that was obtained previously for such particles. In addition to the restrictions imposed by common principles such as electromagnetic gauge invariance and hermiticity, the vertex function incorporates the restriction due to the Majorana condition as well as the particular properties related to the spinors in the Rarita-Schwinger representation, and is the counterpart of the so-called anapole interaction of spin-1/2 Majorana particles. The formulas obtained for the cross sections share certain similarities with the corresponding results in the spin-1/2 case, but they also reveal some important differences which are pointed out and discussed. The results given here can be useful for applications involving the electromagnetic interactions of spin-3/2 or spin-1/2 Majorana particles in several contexts that have been of interest in the recent literature such as nucleosynthesis and dark matter.


title: Pinning Model with Heavy Tailed Disorder

abstract: We study the so-called pinning model, which describes the behavior of a Markov chain interacting with a distinguished state. The interaction depends on an external source of randomness, called disorder, which can attract or repel the Markov chain path. We focus on the case when the disorder is heavy-tailed, with infinite mean, while the return times of the Markov chain have a stretched-exponential distribution. We prove that the set of times at which the Markov chain visits the distinguished state, suitably rescaled, converges in distribution to a limit set, which depends only on the disorder and on the interplay of the parameters. We also show that there exists a random threshold below which the limit set is trivial. As a byproduct of our techniques, we improve and complete a result of Auffinger and Louidor on the directed polymer in a random environment with heavy tailed disorder.


abstract: We develop Bayesian nonparametric models for spatially indexed data of mixed type. Our work is motivated by challenges that occur in environmental epidemiology, where the usual presence of several confounding variables that exhibit complex interactions and high correlations makes it difficult to estimate and understand the effects of risk factors on health outcomes of interest. The modeling approach we adopt assumes that responses and confounding variables are manifestations of continuous latent variables, and uses multivariate Gaussians to jointly model these. Responses and confounding variables are not treated equally as relevant parameters of the distributions of the responses only are modeled in terms of explanatory variables or risk factors. Spatial dependence is introduced by allowing the weights of the nonparametric process priors to be location specific, obtained as probit transformations of Gaussian Markov random fields. Confounding variables and spatial configuration have a similar role in the model, in that they only influence, along with the responses, the allocation probabilities of the areas into the mixture components, thereby allowing for flexible adjustment of the effects of observed confounders, while allowing for the possibility of residual spatial structure, possibly occurring due to unmeasured or undiscovered spatially varying factors. Aspects of the model are illustrated in simulation studies and an application to a real data set.


title: Coulomb effect in Au+Au and Pb+Pb collisions as a function of collision energy

abstract: The subtle differences between positive and negative pion spectra can used be used to study the nature of the nuclear interaction region in heavy-ion collisions. Several large acceptance heavy ion experiments at facilities ranging from SIS, the AGS, the SPS, to RHIC have measured mid-rapidity $\pi^+$ and $\pi^-$ spectra for central Au+Au or Pb+Pb collisions. From these spectra one can create pion ratios as a function of $m_t-m_0$, which are used to determine the Coulomb potential, $V_C$, and the initial pion ratio, $R_i$, across a range of collision energies from 1 to 158 AGeV. The implications of the $V_C$ and $R_i$ trends with collision energy will be discussed.


title: Remark on characterization of wave front set by wave packet transform

abstract: In this paper, we give characterizations of usual wave front set and Sobolev type wave front set in terms of wave packet transform without any restriction on basic wave packet.


title: Model building for flavor changing Higgs couplings

abstract: If $t\rightarrow hq$ ($q=c,u$) or $h\rightarrow\tau\ell$ ($\ell=\mu,e$) decays are observed, it will be a clear signal of new physics. We investigate whether natural and viable flavor models can saturate the present direct upper bounds without violating the indirect constraints from low energy loop processes. We carry out our analysis in two theoretical frameworks: minimal flavor violation (MFV) and Froggatt-Nielsen symmetry (FN). The simplest models in either framework predict flavor changing couplings that are too small to be directly observed. Yet, in the MFV framework, it is possible to have lepton flavor changing Higgs couplings close to the bound if spurions related to heavy singlet neutrinos play a role. In the FN framework, it is possible to have large flavor changing couplings in both the up and the charged lepton sectors if supersymmetry plays a role.


title: Stability and Convergence of Relaxation Schemes to Hyperbolic Balance Laws via a Wave Operator

abstract: This article deals with relaxation approximations of nonlinear systems of hyperbolic balance laws. We introduce a class of relaxation schemes and establish their stability and convergence to the solution of hyperbolic balance laws before the formation of shocks, provided that we are within the framework of the compensated compactness method. Our analysis treats systems of hyperbolic balance laws with source terms satisfying a special mechanism which induces weak dissipation in the spirit of Dafermos [C.M. Dafermos J. Hyp. Diff. Equations, 3, 505-527, 2006], as well as hyperbolic balance laws with more general source terms. The rate of convergence of the relaxation system to a solution of the balance laws in the smooth regime is established. Our work follows in spirit the analysis presented in [S. Jin, X. Xin, Comm. Pure. Appl. Math. (1995), 48] and [Ch. Arvanitis, Ch. Makridakis, and A.E. Tzavaras, SIAM J. on Num. Anal. (2005), 42-4] for systems of hyperbolic conservation laws without source terms.


title: Additive group actions on affine T-varieties of complexity one in arbitrary characteristic

abstract: Let X be a normal affine T-variety of complexity at most one over a perfect field k, where T stands for the split algebraic torus. Our main result is a classification of additive group actions on X that are normalized by the T-action. This generalizes the classification given by the second author in the particular case where k is algebraically closed and of characteristic zero. With the assumption that the characteristic of k is positive, we introduce the notion of rationally homogeneous locally finite iterative higher derivations which corresponds geometrically to additive group actions on affine T-varieties normalized up to a Frobenius map. As a preliminary result, we provide a complete description of these additive group actions in the toric situation.


title: Distribution of orders in number fields

abstract: In this paper we study the distribution of orders of bounded discriminants in number fields. We give an asymptotic formula for the number of orders contained in the ring of integers of a quintic number field.


title: Constraining the double-degenerate scenario for Type Ia supernovae from merger ejected matter

abstract: We follow the mass expelled during the WD-WD merger process in a particular case of the Double-Degenerate (DD) scenario for Type Ia supernovae (SNe Ia), and find that the interaction of the SN ejecta with the resulting wind affects the early (first day) light curve in a way that may be in conflict with some SN Ia observations, if the detonation occurs shortly after the merger (i.e., $10^3~{\rm sec} \lesssim t_{\rm exp} \lesssim 1~{\rm day}$). The main source of the expelled mass is a disk-wind, or jets that are launched by the accretion disk around the more massive WD during the viscous phase of the merger. This disk-originated matter (DOM) will be shocked and heated by the SN ejecta from an explosion, leading to additional radiation in the early lightcurve. This enhanced early radiation could then be interpreted as an explosion originating from a progenitor having an inferred radius of one solar radius or more, in conflict with observations of SN 2011fe.


title: Factorization Norms and Hereditary Discrepancy

abstract: The $\gamma_2$ norm of a real $m\times n$ matrix $A$ is the minimum number $t$ such that the column vectors of $A$ are contained in a $0$-centered ellipsoid $E\subseteq\mathbb{R}^m$ which in turn is contained in the hypercube $[-t, t]^m$. We prove that this classical quantity approximates the \emph{hereditary discrepancy} $\mathrm{herdisc}\ A$ as follows: $\gamma_2(A) = {O(\log m)}\cdot \mathrm{herdisc}\ A$ and $\mathrm{herdisc}\ A = O(\sqrt{\log m}\,)\cdot\gamma_2(A) $. Since $\gamma_2$ is polynomial-time computable, this gives a polynomial-time approximation algorithm for hereditary discrepancy. Both inequalities are shown to be asymptotically tight. We then demonstrate on several examples the power of the $\gamma_2$ norm as a tool for proving lower and upper bounds in discrepancy theory. Most notably, we prove a new lower bound of $\Omega(\log^{d-1} n)$ for the \emph{$d$-dimensional Tusn\'ady problem}, asking for the combinatorial discrepancy of an $n$-point set in $\mathbb{R}^d$ with respect to axis-parallel boxes. For $d>2$, this improves the previous best lower bound, which was of order approximately $\log^{(d-1)/2}n$, and it comes close to the best known upper bound of $O(\log^{d+1/2}n)$, for which we also obtain a new, very simple proof.


title: The Mathematical Abstraction Theory, The Fundamentals for Knowledge Representation and Self-Evolving Autonomous Problem Solving Systems

abstract: The intention of the present study is to establish the mathematical fundamentals for automated problem solving essentially targeted for robotics by approaching the task universal algebraically introducing knowledge as realizations of generalized free algebra based nets, graphs with gluing forms connecting in- and out-edges to nodes. Nets are caused to undergo transformations in conceptual level by type wise differentiated intervening net rewriting systems dispersing problems to abstract parts, matching being determined by substitution relations. Achieved sets of conceptual nets constitute congruent classes. New results are obtained within construction of problem solving systems where solution algorithms are derived parallel with other candidates applied to the same net classes. By applying parallel transducer paths consisting of net rewriting systems to net classes congruent quotient algebras are established and the manifested class rewriting comprises all solution candidates whenever produced nets are in anticipated languages liable to acceptance of net automata. Furthermore new solutions will be added to the set of already known ones thus expanding the solving power in the forthcoming. Moreover special attention is set on universal abstraction, thereof generation by net block homomorphism, consequently multiple order solving systems and the overall decidability of the set of the solutions. By overlapping presentation of nets new abstraction relation among nets is formulated alongside with consequent alphabetical net block renetting system proportional to normal forms of renetting systems regarding the operational power. A new structure in self-evolving problem solving is established via saturation by groups of equivalence relations and iterative closures of generated quotient transducer algebras over the whole evolution.


title: Desarrollo de capas de AlN sobre aleaciones de aluminio como protecci\'on superficial contra la corrosi\'on y el desgaste

abstract: Aluminum and their alloys, after careful treatments, can develop excellent mechanical, tribological, electrical and chemical (high corrosion resistance) properties. However, 7000 series, with Cu in the alloy, have a poor corrosion resistance. On the other hand, aluminum nitride (AlN) has a wurtzitic phase and good thermal stability, optical, electric, piezoelectric, mechanical, tribological, and chemical properties, so the application range is huge. In this paper, AlN deposition on Al 7075 was done using the reactive magnetron sputtering technique in order to verify the aluminum nitride performance as an Al alloy protective film under wear and corrosive processes.


title: Global stability analysis using the eigenfunctions of the Koopman operator

abstract: We propose a novel operator-theoretic framework to study global stability of nonlinear systems. Based on the spectral properties of the so-called Koopman operator, our approach can be regarded as a natural extension of classic linear stability analysis to nonlinear systems. The main results establish the (necessary and sufficient) relationship between the existence of specific eigenfunctions of the Koopman operator and the global stability property of hyperbolic fixed points and limit cycles. These results are complemented with numerical methods which are used to estimate the region of attraction of the fixed point or to prove in a systematic way global stability of the attractor within a given region of the state space.


title: Gradient corrections to the exchange-correlation free energy

abstract: We develop the first order gradient correction to the exchange-correlation free energy of the homogeneous electron gas for use in finite temperature density functional calculations. Based on this we propose and implement a simple temperature dependent extension for functionals beyond the local density approximation. These finite temperature functionals show improvement over zero temperature functionals as compared to path integral Monte Carlo calculations for deuterium and perform without computational cost increase compared to zero temperature functionals and so should be used for finite temperature calculations.


title: A Population Background for Nonparametric Density-Based Clustering

abstract: Despite its popularity, it is widely recognized that the investigation of some theoretical aspects of clustering has been relatively sparse. One of the main reasons for this lack of theoretical results is surely the fact that, whereas for other statistical problems the theoretical population goal is clearly defined (as in regression or classification), for some of the clustering methodologies it is difficult to specify the population goal to which the data-based clustering algorithms should try to get close. This paper aims to provide some insight into the theoretical foundations of clustering by focusing on two main objectives: to provide an explicit formulation for the ideal population goal of the modal clustering methodology, which understands clusters as regions of high density; and to present two new loss functions, applicable in fact to any clustering methodology, to evaluate the performance of a data-based clustering algorithm with respect to the ideal population goal. In particular, it is shown that only mild conditions on a sequence of density estimators are needed to ensure that the sequence of modal clusterings that they induce is consistent.

categories: math.ST math.CA math.DG math.GT stat.ML stat.TH


title: Optimal Consumption under Habit Formation In Markets with Transaction Costs and Random Endowments

abstract: This paper studies the optimal consumption under the addictive habit formation preference in markets with transaction costs and unbounded random endowments. To model the proportional transaction costs, we adopt the Kabanov's multi-asset framework with a cash account. At the terminal time T, the investor can receive unbounded random endowments for which we propose a new definition of acceptable portfolios based on the strictly consistent price system (SCPS). We prove a type of super-hedging theorem using the acceptable portfolios which enables us to obtain the consumption budget constraint condition under market frictions. Applying the path dependence reduction and the embedding approach, we obtain the existence and uniqueness of the optimal consumption using some auxiliary processes and the duality analysis. As an application of the duality theory, the market isomorphism with special discounting factors is also discussed in the sense that the original optimal consumption with habit formation is equivalent to the standard optimal consumption problem without the habits impact, however, in a modified isomorphic market model.


title: Polar State in Freestanding Strontium Titanate Nanoparticles

abstract: Monodispersed strontium titanate nanoparticles were prepared and studied in detail. It is found that ~10 nm as-prepared stoichiometric nanoparticles are in a polar structural state (with possibly ferroelectric properties) over a broad temperature range. A tetragonal structure, with possible reduction of the electronic hybridization is found as the particle size is reduced. In the 10 nm particles, no change in the local Ti-off centering is seen between 20 and 300 K. The results indicate that nanoscale motifs of SrTiO3 may be utilized in data storage as assembled nano-particle arrays in applications where chemical stability, temperature stability and low toxicity are critical issues.


title: Conformally covariant boundary correlation functions with a quantum group

abstract: Particular boundary correlation functions of conformal field theory are needed to answer some questions related to random conformally invariant curves known as Schramm-Loewner evolutions (SLE). In this article, we introduce a correspondence and establish its fundamental properties, which are used in the companion articles [JJK16, KP16] for explicitly solving two such problems. The correspondence associates Coulomb gas type integrals to vectors in a tensor product representation of a quantum group, a q-deformation of the Lie algebra sl2. We show that desired properties of the functions are guaranteed by natural representation theoretical properties of the vectors.


title: Ontogeny of aerial righting and wing flapping in juvenile birds

abstract: Mechanisms of aerial righting in juvenile Chukar Partridge (Alectoris chukar) were studied from hatching through 14 days post hatching (dph). Asymmetric movements of the wings were used from 1 to 8 dph to effect progressively more successful righting behaviour via body roll. Following 8 dph, wing motions transitioned to bilaterally symmetric flapping that yielded aerial righting via nose down pitch, along with substantial increases in vertical force production during descent. Ontogenetically, the use of such wing motions to effect aerial righting precedes both symmetric flapping and a previously documented behaviour in chukar (i.e., wing assisted incline running) hypothesized to be relevant to incipient flight evolution in birds. These findings highlight the importance of asymmetric wing activation and controlled aerial manoeuvres during bird development, and are potentially relevant to understanding the origins of avian flight.


title: Non-Axisymmetric Flows on Hot Jupiters with Oblique Magnetic Fields

abstract: Giant planets that reside in close proximity to their host stars are subject to extreme irradiation, which gives rise to thermal ionization of trace Alkali metals in their atmospheres. On objects where the atmospheric electrical conductivity is substantial, the global circulation couples to the background magnetic field, inducing supplementary fields and altering the nature of the flow. To date, a number of authors have considered the influence of a spin-pole aligned dipole magnetic field on the dynamical state of a weakly-ionized atmosphere and found that magnetic breaking may lead to significantly slower winds than predicted within a purely hydrodynamical framework. Here, we consider the effect of a tilted dipole magnetic field on the circulation and demonstrate that in addition to regulating wind velocities, an oblique field generates stationary non-axisymmetric structures that adhere to the geometry of the magnetic pole. Using a kinematic perturbative approach, we derive a closed-form solution for the perturbed circulation and show that the fractional distortion of zonal jets scales as the product of the field obliquity and the Elsasser number. The results obtained herein suggest that on planets with oblique magnetic fields, advective shifts of dayside hotspots may have substantial latitudinal components. This prediction may be tested observationally using the eclipse mapping technique.


title: Double or Nothing: Multiplicative Incentive Mechanisms for Crowdsourcing

abstract: Crowdsourcing has gained immense popularity in machine learning applications for obtaining large amounts of labeled data. Crowdsourcing is cheap and fast, but suffers from the problem of low-quality data. To address this fundamental challenge in crowdsourcing, we propose a simple payment mechanism to incentivize workers to answer only the questions that they are sure of and skip the rest. We show that surprisingly, under a mild and natural "no-free-lunch" requirement, this mechanism is the one and only incentive-compatible payment mechanism possible. We also show that among all possible incentive-compatible mechanisms (that may or may not satisfy no-free-lunch), our mechanism makes the smallest possible payment to spammers. We further extend our results to a more general setting in which workers are required to provide a quantized confidence for each question. Interestingly, this unique mechanism takes a "multiplicative" form. The simplicity of the mechanism is an added benefit. In preliminary experiments involving over 900 worker-task pairs, we observe a significant drop in the error rates under this unique mechanism for the same or lower monetary expenditure.


title: Commuting Quantum Matrix Models

abstract: We study a quantum system of $p$ commuting matrices and find that such a quantum system requires an explicit curvature dependent potential in its Lagrangian for the system to have a finite energy ground state. In contrast it is possible to avoid such curvature dependence in the Hamiltonian. We study the eigenvalue distribution for such systems in the large matrix size limit. A critical r\^ole is played by $p=4$. For $p\ge4$ the competition between eigenvalue repulsion and the attractive potential forces the eigenvalues to form a sharp spherical shell.


title: Scattering of low-energy electrons and positrons by atomic beryllium: Ramsauer-Townsend effect

abstract: Total cross sections for the scattering of low-energy electrons and positrons by atomic beryllium in the energy range below the first inelastic thresholds are calculated. A Ramsauer-Townsend minimum is seen in the electron scattering cross sections, while no such effect is found in the case of positron scattering. A minimum total cross section of 0.016 a.u. at 0.0029 eV is observed for the electron case. In the limit of zero energy, the cross sections yield a scattering length of -0.61 a.u. for electron and +13.8 a.u. for positron scattering.


title: On optimal approximability results for computing the strong metric dimension

abstract: The strong metric dimension of a graph was first introduced by Seb\"{o} and Tannier (Mathematics of Operations Research, 29(2), 383-393, 2004) as an alternative to the (weak) metric dimension of graphs previously introduced independently by Slater (Proc. 6th Southeastern Conference on Combinatorics, Graph Theory, and Computing, 549-559, 1975) and by Harary and Melter (Ars Combinatoria, 2, 191-195, 1976), and has since been investigated in several research papers. However, the exact worst-case computational complexity of computing the strong metric dimension has remained open beyond being NP-complete. In this communication, we show that the problem of computing the strong metric dimension of a graph of $n$ nodes admits a polynomial-time $2$-approximation, admits a $O^\ast\big(2^{\,0.287\,n}\big)$-time exact computation algorithm, admits a $O\big(1.2738^k+n\,k\big)$-time exact computation algorithm if the strong metric dimension is at most $k$, does not admit a polynomial time $(2-\varepsilon)$-approximation algorithm assuming the unique games conjecture is true, does not admit a polynomial time $(10\sqrt{5}-21-\varepsilon)$-approximation algorithm assuming P$\neq$NP, does not admit a $O^\ast\big(2^{o(n)}\big)$-time exact computation algorithm assuming the exponential time hypothesis is true, and does not admit a $O^\ast\big(n^{o(k)}\big)$-time exact computation algorithm if the strong metric dimension is at most $k$ assuming the exponential time hypothesis is true.


title: State of the Art and Prospects of Structured Sensing Matrices in Compressed Sensing

abstract: Compressed sensing (CS) enables people to acquire the compressed measurements directly and recover sparse or compressible signals faithfully even when the sampling rate is much lower than the Nyquist rate. However, the pure random sensing matrices usually require huge memory for storage and high computational cost for signal reconstruction. Many structured sensing matrices have been proposed recently to simplify the sensing scheme and the hardware implementation in practice. Based on the restricted isometry property and coherence, couples of existing structured sensing matrices are reviewed in this paper, which have special structures, high recovery performance, and many advantages such as the simple construction, fast calculation and easy hardware implementation. The number of measurements and the universality of different structure matrices are compared.


title: The KM3NeT deep-sea neutrino telescope

abstract: KM3NeT is a deep-sea research infrastructure being constructed in the Mediterranean Sea. It will host the next generation Cherenkov neutrino telescope and nodes for a deep sea multidisciplinary observatory, providing oceanographers, marine biologists, and geophysicists with real time measurements. The neutrino telescope will complement IceCube in its field of view and exceed it substantially in sensitivity. Its main goal is the detection of high energy neutrinos of astrophysical origin. The detector will have a modular structure with six building blocks, each consisting of about one hundred Detection Units (DUs). Each DU will be equipped with 18 multi-PMT digital optical modules. The first phase of construction has started and shore and deep-sea infrastructures hosting the future KM3NeT detector are being prepared offshore Toulon, France and offshore Capo Passero on Sicily, Italy. The technological solutions for the neutrino detector of KM3NeT and the expected performance of the neutrino telescope are presented and discussed.


title: Bayesian priors for the eccentricity of transiting planets

abstract: Planets on eccentric orbits have a higher geometric probability of transiting their host star. By application of Bayes' theorem, we reverse this logic to show that the eccentricity distribution of transiting planets is positively biased. Adopting the flexible Beta distribution as the underlying prior for eccentricity, we derive the marginalized transit probability as well as the a-priori joint probability distribution of eccentricity and argument of periastron, given that a planet is known to transit. These results allow to demonstrate that most planet occurrence rate calculations using Kepler data have overestimated the prevalence of planets by ~10%. Indeed, the true occurrence of planets from transit surveys is fundamentally intractable without a prior assumption for the eccentricity distribution. Further more, we show that previously extracted eccentricity distributions using Kepler data are positively biased. In cases where one wishes to impose an informative eccentricity prior, we provide a recursive algorithm to apply inverse transform sampling of our joint prior probability distribution. Computer code of this algorithm, ECCSAMPLES, is provided to enable the community to sample directly from the prior.


title: The stripping of a galaxy group diving into the massive cluster A2142

abstract: Structure formation in the current Universe operates through the accretion of group-scale systems onto massive clusters. The detection and study of such accreting systems is crucial to understand the build-up of the most massive virialized structures we see today. We report the discovery with XMM-Newton of an irregular X-ray substructure in the outskirts of the massive galaxy cluster Abell 2142. The tip of the X-ray emission coincides with a concentration of galaxies. The bulk of the X-ray emission of this substructure appears to be lagging behind the galaxies and extends over a projected scale of at least 800 kpc. The temperature of the gas in this region is 1.4 keV, which is a factor of ~4 lower than the surrounding medium and is typical of the virialized plasma of a galaxy group with a mass of a few 10^13M_sun. For this reason, we interpret this structure as a galaxy group in the process of being accreted onto the main dark-matter halo. The X-ray structure trailing behind the group is due to gas stripped from its original dark-matter halo as it moves through the intracluster medium (ICM). This is the longest X-ray trail reported to date. For an infall velocity of ~1,200 km s-1 we estimate that the stripped gas has been surviving in the presence of the hot ICM for at least 600 Myr, which exceeds the Spitzer conduction timescale in the medium by a factor of >~400. Such a strong suppression of conductivity is likely related to a tangled magnetic field with small coherence length and to plasma microinstabilities. The long survival time of the low-entropy intragroup medium suggests that the infalling material can eventually settle within the core of the main cluster.


title: Acceleration-assisted entanglement harvesting and rangefinding

abstract: We study entanglement harvested from a quantum field through local interaction with Unruh-DeWitt detectors undergoing linear acceleration. The interactions allow entanglement to be swapped locally from the field to the detectors. We find an enhancement in the entanglement harvesting by two detectors with anti-parallel acceleration over those with inertial motion. This enhancement is characterized by the presence of entanglement between two detectors that would otherwise maintain a separable state in the absence of relativistic motion (with the same distance of closest approach in both cases). We also find that entanglement harvesting is degraded for two detectors undergoing parallel acceleration in the same way as for two static, comoving detectors in a de Sitter universe. This degradation is known to be different from that of two inertial detectors in a thermal bath. We comment on the physical origin of the harvested entanglement and present three methods for determining distance between two detectors using properties of the harvested entanglement. Information about the separation is stored nonlocally in the joint state of the accelerated detectors after the interaction; a single detector alone contains none. We also find an example of entanglement sudden death exhibited in parameter space.


title: A Theory of Self-Resonance After Inflation, Part 1: Adiabatic and Isocurvature Goldstone Modes

abstract: We develop a theory of self-resonance after inflation. We study a large class of models involving multiple scalar fields with an internal symmetry. For illustration, we often specialize to dimension 4 potentials, but we derive results for general potentials. This is the first part of a two part series of papers. Here in Part 1 we especially focus on the behavior of long wavelengths modes, which are found to govern most of the important physics. Since the inflaton background spontaneously breaks the time translation symmetry and the internal symmetry, we obtain Goldstone modes; these are the adiabatic and isocurvature modes. We find general conditions on the potential for when a large instability band exists for these modes at long wavelengths. For the adiabatic mode, this is determined by a sound speed derived from the time averaged potential. While for the isocurvature mode, this is determined by a speed derived from a time averaged auxiliary potential. Interestingly, we find that this instability band usually exists for one of these classes of modes, rather than both simultaneously. We focus on backgrounds that evolve radially in field space, as setup by inflation, and also mention circular orbits, as relevant to Q-balls. In Part 2 [1] we derive the central behavior from the underlying description of many particle quantum mechanics, and introduce a weak breaking of the symmetry to study corrections to particle-antiparticle production from preheating.


title: Gravity dual of spin and charge density waves

abstract: At high enough charge density, the homogeneous state of the D3-D7' model is unstable to fluctuations at nonzero momentum. We investigate the end point of this instability, finding a spatially modulated ground state, which is a charge and spin density wave. We analyze the phase structure of the model as a function of chemical potential and magnetic field and find the phase transition from the homogeneous state to be first order, with a second-order critical point at zero magnetic field.


title: A Theory of Self-Resonance After Inflation, Part 2: Quantum Mechanics and Particle-Antiparticle Asymmetry

abstract: We further develop a theory of self-resonance after inflation in a large class of models involving multiple scalar fields. We concentrate on inflaton potentials that carry an internal symmetry, but also analyze weak breaking of this symmetry. This is the second part of a two part series of papers. Here in Part 2 we develop an understanding of the resonance structure from the underlying many particle quantum mechanics. We begin by a small amplitude analysis, which obtains the central resonant wave numbers, and relate it to perturbative processes. We show that the dominant resonance structure is determined by (i) the nonrelativistic scattering of many quantum particles and (ii) the application of Bose-Einstein statistics to the adiabatic and isocurvature modes, as introduced in Part 1 [1]. Other resonance structure is understood in terms of annihilations and decays. We setup Bunch-Davies vacuum initial conditions during inflation and track the evolution of modes including Hubble expansion. In the case of a complex inflaton carrying an internal U(1) symmetry, we show that when the isocurvature instability is active, the inflaton fragments into separate regions of \phi-particles and anti-\phi-particles. We then introduce a weak breaking of the U(1) symmetry; this can lead to baryogenesis, as shown by some of us recently [2,3]. Then using our results, we compute corrections to the particle-antiparticle asymmetry from this preheating era.


title: The Role of Turbulence in Neutrino-Driven Core-Collapse Supernova Explosions

abstract: The neutrino-heated "gain layer" immediately behind the stalled shock in a core-collapse supernova is unstable to high-Reynolds-number turbulent convection. We carry out and analyze a new set of 19 high-resolution three-dimensional (3D) simulations with a three-species neutrino leakage/heating scheme and compare with spherically-symmetric (1D) and axisymmetric (2D) simulations carried out with the same methods. We study the postbounce supernova evolution in a $15$-$M_\odot$ progenitor star and vary the local neutrino heating rate, the magnitude and spatial dependence of asphericity from convective burning in the Si/O shell, and spatial resolution. Our simulations suggest that there is a direct correlation between the strength of turbulence in the gain layer and the susceptability to explosion. 2D and 3D simulations explode at much lower neutrino heating rates than 1D simulations. This is commonly explained by the fact that nonradial dynamics allows accreting material to stay longer in the gain layer. We show that this explanation is incomplete. Our results indicate that the effective turbulent ram pressure exerted on the shock plays a crucial role by allowing multi-D models to explode at a lower postshock thermal pressure and thus with less neutrino heating than 1D models. We connect the turbulent ram pressure with turbulent energy at large scales and in this way explain why 2D simulations are erroneously exploding more easily than 3D simulations.


title: Compact stars with a small electric charge: the limiting radius to mass relation and the maximum mass for incompressible matter

abstract: One of the stiffest equations of state for matter in a compact star is constant energy density and this generates the interior Schwarzschild radius to mass relation and the Misner maximum mass for relativistic compact stars. If dark matter populates the interior of stars, and this matter is supersymmetric or of some other type, some of it possessing a tiny electric charge, there is the possibility that highly compact stars can trap a small but non-negligible electric charge. In this case the radius to mass relation for such compact stars should get modifications. We use an analytical scheme to investigate the limiting radius to mass relation and the maximum mass of relativistic stars made of an incompressible fluid with a small electric charge. The investigation is carried out by using the hydrostatic equilibrium equation, i.e., the Tolman-Oppenheimer-Volkoff (TOV) equation, together with the other equations of structure, with the further hypothesis that the charge distribution is proportional to the energy density. The approach relies on Volkoff and Misner's method to solve the TOV equation. For zero charge one gets the interior Schwarzschild limit, and supposing incompressible boson or fermion matter with constituents with masses of the order of the neutron mass one gets that the maximum mass is the Misner mass. For a small electric charge, our analytical approximating scheme valid in first order in the star's electric charge, shows that the maximum mass increases relatively to the uncharged case, whereas the minimum possible radius decreases, an expected effect since the new field is repulsive aiding the pressure to sustain the star against gravitational collapse.


title: Three-dimensional black holes with conformally coupled scalar and gauge fields

abstract: We consider three-dimensional gravity with negative cosmological constant in the presence of a scalar and an Abelian gauge field. Both fields are conformally coupled to gravity, the scalar field through a nonminimal coupling with the curvature and the gauge field by means of a Lagrangian given by a power of the Maxwell one. A sixth-power self-interaction potential, which does not spoil conformal invariance is also included in the action. Using a circularly symmetric ansatz, we obtain black hole solutions dressed with the scalar and gauge fields, which are regular on and outside the event horizon. These charged hairy black holes are asymptotically anti-de Sitter spacetimes. The mass and the electric charge are computed by using the Regge-Teitelboim Hamiltonian approach. If both leading and subleading terms of the asymptotic condition of the scalar field are present, a boundary condition that functionally relates them is required for determining the mass. Since the asymptotic form of the scalar field solution is defined by two integration constants, the boundary condition may or may not respect the asymptotic conformal symmetry. An analysis of the temperature and entropy of these black holes is presented. The temperature is a monotonically increasing function of the horizon radius as expected for asymptotically anti-de Sitter black holes. However, restrictions on the parameters describing the black holes are found by requiring the entropy to be positive, which, given the nonminimal coupling considered here, does not follow the area law. Remarkably, the same conditions ensure that the conformally related solutions become black holes in the Einstein frame.


title: Stellar Spectroscopy during Exoplanet Transits: Dissecting fine structure across stellar surfaces

abstract: Differential spectroscopy during exoplanet transits permits to reconstruct spectra of small stellar surface portions that successively become hidden behind the planet. The center-to-limb behavior of stellar line shapes, asymmetries and wavelength shifts will enable detailed tests of 3-dimensional hydrodynamic models of stellar atmospheres, such that are required for any precise determination of abundances or seismic properties. Such models can now be computed for widely different stars but have been feasible to test in detail only for the Sun with its resolved surface structure. Although very high quality spectra are required, already current data permit reconstructions of line profiles in the brightest transit host stars such as HD209458 (G0 V).


title: Liverpool Telescope 2: a new robotic facility for time domain astronomy in 2020+

abstract: The robotic 2m Liverpool Telescope, based on the Canary island of La Palma, has a diverse instrument suite and a strong track record in time domain science, with highlights including early time photometry and spectra of supernovae, measurements of the polarization of gamma-ray burst afterglows, and high cadence light curves of transiting extrasolar planets. In the next decade the time domain will become an increasingly prominent part of the astronomical agenda with new facilities such as LSST, SKA, CTA and Gaia, and promised detections of astrophysical gravitational wave and neutrino sources opening new windows on the transient universe. To capitalise on this exciting new era we intend to build Liverpool Telescope 2: a new robotic facility on La Palma dedicated to time domain science. The next generation of survey facilities will discover large numbers of new transient sources, but there will be a pressing need for follow-up observations for scientific exploitation, in particular spectroscopic follow-up. Liverpool Telescope 2 will have a 4-metre aperture, enabling optical/infrared spectroscopy of faint objects. Robotic telescopes are capable of rapid reaction to unpredictable phenomena, and for fast-fading transients like gamma-ray burst afterglows. This rapid reaction enables observations which would be impossible on less agile telescopes of much larger aperture. We intend Liverpool Telescope 2 to have a world-leading response time, with the aim that we will be taking data with a few tens of seconds of receipt of a trigger from a ground- or space-based transient detection facility. We outline here our scientific goals and present the results of our preliminary optical design studies.


title: Early Emission from the Type IIn Supernova 1998S at High Resolution

abstract: The well-studied Type IIn supernova (SN) 1998S is often dubbed the prototypical SN IIn, and it provides a unique opportunity to study its progenitor star from within as the SN lights up dense circumstellar material (CSM) launched from the progenitor. Here we present a Keck HIRES spectrum of SN 1998S taken within a few days after core collapse - both the earliest high-resolution ($\Delta\lambda < 1.0\,\AA$) spectrum published of a SN IIn and the earliest published spectrum of SN 1998S. Modern SN studies achieve impressively short turn-around times between SN detection and the first observed spectrum, but high-resolution spectra of very young supernovae are rare; the unique spectrum presented here provides a useful case study for observations of other young SN systems including SN 2013cu, which displayed a remarkably similar spectrum when very young. We examine the fully resolved emission-line profiles of SN 1998S, finding evidence for extreme mass loss from the progenitor at velocities much less than those characteristic of Wolf-Rayet (WR) stars. We model our high-resolution SN 1998S spectrum using the radiative-transfer code CMFGEN and explore the composition, density, and velocity gradients within the SN system. We find a mass-loss rate of $6.0 \times 10^{-3} M_{\odot}$ per year during the $\sim$15 yr before core collapse, while other studies indicate a much lower rate at earlier times (>15yr before core collapse). A comparison with a spectrum of SN 2013cu indicates many similarities, though SN 2013cu was of Type IIb - indicating that very different supernovae can arise from progenitors with extreme mass loss in the last few years before explosion.


title: Dynamic criticality far-from-equilibrium: one-loop flow of Burgers-Kardar-Parisi-Zhang systems with broken Galilean invariance

abstract: Burgers-Kardar-Parisi-Zhang (KPZ) scaling has recently (re-) surfaced in a variety of physical contexts, ranging from anharmonic chains to quantum systems such as open superfluids, in which a variety of random forces may be encountered and/or engineered. Motivated by these developments, we here provide a generalization of the KPZ universality class to situations with long-ranged temporal correlations in the noise, which purposefully break the Galilean invariance that is central to the conventional KPZ solution. We compute the phase diagram and critical exponents of the KPZ equation with $1/f$-noise (KPZ$_{1/f}$) in spatial dimensions $1\leq d < 4$ using the dynamic renormalization group with a frequency cutoff technique in a one-loop truncation. Distinct features of KPZ$_{1/f}$ are: (i) a generically scale-invariant, rough phase at high noise levels that violates fluctuation-dissipation relations and exhibits hyperthermal statistics {\it even in d=1}, (ii) a fine-tuned roughening transition at which the flow fulfills an emergent thermal-like fluctuation-dissipation relation, that separates the rough phase from (iii) a {\it massive phase} in $1< d < 4$ (in $d=1$ the interface is always rough). We point out potential connections to nonlinear hydrodynamics with a reduced set of conservation laws and noisy quantum liquids.


title: Roche-lobe overflow systems powered by black holes in young star clusters: the importance of dynamical exchanges

abstract: We have run 600 N-body simulations of intermediate-mass (~3500 Msun) young star clusters (SCs) with three different metallicities (Z=0.01, 0.1 and 1 Zsun). The simulations include the dependence of stellar properties and stellar winds on metallicity. Massive stellar black holes (MSBHs) with mass >25 Msun are allowed to form through direct collapse of very massive metal-poor stars (Z<0.3 Zsun). We focus on the demographics of black hole (BH) binaries that undergo mass transfer via Roche lobe overflow (RLO). We find that 44 per cent of all binaries that undergo an RLO phase (RLO binaries) formed through dynamical exchange. RLO binaries that formed via exchange (RLO-EBs) are powered by more massive BHs than RLO primordial binaries (RLO-PBs). Furthermore, the RLO-EBs tend to start the RLO phase later than the RLO-PBs. In metal-poor SCs (0.01-0.1 Zsun), >20 per cent of all RLO binaries are powered by MSBHs. The vast majority of RLO binaries powered by MSBHs are RLO-EBs. We have produced optical color-magnitude diagrams of the simulated RLO binaries, accounting for the emission of both the donor star and the irradiated accretion disk. We find that RLO-PBs are generally associated with bluer counterparts than RLO-EBs. We compare the simulated counterparts with the observed counterparts of nine ultraluminous X-ray sources. We discuss the possibility that IC 342 X-1, Ho IX X-1, NGC 1313 X-2 and NGC 5204 X-1 are powered by a MSBH.


title: Evidence for spin-triplet odd-parity superconductivity close to type-II van Hove singularities

abstract: Searching for unconventional Cooper pairing states has been at the heart of superconductivity research since the discovery of BCS superconductors. In particular, spin-triplet odd-parity pairing states were recently revisited due to the possibility of tuning towards topological superconductors. In this context, it is interesting to note a recent proposal that such a spin-triplet pairing instability occurs when the band filling is near van Hove singularities (vHS) associated with momenta away from time-reversal invariant momenta named type-II vHS. However, this result was obtained within a weak coupling renormalization group with Fermi surface patch approximation. To explore superconducting instabilities beyond this weak coupling Fermi surface patch approximation, we perform systematic study on Hubbard model in a two-dimensional square lattice using three different methods: random phase approximation, large-scale dynamical mean field theory simulations with continuous time quantum Monte Carlo (CTQMC) impurity solver, and large-scale dynamical cluster simulations with CTQMC cluster solver. We find, in a wide doping range centered around the type-II van Hove filling, a two-fold degenerate, spin-triplet, odd-parity $p$-wave pairing state emerges due to repulsive interaction, when the Fermi surface is not sufficiently nested. Possible relevance of our findings to the recently discovered superconductors LaO$_{1-x}$F$_{x}$BiS$_{2}$, Ir$_{1-x}$Pt$_{x}$Te$_{2}$ and proposed doped BC$_{3}$ are also discussed.


title: Orbital Nematic Order and Interplay with Magnetism in the Two-Orbital Hubbard Model

abstract: Motivated by the recent angle-resolved photoemission spectroscopy (ARPES) on FeSe and iron pnictide families of iron-based superconductors, we have studied the orbital nematic order and its interplay with antiferromagnetism within the two-orbital Hubbard model. We used random phase approximation (RPA) to calculate the dependence of the orbital and magnetic susceptibilities on the strength of interactions and electron density (doping). To account for strong electron correlations not captured by RPA, we further employed non-perturbative variational cluster approximation (VCA) capable of capturing symmetry broken magnetic and orbitally ordered phases. Both approaches show that the electron and hole doping affect the two orders differently. While hole doping tends to suppress both magnetism and orbital ordering, the electron doping suppresses magnetism faster. Crucially, we find a realistic parameter regime for moderate electron doping that stabilizes orbital nematicity in the absence of long-range antiferromagnetic order. This is reminiscent of the non-magnetic orbital nematic phase observed recently in FeSe and a number of iron pnictide materials and raises the possibility that at least in some cases, the observed electronic nematicity may be primarily due to orbital rather than magnetic fluctuations.


title: Probing Dark Energy with Atom Interferometry

abstract: Theories of dark energy require a screening mechanism to explain why the associated scalar fields do not mediate observable long range fifth forces. The archetype of this is the chameleon field. Here we show that individual atoms are too small to screen the chameleon field inside a large high-vacuum chamber, and therefore can detect the field with high sensitivity. We derive new limits on the chameleon parameters from existing experiments, and show that most of the remaining chameleon parameter space is readily accessible using atom interferometry.


title: Medium-induced optical effects for prompt photons

abstract: Electromagnetic aspects of a QCD matter have been a hot topic in recent years. High-energy heavy-ion experiments revealed that flow harmonics of direct photons are not explained by most hydrodynamic models. In this work I discuss possible effects of refraction by the hot medium since it can work as a lens which converts its geometrical anisotropy into momentum anisotropy of photons. Then elliptic flow and higher-order harmonics of prompt photons are estimated numerically. The results indicate that they could be small but have phenomenologically non-trivial consequences.


title: Chiral Bosonic Phases on the Haldane Honeycomb Lattice

abstract: Recent experiments in ultracold atoms and photonic analogs have reported the implementation of artificial gauge fields in lattice systems, facilitating the realization of topological phases. Motivated by such advances, we investigate the Haldane honeycomb lattice tight-binding model, for bosons with local interactions at the average filling of one boson per site. We analyze the ground state phase diagram and uncover three distinct phases: a uniform superfluid (SF), a chiral superfluid (CSF) and a plaquette Mott insulator with local current loops (PMI). Nearest-neighbor and next-nearest neighbor currents distinguish CSF from SF, and the phase transition between them is first order. We apply bosonic dynamical mean field theory and exact diagonalization to obtain the phase diagram, complementing numerics with calculations of excitation spectra in strong and weak coupling perturbation theory. The characteristic density fluctuations, current correlation functions, and excitation spectra are measurable in ultracold atom experiments.


title: Classical nature of ordered phases: origin of spontaneous symmetry breaking

abstract: We investigate the nature of spontaneous symmetry breaking in complex quantum systems by conjecturing that the maximally symmetry breaking quantum ground states are the most classical ones corresponding to an ordered phase. We make this argument quantitatively precise by showing that the ground states which realize the maximum breaking of the Hamiltonian symmetries are the only ones that: I) are always locally convertible, i.e. can be obtained from all other ground states by local operations and classical communication, while the reverse is never possible; II) minimize the monogamy inequality for bipartite entanglement; III) minimize quantum correlations, as measured by the quantum discord, for all pairs of dynamical variables and are the only ground states for which the pairwise quantum correlations vanish asymptotically with the intra-pair distance.

categories: cond-mat.stat-mech math-ph math.MP quant-ph


title: Onset of Electron Acceleration in a Flare Loop

abstract: We carried out detailed analysis of X-ray and radio observations of a simple flare loop that occurred on 12th August 2002, with the impulsive hard X-ray (HXR) light curves dominated by a single pulse. The emission spectra of the early impulsive phase are consistent with an isothermal model in the coronal loop with a temperature reaching several keVs. A power-law high-energy spectral tail is evident near the HXR peak time, in accordance with the appearance of footpoints at high energies, and is well correlated with the radio emission. The energy content of the thermal component keeps increasing gradually after the disappearance of this nonthermal component. These results suggest that electron acceleration only covers a central period of a longer and more gradual energy dissipation process and that the electron transport within the loop plays a crucial role in the formation of the inferred power-law electron distribution. The spectral index of power-law photons shows a very gradual evolution indicating a quasi-steady state of the electron accelerator, which is confirmed by radio observations. These results are consistent with the theory of stochastic electron acceleration from a thermal background. Advanced modeling with coupled electron acceleration and spatial transport processes is needed to explain these observations more quantitatively, which may reveal the dependence of the electron acceleration on the spatial structure of the acceleration region.


title: Fully localised nonlinear energy growth optimals in pipe flow

abstract: A new, fully-localised, energy growth optimal is found over large times and in long pipe domains at a given mass flow rate. This optimal emerges at a threshold disturbance energy below which a nonlinear version of the known (streamwise-independent) linear optimal (Schmid \& Henningson 1994) is selected, and appears to remain the optimal up until the critical energy at which transition is triggered. The form of this optimal is similar to that found in short pipes (Pringle et al.\ 2012) albeit now with full localisation in the streamwise direction. This fully-localised optimal perturbation represents the best approximation yet of the {\em minimal seed} (the smallest perturbation capable of triggering a turbulent episode) for `real' (laboratory) pipe flows.


title: Trapped Ion Chain Thermometry and Mass Spectrometry through Imaging

abstract: We demonstrate a spatial-imaging thermometry technique for ions in a one-dimensional Coulomb crystal by relating their imaged spatial extent along the linear radiofrequency ion trap axis to normal modes of vibration of coupled oscillators in a harmonic potential. We also use the thermal spatial spread of bright ions in the case of a two-species mixed chain to measure the center-of-mass (COM) resonance frequency of the entire chain and infer the molecular composition of the co-trapped dark ions. These non-destructive techniques create new possibilities for better understanding of sympathetic cooling in mixed-ion chains, improving few-ion mass spectrometry, and trapped-ion thermometry without requiring a scan of Doppler cooling parameters.


title: Mobile Device Identification via Sensor Fingerprinting

abstract: We demonstrate how the multitude of sensors on a smartphone can be used to construct a reliable hardware fingerprint of the phone. Such a fingerprint can be used to de-anonymize mobile devices as they connect to web sites, and as a second factor in identifying legitimate users to a remote server. We present two implementations: one based on analyzing the frequency response of the speakerphone-microphone system, and another based on analyzing device-specific accelerometer calibration errors. Our accelerometer-based fingerprint is especially interesting because the accelerometer is accessible via JavaScript running in a mobile web browser without requesting any permissions or notifying the user. We present the results of the most extensive sensor fingerprinting experiment done to date, which measured sensor properties from over 10,000 mobile devices. We show that the entropy from sensor fingerprinting is sufficient to uniquely identify a device among thousands of devices, with low probability of collision.


title: On subordination of holomorphic semigroups

abstract: We prove that for any Bernstein function $\psi$ the operator $-\psi(A)$ generates a holomorphic $C_0$-semigroup $(e^{-t\psi(A)})_{t \ge 0}$ on a Banach space, whenever $-A$ does. This answers a question posed by Kishimoto and Robinson. Moreover, giving a positive answer to a question by Berg, Boyadzhiev and de Laubenfels, we show that $(e^{-t\psi(A)})_{t \ge 0}$ is holomorphic in the holomorphy sector of $(e^{-tA})_{t \ge 0},$ and if $(e^{-tA})_{t \ge 0}$ is sectorially bounded in this sector then $(e^{-t\psi(A)})_{t \ge 0}$ has the same property. We also obtain new sufficient conditions on $\psi$ in order that, for every Banach space $X$, the semigroup $(e^{-t\psi(A)})_{t\ge 0}$ on $X$ is holomorphic whenever $(e^{-tA})_{t\ge 0}$ is a bounded $C_0$-semigroup on $X$. These conditions improve and generalize well-known results by Carasso-Kato and Fujita.


title: Theory of the evolution of magnetic order in Fe$_{1+y}$Te compounds with increasing interstitial iron

abstract: We examine the influence of the excess of interstitial Fe on the magnetic properties of Fe$_{1+y}$Te compounds. Because in iron chalcogenides the correlations are stronger than in the iron arsenides, we assume in our model that some of the Fe orbitals give rise to localized magnetic moments. These moments interact with each other via exchange interactions as well as phonon-mediated biquadratic interactions that favor a collinear double-stripe state, corresponding to the ordering vectors $\left(\pm\pi/2,\pm\pi/2\right)$. The remaining Fe orbitals are assumed to be itinerant, giving rise to the first-principle derived Fermi surface displaying nesting features at momenta $\left(\pi,0\right)/\left(0,\pi\right)$. Increasing the amount of itinerant electrons due to excess Fe, $y$, leads to changes in the Fermi surface and to the suppression of its nesting properties. As a result, due to the Hund's coupling between the itinerant and localized moments, increasing $y$ leads to modifications in the local moments' exchange interactions via the multi-orbital generalization of the long-range Ruderman-Kittel-Kasuya-Yosida (RKKY) interaction. By numerically computing the RKKY corrections and minimizing the resulting effective exchange Hamiltonian, we find, in general, that the excess electrons introduced in the system change the classical magnetic ground state from a double-stripe state to an incommensurate spiral, consistent with the experimental observations. We show that these results can be understood as a result of the suppression of magnetic spectral weight of the itinerant electrons at momenta $\left(\pi,0\right)/\left(0,\pi\right)$, combined with the transfer of broad magnetic spectral weight from large to small momenta, promoted by the introduction of excess Fe.


title: A Morse-Smale index theorem for indefinite elliptic systems and bifurcation

abstract: We generalise the semi-Riemannian Morse index theorem to elliptic systems of partial differential equations on star-shaped domains. Moreover, we apply our theorem to bifurcation from a branch of trivial solutions of semilinear systems, where the bifurcation parameter is introduced by shrinking the domain to a point. This extends recent results of the authors for scalar equations.


title: Ultraviolet Emission Lines in Young Low Mass Galaxies at z~2: Physical Properties and Implications for Studies at z>7

abstract: We present deep spectroscopy of 17 very low mass (M* ~ 2.0x10^6 Msun to 1.4x10^9 Msun) and low luminosity (M_UV ~ -13.7 to -19.9) gravitationally lensed galaxies in the redshift range z~1.5-3.0. Deep rest-frame ultraviolet spectra reveal large equivalent width emission from numerous lines (NIV], OIII], CIV, Si III], CIII]) which are rarely seen in individual spectra of more massive star forming galaxies. CIII] is detected in 16 of 17 low mass star forming systems with rest-frame equivalent widths as large as 13.5 Angstroms. Nebular CIV emission is present in the most extreme CIII] emitters, requiring an ionizing source capable of producing a substantial component of photons with energies in excess of 47.9 eV. Photoionization models support a picture whereby the large equivalent widths are driven by the increased electron temperature and enhanced ionizing output arising from metal poor gas and stars, young stellar populations, and large ionization parameters. The young ages implied by the emission lines and continuum SEDs indicate that the extreme line emitters in our sample are in the midst of a significant upturn in their star formation activity. The low stellar masses, blue UV colors, and large sSFRs of our sample are similar to those of typical z>6 galaxies. Given the strong attenuation of Ly-alpha in z>6 galaxies we suggest that CIII] is likely to provide our best probe of early star forming galaxies with ground-based spectrographs and one of the most efficient means of confirming z>10 galaxies with the James Webb Space Telescope.


title: Muons in air showers at the Pierre Auger Observatory: Mean number in highly inclined events

abstract: We present the first hybrid measurement of the average muon number in air showers at ultra-high energies, initiated by cosmic rays with zenith angles between $62^\circ$ and $80^\circ$. The measurement is based on 174 hybrid events recorded simultaneously with the Surface Detector array and the Fluorescence Detector of the Pierre Auger Observatory. The muon number for each shower is derived by scaling a simulated reference profile of the lateral muon density distribution at the ground until it fits the data. A $10^{19}$~eV shower with a zenith angle of $67^\circ$, which arrives at the Surface Detector array at an altitude of 1450 m above sea level, contains on average $(2.68 \pm 0.04 \pm 0.48\,\mathrm{(sys.)}) \times 10^{7}$ muons with energies larger than 0.3 GeV. The logarithmic gain $\mathrm{d}\ln{N_\mu} / \mathrm{d}\ln{E}$ of muons with increasing energy between $4\times 10^{18}$ eV and $5 \times 10^{19}$ eV is measured to be $(1.029\, \pm\, 0.024\, \pm 0.030\,\mathrm{(sys.)})$.


title: The Galois Complexity of Graph Drawing: Why Numerical Solutions are Ubiquitous for Force-Directed, Spectral, and Circle Packing Drawings

abstract: Many well-known graph drawing techniques, including force directed drawings, spectral graph layouts, multidimensional scaling, and circle packings, have algebraic formulations. However, practical methods for producing such drawings ubiquitously use iterative numerical approximations rather than constructing and then solving algebraic expressions representing their exact solutions. To explain this phenomenon, we use Galois theory to show that many variants of these problems have solutions that cannot be expressed by nested radicals or nested roots of low-degree polynomials. Hence, such solutions cannot be computed exactly even in extended computational models that include such operations.


title: Weak Functional It\^o Calculus and Applications

abstract: We introduce a variational theory for processes adapted to the multi-dimensional Brownian motion filtration. The theory provides a differential structure which describes the infinitesimal evolution of Wiener functionals at very small scales. The Markov property is replaced by a finite-dimensional approximation procedure based on controlled inter-arrival times and jumps of approximating martingales. The theory reveals that a large class of adapted processes follow a differential rule which is similar in nature to a fundamental theorem of calculus in the context of Wiener functionals. Null stochastic derivative term turns out to be a non-Markovian version of the classical second order parabolic operator and connections with theory of local-times and $(p,q)$-variation regularity are established. The framework extends the pathwise functional calculus and it opens the way to obtain variational principles for processes. Applications to semi-linear variational equations and stochastic variational inequalities are presented. In particular, we provide a feasible dynamic programming principle for fully non-Markovian/non-semimartingale optimal stopping problems.


title: The progenitors of calcium-rich transients are not formed in situ

abstract: We present deep VLT and HST observations of the nearest examples of calcium-rich 'gap' transients -- rapidly evolving transient events, with a luminosity intermediate between novae and supernovae. These sources are frequently found at large galactocentric offsets, and their progenitors remain mysterious. Our observations find no convincing underlying quiescent sources coincident with the locations of these transients, allowing us to rule out a number of potential progenitor systems. The presence of surviving massive-star binary companions (or other cluster members) are ruled out, providing an independent rejection of a massive star origin for these events. Dwarf satellite galaxies are disfavoured unless one invokes as yet unknown conditions that would be extremely favourable for their production in the lowest mass systems. Our limits also probe the majority of the globular cluster luminosity function, ruling out the presence of an underlying globular cluster population at high significance, and thus the possibility that they are created via dynamical interactions in dense globular cluster cores. Given the lack of underlying systems, previous progenitor suggestions have difficulty reproducing the remote locations of these transients, even when considering solely halo-borne progenitors. Our preferred scenario is that calcium-rich transients are high velocity, kicked systems, exploding at large distances from their natal site. Coupled with a long-lived progenitor system post-kick, this naturally explains the lack of association these transients have with their host stellar light, and the extreme host-offsets exhibited. Neutron star -- white dwarf mergers may be a promising progenitor system in this scenario.


title: Adaptive optics observations of the gravitationally lensed quasar SDSS J1405+0959

abstract: We present the result of Subaru Telescope multi-band adaptive optics observations of the complex gravitationally lensed quasar SDSS J1405+0959, which is produced by two lensing galaxies. These observations reveal dramatically enhanced morphological detail, leading to the discovery of an additional object 0. 26'' from the secondary lensing galaxy, as well as three collinear clumps located in between the two lensing galaxies. The new object is likely to be the third quasar image, although the possibility that it is a galaxy cannot be entirely excluded. If confirmed via future observations, it would be the first three image lensed quasar produced by two galaxy lenses. In either case, we show based on gravitational lensing models and photometric redshift that the collinear clumps represent merging images of a portion of the quasar host galaxy, with a magnification factor of 15 - 20, depending on the model.


title: A Note on the sharp $L^p$-Covergence rate of Upcrossings to the Brownian local time

abstract: In this note, we prove a sharp $L^p$-rate of convergence of the number of upcrossings to the local time of the Brownian motion. In particular, it provides novel $p$-variation estimates ($2 < p < \infty$) for the number of upcrossings of the Brownian motion. Our result complements the fundamental work of Koshnevisan \cite{kho} who obtains an almost sure exact rate of convergence in the sup norm.


title: Suppression of contact-induced spin dephasing in graphene/MgO/Co spin-valve devices by successive oxygen treatments

abstract: By successive oxygen treatments of graphene non-local spin-valve devices we achieve a gradual increase of the contact resistance area products ($R_cA$) of Co/MgO spin injection and detection electrodes and a transition from linear to non-linear characteristics in the respective differential dV-dI-curves. With this manipulation of the contacts both spin lifetime and amplitude of the spin signal can significantly be increased by a factor of seven in the same device. This demonstrates that contact-induced spin dephasing is the bottleneck for spin transport in graphene devices with small $R_cA$ values. With increasing $R_cA$ values, we furthermore observe the appearance of a second charge neutrality point (CNP) in gate dependent resistance measurements. Simultaneously, we observe a decrease of the gate voltage separation between the two CNPs. The strong enhancement of the spin transport properties as well as the changes in charge transport are explained by a gradual suppression of a Co/graphene interaction by improving the oxide barrier during oxygen treatment.


title: A Maximal Inequality of the 2D Young Integral based on Bivariations

abstract: In this note, we establish a novel maximal inequality of the 2D Young integral $\int_a^b\int_c^d FdG$ in terms of the $(p,q)$-bivariation norms of the section functions $x\mapsto F(x,y)$ and $y\mapsto F(x,y)$ where $G:[a,b]\times [c,d]\rightarrow \mathbb{R}$ is a controlled path satisfying finite $(p,q)$-variation conditions. The proof is reminiscent from the Young's original ideas \cite{young1} in defining two-parameter integrals in terms of $(p,q)$-finite bivariations. Our result complements the standard maximal inequality established by Towghi \cite{towghi1} in terms of joint variations. We apply the maximal inequality to get novel strong approximations for 2D Young integrals w.r.t the Brownian local time in terms of number of upcrossings of a given approximating random walk.


title: Achieving Target Equilibria in Network Routing Games without Knowing the Latency Functions

abstract: The analysis of network routing games typically assumes, right at the onset, precise and detailed information about the latency functions. Such information may, however, be unavailable or difficult to obtain. Moreover, one is often primarily interested in enforcing a desired target flow as the equilibrium by suitably influencing player behavior in the routing game. We ask whether one can achieve target flows as equilibria without knowing the underlying latency functions. Our main result gives a crisp positive answer to this question. We show that, under fairly general settings, one can efficiently compute edge tolls that induce a given target multicommodity flow in a nonatomic routing game using a polynomial number of queries to an oracle that takes candidate tolls as input and returns the resulting equilibrium flow. This result is obtained via a novel application of the ellipsoid method. Our algorithm extends easily to many other settings, such as (i) when certain edges cannot be tolled or there is an upper bound on the total toll paid by a user, and (ii) general nonatomic congestion games. We obtain tighter bounds on the query complexity for series-parallel networks, and single-commodity routing games with linear latency functions, and complement these with a query-complexity lower bound. We also obtain strong positive results for Stackelberg routing to achieve target equilibria in series-parallel graphs. Our results build upon various new techniques that we develop pertaining to the computation of, and connections between, different notions of approximate equilibrium; properties of multicommodity flows and tolls in series-parallel graphs; and sensitivity of equilibrium flow with respect to tolls. Our results demonstrate that one can indeed circumvent the potentially-onerous task of modeling latency functions, and yet obtain meaningful results for the underlying routing game.


title: Exploring the spectral diversity of low-redshift Type Ia supernovae using the Palomar Transient Factory

abstract: We present an investigation of the optical spectra of 264 low-redshift (z < 0.2) Type Ia supernovae (SNe Ia) discovered by the Palomar Transient Factory, an untargeted transient survey. We focus on velocity and pseudo-equivalent width measurements of the Si II 4130, 5972, and 6355 A lines, as well those of the Ca II near-infrared (NIR) triplet, up to +5 days relative to the SN B-band maximum light. We find that a high-velocity component of the Ca II NIR triplet is needed to explain the spectrum in ~95 per cent of SNe Ia observed before -5 days, decreasing to ~80 per cent at maximum. The average velocity of the Ca II high-velocity component is ~8500 km/s higher than the photospheric component. We confirm previous results that SNe Ia around maximum light with a larger contribution from the high-velocity component relative to the photospheric component in their Ca II NIR feature have, on average, broader light curves and lower Ca II NIR photospheric velocities. We find that these relations are driven by both a stronger high-velocity component and a weaker contribution from the photospheric Ca II NIR component in broader light curve SNe Ia. We identify the presence of C II in very-early-time SN Ia spectra (before -10 days), finding that >40 per cent of SNe Ia observed at these phases show signs of unburnt material in their spectra, and that C II features are more likely to be found in SNe Ia having narrower light curves.


title: Maximum ATSP with Weights Zero and One via Half-Edges

abstract: We present a fast combinatorial $3/4$-approximation algorithm for the maximum asymmetric TSP with weights zero and one. The approximation factor of this algorithm matches the currently best one given by Bl\"aser in 2004 and based on linear programming. Our algorithm first computes a maximum size matching and a maximum weight cycle cover without certain cycles of length two but possibly with {\em half-edges} - a half-edge of a given edge $e$ is informally speaking a half of $e$ that contains one of the endpoints of $e$. Then from the computed matching and cycle cover it extracts a set of paths, whose weight is large enough to be able to construct a traveling salesman tour with the claimed guarantee.


title: Neutrino and The Standard Model

abstract: After discovery of the Higgs boson at CERN the Standard Model acquired a status of the full, correct theory of the elementary particles in the electroweak range. What general conclusions can be inferred from the SM? I am suggesting here that in the framework of such general principles as local gauge symmetry, unification of the weak and electromagnetic interactions and Brout-Englert-Higgs spontaneous breaking of the electroweak symmetry nature chooses the simplest possibilities. It is very plausible that massless left-handed neutrinos (simplest, most economical possibility) play crucial role in the determination of the charged current structure of the Standard Model and that neutrino properties (masses and nature) are determined by a beyond the Standard Model physics. The discovery of the neutrinoless double $\beta$-decay and proof that neutrinos with definite masses are Majorana particles would be an important evidence in favor of the considered scenario.


title: DT-invariants of quivers and the Steinberg character of GL_n

abstract: In this paper we give a simple description of DT-invariants of double quivers without potential as the multiplicity of the Steinberg character in some representation associated with the quiver. When the dimension vector is indivisible we use this description to express these DT-invariants as the Poincar\'e polynomial of some singular quiver varieties. Finally we explain the connections with previous work of Hausel-Letellier-Villegas where DT-invariants are expressed as the graded multiplicities of the trivial representation of some Weyl group in the cohomology of some non-singular quiver varieties attached to an extended quiver.


title: Controlling of clock synchronization in WSNs: structure of optimal solutions

abstract: Energy-saving optimization is very important for various engineering problems related to modern distributed systems. We consider here a control problem for a wireless sensor network with a single time server node and a large number of client nodes. The problem is to minimize a functional which accumulates clock synchronization errors in the clients nodes and the energy consumption of the server over some time interval $[0,T]$. The control function $u=u(t)$, $0\leq u(t)\leq u_{1}$, corresponds to the power of the server node transmitting synchronization signals to the clients. For all possible parameter values we find the structure of optimal trajectories. We show that for sufficiently large $u_{1}$ the solutions contain singular arcs.


title: On integers which are representable as sums of large squares

abstract: We prove that the greatest positive integer that is not expressible as a linear combination with integer coefficients of elements of the set $\{n^2,(n+1)^2,\ldots \}$ is asymptotically $O(n^2)$, verifying thus a conjecture of Dutch and Rickett. Furthermore we ask a question on the representation of integers as sum of four large squares.


title: Gauge Symmetries and Holographic Anomalies of Chern-Simons and Transgression AdS Gravity

abstract: We review the issue of gauge and gravitational anomalies with backgrounds, maybe offering a new outlook on some aspects of these questions. We compute the holographic anomalies of hypothetical theories dual, in the sense of the AdS-CFT correspondence, to Chern-Simons AdS gravities. Those anomalies are either gauge anomalies associated to the AdS gauge group of the theory or diffeomorphism anomalies, with each kind related to the other. As a result of using suitable action principles por Chern-Simons AdS gravities, coming from Transgression forms, we obtain finite results without the need for further regularization. Our results are of potential interest for Lovelock gravity theories, as it has been shown that the boundary terms dictated by the transgressions for Chern-Simons gravities are also suitable to regularize Lovelock theories. The Wess-Zumino consistency condition ensures that anomalies of the generic form computed here should appear for these and other theories.


title: Traffic Network Control from Temporal Logic Specifications

abstract: We propose a framework for generating a signal control policy for a traffic network of signalized intersections to accomplish control objectives expressible using linear temporal logic. By applying techniques from model checking and formal methods, we obtain a correct-by-construction controller that is guaranteed to satisfy complex specifications. To apply these tools, we identify and exploit structural properties particular to traffic networks that allow for efficient computation of a finite state abstraction. In particular, traffic networks exhibit a componentwise monotonicity property which allows reach set computations that scale linearly with the dimension of the continuous state space.


title: Quantum confinement of zero-dimensional hybrid organic-inorganic polaritons at room temperature

abstract: We report on the quantum confinement of zero-dimensional polaritons in perovskite-based microcavity at room temperature. Photoluminescence of discrete polaritonic states are observed for polariton localized in symmetric sphere-like defects which are spontaneously nucleated on the top dielectric Bragg mirror. The linewidth of these confined states are found much sharper (almost one order of magnitude) than that of photonic modes in the perovskite planar microcavity. Our results show the possibility to study organic-inorganic cavity polariton in confined microstructure and suggest a fabrication method to realize integrated polaritonic devices operating at room temperature.


title: A Concise, Elementary Proof of Arzel\`a's Bounded Convergence Theorem

abstract: Arzel\`a's bounded convergence theorem (1885) states that if a sequence of Riemann integrable functions on a closed interval is uniformly bounded and has an integrable pointwise limit, then the sequence of their integrals tends to the integral of the limit. It is a trivial consequence of measure theory. However, denying oneself this machinery transforms this intuitive result into a surprisingly difficult problem; indeed, the proofs first offered by Arzel\`a and Hausdorff were long, difficult, and contained gaps. In addition, the proof is omitted from most introductory analysis texts despite the result's naturality and applicability. Here, we present a novel argument suitable for consumption by freshmen.


title: In-Order Delivery Delay of Transport Layer Coding

abstract: A large number of streaming applications use reliable transport protocols such as TCP to deliver content over the Internet. However, head-of-line blocking due to packet loss recovery can often result in unwanted behavior and poor application layer performance. Transport layer coding can help mitigate this issue by helping to recover from lost packets without waiting for retransmissions. We consider the use of an on-line network code that inserts coded packets at strategic locations within the underlying packet stream. If retransmissions are necessary, additional coding packets are transmitted to ensure the receiver's ability to decode. An analysis of this scheme is provided that helps determine both the expected in-order packet delivery delay and its variance. Numerical results are then used to determine when and how many coded packets should be inserted into the packet stream, in addition to determining the trade-offs between reducing the in-order delay and the achievable rate. The analytical results are finally compared with experimental results to provide insight into how to minimize the delay of existing transport layer protocols.


title: Rational points on analytic varieties

abstract: These are expanded notes of the mini-courses on Pila's work that Yuri Bilu gave in Basel in April 2011, Yaroslavl in August 2011 and Chennai in February 2012. The topics covered include the Bombieri-Pila theorem, its extensions and applications to some prominent conjectures (Manin-Mumford, Andr\'e-Oort).


title: A generalized result of output stabilizability

abstract: Output stabilizability of a class of infinite dimensional linear systems is studied in this paper. A criterion for the system to be output stabilizable by a linear bounded feedback $u=Fx$, $F\in L(Z,\mathbb{R}^{^{p}})$ will be given.


title: Injective Tauberian operators on $L_1$ and operators with dense range on $\ell_\infty$

abstract: There exist injective Tauberian operators on $L_1(0,1)$ that have dense, non closed range. This gives injective, non surjective operators on $\ell_\infty$ that have dense range. Consequently, there are two quasi-complementary, non complementary subspaces of $\ell_\infty$ that are isometric to $\ell_\infty$.


title: Modelling the Evaporation of Non-singular Black Holes

abstract: We present a model for studying the formation and evaporation of non-singular (quantum corrected) black holes. The model is based on a generalized form of the dimensionally reduced, spherically symmetric Einstein--Hilbert action and includes a suitably generalized Polyakov action to provide a mechanism for radiation back-reaction. The equations of motion describing self-gravitating scalar field collapse are derived in local form both in null co--ordinates and in Painleve--Gullstrand (flat slice) co--ordinates. They provide the starting point for numerical studies of complete spacetimes containing dynamical horizons that bound a compact trapped region. Such spacetimes have been proposed in the past as solutions to the information loss problem because they possess neither an event horizon nor a singularity. Since the equations of motion in our model are derived from a diffeomorphism invariant action they preserve the constraint algebra and the resulting energy momentum tensor is manifestly conserved.


title: Experimental observation of a first-order phase transition below the superconducting transition temperature in the multilayer cuprate superconductor HgBa$_2$Ca$_4$Cu$_5$O$_y$

abstract: A first-order phase transition is found in the multilayer cuprate superconductor, HgBa$_2$Ca$_4$Cu$_5$O$_y$ (Hg-1245), with a superconducting transition temperature of 108 K, under zero magnetic field. We observed a hysteretic specific heat jump around 41 K. We conclude that the Bardeen-Cooper-Schrieffer pairs have a residual entropy due to fluctuations in the phase difference between the five CuO$_2$ planes in a unit cell of Hg-1245, and that this fluctuation freezes below the first-order phase transition temperature.


title: Continuity of Minima: Local Results

abstract: This paper compares and generalizes Berge's maximum theorem for noncompact image sets established in Feinberg, Kasyanov and Voorneveld (2014) and the local maximum theorem established in Bonnans and Shapiro (2000).


title: Uniform Rectifiability, Carleson measure estimates, and approximation of harmonic functions

abstract: Let $E\subset \mathbb{R}^{n+1}$, $n\ge 2$, be a uniformly rectifiable set of dimension $n$. Then bounded harmonic functions in $\Omega:= \mathbb{R}^{n+1}\setminus E$ satisfy Carleson measure estimates, and are "$\varepsilon$-approximable". Our results may be viewed as generalized versions of the classical F. and M. Riesz theorem, since the estimates that we prove are equivalent, in more topologically friendly settings, to quantitative mutual absolute continuity of harmonic measure, and surface measure.


title: Excitation of Photons by Inflationary Gravitons

abstract: We use a recent result for the graviton contribution to the one loop vacuum polarization to solve the effective field equations for dynamical photons on de Sitter background. Our results show that the electric field experiences a secular enhancement proportional to the number of inflationary e-foldings. We discuss the minimum this establishes for primordial inflation to seed cosmic magnetic fields.


title: Topological quantum field theory and quantum gravity

abstract: This thesis is broadly split into two parts. In the first part, simple state sum models for minimally coupled fermion and scalar fields are constructed on a $1$-manifold. The models are independent of the triangulation and give the same result as the continuum partition functions evaluated using zeta-function regularisation. Some implications for more physical models are discussed. In the second part, the gauge gravity action is written using a particularly simple matrix technique. The coupling to scalar, fermion and Yang-Mills fields is reviewed, with some small additions. A sum over histories quantisation of the gauge gravity theory in 2+1 dimensions is then carried out for a particular class of triangulations of the three-sphere. The preliminary stage of the Hamiltonian analysis for the (3+1)-dimensional gauge gravity theory is undertaken.


title: A Review on Flexural Mode of Graphene: Lattice Dynamics, Thermal Conduction, Thermal Expansion, Elasticity, and Nanomechanical Resonance

abstract: Single-layer graphene is so flexible that its flexural mode (also called the ZA mode, bending mode, or out-of-plane transverse acoustic mode) is important for its thermal and mechanical properties. Accordingly, this review focuses on exploring the relationship between the flexural mode and thermal and mechanical properties of graphene. We first survey the lattice dynamic properties of the flexural mode, where the rigid translational and rotational invariances play a crucial role. After that, we outline contributions from the flexural mode in four different physical properties or phenomena of graphene -- its thermal conductivity, thermal expansion, Young's modulus, and nanomechanical resonance. We explain how graphene's superior thermal conductivity is mainly due to its three acoustic phonon modes at room temperature, including the flexural mode. Its coefficient of thermal expansion is negative in a wide temperature range resulting from the particular vibration morphology of the flexural mode. We then describe how the Young's modulus of graphene can be extracted from its thermal fluctuations, which are dominated by the flexural mode. Finally, we discuss the effects of the flexural mode on graphene nanomechanical resonators, while also discussing how the essential properties of the resonators, including mass sensitivity and quality factor, can be enhanced.


title: Cryptographically Enforced Control Flow Integrity

abstract: Recent Pwn2Own competitions have demonstrated the continued effectiveness of control hijacking attacks despite deployed countermeasures including stack canaries and ASLR. A powerful defense called Control flow Integrity (CFI) offers a principled approach to preventing such attacks. However, prior CFI implementations use static analysis and must limit protection to remain practical. These limitations have enabled attacks against all known CFI systems, as demonstrated in recent work. This paper presents a cryptographic approach to control flow integrity (CCFI) that is both fine-grain and practical: using message authentication codes (MAC) to protect control flow elements such as return addresses, function pointers, and vtable pointers. MACs on these elements prevent even powerful attackers with random read/write access to memory from tampering with program control flow. We implemented CCFI in Clang/LLVM, taking advantage of recently available cryptographic CPU instructions. We evaluate our system on several large software packages (including nginx, Apache and memcache) as well as all their dependencies. The cost of protection ranges from a 3-18% decrease in request rate.


title: Vertex representations of toroidal special linear Lie superalgebras

abstract: Based on the loop-algebraic presentation of 2-toroidal Lie superalgebras, free field representation of toroidal Lie superalgebras of type $A(m, n)$ is constructed using both vertex operators and bosonic fields.