-
On the higher topological complexity of manifolds with abelian fundamental group
Authors:
N. Cadavid-Aguilar,
D. Cohen,
J. González,
S. Hughes,
L. Vandembroucq
Abstract:
We study the higher (or sequential) topological complexity $\mathrm{TC}_s$ of manifolds with abelian fundamental group. We give sufficient conditions for $\mathrm{TC}_s$ to be non-maximal in both the orientable and non-orientable cases. In combination with cohomological lower bounds, we also obtain some exact values for certain families of manifolds.
We study the higher (or sequential) topological complexity $\mathrm{TC}_s$ of manifolds with abelian fundamental group. We give sufficient conditions for $\mathrm{TC}_s$ to be non-maximal in both the orientable and non-orientable cases. In combination with cohomological lower bounds, we also obtain some exact values for certain families of manifolds.
△ Less
Submitted 6 June, 2025;
originally announced June 2025.
-
Quasi-convex Splittings of Acylindrical Graphs of Locally Finite-Height Groups
Authors:
William D. Cohen
Abstract:
We find a condition on the action of a finitely presented group on a simplicial tree which guarantees that this action will be dominated by an acylindrical action with finitely generated edge stabilisers, and find the first example of an action of a finitely presented group where there is no such dominating action. As a consequence, we show that any hyperbolic group that admits a decomposition as…
▽ More
We find a condition on the action of a finitely presented group on a simplicial tree which guarantees that this action will be dominated by an acylindrical action with finitely generated edge stabilisers, and find the first example of an action of a finitely presented group where there is no such dominating action. As a consequence, we show that any hyperbolic group that admits a decomposition as an acylindrical graph of (possibly infinitely generated) free groups is virtually cocompact special, and that if one assumes that every finite-height subgroup of a hyperbolic group is quasi-convex then every finitely generated subgroup of a one-relator group with an acylindrical Magnus hierarchy admits a quasi-convex hierarchy.
△ Less
Submitted 19 March, 2025;
originally announced March 2025.
-
Finite fields whose members are the sum of a potent and a 4-potent
Authors:
Stephen D. Cohen,
Peter V. Danchev,
Tomás Oliveira e Silva
Abstract:
We classify those finite fields $\mathbb{F}_q$, for $q$ a power of some fixed prime number, whose members are the sum of an $n$-potent element with $n>1$ and a 4-potent element. It is shown that there are precisely ten non-trivial pairs $(q,n)$ for which this is the case.
This continues a recent publication by Cohen-Danchev et al. in Turk. J. Math. (2024) in which the tripotent version was exami…
▽ More
We classify those finite fields $\mathbb{F}_q$, for $q$ a power of some fixed prime number, whose members are the sum of an $n$-potent element with $n>1$ and a 4-potent element. It is shown that there are precisely ten non-trivial pairs $(q,n)$ for which this is the case.
This continues a recent publication by Cohen-Danchev et al. in Turk. J. Math. (2024) in which the tripotent version was examined in-depth as well as it extends recent results of this branch established by Abyzov-Tapkin in Sib. Math. J. (2024).
△ Less
Submitted 9 March, 2025;
originally announced March 2025.
-
Stochastic conformal integrators for linearly damped stochastic Poisson systems
Authors:
Charles-Edouard Bréhier,
David Cohen,
Yoshio Komori
Abstract:
We propose and study conformal integrators for linearly damped stochastic Poisson systems. We analyse the qualitative and quantitative properties of these numerical integrators: preservation of dynamics of certain Casimir and Hamiltonian functions, almost sure bounds of the numerical solutions, and strong and weak rates of convergence under appropriate conditions. These theoretical results are ill…
▽ More
We propose and study conformal integrators for linearly damped stochastic Poisson systems. We analyse the qualitative and quantitative properties of these numerical integrators: preservation of dynamics of certain Casimir and Hamiltonian functions, almost sure bounds of the numerical solutions, and strong and weak rates of convergence under appropriate conditions. These theoretical results are illustrated with several numerical experiments on, for example, the linearly damped free rigid body with random inertia tensor or the linearly damped stochastic Lotka--Volterra system.
△ Less
Submitted 3 March, 2025;
originally announced March 2025.
-
Inferring System and Optimal Control Parameters of Closed-Loop Systems from Partial Observations
Authors:
Victor Geadah,
Juncal Arbelaiz,
Harrison Ritz,
Nathaniel D. Daw,
Jonathan D. Cohen,
Jonathan W. Pillow
Abstract:
We consider the joint problem of system identification and inverse optimal control for discrete-time stochastic Linear Quadratic Regulators. We analyze finite and infinite time horizons in a partially observed setting, where the state is observed noisily. To recover closed-loop system parameters, we develop inference methods based on probabilistic state-space model (SSM) techniques. First, we show…
▽ More
We consider the joint problem of system identification and inverse optimal control for discrete-time stochastic Linear Quadratic Regulators. We analyze finite and infinite time horizons in a partially observed setting, where the state is observed noisily. To recover closed-loop system parameters, we develop inference methods based on probabilistic state-space model (SSM) techniques. First, we show that the system parameters exhibit non-identifiability in the infinite-horizon from closed-loop measurements, and we provide exact and numerical methods to disentangle the parameters. Second, to improve parameter identifiability, we show that we can further enhance recovery by either (1) incorporating additional partial measurements of the control signals or (2) moving to the finite-horizon setting. We further illustrate the performance of our methodology through numerical examples.
△ Less
Submitted 20 February, 2025;
originally announced February 2025.
-
A gradient flow perspective on McKean-Vlasov equations in econophysics
Authors:
David W. Cohen
Abstract:
We prove that the Gini coefficient of economic inequality is a Lyapunov functional for a class of nonlinear, nonlocal integro-differential equations arising at the intersection of mathematics, economics, and statistical physics. Next, a novel Riemannian geometry is imposed on a subset of probability densities such that the evolutionary dynamics are formally driven by the Gini coefficient functiona…
▽ More
We prove that the Gini coefficient of economic inequality is a Lyapunov functional for a class of nonlinear, nonlocal integro-differential equations arising at the intersection of mathematics, economics, and statistical physics. Next, a novel Riemannian geometry is imposed on a subset of probability densities such that the evolutionary dynamics are formally driven by the Gini coefficient functional as a gradient flow. Thus in the same way that classical 2-Wasserstein theory connects heat flow and the Second Law of Thermodynamics by way of Boltzmann entropy, the work here gives rise to a principle of econophysics that is much of the same flavor but for the Gini coefficient.
The noncanonical Onsager operators associated to the metric tensors are derived and some transport inequalities proven. The new metric relates to the dual norm of a second-order Sobolev-like factor space, in a similar way to how the classical 2-Wasserstein metric linearizes as the dual norm of a first-order, homogeneous Sobolev space.
△ Less
Submitted 28 May, 2025; v1 submitted 8 November, 2024;
originally announced November 2024.
-
A Dynamical Equation for the Lorenz Curve: Dynamics of incomplete moments of probability distributions arising from Fokker-Planck equations
Authors:
David W. Cohen,
Merek Johnson,
Bruce M. Boghosian
Abstract:
Fokker-Planck equations (forward Kolmogorov equations) evolve probability densities in time from an initial condition. For distributions over the real line, these evolution equations can sometimes be transformed into dynamics over the incomplete zeroth and first moments. We call this perspective the Lorenz dynamics of the system after the Lorenz curve description of distributions of wealth. This o…
▽ More
Fokker-Planck equations (forward Kolmogorov equations) evolve probability densities in time from an initial condition. For distributions over the real line, these evolution equations can sometimes be transformed into dynamics over the incomplete zeroth and first moments. We call this perspective the Lorenz dynamics of the system after the Lorenz curve description of distributions of wealth. This offers the benefit of presenting the dynamics over a compact domain. The integral transformation is motivated and then stated for a general class of Fokker-Planck equations. Following this, the transformed equation is solved for the heat equation and some variants thereof. Finally, some equations arising from the application of kinetic theory to idealized economic systems are transformed and analyzed in this new light.
△ Less
Submitted 12 June, 2025; v1 submitted 1 November, 2024;
originally announced November 2024.
-
The Empirical Mean is Minimax Optimal for Local Glivenko-Cantelli
Authors:
Doron Cohen,
Aryeh Kontorovich,
Roi Weiss
Abstract:
We revisit the recently introduced Local Glivenko-Cantelli setting, which studies distribution-dependent uniform convergence rates of the Empirical Mean Estimator (EME). In this work, we investigate generalizations of this setting where arbitrary estimators are allowed rather than just the EME. Can a strictly larger class of measures be learned? Can better risk decay rates be obtained? We provide…
▽ More
We revisit the recently introduced Local Glivenko-Cantelli setting, which studies distribution-dependent uniform convergence rates of the Empirical Mean Estimator (EME). In this work, we investigate generalizations of this setting where arbitrary estimators are allowed rather than just the EME. Can a strictly larger class of measures be learned? Can better risk decay rates be obtained? We provide exhaustive answers to these questions, which are both negative, provided the learner is barred from exploiting some infinite-dimensional pathologies. On the other hand, allowing such exploits does lead to a strictly larger class of learnable measures.
△ Less
Submitted 28 May, 2025; v1 submitted 2 October, 2024;
originally announced October 2024.
-
Cohomological Separability of Baumslag--Solitar groups and Their Generalisations
Authors:
William D. Cohen,
Julian Wykowski
Abstract:
A group $Γ$ has separable cohomology if the profinite completion map $ι\colon Γ\to \widehatΓ$ induces an isomorphism on cohomology with finite coefficient modules. In this article, cohomological separability is decided within the class of generalised Baumslag--Solitar groups, i.e. graphs of groups with infinite cyclic fibers. Equivalent conditions are given both explicitly in terms of the defining…
▽ More
A group $Γ$ has separable cohomology if the profinite completion map $ι\colon Γ\to \widehatΓ$ induces an isomorphism on cohomology with finite coefficient modules. In this article, cohomological separability is decided within the class of generalised Baumslag--Solitar groups, i.e. graphs of groups with infinite cyclic fibers. Equivalent conditions are given both explicitly in terms of the defining graph of groups and in terms of the induced topology on vertex groups. Restricted to the class of Baumslag--Solitar groups, we obtain a trichotomy of cohomological separability and cohomological dimension of the profinite completions. In particular, this yields examples of non-residually-finite one-relator groups which have separable cohomology, and examples which do not.
△ Less
Submitted 6 June, 2024;
originally announced June 2024.
-
Splitting integrators for linear Vlasov equations with stochastic perturbations
Authors:
Charles-Edouard Bréhier,
David Cohen
Abstract:
We consider a class of linear Vlasov partial differential equations driven by Wiener noise. Different types of stochastic perturbations are treated: additive noise, multiplicative Itô and Stratonovich noise, and transport noise. We propose to employ splitting integrators for the temporal discretization of these stochastic partial differential equations. These integrators are designed in order to p…
▽ More
We consider a class of linear Vlasov partial differential equations driven by Wiener noise. Different types of stochastic perturbations are treated: additive noise, multiplicative Itô and Stratonovich noise, and transport noise. We propose to employ splitting integrators for the temporal discretization of these stochastic partial differential equations. These integrators are designed in order to preserve qualitative properties of the exact solutions depending on the stochastic perturbation, such as preservation of norms or positivity of the solutions. We provide numerical experiments in order to illustrate the properties of the proposed integrators and investigate mean-square rates of convergence.
△ Less
Submitted 29 February, 2024;
originally announced February 2024.
-
Triples and quadruples of consecutive squares or non-squares in a finite field
Authors:
Stephen D. Cohen
Abstract:
\begin{abstract} Let $\F$ be the finite field of odd prime power order $q$, We find explicit expressions for the number of triples $\{\al-1,\al,\al+1 \}$ of consecutive non-zero squares in $\F$ and similarly for the number of triples of consecutive non-square elements. A key ingredient is the evaluation of Jacobsthal sums over general finite fields by Katre and Rajwade. This extends results of Mon…
▽ More
\begin{abstract} Let $\F$ be the finite field of odd prime power order $q$, We find explicit expressions for the number of triples $\{\al-1,\al,\al+1 \}$ of consecutive non-zero squares in $\F$ and similarly for the number of triples of consecutive non-square elements. A key ingredient is the evaluation of Jacobsthal sums over general finite fields by Katre and Rajwade. This extends results of Monzingo(1985) to non-prime fields. Curiously, the same machinery alows the evaluation of the number of consecutive quadruples $\{\al -1, \al,\al+1, \al +2\}$ of square and non-squares over $\F$, when $q$ is a power of 5. \end{abstract}
△ Less
Submitted 16 February, 2024;
originally announced February 2024.
-
Optimal control of collective electrotaxis in epithelial monolayers
Authors:
Simon F. Martina-Perez,
Isaac B. Breinyn,
Daniel J. Cohen,
Ruth E. Baker
Abstract:
Epithelial monolayers are some of the best-studied models for collective cell migration due to their abundance in multicellular systems and their tractability. Experimentally, the collective migration of epithelial monolayers can be robustly steered e.g. using electric fields, via a process termed electrotaxis. Theoretically, however, the question of how to design an electric field to achieve a de…
▽ More
Epithelial monolayers are some of the best-studied models for collective cell migration due to their abundance in multicellular systems and their tractability. Experimentally, the collective migration of epithelial monolayers can be robustly steered e.g. using electric fields, via a process termed electrotaxis. Theoretically, however, the question of how to design an electric field to achieve a desired spatiotemporal movement pattern is underexplored. In this work, we construct and calibrate an ordinary differential equation model to predict the average velocity of the centre of mass of a cellular monolayer in response to stimulation with an electric field. We use this model, in conjunction with optimal control theory, to derive physically realistic optimal electric field designs to achieve a variety of aims, including maximising the total distance travelled by the monolayer, maximising the monolayer velocity, and keeping the monolayer velocity constant during stimulation. Together, this work is the first to present a unified framework for optimal control of collective monolayer electrotaxis and provides a blueprint to optimally steer collective migration using other external cues.
△ Less
Submitted 13 February, 2024;
originally announced February 2024.
-
Correlated Binomial Process
Authors:
Moïse Blanchard,
Doron Cohen,
Aryeh Kontorovich
Abstract:
Cohen and Kontorovich (COLT 2023) initiated the study of what we call here the Binomial Empirical Process: the maximal absolute value of a sequence of inhomogeneous normalized and centered binomials. They almost fully analyzed the case where the binomials are independent, and the remaining gap was closed by Blanchard and Voráček (ALT 2024). In this work, we study the much more general and challeng…
▽ More
Cohen and Kontorovich (COLT 2023) initiated the study of what we call here the Binomial Empirical Process: the maximal absolute value of a sequence of inhomogeneous normalized and centered binomials. They almost fully analyzed the case where the binomials are independent, and the remaining gap was closed by Blanchard and Voráček (ALT 2024). In this work, we study the much more general and challenging case with correlations. In contradistinction to Gaussian processes, whose behavior is characterized by the covariance structure, we discover that, at least somewhat surprisingly, for binomial processes covariance does not even characterize convergence. Although a full characterization remains out of reach, we take the first steps with nontrivial upper and lower bounds in terms of covering numbers.
△ Less
Submitted 10 February, 2024;
originally announced February 2024.
-
Computing Geodesic Paths Encoding a Curvature Prior
Authors:
Da Chen,
Jean-Marie Mirebeau,
Minglei Shu,
Laurent D. Cohen
Abstract:
In this paper, we introduce an efficient method for computing curves minimizing a variant of the Euler-Mumford elastica energy, with fixed endpoints and tangents at these endpoints, where the bending energy is enhanced with a user defined and data-driven scalar-valued term referred to as the curvature prior. In order to guarantee that the globally optimal curve is extracted, the proposed method in…
▽ More
In this paper, we introduce an efficient method for computing curves minimizing a variant of the Euler-Mumford elastica energy, with fixed endpoints and tangents at these endpoints, where the bending energy is enhanced with a user defined and data-driven scalar-valued term referred to as the curvature prior. In order to guarantee that the globally optimal curve is extracted, the proposed method involves the numerical computation of the viscosity solution to a specific static Hamilton-Jacobi-Bellman (HJB) partial differential equation (PDE). For that purpose, we derive the explicit Hamiltonian associated to this variant model equipped with a curvature prior, discretize the resulting HJB PDE using an adaptive finite difference scheme, and solve it in a single pass using a generalized Fast-Marching method. In addition, we also present a practical method for estimating the curvature prior values from image data, designed for the task of accurately tracking curvilinear structure centerlines. Numerical experiments on synthetic and real image data illustrate the advantages of the considered variant of the elastica model with a prior curvature enhancement in complex scenarios where challenging geometric structures appear.
△ Less
Submitted 29 August, 2023;
originally announced August 2023.
-
Strong convergence rates for a full discretization of stochastic wave equation with nonlinear damping
Authors:
Meng Cai,
David Cohen,
Xiaojie Wang
Abstract:
The paper establishes the strong convergence rates of a spatio-temporal full discretization of the stochastic wave equation with nonlinear damping in dimension one and two. We discretize the SPDE by applying a spectral Galerkin method in space and a modified implicit exponential Euler scheme in time. The presence of the super-linearly growing damping in the underlying model brings challenges into…
▽ More
The paper establishes the strong convergence rates of a spatio-temporal full discretization of the stochastic wave equation with nonlinear damping in dimension one and two. We discretize the SPDE by applying a spectral Galerkin method in space and a modified implicit exponential Euler scheme in time. The presence of the super-linearly growing damping in the underlying model brings challenges into the error analysis. To address these difficulties, we first achieve upper mean-square error bounds, and then obtain mean-square convergence rates of the considered numerical solution. This is done without requiring the moment bounds of the full approximations. The main result shows that, in dimension one, the scheme admits a convergence rate of order $\tfrac12$ in space and order $1$ in time. In dimension two, the error analysis is more subtle and can be done at the expense of an order reduction due to an infinitesimal factor. Numerical experiments are performed and confirm our theoretical findings.
△ Less
Submitted 25 December, 2024; v1 submitted 4 July, 2023;
originally announced July 2023.
-
Groups Acting Acylindrically on Trees
Authors:
William D. Cohen
Abstract:
We develop a notion of groups that act acylindrically and non-elementarily on simplicial trees, which we call acylindrically arboreal groups. We then prove a complete classification of when graph products of groups and the fundamental groups of certain hyperbolic $3$-manifolds are acylindrically arboreal, and use these classifications to provide examples of acylindrically hyperbolic groups that ha…
▽ More
We develop a notion of groups that act acylindrically and non-elementarily on simplicial trees, which we call acylindrically arboreal groups. We then prove a complete classification of when graph products of groups and the fundamental groups of certain hyperbolic $3$-manifolds are acylindrically arboreal, and use these classifications to provide examples of acylindrically hyperbolic groups that have actions on trees but have no non-elementary acylindrical actions on trees.
△ Less
Submitted 19 March, 2025; v1 submitted 21 June, 2023;
originally announced June 2023.
-
Positivity-preserving schemes for some nonlinear stochastic PDEs
Authors:
Charles-Edouard Bréhier,
David Cohen,
Johan Ulander
Abstract:
We introduce a positivity-preserving numerical scheme for a class of nonlinear stochastic heat equations driven by a purely time-dependent Brownian motion. The construction is inspired by a recent preprint by the authors where one-dimensional equations driven by space-time white noise are considered. The objective of this paper is to illustrate the properties of the proposed integrators in a diffe…
▽ More
We introduce a positivity-preserving numerical scheme for a class of nonlinear stochastic heat equations driven by a purely time-dependent Brownian motion. The construction is inspired by a recent preprint by the authors where one-dimensional equations driven by space-time white noise are considered. The objective of this paper is to illustrate the properties of the proposed integrators in a different framework, by numerical experiments and by giving convergence results.
△ Less
Submitted 21 April, 2023;
originally announced April 2023.
-
Analysis of a positivity-preserving splitting scheme for some nonlinear stochastic heat equations
Authors:
Charles-Edouard Bréhier,
David Cohen,
Johan Ulander
Abstract:
We construct a positivity-preserving Lie--Trotter splitting scheme with finite difference discretization in space for approximating the solutions to a class of nonlinear stochastic heat equations with multiplicative space-time white noise. We prove that this explicit numerical scheme converges in the mean-square sense, with rate $1/4$ in time and rate $1/2$ in space, under appropriate CFL conditio…
▽ More
We construct a positivity-preserving Lie--Trotter splitting scheme with finite difference discretization in space for approximating the solutions to a class of nonlinear stochastic heat equations with multiplicative space-time white noise. We prove that this explicit numerical scheme converges in the mean-square sense, with rate $1/4$ in time and rate $1/2$ in space, under appropriate CFL conditions. Numerical experiments illustrate the superiority of the proposed numerical scheme compared with standard numerical methods which do not preserve positivity.
△ Less
Submitted 17 February, 2023;
originally announced February 2023.
-
Deformable Voxel Grids for Shape Comparisons
Authors:
Raphaël Groscot,
Laurent D. Cohen
Abstract:
We present Deformable Voxel Grids (DVGs) for 3D shapes comparison and processing. It consists of a voxel grid which is deformed to approximate the silhouette of a shape, via energy-minimization. By interpreting the DVG as a local coordinates system, it provides a better embedding space than a regular voxel grid, since it is adapted to the geometry of the shape. It also allows to deform the shape b…
▽ More
We present Deformable Voxel Grids (DVGs) for 3D shapes comparison and processing. It consists of a voxel grid which is deformed to approximate the silhouette of a shape, via energy-minimization. By interpreting the DVG as a local coordinates system, it provides a better embedding space than a regular voxel grid, since it is adapted to the geometry of the shape. It also allows to deform the shape by moving the control points of the DVG, in a similar manner to the Free Form Deformation, but with easier interpretability of the control points positions. After proposing a computation scheme of the energies compatible with meshes and pointclouds, we demonstrate the use of DVGs in a variety of applications: correspondences via cubification, style transfer, shape retrieval and PCA deformations. The first two require no learning and can be readily run on any shapes in a matter of minutes on modest hardware. As for the last two, they require to first optimize DVGs on a collection of shapes, which amounts to a pre-processing step. Then, determining PCA coordinates is straightforward and brings a few parameters to deform a shape.
△ Less
Submitted 21 November, 2022;
originally announced November 2022.
-
Local Glivenko-Cantelli
Authors:
Doron Cohen,
Aryeh Kontorovich
Abstract:
If $μ$ is a distribution over the $d$-dimensional Boolean cube $\{0,1\}^d$, our goal is to estimate its mean $p\in[0,1]^d$ based on $n$ iid draws from $μ$. Specifically, we consider the empirical mean estimator $\hat p_n$ and study the expected maximal deviation $Δ_n=\mathbb{E}\max_{j\in[d]}|\hat p_n(j)-p(j)|$. In the classical Universal Glivenko-Cantelli setting, one seeks distribution-free (i.e.…
▽ More
If $μ$ is a distribution over the $d$-dimensional Boolean cube $\{0,1\}^d$, our goal is to estimate its mean $p\in[0,1]^d$ based on $n$ iid draws from $μ$. Specifically, we consider the empirical mean estimator $\hat p_n$ and study the expected maximal deviation $Δ_n=\mathbb{E}\max_{j\in[d]}|\hat p_n(j)-p(j)|$. In the classical Universal Glivenko-Cantelli setting, one seeks distribution-free (i.e., independent of $μ$) bounds on $Δ_n$. This regime is well-understood: for all $μ$, we have $Δ_n\lesssim\sqrt{\log(d)/n}$ up to universal constants, and the bound is tight.
Our present work seeks to establish dimension-free (i.e., without an explicit dependence on $d$) estimates on $Δ_n$, including those that hold for $d=\infty$. As such bounds must necessarily depend on $μ$, we refer to this regime as {\em local} Glivenko-Cantelli (also known as $μ$-GC), and are aware of very few previous bounds of this type -- which are either ``abstract'' or quite sub-optimal. Already the special case of product measures $μ$ is rather non-trivial. We give necessary and sufficient conditions on $μ$ for $Δ_n\to0$, and calculate sharp rates for this decay. Along the way, we discover a novel sub-gamma-type maximal inequality for shifted Bernoullis, of independent interest.
△ Less
Submitted 29 June, 2023; v1 submitted 8 September, 2022;
originally announced September 2022.
-
Splitting schemes for FitzHugh--Nagumo stochastic partial differential equations
Authors:
Charles-Edouard Bréhier,
David Cohen,
Giuseppe Giordano
Abstract:
We design and study splitting integrators for the temporal discretization of the stochastic FitzHugh--Nagumo system. This system is a model for signal propagation in nerve cells where the voltage variable is solution of a one-dimensional parabolic PDE with a cubic nonlinearity driven by additive space-time white noise. We first show that the numerical solutions have finite moments. We then prove t…
▽ More
We design and study splitting integrators for the temporal discretization of the stochastic FitzHugh--Nagumo system. This system is a model for signal propagation in nerve cells where the voltage variable is solution of a one-dimensional parabolic PDE with a cubic nonlinearity driven by additive space-time white noise. We first show that the numerical solutions have finite moments. We then prove that the splitting schemes have, at least, the strong rate of convergence $1/4$. Finally, numerical experiments illustrating the performance of the splitting schemes are provided.
△ Less
Submitted 21 July, 2022;
originally announced July 2022.
-
Primitive element pairs with a prescribed trace in the cubic extension of a finite field
Authors:
Andrew R. Booker,
Stephen D. Cohen,
Nicol Leong,
Tim Trudgian
Abstract:
We prove that for any prime power $q\notin\{3,4,5\}$, the cubic extension $\mathbb{F}_{q^3}$ of the finite field $\mathbb{F}_q$ contains a primitive element $ξ$ such that $ξ+ξ^{-1}$ is also primitive, and $\textrm{Tr}_{\mathbb{F}_{q^3}/\mathbb{F}_q}(ξ)=a$ for any prescribed $a\in\mathbb{F}_q$. This completes the proof of a conjecture of Gupta, Sharma, and Cohen concerning the analogous problem ove…
▽ More
We prove that for any prime power $q\notin\{3,4,5\}$, the cubic extension $\mathbb{F}_{q^3}$ of the finite field $\mathbb{F}_q$ contains a primitive element $ξ$ such that $ξ+ξ^{-1}$ is also primitive, and $\textrm{Tr}_{\mathbb{F}_{q^3}/\mathbb{F}_q}(ξ)=a$ for any prescribed $a\in\mathbb{F}_q$. This completes the proof of a conjecture of Gupta, Sharma, and Cohen concerning the analogous problem over an extension of arbitrary degree $n\ge3$.
△ Less
Submitted 1 February, 2022;
originally announced February 2022.
-
Rings and finite fields whose elements are sums or differences of tripotents and potents
Authors:
Adel N. Abyzov,
Stephen D. Cohen,
Peter V. Danchev,
Daniel T. Tapkin
Abstract:
We significantly strengthen results on the structure of matrix rings over finite fields and apply them to describe the structure of the so-called weakly $n$-torsion clean rings. Specifically, we establish that, for any field $F$ with either exactly seven or strictly more than nine elements, each matrix over $F$ is presentable as a sum of of a tripotent matrix and a $q$-potent matrix if and only if…
▽ More
We significantly strengthen results on the structure of matrix rings over finite fields and apply them to describe the structure of the so-called weakly $n$-torsion clean rings. Specifically, we establish that, for any field $F$ with either exactly seven or strictly more than nine elements, each matrix over $F$ is presentable as a sum of of a tripotent matrix and a $q$-potent matrix if and only if each element in $F$ is presentable as a sum of a tripotent and a $q$-potent, whenever $q>1$ is an odd integer. In addition, if $Q$ is a power of an odd prime and $F$ is a field of odd characteristic, having cardinality strictly greater than $9$, then, for all $n\geq 1$, the matrix ring $\mathbb{M}_n(F)$ is weakly $(Q-1)$-torsion clean if and only if $F$ is a finite field of cardinality $Q$.
A novel contribution to the ring-theoretical theme of this study is the classification of finite fields $\FQ$ of odd order in which every element is the sum of a tripotent and a potent. In this regard, we obtain an expression for the number of consecutive triples $γ-1,γ,γ+1$ of non-square elements in $\FQ$; in particular, $\FQ$ contains three consecutive non-square elements whenever $\FQ$ contains more than 9 elements.
△ Less
Submitted 17 March, 2023; v1 submitted 29 December, 2021;
originally announced December 2021.
-
Primitive elements with prescribed traces
Authors:
Andrew R. Booker,
Stephen D. Cohen,
Nicol Leong,
Tim Trudgian
Abstract:
Given a prime power $q$ and a positive integer $n$, let $\mathbb{F}_{q^{n}}$ denote the finite field with $q^n$ elements. Also let $a,b$ be arbitrary members of the ground field $\mathbb{F}_{q}$. We investigate the existence of a non-zero element $ξ\in \mathbb{F}_{q^{n}}$ such that $ξ+ ξ^{-1}$ is primitive and $T(ξ)=a, T(ξ^{-1})=b$, where $T(ξ)$ denotes the trace of $ξ$ in $\mathbb{F}_{q}$. This w…
▽ More
Given a prime power $q$ and a positive integer $n$, let $\mathbb{F}_{q^{n}}$ denote the finite field with $q^n$ elements. Also let $a,b$ be arbitrary members of the ground field $\mathbb{F}_{q}$. We investigate the existence of a non-zero element $ξ\in \mathbb{F}_{q^{n}}$ such that $ξ+ ξ^{-1}$ is primitive and $T(ξ)=a, T(ξ^{-1})=b$, where $T(ξ)$ denotes the trace of $ξ$ in $\mathbb{F}_{q}$. This was a question intended to be addressed by Cao and Wang in 2014. Their work dealt instead with another problem already in the literature. Our solution deals with all values of $n \geq 5$.
A related study involves the cubic extension $\mathbb{F}_{q^{3}}$ of $\mathbb{F}_{q}$. We show that if $q\geq 8\cdot 10^{12}$ then, for any $a\in \mathbb{F}_{q}$ we can find a primitive element $ξ\in \mathbb{F}_{q^{3}}$ such that $ξ+ ξ^{-1}$ is also a primitive element of $\mathbb{F}_{q^{3}}$, and for which the trace of $ξ$ is equal to $a$. The improves a result of Cohen and Gupta. Along the way we prove a hybridised lower bound on prime divisors in various residue classes, which may be of interest to related existence questions.
△ Less
Submitted 27 March, 2022; v1 submitted 19 December, 2021;
originally announced December 2021.
-
Splitting integrators for stochastic Lie--Poisson systems
Authors:
Charles-Edouard Bréhier,
David Cohen,
Tobias Jahnke
Abstract:
We study stochastic Poisson integrators for a class of stochastic Poisson systems driven by Stratonovich noise. Such geometric integrators preserve Casimir functions and the Poisson map property. For this purpose, we propose explicit stochastic Poisson integrators based on a splitting strategy, and analyse their qualitative and quantitative properties: preservation of Casimir functions, existence…
▽ More
We study stochastic Poisson integrators for a class of stochastic Poisson systems driven by Stratonovich noise. Such geometric integrators preserve Casimir functions and the Poisson map property. For this purpose, we propose explicit stochastic Poisson integrators based on a splitting strategy, and analyse their qualitative and quantitative properties: preservation of Casimir functions, existence of almost sure or moment bounds, asymptotic preserving property, and strong and weak rates of convergence. The construction of the schemes and the theoretical results are illustrated through extensive numerical experiments for three examples of stochastic Lie--Poisson systems, namely: stochastically perturbed Maxwell--Bloch, rigid body and sine--Euler equations.
△ Less
Submitted 14 November, 2021;
originally announced November 2021.
-
The trace of primitive and $2$-primitive elements in finite fields, revisited
Authors:
Stephen D. Cohen,
Giorgos Kapetanakis
Abstract:
By definition primitive and $2$-primitive elements of a finite field extension $\mathbb{F}_{q^n}$ have order $q^n-1$ and $(q^n-1)/2$, respectively. We have already shown that, with minor reservations, there exists a primitive element and a $2$-primitive element $ξ\in \mathbb{F}_{q^n}$ with prescribed trace in the ground field $\mathbb{F}_q$. Here we amend our previous proofs of these results, firs…
▽ More
By definition primitive and $2$-primitive elements of a finite field extension $\mathbb{F}_{q^n}$ have order $q^n-1$ and $(q^n-1)/2$, respectively. We have already shown that, with minor reservations, there exists a primitive element and a $2$-primitive element $ξ\in \mathbb{F}_{q^n}$ with prescribed trace in the ground field $\mathbb{F}_q$. Here we amend our previous proofs of these results, firstly, by a reduction of these problems to extensions of prime degree $n$ and, secondly, by deriving an exact expression for the number of squares in $\mathbb{F}_{q^n}$ whose trace has prescribed value in $\mathbb{F}_q$. The latter corrects an error in the proof in the case of $2$-primitive elements. We also streamline the necessary computations.
△ Less
Submitted 18 August, 2021;
originally announced August 2021.
-
The existence of $\mathbb{F}_q$-primitive points on curves using freeness
Authors:
Stephen D. Cohen,
Giorgos Kapetanakis,
Lucas Reis
Abstract:
Let $\mathcal C_Q$ be the cyclic group of order $Q$, $n$ a divisor of $Q$ and $r$ a divisor of $Q/n$. We introduce the set of $(r,n)$-free elements of $\mathcal C_Q$ and derive a lower bound for the the number of elements $θ\in \mathbb F_q$ for which $f(θ)$ is $(r,n)$-free and $F(θ)$ is $(R,N)$-free, where $ f, F \in \mathbb F_q[x]$. As an application, we consider the existence of $\mathbb F_q$-pr…
▽ More
Let $\mathcal C_Q$ be the cyclic group of order $Q$, $n$ a divisor of $Q$ and $r$ a divisor of $Q/n$. We introduce the set of $(r,n)$-free elements of $\mathcal C_Q$ and derive a lower bound for the the number of elements $θ\in \mathbb F_q$ for which $f(θ)$ is $(r,n)$-free and $F(θ)$ is $(R,N)$-free, where $ f, F \in \mathbb F_q[x]$. As an application, we consider the existence of $\mathbb F_q$-primitive points on curves like $y^n=f(x)$ and find, in particular, all the odd prime powers $q$ for which the elliptic curves $y^2=x^3 \pm x$ contain an $\mathbb F_q$-primitive point.
△ Less
Submitted 13 January, 2022; v1 submitted 16 August, 2021;
originally announced August 2021.
-
On the topological complexity of manifolds with abelian fundamental group
Authors:
Daniel C. Cohen,
Lucile Vandembroucq
Abstract:
We find conditions which ensure that the topological complexity of a closed manifold $M$ with abelian fundamental group is nonmaximal, and see through examples that our conditions are sharp. This generalizes results of Costa and Farber on the topological complexity of spaces with small fundamental group. Relaxing the commutativity condition on the fundamental group, we also generalize results of D…
▽ More
We find conditions which ensure that the topological complexity of a closed manifold $M$ with abelian fundamental group is nonmaximal, and see through examples that our conditions are sharp. This generalizes results of Costa and Farber on the topological complexity of spaces with small fundamental group. Relaxing the commutativity condition on the fundamental group, we also generalize results of Dranishnikov on the Lusternik-Schnirelmann category of the cofibre of the diagonal map $Δ: M \to M \times M$ for nonorientable surfaces by establishing the nonmaximality of this invariant for a large class of manifolds.
△ Less
Submitted 8 September, 2021; v1 submitted 19 April, 2021;
originally announced April 2021.
-
Numerical approximation and simulation of the stochastic wave equation on the sphere
Authors:
David Cohen,
Annika Lang
Abstract:
Solutions to the stochastic wave equation on the unit sphere are approximated by spectral methods. Strong, weak, and almost sure convergence rates for the proposed numerical schemes are provided and shown to depend only on the smoothness of the driving noise and the initial conditions. Numerical experiments confirm the theoretical rates. The developed numerical method is extended to stochastic wav…
▽ More
Solutions to the stochastic wave equation on the unit sphere are approximated by spectral methods. Strong, weak, and almost sure convergence rates for the proposed numerical schemes are provided and shown to depend only on the smoothness of the driving noise and the initial conditions. Numerical experiments confirm the theoretical rates. The developed numerical method is extended to stochastic wave equations on higher-dimensional spheres and to the free stochastic Schrödinger equation on the unit sphere.
△ Less
Submitted 8 February, 2021;
originally announced February 2021.
-
Strong rates of convergence of a splitting scheme for Schrödinger equations with nonlocal interaction cubic nonlinearity and white noise dispersion
Authors:
Charles-Edouard Bréhier,
David Cohen
Abstract:
We analyse a splitting integrator for the time discretization of the Schrödinger equation with nonlocal interaction cubic nonlinearity and white noise dispersion. We prove that this time integrator has order of convergence one in the $p$-th mean sense, for any $p\geq1$ in some Sobolev spaces. We prove that the splitting schemes preserves the $L^2$-norm, which is a crucial property for the proof of…
▽ More
We analyse a splitting integrator for the time discretization of the Schrödinger equation with nonlocal interaction cubic nonlinearity and white noise dispersion. We prove that this time integrator has order of convergence one in the $p$-th mean sense, for any $p\geq1$ in some Sobolev spaces. We prove that the splitting schemes preserves the $L^2$-norm, which is a crucial property for the proof of the strong convergence result. Finally, numerical experiments illustrate the performance of the proposed numerical scheme.
△ Less
Submitted 2 November, 2020;
originally announced November 2020.
-
Lie-Trotter Splitting for the Nonlinear Stochastic Manakov System
Authors:
André Berg,
David Cohen,
Guillaume Dujardin
Abstract:
This article analyses the convergence of the Lie-Trotter splitting scheme for the stochastic Manakov equation, a system arising in the study of pulse propagation in randomly birefringent optical fibers. First, we prove that the strong order of the numerical approximation is 1/2 if the nonlinear term in the system is globally Lipschitz. Then, we show that the splitting scheme has convergence order…
▽ More
This article analyses the convergence of the Lie-Trotter splitting scheme for the stochastic Manakov equation, a system arising in the study of pulse propagation in randomly birefringent optical fibers. First, we prove that the strong order of the numerical approximation is 1/2 if the nonlinear term in the system is globally Lipschitz. Then, we show that the splitting scheme has convergence order 1/2 in probability and almost sure order 1/2- in the case of a cubic nonlinearity. We provide several numerical experiments illustrating the aforementioned results and the efficiency of the Lie-Trotter splitting scheme. Finally, we numerically investigate the possible blowup of solutions for some power-law nonlinearities.
△ Less
Submitted 28 October, 2020;
originally announced October 2020.
-
Parametrized topological complexity of collision-free motion planning in the plane
Authors:
Daniel C. Cohen,
Michael Farber,
Shmuel Weinberger
Abstract:
Parametrized motion planning algorithms have high degrees of universality and flexibility, as they are designed to work under a variety of external conditions, which are viewed as parameters and form part of the input of the underlying motion planning problem. In this paper, we analyze the parameterized motion planning problem for the motion of many distinct points in the plane, moving without col…
▽ More
Parametrized motion planning algorithms have high degrees of universality and flexibility, as they are designed to work under a variety of external conditions, which are viewed as parameters and form part of the input of the underlying motion planning problem. In this paper, we analyze the parameterized motion planning problem for the motion of many distinct points in the plane, moving without collision and avoiding multiple distinct obstacles with a priori unknown positions. This complements our prior work [arXiv:2009.06023], where parameterized motion planning algorithms were introduced, and the obstacle-avoiding collision-free motion planning problem in three-dimensional space was fully investigated. The planar case requires different algebraic and topological tools than its spatial analog.
△ Less
Submitted 14 October, 2021; v1 submitted 19 October, 2020;
originally announced October 2020.
-
Topology of parametrised motion planning algorithms
Authors:
Daniel C. Cohen,
Michael Farber,
Shmuel Weinberger
Abstract:
In this paper we introduce and study a new concept of parametrised topological complexity, a topological invariant motivated by the motion planning problem of robotics. In the parametrised setting, a motion planning algorithm has high degree of universality and flexibility, it can function under a variety of external conditions (such as positions of the obstacles etc). We explicitly compute the pa…
▽ More
In this paper we introduce and study a new concept of parametrised topological complexity, a topological invariant motivated by the motion planning problem of robotics. In the parametrised setting, a motion planning algorithm has high degree of universality and flexibility, it can function under a variety of external conditions (such as positions of the obstacles etc). We explicitly compute the parameterised topological complexity of obstacle-avoiding collision-free motion of many particles (robots) in 3-dimensional space. Our results show that the parameterised topological complexity can be significantly higher than the standard (nonparametrised) invariant.
△ Less
Submitted 21 May, 2021; v1 submitted 13 September, 2020;
originally announced September 2020.
-
Analysis of a splitting scheme for a class of nonlinear stochastic Schrödinger equations
Authors:
Charles-Edouard Bréhier,
David Cohen
Abstract:
We analyze the qualitative properties and the order of convergence of a splitting scheme for a class of nonlinear stochastic Schrödinger equations driven by additive Itô noise. The class of nonlinearities of interest includes nonlocal interaction cubic nonlinearities. We show that the numerical solution is symplectic and preserves the expected mass for all times. On top of that, for the convergenc…
▽ More
We analyze the qualitative properties and the order of convergence of a splitting scheme for a class of nonlinear stochastic Schrödinger equations driven by additive Itô noise. The class of nonlinearities of interest includes nonlocal interaction cubic nonlinearities. We show that the numerical solution is symplectic and preserves the expected mass for all times. On top of that, for the convergence analysis, some exponential moment bounds for the exact and numerical solutions are proved. This enables us to provide strong orders of convergence as well as orders of convergence in probability and almost surely. Finally, extensive numerical experiments illustrate the performance of the proposed numerical scheme.
△ Less
Submitted 15 November, 2022; v1 submitted 5 July, 2020;
originally announced July 2020.
-
Drift-preserving numerical integrators for stochastic Poisson systems
Authors:
David Cohen,
Gilles Vilmart
Abstract:
We perform a numerical analysis of a class of randomly perturbed {H}amiltonian systems and {P}oisson systems. For the considered additive noise perturbation of such systems, we show the long time behavior of the energy and quadratic Casimirs for the exact solution. We then propose and analyze a drift-preserving splitting scheme for such problems with the following properties: exact drift preservat…
▽ More
We perform a numerical analysis of a class of randomly perturbed {H}amiltonian systems and {P}oisson systems. For the considered additive noise perturbation of such systems, we show the long time behavior of the energy and quadratic Casimirs for the exact solution. We then propose and analyze a drift-preserving splitting scheme for such problems with the following properties: exact drift preservation of energy and quadratic Casimirs, mean-square order of convergence one, weak order of convergence two. These properties are illustrated with numerical experiments.
△ Less
Submitted 28 April, 2021; v1 submitted 26 May, 2020;
originally announced May 2020.
-
Exponential integrators for the stochastic Manakov equation
Authors:
André Berg,
David Cohen,
Guillaume Dujardin
Abstract:
This article presents and analyses an exponential integrator for the stochastic Manakov equation, a system arising in the study of pulse propagation in randomly birefringent optical fibers. We first prove that the strong order of the numerical approximation is $1/2$ if the nonlinear term in the system is globally Lipschitz-continuous. Then, we use this fact to prove that the exponential integrator…
▽ More
This article presents and analyses an exponential integrator for the stochastic Manakov equation, a system arising in the study of pulse propagation in randomly birefringent optical fibers. We first prove that the strong order of the numerical approximation is $1/2$ if the nonlinear term in the system is globally Lipschitz-continuous. Then, we use this fact to prove that the exponential integrator has convergence order $1/2$ in probability and almost sure order $1/2$, in the case of the cubic nonlinear coupling which is relevant in optical fibers. Finally, we present several numerical experiments in order to support our theoretical findings and to illustrate the efficiency of the exponential integrator as well as a modified version of it.
△ Less
Submitted 11 May, 2020;
originally announced May 2020.
-
High order numerical integrators for single integrand Stratonovich SDEs
Authors:
David Cohen,
Kristian Debrabant,
Andreas Rößler
Abstract:
We show that applying any deterministic B-series method of order $p_d$ with a random step size to single integrand SDEs gives a numerical method converging in the mean-square and weak sense with order $\lfloor p_d/2\rfloor$.As an application, we derive high order energy-preserving methods for stochastic Poisson systems as well as further geometric numerical schemes for this wide class of Stratonov…
▽ More
We show that applying any deterministic B-series method of order $p_d$ with a random step size to single integrand SDEs gives a numerical method converging in the mean-square and weak sense with order $\lfloor p_d/2\rfloor$.As an application, we derive high order energy-preserving methods for stochastic Poisson systems as well as further geometric numerical schemes for this wide class of Stratonovich SDEs.
△ Less
Submitted 18 August, 2020; v1 submitted 27 April, 2020;
originally announced April 2020.
-
Learning discrete distributions with infinite support
Authors:
Doron Cohen,
Aryeh Kontorovich,
Geoffrey Wolfer
Abstract:
We present a novel approach to estimating discrete distributions with (potentially) infinite support in the total variation metric. In a departure from the established paradigm, we make no structural assumptions whatsoever on the sampling distribution. In such a setting, distribution-free risk bounds are impossible, and the best one could hope for is a fully empirical data-dependent bound. We deri…
▽ More
We present a novel approach to estimating discrete distributions with (potentially) infinite support in the total variation metric. In a departure from the established paradigm, we make no structural assumptions whatsoever on the sampling distribution. In such a setting, distribution-free risk bounds are impossible, and the best one could hope for is a fully empirical data-dependent bound. We derive precisely such bounds, and demonstrate that these are, in a well-defined sense, the best possible. Our main discovery is that the half-norm of the empirical distribution provides tight upper and lower estimates on the empirical risk. Furthermore, this quantity decays at a nearly optimal rate as a function of the true distribution. The optimality follows from a minimax result, of possible independent interest. Additional structural results are provided, including an exact Rademacher complexity calculation and apparently a first connection between the total variation risk and the missing mass.
△ Less
Submitted 15 October, 2020; v1 submitted 27 April, 2020;
originally announced April 2020.
-
The existence of primitive normal elements of quadratic forms over finite fields
Authors:
Himangshu Hazarika,
Dhiren Kumar Basnet,
Stephen D Cohen
Abstract:
For $q=3^r$ ($r>0$), denote by $\mathbb{F}_q$ the finite field of order $q$ and for a positive integer $m\geq2$, let $\mathbb{F}_{q^m}$ be its extension field of degree $m$. We establish a sufficient condition for existence of a primitive normal element $α$ such that $f(α)$ is a primitive element, where $f(x)= ax^2+bx+c$, with $a,b,c\in \mathbb{F}_{q^m}$ satisfying $b^2\neq ac$ in $\Fm$ except for…
▽ More
For $q=3^r$ ($r>0$), denote by $\mathbb{F}_q$ the finite field of order $q$ and for a positive integer $m\geq2$, let $\mathbb{F}_{q^m}$ be its extension field of degree $m$. We establish a sufficient condition for existence of a primitive normal element $α$ such that $f(α)$ is a primitive element, where $f(x)= ax^2+bx+c$, with $a,b,c\in \mathbb{F}_{q^m}$ satisfying $b^2\neq ac$ in $\Fm$ except for at most 9 exceptional pairs $(q,m)$.
△ Less
Submitted 20 January, 2020;
originally announced January 2020.
-
The translate and line properties for 2-primitive elements in quadratic extensions
Authors:
Stephen D. Cohen,
Giorgos Kapetanakis
Abstract:
Let $r,n>1$ be integers and $q$ be any prime power $q$ such that $r\mid q^n-1$. We say that the extension $\mathbb{F}_{q^n}/\mathbb{F}_q$ possesses the line property for $r$-primitive elements if, for every $α,θ\in\mathbb{F}_{q^n}^*$, such that $\mathbb{F}_{q^n}=\mathbb{F}_q(θ)$, there exists some $x\in\mathbb{F}_q$, such that $α(θ+x)$ has multiplicative order $(q^n-1)/r$. Likewise, if, in the abo…
▽ More
Let $r,n>1$ be integers and $q$ be any prime power $q$ such that $r\mid q^n-1$. We say that the extension $\mathbb{F}_{q^n}/\mathbb{F}_q$ possesses the line property for $r$-primitive elements if, for every $α,θ\in\mathbb{F}_{q^n}^*$, such that $\mathbb{F}_{q^n}=\mathbb{F}_q(θ)$, there exists some $x\in\mathbb{F}_q$, such that $α(θ+x)$ has multiplicative order $(q^n-1)/r$. Likewise, if, in the above definition, $α$ is restricted to the value $1$, we say that $\mathbb{F}_{q^n}/\mathbb{F}_q$ possesses the translate property. In this paper we take $r=n=2$ (so that necessarily $q$ is odd) and prove that $\mathbb{F}_{q^2} /\mathbb{F}_q$ possesses the translate property for 2-primitive elements unless $q \in \{5,7,11,13,31,41\}$. With some additional theoretical and computational effort, we show also that $\mathbb{F}_{q^2} /\mathbb{F}_q$ possesses the line property for 2-primitive elements unless $q \in \{3,5,7,9,11,13,31,41\}$.
△ Less
Submitted 18 October, 2019;
originally announced October 2019.
-
Primitive values of rational functions at primitive elements of a finite field
Authors:
Stephen D. Cohen,
Hariom Sharma,
Rajendra Sharma
Abstract:
Given a prime power $q$ and an integer $n\geq2$, we establish a sufficient condition for the existence of a primitive pair $(α,f(α))$ where $α\in \mathbb{F}_q$ and $f(x) \in \mathbb{F}_q(x)$ is a rational function of degree $n$. (Here $f=f_1/f_2$, where $f_1, f_2$ are coprime polynomials of degree $n_1,n_2$, respectively, and $n_1+n_2=n$.) For any $n$, such a pair is guaranteed to exist for suffic…
▽ More
Given a prime power $q$ and an integer $n\geq2$, we establish a sufficient condition for the existence of a primitive pair $(α,f(α))$ where $α\in \mathbb{F}_q$ and $f(x) \in \mathbb{F}_q(x)$ is a rational function of degree $n$. (Here $f=f_1/f_2$, where $f_1, f_2$ are coprime polynomials of degree $n_1,n_2$, respectively, and $n_1+n_2=n$.) For any $n$, such a pair is guaranteed to exist for sufficiently large $q$. Indeed, when $n=2$, such a pair definitely does {\em not} exist only for 28 values of $q$ and possibly (but unlikely) only for at most $3911$ other values of $q$.
△ Less
Submitted 28 September, 2019;
originally announced September 2019.
-
On graphic arrangement groups
Authors:
Daniel C Cohen,
Michael J Falk
Abstract:
A finite simple graph $Γ$ determines a quotient $P_Γ$ of the pure braid group, called a graphic arrangement group. We analyze homomorphisms of these groups defined by deletion of sets of vertices, using methods developed in prior joint work with R. Randell. We show that, for a $K_4$-free graph $Γ$, a product of deletion maps is injective, embedding $P_Γ$ in a product of free groups. Then $P_Γ$ is…
▽ More
A finite simple graph $Γ$ determines a quotient $P_Γ$ of the pure braid group, called a graphic arrangement group. We analyze homomorphisms of these groups defined by deletion of sets of vertices, using methods developed in prior joint work with R. Randell. We show that, for a $K_4$-free graph $Γ$, a product of deletion maps is injective, embedding $P_Γ$ in a product of free groups. Then $P_Γ$ is residually free, torsion-free, residually torsion-free nilpotent, and acts properly on a CAT(0) cube complex. We also show $P_Γ$ is of homological finiteness type $F_{m-1}$, but not $F_m$, where $m$ is the number of copies of $K_3$ in $Γ$, except in trivial cases. The embedding result is extended to graphs whose 4-cliques share at most one edge, giving an injection of $P_Γ$ into the product of pure braid groups corresponding to maximal cliques of $Γ$. We give examples showing that this map may inject in more general circumstances. We define the graphic braid group $B_Γ$ as a natural extension of $P_Γ$ by the automorphism group of $Γ$, and extend our homological finiteness result to these groups.
△ Less
Submitted 20 August, 2019;
originally announced August 2019.
-
Drift-preserving numerical integrators for stochastic Hamiltonian systems
Authors:
Chuchu Chen,
David Cohen,
Raffaele D'Ambrosio,
Annika Lang
Abstract:
The paper deals with numerical discretizations of separable nonlinear Hamiltonian systems with additive noise. For such problems, the expected value of the total energy, along the exact solution, drifts linearly with time. We present and analyze a time integrator having the same property for all times. Furthermore, strong and weak convergence of the numerical scheme along with efficient multilevel…
▽ More
The paper deals with numerical discretizations of separable nonlinear Hamiltonian systems with additive noise. For such problems, the expected value of the total energy, along the exact solution, drifts linearly with time. We present and analyze a time integrator having the same property for all times. Furthermore, strong and weak convergence of the numerical scheme along with efficient multilevel Monte Carlo estimators are studied. Finally, extensive numerical experiments illustrate the performance of the proposed numerical scheme.
△ Less
Submitted 22 January, 2020; v1 submitted 20 July, 2019;
originally announced July 2019.
-
Finite field extensions with the line or translate property for $r$-primitive elements
Authors:
Stephen D. Cohen,
Giorgos Kapetanakis
Abstract:
Let $r,n>1$ be integers and $q$ be any prime power $q$ such that $r\mid q^n-1$. We say that the extension $\mathbb{F}_{q^n}/\mathbb{F}_q$ possesses the line property for $r$-primitive elements property if, for every $α,θ\in\mathbb{F}_{q^n}^*$, such that $\mathbb{F}_{q^n}=\mathbb{F}_q(θ)$, there exists some $x\in\mathbb{F}_q$, such that $α(θ+x)$ has multiplicative order $(q^n-1)/r$. We prove that,…
▽ More
Let $r,n>1$ be integers and $q$ be any prime power $q$ such that $r\mid q^n-1$. We say that the extension $\mathbb{F}_{q^n}/\mathbb{F}_q$ possesses the line property for $r$-primitive elements property if, for every $α,θ\in\mathbb{F}_{q^n}^*$, such that $\mathbb{F}_{q^n}=\mathbb{F}_q(θ)$, there exists some $x\in\mathbb{F}_q$, such that $α(θ+x)$ has multiplicative order $(q^n-1)/r$. We prove that, for sufficiently large prime powers $q$, $\mathbb{F}_{q^n}/\mathbb{F}_q$ possesses the line property for $r$-primitive elements. We also discuss the (weaker) translate property for extensions.
△ Less
Submitted 5 October, 2019; v1 submitted 17 June, 2019;
originally announced June 2019.
-
Primitive Element Pairs with a Prescribed Trace in the Quartic Extension of a Finite Field
Authors:
Stephen D. Cohen,
Anju Gupta
Abstract:
In this article, we give a largely self-contained proof that the quartic extension $\mathbb{F}_{q^4}$ of the finite field $\mathbb{F}_q$ contains a primitive element $α$ such that the element $α+α^{-1}$ is also a primitive element of ${\mathbb{F}_{q^4}},$ and $Tr_{\mathbb{F}_{q^4}|\mathbb{F}_{q}}(α)=a$ for any prescribed $a \in \mathbb{F}_q$.
The corresponding result for finite field extensions…
▽ More
In this article, we give a largely self-contained proof that the quartic extension $\mathbb{F}_{q^4}$ of the finite field $\mathbb{F}_q$ contains a primitive element $α$ such that the element $α+α^{-1}$ is also a primitive element of ${\mathbb{F}_{q^4}},$ and $Tr_{\mathbb{F}_{q^4}|\mathbb{F}_{q}}(α)=a$ for any prescribed $a \in \mathbb{F}_q$.
The corresponding result for finite field extensions of degrees exceeding 4 has already been established by Gupta, Sharma and Cohen.
△ Less
Submitted 31 March, 2019;
originally announced April 2019.
-
Exponential Integrators for Stochastic Maxwell's Equations Driven by Itô Noise
Authors:
David Cohen,
Jianbo Cui,
Jialin Hong,
Liying Sun
Abstract:
This article presents explicit exponential integrators for stochastic Maxwell's equations driven by both multiplicative and additive noises. By utilizing the regularity estimate of the mild solution, we first prove that the strong order of the numerical approximation is $\frac 12$ for general multiplicative noise. Combing a proper decomposition with the stochastic Fubini's theorem, the strong orde…
▽ More
This article presents explicit exponential integrators for stochastic Maxwell's equations driven by both multiplicative and additive noises. By utilizing the regularity estimate of the mild solution, we first prove that the strong order of the numerical approximation is $\frac 12$ for general multiplicative noise. Combing a proper decomposition with the stochastic Fubini's theorem, the strong order of the proposed scheme is shown to be $1$ for additive noise. Moreover, for linear stochastic Maxwell's equation with additive noise, the proposed time integrator is shown to preserve exactly the symplectic structure, the evolution of the energy as well as the evolution of the divergence in the sense of expectation. Several numerical experiments are presented in order to verify our theoretical findings.
△ Less
Submitted 9 March, 2019;
originally announced March 2019.
-
The trace of 2-primitive elements of finite fields (amended version)
Authors:
Stephen D. Cohen,
Giorgos Kapetanakis
Abstract:
Let $q$ be a prime power and $n, r$ integers such that $r\mid q^n-1$. An element of $\mathbb{F}_{q^n}$ of multiplicative order $(q^n-1)/r$ is called \emph{$r$-primitive}. For any odd prime power $q$, we show that there exists a $2$-primitive element of $\mathbb{F}_{q^n}$ with arbitrarily prescribed $\mathbb{F}_q$ trace when $n\geq 3$. Also we explicitly describe the values that the trace of such e…
▽ More
Let $q$ be a prime power and $n, r$ integers such that $r\mid q^n-1$. An element of $\mathbb{F}_{q^n}$ of multiplicative order $(q^n-1)/r$ is called \emph{$r$-primitive}. For any odd prime power $q$, we show that there exists a $2$-primitive element of $\mathbb{F}_{q^n}$ with arbitrarily prescribed $\mathbb{F}_q$ trace when $n\geq 3$. Also we explicitly describe the values that the trace of such elements may have when $n=2$. A feature of this amended version is the reduction of the discussion to extensions of prime degree $n$.
△ Less
Submitted 19 January, 2021; v1 submitted 7 March, 2019;
originally announced March 2019.
-
Motion planning in connected sums of real projective spaces
Authors:
Daniel C. Cohen,
Lucile Vandembroucq
Abstract:
The topological complexity ${\sf TC}(X)$ is a homotopy invariant of a topological space $X$, motivated by robotics, and providing a measure of the navigational complexity of $X$. The topological complexity of a connected sum of real projective planes, that is, a high genus nonorientable surface, is known to be maximal. We use algebraic tools to show that the analogous result holds for connected su…
▽ More
The topological complexity ${\sf TC}(X)$ is a homotopy invariant of a topological space $X$, motivated by robotics, and providing a measure of the navigational complexity of $X$. The topological complexity of a connected sum of real projective planes, that is, a high genus nonorientable surface, is known to be maximal. We use algebraic tools to show that the analogous result holds for connected sums of higher dimensional real projective spaces.
△ Less
Submitted 26 July, 2018;
originally announced July 2018.
-
Primitive values of quadratic polynomials in a finite field
Authors:
Andrew R. Booker,
Stephen D. Cohen,
Nicole Sutherland,
Tim Trudgian
Abstract:
We prove that for all $q>211$, there always exists a primitive root $g$ in the finite field $\mathbb{F}_{q}$ such that $Q(g)$ is also a primitive root, where $Q(x)= ax^2 + bx + c$ is a quadratic polynomial with $a, b, c\in \mathbb{F}_{q}$ such that $b^{2} - 4ac \neq 0$.
We prove that for all $q>211$, there always exists a primitive root $g$ in the finite field $\mathbb{F}_{q}$ such that $Q(g)$ is also a primitive root, where $Q(x)= ax^2 + bx + c$ is a quadratic polynomial with $a, b, c\in \mathbb{F}_{q}$ such that $b^{2} - 4ac \neq 0$.
△ Less
Submitted 22 March, 2018; v1 submitted 4 March, 2018;
originally announced March 2018.
-
Lehmer numbers and primitive roots modulo a prime
Authors:
Stephen D. Cohen,
Tim Trudgian
Abstract:
A Lehmer number modulo a prime $p$ is an integer $a$ with $1 \leq a \leq p-1$ whose inverse $\bar{a}$ within the same range has opposite parity. Lehmer numbers that are also primitive roots have been discussed by Wang and Wang in an endeavour to count the number of ways $1$ can be expressed as the sum of two primitive roots that are also Lehmer numbers (an extension of a question of S. Golomb).…
▽ More
A Lehmer number modulo a prime $p$ is an integer $a$ with $1 \leq a \leq p-1$ whose inverse $\bar{a}$ within the same range has opposite parity. Lehmer numbers that are also primitive roots have been discussed by Wang and Wang in an endeavour to count the number of ways $1$ can be expressed as the sum of two primitive roots that are also Lehmer numbers (an extension of a question of S. Golomb).
In this paper we give an explicit estimate for the number of Lehmer primitive roots modulo $p$ and prove that, for all primes $p \neq 2,3,7$, Lehmer primitive roots exist. We also make explicit the known expression for the number of Lehmer numbers modulo $p$ and improve the Wang--Wang estimate for the number of solutions to the Golomb--Lehmer primitive root problem.
△ Less
Submitted 11 December, 2017;
originally announced December 2017.
