Searcharxiv⌕ Search

arXiv subjects

David Cushing

Publications and source records attributed to David Cushing.

23 records · Page 2Linked to original sources

Ollivier-Ricci idleness functions of graphs

We study the Ollivier-Ricci curvature of graphs as a function of the chosen idleness. We show that this idleness function is concave and piecewise linear with at most $3$ linear parts, with at most $2$ linear parts in the case of a regular graph. We then apply our result to show that the idleness function of the Cartesian product of two regular graphs is completely determined by the idleness functions of the factors.

math.CO↗

The additive structure of the squares inside rings

When defining the amount of additive structure on a set it is often convenient to consider certain sumsets; Calculating the cardinality of these sumsets can elucidate the set's underlying structure. We begin by investigating finite sets of perfect squares and associated sumsets. We reveal how arithmetic progressions efficiently reduce the cardinality of sumsets and provide estimates for the minimum size, taking advantage of the additive structure that arithmetic progressions provide. We then generalise the problem to arbitrary rings and achieve satisfactory estimates for the case of squares in finite fields of prime order. Finally, for sufficiently small finite fields we computationally calculate the minimum for all prime orders.

math.CO↗

Powerful numbers and the ABC-conjecture

The $abc$ conjecture is a very deep concept in number theory with wide application to many areas of number theory. In this article we introduce the conjecture and give examples of its applications. In particular we apply the $abc$ conjecture to the location of powerful numbers.

math.NT↗

Free functions with symmetry

In 1936, Margarete C. Wolf showed that the ring of symmetric free polynomials in two or more variables is isomorphic to the ring of free polynomials in infinitely many variables. We show that Wolf's theorem is a special case of a general theory of the ring of invariant free polynomials: every ring of invariant free polynomials is isomorphic to a free polynomial ring. Furthermore, we show that this isomorphism extends to the free functional calculus as a norm-preserving isomorphism of function spaces on a domain known as the row ball. We give explicit constructions of the ring of invariant free polynomials in terms of representation theory and develop a rudimentary theory of their structures. Specifically, we obtain a generating function for the number of basis elements of a given degree and explicit formulas for good bases in the abelian case.

math.FA↗

Projectivity of Banach and $C^*$-algebras of continuous fields

We give necessary and sufficient conditions for the left projectivity and biprojectivity of Banach algebras defined by locally trivial continuous fields of Banach algebras. We identify projective $C^*$-algebras $\A$ defined by locally trivial continuous fields $\mathcal{U} = \{Ω,(A_t)_{t \in Ω},Θ\}$ such that each $C^*$-algebra $ A_{t}$ has a strictly positive element. For a commutative $C^*$-algebra $\D$ contained in ${\cal B}(H)$, where $H$ is a separable Hilbert space, we show that the condition of left projectivity of $\D$ is equivalent to the existence of a strictly positive element in $\D$ and so to the spectrum of $\D$ being a Lindel$\ddot{\rm o}$f space.

math.FA↗