Source author record

Lejla Smajlović

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.NT Cryptography and Security math.CV math.GR math.SP

Catalog footprint

Research overview

7works

5topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2026arXiv

Diffusion Computation versus Quantum Computation: A Comparative Model for Order Finding and Factoring

We study a hybrid computational model for integer factorization in which the only non-classical resource is access to an \emph{iterated diffusion process} on a finite graph. Concretely, a \emph{diffusion step} is defined to be one application of a symmetric stochastic matrix (the half-lazy walk operator) to an $\ell^{1}$ --normalized state vector, followed by an optional readout of selected coordinates. Let $N\ge 3$ be an odd integer which is neither prime nor a prime power, and let $b\in(\mathbb{Z}/N\mathbb{Z})^\ast$ have odd multiplicative order $r={\rm ord}_N(b)$ . We construct, without knowing $r$ in advance, a weighted Cayley graph whose vertex set is the cyclic subgroup $\langle b\rangle$ and whose edges correspond to the powers $b^{\pm 2^t}$ for $t\le \lfloor \log_2 N\rfloor+1$ . Using an explicit spectral decomposition together with an elementary doubling lemma, we show that $r$ can be recovered from a single heat-kernel value after at most $O((\log_2 N)^2)$ diffusion steps, with an effective bound. We then combine this order-finding model with the standard reduction from factoring to order finding (in the spirit of Shor's framework) to obtain a randomized factorization procedure whose success probability depends only on the number $m$ of distinct prime factors of $N$ . Our comparison with Shor's algorithm is \emph{conceptual and model-based}. We replace unitary $\ell^2$ evolution by Markovian $\ell^1$ evolution, and we report complexity in two cost measures: digital steps and diffusion steps. Finally, we include illustrative examples and discussion of practical implementations.

preprint2022arXiv

On the Hurwitz-type zeta function associated to the Lucas sequence

We study the theta function and the Hurwitz-type zeta function associated to the Lucas sequence $U=\{U_n(P,Q)\}_{n\geq 0}$ of the first kind determined by the real numbers $P,Q$ under certain natural assumptions on $P$ and $Q$ . We deduce an asymptotic expansion of the theta function $θ_U(t)$ as $t\downarrow 0$ and use it to obtain a meromorphic continuation of the Hurwitz-type zeta function $ζ_{U}\left( s,z\right) =\sum\limits_{n=0}^{\infty }\left(z+U_{n}\right) ^{-s}$ to the whole complex $s-$ plane. Moreover, we identify the residues of $ζ_{U}\left( s,z\right)$ at all poles in the half-plane $\Re(s)\leq 0$ .

preprint2020arXiv

Construction of Poincaré-type series by generating kernels

Let $Γ\subset \textrm{PSL}_2({\mathbb R})$ be a Fuchsian group of the first kind having a fundamental domain with a finite hyperbolic area, and let $\widetildeΓ$ be its cover in $\textrm{SL}_2({\mathbb R})$ . Consider the space of twice continuously differentiable, square-integrable functions on the hyperbolic upper half-plane, which transform in a suitable way with respect to a multiplier system of weight $k\in{\mathbb R}$ under the action of $\widetildeΓ$ . The space of such functions admits the action of the hyperbolic Laplacian $Δ_k$ of weight $k$ . Following an approach of Jorgenson, von Pippich and Smajlović (where $k=0$ ), we use the spectral expansion associated to $Δ_k$ to construct a wave distribution and then identify the conditions on its test functions under which it represents automorphic kernels and further gives rise to Poincaré-type series. An advantage of this method is that the resulting series may be naturally meromorphically continued to the whole complex plane. Additionally, we derive sup-norm bounds for the eigenfunctions in the discrete spectrum of $Δ_k$ .

preprint2016arXiv

Modular Dedekind symbols associated to Fuchsian groups and higher-order Eisenstein series

Let $E(z,s)$ be the non-holomorphic Eisenstein series for the modular group $SL(2,{\mathbb Z})$ . The classical Kronecker limit formula shows that the second term in the Laurent expansion at $s=1$ of $E(z,s)$ is essentially the logarithm of the Dedekind eta function. This eta function is a weight $1/2$ modular form and Dedekind expressed its multiplier system in terms of Dedekind sums. Building on work of Goldstein, we extend these results from the modular group to more general Fuchsian groups $Γ$ . The analogue of the eta function has a multiplier system that may be expressed in terms of a map $S:Γ\to {\mathbb R}$ which we call a modular Dedekind symbol. We obtain detailed properties of these symbols by means of the limit formula. Twisting the usual Eisenstein series with powers of additive homomorphisms from $Γ$ to ${\mathbb C}$ produces higher-order Eisenstein series. These series share many of the properties of $E(z,s)$ though they have a more complicated automorphy condition. They satisfy a Kronecker limit formula and produce higher-order Dedekind symbols $S^*:Γ\to {\mathbb R}$ . As an application of our general results, we prove that higher-order Dedekind symbols associated to genus one congruence groups $Γ_0(N)$ are rational.

preprint2015arXiv

On relations equivalent to the generalized Riemann hypothesis for the Selberg class

In this paper we prove that the Generalized Riemann Hypothesis (GRH) for functions in the class $\mathcal{S}^{\sharp\flat}$ containing the Selberg class is equivalent to a certain integral expression of the real part of the generalized Li coefficient $λ_F(n)$ associated to $F\in\mathcal{S}^{\sharp\flat}$ , for positive integers $n$ . Moreover, we deduce that the GRH is equivalent to a certain expression of $Re(λ_F(n))$ in terms of the sum of the Chebyshev polynomials of the first kind. Then, we partially evaluate the integral expression and deduce further relations equivalent to the GRH involving the generalized Euler-Stieltjes constants of the second kind associated to $F$ . The class $\mathcal{S}^{\sharp\flat}$ unconditionally contains all automorphic $L$ -functions attached to irreducible cuspidal unitary representations of $GL_N(\mathbb{Q})$ , hence, as a corollary we also derive relations equivalent to the GRH for automorphic $L$ -functions.

preprint2014arXiv

Kronecker's limit formula, holomorphic modular functions and $q$ -expansions on certain moonshine groups

For any square-free integer $N$ such that the "moonshine group" $Γ_0(N)^+$ has genus zero, the Monstrous Moonshine Conjectures relate the Hauptmoduli of $Γ_0(N)^+$ to certain McKay-Thompson series associated to the representation theory of the Fischer-Griess monster group. In particular, the Hauptmoduli admits a $q$ -expansion which has integer coefficients. In this article, we study the holomorphic function theory associated to higher genus moonshine groups $Γ_0(N)^+$ . For all moonshine groups of genus up to and including three, we prove that the corresponding function field admits two generators whose $q$ -expansions have integer coefficients, has lead coefficient equal to one, and has minimal order of pole at infinity. As corollary, we derive a polynomial relation which defines the underlying projective curve, and we deduce whether $i\infty$ is a Weierstrass point. Our method of proof is based on modular forms and includes extensive computer assistance, which, at times, applied Gauss elimination to matrices with thousands of entries, each one of which was a rational number whose numerator and denominator were thousands of digits in length.

preprint2014arXiv

On generalized Li criterion for a certain class of $L-$ functions

We define generalized Li coefficients, called $τ-$ Li coefficients for a very broad class $\mathcal{S}^{\sharp \flat }(σ_0, σ_1)$ of $L-$ functions that contains the Selberg class, the class of all automorphic $L-$ functions and the Rankin-Selberg $L-$ functions, as well as products of suitable shifts of those functions. We prove the generalized Li criterion for zero-free regions of functions belonging to the class $\mathcal{S}^{\sharp \flat }(σ_0, σ_1)$ , derive an arithmetic formula for the computation of $τ-$ Li coefficients and conduct numerical investigation of $τ-$ Li coefficients for a certain product of shifts of the Riemann zeta function.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Lejla Smajlović

Research overview

Is this your work?

7 publications

Diffusion Computation versus Quantum Computation: A Comparative Model for Order Finding and Factoring

On the Hurwitz-type zeta function associated to the Lucas sequence

Construction of Poincaré-type series by generating kernels

Modular Dedekind symbols associated to Fuchsian groups and higher-order Eisenstein series

On relations equivalent to the generalized Riemann hypothesis for the Selberg class

Kronecker's limit formula, holomorphic modular functions and $q$ -expansions on certain moonshine groups

On generalized Li criterion for a certain class of $L-$ functions

See the researcher in context

Building this map preview

Lejla Smajlović

Research overview

Is this your work?

7 publications

Diffusion Computation versus Quantum Computation: A Comparative Model for Order Finding and Factoring

On the Hurwitz-type zeta function associated to the Lucas sequence

Construction of Poincaré-type series by generating kernels

Modular Dedekind symbols associated to Fuchsian groups and higher-order Eisenstein series

On relations equivalent to the generalized Riemann hypothesis for the Selberg class

Kronecker's limit formula, holomorphic modular functions and qqq-expansions on certain moonshine groups

On generalized Li criterion for a certain class of L−L-L−functions

See the researcher in context

Building this map preview

Kronecker's limit formula, holomorphic modular functions and $q$ -expansions on certain moonshine groups

On generalized Li criterion for a certain class of $L-$ functions