-
On the Algorithmic Recovering of Coefficients in Linearizable Differential Equations
Authors:
Dmitry A. Lyakhov,
Dominik L. Michels
Abstract:
We investigate the problem of recovering coefficients in scalar nonlinear ordinary differential equations that can be exactly linearized. This contribution builds upon prior work by Lyakhov, Gerdt, and Michels, which focused on obtaining a linearizability certificate through point transformations. Our focus is on quasi-linear equations, specifically those solved for the highest derivative with a r…
▽ More
We investigate the problem of recovering coefficients in scalar nonlinear ordinary differential equations that can be exactly linearized. This contribution builds upon prior work by Lyakhov, Gerdt, and Michels, which focused on obtaining a linearizability certificate through point transformations. Our focus is on quasi-linear equations, specifically those solved for the highest derivative with a rational dependence on the variables involved. Our novel algorithm for coefficient recovery relies on basic operations on Lie algebras, such as computing the derived algebra and the dimension of the symmetry algebra. This algorithmic approach is efficient, although finding the linearization transformation necessitates computing at least one solution of the corresponding Bluman-Kumei equation system.
△ Less
Submitted 2 April, 2024;
originally announced April 2024.
-
On the Algorithmic Verification of Nonlinear Superposition for Systems of First Order Ordinary Differential Equations
Authors:
Veronika Treumova,
Dmitry A. Lyakhov,
Dominik L. Michels
Abstract:
This paper belongs to a group of work in the intersection of symbolic computation and group analysis aiming for the symbolic analysis of differential equations. The goal is to extract important properties without finding the explicit general solution. In this contribution, we introduce the algorithmic verification of nonlinear superposition properties and its implementation. More exactly, for a sy…
▽ More
This paper belongs to a group of work in the intersection of symbolic computation and group analysis aiming for the symbolic analysis of differential equations. The goal is to extract important properties without finding the explicit general solution. In this contribution, we introduce the algorithmic verification of nonlinear superposition properties and its implementation. More exactly, for a system of nonlinear ordinary differential equations of first order with a polynomial right-hand side, we check if the differential system admits a general solution by means of a superposition rule and a certain number of particular solutions. It is based on the theory of Newton polytopes and associated symbolic computation. The developed method provides the basis for the identification of nonlinear superpositions within a given system and for the construction of numerical methods which preserve important algebraic properties at the numerical level.
△ Less
Submitted 30 January, 2024;
originally announced January 2024.
-
Flexible Kokotsakis Meshes with Skew Faces: Generalization of the Orthodiagonal Involutive Type
Authors:
Alisher Aikyn,
Yang Liu,
Dmitry A. Lyakhov,
Florian Rist,
Helmut Pottmann,
Dominik L. Michels
Abstract:
In this paper, we introduce and study a remarkable class of mechanisms formed by a $3 \times 3$ arrangement of rigid quadrilateral faces with revolute joints at the common edges. In contrast to the well-studied Kokotsakis meshes with a quadrangular base, we do not assume the planarity of the quadrilateral faces. Our mechanisms are a generalization of Izmestiev's orthodiagonal involutive type of Ko…
▽ More
In this paper, we introduce and study a remarkable class of mechanisms formed by a $3 \times 3$ arrangement of rigid quadrilateral faces with revolute joints at the common edges. In contrast to the well-studied Kokotsakis meshes with a quadrangular base, we do not assume the planarity of the quadrilateral faces. Our mechanisms are a generalization of Izmestiev's orthodiagonal involutive type of Kokotsakis meshes formed by planar quadrilateral faces. The importance of this Izmestiev class is undisputed as it represents the first known flexible discrete surface -- T-nets -- which has been constructed by Graf and Sauer. Our algebraic approach yields a complete characterization of all flexible $3 \times 3$ quad meshes of the orthodiagonal involutive type up to some degenerated cases. It is shown that one has a maximum of 8 degrees of freedom to construct such mechanisms. This is illustrated by several examples, including cases which could not be realized using planar faces. We demonstrate the practical realization of the proposed mechanisms by building a physical prototype using stainless steel. In contrast to plastic prototype fabrication, we avoid large tolerances and inherent flexibility.
△ Less
Submitted 28 December, 2023; v1 submitted 19 March, 2023;
originally announced March 2023.
-
Simulation of indirect 13C-13C J-coupling tensors in diamond clusters hosting the NV center
Authors:
A. Nizovtsev,
A. Pushkarchuk,
S. Kuten,
D. Michels,
D. Lyakhov,
N. Kargin,
S. Kilin
Abstract:
Using the ORCA 5.0.2 software package we have simulated for a first time the full tensors nJKL (K,L=X,Y,Z), describing n-bond J-coupling of nuclear spins 13C in H-terminated diamond-like clusters C10H16 (adamantane) and C35H36 as well as in the cluster C33[NV-]H36 hosting the negatively charged NV- center. We found that, in addition to usually considered isotropic scalar nJ-coupling constant the a…
▽ More
Using the ORCA 5.0.2 software package we have simulated for a first time the full tensors nJKL (K,L=X,Y,Z), describing n-bond J-coupling of nuclear spins 13C in H-terminated diamond-like clusters C10H16 (adamantane) and C35H36 as well as in the cluster C33[NV-]H36 hosting the negatively charged NV- center. We found that, in addition to usually considered isotropic scalar nJ-coupling constant the anisotropic contributions to the nJ-coupling tensor are essential. We have also shown that the presence of the NV center affects the J-coupling characteristics, especially in the case of 13C-13C pairs located near the vacancy of the NV center.
△ Less
Submitted 29 April, 2022;
originally announced April 2022.
-
Lost photon enhances superresolution
Authors:
A. Mikhalychev,
P. Novik,
I. Karuseichyk,
D. A. Lyakhov,
D. L. Michels,
D. Mogilevtsev
Abstract:
Quantum imaging can beat classical resolution limits, imposed by diffraction of light. In particular, it is known that one can reduce the image blurring and increase the achievable resolution by illuminating an object by entangled light and measuring coincidences of photons. If an $n$-photon entangled state is used and the $n$th-order correlation function is measured, the point-spread function (PS…
▽ More
Quantum imaging can beat classical resolution limits, imposed by diffraction of light. In particular, it is known that one can reduce the image blurring and increase the achievable resolution by illuminating an object by entangled light and measuring coincidences of photons. If an $n$-photon entangled state is used and the $n$th-order correlation function is measured, the point-spread function (PSF) effectively becomes $\sqrt n$ times narrower relatively to classical coherent imaging. Quite surprisingly, measuring $n$-photon correlations is not the best choice if an $n$-photon entangled state is available. We show that for measuring $(n-1)$-photon coincidences (thus, ignoring one of the available photons), PSF can be made even narrower. This observation paves a way for a strong conditional resolution enhancement by registering one of the photons outside the imaging area. We analyze the conditions necessary for the resolution increase and propose a practical scheme, suitable for observation and exploitation of the effect.
△ Less
Submitted 14 January, 2021;
originally announced January 2021.
-
Controlling wave-front shape and propagation time with tunable disordered non-Hermitian multilayers
Authors:
Denis Novitsky,
Dmitry Lyakhov,
Dominik Michels,
Dmitrii Redka,
Alexander Pavlov,
Alexander Shalin
Abstract:
Unique and flexible properties of non-Hermitian photonic systems attract ever-increasing attention via delivering a whole bunch of novel optical effects and allowing for efficient tuning light-matter interactions on nano- and microscales. Together with an increasing demand for the fast and spatially compact methods of light governing, this peculiar approach paves a broad avenue to novel optical ap…
▽ More
Unique and flexible properties of non-Hermitian photonic systems attract ever-increasing attention via delivering a whole bunch of novel optical effects and allowing for efficient tuning light-matter interactions on nano- and microscales. Together with an increasing demand for the fast and spatially compact methods of light governing, this peculiar approach paves a broad avenue to novel optical applications. Here, unifying the approaches of disordered metamaterials and non-Hermitian photonics, we propose a conceptually new and simple architecture driven by disordered loss-gain multilayers and, therefore, providing a powerful tool to control both the passage time and the wave-front shape of incident light with different switching times. For the first time we show the possibility to switch on and off kink formation by changing the level of disorder in the case of adiabatically raising wave fronts. At the same time, we deliver flexible tuning of the output intensity by using the nonlinear effect of loss and gain saturation. Since the disorder strength in our system can be conveniently controlled with the power of the external pump, our approach can be considered as a basis for different active photonic devices.
△ Less
Submitted 19 October, 2020;
originally announced October 2020.
-
Optimal correlation order in super-resolution optical fluctuation microscopy
Authors:
S. Vlasenko,
A. B. Mikhalychev,
I. L. Karuseichyk,
D. A. Lyakhov,
D. L. Michels,
D. Mogilevtsev
Abstract:
Here, we show that, contrary to the common opinion, the super-resolution optical fluctuation microscopy might not lead to ideally infinite super-resolution enhancement with increasing of the order of measured cumulants. Using information analysis for estimating error bounds on the determination of point sources positions, we show that reachable precision per measurement might be saturated with inc…
▽ More
Here, we show that, contrary to the common opinion, the super-resolution optical fluctuation microscopy might not lead to ideally infinite super-resolution enhancement with increasing of the order of measured cumulants. Using information analysis for estimating error bounds on the determination of point sources positions, we show that reachable precision per measurement might be saturated with increasing of the order of the measured cumulants in the super-resolution regime. In fact, there is an optimal correlation order beyond which there is practically no improvement for objects of three and more point sources. However, for objects of just two sources, one still has an intuitively expected resolution increase with the cumulant order.
△ Less
Submitted 1 October, 2020; v1 submitted 21 September, 2020;
originally announced September 2020.
-
Unambiguous scattering matrix for non-Hermitian systems
Authors:
Andrey Novitsky,
Dmitry Lyakhov,
Dominik Michels,
Alexander Pavlov,
Alexander Shalin,
Denis Novitsky
Abstract:
$\mathcal{PT}$ symmetry is a unique platform for light manipulation and versatile use in unidirectional invisibility, lasing, sensing, etc. Broken and unbroken $\mathcal{PT}…
▽ More
$\mathcal{PT}$ symmetry is a unique platform for light manipulation and versatile use in unidirectional invisibility, lasing, sensing, etc. Broken and unbroken $\mathcal{PT}$-symmetric states in non-Hermitian open systems are described by scattering matrices. A multilayer structure, as a simplest example of the open system, has no certain definition of the scattering matrix, since the output ports can be permuted. The uncertainty in definition of the exceptional points bordering $\mathcal{PT}$-symmetric and $\mathcal{PT}$-symmetry-broken states poses an important problem, because the exceptional points are indispensable in applications as sensing and mode discrimination. Here we derive the proper scattering matrix from the unambiguous relation between the $\mathcal{PT}$-symmetric Hamiltonian and scattering matrix. We reveal that the exceptional points of the scattering matrix with permuted output ports are not related to the $\mathcal{PT}$ symmetry breaking. Nevertheless, they can be employed for finding a lasing onset as demonstrated in our time-domain calculations and scattering-matrix pole analysis. Our results are important for various applications of the non-Hermitian systems including encircling exceptional points, coherent perfect absorption, $\mathcal{PT}$-symmetric plasmonics, etc.
△ Less
Submitted 24 April, 2020; v1 submitted 2 April, 2020;
originally announced April 2020.
-
Reconstructing compound objects by quantum imaging with higher-order correlation functions
Authors:
A. B. Mikhalychev,
B. Bessire,
I. L. Karuseichyk,
A. A. Sakovich,
M. Unternahrer,
D. A. Lyakhov,
D. L. Michels,
A. Stefanov,
D. Mogilevtsev
Abstract:
Quantum imaging has a potential of enhancing precision of the object reconstruction by using quantum correlations of the imaging field. This is especially important for imaging requiring low-intensity fields up to the level of few-photons. However, quantum imaging generally leads to nonlinear estimation problems. The complexity of these problems rapidly increases with the number of parameters desc…
▽ More
Quantum imaging has a potential of enhancing precision of the object reconstruction by using quantum correlations of the imaging field. This is especially important for imaging requiring low-intensity fields up to the level of few-photons. However, quantum imaging generally leads to nonlinear estimation problems. The complexity of these problems rapidly increases with the number of parameters describing the object. We suggest a way to drastically reduce the complexity for a wide class of problems. The key point of our approach is connecting the features of the Fisher information with the parametric locality of the problem, and building the efficient iterative inference scheme reconstructing only a subset of the whole set of parameters in each step. This iterative scheme is linear on the total number of parameters. This scheme is applied to quantum near-field imaging, the inference procedure is developed resulting in super-resolving reconstruction of grey compound transmission objects. The functionality of the method is demonstrated with experimental data obtained by measurements of higher-order correlation functions for imaging with entangled twin-photons and pseudo-thermal light sources. By analyzing the informational content of the measurement, it becomes possible to predict the existence of optimal photon correlations providing for the best image resolution in the super-resolution regime. This prediction is experimentally confirmed. It is also shown how an estimation bias stemming from image features may drastically improve the resolution.
△ Less
Submitted 27 August, 2019; v1 submitted 20 August, 2019;
originally announced August 2019.
-
A Strongly Consistent Finite Difference Scheme for Steady Stokes Flow and its Modified Equations
Authors:
Yury A. Blinkov,
Vladimir P. Gerdt,
Dmitry A. Lyakhov,
Dominik L. Michels
Abstract:
We construct and analyze a strongly consistent second-order finite difference scheme for the steady two-dimensional Stokes flow. The pressure Poisson equation is explicitly incorporated into the scheme. Our approach suggested by the first two authors is based on a combination of the finite volume method, difference elimination, and numerical integration. We make use of the techniques of the differ…
▽ More
We construct and analyze a strongly consistent second-order finite difference scheme for the steady two-dimensional Stokes flow. The pressure Poisson equation is explicitly incorporated into the scheme. Our approach suggested by the first two authors is based on a combination of the finite volume method, difference elimination, and numerical integration. We make use of the techniques of the differential and difference Janet/Groebner bases. In order to prove strong consistency of the generated scheme we correlate the differential ideal generated by the polynomials in the Stokes equations with the difference ideal generated by the polynomials in the constructed difference scheme. Additionally, we compute the modified differential system of the obtained scheme and analyze the scheme's accuracy and strong consistency by considering this system. An evaluation of our scheme against the established marker-and-cell method is carried out.
△ Less
Submitted 2 September, 2018; v1 submitted 1 July, 2018;
originally announced July 2018.
-
Symbolic-Numeric Integration of the Dynamical Cosserat Equations
Authors:
Dmitry Lyakhov,
Vladimir Gerdt,
Andreas Weber,
Dominik Michels
Abstract:
We devise a symbolic-numeric approach to the integration of the dynamical part of the Cosserat equations, a system of nonlinear partial differential equations describing the mechanical behavior of slender structures, like fibers and rods. This is based on our previous results on the construction of a closed form general solution to the kinematic part of the Cosserat system. Our approach combines m…
▽ More
We devise a symbolic-numeric approach to the integration of the dynamical part of the Cosserat equations, a system of nonlinear partial differential equations describing the mechanical behavior of slender structures, like fibers and rods. This is based on our previous results on the construction of a closed form general solution to the kinematic part of the Cosserat system. Our approach combines methods of numerical exponential integration and symbolic integration of the intermediate system of nonlinear ordinary differential equations describing the dynamics of one of the arbitrary vector-functions in the general solution of the kinematic part in terms of the module of the twist vector-function. We present an experimental comparison with the well-established generalized alpha-method illustrating the computational efficiency of our approach for problems in structural mechanics.
△ Less
Submitted 30 October, 2018; v1 submitted 5 April, 2017;
originally announced April 2017.
-
Algorithmic Verification of Linearizability for Ordinary Differential Equations
Authors:
Dmitry Lyakhov,
Vladimir Gerdt,
Dominik Michels
Abstract:
For a nonlinear ordinary differential equation solved with respect to the highest order derivative and rational in the other derivatives and in the independent variable, we devise two algorithms to check if the equation can be reduced to a linear one by a point transformation of the dependent and independent variables. The first algorithm is based on a construction of the Lie point symmetry algebr…
▽ More
For a nonlinear ordinary differential equation solved with respect to the highest order derivative and rational in the other derivatives and in the independent variable, we devise two algorithms to check if the equation can be reduced to a linear one by a point transformation of the dependent and independent variables. The first algorithm is based on a construction of the Lie point symmetry algebra and on the computation of its derived algebra. The second algorithm exploits the differential Thomas decomposition and allows not only to test the linearizability, but also to generate a system of nonlinear partial differential equations that determines the point transformation and the coefficients of the linearized equation. Both algorithms have been implemented in Maple and their application is illustrated using several examples.
△ Less
Submitted 27 April, 2017; v1 submitted 13 February, 2017;
originally announced February 2017.
-
On the General Analytical Solution of the Kinematic Cosserat Equations
Authors:
Dominik Michels,
Dmitry Lyakhov,
Vladimir Gerdt,
Zahid Hossain,
Ingmar Riedel-Kruse,
Andreas Weber
Abstract:
Based on a Lie symmetry analysis, we construct a closed form solution to the kinematic part of the (partial differential) Cosserat equations describing the mechanical behavior of elastic rods. The solution depends on two arbitrary analytical vector functions and is analytical everywhere except a certain domain of the independent variables in which one of the arbitrary vector functions satisfies a…
▽ More
Based on a Lie symmetry analysis, we construct a closed form solution to the kinematic part of the (partial differential) Cosserat equations describing the mechanical behavior of elastic rods. The solution depends on two arbitrary analytical vector functions and is analytical everywhere except a certain domain of the independent variables in which one of the arbitrary vector functions satisfies a simple explicitly given algebraic relation. As our main theoretical result, in addition to the construction of the solution, we proof its generality. Based on this observation, a hybrid semi-analytical solver for highly viscous two-way coupled fluid-rod problems is developed which allows for the interactive high-fidelity simulations of flagellated microswimmers as a result of a substantial reduction of the numerical stiffness.
△ Less
Submitted 11 October, 2016;
originally announced October 2016.
-
On the Partial Analytical Solution of the Kirchhoff Equation
Authors:
Dominik L. Michels,
Dmitry A. Lyakhov,
Vladimir P. Gerdt,
Gerrit A. Sobottka,
Andreas G. Weber
Abstract:
We derive a combined analytical and numerical scheme to solve the (1+1)-dimensional differential Kirchhoff system. Here the object is to obtain an accurate as well as an efficient solution process. Purely numerical algorithms typically have the disadvantage that the quality of solutions decreases enormously with increasing temporal step sizes, which results from the numerical stiffness of the unde…
▽ More
We derive a combined analytical and numerical scheme to solve the (1+1)-dimensional differential Kirchhoff system. Here the object is to obtain an accurate as well as an efficient solution process. Purely numerical algorithms typically have the disadvantage that the quality of solutions decreases enormously with increasing temporal step sizes, which results from the numerical stiffness of the underlying partial differential equations. To prevent that, we apply a differential Thomas decomposition and a Lie symmetry analysis to derive explicit analytical solutions to specific parts of the Kirchhoff system. These solutions are general and depend on arbitrary functions, which we set up according to the numerical solution of the remaining parts. In contrast to a purely numerical handling, this reduces the numerical solution space and prevents the system from becoming unstable. The differential Kirchhoff equation describes the dynamic equilibrium of one-dimensional continua, i.e. slender structures like fibers. We evaluate the advantage of our method by simulating a cilia carpet.
△ Less
Submitted 2 October, 2015;
originally announced October 2015.
-
Linearization of ODEs: algorithmic approach
Authors:
Vladimir Gerdt,
Dmitry Lyakhov
Abstract:
Algorithmic approach to the problem of linearization by point transformation of ordinary differential equation of arbitrary order is presented. Test-linearization is purely algorithmic.
Algorithmic approach to the problem of linearization by point transformation of ordinary differential equation of arbitrary order is presented. Test-linearization is purely algorithmic.
△ Less
Submitted 6 June, 2017; v1 submitted 7 May, 2015;
originally announced May 2015.
-
Lie Symmetry Analysis for Cosserat Rods
Authors:
Dominik L. Michels,
Dmitry A. Lyakhov,
Vladimir P. Gerdt,
Gerrit A. Sobottka,
Andreas G. Weber
Abstract:
We consider a subsystem of the Special Cosserat Theory of Rods and construct an explicit form of its solution that depends on three arbitrary functions in (s,t) and three arbitrary functions in t. Assuming analyticity of the arbitrary functions in a domain under consideration, we prove that the obtained solution is analytic and general. The Special Cosserat Theory of Rods describes the dynamic equ…
▽ More
We consider a subsystem of the Special Cosserat Theory of Rods and construct an explicit form of its solution that depends on three arbitrary functions in (s,t) and three arbitrary functions in t. Assuming analyticity of the arbitrary functions in a domain under consideration, we prove that the obtained solution is analytic and general. The Special Cosserat Theory of Rods describes the dynamic equilibrium of 1-dimensional continua, i.e. slender structures like fibers, by means of a system of partial differential equations.
△ Less
Submitted 6 November, 2014;
originally announced November 2014.