-
Coprime-Universal Quadratic Forms
Authors:
Matteo Bordignon,
Giacomo Cherubini
Abstract:
Given a prime $p>3$, we characterize positive-definite integral quadratic forms that are coprime-universal for $p$, i.e. representing all positive integers coprime to $p$. This generalizes the $290$-Theorem by Bhargava and Hanke and extends later works by Rouse ($p=2$) and De Benedetto and Rouse ($p=3$). When $p=5,23,29,31$, our results are conditional on the coprime-universality of specific terna…
▽ More
Given a prime $p>3$, we characterize positive-definite integral quadratic forms that are coprime-universal for $p$, i.e. representing all positive integers coprime to $p$. This generalizes the $290$-Theorem by Bhargava and Hanke and extends later works by Rouse ($p=2$) and De Benedetto and Rouse ($p=3$). When $p=5,23,29,31$, our results are conditional on the coprime-universality of specific ternary forms. We prove this assumption under GRH (for Dirichlet and modular $L$-functions), following a strategy introduced by Ono and Soundararajan, together with some more elementary techniques borrowed from Kaplansky and Bhargava. Finally, we discuss briefly the problem of representing all integers in an arithmetic progression.
△ Less
Submitted 3 June, 2024;
originally announced June 2024.
-
A New Class of Linear Codes
Authors:
Giacomo Cherubini,
Giacomo Micheli
Abstract:
Let $n$ be a prime power, $r$ be a prime with $r\mid n-1$, and $\varepsilon\in (0,1/2)$. Using the theory of multiplicative character sums and superelliptic curves, we construct new codes over $\mathbb F_r$ having length $n$, relative distance $(r-1)/r+O(n^{-\varepsilon})$ and rate $n^{-1/2-\varepsilon}$. When $r=2$, our binary codes have exponential size when compared to all previously known fami…
▽ More
Let $n$ be a prime power, $r$ be a prime with $r\mid n-1$, and $\varepsilon\in (0,1/2)$. Using the theory of multiplicative character sums and superelliptic curves, we construct new codes over $\mathbb F_r$ having length $n$, relative distance $(r-1)/r+O(n^{-\varepsilon})$ and rate $n^{-1/2-\varepsilon}$. When $r=2$, our binary codes have exponential size when compared to all previously known families of linear and non-linear codes with relative distance asymptotic to $1/2$, such as Delsarte--Goethals codes. Moreover, our codes are linear.
△ Less
Submitted 15 January, 2024;
originally announced January 2024.
-
High-performance deep spiking neural networks with 0.3 spikes per neuron
Authors:
Ana Stanojevic,
Stanisław Woźniak,
Guillaume Bellec,
Giovanni Cherubini,
Angeliki Pantazi,
Wulfram Gerstner
Abstract:
Communication by rare, binary spikes is a key factor for the energy efficiency of biological brains. However, it is harder to train biologically-inspired spiking neural networks (SNNs) than artificial neural networks (ANNs). This is puzzling given that theoretical results provide exact map** algorithms from ANNs to SNNs with time-to-first-spike (TTFS) coding. In this paper we analyze in theory a…
▽ More
Communication by rare, binary spikes is a key factor for the energy efficiency of biological brains. However, it is harder to train biologically-inspired spiking neural networks (SNNs) than artificial neural networks (ANNs). This is puzzling given that theoretical results provide exact map** algorithms from ANNs to SNNs with time-to-first-spike (TTFS) coding. In this paper we analyze in theory and simulation the learning dynamics of TTFS-networks and identify a specific instance of the vanishing-or-exploding gradient problem. While two choices of SNN map**s solve this problem at initialization, only the one with a constant slope of the neuron membrane potential at threshold guarantees the equivalence of the training trajectory between SNNs and ANNs with rectified linear units. We demonstrate that training deep SNN models achieves the exact same performance as that of ANNs, surpassing previous SNNs on image classification datasets such as MNIST/Fashion-MNIST, CIFAR10/CIFAR100 and PLACES365. Our SNN accomplishes high-performance classification with less than 0.3 spikes per neuron, lending itself for an energy-efficient implementation. We show that fine-tuning SNNs with our robust gradient descent algorithm enables their optimization for hardware implementations with low latency and resilience to noise and quantization.
△ Less
Submitted 20 November, 2023; v1 submitted 14 June, 2023;
originally announced June 2023.
-
Factorizers for Distributed Sparse Block Codes
Authors:
Michael Hersche,
Aleksandar Terzic,
Geethan Karunaratne,
Jovin Langenegger,
Angéline Pouget,
Giovanni Cherubini,
Luca Benini,
Abu Sebastian,
Abbas Rahimi
Abstract:
Distributed sparse block codes (SBCs) exhibit compact representations for encoding and manipulating symbolic data structures using fixed-width vectors. One major challenge however is to disentangle, or factorize, the distributed representation of data structures into their constituent elements without having to search through all possible combinations. This factorization becomes more challenging w…
▽ More
Distributed sparse block codes (SBCs) exhibit compact representations for encoding and manipulating symbolic data structures using fixed-width vectors. One major challenge however is to disentangle, or factorize, the distributed representation of data structures into their constituent elements without having to search through all possible combinations. This factorization becomes more challenging when SBCs vectors are noisy due to perceptual uncertainty and approximations made by modern neural networks to generate the query SBCs vectors. To address these challenges, we first propose a fast and highly accurate method for factorizing a more flexible and hence generalized form of SBCs, dubbed GSBCs. Our iterative factorizer introduces a threshold-based nonlinear activation, conditional random sampling, and an $\ell_\infty$-based similarity metric. Secondly, the proposed factorizer maintains a high accuracy when queried by noisy product vectors generated using deep convolutional neural networks (CNNs). This facilitates its application in replacing the large fully connected layer (FCL) in CNNs, whereby $C$ trainable class vectors, or attribute combinations, can be implicitly represented by our factorizer having $F$-factor codebooks, each with $\sqrt[\leftroot{-2}\uproot{2}F]{C}$ fixed codevectors. We provide a methodology to flexibly integrate our factorizer in the classification layer of CNNs with a novel loss function. With this integration, the convolutional layers can generate a noisy product vector that our factorizer can still decode, whereby the decoded factors can have different interpretations based on downstream tasks. We demonstrate the feasibility of our method on four deep CNN architectures over CIFAR-100, ImageNet-1K, and RAVEN datasets. In all use cases, the number of parameters and operations are notably reduced compared to the FCL.
△ Less
Submitted 28 May, 2024; v1 submitted 24 March, 2023;
originally announced March 2023.
-
There are Salem numbers with trace $-3$ and every degree at least $34$
Authors:
Giacomo Cherubini,
Pavlo Yatsyna
Abstract:
We prove that there exist Salem numbers with trace $-3$ and every even degree $\geq 34$. Our proof combines a theoretical approach, which allows us to treat all sufficiently large degrees, with a numerical search for small degrees. Since it is known that there are no Salem numbers of trace $-3$ and degree $\leq 30$, our result is optimal up to possibly the single value $32$, for which it is expect…
▽ More
We prove that there exist Salem numbers with trace $-3$ and every even degree $\geq 34$. Our proof combines a theoretical approach, which allows us to treat all sufficiently large degrees, with a numerical search for small degrees. Since it is known that there are no Salem numbers of trace $-3$ and degree $\leq 30$, our result is optimal up to possibly the single value $32$, for which it is expected there are no such numbers.
△ Less
Submitted 25 March, 2024; v1 submitted 16 January, 2023;
originally announced January 2023.
-
An Exact Map** From ReLU Networks to Spiking Neural Networks
Authors:
Ana Stanojevic,
Stanisław Woźniak,
Guillaume Bellec,
Giovanni Cherubini,
Angeliki Pantazi,
Wulfram Gerstner
Abstract:
Deep spiking neural networks (SNNs) offer the promise of low-power artificial intelligence. However, training deep SNNs from scratch or converting deep artificial neural networks to SNNs without loss of performance has been a challenge. Here we propose an exact map** from a network with Rectified Linear Units (ReLUs) to an SNN that fires exactly one spike per neuron. For our constructive proof,…
▽ More
Deep spiking neural networks (SNNs) offer the promise of low-power artificial intelligence. However, training deep SNNs from scratch or converting deep artificial neural networks to SNNs without loss of performance has been a challenge. Here we propose an exact map** from a network with Rectified Linear Units (ReLUs) to an SNN that fires exactly one spike per neuron. For our constructive proof, we assume that an arbitrary multi-layer ReLU network with or without convolutional layers, batch normalization and max pooling layers was trained to high performance on some training set. Furthermore, we assume that we have access to a representative example of input data used during training and to the exact parameters (weights and biases) of the trained ReLU network. The map** from deep ReLU networks to SNNs causes zero percent drop in accuracy on CIFAR10, CIFAR100 and the ImageNet-like data sets Places365 and PASS. More generally our work shows that an arbitrary deep ReLU network can be replaced by an energy-efficient single-spike neural network without any loss of performance.
△ Less
Submitted 23 December, 2022;
originally announced December 2022.
-
Parity of 4-regular and 8-regular partition functions
Authors:
Giacomo Cherubini,
Pietro Mercuri
Abstract:
We give a complete characterization of the parity of $b_8(n)$, the number of $8$-regular partitions of $n$. Namely, we prove that $b_8(n)$ is odd or even depending on whether or not we have the factorisation $24n+7=p^{4a+1}m^2$, for some prime $p\nmid m$ and $a\ge 0$.
We give a complete characterization of the parity of $b_8(n)$, the number of $8$-regular partitions of $n$. Namely, we prove that $b_8(n)$ is odd or even depending on whether or not we have the factorisation $24n+7=p^{4a+1}m^2$, for some prime $p\nmid m$ and $a\ge 0$.
△ Less
Submitted 21 December, 2022;
originally announced December 2022.
-
On the visual analytic intelligence of neural networks
Authors:
Stanisław Woźniak,
Hlynur Jónsson,
Giovanni Cherubini,
Angeliki Pantazi,
Evangelos Eleftheriou
Abstract:
Visual oddity task was conceived as a universal ethnic-independent analytic intelligence test for humans. Advancements in artificial intelligence led to important breakthroughs, yet competing with humans on such analytic intelligence tasks remains challenging and typically resorts to non-biologically-plausible architectures. We present a biologically realistic system that receives inputs from synt…
▽ More
Visual oddity task was conceived as a universal ethnic-independent analytic intelligence test for humans. Advancements in artificial intelligence led to important breakthroughs, yet competing with humans on such analytic intelligence tasks remains challenging and typically resorts to non-biologically-plausible architectures. We present a biologically realistic system that receives inputs from synthetic eye movements - saccades, and processes them with neurons incorporating dynamics of neocortical neurons. We introduce a procedurally generated visual oddity dataset to train an architecture extending conventional relational networks and our proposed system. Both approaches surpass the human accuracy, and we uncover that both share the same essential underlying mechanism of reasoning. Finally, we show that the biologically inspired network achieves superior accuracy, learns faster and requires fewer parameters than the conventional network.
△ Less
Submitted 28 September, 2022;
originally announced September 2022.
-
In-memory Realization of In-situ Few-shot Continual Learning with a Dynamically Evolving Explicit Memory
Authors:
Geethan Karunaratne,
Michael Hersche,
Jovin Langenegger,
Giovanni Cherubini,
Manuel Le Gallo-Bourdeau,
Urs Egger,
Kevin Brew,
Sam Choi,
INJO OK,
Mary Claire Silvestre,
Ning Li,
Nicole Saulnier,
Victor Chan,
Ishtiaq Ahsan,
Vijay Narayanan,
Luca Benini,
Abu Sebastian,
Abbas Rahimi
Abstract:
Continually learning new classes from a few training examples without forgetting previous old classes demands a flexible architecture with an inevitably growing portion of storage, in which new examples and classes can be incrementally stored and efficiently retrieved. One viable architectural solution is to tightly couple a stationary deep neural network to a dynamically evolving explicit memory…
▽ More
Continually learning new classes from a few training examples without forgetting previous old classes demands a flexible architecture with an inevitably growing portion of storage, in which new examples and classes can be incrementally stored and efficiently retrieved. One viable architectural solution is to tightly couple a stationary deep neural network to a dynamically evolving explicit memory (EM). As the centerpiece of this architecture, we propose an EM unit that leverages energy-efficient in-memory compute (IMC) cores during the course of continual learning operations. We demonstrate for the first time how the EM unit can physically superpose multiple training examples, expand to accommodate unseen classes, and perform similarity search during inference, using operations on an IMC core based on phase-change memory (PCM). Specifically, the physical superposition of a few encoded training examples is realized via in-situ progressive crystallization of PCM devices. The classification accuracy achieved on the IMC core remains within a range of 1.28%--2.5% compared to that of the state-of-the-art full-precision baseline software model on both the CIFAR-100 and miniImageNet datasets when continually learning 40 novel classes (from only five examples per class) on top of 60 old classes.
△ Less
Submitted 14 July, 2022;
originally announced July 2022.
-
Hyperbolic angles from Heegner points
Authors:
Giacomo Cherubini,
Alessandro Fazzari
Abstract:
We study lattice points on hyperbolic circles centred at Heegner points of class number one. Our main result is that, on a density one subset of radii tending to infinity, the angles of such points equidistribute on the unit circle. To prove this, we establish a connection between lattice points and algebraic integers in the associated field having norm of a special form and satisfying a congruenc…
▽ More
We study lattice points on hyperbolic circles centred at Heegner points of class number one. Our main result is that, on a density one subset of radii tending to infinity, the angles of such points equidistribute on the unit circle. To prove this, we establish a connection between lattice points and algebraic integers in the associated field having norm of a special form and satisfying a congruence condition. As a by-product of this, we obtain an explicit formulation of the classical hyperbolic circle problem as a shifted convolution sum for the function that counts the number of algebraic integers with given norm. Along the way, we also prove a lower bound for shifted B-numbers, which is done by sieve methods.
△ Less
Submitted 16 June, 2022;
originally announced June 2022.
-
Constrained Few-shot Class-incremental Learning
Authors:
Michael Hersche,
Geethan Karunaratne,
Giovanni Cherubini,
Luca Benini,
Abu Sebastian,
Abbas Rahimi
Abstract:
Continually learning new classes from fresh data without forgetting previous knowledge of old classes is a very challenging research problem. Moreover, it is imperative that such learning must respect certain memory and computational constraints such as (i) training samples are limited to only a few per class, (ii) the computational cost of learning a novel class remains constant, and (iii) the me…
▽ More
Continually learning new classes from fresh data without forgetting previous knowledge of old classes is a very challenging research problem. Moreover, it is imperative that such learning must respect certain memory and computational constraints such as (i) training samples are limited to only a few per class, (ii) the computational cost of learning a novel class remains constant, and (iii) the memory footprint of the model grows at most linearly with the number of classes observed. To meet the above constraints, we propose C-FSCIL, which is architecturally composed of a frozen meta-learned feature extractor, a trainable fixed-size fully connected layer, and a rewritable dynamically growing memory that stores as many vectors as the number of encountered classes. C-FSCIL provides three update modes that offer a trade-off between accuracy and compute-memory cost of learning novel classes. C-FSCIL exploits hyperdimensional embedding that allows to continually express many more classes than the fixed dimensions in the vector space, with minimal interference. The quality of class vector representations is further improved by aligning them quasi-orthogonally to each other by means of novel loss functions. Experiments on the CIFAR100, miniImageNet, and Omniglot datasets show that C-FSCIL outperforms the baselines with remarkable accuracy and compression. It also scales up to the largest problem size ever tried in this few-shot setting by learning 423 novel classes on top of 1200 base classes with less than 1.6% accuracy drop. Our code is available at https://github.com/IBM/constrained-FSCIL.
△ Less
Submitted 30 March, 2022;
originally announced March 2022.
-
Potential energy of totally positive algebraic integers
Authors:
Giacomo Cherubini,
Pavlo Yatsyna
Abstract:
Given positive real numbers, we prove two inequalities involving their potential energy and their power sums. We also prove an inequality involving the energy and the discriminant and apply it to deduce a result on totally positive irreducible polynomials.
Given positive real numbers, we prove two inequalities involving their potential energy and their power sums. We also prove an inequality involving the energy and the discriminant and apply it to deduce a result on totally positive irreducible polynomials.
△ Less
Submitted 10 February, 2022;
originally announced February 2022.
-
Consecutive real quadratic fields with large class numbers
Authors:
Giacomo Cherubini,
Alessandro Fazzari,
Andrew Granville,
Vítězslav Kala,
Pavlo Yatsyna
Abstract:
For a given positive integer $k$, we prove that there are at least $x^{1/2-o(1)}$ integers $d\leq x$ such that the real quadratic fields $\mathbb Q(\sqrt{d+1}),\dots,\mathbb Q(\sqrt{d+k})$ have class numbers essentially as large as possible.
For a given positive integer $k$, we prove that there are at least $x^{1/2-o(1)}$ integers $d\leq x$ such that the real quadratic fields $\mathbb Q(\sqrt{d+1}),\dots,\mathbb Q(\sqrt{d+k})$ have class numbers essentially as large as possible.
△ Less
Submitted 22 December, 2021; v1 submitted 22 November, 2021;
originally announced November 2021.
-
Energy Efficient In-memory Hyperdimensional Encoding for Spatio-temporal Signal Processing
Authors:
Geethan Karunaratne,
Manuel Le Gallo,
Michael Hersche,
Giovanni Cherubini,
Luca Benini,
Abu Sebastian,
Abbas Rahimi
Abstract:
The emerging brain-inspired computing paradigm known as hyperdimensional computing (HDC) has been proven to provide a lightweight learning framework for various cognitive tasks compared to the widely used deep learning-based approaches. Spatio-temporal (ST) signal processing, which encompasses biosignals such as electromyography (EMG) and electroencephalography (EEG), is one family of applications…
▽ More
The emerging brain-inspired computing paradigm known as hyperdimensional computing (HDC) has been proven to provide a lightweight learning framework for various cognitive tasks compared to the widely used deep learning-based approaches. Spatio-temporal (ST) signal processing, which encompasses biosignals such as electromyography (EMG) and electroencephalography (EEG), is one family of applications that could benefit from an HDC-based learning framework. At the core of HDC lie manipulations and comparisons of large bit patterns, which are inherently ill-suited to conventional computing platforms based on the von-Neumann architecture. In this work, we propose an architecture for ST signal processing within the HDC framework using predominantly in-memory compute arrays. In particular, we introduce a methodology for the in-memory hyperdimensional encoding of ST data to be used together with an in-memory associative search module. We show that the in-memory HDC encoder for ST signals offers at least 1.80x energy efficiency gains, 3.36x area gains, as well as 9.74x throughput gains compared with a dedicated digital hardware implementation. At the same time it achieves a peak classification accuracy within 0.04% of that of the baseline HDC framework.
△ Less
Submitted 22 June, 2021;
originally announced June 2021.
-
Cyclic polytope of the simplest cubic fields
Authors:
Giacomo Cherubini,
Pavlo Yatsyna
Abstract:
In this paper, we study dilation of cyclic polytopes with the vertices defined by a generator of the simplest cubic fields. In particular, for a specific range of values, we give a precise number of the contained lattice points.
In this paper, we study dilation of cyclic polytopes with the vertices defined by a generator of the simplest cubic fields. In particular, for a specific range of values, we give a precise number of the contained lattice points.
△ Less
Submitted 9 November, 2020;
originally announced November 2020.
-
Robust High-dimensional Memory-augmented Neural Networks
Authors:
Geethan Karunaratne,
Manuel Schmuck,
Manuel Le Gallo,
Giovanni Cherubini,
Luca Benini,
Abu Sebastian,
Abbas Rahimi
Abstract:
Traditional neural networks require enormous amounts of data to build their complex map**s during a slow training procedure that hinders their abilities for relearning and adapting to new data. Memory-augmented neural networks enhance neural networks with an explicit memory to overcome these issues. Access to this explicit memory, however, occurs via soft read and write operations involving ever…
▽ More
Traditional neural networks require enormous amounts of data to build their complex map**s during a slow training procedure that hinders their abilities for relearning and adapting to new data. Memory-augmented neural networks enhance neural networks with an explicit memory to overcome these issues. Access to this explicit memory, however, occurs via soft read and write operations involving every individual memory entry, resulting in a bottleneck when implemented using the conventional von Neumann computer architecture. To overcome this bottleneck, we propose a robust architecture that employs a computational memory unit as the explicit memory performing analog in-memory computation on high-dimensional (HD) vectors, while closely matching 32-bit software-equivalent accuracy. This is achieved by a content-based attention mechanism that represents unrelated items in the computational memory with uncorrelated HD vectors, whose real-valued components can be readily approximated by binary, or bipolar components. Experimental results demonstrate the efficacy of our approach on few-shot image classification tasks on the Omniglot dataset using more than 256,000 phase-change memory devices. Our approach effectively merges the richness of deep neural network representations with HD computing that paves the way for robust vector-symbolic manipulations applicable in reasoning, fusion, and compression.
△ Less
Submitted 19 March, 2021; v1 submitted 5 October, 2020;
originally announced October 2020.
-
On the variance of the nodal volume of arithmetic random waves
Authors:
Giacomo Cherubini,
Niko Laaksonen
Abstract:
Rudnick and Wigman (Ann. Henri Poincaré, 2008; arXiv:math-ph/0702081) conjectured that the variance of the volume of the nodal set of arithmetic random waves on the $d$-dimensional torus is $O(E/\mathcal{N})$, as $E\to\infty$, where $E$ is the energy and $\mathcal{N}$ is the dimension of the eigenspace corresponding to $E$. Previous results have established this with stronger asymptotics when…
▽ More
Rudnick and Wigman (Ann. Henri Poincaré, 2008; arXiv:math-ph/0702081) conjectured that the variance of the volume of the nodal set of arithmetic random waves on the $d$-dimensional torus is $O(E/\mathcal{N})$, as $E\to\infty$, where $E$ is the energy and $\mathcal{N}$ is the dimension of the eigenspace corresponding to $E$. Previous results have established this with stronger asymptotics when $d=2$ and $d=3$. In this brief note we prove an upper bound of the form $O(E/\mathcal{N}^{1+α(d)-ε})$, for any $ε>0$ and $d\geq 4$, where $α(d)$ is positive and tends to zero with $d$. The power saving is the best possible with the current method (up to $ε$) when $d\geq 5$ due to the proof of the $\ell^{2}$-decoupling conjecture by Bourgain and Demeter.
△ Less
Submitted 23 July, 2020;
originally announced July 2020.
-
File Classification Based on Spiking Neural Networks
Authors:
Ana Stanojevic,
Giovanni Cherubini,
Timoleon Moraitis,
Abu Sebastian
Abstract:
In this paper, we propose a system for file classification in large data sets based on spiking neural networks (SNNs). File information contained in key-value metadata pairs is mapped by a novel correlative temporal encoding scheme to spike patterns that are input to an SNN. The correlation between input spike patterns is determined by a file similarity measure. Unsupervised training of such netwo…
▽ More
In this paper, we propose a system for file classification in large data sets based on spiking neural networks (SNNs). File information contained in key-value metadata pairs is mapped by a novel correlative temporal encoding scheme to spike patterns that are input to an SNN. The correlation between input spike patterns is determined by a file similarity measure. Unsupervised training of such networks using spike-timing-dependent plasticity (STDP) is addressed first. Then, supervised SNN training is considered by backpropagation of an error signal that is obtained by comparing the spike pattern at the output neurons with a target pattern representing the desired class. The classification accuracy is measured for various publicly available data sets with tens of thousands of elements, and compared with other learning algorithms, including logistic regression and support vector machines. Simulation results indicate that the proposed SNN-based system using memristive synapses may represent a valid alternative to classical machine learning algorithms for inference tasks, especially in environments with asynchronous ingest of input data and limited resources.
△ Less
Submitted 8 April, 2020;
originally announced April 2020.
-
Bykovskii-type theorem for the Picard manifold
Authors:
Antal Balog,
András Biró,
Giacomo Cherubini,
Niko Laaksonen
Abstract:
We generalise a result of Bykovskii to the Gaussian integers and prove an asymptotic formula for the prime geodesic theorem in short intervals on the Picard manifold. Previous works show that individually the remainder is bounded by $O(X^{13/8+ε})$ and $O(X^{3/2+θ+ε})$, where $θ$ is the subconvexity exponent for quadratic Dirichlet $L$-functions over $\mathbb{Q}(i)$. By combining arithmetic method…
▽ More
We generalise a result of Bykovskii to the Gaussian integers and prove an asymptotic formula for the prime geodesic theorem in short intervals on the Picard manifold. Previous works show that individually the remainder is bounded by $O(X^{13/8+ε})$ and $O(X^{3/2+θ+ε})$, where $θ$ is the subconvexity exponent for quadratic Dirichlet $L$-functions over $\mathbb{Q}(i)$. By combining arithmetic methods with estimates for a spectral exponential sum and a smooth explicit formula, we obtain an improvement for both of these exponents. Moreover, by assuming two standard conjectures on $L$-functions, we show that it is possible to reduce the exponent below the barrier $3/2$ and get $O(X^{34/23+ε})$ conditionally. We also demonstrate a dependence of the remainder in the short interval estimate on the classical Gauss circle problem for shifted centres.
△ Less
Submitted 12 December, 2019; v1 submitted 5 November, 2019;
originally announced November 2019.
-
In-memory hyperdimensional computing
Authors:
Geethan Karunaratne,
Manuel Le Gallo,
Giovanni Cherubini,
Luca Benini,
Abbas Rahimi,
Abu Sebastian
Abstract:
Hyperdimensional computing (HDC) is an emerging computational framework that takes inspiration from attributes of neuronal circuits such as hyperdimensionality, fully distributed holographic representation, and (pseudo)randomness. When employed for machine learning tasks such as learning and classification, HDC involves manipulation and comparison of large patterns within memory. Moreover, a key a…
▽ More
Hyperdimensional computing (HDC) is an emerging computational framework that takes inspiration from attributes of neuronal circuits such as hyperdimensionality, fully distributed holographic representation, and (pseudo)randomness. When employed for machine learning tasks such as learning and classification, HDC involves manipulation and comparison of large patterns within memory. Moreover, a key attribute of HDC is its robustness to the imperfections associated with the computational substrates on which it is implemented. It is therefore particularly amenable to emerging non-von Neumann paradigms such as in-memory computing, where the physical attributes of nanoscale memristive devices are exploited to perform computation in place. Here, we present a complete in-memory HDC system that achieves a near optimum trade-off between design complexity and classification accuracy based on three prototypical HDC related learning tasks, namely, language classification, news classification, and hand gesture recognition from electromyography signals. Comparable accuracies to software implementations are demonstrated, experimentally, using 760,000 phase-change memory devices performing analog in-memory computing.
△ Less
Submitted 9 April, 2020; v1 submitted 4 June, 2019;
originally announced June 2019.
-
On Kuznetsov-Bykovskii's formula of counting prime geodesics
Authors:
Giacomo Cherubini,
Han Wu,
Gergely Zábrádi
Abstract:
We generalize a formula on the counting of prime geodesics, due to Kuznetsov-Bykovskii, used in the work of Soundararajan-Young on the prime geodesic theorem. The method works over any number field and for any congruence subgroup. We give explicit computation in the cases of principal and Hecke subgroups.
We generalize a formula on the counting of prime geodesics, due to Kuznetsov-Bykovskii, used in the work of Soundararajan-Young on the prime geodesic theorem. The method works over any number field and for any congruence subgroup. We give explicit computation in the cases of principal and Hecke subgroups.
△ Less
Submitted 12 November, 2020; v1 submitted 12 January, 2019;
originally announced January 2019.
-
Second Moment of the Prime Geodesic Theorem for $\mathrm{PSL}(2, \mathbb{Z}[i])$
Authors:
Dimitrios Chatzakos,
Giacomo Cherubini,
Niko Laaksonen
Abstract:
The remainder $E_Γ(X)$ in the Prime Geodesic Theorem for the Picard group $Γ= \mathrm{PSL}(2,\mathbb{Z}[i])$ is known to be bounded by $O(X^{3/2+ε})$ under the assumption of the Lindelöf hypothesis for quadratic Dirichlet $L$-functions over Gaussian integers. By studying the second moment of $E_Γ(X)$, we show that on average the same bound holds unconditionally.
The remainder $E_Γ(X)$ in the Prime Geodesic Theorem for the Picard group $Γ= \mathrm{PSL}(2,\mathbb{Z}[i])$ is known to be bounded by $O(X^{3/2+ε})$ under the assumption of the Lindelöf hypothesis for quadratic Dirichlet $L$-functions over Gaussian integers. By studying the second moment of $E_Γ(X)$, we show that on average the same bound holds unconditionally.
△ Less
Submitted 31 December, 2018;
originally announced December 2018.
-
A spectral universality theorem for Maass $L$-functions
Authors:
Giacomo Cherubini,
Alberto Perelli
Abstract:
We show that for a positive proportion of Laplace eigenvalues $λ_j$ the associated Hecke-Maass $L$-functions $L(s,u_j)$ approximate with arbitrary precision any target function $f(s)$ on a closed disc with center in $3/4$ and radius $r<1/4$. The main ingredients in the proof are the spectral large sieve of Deshouillers-Iwaniec and Sarnak's equidistribution theorem for Hecke eigenvalues.
We show that for a positive proportion of Laplace eigenvalues $λ_j$ the associated Hecke-Maass $L$-functions $L(s,u_j)$ approximate with arbitrary precision any target function $f(s)$ on a closed disc with center in $3/4$ and radius $r<1/4$. The main ingredients in the proof are the spectral large sieve of Deshouillers-Iwaniec and Sarnak's equidistribution theorem for Hecke eigenvalues.
△ Less
Submitted 30 September, 2019; v1 submitted 6 November, 2018;
originally announced November 2018.
-
Prime Geodesic Theorem in the 3-dimensional Hyperbolic Space
Authors:
Olga Balkanova,
Dimitrios Chatzakos,
Giacomo Cherubini,
Dmitry Frolenkov,
Niko Laaksonen
Abstract:
For $Γ$ a cofinite Kleinian group acting on $\mathbb{H}^3$, we study the Prime Geodesic Theorem on $M=Γ\backslash \mathbb{H}^3$, which asks about the asymptotic behaviour of lengths of primitive closed geodesics (prime geodesics) on $M$. Let $E_Γ(X)$ be the error in the counting of prime geodesics with length at most $\log X$. For the Picard manifold, $Γ=\mathrm{PSL}(2,\mathbb{Z}[i])$, we improve…
▽ More
For $Γ$ a cofinite Kleinian group acting on $\mathbb{H}^3$, we study the Prime Geodesic Theorem on $M=Γ\backslash \mathbb{H}^3$, which asks about the asymptotic behaviour of lengths of primitive closed geodesics (prime geodesics) on $M$. Let $E_Γ(X)$ be the error in the counting of prime geodesics with length at most $\log X$. For the Picard manifold, $Γ=\mathrm{PSL}(2,\mathbb{Z}[i])$, we improve the classical bound of Sarnak, $E_Γ(X)=O(X^{5/3+ε})$, to $E_Γ(X)=O(X^{13/8+ε})$. In the process we obtain a mean subconvexity estimate for the Rankin-Selberg $L$-function attached to Maass-Hecke cusp forms. We also investigate the second moment of $E_Γ(X)$ for a general cofinite group $Γ$, and show that it is bounded by $O(X^{16/5+ε})$.
△ Less
Submitted 20 August, 2018; v1 submitted 3 December, 2017;
originally announced December 2017.
-
Mean square in the prime geodesic theorem
Authors:
Giacomo Cherubini,
João Guerreiro
Abstract:
We prove upper bounds for the mean square of the remainder in the prime geodesic theorem, for every cofinite Fuchsian group, which improve on average on the best known pointwise bounds. The proof relies on the Selberg trace formula. For the modular group we prove a refined upper bound by using the Kuznetsov trace formula.
We prove upper bounds for the mean square of the remainder in the prime geodesic theorem, for every cofinite Fuchsian group, which improve on average on the best known pointwise bounds. The proof relies on the Selberg trace formula. For the modular group we prove a refined upper bound by using the Kuznetsov trace formula.
△ Less
Submitted 1 October, 2018; v1 submitted 1 February, 2017;
originally announced February 2017.
-
Almost periodic functions and hyperbolic counting
Authors:
Giacomo Cherubini
Abstract:
In this paper we prove the existence of asymptotic moments, and an estimate on the tails of the limiting distribution, for a specific class of almost periodic functions. Then we introduce the hyperbolic circle problem, proving an estimate on the asymptotic variance of the remainder that improves a result of Chamizo. Applying the results of the first part we prove the existence of limiting distribu…
▽ More
In this paper we prove the existence of asymptotic moments, and an estimate on the tails of the limiting distribution, for a specific class of almost periodic functions. Then we introduce the hyperbolic circle problem, proving an estimate on the asymptotic variance of the remainder that improves a result of Chamizo. Applying the results of the first part we prove the existence of limiting distribution and asymptotic moments for three functions that are integrated versions of the remainder, and were considered originally (with due adaptations to our settings) by Wolfe, Phillips and Rudnick, and Hill and Parnovski.
△ Less
Submitted 22 November, 2018; v1 submitted 19 October, 2016;
originally announced October 2016.
-
On the variance of the error term in the hyperbolic circle problem
Authors:
Giacomo Cherubini,
Morten S. Risager
Abstract:
Let $e(s)$ be the error term of the hyperbolic circle problem, and denote by $e_α(s)$ the fractional integral to order $α$ of $e(s)$. We prove that for any small $α>0$ the asymptotic variance of $e_α(s)$ is finite, and given by an explicit expression. Moreover, we prove that $e_α(s)$ has a limiting distribution.
Let $e(s)$ be the error term of the hyperbolic circle problem, and denote by $e_α(s)$ the fractional integral to order $α$ of $e(s)$. We prove that for any small $α>0$ the asymptotic variance of $e_α(s)$ is finite, and given by an explicit expression. Moreover, we prove that $e_α(s)$ has a limiting distribution.
△ Less
Submitted 15 December, 2015;
originally announced December 2015.
-
Collaborative Randomized Beamforming for Phased Array Radio Interferometers
Authors:
Orhan Ocal,
Paul Hurley,
Giovanni Cherubini,
Sanaz Kazemi
Abstract:
The Square Kilometre Array (SKA) will form the largest radio telescope ever built and such a huge instrument in the desert poses enormous engineering and logistic challenges. Algorithmic and architectural breakthroughs are needed.
Data is collected and processed in groups of antennas before transport for central processing. This processing includes beamforming, primarily so as to reduce the amou…
▽ More
The Square Kilometre Array (SKA) will form the largest radio telescope ever built and such a huge instrument in the desert poses enormous engineering and logistic challenges. Algorithmic and architectural breakthroughs are needed.
Data is collected and processed in groups of antennas before transport for central processing. This processing includes beamforming, primarily so as to reduce the amount of data sent. The principal existing technique points to a region of interest independently of the sky model and how the other stations beamform.
We propose a new collaborative beamforming algorithm in order to maximize information captured at the stations (thus reducing the amount of data transported). The method increases the diversity in measurements through randomized beam- forming. We demonstrate through numerical simulation the effectiveness of the method. In particular, we show that randomized beamforming can achieve the same image quality while producing 40% less data when compared to the prevailing method matched beamforming.
△ Less
Submitted 14 November, 2014;
originally announced November 2014.
-
Neutron Imaging by Boric Acid
Authors:
Fabio Cardone,
Giovanni Cherubini,
Walter Perconti,
Andrea Petrucci,
Alberto Rosada
Abstract:
In this paper a new type of passive neutron detector based on the already existing one, CR39, is described. Its operation was verified by three different neutron sources: an Americium-Beryllium (Am241-Be) source; a TRIGA type nuclear reactor; and a fast neutron reactor called TAPIRO. The obtained results, reported here, positively confirm its operation and the accountability of the new developed d…
▽ More
In this paper a new type of passive neutron detector based on the already existing one, CR39, is described. Its operation was verified by three different neutron sources: an Americium-Beryllium (Am241-Be) source; a TRIGA type nuclear reactor; and a fast neutron reactor called TAPIRO. The obtained results, reported here, positively confirm its operation and the accountability of the new developed detecting technique.
△ Less
Submitted 22 February, 2013;
originally announced February 2013.
-
Piezonuclear Neutrons
Authors:
Fabio Cardone,
Giovanni Cherubini,
Andrea Petrucci
Abstract:
We report the results of neutron measurements carried out during the application of ultrasounds to a solution containing only stable elements like Iron and Chlorine, without any other radioactive source of any kind. These measurements, carried out by CR39 detectors and a Boron TriFouride electronic detector, evidenced the emission of neutron pulses. These pulses stand well above the electronic n…
▽ More
We report the results of neutron measurements carried out during the application of ultrasounds to a solution containing only stable elements like Iron and Chlorine, without any other radioactive source of any kind. These measurements, carried out by CR39 detectors and a Boron TriFouride electronic detector, evidenced the emission of neutron pulses. These pulses stand well above the electronic noise and the background of the laboratory where the measurements were carried out.
△ Less
Submitted 6 December, 2008;
originally announced December 2008.
-
Neutrons from Piezonuclear Reactions
Authors:
F. Cardone,
G. Cherubini,
R. Mignani,
W. Perconti,
A. Petrucci,
F. Rosetto,
G. Spera
Abstract:
We report the results obtained by cavitating water solutions of iron salts (iron chloride and iron nitrate) with different concentrations at different ultrasound powers. In all cases we detected a neutron radiation well higher than the background level. The neutron production is perfectly reproducible and can at some extent be controlled. These evidences for neutron emission generated by cavitat…
▽ More
We report the results obtained by cavitating water solutions of iron salts (iron chloride and iron nitrate) with different concentrations at different ultrasound powers. In all cases we detected a neutron radiation well higher than the background level. The neutron production is perfectly reproducible and can at some extent be controlled. These evidences for neutron emission generated by cavitation support some preliminary clues for the possibility of piezonuclear reactions (namely nuclear reactions induced by pressure and shock waves) obtained in the last ten years. We have been able for the first time to state some basic features of such a neutron emission induced by cavitation, namely: 1) a marked threshold behavior in power, energy and time; 2) its occurring without a concomitant production of gamma radiation.
△ Less
Submitted 16 November, 2008; v1 submitted 26 October, 2007;
originally announced October 2007.