Showing 1–50 of 111 results for author: Cohen, D

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.

Comments: 28 pages, 1 figure, comments welcome

MSC Class: 20E26; 20J06; 20E08 (Primary) 20E06; 20E18; 20F65; 20F05 (Secondary)

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.

MSC Class: 11T30

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 kee** 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 dam**

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 dam** 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 dam** 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 dam** 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 dam** 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 4 July, 2023; originally announced July 2023.

Comments: 30 pages, 2 figures

Groups Acting Acylindrically on Trees

Authors: William D. Cohen

Abstract: We develop a theory 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 this classification to consider acylindrically hyperbolic groups that have actions on… ▽ More We develop a theory 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 this classification to consider acylindrically hyperbolic groups that have actions on trees but have no non-elementary acylindrical actions on trees. △ Less

Submitted 30 April, 2024; v1 submitted 21 June, 2023; originally announced June 2023.

Comments: 20 Pages, 2 figures. Updated 30/04/24: Shortened and refocused for submission

MSC Class: 20E08 (Primary); 20F67 (Primary); 57K32 (Secondary)

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.

MSC Class: 60H35. 60M15. 65J08

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.

Journal ref: 14th International Conference on Digital Image Processing (ICDIP 2022), May 2022, Wuhan (Virtual), China

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.

Comments: 4 pages

MSC Class: 11T23; 11T30; 12E20

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.

Comments: 18 pages -- We substantially improve the previous two versions

MSC Class: 11T30; 16D60; 16S34; 16U60

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.

Comments: 13 pages; revised version

MSC Class: 11T23; 11T30; 12E20

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.

MSC Class: 60H10; 60H35; 65C30; 65P10

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.

Comments: arXiv admin note: substantial text overlap with arXiv:1903.03160

MSC Class: Primary 11T30; Secondary 11T06

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.

MSC Class: 11T30 (primary); 11A07; 11T23 (secondary)

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.

Comments: Forum Mathematicum, to appear

MSC Class: 55M30; 55S40; 57N65

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.

Comments: 26 pages, 7 figures

MSC Class: 60H15; 60H35; 65C30; 60G15; 60G60; 60G17; 33C55; 41A25

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.

Comments: arXiv admin note: text overlap with arXiv:2005.04978

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.

Comments: revision includes an appendix on fibrations of certain map** spaces

MSC Class: 55S40; 55M30; 55R80; 70Q05

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.

Comments: To appear in SIAM Journal of Applied Algebra and Geometry

MSC Class: 55S40; 55M30; 55R80; 70Q05

Journal ref: SIAM Journal on Applied Algebra and Geometry, 5 (2021), 229-249

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.

MSC Class: 65C20. 65C30. 65C50. 65J08. 60H15. 60M15. 60-08. 35Q55

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.

Comments: 17 pages. To appear in International Journal of Computer Mathematics

MSC Class: 65C30; 65P10; 60H10; 60H35

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.

MSC Class: 65C30. 65C50. 65J08. 60H15. 60M15. 60-08. 35Q55

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.

MSC Class: 60H35 (Primary); 65C20; 65C30

Journal ref: Applied Numerical Mathematics 158 (2020), p. 264-270

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.

Comments: 15 pages

MSC Class: 12E20; 11T23

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.

Comments: arXiv admin note: text overlap with arXiv:1906.08046, arXiv:1903.03160

MSC Class: 11T30 (Primary); 11T06 (Secondary)

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.

Comments: 12 pages

MSC Class: 11T23

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.

Comments: 25 pages, 1 figure

MSC Class: 20F36; 32S22; 52C35; 20E26

Journal ref: Advances in Applied Mathematics 126 (2021), Paper No. 102130, 22 pp

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.

MSC Class: 65C20. 65C30. 60H10. 60H35

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.

Comments: arXiv admin note: text overlap with arXiv:1903.03160

MSC Class: 11T30 (Primary) 11T06 (Secondary)

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.

Comments: 14 pages

MSC Class: 11T

Journal ref: Journal of Algebra and Its Applications (2021) 2150168 (14 pages)

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.

Comments: 21 Pages

MSC Class: 60H35; 60H15; 35Q61

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.

Comments: This is an amended version of [6]

MSC Class: 11T30; 11T06

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.

Comments: 10 pages

MSC Class: Primary 55S40; 55M30; Secondary 55N25; 70Q05

Journal ref: Top. Proc. 54 (2019), 323-334

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.

Comments: 12 pages; code available at https://arxiv.longhoe.net/src/1803.01435v2/anc/

MSC Class: 11T30; 11Y16

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.

Comments: 11 pages

MSC Class: 11A07; 11L05

A fully discrete approximation of the one-dimensional stochastic heat equation

Authors: Rikard Anton, David Cohen, Lluis Quer-Sardanyons

Abstract: A fully discrete approximation of the one-dimensional stochastic heat equation driven by multiplicative space-time white noise is presented. The standard finite difference approximation is used in space and a stochastic exponential method is used for the temporal approximation. Observe that the proposed exponential scheme does not suffer from any kind of CFL-type step size restriction. When the dr… ▽ More A fully discrete approximation of the one-dimensional stochastic heat equation driven by multiplicative space-time white noise is presented. The standard finite difference approximation is used in space and a stochastic exponential method is used for the temporal approximation. Observe that the proposed exponential scheme does not suffer from any kind of CFL-type step size restriction. When the drift term and the diffusion coefficient are assumed to be globally Lipschitz, this explicit time integrator allows for error bounds in $L^q(Ω)$, for all $q\geq2$, improving some existing results in the literature. On top of this, we also prove almost sure convergence of the numerical scheme. In the case of non-globally Lipschitz coefficients, we provide sufficient conditions under which the numerical solution converges in probability to the exact solution. Numerical experiments are presented to illustrate the theoretical results. △ Less

Submitted 22 November, 2017; originally announced November 2017.

MSC Class: 60H15; 60H35

Lamplighters admit weakly aperiodic SFTs

Authors: David Bruce Cohen

Abstract: Let $A$ be a finite set and $G$ a group. A closed subset $X$ of $A^G$ is called a subshift if the action of $G$ on $A^G$ preserves $X$. If $K$ is a closed subset of $A^G$ such that membership in $K$ is determined by looking at a fixed finite set of coordinates, and $X$ is the intersection of all translates of $K$ under the action of $G$, then $X$ is called a subshift of finite type (SFT). If an SF… ▽ More Let $A$ be a finite set and $G$ a group. A closed subset $X$ of $A^G$ is called a subshift if the action of $G$ on $A^G$ preserves $X$. If $K$ is a closed subset of $A^G$ such that membership in $K$ is determined by looking at a fixed finite set of coordinates, and $X$ is the intersection of all translates of $K$ under the action of $G$, then $X$ is called a subshift of finite type (SFT). If an SFT is nonempty and contains no finite $G$-orbits, it is said to be weakly aperiodic. A virtually cyclic group has no weakly aperiodic SFT, and Carroll and Penland have conjectured that a group with no weakly aperiodic SFT must be virtually cyclic. Answering a question of Jeandel, we show that lamplighters always admit weakly aperiodic SFTs. △ Less

Submitted 2 February, 2018; v1 submitted 10 October, 2017; originally announced October 2017.

Comments: 10 pages, 3 figures have been added, some corrections have been made

MSC Class: 37B50; 20F65

Primitive Element Pairs with One Prescribed Trace over a Finite Field

Authors: Anju Gupta, R. K. Sharma, Stephen D. Cohen

Abstract: In this article, we establish a sufficient condition for the existence of a primitive element $α\in {\mathbb{F}_{q^n}}$ such that the element $α+α^{-1}$ is also a primitive element of ${\mathbb{F}_{q^n}},$ and $Tr_{\mathbb{F}_{q^n}|\mathbb{F}_{q}}(α)=a$ for any prescribed $a \in \mathbb{F}_q$, where $q=p^k$ for some prime $p$ and positive integer $k$. We prove that every finite field… ▽ More In this article, we establish a sufficient condition for the existence of a primitive element $α\in {\mathbb{F}_{q^n}}$ such that the element $α+α^{-1}$ is also a primitive element of ${\mathbb{F}_{q^n}},$ and $Tr_{\mathbb{F}_{q^n}|\mathbb{F}_{q}}(α)=a$ for any prescribed $a \in \mathbb{F}_q$, where $q=p^k$ for some prime $p$ and positive integer $k$. We prove that every finite field $\mathbb{F}_{q^n}~ (n \geq5),$ contains such primitive elements except for finitely many values of $q$ and $n$. Indeed, by computation, we conclude that there are no actual exceptional pairs $(q,n)$ for $n\geq5.$ △ Less

Submitted 28 March, 2018; v1 submitted 16 September, 2017; originally announced September 2017.

Comments: 19 pages, 1 table

Existence results for primitive elements in cubic and quartic extensions of a finite field

Authors: Geoff Bailey, Stephen D. Cohen, Nicole Sutherland, Tim Trudgian

Abstract: With $\Fq$ the finite field of $q$ elements, we investigate the following question. If $γ$ generates $\Fqn$ over $\Fq$ and $β$ is a non-zero element of $\Fqn$, is there always an $a \in \Fq$ such that $β(γ+ a)$ is a primitive element? We resolve this case when $n=3$, thereby proving a conjecture by Cohen. We also improve substantially on what is known when $n=4$. With $\Fq$ the finite field of $q$ elements, we investigate the following question. If $γ$ generates $\Fqn$ over $\Fq$ and $β$ is a non-zero element of $\Fqn$, is there always an $a \in \Fq$ such that $β(γ+ a)$ is a primitive element? We resolve this case when $n=3$, thereby proving a conjecture by Cohen. We also improve substantially on what is known when $n=4$. △ Less

Submitted 17 October, 2018; v1 submitted 8 July, 2017; originally announced July 2017.

Comments: To appear in Math. Comp

MSC Class: 11T30; 11T06

Journal ref: Mathematics of Computation, Volume 88, Number 316, March 2019

Continuous cocycle superrigidity for the full shift over a finitely generated torsion group

Authors: David Bruce Cohen

Abstract: Chung and Jiang showed that, if a one ended group contains an infinite order element, then every continuous cocycle over the full shift on that group, taking values in a discrete group, must be cohomologous to a homomorphism. We show that their conclusion holds for all one ended groups, so that the hypothesis of admitting an infinite order element may be omitted. Chung and Jiang showed that, if a one ended group contains an infinite order element, then every continuous cocycle over the full shift on that group, taking values in a discrete group, must be cohomologous to a homomorphism. We show that their conclusion holds for all one ended groups, so that the hypothesis of admitting an infinite order element may be omitted. △ Less

Submitted 13 June, 2017; v1 submitted 12 June, 2017; originally announced June 2017.

Comments: 9 pages, 4 figures, terminology has been standardized, and some typos have been corrected

MSC Class: 20F65; 37B10; 37A20

Strongly aperiodic subshifts of finite type on hyperbolic groups

Authors: David Bruce Cohen, Chaim Goodman-Strauss, Yo'av Rieck

Abstract: We prove that a hyperbolic group admits a strongly aperiodic subshift of finite type if and only if it has at most one end. We prove that a hyperbolic group admits a strongly aperiodic subshift of finite type if and only if it has at most one end. △ Less

Submitted 6 June, 2017; v1 submitted 5 June, 2017; originally announced June 2017.

MSC Class: 37B50; 20F65; 05B45

Translation-like actions of nilpotent groups

Authors: David Bruce Cohen, Mark Pengitore

Abstract: We give a new obstruction to translation-like actions on nilpotent groups. Suppose we are given two finitely generated torsion free nilpotent groups with the same degree of polynomial growth, but non-isomorphic Carnot completions (asymptotic cones). We show that there exists no injective Lipschitz function from one group to the other. It follows that neither group can act translation-like on the o… ▽ More We give a new obstruction to translation-like actions on nilpotent groups. Suppose we are given two finitely generated torsion free nilpotent groups with the same degree of polynomial growth, but non-isomorphic Carnot completions (asymptotic cones). We show that there exists no injective Lipschitz function from one group to the other. It follows that neither group can act translation-like on the other. △ Less

Submitted 23 April, 2017; originally announced April 2017.

Comments: 14 pages, no figures

MSC Class: 20F65; 20F18

Topological complexity of classical configuration spaces and related objects

Authors: Daniel C. Cohen

Abstract: We survey results on the topological complexity of classical configuration spaces of distinct ordered points in orientable surfaces and related spaces, including certain orbit configuration spaces and Eilenberg-Mac Lane spaces associated to certain discrete groups. We survey results on the topological complexity of classical configuration spaces of distinct ordered points in orientable surfaces and related spaces, including certain orbit configuration spaces and Eilenberg-Mac Lane spaces associated to certain discrete groups. △ Less

Submitted 12 March, 2017; v1 submitted 24 February, 2017; originally announced February 2017.

Comments: This survey expands on lectures given at the Spring 2016 Mathematisches Forschungsinstitut Oberwolfach Mini-Workshop "Topological Complexity and Related Topics." To appear in the Contemporary Mathematics volume of the same title (M. Grant, G. Lupton, L. Vandembroucq, eds.)

MSC Class: 20F36; 55M30; 55R80

Journal ref: in: Contemporary Mathematics 702, pp. 41-60, Amer. Math. Soc. 2018