Search results for "duality"
showing 10 items of 226 documents
On t-covers in finite projective spaces
1979
A t-cover of the finite projective space PG(d,q) is a setS of t-dimensional subspaces such that any point of PG(d,q) is contained in at least one element ofS. In Theorem 1 a lower bound for the cardinality of a t-coverS in PG(d,q) is obtained and in Theorem 2 it is shown that this bound is best possible for all positive integers t,d and for any prime-power q.
General duality in vector optimization
1993
Vector minimization of a relation F valued in an ordered vector space under a constraint A consists in finding x 0 ∊ A w,0 ∊ Fx$0 such that w,0 is minimal in FA. To a family of vector minimization problemsminimize , one associates a Lagrange relation where ξ belongs to an arbitrary class Ξ of mappings, the main purpose being to recover solutions of the original problem from the vector minimization of the Lagrange relation for an appropriate ξ. This ξ turns out to be a solution of a dual vector maximization problem. Characterizations of exact and approximate duality in terms of vector (generalized with respect to Ξ) convexity and subdifferentiability are given. They extend the theory existin…
Regular Varieties of Automata and Coequations
2015
In this paper we use a duality result between equations and coequations for automata, proved by Ballester-Bolinches, Cosme-Ll´opez, and Rutten to characterize nonempty classes of deterministic automata that are closed under products, subautomata, homomorphic images, and sums. One characterization is as classes of automata defined by regular equations and the second one is as classes of automata satisfying sets of coequations called varieties of languages. We show how our results are related to Birkhoff’s theorem for regular varieties.
Varieties and Covarieties of Languages (Extended Abstract)
2013
AbstractBecause of the isomorphism (X×A)→X≅X→(A→X), the transition structure of a deterministic automaton with state set X and with inputs from an alphabet A can be viewed both as an algebra and as a coalgebra. This algebra-coalgebra duality goes back to Arbib and Manes, who formulated it as a duality between reachability and observability, and is ultimately based on Kalmanʼs duality in systems theory between controllability and observability. Recently, it was used to give a new proof of Brzozowskiʼs minimization algorithm for deterministic automata. Here we will use the algebra-coalgebra duality of automata as a common perspective for the study of both varieties and covarieties, which are …
A new formulation of the loop-tree duality at higher loops
2019
We present a new formulation of the loop-tree duality theorem for higher loop diagrams valid both for massless and massive cases. $l$-loop integrals are expressed as weighted sum of trees obtained from cutting $l$ internal propagators of the loop graph. In addition, the uncut propagators gain a modified $i \delta$-prescription, named dual-propagators. In this new framework one can go beyond graphs and calculate the integrand of loop amplitudes as a weighted sum of tree graphs, which form a tree-like object. These objects can be computed efficiently via recurrence relations.
Embedding finite linear spaces in projective planes, II
1987
Abstract It is shown that a finite linear space with maximal point degree n + 1 can be embedded in a projective plane of order n, provided that the line sizes are big enough.
Projective mappings between projective lattice geometries
1995
The concept of projective lattice geometry generalizes the classical synthetic concept of projective geometry, including projective geometry of modules.
A note on projective coordinate systems of modular lattices
1993
This note clarifies the combinatorial nature of projective coordinate systems of modular upper continuous lattices. It generalizes the classical relationship between 3-dimensional Desarguesian configurations and coordinate systems of projective 3-spaces.
Projective Geometry on Modular Lattices
1995
Publisher Summary This chapter focuses on projective geometry on modular lattices. Incidence and Order are basic concepts for a foundation of modern synthetic geometry. These concepts describe the relative location or containment of geometric objects and have led to different lines of geometry, an incidence-geometric and a lattice-theoretic one. Modularity is one of the fundamental properties of classical projective geometry. It makes projections into join-preserving mappings and yields perspectivities to be (interval) isomorphisms. It is therefore natural that order-theoretic generalizations of projective geometry are based on modular lattices and even more, the theory of modular lattices …
Farkas-Minkowski systems in semi-infinite programming
1981
The Farkas-Minkowski systems are characterized through a convex cone associated to the system, and some sufficient conditions are given that guarantee the mentioned property. The role of such systems in semi-infinite programming is studied in the linear case by means of the duality, and, in the nonlinear case, in connection with optimality conditions. In the last case the property appears as a constraint qualification.