ePrints@IIScePrints@IISc Home | About | Browse | Latest Additions | Advanced Search | Contact | Help

Equivalence Test for Read-Once Arithmetic Formulas

Gupta, N and Saha, C and Thankey, B (2023) Equivalence Test for Read-Once Arithmetic Formulas. In: 34th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2023, 22-25 January 2023, Florence, Italy, pp. 4205-4272.

[img] PDF
ACM-SIAM-SODA_4205-4272_2023.pdf - Published Version
Restricted to Registered users only

Download (1MB) | Request a copy
Official URL: https://doi.org/10.1137/1.9781611977554.ch162

Abstract

We study the polynomial equivalence problem for orbits of read-once arithmetic formulas (ROFs). Read-once formulas have received considerable attention in both algebraic and Boolean complexity and have served as a testbed for developing effective tools and techniques for analyzing circuits. Two n-variate polynomials f, g ∈ F[x] are equivalent, denoted as f ∼ g, if there is an A ∈ GL(n, F) such that f = g(Ax). The orbit of f is the set of all polynomials equivalent to f. We investigate the complexity of the following two natural problems on ROFs: • Equivalence test for ROFs: Given black-box access to f, check if it is in the orbit of an ROF. If yes, output an ROF C and an A ∈ GL(n, F) such that f = C(Ax). • Polynomial equivalence for orbits of ROFs: Given black-box access to f and g in the orbits of two unknown ROFs, check if f ∼ g. If yes, output an A ∈ GL(n, F) such that f = g(Ax). These problems are significant generalizations of two well-studied problems in algebraic complexity, namely reconstruction of ROFs and quadratic form equivalence. In this work, we give the first randomized polynomial-time algorithms (with oracle access to quadratic form equivalence) to solve the two problems. The equivalence test works for general ROFs; it also implies an efficient learning algorithm for random arithmetic formulas of unbounded depth and fan-in (in the high number of variables setting). The algorithm for the second problem, which invokes the equivalence test, works for mildly restricted ROFs, namely additive-constant-free ROFs. The equivalence test is based on a novel interplay between the factors and the essential variables of the Hessian determinant of an ROF, the essential variables of the ROF, and certain special structures in the ROF that we call “skewed paths”. To our knowledge, the Hessian of a general ROF (or even a depth-4 ROF) has not been analyzed before. Analyzing the Hessian and combining the knowledge gained from it with the skewed paths to recursively discover formulas in the orbits of sub-ROFs of lower depth (without incurring an exponential blow-up due to unbounded depth) constitute the main technical contributions of this work. Copyright © 2023 by SIAM.

Item Type: Conference Paper
Publication: Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms
Publisher: Association for Computing Machinery
Additional Information: The copyright for this article belongs to the Association for Computing Machinery.
Keywords: Equivalence classes; Number theory, Algebraic complexity; Arithmetic formulas; Black boxes; Boolean complexity; Effective tool; Equivalence problem; Equivalence tests; Polynomial equivalence; Quadratic form; Read-once formulas, Polynomial approximation
Department/Centre: Division of Electrical Sciences > Computer Science & Automation
Date Deposited: 28 Oct 2023 08:57
Last Modified: 28 Oct 2023 08:57
URI: https://eprints.iisc.ac.in/id/eprint/83144

Actions (login required)

View Item View Item