BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Daniele Mundici

Daniele Mundici contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.LOmath.RAmath.DSLogic in Computer Sciencemath.GNmath.GRmath.GT

Trust snapshot

Quick read

Trust 21 - Emerging
13works
0followers
7topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

13 published item(s)

preprint2015arXiv

Classifying $\mathsf{GL}(n,\mathbb Z)$-orbits of points and rational subspaces

We first show that the subgroup of the abelian real group $\mathbb{R}$ generated by the coordinates of a point in $x = (x_1,\dots,x_n)\in\mathbb{R}^n$ completely classifies the $\mathsf{GL}(n,\mathbb Z)$-orbit of $x$. This yields a short proof of J.S.Dani's theorem: the $\mathsf{GL}(n,\mathbb Z)$-orbit of $x\in\mathbb{R}^n$ is dense iff $x_i/x_j\in \mathbb{R} \setminus \mathbb Q$ for some $i,j=1,\dots,n$. We then classify $\mathsf{GL}(n,\mathbb Z)$-orbits of rational affine subspaces $F$ of $\mathbb{R}^n$. We prove that the dimension of $F$ together with the volume of a special parallelotope associated to $F$ yields a complete classifier of the $\mathsf{GL}(n,\mathbb Z)$-orbit of $F$.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Fans and generators of free abelian l-groups

Let $t_1,\ldots,t_n$ be $\ell$-group terms in the variables $X_1,\ldots,X_m$. Let $\hat t_1,\ldots,\hat t_n$ be their associated piecewise homogeneous linear functions. Let $G $ be the $\ell$-group generated by $\hat t_1, \ldots,\hat t_n$ in the free $m$-generator $\ell$-group $\mathcal A_m.$ We prove: (i) the problem whether $G$ is $\ell$-isomorphic to $\mathcal A_n$ is decidable; (ii) the problem whether $G$ is $\ell$-isomorphic to $\mathcal A_l$ ($l$ arbitrary) is undecidable; (iii) for $m=n$, the problem whether $\{\hat t_1,\ldots,\hat 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 $\ell$-group $G$. We make pervasive use of fans and their stellar subdivisions.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Hopfian $\ell$-groups, MV-algebras and AF C$^*$-algebras

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 $K_0$-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 $\mathcal A_{k,q}$.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Classifying $GL(2,\mathbb Z) \ltimes \mathbb Z^{2}$-orbits by subgroups of $\mathbb R$

Let $\mathcal G_2$ denote the affine group $GL(2,\mathbb Z) \ltimes \mathbb Z^{2}$. For every point $x=(x_1,x_2) \in \R2$ let $\orb(x)=\{y\in\R2\mid y=γ(x)$ for some $γ\in \mathcal{G}_2 \}$. Let $G_{x}$ be the subgroup of the additive group $\mathbb R$ generated by $x_1,x_2, 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 $G_x$ is not sufficient in general to uniquely recover $\orb(x)$: rather, $G_x$ classifies precisely $\max(1,ϕ(d)/2)$ different orbits, where $d$ is the denominator of the smallest positive nonzero rational in $G_x$ and $ϕ$ is Euler function. To get a complete classification, polyhedral geometry provides an integer $c_x\geq 1$ such that $\orb(y)=\orb(x) $ iff $(G_{x},c_{x})=(G_{y},c_{y})$.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Interval MV-algebras and generalizations

For any MV-algebra $A$ we equip the set $I(A)$ of intervals in $A$ with pointwise Łukasiewicz negation $\neg x=\{\neg α\mid α\in x\}$, (truncated) Minkowski sum, $x\oplus y=\{α\oplus β\mid α\in x,\,\,β\in y\}$, pointwise Łukasiewicz conjunction $x\odot y=\neg(\neg x\oplus \neg y)$, the operators $Δx=[\min x,\min x]$, $\nabla x=[\max x,\max x]$, and distinguished constants $0=[0,0],\,\, 1=[1,1],\,\,\, \mathsf{i} = A$. We list a few equations satisfied by the algebra $\mathcal I(A)=(I(A),0,1,\mathsf{i},\neg,Δ,\nabla,\oplus,\odot)$, call IMV-algebra every model ofthese equations, and show that, conversely, every IMV-algebra is isomorphic to the IMV-algebra $\mathcal 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 $\mathcal I([0,1])$-valuations. For any class $\mathsf{Q}$ of partially ordered algebras with operations that are monotone or antimonotone in each variable, we consider the generalization $\mathcal I_{\mathsf{Q}}$ of the MV-algebraic functor $\mathcal I$, and give necessary and sufficient conditions for $\mathcal I_{\mathsf{Q}}$ to be a categorical equivalence. These conditions are satisfied, e.g., by all subquasivarieties of residuated lattices.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Severi-Bouligand tangents, Frenet frames and Riesz spaces

It was recently proved that a compact set $X\subseteq \mathbb R^2$ has an outgoing Severi-Bouligand tangent vector $u\not=0$ at $x\in X$ iff some principal ideal of the Riesz space $\mathcal R(X)$ of piecewise linear functions on $X$ is not an intersection of maximal ideals. "Outgoing" means $X\cap [x,x+u]=\{x\}$. Suppose now $X\subseteq \mathbb{R}^n$ and some principal ideal of $\mathcal R(X)$ is not an intersection of maximal ideals. We prove that this is equivalent to saying that $X$ contains a sequence $\{x_i\}$ whose Frenet $k$-frame $(u_1,\ldots,u_k)$ is an outgoing Severi-Bouligand tangent of $X$. When the $\{x_i\}$ are taken as sample points of a smooth curve $γ,$ the Frenet $k$-frames of $\{x_i\}$ and of $γ$ coincide. The computation of Frenet frames via sample sequences does not require the knowledge of any higher-order derivative of $γ$.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Bouligand-Severi Tangents in MV-Algebras

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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Logic on the n-cube

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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

The differential semantics of Lukasiewicz syntactic consequence

The classical condition "$ϕ$ is a semantic consequence of $Θ$" in infinite-valued propositional Łukasiewicz logic Ł$_\infty$ is refined using enriched valuations that take into account the effect on $ϕ$ of the stability of the truth-value of all $θ\in Θ$ under small perturbations (or, measurement errors) of the models of $Θ$. The differential properties of the functions represented by $ϕ$ and by all $θ\in Θ$ naturally lead to a new notion of semantic consequence $\models_\partial$ that turns out to coincide with syntactic consequence $\vdash$.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Drawing Sound Conclusions from Unsound Premises

Given sets $Φ_1=\{ϕ_{11},...,ϕ_{1u(1)}\}, ...,Φ_{z}=\{ϕ_{z1},...,ϕ_{zu(z)}\}$ of boolean formulas, a formula $ω$ follows from the conjunction $\bigwedgeΦ_i= \bigwedge ϕ_{ij}$ iff $\neg ω\wedge \bigwedge_{i=1}^z Φ_i$ is unsatisfiable. Now assume that, given integers $0\leq e_i < u(i)$, we must check if $\neg ω\wedge \bigwedge_{i=1}^z Φ&#39;_i$ remains unsatisfiable, where $Φ&#39;_i\subseteq Φ_i$ is obtained by deleting $\,\,e_{i}$ arbitrarily chosen formulas of $Φ_i$, for each $i=1,...,z.$ Intuitively, does $ω$ {\it stably} follow, after removing $e_i$ random formulas from each $Φ_i$? We construct a quadratic reduction of this problem to the consequence problem in infinite-valued \luk\ logic Ł$_\infty$. In this way we obtain a self-contained proof that the Ł$_\infty$-consequence problem is coNP-complete.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Measure theory in the geometry of $GL(n,\mathbb Z) \ltimes \mathbb Z^{n}$

The $n$-dimensional affine group over the integers is the group $\mathcal G_n$ of all affinities on $\mathbb R^{n}$ which leave the lattice $ \mathbb Z^{n}$ invariant. $\mathcal G_n$ yields a geometry in the classical sense of the Erlangen Program. In this paper we construct a $\mathcal G_n$-invariant measure on rational polyhedra in $\mathbb R^n$, i.e., finite unions of simplexes with rational vertices in $\mathbb R^n$, 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).

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Finitely presented lattice-ordered abelian groups with order-unit

Let $G$ be an $\ell$-group (which is short for ``lattice-ordered abelian group&#39;&#39;). Baker and Beynon proved that $G$ is finitely presented iff it is finitely generated and projective. In the category $\mathcal U$ of {\it unital} $\ell$-groups---those $\ell$-groups having a distinguished order-unit $u$---only the $(\Leftarrow)$-direction holds in general. Morphisms in $\mathcal U$ are {\it unital $\ell$-homomorphisms,} i.e., hom\-o\-mor\-phisms that preserve the order-unit and the lattice structure. We show that a unital $\ell$-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 $\ell$-group has a basis $\mathcal B$. As a partial converse, a large class of projectives is constructed from bases satisfying $\bigwedge\mathcal B\not=0$. Without using the Effros-Handelman-Shen theorem, we finally show that the bases of any finitely presented unital $\ell$-group $(G,u)$ provide a direct system of simplicial groups with 1-1 positive unital homomorphisms, whose limit is $(G,u)$.

0 citations0 reviewsNo code linkedOpen access