A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods

02/27/2020
by   Mirai Ikebuchi, et al.
0

It is well-known that some equational theories such as groups or boolean algebras can be defined by fewer equational axioms than the original axioms. However, it is not easy to determine if a given set of axioms is the smallest or not. Malbos and Mimram investigated a general method to find a lower bound of the cardinality of the set of equational axioms (or rewrite rules) that is equivalent to a given equational theory (or term rewriting systems), using homological algebra. Their method is an analog of Squier's homology theory on string rewriting systems. In this paper, we develop the homology theory for term rewriting systems more and provide a better lower bound under a stronger notion of equivalence than their equivalence. The author also implemented a program to compute the lower bounds, and experimented with 64 complete TRSs.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/04/2022

Degree-restricted strength decompositions and algebraic branching programs

We analyze Kumar's recent quadratic algebraic branching program size low...
research
08/07/2017

Unbalancing Sets and an Almost Quadratic Lower Bound for Syntactically Multilinear Arithmetic Circuits

We prove a lower bound of Ω(n^2/^2 n) on the size of any syntactically m...
research
02/10/2021

Slicing the hypercube is not easy

We prove that at least Ω(n^0.51) hyperplanes are needed to slice all edg...
research
07/15/2017

Lower Bounds for Planar Electrical Reduction

We improve our earlier lower bounds on the number of electrical transfor...
research
08/22/2023

Tight Lower Bound on Equivalence Testing in Conditional Sampling Model

We study the equivalence testing problem where the goal is to determine ...
research
09/20/2022

New lower bounds for cap sets

A cap set is a subset of 𝔽_3^n with no solutions to x+y+z=0 other than w...
research
03/28/2023

On Causal Equivalence by Tracing in String Rewriting

We introduce proof terms for string rewrite systems and, using these, sh...

Please sign up or login with your details

Forgot password? Click here to reset