Showing 1–41 of 41 results for author: Soloviev, M

Disjunctive Policies for Database-Backed Programs

Authors: Amir M. Ahmadian, Matvey Soloviev, Musard Balliu

Abstract: When specifying security policies for databases, it is often natural to formulate disjunctive dependencies, where a piece of information may depend on at most one of two dependencies P1 or P2, but not both. A formal semantic model of such disjunctive dependencies, the Quantale of Information, was recently introduced by Hunt and Sands as a generalization of the Lattice of Information. In this paper… ▽ More When specifying security policies for databases, it is often natural to formulate disjunctive dependencies, where a piece of information may depend on at most one of two dependencies P1 or P2, but not both. A formal semantic model of such disjunctive dependencies, the Quantale of Information, was recently introduced by Hunt and Sands as a generalization of the Lattice of Information. In this paper, we seek to contribute to the understanding of disjunctive dependencies in database-backed programs and introduce a practical framework to statically enforce disjunctive security policies. To that end, we introduce the Determinacy Quantale, a new query-based structure which captures the ordering of disjunctive information in databases. This structure can be understood as a query-based counterpart to the Quantale of Information. Based on this structure, we design a sound enforcement mechanism to check disjunctive policies for database-backed programs. This mechanism is based on a type-based analysis for a simple imperative language with database queries, which is precise enough to accommodate a variety of row- and column-level database policies flexibly while kee** track of disjunctions due to control flow. We validate our mechanism by implementing it in a tool, DiVerT, and demonstrate its feasibility on a number of use cases. △ Less

Submitted 26 April, 2024; v1 submitted 16 December, 2023; originally announced December 2023.

Comments: 21 pages, including references and appendix. Extended version of paper accepted to CSF 2024

Security Properties through the Lens of Modal Logic

Authors: Matvey Soloviev, Musard Balliu, Roberto Guanciale

Abstract: We introduce a framework for reasoning about the security of computer systems using modal logic. This framework is sufficiently expressive to capture a variety of known security properties, while also being intuitive and independent of syntactic details and enforcement mechanisms. We show how to use our formalism to represent various progress- and termination-(in)sensitive variants of confidential… ▽ More We introduce a framework for reasoning about the security of computer systems using modal logic. This framework is sufficiently expressive to capture a variety of known security properties, while also being intuitive and independent of syntactic details and enforcement mechanisms. We show how to use our formalism to represent various progress- and termination-(in)sensitive variants of confidentiality, integrity, robust declassification and transparent endorsement, and prove equivalence to standard definitions. The intuitive nature and closeness to semantic reality of our approach allows us to make explicit several hidden assumptions of these definitions, and identify potential issues and subtleties with them, while also holding the promise of formulating cleaner versions and future extension to entirely novel properties. △ Less

Submitted 18 September, 2023; originally announced September 2023.

Comments: 19 pages, including references and appendix. Extended version of paper accepted to CSF 2024

MSC Class: 68Q60 ACM Class: D.4.6; I.2.4

Security Properties as Nested Causal Statements

Authors: Matvey Soloviev, Joseph Y. Halpern

Abstract: Thinking in terms of causality helps us structure how different parts of a system depend on each other, and how interventions on one part of a system may result in changes to other parts. Therefore, formal models of causality are an attractive tool for reasoning about security, which concerns itself with safeguarding properties of a system against interventions that may be malicious. As we show, m… ▽ More Thinking in terms of causality helps us structure how different parts of a system depend on each other, and how interventions on one part of a system may result in changes to other parts. Therefore, formal models of causality are an attractive tool for reasoning about security, which concerns itself with safeguarding properties of a system against interventions that may be malicious. As we show, many security properties are naturally expressed as nested causal statements: not only do we consider what caused a particular undesirable effect, but we also consider what caused this causal relationship itself to hold. We present a natural way to extend the Halpern-Pearl (HP) framework for causality to capture such nested causal statements. This extension adds expressivity, enabling the HP framework to distinguish between causal scenarios that it could not previously naturally tell apart. We moreover revisit some design decisions of the HP framework that were made with non-nested causal statements in mind, such as the choice to treat specific values of causal variables as opposed to the variables themselves as causes, and may no longer be appropriate for nested ones. △ Less

Submitted 1 April, 2021; originally announced April 2021.

Comments: 8 pages

ACM Class: I.2.4; D.4.6

Theoretical indication of a possible asymmetry in gamma-radiation between Andromeda halo hemispheres due to Compton scattering on electrons from their hypothetical sources in the halo

Authors: K. M. Belotsky, E. S. Shlepkina, M. L. Soloviev

Abstract: Dark matter (DM) can give observable effects decaying or annihilating with production of electrons or/and photons. Such probability was widely researched for our Galaxy. Here we consider one aspect of similar effect for Andromeda galaxy. We explicitly estimate the energy of the photon of the medium experiencing Inverse Compton (IC) scattering off electron in halo. These photons can be registered b… ▽ More Dark matter (DM) can give observable effects decaying or annihilating with production of electrons or/and photons. Such probability was widely researched for our Galaxy. Here we consider one aspect of similar effect for Andromeda galaxy. We explicitly estimate the energy of the photon of the medium experiencing Inverse Compton (IC) scattering off electron in halo. These photons can be registered by different experiments. Dark matter annihilation or decay could be the source of high energy electrons in halo, though the source could be of other origins too (e.g. running neutron stars). Because of specifics in space orientation of Andromeda galaxy disk (a little inclined to the line of sight), the difference in energies could arise for the photons from two hemispheres of Andromeda halo. It is obtained that such asymmetry can be at the level of several 10%. △ Less

Submitted 9 November, 2020; originally announced November 2020.

Inclusion theorems for the Moyal multiplier algebras of generalized Gelfand-Shilov spaces

Authors: Michael A. Soloviev

Abstract: We prove that the Moyal multiplier algebras of the generalized Gelfand-Shilov spaces of type $S$ contain Palamodov spaces of type $\mathcal E$ and the inclusion maps are continuous. We also give a direct proof that the Palamodov spaces are algebraically and topologically isomorphic to the strong duals of the spaces of convolutors for the corresponding spaces of type $S$. The obtained results provi… ▽ More We prove that the Moyal multiplier algebras of the generalized Gelfand-Shilov spaces of type $S$ contain Palamodov spaces of type $\mathcal E$ and the inclusion maps are continuous. We also give a direct proof that the Palamodov spaces are algebraically and topologically isomorphic to the strong duals of the spaces of convolutors for the corresponding spaces of type $S$. The obtained results provide an effective way to describe the properties of pseudodifferential operators with symbols in the spaces of type $\mathcal E$. △ Less

Submitted 17 August, 2020; v1 submitted 27 July, 2020; originally announced July 2020.

Comments: AMS(La)TeX, 26 pages, v2: minor editorial changes, typos fixed

Report number: FIAN-TD/2020-17 MSC Class: 53D55; 43A22; 35S05; 46F05

Information Acquisition Under Resource Limitations in a Noisy Environment

Authors: Matvey Soloviev, Joseph Y. Halpern

Abstract: We introduce a theoretical model of information acquisition under resource limitations in a noisy environment. An agent must guess the truth value of a given Boolean formula $\varphi$ after performing a bounded number of noisy tests of the truth values of variables in the formula. We observe that, in general, the problem of finding an optimal testing strategy for $φ$ is hard, but we suggest a usef… ▽ More We introduce a theoretical model of information acquisition under resource limitations in a noisy environment. An agent must guess the truth value of a given Boolean formula $\varphi$ after performing a bounded number of noisy tests of the truth values of variables in the formula. We observe that, in general, the problem of finding an optimal testing strategy for $φ$ is hard, but we suggest a useful heuristic. The techniques we use also give insight into two apparently unrelated, but well-studied problems: (1) \emph{rational inattention}, that is, when it is rational to ignore pertinent information (the optimal strategy may involve hardly ever testing variables that are clearly relevant to $φ$), and (2) what makes a formula hard to learn/remember. △ Less

Submitted 20 May, 2020; originally announced May 2020.

Comments: A preliminary version of the paper appeared in \emph{Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18)}, 2018

The Impact of Tribalism on Social Welfare

Authors: Seunghee Han, Matvey Soloviev, Yuwen Wang

Abstract: We explore the impact of mutual altruism among the players belonging to the same set -- their tribe -- in a partition of all players in arbitrary strategic games upon the quality of equilibria attained. To this end, we introduce the notion of a τ-tribal extension of an arbitrary strategic game, in which players' subjective cost functions are updated to reflect this, and the associated Price of Tri… ▽ More We explore the impact of mutual altruism among the players belonging to the same set -- their tribe -- in a partition of all players in arbitrary strategic games upon the quality of equilibria attained. To this end, we introduce the notion of a τ-tribal extension of an arbitrary strategic game, in which players' subjective cost functions are updated to reflect this, and the associated Price of Tribalism, which is the ratio of the social welfare of the worst Nash equilibrium of the tribal extension to that of the optimum of social welfare. We show that in a well-known game of friendship cliques, network contribution games as well as atomic linear congestion games, the Price of Tribalism is higher than the Price of Anarchy of either the purely selfish players or fully altruistic players (i.e. ones who seek to maximise the social welfare). This phenomenon is observed under a variety of equilibrium concepts. In each instance, we present upper bounds on the Price of Tribalism that match the lower bounds established by our example. △ Less

Submitted 16 July, 2019; originally announced July 2019.

Comments: 21 pages, including references, figures and appendix. Short form of paper accepted for publication at SAGT 2019

MSC Class: 91A43; 91A80

Coalgebraic Tools for Randomness-Conserving Protocols

Authors: Dexter Kozen, Matvey Soloviev

Abstract: We propose a coalgebraic model for constructing and reasoning about state-based protocols that implement efficient reductions among random processes. We provide basic tools that allow efficient protocols to be constructed in a compositional way and analyzed in terms of the tradeoff between state and loss of entropy. We show how to use these tools to construct various entropy-conserving reductions… ▽ More We propose a coalgebraic model for constructing and reasoning about state-based protocols that implement efficient reductions among random processes. We provide basic tools that allow efficient protocols to be constructed in a compositional way and analyzed in terms of the tradeoff between state and loss of entropy. We show how to use these tools to construct various entropy-conserving reductions between processes. △ Less

Submitted 22 October, 2021; v1 submitted 7 July, 2018; originally announced July 2018.

Comments: 37 pages, including references. In submission to J. Logical and Algebraic Methods in Programming

MSC Class: 65C50 ACM Class: F.4.1; G.3; G.2.1; F.1; F.3.1

Correct Statement, Analysis and Numerical Solution of Singular Nonlinear Problems for Self-Similar Solutions to the Boundary Layer Equations with Zero Pressure Gradient

Authors: Nadezhda Konyukhova, Sergey Kurochkin, Mikhail Soloviev

Abstract: For the problems indicated in the title, a further development of a new approach (different from those applied before) is given. A basic problem under consideration arises in viscous incompressible fluid dynamics and describes self-similar solutions to the boundary layer equation for a stream function with zero pressure gradient (connected with the plane-parallel laminar flow in a mixing layer). S… ▽ More For the problems indicated in the title, a further development of a new approach (different from those applied before) is given. A basic problem under consideration arises in viscous incompressible fluid dynamics and describes self-similar solutions to the boundary layer equation for a stream function with zero pressure gradient (connected with the plane-parallel laminar flow in a mixing layer). Some previous results concerning singular nonlinear Cauchy problems, smooth stable initial manifolds, and parametric exponential Lyapunov series are used to state correctly and analyze the singular "initial-boundary-value" problem for a third-order nonlinear ordinary differential equation defined on the entire real axis. The detailed analysis of this singular nonlinear problem leads, in particular, to efficient methods for solving it approximately and gives a possibility to obtain numerically the particle trajectories in the plane of flow. Some results of the numerical experiments are displayed and their physical interpretation is discussed. A connection of this basic problem with some known physical and mathematical problems, arising for self-similar solutions to the boundary layer equations with zero pressure gradient, is described, namely the "flooded jet", the plane "semi-jet" and the "near-wall jet" problems are considered which are of interest by themselves. △ Less

Submitted 6 April, 2018; originally announced April 2018.

Comments: 54 pages, 44 figures

Integral representations of the star product corresponding to the $s$-ordering of the creation and annihilation operators

Authors: Michael A. Soloviev

Abstract: A new integral representation is obtained for the star product corresponding to the $s$-ordering of the creation and annihilation operators. This parametric ordering convention introduced by Cahill and Glauber enables one to vary the type of ordering in a continuous way from normal order to antinormal order. Our derivation of the corresponding integral representation is based on using reproducing… ▽ More A new integral representation is obtained for the star product corresponding to the $s$-ordering of the creation and annihilation operators. This parametric ordering convention introduced by Cahill and Glauber enables one to vary the type of ordering in a continuous way from normal order to antinormal order. Our derivation of the corresponding integral representation is based on using reproducing formulas for analytic and antianalytic functions. We also discuss a different representation whose kernel is a generalized function and compare the properties of this kernel with those of the kernels of another family of star products which are intermediate between the $qp-$ and $pq$-quantization. △ Less

Submitted 12 February, 2018; originally announced February 2018.

Comments: LaTeX, 17 pages, invited contribution to special issue of "Physica Scripta" in honour of the 75th birthdays of Margarita and Vladimir Man'ko, matches version accepted for publication, with minor typos corrected

MSC Class: 53D55; 46L65; 46F15; 46N50; 81S30

Journal ref: Phys. Scr. 90 (2015) 074008

Dirac's magnetic monopole and the Kontsevich star product

Authors: Michael A. Soloviev

Abstract: We examine relationships between various quantization schemes for an electrically charged particle in the field of a magnetic monopole. Quantization maps are defined in invariant geometrical terms, appropriate to the case of nontrivial topology, and are constructed for two operator representations. In the first setting, the quantum operators act on the Hilbert space of sections of a nontrivial com… ▽ More We examine relationships between various quantization schemes for an electrically charged particle in the field of a magnetic monopole. Quantization maps are defined in invariant geometrical terms, appropriate to the case of nontrivial topology, and are constructed for two operator representations. In the first setting, the quantum operators act on the Hilbert space of sections of a nontrivial complex line bundle associated with the Hopf bundle, whereas the second approach uses instead a quaternionic Hilbert module of sections of a trivial quaternionic line bundle. We show that these two quantizations are naturally related by a bundle morphism and, as a consequence, induce the same phase-space star product. We obtain explicit expressions for the integral kernels of star-products corresponding to various operator orderings and calculate their asymptotic expansions up to the third order in the Planck constant $\hbar$. We also show that the differential form of the magnetic Weyl product corresponding to the symmetric ordering agrees completely with the Kontsevich formula for deformation quantization of Poisson structures and can be represented by Kontsevich's graphs. △ Less

Submitted 12 February, 2018; v1 submitted 16 August, 2017; originally announced August 2017.

Comments: LaTeX, 26 pages; v2: substantially extended analysis covering operator orderings different from the Weyl one; clarifying comments added in response to referee reports, several references added; matches version accepted for publication in J. Phys. A: Math. Theor

Report number: FIAN-TD/2017-21 MSC Class: 53C80; 53D55; 81Q70; 81S10; 81S30

Journal ref: J. Phys. A: Math. Theor. 51 (2018) 095205

Tree Space Prototypes: Another Look at Making Tree Ensembles Interpretable

Authors: Sarah Tan, Matvey Soloviev, Giles Hooker, Martin T. Wells

Abstract: Ensembles of decision trees perform well on many problems, but are not interpretable. In contrast to existing approaches in interpretability that focus on explaining relationships between features and predictions, we propose an alternative approach to interpret tree ensemble classifiers by surfacing representative points for each class -- prototypes. We introduce a new distance for Gradient Booste… ▽ More Ensembles of decision trees perform well on many problems, but are not interpretable. In contrast to existing approaches in interpretability that focus on explaining relationships between features and predictions, we propose an alternative approach to interpret tree ensemble classifiers by surfacing representative points for each class -- prototypes. We introduce a new distance for Gradient Boosted Tree models, and propose new, adaptive prototype selection methods with theoretical guarantees, with the flexibility to choose a different number of prototypes in each class. We demonstrate our methods on random forests and gradient boosted trees, showing that the prototypes can perform as well as or even better than the original tree ensemble when used as a nearest-prototype classifier. In a user study, humans were better at predicting the output of a tree ensemble classifier when using prototypes than when using Shapley values, a popular feature attribution method. Hence, prototypes present a viable alternative to feature-based explanations for tree ensembles. △ Less

Submitted 25 August, 2020; v1 submitted 21 November, 2016; originally announced November 2016.

Comments: Camera-ready version for ACM-IMS FODS 2020. A short version was presented at NIPS 2016 Workshop on Interpretable Machine Learning for Complex Systems

Dirac's monopole, quaternions, and the Zassenhaus formula

Authors: Michael A. Soloviev

Abstract: Starting from the quaternionic quantization scheme proposed by Emch and Jadczyk for describing the motion of a quantum particle in the magnetic monopole field, we derive an algorithm for finding the differential representation of the star product generated by the quaternionic Weyl correspondence on phase-space functions. This procedure is illustrated by the explicit calculation of the star product… ▽ More Starting from the quaternionic quantization scheme proposed by Emch and Jadczyk for describing the motion of a quantum particle in the magnetic monopole field, we derive an algorithm for finding the differential representation of the star product generated by the quaternionic Weyl correspondence on phase-space functions. This procedure is illustrated by the explicit calculation of the star product up to the second order in the Planck constant. Our main tools are an operator analog of the twisted convolution and the Zassenhaus formula for the products of exponentials of noncommuting operators. △ Less

Submitted 29 December, 2016; v1 submitted 16 August, 2016; originally announced August 2016.

Comments: LaTeX, 19 pages; published version, minor typos corrected

Report number: FIAN-TD/2016-18

Journal ref: Phys. Rev. D 94, 105021 (2016)

In the Shadows, Shape Priors Shine: Using Occlusion to Improve Multi-Region Segmentation

Authors: Yuka Kihara, Matvey Soloviev, Tsuhan Chen

Abstract: We present a new algorithm for multi-region segmentation of 2D images with objects that may partially occlude each other. Our algorithm is based on the observation hat human performance on this task is based both on prior knowledge about plausible shapes and taking into account the presence of occluding objects whose shape is already known - once an occluded region is identified, the shape prior c… ▽ More We present a new algorithm for multi-region segmentation of 2D images with objects that may partially occlude each other. Our algorithm is based on the observation hat human performance on this task is based both on prior knowledge about plausible shapes and taking into account the presence of occluding objects whose shape is already known - once an occluded region is identified, the shape prior can be used to guess the shape of the missing part. We capture the former aspect using a deep learning model of shape; for the latter, we simultaneously minimize the energy of all regions and consider only unoccluded pixels for data agreement. Existing algorithms incorporating object shape priors consider every object separately in turn and can't distinguish genuine deviation from the expected shape from parts missing due to occlusion. We show that our method significantly improves on the performance of a representative algorithm, as evaluated on both preprocessed natural and synthetic images. Furthermore, on the synthetic images, we recover the ground truth segmentation with good accuracy. △ Less

Submitted 14 June, 2016; originally announced June 2016.

Comments: Camera ready version accepted at CVPR 2016

MSC Class: 65D19 ACM Class: I.4.6

Algebras with convergent star products and their representations in Hilbert spaces

Authors: Michael A. Soloviev

Abstract: We study star product algebras of analytic functions for which the power series defining the products converge absolutely. Such algebras arise naturally in deformation quantization theory and in noncommutative quantum field theory. We consider different star products in a unifying way and present results on the structure and basic properties of these algebras, which are useful for applications. Sp… ▽ More We study star product algebras of analytic functions for which the power series defining the products converge absolutely. Such algebras arise naturally in deformation quantization theory and in noncommutative quantum field theory. We consider different star products in a unifying way and present results on the structure and basic properties of these algebras, which are useful for applications. Special attention is given to the Hilbert space representation of the algebras and to the exact description of their corresponding operator algebras. △ Less

Submitted 23 December, 2013; originally announced December 2013.

Comments: LaTeX, 17 pages, no figures

Report number: FIAN-TD-2012-02 MSC Class: 53D55; 81S30; 46L65; 46H15; 46H30; 46N50

Journal ref: J. Math. Phys. 54, 073517 (2013)

Wedge locality and asymptotic commutativity

Authors: Michael A. Soloviev

Abstract: In this paper, we study twist deformed quantum field theories obtained by combining the Wightman axiomatic approach with the idea of spacetime noncommutativity. We prove that the deformed fields with deformation parameters of opposite sign satisfy the condition of mutual asymptotic commutativity, which was used earlier in nonlocal quantum field theory as a substitute for relative locality. We also… ▽ More In this paper, we study twist deformed quantum field theories obtained by combining the Wightman axiomatic approach with the idea of spacetime noncommutativity. We prove that the deformed fields with deformation parameters of opposite sign satisfy the condition of mutual asymptotic commutativity, which was used earlier in nonlocal quantum field theory as a substitute for relative locality. We also present an improved proof of the wedge localization property discovered for the deformed fields by Grosse and Lechner, and we show that the deformation leaves the asymptotic behavior of the vacuum expectation values in spacelike directions substantially unchanged. △ Less

Submitted 21 January, 2015; v1 submitted 19 December, 2013; originally announced December 2013.

Comments: LaTeX, 23 pages; typos corrected, an explanatory example added, matches the published version

Report number: FIAN-TD-2013-22

Journal ref: Phys. Rev. D 89, 105020 (2014)

Twisted convolution and Moyal star product of generalized functions

Authors: Michael A. Soloviev

Abstract: We consider nuclear function spaces on which the Weyl-Heisenberg group acts continuously and study the basic properties of the twisted convolution product of the functions with the dual space elements. The final theorem characterizes the corresponding algebra of convolution multipliers and shows that it contains all sufficiently rapidly decreasing functionals in the dual space. Consequently, we ob… ▽ More We consider nuclear function spaces on which the Weyl-Heisenberg group acts continuously and study the basic properties of the twisted convolution product of the functions with the dual space elements. The final theorem characterizes the corresponding algebra of convolution multipliers and shows that it contains all sufficiently rapidly decreasing functionals in the dual space. Consequently, we obtain a general description of the Moyal multiplier algebra of the Fourier-transformed space. The results extend the Weyl symbol calculus beyond the traditional framework of tempered distributions. △ Less

Submitted 9 August, 2012; originally announced August 2012.

Comments: LaTeX, 16 pages, no figures

Report number: FIAN-TD/2012-15 MSC Class: 53D55; 46F05; 46F10; 46E25; 46L65

Journal ref: Theor.Math.Phys. 172 (2012) 885-900; Teor.Mat.Fiz. 172 (2012) 9-27

Pattern graph rewrite systems

Authors: Aleks Kissinger, Alex Merry, Matvey Soloviev

Abstract: String diagrams are a powerful tool for reasoning about physical processes, logic circuits, tensor networks, and many other compositional structures. Dixon, Duncan and Kissinger introduced string graphs, which are a combinatoric representations of string diagrams, amenable to automated reasoning about diagrammatic theories via graph rewrite systems. In this extended abstract, we show how the power… ▽ More String diagrams are a powerful tool for reasoning about physical processes, logic circuits, tensor networks, and many other compositional structures. Dixon, Duncan and Kissinger introduced string graphs, which are a combinatoric representations of string diagrams, amenable to automated reasoning about diagrammatic theories via graph rewrite systems. In this extended abstract, we show how the power of such rewrite systems can be greatly extended by introducing pattern graphs, which provide a means of expressing infinite families of rewrite rules where certain marked subgraphs, called !-boxes ("bang boxes"), on both sides of a rule can be copied any number of times or removed. After reviewing the string graph formalism, we show how string graphs can be extended to pattern graphs and how pattern graphs and pattern rewrite rules can be instantiated to concrete string graphs and rewrite rules. We then provide examples demonstrating the expressive power of pattern graphs and how they can be applied to study interacting algebraic structures that are central to categorical quantum mechanics. △ Less

Submitted 31 March, 2014; v1 submitted 30 April, 2012; originally announced April 2012.

Comments: In Proceedings DCM 2012, arXiv:1403.7579

Journal ref: EPTCS 143, 2014, pp. 54-66

Reconstruction in quantum field theory with a fundamental length

Authors: Michael A. Soloviev

Abstract: In this paper, we establish an analog of Wightman's reconstruction theorem for nonlocal quantum field theory with a fundamental length. In our setting, the Wightman generalized functions are defined on test functions analytic in a complex l-neighborhood of the real space and are localizable at scales large compared to l. The causality condition is formulated as continuity of the field commutator i… ▽ More In this paper, we establish an analog of Wightman's reconstruction theorem for nonlocal quantum field theory with a fundamental length. In our setting, the Wightman generalized functions are defined on test functions analytic in a complex l-neighborhood of the real space and are localizable at scales large compared to l. The causality condition is formulated as continuity of the field commutator in an appropriate topology associated with the light cone. We prove that the relevant function spaces are nuclear and derive the kernel theorems for the corresponding classes of multilinear functionals, which provides the basis for the reconstruction procedure. Special attention is given to the accurate determination of the domain of the reconstructed quantum fields in the Hilbert space of states. We show that the primitive common invariant domain must be suitably extended to implement the (quasi)localizability and causality conditions. △ Less

Submitted 16 December, 2010; originally announced December 2010.

Comments: LaTeX, 23 pages, no figures

Report number: FIAN-TD/2010-03 MSC Class: 81T05; 81T10; 46N50; 46F15

Journal ref: J.Math.Phys.51:093520,2010

Noncommutative deformations of quantum field theories, locality, and causality

Authors: Michael A. Soloviev

Abstract: We investigate noncommutative deformations of quantum field theories for different star products, particularly emphasizing the locality properties and the regularity of the deformed fields. Using functional analysis methods, we describe the basic structural features of the vacuum expectation values of star-modified products of fields and field commutators. As an alternative to microcausality, we i… ▽ More We investigate noncommutative deformations of quantum field theories for different star products, particularly emphasizing the locality properties and the regularity of the deformed fields. Using functional analysis methods, we describe the basic structural features of the vacuum expectation values of star-modified products of fields and field commutators. As an alternative to microcausality, we introduce a notion of $θ$-locality, where $θ$ is the noncommutativity parameter. We also analyze the conditions for the convergence and continuity of star products and define the function algebra that is most suitable for the Moyal and Wick-Voros products. This algebra corresponds to the concept of strict deformation quantization and is a useful tool for constructing quantum field theories on a noncommutative space-time. △ Less

Submitted 16 December, 2010; originally announced December 2010.

Comments: LaTeX, 14 pages, no figures. Presented at the 2nd Intern. Conf. "String Field Theory and Related Aspects" (Steklov Math. Institute, Moscow, April 2009)

Journal ref: Theor.Math.Phys.163:741-752,2010; Teor.Mat.Fiz.163:413-429,2010

Moyal multiplier algebras of the test function spaces of type S

Authors: Michael A. Soloviev

Abstract: The Gel'fand-Shilov spaces of type S are considered as topological algebras with respect to the Moyal star product and their corresponding algebras of multipliers are defined and investigated. In contrast to the well-studied case of Schwartz's space S, these multipliers are allowed to have nonpolynomial growth or infinite order singularities. The Moyal multiplication is thereby extended to certain… ▽ More The Gel'fand-Shilov spaces of type S are considered as topological algebras with respect to the Moyal star product and their corresponding algebras of multipliers are defined and investigated. In contrast to the well-studied case of Schwartz's space S, these multipliers are allowed to have nonpolynomial growth or infinite order singularities. The Moyal multiplication is thereby extended to certain classes of ultradistributions, hyperfunctions, and analytic functionals. The main theorem of the paper characterizes those elements of the dual of a given test function space that are the Moyal multipliers of this space. The smallest nontrivial Fourier-invariant space in the scale of S-type spaces is shown to play a special role, because its corresponding Moyal multiplier algebra contains the largest algebra of functions for which the power series defining their star products are absolutely convergent. Furthermore, it contains analogous algebras associated with cone-shaped regions, which can be used to formulate a causality condition in quantum field theory on noncommutative space-time. △ Less

Submitted 5 January, 2012; v1 submitted 3 December, 2010; originally announced December 2010.

Comments: AMS-LaTeX, 23 pages, v2: minor changes to agree with published version, references added and updated, typos corrected

Report number: FIAN-TD/2010-15 MSC Class: 53D55; 81S30; 81T05; 46L52(Primary) 46F10; 46F15; 46N50 (Secondary)

Journal ref: J.Math.Phys.52:063502,2011

Quantum field theory with a fundamental length: A general mathematical framework

Authors: Michael A. Soloviev

Abstract: We review and develop a mathematical framework for nonlocal quantum field theory (QFT) with a fundamental length. As an instructive example, we reexamine the normal ordered Gaussian function of a free field and find the primitive analyticity domain of its n-point vacuum expectation values. This domain is smaller than the usual future tube of local QFT, but we prove that in difference variables,… ▽ More We review and develop a mathematical framework for nonlocal quantum field theory (QFT) with a fundamental length. As an instructive example, we reexamine the normal ordered Gaussian function of a free field and find the primitive analyticity domain of its n-point vacuum expectation values. This domain is smaller than the usual future tube of local QFT, but we prove that in difference variables, it has the same structure of a tube whose base is the (n-1)-fold product of a Lorentz invariant region. It follows that this model satisfies Wightman-type axioms with an exponential high-energy bound which does not depend on n, contrary to the claims in the literature. In our setting, the Wightman generalized functions are defined on test functions analytic in the complex l-neighborhood of the real space, where l is an n-independent constant playing the role of a fundamental length, and the causality condition is formulated with the use of an analogous function space associated with the light cone. In contrast to the scheme proposed by Bruning and Nagamachi [J. Math. Phys. 45 (2004) 2199] in terms of ultra-hyperfunctions, the presented theory obviously becomes local as l tends to zero. △ Less

Submitted 21 December, 2009; v1 submitted 3 December, 2009; originally announced December 2009.

Comments: 25 pages, v2: updated to match J. Math. Phys. version

Report number: FIAN-TD/2009-23 MSC Class: 81T05; 81T10; 46N50; 46F15; 32C81

Journal ref: J.Math.Phys.50:123519,2009

Failure of microcausality in noncommutative field theories

Authors: Michael A. Soloviev

Abstract: We revisit the question of microcausality violations in quantum field theory on noncommutative spacetime, taking $O(x)=:φ\starφ:(x)$ as a sample observable. Using methods of the theory of distributions, we precisely describe the support properties of the commutator [O(x),O(y)] and prove that, in the case of space-space noncommutativity, it does not vanish at spacelike separation in the noncommut… ▽ More We revisit the question of microcausality violations in quantum field theory on noncommutative spacetime, taking $O(x)=:φ\starφ:(x)$ as a sample observable. Using methods of the theory of distributions, we precisely describe the support properties of the commutator [O(x),O(y)] and prove that, in the case of space-space noncommutativity, it does not vanish at spacelike separation in the noncommuting directions. However, the matrix elements of this commutator exhibit a rapid falloff along an arbitrary spacelike direction irrespective of the type of noncommutativity. We also consider the star commutator for this observable and show that it fails to vanish even at spacelike separation in the commuting directions and completely violates causality. We conclude with a brief discussion about the modified Wightman functions which are vacuum expectation values of the star products of fields at different spacetime points. △ Less

Submitted 26 June, 2008; v1 submitted 7 February, 2008; originally announced February 2008.

Comments: LaTeX, 22 pages; v2: minor updates to agree with published version, added reference

Report number: FIAN-TD/2008-01

Journal ref: Phys.Rev.D77:125013,2008

Noncommutativity and theta-locality

Authors: Michael A. Soloviev

Abstract: In this paper, we introduce the condition of theta-locality which can be used as a substitute for microcausality in quantum field theory on noncommutative spacetime. This condition is closely related to the asymptotic commutativity which was previously used in nonlocal QFT. Heuristically, it means that the commutator of observables behaves at large spacelike separation like $\exp(-|x-y|^2/θ)$, w… ▽ More In this paper, we introduce the condition of theta-locality which can be used as a substitute for microcausality in quantum field theory on noncommutative spacetime. This condition is closely related to the asymptotic commutativity which was previously used in nonlocal QFT. Heuristically, it means that the commutator of observables behaves at large spacelike separation like $\exp(-|x-y|^2/θ)$, where $θ$ is the noncommutativity parameter. The rigorous formulation given in the paper implies averaging fields with suitable test functions. We define a test function space which most closely corresponds to the Moyal star product and prove that this space is a topological algebra under the star product. As an example, we consider the simplest normal ordered monomial $:φ\starφ:$ and show that it obeys the theta-locality condition. △ Less

Submitted 7 February, 2008; v1 submitted 8 August, 2007; originally announced August 2007.

Comments: LaTeX, 17 pages, no figures; minor changes to agree with published version

Report number: FIAN-TD/2007-17

Journal ref: J.Phys.A40:14593-14604,2007

Star product algebras of test functions

Authors: Michael A. Soloviev

Abstract: We prove that the Gelfand-Shilov spaces $S^β_α$ are topological algebras under the Moyal star product if and only if $α\geβ$. These spaces of test functions can be used in quantum field theory on noncommutative spacetime. The star product depends on the noncommutativity parameter continuously in their topology. We also prove that the series expansion of the Moyal product converges absolutely in… ▽ More We prove that the Gelfand-Shilov spaces $S^β_α$ are topological algebras under the Moyal star product if and only if $α\geβ$. These spaces of test functions can be used in quantum field theory on noncommutative spacetime. The star product depends on the noncommutativity parameter continuously in their topology. We also prove that the series expansion of the Moyal product converges absolutely in $S^β_α$ if and only if $β<1/2$. △ Less

Submitted 7 February, 2008; v1 submitted 6 August, 2007; originally announced August 2007.

Comments: AMS-LaTeX, 12 pages, no figures; typos corrected, minor changes to agree with published version

Report number: FIAN-TD/2007-16 MSC Class: 53D55; 46E25; 46F05 (Primary) 81T05; 46L65 (Secondary)

Journal ref: Theor.Math.Phys.153:1351-1363,2007; Teor.Mat.Fiz.153:3-17,2007

Decomposition theorems and kernel theorems for a class of functional spaces

Authors: Michael A. Soloviev

Abstract: We prove new theorems about properties of generalized functions defined on Gelfand-Shilov spaces $S^β$ with $0\leβ<1$. For each open cone $U\subset\mathbb R^d$ we define a space $S^β(U)$ which is related to $S^β(\mathbb R^d)$ and consists of entire analytic functions rapidly decreasing inside U and having order of growth $\le 1/(1-β)$ outside the cone. Such sheaves of spaces arise naturally in n… ▽ More We prove new theorems about properties of generalized functions defined on Gelfand-Shilov spaces $S^β$ with $0\leβ<1$. For each open cone $U\subset\mathbb R^d$ we define a space $S^β(U)$ which is related to $S^β(\mathbb R^d)$ and consists of entire analytic functions rapidly decreasing inside U and having order of growth $\le 1/(1-β)$ outside the cone. Such sheaves of spaces arise naturally in nonlocal quantum field theory, and this motivates our investigation. We prove that the spaces $S^β(U)$ are complete and nuclear and establish a decomposition theorem which implies that every continuous functional defined on $S^β(\mathbb R^d)$ has a unique minimal closed carrier cone in $\mathbb R^d$. We also prove kernel theorems for spaces over open and closed cones and elucidate the relation between the carrier cones of multilinear forms and those of the generalized functions determined by these forms. △ Less

Submitted 6 August, 2007; originally announced August 2007.

Comments: AMS-LaTeX, 22 pages, no figures

MSC Class: 46F15; 46M40; 46N50

Journal ref: Izvestiya: Mathematics 70:5 (2006) 1051-1076, Izvestiya RAN: Ser. Mat. 70:5 (2006) 199-224

Two classes of generalized functions used in nonlocal field theory

Authors: Michael A. Soloviev

Abstract: We elucidate the relation between the two ways of formulating causality in nonlocal quantum field theory: using analytic test functions belonging to the space $S^0$ (which is the Fourier transform of the Schwartz space $\mathcal D$) and using test functions in the Gelfand-Shilov spaces $S^0_α$. We prove that every functional defined on $S^0$ has the same carrier cones as its restrictions to the… ▽ More We elucidate the relation between the two ways of formulating causality in nonlocal quantum field theory: using analytic test functions belonging to the space $S^0$ (which is the Fourier transform of the Schwartz space $\mathcal D$) and using test functions in the Gelfand-Shilov spaces $S^0_α$. We prove that every functional defined on $S^0$ has the same carrier cones as its restrictions to the smaller spaces $S^0_α$. As an application of this result, we derive a Paley-Wiener-Schwartz-type theorem for arbitrarily singular generalized functions of tempered growth and obtain the corresponding extension of Vladimirov's algebra of functions holomorphic on a tubular domain. △ Less

Submitted 24 May, 2006; originally announced May 2006.

Comments: AMS-LaTeX, 12 pages, no figures

MSC Class: 46F15; 46N50 (Primary); 31C10; 32C81 (Secondary)

Journal ref: Theor.Math.Phys. 143 (2005) 651-663; Teor.Mat.Fiz. 143 (2005) 195-210

Axiomatic formulations of nonlocal and noncommutative field theories

Authors: Michael A. Soloviev

Abstract: We analyze functional analytic aspects of axiomatic formulations of nonlocal and noncommutative quantum field theories. In particular, we completely clarify the relation between the asymptotic commutativity condition, which ensures the CPT symmetry and the standard spin-statistics relation for nonlocal fields, and the regularity properties of the retarded Green's functions in momentum space that… ▽ More We analyze functional analytic aspects of axiomatic formulations of nonlocal and noncommutative quantum field theories. In particular, we completely clarify the relation between the asymptotic commutativity condition, which ensures the CPT symmetry and the standard spin-statistics relation for nonlocal fields, and the regularity properties of the retarded Green's functions in momentum space that are required for constructing a scattering theory and deriving reduction formulas. This result is based on a relevant Paley-Wiener-Schwartz-type theorem for analytic functionals. We also discuss the possibility of using analytic test functions to extend the Wightman axioms to noncommutative field theory, where the causal structure with the light cone is replaced by that with the light wedge. We explain some essential peculiarities of deriving the CPT and spin-statistics theorems in this enlarged framework. △ Less

Submitted 25 May, 2006; originally announced May 2006.

Comments: LaTeX, 13 pages, no figures

Report number: FIAN/TD/7-06

Journal ref: Theor.Math.Phys.147:660-669,2006; Teor.Mat.Fiz.147:257-269,2006

PCT, spin and statistics, and analytic wave front set

Authors: Michael A. Soloviev

Abstract: A new, more general derivation of the spin-statistics and PCT theorems is presented. It uses the notion of the analytic wave front set of (ultra)distributions and, in contrast to the usual approach, covers nonlocal quantum fields. The fields are defined as generalized functions with test functions of compact support in momentum space. The vacuum expectation values are thereby admitted to be arbi… ▽ More A new, more general derivation of the spin-statistics and PCT theorems is presented. It uses the notion of the analytic wave front set of (ultra)distributions and, in contrast to the usual approach, covers nonlocal quantum fields. The fields are defined as generalized functions with test functions of compact support in momentum space. The vacuum expectation values are thereby admitted to be arbitrarily singular in their space-time dependence. The local commutativity condition is replaced by an asymptotic commutativity condition, which develops generalizations of the microcausality axiom previously proposed. △ Less

Submitted 24 May, 2006; originally announced May 2006.

Comments: LaTeX, 23 pages, no figures. This version is identical to the original published paper, but with corrected typos and slight improvements in the exposition. The proof of Theorem 5 stated in the paper has been published in J. Math. Phys. 45 (2004) 1944-1958

Report number: Teor.Mat.Fiz. 121 (1999) 139-164

Journal ref: Theor.Math.Phys.121:1377-1396,1999; Teor.Mat.Fiz.121:139-164,1999

Measurements of Nucleon-Induced Fission Cross-Sections of Separated Tungsten Isotopes and Natural Tungsten in the 50-200 MeV Energy Region

Authors: V. P. Eismont, N. P. Filatov, A. N. Smirnov, S. M. Soloviev, J. Blomgren, H. Conde, A. V. Prokofiev, S. G. Mashnik

Abstract: Neutron- and proton-induced fission cross-sections of separated isotopes of tungsten (182W, 183W, 184W, and 186W) and natural tungsten relative to 209Bi have been measured in the incident nucleon energy region 50-200 MeV using fission chambers based on thin-film breakdown counters (TFBC) at quasi-monoenergetic neutrons from the 7Li(p,n) reaction and at the proton beams of The Svedberg Laboratory… ▽ More Neutron- and proton-induced fission cross-sections of separated isotopes of tungsten (182W, 183W, 184W, and 186W) and natural tungsten relative to 209Bi have been measured in the incident nucleon energy region 50-200 MeV using fission chambers based on thin-film breakdown counters (TFBC) at quasi-monoenergetic neutrons from the 7Li(p,n) reaction and at the proton beams of The Svedberg Laboratory (TSL), Uppsala University (Uppsala, Sweden). The preliminary experimental data are presented in comparison with the recent data for nuclei in the lead-bismuth region, as well as with predictions by the CEM03.01 event generator. △ Less

Submitted 7 July, 2005; originally announced July 2005.

Comments: 8 pages, only pdf file, 7 figures, 3 tables, to be published in Proc. 13th Int. Sem. on Interaction of Neutrons with Nuclei (ISINN-13), Dubna, Russia, May 25-28, 2005

Report number: LA-UR-05-3757

Carrier cones of analytic functionals

Authors: M. A. Soloviev

Abstract: We prove that every continuous linear functional on the space $S^0(R^d)$ consisting of the entire analytic functions whose Fourier transforms belong to the Schwartz space $\mathcal D$ has a unique minimal carrier cone in $R^d$, which substitutes for the support. The proof is based on a relevant decomposition theorem for elements of the spaces $S^0(K)$ associated naturally with closed cones… ▽ More We prove that every continuous linear functional on the space $S^0(R^d)$ consisting of the entire analytic functions whose Fourier transforms belong to the Schwartz space $\mathcal D$ has a unique minimal carrier cone in $R^d$, which substitutes for the support. The proof is based on a relevant decomposition theorem for elements of the spaces $S^0(K)$ associated naturally with closed cones $K\subset R^d$. These results, essential for applications to nonlocal quantum field theory, are similar to those obtained previously for functionals on the Gelfand-Shilov spaces $S^0_α$, but their derivation is more sophisticated because $S^0(K)$ are not DFS spaces and have more complicated topological structure. △ Less

Submitted 8 July, 2005; v1 submitted 6 July, 2005; originally announced July 2005.

Comments: 10 pages, LaTeX2e, no figures; minor typos corrected

Report number: FIAN/TD/13-05 MSC Class: 46F15; 32C81 (Primary); 46E10; 46F05 (Secondary)

On kernel theorems for Frechet and DF spaces

Authors: A. G. Smirnov, M. A. Soloviev

Abstract: A convenient technique for calculating completed topological tensor products of functional Frechet or DF spaces is developed. The general construction is applied to proving kernel theorems for a wide class of spaces of smooth and entire analytic functions. A convenient technique for calculating completed topological tensor products of functional Frechet or DF spaces is developed. The general construction is applied to proving kernel theorems for a wide class of spaces of smooth and entire analytic functions. △ Less

Submitted 12 January, 2005; originally announced January 2005.

Comments: 10 pages

MSC Class: 46A32; 46E10; 46A04

Nonlocal Extension of the Borchers Classes of Quantum Fields

Authors: M. A. Soloviev

Abstract: We formulate an equivalence relation between nonlocal quantum fields, generalizing the relative locality which was studied by Borchers in the framework of local QFT. The Borchers classes are shown to allow a natural extension involving nonlocal fields with arbitrarily singular ultraviolet behavior. Our consideration is based on the systematic employment of the asymptotic commutativity condition… ▽ More We formulate an equivalence relation between nonlocal quantum fields, generalizing the relative locality which was studied by Borchers in the framework of local QFT. The Borchers classes are shown to allow a natural extension involving nonlocal fields with arbitrarily singular ultraviolet behavior. Our consideration is based on the systematic employment of the asymptotic commutativity condition which, as established previously, ensures the normal spin and statistics connection as well as the existence of PCT symmetry in nonlocal field theory. We prove the transitivity of the weak relative asymptotic commutativity property generalizing Jost-Dyson's weak relative locality and show that all fields in the same extended Borchers class have the same S-matrix. △ Less

Submitted 21 December, 2001; originally announced December 2001.

Comments: Latex, 18 pages; Contribution to the Marinov Memorial Volume, M.Olshanetsky and A.Vainshtein Eds, World Scientific

Lorentz-covariant ultradistributions, hyperfunctions, and analytic functionals

Authors: M. A. Soloviev

Abstract: We generalize the theory of Lorentz-covariant distributions to broader classes of functionals including ultradistributions, hyperfunctions, and analytic functionals with a tempered growth. We prove that Lorentz-covariant functionals with essential singularities can be decomposed into polynomial covariants and establish the possibility of the invariant decomposition of their carrier cones. We des… ▽ More We generalize the theory of Lorentz-covariant distributions to broader classes of functionals including ultradistributions, hyperfunctions, and analytic functionals with a tempered growth. We prove that Lorentz-covariant functionals with essential singularities can be decomposed into polynomial covariants and establish the possibility of the invariant decomposition of their carrier cones. We describe the properties of odd highly singular generalized functions. These results are used to investigate the vacuum expectation values of nonlocal quantum fields with an arbitrary high-energy behavior and to extend the spin--statistics theorem to nonlocal field theory. △ Less

Submitted 21 December, 2001; originally announced December 2001.

Comments: 29 pages LaTeX, no figures

Journal ref: Theor.Math.Phys. 128 (2001) 1252-1270

On Wick Power Series Convergent to Nonlocal Fields

Authors: A. G. Smirnov, M. A. Soloviev

Abstract: The infinite series in Wick powers of a generalized free field are considered that are convergent under smearing with analytic test functions and realize a nonlocal extension of the Borchers equivalence classes. The nonlocal fields to which they converge are proved to be asymptotically commuting, which serves as a natural generalization of the relative locality of the Wick polynomials. The propo… ▽ More The infinite series in Wick powers of a generalized free field are considered that are convergent under smearing with analytic test functions and realize a nonlocal extension of the Borchers equivalence classes. The nonlocal fields to which they converge are proved to be asymptotically commuting, which serves as a natural generalization of the relative locality of the Wick polynomials. The proposed proof is based on exploiting the analytic properties of the vacuum expectation values in x-space and applying the Cauchy--Poincare theorem. △ Less

Submitted 4 April, 2001; originally announced April 2001.

Comments: 20 pages LaTeX2e, accepted for publication in Theor. Math. Phys

Journal ref: Theor.Math.Phys. 127 (2001) 632-645; Teor.Mat.Fiz. 127 (2001) 268-283

Wick Power Series in Indefinite Metric Field Theories

Authors: A. G. Smirnov, M. A. Soloviev

Abstract: The analytic aspects of the operator realization of Wick power series of infrared singular free fields are considered. Taking advantage of the holomorphy properties of the two-point correlation function and its Hilbert majorant in x-space, we solve in a general and model independent way the problem of finding the adequate test function space on which a given Wick series is convergent. Substantia… ▽ More The analytic aspects of the operator realization of Wick power series of infrared singular free fields are considered. Taking advantage of the holomorphy properties of the two-point correlation function and its Hilbert majorant in x-space, we solve in a general and model independent way the problem of finding the adequate test function space on which a given Wick series is convergent. Substantial attention is paid to the proper formulation of the spectral condition in case the suitable test functions are entire analytic in momentum space. △ Less

Submitted 3 January, 2001; originally announced January 2001.

Comments: 9 pages, AmS-LaTeX, the talk given at the International Conference "Quantization, Gauge Theory, and Strings" dedicated to the memory of Professor Efim Fradkin, Moscow, Russia, June 5-10, 2000

Spectral Properties of Wick Power Series of a Free Field with an Indefinite Metric

Authors: A. G. Smirnov, M. A. Soloviev

Abstract: The properties of infinite series in the Wick powers of a free field whose two-point correlation function has a singular infrared behavior and does not satisfy the positivity condition are investigated. If these series are defined on an appropriate functional domain, then the fields to which they converge satisfy all conditions of the pseudo-Wightman formalism. For series convergent only on anal… ▽ More The properties of infinite series in the Wick powers of a free field whose two-point correlation function has a singular infrared behavior and does not satisfy the positivity condition are investigated. If these series are defined on an appropriate functional domain, then the fields to which they converge satisfy all conditions of the pseudo-Wightman formalism. For series convergent only on analytic test functions in the momentum representation, the spectral condition is formulated using the previously introduced notion of a carrier cone of an analytic functional. A suitable generalization of the Paley-Wiener-Schwartz theorem is used to prove that this condition is satisfied. △ Less

Submitted 3 January, 2001; originally announced January 2001.

Comments: 21 pages LaTeX

Journal ref: Theor.Math.Phys. 125 (2000) 1349-1362; Teor.Mat.Fiz. 125 (2000) 57-73

Test Function Space for Wick Power Series

Authors: A. G. Smirnov, M. A. Soloviev

Abstract: We derive a criterion that is convenient for applications and exactly characterizes the test function space on which the operator realization of a given series of Wick powers of a free field is possible. The suggested derivation does not use the assumption that the metric of the state space is positive and can therefore be used in a gauge theory. It is based on the systematic use of the analytic… ▽ More We derive a criterion that is convenient for applications and exactly characterizes the test function space on which the operator realization of a given series of Wick powers of a free field is possible. The suggested derivation does not use the assumption that the metric of the state space is positive and can therefore be used in a gauge theory. It is based on the systematic use of the analytic properties of the Hilbert majorant of the indefinite metric and on the application of a suitable theorem on the unconditional convergence of series of boundary values of analytic functions. △ Less

Submitted 9 November, 2000; v1 submitted 2 October, 2000; originally announced October 2000.

Comments: 24 pages LaTeX; typos corrected

Journal ref: Theor. Math. Phys. 123 (2000) 709-725

An Extension of Distribution Theory Related to Gauge Field Theory

Authors: M. A. Soloviev

Abstract: We show that a considerable part of the theory of (ultra)distributions and hyperfunctions can be extended to more singular generalized functions, starting from an angular localizability notion introduced previously. Such an extension is needed to treat gauge quantum field theories with indefinite metric in a generic covariant gauge. Prime attention is paid to the generalized functions defined on… ▽ More We show that a considerable part of the theory of (ultra)distributions and hyperfunctions can be extended to more singular generalized functions, starting from an angular localizability notion introduced previously. Such an extension is needed to treat gauge quantum field theories with indefinite metric in a generic covariant gauge. Prime attention is paid to the generalized functions defined on the Gelfand-Shilov spaces $S_α^0$ which gives the widest framework for construction of gauge-like models. We associate a similar test function space with every open and every closed cone, show that these spaces are nuclear and obtain the required formulas for their tensor products. The main results include the generalization of the Paley--Wiener--Schwartz theorem to the case of arbitrary singularity and the derivation of the relevant theorem on holomorphic approximation. △ Less

Submitted 3 January, 1996; originally announced January 1996.

Comments: 20 pages, LaTeX, submitted to Commun.Math.Phys

Report number: FIAN/TD/24-95

Journal ref: Commun.Math.Phys. 184 (1997) 579-596

Towards a Generalized Distribution Formalism for Gauge Quantum Fields

Authors: M. A. Soloviev

Abstract: We prove that the distributions defined on the Gelfand-Shilov spaces, and hence more singular than hyperfunctions, retain the angular localizability property. Specifically, they have uniquely determined support cones. This result enables one to develop a distribution-theoretic techniques suitable for the consistent treatment of quantum fields with arbitrarily singular ultraviolet and infrared be… ▽ More We prove that the distributions defined on the Gelfand-Shilov spaces, and hence more singular than hyperfunctions, retain the angular localizability property. Specifically, they have uniquely determined support cones. This result enables one to develop a distribution-theoretic techniques suitable for the consistent treatment of quantum fields with arbitrarily singular ultraviolet and infrared behavior. The proofs covering the most general case are based on the use of the theory of plurisubharmonic functions and Hormander's estimates. △ Less

Submitted 15 March, 1994; originally announced March 1994.

Comments: 12 p., Department of Theoretical Physics, P.N.Lebedev Physical Institute, Leninsky prosp. 53, Moscow 117924, Russia

Journal ref: Lett.Math.Phys.33:49-59,1995

Non-Localizability and Asymptotic Commutativity

Authors: V. Ya. Fainberg, M. A. Soloviev

Abstract: The mathematical formalism commonly used in treating nonlocal highly singular interactions is revised. The notion of support cone is introduced which replaces that of support for nonlocalizable distributions. Such support cones are proven to exist for distributions defined on the Gelfand-Shilov spaces $S^β$, where $0<β<1$ . This result leads to a refinement of previous generalizations of the loc… ▽ More The mathematical formalism commonly used in treating nonlocal highly singular interactions is revised. The notion of support cone is introduced which replaces that of support for nonlocalizable distributions. Such support cones are proven to exist for distributions defined on the Gelfand-Shilov spaces $S^β$, where $0<β<1$ . This result leads to a refinement of previous generalizations of the local commutativity condition to nonlocal quantum fields. For string propagators, a new derivation of a representation similar to that of Källen-Lehmann is proposed. It is applicable to any initial and final string configurations and manifests exponential growth of spectral densities intrinsic in nonlocalizable theories. △ Less

Submitted 22 November, 2002; v1 submitted 24 November, 1992; originally announced November 1992.

Comments: This version is identical to the initial one whose ps and pdf files were unavailable, with few corrections of misprints

Report number: FIAN/TD/14-92

Journal ref: Theor.Math.Phys.93:1438-1449,1992; Teor.Mat.Fiz.93:514-528,1992