paper-with-me

홈 › Papers

All elementary functions from a single binary operator

2026-03-23 · Andrzej Odrzywołek arxiv

A single two-input gate suffices for all of Boolean logic in digital hardware. No comparable primitive has been known for continuous mathematics: computing elementary functions such as sin, cos, sqrt, and log has always required multiple distinct operations. Here I show that a single binary operator, eml(x,y)=exp(x)-ln(y), together with the constant 1, generates the standard repertoire of a scientific calculator. This includes constants such as e, pi, and i; arithmetic operations including addition, subtraction, multiplication, division, and exponentiation as well as the usual transcendental and algebraic functions. For example, exp(x)=eml(x,1), ln(x)=eml(1,eml(eml(1,x),1)), and likewise for all other operations. That such an operator exists was not anticipated; I found it by systematic exhaustive search and established constructively that it suffices for the concrete scientific-calculator basis. In EML (Exp-Minus-Log) form, every such expression becomes a binary tree of identical nodes, yielding a grammar as simple as S -> 1 | eml(S,S). This uniform structure also enables gradient-based symbolic regression: using EML trees as trainable circuits with standard optimizers (Adam), I demonstrate the feasibility of exact recovery of closed-form elementary functions from numerical data at shallow tree depths up to 4. The same architecture can fit arbitrary data, but when the generating law is elementary, it may recover the exact formula.

📄 PDF Abstract BibTeX arXiv:2603.21852

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

EML-CD: Causal Mechanism Recovery via EML Symbolic Trees in Structure Learning

2026-06-04 · Sota Asanuma arxiv

Neural network (NN)-based nonlinear causal discovery methods recover DAG structure but leave each causal mechanism as a black box. Waxman et al. argued that extracting causal mechanisms from NN weights is ill-posed. We p…

Spiking Neural Streaming Binary Arithmetic

2022-03-23 · James B. Aimone, Aaron J. Hill, William M. Severa, Craig M. Vineyard

Boolean functions and binary arithmetic operations are central to standard computing paradigms. Accordingly, many advances in computing have focused upon how to make these operations more efficient as well as exploring w…

Elementary Iterated Revision and the Levi Identity

2019-07-02 · Jake Chandler, Richard Booth

Recent work has considered the problem of extending to the case of iterated belief change the so-called `Harper Identity' (HI), which defines single-shot contraction in terms of single-shot revision. The present paper co…

AutoLoss-Zero: Searching Loss Functions from Scratch for Generic Tasks

2021-03-25 · CVPR 2022 1 · Hao Li, Tianwen Fu, Jifeng Dai, Hongsheng Li 외

Significant progress has been achieved in automating the design of various components in deep networks. However, the automatic design of loss functions for generic tasks with various evaluation metrics remains under-inve…

Hardware-Efficient Neuro-Symbolic Networks with the Exp-Minus-Log Operator

2026-04-15 · Eymen Ipek arxiv

Deep neural networks (DNNs) deliver state-of-the-art accuracy on regression and classification tasks, yet two structural deficits persistently obstruct their deployment in safety-critical, resource-constrained settings: …