BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
We first show that the subgroup of the abelian real group R generated by the coordinates of a point in x=(x1,…,xn)∈Rn completely classifies the GL(n,Z)-orbit of x. This yields a short proof of J.S.Dani's theorem: the GL(n,Z)-orbit of x∈Rn is dense iff xi/xj∈R∖Q for some i,j=1,…,n. We then classify GL(n,Z)-orbits of rational affine subspaces F of Rn. We prove that the dimension of F together with the volume of a special parallelotope associated to F yields a complete classifier of the GL(n,Z)-orbit of F.
Let t1,…,tn be ℓ-group terms in the variables X1,…,Xm. Let t^1,…,t^n be their associated piecewise homogeneous linear functions. Let G be the ℓ-group generated by t^1,…,t^n in the free m-generator ℓ-group Am. We prove: (i) the problem whether G is ℓ-isomorphic to An is decidable; (ii) the problem whether G is ℓ-isomorphic to Al (l arbitrary) is undecidable; (iii) for m=n, the problem whether {t^1,…,t^n} is a {\it free} generating set is decidable. In view of the Baker-Beynon duality, these theorems yield recognizability and unrecognizability results for the rational polyhedron associated to the ℓ-group G. We make pervasive use of fans and their stellar subdivisions.
An algebra is said to be hopfian if it is not isomorphic to a proper quotient of itself. We describe several classes of hopfian and of non-hopfian unital lattice-ordered abelian groups and MV-algebras. Using Elliott classification and K0-theory, we apply our results to other related structures, notably the Farey-Stern-Brocot AF C∗-algebra and all its primitive quotients, including the Behnke-Leptin C∗-algebras Ak,q.
Let G2 denote the affine group GL(2,Z)⋉Z2. For every point x=(x1,x2)∈R2 let $\orb(x)=\{y\in\R2\mid y=γ(x)$ for some γ∈G2}. Let Gx be the subgroup of the additive group R generated by x1,x2,1. If $\rank(G_x)\in \{1,3\}$ then $\orb(x)=\{y\in\R2\mid G_y=G_x\}$. If $\rank(G_x)=2$, knowledge of Gx is not sufficient in general to uniquely recover $\orb(x)$: rather, Gx classifies precisely max(1,ϕ(d)/2) different orbits, where d is the denominator of the smallest positive nonzero rational in Gx and ϕ is Euler function. To get a complete classification, polyhedral geometry provides an integer cx≥1 such that $\orb(y)=\orb(x) $ iff (Gx,cx)=(Gy,cy).
For any MV-algebra A we equip the set I(A) of intervals in A with pointwise Łukasiewicz negation ¬x={¬α∣α∈x}, (truncated) Minkowski sum, x⊕y={α⊕β∣α∈x,β∈y}, pointwise Łukasiewicz conjunction x⊙y=¬(¬x⊕¬y), the operators Δx=[minx,minx], ∇x=[maxx,maxx], and distinguished constants 0=[0,0],1=[1,1],i=A. We list a few equations satisfied by the algebra I(A)=(I(A),0,1,i,¬,Δ,∇,⊕,⊙), call IMV-algebra every model ofthese equations, and show that, conversely, every IMV-algebra is isomorphic to the IMV-algebra I(B) of all intervals in some MV-algebra B. We show that IMV-algebras are categorically equivalent to MV-algebras, and give a representation of free IMV-algebras. We construct Łukasiewicz interval logic, with its coNP-complete consequence relation, which we prove to be complete for I([0,1])-valuations. For any class Q of partially ordered algebras with operations that are monotone or antimonotone in each variable, we consider the generalization IQ of the MV-algebraic functor I, and give necessary and sufficient conditions for IQ to be a categorical equivalence. These conditions are satisfied, e.g., by all subquasivarieties of residuated lattices.
It was recently proved that a compact set X⊆R2 has an outgoing Severi-Bouligand tangent vector u=0 at x∈X iff some principal ideal of the Riesz space R(X) of piecewise linear functions on X is not an intersection of maximal ideals. "Outgoing" means X∩[x,x+u]={x}. Suppose now X⊆Rn and some principal ideal of R(X) is not an intersection of maximal ideals. We prove that this is equivalent to saying that X contains a sequence {xi} whose Frenet k-frame (u1,…,uk) is an outgoing Severi-Bouligand tangent of X. When the {xi} are taken as sample points of a smooth curve γ, the Frenet k-frames of {xi} and of γ coincide. The computation of Frenet frames via sample sequences does not require the knowledge of any higher-order derivative of γ.
Every finitely presented MV-algebra A has a unique idempotent valuation E assigning value 1 to every basic element of A. For each element a of A, E(a) turns out to coincide with the Euler characteristic of the open set of maximal ideals m of A such that a/m is nonzero.
In their recent seminal paper published in the Annals of Pure and Applied Logic, Dubuc and Poveda call an MV-algebra A strongly semisimple if all principal quotients of A are semisimple. All boolean algebras are strongly semisimple, and so are all finitely presented MV-algebras. We show that for any 1-generator MV-algebra semisimplicity is equivalent to strong semisimplicity. Further, a semisimple 2-generator MV-algebra A is strongly semisimple if and only if its maximal spectral space m(A) does not have any rational Bouligand-Severi tangents at its rational points. In general, when A is finitely generated and m(A) has a Bouligand-Severi tangent then A is not strongly semisimple.
We endow the partially ordered set of nonempty faces of the n-cube with a distinguished 0-dimensional face and three operations that naturally extend the Rota-Metropolis partial operations. While the structures thus obtained turn out to be term-equivalent to Post algebras of order 3, the inclusion order between faces coincides with the De Luca-Termini sharpening order, and yields a compact coNP-complete logic that tolerates a modicum of inconsistency and nonmonotonicity.
The classical condition "ϕ is a semantic consequence of Θ" in infinite-valued propositional Łukasiewicz logic Ł∞ is refined using enriched valuations that take into account the effect on ϕ of the stability of the truth-value of all θ∈Θ under small perturbations (or, measurement errors) of the models of Θ. The differential properties of the functions represented by ϕ and by all θ∈Θ naturally lead to a new notion of semantic consequence ⊨∂ that turns out to coincide with syntactic consequence ⊢.
Given sets Φ1={ϕ11,...,ϕ1u(1)},...,Φz={ϕz1,...,ϕzu(z)} of boolean formulas, a formula ω follows from the conjunction ⋀Φi=⋀ϕij iff ¬ω∧⋀i=1zΦi is unsatisfiable. Now assume that, given integers 0≤ei<u(i), we must check if ¬ω∧⋀i=1zΦi′ remains unsatisfiable, where Φi′⊆Φi is obtained by deleting ei arbitrarily chosen formulas of Φi, for each i=1,...,z. Intuitively, does ω {\it stably} follow, after removing ei random formulas from each Φi? We construct a quadratic reduction of this problem to the consequence problem in infinite-valued \luk\ logic Ł∞. In this way we obtain a self-contained proof that the Ł∞-consequence problem is coNP-complete.
The n-dimensional affine group over the integers is the group Gn of all affinities on Rn which leave the lattice Zn invariant. Gn yields a geometry in the classical sense of the Erlangen Program. In this paper we construct a Gn-invariant measure on rational polyhedra in Rn, i.e., finite unions of simplexes with rational vertices in Rn, and prove its uniqueness. Our main tool is given by the Morelli-Włodarczyk factorization of birational toric maps in blow-ups and blow-downs (solution of the weak Oda conjecture).
Let G be an ℓ-group (which is short for ``lattice-ordered abelian group''). Baker and Beynon proved that G is finitely presented iff it is finitely generated and projective. In the category U of {\it unital} ℓ-groups---those ℓ-groups having a distinguished order-unit u---only the (⇐)-direction holds in general. Morphisms in U are {\it unital ℓ-homomorphisms,} i.e., hom\-o\-mor\-phisms that preserve the order-unit and the lattice structure. We show that a unital ℓ-group (G,u) is finitely presented iff it has a basis, i.e., G is generated by an abstract Schauder basis over its maximal spectral space. Thus every finitely generated projective unital ℓ-group has a basis B. As a partial converse, a large class of projectives is constructed from bases satisfying ⋀B=0. Without using the Effros-Handelman-Shen theorem, we finally show that the bases of any finitely presented unital ℓ-group (G,u) provide a direct system of simplicial groups with 1-1 positive unital homomorphisms, whose limit is (G,u).
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.