Cambridge University: Recent submissions

Now showing items 1141-1160 of 1268

  • A Fully Automatic Theorem Prover with Human-Style Output 

    Ganesalingam, M; Gowers, William Timothy (SpringerJournal of Automated Reasoning, 2016-06-11)
    This paper describes a program that solves elementary mathematical problems, mostly in metric space theory, and presents solutions that are hard to distinguish from solutions that might be written by human mathematicians.

  • Time-domain implementation of an impedance boundary condition with boundary layer correction 

    Brambley, Edward James; Gabard, G (ElsevierJournal of Computational Physics, 2016-06-08)
    A time-domain boundary condition is derived that accounts for the acoustic impedance of a thin boundary layer over an impedance boundary, based on the asymptotic frequency-domain boundary condition of Brambley [2011, AIAA ...

  • Two–dimensional viscoplastic dambreaks 

    Liu, Y; Balmforth, NJ; Hormozi, S; Hewitt, Duncan (Journal of Non-Newtonian Fluid Mechanics, 2016-12-01)
    We report the results of computations for two–dimensional dambreaks of viscoplastic fluid, focusing on the phenomenology of the collapse, the mode of initial failure, and the final shape of the slump. The volume-of-fluid ...

  • Decay of the Cosmic Vacuum Energy 

    Clifton, Timothy; Barrow, John D. (SpringerFestschrift, 2016)
    In his 2005 review, $\textit{Gravity and the Thermodynamics of Horizons}$, Paddy suggested that a vacuum in thermal equilibrium with a bath of radiation should have a gradually diminishing energy. We work through the ...

  • Homological Stability for Spaces of Embedded Surfaces 

    Moran, Federico Cantero; Randal-Williams, Oscar (Mathematical Sciences PublisherGeometry & Topology, 2016)
    We study the space of oriented genus $\textit{g}$ subsurfaces of a fixed manifold $\textit{M}$, and in particular its homological properties. We construct a “scanning map” which compares this space to the space of sections ...

  • TORSION GALOIS REPRESENTATIONS OVER CM FIELDS AND HECKE ALGEBRAS IN THE DERIVED CATEGORY 

    Newton, James; Thorne, Jack Arfon (Cambridge University PressForum of Mathematics, Sigma, 2016-07-21)
    We construct algebras of endomorphisms in the derived category of the cohomology of arithmetic manifolds, which are generated by Hecke operators. We construct Galois representations with coefficients in these Hecke algebras ...

  • Higher spins from Nambu-Chern-Simons theory 

    Arvanitakis, Alex S. (SpringerCommunications in Mathematical Physics, 2016)
    We propose a new theory of higher spin gravity in three spacetime dimensions. This is defined by what we will call a Nambu-Chern-Simons (NCS) action; this is to a Nambu 3-algebra as an ordinary Chern-Simons (CS) action is ...

  • A comparative perspective on the evolution of Romance clausal structure 

    Wolfe, Sam (John Benjamins PublishingDiachronica, 2016-12-19)
    This article presents a comparative analysis of the diachronic evolution of Romance clausal structure from Classical Latin through to the late medieval period, with particular reference to the Verb Second (V2) property. ...

  • Global Rates of Convergence in Log-Concave Density Estimation 

    Kim, Arlene KH; Samworth, Richard John (Institute of Mathematical StatisticsAnnals of Statistics, 2016)
    The estimation of a log-concave density on $\Bbb R$$^d$ represents a central problem in the area of nonparametric inference under shape constraints. In this paper, we study the performance of log-concave density estimators ...

  • Numerical Relativity and High Energy Physics: Recent Developments 

    Berti, Emanuele; Cardoso, Vitor; Crispino, Luis CB; Gualtieri, Leonardo; Herdeiro, Carlos; Sperhake, Ulrich (World ScientificInternational Journal of Modern Physics D, 2016-07-15)
    We review recent progress in the application of numerical relativity techniques to astrophysics and high-energy physics. We focus on recent developments regarding the spin evolution in black hole binaries, high-energy black ...

  • The work of Lucio Russo on percolation 

    Grimmett, Geoffrey Richard
    The contributions of Lucio Russo to the mathematics of percolation and disordered systems are outlined. The context of his work is explained, and its ongoing impact on current work is described and amplified.

  • The Importance of the Unsteady Kutta Condition when Modelling Gust-Aerofoil Interaction 

    Ayton, Lorna Jane; Gill, JR; Peake, Nigel (ElsevierJournal of Sound and Vibration, 2016-06-01)
    The Kutta condition is applied to aerofoils with sharp trailing edges to allow for viscous effects to be considered within a simplified system of equations that are inviscid. This paper discusses in detail the inclusion ...

  • Total Positivity in Markov Structures 

    Fallat, S; Lauritzen, S; Sadeghi, Kayvan; Uhler, C; Wermuth, N; Zwiernik, K (Institute of Mathematical StatisticsAnnals of Statistics, 2017-06)
    We discuss properties of distributions that are multivariate totally positive of order two (MTP$_{2}$) related to conditional independence. In particular, we show that any independence model generated by an MTP$_{2}$ ...

  • ππ→πγ$^{∗}$ amplitude and the resonant ρ→πγ$^{∗}$ transition from lattice QCD 

    Briceño, Raúl A; Dudek, Jozef J; Edwards, Robert G; Shultz, Christian J; Thomas, Christopher Edward; Wilson, David John; Hadron, Spectrum Collaboration (American Physical SocietyPhysical Review D, 2016-06-10)
    We present a determination of the P-wave ππ→πγ$^{⋆}$ transition amplitude from lattice quantum chromodynamics. Matrix elements of the vector current in a finite volume are extracted from three-point correlation functions, ...

  • Second-Order Asymptotics of Visible Mixed Quantum Source Coding via Universal Codes 

    Leditzky, Felix; Datta, Nilanjana (IEEEIEEE Transactions on Information Theory, 2016-05-23)
    The simplest example of a quantum information source with memory is a mixed source, which emits signals entirely from one of two memoryless quantum sources with given $\textit{a priori}$ probabilities. Considering a mixed ...

  • Preconditioned ADMM with nonlinear operator constraint 

    Benning, Martin; Knoll, Florian; Schonlieb, Carola-Bibiane; Valkonen, Tuomo (SpringerIFIP Advances in Information and Communication Technology, 2016)
    We are presenting a modification of the well-known Alternating Direction Method of Multipliers (ADMM) algorithm with additional preconditioning that aims at solving convex optimisation problems with nonlinear operator ...

  • Multi-Contrast MRI Reconstruction with Structure-Guided Total Variation 

    Ehrhardt, Matthias Joachim; Betcke, Marta M (Society for Industrial and Applied MathematicsSIAM Journal on Imaging Sciences, 2016-08-04)
    Magnetic resonance imaging (MRI) is a versatile imaging technique that allows different contrasts depending on the acquisition parameters. Many clinical imaging studies acquire MRI data for more than one of these contrasts—such ...

  • Turning on gravity with the Higgs mechanism 

    Alexander, Stephon; Barrow, John David; Magueijo, João (IOP PublishingClassical and Quantum Gravity, 2016-06-21)
    We investigate how a Higgs mechanism could be responsible for the emergence of gravity in extensions of Einstein theory, with a suitable low energy limit. In this scenario, at high energies, symmetry restoration could "turn ...

  • On the quadratic invariant of binary sextics 

    Dunajski, Maciej Lukasz; Penrose, Roger (Cambridge University PressMathematical Proceedings of the Cambridge Philosophical Society, 2016-07-28)
    We provide a geometric characterisation of binary sextics with vanishing quadratic invariant.

  • Unsteady flow and particle migration in dense, non-Brownian suspensions 

    Hermes, Michiel; Guy, Ben M; Poy, Guilhem; Cates, Michael Elmhirst; Wyart, Matthieu; Poon, Wilson CK (AIPJournal of Rheology, 2016)
    We present experimental results on dense corn-starch suspensions as examples of non-Brownian, nearly-hard particles that undergo continuous and discontinuous shear thickening (CST and DST) at intermediate and high densities ...