-
Global One-Counter Tree Automata
Authors:
Luisa Herrmann,
Richard Mörbitz
Abstract:
We introduce global one-counter tree automata (GOCTA) which deviate from usual counter tree automata by working on only one counter which is passed through the tree in lexicographical order, rather than duplicating the counter at every branching position. We compare the capabilities of GOCTA to those of counter tree automata and obtain that their classes of recognizable tree languages are incompar…
▽ More
We introduce global one-counter tree automata (GOCTA) which deviate from usual counter tree automata by working on only one counter which is passed through the tree in lexicographical order, rather than duplicating the counter at every branching position. We compare the capabilities of GOCTA to those of counter tree automata and obtain that their classes of recognizable tree languages are incomparable. Moreover, we show that the emptiness problem of GOCTA is undecidable while, in stark contrast, their membership problem is in P.
△ Less
Submitted 21 June, 2024;
originally announced June 2024.
-
The Discontinuous Strain Method: accurately representing fatigue and failure
Authors:
Leon Herrmann,
Alireza Daneshyar,
Stefan Kollmannsberger
Abstract:
Fatigue simulation requires accurate modeling of unloading and reloading. However, classical ductile damage models treat deformations after complete failure as irrecoverable -- which leads to unphysical behavior during unloading. This unphysical behavior stems from the continued accumulation of plastic strains after failure, resulting in an incorrect stress state at crack closure. As a remedy, we…
▽ More
Fatigue simulation requires accurate modeling of unloading and reloading. However, classical ductile damage models treat deformations after complete failure as irrecoverable -- which leads to unphysical behavior during unloading. This unphysical behavior stems from the continued accumulation of plastic strains after failure, resulting in an incorrect stress state at crack closure. As a remedy, we introduce a discontinuity strain in the additive elasto-plastic strain decomposition, which absorbs the excess strain after failure. This allows representing pre- and post-cracking regimes in a fully continuous setting, wherein the transition from the elasto-plastic response to cracking can be triggered at any arbitrary stage in a completely smooth manner. Moreover, the presented methodology does not exhibit the spurious energy release observed in hybrid approaches. In addition, our approach guarantees mesh-independent results by relying on a characteristic length scale -- based on the discretization's resolution. We name this new methodology the discontinuous strain method. The proposed approach requires only minor modifications of conventional plastic-damage routines. To convey the method in a didactic manner, the algorithmic modifications are first discussed for one- and subsequently for two-/three-dimensional implementations. Using a simple ductile constitutive model, the discontinuous strain method is validated against established two-dimensional benchmarks. The method is, however, independent of the employed constitutive model. Elastic, plastic, and damage models may thus be chosen arbitrarily. Furthermore, computational efforts associated with the method are minimal, rendering it advantageous for accurately representing low-cycle fatigue but potentially also for other scenarios requiring a discontinuity representation within a plastic-damage framework.
△ Less
Submitted 5 December, 2023; v1 submitted 1 December, 2023;
originally announced December 2023.
-
Deep Learning in Deterministic Computational Mechanics
Authors:
Leon Herrmann,
Stefan Kollmannsberger
Abstract:
The rapid growth of deep learning research, including within the field of computational mechanics, has resulted in an extensive and diverse body of literature. To help researchers identify key concepts and promising methodologies within this field, we provide an overview of deep learning in deterministic computational mechanics. Five main categories are identified and explored: simulation substitu…
▽ More
The rapid growth of deep learning research, including within the field of computational mechanics, has resulted in an extensive and diverse body of literature. To help researchers identify key concepts and promising methodologies within this field, we provide an overview of deep learning in deterministic computational mechanics. Five main categories are identified and explored: simulation substitution, simulation enhancement, discretizations as neural networks, generative approaches, and deep reinforcement learning. This review focuses on deep learning methods rather than applications for computational mechanics, thereby enabling researchers to explore this field more effectively. As such, the review is not necessarily aimed at researchers with extensive knowledge of deep learning -- instead, the primary audience is researchers at the verge of entering this field or those who attempt to gain an overview of deep learning in computational mechanics. The discussed concepts are, therefore, explained as simple as possible.
△ Less
Submitted 27 September, 2023;
originally announced September 2023.
-
From ductile damage to unilateral contact via point-wise implicit discontinuity at the infinitesimal element level
Authors:
Alireza Daneshyar,
Leon Herrmann,
Stefan Kollmannsberger
Abstract:
Ductile damage models and cohesive laws incorporate the material plasticity entailing the growth of irrecoverable deformations even after complete failure. This unrealistic growth remains concealed until the unilateral effects arising from the crack closure emerge. We address this issue by proposing a new strategy to cope with the entire process of failure, from the very inception in the form of d…
▽ More
Ductile damage models and cohesive laws incorporate the material plasticity entailing the growth of irrecoverable deformations even after complete failure. This unrealistic growth remains concealed until the unilateral effects arising from the crack closure emerge. We address this issue by proposing a new strategy to cope with the entire process of failure, from the very inception in the form of diffuse damage to the final stage, i.e. the emergence of sharp cracks. To this end, we introduce a new strain field, termed discontinuity strain, to the conventional additive strain decomposition to account for discontinuities in a continuous sense so that the standard principle of virtual work applies. We treat this strain field similar to a strong discontinuity, yet without introducing new kinematic variables and nonlinear boundary conditions. In this paper, we demonstrate the effectiveness of this new strategy at a simple ductile damage constitutive model. The model uses a scalar damage index to control the degradation process. The discontinuity strain field is injected into the strain decomposition if this damage index exceeds a certain threshold. The threshold corresponds to the limit at which the induced imperfections merge and form a discrete crack. With three-point bending tests under pure mode I and mixed-mode conditions, we demonstrate that this augmentation does not show the early crack closure artifact which is wrongly predicted by plastic damage formulations at load reversal. We also use the concrete damaged plasticity model provided in Abaqus commercial finite element program for our comparison. Lastly, a high-intensity low-cycle fatigue test demonstrates the unilateral effects resulting from the complete closure of the induced crack.
△ Less
Submitted 1 December, 2023; v1 submitted 24 June, 2023;
originally announced June 2023.
-
The fast reduced QMC matrix-vector product
Authors:
Josef Dick,
Adrian Ebert,
Lukas Herrmann,
Peter Kritzer,
Marcello Longo
Abstract:
We study the approximation of integrals $\int_D f(\boldsymbol{x}^\top A) \mathrm{d} μ(\boldsymbol{x})$, where $A$ is a matrix, by quasi-Monte Carlo (QMC) rules $N^{-1} \sum_{k=0}^{N-1} f(\boldsymbol{x}_k^\top A)$. We are interested in cases where the main cost arises from calculating the products $\boldsymbol{x}_k^\top A$. We design QMC rules for which the computation of $\boldsymbol{x}_k^\top A$,…
▽ More
We study the approximation of integrals $\int_D f(\boldsymbol{x}^\top A) \mathrm{d} μ(\boldsymbol{x})$, where $A$ is a matrix, by quasi-Monte Carlo (QMC) rules $N^{-1} \sum_{k=0}^{N-1} f(\boldsymbol{x}_k^\top A)$. We are interested in cases where the main cost arises from calculating the products $\boldsymbol{x}_k^\top A$. We design QMC rules for which the computation of $\boldsymbol{x}_k^\top A$, $k = 0, 1, \ldots, N-1$, can be done fast, and for which the error of the QMC rule is similar to the standard QMC error. We do not require that $A$ has any particular structure.
For instance, this approach can be used when approximating the expected value of a function with a multivariate normal random variable with a given covariance matrix, or when approximating the expected value of the solution of a PDE with random coefficients.
The speed-up of the computation time is sometimes better and sometimes worse than the fast QMC matrix-vector product from [Dick, Kuo, Le Gia, and Schwab, Fast QMC Matrix-Vector Multiplication, SIAM J. Sci. Comput. 37 (2015)]. As in that paper, our approach applies to (polynomial) lattice point sets, but also to digital nets (we are currently not aware of any approach which allows one to apply the fast method from the aforementioned paper of Dick, Kuo, Le Gia, and Schwab to digital nets).
Our method does not use FFT, instead we use repeated values in the quadrature points to derive a reduction in the computation time. This arises from the reduced CBC construction of lattice rules and polynomial lattice rules. The reduced CBC construction has been shown to reduce the computation time for the CBC construction. Here we show that it can also be used to also reduce the computation time of the QMC rule.
△ Less
Submitted 19 May, 2023;
originally announced May 2023.
-
Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures
Authors:
Luisa Herrmann,
Vincent Peth,
Sebastian Rudolph
Abstract:
We propose $ω$MSO$\Join$BAPA, an expressive logic for describing countable structures, which subsumes and transcends both Counting Monadic Second-Order Logic (CMSO) and Boolean Algebra with Presburger Arithmetic (BAPA). We show that satisfiability of $ω$MSO$\Join$BAPA is decidable over the class of labeled infinite binary trees, whereas it becomes undecidable even for a rather mild relaxations. Th…
▽ More
We propose $ω$MSO$\Join$BAPA, an expressive logic for describing countable structures, which subsumes and transcends both Counting Monadic Second-Order Logic (CMSO) and Boolean Algebra with Presburger Arithmetic (BAPA). We show that satisfiability of $ω$MSO$\Join$BAPA is decidable over the class of labeled infinite binary trees, whereas it becomes undecidable even for a rather mild relaxations. The decidability result is established by an elaborate multi-step transformation into a particular normal form, followed by the deployment of Parikh-Muller Tree Automata, a novel kind of automaton for infinite labeled binary trees, integrating and generalizing both Muller and Parikh automata while still exhibiting a decidable (in fact PSpace-complete) emptiness problem. By means of MSO-interpretations, we lift the decidability result to all tree-interpretable classes of structures, including the classes of finite/countable structures of bounded treewidth/cliquewidth/partitionwidth. We generalize the result further by showing that decidability is even preserved when coupling width-restricted $ω$MSO$\Join$BAPA with width-unrestricted two-variable logic with advanced counting. A final showcase demonstrates how our results can be leveraged to harvest decidability results for expressive $μ$-calculi extended by global Presburger constraints.
△ Less
Submitted 23 November, 2023; v1 submitted 3 May, 2023;
originally announced May 2023.
-
FakET: Simulating Cryo-Electron Tomograms with Neural Style Transfer
Authors:
Pavol Harar,
Lukas Herrmann,
Philipp Grohs,
David Haselbach
Abstract:
In cryo-electron microscopy, accurate particle localization and classification are imperative. Recent deep learning solutions, though successful, require extensive training data sets. The protracted generation time of physics-based models, often employed to produce these data sets, limits their broad applicability. We introduce FakET, a method based on Neural Style Transfer, capable of simulating…
▽ More
In cryo-electron microscopy, accurate particle localization and classification are imperative. Recent deep learning solutions, though successful, require extensive training data sets. The protracted generation time of physics-based models, often employed to produce these data sets, limits their broad applicability. We introduce FakET, a method based on Neural Style Transfer, capable of simulating the forward operator of any cryo transmission electron microscope. It can be used to adapt a synthetic training data set according to reference data producing high-quality simulated micrographs or tilt-series. To assess the quality of our generated data, we used it to train a state-of-the-art localization and classification architecture and compared its performance with a counterpart trained on benchmark data. Remarkably, our technique matches the performance, boosts data generation speed 750 times, uses 33 times less memory, and scales well to typical transmission electron microscope detector sizes. It leverages GPU acceleration and parallel processing. The source code is available at https://github.com/paloha/faket.
△ Less
Submitted 5 July, 2024; v1 submitted 4 April, 2023;
originally announced April 2023.
-
On the Use of Neural Networks for Full Waveform Inversion
Authors:
Leon Herrmann,
Tim Bürchner,
Felix Dietrich,
Stefan Kollmannsberger
Abstract:
Neural networks have recently gained attention in solving inverse problems. One prominent methodology are Physics-Informed Neural Networks (PINNs) which can solve both forward and inverse problems. In the paper at hand, full waveform inversion is the considered inverse problem. The performance of PINNs is compared against classical adjoint optimization, focusing on three key aspects: the forward-s…
▽ More
Neural networks have recently gained attention in solving inverse problems. One prominent methodology are Physics-Informed Neural Networks (PINNs) which can solve both forward and inverse problems. In the paper at hand, full waveform inversion is the considered inverse problem. The performance of PINNs is compared against classical adjoint optimization, focusing on three key aspects: the forward-solver, the neural network Ansatz for the inverse field, and the sensitivity computation for the gradient-based minimization. Starting from PINNs, each of these key aspects is adapted individually until the classical adjoint optimization emerges. It is shown that it is beneficial to use the neural network only for the discretization of the unknown material field, where the neural network produces reconstructions without oscillatory artifacts as typically encountered in classical full waveform inversion approaches. Due to this finding, a hybrid approach is proposed. It exploits both the efficient gradient computation with the continuous adjoint method as well as the neural network Ansatz for the unknown material field. This new hybrid approach outperforms Physics-Informed Neural Networks and the classical adjoint optimization in settings of two and three-dimensional examples.
△ Less
Submitted 30 January, 2023;
originally announced March 2023.
-
Transfer Learning Enhanced Full Waveform Inversion
Authors:
Stefan Kollmannsberger,
Divya Singh,
Leon Herrmann
Abstract:
We propose a way to favorably employ neural networks in the field of non-destructive testing using Full Waveform Inversion (FWI). The presented methodology discretizes the unknown material distribution in the domain with a neural network within an adjoint optimization. To further increase efficiency of the FWI, pretrained neural networks are used to provide a good starting point for the inversion.…
▽ More
We propose a way to favorably employ neural networks in the field of non-destructive testing using Full Waveform Inversion (FWI). The presented methodology discretizes the unknown material distribution in the domain with a neural network within an adjoint optimization. To further increase efficiency of the FWI, pretrained neural networks are used to provide a good starting point for the inversion. This reduces the number of iterations in the Full Waveform Inversion for specific, yet generalizable settings.
△ Less
Submitted 1 December, 2023; v1 submitted 22 February, 2023;
originally announced February 2023.
-
Analysis of RHC for stabilization of nonautonomous parabolic equations under uncertainty
Authors:
Behzad Azmi,
Lukas Herrmann,
Karl Kunisch
Abstract:
Stabilization of a class of time-varying parabolic equations with uncertain input data using Receding Horizon Control (RHC) is investigated. The diffusion coefficient and the initial function are prescribed as random fields. We consider both cases, uniform and log-normal distributions of the diffusion coefficient. The controls are chosen to be finite-dimensional and enter into the system as a line…
▽ More
Stabilization of a class of time-varying parabolic equations with uncertain input data using Receding Horizon Control (RHC) is investigated. The diffusion coefficient and the initial function are prescribed as random fields. We consider both cases, uniform and log-normal distributions of the diffusion coefficient. The controls are chosen to be finite-dimensional and enter into the system as a linear combination of finitely many indicator functions (actuators) supported in open subsets of the spatial domain. Under suitable regularity assumptions, we study the expected (averaged) stabilizability of the RHC-controlled system with respect to the number of actuators. An upper bound is also obtained for the failure probability of RHC in relation to the choice of the number of actuators and parameters in the equation.
△ Less
Submitted 1 February, 2023;
originally announced February 2023.
-
Neural and spectral operator surrogates: unified construction and expression rate bounds
Authors:
Lukas Herrmann,
Christoph Schwab,
Jakob Zech
Abstract:
Approximation rates are analyzed for deep surrogates of maps between infinite-dimensional function spaces, arising e.g. as data-to-solution maps of linear and nonlinear partial differential equations. Specifically, we study approximation rates for Deep Neural Operator and Generalized Polynomial Chaos (gpc) Operator surrogates for nonlinear, holomorphic maps between infinite-dimensional, separable…
▽ More
Approximation rates are analyzed for deep surrogates of maps between infinite-dimensional function spaces, arising e.g. as data-to-solution maps of linear and nonlinear partial differential equations. Specifically, we study approximation rates for Deep Neural Operator and Generalized Polynomial Chaos (gpc) Operator surrogates for nonlinear, holomorphic maps between infinite-dimensional, separable Hilbert spaces. Operator in- and outputs from function spaces are assumed to be parametrized by stable, affine representation systems. Admissible representation systems comprise orthonormal bases, Riesz bases or suitable tight frames of the spaces under consideration. Algebraic expression rate bounds are established for both, deep neural and spectral operator surrogates acting in scales of separable Hilbert spaces containing domain and range of the map to be expressed, with finite Sobolev or Besov regularity. We illustrate the abstract concepts by expression rate bounds for the coefficient-to-solution map for a linear elliptic PDE on the torus.
△ Less
Submitted 8 February, 2024; v1 submitted 11 July, 2022;
originally announced July 2022.
-
The desalting/salting pathway: a route to form metastable aggre-gates with tuneable morphologies and lifetimes
Authors:
Sumit Mehan,
Laure Herrmann,
Jean-Paul Chapel,
Jacques Jestin,
Jean-Francois Berret,
Fabrice Cousin
Abstract:
We investigate the formation/re-dissociation mechanisms of hybrid complexes made from negatively charged PAA2k coated γ-Fe2O3 nanoparticles (NP) and positively charged polycations (PDADMAC) in aqueous solution in the regime of very high ionic strength (I). When the building blocks are mixed at large ionic strength (1M NH4Cl), the electrostatic interaction is screened and complexation does not occu…
▽ More
We investigate the formation/re-dissociation mechanisms of hybrid complexes made from negatively charged PAA2k coated γ-Fe2O3 nanoparticles (NP) and positively charged polycations (PDADMAC) in aqueous solution in the regime of very high ionic strength (I). When the building blocks are mixed at large ionic strength (1M NH4Cl), the electrostatic interaction is screened and complexation does not occur. If the ionic strength is then lowered down to a targeted ionic strength Itarget, there is a critical threshold Ic = 0.62 M at which complexation occurs, that is independent on the charge ratio Z and the pathway used to reduce salinity (drop-by-drop mixing or fast mixing). If salt is added back up to 1M, the transition is not reversible and persistent out-of-equilibrium aggregates are formed. The lifetimes of such aggregates depends on Itarget: the closer Itarget to Ic is, the more difficult it is to dissolve the aggregates. Such peculiar behavior is driven by the inner structure of the complexes that are formed after desalting. When Itarget is far below Ic, strong electrostatic interactions induce the formation of dense, compact and frozen aggregates. Such aggregates can only poorly reorganize further on with time, which makes their dissolution upon resalting almost reversible. Conversely, when Itarget is close to Ic more open aggregates are formed due to weaker electrostatic interactions upon desalting. System can thus rearrange with time to lower its free energy and reach more stable out-of-equilibrium states which are very difficult to dissociate back upon resalting, even at very high ionic strength.
△ Less
Submitted 26 August, 2021;
originally announced August 2021.
-
Deep neural network approximation for high-dimensional parabolic Hamilton-Jacobi-Bellman equations
Authors:
Philipp Grohs,
Lukas Herrmann
Abstract:
The approximation of solutions to second order Hamilton--Jacobi--Bellman (HJB) equations by deep neural networks is investigated. It is shown that for HJB equations that arise in the context of the optimal control of certain Markov processes the solution can be approximated by deep neural networks without incurring the curse of dimension. The dynamics is assumed to depend affinely on the controls…
▽ More
The approximation of solutions to second order Hamilton--Jacobi--Bellman (HJB) equations by deep neural networks is investigated. It is shown that for HJB equations that arise in the context of the optimal control of certain Markov processes the solution can be approximated by deep neural networks without incurring the curse of dimension. The dynamics is assumed to depend affinely on the controls and the cost depends quadratically on the controls. The admissible controls take values in a bounded set.
△ Less
Submitted 9 March, 2021;
originally announced March 2021.
-
Multilevel approximation of Gaussian random fields: Covariance compression, estimation and spatial prediction
Authors:
Helmut Harbrecht,
Lukas Herrmann,
Kristin Kirchner,
Christoph Schwab
Abstract:
Centered Gaussian random fields (GRFs) indexed by compacta such as smooth, bounded Euclidean domains or smooth, compact and orientable manifolds are determined by their covariance operators. We consider centered GRFs given as variational solutions to coloring operator equations driven by spatial white noise, with an elliptic self-adjoint pseudodifferential coloring operator from the Hörmander clas…
▽ More
Centered Gaussian random fields (GRFs) indexed by compacta such as smooth, bounded Euclidean domains or smooth, compact and orientable manifolds are determined by their covariance operators. We consider centered GRFs given as variational solutions to coloring operator equations driven by spatial white noise, with an elliptic self-adjoint pseudodifferential coloring operator from the Hörmander class. This includes the Matérn class of GRFs as a special case. Using biorthogonal multiresolution analyses on the manifold, we prove that the precision and covariance operators, respectively, may be identified with bi-infinite matrices and finite sections may be diagonally preconditioned rendering the condition number independent of the dimension $p$ of this section. We prove that a tapering strategy by thresholding applied on finite sections of the bi-infinite precision and covariance matrices results in optimally numerically sparse approximations. That is, asymptotically only linearly many nonzero matrix entries are sufficient to approximate the original section of the bi-infinite covariance or precision matrix using this tapering strategy to arbitrary precision. The locations of these nonzero matrix entries are known a priori. The tapered covariance or precision matrices may also be optimally diagonally preconditioned. Analysis of the relative size of the entries of the tapered covariance matrices motivates novel, multilevel Monte Carlo (MLMC) oracles for covariance estimation, in sample complexity that scales log-linearly with respect to the number $p$ of parameters. In addition, we propose and analyze a novel compressive algorithm for simulating and kriging of GRFs. The complexity (work and memory vs. accuracy) of these three algorithms scales near-optimally in terms of the number of parameters $p$ of the sample-wise approximation of the GRF in Sobolev scales.
△ Less
Submitted 7 March, 2021;
originally announced March 2021.
-
Deep neural network approximation for high-dimensional elliptic PDEs with boundary conditions
Authors:
Philipp Grohs,
Lukas Herrmann
Abstract:
In recent work it has been established that deep neural networks are capable of approximating solutions to a large class of parabolic partial differential equations without incurring the curse of dimension. However, all this work has been restricted to problems formulated on the whole Euclidean domain. On the other hand, most problems in engineering and the sciences are formulated on finite domain…
▽ More
In recent work it has been established that deep neural networks are capable of approximating solutions to a large class of parabolic partial differential equations without incurring the curse of dimension. However, all this work has been restricted to problems formulated on the whole Euclidean domain. On the other hand, most problems in engineering and the sciences are formulated on finite domains and subjected to boundary conditions. The present paper considers an important such model problem, namely the Poisson equation on a domain $D\subset \mathbb{R}^d$ subject to Dirichlet boundary conditions. It is shown that deep neural networks are capable of representing solutions of that problem without incurring the curse of dimension. The proofs are based on a probabilistic representation of the solution to the Poisson equation as well as a suitable sampling method.
△ Less
Submitted 17 August, 2020; v1 submitted 10 July, 2020;
originally announced July 2020.
-
Weighted Regular Tree Grammars with Storage
Authors:
Zoltán Fülöp,
Luisa Herrmann,
Heiko Vogler
Abstract:
We introduce weighted regular tree grammars with storage as combination of (a) regular tree grammars with storage and (b) weighted tree automata over multioperator monoids. Each weighted regular tree grammar with storage generates a weighted tree language, which is a map** from the set of trees to the multioperator monoid. We prove that, for multioperator monoids canonically associated to partic…
▽ More
We introduce weighted regular tree grammars with storage as combination of (a) regular tree grammars with storage and (b) weighted tree automata over multioperator monoids. Each weighted regular tree grammar with storage generates a weighted tree language, which is a map** from the set of trees to the multioperator monoid. We prove that, for multioperator monoids canonically associated to particular strong bi-monoids, the support of the generated weighted tree languages can be generated by (unweighted) regular tree grammars with storage. We characterize the class of all generated weighted tree languages by the composition of three basic concepts. Moreover, we prove results on the elimination of chain rules and of finite storage types, and we characterize weighted regular tree grammars with storage by a new weighted MSO-logic.
△ Less
Submitted 2 July, 2020; v1 submitted 18 May, 2017;
originally announced May 2017.
-
Net Shape 3D Printed NdFeB Permanent Magnet
Authors:
J. Jacimovic,
F. Binda,
L. G. Herrmann,
F. Greuter,
J. Genta,
M. Calvo,
T. Tomse,
R. A. Simon
Abstract:
For two decades, NdFeB based magnets have been a critical component in a range of electrical devices engaged in energy production and conversion. The magnet shape and the internal microstructure of the selected NdFeB grade govern their efficiency and size. However, stricter requirements on device efficiency call for better performing magnets preferably with novel functionality not achievable today…
▽ More
For two decades, NdFeB based magnets have been a critical component in a range of electrical devices engaged in energy production and conversion. The magnet shape and the internal microstructure of the selected NdFeB grade govern their efficiency and size. However, stricter requirements on device efficiency call for better performing magnets preferably with novel functionality not achievable today. Here we use 3D metal printing by Selective Laser Melting to fabricate dense net shape permanent magnets based on NdFeB that exhibit high magnetic performance. Evidence is provided that the internal microstructure, not achievable by traditional manufacturing means, is the origin of the solid magnetic properties. The freedom in magnet body shape and size that ranges from the millimeter to tens of centimeter scale opens up a design freedom that could be a catalyzer for the next generation of electrical devices.
△ Less
Submitted 15 November, 2016;
originally announced November 2016.
-
Nanoassembly of Polydisperse Photonic Crystals based on Binary and Ternary Polymer Opal Alloys
Authors:
Qibin Zhao,
Chris E. Finlayson,
Christian Schafer,
Peter Spahn,
Markus Gallei,
Lars Herrmann,
Andrei Petukhov,
Jeremy J. Baumberg
Abstract:
Ordered binary and ternary photonic crystals, composed of different sized polymer-composite spheres with diameter ratios up to 120%, are generated using bending induced oscillatory shearing (BIOS). This viscoelastic system creates polydisperse equilibrium structures, producing mixed opaline colored films with greatly reduced requirements for particle monodispersity, and very different sphere size…
▽ More
Ordered binary and ternary photonic crystals, composed of different sized polymer-composite spheres with diameter ratios up to 120%, are generated using bending induced oscillatory shearing (BIOS). This viscoelastic system creates polydisperse equilibrium structures, producing mixed opaline colored films with greatly reduced requirements for particle monodispersity, and very different sphere size ratios, compared to other methods of nano-assembly.
△ Less
Submitted 9 May, 2016;
originally announced May 2016.
-
Polyelectrolyte assisted charge titration spectrometry: applications to latex and oxide nanoparticles
Authors:
F. Mousseau,
L. Vitorazi,
L. Herrmann,
S. Mornet,
J. -F. Berret
Abstract:
The electrostatic charge density of particles is of paramount importance for the control of the dispersion stability. Conventional methods use potentiometric, conductometric or turbidity titration but require large amount of samples. Here we report a simple and cost-effective method called polyelectrolyte assisted charge titration spectrometry or PACTS. The technique takes advantage of the propens…
▽ More
The electrostatic charge density of particles is of paramount importance for the control of the dispersion stability. Conventional methods use potentiometric, conductometric or turbidity titration but require large amount of samples. Here we report a simple and cost-effective method called polyelectrolyte assisted charge titration spectrometry or PACTS. The technique takes advantage of the propensity of oppositely charged polymers and particles to assemble upon mixing, leading to aggregation or phase separation. The mixed dispersions exhibit a maximum in light scattering as a function of the volumetric ratio X, and the peak position XMax is linked to the particle charge density according to σ ~ D0 XMax where D0 is the particle diameter. The PACTS is successfully applied to organic latex, aluminum and silicon oxide particles of positive or negative charge using poly(diallyldimethylammonium chloride) and poly(sodium 4-styrenesulfonate). The protocol is also optimized with respect to important parameters such as pH and concentration, and to the polyelectrolyte molecular weight. The advantages of the PACTS technique are that it requires minute amounts of sample and that it is suitable to a broad variety of charged nano-objects.
△ Less
Submitted 27 April, 2016;
originally announced April 2016.
-
Numerical analysis of lognormal diffusions on the sphere
Authors:
Lukas Herrmann,
Annika Lang,
Christoph Schwab
Abstract:
Numerical solutions of stationary diffusion equations on the unit sphere with isotropic lognormal diffusion coefficients are considered. Hölder regularity in $L^p$ sense for isotropic Gaussian random fields is obtained and related to the regularity of the driving lognormal coefficients. This yields regularity in $L^p$ sense of the solution to the diffusion problem in Sobolev spaces. Convergence ra…
▽ More
Numerical solutions of stationary diffusion equations on the unit sphere with isotropic lognormal diffusion coefficients are considered. Hölder regularity in $L^p$ sense for isotropic Gaussian random fields is obtained and related to the regularity of the driving lognormal coefficients. This yields regularity in $L^p$ sense of the solution to the diffusion problem in Sobolev spaces. Convergence rate estimates of multilevel Monte Carlo Finite and Spectral Element discretizations of these problems are then deduced. Specifically, a convergence analysis is provided with convergence rate estimates in terms of the number of Monte Carlo samples of the solution to the considered diffusion equation and in terms of the total number of degrees of freedom of the spatial discretization, and with bounds for the total work required by the algorithm in the case of Finite Element discretizations. The obtained convergence rates are solely in terms of the decay of the angular power spectrum of the (logarithm) of the diffusion coefficient. Numerical examples confirm the presented theory.
△ Less
Submitted 1 November, 2016; v1 submitted 11 January, 2016;
originally announced January 2016.
-
Linear Context-Free Tree Languages and Inverse Homomorphisms
Authors:
Johannes Osterholzer,
Toni Dietze,
Luisa Herrmann
Abstract:
We prove that the class of linear context-free tree languages is not closed under inverse linear tree homomorphisms. The proof is by contradiction: we encode Dyck words into a context-free tree language and prove that its preimage under a certain linear tree homomorphism cannot be generated by any context-free tree grammar. A positive result can still be obtained: the linear monadic context-free t…
▽ More
We prove that the class of linear context-free tree languages is not closed under inverse linear tree homomorphisms. The proof is by contradiction: we encode Dyck words into a context-free tree language and prove that its preimage under a certain linear tree homomorphism cannot be generated by any context-free tree grammar. A positive result can still be obtained: the linear monadic context-free tree languages are closed under inverse linear tree homomorphisms.
△ Less
Submitted 19 October, 2015; v1 submitted 16 October, 2015;
originally announced October 2015.
-
Spectroscopy of non-local superconducting correlations in a double quantum dot
Authors:
L. G. Herrmann,
P. Burset,
W. J. Herrera,
F. Portier,
P. Roche,
C. Strunk,
A. Levy Yeyati,
T. Kontos
Abstract:
We investigate non-linear transport in a double quantum dot connected to two normal electrodes and a central superconducting finger. By this means, we perform a transport spectroscopy of such a system which implements a Cooper pair splitter. The non-linear conductance exhibits strong subgap features which can be associated with the coherence of the injected Cooper pairs. Our findings are well acco…
▽ More
We investigate non-linear transport in a double quantum dot connected to two normal electrodes and a central superconducting finger. By this means, we perform a transport spectroscopy of such a system which implements a Cooper pair splitter. The non-linear conductance exhibits strong subgap features which can be associated with the coherence of the injected Cooper pairs. Our findings are well accounted for by the recently developed microscopic theory of Cooper pairs splitters made in SWNTs.
△ Less
Submitted 9 May, 2012;
originally announced May 2012.
-
Noisy Kondo impurities
Authors:
T. Delattre,
C. Feuillet-Palma,
L. G. Herrmann,
P. Morfin,
J. -M. Berroir,
G. Fève,
B. Plaçais,
D. C. Glattli,
M. -S. Choi,
C. Mora,
T. Kontos
Abstract:
The anti-ferromagnetic coupling of a magnetic impurity carrying a spin with the conduction electrons spins of a host metal is the basic mechanism responsible for the increase of the resistance of an alloy such as Cu${}_{0.998}$Fe${}_{0.002}$ at low temperature, as originally suggested by Kondo . This coupling has emerged as a very generic property of localized electronic states coupled to a contin…
▽ More
The anti-ferromagnetic coupling of a magnetic impurity carrying a spin with the conduction electrons spins of a host metal is the basic mechanism responsible for the increase of the resistance of an alloy such as Cu${}_{0.998}$Fe${}_{0.002}$ at low temperature, as originally suggested by Kondo . This coupling has emerged as a very generic property of localized electronic states coupled to a continuum . The possibility to design artificial controllable magnetic impurities in nanoscopic conductors has opened a path to study this many body phenomenon in unusual situations as compared to the initial one and, in particular, in out of equilibrium situations. So far, measurements have focused on the average current. Here, we report on \textit{current fluctuations} (noise) measurements in artificial Kondo impurities made in carbon nanotube devices. We find a striking enhancement of the current noise within the Kondo resonance, in contradiction with simple non-interacting theories. Our findings provide a test bench for one of the most important many-body theories of condensed matter in out of equilibrium situations and shed light on the noise properties of highly conductive molecular devices.
△ Less
Submitted 22 October, 2010;
originally announced October 2010.
-
Carbon Nanotubes as Cooper Pair Beam Splitters
Authors:
L. G. Herrmann,
F. Portier,
P. Roche,
A. Levy Yeyati,
T. Kontos,
C. Strunk
Abstract:
We report on conductance measurements in carbon nanotube based double quantum dots connected to two normal electrodes and a central superconducting finger. By operating our devices as beam splitters, we provide evidence for Crossed Andreev Reflections \textit{tunable in situ}. This opens an avenue to more sophisticated quantum optics-like experiments with spin entangled electrons.
We report on conductance measurements in carbon nanotube based double quantum dots connected to two normal electrodes and a central superconducting finger. By operating our devices as beam splitters, we provide evidence for Crossed Andreev Reflections \textit{tunable in situ}. This opens an avenue to more sophisticated quantum optics-like experiments with spin entangled electrons.
△ Less
Submitted 17 September, 2009;
originally announced September 2009.
-
Shot noise in carbon nanotube based Fabry-Perot interferometers
Authors:
L. G. Herrmann,
T. Delattre,
P. Morfin,
J. -M. Berroir,
B. Plaçais,
D. C. Glattli,
T. Kontos
Abstract:
We report on shot noise measurements in carbon nanotube based Fabry-Perot electronic interferometers. As a consequence of quantum interferences, the noise power spectral density oscillates as a function of the voltage applied to the gate electrode. The quantum shot noise theory accounts for the data quantitatively. It allows to confirm the existence of two nearly degenerate orbitals. At resonanc…
▽ More
We report on shot noise measurements in carbon nanotube based Fabry-Perot electronic interferometers. As a consequence of quantum interferences, the noise power spectral density oscillates as a function of the voltage applied to the gate electrode. The quantum shot noise theory accounts for the data quantitatively. It allows to confirm the existence of two nearly degenerate orbitals. At resonance, the transmission of the nanotube approaches unity, and the nanotube becomes noiseless, as observed in quantum point contacts. In this weak backscattering regime, the dependence of the noise on the backscattering current is found weaker than expected, pointing either to electron-electron interactions or to weak decoherence.
△ Less
Submitted 5 March, 2007;
originally announced March 2007.