Results for "Robert Harper"

total 15551took 0.21s
Computational Higher Type Theory II: Dependent Cubical RealizabilityJun 30 2016This is the second in a series of papers extending Martin-L\"{o}f's meaning explanation of dependent type theory to account for higher-dimensional types. We build on the cubical realizability framework for simple types developed in Part I, and extend ... More
A Separation Logic for Concurrent Randomized ProgramsFeb 08 2018We present a concurrent separation logic with support for probabilistic reasoning. As part of our logic, we extend the idea of coupling, which underlies recent work on probabilistic relational logics, to the setting of programs with both probabilistic ... More
Computational Higher Type Theory I: Abstract Cubical RealizabilityApr 29 2016Jun 14 2016Brouwer's constructivist foundations of mathematics is based on an intuitively meaningful notion of computation shared by all mathematicians. Martin-L\"of's meaning explanations for constructive type theory define the concept of a type in terms of computation. ... More
Computational Higher Type Theory II: Dependent Cubical RealizabilityJun 30 2016Oct 04 2016This is the second in a series of papers extending Martin-L\"{o}f's meaning explanation of dependent type theory to account for higher-dimensional types. We build on the cubical realizability framework for simple types developed in Part I, and extend ... More
On instanton homology of corks W_nApr 18 2013We consider a family of corks, denoted $W_n$, constructed by Akbulut and Yasui. Each cork gives rise to an exotic structure on a smooth 4-manifold via a twist $\tau$ on its boundary $\Sigma_n = \partial W_n$. We compute the instanton Floer homology of ... More
Entropy Rates of the Multidimensional Moran Processes and GeneralizationsJan 13 2014The interrelationships of the fundamental biological processes natural selection, mutation, and stochastic drift are quantified by the entropy rate of Moran processes with mutation, measuring the long-run variation of a Markov process. The entropy rate ... More
A Population-centric Approach to the Beauty Contest GameMay 07 2010Dec 13 2014An population-centric analysis for a version of the p-beauty contest game is given for the two-player, finite population, and infinite population cases. Winning strategies are characterized in terms of iterative thinking relative to the population. To ... More
A Note on the Uniform Kan Condition in Nominal Cubical SetsJan 23 2015Bezem, Coquand, and Huber have recently given a constructively valid model of higher type theory in a category of nominal cubical sets satisfying a novel condition, called the uniform Kan condition (UKC), which generalizes the standard cubical Kan condition ... More
The scissors mode from a different perspectiveJan 05 2015Apr 09 2015The scissors mode, a magnetic dipole excitation-mainly orbital is usually discussed in terms of a transition from a J=0^{+} ground state to a J=1^{+} excited state. This is understandable because it follows from the way the experiment is performed-e.g. ... More
Wave functions of the Q.Q interaction in terms of unitary 9-j coefficientsJun 19 2013Mar 20 2015We obtain wave functions for 2 protons and 2 neutrons in the g_{9/2} shell expressed as column vectors with amplitudes D(J_{p},J_{n}). When we use a quadrupole-quadrupole interaction (Q.Q) we get, in many cases, a very strong overlap with wave functions ... More
The Range of a Steiner OperationAug 27 2016This paper answers a fundamental question in the theory of Steiner operations (StOps) as defined and studied in the monograph, "Global Methods for Combinatorial Isoperimetric Problems" (GMCIP). StOps are morphisms for combinatorial isoperimetric problems, ... More
The edge-isorperimetric problem on Sierpinski graphsOct 06 2016Some families of graphs, such as the n-cubes and Sierpinski gaskets, are self-similar. In this paper we show how such recursive structure can be used systematically to prove isoperimetric theorems.
Can the Sierpinski graph be embedded in the Hamming graph?Sep 21 2016The (generalized & expanded) Sierpinski graph, S(n,m), and the Hamming graph have the same set of vertices (n-tuples from the set {0,1,...,m-1}. The edges of both are (unordered) pairs of vertices. Each set of edges is defined by a different property ... More
Selective MemoizationJun 02 2011This paper presents language techniques for applying memoization selectively. The techniques provide programmer control over equality, space usage, and identification of precise dependences so that memoization can be applied according to the needs of ... More
MUSE CSP: An Extension to the Constraint Satisfaction ProblemNov 01 1996This paper describes an extension to the constraint satisfaction problem (CSP) called MUSE CSP (MUltiply SEgmented Constraint Satisfaction Problem). This extension is especially useful for those problems which segment into multiple sets of partially shared ... More
Controlled Experimentation in Naturalistic Mobile SettingsJun 17 2013Jun 18 2013Performing controlled user experiments on small devices in naturalistic mobile settings has always proved to be a difficult undertaking for many Human Factors researchers. Difficulties exist, not least, because mimicking natural small device usage suffers ... More
Inferring Fitness in Finite Populations with Moran-like dynamicsMar 19 2013Oct 23 2013Biological fitness is not an observable quantity and must be inferred from population dynamics. Bayesian inference applied to the Moran process and variants yields a robust inference method that can infer fitness in populations evolving via a Moran dynamic ... More
Discovery Potential for GMSB Supersymmetry in ATLAS using the $Zγ+ \not E_T$ Final State at a center of mass energy of $\sqrt{s}$=10 \TeVOct 21 2009We have studied the sensitivity of the ATLAS detector for supersymmetric neutralino signals in the $Z\gamma +\notE_{T}$ final state in a GMSB model in which the Higgsino-like neutralino is NLSP. This study considers the reaction of $pp \ra \tilde{\chi}^{0}_{1} ... More
The Replicator Equation as an Inference DynamicNov 09 2009May 03 2010The replicator equation is interpreted as a continuous inference equation and a formal similarity between the discrete replicator equation and Bayesian inference is described. Further connections between inference and the replicator equation are given ... More
Information Geometry and Evolutionary Game TheoryNov 09 2009The Shahshahani geometry of evolutionary game theory is realized as the information geometry of the simplex, deriving from the Fisher information metric of the manifold of categorical probability distributions. Some essential concepts in evolutionary ... More
Quadratic invariants for discrete clusters of weakly interacting wavesDec 13 2012May 13 2013We consider discrete clusters of quasi-resonant triads arising from a Hamiltonian three-wave equation. A cluster consists of N modes forming a total of M connected triads. We investigate the problem of constructing a functionally independent set of quadratic ... More
Morse Matchings on a HypersimplexNov 07 2012We present a family of complete acyclic Morse matchings on the face lattice of a hypersimplex. Since a hypersimplex is a convex polytope, there is a natural way to form a CW complex from its faces. In a future paper we will utilize these matchings to ... More
PDEs and hypercomplex analytic functionsSep 07 2016Hypercomplex numbers are unital algebras over the real numbers. We offer a short demonstration of the practical value of hypercomplex analytic functions in the field of partial differential equations.
Escort Evolutionary Game TheoryNov 09 2009Feb 24 2012A family of replicator-like dynamics, called the escort replicator equation, is constructed using information-geometric concepts and generalized information entropies and diverenges from statistical thermodynamics. Lyapunov functions and escort generalizations ... More
The Inherent Randomness of Evolving PopulationsMar 08 2013Mar 27 2013The entropy rates of the Wright-Fisher process, the Moran process, and generalizations are computed and used to compare these processes and their dependence on standard evolutionary parameters. Entropy rates are measures of the variation dependent on ... More
Detection of thermal radio emission from a single coronal giantNov 25 2016We report the detection of thermal continuum radio emission from the K0 III coronal giant Pollux ($\beta$ Gem) with the Karl G. Jansky Very Large Array (VLA). The star was detected at 21 and 9 GHz with flux density values of $150\pm21$ and $43\pm8\,\mu$Jy, ... More
Explaining quantum correlations through evolution of causal modelsAug 10 2016We propose a framework for the systematic and quantitative generalization of Bell's theorem using causal networks. We first consider the multi-objective optimization problem of matching observed data while minimizing the causal effect of nonlocal variables ... More
Periodic Table for Floquet Topological InsulatorsMar 22 2016Aug 16 2016Dynamical phases with novel topological properties are known to arise in driven systems of free fermions. In this paper, we obtain a `periodic table' to describe the phases of such time-dependent systems, generalizing the periodic table for static topological ... More
Floquet topological phases with symmetry in all dimensionsOct 21 2016Dynamical systems are known to host a number of remarkable symmetry-protected phases that are qualitatively different from their static analogs. In this work, we consider the phase space of symmetry-respecting unitary evolutions in detail and identify ... More
Abelian Floquet symmetry-protected topological phases in one dimensionFeb 25 2016Sep 06 2016Time-dependent systems have recently been shown to support novel types of topological order that cannot be realised in static systems. In this paper, we consider a range of time-dependent, interacting systems in one dimension that are protected by an ... More
Entropic Equilibria Selection of Stationary Extrema in Finite PopulationsMay 08 2015We propose the entropy of random Markov trajectories originating and terminating at a state as a measure of the stability of a state of a Markov process. These entropies can be computed in terms of the entropy rates and stationary distributions of Markov ... More
Minor arcs, mean values, and restriction theory for exponential sums over smooth numbersAug 07 2014We investigate exponential sums over those numbers $\leq x$ all of whose prime factors are $\leq y$. We prove fairly good minor arc estimates, valid whenever $\log^{3}x \leq y \leq x^{1/3}$. Then we prove sharp upper bounds for the $p$-th moment of (possibly ... More
A note on the maximum of the Riemann zeta function, and log-correlated random variablesApr 02 2013In recent work, Fyodorov and Keating conjectured the maximum size of $|\zeta(1/2+it)|$ in a typical interval of length O(1) on the critical line. They did this by modelling the zeta function by the characteristic polynomial of a random matrix; relating ... More
Converting Basic D3 Charts into Reusable Style TemplatesSep 17 2016Sep 20 2016We present a technique for converting a basic D3 chart into a reusable style template. Then, given a new data source we can apply the style template to generate a chart that depicts the new data, but in the style of the template. To construct the style ... More
Homology Representations Arising from a HypersimplexAug 30 2011We present a complete acyclic matching of the Hasse diagram associated with the face lattice of a hypersimplex. Since a hypersimplex is a convex polytope, there is a natural way to form a CW complex from its faces. We will then utilize this matching along ... More
Bar constructions and Quillen homology of modules over operadsFeb 16 2008Sep 27 2009We show that topological Quillen homology of algebras and modules over operads in symmetric spectra can be calculated by realizations of simplicial bar constructions. Working with several model category structures, we give a homotopical proof after showing ... More
J=0 T=1 Pairing Interaction Selection RulesAug 18 2014May 10 2015Wave functions arising form a pairing Hamiltonian E(0) i,e, one in which the interaction is only between J=0^{+}T=1 pairs, lead to magnetic dipole and Gamow-Teller transition rates that are much larger than those from an interaction E(J_{max}) in which ... More
On finding many solutions to S-unit equations by solving linear equations on averageAug 18 2011We give improved lower bounds for the number of solutions of some $S$-unit equations over the integers, by counting the solutions of some associated linear equations as the coefficients in those equations vary over sparse sets. This method is quite conceptually ... More
Bounds on the suprema of Gaussian processes, and omega results for the sum of a random multiplicative functionDec 01 2010Feb 22 2013We prove new lower bounds for the upper tail probabilities of suprema of Gaussian processes. Unlike many existing bounds, our results are not asymptotic, but supply strong information when one is only a little into the upper tail. We present an extended ... More
On a paper of K. Soundararajan on smooth numbers in arithmetic progressionsMar 10 2011In a recent paper, K. Soundararajan showed, roughly speaking, that the integers smaller than x whose prime factors are less than y are asymptotically equidistributed in arithmetic progressions to modulus q, provided that y^{4\sqrt{e}-\delta} \geq q and ... More
On the limit distributions of some sums of a random multiplicative functionDec 01 2010We study sums of a random multiplicative function; this is an example, of number-theoretic interest, of sums of products of independent random variables (chaoses). Using martingale methods, we establish a normal approximation for the sum over those n ... More
Stability of Anomalous Floquet Edge UnitariesSep 20 2016It has recently been shown that periodically driven noninteracting systems may exhibit anomalous chiral edge modes, despite hosting bands with trivial topology. We obtain many-body versions of such drives, corresponding to class A, which exhibit anomalous ... More
Incentive Processes in Finite PopulationsJun 11 2013Dec 03 2013We define the incentive process, a natural generalization of the Moran process incorporating evolutionary updating mechanisms corresponding to well-known evolutionary dynamics, such as the logit, projection, and best-reply dynamics. Fixation probabilities ... More
Homotopy theory of modules over operads and non-Sigma operads in monoidal model categoriesDec 31 2007Jun 03 2009This paper studies the existence of model category structures on algebras and modules over operads in monoidal model categories.
A Tale of Three RuntimesSep 05 2014This contribution discusses the automatic generation of event-driven, tuple-space based programs for task-oriented execution models from a sequential C specification. We developed a hierarchical mapping solution using auto-parallelizing compiler technology ... More
A Casson-Lin type invariant for linksJul 06 2009Nov 23 2009We define an integer valued invariant for two-component links in S^3 by counting projective SU(2) representations of the link group having non-trivial second Stiefel-Whitney class. We show that our invariant is, up to sign, the linking number of the link. ... More
Wave turbulence in the two-layer ocean modelOct 28 2013Dec 30 2013This paper looks at the two-layer ocean model from a wave turbulence perspective. A symmetric form of the two-layer kinetic equation for Rossby waves is derived using canonical variables, allowing the turbulent cascade of energy between the barotropic ... More
Homotopy theory of modules over operads in symmetric spectraDec 31 2007May 15 2014We establish model category structures on algebras and modules over operads in symmetric spectra, and study when a morphism of operads induces a Quillen equivalence between corresponding categories of algebras (resp. modules) over operads.
Stationary Stability for Evolutionary Dynamics in Finite PopulationsNov 05 2013Feb 17 2015We demonstrate a vast expansion of the theory of evolutionary stability to finite populations with mutation, connecting the theory of the stationary distribution of the Moran process with the Lyapunov theory of evolutionary stability. We define the notion ... More
The star formation histories of low surface brightness galaxiesSep 23 1999We have performed deep imaging of a diverse sample of 26 low surface brightness galaxies (LSBGs) in the optical and the near-infrared. Using stellar population synthesis models, we find that it is possible to place constraints on the ratio of young to ... More
Pickands' constant $H_α$ does not equal $1/Γ(1/α)$, for small $α$Apr 22 2014Pickands' constants $H_{\alpha}$ appear in various classical limit results about tail probabilities of suprema of Gaussian processes. It is an often quoted conjecture that perhaps $H_{\alpha} = 1/\Gamma(1/\alpha)$ for all $0 < \alpha \leq 2$, but it is ... More
Sharp conditional bounds for moments of the Riemann zeta functionMay 20 2013We prove, assuming the Riemann Hypothesis, that \int_{T}^{2T} |\zeta(1/2+it)|^{2k} dt \ll_{k} T log^{k^{2}} T for any fixed k \geq 0 and all large T. This is sharp up to the value of the implicit constant. Our proof builds on well known work of Soundararajan, ... More
Bombieri--Vinogradov and Barban--Davenport--Halberstam type theorems for smooth numbersAug 29 2012We prove Bombieri--Vinogradov and Barban--Davenport--Halberstam type theorems for the y-smooth numbers less than x, on the range log^{K}x \leq y \leq x. This improves on the range \exp{log^{2/3 + \epsilon}x} \leq y \leq x that was previously available. ... More
Instanton Floer homology for two-component linksJan 22 2010Sep 25 2011For any link of two components in an integral homology sphere, we define an instanton Floer homology whose Euler characteristic is the linking number between the components of the link. We relate this Floer homology to the Kronheimer-Mrowka instanton ... More
Higher homotopy excision and Blakers-Massey theorems for structured ring spectraFeb 19 2014May 05 2016Working in the context of symmetric spectra, we prove higher homotopy excision and higher Blakers-Massey theorems, and their duals, for algebras and left modules over operads in the category of modules over a commutative ring spectrum (e.g., structured ... More
The SU(N) Casson-Lin invariants for linksJun 11 2015Dec 03 2015We introduce the $SU(N)$ Casson-Lin invariants for links $L$ in $S^3$ with more than one component. Writing $L = \ell_1 \cup \cdots \cup \ell_n$, we require as input an $n$-tuple $(a_1,\ldots, a_n) \in {\mathbb Z}^n$ of labels, where $a_j$ is associated ... More
CARMA CO(J = 2 - 1) Observations of the Circumstellar Envelope of BetelgeuseJun 19 2012We report radio interferometric observations of the 12C16O 1.3 mm J = 2-1 emission line in the circumstellar envelope of the M supergiant Alpha Ori and have detected and separated both the S1 and S2 flow components for the first time. Observations were ... More
Detecting Concepts Crucial for Success in Mathematics Courses from Knowledge State-based Placement DataDec 02 2013We show that individual topics and skills can have a dramatic effect on the outcomes of students in various mathematics courses at the University of Illinois. Data from the placement program at Illinois associates a knowledge state, a subset of 182 items ... More
Orderings of weakly correlated random variables, and prime number races with many contestantsSep 24 2015We investigate the race between prime numbers in many residue classes modulo $q$, assuming the standard conjectures GRH and LI. Among our results we exhibit, for the first time, prime races modulo $q$ with $n$ competitor classes where the biases do not ... More
Derived Koszul duality and TQ-homology completion of structured ring spectraFeb 24 2015Jul 23 2015Working in the context of symmetric spectra, we consider any higher algebraic structures that can be described as algebras over an operad O. We prove that the fundamental adjunction comparing O-algebra spectra with coalgebra spectra over the associated ... More
Basic Experiment Planning via Information Metrics: the RoboMendel ProblemOct 17 2012In this paper we outline some mathematical questions that emerge from trying to "turn the scientific method into math". Specifically, we consider the problem of experiment planning (choosing the best experiment to do next) in explicit probabilistic and ... More
Additive decompositions of sets with restricted prime factorsSep 03 2013We investigate sumset decompositions of quite general sets with restricted prime factors. We manage to handle certain sets, such as the smooth numbers, even though they have little sieve amenability, and conclude that these sets cannot be written as a ... More
One Dimensional Dynamical Models of the Carina Nebula BubbleDec 16 2008We have tested the two main theoretical models of bubbles around massive star clusters, Castor et al. and Chevalier & Clegg, against observations of the well studied Carina Nebula. The Castor et al. theory over-predicts the X-ray luminosity in the Carina ... More
Lower bounds for the variance of sequences in arithmetic progressions: primes and divisor functionsFeb 05 2016We develop a general method for lower bounding the variance of sequences in arithmetic progressions mod $q$, summed over all $q \leq Q$, building on previous work of Liu, Perelli, Hooley, and others. The proofs lower bound the variance by the minor arc ... More
Homotopy completion and topological Quillen homology of structured ring spectraFeb 07 2011Feb 06 2013Working in the context of symmetric spectra, we describe and study a homotopy completion tower for algebras and left modules over operads in the category of modules over a commutative ring spectrum (e.g., structured ring spectra). We prove a strong convergence ... More
Estimating the fidelity of T gates using standard interleaved randomized benchmarkingAug 09 2016Randomized benchmarking (RB) is an important protocol for robustly characterizing the error rates of quantum gates. The technique is typically applied to the Clifford gates since they form a group that satisfies a convenient technical condition of forming ... More
Ohmic Losses in Valence-band Photoemission ExperimentsAug 14 2000Photoemission experiments involve the motion of an electron near a conducting surface. This necessarily generates heat by ohmic losses from eddy currents. This inelastic scattering of the electrons will result in a downward shift in observed spectra. ... More
Theory of Percolative Conduction in Polycrystaline High-temperature SuperconductorsNov 17 1998Jul 01 1999Conduction in bulk polycrystalline high-T$_c$ superconductors with relatively high critical currents has been shown to be percolative. This phenomenon is due to weak links at grain boundaries. These weak links are the major limiting factor for technological ... More
Conditions for the importance of inelastic losses in photoemissionDec 04 2001It is shown that for materials near the metal insulator transition, inelastic losses can give rise to substantial changes on a scale of 10-100 meV in the observed lineshape compared to the intrinsic spectral function of an electron photoemitted from a ... More
Holographic Renormalization for Asymptotically Lifshitz SpacetimesJul 28 2011Sep 07 2011A variational formulation is given for a theory of gravity coupled to a massive vector in four dimensions, with Asymptotically Lifshitz boundary conditions on the fields. For theories with critical exponent z=2 we obtain a well-defined variational principle ... More
Effective Lifetimes of $B_s$ Decays and their Constraints on the $B_s^0$-$\bar B_s^0$ Mixing ParametersSep 23 2011Measurements of the effective lifetimes of $B_s$-meson decays, which only require untagged rate analyses, allow us to probe the width difference $\Delta\Gamma_s$ and the CP-violating phase $\phi_s$ of $B^0_s$-$\bar B^0_s$ mixing. We point out that the ... More
A Fresh Look at B_{s,d} -> pi pi, pi K, K K DecaysDec 03 2010Using updated measurements and SU(3)-breaking form factors, we have a detailed look at the B_d -> pi^+ pi^-, B_s -> K^+ K^- and B_d -> pi^\mp K^\pm, B_s -> pi^\pm K^\mp systems. The corresponding decays are related to each other by the U-spin symmetry ... More
A Flow-aware MAC Protocol for a Passive Optical Metropolitan Area NetworkFeb 17 2011The paper introduces an original MAC protocol for a passive optical metropolitan area network using time-domain wavelength interleaved networking (TWIN)% as proposed recently by Bell Labs . Optical channels are shared under the distributed control of ... More
c-axis Josephson Tunneling in Twinned YBCO CrystalsJul 02 1999Jan 13 2000Josephson tunneling between YBCO and Pb with the current flowing along the c-axis of the YBCO is persumed to come from an s-wave component of the superconductivity of the YBCO. Experiments on multi-twin samples are not entirely consistent with this hypothesis. ... More
Theory of Josephson tunneling along the c-axis of YBCOMar 10 1998The existence of Josephson tunneling has been demonstrated between YBa$_2$Cu$_3$O$_{7-\delta}$ and Pb with the current flowing along the c-axis of YBa$_2$Cu$_3$O$_{7-\delta}$. This is presumed to come from an s-wave component of the superconductivity ... More
Physical states of Bianchi type IX quantum cosmologies described by the Chern-Simons functionalMar 18 1996A class of exact solutions of the Wheeler-DeWitt equation for diagonal Bianchi type IX cosmologies with cosmological constant is derived in the metric representation. This class consists of all the ``topological solutions'' which are associated with the ... More
A note on Helson's conjecture on moments of random multiplicative functionsMay 06 2015We give lower bounds for the small moments of the sum of a random multiplicative function, which improve on some results of Bondarenko and Seip and constitute further progress towards (dis)proving a conjecture of Helson. We also prove asymptotics for ... More
Morse matchings on polytopesJul 25 2011We show how to construct homology bases for certain CW complexes in terms of discrete Morse theory and cellular homology. We apply this technique to study certain subcomplexes of the half cube polytope studied in previous works. This involves constructing ... More
Towards the Safety of Human-in-the-Loop Robotics: Challenges and Opportunities for Safety Assurance of Robotic Co-WorkersApr 08 2014Jun 04 2014The success of the human-robot co-worker team in a flexible manufacturing environment where robots learn from demonstration heavily relies on the correct and safe operation of the robot. How this can be achieved is a challenge that requires addressing ... More
An integral chains analog of Quillen's rational homotopy theory equivalenceNov 13 2016We prove that the fundamental adjunction comparing spaces with coalgebra complexes over the associated integral homology comonad, via integral chains, can be turned into an equivalence of homotopy theories by replacing spaces with the full subcategory ... More
Approximate Negative-Binomial Confidence Intervals: Asbestos Fiber CountsNov 17 2016Nov 29 2016The negative-binomial distribution is adopted for analyzing asbestos-fiber counts so as to account for both the sampling errors in capturing only a finite number of fibers as well as the inevitable human variation in identifying and counting sampled fibers. ... More
Performance Impact of Lock-Free Algorithms on Multicore Communication APIsJan 09 2014Data race conditions in multi-tasking software applications are prevented by serializing access to shared memory resources, ensuring data consistency and deterministic behavior. Traditionally tasks acquire and release locks to synchronize operations on ... More
Comment on "Elementary formula for the Hall conductivity of interacting systems"Feb 05 2014In a recent paper by Neupert, Santos, Chamon, and Mudry [Phys. Rev. B 86, 165133 (2012)] it is claimed that there is an elementary formula for the Hall conductivity of fractional Chern insulators. We show that the proposed formula cannot generally be ... More
The Art of War: Beyond Memory-one Strategies in Population GamesMay 16 2014We define a new strategy for population games based on techniques from machine learning and statistical inference that is essentially uninvadable and can successfully invade (significantly more likely than a neutral mutant) essentially all known memory-one ... More
Mean Evolutionary Dynamics for Stochastically Switching EnvironmentsJun 10 2013Populations of replicating entities frequently experience sudden or cyclical changes in environment. We explore the implications of this phenomenon via a environmental switching parameter in several common evolutionary dynamics models including the replicator ... More
Phenomenology with a non-zero B_s decay width differenceMay 29 2013The experimentally established non-zero decay width difference of the B_s meson system gives us access to a mass eigenstate rate asymmetry for each B_s transition. This observable is not only the key ingredient in converting between differing definitions ... More
On uniformization of compact Kahler spacesJan 11 2016Jul 29 2016The aim of the note is to extend the uniformization theorem to compact Kahler spaces X with mild singularities and establish a kind of rigidity of their universal coverings. We assume the fundamental group of X is large, residually finite and nonamenable. ... More
Automatic Homeomorphicity of Locally Moving ClonesDec 01 2015Jul 26 2016We extend the work of M. Rubin on locally moving groups to clones, showing that a locally moving polymorphism clone has automatic homeomorphicity with respect to the class of all polymorphism clones. We show that if $\mathrm{Pol}(M,\mathcal{L})$ is the ... More
Theory of Neutron Diffraction from the Vortex Lattice in UPt3Sep 04 1996Neutron scattering experiments have recently been performed in the superconducting state of UPt3 to determine the structure of the vortex lattice. The data show anomalous field dependence of the aspect ratio of the unit cell in the B phase. There is apparently ... More
Theory News on $B_{s(d)} \to μ^+μ^-$ DecaysDec 20 2012The rare decays $B_{s(d)} \to \mu^+\mu^-$ play a key role for the testing of the Standard Model. An overview of the most recent theoretical predictions of the corresponding branching ratios is given, emphasizing that the sizable decay width difference ... More
On Branching Ratios of $B_s$ Decays and the Search for New Physics in $B^0_s\to μ^+μ^-$Aug 14 2012The LHCb experiment has recently established a sizable width difference between the mass eigenstates of the $B_s$-meson system. This phenomenon leads to a subtle difference at the 10% level between the experimental branching ratios of $B_s$ decays extracted ... More
Extracting CKM Phases from Angular Distributions of $B_{d,s}$ Decays into Admixtures of CP EigenstatesMar 31 1999Apr 26 1999The time-dependent angular distributions of certain $B_{d,s}$ decays into final states that are admixtures of CP-even and CP-odd configurations provide valuable information about CKM phases and hadronic parameters. We present the general formalism to ... More
CP Violation in B Decays and Strategies for Extracting CKM PhasesSep 01 1998A brief review of CP violation in the $B$-meson system and of strategies to determine the angles $\alpha$, $\beta$ and $\gamma$ of the unitarity triangle of the CKM matrix is given. Both general aspects and some recent developments are discussed, including ... More
B Physics in the LHC Era: Selected TopicsOct 04 2010We have just entered a new round in the testing of the flavour sector of the Standard Model through high-precision measurements of B-meson decays. A particularly exciting aspect is the exploration of the B_s-meson system at LHCb. We focus on two particularly ... More
Controlling Rescattering Effects in Constraints on the CKM Angle $γ$ arising from $B\toπK$ DecaysApr 17 1998It has recently been pointed out that the observables of the decay $B^+\to K^+\bar{K^0}$ and its charge conjugate allow us to take into account rescattering effects in constraints on the CKM angle $\gamma$ arising from $B^\pm\to\pi^\pm K$ and $B_d\to\pi^\pm ... More
Strategies for Fixing the CKM-angle $γ$ and Obtaining Experimental Insights into the World of Electroweak PenguinsSep 01 1995Using the $SU(3)$ flavour symmetry of strong interactions, we propose strategies for extracting both the CKM-angle $\gamma$ and the $\bar b\to\bar uu\bar s$ tree-level amplitude $T'$. We present also an approximate approach using the branching ratios ... More
Electrical Structure of Biological Cells and Tissues: impedance spectroscopy, stereology, and singular perturbation theoryNov 04 2015Impedance Spectroscopy resolves electrical properties into uncorrelated variables, as a function of frequency, with exquisite resolution. Separation is robust and most useful when the system is linear. Impedance spectroscopy combined with appropriate ... More
A note comprising a negative resolution of the Efficient Market HypothesisNov 01 2010This note comprises a negative resolution of the Efficient Market Hypothesis.
Combining allele frequency uncertainty and population substructure corrections in forensic DNA calculationsSep 28 2015Oct 06 2015In forensic DNA calculations of relatedness of individuals and in DNA mixture analyses, two sources of uncertainty are present concerning the allele frequencies used for evaluating genotype probabilities when evaluating likelihoods. They are: (i) imprecision ... More
Experiments with zeta zeros and Perron's formulaMar 31 2011Of what use are the zeros of the Riemann zeta function? We can use sums involving zeta zeros to count the primes up to $x$. Perron's formula leads to sums over zeta zeros that can count the squarefree integers up to $x$, or tally Euler's $\phi$ function ... More