Results for "Marc Masana"

total 4998took 0.19s
Rotate your Networks: Better Weight Consolidation and Less Catastrophic ForgettingFeb 08 2018In this paper we propose an approach to avoiding catastrophic forgetting in sequential task learning scenarios. Our technique is based on a network reparameterization that approximately diagonalizes the Fisher Information Matrix of the network parameters. ... More
On-the-fly Network Pruning for Object DetectionMay 11 2016Object detection with deep neural networks is often performed by passing a few thousand candidate bounding boxes through a deep neural network for each image. These bounding boxes are highly correlated since they originate from the same image. In this ... More
Does Multimodality Help Human and Machine for Translation and Image Captioning?May 30 2016Aug 16 2016This paper presents the systems developed by LIUM and CVC for the WMT16 Multimodal Machine Translation challenge. We explored various comparative methods, namely phrase-based systems and attentional recurrent neural networks models trained using monomodal ... More
Light pollution offshore: zenithal sky glow measurements in the Mediterranean coastal watersMay 06 2017May 18 2017Light pollution is a worldwide phenomenon whose consequences for the natural environment and the human health are being intensively studied nowadays. Most published studies address issues related with light pollution inland. Coastal waters, however, are ... More
On the Cartesian Skeleton and the Factorization of the Strong Product of DigraphsJan 20 2014The three standard products (the Cartesian, the direct and the strong product) of undirected graphs have been wellinvestigated, unique prime factor decomposition (PFD) are known and polynomial time algorithms have been established for determining the ... More
Building the cosmic distance scale: from Hipparcos to GaiaFeb 16 2012Hipparcos, the first ever experiment of global astrometry, was launched by ESA in 1989 and its results published in 1997 (Perryman et al., Astron. Astrophys. 323, L49, 1997; Perryman & ESA (eds), The Hipparcos and Tycho catalogues, ESA SP-1200, 1997). ... More
Effective temperature scale and bolometric corrections from 2MASS photometryJan 03 2006This paper presents a method to determine effective temperatures, angular semi-diameters and bolometric corrections for population I and II FGK type stars based on V and 2MASS IR photometry. Accurate calibration is accomplished by using a sample of solar ... 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
Learning a world model and planning with a self-organizing, dynamic neural systemJun 11 2003We present a connectionist architecture that can learn a model of the relations between perceptions and actions and use this model for behavior planning. State representations are learned with a growing self-organizing layer which is directly coupled ... More
Charts, Interaction-Free Grammars, and the Compact Representation of AmbiguityMay 12 1997Recently researchers working in the LFG framework have proposed algorithms for taking advantage of the implicit context-free components of a unification grammar [Maxwell 96]. This paper clarifies the mathematical foundations of these techniques, provides ... More
Studies in Cryptological CombinatoricsNov 24 2004The key-agreement problem (finding a private key to use for secret messages, otherwise referred to as the public-key distribution problem), was introduced by Diffie and Hellman in 1976. An approach to structuring key-agreement protocols via the use of ... More
Extending Classical Logic with Inductive DefinitionsMar 07 2000The goal of this paper is to extend classical logic with a generalized notion of inductive definition supporting positive and negative induction, to investigate the properties of this logic, its relationships to other logics in the area of non-monotonic ... More
A partonic description of the transverse target single-spin asymmetry in inclusive DISNov 15 2012The single-spin asymmetry of unpolarized leptons scattering deep-inelastically off transversely polarized nucleons is studied in a partonic picture within a collinear twist-3 framework. Since this observable is generated by multi-photon exchanges between ... More
The Classical Exchange Algebra of AdS5 x S5 String TheoryOct 22 2008Jan 07 2009The classical exchange algebra satisfied by the monodromy matrix of AdS5 x S5 string theory in the Green-Schwarz formulation is determined by using a first-order Hamiltonian formulation and by adding to the Bena-Polchinski-Roiban Lax connection terms ... More
How to compute the thermodynamics of a glass using a cloned liquidDec 02 1998The recently proposed strategy for studying the equilibrium thermodynamics of the glass phase using a molecular liquid is reviewed and tested in details on the solvable case of the $p$-spin model. We derive the general phase diagram, and confirm the validity ... More
An extension criterion for lattice actions on the circleMay 01 2009We establish a necessary and sufficient condition for an action of a lattice by homeomorphisms of the circle to extend continuously to the ambient locally compact group. This condition is expressed in terms of the real bounded Euler class of this action. ... More
Higher indicators for some groups and their doublesApr 11 2010In this paper we explicitly determine all indicators for groups isomorphic to the semidirect product of two cyclic groups by an automorphism of prime order, as well as the generalized quaternion groups. We then compute the indicators for the Drinfel'd ... More
Scalar Mediated FCNC at the First Muon ColliderJun 14 2000Jun 26 2000In the most general two-Higgs doublet model (generally referred to as Model III), tree level flavor changing neutral couplings exist. It has been noted that the most natural value for such a coupling is of the order of the geometric mean of the Yukawa ... More
Fourth Generation b-prime decays into b + HiggsAug 04 1999Aug 08 1999If a fourth generation quark exists whose mass is below 255 GeV, then the only two-body charged current decay, b'-->cW, is doubly-Cabibbo suppressed. For this reason, CDF has searched for the one-loop neutral current decay b' --> bZ, assuming that the ... More
New Bounds on R-Parity Violating CouplingsOct 17 1995Bounds on R-parity violating couplings in the supersymmetric standard model are reviewed, and some new bounds arising from non-observation of certain rare B-decays (such as $B \rightarrow K^+K^-$) are presented. The focus is on baryon-number violating ... More
Motions on n-Simplex Graphs with m-value memoryOct 01 2003We introduce the idea of an n-simplex graph and games upon simplicial complexes. We then define moves on a labeled graph and pose the problem of whether given two labelings of a graph it is possible to change one into another via these moves. We then ... More
The Complexity of Partition Functions on Hermitian MatricesApr 07 2010Partition functions of certain classes of "spin glass" models in statistical physics show strong connections to combinatorial graph invariants. Also known as homomorphism functions they allow for the representation of many such invariants, for example, ... More
The asymptotic behaviour of Heegaard genusOct 21 2002Nov 26 2003Let M be a closed orientable 3-manifold with a negatively curved Riemannian metric. Let {M_i} be a collection of finite regular covers with degree d_i. (1) If the Heegaard genus of M_i grows more slowly than the square root of d_i, then M_i has positive ... More
The canonical decomposition of once-punctured torus bundlesDec 20 2001In this paper, we determine the canonical polyhedral decomposition of every hyperbolic once-punctured torus bundle over the circle. In fact, we show that the only ideal polyhedral decomposition that is straight in the hyperbolic structure and that is ... More
Expanders, rank and graphs of groupsMar 08 2004Apr 01 2005Let G be a finitely presented group, and let {G_i} be a collection of finite index normal subgroups that is closed under intersections. Then, we prove that at least one of the following must hold: 1. G_i is an amalgamated free product or HNN extension, ... More
Arithmetic of rationaly connected quintic 3-folds over finite and function fieldsOct 23 2007We prove that both classical Chevalley-Warning-Ax and Tsen theorems hold for the blowing up of a quintic 3-fold along a line of multiplicity 3. Both proofs, which are of the same spirit than the original ones, involve the description of this blowing-up ... More
Forces between static-light mesonsAug 09 2010The isospin, spin and parity dependent potential of a pair of static-light mesons is computed using Wilson twisted mass lattice QCD with two flavors of degenerate dynamical quarks. From the results a simple rule can be deduced stating, which isospin, ... More
On the Pseudo-Schrödinger Equation approximation of the Transfer-Integral operator for 1-dimensional DNA modelsNov 19 2010The Transfer-Integral (TI) operator is a powerful method to investigate the statistical physics of 1-dimensional models, like those used to describe DNA denaturation. At the cost of a certain number of approximations, the TI equation can be reduced to ... More
Isotropic realizability of a strain field for the incompressible two-dimensional Stokes equationSep 17 2015In the paper we study the problem of the isotropic realizability in R^2 of a regular strain field e(U)=1/2(DU+DU^T) for the incompressible Stokes equation, namely the existence of a positive viscosity mu\textgreater{}0 solving the Stokes equation in R^2 ... More
Higher Galois theoryJun 23 2015Jul 22 2015We generalize toposic Galois theory to higher topoi. We show that locally constant sheaves in a locally (n-1)-connected n-topos are equivalent to representations of its fundamental pro-n-groupoid, and that the latter can be described in terms of Galois ... More
Mean-field message-passing equations in the Hopfield model and its generalizationsAug 04 2016Aug 25 2016Motivated by recent progress in using restricted Boltzmann machines as preprocessing algorithms for deep neural network, we revisit the mean-field equations (belief-propagation and TAP equations) in the best understood such machine, namely the Hopfield ... More
Hilbertian InterpolationJun 25 2016I want to prove that all classical techniques of interpolation and approximation as Lagrange, Taylor, Hermite interpolations Beziers interpolants, Quasi interpolants, Box splines and others (radial splines, simplicial splines) are derived from a \textbf{unique} ... More
Covering spaces of 3-orbifoldsAug 01 2005Jun 07 2006Let O be a compact orientable 3-orbifold with non-empty singular locus and a finite volume hyperbolic structure. (Equivalently, O is the quotient of hyperbolic 3-space by a lattice in PSL(2,C) with torsion.) Then we prove that O has a tower of finite-sheeted ... More
Detecting large groupsFeb 20 2007Let G be a finitely presented group, and let p be a prime. Then G is 'large' (respectively, 'p-large') if some normal subgroup with finite index (respectively, index a power of p) admits a non-abelian free quotient. This paper provides a variety of new ... More
Rigorous Multiple-Precision Evaluation of D-Finite Functions in SageMathJul 07 2016We present a new open source implementation in the SageMath computer algebra system of algorithms for the numerical solution of linear ODEs with polynomial coefficients. Our code supports regular singular connection problems and provides rigorous error ... More
Explicit GL(2) trace formulas and uniform, mixed Weyl lawsDec 18 2012This thesis provides an explicit, general trace formula for the Hecke and Casimir eigenvalues of GL(2)-automorphic representations over a global field. In special cases, we obtain Selberg's original trace formula. Computations for the determinant of the ... More
Dual-Phase Liquid Xenon Detectors for Dark Matter SearchesMay 29 2014Aug 07 2014Dual-phase time projection chambers (TPCs) filled with the liquid noble gas xenon (LXe) are currently the most sensitive detectors searching for interactions of WIMP dark matter in a laboratory-based experiment. This is achieved by combining a large, ... More
On Okuyama's theorems about Alvis-Curtis dualityOct 06 2008The purpose of this paper is to report on the unpublished manuscript [O] by T. Okuyama where are proved some conjectures generalizing to homotopy categories the theorems of [CaRi] and [LS] holding in derived categories. We refer to the latter references ... More
Shifted moments of L functions and moments of theta functionsDec 03 2015Dec 04 2015Assuming the Riemann Hypothesis, Soundararajan showed that $\displaystyle{\int_{0}^{T} \vert \zeta(1/2 + it)\vert^{2k} \ll T(\log T)^{k^2 + \epsilon}}$ . His method was used by Chandee to obtain upper bounds for shifted moments of the Riemann Zeta function. ... More
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
A topological version of the Poincaré-Birkhoff theorem with two fixed pointsOct 18 2010Mar 30 2011The main result of this paper gives a topological property satisfied by any homeomorphism of the annulus $\mathbb{A}=\mathbb{S}^1 \times [-1,1]$ isotopic to the identity and with at most one fixed point. This generalizes the classical Poincar\'e-Birkhoff ... More
Sporadic simple groups and the FSZ propertiesOct 12 2016We investigate a possible connection between the $FSZ$ properties of a group and its Sylow subgroups. We show that the simple group $G_2(5)$ and all sporadic simple groups with order divisible by $5^6$ are not $FSZ$, and that neither are their Sylow 5-subgroups. ... More
Smooth motivesJul 14 2008Following ideas of Bondarko, we construct a DG category whose homotopy category is equivalent to the full subcategory of motives over a base-scheme $S$ generated by the motives of smooth projective $S$-schemes, assuming that $S$ is itself smooth over ... More
On the behavior of Castelnuovo-Mumford regularity with respect to some functorsJun 19 2007We investigate the behavior of Castelnuovo-Mumford regularity with respect to some classical functors : Tor, the Frobenius functor in positive characteristic, taking a power or a product (on ideals). These generalizes and refines previous results on these ... More
Pseudo-Riemannian metrics with prescribed scalar curvatureSep 22 2004Sep 22 2004We consider the following generalisation of a well-known problem in Riemannian geometry: When is a smooth real-valued function s on a given compact n-dimensional manifold M (with or without boundary) the scalar curvature of some smooth pseudo-Riemannian ... 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
Counting cosets of unimodular groups over Dedekind domainsJan 19 2011In this paper, a formula for the calculation of the number of right cosets contained in a double coset with respect to a unimodular group over a Dedekind domain is developed, and applications of this formula in the theory of congruence subgroups -- an ... More
Automorphisms of the doubles of purely non-abelian finite groupsNov 04 2013Jun 08 2014Using a recent classification of $\operatorname{End}(\mathcal{D}(G))$, we determine a number of properties for $\operatorname{Aut}(\mathcal{D}(G))$, where $\mathcal{D}(G)$ is the Drinfel'd double of a finite group $G$. Furthermore, we completely describe ... More
The canonical Cartan bundle and connection in CR geometryMay 02 2006May 29 2006We give a differential geometric description of the Cartan (or tractor) bundle and its canonical connection in CR geometry, thus offering a direct, alternative, definition to the usual abstract approach.
The Heegaard genus of amalgamated 3-manifoldsJun 23 2003Let M and M' be simple 3-manifolds, each with connected boundary of genus at least two. Suppose that M and M' are glued via a homeomorphism between their boundaries. Then we show that, provided the gluing homeomorphism is `sufficiently complicated', the ... More
The Coleman-Weinberg Phase Transition in Extended Higgs ModelsJul 16 1996In Coleman-Weinberg symmetry breaking, all dimensionful parameters vanish and the symmetry is broken by loop corrections. Before Coleman-Weinberg symmetry breaking in the Standard Model was experimentally ruled out, it had already been excluded on cosmological ... More
Universal Extra Dimensions and Kaluza-Klein Bound StatesSep 02 2004We study the bounds states of the Kaluza-Klein (KK) excitations of quarks in models of Universal Extra Dimensions. Such bound states may be detected at future lepton colliders in the cross section for the pair-production of KK-quarks near threshold. For ... More
How to extract data from proprietary software database systems using TCP/IP?Apr 26 2014May 11 2014This document is an white paper about how to connect reverse engineering and programing skills to extract data from a proprietary implementation of a database system to build EML-Tools for data format conversion into raw data. This article shows how to ... More
Equivariant classifying spaces and cdh descent for the homotopy K-theory of tame stacksApr 21 2016We construct geometric models for classifying spaces of linear algebraic groups in G-equivariant motivic homotopy theory, where G is a tame group scheme. As a consequence, we show that the equivariant motivic spectrum representing the homotopy K-theory ... More
Lectures on Reduce and Maple at UAM I - MexicoMay 25 2001These lectures give a brief introduction to the Computer Algebra systems Reduce and Maple. The aim is to provide a systematic survey of most important commands and concepts. In particular, this includes a discussion of simplification schemes and the handling ... 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
Self-adaptive exploration in evolutionary searchFeb 05 2001We address a primary question of computational as well as biological research on evolution: How can an exploration strategy adapt in such a way as to exploit the information gained about the problem at hand? We first introduce an integrated formalism ... More
Classification in Feature-based Default Inheritance HierarchiesJun 04 1996Increasingly, inheritance hierarchies are being used to reduce redundancy in natural language processing lexicons. Systems that utilize inheritance hierarchies need to be able to insert words under the optimal set of classes in these hierarchies. In this ... More
Group Theory and Grammatical DescriptionMay 07 1998This paper presents a model for linguistic description based on group theory. A grammar in this model, or "G-grammar", is a collection of lexical expressions which are products of logical forms, phonological forms, and their inverses. Phrasal descriptions ... More
Morphological Cues for Lexical SemanticsJun 04 1996Most natural language processing tasks require lexical semantic information. Automated acquisition of this information would thus increase the robustness and portability of NLP systems. This paper describes an acquisition method which makes use of fixed ... More
NumGfun: a Package for Numerical and Analytic Computation with D-finite FunctionsFeb 16 2010May 31 2010This article describes the implementation in the software package NumGfun of classical algorithms that operate on solutions of linear differential equations or recurrence relations with polynomial coefficients, including what seems to be the first general ... More
Two-photon physicsJan 26 2006It is reviewed how Compton scattering sum rules relate low-energy nucleon structure quantities to the nucleon excitation spectrum. In particular, the GDH sum rule and recently proposed extensions of it will be discussed. These extensions are sometimes ... More
Coordination in Network Security Games: a Monotone Comparative Statics ApproachAug 20 2012Malicious softwares or malwares for short have become a major security threat. While originating in criminal behavior, their impact are also influenced by the decisions of legitimate end users. Getting agents in the Internet, and in networks in general, ... More
On the origin of Hilbert GeometryJul 08 2014In this brief essay we succinctly comment on the historical origin of Hilbert geometry. In particular, we give a summary of the letter in which David Hilbert informs his friend and colleague Felix Klein about his discovery of this geometry. The present ... More
Discussion of "Second order topological sensitivity analysis" by J. Rocha de Faria et alAug 28 2007The article by J. Rocha de Faria et al. under discussion is concerned with the evaluation of the perturbation undergone by the potential energy of a domain $\Omega$ (in a 2-D, scalar Laplace equation setting) when a disk $B_{\epsilon}$ of small radius ... More
Betweenness Centrality in Large Complex NetworksSep 18 2003May 13 2004We analyze the betweenness centrality (BC) of nodes in large complex networks. In general, the BC is increasing with connectivity as a power law with an exponent $\eta$. We find that for trees or networks with a small loop density $\eta=2$ while a larger ... More
Crossover from Scale-Free to Spatial NetworksDec 04 2002Sep 22 2003In many networks such as transportation or communication networks, distance is certainly a relevant parameter. In addition, real-world examples suggest that when long-range links are existing, they usually connect to hubs-the well connected nodes. We ... More
Electromagnetic Corrections to Low-Energy pi-pi ScatteringDec 21 1999Electromagnetic corrections to the low-energy pi+ pi- -> pi0 pi0 scattering amplitude at next-to-leading order in the chiral expansion are reviewed. Their effects on the corresponding scattering lengths are estimated and compared to the two-loop strong ... More
A note on the Declarative reading(s) of Logic ProgrammingMar 13 2000This paper analyses the declarative readings of logic programming. Logic programming - and negation as failure - has no unique declarative reading. One common view is that logic programming is a logic for default reasoning, a sub-formalism of default ... More
Model Prediction for the Transverse Single Target-Spin Asymmetry in inclusive DISMar 05 2013The single-spin asymmetry of unpolarized leptons scattering deep-inelastically off transversely polarized nucleons is discussed. This observable is generated by a two-photon exchange between lepton and nucleon. In a partonic description of the asymmetry ... More
Random systems and replica field theoryMar 09 1995Contents: I. Introduction II. Manifolds in random media III. Thermal fluctuations without disorder IV. Random forces V. Random potential: variational approach VI. Physical interpretation of the solution
Odd Character Degrees for Sp(2n,2)Feb 25 2011We check McKay conjecture on character degrees for the case of symplectic groups over the field with two elements Sp(2n,2) and the prime 2. Then we check the inductive McKay condition (Isaacs-Malle-Navarro 2007) for Sp(4,2^m) and all primes.
The local renormalization of super-Yang-Mills theoriesFeb 11 2016May 11 2016We show how to consistently renormalize $\mathcal{N} = 1$ and $\mathcal{N} = 2$ super-Yang-Mills theories in flat space with a local (i.e. space-time-dependent) renormalization scale in a holomorphic scheme. The action gets enhanced by a term proportional ... More
The six operations in equivariant motivic homotopy theorySep 07 2015Sep 27 2016We introduce and study the homotopy theory of motivic spaces and spectra parametrized by quotient stacks [X/G], where G is a linearly reductive linear algebraic group. We extend to this equivariant setting the main foundational results of motivic homotopy ... More
The fixed points of the circle action on Hochschild homologyJun 23 2015This note proves that the negative cyclic homology of a differential graded k-algebra, for k a commutative ring, coincides with the homotopy fixed points of the canonical circle action on its Hochschild complex. This is probably well-known.
A Closer Look at the Mond No-Go Statement for Purely Metric FormulationsOct 20 2003We reexamine the assumptions made in arriving at a no-go statement for purely metric formulations of MOND. Removing the requirement of gravitational stability at appropriate scales gives life to the possibility of a purely metric theory of MOND.
Causal Field Equations and Real Eigenvalues from a Non-Local LagrangianSep 16 2003Recently, we proposed a non-local relativistic formulation of MOND (Modified Newtonian Dynamics). The equations of motion were not derived, rather they were inferred from the result one would obtain by using the Schwinger-Keldysh formalism. The formalism ... More
Fermionic fields in the pseudoparticle approachAug 17 2007The pseudoparticle approach is a numerical method to compute path integrals without discretizing spacetime. The basic idea is to consider only those field configurations, which can be represented as a linear superposition of a small number of localized ... More
Elastic models of the fast traps of carnivorous Dionaea and AldrovandaSep 04 2013The carnivorous aquatic Waterwheel Plant (Aldrovanda vesiculosa L.) and the closely related terrestrial Venus Flytrap (Dionaea muscipula SOL. EX J. ELLIS) both feature elaborate snap-traps, which shut after reception of an external mechanical stimulus ... More
Convex KKM maps, monotone operators and Minty variational inequalitiesMar 21 2015It is known that for convex sets, the KKM condition is equivalent to the finite intersection property. We use this equivalence to obtain a characterisation of monotone operators in terms of convex KKM maps and in terms of the existence of solutions to ... More
MALL proof equivalence is Logspace-complete, via binary decision diagramsFeb 06 2015Apr 17 2015Proof equivalence in a logic is the problem of deciding whether two proofs are equivalent modulo a set of permutation of rules that reflects the commutative conversions of its cut-elimination procedure. As such, it is related to the question of proofnets: ... More
Equilibration of complexes of DNA and H-NS proteins on charged surfaces: A coarse-grained model point of viewSep 22 2014The Histone-like Nucleoid Structuring protein (H-NS) is a nucleoid-associated protein, which is involved in both gene regulation and DNA compaction. Although it is a key player in genome organization by forming bridges between DNA duplexes, the precise ... More
On Pasch's Axiom and Desargues' Theorem in Busemann's workOct 25 2016In this note, we discuss the role played by the techniques from the "foundations of geometry" and in particular by Desargues' Theorem in the work of Busemann. This note is part of a forthcoming edition of Busemann's collected papers.
Large groups, Property (tau) and the homology growth of subgroupsSep 02 2005Dec 01 2005We investigate the homology of finite index subgroups G_i of a given finitely presented group G. Specifically, we examine d_p(G_i), which is the dimension of the first homology of G_i, with mod p coefficients. We say that a collection of finite index ... More
A differentiation theorem for uniform measuresAug 15 2013Using the notion of higher-order Fourier dimension introduced in \cite{M2} (which was a sort of psuedorandomness condition stemming from the Gowers norms of Additive Combinatorics), we prove a maximal theorem and corresponding differentiation theorem ... More
The crossing number of satellite knotsJun 15 2011Jan 25 2012We show that the crossing number of a satellite knot is at least 10^{-13} times the crossing number of its companion knot.
A polynomial upper bound on Reidemeister movesFeb 01 2013Dec 11 2014We prove that any diagram of the unknot with c crossings may be reduced to the trivial diagram using at most (236 c)^{11} Reidemeister moves. Moreover, every diagram in this sequence has at most (7 c)^2 crossings. We also prove a similar theorem for split ... More
Chow's moving lemma and the homotopy coniveau towerOct 10 2005We consider the "homotopy coniveau tower" for an arbitrary cohomology theory on smooth varieties over a field or a Dedekind domain. This tower is a generalization of the construction used by Bloch-Lichtenbaum and Friedlander-Suslin in their studies of ... More
Simpler, Linear-Time Transitive Orientation via Lexicographic Breadth-First SearchMar 10 2015Comparability graphs are the undirected graphs whose edges can be directed so that the resulting directed graph is transitive. They are related to posets and have applications in scheduling theory. This paper considers the problem of finding a transitive ... More
Topoi of parametrized objectsNov 07 2016We give necessary and sufficient conditions on a presentable infinity-category C so that families of objects of C form an infinity-topos. In particular, we prove a conjecture of Joyal that this is the case whenever C is stable.
Review of AdS/CFT Integrability, Chapter II.3: Sigma Model, Gauge FixingDec 17 2010Mar 01 2011This review is devoted to the classical integrability of the AdS5xS5 superstring theory. It starts with a reminder of the corresponding action as a coset model. The symmetries of this action are then reviewed. The classical integrability is then considered ... More
DARWINNov 27 2011DARWIN is a design-study for a next-to-next generation experiment to directly detect WIMP dark matter in a detector based on a liquid xenon/liquid argon two-phase time projection chamber. This article describes the project, its goals and challenges, and ... More
Cohomology of projective schemes: From annihilators to vanishingSep 25 2002We provide bounds on the Castelnuovo-Mumford regularity in terms of ``defining equations'' by using elements that annihilates some cohomology modules, inspired by works of Miyazaki, Nagel, Schenzel and Vogel. The elements in these annihilators are provided ... More
Projective schemes: What is Computable in low degree?Oct 30 2002This article first presents two examples of algorithms that extracts information on scheme out of its defining equations. We also give a review on the notion of Castelnuovo-Mumford regularity, its main properties (in particular its relation to computational ... More
Regularity stabilization for the powers of graded m-primary idealsOct 17 2013This Note provides first a generalization of the stabilization result of Eisenbud and Ulrich for the regularity of powers of a m-primary ideal to the case of ideals that are not generated in a single degree. We then partially extend our previous results ... More
Convergence of Voevodsky's slice towerDec 31 2011Mar 07 2013We consider Voevodsky's slice tower for a finite spectrum E in the motivic stable homotopy category over a perfect field k. In case k has finite cohomological dimension (in characteristic two, we also require that k is infinite), we show that the slice ... More
Slow dynamics for the dilute Ising model in the phase coexistence regionJun 13 2012In this paper we consider the Glauber dynamics for a disordered ferromagnetic Ising model, in the region of phase coexistence. It was conjectured several decades ago that the spin autocorrelation decays as a negative power of time [Huse and Fisher, Phys. ... More
The Adams-Novikov spectral sequence and Voevodsky's slice towerNov 17 2013Oct 03 2015We show that the spectral sequence converging to the stable homotopy groups of spheres, induced by the Betti realization of the slice tower for the motivic sphere spectrum, agrees with the Adams-Novikov spectral sequence, after a suitable re-indexing. ... More