Showing 1–7 of 7 results for author: Pedicini, M

Critical bases for ternary alphabets

Authors: Vilmos Komornik, Marco Pedicini

Abstract: Glendinning and Sidorov discovered an important feature of the Komornik-Loreti constant $q'\approx1.78723$ in non-integer base expansions on two-letter alphabets: in bases $1<q<q'$ only countably numbers have unique expansions, while for $q\ge q'$ there is a continuum of such numbers. We investigate the analogous question for ternary alphabets. Glendinning and Sidorov discovered an important feature of the Komornik-Loreti constant $q'\approx1.78723$ in non-integer base expansions on two-letter alphabets: in bases $1<q<q'$ only countably numbers have unique expansions, while for $q\ge q'$ there is a continuum of such numbers. We investigate the analogous question for ternary alphabets. △ Less

Submitted 29 May, 2016; originally announced May 2016.

Comments: 27 pages, 9 figures

MSC Class: 11A63; 11B83

Quantum entanglement and the Bell Matrix

Authors: Anna Chiara Lai, Marco Pedicini, Silvia Rognone

Abstract: We present a class of maximally entangled states generated by a high-dimensional generalisation of the \textsc{cnot} gate. The advantage of our approach is the simple algebraic structure of both entangling operator and resulting entangled states. In order to show that the method can be applied to any dimension, we introduce new sufficient conditions for global and maximal entanglement with respect… ▽ More We present a class of maximally entangled states generated by a high-dimensional generalisation of the \textsc{cnot} gate. The advantage of our approach is the simple algebraic structure of both entangling operator and resulting entangled states. In order to show that the method can be applied to any dimension, we introduce new sufficient conditions for global and maximal entanglement with respect to Meyer and Wallach's measure. △ Less

Submitted 21 September, 2015; v1 submitted 9 September, 2015; originally announced September 2015.

Comments: 11 pages, 3 figures

MSC Class: 81P68; 81P40

Ty** a Core Binary Field Arithmetic in a Light Logic

Authors: Emanuele Cesena, Marco Pedicini, Luca Roversi

Abstract: We design a library for binary field arithmetic and we supply a core API which is completely developed in DLAL, extended with a fix point formula. Since DLAL is a restriction of linear logic where only functional programs with polynomial evaluation cost can be typed, we obtain the core of a functional programming setting for binary field arithmetic with built-in polynomial complexity. We design a library for binary field arithmetic and we supply a core API which is completely developed in DLAL, extended with a fix point formula. Since DLAL is a restriction of linear logic where only functional programs with polynomial evaluation cost can be typed, we obtain the core of a functional programming setting for binary field arithmetic with built-in polynomial complexity. △ Less

Submitted 28 June, 2011; originally announced June 2011.

MSC Class: 03F52; 68N18

Elementary Complexity and von Neumann Algebras

Authors: Marco Pedicini, Mario Piazza

Abstract: In this paper, we show how a construction of an implicit complexity model can be implemented using concepts coming from the core of von Neumann algebras. Namely, our aim is to gain an understanding of classical computation in terms of the hyperfinite $\mathrm{II}_1$ factor, starting from the class of Kalmar recursive functions. More methodologically, we address the problem of finding the right p… ▽ More In this paper, we show how a construction of an implicit complexity model can be implemented using concepts coming from the core of von Neumann algebras. Namely, our aim is to gain an understanding of classical computation in terms of the hyperfinite $\mathrm{II}_1$ factor, starting from the class of Kalmar recursive functions. More methodologically, we address the problem of finding the right perspective from which to view the new relation between computation and combinatorial aspects in operator algebras. The rich structure of discrete invariants may provide a mathematical setting able to shed light on some basic combinatorial phenomena that are at the basis of our understanding of complexity. △ Less

Submitted 29 December, 2009; originally announced December 2009.

Comments: 22 pages, 2 figures, journal submission

ACM Class: F.1.3; F.4.1

Generalized golden ratios of ternary alphabets

Authors: Vilmos Komornik, Anna Chiara Lai, Marco Pedicini

Abstract: Expansions in noninteger bases often appear in number theory and probability theory, and they are closely connected to ergodic theory, measure theory and topology. For two-letter alphabets the golden ratio plays a special role: in smaller bases only trivial expansions are unique, whereas in greater bases there exist nontrivial unique expansions. In this paper we determine the corresponding criti… ▽ More Expansions in noninteger bases often appear in number theory and probability theory, and they are closely connected to ergodic theory, measure theory and topology. For two-letter alphabets the golden ratio plays a special role: in smaller bases only trivial expansions are unique, whereas in greater bases there exist nontrivial unique expansions. In this paper we determine the corresponding critical bases for all three-letter alphabets and we establish the fractal nature of these bases in function of the alphabets. △ Less

Submitted 8 January, 2009; originally announced January 2009.

Comments: 28 pages

MSC Class: 11A63; 11B83

An Embedding of the BSS Model of Computation in Light Affine Lambda-Calculus

Authors: Patrick Baillot, Marco Pedicini

Abstract: This paper brings together two lines of research: implicit characterization of complexity classes by Linear Logic (LL) on the one hand, and computation over an arbitrary ring in the Blum-Shub-Smale (BSS) model on the other. Given a fixed ring structure K we define an extension of Terui's light affine lambda-calculus typed in LAL (Light Affine Logic) with a basic type for K. We show that this cal… ▽ More This paper brings together two lines of research: implicit characterization of complexity classes by Linear Logic (LL) on the one hand, and computation over an arbitrary ring in the Blum-Shub-Smale (BSS) model on the other. Given a fixed ring structure K we define an extension of Terui's light affine lambda-calculus typed in LAL (Light Affine Logic) with a basic type for K. We show that this calculus captures the polynomial time function class FP(K): every typed term can be evaluated in polynomial time and conversely every polynomial time BSS machine over K can be simulated in this calculus. △ Less

Submitted 8 August, 2006; originally announced August 2006.

Comments: 11 pages. A preliminary version appeared as Research Report IAC CNR Roma, N.57 (11/2004), november 2004

Journal ref: 8th International Workshop on Logic and Computational Complexity Seattle, August 10 - 11, 2006 (Satellite Workshop of FLOC-LICS 2006), États-Unis d'Amérique (2006)

PELCR: Parallel Environment for Optimal Lambda-Calculus Reduction

Authors: M. Pedicini, F. Quaglia

Abstract: In this article we present the implementation of an environment supporting Lévy's \emph{optimal reduction} for the $λ$-calculus \cite{Lev78} on parallel (or distributed) computing systems. In a similar approach to Lam**'s one in \cite{Lam**90}, we base our work on a graph reduction technique known as \emph{directed virtual reduction} \cite{DPR97} which is actually a restriction of Danos-Regn… ▽ More In this article we present the implementation of an environment supporting Lévy's \emph{optimal reduction} for the $λ$-calculus \cite{Lev78} on parallel (or distributed) computing systems. In a similar approach to Lam**'s one in \cite{Lam**90}, we base our work on a graph reduction technique known as \emph{directed virtual reduction} \cite{DPR97} which is actually a restriction of Danos-Regnier virtual reduction \cite{DanosRegnier93}. The environment, which we refer to as PELCR (Parallel Environment for optimal Lambda-Calculus Reduction) relies on a strategy for directed virtual reduction, namely {\em half combustion}, which we introduce in this article. While develo** PELCR we have adopted both a message aggregation technique, allowing a reduction of the communication overhead, and a fair policy for distributing dynamically originated load among processors. We also present an experimental study demonstrating the ability of PELCR to definitely exploit parallelism intrinsic to $λ$-terms while performing the reduction. By the results we show how PELCR allows achieving up to 70/80% of the ideal speedup on last generation multiprocessor computing systems. As a last note, the software modules have been developed with the {\tt C} language and using a standard interface for message passing, i.e. MPI, thus making PELCR itself a highly portable software package. △ Less

Submitted 23 July, 2004; v1 submitted 22 July, 2004; originally announced July 2004.

ACM Class: F.4.1