Search results for " Algebra"
showing 10 items of 2082 documents
Mirror symmetry and toric degenerations of partial flag manifolds
1998
In this paper we propose and discuss a mirror construction for complete intersections in partial flag manifolds $F(n_1, ..., n_l, n)$. This construction includes our previous mirror construction for complete intersection in Grassmannians and the mirror construction of Givental for complete flag manifolds. The key idea of our construction is a degeneration of $F(n_1, ..., n_l, n)$ to a certain Gorenstein toric Fano variety $P(n_1, ..., n_l, n)$ which has been investigated by Gonciulea and Lakshmibai. We describe a natural small crepant desingularization of $P(n_1, ..., n_l, n)$ and prove a generalized version of a conjecture of Gonciulea and Lakshmibai on the singular locus of $P(n_1, ..., n…
On Severi Type Inequalities for Irregular Surfaces
2017
Let X be a minimal surface of general type and maximal Albanese dimension with irregularity q ≥ 2. We show that K2 X ≥ 4χ(OX) + 4(q − 2) if K2 X < 9 2 χ(OX), and also obtain the characterization of the equality. As a consequence, we prove a conjecture of Manetti on the geography of irregular surfaces if K2 X ≥ 36(q−2) or χ(OX) ≥ 8(q−2), and we also prove a conjecture that the surfaces of general type and maximal Albanese dimension with K2 X = 4χ(OX) are exactly the resolution of double covers of abelian surfaces branched over ample divisors with at worst simple singularities.
From Wigner-Yanase-Dyson conjecture to Carlen-Frank-Lieb conjecture
2020
Abstract In this paper we study the joint convexity/concavity of the trace functions Ψ p , q , s ( A , B ) = Tr ( B q 2 K ⁎ A p K B q 2 ) s , p , q , s ∈ R , where A and B are positive definite matrices and K is any fixed invertible matrix. We will give full range of ( p , q , s ) ∈ R 3 for Ψ p , q , s to be jointly convex/concave for all K. As a consequence, we confirm a conjecture of Carlen, Frank and Lieb. In particular, we confirm a weaker conjecture of Audenaert and Datta and obtain the full range of ( α , z ) for α-z Renyi relative entropies to be monotone under completely positive trace preserving maps. We also give simpler proofs of many known results, including the concavity of Ψ p…
Conjugacy problem for braid groups and Garside groups
2003
We present a new algorithm to solve the conjugacy problem in Artin braid groups, which is faster than the one presented by Birman, Ko and Lee. This algorithm can be applied not only to braid groups, but to all Garside groups (which include finite type Artin groups and torus knot groups among others).
A PARALLEL ALGORITHM FOR ANALYZING CONNECTED COMPONENTS IN BINARY IMAGES
1992
In this paper, a parallel algorithm for analyzing connected components in binary images is described. It is based on the extension of the Cylindrical Algebraic Decomposition (CAD) to a two-dimensional (2D) discrete space. This extension allows us to find the number of connected components, to determine their connectivity degree, and to solve the visibility problem. The parallel implementation of the algorithm is outlined and its time/space complexity is given.
Generalized twisted cubics on a cubic fourfold as a moduli space of stable objects
2016
We revisit the work of Lehn-Lehn-Sorger-van Straten on twisted cubic curves in a cubic fourfold not containing a plane in terms of moduli spaces. We show that the blow-up $Z'$ along the cubic of the irreducible holomorphic symplectic eightfold $Z$, described by the four authors, is isomorphic to an irreducible component of a moduli space of Gieseker stable torsion sheaves or rank three torsion free sheaves. For a very general such cubic fourfold, we show that $Z$ is isomorphic to a connected component of a moduli space of tilt-stable objects in the derived category and to a moduli space of Bridgeland stable objects in the Kuznetsov component. Moreover, the contraction between $Z'$ and $Z$ i…
Two-view “cylindrical decomposition” of binary images
2001
This paper describes the discrete cylindrical algebraic decomposition (DCAD) construction along two orthogonal views of binary images. The combination of two information is used to avoid ambiguities for image recognition purposes. This algorithm associates an object connectivity graph to each connected component, allowing a complete description of the structuring information. Moreover, an easy and compact representation of the scene is achieved by using strings in a five letter alphabet. Examples on complex digital images are also provided. © 2001 Elsevier Science Inc.
Representing 2D Digital Objects
2000
The paper describes the combination a multi-views approach to represent connected components of 2D binary images. The approach is based on the Object Connectivity Graph (OCG), which is a sub-graph of the connectivity graph generated by the Discrete Cylindrical Algebraic Decomposition(DCAD) performed in the 2D discrete space. This construction allows us to find the number of connected components, to determine their connectivity degree, and to solve visibility problem. We show that the CAD construction, when performed on two orthogonal views, supply information to avoid ambiguities in the interpretation of each image component. The implementation of the algorithm is outlined and the computati…
On fuzzification of topological categories
2014
This paper shows that (L,M)-fuzzy topology of U. Hohle, T. Kubiak and A. Sostak is an instance of a general fuzzification procedure for topological categories, which amounts to the construction of a new topological category from a given one. This fuzzification procedure motivates a partial dualization of the machinery of tower extension of topological constructs of D. Zhang, thereby providing the procedure of tower extension of topological categories. With the help of this dualization, we arrive at the meta-mathematical result that the concept of (L,M)-fuzzy topology and the notion of approach space of R. Lowen are ''dual'' to each other.
TOPOLOGICAL PARTIAL *-ALGEBRAS: BASIC PROPERTIES AND EXAMPLES
1999
Let [Formula: see text] be a partial *-algebra endowed with a topology τ that makes it into a locally convex topological vector space [Formula: see text]. Then [Formula: see text] is called a topological partial *-algebra if it satisfies a number of conditions, which all amount to require that the topology τ fits with the multiplier structure of [Formula: see text]. Besides the obvious cases of topological quasi *-algebras and CQ*-algebras, we examine several classes of potential topological partial *-algebras, either function spaces (lattices of Lp spaces on [0, 1] or on ℝ, amalgam spaces), or partial *-algebras of operators (operators on a partial inner product space, O*-algebras).