A proof of the Graham Sloane conjecture
We settle in the affirmative the Graham-Sloane conjecture.
Source author record
Edinah K. Gnang
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
ResearcherUnclaimed source record
Catalog footprint
Research overview
21works
11topics
4close collaborators
Published work
21 publications
preprint2022arXiv
On The Composition Lemma
We describe two distinct simple, short and self contained proofs of the composition lemma.
Open access
preprint2020arXiv
A symmetrization approach to hypermatrix SVD
We propose a new hypermatrix singular value decomposition based upon the spectral decomposition of the symmetric products of transposes.
Open access
preprint2020arXiv
Growing Graceful and Harmonious Trees
We describe symbolic constructions for listing and enumerating graphs having the same induced edge label sequence. We settle in the affirmative R. Whitty's [W08] conjectured existence of determinantal constructions for listing and enumerating gracefully labeled trees. We conclude the paper with a description of a new graceful labeling algorithm.
Open access
preprint2020arXiv
On graceful labelings of trees
We prove via a composition lemma, the Kotzig-Ringel-Rosa conjecture, better known as the Graceful Labeling Conjecture. We also prove via a stronger version of the composition lemma a stronger form of the Graceful Labeling Conjecture.
Open access
preprint2016arXiv
On the spectra of hypermatrix direct sum and Kronecker products constructions
Our main result is an elementary derivation of the spectral decomposition of hypermatrices generated by arbitrary combinations of Kronecker products and direct sums of cubic side length 2
Open access
preprint2015arXiv
A combinatorial approach to the algebra of hypermatrices
We present two hypermatrix formulations of the Cayley Hamilton theorem. One of the proposed formulation naturally extends to hypermatrices the combinatorial interpretations of the classical Cayley Hamilton theorem. We conclude by discussing an application of the theorem to computing graph invariants which distinguish some non-isomorphic graphs with isospectral adjacency matrices.
Open access
preprint2015arXiv
Approximating the spectrum of matrices and hypermatrices
We describe a general approach for computing generators for elimination ideals associated with matrix and hypermatrix spectral decomposition constraints. We derive from these generators iterative procedures for approximating the spectral decomposition of matrices and hypermatrices.
Open access
preprint2014arXiv
A SageTeX Hypermatrix Algebra Package
We describe here a rudimentary sage implementation of the Bhattacharya-Mesner hypermatrix algebra package.
Open access
preprint2014arXiv
Computational Aspects of the Combinatorial Nullstellensatz Method
We discuss here some computational aspects of the Combinatorial Nullstellensatz argument. Our main result shows that the order of magnitude of the symmetry group associated with permutations of the variables in algebraic constraints, determines the performance of algorithms naturally deduced from Alon's Combinatorial Nullstellensatz arguments. Finally we present a primal-dual polynomial constructions for certifying the existence or the non-existence of solutions to combinatorial problems.
Open access
preprint2014arXiv
Computing Spectral Elimination Ideals
We present here an overview of the hypermatrix spectral decomposition deduced from the Bhattacharya-Mesner hypermatrix algebra. We describe necessary and sufficient conditions for the existence of a spectral decomposition. We further extend to hypermatrices the notion of resolution of identity and use them to derive hypermatrix analog of matrix spectral bounds. Finally we describe an algorithm for computing generators of the spectral elimination ideals which considerably improves on Groebner basis computation suggested in.
Open access
preprint2014arXiv
Counting arithmetic formulas
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.
Open access
preprint2014arXiv
Integer formula encoding SageTeX package
The paper describes a SageTeX implementation of an integer encoding procedures.
Open access
preprint2013arXiv
Some integer formula-encodings and related algorithms
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.
Open access
preprint2013arXiv
Zeroless Arithmetic: Representing Integers ONLY using ONE
We use recurrence equations (alias difference equations) to enumerate the number of formula-representations of positive integers using only addition and multiplication, and using addition, multiplication, and exponentiation, where all the inputs are ones. We also describe efficient algorithms for the random generation of such representations, and use Dynamical Programming to find a shortest possible formula representing any given positive integer.
Open access
preprint2012arXiv
Combinatorial Constructions for Sifting Primes and Enumerating the Rationals
We describe a combinatorial approach for investigating properties of rational numbers. The overall approach rests on structural bijections between rational numbers and familiar combinatorial objects, namely rooted trees. We emphasize that such mappings achieve much more than enumeration of rooted trees. We discuss two related structural bijections. The first corresponds to a bijective map between integers and rooted trees. The first bijection also suggests a new algorithm for sifting primes. The second bijection extends the first one in order to map rational numbers to a family of rooted trees. The second bijection suggests a new combinatorial construction for generating reduced rational numbers, thereby producing refinements of the output of the Wilf-Calkin[1] Algorithm.
Open access
preprint2012arXiv
Computational Tutorial on Gröbner bases embedding Sage in LaTeX with SageTEX
Elementary tutorial on implementation aspects of Gröbner bases computation.
Open access
preprint2012arXiv
Special bases for the vector space of square matrices
We describe families of complete orthogonal bases of full rank matrices which span the vector spaces of square matrices. The proposed bases generalise non-trivially the Pauli matrice while shedding light on their algebraic properties. Finally we introduce the notion k -pseudo-closure for orthogonal bases spanning vector subspaces of square matrices and discuss their connections with hadamard matrices.
Open access
preprint2012arXiv
The devil is in Asymmetries (Rough Version)
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.
Open access
preprint2011arXiv
A Spectral Theory for Tensors
In this paper we propose a general spectral theory for tensors. Our proposed factorization decomposes a tensor into a product of orthogonal and scaling tensors. At the same time, our factorization yields an expansion of a tensor as a summation of outer products of lower order tensors . Our proposed factorization shows the relationship between the eigen-objects and the generalised characteristic polynomials. Our framework is based on a consistent multilinear algebra which explains how to generalise the notion of matrix hermicity, matrix transpose, and most importantly the notion of orthogonality. Our proposed factorization for a tensor in terms of lower order tensors can be recursively applied so as to naturally induces a spectral hierarchy for tensors.
Open access
preprint2011arXiv
Experimental Number Theory, Part I : Tower Arithmetic
We introduce in this section an Algebraic and Combinatorial approach to the theory of Numbers. The approach rests on the observation that numbers can be identified with familiar combinatorial objects namely rooted trees, which we shall here refer to as towers. The bijection between numbers and towers provides some insights into unexpected connexions between Number theory, combinatorics and discrete probability theory.
Open access
Research graph
See the researcher in context
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
Building this map preview
BZPEER is loading the nearby papers, people, topics and institutions for this page.