SummaryPort-and-Sweep Solitaire (PaSS) is a puzzle game related to the classic pastime of peg solitaire. One of the great surprises of peg solitaire is that its analysis is closely tied to mod 2 ...arithmetic, and PaSS has an analogous relation to mod 3 arithmetic, which we explain in the article. We give several families of challenging PaSS puzzles for the reader to solve and demonstrate typical techniques for identifying problems which cannot be solved.
Full text
Available for:
BFBNIB, GIS, IJS, KISLJ, NUK, PNG, UL, UM, UPUK
The authors study the Jacobian $J$ of the smooth projective curve $C$ of genus $r-1$ with affine model $y^r = x^r-1(x + 1)(x + t)$ over the function field $\mathbb F_p(t)$, when $p$ is prime and ...$r\ge 2$ is an integer prime to $p$. When $q$ is a power of $p$ and $d$ is a positive integer, the authors compute the $L$-function of $J$ over $\mathbb F_q(t^1/d)$ and show that the Birch and Swinnerton-Dyer conjecture holds for $J$ over $\mathbb F_q(t^1/d)$.
Arb is a C library for arbitrary-precision interval arithmetic using the midpoint-radius representation, also known as ball arithmetic. It supports real and complex numbers, polynomials, power ...series, matrices, and evaluation of many special functions. The core number types are designed for versatility and speed in a range of scenarios, allowing performance that is competitive with noninterval arbitrary-precision types such as MPFR and MPC floating-point numbers. We discuss the low-level number representation, strategies for precision and error bounds, and the implementation of efficient polynomial arithmetic with interval coefficients.
We show how to interpret weak Kőnig's lemma in some recently defined theories of nonstandard arithmetic in all finite types. Two types of interpretations are described, with very different ...verifications. The celebrated conservation result of Friedman's about weak Kőnig's lemma can be proved using these interpretations. We also address some issues concerning the collecting of witnesses in herbrandized functional interpretations.
Full text
Available for:
FZAB, GIS, IJS, IZUM, KILJ, NLZOH, NUK, OILJ, PILJ, PNG, SAZU, SBCE, SBMB, UL, UM, UPUK
This volume contains the proceedings of the AMS Special Session on Higher Genus Curves and Fibrations in Mathematical Physics and Arithmetic Geometry, held on January 8, 2016, in Seattle, Washington. ...Algebraic curves and their fibrations have played a major role in both mathematical physics and arithmetic geometry. This volume focuses on the role of higher genus curves; in particular, hyperelliptic and superelliptic curves in algebraic geometry and mathematical physics. The articles in this volume investigate the automorphism groups of curves and superelliptic curves and results regarding integral points on curves and their applications in mirror symmetry. Moreover, geometric subjects are addressed, such as elliptic K3 surfaces over the rationals, the birational type of Hurwitz spaces, and links between projective geometry and abelian functions.
Chaotic dynamics is widely used to design pseudo-random number generators and for other applications, such as secure communications and encryption. This paper aims to study the dynamics of the ...discrete-time chaotic maps in the digital (i.e., finite-precision) domain. Differing from the traditional approaches treating a digital chaotic map as a black box with different explanations according to the test results of the output, the dynamical properties of such chaotic maps are first explored with a fixed-point arithmetic, using the Logistic map and the Tent map as two representative examples, from a new perspective with the corresponding state-mapping networks (SMNs). In an SMN, every possible value in the digital domain is considered as a node and the mapping relationship between any pair of nodes is a directed edge. The scale-free properties of the Logistic map's SMN are proved. The analytic results are further extended to the scenario of floating-point arithmetic and for other chaotic maps. Understanding the network structure of a chaotic map's SMN in digital computers can facilitate counteracting the undesirable degeneration of chaotic dynamics in finite-precision domains, also helping to classify and improve the randomness of pseudo-random number sequences generated by iterating the chaotic maps.
While Margulis' superrigidity theorem completely describes the finite dimensional linear representations of lattices of higher rank simple real Lie groups, almost nothing is known concerning the ...representation theory of complex hyperbolic lattices. The main result of this paper (Theorem 1.3) is a strong rigidity theorem for a certain class of cocompact arithmetic complex hyperbolic lattices. It relies on the following two ingredients: Theorem 1.6 showing that the representations of the topological fundamental group of a compact Kaehler manifold X are controlled by the global symmetric differentials on X.An arithmetic vanishing theorem for global symmetric differentials on certain compact ball quotients using automorphic forms, in particular deep results of Clozel on base change (Theorem 1.11).
Full text
Available for:
DOBA, EMUNI, FIS, FZAB, GEOZS, GIS, IJS, IMTLJ, IZUM, KILJ, KISLJ, MFDPS, NLZOH, NUK, OILJ, PILJ, PNG, SAZU, SBCE, SBJE, SBMB, SBNM, UILJ, UKNU, UL, UM, UPUK, VKSCE, ZAGLJ
The moduli space of smooth curves admits a beautiful compactification $\mathcal{M}_{g,n} \subset \overline{\mathcal{M}}_{g,n}$ by the moduli space of stable curves. In this paper, we undertake a ...systematic classification of alternate modular compactifications of $\mathcal{M}_{g,n}$. Let $\mathcal{U}_{g,n}$ be the (non-separated) moduli stack of all n-pointed reduced, connected, complete, one-dimensional schemes of arithmetic genus g. When g=0, $\mathcal{U}_{0,n}$ is irreducible and we classify all open proper substacks of $\mathcal{U}_{0,n}$. When g greater than or equal to 1, $\mathcal{U}_{g,n}$ may not be irreducible, but there is a unique irreducible component $\mathcal{V}_{g,n} \subset\mathcal{U}_{g,n}$ containing $\mathcal{M}_{g,n}$. We classify open proper substacks of $\mathcal {V}_{g,n}$ satisfying a certain stability condition.
Full text
Available for:
DOBA, EMUNI, FIS, FZAB, GEOZS, GIS, IJS, IMTLJ, IZUM, KILJ, KISLJ, MFDPS, NLZOH, NUK, OILJ, PILJ, PNG, SAZU, SBCE, SBJE, SBMB, SBNM, UILJ, UKNU, UL, UM, UPUK, VKSCE, ZAGLJ
AritPIM: High-Throughput In-Memory Arithmetic Leitersdorf, Orian; Leitersdorf, Dean; Gal, Jonathan ...
IEEE transactions on emerging topics in computing,
07/2023, Volume:
11, Issue:
3
Journal Article
Peer reviewed
Open access
Digital processing-in-memory (PIM) architectures are rapidly emerging to overcome the memory-wall bottleneck by integrating logic within memory elements. Such architectures provide vast computational ...power within the memory itself in the form of parallel bitwise logic operations. We develop novel algorithmic techniques for PIM that, combined with new perspectives on computer arithmetic, extend this bitwise parallelism to the four fundamental arithmetic operations (addition, subtraction, multiplication, and division), for both fixed-point and floating-point numbers, and using both bit-serial and bit-parallel approaches. We propose a state-of-the-art suite of arithmetic algorithms, demonstrating the first algorithm in the literature of digital PIM for a majority of cases - including cases previously considered impossible for digital PIM, such as floating-point addition. Through a case study on memristive PIM, we compare the proposed algorithms to an NVIDIA RTX 3070 GPU and demonstrate significant throughput and energy improvements.