BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Vladimir P. Gerdt

Vladimir P. Gerdt appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.RAmath.APSymbolic Computationmath.ACmath.NAquant-phNumerical Analysisphysics.flu-dynphysics.hist-ph

Catalog footprint

What is connected

11works
9topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

11 published item(s)

preprint2020arXiv

Milestone developments in quantum Information and No-Go theorems

In this article we present milestone developments in the theory and applications of quantum information from historical perspectives. The domain of quantum information is very promising to develop quantum computer, quantum communication and varieties of other applications of quantum technologies. We also give the light on experimental manifestations of major theoretical developments. In addition, we present important no-go theorems frequently used in quantum information along with ideas of their respective mathematical proofs.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Strong Consistency and Thomas Decomposition of Finite Difference Approximations to Systems of Partial Differential Equations

For a wide class of polynomially nonlinear systems of partial differential equations we suggest an algorithmic approach that combines differential and difference algebra to analyze s(trong)-consistency of finite difference approximations. Our approach is applicable to regular solution grids. For the grids of this type we give a new definition of s-consistency for finite difference approximations which generalizes our definition given earlier for Cartesian grids. The algorithmic verification of s-consistency presented in the paper is based on the use of both differential and difference Thomas decomposition. First, we apply the differential decomposition to the input system, resulting in a partition of its solution space. Then, to the output subsystem that contains a solution of interest we apply a difference analogue of the differential Thomas decomposition which allows to check the s-consistency. For linear and some quasi-linear differential systems one can also apply difference \Gr bases for the s-consistency analysis. We illustrate our methods and algorithms by a number of examples, which include Navier-Stokes equations for viscous incompressible flow.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Entanglement sudden death and birth effects in two qubits maximally entangled mixed states under quantum channels

In the present article, the robustness of entanglement in two qubits maximally entangled mixed states (MEME) have been studied under quantum decoherence channels. Here we consider bit flip, phase flip, bit-phase-flip, amplitude damping, phase damping and depolarization channels. To quantify the entanglement, the concurrence has been used as an entanglement measure. During this study interesting results have been found for sudden death and birth of entanglement under bit flip and bit-phase-flip channels. While amplitude damping channel produces entanglement sudden death and does not allow re-birth of entanglement. On the other hand, two qubits MEMS exhibit the robust character against the phase flip, phase damping and depolarization channels. The elegant behavior of all the quantum channels have been investigated with varying parameter of quantum state MEMS in different cases.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

On the Partial Analytical Solution of the Kirchhoff Equation

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Lie Symmetry Analysis for Cosserat Rods

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Noetherian quotients of the algebra of partial difference polynomials and Grobner bases of symmetric ideals

In this paper we develop a Grobner bases theory for ideals of partial difference polynomials with constant or non-constant coefficients. In particular, we introduce a criterion providing the finiteness of such bases when a difference ideal contains elements with suitable linear leading monomials. This can be explained in terms of Noetherianity of the corresponding quotient algebra. Among these Noetherian quotients we find finitely generated polynomial algebras where the action of suitable finite dimensional commutative algebras and in particular finite abelian groups is defined. We obtain therefore a consistent Grobner bases theory for ideals that possess such symmetries.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Involutive Bases Algorithm Incorporating F5 Criterion

Faugere's F5 algorithm is the fastest known algorithm to compute Groebner bases. It has a signature-based and an incremental structure that allow to apply the F5 criterion for deletion of unnecessary reductions. In this paper, we present an involutive completion algorithm which outputs a minimal involutive basis. Our completion algorithm has a nonincremental structure and in addition to the involutive form of Buchberger's criteria it applies the F5 criterion whenever this criterion is applicable in the course of completion to involution. In doing so, we use the G2V form of the F5 criterion developed by Gao, Guan and Volny IV. To compare the proposed algorithm, via a set of benchmarks, with the Gerdt-Blinkov involutive algorithm (which does not apply the F5 criterion) we use implementations of both algorithms done on the same platform in Maple.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Computation of Difference Groebner Bases

To compute difference Groebner bases of ideals generated by linear polynomials we adopt to difference polynomial rings the involutive algorithm based on Janet-like division. The algorithm has been implemented in Maple in the form of the package LDA (Linear Difference Algebra) and we describe the main features of the package. Its applications are illustrated by generation of finite difference approximations to linear partial differential equations and by reduction of Feynman integrals. We also present the algorithm for an ideal generated by a finite set of nonlinear difference polynomials. If the algorithm terminates, then it constructs a Groebner basis of the ideal.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

A Variant of Gerdt's Algorithm for Computing Involutive Bases

Ihe first author presented an efficient algorithm for computing involutive (and reduced Groebner) bases. In this paper, we consider a modification of this algorithm which simplifies matters to understand it and to implement. We prove correctness and termination of the modified algorithm and also correctness of the used criteria. The proposed algorithm has been implemented in Maple. We present experimental comparison, via some examples, of performance of the modified algorithm with its original form which has been implemented in Maple too. In doing so, we have taken care to provide uniform implementation details for the both algorithms.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Consistency Analysis of Finite Difference Approximations to PDE Systems

In the given paper we consider finite difference approximations to systems of polynomially-nonlinear partial differential equations whose coefficients are rational functions over rationals in the independent variables. The notion of strong consistency which we introduced earlier for linear systems is extended to nonlinear ones. For orthogonal and uniform grids we describe an algorithmic procedure for verification of strong consistency based on computation of difference standard bases. The concepts and algorithmic methods of the present paper are illustrated by two finite difference approximations to the two-dimensional Navier-Stokes equations. One of these approximations is strongly consistent and another is not.

0 citations0 reviewsNo code linkedOpen access
preprint2005arXiv

An Algorithm for Constructing Polynomial Systems Whose Solution Space Characterizes Quantum Circuits

An algorithm and its first implementation in C# are presented for assembling arbitrary quantum circuits on the base of Hadamard and Toffoli gates and for constructing multivariate polynomial systems over the finite field Z_2 arising when applying the Feynman's sum-over-paths approach to quantum circuits. The matrix elements determined by a circuit can be computed by counting the number of common roots in Z_2 for the polynomial system associated with the circuit. To determine the number of solutions in Z_2 for the output polynomial system, one can use the Groebner bases method and the relevant algorithms for computing Groebner bases.

0 citations0 reviewsNo code linkedOpen access