Showing 1–18 of 18 results for author: Plotnikov, D

The NSVZ relations for ${\cal N}=1$ supersymmetric theories with multiple gauge couplings

Authors: Dmitrii Korneev, Dmitry Plotnikov, Konstantin Stepanyantz, Natalia Tereshina

Abstract: We investigate the NSVZ relations for ${\cal N}=1$ supersymmetric gauge theories with multiple gauge couplings. As examples, we consider MSSM and the flipped $SU(5)$ model, for which they easily reproduce the results for the two-loop $β$-functions. For ${\cal N}=1$ SQCD interacting with the Abelian gauge superfield we demonstrate that the NSVZ-like equation for the Adler $D$-function follows from… ▽ More We investigate the NSVZ relations for ${\cal N}=1$ supersymmetric gauge theories with multiple gauge couplings. As examples, we consider MSSM and the flipped $SU(5)$ model, for which they easily reproduce the results for the two-loop $β$-functions. For ${\cal N}=1$ SQCD interacting with the Abelian gauge superfield we demonstrate that the NSVZ-like equation for the Adler $D$-function follows from the NSVZ relations. Also we derive all-loop equations describing how the NSVZ equations for theories with multiple gauge couplings change under finite renormalizations. They allow describing a continuous set of NSVZ schemes in which the exact NSVZ $β$-functions are valid for all gauge coupling constants. Very likely, this class includes the HD+MSL scheme, which is obtained if a theory is regularized by Higher covariant Derivatives and divergences are removed by Minimal Subtractions of Logarithms. That is why we also discuss how one can construct the higher derivative regularization for theories with multiple gauge couplings. Presumably, this regularization allows to derive the NSVZ equations for such theories in all loops. In this paper we make the first step of this derivation, namely, the NSVZ equations for theories with multiple gauge couplings are rewritten in a new form which relates the $β$-functions to the anomalous dimensions of the quantum gauge superfields, of the Faddeev--Popov ghosts, and of the matter superfields. The equivalence of this new form to the original NSVZ relations follows from the extension of the non-renormalization theorem for the triple gauge-ghost vertices, which is also derived in this paper. △ Less

Submitted 11 August, 2021; originally announced August 2021.

Comments: 39 pages

Searching isomorphic graphs

Authors: Anatoly D. Plotnikov

Abstract: To determine that two given undirected graphs are isomorphic, we construct for them auxiliary graphs, using the breadth-first search. This makes capability to position vertices in each digraph with respect to each other. If the given graphs are isomorphic, in each of them we can find such positionally equivalent auxiliary digraphs that have the same mutual positioning of vertices. Obviously, if th… ▽ More To determine that two given undirected graphs are isomorphic, we construct for them auxiliary graphs, using the breadth-first search. This makes capability to position vertices in each digraph with respect to each other. If the given graphs are isomorphic, in each of them we can find such positionally equivalent auxiliary digraphs that have the same mutual positioning of vertices. Obviously, if the given graphs are isomorphic, then such equivalent digraphs exist. Proceeding from the arrangement of vertices in one of the digraphs, we try to determine the corresponding vertices in another digraph. As a result we develop the algorithm for constructing a bijective mapping between vertices of the given graphs if they are isomorphic. The running time of the algorithm equal to $O(n^5)$, where $n$ is the number of graph vertices. △ Less

Submitted 10 February, 2018; originally announced February 2018.

Comments: 17 pages, 11 figures

MSC Class: 05C85; 68Q17

Journal ref: Transactions on Networks and Communications, Volume 5, No. 5, ISSN: 2054 -7420 (2017)

Polynomial-time algorithm for determining the graph isomorphism (v.2)

Authors: Anatoly D. Plotnikov

Abstract: We develop the methodology of positioning graph vertices relative to each other to solve the problem of determining isomorphism of two undirected graphs. Based on the position of the vertex in one of the graphs, it is determined the corresponding vertex in the other graph. For the selected vertex of the undirected graph, we define the neighborhoods of the vertices. Next, we construct the auxilia… ▽ More We develop the methodology of positioning graph vertices relative to each other to solve the problem of determining isomorphism of two undirected graphs. Based on the position of the vertex in one of the graphs, it is determined the corresponding vertex in the other graph. For the selected vertex of the undirected graph, we define the neighborhoods of the vertices. Next, we construct the auxiliary directed graph, spawned by the selected vertex. The vertices of the digraph are positioned by special characteristics --- vectors, which locate each vertex of the digraph relative the found neighborhoods. This enabled to develop the algorithm for determining graph isomorphism, the runing time of which is equal to $O(n^4)$. △ Less

Submitted 27 October, 2016; v1 submitted 27 April, 2016; originally announced October 2016.

Comments: 13 pages, 11 figures

MSC Class: 05C85; 68Q17

Journal ref: American Journal of Information Science and Computer Engineering, Vol. 3, No. 6, 2017, pp. 71-76

NESTML: a modeling language for spiking neurons

Authors: Dimitri Plotnikov, Bernhard Rumpe, Inga Blundell, Tammo Ippen, Jochen Martin Eppler, Abgail Morrison

Abstract: Biological nervous systems exhibit astonishing complexity .Neuroscientists aim to capture this com- plexity by modeling and simulation of biological processes. Often very comple xm odels are nec- essary to depict the processes, which makes it dif fi cult to create these models. Powerful tools are thus necessary ,which enable neuroscientists to express models in acomprehensi ve and concise way and… ▽ More Biological nervous systems exhibit astonishing complexity .Neuroscientists aim to capture this com- plexity by modeling and simulation of biological processes. Often very comple xm odels are nec- essary to depict the processes, which makes it dif fi cult to create these models. Powerful tools are thus necessary ,which enable neuroscientists to express models in acomprehensi ve and concise way and generate ef fi cient code for digital simulations. Se veral modeling languages for computational neuroscience ha ve been proposed [Gl10, Ra11]. Howe ver, as these languages seek simulator inde- pendence the ytypically only support asubset of the features desired by the modeler .Int his article, we present the modular and extensible domain speci fi cl anguage NESTML, which provides neuro- science domain concepts as fi rst-class language constructs and supports domain experts in creating neuron models for the neural simulation tool NEST .N ESTML and aset of example models are publically available on GitHub. △ Less

Submitted 9 June, 2016; originally announced June 2016.

Comments: 16 pages, 5 figures, Modellierung 2016 Conference

A Comparison of Mechanisms for Integrating Handwritten and Generated Code for Object-Oriented Programming Languages

Authors: Timo Greifenberg, Katrin Hölldobler, Carsten Kolassa, Markus Look, Pedram Mir Seyed Nazari, Klaus Müller, Antonio Navarro Perez, Dimitri Plotnikov, Dirk Reiss, Alexander Roth, Bernhard Rumpe, Martin Schindler, Andreas Wortmann

Abstract: Code generation from models is a core activity in model-driven development (MDD). For complex systems it is usually impossible to generate the entire software system from models alone. Thus, MDD requires mechanisms for integrating generated and handwritten code. Applying such mechanisms without considering their effects can cause issues in projects with many model and code artifacts, where a sound… ▽ More Code generation from models is a core activity in model-driven development (MDD). For complex systems it is usually impossible to generate the entire software system from models alone. Thus, MDD requires mechanisms for integrating generated and handwritten code. Applying such mechanisms without considering their effects can cause issues in projects with many model and code artifacts, where a sound integration for generated and handwritten code is necessary. We provide an overview of mechanisms for integrating generated and handwritten code for object-oriented languages. In addition to that, we define and apply criteria to compare these mechanisms. The results are intended to help MDD tool developers in choosing an appropriate integration mechanism. △ Less

Submitted 15 September, 2015; originally announced September 2015.

Comments: 12 pages, 7 figures, 1 table, Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development. Angers, Loire Valley, France, pp. 74-85, 2015

Journal ref: Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development. Angers, Loire Valley, France, pp. 74-85, 2015

Simulations on Consumer Tests: Systematic Evaluation of Tolerance Ranges by Model-Based Generation of Simulation Scenarios

Authors: Christian Berger, Delf Block, Sönke Heeren, Christian Hons, Stefan Kühnel, André Leschke, Dimitri Plotnikov, Bernhard Rumpe

Abstract: Context: Since 2014 several modern cars were rated regarding the performances of their active safety systems at the European New Car Assessment Programme (EuroNCAP). Nowadays, consumer tests play a significant role for the OEM's series development with worldwide perspective, because a top rating is needed to underline the worthiness of active safety features from the customers' point of view. Furt… ▽ More Context: Since 2014 several modern cars were rated regarding the performances of their active safety systems at the European New Car Assessment Programme (EuroNCAP). Nowadays, consumer tests play a significant role for the OEM's series development with worldwide perspective, because a top rating is needed to underline the worthiness of active safety features from the customers' point of view. Furthermore, EuroNCAP already published their roadmap 2020 in which they outline further extensions in today's testing and rating procedures that will aggravate the current requirements addressed to those systems. Especially Autonomous Emergency Braking/Forward Collision Warning systems (AEB/FCW) are going to face a broader field of application as pedestrian detection or two-way traffic scenarios. Objective: This work focuses on the systematic generation of test scenarios concentrating on specific parameters that can vary within certain tolerance ranges like the lateral position of the vehicle-under-test (VUT) and its test velocity for example. It is of high interest to examine the effect of the tolerance ranges on the braking points in different test cases representing different trajectories and velocities because they will influence significantly a later scoring during the assessments and thus the safety abilities of the regarding car. Method: We present a formal model using a graph to represent the allowed variances based on the relevant points in time. Now, varying velocities of the VUT will be added to the model while the vehicle is approaching a target vehicle. The derived trajectories were used as test cases for a simulation environment. Selecting interesting test cases and processing them with the simulation environment, the influence on the system's performance of different test parameters will be investigated. △ Less

Submitted 9 September, 2015; originally announced September 2015.

Comments: 15 pages, 6 figures, Fahrerassistenzsysteme und Integrierte Sicherheit, VDI Berichte 2014, pp. 403-418

Journal ref: Fahrerassistenzsysteme und Integrierte Sicherheit, VDI Berichte 2014, pp. 403-418

On non-canonical solving the Satisfiability problem

Authors: Anatoly D. Plotnikov

Abstract: We study the non-canonical method for solving the Satisfiability problem which given by a formula in the form of the conjunctive normal form. The essence of this method consists in counting the number of tuples of Boolean variables, on which at least one clause of the given formula is false. On this basis the solution of the problem obtains in the form YES or NO without constructing tuple, when th… ▽ More We study the non-canonical method for solving the Satisfiability problem which given by a formula in the form of the conjunctive normal form. The essence of this method consists in counting the number of tuples of Boolean variables, on which at least one clause of the given formula is false. On this basis the solution of the problem obtains in the form YES or NO without constructing tuple, when the answer is YES. It is found that if the clause in the given formula has pairwise contrary literals, then the problem can be solved efficiently. However, when in the formula there are a long chain of clauses with pairwise non-contrary literals, the solution leads to an exponential calculations. △ Less

Submitted 1 August, 2015; originally announced August 2015.

Comments: 5 pages

Journal ref: International Journal of Automation, Control and Intelligent Systems, Vol. 1, No. 3, September 2015, Pub. Date: Aug. 5, 2015, p.73-76

On a logical model of combinatorial problems

Authors: Anatoly D. Plotnikov

Abstract: The paper proposes a logical model of combinatorial problems, also it gives an example of a problem of the class NP that can not be solved in polynomial time on the dimension of the problem. The paper proposes a logical model of combinatorial problems, also it gives an example of a problem of the class NP that can not be solved in polynomial time on the dimension of the problem. △ Less

Submitted 1 August, 2015; originally announced August 2015.

Comments: 8 pages, 2 figures

Report on the Aachen OCL Meeting

Authors: Achim D. Brucker, Dan Chiorean, Tony Clark, Birgit Demuth, Martin Gogolla, Dimitri Plotnikov, Bernhard Rumpe, Edward D. Willink, Burkhart Wolff

Abstract: As a continuation of the OCL workshop during the MODELS 2013 conference in October 2013, a number of OCL experts decided to meet in November 2013 in Aachen for two days to discuss possible short term improvements of OCL for an upcoming OMG meeting and to envision possible future long-term developments of the language. This paper is a sort of \minutes of the meeting" and intended to quickly inform… ▽ More As a continuation of the OCL workshop during the MODELS 2013 conference in October 2013, a number of OCL experts decided to meet in November 2013 in Aachen for two days to discuss possible short term improvements of OCL for an upcoming OMG meeting and to envision possible future long-term developments of the language. This paper is a sort of \minutes of the meeting" and intended to quickly inform the OCL community about the discussion topics. △ Less

Submitted 25 August, 2014; originally announced August 2014.

Comments: 9 pages, 6 figures

Journal ref: Proceedings of the MODELS 2013 OCL Workshop (OCL 2013), Miami, Florida (USA), Volume 1092 of CEUR Workshop Proceedings, Eds.: J. Cabot, M. Gogolla, I. Rath, E. Willink, pages 103-111, CEUR-WS.org, 2013

On the structure of the class NP

Authors: Anatoly D. Plotnikov

Abstract: A new class UF of problems is introduced, strictly included in the class NP, which arises in the analysis of the time verifying the intermediate results of computations. The implications of the introduction of this class are considered. First of all, we prove that $P\not= NP$ and establish that it needs to consider the problem "P vs UF" instead the problem "P vs NP". Also, we determine the set-the… ▽ More A new class UF of problems is introduced, strictly included in the class NP, which arises in the analysis of the time verifying the intermediate results of computations. The implications of the introduction of this class are considered. First of all, we prove that $P\not= NP$ and establish that it needs to consider the problem "P vs UF" instead the problem "P vs NP". Also, we determine the set-theoretical of properties of a one-way functions that used in cryptology. △ Less

Submitted 4 April, 2013; originally announced April 2013.

Comments: 7 pages, 7 references

MSC Class: 68Q15; 03F20

Journal ref: On the structure of the class NP. Computer Communication & Collaboration (2013) 1: 19-23

About set-theoretic properties of one-way functions

Authors: Anatoly D. Plotnikov

Abstract: We investigate the problem of cryptanalysis as a problem belonging to the class NP. A class of problems UF is defined for which the time constructing any feasible solution is polynomial. The properties of the problems of NP, which may be one-way functions, are established. We investigate the problem of cryptanalysis as a problem belonging to the class NP. A class of problems UF is defined for which the time constructing any feasible solution is polynomial. The properties of the problems of NP, which may be one-way functions, are established. △ Less

Submitted 14 October, 2011; originally announced October 2011.

Comments: 5 pages

MSC Class: 94A60; 68Q15

On the relationship between classes P and NP

Authors: Anatoly D. Plotnikov

Abstract: In this paper we discusses the relationship between the known classes P and NP. We show that the difficulties in solving problem "P versus NP" have methodological in nature. An algorithm for solving any problem is sensitive to even small changes in its formulation. As we will shown in the paper, these difficulties are exactly in the formulation of some problems of the class NP. In this paper we discusses the relationship between the known classes P and NP. We show that the difficulties in solving problem "P versus NP" have methodological in nature. An algorithm for solving any problem is sensitive to even small changes in its formulation. As we will shown in the paper, these difficulties are exactly in the formulation of some problems of the class NP. △ Less

Submitted 26 September, 2011; originally announced September 2011.

Comments: 9 pages

MSC Class: 68Q15 ACM Class: F.2.2; G.2.1; G.2.2

Journal ref: On the relationship between classes P and NP. J. Comput. Sci., 8, 2012: p.1036-1040

Encipher of information on the basis of geometrical presentations

Authors: A. S. Petrov, A. D. Plotnikov

Abstract: In this paper, we examine a ciphertext on the basis of using geometrical objects. Each symbol normative alphabet is determined as a point on the plane. We consider possible ways for presentation of these points. In this paper, we examine a ciphertext on the basis of using geometrical objects. Each symbol normative alphabet is determined as a point on the plane. We consider possible ways for presentation of these points. △ Less

Submitted 27 March, 2011; originally announced March 2011.

Comments: 7 pages

MSC Class: 94A60; 68P25

Experimental Algorithm for the Maximum Independent Set Problem

Authors: Anatoly D. Plotnikov

Abstract: We develop an experimental algorithm for the exact solving of the maximum independent set problem. The algorithm consecutively finds the maximal independent sets of vertices in an arbitrary undirected graph such that the next such set contains more elements than the preceding one. For this purpose, we use a technique, developed by Ford and Fulkerson for the finite partially ordered sets, in part… ▽ More We develop an experimental algorithm for the exact solving of the maximum independent set problem. The algorithm consecutively finds the maximal independent sets of vertices in an arbitrary undirected graph such that the next such set contains more elements than the preceding one. For this purpose, we use a technique, developed by Ford and Fulkerson for the finite partially ordered sets, in particular, their method for partition of a poset into the minimum number of chains with finding the maximum antichain. In the process of solving, a special digraph is constructed, and a conjecture is formulated concerning properties of such digraph. This allows to offer of the solution algorithm. Its theoretical estimation of running time equals to is $O(n^{8})$, where $n$ is the number of graph vertices. The offered algorithm was tested by a program on random graphs. The testing the confirms correctness of the algorithm. △ Less

Submitted 1 July, 2007; v1 submitted 25 June, 2007; originally announced June 2007.

Comments: From author's book "Discrete mathematics",3-th ed., Moscow,New knowledge,2007, 18 pages, 8 figures

Journal ref: Cybernetics and Systems Analysis: Volume 48, Issue 5 (2012), Page 673-680

About the finding of independent vertices of a graph

Authors: Anatoly D. Plotnikov

Abstract: We examine the Maximum Independent Set Problem in an undirected graph. The main result is that this problem can be considered as the solving the same problem in a subclass of the weighted normal twin-orthogonal graphs. The problem is formulated which is dual to the problem above. It is shown that, for trivial twin-orthogonal graphs, any of its maximal independent set is also maximum one. We examine the Maximum Independent Set Problem in an undirected graph. The main result is that this problem can be considered as the solving the same problem in a subclass of the weighted normal twin-orthogonal graphs. The problem is formulated which is dual to the problem above. It is shown that, for trivial twin-orthogonal graphs, any of its maximal independent set is also maximum one. △ Less

Submitted 24 March, 2000; originally announced March 2000.

Comments: 8 pages, 2 figures

ACM Class: F.2.2; G.2.1; G.2.2

Journal ref: About the finding of independent vertices of a graph, Journal "Kibernetika", No. 1, 1989, p. 119 - 121

Formalization of the class of problems solvable by a nondeterministic Turing machine

Authors: Anatoly D. Plotnikov

Abstract: The objective of this article is to formalize the definition of NP problems. We construct a mathematical model of discrete problems as independence systems with weighted elements. We introduce two auxiliary sets that characterize the solution of the problem: the adjoint set, which contains the elements from the original set none of which can be adjoined to the already chosen solution elements;… ▽ More The objective of this article is to formalize the definition of NP problems. We construct a mathematical model of discrete problems as independence systems with weighted elements. We introduce two auxiliary sets that characterize the solution of the problem: the adjoint set, which contains the elements from the original set none of which can be adjoined to the already chosen solution elements; and the residual set, in which every element can be adjoined to previously chosen solution elements. In a problem without lookahead, every adjoint set can be generated by the solution algorithm effectively, in polynomial time. The main result of the study is the assertion that the NP class is identical with the class of problems without lookahead. Hence it follows that if we fail to find an effective (polynomial-time) solution algorithm for a given problem, then we need to look for an alternative formulation of the problem in set of problems without lookahead. △ Less

Submitted 16 March, 1999; originally announced March 1999.

Comments: 10 pages, 2 figures

ACM Class: F.2.2; F.1.2

Journal ref: Cybernetics and Systems Analysis. Vol. 33, 5(1997) pp. 635-640

A class of problems of NP to be worth to search an efficient solving algorithm

Authors: Anatoly D. Plotnikov

Abstract: We examine possibility to design an efficient solving algorithm for problems of the class \np. It is introduced a classification of \np problems by the property that a partial solution of size $k$ can be extended into a partial solution of size $k+1$ in polynomial time. It is defined an unique class problems to be worth to search an efficient solving algorithm. The problems, which are outside of… ▽ More We examine possibility to design an efficient solving algorithm for problems of the class \np. It is introduced a classification of \np problems by the property that a partial solution of size $k$ can be extended into a partial solution of size $k+1$ in polynomial time. It is defined an unique class problems to be worth to search an efficient solving algorithm. The problems, which are outside of this class, are inherently exponential. We show that the Hamiltonian cycle problem is inherently exponential. △ Less

Submitted 11 March, 1999; originally announced March 1999.

Comments: 9 pages, 1 figures

ACM Class: F.2.2; G.2.1; G.2.2

Designing SAT for HCP

Authors: Anatoly D. Plotnikov

Abstract: For arbitrary undirected graph $G$, we are designing SATISFIABILITY problem (SAT) for HCP, using tools of Boolean algebra only. The obtained SAT be the logic formulation of conditions for Hamiltonian cycle existence, and use $m$ Boolean variables, where $m$ is the number of graph edges. This Boolean expression is true if and only if an initial graph is Hamiltonian. That is, each satisfying assig… ▽ More For arbitrary undirected graph $G$, we are designing SATISFIABILITY problem (SAT) for HCP, using tools of Boolean algebra only. The obtained SAT be the logic formulation of conditions for Hamiltonian cycle existence, and use $m$ Boolean variables, where $m$ is the number of graph edges. This Boolean expression is true if and only if an initial graph is Hamiltonian. That is, each satisfying assignment of the Boolean variables determines a Hamiltonian cycle of $G$, and each Hamiltonian cycle of $G$ corresponds to a satisfying assignment of the Boolean variables. In common case, the obtained Boolean expression may has an exponential length (the number of Boolean literals). △ Less

Submitted 5 March, 1999; originally announced March 1999.

Comments: 7 pages, 1 figures. It has sent to 6th Twente Workshop on Graphs and Combinatorial Optimization

ACM Class: F.4.1; G.2.1; G.2.2