Showing 1–8 of 8 results for author: Smith, B R

Hamilton decompositions of line graphs

Authors: Darryn Bryant, Sara Herke, Barbara Maenhaut, Benjamin R. Smith

Abstract: It is proved that if a graph is regular of even degree and contains a Hamilton cycle, or regular of odd degree and contains a Hamiltonian $3$-factor, then its line graph is Hamilton decomposable. This result partially extends Kotzig's result that a $3$-regular graph is Hamiltonian if and only if its line graph is Hamilton decomposable, and proves the conjecture of Bermond that the line graph of a… ▽ More It is proved that if a graph is regular of even degree and contains a Hamilton cycle, or regular of odd degree and contains a Hamiltonian $3$-factor, then its line graph is Hamilton decomposable. This result partially extends Kotzig's result that a $3$-regular graph is Hamiltonian if and only if its line graph is Hamilton decomposable, and proves the conjecture of Bermond that the line graph of a Hamilton decomposable graph is Hamilton decomposable. △ Less

Submitted 2 December, 2020; originally announced December 2020.

Comments: 106 pages

MSC Class: 05C70 (Primary); 05C51 (Secondary)

On Hamilton Decompositions of Line Graphs of Non-Hamiltonian Graphs and Graphs without Separating Transitions

Authors: Darryn Bryant, Barbara Maenhaut, Benjamin R. Smith

Abstract: In contrast with Kotzig's result that the line graph of a $3$-regular graph $X$ is Hamilton decomposable if and only if $X$ is Hamiltonian, we show that for each integer $k\geq 4$ there exists a simple non-Hamiltonian $k$-regular graph whose line graph has a Hamilton decomposition. We also answer a question of Jackson by showing that for each integer $k\geq 3$ there exists a simple connected $k$-r… ▽ More In contrast with Kotzig's result that the line graph of a $3$-regular graph $X$ is Hamilton decomposable if and only if $X$ is Hamiltonian, we show that for each integer $k\geq 4$ there exists a simple non-Hamiltonian $k$-regular graph whose line graph has a Hamilton decomposition. We also answer a question of Jackson by showing that for each integer $k\geq 3$ there exists a simple connected $k$-regular graph with no separating transitions whose line graph has no Hamilton decomposition. △ Less

Submitted 16 October, 2017; originally announced October 2017.

MSC Class: 05C45; 05C51; 05C70

Constructing minimal periods of quadratic irrationalities in Zagier's reduction theory

Authors: Barry R. Smith

Abstract: Dirichlet's version of Gauss's reduction theory for indefinite binary quadratic forms includes a map from Gauss-reduced forms to strings of natural numbers. It attaches to a form the minimal period of the continued fraction of a quadratic irrationality associated with the form. When Zagier developed his own reduction theory, parallel to Dirichlet's, he omitted an analogue of this map. We define a… ▽ More Dirichlet's version of Gauss's reduction theory for indefinite binary quadratic forms includes a map from Gauss-reduced forms to strings of natural numbers. It attaches to a form the minimal period of the continued fraction of a quadratic irrationality associated with the form. When Zagier developed his own reduction theory, parallel to Dirichlet's, he omitted an analogue of this map. We define a new map on Zagier-reduced forms that serves as this analogue. We also define a map from the set of Gauss-reduced forms into the set of Zagier-reduced forms that gives a near-embedding of the structure of Gauss's reduction theory into that of Zagier's. From this perspective, Zagier-reduction becomes a refinement of Gauss-reduction. △ Less

Submitted 12 October, 2017; v1 submitted 6 March, 2017; originally announced March 2017.

Comments: 23 pages

MSC Class: 11E16

Decompositions of complete multigraphs into cycles of varying lengths

Authors: Darryn Bryant, Daniel Horsley, Barbara Maenhaut, Benjamin R. Smith

Abstract: We establish necessary and sufficient conditions for the existence of a decomposition of a complete multigraph into edge-disjoint cycles of specified lengths, or into edge-disjoint cycles of specified lengths and a perfect matching. We establish necessary and sufficient conditions for the existence of a decomposition of a complete multigraph into edge-disjoint cycles of specified lengths, or into edge-disjoint cycles of specified lengths and a perfect matching. △ Less

Submitted 3 August, 2015; originally announced August 2015.

MSC Class: 05C51 (Primary); 05B30; 05C38 (Secondary)

New algorithms for modular inversion and representation by binary quadratic forms arising from structure in the Euclidean algorithm

Authors: Christina Doran, Shen Lu, Barry R. Smith

Abstract: We observe structure in the sequences of quotients and remainders of the Euclidean algorithm with two families of inputs. Analyzing the remainders, we obtain new algorithms for computing modular inverses and representating prime numbers by the binary quadratic form $x^2 + 3xy + y^2$. The Euclidean algorithm is commenced with inputs from one of the families, and the first remainder less than a pred… ▽ More We observe structure in the sequences of quotients and remainders of the Euclidean algorithm with two families of inputs. Analyzing the remainders, we obtain new algorithms for computing modular inverses and representating prime numbers by the binary quadratic form $x^2 + 3xy + y^2$. The Euclidean algorithm is commenced with inputs from one of the families, and the first remainder less than a predetermined size produces the modular inverse or representation. △ Less

Submitted 6 May, 2015; v1 submitted 20 August, 2014; originally announced August 2014.

Comments: 11 pages

Journal ref: Involve 10 (2017) 541-554

Reducing quadratic forms by kneading sequences

Authors: Barry R. Smith

Abstract: We introduce an invertible operation on finite sequences of positive integers and call it "kneading". Kneading preserves three invariants of sequences -- the parity of the length, the sum of the entries, and one we call the "alternant". We provide a bijection between the set of sequences with alternant $a$ and parity $s$ and the set of Zagier-reduced indefinite binary quadratic forms with discrimi… ▽ More We introduce an invertible operation on finite sequences of positive integers and call it "kneading". Kneading preserves three invariants of sequences -- the parity of the length, the sum of the entries, and one we call the "alternant". We provide a bijection between the set of sequences with alternant $a$ and parity $s$ and the set of Zagier-reduced indefinite binary quadratic forms with discriminant $a^2 + (-1)^s \cdot 4$, and show that kneading corresponds to Zagier reduction of the corresponding forms. It follows that the sum of a sequence is a class invariant of the corresponding form. We conclude with some observations and conjectures concerning this new invariant. △ Less

Submitted 8 December, 2014; v1 submitted 20 August, 2014; originally announced August 2014.

Comments: 15 pages

Journal ref: J. Integer Seq. 17 (2014) article 14.11.8,

End-symmetric continued fractions and quadratic congruences

Authors: Barry R. Smith

Abstract: We show that for a fixed integer $n \neq \pm2$, the congruence $x^2 + nx \pm 1 \equiv 0 \pmodα$ has the solution $β$ with $0 < β< α$ if and only if $α/β$ has a continued fraction expansion with sequence of quotients having one of a finite number of possible asymmetry types. This generalizes the old theorem that a rational number $α/β> 1$ in lowest terms has a symmetric continued fraction precisely… ▽ More We show that for a fixed integer $n \neq \pm2$, the congruence $x^2 + nx \pm 1 \equiv 0 \pmodα$ has the solution $β$ with $0 < β< α$ if and only if $α/β$ has a continued fraction expansion with sequence of quotients having one of a finite number of possible asymmetry types. This generalizes the old theorem that a rational number $α/β> 1$ in lowest terms has a symmetric continued fraction precisely when $β^2 \equiv \pm 1 \pmodα$. △ Less

Submitted 8 December, 2014; v1 submitted 29 June, 2014; originally announced June 2014.

Comments: 15 pages

The remainders of the Euclidean algorithm with symmetric quotients

Authors: Barry R. Smith

Abstract: When the Euclidean algorithm produces a symmetric sequence of quotients, we give explicit formulas for the remainders that allow the analysis of two families of quadratic forms in the remainders. When the Euclidean algorithm produces a symmetric sequence of quotients, we give explicit formulas for the remainders that allow the analysis of two families of quadratic forms in the remainders. △ Less

Submitted 5 February, 2014; v1 submitted 13 July, 2013; originally announced July 2013.

Comments: 6 pages

MSC Class: 11A55 (primary) 11A05 (secondary)