Showing 1–50 of 63 results for author: Buliga, M

Dissipation and the information content of the deviation from hamiltonian dynamics

Authors: Marius Buliga

Abstract: We explain a dissipative version of hamiltonian mechanics, based on the information content of the deviation from hamiltonian dynamics. From this formulation we deduce minimal dissipation principles, dynamical inclusions, or constrained evolution with hamiltonian drift reformulations. Among applications we recover a dynamics generalization of Mielke et al quasistatic rate-independent processes.… ▽ More We explain a dissipative version of hamiltonian mechanics, based on the information content of the deviation from hamiltonian dynamics. From this formulation we deduce minimal dissipation principles, dynamical inclusions, or constrained evolution with hamiltonian drift reformulations. Among applications we recover a dynamics generalization of Mielke et al quasistatic rate-independent processes. This article gives a clear and unitary presentation of the theory of hamiltonian inclusions with convex dissipation or symplectic Brezis-Ekeland-Nayroles principle, presented under various conventions first in arXiv:0810.1419, then in arXiv:1408.3102 and, for the appearance of bipotentials in relation to the symplectic duality, in arXiv:1902.04598v1. △ Less

Submitted 2 June, 2023; v1 submitted 27 April, 2023; originally announced April 2023.

Comments: typos corrected, otherwise same as v1

Journal ref: Ann. Acad. Rom. Sci. Ser. Math. Appl. Vol. 15, No. 1-2/2023, p. 366-382

COLIN implies LIN for emergent algebras

Authors: Marius Buliga

Abstract: Emergent algebras, first time introduced in arXiv:0907.1520 , are families of quasigroup operations indexed by a commutative group, which satisfy some algebraic relations and also topological (convergence and continuity) relations. Besides sub-riemannian geometry arXiv:math/0608536, they appear as a semantics of a family of graph-rewrite systems related to interaction combinators arXiv:2007.10288,… ▽ More Emergent algebras, first time introduced in arXiv:0907.1520 , are families of quasigroup operations indexed by a commutative group, which satisfy some algebraic relations and also topological (convergence and continuity) relations. Besides sub-riemannian geometry arXiv:math/0608536, they appear as a semantics of a family of graph-rewrite systems related to interaction combinators arXiv:2007.10288, or lambda calculus arXiv:1305.5786 . In arXiv:1807.02058 there is a lambda calculus version of emergent algebras. In this article we prove that for emergent algebras the condition (COLIN), or right-distributivity for emergent algebras, implies (LIN), or left-distributivity for emergent algebras. It means that any emergent algebra which is right-distributive has to come from a commutative group endowed with a family of dilations. This is surprising, because there are many examples of emergent algebras which satisfy (LIN), but not (COLIN), namely those who are associated to non-commutative conical groups, in particular to non-commutative Carnot groups. △ Less

Submitted 15 October, 2021; originally announced October 2021.

Graph rewrites, from graphic lambda calculus, to chemlambda, to directed interaction combinators

Authors: Marius Buliga

Abstract: Here I report about the modifications of and relations between graphic lambda calculus, various formalisms which appeared under the name chemlambda and a version of directed interaction combinators. This is part of the study and experiments with the artificial chemistry chemlambda and the relations with lambda calculus or interaction combinators, as described in arXiv:2003.14332 and available from… ▽ More Here I report about the modifications of and relations between graphic lambda calculus, various formalisms which appeared under the name chemlambda and a version of directed interaction combinators. This is part of the study and experiments with the artificial chemistry chemlambda and the relations with lambda calculus or interaction combinators, as described in arXiv:2003.14332 and available from the entry page at https://chemlambda.github.io/index.html △ Less

Submitted 7 July, 2020; originally announced July 2020.

Comments: arXiv admin note: text overlap with arXiv:2003.14332

Artificial chemistry experiments with chemlambda, lambda calculus, interaction combinators

Authors: Marius Buliga

Abstract: Given a graph rewrite system, a graph G is a quine graph if it has a non-void maximal collection of non-conflicting matches of left patterns of graphs rewrites, such that after the parallel application of the rewrites we obtain a graph isomorphic with G. Such graphs exhibit a metabolism, they can multiply or they can die, when reduced by a random rewriting algorithm. These are introductory notes… ▽ More Given a graph rewrite system, a graph G is a quine graph if it has a non-void maximal collection of non-conflicting matches of left patterns of graphs rewrites, such that after the parallel application of the rewrites we obtain a graph isomorphic with G. Such graphs exhibit a metabolism, they can multiply or they can die, when reduced by a random rewriting algorithm. These are introductory notes to the pages of artificial chemistry experiments with chemlambda, lambda calculus or interaction combinators, available from the entry page https://chemlambda.github.io/index.html . The experiments are bundled into pages, all of them based on a library of programs, on a database which contains hundreds of graphs and on a database of about 150 pages of text comments and a collection of more than 200 animations, most of them which can be re-done live, via the programs. There are links to public repositories of other contributors to these experiments, with versions of these programs in python, haskell, awk or javascript. △ Less

Submitted 31 March, 2020; originally announced March 2020.

A stochastic version and a Liouville theorem for hamiltonian inclusions with convex dissipation

Authors: Marius Buliga

Abstract: The statistical counterpart of the formalism of hamiltonian systems with convex dissipation arXiv:0810.1419 , arXiv:1408.3102 is a completely open subject. Here are described a stochastic version of the SBEN principle and a Liouville type theorem which uses a minimal dissipation cost functional. The statistical counterpart of the formalism of hamiltonian systems with convex dissipation arXiv:0810.1419 , arXiv:1408.3102 is a completely open subject. Here are described a stochastic version of the SBEN principle and a Liouville type theorem which uses a minimal dissipation cost functional. △ Less

Submitted 27 July, 2018; originally announced July 2018.

The em-convex rewrite system

Authors: Marius Buliga

Abstract: We introduce and study em (or "emergent"), a lambda calculus style rewrite system inspired from dilations structures in metric geometry. Then we add a new axiom (convex) and explore its consequences. Although (convex) forces commutativity of the infinitesimal operations, Theorems 6.2, 8.9 and Proposition 8.7 appear as a lambda calculus style version of Gleason and Montgomery-Zippin solution to the… ▽ More We introduce and study em (or "emergent"), a lambda calculus style rewrite system inspired from dilations structures in metric geometry. Then we add a new axiom (convex) and explore its consequences. Although (convex) forces commutativity of the infinitesimal operations, Theorems 6.2, 8.9 and Proposition 8.7 appear as a lambda calculus style version of Gleason and Montgomery-Zippin solution to the Hilbert 5th problem. △ Less

Submitted 5 July, 2018; originally announced July 2018.

A symplectic Brezis-Ekeland-Nayroles principle

Authors: Marius Buliga, Gery de Saxce

Abstract: We propose a modification of the hamiltonian formalism which can be used for dissipative systems. This work continues arXiv:0810.1419 and advances by the introduction of a symplectic version of the Brezis-Ekeland-Nayroles principle [Brezis Ekeland 1976] [Nayroles 1976]. As an application we show how standard plasticity can be treated in our formalism. We propose a modification of the hamiltonian formalism which can be used for dissipative systems. This work continues arXiv:0810.1419 and advances by the introduction of a symplectic version of the Brezis-Ekeland-Nayroles principle [Brezis Ekeland 1976] [Nayroles 1976]. As an application we show how standard plasticity can be treated in our formalism. △ Less

Submitted 12 August, 2014; originally announced August 2014.

Journal ref: Mathematics and Mechanics of Solids 22, 6, (2017)

Zipper logic

Authors: Marius Buliga

Abstract: Zipper logic is a graph rewrite system, consisting in only local rewrites on a class of zipper graphs. Connections with the chemlambda artificial chemistry and with knot diagrammatics based computation are explored in the article. Zipper logic is a graph rewrite system, consisting in only local rewrites on a class of zipper graphs. Connections with the chemlambda artificial chemistry and with knot diagrammatics based computation are explored in the article. △ Less

Submitted 20 May, 2014; originally announced May 2014.

Comments: 16 pages, 24 colour figures

Chemlambda, universality and self-multiplication

Authors: Marius Buliga, Louis H. Kauffman

Abstract: We present chemlambda (or the chemical concrete machine), an artificial chemistry with the following properties: (a) is Turing complete, (b) has a model of decentralized, distributed computing associated to it, (c) works at the level of individual (artificial) molecules, subject of reversible, but otherwise deterministic interactions with a small number of enzymes, (d) encodes information in the g… ▽ More We present chemlambda (or the chemical concrete machine), an artificial chemistry with the following properties: (a) is Turing complete, (b) has a model of decentralized, distributed computing associated to it, (c) works at the level of individual (artificial) molecules, subject of reversible, but otherwise deterministic interactions with a small number of enzymes, (d) encodes information in the geometrical structure of the molecules and not in their numbers, (e) all interactions are purely local in space and time. This is part of a larger project to create computing, artificial chemistry and artificial life in a distributed context, using topological and graphical languages. △ Less

Submitted 31 March, 2014; originally announced March 2014.

Comments: 8 pages, 21 colour figures, conference paper submitted to ALIFE 14

Journal ref: ALIFE 2014: The Fourteenth International Conference on the Synthesis and Simulation of Living Systems July 2014 p.490-497

GLC actors, artificial chemical connectomes, topological issues and knots

Authors: Marius Buliga, Louis H. Kauffman

Abstract: Based on graphic lambda calculus, we propose a program for a new model of asynchronous distributed computing, inspired from Hewitt Actor Model, as well as several investigation paths, concerning how one may graft lambda calculus and knot diagrammatics. Based on graphic lambda calculus, we propose a program for a new model of asynchronous distributed computing, inspired from Hewitt Actor Model, as well as several investigation paths, concerning how one may graft lambda calculus and knot diagrammatics. △ Less

Submitted 16 December, 2013; originally announced December 2013.

MSC Class: 68Q85; 57M25

Chemical concrete machine

Authors: Marius Buliga

Abstract: The chemical concrete machine is a graph rewriting system which uses only local moves (rewrites), seen as chemical reactions involving molecules which are graphs made up by 4 trivalent nodes. It is Turing complete, therefore it might be used as a model of computation in algorithmic chemistry. The chemical concrete machine is a graph rewriting system which uses only local moves (rewrites), seen as chemical reactions involving molecules which are graphs made up by 4 trivalent nodes. It is Turing complete, therefore it might be used as a model of computation in algorithmic chemistry. △ Less

Submitted 26 September, 2013; originally announced September 2013.

Graphic lambda calculus

Authors: Marius Buliga

Abstract: We introduce and study graphic lambda calculus, a visual language which can be used for representing untyped lambda calculus, but it can also be used for computations in emergent algebras or for representing Reidemeister moves of locally planar tangle diagrams. We introduce and study graphic lambda calculus, a visual language which can be used for representing untyped lambda calculus, but it can also be used for computations in emergent algebras or for representing Reidemeister moves of locally planar tangle diagrams. △ Less

Submitted 24 September, 2013; v1 submitted 24 May, 2013; originally announced May 2013.

Comments: v2: Minor typos and figure corrections in section 3. v1: Massive revision of all previous descriptions of graphic lambda calculus, based on arXiv:1207.0332 and arXiv:1302.0778, with a lot of material added and harmonized exposition

Journal ref: Complex Systems 22, 4 (2013), 311-360

Origin of emergent algebras

Authors: Marius Buliga

Abstract: This is an expository article concerning the last section "Why is the tangent space a group?" (section 8) of the article by A. Bellaiche, The tangent space in sub-riemannian geometry, from the viewpoint of emergent algebras. This is an expository article concerning the last section "Why is the tangent space a group?" (section 8) of the article by A. Bellaiche, The tangent space in sub-riemannian geometry, from the viewpoint of emergent algebras. △ Less

Submitted 12 April, 2013; originally announced April 2013.

Geometric Ruzsa triangle inequality in metric spaces with dilations

Authors: Marius Buliga

Abstract: The Appendix of the article arXiv:1212.5056 [math.CO] "On growth in an abstract plane" by Nick Gill, H. A. Helfgott, Misha Rudnev, contains a general "geometric Ruzsa triangle inequality" in a Desarguesian projective plane. The purpose of this note is to give a similar inequality for metric spaces with dilations, that is in the absence of an algebraic or incidence structure. The Appendix of the article arXiv:1212.5056 [math.CO] "On growth in an abstract plane" by Nick Gill, H. A. Helfgott, Misha Rudnev, contains a general "geometric Ruzsa triangle inequality" in a Desarguesian projective plane. The purpose of this note is to give a similar inequality for metric spaces with dilations, that is in the absence of an algebraic or incidence structure. △ Less

Submitted 21 September, 2016; v1 submitted 11 April, 2013; originally announced April 2013.

Comments: extended version, detailed proofs, graph rewrites on binary trees used for a short proof of lemma 2

On graphic lambda calculus and the dual of the graphic beta move

Authors: Marius Buliga

Abstract: This is a short description of graphic lambda calculus, with special emphasis on a duality suggested by the two different appearances of knot diagrams, in lambda calculus and emergent algebra sectors of the graphic lambda calculus respectively. This duality leads to the introduction of the dual of the graphic beta move. While the graphic beta move corresponds to beta reduction in untyped lambda ca… ▽ More This is a short description of graphic lambda calculus, with special emphasis on a duality suggested by the two different appearances of knot diagrams, in lambda calculus and emergent algebra sectors of the graphic lambda calculus respectively. This duality leads to the introduction of the dual of the graphic beta move. While the graphic beta move corresponds to beta reduction in untyped lambda calculus, the dual graphic beta move appears in relation to emergent algebras. △ Less

Submitted 4 February, 2013; originally announced February 2013.

Graphic lambda calculus and knot diagrams

Authors: Marius Buliga

Abstract: In arXiv:1207.0332 [cs.LO] was proposed a graphic lambda calculus formalism, which has sectors corresponding to untyped lambda calculus and emergent algebras. Here we explore the sector covering knot diagrams, which are constructed as macros over the graphic lambda calculus. In arXiv:1207.0332 [cs.LO] was proposed a graphic lambda calculus formalism, which has sectors corresponding to untyped lambda calculus and emergent algebras. Here we explore the sector covering knot diagrams, which are constructed as macros over the graphic lambda calculus. △ Less

Submitted 7 November, 2012; originally announced November 2012.

Local and global moves on locally planar trivalent graphs, lambda calculus and $λ$-Scale

Authors: Marius Buliga

Abstract: We give a description of local and global moves on a class of locally planar trivalent graphs and we show that it contains $λ$-Scale calculus, therefore in particular untyped lambda calculus. Surprisingly, the beta reduction rule comes from a local "sewing" transformation of trivalent locally planar graphs. We give a description of local and global moves on a class of locally planar trivalent graphs and we show that it contains $λ$-Scale calculus, therefore in particular untyped lambda calculus. Surprisingly, the beta reduction rule comes from a local "sewing" transformation of trivalent locally planar graphs. △ Less

Submitted 2 July, 2012; originally announced July 2012.

Sub-riemannian geometry from intrinsic viewpoint

Authors: Marius Buliga

Abstract: Gromov proposed to extract the (differential) geometric content of a sub-riemannian space exclusively from its Carnot-Carathéodory distance. One of the most striking features of a regular sub-riemannian space is that it has at any point a metric tangent space with the algebraic structure of a Carnot group, hence a homogeneous Lie group. Siebert characterizes homogeneous Lie groups as locally compa… ▽ More Gromov proposed to extract the (differential) geometric content of a sub-riemannian space exclusively from its Carnot-Carathéodory distance. One of the most striking features of a regular sub-riemannian space is that it has at any point a metric tangent space with the algebraic structure of a Carnot group, hence a homogeneous Lie group. Siebert characterizes homogeneous Lie groups as locally compact groups admitting a contracting and continuous one-parameter group of automorphisms. Siebert result has not a metric character. In these notes I show that sub-riemannian geometry may be described by about 12 axioms, without using any a priori given differential structure, but using dilation structures instead. Dilation structures bring forth the other intrinsic ingredient, namely the dilations, thus blending Gromov metric point of view with Siebert algebraic one. △ Less

Submitted 14 June, 2012; originally announced June 2012.

Comments: These are the notes prepared for the course "Metric spaces with dilations and sub-riemannian geometry from intrinsic point of view", CIMPA research school on sub-riemannian geometry (2012). Unitary exposition based on several previous papers of mine, especially arXiv:0810.5042, hopefully with many details, explanations and some proofs which I previously skipped

MSC Class: 51K10; 53C17; 53C23

$λ$-Scale, a lambda calculus for spaces with dilations

Authors: Marius Buliga

Abstract: $λ$-Scale is an enrichment of lambda calculus which is adapted to emergent algebras. It can be used therefore in metric spaces with dilations. $λ$-Scale is an enrichment of lambda calculus which is adapted to emergent algebras. It can be used therefore in metric spaces with dilations. △ Less

Submitted 23 May, 2012; v1 submitted 1 May, 2012; originally announced May 2012.

Comments: massively re-written version, condensed, relative calculus introduced

A variational formulation for constitutive laws described by bipotentials

Authors: Marius Buliga, Gery de Saxce, Claude Vallee

Abstract: Inspired by the algorithm of Berga and de Saxce for solving the discretisation in time of the evolution problem for an implicit standard material, we propose a general variational formulation in terms of bipotentials. Inspired by the algorithm of Berga and de Saxce for solving the discretisation in time of the evolution problem for an implicit standard material, we propose a general variational formulation in terms of bipotentials. △ Less

Submitted 30 October, 2011; originally announced October 2011.

MSC Class: 74A20; 49J40 (Primary) 26B25 (Secondary)

Journal ref: Mathematics and Mechanics of Solids Volume 18 Issue 1, 2013, 78-90

Normed groupoids with dilations

Authors: Marius Buliga

Abstract: We study normed groupoids with dilations and their induced deformations. We study normed groupoids with dilations and their induced deformations. △ Less

Submitted 14 July, 2011; originally announced July 2011.

Comments: arXiv admin note: this contains the content of arXiv:0911.1300

Maps of metric spaces

Authors: Marius Buliga

Abstract: This is a pedagogical introduction covering maps of metric spaces, Gromov-Hausdorff distance and its "physical" meaning, and dilation structures as a convenient simplification of an exhaustive database of maps of a metric space into another. See arXiv:1103.6007 for the context. This is a pedagogical introduction covering maps of metric spaces, Gromov-Hausdorff distance and its "physical" meaning, and dilation structures as a convenient simplification of an exhaustive database of maps of a metric space into another. See arXiv:1103.6007 for the context. △ Less

Submitted 14 July, 2011; originally announced July 2011.

Comments: arXiv admin note: This is the appendix of arXiv:1103.6007, separated out as a separate submission

Computing with space: a tangle formalism for chora and difference

Authors: Marius Buliga

Abstract: What is space computing, simulation, or understanding? Converging from several sources, this seems to be something more primitive than what is usually meant by computation, something that was along with us since antiquity (the word "choros", "chora", denotes "space" or "place" and is seemingly the most mysterious notion from Plato, described in Timaeus 48e - 53c) which has to do with cybernetics a… ▽ More What is space computing, simulation, or understanding? Converging from several sources, this seems to be something more primitive than what is usually meant by computation, something that was along with us since antiquity (the word "choros", "chora", denotes "space" or "place" and is seemingly the most mysterious notion from Plato, described in Timaeus 48e - 53c) which has to do with cybernetics and with the understanding of the front end visual system. It may have some unexpected applications, also. Here, inspired by Bateson (see Supplementary Material), I explore from the mathematical side the point of view that there is no difference between the map and the territory, but instead the transformation of one into another can be understood by using a formalism of tangle diagrams. This paper continues arXiv:1009.5028 "What is a space? Computations in emergent algebras and the front end visual system" and the arXiv:1007.2362 "Introduction to metric spaces with dilations". △ Less

Submitted 21 April, 2011; v1 submitted 30 March, 2011; originally announced March 2011.

Comments: 56 pages, added content and reorganized the paper, title changed, many figures

More than discrete or continuous: a bird's view

Authors: Marius Buliga

Abstract: I try to give mathematical evidence to the following equivalence, which is based on ideas from Plato (Timaeus): reality emerges from a more primitive, non-geometrical, reality in the same way as the brain construct (understands, simulates, transforms, encodes or decodes) the image of reality, starting from intensive properties (like a bunch of spiking signals sent by receptors in the retina), with… ▽ More I try to give mathematical evidence to the following equivalence, which is based on ideas from Plato (Timaeus): reality emerges from a more primitive, non-geometrical, reality in the same way as the brain construct (understands, simulates, transforms, encodes or decodes) the image of reality, starting from intensive properties (like a bunch of spiking signals sent by receptors in the retina), without any use of extensive (i.e. spatial or geometric) properties. △ Less

Submitted 19 November, 2010; originally announced November 2010.

Boring mathematics, artistes pompiers and impressionists

Authors: Marius Buliga

Abstract: The 19th century impressionist movement, as a reaction to "art pompier", is proposed as a comparison with modern evolutions in mathematics. The 19th century impressionist movement, as a reaction to "art pompier", is proposed as a comparison with modern evolutions in mathematics. △ Less

Submitted 18 November, 2010; v1 submitted 15 November, 2010; originally announced November 2010.

Comments: with respect to the previous version, only fixed the hyperref

What is a space? Computations in emergent algebras and the front end visual system

Authors: Marius Buliga

Abstract: With the help of link diagrams with decorated crossings, I explain computations in emergent algebras, introduced in arXiv:0907.1520, as the kind of computations done in the front end visual system. With the help of link diagrams with decorated crossings, I explain computations in emergent algebras, introduced in arXiv:0907.1520, as the kind of computations done in the front end visual system. △ Less

Submitted 25 September, 2010; originally announced September 2010.

Comments: comments welcomed

Introduction to metric spaces with dilations

Authors: Marius Buliga

Abstract: This paper gives a short introduction into the metric theory of spaces with dilations. This paper gives a short introduction into the metric theory of spaces with dilations. △ Less

Submitted 14 July, 2010; originally announced July 2010.

Comments: comments welcome

MSC Class: 51K10; 53C17; 53C23

Braided spaces with dilations and sub-riemannian symmetric spaces

Authors: Marius Buliga

Abstract: Braided sets which are also spaces with dilations are presented and explored in this paper, in the general frame of emergent algebras arxiv:0907.1520. Examples of such spaces are the sub-riemannian symmetric spaces. Keywords: braided sets, quandles; emergent algebras; dilatation structures (spaces with dilations); sub-riemannian symmetric spaces. Braided sets which are also spaces with dilations are presented and explored in this paper, in the general frame of emergent algebras arxiv:0907.1520. Examples of such spaces are the sub-riemannian symmetric spaces. Keywords: braided sets, quandles; emergent algebras; dilatation structures (spaces with dilations); sub-riemannian symmetric spaces. △ Less

Submitted 18 April, 2011; v1 submitted 27 May, 2010; originally announced May 2010.

Comments: Final version, appeared in: Geometry. Exploratory Workshop on Differential Geometry and its Applications, eds. D. Andrica, S. Moroianu, Cluj-Napoca 2011, 21-35

MSC Class: 20N05; 53C17; 16T25

Journal ref: Geometry. Exploratory Workshop on Differential Geometry and its Applications, eds. D. Andrica, S. Moroianu, Cluj-Napoca 2011, 21-35

Uniform refinements, topological derivative and a differentiation theorem in metric spaces

Authors: Marius Buliga

Abstract: For the importance of differentiation theorems in metric spaces (starting with Pansu Rademacher type theorem in Carnot groups) and relations with rigidity of embeddings see the section 1.2 in Cheeger and Kleiner paper arXiv:math/0611954 and its bibliographic references. Here we propose another type of differentiation theorem, which does not involve measures. It is therefore different from Rade… ▽ More For the importance of differentiation theorems in metric spaces (starting with Pansu Rademacher type theorem in Carnot groups) and relations with rigidity of embeddings see the section 1.2 in Cheeger and Kleiner paper arXiv:math/0611954 and its bibliographic references. Here we propose another type of differentiation theorem, which does not involve measures. It is therefore different from Rademacher type theorems. Instead, this differentiation theorem (and the concept of uniformly topological derivable function) is formulated in terms of filters in topological spaces. △ Less

Submitted 24 November, 2009; originally announced November 2009.

Deformations of normed groupoids and differential calculus. First part

Authors: Marius Buliga

Abstract: Differential calculus on metric spaces is contained in the algebraic study of normed groupoids with $δ$-structures. Algebraic study of normed groups endowed with dilatation structures is contained in the differential calculus on metric spaces. Thus all algebraic properties of the small world of normed groups with dilatation structures have equivalent formulations (of comparable complexity) in… ▽ More Differential calculus on metric spaces is contained in the algebraic study of normed groupoids with $δ$-structures. Algebraic study of normed groups endowed with dilatation structures is contained in the differential calculus on metric spaces. Thus all algebraic properties of the small world of normed groups with dilatation structures have equivalent formulations (of comparable complexity) in the big world of metric spaces admitting a differential calculus. Moreover these results non trivially extend beyond metric spaces, by using the language of groupoids. △ Less

Submitted 6 November, 2009; originally announced November 2009.

Emergent algebras

Authors: Marius Buliga

Abstract: Inspired from research subjects in sub-riemannian geometry and metric geometry, we propose uniform idempotent right quasigroups and emergent algebras as an alternative to differentiable algebras. Idempotent right quasigroups (irqs) are related with racks and quandles, which appear in knot theory (the axioms of a irq correspond to the first two Reidemeister moves). To any uniform idempotent right… ▽ More Inspired from research subjects in sub-riemannian geometry and metric geometry, we propose uniform idempotent right quasigroups and emergent algebras as an alternative to differentiable algebras. Idempotent right quasigroups (irqs) are related with racks and quandles, which appear in knot theory (the axioms of a irq correspond to the first two Reidemeister moves). To any uniform idempotent right quasigroup can be associated an approximate differential calculus, with Pansu differential calculus in sub-riemannian geometry as an example. An emergent algebra A over a uniform idempotent right quasigroup X is a collection of operations such that each operation emerges from X, meaning that it can be realized as a combination of the operations of the uniform irq X, possibly by taking limits which are uniform with respect to a set of parameters. Two applications are considered: we prove a bijection between contractible groups and distributive uniform irqs (uniform quandles) and that some symmetric spaces in the sense of Loos may be seen as uniform quasigroups with a distributivity property. △ Less

Submitted 23 November, 2011; v1 submitted 9 July, 2009; originally announced July 2009.

Comments: Modified title, some notations and improvements of exposition

MSC Class: 20N05; 20F19; 58H15

Blurred maximal cyclically monotone sets and bipotentials

Authors: Marius Buliga, Gery de Saxce, Claude Vallee

Abstract: Let X be a reflexive Banach space and Y its dual. In this paper we find necessary and sufficient conditions for the existence of a bipotential for a blurred maximal cyclically monotone graph. Equivalently, we find a necessary and sufficient condition on $φ\in Γ_{0}(X)$ for that the differential inclusion $y \in \bar{B}(ε) + \partial φ(x)$ can be put in the form $y \in \partial b(\cdot, y)(x)$, w… ▽ More Let X be a reflexive Banach space and Y its dual. In this paper we find necessary and sufficient conditions for the existence of a bipotential for a blurred maximal cyclically monotone graph. Equivalently, we find a necessary and sufficient condition on $φ\in Γ_{0}(X)$ for that the differential inclusion $y \in \bar{B}(ε) + \partial φ(x)$ can be put in the form $y \in \partial b(\cdot, y)(x)$, with $b$ a bipotential. △ Less

Submitted 15 January, 2010; v1 submitted 1 May, 2009; originally announced May 2009.

Comments: Revised version, corrections in theorem 6.2

MSC Class: 49J53; 49J52; 26B25

Journal ref: Analysis and Applications 8, no. 4, ppp. 1-14 (2010)

Blurred constitutive laws and bipotential convex covers

Authors: Gery de Saxce, Marius Buliga, Claude Vallee

Abstract: In many practical situations, incertitudes affect the mechanical behaviour that is given by a family of graphs instead of a single one. In this paper, we show how the bipotential method is able to capture such blurred constitutive laws, using bipotential convex covers. In many practical situations, incertitudes affect the mechanical behaviour that is given by a family of graphs instead of a single one. In this paper, we show how the bipotential method is able to capture such blurred constitutive laws, using bipotential convex covers. △ Less

Submitted 1 May, 2009; originally announced May 2009.

MSC Class: 49J53; 49J52; 26B25

Journal ref: Mathematics and Mechanics of Solids 16(2), (2011), 161-171

A characterization of sub-riemannian spaces as length dilatation structures constructed via coherent projections

Authors: Marius Buliga

Abstract: We introduce length dilatation structures on metric spaces, tempered dilatation structures and coherent projections and explore the relations between these objects and the Radon-Nikodym property and Gamma-convergence of length functionals. Then we show that the main properties of sub-riemannian spaces can be obtained from pairs of length dilatation structures, the first being a tempered one and… ▽ More We introduce length dilatation structures on metric spaces, tempered dilatation structures and coherent projections and explore the relations between these objects and the Radon-Nikodym property and Gamma-convergence of length functionals. Then we show that the main properties of sub-riemannian spaces can be obtained from pairs of length dilatation structures, the first being a tempered one and the second obtained via a coherent projection. Thus we get an intrinsic, synthetic, axiomatic description of sub-riemannian geometry, which transforms the classical construction of a Carnot-Caratheodory distance on a regular sub-riemannian manifold into a model for this abstract sub-riemannian geometry. △ Less

Submitted 10 October, 2009; v1 submitted 28 October, 2008; originally announced October 2008.

Comments: extended introduction and final discussion

MSC Class: 51K10; 53C17; 53C23

Journal ref: Commun. Math. Anal., Volume 11, Number 2 (2011), 70-111

Hamiltonian inclusions with convex dissipation with a view towards applications

Authors: Marius Buliga

Abstract: We propose a generalization of hamiltonian mechanics, as a hamiltonian inclusion with convex dissipation function. We obtain a dynamical version of the approach of Mielke to quasistatic rate-independent processes. Then we show that a class of models of dynamical brittle damage can be formulated in this setting. We propose a generalization of hamiltonian mechanics, as a hamiltonian inclusion with convex dissipation function. We obtain a dynamical version of the approach of Mielke to quasistatic rate-independent processes. Then we show that a class of models of dynamical brittle damage can be formulated in this setting. △ Less

Submitted 13 June, 2009; v1 submitted 8 October, 2008; originally announced October 2008.

MSC Class: 34G25; 70H05; 74R05

Journal ref: Mathematics and its Applications: Annals of the Academy of Romanian Scientists, 1 (2) 2009, 228-251

Bipotentials for non monotone multivalued operators: fundamental results and applications

Authors: Marius Buliga, Gery de Saxce, Claude Vallee

Abstract: This is a survey of recent results about bipotentials representing multivalued operators. The notion of bipotential is based on an extension of Fenchel's inequality, with several interesting applications related to non associated constitutive laws in non smooth mechanics, such as Coulomb frictional contact or non-associated Drucker-Prager model in plasticity. Relations betweeen bipotentials an… ▽ More This is a survey of recent results about bipotentials representing multivalued operators. The notion of bipotential is based on an extension of Fenchel's inequality, with several interesting applications related to non associated constitutive laws in non smooth mechanics, such as Coulomb frictional contact or non-associated Drucker-Prager model in plasticity. Relations betweeen bipotentials and Fitzpatrick functions are described. Selfdual lagrangians, introduced and studied by Ghoussoub, can be seen as bipotentials representing maximal monotone operators. We show that bipotentials can represent some monotone but not maximal operators, as well as non monotone operators. Further we describe results concerning the construction of a bipotential which represents a given non monotone operator, by using convex lagrangian covers or bipotential convex covers. △ Less

Submitted 27 February, 2009; v1 submitted 11 April, 2008; originally announced April 2008.

Comments: to appear in Acta Applicandae Mathematicae

MSC Class: 49J53; 49J52; 26B25

Journal ref: Acta Applicandae Mathematicae, 110, 2(2010), 955-972

Infinitesimal affine geometry of metric spaces endowed with a dilatation structure

Authors: Marius Buliga

Abstract: We study algebraic and geometric properties of metric spaces endowed with dilatation structures, which are emergent during the passage through smaller and smaller scales. In the limit we obtain a generalization of metric affine geometry, endowed with a noncommutative vector addition operation and with a modified version of ratio of three collinear points. This is the geometry of normed affine gr… ▽ More We study algebraic and geometric properties of metric spaces endowed with dilatation structures, which are emergent during the passage through smaller and smaller scales. In the limit we obtain a generalization of metric affine geometry, endowed with a noncommutative vector addition operation and with a modified version of ratio of three collinear points. This is the geometry of normed affine group spaces, a category which contains the ones of homogeneous groups, Carnot groups or contractible groups. In this category group operations are not fundamental, but derived objects, and the generalization of affine geometry is not based on incidence relations. △ Less

Submitted 24 April, 2008; v1 submitted 1 April, 2008; originally announced April 2008.

Comments: to appear in the Houston Journal of Mathematics

MSC Class: 20F65; 20F19; 22A10

Journal ref: Houston J Math 36, 1 (2010), 91-136

Non maximal cyclically monotone graphs and construction of a bipotential for the Coulomb's dry friction law

Authors: Marius Buliga, Gery de Saxce, Claude Vallee

Abstract: We show a surprising connexion between a property of the inf convolution of a family of convex lower semicontinuous functions and the fact that the intersection of maximal cyclically monotone graphs is the critical set of a bipotential. We then extend the results from arXiv:math/0608424v4 to bipotentials convex covers, generalizing the notion of a bi-implicitly convex lagrangian cover. As an… ▽ More We show a surprising connexion between a property of the inf convolution of a family of convex lower semicontinuous functions and the fact that the intersection of maximal cyclically monotone graphs is the critical set of a bipotential. We then extend the results from arXiv:math/0608424v4 to bipotentials convex covers, generalizing the notion of a bi-implicitly convex lagrangian cover. As an application we prove that the bipotential related to Coulomb's friction law is related to a specific bipotential convex cover with the property that any graph of the cover is non maximal cyclically monotone. △ Less

Submitted 6 February, 2009; v1 submitted 8 February, 2008; originally announced February 2008.

Comments: accepted by the Journal of Convex Analysis

MSC Class: 49J53; 49J52; 26B25

Journal ref: J. of Convex Analysis 17, No 1. (2010), 81-94

On the Kirchheim-Magnani counterexample to metric differentiability

Authors: Marius Buliga

Abstract: In this short note we give an interpretation of the Kirchheim-Magnani counterexample to metric differentiability in terms of dilatation structures. In this short note we give an interpretation of the Kirchheim-Magnani counterexample to metric differentiability in terms of dilatation structures. △ Less

Submitted 6 October, 2007; originally announced October 2007.

MSC Class: 26B05; 22E25

Self-similar dilatation structures and automata

Authors: Marius Buliga

Abstract: We show that on the boundary of the dyadic tree, any self-similar dilatation structure induces a web of interacting automata. This is a short version, for publication, of the paper arXiv:math/0612509v2 We show that on the boundary of the dyadic tree, any self-similar dilatation structure induces a web of interacting automata. This is a short version, for publication, of the paper arXiv:math/0612509v2 △ Less

Submitted 14 September, 2007; originally announced September 2007.

MSC Class: 22A30; 05C12; 68Q45

Journal ref: Proceedings of the Sixth Congress of Romanian Mahematicians, Bucharest 2007, vol. 1, 557-564

Dilatation structures in sub-riemannian geometry

Authors: Marius Buliga

Abstract: Based on the notion of dilatation structure arXiv:math/0608536, we give an intrinsic treatment to sub-riemannian geometry, started in the paper arXiv:0706.3644 . Here we prove that regular sub-riemannian manifolds admit dilatation structures. From the existence of normal frames proved by Bellaiche we deduce the rest of the properties of regular sub-riemannian manifolds by using the formalism o… ▽ More Based on the notion of dilatation structure arXiv:math/0608536, we give an intrinsic treatment to sub-riemannian geometry, started in the paper arXiv:0706.3644 . Here we prove that regular sub-riemannian manifolds admit dilatation structures. From the existence of normal frames proved by Bellaiche we deduce the rest of the properties of regular sub-riemannian manifolds by using the formalism of dilatation structures. △ Less

Submitted 23 April, 2008; v1 submitted 31 August, 2007; originally announced August 2007.

Comments: to appear in "Contemporary Geometry and Topology and Related Topics. Cluj-Napoca, August 19-25, 2007"

MSC Class: 53C17; 22E20; 20F65

Journal ref: Contemporary Geometry and Topology and Related Topics. Cluj-Napoca, August 19-25, 2007, Cluj University Press (2008), 89-105

Dilatation structures with the Radon-Nikodym property

Authors: Marius Buliga

Abstract: In this paper I explain what is a pair of dilatation structures, one looking down to another. Such a pair of dilatation structures leads to the intrinsic definition of a distribution as a field of topological filters. To any pair of dilatation structures there is an associated notion of differentiability which generalizes the Pansu differentiability. This allows the introduction of the Radon-N… ▽ More In this paper I explain what is a pair of dilatation structures, one looking down to another. Such a pair of dilatation structures leads to the intrinsic definition of a distribution as a field of topological filters. To any pair of dilatation structures there is an associated notion of differentiability which generalizes the Pansu differentiability. This allows the introduction of the Radon-Nikodym property for dilatation structures, which is the straightforward generalization of the Radon-Nikodym property for Banach spaces. After an introducting section about length metric spaces and metric derivatives, is proved that for a dilatation structure with the Radon-Nikodym property the length of absolutely continuous curves expresses as an integral of the norms of the tangents to the curve, as in Riemannian geometry. Further it is shown that Radon-Nikodym property transfers from any "upper" dilatation structure looking down to a "lower" dilatation structure, theorem \ref{ttransfer}. Im my opinion this result explains intrinsically the fact that absolutely continuous curves in regular sub-Riemannian manifolds are derivable almost everywhere, as proved by Margulis-Mostow, Pansu (for Carnot groups) or Vodopyanov. △ Less

Submitted 25 June, 2007; originally announced June 2007.

Linear dilatation structures and inverse semigroups

Authors: Marius Buliga

Abstract: Here we prove that for dilatation structures linearity (see arXiv:0705.1440v1) is equivalent to a statement about the inverse semigroup generated by the family of dilatations of the space. The result is new for Carnot groups and the proof seems to be new even for vector spaces. Here we prove that for dilatation structures linearity (see arXiv:0705.1440v1) is equivalent to a statement about the inverse semigroup generated by the family of dilatations of the space. The result is new for Carnot groups and the proof seems to be new even for vector spaces. △ Less

Submitted 7 June, 2007; v1 submitted 28 May, 2007; originally announced May 2007.

Comments: larger version

MSC Class: 20M18; 22E20; 20F65

Contractible groups and linear dilatation structures

Authors: Marius Buliga

Abstract: A dilatation structure on a metric space, arXiv:math/0608536v4, is a notion in between a group and a differential structure, accounting for the approximate self-similarity of the metric space. The basic objects of a dilatation structure are dilatations (or contractions). The axioms of a dilatation structure set the rules of interaction between different dilatations. Linearity is also a prope… ▽ More A dilatation structure on a metric space, arXiv:math/0608536v4, is a notion in between a group and a differential structure, accounting for the approximate self-similarity of the metric space. The basic objects of a dilatation structure are dilatations (or contractions). The axioms of a dilatation structure set the rules of interaction between different dilatations. Linearity is also a property which can be explained with the help of a dilatation structure. In this paper we show that we can speak about two kinds of linearity: the linearity of a function between two dilatation structures and the linearity of the dilatation structure itself. Our main result here is a characterization of contractible groups in terms of dilatation structures. To a normed conical group (normed contractible group) we can naturally associate a linear dilatation structure. Conversely, any linear and strong dilatation structure comes from the dilatation structure of a normed contractible group. △ Less

Submitted 6 June, 2007; v1 submitted 10 May, 2007; originally announced May 2007.

Comments: larger, updated version

MSC Class: 22E20; 20E36; 20F65; 22A10; 51F99

Microfractured media with a scale and Mumford-Shah energies

Authors: Marius Buliga

Abstract: We want to understand he concentration of damage in microfractured elastic media. Due to the different scallings of the volume and area (or area and length in two dimensions) the traditional method of homogenization using periodic arrays of cells seems to fail when applied to the Mumford-Shah functional and to periodically fractured domains. In the present paper we are departing from tradition… ▽ More We want to understand he concentration of damage in microfractured elastic media. Due to the different scallings of the volume and area (or area and length in two dimensions) the traditional method of homogenization using periodic arrays of cells seems to fail when applied to the Mumford-Shah functional and to periodically fractured domains. In the present paper we are departing from traditional homogenization. The main result implies the use of Mumford-Shah energies and leads to an explanation of the observed concentration of damage in microfractured elastic bodies. △ Less

Submitted 28 April, 2007; originally announced April 2007.

MSC Class: 35R35; 74R10; 49Q20; 35B30; 35J25

Equilibrium and absolute minimal states of Mumford-Shah functionals and brittle fracture propagation

Authors: Marius Buliga

Abstract: By a combination of geometrical and configurational analysis we study the properties of absolute minimal and equilibrium states of general Mumford-Shah functionals, with applications to models of quasistatic brittle fracture propagation. The main results concern the mathematical relations between physical quantities as energy release rate and energy concentration for 3D cracks with complex shape… ▽ More By a combination of geometrical and configurational analysis we study the properties of absolute minimal and equilibrium states of general Mumford-Shah functionals, with applications to models of quasistatic brittle fracture propagation. The main results concern the mathematical relations between physical quantities as energy release rate and energy concentration for 3D cracks with complex shapes, seen as outer measures living on the crack edge. △ Less

Submitted 14 March, 2008; v1 submitted 20 April, 2007; originally announced April 2007.

Comments: larger version

MSC Class: 35R35; 74R10; 49Q20; 35B30; 35J25

Dilatation structures II. Linearity, self-similarity and the Cantor set

Authors: Marius Buliga

Abstract: In this paper we continue the study of dilatation structures, introduced in math.MG/0608536 . A dilatation structure on a metric space is a kind of enhanced self-similarity. By way of examples this is explained here with the help of the middle-thirds Cantor set. Linear and self-similar dilatation structures are introduced and studied on ultrametric spaces, especially on the boundary of the dya… ▽ More In this paper we continue the study of dilatation structures, introduced in math.MG/0608536 . A dilatation structure on a metric space is a kind of enhanced self-similarity. By way of examples this is explained here with the help of the middle-thirds Cantor set. Linear and self-similar dilatation structures are introduced and studied on ultrametric spaces, especially on the boundary of the dyadic tree (same as the middle-thirds Cantor set). Some other examples of dilatation structures, which share some common features, are given. Another class of examples, coming from sub-Riemannian geometry, will make the subject of an article in preparation. In the particular case of ultrametric spaces the axioms of dilatation structures take a simplified form, leading to a description of all possible weak dilatation structures on the Cantor set. As an application we prove that there is more than one linear and self-similar dilatation structure on the Cantor set, compatible with the iterated functions system which defines the Cantor set. Applications to self-similar groups are reserved for a further paper. △ Less

Submitted 14 February, 2007; v1 submitted 18 December, 2006; originally announced December 2006.

MSC Class: 20F65; 22A10; 51F99

Construction of bipotentials and a minimax theorem of Fan

Authors: Marius Buliga, Gery de Saxce, Claude Vallee

Abstract: In Mechanics, the theory of standard materials is a well-known application of Convex Analysis. However, the so-called non-associated constitutive laws cannot be cast in the mould of the standard materials. From the mathematical viewpoint, a non associated constitutive law is a multivalued operator which is not supposed to be monotone. A possible way to study non-associated constitutive laws… ▽ More In Mechanics, the theory of standard materials is a well-known application of Convex Analysis. However, the so-called non-associated constitutive laws cannot be cast in the mould of the standard materials. From the mathematical viewpoint, a non associated constitutive law is a multivalued operator which is not supposed to be monotone. A possible way to study non-associated constitutive laws by using Convex Analysis, proposed first in [12], consists in constructing a "bipotential" function of two variables, which physically represents the dissipation. This is a second paper on the mathematics of the bipotentials, following math.FA/0608424 . We prove here another reconstruction theorem for a bipotential from a convex lagrangian cover, this time using a convexity notion related to a minimax theorem of Fan. △ Less

Submitted 23 February, 2007; v1 submitted 4 October, 2006; originally announced October 2006.

MSC Class: 49J53; 49J52; 26B25

Dilatation structures I. Fundamentals

Authors: Marius Buliga

Abstract: A dilatation structure is a concept in between a group and a differential structure. In this article we study fundamental properties of dilatation structures on metric spaces. This is a part of a series of papers which show that such a structure allows to do analysis, in the sense of differential calculus, on a metric space. We also describe a formal, universal calculus with binary decorated pla… ▽ More A dilatation structure is a concept in between a group and a differential structure. In this article we study fundamental properties of dilatation structures on metric spaces. This is a part of a series of papers which show that such a structure allows to do analysis, in the sense of differential calculus, on a metric space. We also describe a formal, universal calculus with binary decorated planar trees, which underlies any dilatation structure. △ Less

Submitted 28 February, 2007; v1 submitted 22 August, 2006; originally announced August 2006.

Comments: Will be available online at the site of the journal http://www.jglta.astralgo.eu/

MSC Class: 20F65; 22A10; 51F99

Journal ref: J. Gen. Lie Theory Appl. Vol 1 (2007), No 2, 65-95

Existence and construction of bipotentials for graphs of multivalued laws

Authors: Marius Buliga, Gery de Saxce, Claude Vallee

Abstract: This is a first paper in convex analysis dedicated to the bipotential theory, based on an extension of Fenchel's inequality. Introduced by the second author, bipotentials lead to a succesful new treatment of the constitutive laws of some dissipative materials: frictional contact, non-associated Drucker-Prager model, or Lemaitre plastic ductile damage law. We solve here the problems of existence… ▽ More This is a first paper in convex analysis dedicated to the bipotential theory, based on an extension of Fenchel's inequality. Introduced by the second author, bipotentials lead to a succesful new treatment of the constitutive laws of some dissipative materials: frictional contact, non-associated Drucker-Prager model, or Lemaitre plastic ductile damage law. We solve here the problems of existence and construction of a bipotential for a nonsmooth mechanics constitutive law. △ Less

Submitted 14 February, 2007; v1 submitted 16 August, 2006; originally announced August 2006.

Comments: Accepted for publication in the Journal of Convex Analysis

MSC Class: 49J53; 49J52; 26B25

Journal ref: Journal of Convex Analysis 15 (2008), No. 1, 87-104