-
Around first-order rigidity of Coxeter groups
Authors:
Simon André,
Gianluca Paolini
Abstract:
By the work of Sela, for any free group $F$, the Coxeter group $W_ 3 = \mathbb{Z}/2\mathbb{Z} \ast \mathbb{Z}/2\mathbb{Z} \ast \mathbb{Z}/2\mathbb{Z}$ is elementarily equivalent to $W_3 \ast F$, and so Coxeter groups are not closed under elementary equivalence among finitely generated groups. In this paper we show that if we restrict to models which are generated by finitely many torsion elements…
▽ More
By the work of Sela, for any free group $F$, the Coxeter group $W_ 3 = \mathbb{Z}/2\mathbb{Z} \ast \mathbb{Z}/2\mathbb{Z} \ast \mathbb{Z}/2\mathbb{Z}$ is elementarily equivalent to $W_3 \ast F$, and so Coxeter groups are not closed under elementary equivalence among finitely generated groups. In this paper we show that if we restrict to models which are generated by finitely many torsion elements (finitely torsion-generated), then we can recover striking rigidity results. Our main result is that if $(W, S)$ is a Coxeter system whose irreducible components are either spherical, or affine or (Gromov) hyperbolic, and $G$ is finitely torsion-generated and elementarily equivalent to $W$, then $G$ is itself a Coxeter group. This combines results of the second author et al. from [MPS22, PS23] with the following main hyperbolic result: if $W$ is a Coxeter hyperbolic group and $G$ is $\mathrm{AE}$-equivalent to $W$ and finitely torsion-generated, then $G$ belongs to a finite collection of Coxeter groups (modulo isomorphism). Furthermore, we show that there are two hyperbolic Coxeter groups $W$ and $W'$ which are non-isomorphic but $\mathrm{AE}$-equivalent. We also show that, on other hand, if we restrict to certain specific classes of Coxeter groups then we can recover the strongest possible form of first-order rigidity, which we call first-order torsion-rigidity, namely the Coxeter group $W$ is the only finitely torsion-generated model of its theory. Crucially, we show that this form of rigidity holds for the following classes of Coxeter groups: even hyperbolic Coxeter groups and free products of one-ended or finite hyperbolic Coxeter groups. We conjecture that the same kind of phenomena occur for the whole class of Coxeter groups. In this direction, we prove that if $W$ and $W'$ are even Coxeter groups which are elementarily equivalent, then they are isomorphic.
△ Less
Submitted 1 July, 2024;
originally announced July 2024.
-
Non-split sharply 2-transitive groups of odd positive characteristic
Authors:
Marco Amelio,
Simon André,
Katrin Tent
Abstract:
It is well-known that every sharply 2-transitive group of characteristic 3 splits. Here we construct the first examples of non-split sharply 2-transitive groups in odd positive characteristic $p$, for sufficiently large primes $p$. Furthermore, we show that any group without 2-torsion can be embedded into a non-split sharply 2-transitive group of characteristic $p$ for all sufficiently large prime…
▽ More
It is well-known that every sharply 2-transitive group of characteristic 3 splits. Here we construct the first examples of non-split sharply 2-transitive groups in odd positive characteristic $p$, for sufficiently large primes $p$. Furthermore, we show that any group without 2-torsion can be embedded into a non-split sharply 2-transitive group of characteristic $p$ for all sufficiently large primes $p$, yielding $2^{\aleph_0}$ many pairwise non-isomorphic countable non-split sharply 2-transitive groups in any sufficiently large characteristic.
△ Less
Submitted 28 December, 2023;
originally announced December 2023.
-
Deformation mechanisms in PBT at elevated temperatures
Authors:
Laurent Farge,
François Tournilhac,
Javier Perez,
Sandrine Hoppe,
Isabelle Bihannic,
Jérémy Bianchin,
Julien Boisse,
Stéphane André
Abstract:
The plastic deformation of Polybutylene terephthalate (PBT) is investigated at three temperatures (120$^\circ$C, 150$^\circ$C, 180$^\circ$C) representative of the span between glass transition, $T_g \approx 55^\circ$C and melting $T_m \approx 225^\circ$C temperatures. The mechanisms of tensile deformation are analyzed as a function of the true strain using a combination of temperature-controlled t…
▽ More
The plastic deformation of Polybutylene terephthalate (PBT) is investigated at three temperatures (120$^\circ$C, 150$^\circ$C, 180$^\circ$C) representative of the span between glass transition, $T_g \approx 55^\circ$C and melting $T_m \approx 225^\circ$C temperatures. The mechanisms of tensile deformation are analyzed as a function of the true strain using a combination of temperature-controlled tensile experiments coupled with 2D digital image correlation and synchrotron sourced wide angle (WAXS) and small angle (SAXS) X-ray scattering the amorphous and crystalline regions causing the transition between polymorphs, respectively from the isotropic amorphous phase to a smectic phase and from the $α$ crystalline phase to the $β$ phase.
△ Less
Submitted 13 February, 2023;
originally announced March 2023.
-
Finitely generated simple sharply 2-transitive groups
Authors:
Simon André,
Vincent Guirardel
Abstract:
We construct the first examples of infinite sharply 2-transitive groups which are finitely generated. Moreover, we construct such a group that has Kazhdan property (T), is simple, has exactly four conjugacy classes, and we show that this number is as small as possible.
We construct the first examples of infinite sharply 2-transitive groups which are finitely generated. Moreover, we construct such a group that has Kazhdan property (T), is simple, has exactly four conjugacy classes, and we show that this number is as small as possible.
△ Less
Submitted 12 December, 2022;
originally announced December 2022.
-
Solving viscoelastic problems in a step-inverse Laplace transform approach supplanted with ARX models: a way to upgrade Finite Element or spectral codes
Authors:
Stéphane André,
Camille Noûs
Abstract:
Finite Element codes used for solving the mechanical equilibrium equations in transient problems associated to (time-dependent) viscoelastic media generally relies on time-discretized versions of the selected constitutive law. Recent concerns about the use of non-integer differential equations to describe viscoelasticity or well-founded ideas based upon the use of a behavior's law directly derived…
▽ More
Finite Element codes used for solving the mechanical equilibrium equations in transient problems associated to (time-dependent) viscoelastic media generally relies on time-discretized versions of the selected constitutive law. Recent concerns about the use of non-integer differential equations to describe viscoelasticity or well-founded ideas based upon the use of a behavior's law directly derived from Dynamic Mechanical Analysis (DMA) experiments in frequency domain, could make the Laplace domain approach particularly attractive if embedded in a time discretized scheme. Based upon the inversion of Laplace transforms, this paper shows that this aim is not only possible but also gives rise to a simple algorithm having good performances in terms of computation times and precision. Such an approach, which fully relies on the Laplace-defined Behavioral Transfer Function (LTBF) can be promoted if it uses ARX parametric models perfectly substitutable to the real LTBF. They avoid the hitherto prohibitive pitfall of having to store all past data in the computer's memory while maintaining an equal computation precision.
△ Less
Submitted 14 November, 2022;
originally announced November 2022.
-
Co-Hopfian virtually free groups and elementary equivalence
Authors:
Simon André
Abstract:
We prove that two co-Hopfian finitely generated virtually free groups are elementarily equivalent if and only if they are isomorphic. We also prove that co-Hopfian finitely generated virtually free groups are homogeneous in the sense of model theory.
We prove that two co-Hopfian finitely generated virtually free groups are elementarily equivalent if and only if they are isomorphic. We also prove that co-Hopfian finitely generated virtually free groups are homogeneous in the sense of model theory.
△ Less
Submitted 7 December, 2021;
originally announced December 2021.
-
Simple sharply 2-transitive groups
Authors:
Simon André,
Katrin Tent
Abstract:
We construct simple sharply 2-transitive groups. Our result answers an open question of Peter Neumann. In fact, we prove that every sharply 2-transitive group of characteristic 0 embeds into a simple sharply 2-transitive group.
We construct simple sharply 2-transitive groups. Our result answers an open question of Peter Neumann. In fact, we prove that every sharply 2-transitive group of characteristic 0 embeds into a simple sharply 2-transitive group.
△ Less
Submitted 18 November, 2021;
originally announced November 2021.
-
An FFT-solver used for virtual Dynamic Mechanical Analysis experiments: Application on a glassy/amorphous system and on a particulate composite
Authors:
Stéphane André,
Julien Boisse,
Camille Noûs
Abstract:
FFT-based solvers are increasingly used by many researcher groups interested in modelling the mechanical behavior associated to a heterogeneous microstructure. A development is reported here that concerns the viscoelastic behavior of composite structures generally studied experimentally through Dynamic Mechanical Analysis (DMA). A parallelized computation code developed under complex-valued quanti…
▽ More
FFT-based solvers are increasingly used by many researcher groups interested in modelling the mechanical behavior associated to a heterogeneous microstructure. A development is reported here that concerns the viscoelastic behavior of composite structures generally studied experimentally through Dynamic Mechanical Analysis (DMA). A parallelized computation code developed under complex-valued quantities provides virtual DMA experiments directly in the frequency domain on a heterogenous system described by a voxel grid of mechanical properties. The achieved precision and computation times are very good. An effort has been made to show the application of such virtual DMA tool starting from two examples found in the literature: the modelling of glassy/amorphous systems at a small scale and the modelling of experimental data obtained in temperature swee** mode by DMA on a particulate composite made of glass beads and a polystyrene matrix, at a larger scale. Both examples show how virtual DMA can contribute to question, analyze, understand relaxation phenomena either on the theoretical or experimental point of view.
△ Less
Submitted 4 December, 2020;
originally announced December 2020.
-
Acylindrical hyperbolicity and existential closedness
Authors:
Simon André
Abstract:
Let $G$ be a finitely presented group, and let $H$ be a subgroup of $G$. We prove that if $H$ is acylindrically hyperbolic and existentially closed in $G$, then $G$ is acylindrically hyperbolic. As a corollary, any finitely presented group which is existentially equivalent to the map** class group of a surface of finite type, to $\mathrm{Out}(F_n)$ or $\mathrm{Aut}(F_n)$ for $n\geq 2$ or to the…
▽ More
Let $G$ be a finitely presented group, and let $H$ be a subgroup of $G$. We prove that if $H$ is acylindrically hyperbolic and existentially closed in $G$, then $G$ is acylindrically hyperbolic. As a corollary, any finitely presented group which is existentially equivalent to the map** class group of a surface of finite type, to $\mathrm{Out}(F_n)$ or $\mathrm{Aut}(F_n)$ for $n\geq 2$ or to the Higman group, is acylindrically hyperbolic.
△ Less
Submitted 21 May, 2020; v1 submitted 14 May, 2020;
originally announced May 2020.
-
Formal solutions and the first-order theory of acylindrically hyperbolic groups
Authors:
Simon André,
Jonathan Fruchter
Abstract:
We generalise Merzlyakov's theorem about the first-order theory of non-abelian free groups to all acylindrically hyperbolic groups. As a corollary, we deduce that if $G$ is an acylindrically hyperbolic group and $E(G)$ denotes the unique maximal finite normal subgroup of $G$, then $G$ and the HNN extension $G\dot{\ast}_{E(G)}$, which is simply the free product $G\ast\mathbb{Z}$ when $E(G)$ is triv…
▽ More
We generalise Merzlyakov's theorem about the first-order theory of non-abelian free groups to all acylindrically hyperbolic groups. As a corollary, we deduce that if $G$ is an acylindrically hyperbolic group and $E(G)$ denotes the unique maximal finite normal subgroup of $G$, then $G$ and the HNN extension $G\dot{\ast}_{E(G)}$, which is simply the free product $G\ast\mathbb{Z}$ when $E(G)$ is trivial, have the same $\forall\exists$-theory. As a consequence, we prove the following conjecture, formulated by Casals-Ruiz, Garreta and de la Nuez González: acylindrically hyperbolic groups have trivial positive theory. In particular, one recovers a result proved by Bestvina, Bromberg and Fujiwara, stating that, with only the obvious exceptions, verbal subgroups of acylindrically hyperbolic groups have infinite width.
△ Less
Submitted 23 May, 2020; v1 submitted 1 May, 2020;
originally announced May 2020.
-
Certifying the intrinsic character of a constitutive law for semi-crystalline polymers: a probation test
Authors:
Stéphane André,
Simon Becker,
Camille Noûs,
Laurent Farge,
Alain Delconte
Abstract:
A study of methodological nature demonstrates the efficiency of a probation test allowing for the intrinsic character of a rheological constitutive law to be assessed. Such a law is considered here for Semi-Crystalline Polymers exhibiting necking and for large deformation. In the framework of a $(\dotσ, σ, \dot\varepsilon, \varepsilon)$ behavior's law, tensile experiments conducted at an imposed c…
▽ More
A study of methodological nature demonstrates the efficiency of a probation test allowing for the intrinsic character of a rheological constitutive law to be assessed. Such a law is considered here for Semi-Crystalline Polymers exhibiting necking and for large deformation. In the framework of a $(\dotσ, σ, \dot\varepsilon, \varepsilon)$ behavior's law, tensile experiments conducted at an imposed constant strain rate $\dot\varepsilon_0$ bring true stress responses from which constitutive (material) parameters can be identified from Model-Based Metrology concepts. The same experiment repeated at various strain rates gives then access to the dependence of the non-elastic parameters on the strain rate. Then the intrinsic law is tested severely by considering a new set of experiments carried out for constant displacement rates of the grips. In that case, the specimens show local strain rates which evolve strongly during the test (by a factor of 5-10 here). The parameter identification process requires then the introduction of the exact realized input strain and strain-rate command into the model. Accounting for strain rate dependency requires additionally the knowledge of the preliminary identified strain rate dependence of the non-elastic constitutive parameters for good predictions of the experimental response directly. This is what is proven here. The conclusion speaks in favor of a possible upgrade of international standards for the mechanical characterization of polymers based on constant strain-rate tensile tests and properly applied model-based metrology.
△ Less
Submitted 19 March, 2020;
originally announced March 2020.
-
Elementary subgroups of virtually free groups
Authors:
Simon André
Abstract:
We give a description of elementary subgroups (in the sense of first-order logic) of finitely generated virtually free groups. In particular, we recover the fact that elementary subgroups of finitely generated free groups are free factors. Moreover, we give an algorithm that takes as input a finite presentation of a virtually free group $G$ and a finite subset $X$ of $G$, and decides if the subgro…
▽ More
We give a description of elementary subgroups (in the sense of first-order logic) of finitely generated virtually free groups. In particular, we recover the fact that elementary subgroups of finitely generated free groups are free factors. Moreover, we give an algorithm that takes as input a finite presentation of a virtually free group $G$ and a finite subset $X$ of $G$, and decides if the subgroup of $G$ generated by $X$ is $\exists\forall\exists$-elementary. We also prove that every elementary embedding of an equationally noetherian group into itself is an automorphism.
△ Less
Submitted 13 December, 2019;
originally announced December 2019.
-
On Tarski's problem for virtually free groups
Authors:
Simon André
Abstract:
We give a complete classification of finitely generated virtually free groups up to $\forall\exists$-elementary equivalence. As a corollary, we give an algorithm that takes as input two finite presentations of virtually free groups, and decides whether these groups have the same $\forall\exists$-theory or not.
We give a complete classification of finitely generated virtually free groups up to $\forall\exists$-elementary equivalence. As a corollary, we give an algorithm that takes as input two finite presentations of virtually free groups, and decides whether these groups have the same $\forall\exists$-theory or not.
△ Less
Submitted 18 October, 2019;
originally announced October 2019.
-
GeoSES -- um Índice Socioeconômico para Estudos de Saúde no Brasil
Authors:
Ligia Vizeu Barrozo,
Michel Fornaciali,
Carmen Diva Saldiva de André,
Guilherme Augusto Zimeo Morais,
Giselle Mansur,
William Cabral-Miranda,
João Ricardo Sato,
Edson Amaro Júnior
Abstract:
Objective: to define an index that summarizes the main dimensions of the socioeconomic context for research purposes, evaluation and monitoring health inequalities. Methods: the index was created from the 2010 Brazilian Demographic Census, whose variables selection was guided by theoretical references for health studies, including seven socioeconomic dimensions: education, mobility, poverty, wealt…
▽ More
Objective: to define an index that summarizes the main dimensions of the socioeconomic context for research purposes, evaluation and monitoring health inequalities. Methods: the index was created from the 2010 Brazilian Demographic Census, whose variables selection was guided by theoretical references for health studies, including seven socioeconomic dimensions: education, mobility, poverty, wealth, income, segregation and deprivation of resources and services. The index was developed using principal component analysis, and was evaluated for its construct, content and applicability components. Results: GeoSES-BR dimensions showed good association with HDI-M (above 0.85). The model with the poverty dimension best explained the relative risk of avoidable cause mortality in Brazil. In the intraurban scale, the model with GeoSES-IM was the one that best explained the relative risk of mortality from circulatory system diseases. Conclusion: GeoSES showed significant explanatory potential in the studied scales.
△ Less
Submitted 9 October, 2019;
originally announced October 2019.
-
Use of Digital Image Correlation to study the effect of temperature on the development of plastic instabilities in a semi-crystalline polymer
Authors:
Laurent Farge,
Stéphane André,
Julien Boisse
Abstract:
The plastic deformation processes that occur in a tensily deformed High Density Polyethylene specimen were studied from full-field strain and strain rate measurements obtained by 3D DIC (Digital Image Correlation).The tensile tests were performed every 10{\textdegree}C from room temperature to 120{\textdegree}C . For temperatures below 60{\textdegree}C , it is shown that the strain localization…
▽ More
The plastic deformation processes that occur in a tensily deformed High Density Polyethylene specimen were studied from full-field strain and strain rate measurements obtained by 3D DIC (Digital Image Correlation).The tensile tests were performed every 10{\textdegree}C from room temperature to 120{\textdegree}C . For temperatures below 60{\textdegree}C , it is shown that the strain localization effect becomes less pronounced when the temperature increases. For temperatures higher than 60{\textdegree}C , the material is found to exhibit double yielding behavior. By analyzing the DIC data in Lagrangian representation, it was possible to quantitatively highlight the strain localization effect that is specifically associated with the second yield. The second yield strain (E_{Y_2}) was measured and appeared to be independent of temperature. For temperatures smaller than 60{\textdegree}C , it was found that the threshold strain corresponding to (E_{Y_2}) also marks the onset of the deformation process phase during which the volume strain strongly increases. Based on previous studies of our research team and on literature we concluded that the critical strain (E_{Y_2}) corresponds to the onset of the lamellar morphology destruction. At high strain levels, the neck stabilization phase was shown to proceed according to a strain driven scheme characterized by threshold strains that are temperature independent. The experimental values of the threshold strain marking the onset of the stabilization phase are found to be in good agreement with those found using the Haward-Thackray model.
△ Less
Submitted 30 November, 2018;
originally announced December 2018.
-
Virtually free groups are almost homogeneous
Authors:
Simon André
Abstract:
Free groups are known to be homogeneous, meaning that finite tuples of elements which satisfy the same first-order properties are in the same orbit under the action of the automorphism group. We show that virtually free groups have a slightly weaker property, which we call uniform almost-homogeneity: the set of $k$-tuples which satisfy the same first-order properties as a given $k$-tuple…
▽ More
Free groups are known to be homogeneous, meaning that finite tuples of elements which satisfy the same first-order properties are in the same orbit under the action of the automorphism group. We show that virtually free groups have a slightly weaker property, which we call uniform almost-homogeneity: the set of $k$-tuples which satisfy the same first-order properties as a given $k$-tuple $\mathbf{u}$ is the union of a finite number of $\mathrm{Aut}(G)$-orbits, and this number is bounded independently from $\mathbf{u}$ and $k$. Moreover, we prove that there exists a virtually free group which is not $\exists$-homogeneous. We also prove that all hyperbolic groups are homogeneous in a probabilistic sense.
△ Less
Submitted 26 October, 2018;
originally announced October 2018.
-
Hyperbolicity and Cubulability Are Preserved Under Elementary Equivalence
Authors:
Simon André
Abstract:
The following properties are preserved under elementary equivalence, among finitely generated groups: being hyperbolic (possibly with torsion), being hyperbolic and cubulable, and being a subgroup of a hyperbolic group. In other words, if a finitely generated group G has the same first-order theory as a group possessing one of the previous property, then G enjoys this property as well.
The following properties are preserved under elementary equivalence, among finitely generated groups: being hyperbolic (possibly with torsion), being hyperbolic and cubulable, and being a subgroup of a hyperbolic group. In other words, if a finitely generated group G has the same first-order theory as a group possessing one of the previous property, then G enjoys this property as well.
△ Less
Submitted 29 January, 2018;
originally announced January 2018.
-
A numerical study of heat source reconstruction for the advection-diffusion operator: A conjugate gradient method stabilized with SVD
Authors:
**g Ye,
Laurent Farge,
Stéphane André,
Alain Neveu
Abstract:
In order to better understand micromechanical phenomena such as viscoelasticity and plasticity, the thermomechanical viewpoint is of prime importance but requires calorimetric measurements to be performed during a deformation process. Infrared imaging is commonly used to this aim but does not provide direct access to the intrinsic volumetric Thermomechanical Heat Sources (THS). An inversemethod is…
▽ More
In order to better understand micromechanical phenomena such as viscoelasticity and plasticity, the thermomechanical viewpoint is of prime importance but requires calorimetric measurements to be performed during a deformation process. Infrared imaging is commonly used to this aim but does not provide direct access to the intrinsic volumetric Thermomechanical Heat Sources (THS). An inversemethod is needed to convert temperature fields in the former quantity. The one proposed here relies on adiffusion-advection heat transfer model. Advection is generally not considered in such problems but due to plastic instabilities, a heterogeneous and non-negligible velocity field can play a role in the local heat transfer balance. Discretization of the governing equation is made through appropriate spectral approach. Spatial regularization is then achieved through regular modal truncation. The objective of the inversion process lies in a proper identification of the decomposition coefficients (states) which minimize the residuals. When a Conjugate Gradient Method (CGM) is applied to this nonlinear least square optimization, the use of Karhunen-Loeve Decomposition (KLD) or Singular Value Decomposition (SVD) on gradient vectors is shown to produce very good temporal regularization. Two test-cases were explored for noisy data which show that this algorithm performs very well when compared to the Tikhonov penalized conjugate gradient method.
△ Less
Submitted 21 April, 2017;
originally announced April 2017.
-
Measurement of the magnetic field profile in the atomic fountain clock FoCS-2 using Zeeman spectroscopy
Authors:
Devenoges Laurent,
Di Domenico Gianni,
Stefanov André,
Jallageas Antoine,
Morel Jacques,
Südmeyer Thomas,
Thomann Pierre
Abstract:
We report the evaluation of the second order Zeeman shift in the continuous atomic fountain clock FoCS-2. Because of the continuous operation and of its geometrical constraints, the methods used in pulsed fountains are not applicable. We use here time-resolved Zeeman spectroscopy to probe the magnetic field profile in the clock. The pulses of ac magnetic excitation allow us to spatially resolve th…
▽ More
We report the evaluation of the second order Zeeman shift in the continuous atomic fountain clock FoCS-2. Because of the continuous operation and of its geometrical constraints, the methods used in pulsed fountains are not applicable. We use here time-resolved Zeeman spectroscopy to probe the magnetic field profile in the clock. The pulses of ac magnetic excitation allow us to spatially resolve the Zeeman frequency and to evaluate the Zeeman shift with a relative uncertainty smaller than 10E-16.
△ Less
Submitted 13 December, 2016; v1 submitted 25 August, 2016;
originally announced August 2016.
-
A Mechanical Study of a Glass Fabric-Thermoplastic Resin Composite: 3D-DIC and X-ray tomographic observations explained by numerical simulations based on a spectral solver
Authors:
Zakariya Boufaida,
Julien Boisse,
Stéphane André,
Laurent Farge
Abstract:
In the study presented in this paper, we analyzed the mechanical response of a glass fiber plain weave/polymer composite at the fabric millimetric mesoscale. The detail of the stress and strain fields in a fabric repeating unit cell was numerically calculated using CraFT (Composite response and Fourier Transforms), a code specifically conceived for simulating the mechanical behaviour of materials…
▽ More
In the study presented in this paper, we analyzed the mechanical response of a glass fiber plain weave/polymer composite at the fabric millimetric mesoscale. The detail of the stress and strain fields in a fabric repeating unit cell was numerically calculated using CraFT (Composite response and Fourier Transforms), a code specifically conceived for simulating the mechanical behaviour of materials with complex microstructure. The local strain fields obtained by simulation were found to be in very good agreement with measurements carried out using 3D Digital Image Correlation (3D DIC). From numerical stress fields calculated with the CraFT solver, we also highlighted the subregions inside the periodic mesostructure where there is maximum stress. Furthermore, with X-ray tomography post mortem measurements, we were able to confirm that certain damage modes were well initiated in these microstructure subregions of stress concentration.
△ Less
Submitted 28 April, 2016;
originally announced May 2016.
-
Noise and measurement errors in a practical two-state quantum bit commitment protocol
Authors:
Ricardo Loura,
Álvaro J. Almeida,
Paulo S. André,
Armando N. Pinto,
Paulo Mateus,
Nikola Paunković
Abstract:
We present a two-state practical quantum bit commitment protocol, the security of which is based on the current technological limitations, namely the nonexistence of either stable long-term quantum memories or nondemolition measurements. For an optical realization of the protocol, we model the errors, which occur due to the noise and equipment (source, fibers, and detectors) imperfections, accumul…
▽ More
We present a two-state practical quantum bit commitment protocol, the security of which is based on the current technological limitations, namely the nonexistence of either stable long-term quantum memories or nondemolition measurements. For an optical realization of the protocol, we model the errors, which occur due to the noise and equipment (source, fibers, and detectors) imperfections, accumulated during emission, transmission, and measurement of photons. The optical part is modeled as a combination of a depolarizing channel (white noise), unitary evolution (e.g., systematic rotation of the polarization axis of photons), and two other basis-dependent channels, namely the phase- and bit-flip channels. We analyze quantitatively the effects of noise using two common information-theoretic measures of probability distribution distinguishability: the fidelity and the relative entropy. In particular, we discuss the optimal cheating strategy and show that it is always advantageous for a cheating agent to add some amount of white noise - the particular effect not being present in standard quantum security protocols. We also analyze the protocol's security when the use of (im)perfect nondemolition measurements and noisy or bounded quantum memories is allowed. Finally, we discuss errors occurring due to a finite detector efficiency, dark counts, and imperfect single-photon sources, and we show that the effects are the same as those of standard quantum cryptography.
△ Less
Submitted 2 June, 2014;
originally announced June 2014.
-
Implementation of a Quantum Metamaterial
Authors:
Pascal Macha,
Gregor Oelsner,
Jan-Michael Reiner,
Michael Marthaler,
Stephan André,
Gerd Schön,
Uwe Huebner,
Hans-Georg Meyer,
Evgeni Il'ichev,
Alexey V. Ustinov
Abstract:
Manipulating the propagation of electromagnetic waves through sub-wavelength sized artificial structures is the core function of metamaterials. Resonant structures, such as split ring resonators, play the role of artificial "atoms" and shape the magnetic response. Superconducting metamaterials moved into the spotlight for their very low ohmic losses and the possibility to tune their resonance freq…
▽ More
Manipulating the propagation of electromagnetic waves through sub-wavelength sized artificial structures is the core function of metamaterials. Resonant structures, such as split ring resonators, play the role of artificial "atoms" and shape the magnetic response. Superconducting metamaterials moved into the spotlight for their very low ohmic losses and the possibility to tune their resonance frequency by exploiting the Josephson inductance. Moreover, the nonlinear nature of the Josephson inductance enables the fabrication of truly artificial atoms. Arrays of such superconducting quantum two-level systems (qubits) can be used for the implementation of a quantum metamaterial. Here, we perform an experiment in which 20 superconducting flux qubits are embedded into a single microwave resonator. The phase of the signal transmitted through the resonator reveals the collective resonant coupling of up to 8 qubits. Quantum circuits of many artificial atoms based on this proof-of-principle experiment offer a wide range of prospects, from detecting single microwave photons to phase switching, quantum birefringence and superradiant phase transitions.
△ Less
Submitted 20 September, 2013;
originally announced September 2013.
-
Identification of the true elastic modulus of high density polyethylene from tensile tests using an appropriate reduced model of the elastoviscoplastic behavior
Authors:
A. Blaise,
Stéphane André,
Patrick Delobelle,
Yves Meshaka,
C. Cunat
Abstract:
The rheological parameters of materials are determined in the industry according to international standards established generally on the basis of widespread techniques and robust methods of estimation. Concerning solid polymers and the determination of Young's modulus in tensile tests, ISO 527-1 or ASTM D638 standards rely on protocols with poor scientific content: the determination of the slope o…
▽ More
The rheological parameters of materials are determined in the industry according to international standards established generally on the basis of widespread techniques and robust methods of estimation. Concerning solid polymers and the determination of Young's modulus in tensile tests, ISO 527-1 or ASTM D638 standards rely on protocols with poor scientific content: the determination of the slope of conventionally defined straight lines fitted to stress-strain curves in a given range of elongations. This paper describes the approach allowing for a correct measurement of the instantaneous elastic modulus of polymers in a tensile test. It is based on the use of an appropriate reduced model to describe the behavior of the material. The model comes a thermodynamical framework and allows to reproduce the behavior of an HDPE Polymer until large strains, covering the elastoviscoplastic and hardening regimes. Well-established principles of parameter estimation in engineering science are used to found the identification procedure. It will be shown that three parameters only are necessary to model experimental tensile signals: the instantaneous ('Young's') modulus, the maximum relaxation time of a linear distribution (described with a universal shape) and a strain hardening modulus to describe the 'relaxed' state. The paper ends with an assessment of the methodology. Our results of instantaneous modulus measurements are compared with those obtained with other physical experiments operating at different temporal and length scales.
△ Less
Submitted 19 June, 2012;
originally announced June 2012.
-
Emission spectrum of the driven nonlinear oscillator
Authors:
Stephan André,
Lingzhen Guo,
Vittorio Peano,
Michael Marthaler,
Gerd Schön
Abstract:
Motivated by recent "circuit QED" experiments we investigate the noise properties of coherently driven nonlinear resonators. By using Josephson junctions in superconducting circuits, strong nonlinearities can be engineered, which lead to the appearance of pronounced effects already for a low number of photons in the resonator. Based on a master equation approach we determine the emission spectrum…
▽ More
Motivated by recent "circuit QED" experiments we investigate the noise properties of coherently driven nonlinear resonators. By using Josephson junctions in superconducting circuits, strong nonlinearities can be engineered, which lead to the appearance of pronounced effects already for a low number of photons in the resonator. Based on a master equation approach we determine the emission spectrum and observe for typical circuit QED parameters, in addition to the primary Raman-type peaks, second-order peaks. These peaks describe higher harmonics in the slow noise-induced fluctuations of the oscillation amplitude of the resonator and provide a clear signature of the nonlinear nature of the system.
△ Less
Submitted 12 March, 2012;
originally announced March 2012.
-
The role of dam** for the driven anharmonic quantum oscillator
Authors:
Lingzhen Guo,
Michael Marthaler,
Stephan André,
Gerd Schön
Abstract:
For the model of a linearly driven quantum anharmonic oscillator, the role of dam** is investigated. We compare the position of the stable points in phase space obtained from a classical analysis to the result of a quantum mechanical analysis. The solution of the full master equation shows that the stable points behave qualitatively similar to the classical solution but with small modifications.…
▽ More
For the model of a linearly driven quantum anharmonic oscillator, the role of dam** is investigated. We compare the position of the stable points in phase space obtained from a classical analysis to the result of a quantum mechanical analysis. The solution of the full master equation shows that the stable points behave qualitatively similar to the classical solution but with small modifications. Both the quantum effects and additional effects of temperature can be described by renormalizing the dam**.
△ Less
Submitted 28 December, 2011;
originally announced December 2011.
-
Single-qubit lasing in the strong-coupling regime
Authors:
Stephan André,
Pei-Qing **,
Valentina Brosco,
Jared H. Cole,
Alessandro Romito,
Alexander Shnirman,
Gerd Schön
Abstract:
Motivated by recent ``circuit QED'' experiments we study the lasing transition and spectral properties of single-qubit lasers. In the strong coupling, low-temperature regime quantum fluctuations dominate over thermal noise and strongly influence the linewidth of the laser. When the qubit and the resonator are detuned, amplitude and phase fluctuations of the radiation field are coupled, and the pha…
▽ More
Motivated by recent ``circuit QED'' experiments we study the lasing transition and spectral properties of single-qubit lasers. In the strong coupling, low-temperature regime quantum fluctuations dominate over thermal noise and strongly influence the linewidth of the laser. When the qubit and the resonator are detuned, amplitude and phase fluctuations of the radiation field are coupled, and the phase diffusion model, commonly used to describe conventional lasers, fails. We predict pronounced effects near the lasing transition, with an enhanced linewidth and non-exponential decay of the correlation functions. We cover a wide range of parameters by using two complementary approaches, one based on the Liouville equation in a Fock state basis, covering arbitrarily strong coupling but limited to low photon numbers, the other based on the coherent-state representation, covering large photon numbers but restricted to weak or intermediate coupling.
△ Less
Submitted 8 November, 2010; v1 submitted 16 August, 2010;
originally announced August 2010.
-
Few-Qubit lasing in circuit QED
Authors:
Stephan André,
Valentina Brosco,
Michael Marthaler,
Alexander Shnirman,
Gerd Schön
Abstract:
Motivated by recent experiments, which demonstrated lasing and cooling of the electromagnetic modes in a resonator coupled to a superconducting qubit, we describe the specific mechanisms creating the population inversion, and we study the spectral properties of these systems in the lasing state. Different levels of the theoretical description, i.e., the semi-classical and the semi-quantum approx…
▽ More
Motivated by recent experiments, which demonstrated lasing and cooling of the electromagnetic modes in a resonator coupled to a superconducting qubit, we describe the specific mechanisms creating the population inversion, and we study the spectral properties of these systems in the lasing state. Different levels of the theoretical description, i.e., the semi-classical and the semi-quantum approximation, as well as an analysis based on the full Liouville equation are compared. We extend the usual quantum optics description to account for strong qubit-resonator coupling and include the effects of low-frequency noise. Beyond the lasing transition we find for a single- or few-qubit system the phase diffusion strength to grow with the coupling strength, which in turn deteriorates the lasing state.
△ Less
Submitted 23 November, 2009; v1 submitted 28 August, 2009;
originally announced August 2009.
-
Phase diffusion and locking in single-qubit lasers
Authors:
Stephan André,
Valentina Brosco,
Alexander Shnirman,
Gerd Schön
Abstract:
Motivated by recent experiments, which demonstrated lasing and cooling of the electromagnetic field in an electrical resonator coupled to a superconducting qubit, we study the phase coherence and diffusion of the system in the lasing state. We also discuss phase locking and synchronization induced by an additional {\sl ac} driving of the resonator. We extend earlier work to account for the stron…
▽ More
Motivated by recent experiments, which demonstrated lasing and cooling of the electromagnetic field in an electrical resonator coupled to a superconducting qubit, we study the phase coherence and diffusion of the system in the lasing state. We also discuss phase locking and synchronization induced by an additional {\sl ac} driving of the resonator. We extend earlier work to account for the strong qubit-resonator coupling and to include the effects of low-frequency qubit's noise. We show that the strong coupling may lead to a double peak structure of the spectrum, while the shape and width are determined to the low-frequency noise.
△ Less
Submitted 26 August, 2009; v1 submitted 29 July, 2008;
originally announced July 2008.
-
Dissipation in circuit quantum electrodynamics: lasing and cooling of a low-frequency oscillator
Authors:
Julian Hauss,
Arkady Fedorov,
Stephan André,
Valentina Brosco,
Carsten Hutter,
Robin Kothari,
Sunil Yeshwant,
Alexander Shnirman,
Gerd Schön
Abstract:
Superconducting qubits coupled to electric or nanomechanical resonators display effects previously studied in quantum electrodynamics (QED) and extensions thereof. Here we study a driven qubit coupled to a low-frequency tank circuit with particular emphasis on the role of dissipation. When the qubit is driven to perform Rabi oscillations, with Rabi frequency in resonance with the oscillator, the…
▽ More
Superconducting qubits coupled to electric or nanomechanical resonators display effects previously studied in quantum electrodynamics (QED) and extensions thereof. Here we study a driven qubit coupled to a low-frequency tank circuit with particular emphasis on the role of dissipation. When the qubit is driven to perform Rabi oscillations, with Rabi frequency in resonance with the oscillator, the latter can be driven far from equilibrium. Blue detuned driving leads to a population inversion in the qubit and lasing behavior of the oscillator ("single-atom laser"). For red detuning the qubit cools the oscillator. This behavior persists at the symmetry point where the qubit-oscillator coupling is quadratic and decoherence effects are minimized. Here the system realizes a "single-atom-two-photon laser".
△ Less
Submitted 7 June, 2008;
originally announced June 2008.