Researcher profile

Trueman MacHenry

Trueman MacHenry contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

math.NT

Trust snapshot

Quick read

Trust 15 - Baseline

3works

0followers

1topics

2close collaborators

Actions

Decide how to stay connected

Follow researcher0

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.

preprint2015arXiv

Rational Convolution Roots of Isobaric Polynomials

In this paper, we exhibit two matrix representations of the rational roots of generalized Fibonacci polynomials (GFPs) under convolution product, in terms of determinants and permanents, respectively. The underlying root formulas for GFPs and for weighted isobaric polynomials (WIPs), which appeared in an earlier paper by MacHenry and Tudose, make use of two types of operators. These operators are derived from the generating functions for Stirling numbers of the first kind and second kind. Hence we call them Stirling operators. To construct matrix representations of the roots of GFPs, we use the Stirling operators of the first kind. We give explicit examples to show how the Stirling operators of the second kind appear in the low degree cases for the WIP-roots. As a consequence of the matrix construction, we have matrix representations of multiplicative arithmetic functions under the Dirichlet product into its divisible closure.

preprint2012arXiv

Permanents, Determinants, Weighted Isobaric Polynomials and Integer Sequences

In this paper we construct two types of Hessenberg matrices with the properties that every weighted isobaric polynomial (WIP) appears as a determinant of one of them, and as the permanent of the other. Every integer sequence which is linearly recurrent is representable by (an evaluation of) some linearly recurrent sequence of WIPs. WIPs are symmetric polynomials written on the elementary symmetric polynomial basis. Among them are the generalized Fibonacci polynomials and the generalized Lucas polynomials, which already have these sweeping representing properties. Among the integer sequences discussed are the Chebychev polynomials of the 2nd kind, the Stirling numbers of the 1st and 2nd kind, the Catalan numbers, and the triangular numbers, as well as all sequences which are either multiplicative arithmetic functions or additive arithmetic functions.

preprint2010arXiv

The Convolution Ring of Arithmetic Functions and Symmetric Polynomials

Inspired by Rearick (1968), we introduce two new operators, LOG and EXP. The LOG operates on generalized Fibonacci polynomials giving generalized Lucas polynomials. The EXP is the inverse of LOG. In particular, LOG takes a convolution product of generalized Fibonacci polynomials to a sum of generalized Lucas polynomials and EXP takes the sum to the convolution product. We use this structure to produce a theory of logarithms and exponentials within arithmetic functions giving another proof of the fact that the group of multiplicative functions under convolution product is isomorphic to the group of additive functions under addition. The hyperbolic trigonometric functions are constructed from the EXP operator, again, in the usual way. The usual hyperbolic trigonometric identities hold. We exhibit new structure and identities in the isobaric ring. Given a monic polynomial, its infinite companion matrix can be embedded in the group of weighted isobaric polynomials. The derivative of the monic polynomial and its companion matrix give us the different matrix and the infinite different matrix. The determinant of the different matrix is the discriminate of the monic polynomial up to sign. In fact, the LOG operating on the infinite companion matrix is the infinite different matrix. We prove that an arithmetic function is locally representable if an only if it is a multiplicative function. An arithmetic function is both locally and globally representable if it is trivially globally represented.