Skip to main content

Showing 1–33 of 33 results for author: Lévine, J

Searching in archive math. Search in all archives.
.
  1. arXiv:2303.17761  [pdf, ps, other

    math.OC eess.SY

    Differential Flatness by Pure Prolongation: Necessary and Sufficient Conditions

    Authors: Jean Lévine

    Abstract: In this article, we introduce the notion of differential flatness by pure prolongation: loosely speaking, a system admits this property if, and only if, there exists a pure prolongation of finite order such that the prolonged system is feedback linearizable. We obtain Lie-algebraic necessary and sufficient conditions for a general nonlinear multi-input system to satisfy this property. These condit… ▽ More

    Submitted 16 August, 2023; v1 submitted 30 March, 2023; originally announced March 2023.

    Comments: Version 2

    MSC Class: 34H05; 93C10; 93C35

    Journal ref: Communications in Optimization Theory, Special issue on Systems Theory, Control and Related Topics, dedicated to Professor E. Zeheb on the occasion of his 85th birthday, 2024

  2. arXiv:2110.05631  [pdf, other

    cs.CG math.AT

    Reeb Graph Metrics from the Ground Up

    Authors: Brian Bollen, Erin Chambers, Joshua A. Levine, Elizabeth Munch

    Abstract: The Reeb graph has been utilized in various applications including the analysis of scalar fields. Recently, research has been focused on using topological signatures such as the Reeb graph to compare multiple scalar fields by defining distance metrics on the topological signatures themselves. Here we survey five existing metrics that have been defined on Reeb graphs: the bottleneck distance, the i… ▽ More

    Submitted 19 October, 2022; v1 submitted 11 October, 2021; originally announced October 2021.

    Comments: 71 pages, 35 figures

  3. Barriers and Potentially Safe Sets in Hybrid Systems: Pendulum with Non-Rigid Cable

    Authors: Willem Esterhuizen, Jean Lévine

    Abstract: This paper deals with an application of the notion of barrier in mixed constrained nonlinear systems to an example of a pendulum mounted on a cart with non-rigid cable, whose dynamics may switch to free-fall when the tension of the cable vanishes. We present a direct construction of the boundary of the potentially safe set in which there always exists a control such that the cable never goes slack… ▽ More

    Submitted 22 September, 2021; originally announced September 2021.

    Comments: 10 pages, 5 figures, as published in Automatica

    MSC Class: 93C10 (Primary); 34A38 (Secondary)

    Journal ref: Automatica, 73, pp.248-255 (2016)

  4. arXiv:2109.05754  [pdf, ps, other

    math.OC eess.SY q-bio.PE

    Epidemic Management with Admissible and Robust Invariant Sets

    Authors: Willem Esterhuizen, Jean Lévine, Stefan Streif

    Abstract: We present a detailed set-based analysis of the well-known SIR and SEIR epidemic models subjected to hard caps on the proportion of infective individuals, and bounds on the allowable intervention strategies, such as social distancing, quarantining and vaccination. We describe the admissible and maximal robust positively invariant (MRPI) sets of these two models via the theory of barriers. We show… ▽ More

    Submitted 13 September, 2021; originally announced September 2021.

    Comments: 28 pages, 5 figures, accepted for publication in PLOS ONE

    MSC Class: 34H05 (primary); 92D30 (secondary); 37N35; 37N25

  5. arXiv:2104.12986  [pdf, other

    math.NA cs.MS math.AP

    Bringing Trimmed Serendipity Methods to Computational Practice in Firedrake

    Authors: Justin Crum, Cyrus Cheng, David A. Ham, Lawrence Mitchell, Robert C. Kirby, Joshua A. Levine, Andrew Gillette

    Abstract: We present an implementation of the trimmed serendipity finite element family, using the open source finite element package Firedrake. The new elements can be used seamlessly within the software suite for problems requiring $H^1$, \hcurl, or \hdiv-conforming elements on meshes of squares or cubes. To test how well trimmed serendipity elements perform in comparison to traditional tensor product ele… ▽ More

    Submitted 8 October, 2021; v1 submitted 27 April, 2021; originally announced April 2021.

    Comments: 19 pages, 7 figures, 3 tables, 2 listings

    Journal ref: ACM Transactions on Mathematical Software 48(1):8:1-8:19 (2022)

  6. arXiv:2003.10362  [pdf, ps, other

    math.OC eess.SY

    Maintaining Hard Infection Caps in Epidemics via the Theory of Barriers

    Authors: Willem Esterhuizen, Tim Aschenbruck, Jean Lévine, Stefan Streif

    Abstract: Research in epidemiology often focusses on designing interventions that result in the number of infected individuals asymptotically approaching zero, without considering that this number may peak at high values during transients. Recent research has shown that a set-based approach could be used to address the problem, and we build on this idea by applying the theory of barriers to construct admiss… ▽ More

    Submitted 23 March, 2020; originally announced March 2020.

    Comments: 6 pages, 3 figures

    MSC Class: 92D30 (primary); 93C15 (secondary)

  7. Extending discrete exterior calculus to a fractional derivative

    Authors: Justin Crum, Joshua A. Levine, Andrew Gillette

    Abstract: Fractional partial differential equations (FDEs) are used to describe phenomena that involve a "non-local" or "long-range" interaction of some kind. Accurate and practical numerical approximation of their solutions is challenging due to the dense matrices arising from standard discretization procedures. In this paper, we begin to extend the well-established computational toolkit of Discrete Exteri… ▽ More

    Submitted 16 July, 2019; v1 submitted 2 May, 2019; originally announced May 2019.

    Comments: 18 pages, 11 figures. Work is to be presented at Solid and Physical Modeling 2019

    Journal ref: Computer-Aided Design 114 (2019) 64-72

  8. On Singularities of Flat Affine Systems With $n$ States and $n-1$ Controls

    Authors: Yirmeyahu J. Kaminski, Jean Lévine, François Ollivier

    Abstract: We study the set of intrinsic singularities of flat affine systems with $n-1$ controls and $n$ states using the notion of Lie-Bäcklund atlas, previously introduced by the authors. For this purpose, we prove two easily computable sufficient conditions to construct flat outputs as a set of independent first integrals of distributions of vector fields, the first one in a generic case, namely in a nei… ▽ More

    Submitted 15 May, 2020; v1 submitted 21 February, 2019; originally announced February 2019.

    Comments: 24 pages

    MSC Class: 93B05

    Journal ref: International Journal of Robust and Nonlinear Control, volume 30, Issue 9, p. 3547-3565, Wiley, 2020

  9. arXiv:1701.00670  [pdf, ps, other

    math.OC

    Intrinsic and Apparent Singularities in Flat Differential Systems

    Authors: Y. J. Kaminski, J. Levine, F. Ollivier

    Abstract: In this paper, we study the singularities of locally flat systems, motivated by the solution, if it exists, of the global motion planning problem for such systems, in the spirit of \cite{CE_14}. More precisely, flat outputs may be only locally defined because of the existence of points where they are singular (a notion that will be made clear later), thus preventing from planning trajectories cros… ▽ More

    Submitted 14 May, 2018; v1 submitted 3 January, 2017; originally announced January 2017.

    Journal ref: Systems & Control Letters, 113, pp. 117-124, 2018

  10. arXiv:1508.01708  [pdf, ps, other

    math.OC

    Barriers in Nonlinear Control Systems with Mixed Constraints

    Authors: Willem Esterhuizen, Jean Lévine

    Abstract: In this paper, we propose an extension to mixed multidimensional constraints of the problem of state and input constrained control introduced in DeDona and Lévine, SIAM J. Control and Optimiz., Vol. 51, 2013, where the admissible set, namely the subset of the state space where the state and input constraints can be satisfied for all times, was studied, with focus on its boundary. The latter may be… ▽ More

    Submitted 7 August, 2015; originally announced August 2015.

  11. arXiv:1505.05815  [pdf, other

    q-bio.QM math.AT q-bio.PE

    Inference of Ancestral Recombination Graphs through Topological Data Analysis

    Authors: Pablo G. Camara, Arnold J. Levine, Raul Rabadan

    Abstract: The recent explosion of genomic data has underscored the need for interpretable and comprehensive analyses that can capture complex phylogenetic relationships within and across species. Recombination, reassortment and horizontal gene transfer constitute examples of pervasive biological phenomena that cannot be captured by tree-like representations. Starting from hundreds of genomes, we are interes… ▽ More

    Submitted 26 July, 2016; v1 submitted 21 May, 2015; originally announced May 2015.

    Comments: 33 pages, 12 figures. The accompanying software, instructions and example files used in the manuscript can be obtained from https://github.com/RabadanLab/TARGet

  12. On Barriers in State and Input Constrained Nonlinear Systems

    Authors: José A. De Doná, Jean Lévine

    Abstract: In this paper, the problem of state and input constrained control is addressed, with multidimensional constraints. We obtain a local description of the boundary of the admissible subset of the state space where the state and input constraints can be satisfied \emph{for all times}. This boundary is made of two disjoint parts: the subset of the state constraint boundary on which there are trajectori… ▽ More

    Submitted 5 February, 2013; originally announced February 2013.

    Comments: 36 pages, 8 figures, submitted

    Journal ref: SIAM Journal on Control and Optimization, Volume 51, Issue 4, pp. 2705-3354, 2013

  13. arXiv:1206.5872  [pdf, other

    math.OC

    On the computation of $π$-flat outputs for differential-delay systems

    Authors: F. Antritter, F. Cazaurang, J. Lévine, J. Middeke

    Abstract: We introduce a new definition of $π$-flatness for linear differential delay systems with time-varying coefficients. We characterize $π$- and $π$-0-flat outputs and provide an algorithm to efficiently compute such outputs. We present an academic example of motion planning to discuss the pertinence of the approach.

    Submitted 26 September, 2014; v1 submitted 25 June, 2012; originally announced June 2012.

    Comments: Minor corrections to fit with the journal version

    Journal ref: Systems & Control Letters 71 (2014) 14-22

  14. arXiv:0910.3619  [pdf, ps, other

    math.OC math.DS

    On the Computation of $π$-Flat Outputs for Linear Time-Delay Systems

    Authors: Vincent Morio, Franck Cazaurang, Jean Lévine

    Abstract: This paper deals with linear time-varying, delay systems. Extensions of the concept of differential flatness \cite{Fliess_95} to this context have been first proposed in \cite{Mounier_95,Fliess_96} (see also \cite{Rudolph_03,Chyzak_05}), by the introduction of $π$-flat output. Roughly speaking, it means that every system variable may be expressed as a function of a particular output $y$, a finite… ▽ More

    Submitted 31 December, 2010; v1 submitted 19 October, 2009; originally announced October 2009.

    Comments: Submitted to journal "Linear Algebra and its Applications"

  15. On Necessary and Sufficient Conditions for Differential Flatness

    Authors: Jean Lévine

    Abstract: This paper is devoted to the characterization of differentially flat nonlinear systems in implicit representation, after elimination of the input variables, in the differential geometric framework of manifolds of jets of infinite order. We extend the notion of Lie-Bäcklund equivalence, introduced in Fliess et al. (1999), to this implicit context and focus attention on Lie-Bäcklund isomorphisms ass… ▽ More

    Submitted 1 January, 2011; v1 submitted 15 May, 2006; originally announced May 2006.

    Comments: Version 3 is the published version

    Journal ref: Applicable Algebra in Engineering, Communication and Computing, Volume 22, Number 1, pages 47-90, January 2011

  16. arXiv:math/0504278  [pdf, other

    math.GT math-ph math.QA

    Labeled binary planar trees and quasi-Lie algebras

    Authors: Jerome Levine

    Abstract: We study the natural map eta between a group of binary planar trees whose leaves are labeled by elements of a free abelian group H and a certain group D(H) derived from the free Lie algebra over H. Both of these groups arise in several different topological contexts. The map eta is known to be an isomorphism over Q, but not over Z. We determine its cokernel and attack the conjecture that it is i… ▽ More

    Submitted 17 April, 2009; v1 submitted 13 April, 2005; originally announced April 2005.

    Comments: This is the version published by Algebraic & Geometric Topology on 9 August 2006

    MSC Class: 57N10; 57M25

    Journal ref: Algebr. Geom. Topol. 6 (2006) 935-948

  17. arXiv:math/0408310  [pdf, ps, other

    math.GT math.QA

    The Lagrangian filtration of the mapping class group and finite-type invariants of homology spheres

    Authors: Jerome Levine

    Abstract: In a recent paper we defined a new filtration of the mapping class group--the "Lagrangian" filtration. We here determine the successive quotients of this filtration, up to finite index. As an application we show that, for any additive invariant of finite-type (e.g. the Casson invariant), and any level of the Lagrangian filtration, there is a homology 3-sphere which has a Heegaard decomposition w… ▽ More

    Submitted 23 August, 2004; originally announced August 2004.

    Comments: 12 pages, 1 figure

    MSC Class: 57N10; 57M25

  18. arXiv:math/0306315  [pdf, ps, other

    math.GT

    Concordance of boundary links

    Authors: Jerome Levine

    Abstract: We show that the twisted signature invariants of boundary link concordance derived from unitary representations of the free group are actually ordinary link concordance invariants. We also show how the discontinuity locus of this signature function is determined by Seifert matrices of the link.

    Submitted 22 June, 2003; originally announced June 2003.

    MSC Class: 57M25; 57Q45

  19. Addendum and correction to: Homology cylinders: an enlargement of the mapping class group

    Authors: Jerome Levine

    Abstract: In a previous paper [Homology cylinders: an enlargement of the mapping class group, Algebr. Geom. Topol. 1 (2001) 243--270, arXiv:math.GT/0010247], a group H_g of homology cylinders over the oriented surface of genus g is defined. A filtration of H_g is defined, using the Goussarov-Habiro notion of finite-type. It is erroneously claimed that this filtration essentially coincides with the relativ… ▽ More

    Submitted 31 December, 2002; v1 submitted 30 July, 2002; originally announced July 2002.

    Comments: Published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol2/agt-2-47.abs.html

    MSC Class: 57N10; 57M25

    Journal ref: Algebr. Geom. Topol. 2 (2002) 1197-1204

  20. arXiv:math/0102103  [pdf, ps, other

    math.GT math.QA

    Analytic invariants of boundary links

    Authors: Stavros Garoufalidis, Jerome Levine

    Abstract: Using basic topology and linear algebra, we define a plethora of invariants of boundary links whose values are power series with noncommuting variables. These turn out to be useful and elementary reformulations of an invariant originally defined by M. Farber.

    Submitted 13 February, 2001; originally announced February 2001.

    Comments: LaTeX, 8 pages

  21. Concordance and 1-loop clovers

    Authors: Stavros Garoufalidis, Jerome Levine

    Abstract: We show that surgery on a connected clover (or clasper) with at least one loop preserves the concordance class of a knot. Surgery on a slightly more special class of clovers preserves invertible concordance. We also show that the converse is false. Similar results hold for clovers with at least two loops vs. S-equivalence.

    Submitted 20 November, 2001; v1 submitted 13 February, 2001; originally announced February 2001.

    Comments: Published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol1/agt-1-33.abs.html

    MSC Class: 57N10; 57M25

    Journal ref: Algebr. Geom. Topol. 1 (2001) 687-697

  22. Homology cylinders: an enlargement of the mapping class group

    Authors: Jerome Levine

    Abstract: We consider a homological enlargement of the mapping class group, defined by homology cylinders over a closed oriented surface (up to homology cobordism). These are important model objects in the recent Goussarov-Habiro theory of finite-type invariants of 3-manifolds. We study the structure of this group from several directions: the relative weight filtration of Dennis Johnson, the finite-type… ▽ More

    Submitted 24 April, 2001; v1 submitted 26 October, 2000; originally announced October 2000.

    Comments: Published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol1/agt-1-12.abs.html

    MSC Class: 57N10; 57M25

    Journal ref: Algebr. Geom. Topol. 1 (2001) 243-270

  23. Homology surgery and invariants of 3-manifolds

    Authors: Stavros Garoufalidis, Jerome Levine

    Abstract: We introduce a homology surgery problem in dimension 3 which has the property that the vanishing of its algebraic obstruction leads to a canonical class of π-algebraically-split links in 3-manifolds with fundamental group π. Using this class of links, we define a theory of finite type invariants of 3-manifolds in such a way that invariants of degree 0 are precisely those of conventional algebrai… ▽ More

    Submitted 24 June, 2001; v1 submitted 30 May, 2000; originally announced May 2000.

    Comments: Published in Geometry and Topology at http://www.maths.warwick.ac.uk/gt/GTVol5/paper18.abs.html

    MSC Class: 57N10; 57M25

    Journal ref: Geom. Topol. 5 (2001) 551-578

  24. arXiv:math/9904106  [pdf, ps, other

    math.GT math.QA

    Tree-level invariants of three-manifolds, Massey products and the Johnson homomorphism

    Authors: Stavros Garoufalidis, Jerome Levine

    Abstract: Two references added and the introduction slightly expanded. We show that the tree-level part of a recent theory of invariants of 3-manifolds (due, independently, to Goussarov and Habiro) is essentially given by classical algebraic topology in terms of the Johnson homomorphism and Massey products, for arbitrary 3-manifolds. A key role of our proof is played by the notion of a homology cylinder,… ▽ More

    Submitted 14 October, 2003; v1 submitted 20 April, 1999; originally announced April 1999.

    Comments: AMS-LaTeX, 26 pages with 15 figures

  25. arXiv:q-alg/9712045  [pdf, ps, other

    math.QA

    Finite type invariants, the mapping class group and blinks

    Authors: Stavros Garoufalidis, Jerome Levine

    Abstract: The goal of the present paper is to find higher genus surgery formulae for the set of finite-type invariants of homology spheres, and to develop a companion theory of finite-type invariants to be applied, in a subsequent publication, to the study of subgroups of the mapping class group. The main result is to show that six filtrations on the vector space generated by oriented homology spheres (th… ▽ More

    Submitted 18 December, 1997; v1 submitted 17 December, 1997; originally announced December 1997.

    Comments: 51 pages, 44 figures, to be published in JDG. Replaced because of font problems in original

    MSC Class: 57M99

  26. arXiv:math/9712221  [pdf, ps, other

    math.GT

    Pure braids, a new subgroup of the mapping class group and finite type invariants

    Authors: Jerome Levine

    Abstract: In the study of the relation between the mapping class group M of a surface and the theory of finite-type invariants of homology 3-spheres, three subgroups of the mapping class group play a large role. They are the Torelli group, the Johnson subgroup K and a new subgroup L, which contains K, defined by a choice of a Lagrangian subgroup of the homology of the surface. In this work we determine th… ▽ More

    Submitted 3 December, 1997; originally announced December 1997.

    Comments: 22 pages, Latex, 5 pictures

    MSC Class: 57M

  27. arXiv:q-alg/9711007  [pdf, ps, other

    math.QA math.GT

    A Factorization of the Conway Polynomial

    Authors: Jerome Levine

    Abstract: A string link S can be closed in a canonical way to produce an ordinary closed link L. We also consider a twisted closing which produces a knot K. We give a formula for the Conway polynomial of L as a product of the Conway polynomial of K times a power series whose coefficients are given as explicit functions of the Milnor invariants of S. One consequence is a formula for the first non-vanishing… ▽ More

    Submitted 8 November, 1997; originally announced November 1997.

    Comments: 20 pages, LaTeX, 9 figures using BoxedEPS

  28. arXiv:dg-ga/9711007  [pdf, ps, other

    math.DG

    Morse theory of harmonic forms

    Authors: Michael Farber, Gabriel Katz, Jerome Levine

    Abstract: We consider the problem of whether it is possible to improve the Novikov inequalities for closed 1-forms, or any other inequalities of a similar nature, if we assume, additionally, that the given 1-form is harmonic with respect to some Riemannian metric. We show that, under suitable assumptions, it is impossible. We use, in an essential way, a theorem of E.Calabi characterizing 1-forms which are… ▽ More

    Submitted 11 November, 1997; originally announced November 1997.

    Comments: 16 pages, AMSTex, 12 figures

  29. arXiv:q-alg/9609027  [pdf, ps, other

    math.QA

    Finite type 3-manifold invariants and the structure of the Torelli

    Authors: Stavros Garoufalidis, Jerome Levine

    Abstract: We apply the theory of finite-type invariants of homology 3-spheres to investigate the structure of the Torelli group. We construct natural cocycles in the Torelli group and show that the lower central series quotients of the Torelli group map onto a vector space of trivalent graphs. We also have analogous results for two other natural subgroups of the mapping class group.

    Submitted 22 September, 1996; originally announced September 1996.

    Comments: 52 pages, AMSLatex, 20 figures

  30. arXiv:q-alg/9603013  [pdf, ps, other

    math.QA

    Finite type 3-manifold invariants and the structure of the Torelli group I

    Authors: Stavros Garoufalidis, Jerome Levine

    Abstract: Using the recently developed theory of finite type invariants of integral homology 3-spheres we study the structure of the Torelli group of a closed surface. Explicitly, we construct (a) natural cocycles of the Torelli group (with coefficients in a space of trivalent graphs) and cohomology classes of the abelianized Torelli group; (b) group homomorphisms that detect (rationally) the nontrivialit… ▽ More

    Submitted 9 May, 1997; v1 submitted 14 March, 1996; originally announced March 1996.

    Comments: AMS-LaTeX, 51 pages with 16 figures. Revised version, to appear in the Journal of Diff. Geometry

  31. arXiv:q-alg/9509028  [pdf, ps

    math.QA

    On Finite Type 3-manifold invariants IV: Comparison of Definitions

    Authors: Stavros Garoufalidis, Jerome Levine

    Abstract: This paper compares the definitions of finite-type invariants due to Ohtsuki and to Garoufalidis, showing that, residually, type 3m of the former equals type m of the latter. It also shows that type 2m Ohtsuki invariants define knot invariants of type 3m (first proved by Habegger).

    Submitted 27 September, 1995; v1 submitted 26 September, 1995; originally announced September 1995.

    Comments: 13 pages, Postscript

  32. arXiv:q-alg/9506012  [pdf, ps

    math.QA

    On Finite Type 3-Manifold Invariants II

    Authors: Stavros Garoufalidis, Jerome Levine

    Abstract: This paper continues the study of finite-type invariants of homology spheres studied by Ohtsuki and Garoufalidis. We apply the surgery classification of links to give a diagrammatic description, using ideas of Ohtsuki. This uses a computation of the surgery equivalence classes of pure braids. We show that the order of any invariant, in Ohtsukis sense, is a multiple of 3. We also study the relati… ▽ More

    Submitted 12 June, 1995; originally announced June 1995.

    Comments: 28 pages, 15 figures, Uuencoded PostScript File

  33. arXiv:dg-ga/9407008  [pdf, ps, other

    math.DG

    Jumps of the eta invariant

    Authors: Michael S. Farber, Jerome P. Levine

    Abstract: We study the eta-invariant, defined by Atiyah-Patodi-Singer a real valued invariant of an oriented odd-dimensional Riemannian manifold equipped with a unitary representation of its fundamental group. When the representation varies analytically, the corresponding eta-invariant may have an integral jump, known also as the spectral flow. The main result of the paper establishes a formula for this s… ▽ More

    Submitted 20 July, 1994; originally announced July 1994.

    Comments: 46 pages