title: Model independent evidence for dark energy evolution from Baryon Acoustic Oscillations

abstract: Baryon Acoustic Oscillations (BAO) allow us to determine the expansion history of the Universe, thereby shedding light on the nature of dark energy. Recent observations of BAO's in the SDSS DR9 and DR11 have provided us with statistically independent measurements of $H(z)$ at redshifts of 0.57 and 2.34, respectively. We show that these measurements can be used to test the cosmological constant hypothesis in a model independent manner by means of an improved version of the $Om$ diagnostic. Our results indicate that the SDSS DR11 measurement of $H(z) = 222 \pm 7$ km/sec/Mpc at $z = 2.34$, when taken in tandem with measurements of $H(z)$ at lower redshifts, imply considerable tension with the standard $\Lambda$CDM model. Our estimation of the new diagnostic $Omh^2$ from SDSS DR9 and DR11 data, namely $Omh^2 \approx 0.122 \pm 0.01$, which is equivalent to $\Omega_{0m}h^2$ for the spatially flat $\Lambda$CDM model, is in tension with the value $\Omega_{0m}h^2 = 0.1426 \pm 0.0025$ determined for $\Lambda$CDM from Planck+WP. This tension is alleviated in models in which the cosmological constant was dynamically screened (compensated) in the past. Such evolving dark energy models display a pole in the effective equation of state of dark energy at high redshifts, which emerges as a smoking gun test for these theories.


title: Memristor models for machine learning

abstract: In the quest for alternatives to traditional CMOS, it is being suggested that digital computing efficiency and power can be improved by matching the precision to the application. Many applications do not need the high precision that is being used today. In particular, large gains in area- and power efficiency could be achieved by dedicated analog realizations of approximate computing engines. In this work, we explore the use of memristor networks for analog approximate computation, based on a machine learning framework called reservoir computing. Most experimental investigations on the dynamics of memristors focus on their nonvolatile behavior. Hence, the volatility that is present in the developed technologies is usually unwanted and it is not included in simulation models. In contrast, in reservoir computing, volatility is not only desirable but necessary. Therefore, in this work, we propose two different ways to incorporate it into memristor simulation models. The first is an extension of Strukov's model and the second is an equivalent Wiener model approximation. We analyze and compare the dynamical properties of these models and discuss their implications for the memory and the nonlinear processing capacity of memristor networks. Our results indicate that device variability, increasingly causing problems in traditional computer design, is an asset in the context of reservoir computing. We conclude that, although both models could lead to useful memristor based reservoir computing systems, their computational performance will differ. Therefore, experimental modeling research is required for the development of accurate volatile memristor models.


title: A unified operator splitting approach for multi-scale fluid-particle coupling in the lattice Boltzmann method

abstract: A unified framework to derive discrete time-marching schemes for coupling of immersed solid and elastic objects to the lattice Boltzmann method is presented. Based on operator splitting for the discrete Boltzmann equation, second-order time-accurate schemes for the immersed boundary method, viscous force coupling and external boundary force are derived. Furthermore, a modified formulation of the external boundary force is introduced that leads to a more accurate no-slip boundary condition. The derivation also reveals that the coupling methods can be cast into a unified form, and that the immersed boundary method can be interpreted as the limit of force coupling for vanishing particle mass. In practice, the ratio between fluid and particle mass determines the strength of the force transfer in the coupling. The integration schemes formally improve the accuracy of first-order algorithms that are commonly employed when coupling immersed objects to a lattice Boltzmann fluid. It is anticipated that they will also lead to superior long-time stability in simulations of complex fluids with multiple scales.


title: A Markov Chain Analysis of a Pattern Matching Coin Game

abstract: In late May of 2014 I received an email from a colleague introducing to me a non-transitive game developed by Walter Penney. This paper explores this probability game from the perspective of a coin tossing game, and further discusses some similarly interesting properties arising out of a Markov Chain analysis. In particular, we calculate the number of "rounds" that are expected to be played in each variation of the game by leveraging the fundamental matrix. Additionally, I derive a novel method for calculating the probabilistic advantage obtained by the player following Penney's strategy. I also produce an exhaustive proof that Penney's strategy is optimal for his namesake game.


title: Some cases on Strassen additive conjecture

abstract: In this article, we verify the additivity for rank of a sum of coprime monomials and bivariate polynomials generalizing the result in (\cite{CCG}). We also show similar results hold for cactus rank.


title: Index of Kato surfaces

abstract: The compact curves of an intermediate Kato surface $S$ form a basis of $H^2(S,\mathbb Q)$. We present a way to compute the associated rational coefficients of the first Chern class $c_1(S)$. We get in particular a simple geometric obstruction for $c_1(S)$ to be an integral class, or equivalently index$(S)=1$. We also find an expression for the exponents of the contracting germ of $S$ in terms of self-intersection numbers of the compact curves.


title: Perfect Abelian dominance of quark confinement in SU(3) QCD

abstract: We study the Abelian projection of quark confinement in SU(3) quenched lattice QCD, in terms of the dual superconductor picture. In the maximal Abelian gauge, we perform the Cartan decomposition of the non-Abelian gauge field on a $32^4$ lattice with spacing $a \simeq0.058, 0.10$ fm (i.e., $\beta =6.4, 6.0$), and investigate the interquark potential $V(r)$, the Abelian part $V_{\mathrm{Abel}}(r)$, and the off-diagonal part $V_{\mathrm{off}}(r)$. For the potential analysis, we use both on-axis data and several types of off-axis data, with larger numbers of gauge configurations. Remarkably, we find almost perfect Abelian dominance of the string tension (quark-confining force) on the large-volume lattice. Also, we find a simple but nontrivial relation of $V(r) \simeq V_{\mathrm{Abel}}(r) + V_{\mathrm{off}}(r)$.


title: Simplicity of condensed matter at its core: Generic definition of a Roskilde-simple system

abstract: The theory of isomorphs is reformulated by defining Roskilde-simple systems (those with isomorphs) by the property that the order of the potential energies of configurations at one density is maintained when these are scaled uniformly to a different density. Isomorphs remain curves in the thermodynamic phase diagram along which structure, dynamics, and excess entropy are invariant, implying that the phase diagram is effectively one-dimensional with respect to many reduced-unit properties. In contrast to the original formulation of the isomorph theory, however, the density-scaling exponent is not exclusively a function of density and the isochoric heat capacity is not an exact isomorph invariant. A prediction is given for the latter quantity's variation along the isomorphs. Molecular dynamics simulations of the Lennard-Jones and Lennard-Jones Gaussian systems validate the new approach.


title: Measurements of Observables Replaced by "Detections" in Quantum Theory

abstract: In Quantum Physics it is not always possible to directly perform the measurement of an obsevable; in some of these cases, however, its value can be {\sl detected}, i.e. it can be inferred by measuring {\sl another} observable characterized by perfect correlation with the observable of interest. Though a {\sl detection} is often interpreted as a {\sl measurement} of the detected observable, we prove that the two concepts cannot be identified in Quantum Physics. Furthermore, we establish what meaning and role can be ascribed to detections coherently with Quantum Theory.


title: Probabilistic Metrology Attains Macroscopic Cloning of Quantum Clocks

abstract: It has been recently shown that probabilistic protocols based on postselection boost the performances of phase estimation and the replication of quantum clocks. Here we demonstrate that the improvements in these two tasks have to match exactly in the macroscopic limit where the number of clones grows to infinity, preserving the equivalence between asymptotic cloning and estimation for arbitrary values of the success probability. Remarkably, the cloning fidelity depends critically on the number of rationally independent eigenvalues of the clock Hamiltonian. We also prove that probabilistic metrology can simulate cloning in the macroscopic limit for arbitrary sets of states, provided that the performance of the simulation is measured by testing small groups of clones.


title: Probing Neutrino Oscillation Parameters using High Power Superbeam from ESS

abstract: A high-power neutrino superbeam experiment at the ESS facility has been proposed such that the source-detector distance falls at the second oscillation maximum, giving very good sensitivity towards establishing CP violation. In this work, we explore the comparative physics reach of the experiment in terms of leptonic CP-violation, precision on atmospheric parameters, non-maximal theta23, and its octant for a variety of choices for the baselines. We also vary the neutrino vs. the anti-neutrino running time for the beam, and study its impact on the physics goals of the experiment. We find that for the determination of CP violation, 540 km baseline with 7 years of neutrino and 3 years of anti-neutrino (7nu+3nubar) run-plan performs the best and one expects a 5sigma sensitivity to CP violation for 48% of true values of deltaCP. The projected reach for the 200 km baseline with 7nu+3nubar run-plan is somewhat worse with 5sigma sensitivity for 34% of true values of deltaCP. On the other hand, for the discovery of a non-maximal theta23 and its octant, the 200 km baseline option with 7nu+3nubar run-plan performs significantly better than the other baselines. A 5sigma determination of a non-maximal theta23 can be made if the true value of sin^2theta23 lesssim 0.45 or sin^2theta23 gtrsim 0.57. The octant of theta23 could be resolved at 5sigma if the true value of sin^2theta23 lesssim 0.43 or gtrsim 0.59, irrespective of deltaCP.


title: Rotating Solar Jets in Simulations of Flux Emergence with Thermal Conduction

abstract: We study the formation of coronal jets through numerical simulation of the emergence of a twisted magnetic flux rope into a pre-existing open magnetic field. Reconnection inside the emerging flux rope in addition to that between the emerging and pre-existing fields give rise to the violent eruption studied. The simulated event closely resembles the coronal jets ubiquitously observed by Hinode/XRT and demonstrates that heated plasma is driven into the extended atmosphere above. Thermal conduction implemented in the model allows us to qualitatively compare simulated and observed emission from such events. We find that untwisting field lines after the reconnection drive spinning outflows of plasma in the jet column. The Poynting flux in the simulated jet is dominated by the untwisting motions of the magnetic fields loaded with high-density plasma. The simulated jet is comprised of spires of untwisting field that are loaded with a mixture of cold and hot plasma and exhibit rotational motion of order 20 km/s and match contemporary observations.


title: Stability conditions on Brauer tree algebras

abstract: We study the space of stability conditions attached to the derived category of $A_{n}$-mod for $A_{n}$ the Brauer tree algebra of the line with $n$ edges. These algebras arise in the study of cyclic defect blocks of group algebras, and they are also related to the zig-zag algebras introduced by Huerfano and Khovanov. We show that for the Brauer tree algebra $A_{3}$, the connected component of the natural heart of the space of stability conditions is simply connected. However, unlike certains examples arising in geometry, the Bridgeland homomorphism is not a covering map.


title: The Chemistry Between High School Students and Computer Science

abstract: Computer science enrollments have started to rise again, but the percentage of women undergraduates in computer science is still low. Some studies indicate this might be due to a lack of awareness of computer science at the high school level. We present our experiences running a 5-year, high school outreach program that introduces information about computer science within the context of required chemistry courses. We developed interactive worksheets using Molecular Workbench that help the students learn chemistry and computer science concepts related to relevant events such as the gulf oil spill. Our evaluation of the effectiveness of this approach indicates that the students do become more aware of computer science as a discipline, but system support issues in the classroom can make the approach difficult for teachers and discouraging for the students.


title: Curvature fluctuations on asymptotically de Sitter spacetimes via the semiclassical Einstein's equations

abstract: It has been proposed recently to consider in the framework of cosmology an extension of the semiclassical Einstein's equations in which the Einstein tensor is considered as a random function. This paradigm yields a hierarchy of equations between the $n$-point functions of the quantum, normal ordered, stress energy-tensor and those associated to the stochastic Einstein tensor. Assuming that the matter content is a conformally coupled massive scalar field on de Sitter spacetime, this framework has been applied to compute the power spectrum of the quantum fluctuations and to show that it is almost scale-invariant. We test the robustness and the range of applicability of this proposal by applying it to a less idealized, but physically motivated, scenario, namely we consider Friedmann-Robertson-Walker spacetimes which behave only asymptotically in the past as a de Sitter spacetime. We show in particular that, under this new assumption and independently from any renormalization freedom, the power spectrum associated to scalar perturbations of the metric behaves consistently with an almost scale-invariant power spectrum.

categories: gr-qc astro-ph.CO hep-th math-ph math.MP


title: On the Fe abundance peak formation in cool-core clusters of galaxies: hints from cluster WARPJ1415.1+3612 at z=1.03

abstract: We present a detailed study of the iron content of the core of the high-redshift cluster WARPJ1415.1+3612 (z=1.03). By comparing the central Fe mass excess observed in this system, M_Fe^exc = (1.67 +/- 0.40) x 10^9 M_sun, with those measured in local cool-core systems, we infer that the bulk of the mass excess was already in place at z=1, when the age of the Universe was about half of what it is today. Our measures point to an early and intense period of star formation most likely associated with the formation of the BCG. Indeed, in the case of the power-law delay time distribution with slope -1, which reproduces the data of WARPJ1415.1+3612 best, half of the supernovae explode within 0.4 Gyr of the formation of the BCG. Finally, while for local cool-core clusters the Fe distribution is broader than the near infrared light distribution of the BCG, in WARPJ1415.1+3612 the two distributions are consistent, indicating that the process responsible for broadening the Fe distribution in local systems has not yet started in this distant cluster.


title: Minimum codegree threshold for Hamilton l-cycles in k-uniform hypergraphs

abstract: For $1\le \ell<k/2$, we show that for sufficiently large $n$, every $k$-uniform hypergraph on $n$ vertices with minimum codegree at least $\frac n{2 (k-\ell)} $ contains a Hamilton $\ell$-cycle. This codegree condition is best possible and improves on work of H\`an and Schacht who proved an asymptotic result.


title: The classification of 2-connected 7-manifolds

abstract: We present a classification theorem for closed smooth spin 2-connected 7-manifolds M. This builds on the almost-smooth classification from the first author's thesis. The main additional ingredient is an extension of the Eells-Kuiper invariant for any closed spin 7-manifold, regardless of whether the spin characteristic class p_M in the fourth integral cohomology of M is torsion. In addition we determine the inertia group of 2-connected M - equivalently the number of oriented smooth structures on the underlying topological manifold - in terms of p_M and the torsion linking form.


title: Synthetic Data and Artificial Neural Networks for Natural Scene Text Recognition

abstract: In this work we present a framework for the recognition of natural scene text. Our framework does not require any human-labelled data, and performs word recognition on the whole image holistically, departing from the character based recognition systems of the past. The deep neural network models at the centre of this framework are trained solely on data produced by a synthetic text generation engine -- synthetic data that is highly realistic and sufficient to replace real data, giving us infinite amounts of training data. This excess of data exposes new possibilities for word recognition models, and here we consider three models, each one "reading" words in a different way: via 90k-way dictionary encoding, character sequence encoding, and bag-of-N-grams encoding. In the scenarios of language based and completely unconstrained text recognition we greatly improve upon state-of-the-art performance on standard datasets, using our fast, simple machinery and requiring zero data-acquisition costs.


title: To catch a falling robber

abstract: We consider a Cops-and-Robber game played on the subsets of an $n$-set. The robber starts at the full set; the cops start at the empty set. On each turn, the robber moves down one level by discarding an element, and each cop moves up one level by gaining an element. The question is how many cops are needed to ensure catching the robber when the robber reaches the middle level. Aaron Hill posed the problem and provided a lower bound of $2^{n/2}$ for even $n$ and $\binom{n}{\lceil n/2 \rceil}2^{-\lfloor n/2 \rfloor}$ for odd $n$. We prove an upper bound (for all $n$) that is within a factor of $O(\ln n)$ times this lower bound.


title: Multiwavelength search for counterparts of supersoft X-ray sources in M31

abstract: We searched optical/UV/IR counterparts of seven supersoft X-ray sources (SSS) in M31 in the Hubble Space Telescope (HST) "Panchromatic Hubble Andromeda Treasury" (PHAT) archival images and photometric catalog. Three of the SSS were transient, the other four are persistent sources. The PHAT offers the opportunity to identify SSS hosting very massive white dwarfs that may explode as type Ia supernovae in single degenerate binaries, with magnitudes and color indexes typical of symbiotic stars, high mass close binaries, or systems with optically luminous accretion disks. We find evidence that the transient SSS were classical or recurrent novae; two likely counterparts we identified are probably symbiotic binaries undergoing mass transfer at a very high rate. There is a candidate accreting white dwarf binary in the error circle of one of the persistent sources, r3-8. In the spatial error circle of the best studied SSS in M31, r2-12, no red giants or AGB stars are sufficiently luminous in the optical and UV bands to be symbiotic systems hosting an accreting and hydrogen burning white dwarf. This SSS has a known modulation of the X-ray flux with a 217.7 s period, and we measured an upper limit on its derivative, 0.82 x 10(-11). This limit can be reconciled with the rotation period of a white dwarf accreting at high rate in a binary with a few-hours orbital period. However, there is no luminous counterpart with color indexes typical of an accretion disk irradiated by a hot central source. Adopting a semi-empirical relationship, the upper limit for the disk optical luminosity implies an upper limit of only 169 minutes for the orbital period of the white dwarf binary.


title: Factors of almost squares and lattice points on circles

abstract: In this paper, we consider a conjecture of Erdos and Rosenfeld and a conjecture of Ruzsa when the number is an almost square. By the same method, we consider lattice points of a circle close to the x-axis with special radii.


title: Field-induced incommensurate phase in the strong-rung spin ladder with ferromagnetic legs

abstract: We report magnetization, specific heat, and NMR measurements of 3-Br-4-F-V [=3-(3-bromo-4-fluorophenyl)-1,5-diphenylverdazyl], a strong-rung S=1/2 Heisenberg spin ladder with ferromagnetic leg interactions. We explain the magnetic and thermodynamic properties based on the strong-rung regime. Furthermore, we find a field-induced successive phase transition in the specific heat and the nuclear spin-lattice relaxation rate 1/T1. 19F-NMR spectra for higher- and lower-temperature phases indicate partial magnetic order and incommensurate long-range order, respectively, evidencing the presence of frustration due to weak interladder couplings.


title: Convective turbulence in a Rayleigh-Benard system with and without rotation in the infinite Prandtl number limit

abstract: Convective turbulence in a Rayleigh Benard system has shown a marked reluctance to exhibit clear scaling in the energy or entropy spectrum. The recent numerical simulation of Pandey, Verma and Mishra has shown significantly better evidence of scaling in the infinite Prandtl number limit. This prompted us to look at this limit analytically. We find that the inevitable presence of sweeping helps give a very good understanding of the results of Pandey et. al. In the presence of rotation, the Rayleigh number dependence of the Nusselt number shows a strong increase in slope in recent experiments and simulations at finite Prandtl number. In the infinite Prandtl number case we find that this steepening does not occur for any rotation speed and our results satisfy the Doering-Constantin bound.


title: The Mahler measure of the Rudin-Shapiro polynomials

abstract: Littlewood polynomials are polynomials with each of their coefficients in {-1,1}. A sequence of Littlewood polynomials that satisfies a remarkable flatness property on the unit circle of the complex plane is given by the Rudin-Shapiro polynomials. It is shown in this paper that the Mahler measure and the maximum modulus of the Rudin-Shapiro polynomials on the unit circle of the complex plane have the same size. It is also shown that the Mahler measure and the maximum norm of the Rudin-Shapiro polynomials have the same size even on not too small subarcs of the unit circle of the complex plane. Not even nontrivial lower bounds for the Mahler measure of the Rudin Shapiro polynomials have been known before.


title: Fault-Tolerant, but Paradoxical Path-Finding in Physical and Conceptual Systems

abstract: We report our initial investigations into reliability and path-finding based models and propose future areas of interest. Inspired by broken sidewalks during on-campus construction projects, we develop two models for navigating this "unreliable network." These are based on a concept of "accumulating risk" backward from the destination, and both operate on directed acyclic graphs with a probability of failure associated with each edge. The first serves to introduce and has faults addressed by the second, more conservative model. Next, we show a paradox when these models are used to construct polynomials on conceptual networks, such as design processes and software development life cycles. When the risk of a network increases uniformly, the most reliable path changes from wider and longer to shorter and narrower. If we let professional inexperience--such as with entry level cooks and software developers--represent probability of edge failure, does this change in path imply that the novice should follow instructions with fewer "back-up" plans, yet those with alternative routes should be followed by the expert?


title: A Hybrid Latent Variable Neural Network Model for Item Recommendation

abstract: Collaborative filtering is used to recommend items to a user without requiring a knowledge of the item itself and tends to outperform other techniques. However, collaborative filtering suffers from the cold-start problem, which occurs when an item has not yet been rated or a user has not rated any items. Incorporating additional information, such as item or user descriptions, into collaborative filtering can address the cold-start problem. In this paper, we present a neural network model with latent input variables (latent neural network or LNN) as a hybrid collaborative filtering technique that addresses the cold-start problem. LNN outperforms a broad selection of content-based filters (which make recommendations based on item descriptions) and other hybrid approaches while maintaining the accuracy of state-of-the-art collaborative filtering techniques.


title: Radiative corrections to the Yukawa couplings in two Higgs doublet models

abstract: A pattern of deviations in coupling constants of Standard Model (SM)-like Higgs boson from their SM predictions indicates characteristics of an extended Higgs sector. In particular, Yukawa coupling constants can deviate in different patterns in four types of Two Higgs Doublet Models (THDMs) with a softly-broken Z_2 symmetry. We can discriminate types of THDMs by measuring the pattern of these deviations. We calculate Yukawa coupling constants of the SM-like Higgs boson with radiative corrections in all types of Yukawa interactions in order to compare to future precision data at the International Linear Collider (ILC). We perform numerical computations of scale factors, and evaluate differences between the Yukawa couplings in THDMs and those of the SM at the one-loop level. We find that scale factors in different types of THDMs do not overlap each other even in the case with maximum radiative corrections if gauge couplings are different from the SM predictions large enough to be measured at the ILC. Therefore, in such a case, we can indirectly determine the type of the THDM at the ILC even without finding additional Higgs bosons directly.


title: Reducing the Effects of Detrimental Instances

abstract: Not all instances in a data set are equally beneficial for inducing a model of the data. Some instances (such as outliers or noise) can be detrimental. However, at least initially, the instances in a data set are generally considered equally in machine learning algorithms. Many current approaches for handling noisy and detrimental instances make a binary decision about whether an instance is detrimental or not. In this paper, we 1) extend this paradigm by weighting the instances on a continuous scale and 2) present a methodology for measuring how detrimental an instance may be for inducing a model of the data. We call our method of identifying and weighting detrimental instances reduced detrimental instance learning (RDIL). We examine RIDL on a set of 54 data sets and 5 learning algorithms and compare RIDL with other weighting and filtering approaches. RDIL is especially useful for learning algorithms where every instance can affect the classification boundary and the training instances are considered individually, such as multilayer perceptrons trained with backpropagation (MLPs). Our results also suggest that a more accurate estimate of which instances are detrimental can have a significant positive impact for handling them.


title: Cutting edges at random in large recursive trees

abstract: We comment on old and new results related to the destruction of a random recursive tree (RRT), in which its edges are cut one after the other in a uniform random order. In particular, we study the number of steps needed to isolate or disconnect certain distinguished vertices when the size of the tree tends to infinity. New probabilistic explanations are given in terms of the so-called cut-tree and the tree of component sizes, which both encode different aspects of the destruction process. Finally, we establish the connection to Bernoulli bond percolation on large RRT's and present recent results on the cluster sizes in the supercritical regime.


title: Diffusion behavior in Nickel-Aluminium and Aluminium-Uranium diluted alloys

abstract: Impurity diffusion coefficients are entirely obtained from a low cost classical molecular statics technique (CMST). In particular, we show how CMST is appropriate in order to describe the impurity diffusion behavior mediated by a vacancy mechanism. In the context of the five-frequency model, CMST allows to calculate all the microscopic parameters, namely: the free energy of vacancy formation, the vacancy-solute binding energy and the involved jump frequencies, from them, we obtain the macroscopic transport magnitudes such as: correlation factor, solvent-enhancement factor, Onsager and diffusion coefficients. Specifically, we perform our calculations in f.c.c. diluted Ni-Al and Al-U alloys. Results for the tracer diffusion coefficients of solvent and solute species are in agreement with available experimental data for both systems. We conclude that in Ni-Al and Al-U systems solute atoms migrate by direct interchange with vacancies in all the temperature range where there are available experimental data. In the Al-U case, a vacancy drag mechanism could occur at temperatures below 550K.


title: Feature Selection For High-Dimensional Clustering

abstract: We present a nonparametric method for selecting informative features in high-dimensional clustering problems. We start with a screening step that uses a test for multimodality. Then we apply kernel density estimation and mode clustering to the selected features. The output of the method consists of a list of relevant features, and cluster assignments. We provide explicit bounds on the error rate of the resulting clustering. In addition, we provide the first error bounds on mode based clustering.


title: Respiratory Particle Deposition Probability due to Sedimentation with Variable Gravity and Electrostatic Forces

abstract: In this paper, we study the effects of the acceleration gravity on the sedimentation deposition probability, as well as the aerosol deposition rate on the surface of the Earth and Mars, but also aboard a spacecraft in orbit around Earth and Mars as well for particles with density rho_p = 1300 kg/m^3, diameters d_p = 1, 3, 5 micrometers and residence times t = 0.0272, 0.2 s respectively. For particles of diameter 1 micrometer we find that, on the surface of Earth and Mars the deposition probabilities are higher at the poles when compared to the ones at the equator. Similarly, on the surface of the Earth we find that the deposition probabilities exhibit 0.5% and 0.4% higher percentage difference at the poles when compared to that of the equator, for the corresponding residence times. Moreover in orbit equatorial orbits result to higher deposition probabilities when compared to polar ones. For both residence times particles with the diameters considered above in circular and elliptical orbits around Mars, the deposition probabilities appear to be the same for all orbital inclinations. Sedimentation probability increases drastically with particle diameter and orbital eccentricity of the orbiting spacecraft. Finally, as an alternative framework for the study of interaction and the effect of gravity in biology, and in particular gravity and the respiratory system we introduce is the term information in a way Shannon has introduced it, considering the sedimentation probability as a random variable. This can be thought as a way in which gravity enters the cognitive processes of the system (processing of information) in the cybernetic sense.


title: Cosymplectic p-spheres

abstract: We introduce cosymplectic circles and cosymplectic spheres, which are the analogues in the cosymplectic setting of contact circles and contact spheres. We provide a complete classification of compact 3-manifolds that admit a cosymplectic circle. The properties of tautness and roundness for a cosymplectic $p$-sphere are studied. To any taut cosymplectic circle on a three-dimensional manifold $M$ we are able to canonically associate a complex structure and a conformal symplectic couple on $M \times \mathbb{R}$. We prove that a cosymplectic circle in dimension three is round if and only if it is taut. On the other hand, we provide examples in higher dimensions of cosymplectic circles which are taut but not round and examples of cosymplectic circles which are round but not taut.


title: "Skinny Milky Way, Please", says Sagittarius

abstract: Motivated by recent observations of the Sagittarius stream, we devise a rapid algorithm to generate faithful representations of the centroids of stellar tidal streams formed in a disruption of a progenitor of an arbitrary mass in an arbitrary potential. Our method works by releasing swarms of test particles at the Lagrange points around the satellite and subsequently evolving them in a combined potential of the host and the progenitor. We stress that the action of the progenitor's gravity is crucial to making streams that look almost indistinguishable from the N-body realizations, as indeed ours do. The method is tested on mock stream data in three different Milky Way potentials with increasing complexity, and is shown to deliver unbiased inference on the Galactic mass distribution out to large radii. When applied to the observations of the Sagittarius stream, our model gives a natural explanation of the stream's apocentric distances and the differential orbital precession. We, therefore, provide a new independent measurement of the Galactic mass distribution beyond 50 kpc. The Sagittarius stream model favours a light Milky Way with the mass 4.1 +/- 0.4 x 10^11 M_sun at 100 kpc, which can be extrapolated to 5.6 +/- 1.2 x 10^11 M_sun at 200 kpc. Such a low mass for the Milky Way Galaxy is in good agreement with estimates from the kinematics of halo stars and from the satellite galaxies (once Leo I is removed from the sample). It entirely removes the "Too Big To Fail Problem".


title: The validity of quasi steady-state approximations in discrete stochastic simulations

abstract: In biochemical networks, reactions often occur on disparate timescales and can be characterized as either "fast" or "slow." The quasi-steady state approximation (QSSA) utilizes timescale separation to project models of biochemical networks onto lower-dimensional slow manifolds. As a result, fast elementary reactions are not modeled explicitly, and their effect is captured by non-elementary reaction rate functions (e.g. Hill functions). The accuracy of the QSSA applied to deterministic systems depends on how well timescales are separated. Recently, it has been proposed to use the non-elementary rate functions obtained via the deterministic QSSA to define propensity functions in stochastic simulations of biochemical networks. In this approach, termed the stochastic QSSA, fast reactions that are part of non-elementary reactions are not simulated, greatly reducing computation time. However, it is unclear when the stochastic QSSA provides an accurate approximation of the original stochastic simulation. We show that, unlike the deterministic QSSA, the validity of the stochastic QSSA does not follow from timescale separation alone, but also depends on the sensitivity of the non-elementary reaction rate functions to changes in the slow species. The stochastic QSSA becomes more accurate when this sensitivity is small. Different types of QSSAs result in non-elementary functions with different sensitivities, and the total QSSA results in less sensitive functions than the standard or the pre-factor QSSA. We prove that, as a result, the stochastic QSSA becomes more accurate when non-elementary reaction functions are obtained using the total QSSA. Our work provides a novel condition for the validity of the QSSA in stochastic simulations of biochemical reaction networks with disparate timescales.


title: Simplicial Multivalued Maps and the Witness Complex for Dynamical Analysis of Time Series

abstract: Topology based analysis of time-series data from dynamical systems is powerful: it potentially allows for computer-based proofs of the existence of various classes of regular and chaotic invariant sets for high-dimensional dynamics. Standard methods are based on a cubical discretization of the dynamics and use the time series to construct an outer approximation of the underlying dynamical system. The resulting multivalued map can be used to compute the Conley index of isolated invariant sets of cubes. In this paper we introduce a discretization that uses instead a simplicial complex constructed from a witness-landmark relationship. The goal is to obtain a natural discretization that is more tightly connected with the invariant density of the time series itself. The time-ordering of the data also directly leads to a map on this simplicial complex that we call the witness map. We obtain conditions under which this witness map gives an outer approximation of the dynamics, and thus can be used to compute the Conley index of isolated invariant sets. The method is illustrated by a simple example using data from the classical H\'enon map.


title: Strong THz and Infrared Optical Forces on a Suspended Single-Layer Graphene Sheet

abstract: Single-layer graphene exhibits exceptional mechanical properties attractive for optomechanics: it combines low mass density, large tensile modulus, and low bending stiffness. However, at visible wavelengths, graphene absorbs weakly and reflects even less, thereby inadequate to generate large optical forces needed in optomechanics. Here, we numerically show that a single-layer graphene sheet is sufficient to produce strong optical forces under terahertz or infrared illumination. For a system as simple as graphene suspended atop a uniform substrate, high reflectivity from the substrate is crucial in creating a standing-wave pattern, leading to a strong optical force on graphene. This force is readily tunable in amplitude and direction by adjusting the suspension height. In particular, repellent optical forces can levitate graphene to a series of stable equilibrium heights above the substrate. One of the key parameters to maximize the optical force is the excitation frequency: peak forces are found near the scattering frequency of free carriers in graphene. With a dynamically controllable Fermi level, graphene opens up new possibilities of tunable nanoscale optomechanical devices.


title: The Nature and Origin of Substructure in the Outskirts of M31 -- II. Detailed Star Formation Histories

abstract: While wide-field surveys of M31 have revealed much substructure at large radii, understanding the nature and origin of this material is not straightforward from morphology alone. Using deep HST/ACS data, we have derived further constraints in the form of quantitative star formation histories (SFHs) for 14 inner halo fields which sample diverse substructures. In agreement with our previous analysis of colour-magnitude diagram morphologies, we find the resultant behaviours can be broadly separated into two categories. The SFHs of 'disc-like' fields indicate that most of their mass has formed since z~1, with one quarter of the mass formed in the last 5 Gyr. We find 'stream-like' fields to be on average 1.5 Gyr older, with <10 percent of their stellar mass formed within the last 5 Gyr. These fields are also characterised by an age--metallicity relation showing rapid chemical enrichment to solar metallicity by z=1, suggestive of an early-type progenitor. We confirm a significant burst of star formation 2 Gyr ago, discovered in our previous work, in all the fields studied here. The presence of these young stars in our most remote fields suggests that they have not formed in situ but have been kicked-out from through disc heating in the recent past.


title: Theory of Optomechanical Interactions in Superfluid He

abstract: A general theory is presented to describe optomechanical interactions of acoustic phonons, having extremely long lifetimes in superfluid $^4$He, with optical photons in the medium placed in a suitable electromagnetic cavity. The acoustic nonlinearity in the fluid motion is included to consider processes beyond the usual linear process involving absorption or emission of one phonon at a time. We first apply our formulation to the simplest one-phonon process involving the usual resonant anti-Stokes upconversion of an incident optical mode. However, when the allowed optical cavity modes are such that there is no single-phonon mode in the superfluid which can give rise to a resonant allowed anti-Stokes mode, we must consider the possibility of two phonon upconversion. For such a case, we show that the two step two phonon process could be dominant. We present arguments for large two step process and negligible single step two phonon contribution. The two step process also shows interesting quantum interference among different transition pathways.


title: Deformations of $T^{1,1}$ as Yang-Baxter sigma models

abstract: We consider a family of deformations of T^{1,1} in the Yang-Baxter sigma model approach. We first discuss a supercoset description of T^{1,1}, which makes manifest the full symmetry of the space and leads to the standard Sasaki-Einstein metric. Next, we consider three-parameter deformations of T^{1,1} by using classical r-matrices satisfying the classical Yang-Baxter equation (CYBE). The resulting metric and NS-NS two-form agree exactly with the ones obtained via TsT transformations, and contain the Lunin-Maldacena background as a special case. It is worth noting that for AdS_5 x T^{1,1}, classical integrability for the full sector has been argued to be lost. Hence our result indicates that the Yang-Baxter sigma model approach is applicable even for non-integrable cosets. This observation suggests that the gravity/CYBE correspondence can be extended beyond integrable cases.


title: Multi-cores, posets, and lattice paths

abstract: Hooks are prominent in representation theory (of symmetric groups) and they play a role in number theory (via cranks associated to Ramanujan's congruences). A partition of a positive integer $n$ has a Young diagram representation. To each cell in the diagram there is an associated statistic called hook length, and if a number $t$ is absent from the diagram then the partition is called a $t$-core. A partition is an $(s,t)$-core if it is both an $s$- and a $t$-core. Since the work of Anderson on $(s,t)$-cores, the topic has received a growing attention. This paper expands the discussion to multiple-cores. More precisely, we explore $(s,s+1,\dots,s+k)$-core partitions much in the spirit of a recent paper by Stanley and Zanello. In fact, our results exploit connections between three combinatorial objects: multi-cores, posets and lattice paths (with a novel generalization of Dyck paths). Additional results and conjectures are scattered throughout the paper. For example, one of these statements implies a curious symmetry for twin-prime $(s,s+2)$-core partitions.


title: Robust topological surface states of Bi2Se3 thin films on amorphous SiO2/Si substrate and a large ambipolar gating effect

abstract: The recent emergence of topological insulators (TI) has spurred intensive efforts to grow TI thin films on various substrates. However, little is known about how robust the topological surface states (TSS) are against disorders and other detrimental effects originating from the substrates. Here, we report observation of a well-defined TSS on Bi2Se3 films grown on amorphous SiO2 (a-SiO2) substrates and a large gating effect on these films using the underneath doped-Si substrate as the back gate. The films on a-SiO2 were composed of c-axis ordered but random in-plane domains. However, despite the in-plane randomness induced by the amorphous substrate, the transport properties of these films were superior to those of similar films grown on single-crystalline Si(111) substrates, which are structurally better matched but chemically reactive with the films. This work sheds light on the importance of chemical compatibility, compared to lattice matching, for the growth of TI thin films, and also demonstrates that the technologically-important and gatable a-SiO2/Si substrate is a promising platform for TI films.


title: The 17 GHz active region number

abstract: We report the statistics of the number of active regions (NAR) observed at 17 GHz with the Nobeyama Radioheliograph between 1992, near the maximum of cycle 22, and 2013, that also includes the maximum of cycle 24, and we compare with other activity indexes. We find that NAR minima are shorter than those of the sunspot number (SSN) and radio flux at 10.7 cm (F10.7). This shorter NAR minima could reflect the presence of active regions generated by faint magnetic fields or spotless regions, which were a considerable fraction of the counted active regions. The ratio between the solar radio indexes F10.7/NAR shows a similar reduction during the two minima analyzed, which contrasts with the increase of the ratio of both radio indexes in relation to the SSN during the minimum of cycle 23-24. These results indicate that the radio indexes are more sensitive to weaker magnetic fields than those necessary to form sunspots, of the order of 1500 G. The analysis of the monthly averages of the active region brightness temperatures shows that its long term variation mimics the solar cycle, although, due to the gyro-resonance emission, a great number of intense spikes are observed in the maximum temperature study. The decrease, in number, of these spikes is also evident during the current cycle 24, a consequence of the sunspot magnetic field weakening in the last years.


title: Passive Newtonian noise suppression for gravitational-wave observatories based on shaping of the local topography

abstract: In this article we propose a new method for reducing Newtonian noise in laser-interferometric gravitational-wave detectors located on the Earth's surface. We show that by excavating meter-scale recesses in the ground around the main test masses of a gravitational wave detector it is possible to reduce the coupling of Rayleigh wave driven seismic disturbances to test mass displacement. A discussion of the optimal recess shape is given and we use finite element simulations to derive the scaling of the Newtonian noise suppression with the parameters of the recess as well as the frequency of the seismic excitation. Considering an interferometer similar to an Advance LIGO configuration, our simulations indicate a frequency dependent Newtonian noise suppression factor of 2 to 4 in the relevant frequency range for a recesses of 4m depth and a width and length of 11m and 5m, respectively. Though a retrofit to existing interferometers seems not impossible, the application of our concept to future infrastructures seems to provide a better benefit/cost ratio and therefore a higher feasibility.


title: How roundoff errors help to compute the rotation set of torus homeomorphisms

abstract: The goals of this paper are to obtain theoretical models of what happens when a computer calculates the rotation set of a homeomorphism, and to find a good algorithm to perform simulations of this rotation set. To do that we introduce the notion of observable rotation set, which takes into account the fact that we can only detect phenomenon appearing on positive Lebesgue measure sets; we also define the asymptotic discretized rotation set which in addition takes into account the fact that the computer calculates with a finite number of digits It appears that both theoretical results and simulations suggest that the asymptotic discretized rotation set is a much better approximation of the rotation set than the observable rotation set, in other words we need to do coarse roundoff errors to obtain numerically the rotation set.


title: Energy-Efficient Cooperative Cognitive Relaying Schemes for Cognitive Radio Networks

abstract: We investigate a cognitive radio network in which a primary user (PU) may cooperate with a cognitive radio user (i.e., a secondary user (SU)) for transmissions of its data packets. The PU is assumed to be a buffered node operating in a time-slotted fashion where the time is partitioned into equal-length slots. We develop two schemes which involve cooperation between primary and secondary users. To satisfy certain quality of service (QoS) requirements, users share time slot duration and channel frequency bandwidth. Moreover, the SU may leverage the primary feedback message to further increase both its data rate and satisfy the PU QoS requirements. The proposed cooperative schemes are designed such that the SU data rate is maximized under the constraint that the PU average queueing delay is maintained less than the average queueing delay in case of non-cooperative PU. In addition, the proposed schemes guarantee the stability of the PU queue and maintain the average energy emitted by the SU below a certain value. The proposed schemes also provide more robust and potentially continuous service for SUs compared to the conventional practice in cognitive networks where SUs transmit in the spectrum holes and silence sessions of the PUs. We include primary source burstiness, sensing errors, and feedback decoding errors to the analysis of our proposed cooperative schemes. The optimization problems are solved offline and require a simple 2-dimensional grid-based search over the optimization variables. Numerical results show the beneficial gains of the cooperative schemes in terms of SU data rate and PU throughput, average PU queueing delay, and average PU energy savings.


title: Hyperfine structures and Land\'e $g_J$-factors for $n=2$ states in beryllium-, boron-, carbon-, and nitrogen-like ions from relativistic configuration interaction calculations

abstract: Energy levels, hyperfine interaction constants, and Land\'e $g_J$-factors are reported for n=2 states in beryllium-, boron-, carbon-, and nitrogen-like ions from relativistic configuration interaction calculations. Valence, core-valence, and core-core correlation effects are taken into account through single and double-excitations from multireference expansions to increasing sets of active orbitals. A systematic comparison of the calculated hyperfine interaction constants is made with values from the available literature.


title: Stabilisation de la formule des traces tordue VI: la partie g\'eom\'etrique de cette formule

abstract: This paper is one of a series whose goal is to stabilize the twisted Arthur-Selberg's trace formula. Here we define the objects appearing in the geometric side of the twisted trace formula. We define also the similar stable and endoscopic objects. We state the principal theorems concerning the stabilization of this geometric side. The proofs will be given in forthcoming papers.


title: Quasilocal conservation laws in XXZ spin-1/2 chains: open, periodic and twisted boundary conditions

abstract: A continuous family of quasilocal exact conservation laws is constructed in the anisotropic Heisenberg (XXZ) spin-1/2 chain for periodic (or twisted) boundary conditions and for a set of commensurate anisotropies densely covering the entire easy plane interaction regime. All local conserved operators follow from the standard (Hermitian) transfer operator in fundamental representation (with auxiliary spin s=1/2), and are all even with respect to a spin flip operation. However, the quasilocal family is generated by differentiation of a non-Hermitian highest weight transfer operator with respect to a complex auxiliary spin representation parameter s and includes also operators of odd parity. For a finite chain with open boundaries the time derivatives of quasilocal operators are not strictly vanishing but result in operators localized near the boundaries of the chain. We show that a simple modification of the non-Hermitian transfer operator results in exactly conserved, but still quasilocal operators for periodic or generally twisted boundary conditions. As an application, we demonstrate that implementing the new exactly conserved operator family for estimating the high-temperature spin Drude weight results, in the thermodynamic limit, in exactly the same lower bound as for almost conserved family and open boundaries. Under the assumption that the bound is saturating (suggested by agreement with previous thermodynamic Bethe ansatz calculations) we propose a simple explicit construction of infinite time averages of local operators such as the spin current.

categories: math-ph cond-mat.str-el math.MP nlin.SI quant-ph


title: Boundary Behavior of the Ginzburg-Landau Order Parameter in the Surface Superconductivity Regime

abstract: We study the 2D Ginzburg-Landau theory for a type-II superconductor in an applied magnetic field varying between the second and third critical value. In this regime the order parameter minimizing the GL energy is concentrated along the boundary of the sample and is well approximated to leading order by a simplified 1D profile in the direction perpendicular to the boundary. Motivated by a conjecture of Xing-Bin Pan, we address the question of whether this approximation can hold uniformly in the boundary region. We prove that this is indeed the case as a corollary of a refined, second order energy expansion including contributions due to the curvature of the sample. Local variations of the GL order parameter are controlled by the second order term of this energy expansion, which allows us to prove the desired uniformity of the surface superconductivity layer.

categories: math-ph cond-mat.supr-con math.AP math.MP


title: Efficient finite dimensional approximations for the bilinear Schrodinger equation with bounded variation controls

abstract: This the text of a proceeding accepted for the 21st International Symposium on Mathematical Theory of Networks and Systems (MTNS 2014). We present some results of an ongoing research on the controllability problem of an abstract bilinear Schrodinger equation. We are interested by approximation of this equation by finite dimensional systems. Assuming that the uncontrolled term $A$ has a pure discrete spectrum and the control potential $B$ is in some sense regular with respect to $A$ we show that such an approximation is possible. More precisely the solutions are approximated by their projections on finite dimensional subspaces spanned by the eigenvectors of $A$. This approximation is uniform in time and in the control, if this control has bounded variation with a priori bounded total variation. Hence if these finite dimensional systems are controllable with a fixed bound on the total variation of the control then the system is approximatively controllable. The main outcome of our analysis is that we can build solutions for low regular controls such as bounded variation ones and even Radon measures.


title: Atomistic misconception of current model for condensed matter evaporation and new formulation

abstract: Even though the phenomenon of evaporation is omnipresent and has immense scientific and technological importance, the research effort to unveil its fundamentals remains inadequately low. As one particular consequence, the textbooks and educational courses are lacking detailed explanation of evaporation and its effects. In order to advance fundamental theory of evaporation and increase accuracy of evaporation simulation a novel evaporation theory is presented. This integrated Atomistic(Molecular)-Kinetics-Gasdynamics theoretical model that combines statistical mechanics, gas dynamics and thermodynamics approaches opens a path to detailed description of nonstationary, nonequilibrium evaporation of condensed matter. The main innovation of the proposed approach is that, unlike all previous and current models of evaporation that are based on the assumption of evaporation as emission of the particles that are not bound within the condense phase, the described new model treats evaporation of condensed phase as escape of the particles of sufficient kinetic energy out of potential well located at the boundary of condensed and gaseous phases. Correspondingly, the re-condensation of the vapor onto the surface is treated as entrapment of the vapor particles with kietic energy lower than the depth of the potential well. The described novel research will open new opportunities to substantially advance our knowledge and provide needed contributions to chemical, combustion, environmental, climate and other sciences that utilize evaporation theory. Additionally, it will provide invaluable new material for the undergraduate and graduate educational courses in Physics, Chemistry, Engineering, and Material Sciences.


title: ARC Sort: Enhanced and Time Efficient Sorting Algorithm

abstract: This paper discusses about a sorting algorithm which uses the concept of buckets where each bucket represents a certain number of digits. A two dimensional data structure is used where one dimension represents buckets i. e; number of digits and each bucket's corresponding dimensions represents the input numbers that belong to that bucket. Each bucket is then individually sorted. Since every preceding bucket elements will always be smaller than the succeeding buckets no comparison between them is required. By doing this we can significantly reduced the time complexity of any sorting algorithm used to sort the given set of inputs.


title: Experimental constraints and a possible quantum Hall state at $\nu =5/2$

abstract: Several topological orders have been proposed to explain the quantum Hall plateau at $\nu=5/2$. The observation of an upstream neutral mode on the sample edge [Bid et al., Nature (London) 466, 585 (2010)] supports the non-Abelian anti-Pfaffian state. On the other hand, the tunneling experiments [Radu et al., Science 320, 899 (2008); Lin et al., Phys. Rev. B 85, 165321 (2012); Baer et al., arXiv:1405.0428] favor the Halperin 331 state which exhibits no upstream modes. We find a topological order, compatible with the results of both types of experiments. That order allows both finite and zero spin polarizations. It is Abelian but its signatures in Aharonov-Bohm interferometry can be similar to those of the Pfaffian and anti-Pfaffian states.


title: Corrections to Eikonal Approximation for Nuclear Scattering at Medium Energies

abstract: The upcoming Facility for Rare Isotope Beams (FRIB) at the National Superconducting Cyclotron Laboratory (NSCL) at Michigan State University has reemphasized the importance of accurate modeling of low energy nucleus-nucleus scattering. Such calculations have been simplified by using the eikonal approximation. As a high energy approximation, however, its accuracy suffers for the medium energy beams that are of current experimental interest. A prescription developed by Wallace \cite{Wallace:1971zz,Wallace:1973iu} that obtains the scattering propagator as an expansion around the eikonal propagator (Glauber approach) has the potential to extend the range of validity of the approximation to lower energies. Here we examine the properties of this expansion, and calculate the first-, second-, and third-order corrections for the scattering of a spinless particle off of a ${}^{40}$Ca nucleus, and for nuclear breakup reactions involving ${}^{11}$Be. We find that, including these corrections extends the lower bound of the range of validity of the down to energies of 40 MeV. At that energy the corrections provide as much as a 15\% correction to certain processes.


title: Torsion, Magnetic Monopoles and Faraday's Law via a Variational Principle

abstract: Even though Faraday's Law is a dynamical law that describes how changing $\bf{E}$ and $\bf {B}$ fields influence each other, by introducing a vector potential $A_{\mu}$ according to $F_{\mu\nu}=\partial_{\mu}A_{\nu}-\partial_{\nu}A_{\mu}$ Faraday's Law is satisfied kinematically, with the relation $(-g)^{-1/2}\epsilon^{\mu\nu\sigma\tau}\nabla_{\nu}F_{\sigma\tau}=0$ holding on every path in a variational procedure or path integral. In a space with torsion $Q_{\alpha\beta\gamma}$ the axial vector $S^{\mu}=(-g)^{1/2}\epsilon^{\mu\alpha\beta\gamma}Q_{\alpha\beta\gamma}$ serves as a chiral analog of $A_{\mu}$, and via variation with respect to $S_{\mu}$ one can derive Faraday's Law dynamically as a stationarity condition. With $S_{\mu}$ serving as an axial potential one is able to introduce magnetic monopoles without $S_{\mu}$ needing to be singular or have a non-trivial topology. Our analysis permits torsion and magnetic monopoles to be intrinsically Grassmann, which could explain why they have never been detected. Our procedure permits us to both construct a Weyl geometry in which $A_{\mu}$ is metricated and then convert it into a standard Riemannian geometry.


title: Industrial-Strength Documentation for ACL2

abstract: The ACL2 theorem prover is a complex system. Its libraries are vast. Industrial verification efforts may extend this base with hundreds of thousands of lines of additional modeling tools, specifications, and proof scripts. High quality documentation is vital for teams that are working together on projects of this scale. We have developed XDOC, a flexible, scalable documentation tool for ACL2 that can incorporate the documentation for ACL2 itself, the Community Books, and an organization's internal formal verification projects, and which has many features that help to keep the resulting manuals up to date. Using this tool, we have produced a comprehensive, publicly available ACL2+Books Manual that brings better documentation to all ACL2 users. We have also developed an extended manual for use within Centaur Technology that extends the public manual to cover Centaur's internal books. We expect that other organizations using ACL2 will wish to develop similarly extended manuals.


title: Calibrating CHIME, A New Radio Interferometer to Probe Dark Energy

abstract: The Canadian Hydrogen Intensity Mapping Experiment (CHIME) is a transit interferometer currently being built at the Dominion Radio Astrophysical Observatory (DRAO) in Penticton, BC, Canada. We will use CHIME to map neutral hydrogen in the frequency range 400 -- 800\,MHz over half of the sky, producing a measurement of baryon acoustic oscillations (BAO) at redshifts between 0.8 -- 2.5 to probe dark energy. We have deployed a pathfinder version of CHIME that will yield constraints on the BAO power spectrum and provide a test-bed for our calibration scheme. I will discuss the CHIME calibration requirements and describe instrumentation we are developing to meet these requirements.


title: A Computational Study of Residual KPP Front Speeds in Time-Periodic Cellular Flows in the Small Diffusion Limit

abstract: The minimal speeds ($c^*$) of the Kolmogorov-Petrovsky-Piskunov (KPP) fronts at small diffusion ($\epsilon \ll 1$) in a class of time-periodic cellular flows with chaotic streamlines is investigated in this paper. The variational principle of $c^*$ reduces the computation to that of a principal eigenvalue problem on a periodic domain of a linear advection-diffusion operator with space-time periodic coefficients and small diffusion. To solve the advection dominated time-dependent eigenvalue problem efficiently over large time, a combination of finite element and spectral methods, as well as the associated fast solvers, are utilized to accelerate computation. In contrast to the scaling $c^*=\mathcal{O}(\epsilon^{1/4})$ in steady cellular flows, a new relation $c^* = \mathcal{O}(1)$ as $\epsilon \ll 1$ is revealed in the time-periodic cellular flows due to the presence of chaotic streamlines. Residual propagation speed emerges from the Lagrangian chaos which is quantified as a sub-diffusion process.


title: Individual gain and engagement with mathematical understanding

abstract: We examine a measure of individual student gain by preservice elementary teachers, related to Richard Hakes use of mean gain in the study of reform classes in undergraduate physics. The gain statistic assesses the amount individual students increase their test scores from initial test to final test, as a proportion of the possible increase for each student. We examine the written work in mathematics classes of preservice elementary teachers with very high gain and those with very low gain and show that these groups exhibit distinct psychological attitudes and dispositions to learning mathematics. We show a statistically significant, small, increase in average gain when course goals focus on patterns, connections, and meaning making in mathematics. A common belief is that students with low initial test scores will have higher gains, and students with high initial-test scores will have lower gains. We show that this is not correct for a cohort of preservice elementary teachers.


title: The proof of the correctness of the Birch and Swinnerton-Diyer conjecture

abstract: The proof of the conjecture of the Birch and Swinnerton - Dyer is presented in the paper. The Riemann's hypothesis on the distribution of non-trivial zeroes of the zeta-function of Riemann, previously proven, is word to prove this hypothesis.


title: On the Smallest Eigenvalue of Grounded Laplacian Matrices

abstract: We provide upper and lower bounds on the smallest eigenvalue of grounded Laplacian matrices (which are matrices obtained by removing certain rows and columns of the Laplacian matrix of a given graph). The gap between the upper and lower bounds depends on the ratio of the smallest and largest components of the eigenvector corresponding to the smallest eigenvalue of the grounded Laplacian. We provide a graph-theoretic bound on this ratio, and subsequently obtain a tight characterization of the smallest eigenvalue for certain classes of graphs. Specifically, for Erdos-Renyi random graphs, we show that when a (sufficiently small) set $S$ of rows and columns is removed from the Laplacian, and the probability $p$ of adding an edge is sufficiently large, the smallest eigenvalue of the grounded Laplacian asymptotically almost surely approaches $|S|p$. We also show that for random $d$-regular graphs with a single row and column removed, the smallest eigenvalue is $\Theta(\frac{d}{n})$. Our bounds have applications to the study of the convergence rate in continuous-time and discrete-time consensus dynamics with stubborn or leader nodes.


title: Deuterium chemistry of dense gas in the vicinity of low-mass and massive star forming regions

abstract: The standard interstellar ratio of deuterium to hydrogen (D/H) atoms is $\sim 1.5 \times 10^{-5}$. However, the deuterium fractionation is in fact found to be enhanced, to different degrees, in cold, dark cores, hot cores around massive star forming regions, lukewarm cores, and warm cores ({\it hereafter}, hot corinos) around low-mass star forming regions. In this paper, we investigate the overall differences in the deuterium chemistry between hot cores and hot corinos. We have modelled the chemistry of dense gas around low-mass and massive star forming regions using a gas-grain chemical model. We investigate the influence of varying the core density, the depletion efficiency of gaseous species on to dust grains, the collapse mode and the final mass of the protostar on the chemical evolution of star forming regions. We find that the deuterium chemistry is, in general, most sensitive to variations of the depletion efficiency on to grain surfaces, in agreement with observations. In addition, the results showed that the chemistry is more sensitive to changes in the final density of the collapsing core in hot cores than in hot corinos. Finally, we find that ratios of deuterated sulphur bearing species in dense gas around hot cores and corinos may be good evolutionary indicators in a similar way as their non deuterated counterparts.


title: On a secant Dirichlet series and Eichler integrals of Eisenstein series

abstract: We consider, for even $s$, the secant Dirichlet series $\psi_s (\tau) = \sum_{n = 1}^{\infty} \frac{\sec (\pi n \tau)}{n^s}$, recently introduced and studied by Lal\'{\i}n, Rodrigue and Rogers. In particular, we show, as conjectured and partially proven by Lal\'{\i}n, Rodrigue and Rogers, that the values $\psi_{2 m} ( \sqrt{r})$, with $r > 0$ rational, are rational multiples of $\pi^{2 m}$. We then put the properties of the secant Dirichlet series into context by showing that they are Eichler integrals of odd weight Eisenstein series of level $4$. This leads us to consider Eichler integrals of general Eisenstein series and to determine their period polynomials. In the level $1$ case, these polynomials were recently shown by Murty, Smyth and Wang to have most of their roots on the unit circle. We provide evidence that this phenomenon extends to the higher level case. This observation complements recent results by Conrey, Farmer and Imamoglu as well as El-Guindy and Raji on zeros of period polynomials of Hecke eigenforms in the level $1$ case. Finally, we briefly revisit results of a similar type in the works of Ramanujan.


title: A new approach to bipolar soft sets and its applications

abstract: Molodtsov \cite{molodtsov-1999} proposed the concept of soft set theory in 1999, which can be used as a mathematical tool for dealing with problems that contain uncertainty. Sabir and Naz \cite{shabir-2013} defined notion of bipolar soft set in 2013. In this paper, we redefine concept of bipolar soft set and bipolar soft set operations as more functional than former. Also we study on their basic properties and we present a decision making method with application.


title: Gini's mean difference and variance as measures of finite populations scales

abstract: We consider Gini's mean difference statistic as an alternative to the empirical variance in the settings of finite populations where simple random samples are drawn without replacement. In particular, we discuss specific (in the finite population context) estimation strategies for a scale of the population, related to the alternative statistic under possible presence of outliers in the data. The paper presents also a wide comparative survey of properties of the Gini mean difference statistic and the empirical variance. It includes asymptotic properties of both statistics: the asymptotic normality, one-term Edgeworth expansions and bootstrap approximations for Studentized versions of the statistics. An estimation of the variances and other parameters of the statistics is also in the study, where we exploit an auxiliary information on the population elements in the case of its availability. Theoretical results are illustrated with a simulation study.


title: Dark Nuclei I: Cosmology and Indirect Detection

abstract: In a companion paper (to be presented), lattice field theory methods are used to show that in two-color, two-flavor QCD there are stable nuclear states in the spectrum. As a commonly studied theory of composite dark matter, this motivates the consideration of possible nuclear physics in this and other composite dark sectors. In this work, early Universe cosmology and indirect detection signatures are explored for both symmetric and asymmetric dark matter, highlighting the unique features that arise from considerations of dark nuclei and associated dark nuclear processes. The present day dark matter abundance may be composed of dark nucleons and/or dark nuclei, where the latter are generated through it dark nucleosynthesis. For symmetric dark matter, indirect detection signatures are possible from annihilation, dark nucleosynthesis, and dark nuclear capture and we present a novel explanation of the galactic center gamma ray excess based on the latter. For asymmetric dark matter, dark nucleosynthesis may alter the capture of dark matter in stars, allowing for captured particles to be processed into nuclei and ejected from the star through dark nucleosynthesis in the core. Notably, dark nucleosynthesis realizes a novel mechanism for indirect detection signals of asymmetric dark matter from regions such as the galactic center, without having to rely on a symmetric dark matter component.


title: Designing Complex Dynamics in Cellular Automata with Memory

abstract: Since their inception at {\it Macy conferences} in later 1940s complex systems remain the most controversial topic of inter-disciplinary sciences. The term `complex system' is the most vague and liberally used scientific term. Using elementary cellular automata (ECA), and exploiting the CA classification, we demonstrate elusiveness of `complexity' by shifting space-time dynamics of the automata from simple to complex by enriching cells with {\it memory}. This way, we can transform any ECA class to another ECA class --- without changing skeleton of cell-state transition function --- and vice versa by just selecting a right kind of memory. A systematic analysis display that memory helps `discover' hidden information and behaviour on trivial --- uniform, periodic, and non-trivial --- chaotic, complex --- dynamical systems.


title: Modelling the sulphur chemistry evolution in Orion KL

abstract: We study the sulphur chemistry evolution in the Orion KL along the gas and grain phases of the cloud. We investigate the processes that dominate the sulphur chemistry and to determine how physical and chemical parameters, such as the final star mass and the initial elemental abundances, influence the evolution of the hot core and of the surrounding outflows and shocked gas (the plateau). We independently modelled the chemistry evolution of both components using the time-dependent gas-grain model UCL_CHEM and considering two different phase calculations. Phase I starts with the collapsing cloud and the depletion of atoms and molecules onto grain surfaces. Phase II starts when a central protostar is formed and the evaporation from grains takes place. We show how the gas density, the gas depletion efficiency, the initial sulphur abundance, the shocked gas temperature and the different chemical paths on the grains leading to different reservoirs of sulphur on the mantles affect sulphur-bearing molecules at different evolutionary stages. We also compare the predicted column densities with those inferred from observations of the species SO, SO2, CS, OCS, H2S and H2CS. The models that reproduce the observations of the largest number of sulphur-bearing species are those with an initial sulphur abundance of 0.1 times the sulphur solar abundance and a density of at least n_H=5x10^6 cm^-3 in the shocked gas region. We conclude that most of the sulphur atoms were ionised during Phase I, consistent with an inhomogeneous and clumpy region where the UV interstellar radiation penetrates leading to sulphur ionisation. We also conclude that the main sulphur reservoir on the ice mantles was H2S. In addition, we deduce that a chemical transition currently takes place in the shocked gas, where SO and SO2 gas-phase formation reactions change from being dominated by O2 to being dominated by OH.


title: $B_s \to K \ell \nu$ form factors from lattice QCD

abstract: We report the first lattice QCD calculation of the form factors for the standard model tree-level decay $B_s\to K \ell\nu$. In combination with future measurement, this calculation will provide an alternative exclusive semileptonic determination of $|V_{ub}|$. We compare our results with previous model calculations, make predictions for differential decay rates and branching fractions, and predict the ratio of differential branching fractions between $B_s\to K\tau\nu$ and $B_s\to K\mu\nu$. We also present standard model predictions for differential decay rate forward-backward asymmetries, polarization fractions, and calculate potentially useful ratios of $B_s\to K$ form factors with those of the fictitious $B_s\to\eta_s$ decay. Our lattice simulations utilize NRQCD $b$ and HISQ light quarks on a subset of the MILC Collaboration's $2+1$ asqtad gauge configurations, including two lattice spacings and a range of light quark masses.


title: Fitting FFT-derived Spectra: Theory, Tool, and Application to Solar Radio Spike Decomposition

abstract: Spectra derived from fast Fourier transform (FFT) analysis of time-domain data intrinsically contain statistical fluctuations whose distribution depends on the number of accumulated spectra contributing to a measurement. The tail of this distribution, which is essential for separation of the true signal from the statistical fluctuations, deviates noticeably from the normal distribution for a finite number of the accumulations. In this paper we develop a theory to properly account for the statistical fluctuations when fitting a model to a given accumulated spectrum. The method is implemented in software for the purpose of automatically fitting a large body of such FFT-derived spectra. We apply this tool to analyze a portion of a dense cluster of spikes recorded by our FST instrument during a record-breaking event that occurred on 06 Dec 2006. The outcome of this analysis is briefly discussed.

categories: astro-ph.SR math.ST physics.data-an stat.AP stat.TH


title: A PDE approach to fractional diffusion: a posteriori error analysis

abstract: We derive a computable a posteriori error estimator for the $\alpha$-harmonic extension problem, which localizes the fractional powers of elliptic operators supplemented with Dirichlet boundary conditions. Our a posteriori error estimator relies on the solution of small discrete problems on anisotropic cylindrical stars. It exhibits built-in flux equilibration and is equivalent to the energy error up to data oscillation, under suitable assumptions. We design a simple adaptive algorithm and present numerical experiments which reveal a competitive performance.


title: Robust Estimation of 3D Human Poses from a Single Image

abstract: Human pose estimation is a key step to action recognition. We propose a method of estimating 3D human poses from a single image, which works in conjunction with an existing 2D pose/joint detector. 3D pose estimation is challenging because multiple 3D poses may correspond to the same 2D pose after projection due to the lack of depth information. Moreover, current 2D pose estimators are usually inaccurate which may cause errors in the 3D estimation. We address the challenges in three ways: (i) We represent a 3D pose as a linear combination of a sparse set of bases learned from 3D human skeletons. (ii) We enforce limb length constraints to eliminate anthropomorphically implausible skeletons. (iii) We estimate a 3D pose by minimizing the $L_1$-norm error between the projection of the 3D pose and the corresponding 2D detection. The $L_1$-norm loss term is robust to inaccurate 2D joint estimations. We use the alternating direction method (ADM) to solve the optimization problem efficiently. Our approach outperforms the state-of-the-arts on three benchmark datasets.


title: Depth Map Prediction from a Single Image using a Multi-Scale Deep Network

abstract: Predicting depth is an essential component in understanding the 3D geometry of a scene. While for stereo images local correspondence suffices for estimation, finding depth relations from a single image is less straightforward, requiring integration of both global and local information from various cues. Moreover, the task is inherently ambiguous, with a large source of uncertainty coming from the overall scale. In this paper, we present a new method that addresses this task by employing two deep network stacks: one that makes a coarse global prediction based on the entire image, and another that refines this prediction locally. We also apply a scale-invariant error to help measure depth relations rather than scale. By leveraging the raw datasets as large sources of training data, our method achieves state-of-the-art results on both NYU Depth and KITTI, and matches detailed depth boundaries without the need for superpixelation.


title: Reentrance in an active spin glass model

abstract: Active matter, whose motion is driven, and glasses, whose dynamics are arrested, seem to lie at opposite ends of the spectrum in nonequilibrium systems. In spite of this, both classes of systems exhibit a multitude of stable states that are dynamically isolated from one another. While this defining characteristic is held in common, its origin is different in each case: for active systems, the irreversible driving forces can produce dynamically frozen states, while glassy systems vitrify when they get kinetically trapped on a rugged free energy landscape. In a mixture of active and glassy particles, the interplay between these two tendencies leads to novel phenomenology. We demonstrate this with a spin glass model that we generalize to include an active component. In the absence of a ferromagnetic bias, we find that the spin glass transition temperature depresses with the active fraction, consistent with what has been observed for fully active glassy systems. When a bias does exist, however, a new type of transition becomes possible: the system can be cooled out of the glassy phase. This unusual phenomenon, known as reentrance, has been observed before in a limited number of colloidal and micellar systems, but it has not yet been observed in active glass mixtures. Using low order perturbation theory, we study the origin of this reentrance and, based on the physical picture that results, suggest how our predictions might be measured experimentally.


title: A Piggybank Protocol for Quantum Cryptography

abstract: This paper presents a quantum mechanical version of the piggy-bank cryptography protocol. The basic piggybank cryptography idea is to use two communications: one with the encrypted message, and the other regarding the encryption transformation which the receiver must decipher first. In the quantum mechanical version of the protocol, the encrypting unitary transformation information is sent separately but just deciphering it is not enough to break the system. The proposed quantum protocol consists of two stages.


title: The Outburst of the Blazar S40954+658 in March-April 2011

abstract: We present the results of optical (R band) photometric and polarimetric monitoring and Very Long Baseline Array (VLBA) imaging of the blazar S4 0954+658, along with Fermi and gamma;-ray data during a multi-waveband outburst in 2011 March-April. After a faint state with a brightness level R ~17.6 mag registered in the first half of January 2011, the optical brightness of the source started to rise and reached ~14.8 mag during the middle of March, showing flare-like behavior. The most spectacular case of intranight variability was observed during the night of 2011 March 9, when the blazar brightened by ~0.7 mag within ~7 hours. During the rise of the flux the position angle of optical polarization rotated smoothly over more than 300$\deg$. At the same time, within 1$\sigma$ uncertainty a new superluminal knot appeared with an apparent speed of 19.0$\pm$0.3 c. We have very strong evidence for association of this knot with the multi-waveband outburst in 2011 March-April. We also analyze the multi-frequency behavior of S4 0954+658 during a number of minor outbursts from August 2008 to April 2012. We find some evidence of connections between at least two more superluminal ejecta and near-simultaneous optical flares.


title: Nonuniform Expansion of the Youngest Galactic Supernova Remnant G1.9+0.3

abstract: We report measurements of X-ray expansion of the youngest Galactic supernova remnant, G1.9+0.3, using Chandra observations in 2007, 2009, and 2011. The measured rates strongly deviate from uniform expansion, decreasing radially by about 60% along the X-ray bright SE-NW axis from 0.84% +/- 0.06% per yr to 0.52% +/- 0.03% per yr. This corresponds to undecelerated ages of 120-190 yr, confirming the young age of G1.9+0.3, and implying a significant deceleration of the blast wave. The synchrotron-dominated X-ray emission brightens at a rate of 1.9% +/- 0.4% per yr. We identify bright outer and inner rims with the blast wave and reverse shock, respectively. Sharp density gradients in either ejecta or ambient medium are required to produce the sudden deceleration of the reverse shock or the blast wave implied by the large spread in expansion ages. The blast wave could have been decelerated recently by an encounter with a modest density discontinuity in the ambient medium, such as found at a wind termination shock, requiring strong mass loss in the progenitor. Alternatively, the reverse shock might have encountered an order-of-magnitude density discontinuity within the ejecta, such as found in pulsating delayed-detonation Type Ia models. We demonstrate that the blast wave is much more decelerated than the reverse shock in these models for remnants at ages similar to G1.9+0.3. Similar effects may also be produced by dense shells possibly associated with high-velocity features in Type Ia spectra. Accounting for the asymmetry of G1.9+0.3 will require more realistic 3D Type Ia models.


title: Canadian Hydrogen Intensity Mapping Experiment (CHIME) Pathfinder

abstract: A pathfinder version of CHIME (the Canadian Hydrogen Intensity Mapping Experiment) is currently being commissioned at the Dominion Radio Astrophysical Observatory (DRAO) in Penticton, BC. The instrument is a hybrid cylindrical interferometer designed to measure the large scale neutral hydrogen power spectrum across the redshift range 0.8 to 2.5. The power spectrum will be used to measure the baryon acoustic oscillation (BAO) scale across this poorly probed redshift range where dark energy becomes a significant contributor to the evolution of the Universe. The instrument revives the cylinder design in radio astronomy with a wide field survey as a primary goal. Modern low-noise amplifiers and digital processing remove the necessity for the analog beamforming that characterized previous designs. The Pathfinder consists of two cylinders 37\,m long by 20\,m wide oriented north-south for a total collecting area of 1,500 square meters. The cylinders are stationary with no moving parts, and form a transit instrument with an instantaneous field of view of $\sim$100\,degrees by 1-2\,degrees. Each CHIME Pathfinder cylinder has a feedline with 64 dual polarization feeds placed every $\sim$30\,cm which Nyquist sample the north-south sky over much of the frequency band. The signals from each dual-polarization feed are independently amplified, filtered to 400-800\,MHz, and directly sampled at 800\,MSps using 8 bits. The correlator is an FX design, where the Fourier transform channelization is performed in FPGAs, which are interfaced to a set of GPUs that compute the correlation matrix. The CHIME Pathfinder is a 1/10th scale prototype version of CHIME and is designed to detect the BAO feature and constrain the distance-redshift relation.


title: The Energy-Critical Quantum Harmonic Oscillator

abstract: We consider the energy critical nonlinear Schr\"{o}dinger equation in dimensions $d \ge 3$ with a harmonic oscillator potential $V(x) = \tfrac{1}{2} |x|^2$. When the nonlinearity is defocusing, we prove global wellposedness for all initial data in the energy space $\Sigma$, consisting of all functions $u_0$ such that both $\nabla u_0$ and $x u_0$ belong to $L^2$. This result extends a theorem of Killip-Visan-Zhang \cite{kvz_quadratic_potentials}, which treats the radial case. For the focusing problem, we obtain global wellposedness for all data satisfying an analogue of the usual size restriction in terms of the ground state $W$. The proof uses the concentration compactness variant of the induction on energy paradigm. In particular, we develop a linear profile decomposition adapted to the propagator $\exp[ it(\tfrac{1}{2}\Delta - \tfrac{1}{2}|x|^2)]$ for bounded sequences in $\Sigma$.


title: Light-Cone Analysis of the Pure Spinor Formalism for the Superstring

abstract: Physical states of the superstring can be described in light-cone gauge by acting with transverse bosonic $\alpha_{-n}^{j}$ and fermionic $\bar{q}_{-n}^{\dot{a}}$ operators on an $SO\left(8\right)$-covariant superfield where $j,\dot{a}=1$ to $8$. In the pure spinor formalism, these states are described in an $SO\left(9,1\right)$-covariant manner by the cohomology of the BRST charge $Q=\frac{1}{2\pi i}\oint\lambda^{\alpha}d_{\alpha}$. In this paper, a similarity transformation is found which simplifies the form of $Q$ and maps the light-cone description of the superstring vertices into DDF-like operators in the cohomology of $Q$.


title: Dark matter monopoles, vectors and photons

abstract: In a secluded dark sector which is coupled to the Standard Model via a Higgs portal interaction we arrange for the existence of 't Hooft-Polyakov magnetic monopoles and study their implications for cosmology. We point out that a dark sector which can accommodate stable monopoles will also contain massless dark photons gamma' as well as charged massive vector bosons W'. The dark matter in this scenario will be a combination of magnetically and electrically charged species under the unbroken U(1) subgroup of the dark sector. We estimate the cosmological production rate of monopoles and the rate of monopole-anti-monopole annihilation and conclude that monopoles with masses of few hundred TeV or greater, can produce sizeable contributions to the observed dark matter relic density. We scan over the parameter space and compute the relic density for monopoles and vector bosons. Turning to the dark photon radiation, we compute their contribution to the measured density of relativistic particles Neff and also apply observational constraints from the Bullet cluster and other large scale galaxies on long-range interactions for the self-interacting dark matter components made out of monopoles and out of dark vector bosons. At scales relevant for dwarf galaxies we identify regions on the parameter space where self-interacting monopole and vector dark mater components can aid solving the core-cusp and the too-big-to-fail problems.


title: Analitic approach to solve a degenerate parabolic PDE for the Heston model

abstract: We present an analytic approach to solve a degenerate parabolic problem associated to the Heston model, which is widely used in mathematical finance to derive the price of an European option on an risky asset with stochastic volatility. We give a variational formulation, involving weighted Sobolev spaces, of the second order degenerate elliptic operator of the parabolic PDE. We use this approach to prove, under appropriate assumptions on some involved unknown parameters, the existence and uniqueness of weak solutions to the parabolic problem on unbounded subdomains of the half-plane.


title: Using Gossips to Spread Information: Theory and Evidence from a Randomized Controlled Trial

abstract: Is it possible to identify individuals who are highly central in a community without gathering any network information, simply by asking a few people? If we use people's nominees as seeds for a diffusion process, will it be successful? We explore these questions theoretically, via surveys, and via field experiments. We show via a model of information flow how members of a community can, just by tracking gossip about others, identify highly central individuals in their network. Asking villagers in rural Indian villages to name good seeds for diffusion, we find that they accurately nominate those who are central according to a measure tailored for diffusion - not just those with many friends or in powerful positions. Finally, we run a randomized field experiment in 213 other villages that tests how effective it is to use such nominations as seeds for a diffusion process. Relative to random seeds or those with high social status, hitting at least one seed nominated by villagers leads to more than a 65% increase in the spread of information.


title: A Fast, Minimal Memory, Consistent Hash Algorithm

abstract: We present jump consistent hash, a fast, minimal memory, consistent hash algorithm that can be expressed in about 5 lines of code. In comparison to the algorithm of Karger et al., jump consistent hash requires no storage, is faster, and does a better job of evenly dividing the key space among the buckets and of evenly dividing the workload when the number of buckets changes. Its main limitation is that the buckets must be numbered sequentially, which makes it more suitable for data storage applications than for distributed web caching.


title: Probing Quarkonium Production Mechanisms with Jet Substructure

abstract: We use fragmenting jet functions (FJFs) in the context of quarkonia to study the production channels predicted by NRQCD (3S_1^(1), 3S_1^(8), 1S_0^(8), 3P_J^(8)). We choose a set of FJFs that give the probability to find a quarkonium with a given momentum fraction inside a cone-algorithm jet with fixed cone size and energy. This observable gives several lever arms that allow one to distinguish different production channels. In particular, we show that at fixed momentum fraction the individual production mechanisms have distinct behaviors as a function of the the jet energy. As a consequence of this fact, we arrive at the robust prediction that if the depolarizing 1S_0^(8) matrix element dominates, then the gluon FJF will diminish with increasing energy for fixed momentum fraction, z, and z > 0.5.


title: Approximating Nash Equilibria and Dense Subgraphs via an Approximate Version of Carath\'{e}odory's Theorem

abstract: We present algorithmic applications of an approximate version of Carath\'{e}odory's theorem. The theorem states that given a set of vectors $X$ in $\mathbb{R}^d$, for every vector in the convex hull of $X$ there exists an $\varepsilon$-close (under the $p$-norm distance, for $2\leq p < \infty$) vector that can be expressed as a convex combination of at most $b$ vectors of $X$, where the bound $b$ depends on $\varepsilon$ and the norm $p$ and is independent of the dimension $d$. This theorem can be derived by instantiating Maurey's lemma, early references to which can be found in the work of Pisier (1981) and Carl (1985). However, in this paper we present a self-contained proof of this result. Using this theorem we establish that in a bimatrix game with $ n \times n$ payoff matrices $A, B$, if the number of non-zero entries in any column of $A+B$ is at most $s$ then an $\varepsilon$-Nash equilibrium of the game can be computed in time $n^{O\left(\frac{\log s }{\varepsilon^2}\right)}$. This, in particular, gives us a polynomial-time approximation scheme for Nash equilibrium in games with fixed column sparsity $s$. Moreover, for arbitrary bimatrix games---since $s$ can be at most $n$---the running time of our algorithm matches the best-known upper bound, which was obtained by Lipton, Markakis, and Mehta (2003). The approximate Carath\'{e}odory's theorem also leads to an additive approximation algorithm for the normalized densest $k$-subgraph problem. Given a graph with $n$ vertices and maximum degree $d$, the developed algorithm determines a subgraph with exactly $k$ vertices with normalized density within $\varepsilon$ (in the additive sense) of the optimal in time $n^{O\left( \frac{\log d}{\varepsilon^2}\right)}$. Additionally, we show that a similar approximation result can be achieved for the problem of finding a $k \times k$-bipartite subgraph of maximum normalized density.


title: One-dimensional strongly interacting electrons with single impurity: conductance reemergence

abstract: We show that conductance of 1D channel with one point-like impurity critically depends on asymptotic behavior of e-e interaction at small momenta k (about inverse length of a channel). Conductance reemerges (contrary to the case of point-like repulsive potential) if potential V(k=0)= 0. For example, this happens if the bare e-e interaction is screened by the charges in the bulk. The relation of this phenomena to the long-range order present in the Luttinger model is discussed.


title: Explaining Violation Traces with Finite State Natural Language Generation Models

abstract: An essential element of any verification technique is that of identifying and communicating to the user, system behaviour which leads to a deviation from the expected behaviour. Such behaviours are typically made available as long traces of system actions which would benefit from a natural language explanation of the trace and especially in the context of business logic level specifications. In this paper we present a natural language generation model which can be used to explain such traces. A key idea is that the explanation language is a CNL that is, formally speaking, regular language susceptible transformations that can be expressed with finite state machinery. At the same time it admits various forms of abstraction and simplification which contribute to the naturalness of explanations that are communicated to the user.


title: Fine compactified Jacobians of reduced curves

abstract: To every singular reduced projective curve X one can associate many fine compactified Jacobians, depending on the choice of a polarization on X, each of which yields a modular compactification of a disjoint union of the generalized Jacobian of X. We investigate the geometric properties of fine compactified Jacobians focusing on curves having locally planar singularities. We give examples of nodal curves admitting non isomorphic (and even non homeomorphic over the field of complex numbers) fine compactified Jacobians. We study universal fine compactified Jacobians, which are relative fine compactified Jacobians over the semiuniversal deformation space of the curve X. Finally, we investigate the existence of twisted Abel maps with values in suitable fine compactified Jacobians.


title: Projective resolutions of associative algebras and ambiguities

abstract: The aim of this article is to give a method to construct bimodule resolutions of associative algebras, generalizing Bardzell's well-known resolution of monomial algebras. We stress that this method leads to concrete computations, providing thus a useful tool for computing invariants associated to the algebras. We illustrate how to use it giving several examples in the last section of the article. In particular we give necessary and sufficient conditions for noetherian down-up algebras to be 3-Calabi-Yau.