Showing 1–22 of 22 results for author: Collins, J

Arithmetic on Continued Fractions

Authors: Michael J. Collins

Abstract: Gosper developed algorithms for adding, subtracting, multiplying, or dividing two continued fractions, and for solving quadratics with CF coefficients, getting a CF as the result. Here we present modified versions of those algorithms which avoid all difficulties with infinite loops. We have implemented these algorithms in Haskell. Gosper developed algorithms for adding, subtracting, multiplying, or dividing two continued fractions, and for solving quadratics with CF coefficients, getting a CF as the result. Here we present modified versions of those algorithms which avoid all difficulties with infinite loops. We have implemented these algorithms in Haskell. △ Less

Submitted 27 December, 2024; originally announced December 2024.

MSC Class: 05-08 (Primary) 05-01; 65Y04 (Secondary)

A penalty-free Shifted Boundary Method of arbitrary order

Authors: J. Haydel Collins, Alexei Lozinski, Guglielmo Scovazzi

Abstract: We introduce and analyze a penalty-free formulation of the Shifted Boundary Method (SBM), inspired by the asymmetric version of the Nitsche method. We prove its stability and convergence for arbitrary order finite element interpolation spaces and we test its performance with a number of numerical experiments. Moreover, while the SBM was previously believed to be only asymptotically consistent (in… ▽ More We introduce and analyze a penalty-free formulation of the Shifted Boundary Method (SBM), inspired by the asymmetric version of the Nitsche method. We prove its stability and convergence for arbitrary order finite element interpolation spaces and we test its performance with a number of numerical experiments. Moreover, while the SBM was previously believed to be only asymptotically consistent (in the sense of Galerkin orthogonality), we prove here that it is indeed exactly consistent. △ Less

Submitted 22 June, 2023; originally announced June 2023.

A Simple Proof that Major Index and Inversions are Equidistributed

Authors: Michael J. Collins

Abstract: We present a short proof of MacMahon's classic result that the number of permutations with $k$ inversions equals the number whose major index (sum of positions at which descents occur) is $k$ We present a short proof of MacMahon's classic result that the number of permutations with $k$ inversions equals the number whose major index (sum of positions at which descents occur) is $k$ △ Less

Submitted 11 July, 2022; originally announced July 2022.

MSC Class: 05A05

A posteriori Error Estimation for the Spectral Deferred Correction Method

Authors: Jehanzeb H. Chaudhry, J. B. Collins

Abstract: The spectral deferred correction method is a variant of the deferred correction method for solving ordinary differential equations. A benefit of this method is that is uses low order schemes iteratively to produce a high order approximation. In this paper we consider adjoint-based a posteriori analysis to estimate the error in a quantity of interest of the solution. This error formula is derived b… ▽ More The spectral deferred correction method is a variant of the deferred correction method for solving ordinary differential equations. A benefit of this method is that is uses low order schemes iteratively to produce a high order approximation. In this paper we consider adjoint-based a posteriori analysis to estimate the error in a quantity of interest of the solution. This error formula is derived by first developing a nodally equivalent finite element method to the spectral deferred correction method. The error formula is then split into various terms, each of which characterizes a different component of the error. These components may be used to determine the optimal strategy for changing the method parameters to best improve the error. △ Less

Submitted 6 July, 2020; v1 submitted 6 March, 2020; originally announced March 2020.

Hopf-Frobenius Algebras and a Simpler Drinfeld Double

Authors: Joseph Collins, Ross Duncan

Abstract: The zx-calculus and related theories are based on so-called interacting Frobenius algebras, where a pair of dagger-special commutative Frobenius algebras jointly form a pair of Hopf algebras. In this setting we introduce a generalisation of this structure, Hopf-Frobenius algebras, starting from a single Hopf algebra which is not necessarily commutative or cocommutative. We provide a few necessary… ▽ More The zx-calculus and related theories are based on so-called interacting Frobenius algebras, where a pair of dagger-special commutative Frobenius algebras jointly form a pair of Hopf algebras. In this setting we introduce a generalisation of this structure, Hopf-Frobenius algebras, starting from a single Hopf algebra which is not necessarily commutative or cocommutative. We provide a few necessary and sufficient conditions for a Hopf algebra to be a Hopf-Frobenius algebra, and show that every Hopf algebra in the category of finite dimensional vector spaces is a Hopf-Frobenius algebra. In addition, we show that this construction is unique up to an invertible scalar. Due to this fact, Hopf-Frobenius algebras provide two canonical notions of duality, and give us a "dual" Hopf algebra that is isomorphic to the usual dual Hopf algebra in a compact closed category. We use this isomorphism to construct a Hopf algebra isomorphic to the Drinfeld double, but has a much simpler presentation. △ Less

Submitted 1 May, 2020; v1 submitted 2 May, 2019; originally announced May 2019.

Comments: In Proceedings QPL 2019, arXiv:2004.14750

Journal ref: EPTCS 318, 2020, pp. 150-180

An unstructured finite element model for incompressible two-phase flow based on a monolithic conservative level set method

Authors: Manuel Quezada de Luna, J. Haydel Collins, Christopher E. Kees

Abstract: We present a robust numerical method for solving incompressible, immiscible two-phase flows. The method extends the monolithic phase conservative level set method with embedded redistancing by Quezada de Luna et al. [38] and a semi-implicit high-order projection scheme for variable-density flows by Guermond and Salgado [17]. The level set method can be initialized conveniently via a simple phase i… ▽ More We present a robust numerical method for solving incompressible, immiscible two-phase flows. The method extends the monolithic phase conservative level set method with embedded redistancing by Quezada de Luna et al. [38] and a semi-implicit high-order projection scheme for variable-density flows by Guermond and Salgado [17]. The level set method can be initialized conveniently via a simple phase indicator field, which is pre-processed to obtain an approximate signed distance function. To do this, we propose a new PDE-based redistancing method. We also improve the scheme in [38] to provide more accuracy and robustness in full two-phase flow simulations. Specifically, we perform an extra step to ensure convergence to the signed distance level set function and simplify other aspects of the original scheme. Lastly, we introduce consistent artificial viscosity to stabilize the momentum equations in the context of the projection scheme. This stabilization is algebraic, has no tunable parameters and is suitable for unstructured meshes and arbitrary refinement levels. The overall methodology includes few numerical tuning parameters; however, for the wide range of problems that we solve, we identify only one parameter that strongly affects performance of the computational model and provide a value that provides accurate results across all the benchmarks presented. The result is a robust, accurate, and efficient two-phase flow model, which is mass- and volume-conserving on unstructured meshes and has low user input requirements for real applications. △ Less

Submitted 16 March, 2019; originally announced March 2019.

Equivalence of OEIS A007729 and A174868

Authors: Michael J. Collins, David Wilson

Abstract: We verify the conjecture that the sixth binary partition function is equal (aside from the initial zero term) to the partial sums of the Stern-Brocot sequence. We verify the conjecture that the sixth binary partition function is equal (aside from the initial zero term) to the partial sums of the Stern-Brocot sequence. △ Less

Submitted 25 December, 2018; originally announced December 2018.

MSC Class: 05A19

An Alpern tower independent of a given partition

Authors: J. T. Campbell, J. T. Collins, R. King, S. Kalikow, R. McCutcheon

Abstract: Given a measure-preserving transformation $T$ of a probability space $(X, \mathcal B, μ)$ and a finite measurable partition $P$ of $X$, we show how to construct an Alpern tower of any height whose base is independent of the partition $P$. That is, given $N \in \N$, there exists a Rohlin tower of height $N$, with base $B$ and error set $E$, so that $B$ is independent of $P$, and $T(E) \subset B$. Given a measure-preserving transformation $T$ of a probability space $(X, \mathcal B, μ)$ and a finite measurable partition $P$ of $X$, we show how to construct an Alpern tower of any height whose base is independent of the partition $P$. That is, given $N \in \N$, there exists a Rohlin tower of height $N$, with base $B$ and error set $E$, so that $B$ is independent of $P$, and $T(E) \subset B$. △ Less

Submitted 7 June, 2018; originally announced June 2018.

Journal ref: Colloq. Math. 141 (2015), 119--124

Numerical computation of Petersson inner products and $q$-expansions

Authors: Dan J. Collins

Abstract: In this paper we discuss the problem of numerically computing Petersson inner products of modular forms, given their $q$-expansion at $\infty$. A formula of Nelson reduces this to obtaining $q$-expansions at all cusps, and we describe two algorithms based on linear interpolation for numerically obtaining such expansions. We apply our methods to numerically verify constants arising in an explicit v… ▽ More In this paper we discuss the problem of numerically computing Petersson inner products of modular forms, given their $q$-expansion at $\infty$. A formula of Nelson reduces this to obtaining $q$-expansions at all cusps, and we describe two algorithms based on linear interpolation for numerically obtaining such expansions. We apply our methods to numerically verify constants arising in an explicit version of Ichino's triple-product formula relating $\langle fg,h\rangle$ to the central value of $L(f\times g\times \bar{h},s)$, for three modular forms $f,g,h$ of compatible weights and characters. △ Less

Submitted 27 February, 2018; originally announced February 2018.

Comments: 24 pages, comments welcome. Associated SageMath code available at http://www.math.ubc.ca/~dcollins/code/index.html

MSC Class: 11F11; 11Y40; 11F67

Equivelar toroids with few flag-orbits

Authors: José Collins, Antonio Montero

Abstract: An $(n+1)$-toroid is a quotient of a tessellation of the $n$-dimensional Euclidean space with a lattice group. Toroids are generalizations of maps in the torus on higher dimensions and also provide examples of abstract polytopes. Equivelar toroids are those that are induced by regular tessellations. In this paper we present a classification of equivelar $(n+1)$-toroids with at most $n$ flag-orbits… ▽ More An $(n+1)$-toroid is a quotient of a tessellation of the $n$-dimensional Euclidean space with a lattice group. Toroids are generalizations of maps in the torus on higher dimensions and also provide examples of abstract polytopes. Equivelar toroids are those that are induced by regular tessellations. In this paper we present a classification of equivelar $(n+1)$-toroids with at most $n$ flag-orbits; in particular, we discuss a classification of $2$-orbit toroids of arbitrary dimension. △ Less

Submitted 21 February, 2018; originally announced February 2018.

MSC Class: 05-xx

Anticyclotomic p-adic L-functions and Ichino's formula

Authors: Dan J. Collins

Abstract: We give a new construction of a $p$-adic $L$-function $\mathcal{L}(f,Ξ)$, for $f$ a holomorphic newform and $Ξ$ an anticyclotomic family of Hecke characters of $\mathbb{Q}(\sqrt{-d})$. The construction uses Ichino's triple product formula to express the central values of $L(f,ξ,s)$ in terms of Petersson inner products, and then uses results of Hida to interpolate them. The resulting construction i… ▽ More We give a new construction of a $p$-adic $L$-function $\mathcal{L}(f,Ξ)$, for $f$ a holomorphic newform and $Ξ$ an anticyclotomic family of Hecke characters of $\mathbb{Q}(\sqrt{-d})$. The construction uses Ichino's triple product formula to express the central values of $L(f,ξ,s)$ in terms of Petersson inner products, and then uses results of Hida to interpolate them. The resulting construction is well-suited for studying what happens when $f$ is replaced by a modular form congruent to it modulo $p$, and has future applications in the case where $f$ is residually reducible. △ Less

Submitted 12 July, 2019; v1 submitted 20 December, 2016; originally announced December 2016.

Comments: 49 pages; Refereed version, to appear in Annales mathématiques du Québec

MSC Class: 11F67

Error Estimation for Multi-Stage Runge-Kutta IMEX Schemes

Authors: Jehanzeb H. Chaudhry, J. B. Collins, John N. Shadid

Abstract: Implicit-Explicit (IMEX) schemes are widely used for time integration methods for approximating solutions to a large class of problems. In this work, we develop accurate a posteriori error estimates of a quantity of interest for approximations obtained from multi-stage IMEX schemes. This is done by first defining a finite element method that is nodally equivalent to an IMEX scheme, then using typi… ▽ More Implicit-Explicit (IMEX) schemes are widely used for time integration methods for approximating solutions to a large class of problems. In this work, we develop accurate a posteriori error estimates of a quantity of interest for approximations obtained from multi-stage IMEX schemes. This is done by first defining a finite element method that is nodally equivalent to an IMEX scheme, then using typical methods for adjoint-based error estimation. The use of a nodally equivalent finite element method allows a decomposition of the error into multiple components, each describing the effect of a different portion of the method on the total error in a quantity of interest. △ Less

Submitted 18 October, 2016; v1 submitted 28 September, 2015; originally announced September 2015.

The Number of Distinct Subsequences of a Random Binary String

Authors: Michael J. Collins

Abstract: We determine the average number of distinct subsequences in a random binary string, and derive an estimate for the average number of distinct subsequences of a particular length. We determine the average number of distinct subsequences in a random binary string, and derive an estimate for the average number of distinct subsequences of a particular length. △ Less

Submitted 27 October, 2013; originally announced October 2013.

The concordance classification of low crossing number knots

Authors: Julia Collins, Paul Kirk, Charles Livingston

Abstract: We present the complete classification of the subgroup of the classical knot concordance group generated by knots with eight or fewer crossings. Proofs are presented in summary. We also describe extensions of this work to the case of nine crossing knots. We present the complete classification of the subgroup of the classical knot concordance group generated by knots with eight or fewer crossings. Proofs are presented in summary. We also describe extensions of this work to the case of nine crossing knots. △ Less

Submitted 28 August, 2020; v1 submitted 27 September, 2013; originally announced September 2013.

Comments: 8 pages, typographical error in Version 1 corrected

MSC Class: 57M25

Journal ref: Proc. Amer. Math. Soc. 143 (2015) 4525-4536

Models and algorithms for skip-free Markov decision processes on trees

Authors: E. J. Collins

Abstract: We introduce a class of models for multidimensional control problems which we call skip-free Markov decision processes on trees. We describe and analyse an algorithm applicable to Markov decision processes of this type that are skip-free in the negative direction. Starting with the finite average cost case, we show that the algorithm combines the advantages of both value iteration and policy itera… ▽ More We introduce a class of models for multidimensional control problems which we call skip-free Markov decision processes on trees. We describe and analyse an algorithm applicable to Markov decision processes of this type that are skip-free in the negative direction. Starting with the finite average cost case, we show that the algorithm combines the advantages of both value iteration and policy iteration -- it is guaranteed to converge to an optimal policy and optimal value function after a finite number of iterations but the computational effort required for each iteration step is comparable with that for value iteration. We show that the algorithm can also be used to solve discounted cost models and continuous time models, and that a suitably modified algorithm can be used to solve communicating models. △ Less

Submitted 8 November, 2013; v1 submitted 17 September, 2013; originally announced September 2013.

Comments: v1: 20 pages Accepted for publication subject to minor changes by the Journal of the Operational Research Society (JORS); v2: 22 pages, 1 figure, revised title, example added

Specifying attracting cycles for Newton maps of polynomials

Authors: James T. Campbell, Jared T. Collins

Abstract: We show that for any set of n distinct points in the complex plane, there exists a polynomial p of degree at most n+1 so that the corresponding Newton map, or even the relaxed Newton map, for p has the given points as a super-attracting cycle. This improves the result due to Plaza and Romero (2011), which shows how to find such a polynomial of degree 2n. Moreover we show that in general one cannot… ▽ More We show that for any set of n distinct points in the complex plane, there exists a polynomial p of degree at most n+1 so that the corresponding Newton map, or even the relaxed Newton map, for p has the given points as a super-attracting cycle. This improves the result due to Plaza and Romero (2011), which shows how to find such a polynomial of degree 2n. Moreover we show that in general one cannot improve upon degree n+1. Our methods allow us to give a simple, constructive proof of the known result that for each cycle length n at least 2 and degree d at least 3, there exists a polynomial of degree d whose Newton map has a super-attracting cycle of length n. △ Less

Submitted 28 August, 2012; originally announced August 2012.

Comments: 18 pages, 2 figures

MSC Class: 30D05; 34M03; 37F10; 39B12

On the concordance orders of knots

Authors: Julia Collins

Abstract: This thesis develops some general calculational techniques for finding the orders of knots in the topological concordance group C. The techniques currently available in the literature are either too theoretical, applying to only a small number of knots, or are designed to only deal with a specific knot. The thesis builds on the results of Herald, Kirk and Livingston [HKL10] and Tamulis [Tam02] to… ▽ More This thesis develops some general calculational techniques for finding the orders of knots in the topological concordance group C. The techniques currently available in the literature are either too theoretical, applying to only a small number of knots, or are designed to only deal with a specific knot. The thesis builds on the results of Herald, Kirk and Livingston [HKL10] and Tamulis [Tam02] to give a series of criteria, using twisted Alexander polynomials, for determining whether a knot is of infinite order in C. There are two immediate applications of these theorems. The first is to give the structure of the subgroups of the concordance group C and the algebraic concordance group G generated by the prime knots of 9 or fewer crossings. This should be of practical value to the knot-theoretic community, but more importantly it provides interesting examples of phenomena both in the algebraic and geometric concordance groups. The second application is to find the concordance orders of all prime knots with up to 12 crossings. At the time of writing of this thesis, there are 325 such knots listed as having unknown concordance order. The thesis includes the computation of the orders of all except two of these. In addition to using twisted Alexander polynomials to determine the concordance order of a knot, a theorem of Cochran, Orr and Teichner [COT03] is applied to prove that the n-twisted doubles of the unknot are not slice for n not 0 or 2. This technique involves analysing the `second-order' invariants of a knot; that is, slice invariants (in this case, signatures) of a set of metabolising curves on a Seifert surface for the knot. The thesis extends the result to provide a set of criteria for the n-twisted double of a general knot K to be slice; that is, of order 0 in C. △ Less

Submitted 4 June, 2012; originally announced June 2012.

Comments: 146 pages, full PhD thesis

MSC Class: 57M25; 57Q60

Frobenius polytopes

Authors: John Collins, David Perkinson

Abstract: A real representation of a finite group naturally determines a polytope, generalizing the well-known Birkhoff polytope. This paper determines the structure of the polytope corresponding to the natural permutation representation of a general Frobenius group. A real representation of a finite group naturally determines a polytope, generalizing the well-known Birkhoff polytope. This paper determines the structure of the polytope corresponding to the natural permutation representation of a general Frobenius group. △ Less

Submitted 4 February, 2011; originally announced February 2011.

Comments: 6 pages

MSC Class: 52B12

The L^2 signature of torus knots

Authors: Julia Collins

Abstract: We find a formula for the L2 signature of a (p,q) torus knot, which is the integral of the omega-signatures over the unit circle. We then apply this to a theorem of Cochran-Orr-Teichner to prove that the n-twisted doubles of the unknot, for n not 0 or 2, are not slice. This is a new proof of the result first proved by Casson and Gordon. We find a formula for the L2 signature of a (p,q) torus knot, which is the integral of the omega-signatures over the unit circle. We then apply this to a theorem of Cochran-Orr-Teichner to prove that the n-twisted doubles of the unknot, for n not 0 or 2, are not slice. This is a new proof of the result first proved by Casson and Gordon. △ Less

Submitted 25 June, 2010; v1 submitted 8 January, 2010; originally announced January 2010.

Comments: 11 pages, Version 2 contains a note explaining that the main theorem of the paper has already been proved in earlier work by Kirby and Melvin

MSC Class: 57M25; 57M27

Intersections of conjugates of Magnus subgroups of one-relator groups

Authors: Donald J Collins

Abstract: In the theory of one-relator groups, Magnus subgroups, which are free subgroups obtained by omitting a generator that occurs in the given relator, play an essential structural role. In a previous article, the author proved that if two distinct Magnus subgroups M and N of a one-relator group, with free bases S and T are given, then the intersection of M and N is either the free subgroup P generat… ▽ More In the theory of one-relator groups, Magnus subgroups, which are free subgroups obtained by omitting a generator that occurs in the given relator, play an essential structural role. In a previous article, the author proved that if two distinct Magnus subgroups M and N of a one-relator group, with free bases S and T are given, then the intersection of M and N is either the free subgroup P generated by the intersection of S and T or the free product of P with an infinite cyclic group. The main result of this article is that if M and N are Magnus subgroups (not necessarily distinct) of a one-relator group G and g and h are elements of G, then either the intersection of gMg^{-1} and hNh^{-1} is cyclic (and possibly trivial), or gh^{-1} is an element of NM in which case the intersection is a conjugate of the intersection of M and N. △ Less

Submitted 21 April, 2009; v1 submitted 8 April, 2009; originally announced April 2009.

Comments: This is the version published by Geometry & Topology Monographs on 29 April 2008. V2: typographical corrections

MSC Class: 20F05

Journal ref: Geom. Topol. Monogr. 14 (2008) 135-171

Gluing stability conditions

Authors: John Collins, Alexander Polishchuk

Abstract: We define and study a gluing procedure for Bridgeland stability conditions in the situation when a triangulated category has a semiorthogonal decomposition. As an application we construct stability conditions on the derived categories of ${\mathbb{Z}}_2$-equivariant sheaves associated with ramified double coverings of ${\mathbb{P}}^3$. Also, we study the stability space for the derived category… ▽ More We define and study a gluing procedure for Bridgeland stability conditions in the situation when a triangulated category has a semiorthogonal decomposition. As an application we construct stability conditions on the derived categories of ${\mathbb{Z}}_2$-equivariant sheaves associated with ramified double coverings of ${\mathbb{P}}^3$. Also, we study the stability space for the derived category of ${\mathbb{Z}}_2$-equivariant coherent sheaves on a smooth curve $X$, associated with a degree 2 map $X\to Y$, where $Y$ is another smooth curve. In the case when the genus of $Y$ is $\geq 1$ we give a complete description of the stability space. △ Less

Submitted 13 May, 2010; v1 submitted 2 February, 2009; originally announced February 2009.

Comments: 31 pages, v2: a minor mistake corrected, v3: added the identification of the Riemann surface appearing in the description of our stability spaces (using a result of Nevanlinna)

Modular analogues of Jordan's theorem for finite linear groups

Authors: Michael J. Collins

Abstract: In 1878, Jordan showed that a finite subgroup of GL(n,C) contains an abelian normal subgroup whose index is bounded by a function of n alone. Previously, the author has given precise bounds. Here, we consider analogues for finite linear groups over algebraically closed fields of positive characteristic l. A larger normal subgroup must be taken, to eliminate unipotent subgroups and groups of Lie… ▽ More In 1878, Jordan showed that a finite subgroup of GL(n,C) contains an abelian normal subgroup whose index is bounded by a function of n alone. Previously, the author has given precise bounds. Here, we consider analogues for finite linear groups over algebraically closed fields of positive characteristic l. A larger normal subgroup must be taken, to eliminate unipotent subgroups and groups of Lie type and characteristic l, and we show that generically the bound is similar to that in characteristic 0 - being (n+1)!, or (n+2)! when l divides (n+2) - given by the faithful representations of minimal degree of the symmetric groups. A complete answer for the optimal bounds is given for all degrees n and every characteristic l. △ Less

Submitted 20 September, 2007; originally announced September 2007.

Comments: 42 pages. To appear in J. reine angew. Math

MSC Class: 20C20; 20C33; 20D25