Search results for "Affine"
showing 10 items of 183 documents
On n–Fold Blocking Sets
1986
An n-fold blocking set is a set of n-disjoint blocking sets. We shall prove upper and lower bounds for the number of components in an n-fold blocking set in projective and affine spaces.
Error-Free Affine, Unitary, and Probabilistic OBDDs
2021
We introduce the affine OBDD model and show that zero-error affine OBDDs can be exponentially narrower than bounded-error unitary and probabilistic OBDDs on certain problems. Moreover, we show that Las-Vegas unitary and probabilistic OBDDs can be quadratically narrower than deterministic OBDDs. We also obtain the same results for the automata counterparts of these models.
Computational Limitations of Affine Automata
2019
We present two new results on the computational limitations of affine automata. First, we show that the computation of bounded-error rational-values affine automata is simulated in logarithmic space. Second, we give an impossibility result for algebraic-valued affine automata. As a result, we identify some unary languages (in logarithmic space) that are not recognized by algebraic-valued affine automata with cutpoints.
CLEAR: Covariant LEAst-Square Refitting with Applications to Image Restoration
2017
International audience; In this paper, we propose a new framework to remove parts of the systematic errors affecting popular restoration algorithms, with a special focus for image processing tasks. Generalizing ideas that emerged for $\ell_1$ regularization, we develop an approach re-fitting the results of standard methods towards the input data. Total variation regularizations and non-local means are special cases of interest. We identify important covariant information that should be preserved by the re-fitting method, and emphasize the importance of preserving the Jacobian (w.r.t. the observed signal) of the original estimator. Then, we provide an approach that has a ``twicing'' flavor a…
Exact affine counter automata
2017
We introduce an affine generalization of counter automata, and analyze their ability as well as affine finite automata. Our contributions are as follows. We show that there is a language that can be recognized by exact realtime affine counter automata but by neither 1-way deterministic pushdown automata nor realtime deterministic k-counter automata. We also show that a certain promise problem, which is conjectured not to be solved by two-way quantum finite automata in polynomial time, can be solved by Las Vegas affine finite automata. Lastly, we show that how a counter helps for affine finite automata by showing that the language MANYTWINS, which is conjectured not to be recognized by affin…
Affine varieties and lie algebras of vector fields
1993
In this article, we associate to affine algebraic or local analytic varieties their tangent algebra. This is the Lie algebra of all vector fields on the ambient space which are tangent to the variety. Properties of the relation between varieties and tangent algebras are studied. Being the tangent algebra of some variety is shown to be equivalent to a purely Lie algebra theoretic property of subalgebras of the Lie algebra of all vector fields on the ambient space. This allows to prove that the isomorphism type of the variety is determinde by its tangent algebra.
Algebras of pseudodifferential operators on complete manifolds
2003
In several influential works, Melrose has studied examples of non-compact manifolds M 0 M_0 whose large scale geometry is described by a Lie algebra of vector fields V ⊂ Γ ( M ; T M ) \mathcal V \subset \Gamma (M;TM) on a compactification of M 0 M_0 to a manifold with corners M M . The geometry of these manifolds—called “manifolds with a Lie structure at infinity”—was studied from an axiomatic point of view in a previous paper of ours. In this paper, we define and study an algebra Ψ 1 , 0 , V ∞ ( M 0 ) \Psi _{1,0,\mathcal V}^\infty (M_0) of pseudodifferential operators canonically associated to a manifold M 0 M_0 with a Lie structure at infinity V ⊂ Γ ( M ; T M ) \mathcal V \subset \Gamma (…
The Virasoro Algebra
1989
In this chapter we shall study the Lie algebra Vect S1 of vector fields on a circle and some of its generalizations. The Lie algebra Vect S1 has a central extension, the Virasoro algebra. The representation theory of the Virasoro algebra is closely related to the representation theory of affine Lie algebras. In fact, through the Sugawara construction, to be defined below, a highest weight representation of an affine Lie algebra carries always a highest weight representation of the Virasoro algebra. All the irreducible highest weight representations of the Virasoro algebra are known and they can be exponentiated to representations of associated infinite-dimensional Lie groups. The representa…
The Bohm-Aharonov effect: A seven-dimensional structural group
1996
We realize a nonfaithful representation of a seven-dimensional Lie algebra, the extension of which to its universal enveloping algebra contains most of the observables of the scattering Aharonov-Bohm effect, as essentially self-adjoint operators: the scattering Hamiltonian, the total and kinetic angular momenta, the positions and the kinetic momenta. By restriction, we obtain the model introduced in Lett. Math. Phys.1 (1976), 155–163.
Real quadrics in C n , complex manifolds and convex polytopes
2006
In this paper, we investigate the topology of a class of non-Kähler compact complex manifolds generalizing that of Hopf and Calabi-Eckmann manifolds. These manifolds are diffeomorphic to special systems of real quadrics Cn which are invariant with respect to the natural action of the real torus (S1)n onto Cn. The quotient space is a simple convex polytope. The problem reduces thus to the study of the topology of certain real algebraic sets and can be handled using combinatorial results on convex polytopes. We prove that the homology groups of these compact complex manifolds can have arbitrary amount of torsion so that their topology is extremely rich. We also resolve an associated wall-cros…