H. H. Chan, K. S. Chua and P. Solé [‘Quadratic iterations to $\pi $ associated to elliptic functions to the cubic and septic base’, Trans. Amer. Math. Soc. 355(4) (2002), 1505–1520] found that, for each positive integer d, there are theta series $A_d, B_d$ and $C_d$ of weight one that satisfy the Pythagoras-like relationship $A_d^2=B_d^2+C_d^2$. In this article, we show that there are two collections of theta series $A_{b,d}, B_{b,d}$ and $C_{b,d}$ of weight one that satisfy $A_{b,d}^2=B_{b,d}^2+C_{b,d}^2,$ where b and d are certain integers.

We consider conjugacy classes in a locally compact group G that support finite G-invariant measures. If G is a property (M) extension of an abelian group, in particular, if G is a metabelian group, then any such conjugacy class is relatively compact. As an application, centralisers of lattices in such groups have bounded conjugacy classes. We use the same techniques to obtain results in the case of totally disconnected, locally compact groups.

In 2003, Ozsváth, Szabó and Rasmussen introduced the $\tau $ invariant for knots, and in 2011, Sarkar [‘Grid diagrams and the Ozsváth–Szabó tau-invariant’, Math. Res. Lett. 18(6) (2011), 1239–1257] published a computational shortcut for the $\tau $ invariant of knots that can be represented by diagonal grid diagrams. Previously, the only knots known to have diagonal grid diagram representations were torus knots. We prove that all such knots are positive knots and we produce an example of a knot with a diagonal grid diagram representation which is not a torus knot.

We show that for any set D of at least two digits in a given base b, almost all even integers taking digits only in D when written in base b satisfy the Goldbach conjecture. More formally, if $\mathcal {A}$ is the set of numbers whose digits base b are exclusively from D, almost all elements of $\mathcal {A}$ satisfy the Goldbach conjecture. Moreover, the number of even integers in $\mathcal {A}$ which are less than X and not representable as the sum of two primes is less than $|\mathcal {A}\cap \{1,\ldots ,X\}|^{1-\delta }$.

Let E be an elliptic curve defined over $\mathbb {Q}$ with good ordinary reduction at a prime $p\geq 5$ and let F be an imaginary quadratic field. Under appropriate assumptions, we show that the Pontryagin dual of the fine Mordell–Weil group of E over the $\mathbb {Z}_{p}^2$-extension of F is pseudo-null as a module over the Iwasawa algebra of the group $\mathbb {Z}_{p}^2$.

We compute primes $p \equiv 5 \bmod 8$ up to $10^{11}$ for which the Pellian equation $x^2-py^2=-4$ has no solutions in odd integers; these are the members of sequence A130229 in the Online Encyclopedia of Integer Sequences. We find that the number of such primes $p\leqslant x$ is well approximated by

$$ \begin{align*}\frac{1}{12}\pi(x) - 0.037\int_2^x \frac{dt}{t^{1/6}\log t},\end{align*} $$

where $\pi (x)$ is the usual prime counting function. The second term shows a surprising bias away from membership of this sequence.

Given a unital $C^*$-algebra and a faithful trace, we prove that the topology on the associated density space induced by the $C^*$-norm is finer than the Bures metric topology. We also provide an example when this containment is strict. Next, we provide a metric on the density space induced by a quantum metric in the sense of Rieffel and prove that the induced topology is the same as the topology induced by the Bures metric and $C^*$-norm when the $C^*$-algebra is assumed to be finite dimensional. Finally, we provide an example where the Bures metric and induced quantum metric are not metric equivalent. Thus, we provide a bridge between these aspects of quantum information theory and noncommutative metric geometry.

Let X be a smooth projective variety defined over a number field K. We give an upper bound for the generalised greatest common divisor of a point $x\in X$ with respect to an irreducible subvariety $Y\subseteq X$ also defined over K. To prove the result, we establish a rather uniform Riemann–Roch-type inequality.

For an integer $k \geq 2$, let $P_{n}^{(k)}$ be the k-generalised Pell sequence, which starts with $0, \ldots ,0,1$ (k terms), and each term thereafter is given by the recurrence $P_{n}^{(k)} = 2 P_{n-1}^{(k)} +P_{n-2}^{(k)} +\cdots +P_{n-k}^{(k)}$. We search for perfect powers, which are sums or differences of two k-generalised Pell numbers.

We consider the relationship between the Mahler measure $M(f)$ of a polynomial f and its separation $\operatorname {sep}(f)$. Mahler [‘An inequality for the discriminant of a polynomial’, Michigan Math. J. 11 (1964), 257–262] proved that if $f(x) \in \mathbb {Z}[x]$ is separable of degree n, then $\operatorname {sep}(f) \gg _n M(f)^{-(n-1)}$. This spurred further investigations into the implicit constant involved in that relationship and led to questions about the optimal exponent on $M(f)$. However, there has been relatively little study concerning upper bounds on $\operatorname {sep}(f)$ in terms of $M(f)$. We prove that if $f(x) \in \mathbb {C}[x]$ has degree n, then $\operatorname {sep}(f) \ll n^{-1/2}M(f)^{1/(n-1)}$. Moreover, this bound is sharp up to the implied constant factor. We further investigate the constant factor under various additional assumptions on $f(x)$; for example, if it has only real roots.

Consider a possibly unsaturated Fell bundle $\mathcal {A}\to G$ over a locally compact, possibly non-Hausdorff, groupoid G. We list four notions of continuity of representations of $\mathit {C_c}(G;\mathcal {A})$ on a Hilbert space and prove their equivalence. This allows us to define the full $\mathit {C}^*$-algebra of the Fell bundle in different ways.

Let $E/\mathbb {Q}(T)$ be a nonisotrivial elliptic curve of rank r. A theorem due to Silverman [‘Heights and the specialization map for families of abelian varieties’, J. reine angew. Math. 342 (1983), 197–211] implies that the rank $r_t$ of the specialisation $E_t/\mathbb {Q}$ is at least r for all but finitely many $t \in \mathbb {Q}$. Moreover, it is conjectured that $r_t \leq r+2$, except for a set of density $0$. When $E/\mathbb {Q}(T)$ has a torsion point of order $2$, under an assumption on the discriminant of a Weierstrass equation for $E/\mathbb {Q}(T)$, we produce an upper bound for $r_t$ that is valid for infinitely many t. We also present two examples of nonisotrivial elliptic curves $E/\mathbb {Q}(T)$ such that $r_t \leq r+1$ for infinitely many t.

For $M,N,m\in \mathbb {N}$ with $M\geq 2, N\geq 1$ and $m \geq 2$, we define two families of sequences, $\mathcal {B}_{M,N}$ and $\mathcal {B}_{M,N,m}$. The nth term of $\mathcal {B}_{M,N}$ is obtained by expressing n in base M and recombining those digits in base N. The nth term of $\mathcal {B}_{M,N,m}$ is defined by $\mathcal {B}_{M,N,m}(n):=\mathcal {B}_{M,N}(n) \; (\textrm {mod}\;m)$. The special case $\mathcal {B}_{M,1,m}$, where $N=1$, yields the digit sum sequence $\mathbf {t}_{M,m}$ in base M mod m. We prove that $\mathcal {B}_{M,N}$ is the fixed point of a morphism $\mu _{M,N}$ at letter $0$, similar to a property of $\mathbf {t}_{M,m}$. Additionally, we show that $\mathcal {B}_{M,N,m}$ contains arbitrarily long palindromes if and only if $m=2$, mirroring the behaviour of the digit sum sequence. When $m\geq M$ and N, m are coprime, we establish that $\mathcal {B}_{M,N,m}$ contains no overlaps.

We prove several new congruences for the overcubic partition triples function, using both elementary techniques and the theory of modular forms. These extend the recent list of such congruences given by Nayaka, Dharmendra and Kumar [‘Divisibility properties for overcubic partition triples’, Integers 24 (2024), Article no. a80, 9 pages]. We also generalise overcubic partition triples to overcubic partition k-tuples and prove arithmetic properties for these partitions.

We consider the pseudorelativistic Hartree equation

$$ \begin{align*} i\partial_t\psi=(\sqrt{-c^2\Delta +m^2c^4}-mc^2)\psi-(|x|^{-1}*|\psi|^2)\psi\quad \text{with } (t,x)\in\mathbb{R}\times\mathbb{R}^3, \end{align*} $$

which describes the dynamics of pseudorelativistic boson stars in the mean-field limit. We study the travelling waves of the form $\psi (t,x)=e^{it\mu }\varphi _{c}(x-vt)$, where $v\in \mathbb {R}^3$ denotes the travelling velocity. We prove that $\varphi _{c}$ converges strongly to the minimiser $\varphi _{\infty }$ of the limit energy $E_{\infty }(N)$ in $H^1(\mathbb {R}^3)$ as the light speed $c\to \infty $, where $E_{\infty }(N)$ is the corresponding energy for the limit equation

$$ \begin{align*} -\frac{1}{2m}\Delta\varphi_{\infty}+i(v\cdot\nabla)\varphi_{\infty}-({|x|^{-1}}*|\varphi_{\infty}|^2)\varphi_{\infty}=-\lambda\varphi_{\infty}. \end{align*} $$

Since the operator $-\Delta $ is the classical kinetic operator, we call this the nonrelativistic limit. We prove the existence of the minimiser for the limit energy $E_{\infty }(N)$ by using concentration-compactness arguments.

We develop a generalisation of the square sieve of Heath-Brown and use it to give an alternate proof of one of the large sieve inequalities in our previous paper [‘A large sieve inequality for characters to quadratic moduli’, Preprint, https://web.maths.unsw.edu.au/~ccorrigan/preprint6.pdf].

For an integral domain R satisfying certain conditions, we characterise the primitive ideal space and its Jacobson topology for the semigroup crossed product $C^*(R_+) \rtimes R^\times $. We illustrate the result by the example $R=\mathbb {Z}[\sqrt {-3}]$.

We introduce the concept of almost $\mathcal {P}$-numbers where $\mathcal {P}$ is a class of groups. We survey the existing results in the literature for almost cyclic numbers, and give characterisations for almost abelian and almost nilpotent numbers proving these two concepts are equivalent.

A graph G is called an $[s,t]$-graph if any induced subgraph of G of order s has size at least $t.$ We prove that every $2$-connected $[4,2]$-graph of order at least $7$ is pancyclic. This strengthens existing results. There are $2$-connected $[4,2]$-graphs which do not satisfy the Chvátal–Erdős condition on Hamiltonicity. We also determine the triangle-free graphs among $[p+2,p]$-graphs for a general $p.$

We continue our study of exponent semigroups of rational matrices. Our main result is that the matricial dimension of a numerical semigroup is at most its multiplicity (the least generator), greatly improving upon the previous upper bound (the conductor). For many numerical semigroups, including all symmetric numerical semigroups, our upper bound is tight. Our construction uses combinatorially structured matrices and is parametrised by Kunz coordinates, which are central to enumerative problems in the study of numerical semigroups.