-
Commutators of n-cycles in the symmetric group
Authors:
Philipp Bader
Abstract:
We show that for $n \ge 6$ every even permutation on $n$ symbols is the commutator of two $n$-cycles. More precisely, let $S_n$ be the symmetric group and $A_n$ the alternating group. Let $C(n) \subset S_n$ denote the conjugacy class of $n$-cycles and $[\cdot, \cdot]$ be the commutator of two permutations. We prove: The map $C(n) \times C(n) \to A_n, \ (τ, π) \mapsto [τ, π]$ is surjective for all…
▽ More
We show that for $n \ge 6$ every even permutation on $n$ symbols is the commutator of two $n$-cycles. More precisely, let $S_n$ be the symmetric group and $A_n$ the alternating group. Let $C(n) \subset S_n$ denote the conjugacy class of $n$-cycles and $[\cdot, \cdot]$ be the commutator of two permutations. We prove: The map $C(n) \times C(n) \to A_n, \ (τ, π) \mapsto [τ, π]$ is surjective for all $n \ge 6$.
△ Less
Submitted 26 September, 2025;
originally announced September 2025.
-
Comparing Teichmüller and curve graph translation lengths
Authors:
Philipp Bader
Abstract:
A pseudo-Anosov mapping class acts on Teichmüller space $\mathcal{T}$ as well as on the curve graph $\mathcal{C}$ with so called north-south dynamics. We can measure a stable translation length $l_\mathcal{T}$ and $l_\mathcal{C}$ of the respective actions. Boissy and Lanneau compute the minimal Teichmüller translation length over all pseudo Anosovs in a fixed genus that lie in a hyperelliptic comp…
▽ More
A pseudo-Anosov mapping class acts on Teichmüller space $\mathcal{T}$ as well as on the curve graph $\mathcal{C}$ with so called north-south dynamics. We can measure a stable translation length $l_\mathcal{T}$ and $l_\mathcal{C}$ of the respective actions. Boissy and Lanneau compute the minimal Teichmüller translation length over all pseudo Anosovs in a fixed genus that lie in a hyperelliptic component of translation surfaces. In particular, this minimum is always greater than $\log(\sqrt{2}),$ independently of the genus. Here, we show that the minimal stable curve graph translation length over the same family of pseudo-Anosovs behaves differently: Namely, for a genus $g$ surface this minimal translation length is of order $\frac{1}{g}.$ To prove this result, we combine techniques that are used to find upper and lower bounds for the stable curve graph translation length with the Rauzy-Veech induction machinery.
We proceed with showing that for a fixed genus $g$ there is a sequence of pseudo-Anosovs $f_n$ with
$$\lim\limits_{n \to \infty} l_\mathcal{T}(f_n) = \infty \text{ and } l_\mathcal{C}(f_n) \le \frac{1}{g-1}$$ for all $n \in \mathbb{N}.$ As a corollary, we obtain that there are stable curve graph translation lengths with infinite multiplicity, i.e. there exists $q \in \mathbb{Q}$ and infinitely many, non-conjugate pseudo-Anosovs $f_n$ with $l_\mathcal{C}(f_n) = q$ for all $n.$
△ Less
Submitted 30 July, 2025; v1 submitted 27 January, 2025;
originally announced January 2025.
-
Prym Representations of the Handlebody Group
Authors:
Philipp Bader
Abstract:
Let $S$ be an oriented, closed surface of genus $g.$ The mapping class group of $S$ is the group of orientation preserving homeomorphisms of $S$ modulo isotopy. In 1997, Looijenga introduced the Prym representations, which are virtual representations of the mapping class group that depend on a finite, abelian group. Let $V$ be a genus $g$ handlebody with boundary $S$. The handlebody group is the s…
▽ More
Let $S$ be an oriented, closed surface of genus $g.$ The mapping class group of $S$ is the group of orientation preserving homeomorphisms of $S$ modulo isotopy. In 1997, Looijenga introduced the Prym representations, which are virtual representations of the mapping class group that depend on a finite, abelian group. Let $V$ be a genus $g$ handlebody with boundary $S$. The handlebody group is the subgroup of those mapping classes of $S$ that extend over $V.$ The twist group is the subgroup of the handlebody group generated by twists about meridians. Here, we restrict the Prym representations to the handlebody group and further to the twist group. We determine the image of the representations in the cyclic case.
△ Less
Submitted 28 March, 2024; v1 submitted 27 August, 2023;
originally announced August 2023.
-
An efficient algorithm to compute the exponential of skew-Hermitian matrices for the time integration of the Schrödinger equation
Authors:
Philipp Bader,
Sergio Blanes,
Fernando Casas,
Muaz Seydaoğlu
Abstract:
We present a practical algorithm to approximate the exponential of skew-Hermitian matrices up to round-off error based on an efficient computation of Chebyshev polynomials of matrices and the corresponding error analysis. It is based on Chebyshev polynomials of degrees 2, 4, 8, 12 and 18 which are computed with only 1, 2, 3, 4 and 5 matrix-matrix products, respectively. For problems of the form…
▽ More
We present a practical algorithm to approximate the exponential of skew-Hermitian matrices up to round-off error based on an efficient computation of Chebyshev polynomials of matrices and the corresponding error analysis. It is based on Chebyshev polynomials of degrees 2, 4, 8, 12 and 18 which are computed with only 1, 2, 3, 4 and 5 matrix-matrix products, respectively. For problems of the form $\exp(-iA)$, with $A$ a real and symmetric matrix, an improved version is presented that computes the sine and cosine of $A$ with a reduced computational cost. The theoretical analysis, supported by numerical experiments, indicates that the new methods are more efficient than schemes based on rational Padé approximants and Taylor polynomials for all tolerances and time interval lengths. The new procedure is particularly recommended to be used in conjunction with exponential integrators for the numerical time integration of the Schrödinger equation.
△ Less
Submitted 7 December, 2021; v1 submitted 18 March, 2021;
originally announced March 2021.
-
Computing the matrix sine and cosine simultaneously with a reduced number of products
Authors:
Muaz Seydaoglu,
Philipp Bader,
Sergio Blanes,
Fernando Casas
Abstract:
A new procedure is presented for computing the matrix cosine and sine simultaneously by means of Taylor polynomial approximations. These are factorized so as to reduce the number of matrix products involved. Two versions are developed to be used in single and double precision arithmetic. The resulting algorithms are more efficient than schemes based on Padé approximations for a wide range of norm…
▽ More
A new procedure is presented for computing the matrix cosine and sine simultaneously by means of Taylor polynomial approximations. These are factorized so as to reduce the number of matrix products involved. Two versions are developed to be used in single and double precision arithmetic. The resulting algorithms are more efficient than schemes based on Padé approximations for a wide range of norm matrices.
△ Less
Submitted 1 October, 2020;
originally announced October 2020.
-
Efficient time integration methods for Gross--Pitaevskii equations with rotation term
Authors:
Philipp Bader,
Sergio Blanes,
Fernando Casas,
Mechthild Thalhammer
Abstract:
The objective of this work is the introduction and investigation of favourable time integration methods for the Gross--Pitaevskii equation with rotation term. Employing a reformulation in rotating Lagrangian coordinates, the equation takes the form of a nonlinear Schr{ö}dinger equation involving a space-time-dependent potential. A natural approach that combines commutator-free quasi-Magnus exponen…
▽ More
The objective of this work is the introduction and investigation of favourable time integration methods for the Gross--Pitaevskii equation with rotation term. Employing a reformulation in rotating Lagrangian coordinates, the equation takes the form of a nonlinear Schr{ö}dinger equation involving a space-time-dependent potential. A natural approach that combines commutator-free quasi-Magnus exponential integrators with operator splitting methods and Fourier spectral space discretisations is proposed. Furthermore, the special structure of the Hamilton operator permits the design of specifically tailored schemes. Numerical experiments confirm the good performance of the resulting exponential integrators.
△ Less
Submitted 26 October, 2019;
originally announced October 2019.
-
Exponential propagators for the Schrödinger equation with a time-dependent potential
Authors:
Philipp Bader,
Sergio Blanes,
Nikita Kopylov
Abstract:
We consider the numerical integration of the Schrödinger equation with a time-dependent Hamiltonian given as the sum of the kinetic energy and a time-dependent potential. Commutator-free (CF) propagators are exponential propagators that have shown to be highly efficient for general time-dependent Hamiltonians. We propose new CF propagators that are tailored for Hamiltonians of said structure, show…
▽ More
We consider the numerical integration of the Schrödinger equation with a time-dependent Hamiltonian given as the sum of the kinetic energy and a time-dependent potential. Commutator-free (CF) propagators are exponential propagators that have shown to be highly efficient for general time-dependent Hamiltonians. We propose new CF propagators that are tailored for Hamiltonians of said structure, showing a considerably improved performance. We obtain new fourth- and sixth-order CF propagators as well as a novel sixth-order propagator that incorporates a double commutator that only depends on coordinates, so this term can be considered as cost-free. The algorithms require the computation of the action of exponentials on a vector similarly to the well known exponential midpoint propagator, and this is carried out using the Lanczos method. We illustrate the performance of the new methods on several numerical examples.
△ Less
Submitted 19 April, 2018;
originally announced April 2018.
-
An improved algorithm to compute the exponential of a matrix
Authors:
Philipp Bader,
Sergio Blanes,
Fernando Casas
Abstract:
In this work, we present a new way to compute the Taylor polynomial of the matrix exponential which reduces the number of matrix multiplications in comparison with the de-facto standard Patterson-Stockmeyer method. This reduction is sufficient to make the method superior in performance to Padé approximants by 10-30% over a range of values for the matrix norms and thus we propose its replacement in…
▽ More
In this work, we present a new way to compute the Taylor polynomial of the matrix exponential which reduces the number of matrix multiplications in comparison with the de-facto standard Patterson-Stockmeyer method. This reduction is sufficient to make the method superior in performance to Padé approximants by 10-30% over a range of values for the matrix norms and thus we propose its replacement in standard software kits. Numerical experiments show the performance of the method and illustrate its stability.
△ Less
Submitted 30 October, 2017;
originally announced October 2017.
-
Symplectic integrators for second-order linear non-autonomous equations
Authors:
Philipp Bader,
Sergio Blanes,
Fernando Casas,
Nikita Kopylov,
Enrique Ponsoda
Abstract:
Two families of symplectic methods specially designed for second-order time-dependent linear systems are presented. Both are obtained from the Magnus expansion of the corresponding first-order equation, but otherwise they differ in significant aspects. The first family is addressed to problems with low to moderate dimension, whereas the second is more appropriate when the dimension is large, in pa…
▽ More
Two families of symplectic methods specially designed for second-order time-dependent linear systems are presented. Both are obtained from the Magnus expansion of the corresponding first-order equation, but otherwise they differ in significant aspects. The first family is addressed to problems with low to moderate dimension, whereas the second is more appropriate when the dimension is large, in particular when the system corresponds to a linear wave equation previously discretised in space. Several numerical experiments illustrate the main features of the new schemes.
△ Less
Submitted 15 February, 2017;
originally announced February 2017.
-
Efficient methods for time-dependence in semiclassical Schrödinger equations
Authors:
Philipp Bader,
Arieh Iserles,
Karolina Kropielnicka,
Pranav Singh
Abstract:
We build an efficient and unitary (hence stable) method for the solution of the semi-classical Schrödinger equation subject with explicitly time-dependent potentials. The method is based on a combination of the Zassenhaus decomposition (Bader, Iserles, Kropielnicka & Singh 2014) with the Magnus expansion of the time-dependent Hamiltonian. We conclude with numerical experiments.
We build an efficient and unitary (hence stable) method for the solution of the semi-classical Schrödinger equation subject with explicitly time-dependent potentials. The method is based on a combination of the Zassenhaus decomposition (Bader, Iserles, Kropielnicka & Singh 2014) with the Magnus expansion of the time-dependent Hamiltonian. We conclude with numerical experiments.
△ Less
Submitted 10 February, 2016;
originally announced February 2016.
-
Symplectic integrators for the matrix Hill's equation and its applications to engineering models
Authors:
Philipp Bader,
Sergio Blanes,
Enrique Ponsoda,
Muaz Seydaoğlu
Abstract:
We consider the numerical integration of the matrix Hill's equation. Parametric resonances can appear and this property is of great interest in many different physical applications. Usually, the Hill's equations originate from a Hamiltonian function and the fundamental matrix solution is a symplectic matrix. This is a very important property to be preserved by the numerical integrators. In this wo…
▽ More
We consider the numerical integration of the matrix Hill's equation. Parametric resonances can appear and this property is of great interest in many different physical applications. Usually, the Hill's equations originate from a Hamiltonian function and the fundamental matrix solution is a symplectic matrix. This is a very important property to be preserved by the numerical integrators. In this work we present new sixth-and eighth-order symplectic exponential integrators that are tailored to the Hill's equation. The methods are based on an efficient symplectic approximation to the exponential of high dimensional coupled autonomous harmonic oscillators and yield accurate results for oscillatory problems at a low computational cost. Several numerical examples illustrate the performance of the new methods.
△ Less
Submitted 8 December, 2015;
originally announced December 2015.
-
Volume Preservation by Runge-Kutta Methods
Authors:
Philipp Bader,
David I McLaren,
G. R. W. Quispel,
Marcus Webb
Abstract:
It is a classical theorem of Liouville that Hamiltonian systems preserve volume in phase space. Any symplectic Runge-Kutta method will respect this property for such systems, but it has been shown that no B-Series method can be volume preserving for all volume preserving vector fields (BIT 47 (2007) 351-378 and IMA J. Numer. Anal. 27 (2007) 381-405). In this paper we show that despite this result,…
▽ More
It is a classical theorem of Liouville that Hamiltonian systems preserve volume in phase space. Any symplectic Runge-Kutta method will respect this property for such systems, but it has been shown that no B-Series method can be volume preserving for all volume preserving vector fields (BIT 47 (2007) 351-378 and IMA J. Numer. Anal. 27 (2007) 381-405). In this paper we show that despite this result, symplectic Runge-Kutta methods can be volume preserving for a much larger class of vector fields than Hamiltonian systems, and discuss how some Runge-Kutta methods can preserve a modified measure exactly.
△ Less
Submitted 2 July, 2015;
originally announced July 2015.
-
Fourier-Splitting methods for the dynamics of rotating Bose-Einstein condensates
Authors:
Philipp Bader
Abstract:
We present a new method to propagate rotating Bose-Einstein condensates subject to explicitly time-dependent trapping potentials. Using algebraic techniques, we combine Magnus expansions and splitting methods to yield any order methods for the multivariate and nonautonomous quadratic part of the Hamiltonian that can be computed using only Fourier transforms at the cost of solving a small system of…
▽ More
We present a new method to propagate rotating Bose-Einstein condensates subject to explicitly time-dependent trapping potentials. Using algebraic techniques, we combine Magnus expansions and splitting methods to yield any order methods for the multivariate and nonautonomous quadratic part of the Hamiltonian that can be computed using only Fourier transforms at the cost of solving a small system of polynomial equations. The resulting scheme solves the challenging component of the (nonlinear) Hamiltonian and can be combined with optimized splitting methods to yield efficient algorithms for rotating Bose-Einstein condensates. The method is particularly efficient for potentials that can be regarded as perturbed rotating and trapped condensates, e.g., for small nonlinearities, since it retains the near-integrable structure of the problem. For large nonlinearities, the method remains highly efficient if higher order p > 2 is sought. Furthermore, we show how it can adapted to the presence of dissipation terms. Numerical examples illustrate the performance of the scheme.
△ Less
Submitted 19 February, 2017; v1 submitted 11 November, 2014;
originally announced November 2014.
-
The Scaling, Splitting and Squaring Method for the Exponential of Perturbed Matrices
Authors:
Philipp Bader,
Sergio Blanes,
Muaz Seydaoğlu
Abstract:
We propose splitting methods for the computation of the exponential of perturbed matrices which can be written as the sum $A=D+\varepsilon B$ of a sparse and efficiently exponentiable matrix $D$ with sparse exponential $e^D$ and a dense matrix $\varepsilon B$ which is of small norm in comparison with $D$. The predominant algorithm is based on scaling the large matrix $A$ by a small number…
▽ More
We propose splitting methods for the computation of the exponential of perturbed matrices which can be written as the sum $A=D+\varepsilon B$ of a sparse and efficiently exponentiable matrix $D$ with sparse exponential $e^D$ and a dense matrix $\varepsilon B$ which is of small norm in comparison with $D$. The predominant algorithm is based on scaling the large matrix $A$ by a small number $2^{-s}$, which is then exponentiated by efficient Padé or Taylor methods and finally squared in order to obtain an approximation for the full exponential. In this setting, the main portion of the computational cost arises from dense-matrix multiplications and we present a modified squaring which takes advantage of the smallness of the perturbed matrix $B$ in order to reduce the number of squarings necessary. Theoretical results on local error and error propagation for splitting methods are complemented with numerical experiments and show a clear improvement over existing methods when medium precision is sought.
△ Less
Submitted 28 July, 2014;
originally announced July 2014.
-
Solving the Schrödinger eigenvalue problem by the imaginary time propagation technique using splitting methods with complex coefficients
Authors:
Philipp Bader,
Sergio Blanes,
Fernando Casas
Abstract:
The Schrödinger eigenvalue problem is solved with the imaginary time propagation technique. The separability of the Hamiltonian makes the problem suitable for the application of splitting methods. High order fractional time steps of order greater than two necessarily have negative steps and can not be used for this class of diffusive problems. However, there exist methods which use fractional comp…
▽ More
The Schrödinger eigenvalue problem is solved with the imaginary time propagation technique. The separability of the Hamiltonian makes the problem suitable for the application of splitting methods. High order fractional time steps of order greater than two necessarily have negative steps and can not be used for this class of diffusive problems. However, there exist methods which use fractional complex time steps with positive real parts which can be used with only a moderate increase in the computational cost. We analyze the performance of this class of schemes and propose new methods which outperform the existing ones in most cases. On the other hand, if the gradient of the potential is available, methods up to fourth order with real and positive coefficients exist. We also explore this case and propose new methods as well as sixth-order methods with complex coefficients. In particular, highly optimized sixth-order schemes for near integrable systems using positive real part complex coefficients with and without modified potentials are presented. A time-stepping variable order algorithm is proposed and numerical results show the enhanced efficiency of the new methods.
△ Less
Submitted 26 July, 2013; v1 submitted 25 April, 2013;
originally announced April 2013.
-
Structure preserving integrators for solving linear quadratic optimal control problems with applications to describe the flight of a quadrotor
Authors:
Philipp Bader,
Sergio Blanes,
Enrique Ponsoda
Abstract:
We present structure preserving integrators for solving linear quadratic optimal control problems. This problem requires the numerical integration of matrix Riccati differential equations whose exact solution is a symmetric positive definite time-dependent matrix which controls the stability of the equation for the state. This property is not preserved, in general, by the numerical methods. We pro…
▽ More
We present structure preserving integrators for solving linear quadratic optimal control problems. This problem requires the numerical integration of matrix Riccati differential equations whose exact solution is a symmetric positive definite time-dependent matrix which controls the stability of the equation for the state. This property is not preserved, in general, by the numerical methods. We propose second order exponential methods based on the Magnus series expansion which unconditionally preserve positivity for this problem and analyze higher order Magnus integrators. This method can also be used for the integration of nonlinear problems if they are previously linearized. The performance of the algorithms is illustrated with the stabilization of a quadrotor which is an unmanned aerial vehicle.
△ Less
Submitted 3 December, 2012;
originally announced December 2012.
-
Fourier methods for the perturbed harmonic oscillator in linear and nonlinear Schrödinger equations
Authors:
Philipp Bader,
Sergio Blanes
Abstract:
We consider the numerical integration of the Gross-Pitaevskii equation with a potential trap given by a time-dependent harmonic potential or a small perturbation thereof. Splitting methods are frequently used with Fourier techniques since the system can be split into the kinetic and remaining part, and each part can be solved efficiently using Fast Fourier Transforms. To split the system into the…
▽ More
We consider the numerical integration of the Gross-Pitaevskii equation with a potential trap given by a time-dependent harmonic potential or a small perturbation thereof. Splitting methods are frequently used with Fourier techniques since the system can be split into the kinetic and remaining part, and each part can be solved efficiently using Fast Fourier Transforms. To split the system into the quantum harmonic oscillator problem and the remaining part allows to get higher accuracies in many cases, but it requires to change between Hermite basis functions and the coordinate space, and this is not efficient for time-dependent frequencies or strong nonlinearities. We show how to build new methods which combine the advantages of using Fourier methods while solving the timedependent harmonic oscillator exactly (or with a high accuracy by using a Magnus integrator and an appropriate decomposition).
△ Less
Submitted 30 January, 2011; v1 submitted 20 July, 2010;
originally announced July 2010.
