Computing the tame kernel of double-struck Q sign(ζ8)

Xuejun Guo,Hourong Qin,Guangtian Song

2003-01-01

Communications in Algebra

Abstract:In this paper, it is proved that the tame kernel of double-struck Q sign(ζ8) is trivial.

What problem does this paper attempt to address?

Computing the Tame Kernel of ℚ(ζ8)

Xuejun Guo,Hourong Qin,,Guangtian Song

DOI: https://doi.org/10.1081/agb-120017338

2003-01-01

Communications in Algebra

Abstract:In this paper, it is proved that the tame kernel of Q(ζ8) is trivial.
Computing The Tame Kernel Of Q(Zeta(8))

Xuejun Guo,Hourong Qin,,Guangtian Song

DOI: https://doi.org/10.1081/AGB-120017338

2003-01-01

Communications in Algebra

Abstract:In this paper, it is proved that the tame kernel of Q(zeta(8)) is trivial.
A Remark on Computing the Tame Kernel of Quadratic Imaginary Fields

Xue Jun Guo,Guang Tian Song

DOI: https://doi.org/10.1007/s10114-002-0177-7

2002-01-01

Acta Mathematica Sinica English Series

Abstract:In this paper, we discuss a method to compute the tame kernel of a number field. Confining ourselves to an imaginary quadratic field, we prove that $\partial _{\nu } :K^{{{S}\ifmmode{'}\else$'$\fi}}_{2} F \mathord{\left/ {\vphantom {F {K^{S}_{2} F}}} \right. \kern-\nulldelimiterspace} {K^{S}_{2} F} \to k^{ * } $ is bijective when $N\nu > 8\delta ^{6}_{D} .$
The 8-rank of tame kernels of quadratic number fields

Xuejun Guo,Hourong Qin

DOI: https://doi.org/10.4064/aa152-4-4

2012-01-01

Acta Arithmetica

Abstract:null
SIGNED Q-Analogs OF TORNHEIM'S DOUBLE SERIES

Xia Zhou,Tianxin Cai,David M. Bradley

DOI: https://doi.org/10.1090/s0002-9939-08-09208-3

IF: 0.9709

2008-01-01

Proceedings of the American Mathematical Society

Abstract:We introduce signed q-analogs of Tornheim's double series and evaluate them in terms of double q-Euler sums. As a consequence, we provide explicit evaluations of signed and unsigned Tornheim double series and correct some mistakes in the literature.
Computation Of K(2)Z[1+Root-35/2]

Hr Qin

1996-01-01

Chinese Annals of Mathematics Series B

Abstract:The author shows that K(2)Z[1+root-35/2] congruent to Z/2Z. The method of proof is a generalization of the Tate's method.
OnTame Kerneland Class Group Intermsof Quadratic Forms

Q Yue

DOI: https://doi.org/10.1006/jnth.2002.2808

IF: 0.679

2002-01-01

Journal of Number Theory

Abstract:The paper is to investigate the structure of the tame kernel K2OF for certain quadratic number fields F, which extends the scope of Conner and Hurrelbrink (J. Number Theory88 (2001), 263–282). We determine the 4-rank and the 8-rank of the tame kernel, the Tate kernel, and the 2-part of the class group. Our characterizations are in terms of binary quadratic forms X2+32Y,X2+64Y2,X2+2Py2,2X2+Py2,X2−2Py2,2X2−Py2. The results are very useful for numerical computations.
Sign or Root of Unity Ambiguities of Certain Gauss Sums

Lingli Xia,Jing Yang

DOI: https://doi.org/10.1007/s11464-012-0217-2

2012-01-01

Abstract:Gauss sums play an important role in number theory and arithmetic geometry. The main objects of study in this paper are Gauss sums over the finite field with q elements. Recently, the problem of explicit evaluation of Gauss sums in the small index case has been studied in several papers. In the process of the evaluation, it is realized that a sign (or a root of unity) ambiguity unavoidably occurs. These papers determined the ambiguities by the congruences modulo L, where L is certain divisor of the order of Gauss sum. However, such method is unavailable in some situations. This paper presents a new method to determine the sign (root of unity) ambiguities of Gauss sums in the index 2 case and index 4 case, which is not only suitable for all the situations with q being odd, but also comparatively more efficient and uniform than the previous method.
On the Sign Changes in A Weighted Divisor Problem

Lirui Jia,Tianxin Cai,Wenguang Zhai

DOI: https://doi.org/10.4064/aa8464-2-2017

2017-01-01

Acta Arithmetica

Abstract:Let S(x; a_1/q_1, a_2/q_2)=∑'_mn≤ xcos(2π ma_1/q_1)sin(2π na_2/q_2) with x≥ q_1q_2, 1≤ a_i≤ q_i, and (a_i, q_i)=1 (i=1, 2). We study the sign changes of S(x; a_1/q_1, a_2/q_2), and prove that for a sufficiently large constant C, S(x; a_1/q_1, a_2/q_2) changes sign in the interval [T,T+C√(T)] for any large T. Meanwhile, we show that for a small constant c', there exist infinitely many subintervals of length c'√(T)log^-7T in [T,2T] where ± S(t; a_1/q_1, a_2/q_2)> c_5 (q_1q_2)^3/4t^1/4 always holds.
On a sign-change conjecture of Schlosser and Zhou

Kathrin Bringmann,Bernhard Heim,Ben Kane

2024-07-12

Abstract:In this paper, we investigate the signs changes of Fourier coefficients of infinite products of $q$-series of Rogers--Ramanujan type. In particular, we prove a conjecture made by Schlosser--Zhou pertaining to such sign changes for products of modulus $10$.

Combinatorics,Number Theory
Quantifier elimination for quartics

Lu Yang,Bican Xia

DOI: https://doi.org/10.1007/11856290_13

2006-01-01

Abstract:Concerning quartics, two particular quantifier elimination (QE) problems of historical interests and practical values are studied. We solve the problems by the theory of complete discrimination systems and negative root discriminant sequences for polynomials that provide a method for real (positive/negative) and complex root classification for polynomials. The equivalent quantifier-free formulas are obtained mainly be hand and are simpler than those obtained automatically by previous methods or QE tools. Also, applications of the results to program verification and determination of positivity of symmetric polynomials are showed.
Sign changes of Kloosterman sums with moduli having at most two prime factors

Tianping Zhang,Mingxuan Zhong

2024-11-20

Abstract:We prove that the Kloosterman sum $\text{Kl}(1,q)$ changes sign infinitely many times, as $q\rightarrow +\infty$ with at most two prime factors. As a consequence, our result is unconditional compared with Drappeau and Maynard's (Proc. Amer. Math. Soc., 2019), in which the existence of Laudau-Siegel zeros is required. Our arguments contain the Selberg sieve method, spectral theory and distribution of Kloosterman sums along with previous works by Fouvry, Matomäki, Michel, Sivak-Fischler, and Xi.

Number Theory
A proof of a Dumortier-Roussarie's conjecture

Chengzhi Li,Changjian Liu

DOI: https://doi.org/10.3934/dcdss.2022095

2022-01-01

Abstract:Dumortier and Roussarie proposed a conjecture in their paper (2009, Discrete Con. Dyn. Sys., 2,723-781): For any \begin{document}$ q\in {\mathbb{N}} $\end{document} , the Abelian integrals \begin{document}$ J_{2j+1}(h) = \int_{\gamma_h}x^{2j-1}\,\mathrm dy $\end{document} , \begin{document}$ j = 0, 1, 2, \cdots, q $\end{document} , form a strict Chebyshev system on intervals \begin{document}$ h\in (0, \frac{1}{2}] $\end{document} , where \begin{document}$ \gamma_h = \{(x, y)| \mathrm e^{-2y}(y+\frac{1}{2}-x^2) = h\} $\end{document} . If this conjecture holds, then they obtain the precise upper bound of the number of limit cycles that appear near a slow-fast Hopf point of any codimension. In the present paper we develop a method to estimate the number of zeros of Abelian integrals and prove this conjecture.
Simplification Strategies for the Qutrit ZX-Calculus

Alex Townsend-Teague,Konstantinos Meichanetzidis

DOI: https://doi.org/10.48550/arXiv.2103.06914

2022-06-22

Abstract:The ZX-calculus is a graphical language for suitably represented tensor networks, called ZX-diagrams. Calculations are performed by transforming ZX-diagrams with rewrite rules. The ZX-calculus has found applications in reasoning about quantum circuits, condensed matter systems, quantum algorithms, quantum error correcting codes, and counting problems. A key notion is the stabiliser fragment of the ZX-calculus, a subfamily of ZX-diagrams for which rewriting can be done efficiently in terms of derived simplifying rewrites. Recently, higher dimensional qudits - in particular, qutrits - have gained prominence within quantum computing research. The main contribution of this work is the derivation of efficient rewrite strategies for the stabiliser fragment of the qutrit ZX-calculus. Notably, this constitutes a first non-trivial step towards the simplification of qutrit quantum circuits. We then give further unexpected areas in which these rewrite strategies provide complexity-theoretic insight; namely, we reinterpret known results about evaluating the Jones polynomial, an important link invariant in knot theory, and counting graph colourings.

Computational Complexity,Quantum Physics
The q, t-symmetry of the generalized q, t-Catalan number

Guoce Xin,Yingrui Zhang

DOI: https://doi.org/10.1007/s10801-024-01374-3

2024-12-01

Journal of Algebraic Combinatorics

Abstract:We present two distinct proofs of the q , t -symmetry for the generalized q , t -Catalan number , where . The first proof is derived through the application of MacMahon's partition analysis. The second proof is established via a direct bijection.

mathematics
A Succinct Proof of Defant and Kravitz’s Theorem on the Length of Hitomezashi Loops

Qiuyu Ren,Shengtong Zhang

DOI: https://doi.org/10.1007/s00026-023-00681-z

2024-01-02

Annals of Combinatorics

Abstract:We provide a much shorter proof of Defant and Kravitz’s theorem that the length of Hitomezashi loops is congruent to 4 modulo 8. Our novel idea is to consider the length module 8 for Hitomezashi paths that take an excursion in a half-plane region.

mathematics, applied
On the 2-Primary Part of Tame Kernels of Real Quadratic Fields

Xiao Yun Cheng,Xue Jun Guo

DOI: https://doi.org/10.1007/s10114-016-5053-y

2016-01-01

Abstract:Let $F = Q\left( {\sqrt p } \right)$, where p = 8t+1 is a prime. In this paper, we prove that a special case of Qin’s conjecture on the possible structure of the 2-primary part of K 2 O F up to 8-rank is a consequence of a conjecture of Cohen and Lagarias on the existence of governing fields. We also characterize the 16-rank of K 2 O F , which is either 0 or 1, in terms of a certain equation between 2-adic Hilbert symbols being satisfied or not.
The tame kernels of number fields

Xuejun Guo,Hourong Qin

2011-01-01

Abstract:We review some progress on the tame kernels of number fields, especially on densities for certain sets of primes for which the pn-rank of the tame kernel of certain related number fields has some fixed value.
Simple operators and $q$-Whittaker coefficients of power sum symmetric functions

Samrith Ram

2024-11-25

Abstract:We give a new proof of a theorem of Bender, Coley, Robbins and Rumsey on counting subspaces with a given profile with respect to a simple operator. Counting such subspaces is equivalent to the problem of determining the $q$-Whittaker coefficients in the expansion of the power sum symmetric function. As a consequence we obtain a result of Chen and Tseng which answers a problem of Niederreiter on splitting subspaces.

Combinatorics
Proof of some conjectures of Guo and of Tang

Guoping Gu,Xiaoxia Wang

DOI: https://doi.org/10.1515/forum-2024-0101

2024-05-16

Forum Mathematicum

Abstract:Recently, Guo and Tang independently established some q -supercongruences from Rahman's quadratic transformation. In this paper, by applying the method of creative microscoping devised by Guo and Zudilin together with Rahman's quadratic transformation again, we provide proofs for eight conjectures on q -supercongruences proposed by Guo and by Tang.

mathematics, applied

Computing the tame kernel of double-struck Q sign(ζ8)

Computing the Tame Kernel of ℚ(ζ8)

Computing The Tame Kernel Of Q(Zeta(8))

A Remark on Computing the Tame Kernel of Quadratic Imaginary Fields

The 8-rank of tame kernels of quadratic number fields

SIGNED Q-Analogs OF TORNHEIM'S DOUBLE SERIES

Computation Of K(2)Z[1+Root-35/2]

OnTame Kerneland Class Group Intermsof Quadratic Forms

Sign or Root of Unity Ambiguities of Certain Gauss Sums

On the Sign Changes in A Weighted Divisor Problem

On a sign-change conjecture of Schlosser and Zhou

Quantifier elimination for quartics

Sign changes of Kloosterman sums with moduli having at most two prime factors

A proof of a Dumortier-Roussarie's conjecture

Simplification Strategies for the Qutrit ZX-Calculus

The q, t-symmetry of the generalized q, t-Catalan number

A Succinct Proof of Defant and Kravitz’s Theorem on the Length of Hitomezashi Loops

On the 2-Primary Part of Tame Kernels of Real Quadratic Fields

The tame kernels of number fields

Simple operators and $q$-Whittaker coefficients of power sum symmetric functions

Proof of some conjectures of Guo and of Tang