@unpublished{FedchenkoTarkhanov2014, author = {Fedchenko, Dmitry and Tarkhanov, Nikolai Nikolaevich}, title = {An index formula for Toeplitz operators}, volume = {3}, number = {12}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, issn = {2193-6943}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-72499}, pages = {24}, year = {2014}, abstract = {We prove a Fedosov index formula for the index of Toeplitz operators connected with the Hardy space of solutions to an elliptic system of first order partial differential equations in a bounded domain of Euclidean space with infinitely differentiable boundary.}, language = {en} } @unpublished{FedchenkoTarkhanov2016, author = {Fedchenko, Dmitry and Tarkhanov, Nikolai Nikolaevich}, title = {Boundary value problems for elliptic complexes}, volume = {5}, number = {3}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, issn = {2193-6943}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-86705}, pages = {12}, year = {2016}, abstract = {The aim of this paper is to bring together two areas which are of great importance for the study of overdetermined boundary value problems. The first area is homological algebra which is the main tool in constructing the formal theory of overdetermined problems. And the second area is the global calculus of pseudodifferential operators which allows one to develop explicit analysis.}, language = {en} } @unpublished{FedosovSchulzeTarkhanov1997, author = {Fedosov, Boris and Schulze, Bert-Wolfgang and Tarkhanov, Nikolai Nikolaevich}, title = {The index of elliptic operators on manifolds with conical points}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-25096}, year = {1997}, abstract = {For general elliptic pseudodifferential operators on manifolds with singular points, we prove an algebraic index formula. In this formula the symbolic contributions from the interior and from the singular points are explicitly singled out. For two-dimensional manifolds, the interior contribution is reduced to the Atiyah-Singer integral over the cosphere bundle while two additional terms arise. The first of the two is one half of the 'eta' invariant associated to the conormal symbol of the operator at singular points. The second term is also completely determined by the conormal symbol. The example of the Cauchy-Riemann operator on the complex plane shows that all the three terms may be non-zero.}, language = {en} } @unpublished{FedosovSchulzeTarkhanov1997, author = {Fedosov, Boris and Schulze, Bert-Wolfgang and Tarkhanov, Nikolai Nikolaevich}, title = {On the index formula for singular surfaces}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-25116}, year = {1997}, abstract = {In the preceding paper we proved an explicit index formula for elliptic pseudodifferential operators on a two-dimensional manifold with conical points. Apart from the Atiyah-Singer integral, it contains two additional terms, one of the two being the 'eta' invariant defined by the conormal symbol. In this paper we clarify the meaning of the additional terms for differential operators.}, language = {en} } @unpublished{FedosovSchulzeTarkhanov1998, author = {Fedosov, Boris and Schulze, Bert-Wolfgang and Tarkhanov, Nikolai Nikolaevich}, title = {The index of higher order operators on singular surfaces}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-25127}, year = {1998}, abstract = {The index formula for elliptic pseudodifferential operators on a two-dimensional manifold with conical points contains the Atiyah-Singer integral as well as two additional terms. One of the two is the 'eta' invariant defined by the conormal symbol, and the other term is explicitly expressed via the principal and subprincipal symbols of the operator at conical points. In the preceding paper we clarified the meaning of the additional terms for first-order differential operators. The aim of this paper is an explicit description of the contribution of a conical point for higher-order differential operators. We show that changing the origin in the complex plane reduces the entire contribution of the conical point to the shifted 'eta' invariant. In turn this latter is expressed in terms of the monodromy matrix for an ordinary differential equation defined by the conormal symbol.}, language = {en} } @unpublished{FedosovSchulzeTarkhanov1998, author = {Fedosov, Boris and Schulze, Bert-Wolfgang and Tarkhanov, Nikolai Nikolaevich}, title = {A remark on the index of symmetric operators}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-25169}, year = {1998}, abstract = {We introduce a natural symmetry condition for a pseudodifferential operator on a manifold with cylindrical ends ensuring that the operator admits a doubling across the boundary. For such operators we prove an explicit index formula containing, apart from the Atiyah-Singer integral, a finite number of residues of the logarithmic derivative of the conormal symbol.}, language = {en} } @unpublished{FedosovTarkhanov2015, author = {Fedosov, Boris and Tarkhanov, Nikolai Nikolaevich}, title = {Deformation quantisation and boundary value problems}, volume = {4}, number = {5}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, issn = {2193-6943}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-77150}, pages = {27}, year = {2015}, abstract = {We describe a natural construction of deformation quantisation on a compact symplectic manifold with boundary. On the algebra of quantum observables a trace functional is defined which as usual annihilates the commutators. This gives rise to an index as the trace of the unity element. We formulate the index theorem as a conjecture and examine it by the classical harmonic oscillator.}, language = {en} } @phdthesis{Kunze2013, author = {Kunze, Matthias}, title = {Searching business process models by example}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-68844}, school = {Universit{\"a}t Potsdam}, year = {2013}, abstract = {Business processes are fundamental to the operations of a company. Each product manufactured and every service provided is the result of a series of actions that constitute a business process. Business process management is an organizational principle that makes the processes of a company explicit and offers capabilities to implement procedures, control their execution, analyze their performance, and improve them. Therefore, business processes are documented as process models that capture these actions and their execution ordering, and make them accessible to stakeholders. As these models are an essential knowledge asset, they need to be managed effectively. In particular, the discovery and reuse of existing knowledge becomes challenging in the light of companies maintaining hundreds and thousands of process models. In practice, searching process models has been solved only superficially by means of free-text search of process names and their descriptions. Scientific contributions are limited in their scope, as they either present measures for process similarity or elaborate on query languages to search for particular aspects. However, they fall short in addressing efficient search, the presentation of search results, and the support to reuse discovered models. This thesis presents a novel search method, where a query is expressed by an exemplary business process model that describes the behavior of a possible answer. This method builds upon a formal framework that captures and compares the behavior of process models by the execution ordering of actions. The framework contributes a conceptual notion of behavioral distance that quantifies commonalities and differences of a pair of process models, and enables process model search. Based on behavioral distances, a set of measures is proposed that evaluate the quality of a particular search result to guide the user in assessing the returned matches. A projection of behavioral aspects to a process model enables highlighting relevant fragments that led to a match and facilitates its reuse. The thesis further elaborates on two search techniques that provide concrete behavioral distance functions as an instantiation of the formal framework. Querying enables search with a notion of behavioral inclusion with regard to the query. In contrast, similarity search obtains process models that are similar to a query, even if the query is not precisely matched. For both techniques, indexes are presented that enable efficient search. Methods to evaluate the quality and performance of process model search are introduced and applied to the techniques of this thesis. They show good results with regard to human assessment and scalability in a practical setting.}, language = {en} } @misc{MickelssonPaycha2011, author = {Mickelsson, Jouko and Paycha, Sylvie}, title = {The logarithmic residue density of a generalized Laplacian}, series = {Postprints der Universit{\"a}t Potsdam : Mathematisch-Naturwissenschaftliche Reihe}, journal = {Postprints der Universit{\"a}t Potsdam : Mathematisch-Naturwissenschaftliche Reihe}, number = {649}, issn = {1866-8372}, doi = {10.25932/publishup-41368}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-413680}, pages = {28}, year = {2011}, abstract = {We show that the residue density of the logarithm of a generalized Laplacian on a closed manifold defines an invariant polynomial-valued differential form. We express it in terms of a finite sum of residues of classical pseudodifferential symbols. In the case of the square of a Dirac operator, these formulas provide a pedestrian proof of the Atiyah-Singer formula for a pure Dirac operator in four dimensions and for a twisted Dirac operator on a flat space of any dimension. These correspond to special cases of a more general formula by Scott and Zagier. In our approach, which is of perturbative nature, we use either a Campbell-Hausdorff formula derived by Okikiolu or a noncommutative Taylor-type formula.}, language = {en} } @unpublished{NazaikinskiiSternin2002, author = {Nazaikinskii, Vladimir and Sternin, Boris}, title = {Relative elliptic theory}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-26400}, year = {2002}, abstract = {This paper is a survey of relative elliptic theory (i.e. elliptic theory in the category of smooth embeddings), closely related to the Sobolev problem, first studied by Sternin in the 1960s. We consider both analytic aspects to the theory (the structure of the algebra of morphismus, ellipticity, Fredholm property) and topological aspects (index formulas and Riemann-Roch theorems). We also study the algebra of Green operators arising as a subalgebra of the algebra of morphisms.}, language = {en} }