-
A time-discontinuous elasto-plasticity formalism to simulate instantaneous plastic flow bursts
Authors:
Mathias Lamari,
Pierre Kerfriden,
Oguz Umut Salman,
Vladislav Yastrebov,
Kais Ammar,
Samuel Forest
Abstract:
Plastic flow is conventionally treated as continuous in finite element (FE) codes, whether in isotropic, anisotropic plasticity, or crystal plasticity. This approach, derived from continuum mechanics, contradicts the intermittent nature of plasticity at the elementary scale. Understanding crystal plasticity at micro-scale opens the door to new engineering applications, such as microscale machining…
▽ More
Plastic flow is conventionally treated as continuous in finite element (FE) codes, whether in isotropic, anisotropic plasticity, or crystal plasticity. This approach, derived from continuum mechanics, contradicts the intermittent nature of plasticity at the elementary scale. Understanding crystal plasticity at micro-scale opens the door to new engineering applications, such as microscale machining. In this work, a new approach is proposed to account for the intermittence of plastic deformation while remaining within the framework of continuum mechanics. We introduce a material parameter, the plastic deformation threshold, denoted as $Δp_{min}$, corresponding to the plastic deformation carried by the minimal plastic deformation burst within the material. The incremental model is based on the traditional predictor-corrector algorithm to calculate the elastoplastic behavior of a material subjected to any external loading. The model is presented within the framework of small deformations for von Mises plasticity. To highlight the main features of the approach, the plastic strain increment is calculated using normality rule and consistency conditions, and is accepted only if it exceeds $Δp_{min}$. To achieve this, a time-discontinuous generalization of the Karush-Kuhn-Tucker (KKT) conditions is proposed. The simulations show that the introduction of the plastic threshold allows for the reproduction of the spatiotemporal intermittence of plastic flow, capturing the self-organization of plastic flow in complex loading scenarios within an FE model.
△ Less
Submitted 3 December, 2024;
originally announced December 2024.
-
A computational method for left-adjointness
Authors:
Simon Forest
Abstract:
In this work, we investigate an effective method for showing that functors between categories are left adjoints. The method applies to a large class of categories, namely locally finitely presentable categories, which are ubiquitous in practice and include standard examples like Set, Grp, etc. Our method relies on a known description of these categories as orthogonal sub-classes of presheaf catego…
▽ More
In this work, we investigate an effective method for showing that functors between categories are left adjoints. The method applies to a large class of categories, namely locally finitely presentable categories, which are ubiquitous in practice and include standard examples like Set, Grp, etc. Our method relies on a known description of these categories as orthogonal sub-classes of presheaf categories. The functors on which our method applies are the ones that can be presented as particular profunctors, called Kan models in this context. The method for left-adjointness then relies on computing that a particular criterion is satisfied. From this method, we also derive another method for showing that a category is cartesian closed. As proofs of concept and effectivity, we give a concrete implementation of the structures and of the left-adjointness criterion in OCaml and apply it on several examples.
△ Less
Submitted 27 January, 2025; v1 submitted 8 November, 2024;
originally announced November 2024.
-
In-situ localization of damage in a Zn-Al-Mg coating deposited on steel by continuous hot-dip galvanizing
Authors:
Houssem Eddine Chaieb,
Vincent Maurel,
Kais Ammar,
Samuel Forest,
Alexandre Tanguy,
Eva Héripré,
Franck Nozahic,
Jean-Michel Mataigne,
Joost De Strycker
Abstract:
Zn-Al-Mg coatings are characterized by a complex microstructure with dendritic and eutectic phases. This heterogeneous phase distribution contributes to multiple deformation and damage mechanisms. The presence of brittle phases promotes crack initiation and propagation. This study reveals a new deformation and damage mechanism of a Zn-Al-Mg coating, where twinning can induce crack initiation in th…
▽ More
Zn-Al-Mg coatings are characterized by a complex microstructure with dendritic and eutectic phases. This heterogeneous phase distribution contributes to multiple deformation and damage mechanisms. The presence of brittle phases promotes crack initiation and propagation. This study reveals a new deformation and damage mechanism of a Zn-Al-Mg coating, where twinning can induce crack initiation in the eutectic region. The chronology of different events leading to crack initiation and propagation is clearly established by in-situ tensile testing in a scanning electron microscope, which helps to establish a detailed characterization of the mechanical behavior of the coating.
△ Less
Submitted 8 July, 2024;
originally announced July 2024.
-
Effect of free surface, oxide and coating layers on rafting in $γ-γ'$ superalloys
Authors:
Wajih Jbara,
Vincent Maurel,
Kais Ammar,
Samuel Forest
Abstract:
Complex microstructure evolution has been observed \rev{both bare and coated } Ni-based single crystal superalloys. Rafting and $γ'$ depletion are investigated in this study through a brief experimental analysis and a detailed phase field model to account for mechanical-diffusion coupling. The proposed model has been implemented in a finite element code. As a main result, it is shown that rafting,…
▽ More
Complex microstructure evolution has been observed \rev{both bare and coated } Ni-based single crystal superalloys. Rafting and $γ'$ depletion are investigated in this study through a brief experimental analysis and a detailed phase field model to account for mechanical-diffusion coupling. The proposed model has been implemented in a finite element code. As a main result, it is shown that rafting, $γ'$ depletion close to free surface/oxide layer or $γ'$ coalescence close to coating layer, and mechanical behavior are strongly coupled. The local additional flux of Al explains this coupling to a large extent. Finally, a discussion of strain localization and local flux of Al paves the way for clarification of these cases that degrade the performance of superalloys.
△ Less
Submitted 18 June, 2024;
originally announced June 2024.
-
An Analysis of Symmetry in Quantitative Semantics
Authors:
Pierre Clairambault,
Simon Forest
Abstract:
In this paper, we build on a recent bicategorical model called thin spans of groupoids, introduced by Clairambault and Forest. Notably, thin spans feature a decomposition of symmetry into two sub-groupoids of polarized -- positive and negative -- symmetries. We first construct a variation of the original exponential of thin spans, based on sequences rather than families. Then we give a syntactic c…
▽ More
In this paper, we build on a recent bicategorical model called thin spans of groupoids, introduced by Clairambault and Forest. Notably, thin spans feature a decomposition of symmetry into two sub-groupoids of polarized -- positive and negative -- symmetries. We first construct a variation of the original exponential of thin spans, based on sequences rather than families. Then we give a syntactic characterisation of the interpretation of simply-typed lambda-terms in thin spans, in terms of rigid intersection types and rigid resource terms. Finally, we formally relate thin spans with the weighted relational model and generalized species of structure. This allows us to show how some quantities in those models reflect polarized symmetries: in particular we show that the weighted relational model counts witnesses from generalized species of structure, divided by the cardinal of a group of positive symmetries.
△ Less
Submitted 30 January, 2024;
originally announced January 2024.
-
The Cartesian Closed Bicategory of Thin Spans of Groupoids
Authors:
Pierre Clairambault,
Simon Forest
Abstract:
Recently, there has been growing interest in bicategorical models of programming languages, which are "proof-relevant" in the sense that they keep distinct account of execution traces leading to the same observable outcomes, while assigning a formal meaning to reduction paths as isomorphisms.
In this paper we introduce a new model, a bicategory called thin spans of groupoids. Conceptually it is…
▽ More
Recently, there has been growing interest in bicategorical models of programming languages, which are "proof-relevant" in the sense that they keep distinct account of execution traces leading to the same observable outcomes, while assigning a formal meaning to reduction paths as isomorphisms.
In this paper we introduce a new model, a bicategory called thin spans of groupoids. Conceptually it is close to Fiore et al.'s generalized species of structures and to Melliès' homotopy template games, but fundamentally differs as to how replication of resources and the resulting symmetries are treated. Where those models are saturated -- the interpretation is inflated by the fact that semantic individuals may carry arbitrary symmetries -- our model is thin, drawing inspiration from thin concurrent games: the interpretation of terms carries no symmetries, but semantic individuals satisfy a subtle invariant defined via biorthogonality, which guarantees their invariance under symmetry.
We first build the bicategory $\mathbf{Thin}$ of thin spans of groupoids. Its objects are certain groupoids with additional structure, its morphisms are spans composed via plain pullback with identities the identity spans, and its $2$-cells are span morphisms making the induced triangles commute only up to natural isomorphism. We then equip $\mathbf{Thin}$ with a pseudocomonad $!$, and finally show that the Kleisli bicategory $\mathbf{Thin}_{!}$ is cartesian closed.
△ Less
Submitted 27 January, 2023;
originally announced January 2023.
-
Free precategories as presheaf categories
Authors:
Simon Forest,
Samuel Mimram
Abstract:
Precategories generalize both the notions of strict $n$-category and sesquicategory: their definition is essentially the same as the one of strict $n$-categories, excepting that we do not require the various interchange laws to hold. Those have been proposed as a framework in which one can express semi-strict definitions of weak higher categories: in dimension 3, Gray categories are an instance of…
▽ More
Precategories generalize both the notions of strict $n$-category and sesquicategory: their definition is essentially the same as the one of strict $n$-categories, excepting that we do not require the various interchange laws to hold. Those have been proposed as a framework in which one can express semi-strict definitions of weak higher categories: in dimension 3, Gray categories are an instance of them and have been shown to be equivalent to tricategories, and definitions of semi-strict tetracategories have been proposed, and used as the basis of proof assistants such as Globular. In this article, we are mostly interested in free precategories. Those can be presented by generators and relations, using an appropriate variation on the notion of polygraph (aka computad), and earlier works have shown that the theory of rewriting can be generalized to this setting, enjoying most of the fundamental constructions and properties which can be found in the traditional theory, contrarily to polygraphs for strict categories. We further study here why this is the case, by providing several results which show that precategories and their associated polygraphs bear properties which ensure that we have a good syntax for those. In particular, we show that the category of polygraphs for precategories form a presheaf category.
△ Less
Submitted 29 November, 2022;
originally announced November 2022.
-
An extension of Batanin's approach to globular algebras
Authors:
Simon Forest
Abstract:
In earlier work, Batanin has shown that an important class of definitions of higher categories could be apprehended together simply as monads over globular sets. This allowed him to generalize the notion of polygraph, initially introduced by Street and Burroni for strict categories, to all algebraic globular higher categories. In this work, we refine this perspective and introduce new construction…
▽ More
In earlier work, Batanin has shown that an important class of definitions of higher categories could be apprehended together simply as monads over globular sets. This allowed him to generalize the notion of polygraph, initially introduced by Street and Burroni for strict categories, to all algebraic globular higher categories. In this work, we refine this perspective and introduce new constructions and properties for this class of higher categories. In particular, we define the notion of cellular extension and its associated free construction, from which we obtain another definition of polygraphs and the adjunction between globular algebras and polygraphs. We moreover introduce two criteria allowing one to use most of the constructions of this article without having to describe explicitly the underlying globular monad.
△ Less
Submitted 5 April, 2022;
originally announced April 2022.
-
Multiscale analysis of crystal defect formation in rapid solidification of pure aluminium and aluminium-copper alloys
Authors:
Tatu Pinomaa,
Matti Lindroos,
Paul Jreidini,
Matias Haapalehto,
Kais Ammar,
Lei Wang,
Samuel Forest,
Nikolas Provatas,
Anssi Laukkanen
Abstract:
Rapid solidification leads to unique microstructural features, where a less studied topic is the formation of various crystalline defects, including high dislocation densities, as well as gradients and splitting of the crystalline orientation. As these defects critically affect the material's mechanical properties and performance features, it is important to understand the defect formation mechani…
▽ More
Rapid solidification leads to unique microstructural features, where a less studied topic is the formation of various crystalline defects, including high dislocation densities, as well as gradients and splitting of the crystalline orientation. As these defects critically affect the material's mechanical properties and performance features, it is important to understand the defect formation mechanisms, and how they depend on the solidification conditions and alloying. To illuminate the formation mechanisms of the rapid solidification induced crystalline defects, we conduct a multiscale modeling analysis consisting of bond-order potential based molecular dynamics (MD), phase field crystal based amplitude expansion (PFC-AE) simulations, and sequentially coupled phase field -- crystal plasticity (PF--CP) simulations. The resulting dislocation densities are quantified and compared to past experiments. The atomistic approaches (MD, PFC) can be used to calibrate continuum level crystal plasticity models, and the framework adds mechanistic insights arising from the multiscale analysis.
△ Less
Submitted 22 September, 2021;
originally announced September 2021.
-
Rewriting in Gray categories with applications to coherence
Authors:
Simon Forest,
Samuel Mimram
Abstract:
Over the recent years, the theory of rewriting has been used and extended in order to provide systematic techniques to show coherence results for strict higher categories. Here, we investigate a further generalization to Gray categories, which are known to be equivalent to tricategories. This requires us to develop the theory of rewriting in the setting of precategories, which include Gray categor…
▽ More
Over the recent years, the theory of rewriting has been used and extended in order to provide systematic techniques to show coherence results for strict higher categories. Here, we investigate a further generalization to Gray categories, which are known to be equivalent to tricategories. This requires us to develop the theory of rewriting in the setting of precategories, which include Gray categories as particular cases, and are adapted to mechanized computations. We show that a finite rewriting system in precategories admits a finite number of critical pairs, which can be efficiently computed. We also extend Squier's theorem to our context, showing that a convergent rewriting system is coherent, which means that any two parallel 3-cells are necessarily equal. This allows us to prove coherence results for several well-known structures in the context of Gray categories: monoids, adjunctions, Frobenius monoids.
△ Less
Submitted 29 November, 2022; v1 submitted 11 September, 2021;
originally announced September 2021.
-
Kinematics and constitutive relations in the stress-gradient theory: interpretation by homogenization
Authors:
Geralf Hütter,
Karam Sab,
Samuel Forest
Abstract:
The stress-gradient theory has a third order tensor as kinematic degree of freedom, which is work-conjugate to the stress gradient. This tensor was called micro-displacements just for dimensional reasons. Consequently, this theory requires a constitutive relation between stress gradient and micro-displacements, in addition to the conventional stress-strain relation. The formulation of such a const…
▽ More
The stress-gradient theory has a third order tensor as kinematic degree of freedom, which is work-conjugate to the stress gradient. This tensor was called micro-displacements just for dimensional reasons. Consequently, this theory requires a constitutive relation between stress gradient and micro-displacements, in addition to the conventional stress-strain relation. The formulation of such a constitutive relation and identification of the parameters therein is difficult without an interpretation of the micro-displacement tensor. The present contribution presents an homogenization concept from a Cauchy continuum at the micro-scale towards a stress-gradient continuum at the macro-scale. Conventional static boundary conditions at the volume element are interpreted as a Taylor series whose next term involves the stress gradient. A generalized Hill-Mandel lemma shows that the micro-displacements can be identified with the deviatoric part of the first moment of the microscopic strain field. Kinematic and periodic boundary conditions are provided as alternative to the static ones. The homogenization approach is used to compute the stress-gradient properties of an elastic porous material. The predicted negative size effect under uni-axial loading is compared with respective experimental results for foams and direct numerical simulations from literature.
△ Less
Submitted 30 January, 2020; v1 submitted 19 June, 2019;
originally announced June 2019.
-
Unifying notions of pasting diagrams
Authors:
Simon Forest
Abstract:
In this work, we relate the three main formalisms for the notion of pasting diagram in strict $ω$-categories: Street's parity complexes, Johnson's pasting schemes and Steiner's augmented directed complexes. In the process, we show that the axioms of parity complexes and pasting schemes are not strong enough for them to correctly represent pasting diagrams, and we do so by providing a counter-examp…
▽ More
In this work, we relate the three main formalisms for the notion of pasting diagram in strict $ω$-categories: Street's parity complexes, Johnson's pasting schemes and Steiner's augmented directed complexes. In the process, we show that the axioms of parity complexes and pasting schemes are not strong enough for them to correctly represent pasting diagrams, and we do so by providing a counter-example. Then, we introduce a new formalism, called torsion-free complexes, which aims at encompassing the three other ones. We prove its correctness by providing a detailed proof that an instance induces a free $ω$-category. Next, we prove that the three other formalisms can be embedded in some sense in the new one. Finally, we show that there are no other embedding between these four formalisms.
△ Less
Submitted 23 July, 2021; v1 submitted 1 March, 2019;
originally announced March 2019.
-
A Cosserat crystal plasticity and phase field theory for grain boundary migration
Authors:
Anna Ask,
Samuel Forest,
Benoit Appolaire,
Kais Ammar,
Oguz Umut Salman
Abstract:
The microstructure evolution due to thermomechanical treatment of metals can largely be described by viscoplastic deformation, nucleation and grain growth. These processes take place over different length and time scales which present significant challenges when formulating simulation models. In particular, no overall unified field framework exists to model concurrent viscoplastic deformation and…
▽ More
The microstructure evolution due to thermomechanical treatment of metals can largely be described by viscoplastic deformation, nucleation and grain growth. These processes take place over different length and time scales which present significant challenges when formulating simulation models. In particular, no overall unified field framework exists to model concurrent viscoplastic deformation and recrystallization and grain growth in metal polycrystals. In this work a thermodynamically consistent diffuse interface framework incorporating crystal viscoplasticity and grain boundary migration is elaborated. The Kobayashi--Warren--Carter (KWC) phase field model is extended to incorporate the full mechanical coupling with material and lattice rotations and evolution of dislocation densities. The Cosserat crystal plasticity theory is shown to be the appropriate framework to formulate the coupling between phase field and mechanics with proper distinction between bulk and grain boundary behaviour.
△ Less
Submitted 14 October, 2018; v1 submitted 30 May, 2018;
originally announced May 2018.
-
Multiscale modeling of the elastic behavior of architectured and nanostructured Cu-Nb composite wires
Authors:
T. Gu,
O. Castelnau,
S. Forest,
E. Hervé-Luanco,
F. Lecouturier,
H. Proudhon,
L. Thilly
Abstract:
Nanostructured and architectured copper niobium composite wires are excellent candidates for the generation of intense pulsed magnetic fields (>90T) as they combine both high strength and high electrical conductivity. Multi-scaled Cu-Nb wires are fabricated by accumulative drawing and bundling (a severe plastic deformation technique), leading to a multiscale, architectured, and nanostructured micr…
▽ More
Nanostructured and architectured copper niobium composite wires are excellent candidates for the generation of intense pulsed magnetic fields (>90T) as they combine both high strength and high electrical conductivity. Multi-scaled Cu-Nb wires are fabricated by accumulative drawing and bundling (a severe plastic deformation technique), leading to a multiscale, architectured, and nanostructured microstructure exhibiting a strong fiber crystallographic texture and elongated grain shapes along the wire axis. This paper presents a comprehensive study of the effective elastic behavior of this composite material by three multi-scale models accounting for different microstructural contents: two mean-field models and a full-field finite element model. As the specimens exhibit many characteristic scales, several scale transition steps are carried out iteratively from the grain scale to the macro-scale. The general agreement among the model responses allows suggesting the best strategy to estimate the effective behavior of Cu-Nb wires and save computational time. The importance of crystallographical and morphological textures in various cases is discussed. Finally, the models are validated by available experimental data with a good agreement.
△ Less
Submitted 3 August, 2017; v1 submitted 19 December, 2016;
originally announced December 2016.
-
Well-posedness for the microcurl model in both single and polycrystal gradient plasticity
Authors:
Francois Ebobisse,
Patrizio Neff,
Samuel Forest
Abstract:
We consider the recently introduced microcurl model which is a variant of strain gradient plasticity in which the curl of the plastic distortion is coupled to an additional micromorphic-type field. For both single crystal and polycrystal cases, we formulate the model and show its well-posedness in the rate-independent case provided some local hardening (isotropic or linear kinematic) is taken into…
▽ More
We consider the recently introduced microcurl model which is a variant of strain gradient plasticity in which the curl of the plastic distortion is coupled to an additional micromorphic-type field. For both single crystal and polycrystal cases, we formulate the model and show its well-posedness in the rate-independent case provided some local hardening (isotropic or linear kinematic) is taken into account. To this end, we use the functional analytical framework developed by Han-Reddy. We also compare the model to the relaxed micromorphic model as well as to a dislocation-based gradient plasticity model.
△ Less
Submitted 22 August, 2016;
originally announced August 2016.
-
Exact synthesis of single-qubit unitaries over Clifford-cyclotomic gate sets
Authors:
Simon Forest,
David Gosset,
Vadym Kliuchnikov,
David McKinnon
Abstract:
We generalize an efficient exact synthesis algorithm for single-qubit unitaries over the Clifford+T gate set which was presented by Kliuchnikov, Maslov and Mosca. Their algorithm takes as input an exactly synthesizable single-qubit unitary--one which can be expressed without error as a product of Clifford and T gates--and outputs a sequence of gates which implements it. The algorithm is optimal in…
▽ More
We generalize an efficient exact synthesis algorithm for single-qubit unitaries over the Clifford+T gate set which was presented by Kliuchnikov, Maslov and Mosca. Their algorithm takes as input an exactly synthesizable single-qubit unitary--one which can be expressed without error as a product of Clifford and T gates--and outputs a sequence of gates which implements it. The algorithm is optimal in the sense that the length of the sequence, measured by the number of T gates, is smallest possible. In this paper, for each positive even integer $n$ we consider the "Clifford-cyclotomic" gate set consisting of the Clifford group plus a z-rotation by $\fracπ{n}$. We present an efficient exact synthesis algorithm which outputs a decomposition using the minimum number of $\fracπ{n}$ z-rotations. For the Clifford+T case $n=4$ the group of exactly synthesizable unitaries was shown to be equal to the group of unitaries with entries over the ring $\mathbb{Z}[e^{i\fracπ{n}},1/2]$. We prove that this characterization holds for a handful of other small values of $n$ but the fraction of positive even integers for which it fails to hold is 100%.
△ Less
Submitted 5 October, 2015; v1 submitted 20 January, 2015;
originally announced January 2015.
