Showing 1–4 of 4 results for author: Schoenbaum, L

A Tapered Floating Point Extension for the Redundant Signed Radix 2 System Using the Canonical Recoding

Authors: Lucius T. Schoenbaum

Abstract: A tapered floating point encoding is proposed which uses the redundant signed radix 2 system and is based on the canonical recoding. By making use of ternary technology, the encoding has a dynamic range exceeding that of the recently-proposed Posit number system and the IEEE 754-1985 Standard for Floating Point Arithmetic (IEEE-754-1985), and precision equal to or better than that of the IEEE-754-… ▽ More A tapered floating point encoding is proposed which uses the redundant signed radix 2 system and is based on the canonical recoding. By making use of ternary technology, the encoding has a dynamic range exceeding that of the recently-proposed Posit number system and the IEEE 754-1985 Standard for Floating Point Arithmetic (IEEE-754-1985), and precision equal to or better than that of the IEEE-754-1985 system and the recently proposed Posit system when equal input sizes are compared. In addition, the encoding is capable of supporting several proposed extensions, including extensions to integers, boolean values, complex numbers, higher number systems, low-dimensional vectors, and system artifacts such as machine instructions. A detailed analytic comparison is provided between the proposed encoding, the IEEE-754-1985 system, and the recently proposed Posit number system. △ Less

Submitted 29 May, 2021; originally announced May 2021.

Comments: 17 pages

Simulations to Analyze Cellular Voting Systems for Side Effects of Democratic Redistricting

Authors: Lucius T. Schoenbaum

Abstract: Motivated by the problem of partisan gerrymandering, we introduce an electoral system for a representative democracy called democratic cellular voting, designed to make modern packing and cracking strategies irrelevant by allowing districts to be influenced directly by voters through elections. We introduce an example of a democratic cellular voting system, called CV0, that is suitable for dynamic… ▽ More Motivated by the problem of partisan gerrymandering, we introduce an electoral system for a representative democracy called democratic cellular voting, designed to make modern packing and cracking strategies irrelevant by allowing districts to be influenced directly by voters through elections. We introduce an example of a democratic cellular voting system, called CV0, that is suitable for dynamic modelling. We develop a modification of the theory of discrete Markov chains using the algebraic structure of the semiring $[0,\infty]$, which is used as a space of correlation coefficients. We use this to measure voter preferences and model representatives, voters, and districts in computationally feasible models with a guarantee of long-term stability. △ Less

Submitted 8 January, 2018; originally announced January 2018.

Comments: 17 pages, 4 figures. First report

MSC Class: 17A99; 15A80; 15A18; 91D10; 91-04 ACM Class: I.6.5; J.2; J.4

A Generalization of the Curry-Howard Correspondence

Authors: Lucius Schoenbaum

Abstract: We present a variant of the calculus of deductive systems developed in (Lambek 1972, 1974), and give a generalization of the Curry-Howard-Lambek theorem giving an equivalence between the category of typed lambda-calculi and the category of cartesian closed categories and exponential-preserving morphisms that leverages the theory of generalized categories (Schoenbaum 2016). We discuss potential app… ▽ More We present a variant of the calculus of deductive systems developed in (Lambek 1972, 1974), and give a generalization of the Curry-Howard-Lambek theorem giving an equivalence between the category of typed lambda-calculi and the category of cartesian closed categories and exponential-preserving morphisms that leverages the theory of generalized categories (Schoenbaum 2016). We discuss potential applications and extensions. △ Less

Submitted 8 December, 2016; originally announced December 2016.

Comments: 27 pages

Towards Visual Type Theory as a Mathematical Tool and Mathematical User Interface

Authors: Lucius Schoenbaum

Abstract: A visual type theory is a cognitive tool that has much in common with language, and may be regarded as an exceptional form of spatial text adjunct. A mathematical visual type theory, called NPM, has been under development that can be viewed as an early-stage project in mathematical knowledge management and mathematical user interface development. We discuss in greater detail the notion of a visual… ▽ More A visual type theory is a cognitive tool that has much in common with language, and may be regarded as an exceptional form of spatial text adjunct. A mathematical visual type theory, called NPM, has been under development that can be viewed as an early-stage project in mathematical knowledge management and mathematical user interface development. We discuss in greater detail the notion of a visual type theory, report on progress towards a usable mathematical visual type theory, and discuss the outlook for future work on this project. △ Less

Submitted 9 August, 2016; originally announced August 2016.

Comments: 19 pages, to appear in Joint Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics, Bialystok, Poland 2016