Showing 1–7 of 7 results for author: Gnang, E K

On Partial Differential Encodings of Boolean Functions

Authors: Edinah K. Gnang, Rongyu Xu

Abstract: We introduce partial differential encodings of Boolean functions as a way of measuring the complexity of Boolean functions. These encodings enable us to derive from group actions non-trivial bounds on the Chow-Rank of polynomials used to specify partial differential encodings of Boolean functions. We also introduce variants of partial differential encodings called partial differential programs. We… ▽ More We introduce partial differential encodings of Boolean functions as a way of measuring the complexity of Boolean functions. These encodings enable us to derive from group actions non-trivial bounds on the Chow-Rank of polynomials used to specify partial differential encodings of Boolean functions. We also introduce variants of partial differential encodings called partial differential programs. We show that such programs optimally describe important families of polynomials including determinants and permanents. Partial differential programs also enables to quantitively contrast these two families of polynomials. Finally we derive from polynomial constructions inspired by partial differential programs which exhibit an unconditional exponential separation between high order hypergraph isomorhism instances and their sub-isomorphism counterparts. △ Less

Submitted 1 December, 2022; v1 submitted 15 August, 2020; originally announced August 2020.

Integer formula encoding SageTeX package

Authors: Edinah K. Gnang

Abstract: The paper describes a SageTeX implementation of an integer encoding procedures. The paper describes a SageTeX implementation of an integer encoding procedures. △ Less

Submitted 26 June, 2014; originally announced July 2014.

Counting arithmetic formulas

Authors: Edinah K. Gnang, Maksym Radziwill, Carlo Sanna

Abstract: An arithmetic formula is an expression involving only the constant $1$, and the binary operations of addition and multiplication, with multiplication by $1$ not allowed. We obtain an asymptotic formula for the number of arithmetic formulas evaluating to $n$ as $n$ goes to infinity, solving a conjecture of E. K. Gnang and D. Zeilberger. We give also an asymptotic formula for the number of arithmeti… ▽ More An arithmetic formula is an expression involving only the constant $1$, and the binary operations of addition and multiplication, with multiplication by $1$ not allowed. We obtain an asymptotic formula for the number of arithmetic formulas evaluating to $n$ as $n$ goes to infinity, solving a conjecture of E. K. Gnang and D. Zeilberger. We give also an asymptotic formula for the number of arithmetic formulas evaluating to $n$ and using exactly $k$ multiplications. Finally we analyze three specific encodings for producing arithmetic formulas. For almost all integers $n$, we compare the lengths of the arithmetic formulas for $n$ that each encoding produces with the length of the shortest formula for $n$ (which we estimate from below). We briefly discuss the time-space tradeoff offered by each. △ Less

Submitted 6 June, 2014; originally announced June 2014.

Comments: 18 pages, 1 figure

A SageTeX Hypermatrix Algebra Package

Authors: Edinah K. Gnang, Ori Parzanchevski, Yuval Filmus

Abstract: We describe here a rudimentary sage implementation of the Bhattacharya-Mesner hypermatrix algebra package. We describe here a rudimentary sage implementation of the Bhattacharya-Mesner hypermatrix algebra package. △ Less

Submitted 11 March, 2014; originally announced March 2014.

Some integer formula-encodings and related algorithms

Authors: Edinah K. Gnang, Patrick Devlin

Abstract: We investigate the special class of formulas made up of arbitrary but finite com- binations of addition, multiplication, and exponentiation gates. The inputs to these formulas are restricted to the integral unit 1. In connection with such formulas, we describe two essen- tially distinct families of canonical formula-encodings for integers, respectively deduced from the decimal encoding and the fun… ▽ More We investigate the special class of formulas made up of arbitrary but finite com- binations of addition, multiplication, and exponentiation gates. The inputs to these formulas are restricted to the integral unit 1. In connection with such formulas, we describe two essen- tially distinct families of canonical formula-encodings for integers, respectively deduced from the decimal encoding and the fundamental theorem of arithmetic. Our main contribution is the de- tailed description of two algorithms which efficiently determine the canonical formula-encodings associated with relatively large sets of consecutive integers. △ Less

Submitted 1 March, 2013; originally announced March 2013.

The devil is in Asymmetries (Rough Version)

Authors: Edinah K. Gnang, Vidit Nanda

Abstract: We formally investigate some computational obstacles to tractability of computing the variety determined by K complex polynomials in N boolean variables. We show that using algebraic methods for solving combinatorial problems, the obstacles to tractability lies in the order of magnitude of asymmetries admitted by the given system of equations. We formally investigate some computational obstacles to tractability of computing the variety determined by K complex polynomials in N boolean variables. We show that using algebraic methods for solving combinatorial problems, the obstacles to tractability lies in the order of magnitude of asymmetries admitted by the given system of equations. △ Less

Submitted 27 May, 2012; originally announced May 2012.

Computational Tutorial on Gröbner bases embedding Sage in LaTeX with SageTEX

Authors: Edinah K. Gnang

Abstract: Elementary tutorial on implementation aspects of Gröbner bases computation. Elementary tutorial on implementation aspects of Gröbner bases computation. △ Less

Submitted 5 January, 2012; originally announced January 2012.