非交换有理公式的多项式命中列表
Polynomial Hitting Lists for Noncommutative Rational Formulas
OpenAI 数学仓库收录的研究手稿。展开查看英文摘要，或标记后让我进一步解释。
具体内容
稿件研究非交换有理公式的命中集问题。作者声称在确定性多项式比特时间内，为ℚ上树大小有界的非交换有理公式构造多项式大小的有理矩阵元组列表；每个非零可容许公式在某个元组处有定义且可逆，且不额外限制逆嵌套或有理常数高度。矩阵维数、元素比特长度和总输出长度均多项式有界。该结果若成立，可为非交换有理公式提供统一的非零求值见证。
- 构造多项式大小的有理矩阵元组列表，覆盖所有非零可容许公式。
- 每个非零公式在某个元组处取值有定义且可逆。
- 不额外限制逆嵌套深度或有理常数高度。
AI 产生的研究手稿；收录不表示已完成独立审查或同行评议。
英文原始摘要
We construct, in deterministic polynomial bit time, a polynomial-size list of rational matrix tuples for noncommutative rational formulas over ℚ of bounded tree size. Every nonzero admissible formula has a defined, invertible value at one tuple, with no separate bounds on inverse nesting or rational constant heights. Matrix dimensions, entry bit lengths, and total output length are polynomially bounded.
用户标记：未标记
固定编号：46fc6e97230d9e2f
原文来源