Results for "André Hofmeister Serra"
total 3465took 0.11s
A nova origin of the gas cloud at the Galactic Center ?Aug 31 2012Nov 06 2012The recent discovery by Gillessen and collaborators of a cloud of gas falling towards the Galactic Center on a highly eccentric orbit, diving nearly straight into the immediate neighborhood of the central supermassive black hole, raises the important ... More A higgs-like dilaton: viability and implicationsDec 01 2013We re-examine the feasibility of the higgs-like particle discovered at the LHC being a dilaton: the Goldstone boson of spontaneous breaking of scale invariance. We review the expected phenomenological deviations from the SM higgs and compare with other ... More Beyond the Minimal Top Partner DecayJun 16 2015Jan 13 2016Light top partners are the prime sign of naturalness in composite Higgs models. We explore here the possibility of non-standard top partner phenomenology. We show that even in the simplest extension of the minimal composite Higgs model, featuring an extra ... More Improved Loss-Tolerant Quantum Coin FlippingAug 31 2010Mar 11 2011In this paper, we present a loss-tolerant quantum strong coin flipping protocol with bias 0.359. This is an improvement over Berlin etal's protocol [BBBG08] which achieves a bias of 0.4. To achieve this, we extend Berlin et al.'s protocol by adding an ... More Quantum GoMar 15 2016Mar 17 2016We introduce a new board game based on the ancient Chinese game of Go (Weiqi, Igo, Baduk). The key difference from the original game is that players no longer alternatively play single stones on the board but instead they take turns placing pairs of entangled ... More Riemann Hypothesis and Random Walks: the Zeta caseJan 05 2016Feb 05 2016In previous work it was shown that if certain series based on sums over primes of non-principal Dirichlet characters have a conjectured random walk behavior, then the Euler product formula for its $L$-function is valid to the right of the critical line ... More Quantum critical spin liquids and superconductivity in the cupratesOct 30 2006Nov 17 2006We describe a new kind of quantum critical point in the context of quantum anti-ferromagnetism in 2d that can be understood as a quantum critical spin liquid. Based on the comparison of exponents with previous numerical work, we argue it describes a transition ... More An asymptotic upper bound on prime gapsJun 10 2015Oct 07 2015The Cram\'er-Granville conjecture is an upper bound on prime gaps, $g_n = p_{n+1} - p_n < \cCramer \, \log^2 p_n$ for some constant $\cCramer \geq 1$. Using a formula of Selberg, we first prove the weaker summed version: $\sum_{n=1}^N g_n < \sum_{n=1}^N ... More 3D Ising and other models from symplectic fermionsOct 30 2006Nov 06 2012We study a model of N component symplectic fermions in D spacetime dimensions. It has an infra-red stable fixed point in 2<D<4 dimensions referred to as Sp{2N}{D}. Based on the comparison of exponents, we conjecture that the critical exponents for the ... More Poincaré and log-Sobolev inequalities for mixturesDec 16 2018This work studies mixtures of probability measures on $\mathbb{R}^n$ and gives bounds on the Poincar\'e and the log-Sobolev constant of two-component mixtures provided that each component satisfies the functional inequality, and both components are close ... More Quadric bundles applied to non-maximal Higgs bundlesAug 01 2016We present a survey on the moduli spaces of rank 2 quadric bundles over a compact Riemann surface X. These are objects which generalise orthogonal bundles and which naturally occur through the study of the connected components of the moduli spaces of ... More Viterbi Algorithm Generalized for n-Tape Best-Path SearchDec 07 2006We present a generalization of the Viterbi algorithm for identifying the path with minimal (resp. maximal) weight in a n-tape weighted finite-state machine (n-WFSM), that accepts a given n-tuple of input strings (s_1,... s_n). It also allows us to compile ... More Macroscopic limit of the Becker-Döring equation via gradient flowsJul 29 2016Feb 26 2018This work considers gradient structures for the Becker-D\"oring equation and its macroscopic limits. The result of Niethammer [17] is extended to prove the convergence not only for solutions of the Becker-D\"oring equation towards the Lifshitz-Slyozov-Wagner ... More Dynamic Logics of Dynamical SystemsMay 22 2012We survey dynamic logics for specifying and verifying properties of dynamical systems, including hybrid systems, distributed hybrid systems, and stochastic hybrid systems. A dynamic logic is a first-order modal logic with a pair of parametrized modal ... More The Herschel View of Star FormationSep 30 2013Recent studies of the nearest star-forming clouds of the Galaxy at submillimeter wavelengths with the Herschel Space Observatory have provided us with unprecedented images of the initial conditions and early phases of the star formation process. The Herschel ... More A sharpening of Li's criterion for the Riemann HypothesisApr 10 2004Apr 15 2004Exact and asymptotic formulae are displayed for the coefficients $\lambda_n$ used in Li's criterion for the Riemann Hypothesis. In particular, we argue that if (and only if) the Hypothesis is true, $\lambda_n \sim n(A \log n +B)$ for $n \to \infty$ (with ... More Differential Hybrid GamesJul 17 2015Feb 24 2017This article introduces differential hybrid games, which combine differential games with hybrid games. In both kinds of games, two players interact with continuous dynamics. The difference is that hybrid games also provide all the features of hybrid systems ... More The Hasse norm principle for $A_n$-extensionsJun 29 2018We prove that, for every $n \geq 5$, the Hasse norm principle holds for a degree $n$ extension $K/k$ of number fields with normal closure $F$ such that $\operatorname{Gal}(F/k) \cong A_n$. We also show the validity of weak approximation for the associated ... More Quadric bundles and their moduli spacesOct 18 2016Quadric bundles on a compact Riemann surface X generalise orthogonal bundles and arise naturally in the study of the moduli space of representations of $\pi_1(X)$ in Sp(2n,R). We prove some basic results on the moduli spaces of quadric bundles over X ... More Atomic quantum gases in periodically driven optical latticesJun 26 2016Nov 03 2016Time periodic forcing in the form of coherent radiation is a standard tool for the coherent manipulation of small quantum systems like single atoms. In the last years, periodic driving has more and more also been considered as a means for the coherent ... More Finite Time Singularities for Lagrangian Mean Curvature FlowSep 06 2010May 07 2012Given any embedded Lagrangian on a four dimensional compact Calabi-Yau, we find another Lagrangian in the same Hamiltonian isotopy class which develops a finite time singularity under mean curvature flow. This contradicts a weaker version of the Thomas-Yau ... More A benchmark library for parametric timed model checkingDec 20 2018Verification of real-time systems involving hard timing constraints and concurrency is of utmost importance. Parametric timed model checking allows for formal verification in the presence of unknown timing constants or uncertainty (e.g. imprecision for ... More From exact-WKB towards singular quantum perturbation theoryDec 10 2003We use exact WKB analysis to derive some concrete formulae in singular quantum perturbation theory, for Schr\"odinger eigenvalue problems on the real line with polynomial potentials of the form $(q^M + g q^N)$, where $N>M>0$ even, and $g>0$. Mainly, we ... More Sharpenings of Li's criterion for the Riemann HypothesisJun 16 2005Jan 25 2006Exact and asymptotic formulae are displayed for the coefficients $\lambda_n$ used in Li's criterion for the Riemann Hypothesis. For $n \to \infty$ we obtain that if (and only if) the Hypothesis is true, $\lambda_n \sim n(A \log n +B)$ (with $A>0$ and ... More Atomic quantum gases in periodically driven optical latticesJun 26 2016Time periodic forcing in the form of coherent radiation is a standard tool for the coherent manipulation of small quantum systems like single atoms. In the last years, periodic driving has more and more also been considered as a means for the coherent ... More On the Kodaira-Spencer map of abelian schemesJun 12 2016Let $A$ be an abelian scheme over a smooth affine complex variety $S$, $\varOmega_A$ the $\sO_S$-module of $1$-forms of the first kind on $A$, $\sD_S\varOmega_A$ the $\sD_S$-module spanned by $\varOmega_A$ in the first algebraic De Rham cohomology module, ... More A note on 1-motivesJul 24 2018Nov 24 2018We prove that for $1$-motives defined over an algebraically closed subfield of $\C$, viewed as Nori motives, the motivic Galois group is the Mumford-Tate group. In particular, the Hodge realization of the tannakian category of (Nori) motives generated ... More Differential Game LogicAug 08 2014Jul 24 2015Differential game logic (dGL) is a logic for specifying and verifying properties of hybrid games, i.e. games that combine discrete, continuous, and adversarial dynamics. Unlike hybrid systems, hybrid games allow choices in the system dynamics to be resolved ... More Uniform Substitution in One Fell SwoopFeb 19 2019Feb 27 2019Uniform substitution of function, predicate, program or game symbols is the core operation in parsimonious provers for hybrid systems and hybrid games. By postponing soundness-critical admissibility checks does this paper introduce a uniform substitution ... More The Mean/Max Statistic in Extreme Value AnalysisJun 29 2016Most extreme events in real life can be faithfully modeled as random realizations from a Generalized Pareto distribution, which depends on two parameters: the scale and the shape. In many actual situations, one is mostly concerned with the shape parameter, ... More A minimization approach to hyperbolic Cauchy problemsOct 25 2013Developing an original idea of De Giorgi, we introduce a new and purely variational approach to the Cauchy Problem for a wide class of defocusing hyperbolic equations. The main novel feature is that the solutions are obtained as limits of functions that ... More Top Quark Compositeness: Feasibility and ImplicationsJun 19 2008Oct 06 2008In models of electroweak symmetry breaking in which the SM fermions get their masses by mixing with composite states, it is natural to expect the top quark to show properties of compositeness. We study the phenomenological viability of having a mostly ... More On the tree-depth of Random GraphsApr 12 2011Feb 15 2012The tree-depth is a parameter introduced under several names as a measure of sparsity of a graph. We compute asymptotic values of the tree-depth of random graphs. For dense graphs, p>> 1/n, the tree-depth of a random graph G is a.a.s. td(G)=n-O(sqrt(n/p)). ... More A Structure Theorem for Small Sumsets in Nonabelian GroupsMar 03 2012Let G be an arbitrary finite group and let S and T be two subsets such that |S|>1, |T|>1, and |TS|< |T|+|S|< |G|-1. We show that if |S|< |G|-4|G|^{1/2}+1 then either S is a geometric progression or there exists a non-trivial subgroup H such that either ... More Resonant Anderson localization in segmented wiresDec 02 2015We discuss a model of random segmented wire, with linear segments of 2D wires joined by circular bends. The joining vertices act as scatterers on the propagating electron waves. The model leads to resonant Anderson localization when all segments are of ... More Entropy versions of additive inequalitiesSep 27 2018The connection between inequalities in additive combinatorics and analogous versions in terms of the entropy of random variables has been extensively explored over the past few years. This paper extends a device introduced by Ruzsa in his seminal work ... More On the Origin of the High Helium Sequence in $ω$ CentauriJan 19 2006The blue Main Sequence (bMS) of $\omega$ Cen implies a ratio of helium to metal enrichment $\Delta Y/\Delta Z \approx 70$, which is a major enigma. We show that rotating models of low metallicity stars, which account for the anomalous abundance ratios ... More The role of help in Classical and Quantum Zero-KnowledgeNov 27 2007Nov 29 2007We study the role of help in Non-Interactive Zero-Knowledge protocols and its relation to the standard interactive model. In the classical case, we show that help and interaction are equivalent, answering an open question of Ben-Or and Gutfreund. This ... More Modules over Monads and LinearityAug 11 2006May 07 2007Inspired by the classical theory of modules over a monoid, we give a first account of the natural notion of module over a monad. The associated notion of morphism of left modules ("Linear" natural transformations) captures an important property of compatibility ... More Some Riemann Hypotheses from Random Walks over PrimesSep 11 2015Apr 17 2016The aim of this article is to investigate how various Riemann Hypotheses would follow only from properties of the prime numbers. To this end, we consider two classes of $L$-functions, namely, non-principal Dirichlet and those based on cusp forms. The ... More On the $L^p$ index of spin Dirac operators on conical manifoldsJul 02 2004We compute the index of the Dirac operator on spin Riemannian manifolds with conical singularities, acting from $L^p(\Sigma^+)$ to $L^q(\Sigma^-)$ with $p,q>1$. When $1+\frac{n}{p}-\frac{n}{q}>0$ we obtain the usual Atiyah-Patodi-Singer formula, but with ... More A Human-Checkable Four-Color Theorem ProofJun 06 2017Nov 09 2018This paper presents a short and simple proof of the Four-Color Theorem, which can be utterly checkable by human mathematicians, without computer assistance. The new key idea that has permitted it is presented in the Introduction. Projective Pseudodifferential Analysis and Harmonic AnalysisMay 05 2006We consider pseudodifferential operators on functions on $\R^{n+1}$ which commute with the Euler operator, and can thus be restricted to spaces of functions homogeneous of some given degree. Their symbols can be regarded as functions on a reduced phase ... More A Human-Checkable Four-Color Theorem ProofJun 06 2017Mar 17 2019This paper presents a short and simple proof of the Four-Color Theorem that can be utterly checkable by human mathematicians, without computer assistance. The new key idea that has permitted it is presented in the Introduction. Integrated Information-induced quantum collapseMay 05 2014Mar 11 2015We present a novel spontaneous collapse model where size is no longer the property of a physical system which determines its rate of collapse. Instead, we argue that the rate of spontaneous localization should depend on a system's quantum Integrated Information ... More