A proof of the Graham Sloane conjecture
We settle in the affirmative the Graham-Sloane conjecture.
Researcher profile
Edinah K. Gnang
Edinah K. Gnang contributes to research discovery and scholarly infrastructure.
ResearcherAffiliation not importedOpen to collaborate
Trust snapshot
Quick read
Trust 21 - EmergingVerification L1Unclaimed author
15works
0followers
10topics
4close collaborators
Actions
Decide how to stay connected
Identity and collaboration
How to connect with this researcher
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Open a focused conversation when the fit is right
Claim this author entity first to unlock direct invitations.
Research graph
See the researcher in context
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
Building this graph slice
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
15 published item(s)
preprint2022arXiv
On The Composition Lemma
We describe two distinct simple, short and self contained proofs of the composition lemma.
0 citations0 reviewsNo code linkedOpen 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.
0 citations0 reviewsNo code linkedOpen 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.
0 citations0 reviewsNo code linkedOpen 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.
0 citations0 reviewsNo code linkedOpen 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.
0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv
Integer formula encoding SageTeX package
The paper describes a SageTeX implementation of an integer encoding procedures.
0 citations0 reviewsNo code linkedOpen 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.
0 citations0 reviewsNo code linkedOpen 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.
0 citations0 reviewsNo code linkedOpen 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.
0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv
Computational Tutorial on Gröbner bases embedding Sage in LaTeX with SageTEX
Elementary tutorial on implementation aspects of Gröbner bases computation.
0 citations0 reviewsNo code linkedOpen 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.
0 citations0 reviewsNo code linkedOpen 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.
0 citations0 reviewsNo code linkedOpen 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.
0 citations0 reviewsNo code linkedOpen 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.
0 citations0 reviewsNo code linkedOpen access