Number Theory [math.NT]

Courbes et fibr\'es vectoriels en th\'eorie de Hodge $z$-adique globale

math.NT

math.AG

math.RT

We study the global analogue of the Fargues-Fontaine curve over function fields $F$. We prove some foundational results about its moduli of $G$-bundles $\operatorname{Bun}_{G,F}$, which is a geometrization of the global Kottwitz set $B(F,G)$. For example, $\operatorname{Bun}_{G,F}$ plays the role of Igusa stacks over function fields. We use $\operatorname{Bun}_{G,F}$ to reformulate the global Langlands conjecture for $G$ over $F$ in terms of categorical local Langlands, refining conjectures of Arinkin-Gaitsgory-Kazhdan-Raskin-Rozenblyum-Varshavsky and Zhu. Finally, we verify this conjecture when $G$ is commutative. Along the way, we prove a GAGA theorem for smooth proper schemes over sousperfectoid spaces, which is of independent interest.

Almost all primes are partially regular

math.NT

For odd primes $p$, we let $K_p:=\mathbb{Q}(\zeta_p)$ be the $p$th cyclotomic field and let $\omega$ denote its Teichmuller character. For $\alpha>1/2$, we say that an odd prime $p$ is partially regular if the eigenspaces of the $p$-Sylow subgroup of $\operatorname{Cl}(K_p)$ under the Galois action vanish for all characters $\omega^{p-2k}$ with \[ 2\le 2k \le \frac{\sqrt{p}}{(\log p)^{\alpha}}. \] Equivalently, $p\nmid \operatorname{num}(B_{2k})$ throughout this range. We prove that a density-one subset of primes is partially regular in this sense. By Leopoldt reflection, this yields a partial Vandiver Theorem: for a density-one set of primes $p$, the even eigenspaces $A_p(\omega^{2k})$ vanish for all even $2k$ satisfying the inequality above. This result has consequences for Kubota-Leopoldt $p$-adic $L$-functions, congruences between cusp forms and Eisenstein series, and $p$-torsion in algebraic $K$-groups. The theorem proving partial regularity for almost all $p$ is fully formalized in Lean/Mathlib and was produced automatically by AxiomProver from a natural-language statement of the conjecture.

Inseparable endomorphisms and rank-2 sublattices of the Gross lattice

math.NT

We answer a question posed by Love asking about a correspondence between isogenies from a supersingular elliptic curve to its Frobenius base-change and rank-2 sublattices of its Gross lattice. We recast the question as one about the inseparable endomorphisms of the curve, and show that the correspondence holds when the trace of the endomorphism is zero, and may not hold otherwise.

Some series representing the eta function for $\Re s>0$

math.NT

We represent the Dirichlet eta function, and generally $(b^s-b)\zeta(s)/b^s$ for $b>1$ an integer, in the half-plane $\Re s>0$, via series dominated by geometric series, with arbitrarily small convergence ratio (up to the prize of a longer first approximation). Due to the underlying recurrence, the cost for each new term is at first sight linearly increasing, so the cost appears to be quadratic in the number of terms kept. And the number of terms needed to achieve a given target precision increases linearly with the imaginary part of $s$.

A new improved explicit estimate for $\zeta\left( 1/2+it\right)$

math.NT

In this paper, we present an improved explicit subconvexity result for the Riemann zeta function $\zeta\left( s\right)$ along the critical line $s=1/2+it$, given by Hiary, Patel and Yang in 2024. This new bound is derived by combining a refined, explicit version of the van der Corput method together with computational calculations.

Affine Chabauty II

math.NT

We present an algorithm for determining the set of $S$-integral points on an affine curve based on the Affine Chabauty method developed in the first part of this series. We achieve this by constructing explicit logarithmic differentials whose integrals take on prescribed values on $S$-integral points. Along the way, we prove a $p$-adic residue theorem for Coleman integrals of log differentials.

On symmetries of hyperbolic lattices of large rank

math.NT

math.AG

For an even, integral hyperbolic lattice $L$, the symmetry group of $L$ is the quotient of the group of isometries of $L$ by the Weyl subgroup of $(-2)$-reflections. Following Nikulin, the exceptional lattice of $L$ is defined as the sublattice generated by elements that have finite orbit under the symmetry group of $L$. We prove that every hyperbolic lattice of rank at least $46$ has trivial exceptional lattice. In particular, every such lattice admits a symmetry of maximal Salem degree.

$L^q$-norm bounds for arithmetic eigenfunctions via microlocal Kakeya-Nikodym estimate

math.NT

math.AP

Let $X$ be a compact arithmetic hyperbolic surface, and let $\psi$ be an $L^2$-normalized Hecke-Maass form on $X$ with sufficiently large spectral parameter $\lambda$. We give a new proof to obtain some power saving for the global $L^6$-norm $\|\psi\|_{L^6(X)}\lesssim_\epsilon\lambda^{\frac{1}{6}-\frac{1}{144}+\epsilon}$ over the local bound $\|\psi\|_{L^6(X)}\lesssim\lambda^{\frac16}$ of Sogge. Using the $L^\infty$-norm bound $\|\psi\|_{L^\infty(X)}\lesssim_\epsilon\lambda^{\frac{5}{12}+\epsilon}$ of Iwaniec and Sarnak and harmonic analysis tools, we reduce the $L^6$-norm problem to a microlocal $L^6$ Kakeya-Nikodym estimate for $\psi$. Finally, we establish an improved microlocal $L^6$ Kakeya-Nikodym estimate via arithmetic amplification developed by Iwaniec and Sarnak.

Thin sets in weighted projective stacks

math.NT

math.AG

We prove an upper bound for the number of rational points of bounded height in a weighted projective stack which lie in a given thin subset. As a consequence, we show that $100\%$ of hyperelliptic curves do not admit a prescribed on-trivial level structure.

An approach to the Lindel\"of Hypothesis for Dirichlet $L$-functions

math.NT

The suggested approach is based on a known representation of Dirichlet $L$-functions via the incomplete gamma functions. Some properties of the Taylor coefficients of the lower incomplete gamma function at infinity seem to be new. Specifically, these coefficients can be expressed in terms of Touchard polynomials. Furthermore, these same coefficients can be used to reformulate the functional equation for Dirichlet $L$-functions. This relationship "explains"' why $\vert L_\chi(1/2+i t)\vert $ should be small. To present the new ideas in a nutshell, we start by giving (in Section 1) a "formula proof" of the Lindel\"of hypothesis. This is not a genuine proof, as we are not concerned with the convergence of our series nor do we justify changing the order of summation. In Section 2, we suggest some hypothetical ways of transforming the "proof" from Section 1 into a rigorous mathematical proof. Sections 3-5 contain some technical details and bibliographical references.

Mertens products in arithmetic progressions over function fields

math.NT

math.AG

We establish a function field analogue of Mertens' formula for Euler products restricted to primes in arithmetic progressions over the polynomial ring F_q[t]. Our results are in direct correspondence with those of Languasco and Zaccagnini for arithmetic progressions in the integers. Over function fields, Weil's Riemann hypothesis for Dirichlet L-functions holds unconditionally, and consequently the analogue of the GRH-strength asymptotic is obtained without any exceptional zero correction term.

Descent properties for an abelian variety with extended Galois representation

math.NT

math.AG

Let $K$ be a field, $L$ a finite Galois extension of $K$, and $X$ an abelian variety defined over $L$. If $X$ is isogenous over $L$ to an abelian variety defined over $K$, then the $\ell$-adic Galois representations associated to $X$ extend to representations $\bar{\rho}_{\ell,X}:\mathrm{Gal}(\bar{L}/K)\to\mathrm{Aut}(V_\ell X)$ for every prime $\ell$. This paper aims to show that the converse is true for abelian varieties of Type I, with some supplementary conditions needed on the endomorphisms of $X$, when $L$ is either a number field or a function field of prime characteristic different from $2$.

Dead ends in square-free digit walks

math.CO

math.NT

math.PR

We study "dead ends" in square-free digit walks: square-free integers $N$ such that, in base $b$, every one-digit extension $bN+d$ is non-square-free. In base $10$, the stochastic independence model of Miller et al. suggests that infinite square-free walks occur with probability near $1$, corresponding to an asymptotic dead-end density of $\approx 5.218\times 10^{-5}$. We prove that the true asymptotic dead-end density satisfies \[ c_{\mathrm{dead}} \approx 1.317\times 10^{-9}, \] roughly a factor of $\sim 4\times 10^4$ smaller than the prediction. For every base $b\geq 2$, we prove that dead-end densities exist and are given by a closed-form expression (as a finite alternating sum of Euler products). The argument is fully formalized in Lean/Mathlib, and was produced automatically by AxiomProver from a natural-language statement of the problem.

Rational Interpreters for Discrete Dynamics: Existence, Exactness, and Decomposition over $p$-adic Fields

math.DS

math.AC

math.AG

math.CO

math.NT

We address an inverse problem in non-Archimedean dynamics: given a finite discrete dynamical system (equivalently, a functional graph on $N$ states), construct a continuous $p$-adic dynamical system whose residue-level behavior reproduces the prescribed transitions. Using the cylinder partition of $\mathcal{O}_K$ (viewed as \emph{Witt cylinders} for unramified $K/\mathbb{Q}_p$), we encode states by pairwise disjoint closed balls and formalize an \textbf{interpreter} as a map sending each state ball into its target ball. Our main existence result constructs rational interpreters that are analytic (hence pole-free) on the prescribed state cylinders, combining rigid-analytic Runge approximation with finite interpolation constraints. Under a linear-dominance condition on each cylinder, ball images are explicit and locally affine, leading to a robust classification of discrete behavior into contractive, indifferent, and expansive regimes. Good reduction provides a selection principle for natural interpreters; effective degree and height bounds for general rational interpreters remain open. For composite alphabets we prove a \textbf{Dynamic Chinese Remainder Theorem} for congruence-preserving systems: the CRT isomorphism $\Theta:\mathbb{Z}/m\mathbb{Z}\xrightarrow{\sim}\prod_i\mathbb{Z}/p_i^{k_i}\mathbb{Z}$ (for $m=\prod p_i^{k_i}$) yields a factorization of the \emph{dynamics} (equivalently, the functional graph) on $\mathbb{Z}/m\mathbb{Z}$ into dynamics on the prime-power components, compatible with reduction. Finally, we discuss an inverse-limit (profinite) extension: compatible towers define a $1$-Lipschitz map on $\mathbb{Z}_p$, while selecting compatible analytic/rational interpreters across levels becomes a separate problem.

Self-similar and self-conformal measures with slow Fourier decay

math.DS

math.CA

math.NT

Given any function $\phi \colon [0,\infty)\to (0,1]$ satisfying $\lim_{\xi\to\infty}\phi(\xi) = 0$, we prove the existence of i) self-similar measures and ii) nonlinear $C^{\infty}$ self-conformal measures which are Rajchman and whose Fourier transform $\widehat{\mu}$ satisfies \[ \limsup_{\xi\to\infty}\frac{|\widehat{\mu}(\xi)|}{\phi(\xi)}>0.\] Moreover, we derive new sufficient conditions for a self-conformal measure to be Rajchman, and construct an explicit self-similar measure $\mu$ such that $\mu$ almost every $x$ is normal in base $10$ but the sequence $(10^{n}x \mod 1)_{n=1}^{\infty}$ equidistributes extremely slowly.

A Dieudonn\'e theory for analytic p-divisible groups and applications to Shimura varieties

math.AG

math.NT

We study families of analytic $p$-divisible groups over adic spaces $S$ defined over $\mathbb{Q}_p$. We prove an equivalence between such families and Hodge-Tate triples, generalizing a theorem of Fargues. For a perfectoid space $S$, we construct a functor associating to an analytic $p$-divisible group $\mathcal{G} \rightarrow S$ a coherent sheaf $\mathcal{E}(\mathcal{G})$ on the relative Fargues--Fontaine curve $X_S$. Restricting to analytic $p$-divisible groups admitting a Cartier dual, we obtain an equivalence of categories with local shtukas satisfying a minuscule condition, compatible with the prismatic Dieudonn\'e theory of Ansch\"utz--Le Bras. We conclude with applications to moduli spaces: we show that the local Shimura varieties of EL and PEL types of Scholze--Weinstein are moduli spaces of analytic $p$-divisible groups with extra structure, and we give a reinterpretation of the Hodge--Tate period map of Scholze in terms of topologically $p$-torsion subgroups of abelian varieties.

Generalized Perfect Matrices

math.MG

math.NT

We generalize Voronoi's theory of perfect quadratic forms to generalized copositive matrices over a closed convex and full-dimensional cone K. We introduce a notion of a K-copositive minimum and of perfect K-copositive matrices. We consider a key feature of a given cone, which we call Interior Ryshkov (IR) property. Under this property the classical theory and its applications generalize nicely and we prove that rationally generated cones possess this IR property. For contrast, we give a detailed example of a simple cone without the IR property, showing various differences to the classical case. Moreover, this example yields connections to questions of number theory, in particular to Diophantine approximation and the Pell Equation. Finally, as an application, we give inner and outer polyhedral approximations for the generalized completely positive cone and a method to find rational certificates for (non-)membership in this cone.

Results of Brocard-Ramanujan problem on diophantine equation $n!+1=m^2$

math.NT

v2

The Brocard-Ramanujan problem pertaining to the diophantine equation $n!+1=m^2$, a famously unsolved problem, deals with finding the integer solutions to the equation. Nobody has discovered any new solution of the problem beyond $n=4,~5$ and $7$ although many of us have tried it. Bruce Berndt and William Galway \cite{Berndt} had not found any new solution in 2000 by extensive computer search for a solution with $n$ up to $10^9$. The purpose of this study is to show that the solutions should satisfy some necessary and/or sufficient conditions. If $\sqrt{n!}=k+\epsilon,~n>1,~0<\epsilon<1$; then it has solution if and only if $n!=k(k+2)$ and $\epsilon,~k$ are strictly monotonic increasing. It has only finitely many solutions which is not based on any conjecture or previous research on the Brocard-Ramanujan problem. For the new solution of Brocard-Ramanujan problem ($n\ge 10^5$), the value of $\epsilon$ should be more than $0.999 \cdots 905915$ (digit 0 is coming after 228287 numbers of 9 digit, which takes more than 66 pages in (LibreOffice Writer) indicating almost impossibility of new solution. If we consider $n\geq 10^9$, I am unable to calculate the said numbers of 9 digit in the value of $\epsilon$ in my personal laptop (with 8GB Ram) using MATHEMATICA 8. Finally, it has been claimed to discover that the problem has no further solution.

The anticyclotomic main conjectures for elliptic curves

math.NT

v2

The goal of this article is to obtain a proof of the Main conjectures of Iwasawa theory for rational elliptic curves over anticyclotomic extensions of imaginary quadratic fields, under mild arithmetic assumptions, both in the case where the rational prime $p$ is good ordinary or supersingular.

$\Omega$-Results for Exponential Sums Related to Maass Cusp Forms for $\mathrm{SL}_3(\mathbb Z)$

math.NT

v3

We obtain $\Omega$-results for linear exponential sums with rational additive twists of small prime denominators weighted by Hecke eigenvalues of Maass cusp forms for the group $\mathrm{SL}_3(\mathbb Z)$. In particular, our $\Omega$-results match the expected conjectural upper bounds when the denominator of the twist is sufficiently small compared to the length of the sum. Non-trivial $\Omega$-results for sums over short segments are also obtained. Along the way we produce lower bounds for mean squares of the exponential sums in question and also improve the best known upper bound for these sums in some ranges of parameters.

Polylogarithmic motivic Chabauty-Kim for $\mathbb{P}^1 \setminus \{ 0,1,\infty \}$: the geometric step via resultants

math.NT

math.AG

v3

Given a finite set $S$ of distinct primes, we propose a method to construct polylogarithmic motivic Chabauty-Kim functions for $\mathbb{P}^1 \setminus \{ 0,1,\infty \}$ using resultants. For a prime $p\not\in S$, the vanishing loci of the images of such functions under the $p$-adic period map contain the solutions of the $S$-unit equation. In the case $\vert S\vert=2$, we explicitly construct a non-trivial motivic Chabauty-Kim function in depth 6 of degree 18, and prove that there do not exist any other Chabauty-Kim functions with smaller depth and degree. The method, inspired by work of Dan-Cohen and the first author, enhances the geometric step algorithm developed by Corwin and Dan-Cohen, providing a more efficient approach.

Near coincidences and nilpotent division fields

math.NT

v3

Let $E/\mathbb{Q}$ be an elliptic curve. We say that $E$ has a near coincidence of level $(n,m)$ if $m \mid n$ and $\mathbb{Q}(E[n]) = \mathbb{Q}(E[m],\zeta_{n})$. We classify near coincidences of prime power level and use this result to give a classification of values of $n$ for which ${\rm Gal}(\mathbb{Q}(E[n])/\mathbb{Q})$ is a nilpotent group. Along the way we prove a Gauss-Wantzel analog for the elliptic curve $E\colon y^2 = x^3-x$, showing that $\mathbb{Q}(E[n])/\mathbb{Q}$ is constructible if and only if $\varphi(n)$ is a power of 2. Assuming that there are no non-CM rational points on the modular curves $X_{ns}^{+}(p)$ for primes $p > 11$, we show that ${\rm Gal}(\mathbb{Q}(E[n])/\mathbb{Q})$ nilpotent implies that $n$ is a power of $2$ or $n \in \{ 3, 5, 6, 7, 15, 21 \}$.

Note on shifted primes with large prime factors

math.NT

v2

We denote by $P^+(n)$ the largest prime factor of the integer $n$. In 1935, Erd\H os studied the quantity $T_c(x)$ defined by $$ T_c(x)=\big|\big\{p\le x: P^+(p-1)\ge p^c\big\}\big|, $$ and he proved $$ \limsup_{x\rightarrow \infty}\frac{T_c(x)}{\pi(x)}\rightarrow 0, \quad \text{as~}c\rightarrow 1. $$ Recently, Ding gave a quantitative form of Erd\H os' result, showing that $$ \limsup_{x\rightarrow \infty}\frac{T_c(x)}{\pi(x)}\le 8\big(c^{-1}-1\big). $$ holds for $8/9< c<1$. In this paper, we improve Ding's upper bound to $$ \limsup_{x\rightarrow \infty}\frac{T_c(x)}{\pi(x)}\le -\frac{7}{2}\log c $$ for $e^{-\frac{2}{7}}< c<1$.

Zeta Zeros on the Critical Line

math.NT

v2

Montgomery in 1973 introduced the pair correlation method to study the vertical distribution of Riemann zeta-function zeros. This work assumed the Riemann Hypothesis (RH). One striking application was a short proof that at least 2/3 of zeta-zeros are simple zeros, the first result of its type. Over the last 50 years, most work on pair correlation of zeta-zeros has continued to assume RH. Here we show that if RH could be removed from Montgomery's simple zero proof, then this would also give a proof that 2/3 of the zeros are simple and on the critical line. This idea has been applied in several recent papers to obtain other results on the zeros.

From ABC to Effective Roth and Ridout Constants for Cubic Roots

math.NT

v2

Enrico Bombieri showed conditionally (1994) that the ABC conjecture implies Roth's theorem, and Van Frankenhuysen (1999) later provided a complete proof. Building on Bombieri's and Van der Poorten's explicit formula for continued-fraction coefficients of algebraic numbers (specialized to cubic roots) we derive an effective bound for a Roth-type constant assuming an effective form of ABC. Roth's original argument establishes existence but does not yield an explicit value; our approach makes the dependence on the ABC parameters explicit and also gives an explicit bound in the corresponding special case of Ridout's theorem. We then introduce the notion of approximation gain as a refinement of the quality of an abc-triple. For c in a large computational range, the approximation gain remains below a strikingly small threshold, motivating the conjecture that the approximation gain is always smaller than 1.5. This suggests a potential strategy for attacking ABC by bounding approximation gain and power gain separately.

Algorithms for Algebraic and Arithmetic Attributes of Hypergeometric Functions

math.NT

cs.SC

v2

We discuss algorithms for arithmetic properties of hypergeometric functions. Most notably, we are able to compute the p-adic valuation of a hypergeometric function on any disk of radius smaller than the p-adic radius of convergence. This we use, building on work of Christol, to determine the set of prime numbers modulo which it can be reduced. Moreover, we describe an algorithm to find an annihilating polynomial of the reduction of a hypergeometric function modulo p.

Sums of Reciprocals of Generalized Triangular Numbers

math.NT

v2

We compute the sum and the alternating sum of the reciprocals of triangular numbers using two standard methods from calculus: a telescoping series approach and a power series approach. We then extend these results to generalized (higher-order) triangular numbers and derive closed-form expressions for both the non-alternating and alternating series of all orders.

Bounded distance equivalence of cut-and-project sets and equidecomposability

math.DS

math.NT

v4

We show that given a lattice $\Gamma \subset \mathbb{R}^m \times \mathbb{R}^n$, and projections $p_1$ and $p_2$ onto $\mathbb{R}^m$ and $\mathbb{R}^n$ respectively, cut-and-project sets obtained using Jordan measurable windows $W$ and $W'$ in $\mathbb{R}^n$ of equal measure are bounded distance equivalent only if $W$ and $W'$ are equidecomposable by translations in $p_2(\Gamma)$. As a consequence, we obtain an explicit description of the bounded distance equivalence classes in the hulls of simple quasicrystals. A corrigendum is appended at the end of the paper.

Transitivity of the $\mathbb{B}^+_\mathrm{dR}$-loop group action on Schubert cells

math.AG

math.NT

v2

For $G$ a connected linear algebraic group over a $p$-adic field, we show that the action of $G(\mathbb{B}^+_{\mathrm{dR}})$ on each Schubert cell in the $\mathbb{B}_{\mathrm{dR}}^+$-affine Grassmannian is transitive in the \'{e}tale topology on affinoid perfectoids, generalizing a result in the reductive case due to Fargues and Scholze.

On orbit sets generated by semigroups of one-dimensional affine functions

math.CO

math.NT

v2

The one-dimensional orbit set $\langle F : s \rangle$ is formed by the images of a number $s$ under the action of a semigroup generated by integer affine functions $f_i=a_i x+b_i$ taken from the set $F=\{f_1,\ldots,f_n\}$. P.Erd\H{o}s established an upper bound $O(x^{\sigma+\epsilon})$ for the growth function $|\langle F : s \rangle\cap[0,x]|$, where $1/a_1^{\sigma}+1/a_2^{\sigma}+\ldots + 1/a_n^{\sigma}=1$ and $\varepsilon>0$, which was extended to orbit multisets and real affine functions by J.Lagarias. We complement this by a lower bound $\Omega(x^{\sigma})$ for the multiset size $|\langle F : s \rangle^\#\cap[0,x]|$. P.Erd\H{o}s and R.Graham asked whether an orbit set $\langle F : s \rangle$ has positive density when $F$ is a basis of a free semigroup and $1/a_1+1/a_2+\ldots + 1/a_n=1$. Under these two conditions, we establish a sublinear lower bound $|\langle F : s \rangle \cap [0,x]|=\Omega(x/\log^{\frac{n-1}2} x)$. We also show that in the case when the functions of $F$ form an exact covering system of integers, i.e. when $f_1(\mathbb Z) \sqcup \ldots \sqcup f_n(\mathbb Z)=\mathbb Z$, this bound can be strengthened to $\Omega(x)$, so the set $\langle F : s \rangle$ has positive density.

The Greedy Algorithm for Dissociated Sets

math.CO

math.NT

math.PR

v4

A set $\mathcal S\subset \mathbb N$ is said to be a subset-sum-distinct or dissociated if all of its finite subsets have different sums. Alternately, an equivalent classification is if any equality of the form $$\sum_{s\in \mathcal S} \varepsilon_s \cdot s =0$$ where $\varepsilon_s \in \{-1,0,+1\}$ implies that all the $\varepsilon_s$'s are $0$. For a dissociated set $\mathcal S$, we prove that for $c_\ast = \frac 12 \log_2 \left(\frac \pi 2\right)$ and any $c_\ast-1

Semi-Autonomous Mathematics Discovery with Gemini: A Case Study on the Erd\H{o}s Problems

cs.AI

math.CO

math.NT

v3

We present a case study in semi-autonomous mathematics discovery, using Gemini to systematically evaluate 700 conjectures labeled 'Open' in Bloom's Erd\H{o}s Problems database. We employ a hybrid methodology: AI-driven natural language verification to narrow the search space, followed by human expert evaluation to gauge correctness and novelty. We address 13 problems that were marked 'Open' in the database: 5 through seemingly novel autonomous solutions, and 8 through identification of previous solutions in the existing literature. Our findings suggest that the 'Open' status of the problems was through obscurity rather than difficulty. We also identify and discuss issues arising in applying AI to math conjectures at scale, highlighting the difficulty of literature identification and the risk of ''subconscious plagiarism'' by AI. We reflect on the takeaways from AI-assisted efforts on the Erd\H{o}s Problems.