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$, $π$, and $i$; arithmetic operations including $+$, $-$, $\times$, $/$, and exponentiation as well as the usual transcendental and algebraic functions. For example, $e^x=\operatorname{eml}(x,1)$, $\ln x=\operatorname{eml}(1,\operatorname{eml}(\operatorname{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 \to 1 \mid \operatorname{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.


翻译:单个二输入门即可实现数字硬件中的所有布尔逻辑。然而,连续数学领域长期缺乏类似的基元:计算初等函数(如 sin、cos、sqrt 和 log)始终需要多种不同运算。本文证明,单个二元算子 eml(x,y)=exp(x)-ln(y) 与常数 1 相结合,即可生成科学计算器的标准函数库。这包括 $e$、$\pi$、$i$ 等常数;$+$、$-$、$\times$、$/$ 及乘方等算术运算,以及常见的超越函数与代数函数。例如,$e^x=\operatorname{eml}(x,1)$、$\ln x=\operatorname{eml}(1,\operatorname{eml}(\operatorname{eml}(1,x),1))$,其他所有操作亦如此。此类算子的存在此前未被预期;我通过系统性穷举搜索发现它,并建设性地证明其足以构成具体科学计算器的基础。在 EML(指数减对数)形式下,每个表达式均成为同质节点的二叉树,从而产生 $S \to 1 \mid \operatorname{eml}(S,S)$ 这般简单的文法。这种统一结构还能实现基于梯度的符号回归:利用 EML 树作为可训练电路(采用 Adam 等标准优化器),我证明了在深度不超过 4 的浅层树中,可从数值数据精确恢复闭式初等函数的可行性。同一架构可拟合任意数据,但当生成律为初等函数时,它可能恢复精确公式。

0
下载
关闭预览

相关内容

【干货书】从初等问题看数学的本质,400页pdf
专知会员服务
66+阅读 · 2021年5月28日
专知会员服务
42+阅读 · 2021年4月2日
【经典书】算法C语言实现,Algorithms in C. 672页pdf
专知会员服务
82+阅读 · 2020年8月13日
手写实现李航《统计学习方法》书中全部算法
专知会员服务
49+阅读 · 2020年8月2日
【经典书】贝叶斯编程,378页pdf,Bayesian Programming
专知会员服务
251+阅读 · 2020年5月18日
【干货书】数值计算C编程,319页pdf,Numerical C
专知会员服务
72+阅读 · 2020年4月7日
可视化理解四元数,愿你不再掉头发
计算机视觉life
31+阅读 · 2019年1月2日
教程 | 从头开始了解PyTorch的简单实现
机器之心
20+阅读 · 2018年4月11日
入门 | 一文介绍机器学习中基本的数学符号
机器之心
28+阅读 · 2018年4月9日
第二章 机器学习中的数学基础
Datartisan数据工匠
12+阅读 · 2018年4月5日
用于数学的 10 个优秀编程语言
算法与数据结构
13+阅读 · 2018年1月5日
干货|掌握机器学习数学基础之优化[1](重点知识)
机器学习研究会
10+阅读 · 2017年11月19日
GAN的数学原理
算法与数学之美
17+阅读 · 2017年9月2日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
1+阅读 · 2015年12月31日
国家自然科学基金
1+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
2+阅读 · 2014年12月31日
国家自然科学基金
2+阅读 · 2014年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
VIP会员
最新内容
反制无人机:乌克兰提供的五点启示
专知会员服务
4+阅读 · 9月23日
《各指挥层级均亟需红队能力》报告
专知会员服务
5+阅读 · 9月23日
《航电任务系统框架(FAMOS)》50页报告
专知会员服务
4+阅读 · 9月22日
《对抗行动中的人工智能与自主性》智库报告
专知会员服务
7+阅读 · 9月22日
《从数据到胜利:战争中的分析优势之争》
专知会员服务
10+阅读 · 9月22日
战争不仅需要机器人:人类仍不可或缺
专知会员服务
5+阅读 · 9月21日
《描绘美国防部创新基础设施的未来蓝图》100页
专知会员服务
10+阅读 · 9月21日
相关资讯
可视化理解四元数,愿你不再掉头发
计算机视觉life
31+阅读 · 2019年1月2日
教程 | 从头开始了解PyTorch的简单实现
机器之心
20+阅读 · 2018年4月11日
入门 | 一文介绍机器学习中基本的数学符号
机器之心
28+阅读 · 2018年4月9日
第二章 机器学习中的数学基础
Datartisan数据工匠
12+阅读 · 2018年4月5日
用于数学的 10 个优秀编程语言
算法与数据结构
13+阅读 · 2018年1月5日
干货|掌握机器学习数学基础之优化[1](重点知识)
机器学习研究会
10+阅读 · 2017年11月19日
GAN的数学原理
算法与数学之美
17+阅读 · 2017年9月2日
相关基金
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
1+阅读 · 2015年12月31日
国家自然科学基金
1+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
2+阅读 · 2014年12月31日
国家自然科学基金
2+阅读 · 2014年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
Top
微信扫码咨询专知VIP会员