On a suitable notion of convergence for the space of matrix summations

1980 ◽  
pp. 566-570
Author(s):  
F. Terpe
Keyword(s):  
Suitable Notion

scholarly journals On the Hodge conjecture for quasi-smooth intersections in toric varieties

2021 ◽  
Author(s):  
Ugo Bruzzo ◽  
William Montoya
Keyword(s):  
Complete Intersection ◽  
Toric Variety ◽  
Toric Varieties ◽  
Picard Group ◽  
Hodge Conjecture ◽  
Smooth Hypersurface ◽  
Suitable Notion

AbstractWe establish the Hodge conjecture for some subvarieties of a class of toric varieties. First we study quasi-smooth intersections in a projective simplicial toric variety, which is a suitable notion to generalize smooth complete intersection subvarieties in the toric environment, and in particular quasi-smooth hypersurfaces. We show that under appropriate conditions, the Hodge conjecture holds for a very general quasi-smooth intersection subvariety, generalizing the work on quasi-smooth hypersurfaces of the first author and Grassi in Bruzzo and Grassi (Commun Anal Geom 28: 1773–1786, 2020). We also show that the Hodge Conjecture holds asymptotically for suitable quasi-smooth hypersurface in the Noether–Lefschetz locus, where “asymptotically” means that the degree of the hypersurface is big enough, under the assumption that the ambient variety $${{\mathbb {P}}}_\Sigma ^{2k+1}$$ P Σ 2 k + 1 has Picard group $${\mathbb {Z}}$$ Z . This extends to a class of toric varieties Otwinowska’s result in Otwinowska (J Alg Geom 12: 307–320, 2003).

scholarly journals The Double Complex of a Blow-up

2019 ◽  
Author(s):  
Jonas Stelzig
Keyword(s):  
Blow Up ◽  
Differential Forms ◽  
Complex Manifolds ◽  
Double Complex ◽  
Smooth Complex ◽  
Projective Bundles ◽  
De Rham ◽  
Suitable Notion ◽  
Complex Valued ◽  
Compact Complex Manifolds

AbstractWe compute the double complex of smooth complex-valued differential forms on projective bundles over and blow-ups of compact complex manifolds up to a suitable notion of quasi-isomorphism. This simultaneously yields formulas for “all” cohomologies naturally associated with this complex (in particular, de Rham, Dolbeault, Bott–Chern, and Aeppli).

A probabilistic method for Navier-Stokes vortices

2001 ◽  
Vol 38 (04) ◽  
pp. 1059-1066
Author(s):  
Xinyu He
Keyword(s):  
Differential Equation ◽  
Stochastic Equation ◽  
Probabilistic Method ◽  
Complex Function ◽  
Linear Partial Differential Equation ◽  
Navier Stokes ◽  
Sample Paths ◽  
Vortex Centre ◽  
Suitable Notion ◽  
Moving Vortex

Consider a Navier-Stokes incompressible turbulent fluid in R 2. Let x(t) denote the position coordinate of a moving vortex with initial circulation Γ0 > 0 in the fluid, subject to a force F. Define x(t) as a stochastic process with continuous sample paths described by a stochastic differential equation. Assuming a suitable notion of weak rotationality, it is shown that the stochastic equation is equivalent to a linear partial differential equation for the complex function ψ, i∂ψ/∂t = [-Γ0Δ + F] ψ, where |ψ|2 = ρ(x,t), ρ being the probability density function of finding the vortex centre in position x at time t.

scholarly journals Logarithmic Connections, WZNW Action, and Moduli of Parabolic Bundles on the Sphere

2021 ◽  
Author(s):  
Claudio Meneses ◽  
Leon A. Takhtajan
Keyword(s):  
Moduli Spaces ◽  
Vector Bundles ◽  
Riemann Sphere ◽  
Parabolic Bundle ◽  
Parabolic Bundles ◽  
Logarithmic Connection ◽  
Definition Of ◽  
Suitable Notion ◽  
Marked Points ◽  
Explicit Relation

AbstractModuli spaces of stable parabolic bundles of parabolic degree 0 over the Riemann sphere are stratified according to the Harder–Narasimhan filtration of underlying vector bundles. Over a Zariski open subset $$\mathscr {N}_{0}$$ N 0 of the open stratum depending explicitly on a choice of parabolic weights, a real-valued function $$\mathscr {S}$$ S is defined as the regularized critical value of the non-compact Wess–Zumino–Novikov–Witten action functional. The definition of $$\mathscr {S}$$ S depends on a suitable notion of parabolic bundle ‘uniformization map’ following from the Mehta–Seshadri and Birkhoff–Grothendieck theorems. It is shown that $$-\mathscr {S}$$ - S is a primitive for a (1,0)-form $$\vartheta $$ ϑ on $$\mathscr {N}_{0}$$ N 0 associated with the uniformization data of each intrinsic irreducible unitary logarithmic connection. Moreover, it is proved that $$-\mathscr {S}$$ - S is a Kähler potential for $$(\Omega -\Omega _{\mathrm {T}})|_{\mathscr {N}_{0}}$$ ( Ω - Ω T ) | N 0 , where $$\Omega $$ Ω is the Narasimhan–Atiyah–Bott Kähler form in $$\mathscr {N}$$ N and $$\Omega _{\mathrm {T}}$$ Ω T is a certain linear combination of tautological (1, 1)-forms associated with the marked points. These results provide an explicit relation between the cohomology class $$[\Omega ]$$ [ Ω ] and tautological classes, which holds globally over certain open chambers of parabolic weights where $$\mathscr {N}_{0} = \mathscr {N}$$ N 0 = N .

scholarly journals Verifying Quantum Communication Protocols with Ground Bisimulation

2020 ◽  
pp. 21-38
Author(s):  
Xudong Qin ◽  
Yuxin Deng ◽  
Wenjie Du
Keyword(s):  
Quantum Communication ◽  
Communication Protocols ◽  
Important Application ◽  
Process Algebras ◽  
Proof Technique ◽  
Quantum Processes ◽  
Quantum Process ◽  
Decision Method ◽  
Quantum Protocols ◽  
Suitable Notion

Abstract One important application of quantum process algebras is to formally verify quantum communication protocols. With a suitable notion of behavioural equivalence and a decision method, one can determine if an implementation of a protocol is consistent with its specification. Ground bisimulation is a convenient behavioural equivalence for quantum processes because of its associated coinduction proof technique. We exploit this technique to design and implement two on-the-fly algorithms for the strong and weak versions of ground bisimulation to check if two given processes in quantum CCS are equivalent. We then develop a tool that can verify interesting quantum protocols such as the BB84 quantum key distribution scheme.

scholarly journals On minimal surfaces on two-step Carnot groups

2019 ◽  
Vol 485 (4) ◽  
pp. 410-414
Author(s):  
M. B. Karmanova
Keyword(s):  
Minimal Surfaces ◽  
Mean Curvature ◽  
Carnot Groups ◽  
Correct Formulation ◽  
Area Functional ◽  
Suitable Notion ◽  
Minimality Conditions

For graph mappings constructed from contact mappings of arbitrary two-step Carnot groups, conditions for the correct formulation of minimal surfaces’ problem are found. A suitable notion of the (sub-Riemannian) area functional increment is introduced, differentiability of this functional is proved, and necessary minimality conditions are deduced. They are also expressed in terms of sub-Riemaninan mean curvature.  

scholarly journals The Heisenberg Indeterminacy Principle in the Context of Covariant Quantum Gravity

Entropy ◽  
2020 ◽  
Vol 22 (11) ◽  
pp. 1209
Author(s):  
Massimo Tessarotto ◽  
Claudio Cremaschini
Keyword(s):  
Quantum Gravity ◽  
Proper Time ◽  
Relativistic Quantum ◽  
Mathematical Formulation ◽  
Relativistic Quantum Mechanics ◽  
Covariant Quantum ◽  
Conjugate Momentum ◽  
Starting Point ◽  
The Subject ◽  
Suitable Notion

The subject of this paper deals with the mathematical formulation of the Heisenberg Indeterminacy Principle in the framework of Quantum Gravity. The starting point is the establishment of the so-called time-conjugate momentum inequalities holding for non-relativistic and relativistic Quantum Mechanics. The validity of analogous Heisenberg inequalities in quantum gravity, which must be based on strictly physically observable quantities (i.e., necessarily either 4-scalar or 4-vector in nature), is shown to require the adoption of a manifestly covariant and unitary quantum theory of the gravitational field. Based on the prescription of a suitable notion of Hilbert space scalar product, the relevant Heisenberg inequalities are established. Besides the coordinate-conjugate momentum inequalities, these include a novel proper-time-conjugate extended momentum inequality. Physical implications and the connection with the deterministic limit recovering General Relativity are investigated.

Noninitial segments of the α-degrees

1973 ◽  
Vol 38 (3) ◽  
pp. 368-388 ◽  
Author(s):  
John M. Macintyre
Keyword(s):  
Distributive Lattice ◽  
Initial Segment ◽  
Elementary Theory ◽  
Recursion Theory ◽  
Partial Ordering ◽  
First Order ◽  
Order Language ◽  
Suitable Notion ◽  
The Universe ◽  
Degrees Of Unsolvability

Let α be an admissible ordinal and let L be the first order language with equality and a single binary relation ≤. The elementary theory of the α-degrees is the set of all sentences of L which are true in the universe of the α-degrees when ≤ is interpreted as the partial ordering of the α-degrees. Lachlan [6] showed that the elementary theory of the ω-degrees is nonaxiomatizable by proving that any countable distributive lattice with greatest and least members can be imbedded as an initial segment of the degrees of unsolvability. This paper deals with the extension of these results to α-recursion theory for an arbitrary countable admissible α > ω. Given α, we construct a set A with α-degree a such that every countable distributive lattice with greatest and least member is order isomorphic to a segment of α-degrees {d ∣ a ≤αd≤αb} for some α-degree b. As in [6] this implies that the elementary theory of the α-degrees is nonaxiomatizable and hence undecidable.A is constructed in §2. A is a set of integers which is generic with respect to a suitable notion of forcing. Additional applications of such sets are summarized at the end of the section. In §3 we define the notion of a tree and construct a particular tree T0 which is weakly α-recursive in A. Using T0 we can apply the techniques of [6] and [2] to α-recursion theory. In §4 we reduce our main results to three technical lemmas concerning systems of trees. These lemmas are proved in §5.

scholarly journals ON THE MERTENS–CESÀRO THEOREM FOR NUMBER FIELDS

2015 ◽  
Vol 93 (2) ◽  
pp. 199-210 ◽  
Author(s):  
ANDREA FERRAGUTI ◽  
GIACOMO MICHELI
Keyword(s):  
Zeta Function ◽  
Number Field ◽  
Number Fields ◽  
Algebraic Integers ◽  
Ring Of Integers ◽  
Dedekind Zeta Function ◽  
Natural Density ◽  
Suitable Notion

Let $K$ be a number field with ring of integers ${\mathcal{O}}$. After introducing a suitable notion of density for subsets of ${\mathcal{O}}$, generalising the natural density for subsets of $\mathbb{Z}$, we show that the density of the set of coprime $m$-tuples of algebraic integers is $1/{\it\zeta}_{K}(m)$, where ${\it\zeta}_{K}$ is the Dedekind zeta function of $K$. This generalises a result found independently by Mertens [‘Ueber einige asymptotische Gesetze der Zahlentheorie’, J. reine angew. Math. 77 (1874), 289–338] and Cesàro [‘Question 75 (solution)’, Mathesis 3 (1883), 224–225] concerning the density of coprime pairs of integers in $\mathbb{Z}$.

Singular reduction of Nambu–Poisson manifolds

2017 ◽  
Vol 14 (09) ◽  
pp. 1750128 ◽  
Author(s):  
Apurba Das
Keyword(s):  
Poisson Manifold ◽  
Reduction Theorem ◽  
Poisson Manifolds ◽  
Singular Case ◽  
Hamiltonian Flow ◽  
Reduction Procedure ◽  
Singular Reduction ◽  
Poisson Reduction ◽  
Reduced Space ◽  
Suitable Notion

The version of Marsden–Ratiu Poisson reduction theorem for Nambu–Poisson manifolds by a regular foliation have been studied by Ibáñez et al. In this paper, we show that this reduction procedure can be extended to the singular case. Under a suitable notion of Hamiltonian flow on the reduced space, we show that a set of Hamiltonians on a Nambu–Poisson manifold can also be reduced.

Sign in / Sign up

Export Citation Format

Share Document