Showing 1–13 of 13 results for author: Paşol, V

Residues of quadratic Weyl group multiple Dirichlet series

Authors: Adrian Diaconu, Bogdan Ion, Vicenţiu Paşol, Alexandru A. Popa

Abstract: We give explicit formulas for the residue of the Chinta-Gunnells average attached to a finite irreducible root system, at the polar divisor corresponding to a simple short root. The formula describes the residue in terms of the average attached to the root subsystem orthogonal to the relevant simple root. As a consequence, we obtain similar formulas for the residues of quadratic Weyl group multipl… ▽ More We give explicit formulas for the residue of the Chinta-Gunnells average attached to a finite irreducible root system, at the polar divisor corresponding to a simple short root. The formula describes the residue in terms of the average attached to the root subsystem orthogonal to the relevant simple root. As a consequence, we obtain similar formulas for the residues of quadratic Weyl group multiple Dirichlet series over the rational function field and over the Gaussian field. The residue formula also allows us to obtain a new expression for the Chinta-Gunnells average of a finite irreducible root system, as an average over a maximal parabolic subgroup of a rational function that has an explicit description reflecting the combinatorics of the root system. △ Less

Submitted 12 July, 2023; originally announced July 2023.

Comments: 46 pages

MSC Class: 11M32

Composing Bridges

Authors: Mugurel Barcau, Vicenţiu Paşol, George C. Ţurcaş

Abstract: The present work builds on previous investigations of the authors (and their collaborators) regarding bridges, a certain type of morphisms between encryption schemes, making a step forward in developing a (category theory) language for studying relations between encryption schemes. Here we analyse the conditions under which bridges can be performed sequentially, formalizing the notion of composabi… ▽ More The present work builds on previous investigations of the authors (and their collaborators) regarding bridges, a certain type of morphisms between encryption schemes, making a step forward in developing a (category theory) language for studying relations between encryption schemes. Here we analyse the conditions under which bridges can be performed sequentially, formalizing the notion of composability. One of our results gives a sufficient condition for a pair of bridges to be composable. We illustrate that composing two bridges, each independently satisfying a previously established IND-CPA security definition, can actually lead to an insecure bridge. Our main result gives a sufficient condition that a pair of secure composable bridges should satisfy in order for their composition to be a secure bridge. We also introduce the concept of a complete bridge and show that it is connected to the notion of Fully composable Homomorphic Encryption (FcHE), recently considered by Micciancio. Moreover, we show that a result of Micciancio which gives a construction of FcHE schemes can be phrased in the language of complete bridges, where his insights can be formalised in a greater generality. △ Less

Submitted 25 May, 2023; originally announced May 2023.

Comments: 23 pages. Comments are welcome!

Quadratic Weyl group multiple Dirichlet series of Type $D_{\scriptscriptstyle 4}^{\scriptscriptstyle (1)}$

Authors: Adrian Diaconu, Vicenţiu Paşol, Alexandru A. Popa

Abstract: In this paper and its sequel \cite{DPP}, we investigate the precise relationship between the quadratic affine Weyl group multiple Dirichlet series in the sense of \cite{CG1, BD}, and those defined axiomatically by Whitehead \cite{White2} and \cite{White1}. In particular, we show that the axiomatic quadratic Weyl group multiple Dirichlet series of type… ▽ More In this paper and its sequel \cite{DPP}, we investigate the precise relationship between the quadratic affine Weyl group multiple Dirichlet series in the sense of \cite{CG1, BD}, and those defined axiomatically by Whitehead \cite{White2} and \cite{White1}. In particular, we show that the axiomatic quadratic Weyl group multiple Dirichlet series of type $D_{\scriptscriptstyle 4}^{\scriptscriptstyle (1)}$ over rational function fields of odd characteristic admits meromorphic continuation to the interior of the corresponding complexified Tits cone. We shall also determine the polar divisor of this function, and compute the residue at each of its poles. As a consequence, we obtain an \emph{exact} formula for a weighted 4-th moment of quadratic Dirichlet $L$-functions over rational function fields; we shall also derive an asymptotic formula for this weighted moment that is expected to generalize to any global field. △ Less

Submitted 27 July, 2023; v1 submitted 22 November, 2021; originally announced November 2021.

Comments: Version incorporating referee suggestions. To appear in American Journal of Mathematics, 47 pages

MSC Class: 11M06; 11M32; 11R58

Magnetic (quasi-)modular forms

Authors: Vicenţiu Paşol, Wadim Zudilin

Abstract: A (folklore?) conjecture states that no holomorphic modular form $F(τ)=\sum_{n=1}^\infty a_nq^n\in q\mathbb Z[[q]]$ exists, where $q=e^{2πiτ}$, such that its anti-derivative $\sum_{n=1}^\infty a_nq^n/n$ has integral coefficients in the $q$-expansion. A recent observation of Broadhurst and Zudilin, rigorously accomplished by Li and Neururer, led to examples of meromorphic modular forms possessing t… ▽ More A (folklore?) conjecture states that no holomorphic modular form $F(τ)=\sum_{n=1}^\infty a_nq^n\in q\mathbb Z[[q]]$ exists, where $q=e^{2πiτ}$, such that its anti-derivative $\sum_{n=1}^\infty a_nq^n/n$ has integral coefficients in the $q$-expansion. A recent observation of Broadhurst and Zudilin, rigorously accomplished by Li and Neururer, led to examples of meromorphic modular forms possessing the integrality property. In this note we investigate the arithmetic phenomenon from a systematic perspective and discuss related transcendental extensions of the differentially closed ring of quasi-modular forms. △ Less

Submitted 3 February, 2022; v1 submitted 30 September, 2020; originally announced September 2020.

Comments: 2^4+1 pages

MSC Class: 11F33 (Primary); 11F11; 11F32; 11F37; 13N99

Journal ref: Nagoya Math. J. 248 (2022), 849--864

Moduli of Hyperelliptic Curves and Multiple Dirichlet Series

Authors: Adrian Diaconu, Vicenţiu Paşol

Abstract: In this paper we provide an explicit construction of a $distinctive$ multiple Dirichlet series associated to products of quadratic Dirichlet L-series, which we believe should be tightly connected to a generalized metaplectic Whittaker function on the double cover of a Kac-Moody group. To do so, we first impose a set of axioms, independent of any group of functional equations, which the aforementio… ▽ More In this paper we provide an explicit construction of a $distinctive$ multiple Dirichlet series associated to products of quadratic Dirichlet L-series, which we believe should be tightly connected to a generalized metaplectic Whittaker function on the double cover of a Kac-Moody group. To do so, we first impose a set of axioms, independent of any group of functional equations, which the aforementioned object should satisfy. As a consequence, we deduce that the coefficients of the $p$-parts of the multiple Dirichlet series satisfy certain recurrence relations. These relations lead to a family of identities, which turns out to be $encoded$ in the combinatorial structure of certain moduli spaces of admissible double covers. Finally, via this crucial connection, we apply Deligne's theory of weights to express inductively the coefficients of the $p$-parts in terms of the eigenvalues of Frobenius acting on the $\ell$-adic étale cohomology of local systems on the moduli $\mathscr{H}_{g}[2]$ of hyperelliptic curves of genus $g$ with level 2 structure. △ Less

Submitted 29 August, 2018; originally announced August 2018.

A study of elliptic gamma function and allies

Authors: Vicenţiu Paşol, Wadim Zudilin

Abstract: We study analytic and arithmetic properties of the elliptic gamma function $$ \prod_{m,n=0}^\infty\frac{1-x^{-1}q^{m+1}p^{n+1}}{1-xq^mp^n}, \qquad |q|,|p|<1, $$ in the regime $p=q$; in particular, its connection with the elliptic dilogarithm and a formula of S. Bloch. We further extend the results to more general products by linking them to non-holomorphic Eistenstein series and, via some formulae… ▽ More We study analytic and arithmetic properties of the elliptic gamma function $$ \prod_{m,n=0}^\infty\frac{1-x^{-1}q^{m+1}p^{n+1}}{1-xq^mp^n}, \qquad |q|,|p|<1, $$ in the regime $p=q$; in particular, its connection with the elliptic dilogarithm and a formula of S. Bloch. We further extend the results to more general products by linking them to non-holomorphic Eistenstein series and, via some formulae of D. Zagier, to elliptic polylogarithms. △ Less

Submitted 26 April, 2018; v1 submitted 30 December, 2017; originally announced January 2018.

Comments: 12 pages

MSC Class: Primary 33E30; Secondary 11F03; 11G16; 11G55; 33E05

Journal ref: Research in Math. Sci. 5 (2018), Art. 39, 11 pages

An algebraic property of Hecke operators and two indefinite theta series

Authors: Vicentiu Pasol, Alexandru A. Popa

Abstract: We prove an algebraic property of the elements defining Hecke operators on period polynomials associated with modular forms, which implies that the pairing on period polynomials corresponding to the Petersson scalar product of modular forms is Hecke equivariant. As a consequence of this proof, we derive two indefinite theta series identities which can be seen as analogues of Jacobi's formula for t… ▽ More We prove an algebraic property of the elements defining Hecke operators on period polynomials associated with modular forms, which implies that the pairing on period polynomials corresponding to the Petersson scalar product of modular forms is Hecke equivariant. As a consequence of this proof, we derive two indefinite theta series identities which can be seen as analogues of Jacobi's formula for the theta series associated with the sum of four squares. △ Less

Submitted 30 October, 2013; v1 submitted 24 July, 2012; originally announced July 2012.

Comments: 11 pages. Published version. Forum Math., published online February 2013

MSC Class: 11F25; 11F67; 11F27

On the Petersson scalar product of arbitrary modular forms

Authors: Vicentiu Pasol, Alexandru A. Popa

Abstract: We consider a natural extension of the Petersson scalar product to the entire space of modular forms of integral weight $k\ge 2$ for a finite index subgroup of the modular group. We show that Hecke operators have the same adjoints with respect to this inner product as for cusp forms, and we show that the Petersson product is nondegenerate for $Γ_1(N)$ and $k>2$. For $k=2$ we give examples when it… ▽ More We consider a natural extension of the Petersson scalar product to the entire space of modular forms of integral weight $k\ge 2$ for a finite index subgroup of the modular group. We show that Hecke operators have the same adjoints with respect to this inner product as for cusp forms, and we show that the Petersson product is nondegenerate for $Γ_1(N)$ and $k>2$. For $k=2$ we give examples when it is degenerate, and when it is nondegenerate. △ Less

Submitted 8 November, 2013; v1 submitted 2 April, 2012; originally announced April 2012.

Comments: 8 pages. To appear in Proc. of the AMS

MSC Class: 11F11

Modular forms and period polynomials

Authors: Vicentiu Pasol, Alexandru A. Popa

Abstract: We study the space of period polynomials associated with modular forms of integral weight for finite index subgroups of the modular group. For the modular group, this space is endowed with a pairing, corresponding to the Petersson inner product on modular forms via a formula of Haberland, and with an action of Hecke operators, defined algebraically by Zagier. We generalize Haberland's formula to (… ▽ More We study the space of period polynomials associated with modular forms of integral weight for finite index subgroups of the modular group. For the modular group, this space is endowed with a pairing, corresponding to the Petersson inner product on modular forms via a formula of Haberland, and with an action of Hecke operators, defined algebraically by Zagier. We generalize Haberland's formula to (not necessarily cuspidal) modular forms for finite index subgroups, and we show that it conceals two stronger formulas. We extend the action of Hecke operators to period polynomials of modular forms, we show that the pairing on period polynomials appearing in Haberland's formula is nondegenerate, and we determine the adjoints of Hecke operators with respect to it. We give a few applications for $Γ_1(N)$: an extension of the Eichler-Shimura isomorphism to the entire space of modular forms; the determination of the relations satisfied by the even and odd parts of period polynomials associated with cusp forms, which are independent of the period relations; and an explicit formula for Fourier coefficients of Hecke eigenforms in terms of their period polynomials, generalizing the Coefficients Theorem of Manin. △ Less

Submitted 16 July, 2013; v1 submitted 26 February, 2012; originally announced February 2012.

Comments: 32 pages. Final version, with a minor error corrected compared with the published version: in Sec. 5.1, p.10, an extraneous characterization of the double coset $Δ_n$ in item (1) has been removed; Proc. London Math. Soc., online first February 14, 2013

MSC Class: 11F11; 11F67; 11F27

Pair correlation of angles between reciprocal geodesics on the modular surface

Authors: Florin P. Boca, Vicentiu Pasol, Alexandru A. Popa, Alexandru Zaharescu

Abstract: The existence of the limiting pair correlation for angles between reciprocal geodesics on the modular surface is established. An explicit formula is provided, which captures geometric information about the length of reciprocal geodesics, as well as arithmetic information about the associated reciprocal classes of binary quadratic forms. One striking feature is the absence of a gap beyond zero in t… ▽ More The existence of the limiting pair correlation for angles between reciprocal geodesics on the modular surface is established. An explicit formula is provided, which captures geometric information about the length of reciprocal geodesics, as well as arithmetic information about the associated reciprocal classes of binary quadratic forms. One striking feature is the absence of a gap beyond zero in the limiting distribution, contrasting with the analog Euclidean situation. △ Less

Submitted 23 November, 2013; v1 submitted 1 February, 2011; originally announced February 2011.

Comments: 27 pages, 6 figures. Version accepted for publication

MSC Class: 11K36 (Primary) 11J71; 11M36; 11P21; 37D40 (Secondary)

Journal ref: Algebra Number Theory 8 (2014) 999-1035

Fusion rings arising from normal Hopf subalgebras

Authors: Sebastian Burciu, Vicentiu Pasol

Abstract: For any normal commutative Hopf subalgebra $K=k^G$ of a semisimple Hopf algebra we describe the ring inside $kG$ obtained by the restriction of $H$-modules. If $G=\Z_p$ this ring determines a fusion ring and we give a complete description for it. The case $G=\Z_{p^n}$ and some other applications are presented. For any normal commutative Hopf subalgebra $K=k^G$ of a semisimple Hopf algebra we describe the ring inside $kG$ obtained by the restriction of $H$-modules. If $G=\Z_p$ this ring determines a fusion ring and we give a complete description for it. The case $G=\Z_{p^n}$ and some other applications are presented. △ Less

Submitted 23 March, 2009; originally announced March 2009.

Comments: 17 pages, no figures, accepted to ART

MSC Class: 16W30

A Modular Symbol with Values in Cusp Forms

Authors: Vicentiu Pasol

Abstract: In [B-G1] and [B-G2], Borisov and Gunnells constructed for each level (N > 1) and for each weight (k > 1) a modular symbol with values in $Sk(Γ_1(N))$ using products of Eisenstein series. In this paper we generalize this result by producing a modular symbol (for GL2(Q)!!!) with values in locally constant distributions on M2(Q) taking values in the space of cuspidal power series in two variables… ▽ More In [B-G1] and [B-G2], Borisov and Gunnells constructed for each level (N > 1) and for each weight (k > 1) a modular symbol with values in $Sk(Γ_1(N))$ using products of Eisenstein series. In this paper we generalize this result by producing a modular symbol (for GL2(Q)!!!) with values in locally constant distributions on M2(Q) taking values in the space of cuspidal power series in two variables (see Definition 5). We can recover the above cited result by restricting to a principal open invariant for the action of $Γ_1(N)$ and to the homogeneous degree $k-2$ part of the power series. We should also mention that Colmez [Col] constructs similar distributions (zEis(k; j)). The modification in the definition of such distributions allow us to observe further relations among these distributions (Manin Relations) which in turn makes possible the existence of our construction. In the last section we exhibit some instances of these relations for the full modular group. △ Less

Submitted 22 November, 2006; originally announced November 2006.

MSC Class: 11FXX

Universal triple Massey products on elliptic curves and Hecke's indefinite theta series

Authors: Vicentiu Pasol, Alexander Polishchuk

Abstract: Generalizing math.AG/0003076 we express universal triple Massey products between line bundles on elliptic curves in terms of Hecke's indefinite theta series. We show that all Hecke's indefinite theta series arise in this way. Generalizing math.AG/0003076 we express universal triple Massey products between line bundles on elliptic curves in terms of Hecke's indefinite theta series. We show that all Hecke's indefinite theta series arise in this way. △ Less

Submitted 20 August, 2004; originally announced August 2004.

Comments: 19 pages