Universality of Univariate Mixed Fractions in Divisive Meadows

Jan A. Bergstra,Inge Bethke,Dimitri Hendriks

DOI: https://doi.org/10.48550/arXiv.1707.00499

2017-07-03

Rings and Algebras

Abstract:Univariate fractions can be transformed to mixed fractions in the equational theory of meadows of characteristic zero.

What problem does this paper attempt to address?

Transformation of fractions into simple fractions in divisive meadows

J.A. Bergstra,C.A. Middelburg

DOI: https://doi.org/10.1016/j.jal.2016.03.001

2016-07-01

Journal of Applied Logic

Abstract:Meadows are alternatives for fields with a purely equational axiomatization. At the basis of meadows lies the decision to make the multiplicative inverse operation total by imposing that the multiplicative inverse of zero is zero. Divisive meadows are meadows with the multiplicative inverse operation replaced by a division operation. Viewing a fraction as a term over the signature of divisive meadows that is of the form p/q, we investigate which divisive meadows admit transformation of fractions into simple fractions, i.e. fractions without proper subterms that are fractions.

English Else
Inversive meadows and divisive meadows

J.A. Bergstra,C.A. Middelburg

DOI: https://doi.org/10.1016/j.jal.2011.03.001

2011-09-01

Journal of Applied Logic

Abstract:Inversive meadows are commutative rings with a multiplicative identity element and a total multiplicative inverse operation satisfying 0−1=0. Divisive meadows are inversive meadows with the multiplicative inverse operation replaced by a division operation. We give finite equational specifications of the class of all inversive meadows and the class of all divisive meadows. It depends on the angle from which they are viewed whether inversive meadows or divisive meadows must be considered more basic. We show that inversive and divisive meadows of rational numbers can be obtained as initial algebras of finite equational specifications. In the spirit of Peacockʼs arithmetical algebra, we study variants of inversive and divisive meadows without an additive identity element and/or an additive inverse operation. We propose simple constructions of variants of inversive and divisive meadows with a partial multiplicative inverse or division operation from inversive and divisive meadows. Divisive meadows are more basic if these variants are considered as well. We give a simple account of how mathematicians deal with 1/0, in which meadows and a customary convention among mathematicians play prominent parts, and we make plausible that a convincing account, starting from the popular computer science viewpoint that 1/0 is undefined, by means of some logic of partial functions is not attainable.

English Else
Meadows and the equational specification of division

J.A. Bergstra,Y. Hirshfeld,J.V. Tucker

DOI: https://doi.org/10.1016/j.tcs.2008.12.015

IF: 1.002

2009-03-01

Theoretical Computer Science

Abstract:The rational, real and complex numbers with their standard operations, including division, are partial algebras specified by the axiomatic concept of a field. Since the class of fields cannot be defined by equations, the theory of equational specifications of data types cannot use field theory in applications to number systems based upon rational, real and complex numbers. We study a new axiomatic concept for number systems with division that uses only equations: a meadow is a commutative ring with a total inverse operator satisfying two equations which imply 0−1=0. All fields and products of fields can be viewed as meadows. After reviewing alternate axioms for inverse, we start the development of a theory of meadows. We give a general representation theorem for meadows and find, as a corollary, that the conditional equational theory of meadows coincides with the conditional equational theory of zero totalized fields. We also prove representation results for meadows of finite characteristic.

computer science, theory & methods
Incomplete normalization of probability on multifractals

Qiuping A. Wang,L. Nivanen,A. El Kaabouchi,J.P. Badiali,A. Le Méhauté

DOI: https://doi.org/10.1016/j.physa.2007.08.009

2007-08-20

Abstract:This work is an extension of the incomplete probability theory from the simple case of monofractals previously studied to the more general case of multifractals which can occur in the phase space without equiprobable partition.

Statistical Mechanics
Division by zero in non-involutive meadows

J.A. Bergstra,C.A. Middelburg

DOI: https://doi.org/10.1016/j.jal.2014.10.001

2015-03-01

Journal of Applied Logic

Abstract:Meadows have been proposed as alternatives for fields with a purely equational axiomatization. At the basis of meadows lies the decision to make the multiplicative inverse operation total by imposing that the multiplicative inverse of zero is zero. Thus, the multiplicative inverse operation of a meadow is an involution. In this paper, we study ‘non-involutive meadows’, i.e. variants of meadows in which the multiplicative inverse of zero is not zero, and pay special attention to non-involutive meadows in which the multiplicative inverse of zero is one.

English Else
Differential Meadows

Jan A. Bergstra,Alban Ponse

DOI: https://doi.org/10.48550/arXiv.0804.3336

2008-04-21

Rings and Algebras

Abstract:A meadow is a zero totalised field (0^{-1}=0), and a cancellation meadow is a meadow without proper zero divisors. In this paper we consider differential meadows, i.e., meadows equipped with differentiation operators. We give an equational axiomatization of these operators and thus obtain a finite basis for differential cancellation meadows. Using the Zariski topology we prove the existence of a differential cancellation meadow.
Arithmetical meadows

J. A. Bergstra,C. A. Middelburg

DOI: https://doi.org/10.48550/arXiv.0909.2088

2009-09-11

Rings and Algebras

Abstract:An inversive meadow is a commutative ring with identity equipped with a multiplicative inverse operation made total by choosing 0 as its value at 0. Previously, inversive meadows were shortly called meadows. A divisive meadow is an inversive meadows with the multiplicative inverse operation replaced by a division operation. In the spirit of Peacock's arithmetical algebra, we introduce variants of inversive and divisive meadows without an additive identity element and an additive inverse operation. We give equational axiomatizations of several classes of such variants of inversive and divisive meadows as well as of several instances of them.
Towards an Enumeration of Finite Common Meadows

João Dias,Bruno Dinis

2024-06-07

Abstract:Common meadows are commutative and associative algebraic structures with two operations (addition and multiplication) with additive and multiplicative identities and for which inverses are total. The inverse of zero is an error term $\mathbf{a}$ which is absorbent for addition. We study the problem of enumerating all finite common meadows of \emph{order} $n$ (that is, common meadows with $n$ elements). This problem turns out to be deeply connected with both the number of finite rings of order $n$ and with the number of a certain kind of partition of positive integers.

Rings and Algebras
The structure of finite meadows

Inge Bethke,Piet Rodenburg,Arjen Sevenster

DOI: https://doi.org/10.1016/j.jlamp.2014.08.004

IF: 1.088

2015-03-01

Journal of Logical and Algebraic Methods in Programming

Abstract:A meadow is a commutative ring with a total inverse operator satisfying 0−1=0. We show that the class of finite meadows is the closure of the class of Galois fields under finite products. As a corollary, we obtain a unique representation of minimal finite meadows in terms of finite prime fields.

computer science, theory & methods,logic
Flexible involutive meadows

Bruno Dinis,Emanuele Bottazzi

2023-09-04

Abstract:We investigate a notion of inverse for neutrices inspired by Van den Berg and Koudjeti's decomposition of a neutrix as the product of a real number and an idempotent neutrix. We end up with an algebraic structure that can be characterized axiomatically and generalizes involutive meadows. The latter are algebraic structures where the inverse for multiplication is a total operation. As it turns out, the structures satisfying the axioms of flexible involutive meadows are of interest beyond nonstandard analysis.

Logic,Commutative Algebra
Strolling through common meadows

João Dias,Bruno Dinis

2024-05-08

Abstract:Meadows are a sort of commutative rings with a multiplicative identity element and a total multiplicative inverse operation. In this paper we study algebraic properties of common meadows, which are meadows that introduce, as the inverse of zero, an error term $\abf$ which is absorbent for addition. We show that common meadows are unions of rings which are ordered by a partial order that defines a lattice. These results allow us to generalize some classical algebraic constructions to the setting of common meadows. We also briefly consider common meadows from a categorical perspective.

Rings and Algebras,Commutative Algebra
The initial meadows

Inge Bethke,Piet Rodenburg

DOI: https://doi.org/10.2178/jsl/1278682205

2010-09-01

Abstract:Abstract A meadow is a commutative ring with an inverse operator satisfying 0 −1 = 0. We determine the initial algebra of the meadows of characteristic 0 and prove a normal form theorem for it. As an immediate consequence we obtain the decidability of the closed term problem for meadows and the computability of their initial object.
On the height of the universal abelian variety

José Ignacio Burgos Gil,Jürg Kramer

2024-03-18

Abstract:In this paper we extend the arithmetic intersection theory of adelic divisors on quasiprojective varieties developed by X. Yuan and S. W. Zhang to cover certain adelic arithmetic divisors that are not nef nor integrable. The key concept used in this extension is the relative finite energy introduced by T. Darvas, E. Di Nezza, and C. H. Lu. As an application we compute the arithmetic self-intersection number of the line bundle of Siegel-Jacobi forms on the universal abelian variety endowed with its invariant hermitian metric. The techniques developed in this paper can be applied in many other situations like mixed Shimura varieties or the moduli space of stable marked curves.

Number Theory,Algebraic Geometry
Rings with common division, common meadows and their conditional equational theories

Jan A Bergstra,John V Tucker

2024-05-27

Abstract:We examine the consequences of having a total division operation $\frac{x}{y}$ on commutative rings. We consider two forms of binary division, one derived from a unary inverse, the other defined directly as a general operation; each are made total by setting $1/0$ equal to an error value $\bot$, which is added to the ring. Such totalised divisions we call common divisions. In a field the two forms are equivalent and we have a finite equational axiomatisation $E$ that is complete for the equational theory of fields equipped with common division, called common meadows. These equational axioms $E$ turn out to be true of commutative rings with common division but only when defined via inverses. We explore these axioms $E$ and their role in seeking a completeness theorem for the conditional equational theory of common meadows. We prove they are complete for the conditional equational theory of commutative rings with inverse based common division. By adding a new proof rule, we can prove a completeness theorem for the conditional equational theory of common meadows. Although, the equational axioms $E$ fail with common division defined directly, we observe that the direct division does satisfies the equations in $E$ under a new congruence for partial terms called eager equality.

Logic in Computer Science,Symbolic Computation
Artinian Meadows

João Dias,Bruno Dinis

2024-07-11

Abstract:We introduce the notion of Artinian meadow as an algebraic structure constructed from an Artinian ring which is also a common meadow, i.e.\ a commutative and associative structure with two operations (addition and multiplication) with additive and multiplicative identities and for which inverses are total. The inverse of zero in a common meadow is an error term $\mathbb{a}$ which is absorbent for addition. We show that, in analogy with what happens with commutative unital Artinian rings, Artinian meadows decompose as a product of local meadows in an essentially unique way. We also provide a canonical way to construct meadows from unital commutative rings.

Rings and Algebras
Universal Quantitative Algebra for Fuzzy Relations and Generalised Metric Spaces

Matteo Mio,Ralph Sarkis,Valeria Vignudelli

2024-10-29

Abstract:We present a generalisation of the theory of quantitative algebras of Mardare, Panangaden and Plotkin where (i) the carriers of quantitative algebras are not restricted to be metric spaces and can be arbitrary fuzzy relations or generalised metric spaces, and (ii) the interpretations of the algebraic operations are not required to be nonexpansive. Our main results include: a novel sound and complete proof system, the proof that free quantitative algebras always exist, the proof of strict monadicity of the induced Free-Forgetful adjunction, the result that all monads (on fuzzy relations) that lift finitary monads (on sets) admit a quantitative equational presentation.

Logic in Computer Science
A Complete Finite Axiomatisation of the Equational Theory of Common Meadows

Jan A Bergstra,John V Tucker

2024-05-27

Abstract:We analyse abstract data types that model numerical structures with a concept of error. Specifically, we focus on arithmetic data types that contain an error value $\bot$ whose main purpose is to always return a value for division. To rings and fields, we add a division operator $x/y$ and study a class of algebras called common meadows wherein $x/0 = \bot$. The set of equations true in all common meadows is named the equational theory of common meadows. We give a finite equational axiomatisation of the equational theory of common meadows and prove that it is complete and that the equational theory is decidable.

Logic in Computer Science
Some properties of finite meadows

Inge Bethke,Piet Rodenburg

DOI: https://doi.org/10.48550/arXiv.0712.0917

2007-12-06

Rings and Algebras

Abstract:The aim of this note is to describe the structure of finite meadows. We will show that the class of finite meadows is the closure of the class of finite fields under finite products. As a corollary, we obtain a unique representation of minimal meadows in terms of prime fields.
Fair Division via Quantile Shares

Yakov Babichenko,Michal Feldman,Ron Holzman,Vishnu V. Narayan

2023-12-04

Abstract:We consider the problem of fair division, where a set of indivisible goods should be distributed fairly among a set of agents with combinatorial valuations. To capture fairness, we adopt the notion of shares, where each agent is entitled to a fair share, based on some fairness criterion, and an allocation is considered fair if the value of every agent (weakly) exceeds her fair share. A share-based notion is considered universally feasible if it admits a fair allocation for every profile of monotone valuations. A major question arises: is there a non-trivial share-based notion that is universally feasible? The most well-known share-based notions, namely proportionality and maximin share, are not universally feasible, nor are any constant approximations of them. We propose a novel share notion, where an agent assesses the fairness of a bundle by comparing it to her valuation in a random allocation. In this framework, a bundle is considered $q$-quantile fair, for $q\in[0,1]$, if it is at least as good as a bundle obtained in a uniformly random allocation with probability at least $q$. Our main question is whether there exists a constant value of $q$ for which the $q$-quantile share is universally feasible. Our main result establishes a strong connection between the feasibility of quantile shares and the classical Erdős Matching Conjecture. Specifically, we show that if a version of this conjecture is true, then the $\frac{1}{2e}$-quantile share is universally feasible. Furthermore, we provide unconditional feasibility results for additive, unit-demand and matroid-rank valuations for constant values of $q$. Finally, we discuss the implications of our results for other share notions.

Computer Science and Game Theory
Duality Theory in Generalized ? -Univex Fractional Semi-infinite Programming

Yong Yang,QingXiang Zhang

DOI: https://doi.org/10.1109/cso.2009.241

2009-04-01

Abstract:The Mond–Weir type duality for a class of nonsmooth nonconvex fractional semi-infinite programming are studied. Under the generalized $\rho$- univexity hypotheses, some weak and strong duality theorems are established, which provide a measurement of sensitivity for given problems to perturbations. The results can be applied to fractional program problems arising from portfolio selection, agricultural panning, information transfer, cargo-loading problems, stochastic processes and numerical analysis, etc.

Universality of Univariate Mixed Fractions in Divisive Meadows

Transformation of fractions into simple fractions in divisive meadows

Inversive meadows and divisive meadows

Meadows and the equational specification of division

Incomplete normalization of probability on multifractals

Division by zero in non-involutive meadows

Differential Meadows

Arithmetical meadows

Towards an Enumeration of Finite Common Meadows

The structure of finite meadows

Flexible involutive meadows

Strolling through common meadows

The initial meadows

On the height of the universal abelian variety

Rings with common division, common meadows and their conditional equational theories

Artinian Meadows

Universal Quantitative Algebra for Fuzzy Relations and Generalised Metric Spaces

A Complete Finite Axiomatisation of the Equational Theory of Common Meadows

Some properties of finite meadows

Fair Division via Quantile Shares

Duality Theory in Generalized ? -Univex Fractional Semi-infinite Programming